arxiv-5-08e6c004a86f25cea41ecfac088e59a1-4e13c366417366b7acac4d58f1234b07.sc.xz.gpg