['0,1:T', '0,2:T', '0,3:T', '0,7:T', '1,2:T', '1,3:T', '1,4:T', '1,5:T', '2,5:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '4,5:T', '4,6:T', '4,7:T', '5,6:T', '5,7:T', '5,8:T', '6,7:T', '7,8:T', '0,1,2,3,4,6,7,8:N']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,a:T', 'a,b,0,d,e,f,g,h:N']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['0,b:T', '0,d:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,d,e,f,g,h,0:N', 'c:T']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['0,b:T', '0,e:T', '0,f:T', '0,h:T', '0,a:T', 'a,b,c,d,e,g,0,h:N']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['0,b:T', '0,d:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'b,0,c,d,e,f,g,h:N']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['0,b:T', '0,d:T', 'a,0,c,d,e,f,g,h:N']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,a:T', 'h:T', 'b:T', 'f:T']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,e,0,f,g,h:N']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']
['a,b,c,d,e,f,g,h:N']
0 ['a,b,c,d,e,g,h,i:N', 'a,b,c,d,e,f,g,h:N']
1 ['0,2:T', '0,3:T', '0,6:T', '0,8:T', '1,2:T', '1,3:T', '1,8:T', '2,8:T', '3,4:T', '3,5:T', '3,6:T', '3,7:T', '3,8:T', '4,5:T', '4,6:T', '5,6:T', '5,7:T', '5,8:T', '6,8:T', '7,8:T', '0,1,2,3,4,5,6,7,8:N', '0,1,2,3,5,6,7,8:N']
2 ['0,c:T', '0,d:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a,b,c,d,0,e,f,h:N']
3 ['0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', 'a:T', 'b:T', 'd:T']
4 ['0,b:T', '0,d:T', '0,e:T', '0,f:T', '0,a:T', 'a,b,0,c,e,f,g,h:N']
5 ['0,b:T', '0,c:T', '0,e:T', '0,f:T', '0,g:T', '0,h:T', '0,a:T', 'a,b,c,d,e,f,g,0:N']
6 ['0,b:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a:T', 'c:T', 'f:T']
7 ['0,b:T', '0,c:T', '0,d:T', '0,e:T', '0,g:T', '0,h:T', 'a,b,d,0,e,f,g,h:N']
8 ['0,c:T', '0,f:T', '0,a:T', 'h:T', 'b:T', 'e:T', 'd:T', 'g:T']
9 ['a,b,c,d,e,f,g,h:N']