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