arxiv-20-188b4309ec429dc086fed75ee578602c-efd14df802d8d09f402132b582f2fa2f.sc.xz.gpg