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