V = 
(0:0)[0:0:0] 1 9 2 
(1:0)[13:-44:-44] 0 8 
(2:1)[-44:1:1] 10 0 3 
(3:2)[-50:-58:-58] 11 2 4 
(4:3)[-62:26:26] 12 3 5 
(5:4)[-60:16:16] 13 4 6 
(6:5)[1:35:35] 14 5 7 
(7:6)[-41:6:6] 15 6 
(8:0)[-54:-52:-52] 1 9 16 
(9:0)[26:3:3] 8 0 10 17 
(10:1)[7:-62:-62] 9 2 11 18 
(11:2)[-36:25:25] 10 3 12 19 
(12:3)[-51:5:5] 11 4 13 20 
(13:4)[-43:18:18] 12 5 14 21 
(14:5)[-57:33:33] 13 6 15 22 
(15:6)[-46:7:7] 14 7 23 
(16:7)[6:-60:-60] 8 17 24 
(17:7)[-40:-56:-56] 16 9 25 18 
(18:13)[14:-46:-46] 10 17 26 19 
(19:19)[-38:8:8] 11 18 27 20 
(20:25)[31:15:15] 12 19 28 21 
(21:31)[-58:27:27] 13 20 29 22 
(22:37)[21:-49:-49] 14 21 30 23 
(23:43)[-63:11:11] 15 22 31 
(24:8)[5:9:9] 16 25 32 
(25:8)[34:29:29] 24 17 33 26 
(26:14)[30:21:21] 18 25 34 27 
(27:20)[33:19:19] 19 26 35 28 
(28:26)[18:-36:-36] 20 27 36 29 
(29:32)[-61:17:17] 21 28 37 30 
(30:38)[12:-40:-40] 22 29 38 31 
(31:44)[4:-37:-37] 23 30 39 
(32:9)[-59:-53:-53] 24 33 40 
(33:9)[15:32:32] 32 25 41 34 
(34:15)[-37:4:4] 26 33 42 35 
(35:21)[-52:34:34] 27 34 43 36 
(36:27)[-53:-39:-39] 28 35 44 37 
(37:33)[28:30:30] 29 36 45 38 
(38:39)[-56:-43:-43] 30 37 46 39 
(39:45)[22:-54:-54] 31 38 47 
(40:10)[16:-59:-59] 32 41 48 
(41:10)[2:-48:-48] 40 33 49 42 
(42:16)[-55:-51:-51] 34 41 50 43 
(43:22)[17:20:20] 35 42 51 44 
(44:28)[3:-47:-47] 36 43 52 45 
(45:34)[-42:-42:-42] 37 44 53 46 
(46:40)[-45:-38:-38] 38 45 54 47 
(47:46)[19:10:10] 39 46 55 
(48:11)[20:14:14] 40 49 56 
(49:11)[8:2:2] 48 41 57 50 
(50:17)[24:28:28] 42 49 58 51 
(51:23)[25:-57:-57] 43 50 59 52 
(52:29)[-48:13:13] 44 51 60 53 
(53:35)[32:-50:-50] 45 52 61 54 
(54:41)[-39:12:12] 46 53 62 55 
(55:47)[-49:-63:-63] 47 54 63 
(56:12)[10:-61:-61] 48 57 
(57:12)[11:-45:-45] 56 49 58 
(58:18)[29:22:22] 50 57 59 
(59:24)[27:-41:-41] 51 58 60 
(60:30)[9:23:23] 52 59 61 
(61:36)[35:-55:-55] 53 60 62 
(62:42)[23:31:31] 54 61 63 
(63:48)[-47:24:24] 55 62 
E = 
{0,1} (0)
{1,8} (0)
{2,0} (1)
{3,2} (2)
{4,3} (3)
{5,4} (4)
{6,5} (5)
{7,6} (6)
{8,9} (0)
{8,16} (7)
{9,0} (0)
{9,10} (1)
{10,2} (1)
{10,11} (2)
{10,18} (13)
{11,3} (2)
{11,12} (3)
{11,19} (19)
{12,4} (3)
{12,13} (4)
{12,20} (25)
{13,5} (4)
{13,14} (5)
{13,21} (31)
{14,6} (5)
{14,15} (6)
{14,22} (37)
{15,7} (6)
{15,23} (43)
{16,17} (7)
{16,24} (8)
{17,9} (7)
{18,17} (13)
{18,26} (14)
{19,18} (19)
{19,27} (20)
{20,19} (25)
{20,28} (26)
{21,20} (31)
{21,29} (32)
{22,21} (37)
{22,30} (38)
{23,22} (43)
{23,31} (44)
{24,25} (8)
{24,32} (9)
{25,17} (8)
{26,25} (14)
{26,34} (15)
{27,26} (20)
{27,35} (21)
{28,27} (26)
{28,36} (27)
{29,28} (32)
{29,37} (33)
{30,29} (38)
{30,38} (39)
{31,30} (44)
{31,39} (45)
{32,33} (9)
{32,40} (10)
{33,25} (9)
{34,33} (15)
{34,42} (16)
{35,34} (21)
{35,43} (22)
{36,35} (27)
{36,44} (28)
{37,36} (33)
{37,45} (34)
{38,37} (39)
{38,46} (40)
{39,38} (45)
{39,47} (46)
{40,41} (10)
{40,48} (11)
{41,33} (10)
{42,41} (16)
{42,50} (17)
{43,42} (22)
{43,51} (23)
{44,43} (28)
{44,52} (29)
{45,44} (34)
{45,53} (35)
{46,45} (40)
{46,54} (41)
{47,46} (46)
{47,55} (47)
{48,49} (11)
{48,56} (12)
{49,41} (11)
{50,49} (17)
{50,58} (18)
{51,50} (23)
{51,59} (24)
{52,51} (29)
{52,60} (30)
{53,52} (35)
{53,61} (36)
{54,53} (41)
{54,62} (42)
{55,54} (47)
{55,63} (48)
{56,57} (12)
{57,49} (12)
{58,57} (18)
{59,58} (24)
{60,59} (30)
{61,60} (36)
{62,61} (42)
{63,62} (48)
Robots:35
Size:8 x 8
Fine solution
Length:736
17 # 43 ---> 42 (0)
25 # 51 ---> 43 (0)
24 # 50 ---> 51 (0)
24 # 51 ---> 52 (1)
17 # 42 ---> 50 (1)
25 # 43 ---> 42 (1)
3 # 44 ---> 43 (1)
32 # 53 ---> 45 (0)
24 # 52 ---> 53 (2)
24 # 53 ---> 54 (3)
24 # 54 ---> 55 (4)
23 # 62 ---> 54 (4)
24 # 55 ---> 63 (5)
21 # 22 ---> 14 (0)
12 # 30 ---> 22 (0)
4 # 31 ---> 30 (0)
12 # 22 ---> 23 (1)
4 # 30 ---> 22 (1)
22 # 39 ---> 38 (0)
23 # 54 ---> 46 (5)
16 # 40 ---> 32 (0)
20 # 48 ---> 40 (0)
10 # 56 ---> 48 (0)
11 # 57 ---> 56 (0)
8 # 49 ---> 57 (0)
2 # 41 ---> 49 (0)
20 # 40 ---> 41 (1)
10 # 48 ---> 40 (1)
2 # 49 ---> 48 (1)
20 # 41 ---> 49 (2)
15 # 33 ---> 41 (2)
16 # 32 ---> 33 (2)
10 # 40 ---> 32 (2)
15 # 41 ---> 40 (3)
16 # 33 ---> 41 (3)
10 # 32 ---> 33 (3)
10 # 33 ---> 34 (4)
10 # 34 ---> 35 (5)
10 # 35 ---> 36 (6)
5 # 24 ---> 32 (3)
34 # 25 ---> 24 (3)
30 # 26 ---> 25 (3)
33 # 27 ---> 26 (3)
18 # 28 ---> 27 (3)
28 # 37 ---> 29 (0)
10 # 36 ---> 37 (7)
28 # 29 ---> 28 (3)
22 # 38 ---> 30 (1)
10 # 37 ---> 38 (8)
10 # 38 ---> 39 (9)
23 # 46 ---> 38 (9)
19 # 47 ---> 46 (9)
10 # 39 ---> 47 (10)
23 # 38 ---> 39 (10)
19 # 46 ---> 38 (10)
26 # 9 ---> 0 (0)
13 # 1 ---> 8 (0)
26 # 0 ---> 1 (1)
7 # 10 ---> 2 (0)
7 # 2 ---> 0 (1)
1 # 6 ---> 5 (0)
21 # 14 ---> 6 (1)
4 # 22 ---> 14 (2)
12 # 23 ---> 22 (2)
19 # 38 ---> 37 (11)
23 # 39 ---> 38 (11)
22 # 30 ---> 31 (2)
23 # 38 ---> 30 (12)
33 # 26 ---> 34 (5)
31 # 20 ---> 12 (0)
31 # 12 ---> 11 (1)
4 # 14 ---> 13 (3)
12 # 22 ---> 14 (3)
23 # 30 ---> 22 (13)
22 # 31 ---> 30 (13)
23 # 22 ---> 23 (14)
22 # 30 ---> 22 (14)
16 # 41 ---> 33 (4)
20 # 49 ---> 41 (4)
2 # 48 ---> 49 (4)
11 # 56 ---> 48 (4)
8 # 57 ---> 56 (4)
2 # 49 ---> 57 (5)
20 # 41 ---> 49 (5)
15 # 40 ---> 41 (5)
11 # 48 ---> 40 (5)
20 # 49 ---> 48 (6)
15 # 41 ---> 49 (6)
16 # 33 ---> 41 (6)
5 # 32 ---> 33 (6)
11 # 40 ---> 32 (6)
16 # 41 ---> 40 (7)
5 # 33 ---> 41 (7)
30 # 25 ---> 33 (7)
34 # 24 ---> 25 (7)
11 # 32 ---> 24 (7)
30 # 33 ---> 32 (8)
34 # 25 ---> 33 (8)
6 # 16 ---> 17 (0)
11 # 24 ---> 16 (8)
6 # 17 ---> 25 (8)
13 # 8 ---> 9 (1)
11 # 16 ---> 8 (9)
13 # 9 ---> 17 (8)
11 # 8 ---> 9 (10)
11 # 9 ---> 10 (11)
26 # 1 ---> 8 (10)
7 # 0 ---> 1 (10)
31 # 11 ---> 3 (2)
11 # 10 ---> 11 (12)
11 # 11 ---> 12 (13)
1 # 5 ---> 4 (1)
4 # 13 ---> 5 (4)
11 # 12 ---> 13 (14)
1 # 4 ---> 12 (14)
4 # 5 ---> 4 (14)
21 # 6 ---> 5 (14)
12 # 14 ---> 6 (14)
11 # 13 ---> 14 (15)
11 # 14 ---> 15 (16)
22 # 22 ---> 14 (16)
23 # 23 ---> 22 (16)
11 # 15 ---> 23 (17)
22 # 14 ---> 15 (17)
23 # 22 ---> 14 (17)
1 # 12 ---> 11 (15)
4 # 4 ---> 12 (15)
31 # 3 ---> 4 (15)
1 # 11 ---> 3 (16)
4 # 12 ---> 11 (16)
21 # 5 ---> 13 (15)
31 # 4 ---> 5 (16)
21 # 13 ---> 12 (16)
23 # 14 ---> 13 (18)
12 # 6 ---> 14 (18)
31 # 5 ---> 6 (18)
23 # 13 ---> 5 (19)
12 # 14 ---> 13 (19)
31 # 6 ---> 14 (19)
31 # 14 ---> 22 (20)
31 # 22 ---> 30 (21)
31 # 30 ---> 38 (22)
31 # 38 ---> 46 (23)
31 # 46 ---> 54 (24)
35 # 61 ---> 53 (3)
31 # 54 ---> 62 (25)
12 # 13 ---> 14 (20)
12 # 14 ---> 22 (21)
12 # 22 ---> 30 (22)
12 # 30 ---> 38 (23)
12 # 38 ---> 46 (24)
12 # 46 ---> 54 (25)
32 # 45 ---> 46 (25)
35 # 53 ---> 45 (25)
35 # 45 ---> 44 (26)
32 # 46 ---> 45 (26)
19 # 37 ---> 38 (24)
32 # 45 ---> 37 (27)
32 # 37 ---> 29 (28)
19 # 38 ---> 37 (28)
32 # 29 ---> 30 (29)
19 # 37 ---> 29 (29)
1 # 3 ---> 2 (17)
4 # 11 ---> 3 (17)
21 # 12 ---> 11 (17)
23 # 5 ---> 13 (20)
19 # 29 ---> 21 (30)
32 # 30 ---> 29 (30)
19 # 21 ---> 22 (31)
32 # 29 ---> 21 (31)
28 # 28 ---> 36 (7)
32 # 21 ---> 20 (32)
23 # 13 ---> 12 (21)
19 # 22 ---> 21 (32)
19 # 21 ---> 13 (33)
23 # 12 ---> 4 (22)
19 # 13 ---> 12 (34)
28 # 36 ---> 37 (29)
35 # 44 ---> 36 (29)
30 # 32 ---> 24 (9)
34 # 33 ---> 32 (9)
6 # 25 ---> 33 (9)
30 # 24 ---> 25 (10)
13 # 17 ---> 16 (9)
30 # 25 ---> 26 (11)
14 # 18 ---> 17 (9)
18 # 27 ---> 19 (4)
30 # 26 ---> 27 (12)
18 # 19 ---> 18 (9)
30 # 27 ---> 28 (13)
30 # 28 ---> 29 (31)
35 # 36 ---> 28 (31)
28 # 37 ---> 36 (31)
30 # 29 ---> 37 (32)
35 # 28 ---> 29 (32)
28 # 36 ---> 28 (32)
3 # 43 ---> 51 (2)
25 # 42 ---> 43 (2)
17 # 50 ---> 42 (2)
15 # 49 ---> 50 (7)
5 # 41 ---> 49 (8)
6 # 33 ---> 41 (10)
33 # 34 ---> 33 (10)
17 # 42 ---> 34 (10)
17 # 34 ---> 26 (12)
14 # 17 ---> 25 (11)
18 # 18 ---> 17 (11)
17 # 26 ---> 18 (13)
17 # 18 ---> 19 (14)
21 # 11 ---> 10 (18)
19 # 12 ---> 11 (35)
32 # 20 ---> 12 (35)
17 # 19 ---> 20 (35)
17 # 20 ---> 21 (36)
28 # 28 ---> 20 (36)
35 # 29 ---> 28 (36)
17 # 21 ---> 29 (37)
28 # 20 ---> 21 (37)
35 # 28 ---> 20 (37)
3 # 51 ---> 52 (3)
27 # 59 ---> 51 (3)
29 # 58 ---> 59 (3)
15 # 50 ---> 58 (8)
25 # 43 ---> 42 (10)
27 # 51 ---> 43 (10)
27 # 43 ---> 35 (11)
27 # 35 ---> 27 (13)
27 # 27 ---> 19 (35)
21 # 10 ---> 18 (19)
19 # 11 ---> 10 (36)
27 # 19 ---> 11 (36)
35 # 20 ---> 19 (38)
32 # 12 ---> 20 (38)
27 # 11 ---> 12 (38)
27 # 12 ---> 13 (39)
32 # 20 ---> 12 (39)
28 # 21 ---> 20 (39)
27 # 13 ---> 21 (40)
32 # 12 ---> 13 (40)
28 # 20 ---> 12 (40)
3 # 52 ---> 44 (29)
32 # 13 ---> 5 (41)
28 # 12 ---> 13 (41)
23 # 4 ---> 12 (41)
23 # 12 ---> 20 (42)
23 # 20 ---> 28 (43)
23 # 28 ---> 36 (44)
4 # 3 ---> 4 (41)
35 # 19 ---> 11 (39)
3 # 44 ---> 43 (30)
23 # 36 ---> 44 (45)
23 # 44 ---> 52 (46)
29 # 59 ---> 51 (10)
9 # 60 ---> 59 (10)
23 # 52 ---> 60 (47)
29 # 51 ---> 52 (47)
9 # 59 ---> 51 (47)
14 # 25 ---> 24 (12)
18 # 17 ---> 25 (12)
13 # 16 ---> 17 (12)
26 # 8 ---> 16 (12)
19 # 10 ---> 9 (37)
21 # 18 ---> 10 (37)
13 # 17 ---> 18 (37)
13 # 18 ---> 19 (39)
13 # 19 ---> 20 (43)
13 # 20 ---> 28 (44)
13 # 28 ---> 36 (45)
13 # 36 ---> 44 (46)
9 # 51 ---> 50 (48)
29 # 52 ---> 51 (48)
13 # 44 ---> 52 (48)
3 # 43 ---> 44 (48)
29 # 51 ---> 43 (49)
32 # 5 ---> 6 (42)
29 # 43 ---> 35 (50)
3 # 44 ---> 43 (50)
29 # 35 ---> 36 (51)
3 # 43 ---> 35 (51)
3 # 35 ---> 27 (52)
29 # 36 ---> 35 (52)
3 # 27 ---> 28 (53)
29 # 35 ---> 27 (53)
29 # 27 ---> 19 (54)
3 # 28 ---> 27 (54)
29 # 19 ---> 20 (55)
3 # 27 ---> 19 (55)
9 # 50 ---> 51 (49)
15 # 58 ---> 50 (49)
2 # 57 ---> 58 (49)
5 # 49 ---> 57 (49)
6 # 41 ---> 49 (49)
25 # 42 ---> 41 (49)
15 # 50 ---> 42 (50)
6 # 49 ---> 50 (50)
25 # 41 ---> 49 (50)
15 # 42 ---> 34 (51)
15 # 34 ---> 26 (52)
15 # 26 ---> 18 (53)
18 # 25 ---> 26 (53)
19 # 9 ---> 17 (38)
21 # 10 ---> 9 (38)
15 # 18 ---> 10 (54)
3 # 19 ---> 18 (56)
35 # 11 ---> 19 (56)
15 # 10 ---> 11 (56)
15 # 11 ---> 12 (57)
35 # 19 ---> 11 (57)
29 # 20 ---> 19 (57)
15 # 12 ---> 20 (58)
35 # 11 ---> 12 (58)
29 # 19 ---> 11 (58)
9 # 51 ---> 43 (51)
32 # 6 ---> 14 (43)
22 # 15 ---> 7 (18)
32 # 14 ---> 15 (44)
28 # 13 ---> 14 (44)
35 # 12 ---> 13 (59)
29 # 11 ---> 12 (59)
1 # 2 ---> 3 (41)
3 # 18 ---> 10 (57)
18 # 26 ---> 18 (57)
9 # 43 ---> 42 (52)
9 # 42 ---> 34 (53)
6 # 50 ---> 42 (53)
2 # 58 ---> 50 (53)
5 # 57 ---> 58 (53)
25 # 49 ---> 57 (53)
6 # 42 ---> 41 (54)
2 # 50 ---> 42 (54)
6 # 41 ---> 49 (55)
16 # 40 ---> 41 (55)
20 # 48 ---> 40 (55)
6 # 49 ---> 48 (56)
16 # 41 ---> 49 (56)
33 # 33 ---> 41 (56)
34 # 32 ---> 33 (56)
20 # 40 ---> 32 (56)
33 # 41 ---> 40 (57)
34 # 33 ---> 41 (57)
20 # 32 ---> 33 (57)
14 # 24 ---> 32 (57)
9 # 34 ---> 26 (57)
20 # 33 ---> 34 (58)
20 # 34 ---> 35 (59)
2 # 42 ---> 34 (59)
20 # 35 ---> 43 (60)
2 # 34 ---> 35 (60)
34 # 41 ---> 33 (58)
34 # 33 ---> 25 (59)
9 # 26 ---> 34 (60)
34 # 25 ---> 26 (60)
34 # 26 ---> 27 (61)
9 # 34 ---> 26 (61)
2 # 35 ---> 34 (61)
34 # 27 ---> 35 (62)
9 # 26 ---> 27 (62)
2 # 34 ---> 26 (62)
2 # 26 ---> 25 (63)
18 # 18 ---> 26 (63)
19 # 17 ---> 18 (63)
19 # 18 ---> 19 (64)
18 # 26 ---> 18 (64)
9 # 27 ---> 26 (64)
19 # 19 ---> 27 (65)
18 # 18 ---> 19 (65)
9 # 26 ---> 18 (65)
16 # 49 ---> 41 (58)
6 # 48 ---> 49 (58)
8 # 56 ---> 48 (58)
25 # 57 ---> 56 (58)
6 # 49 ---> 57 (59)
16 # 41 ---> 49 (59)
33 # 40 ---> 41 (59)
8 # 48 ---> 40 (59)
16 # 49 ---> 48 (60)
14 # 32 ---> 33 (59)
8 # 40 ---> 32 (60)
8 # 32 ---> 24 (61)
14 # 33 ---> 32 (61)
2 # 25 ---> 33 (64)
26 # 16 ---> 17 (63)
8 # 24 ---> 16 (63)
8 # 16 ---> 8 (64)
26 # 17 ---> 16 (64)
21 # 9 ---> 17 (64)
8 # 8 ---> 9 (65)
7 # 1 ---> 8 (65)
3 # 10 ---> 2 (58)
8 # 9 ---> 10 (66)
8 # 10 ---> 11 (67)
9 # 18 ---> 10 (67)
18 # 19 ---> 18 (67)
8 # 11 ---> 19 (68)
9 # 10 ---> 11 (68)
18 # 18 ---> 10 (68)
22 # 7 ---> 6 (43)
22 # 6 ---> 5 (44)
28 # 14 ---> 6 (45)
35 # 13 ---> 14 (60)
29 # 12 ---> 13 (60)
4 # 4 ---> 12 (60)
22 # 5 ---> 4 (60)
29 # 13 ---> 5 (61)
4 # 12 ---> 13 (61)
9 # 11 ---> 12 (69)
1 # 3 ---> 11 (69)
22 # 4 ---> 3 (69)
9 # 12 ---> 4 (70)
1 # 11 ---> 12 (70)
18 # 10 ---> 11 (70)
3 # 2 ---> 10 (70)
22 # 3 ---> 2 (70)
18 # 11 ---> 3 (71)
3 # 10 ---> 11 (71)
22 # 2 ---> 10 (71)
22 # 10 ---> 18 (72)
22 # 18 ---> 26 (73)
22 # 26 ---> 34 (74)
22 # 34 ---> 42 (75)
22 # 42 ---> 50 (76)
6 # 57 ---> 49 (60)
5 # 58 ---> 57 (60)
22 # 50 ---> 58 (77)
32 # 15 ---> 7 (45)
35 # 14 ---> 15 (61)
4 # 13 ---> 14 (62)
29 # 5 ---> 13 (62)
28 # 6 ---> 5 (62)
4 # 14 ---> 6 (63)
29 # 13 ---> 14 (63)
1 # 12 ---> 13 (71)
9 # 4 ---> 12 (71)
28 # 5 ---> 4 (71)
1 # 13 ---> 5 (72)
9 # 12 ---> 13 (72)
3 # 11 ---> 12 (72)
18 # 3 ---> 11 (72)
28 # 4 ---> 3 (72)
28 # 3 ---> 2 (73)
28 # 2 ---> 10 (74)
28 # 10 ---> 18 (75)
28 # 18 ---> 26 (76)
28 # 26 ---> 34 (77)
28 # 34 ---> 42 (78)
28 # 42 ---> 50 (79)
33 # 41 ---> 42 (79)
6 # 49 ---> 41 (79)
6 # 41 ---> 40 (80)
33 # 42 ---> 41 (80)
2 # 33 ---> 34 (78)
33 # 41 ---> 33 (81)
1 # 5 ---> 4 (73)
4 # 6 ---> 5 (73)
29 # 14 ---> 6 (73)
9 # 13 ---> 14 (73)
3 # 12 ---> 13 (73)
1 # 4 ---> 12 (74)
4 # 5 ---> 4 (74)
4 # 4 ---> 3 (75)
4 # 3 ---> 2 (76)
4 # 2 ---> 10 (77)
4 # 10 ---> 18 (78)
4 # 18 ---> 26 (79)
33 # 33 ---> 25 (82)
2 # 34 ---> 33 (82)
4 # 26 ---> 34 (82)
33 # 25 ---> 26 (83)
2 # 33 ---> 25 (83)
21 # 17 ---> 18 (79)
2 # 25 ---> 17 (84)
33 # 26 ---> 25 (84)
21 # 18 ---> 26 (84)
2 # 17 ---> 18 (85)
33 # 25 ---> 17 (85)
26 # 16 ---> 24 (65)
33 # 17 ---> 16 (86)
2 # 18 ---> 17 (86)
2 # 17 ---> 9 (87)
16 # 48 ---> 49 (79)
26 # 24 ---> 25 (85)
33 # 16 ---> 24 (87)
26 # 25 ---> 17 (87)
33 # 24 ---> 25 (88)
26 # 17 ---> 16 (88)
33 # 25 ---> 17 (89)
6 # 40 ---> 41 (81)
6 # 41 ---> 33 (83)
16 # 49 ---> 41 (83)
25 # 56 ---> 48 (79)
5 # 57 ---> 56 (79)
2 # 9 ---> 0 (88)
7 # 8 ---> 9 (88)
2 # 0 ---> 1 (89)
7 # 9 ---> 0 (89)
33 # 17 ---> 9 (90)
26 # 16 ---> 17 (90)
33 # 9 ---> 8 (91)
26 # 17 ---> 9 (91)
6 # 33 ---> 25 (89)
16 # 41 ---> 33 (89)
25 # 48 ---> 49 (83)
25 # 49 ---> 41 (89)
5 # 56 ---> 48 (83)
14 # 32 ---> 40 (81)
16 # 33 ---> 32 (90)
25 # 41 ---> 33 (90)
14 # 40 ---> 41 (90)
5 # 48 ---> 40 (90)
14 # 41 ---> 49 (91)
7 # 0 ---> 2 (90)
26 # 9 ---> 0 (92)
33 # 8 ---> 9 (92)
2 # 1 ---> 8 (92)
2 # 8 ---> 16 (93)
2 # 16 ---> 24 (94)
6 # 25 ---> 17 (91)
25 # 33 ---> 25 (91)
16 # 32 ---> 33 (91)
2 # 24 ---> 32 (95)
25 # 25 ---> 24 (95)
16 # 33 ---> 25 (95)
5 # 40 ---> 41 (91)
2 # 32 ---> 40 (96)
5 # 41 ---> 33 (95)
2 # 40 ---> 41 (97)
14 # 49 ---> 48 (92)
2 # 41 ---> 49 (98)
1 # 12 ---> 4 (75)
18 # 11 ---> 12 (75)
7 # 2 ---> 10 (91)
7 # 10 ---> 11 (92)
33 # 9 ---> 10 (93)
6 # 17 ---> 9 (93)
16 # 25 ---> 17 (96)
5 # 33 ---> 25 (96)
7 # 11 ---> 3 (93)
33 # 10 ---> 11 (94)
6 # 9 ---> 10 (94)
16 # 17 ---> 9 (97)
5 # 25 ---> 17 (97)
25 # 24 ---> 25 (97)
5 # 17 ---> 16 (98)
25 # 25 ---> 17 (98)
29 # 6 ---> 5 (74)
32 # 7 ---> 6 (74)
35 # 15 ---> 7 (74)
9 # 14 ---> 15 (74)
3 # 13 ---> 14 (74)
29 # 5 ---> 13 (75)
32 # 6 ---> 5 (75)
3 # 14 ---> 6 (75)
29 # 13 ---> 14 (76)
18 # 12 ---> 13 (76)
1 # 4 ---> 12 (76)
32 # 5 ---> 4 (76)
18 # 13 ---> 5 (77)
1 # 12 ---> 13 (77)
33 # 11 ---> 12 (95)
7 # 3 ---> 11 (95)
32 # 4 ---> 3 (95)
32 # 3 ---> 2 (96)
7 # 11 ---> 3 (96)
6 # 10 ---> 11 (96)
16 # 9 ---> 10 (98)
26 # 0 ---> 9 (98)
32 # 2 ---> 0 (98)
32 # 0 ---> 1 (99)
32 # 1 ---> 8 (100)
26 # 9 ---> 0 (99)
25 # 17 ---> 9 (99)
5 # 16 ---> 17 (99)
32 # 8 ---> 16 (101)
32 # 16 ---> 24 (102)
32 # 24 ---> 25 (103)
32 # 25 ---> 33 (104)
18 # 5 ---> 4 (95)
3 # 6 ---> 5 (95)
29 # 14 ---> 6 (95)
9 # 15 ---> 14 (95)
35 # 7 ---> 15 (95)
29 # 6 ---> 7 (96)
3 # 5 ---> 6 (96)
1 # 13 ---> 5 (96)
9 # 14 ---> 13 (96)
3 # 6 ---> 14 (97)
1 # 5 ---> 6 (97)
18 # 4 ---> 5 (97)
33 # 12 ---> 4 (97)
9 # 13 ---> 12 (97)
18 # 5 ---> 13 (98)
33 # 4 ---> 5 (98)
7 # 3 ---> 4 (98)
6 # 11 ---> 3 (98)
9 # 12 ---> 11 (98)
7 # 4 ---> 12 (99)
6 # 3 ---> 4 (99)
16 # 10 ---> 2 (99)
9 # 11 ---> 10 (99)
16 # 2 ---> 3 (100)
26 # 0 ---> 2 (100)
25 # 9 ---> 0 (100)
9 # 10 ---> 9 (100)
9 # 9 ---> 8 (101)
9 # 8 ---> 16 (102)
5 # 17 ---> 9 (101)
9 # 16 ---> 17 (103)
9 # 17 ---> 25 (104)
7 # 12 ---> 11 (100)
18 # 13 ---> 12 (100)
3 # 14 ---> 13 (100)
1 # 6 ---> 14 (100)
29 # 7 ---> 6 (100)
35 # 15 ---> 7 (100)
1 # 14 ---> 15 (101)
3 # 13 ---> 14 (101)
33 # 5 ---> 13 (101)
29 # 6 ---> 5 (101)
3 # 14 ---> 6 (102)
33 # 13 ---> 14 (102)
18 # 12 ---> 13 (102)
6 # 4 ---> 12 (102)
29 # 5 ---> 4 (102)
18 # 13 ---> 5 (103)
6 # 12 ---> 13 (103)
7 # 11 ---> 12 (103)
16 # 3 ---> 11 (103)
29 # 4 ---> 3 (103)
7 # 12 ---> 4 (104)
16 # 11 ---> 12 (104)
26 # 2 ---> 10 (101)
29 # 3 ---> 2 (104)
26 # 10 ---> 11 (104)
5 # 9 ---> 10 (104)
25 # 0 ---> 9 (104)
29 # 2 ---> 0 (105)
29 # 0 ---> 1 (106)
29 # 1 ---> 8 (107)
29 # 8 ---> 16 (108)
29 # 16 ---> 17 (109)
9 # 25 ---> 24 (105)
29 # 17 ---> 25 (110)
7 # 4 ---> 3 (105)
18 # 5 ---> 4 (105)
6 # 13 ---> 5 (105)
33 # 14 ---> 13 (105)
3 # 6 ---> 14 (105)
6 # 5 ---> 6 (106)
33 # 13 ---> 5 (106)
3 # 14 ---> 13 (106)
6 # 6 ---> 14 (107)
35 # 7 ---> 6 (107)
1 # 15 ---> 7 (107)
6 # 14 ---> 15 (108)
5 # 10 ---> 2 (105)
26 # 11 ---> 10 (105)
16 # 12 ---> 11 (105)
18 # 4 ---> 12 (106)
7 # 3 ---> 4 (106)
16 # 11 ---> 3 (106)
18 # 12 ---> 11 (107)
3 # 13 ---> 12 (107)
33 # 5 ---> 13 (107)
7 # 4 ---> 5 (107)
3 # 12 ---> 4 (108)
33 # 13 ---> 12 (108)
35 # 6 ---> 14 (108)
7 # 5 ---> 6 (108)
35 # 14 ---> 13 (109)
7 # 6 ---> 14 (109)
1 # 7 ---> 6 (109)
6 # 15 ---> 7 (109)
7 # 14 ---> 15 (110)
1 # 6 ---> 5 (110)
35 # 13 ---> 14 (110)
1 # 5 ---> 13 (111)
3 # 4 ---> 5 (111)
33 # 12 ---> 4 (111)
1 # 13 ---> 12 (112)
3 # 5 ---> 13 (112)
33 # 4 ---> 5 (112)
1 # 12 ---> 4 (113)
3 # 13 ---> 12 (113)
33 # 5 ---> 13 (113)
35 # 14 ---> 6 (111)
33 # 13 ---> 14 (114)
1 # 4 ---> 5 (114)
16 # 3 ---> 4 (114)
18 # 11 ---> 3 (114)
3 # 12 ---> 11 (114)
16 # 4 ---> 12 (115)
1 # 5 ---> 4 (115)
16 # 12 ---> 13 (116)
1 # 4 ---> 12 (116)
18 # 3 ---> 4 (116)
3 # 11 ---> 3 (116)
1 # 12 ---> 11 (117)
18 # 4 ---> 12 (117)
16 # 13 ---> 5 (117)
18 # 12 ---> 13 (118)
3 # 3 ---> 4 (117)
5 # 2 ---> 0 (106)
26 # 10 ---> 2 (106)
26 # 2 ---> 3 (117)
1 # 11 ---> 10 (118)
26 # 3 ---> 11 (118)
3 # 4 ---> 3 (118)
26 # 11 ---> 12 (119)
5 # 0 ---> 2 (117)
25 # 9 ---> 0 (117)
1 # 10 ---> 9 (119)
3 # 3 ---> 11 (119)
5 # 2 ---> 3 (119)
3 # 11 ---> 10 (120)
5 # 3 ---> 11 (120)
26 # 12 ---> 4 (120)
5 # 11 ---> 12 (121)
1 # 9 ---> 8 (120)
25 # 0 ---> 2 (119)
3 # 10 ---> 9 (121)
25 # 2 ---> 10 (121)
3 # 9 ---> 0 (122)
25 # 10 ---> 9 (122)
3 # 0 ---> 2 (123)
25 # 9 ---> 0 (123)
3 # 2 ---> 10 (124)
25 # 0 ---> 2 (124)
3 # 10 ---> 9 (125)
25 # 2 ---> 10 (125)
25 # 10 ---> 11 (126)
1 # 8 ---> 1 (121)
1 # 1 ---> 0 (124)
3 # 9 ---> 8 (126)
1 # 0 ---> 9 (126)
1 # 9 ---> 10 (127)
1 # 10 ---> 2 (128)


Final statistics
------------------
Solution size:1130
Filtered solution size:736
Parallel solution length:129
Parallelism:5.705
Step parallelism:21 16 12 16 10 8 6 8 8 10 14 7 8 6 8 5 7 6 5 4 3 3 3 2 3 4 2 1 2 5 3 5 5 1 1 4 5 6 5 5 3 5 2 4 5 4 2 3 4 7 5 4 4 9 5 5 8 10 10 10 12 8 6 7 7 6 1 3 3 3 5 6 6 7 9 8 7 5 3 8 2 3 3 6 3 3 2 3 4 6 7 8 5 4 3 12 10 9 11 8 11 8 7 7 8 10 9 8 6 5 4 4 3 3 5 2 4 7 4 5 4 4 2 2 3 2 3 1 1 
Solving time:0.010,0
Filtering time:0.010,1