arxiv-11-d214c4c9a95b3cf8043c30d957e7f335-6c1b2ea5292b829d443a202f41a2cbe7.sc.xz.gpg