arxiv-7-b7a7c5e13826ef2615c10c6b9530dacb-6c9527508b2747ea4189e4e25a72f2ce.sc.xz.gpg