arxiv-5-15dbfea7cf3567df7880b80ba2971717-302ffbeb13f3ad271a250a1605a8d4ca.sc.xz.gpg