0. [0,0,0,0,0,0,0;(),(),(),(),(),(),(),(),(),(),(),()]
Done.
Number of states stored: 168
Number of states matched: 0


Here are the states in order:

0. [0,0,0,0,0,0,0;(),(),(),(),(),(),(),(),(),(),(),()]
1. [0,0,0,0,0,1,0;(),(),(),(),(),(),(),(),(),(),(),(1)]
2. [0,0,0,0,0,1,0;(),(),(),(),(),(),(),(),(),(),(1),()]
3. [0,0,0,0,1,0,0;(),(),(),(),(),(),(),(),(1),(),(),()]
4. [0,0,0,0,1,1,0;(),(),(),(),(),(),(),(),(),(1),(),(1)]
5. [0,0,0,0,1,1,0;(),(),(),(),(),(),(),(),(1),(),(),(1)]
6. [0,0,0,0,1,1,0;(),(),(),(),(),(),(),(),(1),(),(1),()]
7. [0,0,0,1,0,0,0;(),(),(),(),(),(),(1),(),(),(),(),()]
8. [0,0,0,1,0,1,0;(),(),(),(),(),(),(1),(),(),(),(),(1)]
9. [0,0,0,1,0,1,0;(),(),(),(),(),(),(1),(),(),(),(1),()]
10. [0,0,0,1,1,0,0;(),(),(),(),(),(),(1),(),(1),(),(),()]
11. [0,0,0,1,1,1,0;(),(),(),(),(),(),(),(1),(),(1),(),(1)]
12. [0,0,0,1,1,1,0;(),(),(),(),(),(),(1),(),(1),(),(1),()]
13. [0,0,1,0,0,0,0;(),(),(),(),(1),(),(),(),(),(),(),()]
14. [0,0,1,0,0,1,0;(),(),(),(),(1),(),(),(),(),(),(),(1)]
15. [0,0,1,0,0,1,0;(),(),(),(),(1),(),(),(),(),(),(1),()]
16. [0,0,1,0,1,0,0;(),(),(),(),(1),(),(),(),(1),(),(),()]
17. [0,0,1,0,1,1,0;(),(),(),(),(1),(),(),(),(1),(),(1),()]
18. [0,0,1,1,0,0,0;(),(),(),(),(1),(),(1),(),(),(),(),()]
19. [0,0,1,1,0,1,0;(),(),(),(),(1),(),(1),(),(),(),(1),()]
20. [0,0,1,1,1,0,0;(),(),(),(),(1),(),(1),(),(1),(),(),()]
21. [0,0,1,1,1,1,0;(),(),(),(),(),(1),(),(1),(),(1),(),(1)]
22. [0,0,1,1,1,1,0;(),(),(),(),(1),(),(1),(),(1),(),(1),()]
23. [0,1,0,0,0,0,0;(),(),(1),(),(),(),(),(),(),(),(),()]
24. [0,1,0,0,0,1,0;(),(),(1),(),(),(),(),(),(),(),(),(1)]
25. [0,1,0,0,0,1,0;(),(),(1),(),(),(),(),(),(),(),(1),()]
26. [0,1,0,0,1,0,0;(),(),(1),(),(),(),(),(),(1),(),(),()]
27. [0,1,0,0,1,1,0;(),(),(1),(),(),(),(),(),(1),(),(1),()]
28. [0,1,0,1,0,0,0;(),(),(1),(),(),(),(1),(),(),(),(),()]
29. [0,1,0,1,0,1,0;(),(),(1),(),(),(),(1),(),(),(),(1),()]
30. [0,1,0,1,1,0,0;(),(),(1),(),(),(),(1),(),(1),(),(),()]
31. [0,1,0,1,1,1,0;(),(),(1),(),(),(),(1),(),(1),(),(1),()]
32. [0,1,1,0,0,0,0;(),(),(1),(),(1),(),(),(),(),(),(),()]
33. [0,1,1,0,0,1,0;(),(),(1),(),(1),(),(),(),(),(),(1),()]
34. [0,1,1,0,1,0,0;(),(),(1),(),(1),(),(),(),(1),(),(),()]
35. [0,1,1,0,1,1,0;(),(),(1),(),(1),(),(),(),(1),(),(1),()]
36. [0,1,1,1,0,0,0;(),(),(1),(),(1),(),(1),(),(),(),(),()]
37. [0,1,1,1,0,1,0;(),(),(1),(),(1),(),(1),(),(),(),(1),()]
38. [0,1,1,1,1,0,0;(),(),(1),(),(1),(),(1),(),(1),(),(),()]
39. [0,1,1,1,1,1,0;(),(),(),(1),(),(1),(),(1),(),(1),(),(1)]
40. [0,1,1,1,1,1,0;(),(),(1),(),(1),(),(1),(),(1),(),(1),()]
41. [1,0,0,0,0,0,0;(1),(),(),(),(),(),(),(),(),(),(),()]
42. [1,0,0,0,0,0,1;(),(),(),(),(),(),(),(),(),(),(),()]
43. [1,0,0,0,0,1,0;(1),(),(),(),(),(),(),(),(),(),(),(1)]
44. [1,0,0,0,0,1,0;(1),(),(),(),(),(),(),(),(),(),(1),()]
45. [1,0,0,0,0,1,1;(),(),(),(),(),(),(),(),(),(),(),(1)]
46. [1,0,0,0,0,1,1;(),(),(),(),(),(),(),(),(),(),(1),()]
47. [1,0,0,0,1,0,0;(1),(),(),(),(),(),(),(),(1),(),(),()]
48. [1,0,0,0,1,0,1;(),(),(),(),(),(),(),(),(1),(),(),()]
49. [1,0,0,0,1,1,0;(1),(),(),(),(),(),(),(),(1),(),(),(1)]
50. [1,0,0,0,1,1,0;(1),(),(),(),(),(),(),(),(1),(),(1),()]
51. [1,0,0,0,1,1,1;(),(),(),(),(),(),(),(),(1),(),(1),()]
52. [1,0,0,1,0,0,0;(1),(),(),(),(),(),(1),(),(),(),(),()]
53. [1,0,0,1,0,0,1;(),(),(),(),(),(),(1),(),(),(),(),()]
54. [1,0,0,1,0,1,0;(1),(),(),(),(),(),(1),(),(),(),(),(1)]
55. [1,0,0,1,0,1,0;(1),(),(),(),(),(),(1),(),(),(),(1),()]
56. [1,0,0,1,0,1,1;(),(),(),(),(),(),(1),(),(),(),(1),()]
57. [1,0,0,1,1,0,0;(1),(),(),(),(),(),(1),(),(1),(),(),()]
58. [1,0,0,1,1,0,1;(),(),(),(),(),(),(1),(),(1),(),(),()]
59. [1,0,0,1,1,1,0;(1),(),(),(),(),(),(1),(),(1),(),(1),()]
60. [1,0,0,1,1,1,1;(),(),(),(),(),(),(1),(),(1),(),(1),()]
61. [1,0,1,0,0,0,0;(1),(),(),(),(1),(),(),(),(),(),(),()]
62. [1,0,1,0,0,0,1;(),(),(),(),(1),(),(),(),(),(),(),()]
63. [1,0,1,0,0,1,0;(1),(),(),(),(1),(),(),(),(),(),(),(1)]
64. [1,0,1,0,0,1,0;(1),(),(),(),(1),(),(),(),(),(),(1),()]
65. [1,0,1,0,0,1,1;(),(),(),(),(1),(),(),(),(),(),(1),()]
66. [1,0,1,0,1,0,0;(1),(),(),(),(1),(),(),(),(1),(),(),()]
67. [1,0,1,0,1,0,1;(),(),(),(),(1),(),(),(),(1),(),(),()]
68. [1,0,1,0,1,1,0;(1),(),(),(),(1),(),(),(),(1),(),(1),()]
69. [1,0,1,0,1,1,1;(),(),(),(),(1),(),(),(),(1),(),(1),()]
70. [1,0,1,1,0,0,0;(1),(),(),(),(1),(),(1),(),(),(),(),()]
71. [1,0,1,1,0,0,1;(),(),(),(),(1),(),(1),(),(),(),(),()]
72. [1,0,1,1,0,1,0;(1),(),(),(),(1),(),(1),(),(),(),(1),()]
73. [1,0,1,1,0,1,1;(),(),(),(),(1),(),(1),(),(),(),(1),()]
74. [1,0,1,1,1,0,0;(1),(),(),(),(1),(),(1),(),(1),(),(),()]
75. [1,0,1,1,1,0,1;(),(),(),(),(1),(),(1),(),(1),(),(),()]
76. [1,0,1,1,1,1,0;(1),(),(),(),(1),(),(1),(),(1),(),(1),()]
77. [1,0,1,1,1,1,1;(),(),(),(),(1),(),(1),(),(1),(),(1),()]
78. [1,1,0,0,0,0,0;(1),(),(1),(),(),(),(),(),(),(),(),()]
79. [1,1,0,0,0,0,1;(),(),(1),(),(),(),(),(),(),(),(),()]
80. [1,1,0,0,0,0,2;(),(),(),(),(),(),(),(),(),(),(),()]
81. [1,1,0,0,0,1,0;(1),(),(1),(),(),(),(),(),(),(),(),(1)]
82. [1,1,0,0,0,1,0;(1),(),(1),(),(),(),(),(),(),(),(1),()]
83. [1,1,0,0,0,1,1;(),(),(1),(),(),(),(),(),(),(),(),(1)]
84. [1,1,0,0,0,1,1;(),(),(1),(),(),(),(),(),(),(),(1),()]
85. [1,1,0,0,0,1,2;(),(),(),(),(),(),(),(),(),(),(),(1)]
86. [1,1,0,0,0,1,2;(),(),(),(),(),(),(),(),(),(),(1),()]
87. [1,1,0,0,1,0,0;(1),(),(1),(),(),(),(),(),(1),(),(),()]
88. [1,1,0,0,1,0,1;(),(),(1),(),(),(),(),(),(1),(),(),()]
89. [1,1,0,0,1,0,2;(),(),(),(),(),(),(),(),(1),(),(),()]
90. [1,1,0,0,1,1,0;(1),(),(1),(),(),(),(),(),(1),(),(),(1)]
91. [1,1,0,0,1,1,0;(1),(),(1),(),(),(),(),(),(1),(),(1),()]
92. [1,1,0,0,1,1,1;(),(),(1),(),(),(),(),(),(1),(),(1),()]
93. [1,1,0,0,1,1,2;(),(),(),(),(),(),(),(),(1),(),(1),()]
94. [1,1,0,1,0,0,0;(1),(),(1),(),(),(),(1),(),(),(),(),()]
95. [1,1,0,1,0,0,1;(),(),(1),(),(),(),(1),(),(),(),(),()]
96. [1,1,0,1,0,0,2;(),(),(),(),(),(),(1),(),(),(),(),()]
97. [1,1,0,1,0,1,0;(1),(),(1),(),(),(),(1),(),(),(),(),(1)]
98. [1,1,0,1,0,1,0;(1),(),(1),(),(),(),(1),(),(),(),(1),()]
99. [1,1,0,1,0,1,1;(),(),(1),(),(),(),(1),(),(),(),(1),()]
100. [1,1,0,1,0,1,2;(),(),(),(),(),(),(1),(),(),(),(1),()]
101. [1,1,0,1,1,0,0;(1),(),(1),(),(),(),(1),(),(1),(),(),()]
102. [1,1,0,1,1,0,1;(),(),(1),(),(),(),(1),(),(1),(),(),()]
103. [1,1,0,1,1,0,2;(),(),(),(),(),(),(1),(),(1),(),(),()]
104. [1,1,0,1,1,1,0;(1),(),(1),(),(),(),(1),(),(1),(),(1),()]
105. [1,1,0,1,1,1,1;(),(),(1),(),(),(),(1),(),(1),(),(1),()]
106. [1,1,0,1,1,1,2;(),(),(),(),(),(),(1),(),(1),(),(1),()]
107. [1,1,1,0,0,0,0;(1),(),(1),(),(1),(),(),(),(),(),(),()]
108. [1,1,1,0,0,0,1;(),(),(1),(),(1),(),(),(),(),(),(),()]
109. [1,1,1,0,0,0,2;(),(),(),(),(1),(),(),(),(),(),(),()]
110. [1,1,1,0,0,0,3;(),(),(),(),(),(),(),(),(),(),(),()]
111. [1,1,1,0,0,1,0;(1),(),(1),(),(1),(),(),(),(),(),(),(1)]
112. [1,1,1,0,0,1,0;(1),(),(1),(),(1),(),(),(),(),(),(1),()]
113. [1,1,1,0,0,1,1;(),(),(1),(),(1),(),(),(),(),(),(),(1)]
114. [1,1,1,0,0,1,1;(),(),(1),(),(1),(),(),(),(),(),(1),()]
115. [1,1,1,0,0,1,2;(),(),(),(),(1),(),(),(),(),(),(),(1)]
116. [1,1,1,0,0,1,2;(),(),(),(),(1),(),(),(),(),(),(1),()]
117. [1,1,1,0,0,1,3;(),(),(),(),(),(),(),(),(),(),(),(1)]
118. [1,1,1,0,0,1,3;(),(),(),(),(),(),(),(),(),(),(1),()]
119. [1,1,1,0,1,0,0;(1),(),(1),(),(1),(),(),(),(1),(),(),()]
120. [1,1,1,0,1,0,1;(),(),(1),(),(1),(),(),(),(1),(),(),()]
121. [1,1,1,0,1,0,2;(),(),(),(),(1),(),(),(),(1),(),(),()]
122. [1,1,1,0,1,0,3;(),(),(),(),(),(),(),(),(1),(),(),()]
123. [1,1,1,0,1,1,0;(1),(),(1),(),(1),(),(),(),(1),(),(),(1)]
124. [1,1,1,0,1,1,0;(1),(),(1),(),(1),(),(),(),(1),(),(1),()]
125. [1,1,1,0,1,1,1;(),(),(1),(),(1),(),(),(),(1),(),(1),()]
126. [1,1,1,0,1,1,2;(),(),(),(),(1),(),(),(),(1),(),(1),()]
127. [1,1,1,0,1,1,3;(),(),(),(),(),(),(),(),(1),(),(1),()]
128. [1,1,1,1,0,0,0;(1),(),(1),(),(1),(),(1),(),(),(),(),()]
129. [1,1,1,1,0,0,1;(),(),(1),(),(1),(),(1),(),(),(),(),()]
130. [1,1,1,1,0,0,2;(),(),(),(),(1),(),(1),(),(),(),(),()]
131. [1,1,1,1,0,0,3;(),(),(),(),(),(),(1),(),(),(),(),()]
132. [1,1,1,1,0,0,4;(),(),(),(),(),(),(),(),(),(),(),()]
133. [1,1,1,1,0,1,0;(1),(),(1),(),(1),(),(1),(),(),(),(),(1)]
134. [1,1,1,1,0,1,0;(1),(),(1),(),(1),(),(1),(),(),(),(1),()]
135. [1,1,1,1,0,1,1;(),(),(1),(),(1),(),(1),(),(),(),(),(1)]
136. [1,1,1,1,0,1,1;(),(),(1),(),(1),(),(1),(),(),(),(1),()]
137. [1,1,1,1,0,1,2;(),(),(),(),(1),(),(1),(),(),(),(),(1)]
138. [1,1,1,1,0,1,2;(),(),(),(),(1),(),(1),(),(),(),(1),()]
139. [1,1,1,1,0,1,3;(),(),(),(),(),(),(1),(),(),(),(),(1)]
140. [1,1,1,1,0,1,3;(),(),(),(),(),(),(1),(),(),(),(1),()]
141. [1,1,1,1,0,1,4;(),(),(),(),(),(),(),(),(),(),(),(1)]
142. [1,1,1,1,0,1,4;(),(),(),(),(),(),(),(),(),(),(1),()]
143. [1,1,1,1,1,0,0;(1),(),(1),(),(1),(),(1),(),(1),(),(),()]
144. [1,1,1,1,1,0,1;(),(),(1),(),(1),(),(1),(),(1),(),(),()]
145. [1,1,1,1,1,0,2;(),(),(),(),(1),(),(1),(),(1),(),(),()]
146. [1,1,1,1,1,0,3;(),(),(),(),(),(),(1),(),(1),(),(),()]
147. [1,1,1,1,1,0,4;(),(),(),(),(),(),(),(),(1),(),(),()]
148. [1,1,1,1,1,0,5;(),(),(),(),(),(),(),(),(),(),(),()]
149. [1,1,1,1,1,1,0;(),(1),(),(1),(),(1),(),(1),(),(1),(),(1)]
150. [1,1,1,1,1,1,0;(1),(),(1),(),(1),(),(1),(),(1),(),(),(1)]
151. [1,1,1,1,1,1,0;(1),(),(1),(),(1),(),(1),(),(1),(),(1),()]
152. [1,1,1,1,1,1,1;(),(),(1),(),(1),(),(1),(),(1),(),(),(1)]
153. [1,1,1,1,1,1,1;(),(),(1),(),(1),(),(1),(),(1),(),(1),()]
154. [1,1,1,1,1,1,2;(),(),(),(),(1),(),(1),(),(1),(),(),(1)]
155. [1,1,1,1,1,1,2;(),(),(),(),(1),(),(1),(),(1),(),(1),()]
156. [1,1,1,1,1,1,3;(),(),(),(),(),(),(1),(),(1),(),(),(1)]
157. [1,1,1,1,1,1,3;(),(),(),(),(),(),(1),(),(1),(),(1),()]
158. [1,1,1,1,1,1,4;(),(),(),(),(),(),(),(),(1),(),(),(1)]
159. [1,1,1,1,1,1,4;(),(),(),(),(),(),(),(),(1),(),(1),()]
160. [1,1,1,1,1,1,5;(),(),(),(),(),(),(),(),(),(),(),(1)]
161. [1,1,1,1,1,1,5;(),(),(),(),(),(),(),(),(),(),(1),()]
162. [1,1,1,1,1,1,6;(),(),(),(),(),(),(),(),(),(),(),()]
163. [1,1,1,1,1,1,7;(),(1),(),(),(),(),(),(),(),(),(),()]
164. [1,1,1,1,1,1,8;(),(1),(),(1),(),(),(),(),(),(),(),()]
165. [1,1,1,1,1,1,9;(),(1),(),(1),(),(1),(),(),(),(),(),()]
166. [1,1,1,1,1,1,10;(),(1),(),(1),(),(1),(),(1),(),(),(),()]
167. [1,1,1,1,1,1,11;(),(1),(),(1),(),(1),(),(1),(),(1),(),()]
