https://filesoo.com/product/38472/computer-assisted-proof-of-universality-for-area-preserving-maps