arxiv-4-dc0a8ef2f884d6458427d41b3f61b0be.sc.xz.gpg