arxiv-13-e5f4bb33ffdd225dcf441c1ccdc30eb0.sc.xz.gpg