arxiv-11-f6fb4a3e3c71d020f71ba3d87bf8f5a5-961d352d748b69acf66c0e16aef4f950.sc.xz.gpg