arxiv-12-df4d192412b9a39cbcd0874bef2ccaff.sc.xz.gpg