* https://mathematical-research-institute.sydney.edu.au/quantu...
* https://magma.maths.usyd.edu.au/magma/
Props to John Cannon, George Havas, Charles Leedham-Green, et al.