arxiv-13-89fe16dbdb06caab0b6b93f4390f5e7e-9425dc9ac7bf6a930bffe7e04ba4fc02.sc.xz.gpg