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


Here are the states in order:

0. [0,0,0;(),(),(),()]
1. [0,1,0;(),(),(),(1)]
2. [0,1,0;(),(),(1),()]
3. [1,0,0;(),(1),(),()]
4. [1,0,0;(1),(),(),()]
5. [1,0,1;(),(),(),()]
6. [1,1,0;(),(1),(),(1)]
7. [1,1,0;(),(1),(1),()]
8. [1,1,0;(1),(),(),(1)]
9. [1,1,0;(1),(),(1),()]
10. [1,1,1;(),(),(),(1)]
11. [1,1,1;(),(),(1),()]
12. [1,1,2;(),(),(),()]
13. [1,1,3;(),(1),(),()]
