arxiv-15-82618e1cc0cbfd82fc565bbb0833b5e1-8300d7970ba2aec1bf96743f0ef16ada.sc.xz.gpg