Now we can find all solutions (maybe isomorphic automata)