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:50
Size:8 x 8
Fine solution
Length:1029
22 # 39 ---> 38 (0)
19 # 47 ---> 39 (0)
49 # 55 ---> 47 (0)
17 # 43 ---> 42 (0)
25 # 51 ---> 43 (0)
24 # 50 ---> 51 (0)
17 # 42 ---> 50 (1)
25 # 43 ---> 42 (1)
3 # 44 ---> 43 (1)
48 # 52 ---> 44 (1)
24 # 51 ---> 52 (1)
3 # 43 ---> 51 (2)
48 # 44 ---> 43 (2)
42 # 45 ---> 44 (2)
32 # 53 ---> 45 (2)
24 # 52 ---> 53 (2)
42 # 44 ---> 52 (3)
32 # 45 ---> 44 (3)
45 # 46 ---> 45 (3)
39 # 54 ---> 46 (3)
24 # 53 ---> 54 (3)
24 # 54 ---> 55 (4)
23 # 62 ---> 54 (4)
47 # 63 ---> 62 (4)
24 # 55 ---> 63 (5)
45 # 45 ---> 53 (4)
39 # 46 ---> 45 (4)
21 # 22 ---> 14 (0)
12 # 30 ---> 22 (0)
4 # 31 ---> 30 (0)
12 # 22 ---> 23 (1)
4 # 30 ---> 22 (1)
22 # 38 ---> 30 (1)
19 # 39 ---> 38 (1)
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)
5 # 24 ---> 32 (3)
34 # 25 ---> 24 (3)
30 # 26 ---> 25 (3)
37 # 34 ---> 26 (3)
10 # 33 ---> 34 (4)
10 # 34 ---> 35 (5)
10 # 35 ---> 36 (6)
30 # 25 ---> 33 (4)
37 # 26 ---> 25 (4)
33 # 27 ---> 26 (4)
18 # 28 ---> 27 (4)
28 # 37 ---> 29 (0)
10 # 36 ---> 37 (7)
28 # 29 ---> 28 (4)
22 # 30 ---> 29 (4)
19 # 38 ---> 30 (4)
10 # 37 ---> 38 (8)
10 # 38 ---> 39 (9)
23 # 46 ---> 38 (9)
49 # 47 ---> 46 (9)
10 # 39 ---> 47 (10)
23 # 38 ---> 39 (10)
49 # 46 ---> 38 (10)
26 # 9 ---> 0 (0)
13 # 1 ---> 8 (0)
26 # 0 ---> 1 (1)
44 # 2 ---> 0 (1)
7 # 10 ---> 2 (1)
44 # 0 ---> 9 (2)
7 # 2 ---> 0 (2)
50 # 3 ---> 2 (2)
36 # 11 ---> 3 (2)
50 # 2 ---> 10 (3)
36 # 3 ---> 2 (3)
43 # 13 ---> 5 (0)
43 # 5 ---> 4 (1)
1 # 6 ---> 5 (1)
21 # 14 ---> 6 (1)
1 # 5 ---> 13 (2)
21 # 6 ---> 5 (2)
41 # 7 ---> 6 (2)
46 # 15 ---> 7 (2)
4 # 22 ---> 14 (2)
12 # 23 ---> 22 (2)
49 # 38 ---> 37 (11)
23 # 39 ---> 38 (11)
19 # 30 ---> 31 (5)
23 # 38 ---> 30 (12)
33 # 26 ---> 34 (5)
14 # 18 ---> 26 (5)
40 # 17 ---> 18 (5)
37 # 25 ---> 17 (5)
14 # 26 ---> 25 (6)
40 # 18 ---> 26 (6)
37 # 17 ---> 18 (6)
44 # 9 ---> 17 (6)
50 # 10 ---> 9 (6)
38 # 19 ---> 11 (2)
37 # 18 ---> 19 (7)
38 # 11 ---> 10 (6)
31 # 20 ---> 12 (0)
37 # 19 ---> 20 (8)
37 # 20 ---> 21 (9)
31 # 12 ---> 11 (6)
1 # 13 ---> 12 (6)
4 # 14 ---> 13 (6)
12 # 22 ---> 14 (6)
37 # 21 ---> 22 (10)
37 # 22 ---> 23 (11)
23 # 30 ---> 22 (13)
19 # 31 ---> 30 (13)
37 # 23 ---> 31 (13)
23 # 22 ---> 23 (14)
19 # 30 ---> 22 (14)
33 # 34 ---> 35 (6)
30 # 33 ---> 34 (6)
16 # 41 ---> 33 (6)
20 # 49 ---> 41 (6)
2 # 48 ---> 49 (6)
11 # 56 ---> 48 (6)
8 # 57 ---> 56 (6)
2 # 49 ---> 57 (7)
20 # 41 ---> 49 (7)
15 # 40 ---> 41 (7)
11 # 48 ---> 40 (7)
20 # 49 ---> 48 (8)
15 # 41 ---> 49 (8)
16 # 33 ---> 41 (8)
5 # 32 ---> 33 (8)
11 # 40 ---> 32 (8)
16 # 41 ---> 40 (9)
5 # 33 ---> 41 (9)
14 # 25 ---> 33 (9)
34 # 24 ---> 25 (9)
11 # 32 ---> 24 (9)
14 # 33 ---> 32 (10)
34 # 25 ---> 33 (10)
44 # 17 ---> 25 (10)
6 # 16 ---> 17 (10)
11 # 24 ---> 16 (10)
44 # 25 ---> 24 (11)
6 # 17 ---> 25 (11)
50 # 9 ---> 17 (11)
13 # 8 ---> 9 (11)
11 # 16 ---> 8 (11)
50 # 17 ---> 16 (12)
13 # 9 ---> 17 (12)
11 # 8 ---> 9 (12)
26 # 1 ---> 8 (12)
7 # 0 ---> 1 (12)
36 # 2 ---> 0 (12)
38 # 10 ---> 2 (12)
11 # 9 ---> 10 (13)
36 # 0 ---> 9 (13)
38 # 2 ---> 0 (13)
31 # 11 ---> 3 (7)
11 # 10 ---> 11 (14)
31 # 3 ---> 2 (13)
43 # 4 ---> 3 (13)
1 # 12 ---> 4 (13)
11 # 11 ---> 12 (15)
43 # 3 ---> 11 (15)
1 # 4 ---> 3 (15)
21 # 5 ---> 4 (15)
4 # 13 ---> 5 (15)
11 # 12 ---> 13 (16)
21 # 4 ---> 12 (16)
4 # 5 ---> 4 (16)
41 # 6 ---> 5 (16)
12 # 14 ---> 6 (16)
11 # 13 ---> 14 (17)
11 # 14 ---> 15 (18)
19 # 22 ---> 14 (18)
23 # 23 ---> 22 (18)
11 # 15 ---> 23 (19)
19 # 14 ---> 15 (19)
23 # 22 ---> 14 (19)
43 # 11 ---> 10 (16)
1 # 3 ---> 11 (16)
31 # 2 ---> 3 (16)
43 # 10 ---> 2 (17)
1 # 11 ---> 10 (17)
21 # 12 ---> 11 (17)
4 # 4 ---> 12 (17)
31 # 3 ---> 4 (17)
21 # 11 ---> 3 (18)
4 # 12 ---> 11 (18)
41 # 5 ---> 13 (17)
31 # 4 ---> 5 (18)
41 # 13 ---> 12 (18)
23 # 14 ---> 13 (20)
12 # 6 ---> 14 (20)
31 # 5 ---> 6 (20)
23 # 13 ---> 5 (21)
12 # 14 ---> 13 (21)
31 # 6 ---> 14 (21)
31 # 14 ---> 22 (22)
31 # 22 ---> 30 (23)
31 # 30 ---> 38 (24)
31 # 38 ---> 46 (25)
31 # 46 ---> 54 (26)
39 # 45 ---> 46 (26)
45 # 53 ---> 45 (26)
35 # 61 ---> 53 (26)
47 # 62 ---> 61 (26)
31 # 54 ---> 62 (27)
39 # 46 ---> 38 (27)
12 # 13 ---> 14 (22)
12 # 14 ---> 22 (23)
12 # 22 ---> 30 (24)
22 # 29 ---> 21 (10)
49 # 37 ---> 29 (12)
39 # 38 ---> 37 (28)
12 # 30 ---> 38 (28)
12 # 38 ---> 46 (29)
12 # 46 ---> 54 (30)
21 # 3 ---> 4 (19)
43 # 2 ---> 3 (19)
38 # 0 ---> 2 (19)
36 # 9 ---> 0 (19)
1 # 10 ---> 9 (19)
4 # 11 ---> 10 (19)
43 # 3 ---> 11 (20)
38 # 2 ---> 3 (20)
4 # 10 ---> 2 (20)
43 # 11 ---> 10 (21)
41 # 12 ---> 11 (21)
21 # 4 ---> 12 (21)
38 # 3 ---> 4 (21)
41 # 11 ---> 3 (22)
21 # 12 ---> 11 (22)
23 # 5 ---> 13 (22)
38 # 4 ---> 5 (22)
38 # 5 ---> 6 (23)
38 # 6 ---> 14 (24)
38 # 14 ---> 22 (25)
38 # 22 ---> 30 (28)
38 # 30 ---> 38 (29)
38 # 38 ---> 46 (30)
39 # 37 ---> 38 (30)
45 # 45 ---> 37 (30)
21 # 11 ---> 19 (23)
43 # 10 ---> 11 (23)
43 # 11 ---> 12 (24)
4 # 2 ---> 10 (23)
23 # 13 ---> 5 (23)
43 # 12 ---> 13 (25)
43 # 13 ---> 14 (26)
43 # 14 ---> 22 (28)
43 # 22 ---> 30 (29)
45 # 37 ---> 36 (31)
39 # 38 ---> 37 (31)
43 # 30 ---> 38 (31)
49 # 29 ---> 30 (31)
39 # 37 ---> 29 (32)
40 # 26 ---> 18 (7)
18 # 27 ---> 26 (7)
21 # 19 ---> 27 (24)
40 # 18 ---> 19 (24)
40 # 19 ---> 20 (25)
4 # 10 ---> 18 (24)
22 # 21 ---> 13 (26)
40 # 20 ---> 21 (26)
40 # 21 ---> 22 (29)
39 # 29 ---> 21 (33)
49 # 30 ---> 29 (33)
40 # 22 ---> 30 (33)
39 # 21 ---> 22 (34)
49 # 29 ---> 21 (34)
22 # 13 ---> 12 (27)
49 # 21 ---> 13 (35)
49 # 13 ---> 14 (36)
39 # 22 ---> 21 (35)
49 # 14 ---> 22 (37)
39 # 21 ---> 13 (36)
35 # 53 ---> 45 (30)
28 # 28 ---> 20 (26)
45 # 36 ---> 28 (32)
32 # 44 ---> 36 (32)
42 # 52 ---> 44 (32)
9 # 60 ---> 52 (32)
47 # 61 ---> 60 (32)
35 # 45 ---> 37 (32)
1 # 9 ---> 10 (24)
13 # 17 ---> 9 (24)
50 # 16 ---> 17 (24)
26 # 8 ---> 16 (24)
13 # 9 ---> 8 (25)
1 # 10 ---> 9 (25)
4 # 18 ---> 10 (25)
50 # 17 ---> 18 (25)
50 # 18 ---> 19 (26)
1 # 9 ---> 17 (26)
4 # 10 ---> 9 (26)
22 # 12 ---> 11 (28)
28 # 20 ---> 12 (28)
50 # 19 ---> 20 (28)
50 # 20 ---> 21 (36)
50 # 21 ---> 29 (37)
45 # 28 ---> 20 (36)
32 # 36 ---> 28 (36)
35 # 37 ---> 36 (36)
50 # 29 ---> 37 (38)
50 # 37 ---> 45 (39)
50 # 45 ---> 53 (40)
42 # 44 ---> 45 (40)
18 # 26 ---> 18 (26)
30 # 34 ---> 26 (26)
33 # 35 ---> 34 (26)
21 # 27 ---> 35 (26)
30 # 26 ---> 27 (27)
18 # 18 ---> 26 (27)
45 # 20 ---> 19 (37)
32 # 28 ---> 20 (37)
30 # 27 ---> 28 (37)
30 # 28 ---> 29 (38)
35 # 36 ---> 28 (38)
30 # 29 ---> 37 (39)
48 # 43 ---> 44 (40)
25 # 42 ---> 43 (40)
17 # 50 ---> 42 (40)
15 # 49 ---> 50 (40)
5 # 41 ---> 49 (40)
34 # 33 ---> 41 (40)
33 # 34 ---> 33 (40)
17 # 42 ---> 34 (41)
34 # 41 ---> 42 (41)
33 # 33 ---> 41 (41)
6 # 25 ---> 33 (41)
18 # 26 ---> 25 (41)
17 # 34 ---> 26 (42)
17 # 26 ---> 18 (43)
45 # 19 ---> 27 (38)
17 # 18 ---> 19 (44)
22 # 11 ---> 10 (29)
28 # 12 ---> 11 (29)
32 # 20 ---> 12 (38)
17 # 19 ---> 20 (45)
17 # 20 ---> 21 (46)
17 # 21 ---> 29 (47)
35 # 28 ---> 20 (46)
39 # 13 ---> 14 (37)
34 # 42 ---> 34 (42)
15 # 50 ---> 42 (42)
3 # 51 ---> 50 (42)
27 # 59 ---> 51 (42)
29 # 58 ---> 59 (42)
3 # 50 ---> 58 (43)
15 # 42 ---> 50 (43)
25 # 43 ---> 42 (43)
27 # 51 ---> 43 (43)
15 # 50 ---> 51 (44)
25 # 42 ---> 50 (44)
34 # 34 ---> 42 (44)
21 # 35 ---> 34 (44)
27 # 43 ---> 35 (44)
34 # 42 ---> 43 (45)
21 # 34 ---> 42 (45)
45 # 27 ---> 26 (43)
27 # 35 ---> 27 (45)
27 # 27 ---> 19 (46)
45 # 26 ---> 27 (46)
22 # 10 ---> 18 (44)
28 # 11 ---> 10 (44)
27 # 19 ---> 11 (47)
35 # 20 ---> 19 (47)
32 # 12 ---> 20 (47)
27 # 11 ---> 12 (48)
27 # 12 ---> 13 (49)
32 # 20 ---> 12 (49)
27 # 13 ---> 21 (50)
32 # 12 ---> 13 (50)
48 # 44 ---> 36 (41)
9 # 52 ---> 44 (41)
23 # 5 ---> 4 (24)
23 # 4 ---> 12 (50)
23 # 12 ---> 20 (51)
23 # 20 ---> 28 (52)
35 # 19 ---> 11 (48)
45 # 27 ---> 19 (48)
48 # 36 ---> 35 (45)
23 # 28 ---> 36 (53)
48 # 35 ---> 27 (48)
34 # 43 ---> 35 (48)
9 # 44 ---> 43 (48)
23 # 36 ---> 44 (54)
23 # 44 ---> 52 (55)
9 # 43 ---> 44 (55)
15 # 51 ---> 43 (55)
29 # 59 ---> 51 (55)
47 # 60 ---> 59 (55)
23 # 52 ---> 60 (56)
9 # 44 ---> 36 (56)
36 # 0 ---> 2 (23)
4 # 9 ---> 0 (27)
13 # 8 ---> 9 (27)
7 # 1 ---> 8 (27)
4 # 0 ---> 1 (28)
36 # 2 ---> 0 (28)
28 # 10 ---> 2 (45)
13 # 9 ---> 10 (45)
36 # 0 ---> 9 (45)
28 # 2 ---> 0 (46)
41 # 3 ---> 2 (46)
35 # 11 ---> 3 (49)
13 # 10 ---> 11 (49)
13 # 11 ---> 12 (51)
13 # 12 ---> 20 (52)
13 # 20 ---> 28 (53)
45 # 19 ---> 11 (51)
48 # 27 ---> 19 (51)
34 # 35 ---> 27 (51)
9 # 36 ---> 35 (57)
13 # 28 ---> 36 (57)
13 # 36 ---> 44 (58)
13 # 44 ---> 52 (59)
15 # 43 ---> 44 (59)
29 # 51 ---> 43 (59)
47 # 59 ---> 51 (59)
3 # 58 ---> 59 (59)
25 # 50 ---> 58 (59)
21 # 42 ---> 50 (59)
29 # 43 ---> 42 (60)
47 # 51 ---> 43 (60)
21 # 50 ---> 51 (60)
29 # 42 ---> 50 (61)
9 # 35 ---> 34 (58)
47 # 43 ---> 35 (61)
47 # 35 ---> 36 (62)
15 # 44 ---> 43 (61)
47 # 36 ---> 44 (63)
32 # 13 ---> 5 (51)
39 # 14 ---> 13 (51)
39 # 13 ---> 12 (52)
39 # 12 ---> 20 (53)
39 # 20 ---> 28 (57)
39 # 28 ---> 36 (63)
36 # 9 ---> 10 (49)
28 # 0 ---> 9 (49)
41 # 2 ---> 0 (49)
35 # 3 ---> 2 (50)
45 # 11 ---> 3 (52)
36 # 10 ---> 11 (52)
36 # 11 ---> 12 (53)
36 # 12 ---> 20 (57)
36 # 20 ---> 28 (63)
48 # 19 ---> 20 (63)
34 # 27 ---> 19 (63)
15 # 43 ---> 35 (62)
15 # 35 ---> 27 (63)
22 # 18 ---> 26 (46)
34 # 19 ---> 18 (64)
15 # 27 ---> 19 (64)
15 # 19 ---> 11 (65)
15 # 11 ---> 12 (66)
48 # 20 ---> 19 (65)
15 # 12 ---> 20 (67)
48 # 19 ---> 11 (66)
21 # 51 ---> 43 (62)
35 # 2 ---> 10 (52)
41 # 0 ---> 2 (52)
28 # 9 ---> 0 (52)
35 # 10 ---> 9 (53)
48 # 11 ---> 10 (67)
45 # 3 ---> 11 (67)
41 # 2 ---> 3 (67)
48 # 10 ---> 2 (68)
45 # 11 ---> 10 (68)
41 # 3 ---> 11 (68)
41 # 11 ---> 19 (69)
41 # 19 ---> 27 (70)
48 # 2 ---> 3 (69)
45 # 10 ---> 2 (69)
34 # 18 ---> 10 (69)
22 # 26 ---> 18 (69)
41 # 27 ---> 35 (71)
9 # 34 ---> 26 (69)
21 # 43 ---> 42 (63)
41 # 35 ---> 43 (72)
41 # 43 ---> 51 (73)
21 # 42 ---> 34 (69)
29 # 50 ---> 42 (69)
25 # 58 ---> 50 (69)
3 # 59 ---> 58 (69)
41 # 51 ---> 59 (74)
29 # 42 ---> 43 (73)
25 # 50 ---> 42 (73)
5 # 49 ---> 50 (73)
33 # 41 ---> 49 (73)
16 # 40 ---> 41 (73)
20 # 48 ---> 40 (73)
33 # 49 ---> 48 (74)
16 # 41 ---> 49 (74)
6 # 33 ---> 41 (74)
14 # 32 ---> 33 (74)
20 # 40 ---> 32 (74)
6 # 41 ---> 40 (75)
14 # 33 ---> 41 (75)
20 # 32 ---> 33 (75)
44 # 24 ---> 32 (75)
18 # 25 ---> 24 (75)
9 # 26 ---> 25 (75)
21 # 34 ---> 26 (75)
20 # 33 ---> 34 (76)
20 # 34 ---> 35 (77)
25 # 42 ---> 34 (77)
29 # 43 ---> 42 (77)
20 # 35 ---> 43 (78)
25 # 34 ---> 35 (78)
29 # 42 ---> 34 (78)
34 # 10 ---> 11 (70)
34 # 11 ---> 19 (71)
34 # 19 ---> 27 (72)
29 # 34 ---> 33 (79)
25 # 35 ---> 34 (79)
34 # 27 ---> 35 (79)
19 # 15 ---> 14 (51)
19 # 14 ---> 13 (52)
19 # 13 ---> 12 (67)
19 # 12 ---> 11 (71)
19 # 11 ---> 19 (72)
19 # 19 ---> 27 (79)
22 # 18 ---> 19 (79)
21 # 26 ---> 18 (79)
14 # 41 ---> 42 (78)
16 # 49 ---> 41 (78)
33 # 48 ---> 49 (78)
8 # 56 ---> 48 (78)
2 # 57 ---> 56 (78)
33 # 49 ---> 57 (79)
16 # 41 ---> 49 (79)
6 # 40 ---> 41 (79)
8 # 48 ---> 40 (79)
16 # 49 ---> 48 (80)
6 # 41 ---> 49 (80)
29 # 33 ---> 41 (80)
44 # 32 ---> 33 (80)
8 # 40 ---> 32 (80)
29 # 41 ---> 40 (81)
44 # 33 ---> 41 (81)
9 # 25 ---> 33 (81)
18 # 24 ---> 25 (81)
8 # 32 ---> 24 (81)
9 # 33 ---> 32 (82)
18 # 25 ---> 33 (82)
1 # 17 ---> 25 (82)
26 # 16 ---> 17 (82)
8 # 24 ---> 16 (82)
1 # 25 ---> 24 (83)
26 # 17 ---> 25 (83)
35 # 9 ---> 17 (83)
7 # 8 ---> 9 (83)
8 # 16 ---> 8 (83)
35 # 17 ---> 16 (84)
7 # 9 ---> 17 (84)
8 # 8 ---> 9 (84)
8 # 9 ---> 10 (85)
8 # 10 ---> 11 (86)
21 # 18 ---> 10 (86)
22 # 19 ---> 18 (86)
8 # 11 ---> 19 (87)
21 # 10 ---> 11 (87)
25 # 34 ---> 26 (80)
14 # 42 ---> 34 (80)
5 # 50 ---> 42 (80)
7 # 17 ---> 9 (85)
26 # 25 ---> 17 (85)
25 # 26 ---> 25 (85)
22 # 18 ---> 26 (87)
26 # 17 ---> 18 (87)
25 # 25 ---> 17 (87)
18 # 33 ---> 25 (87)
14 # 34 ---> 33 (87)
22 # 26 ---> 34 (88)
18 # 25 ---> 26 (88)
14 # 33 ---> 25 (88)
44 # 41 ---> 33 (88)
5 # 42 ---> 41 (88)
22 # 34 ---> 42 (89)
22 # 42 ---> 50 (90)
5 # 41 ---> 42 (90)
6 # 49 ---> 41 (90)
33 # 57 ---> 49 (90)
3 # 58 ---> 57 (90)
22 # 50 ---> 58 (91)
5 # 42 ---> 34 (91)
7 # 9 ---> 8 (86)
45 # 2 ---> 10 (87)
28 # 0 ---> 2 (87)
45 # 10 ---> 9 (88)
28 # 2 ---> 10 (88)
45 # 9 ---> 0 (89)
25 # 17 ---> 9 (89)
26 # 18 ---> 17 (89)
28 # 10 ---> 18 (89)
25 # 9 ---> 10 (90)
26 # 17 ---> 9 (90)
14 # 25 ---> 17 (90)
18 # 26 ---> 25 (90)
28 # 18 ---> 26 (90)
14 # 17 ---> 18 (91)
18 # 25 ---> 17 (91)
44 # 33 ---> 25 (91)
5 # 34 ---> 33 (92)
28 # 26 ---> 34 (92)
28 # 34 ---> 42 (93)
28 # 42 ---> 50 (94)
48 # 3 ---> 4 (70)
21 # 11 ---> 3 (88)
48 # 4 ---> 12 (71)
21 # 3 ---> 4 (89)
25 # 10 ---> 2 (91)
25 # 2 ---> 3 (92)
45 # 0 ---> 2 (92)
26 # 9 ---> 0 (92)
18 # 17 ---> 9 (92)
14 # 18 ---> 17 (92)
18 # 9 ---> 10 (93)
26 # 0 ---> 9 (93)
4 # 1 ---> 0 (93)
7 # 8 ---> 1 (93)
26 # 9 ---> 8 (94)
18 # 10 ---> 9 (94)
45 # 2 ---> 10 (94)
4 # 0 ---> 2 (94)
18 # 9 ---> 0 (95)
45 # 10 ---> 9 (95)
4 # 2 ---> 10 (95)
4 # 10 ---> 18 (96)
4 # 18 ---> 26 (97)
4 # 26 ---> 34 (98)
25 # 3 ---> 2 (95)
21 # 4 ---> 3 (95)
25 # 2 ---> 10 (96)
21 # 3 ---> 2 (96)
25 # 10 ---> 11 (97)
21 # 2 ---> 10 (97)
21 # 10 ---> 18 (98)
21 # 18 ---> 26 (99)
46 # 7 ---> 6 (24)
32 # 5 ---> 13 (67)
46 # 6 ---> 5 (67)
32 # 13 ---> 14 (68)
46 # 5 ---> 4 (95)
46 # 4 ---> 3 (96)
46 # 3 ---> 2 (97)
46 # 2 ---> 10 (98)
46 # 10 ---> 18 (99)
45 # 9 ---> 10 (99)
14 # 17 ---> 9 (99)
35 # 16 ---> 17 (99)
1 # 24 ---> 16 (99)
9 # 32 ---> 24 (99)
29 # 40 ---> 32 (99)
16 # 48 ---> 40 (99)
25 # 11 ---> 3 (98)
45 # 10 ---> 11 (100)
14 # 9 ---> 10 (100)
18 # 0 ---> 9 (100)
14 # 10 ---> 2 (101)
18 # 9 ---> 10 (101)
26 # 8 ---> 9 (101)
7 # 1 ---> 8 (101)
26 # 9 ---> 0 (102)
7 # 8 ---> 9 (102)
26 # 0 ---> 1 (103)
7 # 9 ---> 0 (103)
35 # 17 ---> 9 (103)
1 # 16 ---> 17 (103)
35 # 9 ---> 8 (104)
1 # 17 ---> 9 (104)
44 # 25 ---> 17 (104)
9 # 24 ---> 25 (104)
44 # 17 ---> 16 (105)
9 # 25 ---> 17 (105)
5 # 33 ---> 25 (105)
29 # 32 ---> 33 (105)
5 # 25 ---> 24 (106)
29 # 33 ---> 25 (106)
6 # 41 ---> 33 (106)
33 # 49 ---> 41 (106)
2 # 56 ---> 48 (99)
3 # 57 ---> 56 (99)
25 # 3 ---> 4 (99)
14 # 2 ---> 3 (102)
18 # 10 ---> 2 (102)
45 # 11 ---> 10 (102)
14 # 3 ---> 11 (103)
18 # 2 ---> 3 (103)
7 # 0 ---> 2 (104)
1 # 9 ---> 0 (105)
45 # 10 ---> 9 (105)
7 # 2 ---> 10 (105)
1 # 0 ---> 2 (106)
26 # 1 ---> 0 (106)
35 # 8 ---> 1 (106)
45 # 9 ---> 8 (106)
9 # 17 ---> 9 (106)
44 # 16 ---> 17 (106)
45 # 8 ---> 16 (107)
9 # 9 ---> 8 (107)
44 # 17 ---> 9 (107)
29 # 25 ---> 17 (107)
5 # 24 ---> 25 (107)
45 # 16 ---> 24 (108)
45 # 24 ---> 32 (109)
29 # 17 ---> 16 (108)
5 # 25 ---> 17 (108)
6 # 33 ---> 25 (108)
33 # 41 ---> 33 (108)
16 # 40 ---> 41 (108)
45 # 32 ---> 40 (110)
33 # 33 ---> 32 (110)
16 # 41 ---> 33 (110)
2 # 48 ---> 49 (106)
45 # 40 ---> 48 (111)
2 # 49 ---> 41 (110)
45 # 48 ---> 49 (112)
3 # 56 ---> 48 (112)
45 # 49 ---> 57 (113)
25 # 4 ---> 5 (100)
18 # 3 ---> 4 (104)
1 # 2 ---> 3 (107)
7 # 10 ---> 2 (107)
14 # 11 ---> 10 (107)
1 # 3 ---> 11 (108)
7 # 2 ---> 3 (108)
26 # 0 ---> 2 (108)
44 # 9 ---> 0 (108)
14 # 10 ---> 9 (108)
26 # 2 ---> 10 (109)
44 # 0 ---> 2 (109)
35 # 1 ---> 0 (109)
9 # 8 ---> 1 (109)
14 # 9 ---> 8 (109)
5 # 17 ---> 9 (109)
29 # 16 ---> 17 (109)
14 # 8 ---> 16 (110)
14 # 16 ---> 24 (111)
5 # 9 ---> 8 (110)
29 # 17 ---> 9 (110)
6 # 25 ---> 17 (110)
16 # 33 ---> 25 (111)
33 # 32 ---> 33 (111)
14 # 24 ---> 32 (112)
14 # 32 ---> 40 (113)
33 # 33 ---> 32 (113)
2 # 41 ---> 33 (113)
14 # 40 ---> 41 (114)
3 # 48 ---> 40 (114)
14 # 41 ---> 49 (115)
3 # 40 ---> 41 (115)
33 # 32 ---> 40 (115)
2 # 33 ---> 32 (115)
3 # 41 ---> 33 (116)
33 # 40 ---> 41 (116)
2 # 32 ---> 40 (116)
3 # 33 ---> 32 (117)
33 # 41 ---> 33 (117)
2 # 40 ---> 41 (117)
14 # 49 ---> 48 (116)
2 # 41 ---> 49 (118)
3 # 32 ---> 24 (118)
32 # 14 ---> 6 (69)
32 # 6 ---> 7 (70)
25 # 5 ---> 6 (101)
18 # 4 ---> 5 (105)
48 # 12 ---> 4 (105)
18 # 5 ---> 13 (106)
48 # 4 ---> 5 (106)
7 # 3 ---> 4 (109)
1 # 11 ---> 3 (109)
7 # 4 ---> 12 (110)
1 # 3 ---> 4 (110)
44 # 2 ---> 3 (110)
26 # 10 ---> 2 (110)
44 # 3 ---> 11 (111)
26 # 2 ---> 3 (111)
35 # 0 ---> 2 (111)
29 # 9 ---> 0 (111)
35 # 2 ---> 10 (112)
29 # 0 ---> 2 (112)
9 # 1 ---> 0 (112)
6 # 17 ---> 9 (111)
16 # 25 ---> 17 (112)
33 # 33 ---> 25 (118)
18 # 13 ---> 14 (107)
7 # 12 ---> 13 (111)
1 # 4 ---> 12 (111)
48 # 5 ---> 4 (111)
7 # 13 ---> 5 (112)
1 # 12 ---> 13 (112)
44 # 11 ---> 12 (112)
26 # 3 ---> 11 (112)
48 # 4 ---> 3 (112)
44 # 12 ---> 4 (113)
26 # 11 ---> 12 (113)
35 # 10 ---> 11 (113)
29 # 2 ---> 10 (113)
48 # 3 ---> 2 (113)
35 # 11 ---> 3 (114)
29 # 10 ---> 11 (114)
6 # 9 ---> 10 (114)
9 # 0 ---> 9 (114)
48 # 2 ---> 0 (114)
6 # 10 ---> 2 (115)
9 # 9 ---> 10 (115)
48 # 0 ---> 1 (115)
5 # 8 ---> 9 (115)
48 # 1 ---> 8 (116)
48 # 8 ---> 16 (117)
5 # 9 ---> 0 (116)
16 # 17 ---> 9 (116)
33 # 25 ---> 17 (119)
3 # 24 ---> 25 (119)
48 # 16 ---> 24 (119)
48 # 24 ---> 32 (120)
48 # 32 ---> 33 (121)
48 # 33 ---> 41 (122)
33 # 17 ---> 16 (120)
3 # 25 ---> 17 (120)
18 # 14 ---> 15 (108)
25 # 6 ---> 14 (108)
32 # 7 ---> 6 (108)
18 # 15 ---> 7 (109)
25 # 14 ---> 15 (109)
1 # 13 ---> 14 (113)
7 # 5 ---> 13 (113)
32 # 6 ---> 5 (113)
1 # 14 ---> 6 (114)
7 # 13 ---> 14 (114)
26 # 12 ---> 13 (114)
44 # 4 ---> 12 (114)
32 # 5 ---> 4 (114)
26 # 13 ---> 5 (115)
44 # 12 ---> 13 (115)
29 # 11 ---> 12 (115)
35 # 3 ---> 11 (115)
32 # 4 ---> 3 (115)
29 # 12 ---> 4 (116)
35 # 11 ---> 12 (116)
9 # 10 ---> 11 (116)
6 # 2 ---> 10 (116)
32 # 3 ---> 2 (116)
9 # 11 ---> 3 (117)
6 # 10 ---> 11 (117)
16 # 9 ---> 10 (117)
5 # 0 ---> 9 (117)
32 # 2 ---> 0 (117)
32 # 0 ---> 1 (118)
32 # 1 ---> 8 (119)
5 # 9 ---> 0 (118)
3 # 17 ---> 9 (121)
33 # 16 ---> 17 (121)
32 # 8 ---> 16 (121)
32 # 16 ---> 24 (122)
32 # 24 ---> 25 (123)
32 # 25 ---> 33 (124)
9 # 3 ---> 2 (118)
6 # 11 ---> 3 (118)
16 # 10 ---> 11 (118)
3 # 9 ---> 10 (122)
5 # 0 ---> 9 (122)
9 # 2 ---> 0 (122)
9 # 0 ---> 1 (123)
9 # 1 ---> 8 (124)
9 # 8 ---> 16 (125)
5 # 9 ---> 0 (123)
33 # 17 ---> 9 (123)
9 # 16 ---> 17 (126)
9 # 17 ---> 25 (127)
6 # 3 ---> 2 (122)
29 # 4 ---> 3 (122)
35 # 12 ---> 4 (122)
16 # 11 ---> 12 (122)
3 # 10 ---> 11 (123)
6 # 2 ---> 10 (123)
29 # 3 ---> 2 (123)
3 # 11 ---> 3 (124)
6 # 10 ---> 11 (124)
33 # 9 ---> 10 (124)
5 # 0 ---> 9 (124)
29 # 2 ---> 0 (124)
29 # 0 ---> 1 (125)
29 # 1 ---> 8 (126)
29 # 8 ---> 16 (127)
29 # 16 ---> 17 (128)
9 # 25 ---> 24 (128)
29 # 17 ---> 25 (129)
5 # 9 ---> 0 (125)
3 # 3 ---> 2 (125)
35 # 4 ---> 3 (125)
26 # 5 ---> 4 (125)
1 # 6 ---> 5 (125)
33 # 10 ---> 9 (125)
3 # 2 ---> 10 (126)
35 # 3 ---> 2 (126)
6 # 11 ---> 3 (126)
16 # 12 ---> 11 (126)
26 # 4 ---> 12 (126)
6 # 3 ---> 4 (127)
16 # 11 ---> 3 (127)
26 # 12 ---> 11 (127)
44 # 13 ---> 12 (127)
1 # 5 ---> 13 (127)
6 # 4 ---> 5 (128)
6 # 5 ---> 6 (129)
1 # 13 ---> 5 (129)
7 # 14 ---> 13 (129)
6 # 6 ---> 14 (130)
18 # 7 ---> 6 (130)
25 # 15 ---> 7 (130)
6 # 14 ---> 15 (131)
18 # 6 ---> 14 (131)
1 # 5 ---> 6 (131)
7 # 13 ---> 5 (131)
18 # 14 ---> 13 (132)
1 # 6 ---> 14 (132)
7 # 5 ---> 6 (132)
18 # 13 ---> 5 (133)
1 # 14 ---> 13 (133)
7 # 6 ---> 14 (133)
25 # 7 ---> 6 (133)
6 # 15 ---> 7 (133)
7 # 14 ---> 15 (134)
18 # 5 ---> 4 (134)
5 # 0 ---> 1 (126)
33 # 9 ---> 0 (126)
3 # 10 ---> 9 (127)
26 # 11 ---> 10 (128)
16 # 3 ---> 11 (128)
35 # 2 ---> 3 (128)
26 # 10 ---> 2 (129)
16 # 11 ---> 10 (129)
44 # 12 ---> 11 (129)
18 # 4 ---> 12 (135)
35 # 3 ---> 4 (135)
35 # 4 ---> 5 (136)
18 # 12 ---> 4 (136)
1 # 13 ---> 12 (136)
35 # 5 ---> 13 (137)
25 # 6 ---> 5 (137)
35 # 13 ---> 14 (138)
26 # 2 ---> 3 (135)
33 # 0 ---> 2 (135)
3 # 9 ---> 0 (135)
16 # 10 ---> 9 (135)
44 # 11 ---> 10 (135)
26 # 3 ---> 11 (136)
33 # 2 ---> 3 (136)
44 # 10 ---> 2 (136)
26 # 11 ---> 10 (137)
1 # 12 ---> 11 (137)
18 # 4 ---> 12 (137)
33 # 3 ---> 4 (137)
1 # 11 ---> 3 (138)
18 # 12 ---> 11 (138)
25 # 5 ---> 13 (138)
33 # 4 ---> 5 (138)
25 # 13 ---> 12 (139)
33 # 5 ---> 13 (139)
35 # 14 ---> 6 (139)
33 # 13 ---> 14 (140)
5 # 1 ---> 8 (127)
3 # 0 ---> 1 (136)
16 # 9 ---> 0 (136)
26 # 10 ---> 9 (138)
44 # 2 ---> 10 (138)
16 # 0 ---> 2 (138)
26 # 9 ---> 0 (139)
44 # 10 ---> 9 (139)
18 # 11 ---> 10 (139)
1 # 3 ---> 11 (139)
16 # 2 ---> 3 (139)
16 # 3 ---> 4 (140)
1 # 11 ---> 3 (140)
25 # 12 ---> 11 (140)
16 # 4 ---> 12 (141)
16 # 12 ---> 13 (142)
18 # 10 ---> 2 (140)
25 # 11 ---> 10 (141)
1 # 3 ---> 11 (141)
18 # 2 ---> 3 (141)
18 # 3 ---> 4 (142)
18 # 4 ---> 12 (143)
16 # 13 ---> 5 (143)
18 # 12 ---> 13 (144)
26 # 0 ---> 2 (141)
26 # 2 ---> 3 (142)
25 # 10 ---> 2 (142)
1 # 11 ---> 10 (142)
26 # 3 ---> 11 (143)
26 # 11 ---> 12 (144)
3 # 1 ---> 0 (141)
5 # 8 ---> 1 (141)
44 # 9 ---> 8 (141)
3 # 0 ---> 9 (142)
5 # 1 ---> 0 (142)
44 # 8 ---> 1 (142)
3 # 9 ---> 8 (143)
1 # 10 ---> 9 (143)
25 # 2 ---> 10 (143)
5 # 0 ---> 2 (143)
5 # 2 ---> 3 (144)
5 # 3 ---> 11 (145)
26 # 12 ---> 4 (145)
5 # 11 ---> 12 (146)
1 # 9 ---> 0 (144)
1 # 0 ---> 2 (145)
25 # 10 ---> 9 (144)
1 # 2 ---> 10 (146)
25 # 9 ---> 0 (145)
1 # 10 ---> 9 (147)
25 # 0 ---> 2 (146)
25 # 2 ---> 10 (147)
25 # 10 ---> 11 (148)
1 # 9 ---> 10 (148)
1 # 10 ---> 2 (149)


Final statistics
------------------
Solution size:1331
Filtered solution size:1029
Parallel solution length:150
Parallelism:6.860
Step parallelism:20 18 20 14 13 8 18 9 7 9 10 8 9 9 3 5 8 7 7 9 6 7 6 8 13 8 16 8 9 6 5 4 7 3 2 2 6 6 5 2 9 7 6 6 8 8 7 4 6 7 4 8 9 5 1 5 2 4 2 7 3 3 3 7 2 2 2 7 4 11 4 4 3 7 6 7 1 3 8 10 8 5 5 5 3 4 4 9 8 6 10 6 7 5 5 6 4 4 4 12 4 5 5 6 6 9 13 9 14 12 12 12 12 12 12 13 12 9 8 4 3 4 9 7 7 8 9 9 6 7 3 4 3 5 2 7 8 6 8 8 5 8 8 7 5 4 3 2 2 1 
Solving time:0.010,0
Filtering time:0.050,0