arxiv-13-8fe00a2cf2a7c5fb30de0db56ee0937a.sc.xz.gpg