arxiv-10-3d13ff9732e0302aa2d03e7f830578ab.sc.xz.gpg