arxiv-16-dfe23929fc96fab76eeeac60bab9a90f-3b12dbe938f140030d411eed9b0b99ae-5b5f89999b5aa5e63cb6f12c6aa3e4fc.sc.xz.gpg