3 ms·A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph2 points by Brajeshwar 2mo ago