arxiv-13-1c672fc2a83fbf0ab893ed05139ec1cb-679d5263e2dd9bcf15e8009441739ca9.sc.xz.gpg