arxiv-20-889af420a788994589ebea8e787d3327-87638cf883b1c265ca0530ebd3d582ee.sc.xz.gpg