arxiv-7-6d37264967997da559c0842c6ffa4a80-7951ba0c13a2e7cd90ad806919f14dbe.sc.xz.gpg