Thanks to Sebastian Brandt, TU Dresden, Chair for Automata Theory, for providing us with the scripts to generate this list.