arxiv-4-9e0b5a0cbbe090b38400bdae8ccc67c0.sc.xz.gpg