arxiv-17-ea85aeede83071ee614317ef6152c9a7.sc.xz.gpg