[evilotto]

See also https://tromp.github.io/blog/2023/11/24/largest-number