Ellenberg, J., Logan, A., & Srinivasan, P. Magma scripts [Computer software]. https://github.com/padmask/CeresaCertificates