arxiv-13-c0d13d7a7998ec16a07c45bb8f517eef.sc.xz.gpg