arxiv-1-023ecd282890f30c40d86a6ebfe2ebfa.sc.xz.gpg