1 2 3 4 5 6 7 8 9 10 11
2 2 2 0 0 0 1 0 1 0 1 useless irregular FSM for testing. state 0 has 3 incoming edges and state 1 has 1 incoming edge.