arxiv-12-4e3d54c0012fa058df4c6fc98f683579-1a742c2cf59c968e87ac2856c2b852a0-7059a4f60a46f22a75594eeecc8caeec.sc.xz.gpg