arxiv-16-17eec534b00ed8b45270a5ccd842aa3c-c57145cad13e6883a0288cfbb4d9d848-a7e11a4b847c183f743b2de16a84a85d.sc.xz.gpg