arxiv-75-6438db80f2ffbb1b7a34ad41b074f419-642a5301949c08d1c2cf04f6c71b88b3.sc.xz.gpg