arxiv-4-85157f5b6db3f5e09d65ec419ffcb4e1.sc.xz.gpg