arxiv-13-c0d13d7a7998ec16a07c45bb8f517eef-a3ce82bf7b4705cc031b2a6b0d39dc0d.sc.xz.gpg