arxiv-12-c122bef20cb0177cd28343aca9bc0a44.sc.xz.gpg