arxiv-4-133f1780b24414cf1ed8582faed922ef.sc.xz.gpg