arxiv-12-e9fa782d56e9f58d9aaa360b5be12a46.sc.xz.gpg