arxiv-13-47ecb394ebfb2fb3b23717da80273a75-e7bf51e861267ad7c32dd407fa543d04-8ac5e8c9fd60519db66d84f1ba62c3d3.sc.xz.gpg