arxiv-4-baf88f080e01be86a6a540aa177b0825.sc.xz.gpg