arxiv-12-28435bd010055b686063b2fe8cdc15d1.sc.xz.gpg