arxiv-12-8fbc5d3a41c9ff0c51cf5aad55b20c71-3c4e6a648653ae1a7ece8021b6d425e5.sc.xz.gpg