================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,32 0,53 1,2 2,3 3,4 4,5 5,6 6,7 7,8 7,161 8,9 9,10 10,11 11,12 12,13 13,14 13,312 14,15 15,16 15,52 16,17 16,172 17,18 17,33 18,19 19,20 20,21 21,22 22,23 23,24 24,25 24,106 25,26 26,27 27,28 28,29 29,30 30,31 31,32 33,34 34,35 35,36 36,37 37,38 37,197 38,39 38,208 39,40 40,41 40,339 41,42 42,43 42,95 43,44 43,84 44,45 44,79 44,85 45,46 45,77 46,47 47,48 48,49 49,50 50,51 51,52 53,54 54,55 55,56 56,57 57,58 58,59 59,60 60,61 61,62 62,63 63,64 64,65 65,66 66,67 67,68 68,69 69,70 70,71 71,72 71,80 71,105 72,73 72,78 72,96 73,74 74,75 75,76 75,198 76,77 78,79 80,81 81,82 82,83 82,146 82,281 83,84 85,86 86,87 86,147 87,88 87,173 88,89 89,90 90,91 91,92 92,93 93,94 93,132 94,95 96,97 97,98 98,99 99,100 100,101 101,102 101,256 102,103 103,104 104,105 106,107 107,108 108,109 108,240 109,110 110,111 111,112 111,133 112,113 113,114 114,115 115,116 116,117 117,118 118,119 119,120 120,121 121,122 122,123 123,124 124,125 125,126 126,127 127,128 128,129 129,130 130,131 131,132 133,134 134,135 135,136 136,137 137,138 138,139 139,140 140,141 141,142 142,143 143,144 144,145 145,146 145,162 147,148 148,149 149,150 149,207 150,151 151,152 152,153 153,154 154,155 155,156 156,157 157,158 158,159 159,160 160,161 162,163 163,164 164,165 165,166 166,167 167,168 168,169 169,170 170,171 171,172 173,174 174,175 175,176 176,177 176,239 177,178 177,226 178,179 179,180 180,181 181,182 182,183 183,184 184,185 185,186 186,187 187,188 188,189 189,190 190,191 191,192 192,193 193,194 194,195 195,196 196,197 198,199 199,200 200,201 201,202 201,225 202,203 203,204 204,205 205,206 206,207 208,209 209,210 210,211 211,212 212,213 213,214 214,215 215,216 215,331 216,217 216,257 217,218 218,219 219,220 220,221 221,222 222,223 223,224 224,225 226,227 227,228 228,229 229,230 230,231 231,232 232,233 233,234 234,235 235,236 236,237 237,238 238,239 238,330 240,241 241,242 242,243 243,244 244,245 245,246 246,247 246,344 247,248 248,249 249,250 250,251 251,252 252,253 253,254 254,255 255,256 257,258 257,282 258,259 259,260 260,261 261,262 262,263 263,264 264,265 265,266 266,267 267,268 268,269 269,270 270,271 271,272 272,273 272,311 273,274 273,338 274,275 275,276 276,277 277,278 278,279 279,280 280,281 282,283 283,284 284,285 285,286 286,287 287,288 288,289 289,290 290,291 291,292 292,293 293,294 294,295 295,296 296,297 297,298 298,299 299,300 300,301 301,302 302,303 303,304 304,305 305,306 306,307 307,308 308,309 309,310 310,311 312,313 313,314 314,315 315,316 316,317 317,318 318,319 319,320 320,321 321,322 322,323 323,324 324,325 325,326 326,327 327,328 328,329 329,330 331,332 332,333 333,334 334,335 335,336 336,337 337,338 339,340 340,341 341,342 342,343 343,344 Reading initial arrangement... Reading original solution... Length:243 344 # 203 ---> 202 (0) 344 # 202 ---> 201 (1) 344 # 201 ---> 225 (2) 344 # 225 ---> 224 (3) 344 # 224 ---> 223 (4) 344 # 223 ---> 222 (5) 344 # 222 ---> 221 (6) 344 # 221 ---> 220 (7) 344 # 220 ---> 219 (8) 344 # 219 ---> 218 (9) 344 # 218 ---> 217 (10) 344 # 217 ---> 216 (11) 344 # 216 ---> 215 (12) 344 # 215 ---> 331 (13) 344 # 331 ---> 332 (14) 344 # 332 ---> 333 (15) 344 # 333 ---> 334 (16) 343 # 107 ---> 106 (0) 343 # 106 ---> 24 (1) 343 # 24 ---> 23 (2) 343 # 23 ---> 22 (3) 343 # 22 ---> 21 (4) 343 # 21 ---> 20 (5) 343 # 20 ---> 19 (6) 343 # 19 ---> 18 (7) 343 # 18 ---> 17 (8) 343 # 17 ---> 16 (9) 344 # 334 ---> 335 (17) 343 # 16 ---> 17 (10) 343 # 17 ---> 18 (11) 344 # 335 ---> 336 (18) 344 # 336 ---> 337 (19) 343 # 18 ---> 17 (12) 343 # 17 ---> 16 (13) 343 # 16 ---> 15 (14) 343 # 15 ---> 14 (15) 343 # 14 ---> 13 (16) 343 # 13 ---> 12 (17) 343 # 12 ---> 13 (18) 343 # 13 ---> 14 (19) 343 # 14 ---> 13 (20) 343 # 13 ---> 12 (21) 343 # 12 ---> 13 (22) 343 # 13 ---> 14 (23) 343 # 14 ---> 15 (24) 343 # 15 ---> 16 (25) 343 # 16 ---> 17 (26) 343 # 17 ---> 18 (27) 343 # 18 ---> 17 (28) 343 # 17 ---> 16 (29) 343 # 16 ---> 17 (30) 343 # 17 ---> 18 (31) 343 # 18 ---> 17 (32) 343 # 17 ---> 16 (33) 343 # 16 ---> 17 (34) 343 # 17 ---> 18 (35) 343 # 18 ---> 19 (36) 343 # 19 ---> 20 (37) 343 # 20 ---> 21 (38) 343 # 21 ---> 22 (39) 343 # 22 ---> 23 (40) 343 # 23 ---> 24 (41) 343 # 24 ---> 25 (42) 343 # 25 ---> 24 (43) 343 # 24 ---> 23 (44) 343 # 23 ---> 22 (45) 343 # 22 ---> 21 (46) 343 # 21 ---> 20 (47) 343 # 20 ---> 19 (48) 343 # 19 ---> 18 (49) 343 # 18 ---> 17 (50) 343 # 17 ---> 16 (51) 343 # 16 ---> 17 (52) 343 # 17 ---> 18 (53) 343 # 18 ---> 17 (54) 343 # 17 ---> 16 (55) 343 # 16 ---> 15 (56) 343 # 15 ---> 14 (57) 343 # 14 ---> 15 (58) 343 # 15 ---> 16 (59) 343 # 16 ---> 15 (60) 343 # 15 ---> 14 (61) 343 # 14 ---> 15 (62) 343 # 15 ---> 16 (63) 343 # 16 ---> 15 (64) 343 # 15 ---> 14 (65) 343 # 14 ---> 15 (66) 343 # 15 ---> 16 (67) 343 # 16 ---> 17 (68) 343 # 17 ---> 18 (69) 343 # 18 ---> 19 (70) 343 # 19 ---> 20 (71) 343 # 20 ---> 21 (72) 343 # 21 ---> 22 (73) 343 # 22 ---> 23 (74) 343 # 23 ---> 24 (75) 343 # 24 ---> 25 (76) 343 # 25 ---> 24 (77) 343 # 24 ---> 23 (78) 343 # 23 ---> 24 (79) 343 # 24 ---> 106 (80) 343 # 106 ---> 107 (81) 343 # 107 ---> 108 (82) 343 # 108 ---> 109 (83) 343 # 109 ---> 110 (84) 343 # 110 ---> 109 (85) 343 # 109 ---> 108 (86) 343 # 108 ---> 109 (87) 343 # 109 ---> 110 (88) 343 # 110 ---> 111 (89) 343 # 111 ---> 112 (90) 343 # 112 ---> 113 (91) 343 # 113 ---> 114 (92) 343 # 114 ---> 113 (93) 343 # 113 ---> 112 (94) 343 # 112 ---> 111 (95) 343 # 111 ---> 110 (96) 343 # 110 ---> 111 (97) 343 # 111 ---> 112 (98) 343 # 112 ---> 113 (99) 343 # 113 ---> 114 (100) 343 # 114 ---> 115 (101) 343 # 115 ---> 116 (102) 343 # 116 ---> 117 (103) 343 # 117 ---> 118 (104) 343 # 118 ---> 119 (105) 343 # 119 ---> 120 (106) 343 # 120 ---> 121 (107) 343 # 121 ---> 122 (108) 343 # 122 ---> 123 (109) 343 # 123 ---> 124 (110) 343 # 124 ---> 125 (111) 343 # 125 ---> 124 (112) 343 # 124 ---> 123 (113) 343 # 123 ---> 122 (114) 343 # 122 ---> 121 (115) 343 # 121 ---> 120 (116) 343 # 120 ---> 119 (117) 343 # 119 ---> 118 (118) 343 # 118 ---> 117 (119) 343 # 117 ---> 116 (120) 343 # 116 ---> 115 (121) 343 # 115 ---> 114 (122) 343 # 114 ---> 113 (123) 343 # 113 ---> 114 (124) 343 # 114 ---> 115 (125) 343 # 115 ---> 116 (126) 343 # 116 ---> 117 (127) 343 # 117 ---> 118 (128) 343 # 118 ---> 119 (129) 343 # 119 ---> 120 (130) 343 # 120 ---> 121 (131) 343 # 121 ---> 122 (132) 343 # 122 ---> 123 (133) 343 # 123 ---> 124 (134) 343 # 124 ---> 125 (135) 343 # 125 ---> 126 (136) 343 # 126 ---> 127 (137) 343 # 127 ---> 128 (138) 343 # 128 ---> 129 (139) 343 # 129 ---> 130 (140) 343 # 130 ---> 131 (141) 343 # 131 ---> 132 (142) 343 # 132 ---> 131 (143) 343 # 131 ---> 132 (144) 343 # 132 ---> 93 (145) 343 # 93 ---> 94 (146) 343 # 94 ---> 95 (147) 343 # 95 ---> 42 (148) 343 # 42 ---> 43 (149) 343 # 43 ---> 44 (150) 343 # 44 ---> 45 (151) 343 # 45 ---> 44 (152) 343 # 44 ---> 43 (153) 343 # 43 ---> 44 (154) 343 # 44 ---> 45 (155) 343 # 45 ---> 44 (156) 343 # 44 ---> 43 (157) 343 # 43 ---> 44 (158) 343 # 44 ---> 45 (159) 343 # 45 ---> 46 (160) 343 # 46 ---> 45 (161) 343 # 45 ---> 44 (162) 343 # 44 ---> 43 (163) 343 # 43 ---> 44 (164) 343 # 44 ---> 43 (165) 343 # 43 ---> 44 (166) 343 # 44 ---> 43 (167) 343 # 43 ---> 44 (168) 343 # 44 ---> 43 (169) 343 # 43 ---> 44 (170) 343 # 44 ---> 43 (171) 343 # 43 ---> 44 (172) 343 # 44 ---> 43 (173) 343 # 43 ---> 44 (174) 343 # 44 ---> 43 (175) 343 # 43 ---> 44 (176) 343 # 44 ---> 45 (177) 343 # 45 ---> 44 (178) 343 # 44 ---> 43 (179) 343 # 43 ---> 42 (180) 343 # 42 ---> 43 (181) 343 # 43 ---> 44 (182) 343 # 44 ---> 45 (183) 343 # 45 ---> 46 (184) 343 # 46 ---> 47 (185) 343 # 47 ---> 48 (186) 343 # 48 ---> 49 (187) 343 # 49 ---> 50 (188) 343 # 50 ---> 51 (189) 343 # 51 ---> 52 (190) 343 # 52 ---> 15 (191) 343 # 15 ---> 14 (192) 343 # 14 ---> 13 (193) 343 # 13 ---> 12 (194) 343 # 12 ---> 11 (195) 343 # 11 ---> 10 (196) 343 # 10 ---> 9 (197) 343 # 9 ---> 8 (198) 343 # 8 ---> 7 (199) 343 # 7 ---> 6 (200) 343 # 6 ---> 5 (201) 343 # 5 ---> 4 (202) 343 # 4 ---> 3 (203) 343 # 3 ---> 2 (204) 343 # 2 ---> 1 (205) 343 # 1 ---> 0 (206) 343 # 0 ---> 53 (207) 343 # 53 ---> 54 (208) 343 # 54 ---> 55 (209) 343 # 55 ---> 56 (210) 343 # 56 ---> 57 (211) 343 # 57 ---> 58 (212) 343 # 58 ---> 59 (213) 343 # 59 ---> 60 (214) 343 # 60 ---> 59 (215) 343 # 59 ---> 58 (216) 343 # 58 ---> 57 (217) 343 # 57 ---> 56 (218) 343 # 56 ---> 57 (219) 343 # 57 ---> 58 (220) 343 # 58 ---> 59 (221) 343 # 59 ---> 60 (222) Reading goal arrangement... Undirected graph: (|V|=345 |E|=365) [ Vertex: (id = 0) {1 32 53 } Vertex: (id = 1) {0 2 } Vertex: (id = 2) {1 3 } Vertex: (id = 3) {2 4 } Vertex: (id = 4) {3 5 } Vertex: (id = 5) {4 6 } Vertex: (id = 6) {5 7 } Vertex: (id = 7) {6 8 161 } Vertex: (id = 8) {7 9 } Vertex: (id = 9) {8 10 } Vertex: (id = 10) {9 11 } Vertex: (id = 11) {10 12 } Vertex: (id = 12) {11 13 } Vertex: (id = 13) {12 14 312 } Vertex: (id = 14) {13 15 } Vertex: (id = 15) {14 16 52 } Vertex: (id = 16) {15 17 172 } Vertex: (id = 17) {16 18 33 } Vertex: (id = 18) {17 19 } Vertex: (id = 19) {18 20 } Vertex: (id = 20) {19 21 } Vertex: (id = 21) {20 22 } Vertex: (id = 22) {21 23 } Vertex: (id = 23) {22 24 } Vertex: (id = 24) {23 25 106 } Vertex: (id = 25) {24 26 } Vertex: (id = 26) {25 27 } Vertex: (id = 27) {26 28 } Vertex: (id = 28) {27 29 } Vertex: (id = 29) {28 30 } Vertex: (id = 30) {29 31 } Vertex: (id = 31) {30 32 } Vertex: (id = 32) {0 31 } Vertex: (id = 33) {17 34 } Vertex: (id = 34) {33 35 } Vertex: (id = 35) {34 36 } Vertex: (id = 36) {35 37 } Vertex: (id = 37) {36 38 197 } Vertex: (id = 38) {37 39 208 } Vertex: (id = 39) {38 40 } Vertex: (id = 40) {39 41 339 } Vertex: (id = 41) {40 42 } Vertex: (id = 42) {41 43 95 } Vertex: (id = 43) {42 44 84 } Vertex: (id = 44) {43 45 79 85 } Vertex: (id = 45) {44 46 77 } Vertex: (id = 46) {45 47 } Vertex: (id = 47) {46 48 } Vertex: (id = 48) {47 49 } Vertex: (id = 49) {48 50 } Vertex: (id = 50) {49 51 } Vertex: (id = 51) {50 52 } Vertex: (id = 52) {15 51 } Vertex: (id = 53) {0 54 } Vertex: (id = 54) {53 55 } Vertex: (id = 55) {54 56 } Vertex: (id = 56) {55 57 } Vertex: (id = 57) {56 58 } Vertex: (id = 58) {57 59 } Vertex: (id = 59) {58 60 } Vertex: (id = 60) {59 61 } Vertex: (id = 61) {60 62 } Vertex: (id = 62) {61 63 } Vertex: (id = 63) {62 64 } Vertex: (id = 64) {63 65 } Vertex: (id = 65) {64 66 } Vertex: (id = 66) {65 67 } Vertex: (id = 67) {66 68 } Vertex: (id = 68) {67 69 } Vertex: (id = 69) {68 70 } Vertex: (id = 70) {69 71 } Vertex: (id = 71) {70 72 80 105 } Vertex: (id = 72) {71 73 78 96 } Vertex: (id = 73) {72 74 } Vertex: (id = 74) {73 75 } Vertex: (id = 75) {74 76 198 } Vertex: (id = 76) {75 77 } Vertex: (id = 77) {45 76 } Vertex: (id = 78) {72 79 } Vertex: (id = 79) {44 78 } Vertex: (id = 80) {71 81 } Vertex: (id = 81) {80 82 } Vertex: (id = 82) {81 83 146 281 } Vertex: (id = 83) {82 84 } Vertex: (id = 84) {43 83 } Vertex: (id = 85) {44 86 } Vertex: (id = 86) {85 87 147 } Vertex: (id = 87) {86 88 173 } Vertex: (id = 88) {87 89 } Vertex: (id = 89) {88 90 } Vertex: (id = 90) {89 91 } Vertex: (id = 91) {90 92 } Vertex: (id = 92) {91 93 } Vertex: (id = 93) {92 94 132 } Vertex: (id = 94) {93 95 } Vertex: (id = 95) {42 94 } Vertex: (id = 96) {72 97 } Vertex: (id = 97) {96 98 } Vertex: (id = 98) {97 99 } Vertex: (id = 99) {98 100 } Vertex: (id = 100) {99 101 } Vertex: (id = 101) {100 102 256 } Vertex: (id = 102) {101 103 } Vertex: (id = 103) {102 104 } Vertex: (id = 104) {103 105 } Vertex: (id = 105) {71 104 } Vertex: (id = 106) {24 107 } Vertex: (id = 107) {106 108 } Vertex: (id = 108) {107 109 240 } Vertex: (id = 109) {108 110 } Vertex: (id = 110) {109 111 } Vertex: (id = 111) {110 112 133 } Vertex: (id = 112) {111 113 } Vertex: (id = 113) {112 114 } Vertex: (id = 114) {113 115 } Vertex: (id = 115) {114 116 } Vertex: (id = 116) {115 117 } Vertex: (id = 117) {116 118 } Vertex: (id = 118) {117 119 } Vertex: (id = 119) {118 120 } Vertex: (id = 120) {119 121 } Vertex: (id = 121) {120 122 } Vertex: (id = 122) {121 123 } Vertex: (id = 123) {122 124 } Vertex: (id = 124) {123 125 } Vertex: (id = 125) {124 126 } Vertex: (id = 126) {125 127 } Vertex: (id = 127) {126 128 } Vertex: (id = 128) {127 129 } Vertex: (id = 129) {128 130 } Vertex: (id = 130) {129 131 } Vertex: (id = 131) {130 132 } Vertex: (id = 132) {93 131 } Vertex: (id = 133) {111 134 } Vertex: (id = 134) {133 135 } Vertex: (id = 135) {134 136 } Vertex: (id = 136) {135 137 } Vertex: (id = 137) {136 138 } Vertex: (id = 138) {137 139 } Vertex: (id = 139) {138 140 } Vertex: (id = 140) {139 141 } Vertex: (id = 141) {140 142 } Vertex: (id = 142) {141 143 } Vertex: (id = 143) {142 144 } Vertex: (id = 144) {143 145 } Vertex: (id = 145) {144 146 162 } Vertex: (id = 146) {82 145 } Vertex: (id = 147) {86 148 } Vertex: (id = 148) {147 149 } Vertex: (id = 149) {148 150 207 } Vertex: (id = 150) {149 151 } Vertex: (id = 151) {150 152 } Vertex: (id = 152) {151 153 } Vertex: (id = 153) {152 154 } Vertex: (id = 154) {153 155 } Vertex: (id = 155) {154 156 } Vertex: (id = 156) {155 157 } Vertex: (id = 157) {156 158 } Vertex: (id = 158) {157 159 } Vertex: (id = 159) {158 160 } Vertex: (id = 160) {159 161 } Vertex: (id = 161) {7 160 } Vertex: (id = 162) {145 163 } Vertex: (id = 163) {162 164 } Vertex: (id = 164) {163 165 } Vertex: (id = 165) {164 166 } Vertex: (id = 166) {165 167 } Vertex: (id = 167) {166 168 } Vertex: (id = 168) {167 169 } Vertex: (id = 169) {168 170 } Vertex: (id = 170) {169 171 } Vertex: (id = 171) {170 172 } Vertex: (id = 172) {16 171 } Vertex: (id = 173) {87 174 } Vertex: (id = 174) {173 175 } Vertex: (id = 175) {174 176 } Vertex: (id = 176) {175 177 239 } Vertex: (id = 177) {176 178 226 } Vertex: (id = 178) {177 179 } Vertex: (id = 179) {178 180 } Vertex: (id = 180) {179 181 } Vertex: (id = 181) {180 182 } Vertex: (id = 182) {181 183 } Vertex: (id = 183) {182 184 } Vertex: (id = 184) {183 185 } Vertex: (id = 185) {184 186 } Vertex: (id = 186) {185 187 } Vertex: (id = 187) {186 188 } Vertex: (id = 188) {187 189 } Vertex: (id = 189) {188 190 } Vertex: (id = 190) {189 191 } Vertex: (id = 191) {190 192 } Vertex: (id = 192) {191 193 } Vertex: (id = 193) {192 194 } Vertex: (id = 194) {193 195 } Vertex: (id = 195) {194 196 } Vertex: (id = 196) {195 197 } Vertex: (id = 197) {37 196 } Vertex: (id = 198) {75 199 } Vertex: (id = 199) {198 200 } Vertex: (id = 200) {199 201 } Vertex: (id = 201) {200 202 225 } Vertex: (id = 202) {201 203 } Vertex: (id = 203) {202 204 } Vertex: (id = 204) {203 205 } Vertex: (id = 205) {204 206 } Vertex: (id = 206) {205 207 } Vertex: (id = 207) {149 206 } Vertex: (id = 208) {38 209 } Vertex: (id = 209) {208 210 } Vertex: (id = 210) {209 211 } Vertex: (id = 211) {210 212 } Vertex: (id = 212) {211 213 } Vertex: (id = 213) {212 214 } Vertex: (id = 214) {213 215 } Vertex: (id = 215) {214 216 331 } Vertex: (id = 216) {215 217 257 } Vertex: (id = 217) {216 218 } Vertex: (id = 218) {217 219 } Vertex: (id = 219) {218 220 } Vertex: (id = 220) {219 221 } Vertex: (id = 221) {220 222 } Vertex: (id = 222) {221 223 } Vertex: (id = 223) {222 224 } Vertex: (id = 224) {223 225 } Vertex: (id = 225) {201 224 } Vertex: (id = 226) {177 227 } Vertex: (id = 227) {226 228 } Vertex: (id = 228) {227 229 } Vertex: (id = 229) {228 230 } Vertex: (id = 230) {229 231 } Vertex: (id = 231) {230 232 } Vertex: (id = 232) {231 233 } Vertex: (id = 233) {232 234 } Vertex: (id = 234) {233 235 } Vertex: (id = 235) {234 236 } Vertex: (id = 236) {235 237 } Vertex: (id = 237) {236 238 } Vertex: (id = 238) {237 239 330 } Vertex: (id = 239) {176 238 } Vertex: (id = 240) {108 241 } Vertex: (id = 241) {240 242 } Vertex: (id = 242) {241 243 } Vertex: (id = 243) {242 244 } Vertex: (id = 244) {243 245 } Vertex: (id = 245) {244 246 } Vertex: (id = 246) {245 247 344 } Vertex: (id = 247) {246 248 } Vertex: (id = 248) {247 249 } Vertex: (id = 249) {248 250 } Vertex: (id = 250) {249 251 } Vertex: (id = 251) {250 252 } Vertex: (id = 252) {251 253 } Vertex: (id = 253) {252 254 } Vertex: (id = 254) {253 255 } Vertex: (id = 255) {254 256 } Vertex: (id = 256) {101 255 } Vertex: (id = 257) {216 258 282 } Vertex: (id = 258) {257 259 } Vertex: (id = 259) {258 260 } Vertex: (id = 260) {259 261 } Vertex: (id = 261) {260 262 } Vertex: (id = 262) {261 263 } Vertex: (id = 263) {262 264 } Vertex: (id = 264) {263 265 } Vertex: (id = 265) {264 266 } Vertex: (id = 266) {265 267 } Vertex: (id = 267) {266 268 } Vertex: (id = 268) {267 269 } Vertex: (id = 269) {268 270 } Vertex: (id = 270) {269 271 } Vertex: (id = 271) {270 272 } Vertex: (id = 272) {271 273 311 } Vertex: (id = 273) {272 274 338 } Vertex: (id = 274) {273 275 } Vertex: (id = 275) {274 276 } Vertex: (id = 276) {275 277 } Vertex: (id = 277) {276 278 } Vertex: (id = 278) {277 279 } Vertex: (id = 279) {278 280 } Vertex: (id = 280) {279 281 } Vertex: (id = 281) {82 280 } Vertex: (id = 282) {257 283 } Vertex: (id = 283) {282 284 } Vertex: (id = 284) {283 285 } Vertex: (id = 285) {284 286 } Vertex: (id = 286) {285 287 } Vertex: (id = 287) {286 288 } Vertex: (id = 288) {287 289 } Vertex: (id = 289) {288 290 } Vertex: (id = 290) {289 291 } Vertex: (id = 291) {290 292 } Vertex: (id = 292) {291 293 } Vertex: (id = 293) {292 294 } Vertex: (id = 294) {293 295 } Vertex: (id = 295) {294 296 } Vertex: (id = 296) {295 297 } Vertex: (id = 297) {296 298 } Vertex: (id = 298) {297 299 } Vertex: (id = 299) {298 300 } Vertex: (id = 300) {299 301 } Vertex: (id = 301) {300 302 } Vertex: (id = 302) {301 303 } Vertex: (id = 303) {302 304 } Vertex: (id = 304) {303 305 } Vertex: (id = 305) {304 306 } Vertex: (id = 306) {305 307 } Vertex: (id = 307) {306 308 } Vertex: (id = 308) {307 309 } Vertex: (id = 309) {308 310 } Vertex: (id = 310) {309 311 } Vertex: (id = 311) {272 310 } Vertex: (id = 312) {13 313 } Vertex: (id = 313) {312 314 } Vertex: (id = 314) {313 315 } Vertex: (id = 315) {314 316 } Vertex: (id = 316) {315 317 } Vertex: (id = 317) {316 318 } Vertex: (id = 318) {317 319 } Vertex: (id = 319) {318 320 } Vertex: (id = 320) {319 321 } Vertex: (id = 321) {320 322 } Vertex: (id = 322) {321 323 } Vertex: (id = 323) {322 324 } Vertex: (id = 324) {323 325 } Vertex: (id = 325) {324 326 } Vertex: (id = 326) {325 327 } Vertex: (id = 327) {326 328 } Vertex: (id = 328) {327 329 } Vertex: (id = 329) {328 330 } Vertex: (id = 330) {238 329 } Vertex: (id = 331) {215 332 } Vertex: (id = 332) {331 333 } Vertex: (id = 333) {332 334 } Vertex: (id = 334) {333 335 } Vertex: (id = 335) {334 336 } Vertex: (id = 336) {335 337 } Vertex: (id = 337) {336 338 } Vertex: (id = 338) {273 337 } Vertex: (id = 339) {40 340 } Vertex: (id = 340) {339 341 } Vertex: (id = 341) {340 342 } Vertex: (id = 342) {341 343 } Vertex: (id = 343) {342 344 } Vertex: (id = 344) {246 343 } Edge 0 <-> 1 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f46a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4680) ] Edge 0 <-> 32 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4a80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4680) ] Edge 0 <-> 53 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4d20) Arc: (edge = 0x7fffb42ff730, target = 0x13f4680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f46c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f46a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f46e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f46c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4700) Arc: (edge = 0x7fffb42ff730, target = 0x13f46e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4720) Arc: (edge = 0x7fffb42ff730, target = 0x13f4700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4740) Arc: (edge = 0x7fffb42ff730, target = 0x13f4720) ] Edge 6 <-> 7 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4760) Arc: (edge = 0x7fffb42ff730, target = 0x13f4740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4780) Arc: (edge = 0x7fffb42ff730, target = 0x13f4760) ] Edge 7 <-> 161 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5aa0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4760) ] Edge 8 <-> 9 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f47a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f47c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f47a0) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f47e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f47c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4800) Arc: (edge = 0x7fffb42ff730, target = 0x13f47e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4820) Arc: (edge = 0x7fffb42ff730, target = 0x13f4800) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4840) Arc: (edge = 0x7fffb42ff730, target = 0x13f4820) ] Edge 13 <-> 312 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6d80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4860) Arc: (edge = 0x7fffb42ff730, target = 0x13f4840) ] Edge 15 <-> 16 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4880) Arc: (edge = 0x7fffb42ff730, target = 0x13f4860) ] Edge 15 <-> 52 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4d00) Arc: (edge = 0x7fffb42ff730, target = 0x13f4860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f48a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4880) ] Edge 16 <-> 172 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5c00) Arc: (edge = 0x7fffb42ff730, target = 0x13f4880) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f48c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f48a0) ] Edge 17 <-> 33 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4aa0) Arc: (edge = 0x7fffb42ff730, target = 0x13f48a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f48e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f48c0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4900) Arc: (edge = 0x7fffb42ff730, target = 0x13f48e0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4920) Arc: (edge = 0x7fffb42ff730, target = 0x13f4900) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4940) Arc: (edge = 0x7fffb42ff730, target = 0x13f4920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4960) Arc: (edge = 0x7fffb42ff730, target = 0x13f4940) ] Edge 23 <-> 24 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4980) Arc: (edge = 0x7fffb42ff730, target = 0x13f4960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f49a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4980) ] Edge 24 <-> 106 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f53c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4980) ] Edge 25 <-> 26 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f49c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f49a0) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f49e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f49c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4a00) Arc: (edge = 0x7fffb42ff730, target = 0x13f49e0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4a20) Arc: (edge = 0x7fffb42ff730, target = 0x13f4a00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4a40) Arc: (edge = 0x7fffb42ff730, target = 0x13f4a20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4a60) Arc: (edge = 0x7fffb42ff730, target = 0x13f4a40) ] Edge 31 <-> 32 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4a80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4a60) ] Edge 33 <-> 34 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ac0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4aa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ae0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4b00) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ae0) ] Edge 36 <-> 37 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4b20) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b00) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4b40) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b20) ] Edge 37 <-> 197 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5f20) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b20) ] Edge 38 <-> 39 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4b60) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b40) ] Edge 38 <-> 208 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6080) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4b80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ba0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b80) ] Edge 40 <-> 339 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f70e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4b80) ] Edge 41 <-> 42 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4bc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4be0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4bc0) ] Edge 42 <-> 95 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5260) Arc: (edge = 0x7fffb42ff730, target = 0x13f4bc0) ] Edge 43 <-> 44 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4c00) Arc: (edge = 0x7fffb42ff730, target = 0x13f4be0) ] Edge 43 <-> 84 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5100) Arc: (edge = 0x7fffb42ff730, target = 0x13f4be0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4c20) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c00) ] Edge 44 <-> 79 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5060) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c00) ] Edge 44 <-> 85 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5120) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c00) ] Edge 45 <-> 46 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4c40) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c20) ] Edge 45 <-> 77 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5020) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4c60) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c40) ] Edge 47 <-> 48 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4c80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ca0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4c80) ] Edge 49 <-> 50 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4cc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ca0) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ce0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4cc0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4d00) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ce0) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4d40) Arc: (edge = 0x7fffb42ff730, target = 0x13f4d20) ] Edge 54 <-> 55 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4d60) Arc: (edge = 0x7fffb42ff730, target = 0x13f4d40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4d80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4d60) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4da0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4d80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4dc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4da0) ] Edge 58 <-> 59 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4de0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4dc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4e00) Arc: (edge = 0x7fffb42ff730, target = 0x13f4de0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4e20) Arc: (edge = 0x7fffb42ff730, target = 0x13f4e00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4e40) Arc: (edge = 0x7fffb42ff730, target = 0x13f4e20) ] Edge 62 <-> 63 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4e60) Arc: (edge = 0x7fffb42ff730, target = 0x13f4e40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4e80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4e60) ] Edge 64 <-> 65 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ea0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4e80) ] Edge 65 <-> 66 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ec0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ea0) ] Edge 66 <-> 67 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4ee0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ec0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4f00) Arc: (edge = 0x7fffb42ff730, target = 0x13f4ee0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4f20) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f00) ] Edge 69 <-> 70 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4f40) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4f60) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f40) ] Edge 71 <-> 72 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4f80) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f60) ] Edge 71 <-> 80 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5080) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f60) ] Edge 71 <-> 105 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f53a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4fa0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f80) ] Edge 72 <-> 78 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5040) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f80) ] Edge 72 <-> 96 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5280) Arc: (edge = 0x7fffb42ff730, target = 0x13f4f80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4fc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4fa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f4fe0) Arc: (edge = 0x7fffb42ff730, target = 0x13f4fc0) ] Edge 75 <-> 76 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5000) Arc: (edge = 0x7fffb42ff730, target = 0x13f4fe0) ] Edge 75 <-> 198 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5f40) Arc: (edge = 0x7fffb42ff730, target = 0x13f4fe0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5020) Arc: (edge = 0x7fffb42ff730, target = 0x13f5000) ] Edge 78 <-> 79 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5060) Arc: (edge = 0x7fffb42ff730, target = 0x13f5040) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f50a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f50c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f50a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f50e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f50c0) ] Edge 82 <-> 146 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f58c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f50c0) ] Edge 82 <-> 281 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f69a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f50c0) ] Edge 83 <-> 84 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5100) Arc: (edge = 0x7fffb42ff730, target = 0x13f50e0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5140) Arc: (edge = 0x7fffb42ff730, target = 0x13f5120) ] Edge 86 <-> 87 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5160) Arc: (edge = 0x7fffb42ff730, target = 0x13f5140) ] Edge 86 <-> 147 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f58e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5180) Arc: (edge = 0x7fffb42ff730, target = 0x13f5160) ] Edge 87 <-> 173 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5c20) Arc: (edge = 0x7fffb42ff730, target = 0x13f5160) ] Edge 88 <-> 89 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f51a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5180) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f51c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f51a0) ] Edge 90 <-> 91 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f51e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f51c0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5200) Arc: (edge = 0x7fffb42ff730, target = 0x13f51e0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5220) Arc: (edge = 0x7fffb42ff730, target = 0x13f5200) ] Edge 93 <-> 94 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5240) Arc: (edge = 0x7fffb42ff730, target = 0x13f5220) ] Edge 93 <-> 132 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5700) Arc: (edge = 0x7fffb42ff730, target = 0x13f5220) ] Edge 94 <-> 95 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5260) Arc: (edge = 0x7fffb42ff730, target = 0x13f5240) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f52a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5280) ] Edge 97 <-> 98 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f52c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f52a0) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f52e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f52c0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5300) Arc: (edge = 0x7fffb42ff730, target = 0x13f52e0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5320) Arc: (edge = 0x7fffb42ff730, target = 0x13f5300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5340) Arc: (edge = 0x7fffb42ff730, target = 0x13f5320) ] Edge 101 <-> 256 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6680) Arc: (edge = 0x7fffb42ff730, target = 0x13f5320) ] Edge 102 <-> 103 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5360) Arc: (edge = 0x7fffb42ff730, target = 0x13f5340) ] Edge 103 <-> 104 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5380) Arc: (edge = 0x7fffb42ff730, target = 0x13f5360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f53a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5380) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f53e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f53c0) ] Edge 107 <-> 108 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5400) Arc: (edge = 0x7fffb42ff730, target = 0x13f53e0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5420) Arc: (edge = 0x7fffb42ff730, target = 0x13f5400) ] Edge 108 <-> 240 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6480) Arc: (edge = 0x7fffb42ff730, target = 0x13f5400) ] Edge 109 <-> 110 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5440) Arc: (edge = 0x7fffb42ff730, target = 0x13f5420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5460) Arc: (edge = 0x7fffb42ff730, target = 0x13f5440) ] Edge 111 <-> 112 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5480) Arc: (edge = 0x7fffb42ff730, target = 0x13f5460) ] Edge 111 <-> 133 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5720) Arc: (edge = 0x7fffb42ff730, target = 0x13f5460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f54a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f54c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f54a0) ] Edge 114 <-> 115 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f54e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f54c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5500) Arc: (edge = 0x7fffb42ff730, target = 0x13f54e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5520) Arc: (edge = 0x7fffb42ff730, target = 0x13f5500) ] Edge 117 <-> 118 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5540) Arc: (edge = 0x7fffb42ff730, target = 0x13f5520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5560) Arc: (edge = 0x7fffb42ff730, target = 0x13f5540) ] Edge 119 <-> 120 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5580) Arc: (edge = 0x7fffb42ff730, target = 0x13f5560) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f55a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5580) ] Edge 121 <-> 122 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f55c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f55a0) ] Edge 122 <-> 123 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f55e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f55c0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5600) Arc: (edge = 0x7fffb42ff730, target = 0x13f55e0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5620) Arc: (edge = 0x7fffb42ff730, target = 0x13f5600) ] Edge 125 <-> 126 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5640) Arc: (edge = 0x7fffb42ff730, target = 0x13f5620) ] Edge 126 <-> 127 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5660) Arc: (edge = 0x7fffb42ff730, target = 0x13f5640) ] Edge 127 <-> 128 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5680) Arc: (edge = 0x7fffb42ff730, target = 0x13f5660) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f56a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5680) ] Edge 129 <-> 130 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f56c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f56a0) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f56e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f56c0) ] Edge 131 <-> 132 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5700) Arc: (edge = 0x7fffb42ff730, target = 0x13f56e0) ] Edge 133 <-> 134 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5740) Arc: (edge = 0x7fffb42ff730, target = 0x13f5720) ] Edge 134 <-> 135 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5760) Arc: (edge = 0x7fffb42ff730, target = 0x13f5740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5780) Arc: (edge = 0x7fffb42ff730, target = 0x13f5760) ] Edge 136 <-> 137 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f57a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5780) ] Edge 137 <-> 138 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f57c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f57a0) ] Edge 138 <-> 139 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f57e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f57c0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5800) Arc: (edge = 0x7fffb42ff730, target = 0x13f57e0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5820) Arc: (edge = 0x7fffb42ff730, target = 0x13f5800) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5840) Arc: (edge = 0x7fffb42ff730, target = 0x13f5820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5860) Arc: (edge = 0x7fffb42ff730, target = 0x13f5840) ] Edge 143 <-> 144 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5880) Arc: (edge = 0x7fffb42ff730, target = 0x13f5860) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f58a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5880) ] Edge 145 <-> 146 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f58c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f58a0) ] Edge 145 <-> 162 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ac0) Arc: (edge = 0x7fffb42ff730, target = 0x13f58a0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5900) Arc: (edge = 0x7fffb42ff730, target = 0x13f58e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5920) Arc: (edge = 0x7fffb42ff730, target = 0x13f5900) ] Edge 149 <-> 150 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5940) Arc: (edge = 0x7fffb42ff730, target = 0x13f5920) ] Edge 149 <-> 207 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6060) Arc: (edge = 0x7fffb42ff730, target = 0x13f5920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5960) Arc: (edge = 0x7fffb42ff730, target = 0x13f5940) ] Edge 151 <-> 152 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5980) Arc: (edge = 0x7fffb42ff730, target = 0x13f5960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f59a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5980) ] Edge 153 <-> 154 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f59c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f59a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f59e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f59c0) ] Edge 155 <-> 156 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5a00) Arc: (edge = 0x7fffb42ff730, target = 0x13f59e0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5a20) Arc: (edge = 0x7fffb42ff730, target = 0x13f5a00) ] Edge 157 <-> 158 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5a40) Arc: (edge = 0x7fffb42ff730, target = 0x13f5a20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5a60) Arc: (edge = 0x7fffb42ff730, target = 0x13f5a40) ] Edge 159 <-> 160 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5a80) Arc: (edge = 0x7fffb42ff730, target = 0x13f5a60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5aa0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5a80) ] Edge 162 <-> 163 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ae0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ac0) ] Edge 163 <-> 164 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5b00) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ae0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5b20) Arc: (edge = 0x7fffb42ff730, target = 0x13f5b00) ] Edge 165 <-> 166 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5b40) Arc: (edge = 0x7fffb42ff730, target = 0x13f5b20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5b60) Arc: (edge = 0x7fffb42ff730, target = 0x13f5b40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5b80) Arc: (edge = 0x7fffb42ff730, target = 0x13f5b60) ] Edge 168 <-> 169 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ba0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5b80) ] Edge 169 <-> 170 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5bc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ba0) ] Edge 170 <-> 171 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5be0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5bc0) ] Edge 171 <-> 172 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5c00) Arc: (edge = 0x7fffb42ff730, target = 0x13f5be0) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5c40) Arc: (edge = 0x7fffb42ff730, target = 0x13f5c20) ] Edge 174 <-> 175 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5c60) Arc: (edge = 0x7fffb42ff730, target = 0x13f5c40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5c80) Arc: (edge = 0x7fffb42ff730, target = 0x13f5c60) ] Edge 176 <-> 177 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ca0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5c80) ] Edge 176 <-> 239 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6460) Arc: (edge = 0x7fffb42ff730, target = 0x13f5c80) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5cc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ca0) ] Edge 177 <-> 226 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f62c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ca0) ] Edge 178 <-> 179 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ce0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5cc0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5d00) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ce0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5d20) Arc: (edge = 0x7fffb42ff730, target = 0x13f5d00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5d40) Arc: (edge = 0x7fffb42ff730, target = 0x13f5d20) ] Edge 182 <-> 183 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5d60) Arc: (edge = 0x7fffb42ff730, target = 0x13f5d40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5d80) Arc: (edge = 0x7fffb42ff730, target = 0x13f5d60) ] Edge 184 <-> 185 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5da0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5d80) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5dc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5da0) ] Edge 186 <-> 187 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5de0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5dc0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5e00) Arc: (edge = 0x7fffb42ff730, target = 0x13f5de0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5e20) Arc: (edge = 0x7fffb42ff730, target = 0x13f5e00) ] Edge 189 <-> 190 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5e40) Arc: (edge = 0x7fffb42ff730, target = 0x13f5e20) ] Edge 190 <-> 191 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5e60) Arc: (edge = 0x7fffb42ff730, target = 0x13f5e40) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5e80) Arc: (edge = 0x7fffb42ff730, target = 0x13f5e60) ] Edge 192 <-> 193 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ea0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5e80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ec0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ea0) ] Edge 194 <-> 195 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5ee0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ec0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5f00) Arc: (edge = 0x7fffb42ff730, target = 0x13f5ee0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5f20) Arc: (edge = 0x7fffb42ff730, target = 0x13f5f00) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5f60) Arc: (edge = 0x7fffb42ff730, target = 0x13f5f40) ] Edge 199 <-> 200 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5f80) Arc: (edge = 0x7fffb42ff730, target = 0x13f5f60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5fa0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5f80) ] Edge 201 <-> 202 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5fc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5fa0) ] Edge 201 <-> 225 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f62a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5fa0) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f5fe0) Arc: (edge = 0x7fffb42ff730, target = 0x13f5fc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6000) Arc: (edge = 0x7fffb42ff730, target = 0x13f5fe0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6020) Arc: (edge = 0x7fffb42ff730, target = 0x13f6000) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6040) Arc: (edge = 0x7fffb42ff730, target = 0x13f6020) ] Edge 206 <-> 207 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6060) Arc: (edge = 0x7fffb42ff730, target = 0x13f6040) ] Edge 208 <-> 209 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f60a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6080) ] Edge 209 <-> 210 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f60c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f60a0) ] Edge 210 <-> 211 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f60e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f60c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6100) Arc: (edge = 0x7fffb42ff730, target = 0x13f60e0) ] Edge 212 <-> 213 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6120) Arc: (edge = 0x7fffb42ff730, target = 0x13f6100) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6140) Arc: (edge = 0x7fffb42ff730, target = 0x13f6120) ] Edge 214 <-> 215 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6160) Arc: (edge = 0x7fffb42ff730, target = 0x13f6140) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6180) Arc: (edge = 0x7fffb42ff730, target = 0x13f6160) ] Edge 215 <-> 331 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6fe0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f61a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6180) ] Edge 216 <-> 257 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f66a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6180) ] Edge 217 <-> 218 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f61c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f61a0) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f61e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f61c0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6200) Arc: (edge = 0x7fffb42ff730, target = 0x13f61e0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6220) Arc: (edge = 0x7fffb42ff730, target = 0x13f6200) ] Edge 221 <-> 222 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6240) Arc: (edge = 0x7fffb42ff730, target = 0x13f6220) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6260) Arc: (edge = 0x7fffb42ff730, target = 0x13f6240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6280) Arc: (edge = 0x7fffb42ff730, target = 0x13f6260) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f62a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6280) ] Edge 226 <-> 227 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f62e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f62c0) ] Edge 227 <-> 228 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6300) Arc: (edge = 0x7fffb42ff730, target = 0x13f62e0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6320) Arc: (edge = 0x7fffb42ff730, target = 0x13f6300) ] Edge 229 <-> 230 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6340) Arc: (edge = 0x7fffb42ff730, target = 0x13f6320) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6360) Arc: (edge = 0x7fffb42ff730, target = 0x13f6340) ] Edge 231 <-> 232 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6380) Arc: (edge = 0x7fffb42ff730, target = 0x13f6360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f63a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6380) ] Edge 233 <-> 234 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f63c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f63a0) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f63e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f63c0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6400) Arc: (edge = 0x7fffb42ff730, target = 0x13f63e0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6420) Arc: (edge = 0x7fffb42ff730, target = 0x13f6400) ] Edge 237 <-> 238 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6440) Arc: (edge = 0x7fffb42ff730, target = 0x13f6420) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6460) Arc: (edge = 0x7fffb42ff730, target = 0x13f6440) ] Edge 238 <-> 330 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6fc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6440) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f64a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6480) ] Edge 241 <-> 242 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f64c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f64a0) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f64e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f64c0) ] Edge 243 <-> 244 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6500) Arc: (edge = 0x7fffb42ff730, target = 0x13f64e0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6520) Arc: (edge = 0x7fffb42ff730, target = 0x13f6500) ] Edge 245 <-> 246 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6540) Arc: (edge = 0x7fffb42ff730, target = 0x13f6520) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6560) Arc: (edge = 0x7fffb42ff730, target = 0x13f6540) ] Edge 246 <-> 344 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7180) Arc: (edge = 0x7fffb42ff730, target = 0x13f6540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6580) Arc: (edge = 0x7fffb42ff730, target = 0x13f6560) ] Edge 248 <-> 249 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f65a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6580) ] Edge 249 <-> 250 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f65c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f65a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f65e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f65c0) ] Edge 251 <-> 252 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6600) Arc: (edge = 0x7fffb42ff730, target = 0x13f65e0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6620) Arc: (edge = 0x7fffb42ff730, target = 0x13f6600) ] Edge 253 <-> 254 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6640) Arc: (edge = 0x7fffb42ff730, target = 0x13f6620) ] Edge 254 <-> 255 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6660) Arc: (edge = 0x7fffb42ff730, target = 0x13f6640) ] Edge 255 <-> 256 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6680) Arc: (edge = 0x7fffb42ff730, target = 0x13f6660) ] Edge 257 <-> 258 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f66c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f66a0) ] Edge 257 <-> 282 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f69c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f66a0) ] Edge 258 <-> 259 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f66e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f66c0) ] Edge 259 <-> 260 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6700) Arc: (edge = 0x7fffb42ff730, target = 0x13f66e0) ] Edge 260 <-> 261 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6720) Arc: (edge = 0x7fffb42ff730, target = 0x13f6700) ] Edge 261 <-> 262 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6740) Arc: (edge = 0x7fffb42ff730, target = 0x13f6720) ] Edge 262 <-> 263 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6760) Arc: (edge = 0x7fffb42ff730, target = 0x13f6740) ] Edge 263 <-> 264 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6780) Arc: (edge = 0x7fffb42ff730, target = 0x13f6760) ] Edge 264 <-> 265 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f67a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6780) ] Edge 265 <-> 266 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f67c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f67a0) ] Edge 266 <-> 267 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f67e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f67c0) ] Edge 267 <-> 268 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6800) Arc: (edge = 0x7fffb42ff730, target = 0x13f67e0) ] Edge 268 <-> 269 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6820) Arc: (edge = 0x7fffb42ff730, target = 0x13f6800) ] Edge 269 <-> 270 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6840) Arc: (edge = 0x7fffb42ff730, target = 0x13f6820) ] Edge 270 <-> 271 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6860) Arc: (edge = 0x7fffb42ff730, target = 0x13f6840) ] Edge 271 <-> 272 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6880) Arc: (edge = 0x7fffb42ff730, target = 0x13f6860) ] Edge 272 <-> 273 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f68a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6880) ] Edge 272 <-> 311 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6d60) Arc: (edge = 0x7fffb42ff730, target = 0x13f6880) ] Edge 273 <-> 274 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f68c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f68a0) ] Edge 273 <-> 338 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f70c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f68a0) ] Edge 274 <-> 275 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f68e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f68c0) ] Edge 275 <-> 276 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6900) Arc: (edge = 0x7fffb42ff730, target = 0x13f68e0) ] Edge 276 <-> 277 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6920) Arc: (edge = 0x7fffb42ff730, target = 0x13f6900) ] Edge 277 <-> 278 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6940) Arc: (edge = 0x7fffb42ff730, target = 0x13f6920) ] Edge 278 <-> 279 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6960) Arc: (edge = 0x7fffb42ff730, target = 0x13f6940) ] Edge 279 <-> 280 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6980) Arc: (edge = 0x7fffb42ff730, target = 0x13f6960) ] Edge 280 <-> 281 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f69a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6980) ] Edge 282 <-> 283 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f69e0) Arc: (edge = 0x7fffb42ff730, target = 0x13f69c0) ] Edge 283 <-> 284 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6a00) Arc: (edge = 0x7fffb42ff730, target = 0x13f69e0) ] Edge 284 <-> 285 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6a20) Arc: (edge = 0x7fffb42ff730, target = 0x13f6a00) ] Edge 285 <-> 286 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6a40) Arc: (edge = 0x7fffb42ff730, target = 0x13f6a20) ] Edge 286 <-> 287 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6a60) Arc: (edge = 0x7fffb42ff730, target = 0x13f6a40) ] Edge 287 <-> 288 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6a80) Arc: (edge = 0x7fffb42ff730, target = 0x13f6a60) ] Edge 288 <-> 289 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6aa0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6a80) ] Edge 289 <-> 290 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ac0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6aa0) ] Edge 290 <-> 291 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ae0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ac0) ] Edge 291 <-> 292 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6b00) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ae0) ] Edge 292 <-> 293 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6b20) Arc: (edge = 0x7fffb42ff730, target = 0x13f6b00) ] Edge 293 <-> 294 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6b40) Arc: (edge = 0x7fffb42ff730, target = 0x13f6b20) ] Edge 294 <-> 295 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6b60) Arc: (edge = 0x7fffb42ff730, target = 0x13f6b40) ] Edge 295 <-> 296 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6b80) Arc: (edge = 0x7fffb42ff730, target = 0x13f6b60) ] Edge 296 <-> 297 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ba0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6b80) ] Edge 297 <-> 298 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6bc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ba0) ] Edge 298 <-> 299 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6be0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6bc0) ] Edge 299 <-> 300 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6c00) Arc: (edge = 0x7fffb42ff730, target = 0x13f6be0) ] Edge 300 <-> 301 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6c20) Arc: (edge = 0x7fffb42ff730, target = 0x13f6c00) ] Edge 301 <-> 302 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6c40) Arc: (edge = 0x7fffb42ff730, target = 0x13f6c20) ] Edge 302 <-> 303 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6c60) Arc: (edge = 0x7fffb42ff730, target = 0x13f6c40) ] Edge 303 <-> 304 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6c80) Arc: (edge = 0x7fffb42ff730, target = 0x13f6c60) ] Edge 304 <-> 305 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ca0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6c80) ] Edge 305 <-> 306 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6cc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ca0) ] Edge 306 <-> 307 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ce0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6cc0) ] Edge 307 <-> 308 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6d00) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ce0) ] Edge 308 <-> 309 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6d20) Arc: (edge = 0x7fffb42ff730, target = 0x13f6d00) ] Edge 309 <-> 310 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6d40) Arc: (edge = 0x7fffb42ff730, target = 0x13f6d20) ] Edge 310 <-> 311 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6d60) Arc: (edge = 0x7fffb42ff730, target = 0x13f6d40) ] Edge 312 <-> 313 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6da0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6d80) ] Edge 313 <-> 314 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6dc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6da0) ] Edge 314 <-> 315 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6de0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6dc0) ] Edge 315 <-> 316 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6e00) Arc: (edge = 0x7fffb42ff730, target = 0x13f6de0) ] Edge 316 <-> 317 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6e20) Arc: (edge = 0x7fffb42ff730, target = 0x13f6e00) ] Edge 317 <-> 318 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6e40) Arc: (edge = 0x7fffb42ff730, target = 0x13f6e20) ] Edge 318 <-> 319 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6e60) Arc: (edge = 0x7fffb42ff730, target = 0x13f6e40) ] Edge 319 <-> 320 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6e80) Arc: (edge = 0x7fffb42ff730, target = 0x13f6e60) ] Edge 320 <-> 321 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ea0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6e80) ] Edge 321 <-> 322 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ec0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ea0) ] Edge 322 <-> 323 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6ee0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ec0) ] Edge 323 <-> 324 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6f00) Arc: (edge = 0x7fffb42ff730, target = 0x13f6ee0) ] Edge 324 <-> 325 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6f20) Arc: (edge = 0x7fffb42ff730, target = 0x13f6f00) ] Edge 325 <-> 326 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6f40) Arc: (edge = 0x7fffb42ff730, target = 0x13f6f20) ] Edge 326 <-> 327 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6f60) Arc: (edge = 0x7fffb42ff730, target = 0x13f6f40) ] Edge 327 <-> 328 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6f80) Arc: (edge = 0x7fffb42ff730, target = 0x13f6f60) ] Edge 328 <-> 329 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6fa0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6f80) ] Edge 329 <-> 330 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f6fc0) Arc: (edge = 0x7fffb42ff730, target = 0x13f6fa0) ] Edge 331 <-> 332 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7000) Arc: (edge = 0x7fffb42ff730, target = 0x13f6fe0) ] Edge 332 <-> 333 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7020) Arc: (edge = 0x7fffb42ff730, target = 0x13f7000) ] Edge 333 <-> 334 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7040) Arc: (edge = 0x7fffb42ff730, target = 0x13f7020) ] Edge 334 <-> 335 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7060) Arc: (edge = 0x7fffb42ff730, target = 0x13f7040) ] Edge 335 <-> 336 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7080) Arc: (edge = 0x7fffb42ff730, target = 0x13f7060) ] Edge 336 <-> 337 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f70a0) Arc: (edge = 0x7fffb42ff730, target = 0x13f7080) ] Edge 337 <-> 338 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f70c0) Arc: (edge = 0x7fffb42ff730, target = 0x13f70a0) ] Edge 339 <-> 340 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7100) Arc: (edge = 0x7fffb42ff730, target = 0x13f70e0) ] Edge 340 <-> 341 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7120) Arc: (edge = 0x7fffb42ff730, target = 0x13f7100) ] Edge 341 <-> 342 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7140) Arc: (edge = 0x7fffb42ff730, target = 0x13f7120) ] Edge 342 <-> 343 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7160) Arc: (edge = 0x7fffb42ff730, target = 0x13f7140) ] Edge 343 <-> 344 [ Arc: (edge = 0x7fffb42ff730, target = 0x13f7180) Arc: (edge = 0x7fffb42ff730, target = 0x13f7160) ] ] Robot arrangement: (|R| = 2, |V| = 345) [ robot locations: {1#107 2#203 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 1#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 2#203 0#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 0#268 0#269 0#270 0#271 0#272 0#273 0#274 0#275 0#276 0#277 0#278 0#279 0#280 0#281 0#282 0#283 0#284 0#285 0#286 0#287 0#288 0#289 0#290 0#291 0#292 0#293 0#294 0#295 0#296 0#297 0#298 0#299 0#300 0#301 0#302 0#303 0#304 0#305 0#306 0#307 0#308 0#309 0#310 0#311 0#312 0#313 0#314 0#315 0#316 0#317 0#318 0#319 0#320 0#321 0#322 0#323 0#324 0#325 0#326 0#327 0#328 0#329 0#330 0#331 0#332 0#333 0#334 0#335 0#336 0#337 0#338 0#339 0#340 0#341 0#342 0#343 0#344 } ] Robot arrangement: (|R| = 2, |V| = 345) [ robot locations: {1#60 2#337 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 1#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 0#268 0#269 0#270 0#271 0#272 0#273 0#274 0#275 0#276 0#277 0#278 0#279 0#280 0#281 0#282 0#283 0#284 0#285 0#286 0#287 0#288 0#289 0#290 0#291 0#292 0#293 0#294 0#295 0#296 0#297 0#298 0#299 0#300 0#301 0#302 0#303 0#304 0#305 0#306 0#307 0#308 0#309 0#310 0#311 0#312 0#313 0#314 0#315 0#316 0#317 0#318 0#319 0#320 0#321 0#322 0#323 0#324 0#325 0#326 0#327 0#328 0#329 0#330 0#331 0#332 0#333 0#334 0#335 0#336 2#337 0#338 0#339 0#340 0#341 0#342 0#343 0#344 } ] Original solution: Mulirobot solution: (|moves| = 243, paralellism = 1.090) [ Step 0: 344#203->202 343#107->106 Step 1: 344#202->201 343#106->24 Step 2: 344#201->225 343#24->23 Step 3: 344#225->224 343#23->22 Step 4: 344#224->223 343#22->21 Step 5: 344#223->222 343#21->20 Step 6: 344#222->221 343#20->19 Step 7: 344#221->220 343#19->18 Step 8: 344#220->219 343#18->17 Step 9: 344#219->218 343#17->16 Step 10: 344#218->217 343#16->17 Step 11: 344#217->216 343#17->18 Step 12: 344#216->215 343#18->17 Step 13: 344#215->331 343#17->16 Step 14: 344#331->332 343#16->15 Step 15: 344#332->333 343#15->14 Step 16: 344#333->334 343#14->13 Step 17: 344#334->335 343#13->12 Step 18: 344#335->336 343#12->13 Step 19: 344#336->337 343#13->14 Step 20: 343#14->13 Step 21: 343#13->12 Step 22: 343#12->13 Step 23: 343#13->14 Step 24: 343#14->15 Step 25: 343#15->16 Step 26: 343#16->17 Step 27: 343#17->18 Step 28: 343#18->17 Step 29: 343#17->16 Step 30: 343#16->17 Step 31: 343#17->18 Step 32: 343#18->17 Step 33: 343#17->16 Step 34: 343#16->17 Step 35: 343#17->18 Step 36: 343#18->19 Step 37: 343#19->20 Step 38: 343#20->21 Step 39: 343#21->22 Step 40: 343#22->23 Step 41: 343#23->24 Step 42: 343#24->25 Step 43: 343#25->24 Step 44: 343#24->23 Step 45: 343#23->22 Step 46: 343#22->21 Step 47: 343#21->20 Step 48: 343#20->19 Step 49: 343#19->18 Step 50: 343#18->17 Step 51: 343#17->16 Step 52: 343#16->17 Step 53: 343#17->18 Step 54: 343#18->17 Step 55: 343#17->16 Step 56: 343#16->15 Step 57: 343#15->14 Step 58: 343#14->15 Step 59: 343#15->16 Step 60: 343#16->15 Step 61: 343#15->14 Step 62: 343#14->15 Step 63: 343#15->16 Step 64: 343#16->15 Step 65: 343#15->14 Step 66: 343#14->15 Step 67: 343#15->16 Step 68: 343#16->17 Step 69: 343#17->18 Step 70: 343#18->19 Step 71: 343#19->20 Step 72: 343#20->21 Step 73: 343#21->22 Step 74: 343#22->23 Step 75: 343#23->24 Step 76: 343#24->25 Step 77: 343#25->24 Step 78: 343#24->23 Step 79: 343#23->24 Step 80: 343#24->106 Step 81: 343#106->107 Step 82: 343#107->108 Step 83: 343#108->109 Step 84: 343#109->110 Step 85: 343#110->109 Step 86: 343#109->108 Step 87: 343#108->109 Step 88: 343#109->110 Step 89: 343#110->111 Step 90: 343#111->112 Step 91: 343#112->113 Step 92: 343#113->114 Step 93: 343#114->113 Step 94: 343#113->112 Step 95: 343#112->111 Step 96: 343#111->110 Step 97: 343#110->111 Step 98: 343#111->112 Step 99: 343#112->113 Step 100: 343#113->114 Step 101: 343#114->115 Step 102: 343#115->116 Step 103: 343#116->117 Step 104: 343#117->118 Step 105: 343#118->119 Step 106: 343#119->120 Step 107: 343#120->121 Step 108: 343#121->122 Step 109: 343#122->123 Step 110: 343#123->124 Step 111: 343#124->125 Step 112: 343#125->124 Step 113: 343#124->123 Step 114: 343#123->122 Step 115: 343#122->121 Step 116: 343#121->120 Step 117: 343#120->119 Step 118: 343#119->118 Step 119: 343#118->117 Step 120: 343#117->116 Step 121: 343#116->115 Step 122: 343#115->114 Step 123: 343#114->113 Step 124: 343#113->114 Step 125: 343#114->115 Step 126: 343#115->116 Step 127: 343#116->117 Step 128: 343#117->118 Step 129: 343#118->119 Step 130: 343#119->120 Step 131: 343#120->121 Step 132: 343#121->122 Step 133: 343#122->123 Step 134: 343#123->124 Step 135: 343#124->125 Step 136: 343#125->126 Step 137: 343#126->127 Step 138: 343#127->128 Step 139: 343#128->129 Step 140: 343#129->130 Step 141: 343#130->131 Step 142: 343#131->132 Step 143: 343#132->131 Step 144: 343#131->132 Step 145: 343#132->93 Step 146: 343#93->94 Step 147: 343#94->95 Step 148: 343#95->42 Step 149: 343#42->43 Step 150: 343#43->44 Step 151: 343#44->45 Step 152: 343#45->44 Step 153: 343#44->43 Step 154: 343#43->44 Step 155: 343#44->45 Step 156: 343#45->44 Step 157: 343#44->43 Step 158: 343#43->44 Step 159: 343#44->45 Step 160: 343#45->46 Step 161: 343#46->45 Step 162: 343#45->44 Step 163: 343#44->43 Step 164: 343#43->44 Step 165: 343#44->43 Step 166: 343#43->44 Step 167: 343#44->43 Step 168: 343#43->44 Step 169: 343#44->43 Step 170: 343#43->44 Step 171: 343#44->43 Step 172: 343#43->44 Step 173: 343#44->43 Step 174: 343#43->44 Step 175: 343#44->43 Step 176: 343#43->44 Step 177: 343#44->45 Step 178: 343#45->44 Step 179: 343#44->43 Step 180: 343#43->42 Step 181: 343#42->43 Step 182: 343#43->44 Step 183: 343#44->45 Step 184: 343#45->46 Step 185: 343#46->47 Step 186: 343#47->48 Step 187: 343#48->49 Step 188: 343#49->50 Step 189: 343#50->51 Step 190: 343#51->52 Step 191: 343#52->15 Step 192: 343#15->14 Step 193: 343#14->13 Step 194: 343#13->12 Step 195: 343#12->11 Step 196: 343#11->10 Step 197: 343#10->9 Step 198: 343#9->8 Step 199: 343#8->7 Step 200: 343#7->6 Step 201: 343#6->5 Step 202: 343#5->4 Step 203: 343#4->3 Step 204: 343#3->2 Step 205: 343#2->1 Step 206: 343#1->0 Step 207: 343#0->53 Step 208: 343#53->54 Step 209: 343#54->55 Step 210: 343#55->56 Step 211: 343#56->57 Step 212: 343#57->58 Step 213: 343#58->59 Step 214: 343#59->60 Step 215: 343#60->59 Step 216: 343#59->58 Step 217: 343#58->57 Step 218: 343#57->56 Step 219: 343#56->57 Step 220: 343#57->58 Step 221: 343#58->59 Step 222: 343#59->60 ] reSolved solution: Mulirobot solution: (|moves| = 39, paralellism = 1.950) [ Step 0: 1#107->106 2#203->202 Step 1: 1#106->24 2#202->201 Step 2: 1#24->25 2#201->225 Step 3: 1#25->26 2#225->224 Step 4: 1#26->27 2#224->223 Step 5: 1#27->28 2#223->222 Step 6: 1#28->29 2#222->221 Step 7: 1#29->30 2#221->220 Step 8: 1#30->31 2#220->219 Step 9: 1#31->32 2#219->218 Step 10: 1#32->0 2#218->217 Step 11: 1#0->53 2#217->216 Step 12: 1#53->54 2#216->215 Step 13: 1#54->55 2#215->331 Step 14: 1#55->56 2#331->332 Step 15: 1#56->57 2#332->333 Step 16: 1#57->58 2#333->334 Step 17: 1#58->59 2#334->335 Step 18: 1#59->60 2#335->336 Step 19: 2#336->337 ] Multirobot solution analysis: ( total makespan = 20 total distance = 19 total trajectory = 39 average parallelism = 1.950 average distance = 9.500 average trajectory = 19.500 parallelism distribution = [ 1 19 ] distance distribution = [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ] trajectory distribution = [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 ] ) Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 39 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.060 ] Sub-phases { Phase (name = 'WHCA*_solving') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 39 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 1818 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.010 ] } ] ----------------------------------------------------------------