arxiv-12-822fe17d4c78657fbc0e10fc0daca051.sc.xz.gpg