arxiv-4-b8b3d8d6bc953f687b300d19e2dcd2ca.sc.xz.gpg