arxiv-5-a15ab1a824e7cfe53d85aaa7d08a2017-08b10e611a4b4c8960901c6be269dc22-d3e1714a6037d01f6696fcfc44b3a3a1.sc.xz.gpg