arxiv-3-3c2fc5be59c0972d2f72ed7b5d6223e0-13d4983432bfd44f28757d6941e8cd09.sc.xz.gpg