arxiv-20-e83470c4c15f4c95809906a11f306aca-3be49c55c92c6e49ae1366bd880b60dc-6d8ea1c4baf0ded18b8dcc7ba16414cd.sc.xz.gpg