arxiv-13-52459668b539c822cadfc8b0d90ca26a-3b3f6b7a6da017e0c86d41cc28d5af30.sc.xz.gpg