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


Final statistics
------------------
Solution size:3725
Filtered solution size:122
Parallel solution length:35
Parallelism:3.486
Step parallelism:9 8 8 8 7 7 5 4 3 4 4 4 5 5 4 3 3 3 3 2 2 2 2 2 1 1 2 2 2 2 1 1 1 1 1 
Solving time:0.090,0
Filtering time:0.000,0