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

dfa: 0-0+

minimized dfa: -0+


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

dfa: 1-0+

minimized dfa: 1-0+


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

dfa: -1+

minimized dfa: -1+


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

dfa: 01-0+

minimized dfa: 01-0+


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

dfa: 11-0+

minimized dfa: 11-0+


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

dfa: 0-1+

minimized dfa: 0-1+


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

dfa: -10+

minimized dfa: -10+


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

dfa: -01+

minimized dfa: -01+


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

dfa: 10-1+

minimized dfa: 10-1+


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

dfa: 010-1+

minimized dfa: 010-1+


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

dfa: 001-0+

minimized dfa: 001-0+


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

dfa: 101-0+

minimized dfa: 101-0+


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

dfa: 011-0+

minimized dfa: 011-0+


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

dfa: 111-0+

minimized dfa: 111-0+


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

dfa: 00-1+

minimized dfa: 00-1+


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

dfa: 0-01+

minimized dfa: 0-01+


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

dfa: -100+

minimized dfa: -100+


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

dfa: -010+

minimized dfa: -010+


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

dfa: -110+

minimized dfa: -110+


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

dfa: -001+

minimized dfa: -001+


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

dfa: -101+

minimized dfa: -101+


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

dfa: -011+

minimized dfa: -011+


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

dfa: 0010-1+

minimized dfa: 0010-1+


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

dfa: 100-1+

minimized dfa: 100-1+


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

dfa: 0100-1+

minimized dfa: 0100-1+


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

dfa: 1101-1+

minimized dfa: 110-1+


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

dfa: 1-10+

minimized dfa: 1-10+


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

dfa: 01-10+

minimized dfa: 01-10+


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

dfa: 11-10+

minimized dfa: 11-10+


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

dfa: 10010-1+

minimized dfa: 10010-1+


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

dfa: 010010-1+

minimized dfa: 010010-1+


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

dfa: 011011-1+

minimized dfa: 0110-1+


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

dfa: 0001-0+

minimized dfa: 0001-0+


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

dfa: 1001-0+

minimized dfa: 1001-0+


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

dfa: 0011-0+

minimized dfa: 0011-0+


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

dfa: 1011-0+

minimized dfa: 1011-0+


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

dfa: 0101-0+

minimized dfa: 0101-0+


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

dfa: 1101-0+

minimized dfa: 1101-0+


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

dfa: 0111-0+

minimized dfa: 0111-0+


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

dfa: 1111-0+

minimized dfa: 1111-0+


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

dfa: 000-1+

minimized dfa: 000-1+


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

dfa: 0-001+

minimized dfa: 0-001+


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

dfa: 0-011+

minimized dfa: 0-011+


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

dfa: 0-101+

minimized dfa: 0-101+


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

dfa: 00-01+

minimized dfa: 00-01+


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

dfa: 10-01+

minimized dfa: 10-01+


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

dfa: 00010-1+

minimized dfa: 00010-1+


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

dfa: 1010-1+

minimized dfa: 1010-1+


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

dfa: 01010-1+

minimized dfa: 01010-1+


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

dfa: 00100-1+

minimized dfa: 00100-1+


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

dfa: 1110-1+

minimized dfa: 1110-1+


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

dfa: -1000+

minimized dfa: -1000+


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

dfa: -0010+

minimized dfa: -0010+


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

dfa: -0100+

minimized dfa: -0100+


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

dfa: -1100+

minimized dfa: -1100+


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

dfa: -0110+

minimized dfa: -0110+


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

dfa: -1110+

minimized dfa: -1110+


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

dfa: -0001+

minimized dfa: -0001+


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

dfa: -1001+

minimized dfa: -1001+


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

dfa: -0011+

minimized dfa: -0011+


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

dfa: -1011+

minimized dfa: -1011+


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

dfa: -1101+

minimized dfa: -1101+


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

dfa: -0111+

minimized dfa: -0111+


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

dfa: 1001101-1+

minimized dfa: 100110-1+


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

dfa: 0100110-1+

minimized dfa: 0100110-1+


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

dfa: 0011011-1+

minimized dfa: 00110-1+


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

dfa: 001001101-1+

minimized dfa: 00100110-1+


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

dfa: 000100110-1+

minimized dfa: 000100110-1+


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

dfa: 10001-1+

minimized dfa: 1000-1+


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

dfa: 01000-1+

minimized dfa: 01000-1+


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

dfa: 11001-1+

minimized dfa: 1100-1+


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

dfa: 100-01+

minimized dfa: 100-01+


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

dfa: 0100-01+

minimized dfa: 0100-01+


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

dfa: 001000-1+

minimized dfa: 001000-1+


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

dfa: 011001-1+

minimized dfa: 01100-1+


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

dfa: 001010-1+

minimized dfa: 001010-1+


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

dfa: 11010-1+

minimized dfa: 11010-1+


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

dfa: 1-100+

minimized dfa: 1-100+


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

dfa: 1-010+

minimized dfa: 1-010+


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

dfa: 1-110+

minimized dfa: 1-110+


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

dfa: 1000100110-1+

minimized dfa: 1000100110-1+


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

dfa: 1100110111-1+

minimized dfa: 1100110-1+


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

dfa: 10100-1+

minimized dfa: 10100-1+


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

dfa: 110010-1+

minimized dfa: 110010-1+


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

dfa: 100010-1+

minimized dfa: 100010-1+


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

dfa: 100100-1+

minimized dfa: 100100-1+


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

dfa: 101101-1+

minimized dfa: 10110-1+


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

dfa: 101010-1+

minimized dfa: 101010-1+


   1000000
done, count =         88