arxiv-20-c52fa411efaa391ae3cb3e3fc8b32d38-76ef93039f66b88db972c1fe62c3f9d4-9726be8525f3f247b22f7d1c436c13fd.sc.xz.gpg