.snapshots/TestSolve-Board#02
0 1 2 3 4 5 6 7
0 64 64 64 64 64 64 64 64
1 64 64 64 64 64 64 64 64
2 64 64 64 64 64 64 64 64
3 64 64 64 64 64 64 64 64
4 64 64 64 64 64 64 64 64
5 64 64 64 64 64 64 64 64
6 64 64 64 64 64 64 64 64
7 64 64 64 64 64 64 64 64
[0,0]: Final([0,0]-[8,8]@[2,2])
[1,0]: Final([0,0]-[8,8]@[2,2])
[2,0]: Final([0,0]-[8,8]@[2,2])
[3,0]: Final([0,0]-[8,8]@[2,2])
[4,0]: Final([0,0]-[8,8]@[2,2])
[5,0]: Final([0,0]-[8,8]@[2,2])
[6,0]: Final([0,0]-[8,8]@[2,2])
[7,0]: Final([0,0]-[8,8]@[2,2])
[0,1]: Final([0,0]-[8,8]@[2,2])
[1,1]: Final([0,0]-[8,8]@[2,2])
[2,1]: Final([0,0]-[8,8]@[2,2])
[3,1]: Final([0,0]-[8,8]@[2,2])
[4,1]: Final([0,0]-[8,8]@[2,2])
[5,1]: Final([0,0]-[8,8]@[2,2])
[6,1]: Final([0,0]-[8,8]@[2,2])
[7,1]: Final([0,0]-[8,8]@[2,2])
[0,2]: Final([0,0]-[8,8]@[2,2])
[1,2]: Final([0,0]-[8,8]@[2,2])
[2,2]: Given(64) Final([0,0]-[8,8]@[2,2])
[3,2]: Final([0,0]-[8,8]@[2,2])
[4,2]: Final([0,0]-[8,8]@[2,2])
[5,2]: Final([0,0]-[8,8]@[2,2])
[6,2]: Final([0,0]-[8,8]@[2,2])
[7,2]: Final([0,0]-[8,8]@[2,2])
[0,3]: Final([0,0]-[8,8]@[2,2])
[1,3]: Final([0,0]-[8,8]@[2,2])
[2,3]: Final([0,0]-[8,8]@[2,2])
[3,3]: Final([0,0]-[8,8]@[2,2])
[4,3]: Final([0,0]-[8,8]@[2,2])
[5,3]: Final([0,0]-[8,8]@[2,2])
[6,3]: Final([0,0]-[8,8]@[2,2])
[7,3]: Final([0,0]-[8,8]@[2,2])
[0,4]: Final([0,0]-[8,8]@[2,2])
[1,4]: Final([0,0]-[8,8]@[2,2])
[2,4]: Final([0,0]-[8,8]@[2,2])
[3,4]: Final([0,0]-[8,8]@[2,2])
[4,4]: Final([0,0]-[8,8]@[2,2])
[5,4]: Final([0,0]-[8,8]@[2,2])
[6,4]: Final([0,0]-[8,8]@[2,2])
[7,4]: Final([0,0]-[8,8]@[2,2])
[0,5]: Final([0,0]-[8,8]@[2,2])
[1,5]: Final([0,0]-[8,8]@[2,2])
[2,5]: Final([0,0]-[8,8]@[2,2])
[3,5]: Final([0,0]-[8,8]@[2,2])
[4,5]: Final([0,0]-[8,8]@[2,2])
[5,5]: Final([0,0]-[8,8]@[2,2])
[6,5]: Final([0,0]-[8,8]@[2,2])
[7,5]: Final([0,0]-[8,8]@[2,2])
[0,6]: Final([0,0]-[8,8]@[2,2])
[1,6]: Final([0,0]-[8,8]@[2,2])
[2,6]: Final([0,0]-[8,8]@[2,2])
[3,6]: Final([0,0]-[8,8]@[2,2])
[4,6]: Final([0,0]-[8,8]@[2,2])
[5,6]: Final([0,0]-[8,8]@[2,2])
[6,6]: Final([0,0]-[8,8]@[2,2])
[7,6]: Final([0,0]-[8,8]@[2,2])
[0,7]: Final([0,0]-[8,8]@[2,2])
[1,7]: Final([0,0]-[8,8]@[2,2])
[2,7]: Final([0,0]-[8,8]@[2,2])
[3,7]: Final([0,0]-[8,8]@[2,2])
[4,7]: Final([0,0]-[8,8]@[2,2])
[5,7]: Final([0,0]-[8,8]@[2,2])
[6,7]: Final([0,0]-[8,8]@[2,2])
[7,7]: Final([0,0]-[8,8]@[2,2])