[Decider] Finite Automata Reduction

Deciders
9

Seven more Bouncers found with improved Decider code. So the number of holdouts is now down to 687. See my github Holdouts page for details.

1 Like