Validating Finite Automata Reduction results

In the end we went with the conservative option, see [April 9th 2023] 503,169 new machines have been decided! Only 32,632 left to go!

Thank you all for participating to this debate!