A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph

2 points | by Brajeshwar 5 hours ago