going up to       4096
         0
1. code = 0
nfa: final states are: []
transitions are: 
0 -> 
1 -> 
2 -> 

dfa: 0-0+

minimized dfa: -0+


2. code = 1
nfa: final states are: [0]
transitions are: 
0 -> 
1 -> 
2 -> 

dfa: 1-0+

minimized dfa: 1-0+


3. code = 9
nfa: final states are: [0]
transitions are: 
0 -> 0 
1 -> 
2 -> 

dfa: -1+

minimized dfa: -1+


4. code = 18
nfa: final states are: [1]
transitions are: 
0 -> 1 
1 -> 
2 -> 

dfa: 01-0+

minimized dfa: 01-0+


5. code = 19
nfa: final states are: [0,1]
transitions are: 
0 -> 1 
1 -> 
2 -> 

dfa: 11-0+

minimized dfa: 11-0+


6. code = 26
nfa: final states are: [1]
transitions are: 
0 -> 0 1 
1 -> 
2 -> 

dfa: 0-1+

minimized dfa: 0-1+


7. code = 81
nfa: final states are: [0]
transitions are: 
0 -> 1 
1 -> 0 
2 -> 

dfa: -10+

minimized dfa: -10+


8. code = 82
nfa: final states are: [1]
transitions are: 
0 -> 1 
1 -> 0 
2 -> 

dfa: -01+

minimized dfa: -01+


9. code = 209
nfa: final states are: [0]
transitions are: 
0 -> 1 
1 -> 0 1 
2 -> 

dfa: 10-1+

minimized dfa: 10-1+


10. code = 244
nfa: final states are: [2]
transitions are: 
0 -> 1 2 
1 -> 0 1 
2 -> 

dfa: 010-1+

minimized dfa: 010-1+


11. code = 276
nfa: final states are: [2]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 

dfa: 001-0+

minimized dfa: 001-0+


12. code = 277
nfa: final states are: [0,2]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 

dfa: 101-0+

minimized dfa: 101-0+


13. code = 278
nfa: final states are: [1,2]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 

dfa: 011-0+

minimized dfa: 011-0+


14. code = 279
nfa: final states are: [0,1,2]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 

dfa: 111-0+

minimized dfa: 111-0+


15. code = 284
nfa: final states are: [2]
transitions are: 
0 -> 0 1 
1 -> 2 
2 -> 

dfa: 00-1+

minimized dfa: 00-1+


16. code = 340
nfa: final states are: [2]
transitions are: 
0 -> 1 
1 -> 0 2 
2 -> 

dfa: 0-01+

minimized dfa: 0-01+


17. code = 785
nfa: final states are: [0]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 0 

dfa: -100+

minimized dfa: -100+


18. code = 786
nfa: final states are: [1]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 0 

dfa: -010+

minimized dfa: -010+


19. code = 787
nfa: final states are: [0,1]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 0 

dfa: -110+

minimized dfa: -110+


20. code = 788
nfa: final states are: [2]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 0 

dfa: -001+

minimized dfa: -001+


21. code = 789
nfa: final states are: [0,2]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 0 

dfa: -101+

minimized dfa: -101+


22. code = 790
nfa: final states are: [1,2]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 0 

dfa: -011+

minimized dfa: -011+


23. code = 852
nfa: final states are: [2]
transitions are: 
0 -> 1 
1 -> 0 2 
2 -> 0 

dfa: 0010-1+

minimized dfa: 0010-1+


24. code = 913
nfa: final states are: [0]
transitions are: 
0 -> 1 
1 -> 1 2 
2 -> 0 

dfa: 100-1+

minimized dfa: 100-1+


25. code = 1252
nfa: final states are: [2]
transitions are: 
0 -> 2 
1 -> 0 1 
2 -> 1 

dfa: 0100-1+

minimized dfa: 0100-1+


26. code = 1253
nfa: final states are: [0,2]
transitions are: 
0 -> 2 
1 -> 0 1 
2 -> 1 

dfa: 1101-1+

minimized dfa: 110-1+


27. code = 1299
nfa: final states are: [0,1]
transitions are: 
0 -> 1 
1 -> 2 
2 -> 1 

dfa: 1-10+

minimized dfa: 1-10+


28. code = 1377
nfa: final states are: [0]
transitions are: 
0 -> 2 
1 -> 0 2 
2 -> 1 

dfa: 10010-1+

minimized dfa: 10010-1+


29. code = 1953
nfa: final states are: [0]
transitions are: 
0 -> 2 
1 -> 1 2 
2 -> 0 1 

dfa: 1010-1+

minimized dfa: 1010-1+


done, count =         29