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:43 Size:8 x 8 Fine solution Length:832 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) 42 # 45 ---> 44 (1) 32 # 53 ---> 45 (1) 24 # 52 ---> 53 (2) 42 # 44 ---> 52 (2) 32 # 45 ---> 44 (2) 39 # 54 ---> 46 (0) 24 # 53 ---> 54 (3) 24 # 54 ---> 55 (4) 23 # 62 ---> 54 (4) 24 # 55 ---> 63 (5) 22 # 39 ---> 38 (0) 19 # 47 ---> 39 (0) 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) 39 # 46 ---> 47 (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) 39 # 47 ---> 46 (9) 10 # 39 ---> 47 (10) 23 # 38 ---> 39 (10) 39 # 46 ---> 38 (10) 26 # 9 ---> 0 (0) 13 # 1 ---> 8 (0) 26 # 0 ---> 1 (1) 7 # 10 ---> 2 (0) 7 # 2 ---> 0 (1) 36 # 11 ---> 3 (0) 36 # 3 ---> 2 (1) 43 # 13 ---> 5 (0) 43 # 5 ---> 4 (1) 1 # 6 ---> 5 (1) 21 # 14 ---> 6 (1) 4 # 22 ---> 14 (2) 12 # 23 ---> 22 (2) 39 # 38 ---> 37 (11) 23 # 39 ---> 38 (11) 19 # 30 ---> 31 (5) 23 # 38 ---> 30 (12) 40 # 17 ---> 9 (0) 37 # 25 ---> 17 (5) 33 # 26 ---> 25 (5) 14 # 18 ---> 26 (5) 37 # 17 ---> 18 (6) 40 # 9 ---> 17 (6) 38 # 19 ---> 11 (0) 37 # 18 ---> 19 (7) 38 # 11 ---> 10 (1) 31 # 20 ---> 12 (0) 37 # 19 ---> 20 (8) 37 # 20 ---> 21 (9) 31 # 12 ---> 11 (1) 4 # 14 ---> 13 (3) 12 # 22 ---> 14 (3) 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) 17 # 50 ---> 51 (2) 20 # 49 ---> 50 (3) 2 # 48 ---> 49 (3) 11 # 56 ---> 48 (3) 8 # 57 ---> 56 (3) 2 # 49 ---> 57 (4) 16 # 41 ---> 49 (4) 15 # 40 ---> 41 (4) 11 # 48 ---> 40 (4) 16 # 49 ---> 48 (5) 15 # 41 ---> 49 (5) 30 # 33 ---> 41 (5) 5 # 32 ---> 33 (5) 11 # 40 ---> 32 (5) 30 # 41 ---> 40 (6) 5 # 33 ---> 41 (6) 33 # 25 ---> 33 (6) 34 # 24 ---> 25 (6) 11 # 32 ---> 24 (6) 33 # 33 ---> 32 (7) 34 # 25 ---> 33 (7) 40 # 17 ---> 25 (7) 6 # 16 ---> 17 (7) 11 # 24 ---> 16 (7) 40 # 25 ---> 24 (8) 6 # 17 ---> 25 (8) 13 # 8 ---> 9 (6) 11 # 16 ---> 8 (8) 13 # 9 ---> 17 (8) 11 # 8 ---> 9 (9) 26 # 1 ---> 8 (9) 7 # 0 ---> 1 (9) 36 # 2 ---> 0 (9) 38 # 10 ---> 2 (9) 11 # 9 ---> 10 (10) 36 # 0 ---> 9 (10) 38 # 2 ---> 0 (10) 31 # 11 ---> 3 (2) 11 # 10 ---> 11 (11) 11 # 11 ---> 12 (12) 31 # 3 ---> 2 (10) 43 # 4 ---> 3 (10) 1 # 5 ---> 4 (10) 4 # 13 ---> 5 (10) 11 # 12 ---> 13 (13) 1 # 4 ---> 12 (13) 4 # 5 ---> 4 (13) 21 # 6 ---> 5 (13) 12 # 14 ---> 6 (13) 11 # 13 ---> 14 (14) 11 # 14 ---> 15 (15) 19 # 22 ---> 14 (15) 23 # 23 ---> 22 (15) 11 # 15 ---> 23 (16) 19 # 14 ---> 15 (16) 23 # 22 ---> 14 (16) 43 # 3 ---> 11 (12) 31 # 2 ---> 3 (12) 43 # 11 ---> 10 (13) 1 # 12 ---> 11 (14) 4 # 4 ---> 12 (14) 31 # 3 ---> 4 (14) 1 # 11 ---> 3 (15) 4 # 12 ---> 11 (15) 21 # 5 ---> 13 (14) 31 # 4 ---> 5 (15) 21 # 13 ---> 12 (15) 23 # 14 ---> 13 (17) 12 # 6 ---> 14 (17) 31 # 5 ---> 6 (17) 23 # 13 ---> 5 (18) 12 # 14 ---> 13 (18) 31 # 6 ---> 14 (18) 31 # 14 ---> 22 (19) 31 # 22 ---> 30 (20) 31 # 30 ---> 38 (21) 31 # 38 ---> 46 (22) 31 # 46 ---> 54 (23) 35 # 61 ---> 53 (3) 31 # 54 ---> 62 (24) 12 # 13 ---> 14 (19) 12 # 14 ---> 22 (20) 12 # 22 ---> 30 (21) 12 # 30 ---> 38 (22) 12 # 38 ---> 46 (23) 12 # 46 ---> 54 (24) 38 # 0 ---> 2 (12) 36 # 9 ---> 0 (12) 43 # 10 ---> 9 (14) 4 # 11 ---> 10 (16) 1 # 3 ---> 11 (16) 38 # 2 ---> 3 (16) 38 # 3 ---> 4 (17) 1 # 11 ---> 3 (17) 21 # 12 ---> 11 (17) 23 # 5 ---> 13 (19) 38 # 4 ---> 5 (19) 38 # 5 ---> 6 (20) 38 # 6 ---> 14 (21) 38 # 14 ---> 22 (22) 38 # 22 ---> 30 (23) 38 # 30 ---> 38 (24) 38 # 38 ---> 46 (25) 4 # 10 ---> 2 (17) 43 # 9 ---> 10 (17) 36 # 0 ---> 9 (17) 4 # 2 ---> 0 (18) 1 # 3 ---> 2 (18) 21 # 11 ---> 3 (18) 43 # 10 ---> 11 (18) 43 # 11 ---> 12 (19) 1 # 2 ---> 10 (19) 21 # 3 ---> 2 (19) 23 # 13 ---> 5 (20) 43 # 12 ---> 13 (20) 43 # 13 ---> 14 (22) 43 # 14 ---> 22 (23) 43 # 22 ---> 30 (24) 43 # 30 ---> 38 (25) 22 # 29 ---> 30 (25) 39 # 37 ---> 29 (25) 40 # 24 ---> 16 (9) 6 # 25 ---> 24 (9) 13 # 17 ---> 25 (9) 40 # 16 ---> 17 (10) 40 # 17 ---> 18 (11) 40 # 18 ---> 19 (12) 40 # 19 ---> 20 (13) 40 # 20 ---> 21 (14) 40 # 21 ---> 22 (24) 39 # 29 ---> 21 (26) 22 # 30 ---> 29 (26) 40 # 22 ---> 30 (26) 39 # 21 ---> 22 (27) 22 # 29 ---> 21 (27) 22 # 21 ---> 20 (28) 39 # 22 ---> 21 (28) 39 # 21 ---> 13 (29) 35 # 53 ---> 45 (4) 35 # 45 ---> 37 (25) 26 # 8 ---> 16 (10) 22 # 20 ---> 12 (29) 35 # 37 ---> 36 (26) 35 # 36 ---> 35 (27) 32 # 44 ---> 36 (27) 42 # 52 ---> 44 (27) 42 # 44 ---> 45 (28) 34 # 33 ---> 34 (8) 33 # 32 ---> 33 (8) 30 # 40 ---> 32 (8) 5 # 41 ---> 40 (8) 33 # 33 ---> 41 (9) 13 # 25 ---> 33 (10) 6 # 24 ---> 25 (10) 30 # 32 ---> 24 (10) 13 # 33 ---> 32 (11) 6 # 25 ---> 33 (11) 30 # 24 ---> 25 (11) 14 # 26 ---> 18 (12) 30 # 25 ---> 26 (12) 14 # 18 ---> 17 (13) 18 # 27 ---> 19 (13) 30 # 26 ---> 27 (13) 18 # 19 ---> 18 (14) 28 # 28 ---> 20 (29) 30 # 27 ---> 28 (29) 30 # 28 ---> 29 (30) 32 # 36 ---> 28 (30) 30 # 29 ---> 37 (31) 32 # 28 ---> 29 (31) 3 # 43 ---> 44 (28) 17 # 51 ---> 43 (28) 20 # 50 ---> 51 (28) 25 # 42 ---> 50 (28) 34 # 34 ---> 42 (28) 35 # 35 ---> 34 (28) 17 # 43 ---> 35 (29) 17 # 35 ---> 27 (30) 17 # 27 ---> 19 (31) 28 # 20 ---> 28 (31) 17 # 19 ---> 20 (32) 17 # 20 ---> 21 (33) 28 # 28 ---> 20 (33) 32 # 29 ---> 28 (33) 17 # 21 ---> 29 (34) 28 # 20 ---> 21 (34) 32 # 28 ---> 20 (34) 39 # 13 ---> 14 (30) 20 # 51 ---> 43 (29) 27 # 59 ---> 51 (29) 29 # 58 ---> 59 (29) 25 # 50 ---> 58 (29) 34 # 42 ---> 50 (29) 20 # 43 ---> 42 (30) 27 # 51 ---> 43 (30) 27 # 43 ---> 35 (31) 27 # 35 ---> 27 (32) 27 # 27 ---> 19 (33) 27 # 19 ---> 11 (34) 32 # 20 ---> 19 (35) 22 # 12 ---> 20 (35) 27 # 11 ---> 12 (35) 27 # 12 ---> 13 (36) 22 # 20 ---> 12 (36) 28 # 21 ---> 20 (36) 27 # 13 ---> 21 (37) 22 # 12 ---> 13 (37) 28 # 20 ---> 12 (37) 23 # 5 ---> 4 (21) 22 # 13 ---> 5 (38) 28 # 12 ---> 13 (38) 23 # 4 ---> 12 (38) 23 # 12 ---> 20 (39) 23 # 20 ---> 28 (40) 23 # 28 ---> 36 (41) 32 # 19 ---> 11 (36) 3 # 44 ---> 43 (31) 23 # 36 ---> 44 (42) 23 # 44 ---> 52 (43) 29 # 59 ---> 51 (30) 9 # 60 ---> 59 (30) 23 # 52 ---> 60 (44) 6 # 33 ---> 25 (12) 13 # 32 ---> 33 (12) 6 # 25 ---> 24 (13) 35 # 34 ---> 26 (29) 13 # 33 ---> 34 (29) 13 # 34 ---> 35 (32) 13 # 35 ---> 36 (42) 13 # 36 ---> 44 (43) 13 # 44 ---> 52 (44) 3 # 43 ---> 44 (44) 29 # 51 ---> 43 (44) 29 # 43 ---> 35 (45) 3 # 44 ---> 43 (45) 29 # 35 ---> 36 (46) 3 # 43 ---> 35 (46) 22 # 5 ---> 6 (39) 28 # 13 ---> 5 (39) 39 # 14 ---> 13 (39) 39 # 13 ---> 12 (40) 39 # 12 ---> 20 (41) 39 # 20 ---> 28 (42) 3 # 35 ---> 27 (47) 29 # 36 ---> 35 (47) 39 # 28 ---> 36 (47) 3 # 27 ---> 28 (48) 29 # 35 ---> 27 (48) 7 # 1 ---> 8 (10) 4 # 0 ---> 1 (19) 21 # 2 ---> 0 (20) 1 # 10 ---> 2 (20) 36 # 9 ---> 10 (20) 21 # 0 ---> 9 (21) 1 # 2 ---> 0 (21) 32 # 11 ---> 3 (37) 36 # 10 ---> 11 (37) 36 # 11 ---> 12 (41) 36 # 12 ---> 20 (42) 29 # 27 ---> 19 (49) 3 # 28 ---> 27 (49) 36 # 20 ---> 28 (49) 29 # 19 ---> 20 (50) 3 # 27 ---> 19 (50) 33 # 41 ---> 33 (29) 15 # 49 ---> 41 (29) 16 # 48 ---> 49 (29) 33 # 33 ---> 32 (30) 15 # 41 ---> 33 (30) 15 # 33 ---> 25 (31) 33 # 32 ---> 33 (31) 6 # 24 ---> 32 (31) 26 # 16 ---> 24 (31) 14 # 17 ---> 16 (31) 15 # 25 ---> 17 (32) 26 # 24 ---> 25 (32) 14 # 16 ---> 24 (32) 7 # 8 ---> 16 (32) 21 # 9 ---> 8 (32) 15 # 17 ---> 9 (33) 15 # 9 ---> 10 (37) 15 # 10 ---> 11 (41) 15 # 11 ---> 12 (42) 3 # 19 ---> 11 (51) 29 # 20 ---> 19 (51) 15 # 12 ---> 20 (51) 3 # 11 ---> 12 (52) 29 # 19 ---> 11 (52) 22 # 6 ---> 14 (40) 41 # 7 ---> 6 (40) 19 # 15 ---> 7 (40) 22 # 14 ---> 15 (41) 28 # 5 ---> 13 (40) 41 # 6 ---> 5 (41) 41 # 5 ---> 4 (42) 28 # 13 ---> 5 (42) 3 # 12 ---> 13 (53) 29 # 11 ---> 12 (53) 32 # 3 ---> 11 (53) 41 # 4 ---> 3 (53) 29 # 12 ---> 4 (54) 32 # 11 ---> 12 (54) 41 # 3 ---> 11 (54) 41 # 11 ---> 19 (55) 41 # 19 ---> 27 (56) 41 # 27 ---> 35 (57) 41 # 35 ---> 43 (58) 41 # 43 ---> 51 (59) 20 # 42 ---> 34 (32) 34 # 50 ---> 42 (32) 25 # 58 ---> 50 (32) 9 # 59 ---> 58 (32) 41 # 51 ---> 59 (60) 3 # 13 ---> 14 (54) 28 # 5 ---> 13 (54) 3 # 14 ---> 6 (55) 28 # 13 ---> 14 (55) 32 # 12 ---> 13 (55) 29 # 4 ---> 12 (55) 34 # 42 ---> 43 (59) 25 # 50 ---> 42 (59) 20 # 34 ---> 35 (58) 25 # 42 ---> 34 (60) 34 # 43 ---> 42 (60) 20 # 35 ---> 43 (60) 25 # 34 ---> 35 (61) 34 # 42 ---> 34 (61) 33 # 33 ---> 41 (32) 26 # 25 ---> 33 (33) 35 # 26 ---> 25 (33) 34 # 34 ---> 26 (62) 34 # 26 ---> 27 (63) 25 # 35 ---> 34 (62) 34 # 27 ---> 35 (64) 3 # 6 ---> 5 (56) 19 # 7 ---> 6 (56) 22 # 15 ---> 7 (56) 28 # 14 ---> 15 (56) 32 # 13 ---> 14 (56) 3 # 5 ---> 13 (57) 19 # 6 ---> 5 (57) 19 # 5 ---> 4 (58) 19 # 4 ---> 3 (59) 19 # 3 ---> 11 (60) 19 # 11 ---> 19 (61) 19 # 19 ---> 27 (64) 8 # 56 ---> 48 (29) 2 # 57 ---> 56 (29) 16 # 49 ---> 57 (30) 33 # 41 ---> 49 (33) 5 # 40 ---> 41 (33) 8 # 48 ---> 40 (33) 33 # 49 ---> 48 (34) 5 # 41 ---> 49 (34) 26 # 33 ---> 41 (34) 6 # 32 ---> 33 (34) 8 # 40 ---> 32 (34) 26 # 41 ---> 40 (35) 6 # 33 ---> 41 (35) 35 # 25 ---> 33 (35) 14 # 24 ---> 25 (35) 8 # 32 ---> 24 (35) 35 # 33 ---> 32 (36) 14 # 25 ---> 33 (36) 7 # 16 ---> 17 (33) 8 # 24 ---> 16 (36) 7 # 17 ---> 25 (36) 21 # 8 ---> 9 (37) 8 # 16 ---> 8 (37) 21 # 9 ---> 17 (38) 8 # 8 ---> 9 (38) 8 # 9 ---> 10 (41) 8 # 10 ---> 11 (61) 8 # 11 ---> 19 (64) 18 # 18 ---> 10 (61) 22 # 7 ---> 6 (57) 22 # 6 ---> 5 (58) 22 # 5 ---> 4 (59) 22 # 4 ---> 3 (60) 22 # 3 ---> 2 (61) 18 # 10 ---> 11 (64) 22 # 2 ---> 10 (64) 22 # 10 ---> 18 (65) 22 # 18 ---> 26 (66) 1 # 0 ---> 2 (64) 21 # 17 ---> 9 (41) 7 # 25 ---> 17 (41) 14 # 33 ---> 25 (41) 25 # 34 ---> 33 (63) 22 # 26 ---> 34 (67) 22 # 34 ---> 42 (68) 22 # 42 ---> 50 (69) 6 # 41 ---> 42 (69) 5 # 49 ---> 41 (69) 16 # 57 ---> 49 (69) 9 # 58 ---> 57 (69) 22 # 50 ---> 58 (70) 6 # 42 ---> 34 (70) 32 # 14 ---> 6 (58) 28 # 15 ---> 14 (58) 32 # 6 ---> 7 (59) 3 # 13 ---> 5 (59) 28 # 14 ---> 13 (59) 3 # 5 ---> 6 (60) 29 # 12 ---> 4 (60) 28 # 13 ---> 12 (60) 29 # 4 ---> 5 (61) 18 # 11 ---> 3 (65) 28 # 12 ---> 11 (65) 28 # 11 ---> 10 (66) 28 # 10 ---> 18 (67) 28 # 18 ---> 26 (68) 21 # 9 ---> 10 (67) 7 # 17 ---> 9 (67) 14 # 25 ---> 17 (67) 25 # 33 ---> 25 (67) 6 # 34 ---> 33 (71) 28 # 26 ---> 34 (71) 28 # 34 ---> 42 (72) 28 # 42 ---> 50 (73) 32 # 7 ---> 15 (60) 3 # 6 ---> 7 (61) 29 # 5 ---> 6 (62) 18 # 3 ---> 4 (66) 1 # 2 ---> 3 (66) 4 # 1 ---> 0 (64) 7 # 9 ---> 8 (68) 4 # 0 ---> 2 (66) 21 # 10 ---> 9 (68) 4 # 2 ---> 10 (68) 4 # 10 ---> 18 (69) 4 # 18 ---> 26 (71) 4 # 26 ---> 34 (72) 25 # 25 ---> 26 (72) 6 # 33 ---> 25 (72) 21 # 9 ---> 10 (69) 21 # 10 ---> 18 (71) 6 # 25 ---> 24 (73) 25 # 26 ---> 25 (73) 21 # 18 ---> 26 (73) 14 # 17 ---> 18 (73) 25 # 25 ---> 17 (74) 25 # 17 ---> 9 (75) 14 # 18 ---> 17 (75) 25 # 9 ---> 10 (76) 14 # 17 ---> 9 (76) 6 # 24 ---> 16 (74) 35 # 32 ---> 24 (74) 26 # 40 ---> 32 (74) 33 # 48 ---> 40 (74) 35 # 24 ---> 25 (75) 26 # 32 ---> 24 (75) 5 # 41 ---> 33 (72) 16 # 49 ---> 41 (72) 2 # 56 ---> 48 (74) 9 # 57 ---> 56 (74) 14 # 9 ---> 0 (77) 7 # 8 ---> 9 (77) 14 # 0 ---> 1 (78) 7 # 9 ---> 0 (78) 6 # 16 ---> 17 (76) 6 # 17 ---> 9 (78) 35 # 25 ---> 17 (78) 26 # 24 ---> 25 (78) 35 # 17 ---> 16 (79) 26 # 25 ---> 17 (79) 5 # 33 ---> 25 (79) 16 # 41 ---> 33 (79) 33 # 40 ---> 41 (79) 16 # 33 ---> 32 (80) 33 # 41 ---> 33 (80) 2 # 48 ---> 49 (75) 2 # 49 ---> 41 (80) 9 # 56 ---> 48 (75) 14 # 1 ---> 8 (79) 7 # 0 ---> 1 (79) 6 # 9 ---> 0 (79) 26 # 17 ---> 9 (80) 35 # 16 ---> 17 (80) 14 # 8 ---> 16 (80) 14 # 16 ---> 24 (81) 26 # 9 ---> 8 (81) 35 # 17 ---> 9 (81) 5 # 25 ---> 17 (81) 33 # 33 ---> 25 (81) 16 # 32 ---> 33 (81) 14 # 24 ---> 32 (82) 14 # 32 ---> 40 (83) 16 # 33 ---> 32 (83) 2 # 41 ---> 33 (83) 14 # 40 ---> 41 (84) 9 # 48 ---> 40 (84) 14 # 41 ---> 49 (85) 9 # 40 ---> 41 (85) 16 # 32 ---> 40 (85) 2 # 33 ---> 32 (85) 9 # 41 ---> 33 (86) 16 # 40 ---> 41 (86) 2 # 32 ---> 40 (86) 9 # 33 ---> 32 (87) 16 # 41 ---> 33 (87) 2 # 40 ---> 41 (87) 14 # 49 ---> 48 (86) 2 # 41 ---> 49 (88) 33 # 25 ---> 24 (82) 16 # 33 ---> 25 (88) 18 # 4 ---> 12 (67) 1 # 3 ---> 4 (67) 25 # 10 ---> 2 (77) 25 # 2 ---> 3 (78) 6 # 0 ---> 2 (80) 35 # 9 ---> 0 (82) 6 # 2 ---> 10 (81) 35 # 0 ---> 2 (83) 7 # 1 ---> 0 (83) 5 # 17 ---> 9 (82) 16 # 25 ---> 17 (89) 33 # 24 ---> 25 (89) 16 # 17 ---> 16 (90) 33 # 25 ---> 17 (90) 9 # 32 ---> 33 (88) 9 # 33 ---> 25 (90) 18 # 12 ---> 13 (68) 1 # 4 ---> 12 (68) 18 # 13 ---> 5 (69) 1 # 12 ---> 13 (69) 25 # 3 ---> 11 (79) 25 # 11 ---> 12 (80) 6 # 10 ---> 11 (82) 35 # 2 ---> 10 (84) 6 # 11 ---> 3 (83) 35 # 10 ---> 11 (85) 5 # 9 ---> 10 (85) 7 # 0 ---> 9 (85) 5 # 10 ---> 2 (86) 7 # 9 ---> 10 (86) 26 # 8 ---> 9 (86) 26 # 9 ---> 0 (87) 33 # 17 ---> 9 (91) 9 # 25 ---> 17 (91) 32 # 15 ---> 14 (61) 3 # 7 ---> 15 (62) 29 # 6 ---> 7 (63) 18 # 5 ---> 6 (70) 1 # 13 ---> 5 (70) 32 # 14 ---> 13 (70) 18 # 6 ---> 14 (71) 1 # 5 ---> 6 (71) 25 # 12 ---> 4 (81) 32 # 13 ---> 12 (81) 25 # 4 ---> 5 (82) 6 # 3 ---> 4 (84) 35 # 11 ---> 3 (86) 32 # 12 ---> 11 (86) 6 # 4 ---> 12 (86) 35 # 3 ---> 4 (87) 5 # 2 ---> 3 (87) 7 # 10 ---> 2 (87) 32 # 11 ---> 10 (87) 5 # 3 ---> 11 (88) 7 # 2 ---> 3 (88) 26 # 0 ---> 2 (88) 33 # 9 ---> 0 (92) 32 # 10 ---> 9 (92) 32 # 9 ---> 8 (93) 9 # 17 ---> 9 (93) 16 # 16 ---> 17 (93) 32 # 8 ---> 16 (94) 32 # 16 ---> 24 (95) 32 # 24 ---> 25 (96) 32 # 25 ---> 33 (97) 9 # 9 ---> 8 (94) 9 # 8 ---> 16 (95) 16 # 17 ---> 9 (94) 9 # 16 ---> 17 (96) 9 # 17 ---> 25 (97) 18 # 14 ---> 13 (81) 1 # 6 ---> 14 (81) 29 # 7 ---> 6 (81) 3 # 15 ---> 7 (81) 1 # 14 ---> 15 (82) 18 # 13 ---> 14 (82) 25 # 5 ---> 13 (83) 29 # 6 ---> 5 (83) 18 # 14 ---> 6 (83) 25 # 13 ---> 14 (84) 6 # 12 ---> 13 (87) 35 # 4 ---> 12 (88) 29 # 5 ---> 4 (88) 6 # 13 ---> 5 (88) 35 # 12 ---> 13 (89) 5 # 11 ---> 12 (89) 7 # 3 ---> 11 (89) 29 # 4 ---> 3 (89) 5 # 12 ---> 4 (90) 7 # 11 ---> 12 (90) 26 # 2 ---> 10 (92) 29 # 3 ---> 2 (92) 26 # 10 ---> 11 (93) 16 # 9 ---> 10 (95) 33 # 0 ---> 9 (95) 29 # 2 ---> 0 (95) 29 # 0 ---> 1 (96) 29 # 1 ---> 8 (97) 29 # 8 ---> 16 (98) 29 # 16 ---> 17 (99) 9 # 25 ---> 24 (98) 29 # 17 ---> 25 (100) 33 # 9 ---> 0 (96) 5 # 4 ---> 3 (92) 6 # 5 ---> 4 (92) 18 # 6 ---> 5 (92) 5 # 3 ---> 2 (95) 26 # 11 ---> 3 (95) 7 # 12 ---> 11 (95) 35 # 13 ---> 12 (95) 18 # 5 ---> 13 (95) 6 # 4 ---> 5 (95) 6 # 5 ---> 6 (96) 18 # 13 ---> 5 (96) 25 # 14 ---> 13 (96) 6 # 6 ---> 14 (97) 3 # 7 ---> 6 (97) 1 # 15 ---> 7 (97) 6 # 14 ---> 15 (98) 26 # 3 ---> 4 (96) 7 # 11 ---> 3 (96) 35 # 12 ---> 11 (96) 26 # 4 ---> 12 (97) 7 # 3 ---> 4 (97) 35 # 11 ---> 3 (97) 26 # 12 ---> 11 (98) 25 # 13 ---> 12 (98) 18 # 5 ---> 13 (98) 7 # 4 ---> 5 (98) 25 # 12 ---> 4 (99) 18 # 13 ---> 12 (99) 3 # 6 ---> 14 (98) 7 # 5 ---> 6 (99) 3 # 14 ---> 13 (99) 7 # 6 ---> 14 (100) 1 # 7 ---> 6 (100) 6 # 15 ---> 7 (100) 7 # 14 ---> 15 (101) 25 # 4 ---> 5 (100) 35 # 3 ---> 4 (100) 26 # 11 ---> 3 (100) 18 # 12 ---> 11 (100) 3 # 13 ---> 12 (100) 25 # 5 ---> 13 (101) 35 # 4 ---> 5 (101) 3 # 12 ---> 4 (101) 25 # 13 ---> 12 (102) 35 # 5 ---> 13 (102) 1 # 6 ---> 5 (102) 35 # 13 ---> 14 (103) 16 # 10 ---> 9 (96) 5 # 2 ---> 10 (96) 33 # 0 ---> 2 (97) 16 # 9 ---> 0 (97) 5 # 10 ---> 9 (97) 18 # 11 ---> 10 (101) 26 # 3 ---> 11 (101) 33 # 2 ---> 3 (101) 18 # 10 ---> 2 (102) 26 # 11 ---> 10 (102) 25 # 12 ---> 11 (103) 3 # 4 ---> 12 (103) 33 # 3 ---> 4 (103) 25 # 11 ---> 3 (104) 3 # 12 ---> 11 (104) 1 # 5 ---> 13 (103) 33 # 4 ---> 5 (104) 1 # 13 ---> 12 (104) 33 # 5 ---> 13 (105) 35 # 14 ---> 6 (104) 33 # 13 ---> 14 (106) 5 # 9 ---> 8 (98) 26 # 10 ---> 9 (103) 18 # 2 ---> 10 (103) 16 # 0 ---> 2 (103) 26 # 9 ---> 0 (104) 18 # 10 ---> 9 (104) 3 # 11 ---> 10 (105) 25 # 3 ---> 11 (105) 16 # 2 ---> 3 (105) 16 # 3 ---> 4 (106) 25 # 11 ---> 3 (106) 1 # 12 ---> 11 (106) 16 # 4 ---> 12 (107) 16 # 12 ---> 13 (108) 26 # 0 ---> 1 (105) 18 # 9 ---> 0 (105) 18 # 0 ---> 2 (106) 3 # 10 ---> 9 (106) 1 # 11 ---> 10 (107) 25 # 3 ---> 11 (107) 18 # 2 ---> 3 (107) 18 # 3 ---> 4 (108) 18 # 4 ---> 12 (109) 16 # 13 ---> 5 (109) 18 # 12 ---> 13 (110) 26 # 1 ---> 0 (106) 26 # 0 ---> 2 (107) 26 # 2 ---> 3 (108) 1 # 10 ---> 2 (108) 25 # 11 ---> 10 (108) 26 # 3 ---> 11 (109) 26 # 11 ---> 12 (110) 5 # 8 ---> 1 (106) 5 # 1 ---> 0 (107) 3 # 9 ---> 8 (107) 25 # 10 ---> 9 (109) 1 # 2 ---> 10 (109) 5 # 0 ---> 2 (109) 5 # 2 ---> 3 (110) 5 # 3 ---> 11 (111) 26 # 12 ---> 4 (111) 5 # 11 ---> 12 (112) 25 # 9 ---> 0 (110) 1 # 10 ---> 9 (110) 25 # 0 ---> 2 (111) 25 # 2 ---> 10 (112) 25 # 10 ---> 11 (113) 1 # 9 ---> 10 (113) 1 # 10 ---> 2 (114) Final statistics ------------------ Solution size:1146 Filtered solution size:832 Parallel solution length:115 Parallelism:7.235 Step parallelism:24 22 11 15 15 12 9 7 10 13 17 8 11 14 10 7 6 9 7 8 8 6 4 4 5 5 4 5 9 17 11 11 13 11 9 8 8 8 5 4 6 10 7 2 4 2 2 3 2 3 2 3 2 4 5 5 6 4 6 8 10 9 4 3 7 3 5 8 7 9 5 6 6 5 7 6 3 3 6 9 8 13 8 9 5 7 10 9 9 6 5 2 7 4 3 11 12 12 9 5 9 7 5 8 7 6 8 7 5 6 5 3 2 2 1 Solving time:0.000,0 Filtering time:0.030,0