TY - RPRT TI - A computer-friendly construction of the monster AU - Martin Seysen PY - 2025 UR - https://arxiv.org/abs/2002.10921 ID - 2002.10921 ER -