arxiv-18-8b8f0c5f6dcd17fdfbf315ceefc79aa1.sc.xz.gpg