arxiv-12-e5d86639c75b9d77ed4d789dda763fd6-92627d95017f7f44b28fd799da0221fe.sc.xz.gpg