arxiv-17-fdddae7520550e8c2dbc0381a3332550-c433a35ce33a9a80164e31b91dda8ab2-41fb251c0a9ab64cb0c7417e28e0d8cb.sc.xz.gpg