.snapshots/TestSolve-Board#04
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
0 4 4 4 04 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 03 3 3 02
1 02 2 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 2
2 02 2 24 24 24 24 24 24 24 24 24 24 24 24 2 80 80 80 80 80 2 04 4 4 4
3 44 44 24 24 24 24 24 24 24 24 24 24 24 24 02 80 80 80 80 80 02 4 04 4 4
4 44 44 13 13 13 13 13 13 13 13 13 13 13 13 13 80 80 80 80 80 95 95 95 95 95
5 44 44 9 9 9 09 9 9 9 9 9 21 21 21 8 80 80 80 80 80 95 95 95 95 95
6 44 44 2 02 2 02 12 12 21 21 21 21 21 21 8 80 80 80 80 80 95 95 95 95 95
7 44 44 20 20 20 20 12 12 21 21 21 21 21 21 08 80 80 80 80 80 95 95 95 95 95
8 44 44 20 20 20 20 12 12 21 21 21 21 21 21 8 80 80 80 80 80 95 95 95 95 95
9 44 44 20 20 20 20 12 12 21 21 21 21 21 21 8 80 80 80 80 80 95 95 95 95 95
10 44 44 20 20 20 20 12 12 21 21 21 21 21 21 8 80 80 80 80 80 95 95 95 95 95
11 44 44 20 20 20 20 12 12 21 21 21 21 21 21 8 80 80 80 80 80 95 95 95 95 95
12 44 44 03 3 3 3 3 03 21 21 21 03 3 3 8 80 80 80 80 80 95 95 95 95 95
13 44 44 32 32 32 32 32 32 32 32 2 02 3 3 03 80 80 80 80 80 95 95 95 95 95
14 44 44 32 32 32 32 32 32 32 32 03 2 02 2 02 80 80 80 80 80 95 95 95 95 95
15 44 44 32 32 32 32 32 32 32 32 3 4 04 4 4 80 80 80 80 80 95 95 95 95 95
16 44 44 32 32 32 32 32 32 32 32 3 04 4 4 4 80 80 80 80 80 95 95 95 95 95
17 44 44 15 15 15 03 6 06 6 6 6 6 3 03 3 80 80 80 80 80 95 95 95 95 95
18 44 44 15 15 15 3 3 03 3 09 9 9 9 9 9 9 9 9 02 2 95 95 95 95 95
19 44 44 15 15 15 3 4 4 04 4 6 6 06 6 6 6 02 2 3 02 95 95 95 95 95
20 44 44 15 15 15 26 26 26 26 26 26 26 26 26 26 26 26 26 3 2 95 95 95 95 95
21 44 44 15 15 15 26 26 26 26 26 26 26 26 26 26 26 26 26 03 02 95 95 95 95 95
22 44 44 9 9 09 9 9 9 9 9 9 5 5 05 5 5 3 03 3 2 95 95 95 95 95
23 44 44 3 3 03 6 6 06 6 6 6 28 28 28 28 28 28 28 28 28 28 28 28 28 28
24 44 44 9 9 9 9 9 9 9 09 9 28 28 28 28 28 28 28 28 28 28 28 28 28 28
[0,0]: Final([0,0]-[4,1]@[3,0])
[1,0]: Final([0,0]-[4,1]@[3,0])
[2,0]: Final([0,0]-[4,1]@[3,0])
[3,0]: Given(4) Final([0,0]-[4,1]@[3,0])
[4,0]: Given(17) Final([4,0]-[21,1]@[4,0])
[5,0]: Final([4,0]-[21,1]@[4,0])
[6,0]: Final([4,0]-[21,1]@[4,0])
[7,0]: Final([4,0]-[21,1]@[4,0])
[8,0]: Final([4,0]-[21,1]@[4,0])
[9,0]: Final([4,0]-[21,1]@[4,0])
[10,0]: Final([4,0]-[21,1]@[4,0])
[11,0]: Final([4,0]-[21,1]@[4,0])
[12,0]: Final([4,0]-[21,1]@[4,0])
[13,0]: Final([4,0]-[21,1]@[4,0])
[14,0]: Final([4,0]-[21,1]@[4,0])
[15,0]: Final([4,0]-[21,1]@[4,0])
[16,0]: Final([4,0]-[21,1]@[4,0])
[17,0]: Final([4,0]-[21,1]@[4,0])
[18,0]: Final([4,0]-[21,1]@[4,0])
[19,0]: Final([4,0]-[21,1]@[4,0])
[20,0]: Final([4,0]-[21,1]@[4,0])
[21,0]: Given(3) Final([21,0]-[24,1]@[21,0])
[22,0]: Final([21,0]-[24,1]@[21,0])
[23,0]: Final([21,0]-[24,1]@[21,0])
[24,0]: Given(2) Final([24,0]-[25,2]@[24,0])
[0,1]: Given(2) Final([0,1]-[2,2]@[0,1])
[1,1]: Final([0,1]-[2,2]@[0,1])
[2,1]: Final([2,1]-[24,2]@[3,1])
[3,1]: Given(22) Final([2,1]-[24,2]@[3,1])
[4,1]: Final([2,1]-[24,2]@[3,1])
[5,1]: Final([2,1]-[24,2]@[3,1])
[6,1]: Final([2,1]-[24,2]@[3,1])
[7,1]: Final([2,1]-[24,2]@[3,1])
[8,1]: Final([2,1]-[24,2]@[3,1])
[9,1]: Final([2,1]-[24,2]@[3,1])
[10,1]: Final([2,1]-[24,2]@[3,1])
[11,1]: Final([2,1]-[24,2]@[3,1])
[12,1]: Final([2,1]-[24,2]@[3,1])
[13,1]: Final([2,1]-[24,2]@[3,1])
[14,1]: Final([2,1]-[24,2]@[3,1])
[15,1]: Final([2,1]-[24,2]@[3,1])
[16,1]: Final([2,1]-[24,2]@[3,1])
[17,1]: Final([2,1]-[24,2]@[3,1])
[18,1]: Final([2,1]-[24,2]@[3,1])
[19,1]: Final([2,1]-[24,2]@[3,1])
[20,1]: Final([2,1]-[24,2]@[3,1])
[21,1]: Final([2,1]-[24,2]@[3,1])
[22,1]: Final([2,1]-[24,2]@[3,1])
[23,1]: Final([2,1]-[24,2]@[3,1])
[24,1]: Final([24,0]-[25,2]@[24,0])
[0,2]: Given(2) Final([0,2]-[2,3]@[0,2])
[1,2]: Final([0,2]-[2,3]@[0,2])
[2,2]: Final([2,2]-[14,4]@[13,3])
[3,2]: Final([2,2]-[14,4]@[13,3])
[4,2]: Final([2,2]-[14,4]@[13,3])
[5,2]: Final([2,2]-[14,4]@[13,3])
[6,2]: Final([2,2]-[14,4]@[13,3])
[7,2]: Final([2,2]-[14,4]@[13,3])
[8,2]: Final([2,2]-[14,4]@[13,3])
[9,2]: Final([2,2]-[14,4]@[13,3])
[10,2]: Final([2,2]-[14,4]@[13,3])
[11,2]: Final([2,2]-[14,4]@[13,3])
[12,2]: Final([2,2]-[14,4]@[13,3])
[13,2]: Final([2,2]-[14,4]@[13,3])
[14,2]: Final([14,2]-[15,4]@[14,3])
[15,2]: Final([15,2]-[20,18]@[18,7])
[16,2]: Final([15,2]-[20,18]@[18,7])
[17,2]: Final([15,2]-[20,18]@[18,7])
[18,2]: Final([15,2]-[20,18]@[18,7])
[19,2]: Final([15,2]-[20,18]@[18,7])
[20,2]: Final([20,2]-[21,4]@[20,3])
[21,2]: Given(4) Final([21,2]-[25,3]@[21,2])
[22,2]: Final([21,2]-[25,3]@[21,2])
[23,2]: Final([21,2]-[25,3]@[21,2])
[24,2]: Final([21,2]-[25,3]@[21,2])
[0,3]: Final([0,3]-[2,25]@[1,19])
[1,3]: Final([0,3]-[2,25]@[1,19])
[2,3]: Final([2,2]-[14,4]@[13,3])
[3,3]: Final([2,2]-[14,4]@[13,3])
[4,3]: Final([2,2]-[14,4]@[13,3])
[5,3]: Final([2,2]-[14,4]@[13,3])
[6,3]: Final([2,2]-[14,4]@[13,3])
[7,3]: Final([2,2]-[14,4]@[13,3])
[8,3]: Final([2,2]-[14,4]@[13,3])
[9,3]: Final([2,2]-[14,4]@[13,3])
[10,3]: Final([2,2]-[14,4]@[13,3])
[11,3]: Final([2,2]-[14,4]@[13,3])
[12,3]: Final([2,2]-[14,4]@[13,3])
[13,3]: Given(24) Final([2,2]-[14,4]@[13,3])
[14,3]: Given(2) Final([14,2]-[15,4]@[14,3])
[15,3]: Final([15,2]-[20,18]@[18,7])
[16,3]: Final([15,2]-[20,18]@[18,7])
[17,3]: Final([15,2]-[20,18]@[18,7])
[18,3]: Final([15,2]-[20,18]@[18,7])
[19,3]: Final([15,2]-[20,18]@[18,7])
[20,3]: Given(2) Final([20,2]-[21,4]@[20,3])
[21,3]: Final([21,3]-[25,4]@[22,3])
[22,3]: Given(4) Final([21,3]-[25,4]@[22,3])
[23,3]: Final([21,3]-[25,4]@[22,3])
[24,3]: Final([21,3]-[25,4]@[22,3])
[0,4]: Final([0,3]-[2,25]@[1,19])
[1,4]: Final([0,3]-[2,25]@[1,19])
[2,4]: Final([2,4]-[15,5]@[9,4])
[3,4]: Final([2,4]-[15,5]@[9,4])
[4,4]: Final([2,4]-[15,5]@[9,4])
[5,4]: Final([2,4]-[15,5]@[9,4])
[6,4]: Final([2,4]-[15,5]@[9,4])
[7,4]: Final([2,4]-[15,5]@[9,4])
[8,4]: Final([2,4]-[15,5]@[9,4])
[9,4]: Given(13) Final([2,4]-[15,5]@[9,4])
[10,4]: Final([2,4]-[15,5]@[9,4])
[11,4]: Final([2,4]-[15,5]@[9,4])
[12,4]: Final([2,4]-[15,5]@[9,4])
[13,4]: Final([2,4]-[15,5]@[9,4])
[14,4]: Final([2,4]-[15,5]@[9,4])
[15,4]: Final([15,2]-[20,18]@[18,7])
[16,4]: Final([15,2]-[20,18]@[18,7])
[17,4]: Final([15,2]-[20,18]@[18,7])
[18,4]: Final([15,2]-[20,18]@[18,7])
[19,4]: Final([15,2]-[20,18]@[18,7])
[20,4]: Final([20,4]-[25,23]@[20,9])
[21,4]: Final([20,4]-[25,23]@[20,9])
[22,4]: Final([20,4]-[25,23]@[20,9])
[23,4]: Final([20,4]-[25,23]@[20,9])
[24,4]: Final([20,4]-[25,23]@[20,9])
[0,5]: Final([0,3]-[2,25]@[1,19])
[1,5]: Final([0,3]-[2,25]@[1,19])
[2,5]: Final([2,5]-[11,6]@[5,5])
[3,5]: Final([2,5]-[11,6]@[5,5])
[4,5]: Final([2,5]-[11,6]@[5,5])
[5,5]: Given(9) Final([2,5]-[11,6]@[5,5])
[6,5]: Final([2,5]-[11,6]@[5,5])
[7,5]: Final([2,5]-[11,6]@[5,5])
[8,5]: Final([2,5]-[11,6]@[5,5])
[9,5]: Final([2,5]-[11,6]@[5,5])
[10,5]: Final([2,5]-[11,6]@[5,5])
[11,5]: Given(21) Final([11,5]-[14,12]@[11,5])
[12,5]: Final([11,5]-[14,12]@[11,5])
[13,5]: Final([11,5]-[14,12]@[11,5])
[14,5]: Final([14,5]-[15,13]@[14,7])
[15,5]: Final([15,2]-[20,18]@[18,7])
[16,5]: Final([15,2]-[20,18]@[18,7])
[17,5]: Final([15,2]-[20,18]@[18,7])
[18,5]: Final([15,2]-[20,18]@[18,7])
[19,5]: Final([15,2]-[20,18]@[18,7])
[20,5]: Final([20,4]-[25,23]@[20,9])
[21,5]: Final([20,4]-[25,23]@[20,9])
[22,5]: Final([20,4]-[25,23]@[20,9])
[23,5]: Final([20,4]-[25,23]@[20,9])
[24,5]: Final([20,4]-[25,23]@[20,9])
[0,6]: Final([0,3]-[2,25]@[1,19])
[1,6]: Final([0,3]-[2,25]@[1,19])
[2,6]: Final([2,6]-[4,7]@[3,6])
[3,6]: Given(2) Final([2,6]-[4,7]@[3,6])
[4,6]: Final([4,6]-[6,7]@[5,6])
[5,6]: Given(2) Final([4,6]-[6,7]@[5,6])
[6,6]: Final([6,6]-[8,12]@[7,11])
[7,6]: Final([6,6]-[8,12]@[7,11])
[8,6]: Final([8,6]-[11,13]@[9,11])
[9,6]: Final([8,6]-[11,13]@[9,11])
[10,6]: Final([8,6]-[11,13]@[9,11])
[11,6]: Final([11,5]-[14,12]@[11,5])
[12,6]: Final([11,5]-[14,12]@[11,5])
[13,6]: Final([11,5]-[14,12]@[11,5])
[14,6]: Final([14,5]-[15,13]@[14,7])
[15,6]: Final([15,2]-[20,18]@[18,7])
[16,6]: Final([15,2]-[20,18]@[18,7])
[17,6]: Final([15,2]-[20,18]@[18,7])
[18,6]: Final([15,2]-[20,18]@[18,7])
[19,6]: Final([15,2]-[20,18]@[18,7])
[20,6]: Final([20,4]-[25,23]@[20,9])
[21,6]: Final([20,4]-[25,23]@[20,9])
[22,6]: Final([20,4]-[25,23]@[20,9])
[23,6]: Final([20,4]-[25,23]@[20,9])
[24,6]: Final([20,4]-[25,23]@[20,9])
[0,7]: Final([0,3]-[2,25]@[1,19])
[1,7]: Final([0,3]-[2,25]@[1,19])
[2,7]: Given(20) Final([2,7]-[6,12]@[2,7])
[3,7]: Final([2,7]-[6,12]@[2,7])
[4,7]: Final([2,7]-[6,12]@[2,7])
[5,7]: Final([2,7]-[6,12]@[2,7])
[6,7]: Final([6,6]-[8,12]@[7,11])
[7,7]: Final([6,6]-[8,12]@[7,11])
[8,7]: Final([8,6]-[11,13]@[9,11])
[9,7]: Final([8,6]-[11,13]@[9,11])
[10,7]: Final([8,6]-[11,13]@[9,11])
[11,7]: Final([11,5]-[14,12]@[11,5])
[12,7]: Final([11,5]-[14,12]@[11,5])
[13,7]: Final([11,5]-[14,12]@[11,5])
[14,7]: Given(8) Final([14,5]-[15,13]@[14,7])
[15,7]: Final([15,2]-[20,18]@[18,7])
[16,7]: Final([15,2]-[20,18]@[18,7])
[17,7]: Final([15,2]-[20,18]@[18,7])
[18,7]: Given(80) Final([15,2]-[20,18]@[18,7])
[19,7]: Final([15,2]-[20,18]@[18,7])
[20,7]: Final([20,4]-[25,23]@[20,9])
[21,7]: Final([20,4]-[25,23]@[20,9])
[22,7]: Final([20,4]-[25,23]@[20,9])
[23,7]: Final([20,4]-[25,23]@[20,9])
[24,7]: Final([20,4]-[25,23]@[20,9])
[0,8]: Final([0,3]-[2,25]@[1,19])
[1,8]: Final([0,3]-[2,25]@[1,19])
[2,8]: Final([2,7]-[6,12]@[2,7])
[3,8]: Final([2,7]-[6,12]@[2,7])
[4,8]: Final([2,7]-[6,12]@[2,7])
[5,8]: Final([2,7]-[6,12]@[2,7])
[6,8]: Final([6,6]-[8,12]@[7,11])
[7,8]: Final([6,6]-[8,12]@[7,11])
[8,8]: Final([8,6]-[11,13]@[9,11])
[9,8]: Final([8,6]-[11,13]@[9,11])
[10,8]: Final([8,6]-[11,13]@[9,11])
[11,8]: Final([11,5]-[14,12]@[11,5])
[12,8]: Final([11,5]-[14,12]@[11,5])
[13,8]: Final([11,5]-[14,12]@[11,5])
[14,8]: Final([14,5]-[15,13]@[14,7])
[15,8]: Final([15,2]-[20,18]@[18,7])
[16,8]: Final([15,2]-[20,18]@[18,7])
[17,8]: Final([15,2]-[20,18]@[18,7])
[18,8]: Final([15,2]-[20,18]@[18,7])
[19,8]: Final([15,2]-[20,18]@[18,7])
[20,8]: Final([20,4]-[25,23]@[20,9])
[21,8]: Final([20,4]-[25,23]@[20,9])
[22,8]: Final([20,4]-[25,23]@[20,9])
[23,8]: Final([20,4]-[25,23]@[20,9])
[24,8]: Final([20,4]-[25,23]@[20,9])
[0,9]: Final([0,3]-[2,25]@[1,19])
[1,9]: Final([0,3]-[2,25]@[1,19])
[2,9]: Final([2,7]-[6,12]@[2,7])
[3,9]: Final([2,7]-[6,12]@[2,7])
[4,9]: Final([2,7]-[6,12]@[2,7])
[5,9]: Final([2,7]-[6,12]@[2,7])
[6,9]: Final([6,6]-[8,12]@[7,11])
[7,9]: Final([6,6]-[8,12]@[7,11])
[8,9]: Final([8,6]-[11,13]@[9,11])
[9,9]: Final([8,6]-[11,13]@[9,11])
[10,9]: Final([8,6]-[11,13]@[9,11])
[11,9]: Final([11,5]-[14,12]@[11,5])
[12,9]: Final([11,5]-[14,12]@[11,5])
[13,9]: Final([11,5]-[14,12]@[11,5])
[14,9]: Final([14,5]-[15,13]@[14,7])
[15,9]: Final([15,2]-[20,18]@[18,7])
[16,9]: Final([15,2]-[20,18]@[18,7])
[17,9]: Final([15,2]-[20,18]@[18,7])
[18,9]: Final([15,2]-[20,18]@[18,7])
[19,9]: Final([15,2]-[20,18]@[18,7])
[20,9]: Given(95) Final([20,4]-[25,23]@[20,9])
[21,9]: Final([20,4]-[25,23]@[20,9])
[22,9]: Final([20,4]-[25,23]@[20,9])
[23,9]: Final([20,4]-[25,23]@[20,9])
[24,9]: Final([20,4]-[25,23]@[20,9])
[0,10]: Final([0,3]-[2,25]@[1,19])
[1,10]: Final([0,3]-[2,25]@[1,19])
[2,10]: Final([2,7]-[6,12]@[2,7])
[3,10]: Final([2,7]-[6,12]@[2,7])
[4,10]: Final([2,7]-[6,12]@[2,7])
[5,10]: Final([2,7]-[6,12]@[2,7])
[6,10]: Final([6,6]-[8,12]@[7,11])
[7,10]: Final([6,6]-[8,12]@[7,11])
[8,10]: Final([8,6]-[11,13]@[9,11])
[9,10]: Final([8,6]-[11,13]@[9,11])
[10,10]: Final([8,6]-[11,13]@[9,11])
[11,10]: Final([11,5]-[14,12]@[11,5])
[12,10]: Final([11,5]-[14,12]@[11,5])
[13,10]: Final([11,5]-[14,12]@[11,5])
[14,10]: Final([14,5]-[15,13]@[14,7])
[15,10]: Final([15,2]-[20,18]@[18,7])
[16,10]: Final([15,2]-[20,18]@[18,7])
[17,10]: Final([15,2]-[20,18]@[18,7])
[18,10]: Final([15,2]-[20,18]@[18,7])
[19,10]: Final([15,2]-[20,18]@[18,7])
[20,10]: Final([20,4]-[25,23]@[20,9])
[21,10]: Final([20,4]-[25,23]@[20,9])
[22,10]: Final([20,4]-[25,23]@[20,9])
[23,10]: Final([20,4]-[25,23]@[20,9])
[24,10]: Final([20,4]-[25,23]@[20,9])
[0,11]: Final([0,3]-[2,25]@[1,19])
[1,11]: Final([0,3]-[2,25]@[1,19])
[2,11]: Final([2,7]-[6,12]@[2,7])
[3,11]: Final([2,7]-[6,12]@[2,7])
[4,11]: Final([2,7]-[6,12]@[2,7])
[5,11]: Final([2,7]-[6,12]@[2,7])
[6,11]: Final([6,6]-[8,12]@[7,11])
[7,11]: Given(12) Final([6,6]-[8,12]@[7,11])
[8,11]: Final([8,6]-[11,13]@[9,11])
[9,11]: Given(21) Final([8,6]-[11,13]@[9,11])
[10,11]: Final([8,6]-[11,13]@[9,11])
[11,11]: Final([11,5]-[14,12]@[11,5])
[12,11]: Final([11,5]-[14,12]@[11,5])
[13,11]: Final([11,5]-[14,12]@[11,5])
[14,11]: Final([14,5]-[15,13]@[14,7])
[15,11]: Final([15,2]-[20,18]@[18,7])
[16,11]: Final([15,2]-[20,18]@[18,7])
[17,11]: Final([15,2]-[20,18]@[18,7])
[18,11]: Final([15,2]-[20,18]@[18,7])
[19,11]: Final([15,2]-[20,18]@[18,7])
[20,11]: Final([20,4]-[25,23]@[20,9])
[21,11]: Final([20,4]-[25,23]@[20,9])
[22,11]: Final([20,4]-[25,23]@[20,9])
[23,11]: Final([20,4]-[25,23]@[20,9])
[24,11]: Final([20,4]-[25,23]@[20,9])
[0,12]: Final([0,3]-[2,25]@[1,19])
[1,12]: Final([0,3]-[2,25]@[1,19])
[2,12]: Given(3) Final([2,12]-[5,13]@[2,12])
[3,12]: Final([2,12]-[5,13]@[2,12])
[4,12]: Final([2,12]-[5,13]@[2,12])
[5,12]: Final([5,12]-[8,13]@[7,12])
[6,12]: Final([5,12]-[8,13]@[7,12])
[7,12]: Given(3) Final([5,12]-[8,13]@[7,12])
[8,12]: Final([8,6]-[11,13]@[9,11])
[9,12]: Final([8,6]-[11,13]@[9,11])
[10,12]: Final([8,6]-[11,13]@[9,11])
[11,12]: Given(3) Final([11,12]-[14,13]@[11,12])
[12,12]: Final([11,12]-[14,13]@[11,12])
[13,12]: Final([11,12]-[14,13]@[11,12])
[14,12]: Final([14,5]-[15,13]@[14,7])
[15,12]: Final([15,2]-[20,18]@[18,7])
[16,12]: Final([15,2]-[20,18]@[18,7])
[17,12]: Final([15,2]-[20,18]@[18,7])
[18,12]: Final([15,2]-[20,18]@[18,7])
[19,12]: Final([15,2]-[20,18]@[18,7])
[20,12]: Final([20,4]-[25,23]@[20,9])
[21,12]: Final([20,4]-[25,23]@[20,9])
[22,12]: Final([20,4]-[25,23]@[20,9])
[23,12]: Final([20,4]-[25,23]@[20,9])
[24,12]: Final([20,4]-[25,23]@[20,9])
[0,13]: Final([0,3]-[2,25]@[1,19])
[1,13]: Final([0,3]-[2,25]@[1,19])
[2,13]: Final([2,13]-[10,17]@[8,15])
[3,13]: Final([2,13]-[10,17]@[8,15])
[4,13]: Final([2,13]-[10,17]@[8,15])
[5,13]: Final([2,13]-[10,17]@[8,15])
[6,13]: Final([2,13]-[10,17]@[8,15])
[7,13]: Final([2,13]-[10,17]@[8,15])
[8,13]: Final([2,13]-[10,17]@[8,15])
[9,13]: Final([2,13]-[10,17]@[8,15])
[10,13]: Final([10,13]-[12,14]@[11,13])
[11,13]: Given(2) Final([10,13]-[12,14]@[11,13])
[12,13]: Final([12,13]-[15,14]@[14,13])
[13,13]: Final([12,13]-[15,14]@[14,13])
[14,13]: Given(3) Final([12,13]-[15,14]@[14,13])
[15,13]: Final([15,2]-[20,18]@[18,7])
[16,13]: Final([15,2]-[20,18]@[18,7])
[17,13]: Final([15,2]-[20,18]@[18,7])
[18,13]: Final([15,2]-[20,18]@[18,7])
[19,13]: Final([15,2]-[20,18]@[18,7])
[20,13]: Final([20,4]-[25,23]@[20,9])
[21,13]: Final([20,4]-[25,23]@[20,9])
[22,13]: Final([20,4]-[25,23]@[20,9])
[23,13]: Final([20,4]-[25,23]@[20,9])
[24,13]: Final([20,4]-[25,23]@[20,9])
[0,14]: Final([0,3]-[2,25]@[1,19])
[1,14]: Final([0,3]-[2,25]@[1,19])
[2,14]: Final([2,13]-[10,17]@[8,15])
[3,14]: Final([2,13]-[10,17]@[8,15])
[4,14]: Final([2,13]-[10,17]@[8,15])
[5,14]: Final([2,13]-[10,17]@[8,15])
[6,14]: Final([2,13]-[10,17]@[8,15])
[7,14]: Final([2,13]-[10,17]@[8,15])
[8,14]: Final([2,13]-[10,17]@[8,15])
[9,14]: Final([2,13]-[10,17]@[8,15])
[10,14]: Given(3) Final([10,14]-[11,17]@[10,14])
[11,14]: Final([11,14]-[13,15]@[12,14])
[12,14]: Given(2) Final([11,14]-[13,15]@[12,14])
[13,14]: Final([13,14]-[15,15]@[14,14])
[14,14]: Given(2) Final([13,14]-[15,15]@[14,14])
[15,14]: Final([15,2]-[20,18]@[18,7])
[16,14]: Final([15,2]-[20,18]@[18,7])
[17,14]: Final([15,2]-[20,18]@[18,7])
[18,14]: Final([15,2]-[20,18]@[18,7])
[19,14]: Final([15,2]-[20,18]@[18,7])
[20,14]: Final([20,4]-[25,23]@[20,9])
[21,14]: Final([20,4]-[25,23]@[20,9])
[22,14]: Final([20,4]-[25,23]@[20,9])
[23,14]: Final([20,4]-[25,23]@[20,9])
[24,14]: Final([20,4]-[25,23]@[20,9])
[0,15]: Final([0,3]-[2,25]@[1,19])
[1,15]: Final([0,3]-[2,25]@[1,19])
[2,15]: Final([2,13]-[10,17]@[8,15])
[3,15]: Final([2,13]-[10,17]@[8,15])
[4,15]: Final([2,13]-[10,17]@[8,15])
[5,15]: Final([2,13]-[10,17]@[8,15])
[6,15]: Final([2,13]-[10,17]@[8,15])
[7,15]: Final([2,13]-[10,17]@[8,15])
[8,15]: Given(32) Final([2,13]-[10,17]@[8,15])
[9,15]: Final([2,13]-[10,17]@[8,15])
[10,15]: Final([10,14]-[11,17]@[10,14])
[11,15]: Final([11,15]-[15,16]@[12,15])
[12,15]: Given(4) Final([11,15]-[15,16]@[12,15])
[13,15]: Final([11,15]-[15,16]@[12,15])
[14,15]: Final([11,15]-[15,16]@[12,15])
[15,15]: Final([15,2]-[20,18]@[18,7])
[16,15]: Final([15,2]-[20,18]@[18,7])
[17,15]: Final([15,2]-[20,18]@[18,7])
[18,15]: Final([15,2]-[20,18]@[18,7])
[19,15]: Final([15,2]-[20,18]@[18,7])
[20,15]: Final([20,4]-[25,23]@[20,9])
[21,15]: Final([20,4]-[25,23]@[20,9])
[22,15]: Final([20,4]-[25,23]@[20,9])
[23,15]: Final([20,4]-[25,23]@[20,9])
[24,15]: Final([20,4]-[25,23]@[20,9])
[0,16]: Final([0,3]-[2,25]@[1,19])
[1,16]: Final([0,3]-[2,25]@[1,19])
[2,16]: Final([2,13]-[10,17]@[8,15])
[3,16]: Final([2,13]-[10,17]@[8,15])
[4,16]: Final([2,13]-[10,17]@[8,15])
[5,16]: Final([2,13]-[10,17]@[8,15])
[6,16]: Final([2,13]-[10,17]@[8,15])
[7,16]: Final([2,13]-[10,17]@[8,15])
[8,16]: Final([2,13]-[10,17]@[8,15])
[9,16]: Final([2,13]-[10,17]@[8,15])
[10,16]: Final([10,14]-[11,17]@[10,14])
[11,16]: Given(4) Final([11,16]-[15,17]@[11,16])
[12,16]: Final([11,16]-[15,17]@[11,16])
[13,16]: Final([11,16]-[15,17]@[11,16])
[14,16]: Final([11,16]-[15,17]@[11,16])
[15,16]: Final([15,2]-[20,18]@[18,7])
[16,16]: Final([15,2]-[20,18]@[18,7])
[17,16]: Final([15,2]-[20,18]@[18,7])
[18,16]: Final([15,2]-[20,18]@[18,7])
[19,16]: Final([15,2]-[20,18]@[18,7])
[20,16]: Final([20,4]-[25,23]@[20,9])
[21,16]: Final([20,4]-[25,23]@[20,9])
[22,16]: Final([20,4]-[25,23]@[20,9])
[23,16]: Final([20,4]-[25,23]@[20,9])
[24,16]: Final([20,4]-[25,23]@[20,9])
[0,17]: Final([0,3]-[2,25]@[1,19])
[1,17]: Final([0,3]-[2,25]@[1,19])
[2,17]: Final([2,17]-[5,22]@[4,18])
[3,17]: Final([2,17]-[5,22]@[4,18])
[4,17]: Final([2,17]-[5,22]@[4,18])
[5,17]: Given(3) Final([5,17]-[6,20]@[5,17])
[6,17]: Final([6,17]-[12,18]@[7,17])
[7,17]: Given(6) Final([6,17]-[12,18]@[7,17])
[8,17]: Final([6,17]-[12,18]@[7,17])
[9,17]: Final([6,17]-[12,18]@[7,17])
[10,17]: Final([6,17]-[12,18]@[7,17])
[11,17]: Final([6,17]-[12,18]@[7,17])
[12,17]: Final([12,17]-[15,18]@[13,17])
[13,17]: Given(3) Final([12,17]-[15,18]@[13,17])
[14,17]: Final([12,17]-[15,18]@[13,17])
[15,17]: Final([15,2]-[20,18]@[18,7])
[16,17]: Final([15,2]-[20,18]@[18,7])
[17,17]: Final([15,2]-[20,18]@[18,7])
[18,17]: Final([15,2]-[20,18]@[18,7])
[19,17]: Final([15,2]-[20,18]@[18,7])
[20,17]: Final([20,4]-[25,23]@[20,9])
[21,17]: Final([20,4]-[25,23]@[20,9])
[22,17]: Final([20,4]-[25,23]@[20,9])
[23,17]: Final([20,4]-[25,23]@[20,9])
[24,17]: Final([20,4]-[25,23]@[20,9])
[0,18]: Final([0,3]-[2,25]@[1,19])
[1,18]: Final([0,3]-[2,25]@[1,19])
[2,18]: Final([2,17]-[5,22]@[4,18])
[3,18]: Final([2,17]-[5,22]@[4,18])
[4,18]: Given(15) Final([2,17]-[5,22]@[4,18])
[5,18]: Final([5,17]-[6,20]@[5,17])
[6,18]: Final([6,18]-[9,19]@[7,18])
[7,18]: Given(3) Final([6,18]-[9,19]@[7,18])
[8,18]: Final([6,18]-[9,19]@[7,18])
[9,18]: Given(9) Final([9,18]-[18,19]@[9,18])
[10,18]: Final([9,18]-[18,19]@[9,18])
[11,18]: Final([9,18]-[18,19]@[9,18])
[12,18]: Final([9,18]-[18,19]@[9,18])
[13,18]: Final([9,18]-[18,19]@[9,18])
[14,18]: Final([9,18]-[18,19]@[9,18])
[15,18]: Final([9,18]-[18,19]@[9,18])
[16,18]: Final([9,18]-[18,19]@[9,18])
[17,18]: Final([9,18]-[18,19]@[9,18])
[18,18]: Given(2) Final([18,18]-[20,19]@[18,18])
[19,18]: Final([18,18]-[20,19]@[18,18])
[20,18]: Final([20,4]-[25,23]@[20,9])
[21,18]: Final([20,4]-[25,23]@[20,9])
[22,18]: Final([20,4]-[25,23]@[20,9])
[23,18]: Final([20,4]-[25,23]@[20,9])
[24,18]: Final([20,4]-[25,23]@[20,9])
[0,19]: Final([0,3]-[2,25]@[1,19])
[1,19]: Given(44) Final([0,3]-[2,25]@[1,19])
[2,19]: Final([2,17]-[5,22]@[4,18])
[3,19]: Final([2,17]-[5,22]@[4,18])
[4,19]: Final([2,17]-[5,22]@[4,18])
[5,19]: Final([5,17]-[6,20]@[5,17])
[6,19]: Final([6,19]-[10,20]@[8,19])
[7,19]: Final([6,19]-[10,20]@[8,19])
[8,19]: Given(4) Final([6,19]-[10,20]@[8,19])
[9,19]: Final([6,19]-[10,20]@[8,19])
[10,19]: Final([10,19]-[16,20]@[12,19])
[11,19]: Final([10,19]-[16,20]@[12,19])
[12,19]: Given(6) Final([10,19]-[16,20]@[12,19])
[13,19]: Final([10,19]-[16,20]@[12,19])
[14,19]: Final([10,19]-[16,20]@[12,19])
[15,19]: Final([10,19]-[16,20]@[12,19])
[16,19]: Given(2) Final([16,19]-[18,20]@[16,19])
[17,19]: Final([16,19]-[18,20]@[16,19])
[18,19]: Final([18,19]-[19,22]@[18,21])
[19,19]: Given(2) Final([19,19]-[20,21]@[19,19])
[20,19]: Final([20,4]-[25,23]@[20,9])
[21,19]: Final([20,4]-[25,23]@[20,9])
[22,19]: Final([20,4]-[25,23]@[20,9])
[23,19]: Final([20,4]-[25,23]@[20,9])
[24,19]: Final([20,4]-[25,23]@[20,9])
[0,20]: Final([0,3]-[2,25]@[1,19])
[1,20]: Final([0,3]-[2,25]@[1,19])
[2,20]: Final([2,17]-[5,22]@[4,18])
[3,20]: Final([2,17]-[5,22]@[4,18])
[4,20]: Final([2,17]-[5,22]@[4,18])
[5,20]: Final([5,20]-[18,22]@[7,20])
[6,20]: Final([5,20]-[18,22]@[7,20])
[7,20]: Given(26) Final([5,20]-[18,22]@[7,20])
[8,20]: Final([5,20]-[18,22]@[7,20])
[9,20]: Final([5,20]-[18,22]@[7,20])
[10,20]: Final([5,20]-[18,22]@[7,20])
[11,20]: Final([5,20]-[18,22]@[7,20])
[12,20]: Final([5,20]-[18,22]@[7,20])
[13,20]: Final([5,20]-[18,22]@[7,20])
[14,20]: Final([5,20]-[18,22]@[7,20])
[15,20]: Final([5,20]-[18,22]@[7,20])
[16,20]: Final([5,20]-[18,22]@[7,20])
[17,20]: Final([5,20]-[18,22]@[7,20])
[18,20]: Final([18,19]-[19,22]@[18,21])
[19,20]: Final([19,19]-[20,21]@[19,19])
[20,20]: Final([20,4]-[25,23]@[20,9])
[21,20]: Final([20,4]-[25,23]@[20,9])
[22,20]: Final([20,4]-[25,23]@[20,9])
[23,20]: Final([20,4]-[25,23]@[20,9])
[24,20]: Final([20,4]-[25,23]@[20,9])
[0,21]: Final([0,3]-[2,25]@[1,19])
[1,21]: Final([0,3]-[2,25]@[1,19])
[2,21]: Final([2,17]-[5,22]@[4,18])
[3,21]: Final([2,17]-[5,22]@[4,18])
[4,21]: Final([2,17]-[5,22]@[4,18])
[5,21]: Final([5,20]-[18,22]@[7,20])
[6,21]: Final([5,20]-[18,22]@[7,20])
[7,21]: Final([5,20]-[18,22]@[7,20])
[8,21]: Final([5,20]-[18,22]@[7,20])
[9,21]: Final([5,20]-[18,22]@[7,20])
[10,21]: Final([5,20]-[18,22]@[7,20])
[11,21]: Final([5,20]-[18,22]@[7,20])
[12,21]: Final([5,20]-[18,22]@[7,20])
[13,21]: Final([5,20]-[18,22]@[7,20])
[14,21]: Final([5,20]-[18,22]@[7,20])
[15,21]: Final([5,20]-[18,22]@[7,20])
[16,21]: Final([5,20]-[18,22]@[7,20])
[17,21]: Final([5,20]-[18,22]@[7,20])
[18,21]: Given(3) Final([18,19]-[19,22]@[18,21])
[19,21]: Given(2) Final([19,21]-[20,23]@[19,21])
[20,21]: Final([20,4]-[25,23]@[20,9])
[21,21]: Final([20,4]-[25,23]@[20,9])
[22,21]: Final([20,4]-[25,23]@[20,9])
[23,21]: Final([20,4]-[25,23]@[20,9])
[24,21]: Final([20,4]-[25,23]@[20,9])
[0,22]: Final([0,3]-[2,25]@[1,19])
[1,22]: Final([0,3]-[2,25]@[1,19])
[2,22]: Final([2,22]-[11,23]@[4,22])
[3,22]: Final([2,22]-[11,23]@[4,22])
[4,22]: Given(9) Final([2,22]-[11,23]@[4,22])
[5,22]: Final([2,22]-[11,23]@[4,22])
[6,22]: Final([2,22]-[11,23]@[4,22])
[7,22]: Final([2,22]-[11,23]@[4,22])
[8,22]: Final([2,22]-[11,23]@[4,22])
[9,22]: Final([2,22]-[11,23]@[4,22])
[10,22]: Final([2,22]-[11,23]@[4,22])
[11,22]: Final([11,22]-[16,23]@[13,22])
[12,22]: Final([11,22]-[16,23]@[13,22])
[13,22]: Given(5) Final([11,22]-[16,23]@[13,22])
[14,22]: Final([11,22]-[16,23]@[13,22])
[15,22]: Final([11,22]-[16,23]@[13,22])
[16,22]: Final([16,22]-[19,23]@[17,22])
[17,22]: Given(3) Final([16,22]-[19,23]@[17,22])
[18,22]: Final([16,22]-[19,23]@[17,22])
[19,22]: Final([19,21]-[20,23]@[19,21])
[20,22]: Final([20,4]-[25,23]@[20,9])
[21,22]: Final([20,4]-[25,23]@[20,9])
[22,22]: Final([20,4]-[25,23]@[20,9])
[23,22]: Final([20,4]-[25,23]@[20,9])
[24,22]: Final([20,4]-[25,23]@[20,9])
[0,23]: Final([0,3]-[2,25]@[1,19])
[1,23]: Final([0,3]-[2,25]@[1,19])
[2,23]: Final([2,23]-[5,24]@[4,23])
[3,23]: Final([2,23]-[5,24]@[4,23])
[4,23]: Given(3) Final([2,23]-[5,24]@[4,23])
[5,23]: Final([5,23]-[11,24]@[7,23])
[6,23]: Final([5,23]-[11,24]@[7,23])
[7,23]: Given(6) Final([5,23]-[11,24]@[7,23])
[8,23]: Final([5,23]-[11,24]@[7,23])
[9,23]: Final([5,23]-[11,24]@[7,23])
[10,23]: Final([5,23]-[11,24]@[7,23])
[11,23]: Given(28) Final([11,23]-[25,25]@[11,23])
[12,23]: Final([11,23]-[25,25]@[11,23])
[13,23]: Final([11,23]-[25,25]@[11,23])
[14,23]: Final([11,23]-[25,25]@[11,23])
[15,23]: Final([11,23]-[25,25]@[11,23])
[16,23]: Final([11,23]-[25,25]@[11,23])
[17,23]: Final([11,23]-[25,25]@[11,23])
[18,23]: Final([11,23]-[25,25]@[11,23])
[19,23]: Final([11,23]-[25,25]@[11,23])
[20,23]: Final([11,23]-[25,25]@[11,23])
[21,23]: Final([11,23]-[25,25]@[11,23])
[22,23]: Final([11,23]-[25,25]@[11,23])
[23,23]: Final([11,23]-[25,25]@[11,23])
[24,23]: Final([11,23]-[25,25]@[11,23])
[0,24]: Final([0,3]-[2,25]@[1,19])
[1,24]: Final([0,3]-[2,25]@[1,19])
[2,24]: Final([2,24]-[11,25]@[9,24])
[3,24]: Final([2,24]-[11,25]@[9,24])
[4,24]: Final([2,24]-[11,25]@[9,24])
[5,24]: Final([2,24]-[11,25]@[9,24])
[6,24]: Final([2,24]-[11,25]@[9,24])
[7,24]: Final([2,24]-[11,25]@[9,24])
[8,24]: Final([2,24]-[11,25]@[9,24])
[9,24]: Given(9) Final([2,24]-[11,25]@[9,24])
[10,24]: Final([2,24]-[11,25]@[9,24])
[11,24]: Final([11,23]-[25,25]@[11,23])
[12,24]: Final([11,23]-[25,25]@[11,23])
[13,24]: Final([11,23]-[25,25]@[11,23])
[14,24]: Final([11,23]-[25,25]@[11,23])
[15,24]: Final([11,23]-[25,25]@[11,23])
[16,24]: Final([11,23]-[25,25]@[11,23])
[17,24]: Final([11,23]-[25,25]@[11,23])
[18,24]: Final([11,23]-[25,25]@[11,23])
[19,24]: Final([11,23]-[25,25]@[11,23])
[20,24]: Final([11,23]-[25,25]@[11,23])
[21,24]: Final([11,23]-[25,25]@[11,23])
[22,24]: Final([11,23]-[25,25]@[11,23])
[23,24]: Final([11,23]-[25,25]@[11,23])
[24,24]: Final([11,23]-[25,25]@[11,23])