arxiv-8-dba8b8d16571eddcc443c824e0e4c1f0.sc.xz.gpg