arxiv-9-13d75756c1e66dec8601f44f2d3bd9be.sc.xz.gpg