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