V = (0:0)[-119:-162:-162] 1 6 11 32 34 47 52 176 (1:0)[-204:-152:-152] 2 0 7 169 (2:0)[-35:-22:-22] 3 1 8 13 76 92 (3:0)[-67:-165:-165] 4 2 10 81 (4:0)[-4:-21:-21] 5 3 9 (5:0)[-141:-229:-229] 6 4 16 83 144 (6:0)[-6:-101:-101] 5 0 15 17 121 (7:1)[-167:-136:-136] 1 8 54 56 140 (8:1)[-185:-70:-70] 2 7 31 (9:2)[-188:-231:-231] 4 10 14 19 132 (10:2)[-227:-5:-5] 3 9 24 29 (11:3)[-70:257:257] 0 12 71 (12:3)[-82:-89:-89] 13 11 21 50 204 (13:3)[-110:-185:-185] 2 12 18 25 (14:4)[-201:-58:-58] 9 15 37 136 (15:4)[-240:-94:-94] 6 14 49 86 99 (16:5)[-123:-15:-15] 5 17 88 97 (17:5)[-122:-75:-75] 6 16 26 41 (18:6)[-234:-43:-43] 13 19 20 66 127 146 (19:6)[-9:-50:-50] 9 18 22 174 (20:7)[-84:-219:-219] 18 21 23 118 209 251 (21:7)[-190:-82:-82] 12 20 28 33 64 77 255 (22:8)[-231:-83:-83] 19 23 57 175 (23:8)[-42:-191:-191] 20 22 38 193 (24:9)[-66:-37:-37] 10 25 43 48 79 (25:9)[-183:-67:-67] 13 24 42 87 94 188 220 (26:10)[-214:252:252] 17 27 (27:10)[-116:-243:-243] 28 26 149 (28:10)[-224:-174:-174] 21 27 62 232 (29:11)[-208:-186:-186] 10 30 84 119 (30:11)[-196:-153:-153] 31 29 91 109 190 202 208 (31:11)[-216:-72:-72] 8 30 100 (32:12)[-118:-7:-7] 0 33 65 (33:12)[-40:-93:-93] 21 32 36 39 224 (34:13)[-176:-96:-96] 0 35 151 (35:13)[-241:-115:-115] 36 34 (36:13)[-104:-26:-26] 33 35 (37:14)[-158:-225:-225] 14 38 44 (38:14)[-55:-210:-210] 23 37 69 115 (39:15)[-232:-102:-102] 33 40 53 (40:15)[-229:-116:-116] 41 39 46 61 (41:15)[-48:-175:-175] 17 40 55 105 (42:16)[-163:-119:-119] 25 43 96 128 130 (43:16)[246:-48:-48] 24 42 45 58 60 156 (44:17)[-154:-245:-245] 37 45 80 (45:17)[-29:-11:-11] 43 44 181 (46:18)[-129:-232:-232] 40 47 131 230 (47:18)[-145:-157:-157] 0 46 63 189 (48:19)[-211:-211:-211] 24 49 (49:19)[-39:-14:-14] 15 48 (50:20)[-137:-194:-194] 12 51 (51:20)[-83:-216:-216] 52 50 68 125 172 256 (52:20)[-199:251:251] 0 51 123 184 (53:21)[-151:-4:-4] 39 54 (54:21)[-103:-221:-221] 7 53 102 (55:22)[-98:-108:-108] 41 56 74 (56:22)[-161:-223:-223] 7 55 59 (57:23)[-107:-66:-66] 22 58 171 (58:23)[-102:-138:-138] 43 57 120 183 (59:24)[253:-144:-144] 56 60 198 218 (60:24)[-235:247:247] 43 59 98 (61:25)[-30:-217:-217] 40 62 (62:25)[-2:-60:-60] 28 61 110 112 (63:26)[-24:-17:-17] 47 64 95 122 (64:26)[-147:-209:-209] 21 63 67 (65:27)[-52:-180:-180] 32 66 (66:27)[-101:-69:-69] 18 65 (67:28)[-219:-212:-212] 64 68 72 (68:28)[-11:-190:-190] 51 67 (69:29)[-112:-90:-90] 38 70 (70:29)[-111:-40:-40] 71 69 (71:29)[-105:-68:-68] 11 70 108 (72:30)[-59:-109:-109] 67 73 134 (73:30)[-49:-143:-143] 74 72 150 243 (74:30)[-17:254:254] 55 73 75 (75:31)[-87:-45:-45] 74 76 129 168 (76:31)[-14:-111:-111] 2 75 (77:32)[-36:-197:-197] 21 78 117 152 213 238 (78:32)[-152:-110:-110] 79 77 138 173 (79:32)[-200:-188:-188] 24 78 111 154 (80:33)[-148:-201:-201] 44 81 89 158 182 (81:33)[251:-159:-159] 3 80 82 (82:34)[-222:-176:-176] 81 83 114 (83:34)[-3:-3:-3] 5 82 (84:35)[-77:-117:-117] 29 85 135 160 (85:35)[-15:-41:-41] 86 84 (86:35)[-18:-61:-61] 15 85 178 (87:36)[-244:-86:-86] 25 88 93 186 (88:36)[256:-19:-19] 16 87 (89:37)[-131:-179:-179] 80 90 177 (90:37)[-20:-220:-220] 91 89 107 240 (91:37)[-74:-39:-39] 30 90 126 (92:38)[-239:-71:-71] 2 93 (93:38)[-172:-128:-128] 87 92 103 (94:39)[-159:-189:-189] 25 95 106 141 (95:39)[-173:-56:-56] 63 94 124 244 (96:40)[-51:-236:-236] 42 97 155 163 245 (97:40)[-180:256:256] 16 96 (98:41)[-184:-158:-158] 60 99 (99:41)[-169:-62:-62] 15 98 (100:42)[-99:-97:-97] 31 101 (101:42)[-164:-112:-112] 102 100 (102:42)[-217:-20:-20] 54 101 153 239 (103:43)[-191:-213:-213] 93 104 (104:43)[-69:-145:-145] 105 103 (105:43)[-56:-167:-167] 41 104 166 (106:44)[-117:-84:-84] 94 107 179 211 241 (107:44)[-133:-141:-141] 90 106 (108:45)[-226:-198:-198] 71 109 (109:45)[-195:-76:-76] 30 108 201 207 (110:46)[-170:246:246] 62 111 (111:46)[-100:-65:-65] 79 110 161 (112:47)[-65:-230:-230] 62 113 147 180 (113:47)[-34:-164:-164] 114 112 (114:47)[-210:-29:-29] 82 113 199 205 (115:48)[-75:-193:-193] 38 116 (116:48)[-68:-100:-100] 117 115 157 217 (117:48)[0:-156:-156] 77 116 226 (118:49)[-31:-85:-85] 20 119 (119:49)[-187:-160:-160] 29 118 139 (120:50)[-160:-206:-206] 58 121 248 252 (121:50)[254:-12:-12] 6 120 (122:51)[-132:-239:-239] 63 123 (123:51)[-93:-24:-24] 52 122 (124:52)[-138:-171:-171] 95 125 (125:52)[-153:-134:-134] 51 124 (126:53)[-186:-10:-10] 91 127 137 (127:53)[-57:-237:-237] 18 126 (128:54)[-38:-137:-137] 42 129 165 170 (129:54)[-44:-27:-27] 75 128 (130:55)[-213:-28:-28] 42 131 (131:55)[-139:-32:-32] 46 130 (132:56)[-92:-155:-155] 9 133 (133:56)[-144:-81:-81] 134 132 (134:56)[-143:-99:-99] 72 133 214 (135:57)[-97:-202:-202] 84 136 143 (136:57)[-230:-18:-18] 14 135 (137:58)[-79:-200:-200] 126 138 206 (138:58)[-221:-203:-203] 78 137 (139:59)[-177:-169:-169] 119 140 (140:59)[-22:-107:-107] 7 139 (141:60)[247:-104:-104] 94 142 (142:60)[-90:-92:-92] 143 141 (143:60)[-171:-52:-52] 135 142 (144:61)[-53:-79:-79] 5 145 162 (145:61)[-23:-214:-214] 146 144 (146:61)[-50:-38:-38] 18 145 159 (147:62)[-245:249:249] 112 148 (148:62)[-8:-98:-98] 149 147 227 (149:62)[-108:-6:-6] 27 148 253 (150:63)[-106:-57:-57] 73 151 (151:63)[-243:-124:-124] 34 150 229 (152:64)[-175:258:258] 77 153 (153:64)[-91:-195:-195] 102 152 187 (154:65)[-37:-91:-91] 79 155 (155:65)[-238:-123:-123] 96 154 (156:66)[-121:-44:-44] 43 157 (157:66)[-223:-140:-140] 116 156 191 (158:67)[-155:-42:-42] 80 159 194 (159:67)[255:-33:-33] 146 158 164 185 (160:68)[-127:-59:-59] 84 161 (161:68)[-26:-9:-9] 111 160 221 (162:69)[-206:-228:-228] 144 163 (163:69)[-43:-127:-127] 96 162 (164:70)[-94:-234:-234] 159 165 (165:70)[-194:-166:-166] 128 164 222 (166:71)[-242:-129:-129] 105 167 (167:71)[-33:255:255] 168 166 231 (168:71)[-61:-73:-73] 75 167 (169:72)[-157:-55:-55] 1 170 (170:72)[248:-154:-154] 128 169 236 (171:73)[-233:-118:-118] 57 172 197 (172:73)[-178:-130:-130] 51 171 242 (173:74)[-58:-120:-120] 78 174 (174:74)[-88:-168:-168] 19 173 200 (175:75)[-174:-170:-170] 22 176 (176:75)[-109:-47:-47] 0 175 (177:76)[-78:-173:-173] 89 178 (178:76)[-135:-178:-178] 86 177 (179:77)[-162:-16:-16] 106 180 212 (180:77)[-156:-148:-148] 112 179 192 219 (181:78)[-125:-207:-207] 45 182 (182:78)[249:-36:-36] 80 181 233 (183:79)[-47:-113:-113] 58 184 215 (184:79)[-62:-1:-1] 52 183 (185:80)[-120:-184:-184] 159 186 (186:80)[-45:-126:-126] 87 185 (187:81)[-142:-106:-106] 153 188 (188:81)[-202:-105:-105] 25 187 237 (189:82)[252:-74:-74] 47 190 195 (190:82)[-27:-54:-54] 30 189 (191:83)[-179:-63:-63] 157 192 (192:83)[-149:-8:-8] 180 191 210 (193:84)[-209:-196:-196] 23 194 (194:84)[-114:-244:-244] 158 193 (195:85)[-128:-139:-139] 189 196 (196:85)[-25:-181:-181] 197 195 (197:85)[258:-199:-199] 171 196 (198:86)[-13:-135:-135] 59 199 234 (199:86)[-193:-30:-30] 114 198 235 (200:87)[-85:-2:-2] 174 201 (201:87)[-19:0:0] 109 200 (202:88)[-181:-235:-235] 30 203 (203:88)[-203:-182:-182] 204 202 (204:88)[-72:-23:-23] 12 203 (205:89)[-12:250:250] 114 206 249 (206:89)[-220:-25:-25] 137 205 (207:90)[-182:-64:-64] 109 208 (208:90)[257:-151:-151] 30 207 (209:91)[-64:-172:-172] 20 210 (210:91)[-95:-88:-88] 192 209 254 (211:92)[-126:-240:-240] 106 212 (212:92)[-89:-133:-133] 179 211 (213:93)[-115:-226:-226] 77 214 (214:93)[-236:253:253] 134 213 (215:94)[-86:248:248] 183 216 (216:94)[-63:-103:-103] 217 215 (217:94)[-150:-147:-147] 116 216 (218:95)[-54:-34:-34] 59 219 (219:95)[-215:-132:-132] 180 218 (220:96)[-197:-46:-46] 25 221 (221:96)[-166:-233:-233] 161 220 (222:97)[-192:-224:-224] 165 223 (223:97)[-198:-142:-142] 224 222 225 (224:97)[-21:-183:-183] 33 223 (225:98)[-5:-150:-150] 223 226 (226:98)[-165:-31:-31] 117 225 (227:99)[-237:-238:-238] 148 228 (228:99)[-7:-146:-146] 229 227 (229:99)[-1:-49:-49] 151 228 (230:100)[-16:-35:-35] 46 231 (231:100)[-28:-187:-187] 167 230 258 (232:101)[-46:-205:-205] 28 233 246 (233:101)[-60:-192:-192] 182 232 (234:102)[-124:-53:-53] 198 235 (235:102)[-73:-215:-215] 199 234 (236:103)[-81:-218:-218] 170 237 (237:103)[-205:-95:-95] 188 236 (238:104)[-71:-78:-78] 77 239 (239:104)[-168:-77:-77] 102 238 (240:105)[-136:-121:-121] 90 241 (241:105)[-96:-177:-177] 106 240 (242:106)[-212:-125:-125] 172 243 (243:106)[-225:-208:-208] 73 242 (244:107)[-207:-149:-149] 95 245 (245:107)[-134:-87:-87] 96 244 (246:108)[-113:-242:-242] 232 247 (247:108)[250:-204:-204] 248 246 (248:108)[-189:-222:-222] 120 247 (249:109)[-32:-51:-51] 205 250 (250:109)[-140:-122:-122] 251 249 (251:109)[-146:-227:-227] 20 250 (252:110)[-130:-241:-241] 120 253 (253:110)[-76:-13:-13] 149 252 (254:111)[-10:-80:-80] 210 255 (255:111)[-41:-161:-161] 21 254 (256:112)[-80:-114:-114] 51 257 (257:112)[-228:-163:-163] 258 256 (258:112)[-218:-131:-131] 231 257 E = {0,1} (0) {0,6} (0) {0,11} (3) {0,32} (12) {0,34} (13) {0,47} (18) {0,52} (20) {0,176} (75) {1,2} (0) {1,7} (1) {1,169} (72) {2,3} (0) {2,8} (1) {2,13} (3) {2,76} (31) {2,92} (38) {3,4} (0) {3,10} (2) {3,81} (33) {4,5} (0) {4,9} (2) {5,6} (0) {5,16} (5) {5,83} (34) {5,144} (61) {6,15} (4) {6,17} (5) {6,121} (50) {7,8} (1) {7,54} (21) {7,56} (22) {7,140} (59) {8,31} (11) {9,10} (2) {9,14} (4) {9,19} (6) {9,132} (56) {10,24} (9) {10,29} (11) {11,12} (3) {11,71} (29) {12,13} (3) {12,21} (7) {12,50} (20) {12,204} (88) {13,18} (6) {13,25} (9) {14,15} (4) {14,37} (14) {14,136} (57) {15,49} (19) {15,86} (35) {15,99} (41) {16,17} (5) {16,88} (36) {16,97} (40) {17,26} (10) {17,41} (15) {18,19} (6) {18,20} (7) {18,66} (27) {18,127} (53) {18,146} (61) {19,22} (8) {19,174} (74) {20,21} (7) {20,23} (8) {20,118} (49) {20,209} (91) {20,251} (109) {21,28} (10) {21,33} (12) {21,64} (26) {21,77} (32) {21,255} (111) {22,23} (8) {22,57} (23) {22,175} (75) {23,38} (14) {23,193} (84) {24,25} (9) {24,43} (16) {24,48} (19) {24,79} (32) {25,42} (16) {25,87} (36) {25,94} (39) {25,188} (81) {25,220} (96) {26,27} (10) {27,28} (10) {27,149} (62) {28,62} (25) {28,232} (101) {29,30} (11) {29,84} (35) {29,119} (49) {30,31} (11) {30,91} (37) {30,109} (45) {30,190} (82) {30,202} (88) {30,208} (90) {31,100} (42) {32,33} (12) {32,65} (27) {33,36} (13) {33,39} (15) {33,224} (97) {34,35} (13) {34,151} (63) {35,36} (13) {37,38} (14) {37,44} (17) {38,69} (29) {38,115} (48) {39,40} (15) {39,53} (21) {40,41} (15) {40,46} (18) {40,61} (25) {41,55} (22) {41,105} (43) {42,43} (16) {42,96} (40) {42,128} (54) {42,130} (55) {43,45} (17) {43,58} (23) {43,60} (24) {43,156} (66) {44,45} (17) {44,80} (33) {45,181} (78) {46,47} (18) {46,131} (55) {46,230} (100) {47,63} (26) {47,189} (82) {48,49} (19) {50,51} (20) {51,52} (20) {51,68} (28) {51,125} (52) {51,172} (73) {51,256} (112) {52,123} (51) {52,184} (79) {53,54} (21) {54,102} (42) {55,56} (22) {55,74} (30) {56,59} (24) {57,58} (23) {57,171} (73) {58,120} (50) {58,183} (79) {59,60} (24) {59,198} (86) {59,218} (95) {60,98} (41) {61,62} (25) {62,110} (46) {62,112} (47) {63,64} (26) {63,95} (39) {63,122} (51) {64,67} (28) {65,66} (27) {67,68} (28) {67,72} (30) {69,70} (29) {70,71} (29) {71,108} (45) {72,73} (30) {72,134} (56) {73,74} (30) {73,150} (63) {73,243} (106) {74,75} (31) {75,76} (31) {75,129} (54) {75,168} (71) {77,78} (32) {77,117} (48) {77,152} (64) {77,213} (93) {77,238} (104) {78,79} (32) {78,138} (58) {78,173} (74) {79,111} (46) {79,154} (65) {80,81} (33) {80,89} (37) {80,158} (67) {80,182} (78) {81,82} (34) {82,83} (34) {82,114} (47) {84,85} (35) {84,135} (57) {84,160} (68) {85,86} (35) {86,178} (76) {87,88} (36) {87,93} (38) {87,186} (80) {89,90} (37) {89,177} (76) {90,91} (37) {90,107} (44) {90,240} (105) {91,126} (53) {92,93} (38) {93,103} (43) {94,95} (39) {94,106} (44) {94,141} (60) {95,124} (52) {95,244} (107) {96,97} (40) {96,155} (65) {96,163} (69) {96,245} (107) {98,99} (41) {100,101} (42) {101,102} (42) {102,153} (64) {102,239} (104) {103,104} (43) {104,105} (43) {105,166} (71) {106,107} (44) {106,179} (77) {106,211} (92) {106,241} (105) {108,109} (45) {109,201} (87) {109,207} (90) {110,111} (46) {111,161} (68) {112,113} (47) {112,147} (62) {112,180} (77) {113,114} (47) {114,199} (86) {114,205} (89) {115,116} (48) {116,117} (48) {116,157} (66) {116,217} (94) {117,226} (98) {118,119} (49) {119,139} (59) {120,121} (50) {120,248} (108) {120,252} (110) {122,123} (51) {124,125} (52) {126,127} (53) {126,137} (58) {128,129} (54) {128,165} (70) {128,170} (72) {130,131} (55) {132,133} (56) {133,134} (56) {134,214} (93) {135,136} (57) {135,143} (60) {137,138} (58) {137,206} (89) {139,140} (59) {141,142} (60) {142,143} (60) {144,145} (61) {144,162} (69) {145,146} (61) {146,159} (67) {147,148} (62) {148,149} (62) {148,227} (99) {149,253} (110) {150,151} (63) {151,229} (99) {152,153} (64) {153,187} (81) {154,155} (65) {156,157} (66) {157,191} (83) {158,159} (67) {158,194} (84) {159,164} (70) {159,185} (80) {160,161} (68) {161,221} (96) {162,163} (69) {164,165} (70) {165,222} (97) {166,167} (71) {167,168} (71) {167,231} (100) {169,170} (72) {170,236} (103) {171,172} (73) {171,197} (85) {172,242} (106) {173,174} (74) {174,200} (87) {175,176} (75) {177,178} (76) {179,180} (77) {179,212} (92) {180,192} (83) {180,219} (95) {181,182} (78) {182,233} (101) {183,184} (79) {183,215} (94) {185,186} (80) {187,188} (81) {188,237} (103) {189,190} (82) {189,195} (85) {191,192} (83) {192,210} (91) {193,194} (84) {195,196} (85) {196,197} (85) {198,199} (86) {198,234} (102) {199,235} (102) {200,201} (87) {202,203} (88) {203,204} (88) {205,206} (89) {205,249} (109) {207,208} (90) {209,210} (91) {210,254} (111) {211,212} (92) {213,214} (93) {215,216} (94) {216,217} (94) {218,219} (95) {220,221} (96) {222,223} (97) {223,224} (97) {223,225} (98) {225,226} (98) {227,228} (99) {228,229} (99) {230,231} (100) {231,258} (112) {232,233} (101) {232,246} (108) {234,235} (102) {236,237} (103) {238,239} (104) {240,241} (105) {242,243} (106) {244,245} (107) {246,247} (108) {247,248} (108) {249,250} (109) {250,251} (109) {252,253} (110) {254,255} (111) {256,257} (112) {257,258} (112) Fine solution Length:170 251 # 81 ---> 3 (0) 251 # 3 ---> 4 (1) 246 # 43 ---> 24 (0) 253 # 59 ---> 60 (0) 246 # 24 ---> 10 (1) 253 # 60 ---> 43 (1) 246 # 10 ---> 3 (2) 253 # 43 ---> 24 (2) 254 # 121 ---> 120 (0) 254 # 120 ---> 58 (1) 250 # 247 ---> 248 (0) 249 # 182 ---> 233 (0) 254 # 58 ---> 43 (2) 250 # 248 ---> 120 (1) 254 # 43 ---> 45 (3) 250 # 120 ---> 58 (2) 249 # 233 ---> 232 (1) 254 # 45 ---> 181 (4) 250 # 58 ---> 43 (3) 249 # 232 ---> 28 (2) 249 # 28 ---> 21 (3) 246 # 3 ---> 81 (3) 250 # 43 ---> 45 (4) 250 # 45 ---> 44 (5) 248 # 170 ---> 128 (0) 248 # 128 ---> 42 (1) 248 # 42 ---> 43 (4) 248 # 43 ---> 58 (5) 248 # 58 ---> 183 (6) 248 # 183 ---> 215 (7) 253 # 24 ---> 79 (3) 253 # 79 ---> 78 (4) 253 # 78 ---> 77 (5) 253 # 77 ---> 213 (6) 253 # 213 ---> 214 (7) 257 # 208 ---> 30 (0) 252 # 189 ---> 47 (0) 252 # 47 ---> 0 (1) 252 # 0 ---> 1 (2) 246 # 81 ---> 82 (4) 250 # 44 ---> 80 (6) 250 # 80 ---> 81 (7) 251 # 4 ---> 9 (2) 246 # 82 ---> 83 (5) 250 # 81 ---> 82 (8) 250 # 82 ---> 114 (9) 250 # 114 ---> 205 (10) 257 # 30 ---> 31 (1) 251 # 9 ---> 19 (3) 258 # 197 ---> 171 (0) 258 # 171 ---> 172 (1) 257 # 31 ---> 8 (2) 257 # 8 ---> 2 (3) 255 # 159 ---> 146 (0) 246 # 83 ---> 82 (9) 255 # 146 ---> 145 (1) 254 # 181 ---> 182 (5) 254 # 182 ---> 80 (7) 257 # 2 ---> 3 (4) 257 # 3 ---> 4 (5) 251 # 19 ---> 22 (4) 251 # 22 ---> 23 (5) 249 # 21 ---> 12 (4) 258 # 172 ---> 51 (2) 249 # 12 ---> 13 (5) 258 # 51 ---> 50 (3) 258 # 50 ---> 12 (5) 251 # 23 ---> 38 (6) 255 # 145 ---> 144 (2) 255 # 144 ---> 5 (3) 255 # 5 ---> 6 (4) 255 # 6 ---> 17 (5) 255 # 17 ---> 41 (6) 255 # 41 ---> 105 (7) 255 # 105 ---> 166 (8) 255 # 166 ---> 167 (9) 254 # 80 ---> 44 (8) 249 # 13 ---> 2 (6) 254 # 44 ---> 45 (9) 251 # 38 ---> 37 (7) 254 # 45 ---> 43 (10) 251 # 37 ---> 44 (9) 258 # 12 ---> 21 (6) 258 # 21 ---> 77 (7) 258 # 77 ---> 152 (8) 249 # 2 ---> 3 (7) 249 # 3 ---> 10 (8) 249 # 10 ---> 24 (9) 249 # 24 ---> 79 (10) 249 # 79 ---> 111 (11) 249 # 111 ---> 110 (12) 249 # 110 ---> 62 (13) 249 # 62 ---> 112 (14) 249 # 112 ---> 147 (15) 257 # 4 ---> 5 (6) 247 # 141 ---> 142 (0) 247 # 142 ---> 143 (1) 247 # 143 ---> 135 (2) 247 # 135 ---> 84 (3) 254 # 43 ---> 24 (11) 247 # 84 ---> 29 (4) 247 # 29 ---> 10 (9) 247 # 10 ---> 3 (10) 257 # 5 ---> 6 (7) 247 # 3 ---> 4 (11) 257 # 6 ---> 0 (8) 247 # 4 ---> 5 (12) 257 # 0 ---> 47 (9) 254 # 24 ---> 10 (12) 257 # 47 ---> 63 (10) 257 # 63 ---> 64 (11) 254 # 10 ---> 9 (13) 254 # 9 ---> 19 (14) 246 # 82 ---> 81 (10) 246 # 81 ---> 3 (11) 246 # 3 ---> 2 (12) 246 # 2 ---> 13 (13) 246 # 13 ---> 12 (14) 246 # 12 ---> 21 (15) 246 # 21 ---> 28 (16) 246 # 28 ---> 62 (17) 246 # 62 ---> 110 (18) 256 # 88 ---> 87 (0) 256 # 87 ---> 25 (1) 256 # 25 ---> 42 (4) 256 # 42 ---> 96 (5) 256 # 96 ---> 97 (6) 257 # 64 ---> 21 (16) 251 # 44 ---> 45 (10) 254 # 19 ---> 18 (15) 252 # 1 ---> 7 (3) 254 # 18 ---> 20 (16) 257 # 21 ---> 12 (17) 254 # 20 ---> 21 (17) 254 # 21 ---> 64 (18) 254 # 64 ---> 67 (19) 254 # 67 ---> 72 (20) 254 # 72 ---> 73 (21) 254 # 73 ---> 74 (22) 257 # 12 ---> 21 (18) 257 # 21 ---> 20 (19) 257 # 20 ---> 23 (20) 257 # 23 ---> 38 (21) 257 # 38 ---> 69 (22) 257 # 69 ---> 70 (23) 257 # 70 ---> 71 (24) 247 # 5 ---> 6 (13) 247 # 6 ---> 0 (14) 247 # 0 ---> 1 (15) 252 # 7 ---> 8 (4) 247 # 1 ---> 7 (16) 247 # 7 ---> 56 (17) 247 # 56 ---> 59 (18) 247 # 59 ---> 60 (19) 251 # 45 ---> 43 (11) 251 # 43 ---> 24 (12) 251 # 24 ---> 25 (13) 251 # 25 ---> 13 (14) 251 # 13 ---> 12 (18) 251 # 12 ---> 50 (19) 252 # 8 ---> 2 (13) 252 # 2 ---> 3 (14) 251 # 50 ---> 51 (20) 251 # 51 ---> 52 (21) 252 # 3 ---> 4 (15) 252 # 4 ---> 5 (16) 252 # 5 ---> 6 (17) 252 # 6 ---> 17 (18) 252 # 17 ---> 26 (19) 257 # 71 ---> 11 (25) Final statistics ------------------ Robots:13 Size:-,-,- Solution size:4054 Filtered solution size:170 Parallel solution length:26 Parallelism:6.538 Step parallelism:13 13 11 11 12 11 9 9 6 8 7 6 5 6 6 5 5 5 6 5 3 3 2 1 1 1 Solving time:0.190,0 Filtering time:0.000,0