arxiv-10-80d8220121cb4390ab5a4ffe2a7f07be.sc.xz.gpg