0. [0,0,0;(),(),(),()]
Done.
Number of states stored: 16
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. [0,1,3;(),(),(),()]
4. [1,0,0;(),(1),(),()]
5. [1,0,0;(1),(),(),()]
6. [1,0,1;(),(),(),()]
7. [1,1,0;(),(1),(),(1)]
8. [1,1,0;(),(1),(1),()]
9. [1,1,0;(1),(),(),(1)]
10. [1,1,0;(1),(),(1),()]
11. [1,1,1;(),(),(),(1)]
12. [1,1,1;(),(),(1),()]
13. [1,1,2;(),(),(),()]
14. [1,1,3;(),(1),(),()]
15. [1,1,3;(1),(),(),()]
