arxiv-18-2e57c180a0768b49fa1382167d552b98-b9e7bbab9e7539950dc492f930f92f08-1e964913a58e14d0f14cb0b94f8c4fc8.sc.xz.gpg