================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,16 1,2 1,66 2,3 3,4 3,76 3,127 3,196 4,5 4,20 4,171 5,6 5,189 6,7 7,8 7,26 8,9 8,25 9,10 9,36 9,90 10,11 10,137 11,12 11,21 11,64 11,75 11,85 12,13 12,77 13,14 14,15 14,125 15,16 15,124 16,17 16,197 17,18 18,19 19,20 21,22 22,23 23,24 23,51 23,176 24,25 24,122 26,27 27,28 28,29 28,94 29,30 30,31 30,37 30,92 31,32 31,95 32,33 33,34 33,67 34,35 34,52 35,36 35,84 36,123 37,38 38,39 39,40 40,41 41,42 42,43 43,44 44,45 45,46 45,78 46,47 46,103 46,119 47,48 48,49 48,228 48,242 49,50 50,51 51,65 52,53 53,54 53,108 54,55 55,56 55,210 56,57 57,58 58,59 59,60 60,61 60,126 61,62 61,104 62,63 62,91 63,64 65,66 66,120 67,68 68,69 69,70 69,133 70,71 70,93 70,227 71,72 72,73 73,74 74,75 76,77 78,79 79,80 79,177 80,81 80,107 81,82 82,83 83,84 85,86 86,87 87,88 88,89 89,90 89,132 91,92 93,94 94,190 95,96 96,97 96,159 97,98 97,172 98,99 99,100 99,145 100,101 101,102 102,103 103,160 104,105 105,106 106,107 107,146 108,109 109,110 110,111 111,112 112,113 113,114 114,115 115,116 116,117 117,118 117,170 118,119 120,121 120,138 121,122 123,124 125,126 127,128 128,129 129,130 130,131 131,132 131,214 133,134 134,135 135,136 136,137 138,139 139,140 140,141 141,142 142,143 143,144 144,145 145,169 146,147 147,148 148,149 149,150 150,151 151,152 152,153 153,154 154,155 155,156 156,157 157,158 158,159 159,241 160,161 161,162 162,163 163,164 163,209 164,165 165,166 166,167 167,168 168,169 170,171 171,215 172,173 173,174 174,175 175,176 177,178 178,179 179,180 180,181 181,182 182,183 183,184 184,185 185,186 186,187 186,254 187,188 188,189 188,255 190,191 191,192 192,193 193,194 194,195 195,196 197,198 198,199 199,200 200,201 201,202 202,203 203,204 204,205 205,206 206,207 207,208 208,209 210,211 211,212 212,213 213,214 213,268 215,216 216,217 217,218 218,219 219,220 220,221 221,222 222,223 223,224 224,225 225,226 226,227 228,229 229,230 230,231 231,232 232,233 233,234 234,235 235,236 236,237 237,238 238,239 239,240 240,241 242,243 243,244 244,245 245,246 246,247 247,248 248,249 249,250 250,251 251,252 252,253 253,254 255,256 256,257 257,258 258,259 259,260 260,261 261,262 262,263 263,264 264,265 265,266 266,267 267,268 Reading initial arrangement... Reading original solution... Length:251 263 # 47 ---> 48 (0) 261 # 238 ---> 239 (0) 263 # 48 ---> 228 (1) 261 # 239 ---> 240 (1) 263 # 228 ---> 229 (2) 261 # 240 ---> 241 (2) 263 # 229 ---> 230 (3) 261 # 241 ---> 159 (3) 263 # 230 ---> 231 (4) 261 # 159 ---> 96 (4) 263 # 231 ---> 232 (5) 261 # 96 ---> 95 (5) 263 # 232 ---> 233 (6) 261 # 95 ---> 31 (6) 261 # 31 ---> 30 (7) 261 # 30 ---> 29 (8) 261 # 29 ---> 28 (9) 261 # 28 ---> 27 (10) 261 # 27 ---> 26 (11) 261 # 26 ---> 7 (12) 261 # 7 ---> 6 (13) 261 # 6 ---> 5 (14) 261 # 5 ---> 189 (15) 261 # 189 ---> 188 (16) 261 # 188 ---> 255 (17) 261 # 255 ---> 256 (18) 261 # 256 ---> 257 (19) 261 # 257 ---> 258 (20) 261 # 258 ---> 259 (21) 261 # 259 ---> 260 (22) 261 # 260 ---> 261 (23) 261 # 261 ---> 262 (24) 261 # 262 ---> 263 (25) 261 # 263 ---> 264 (26) 261 # 264 ---> 265 (27) 261 # 265 ---> 266 (28) 265 # 17 ---> 16 (0) 268 # 216 ---> 215 (0) 268 # 215 ---> 171 (1) 268 # 171 ---> 170 (2) 268 # 170 ---> 117 (3) 268 # 117 ---> 118 (4) 268 # 118 ---> 119 (5) 268 # 119 ---> 46 (6) 268 # 46 ---> 45 (7) 268 # 45 ---> 44 (8) 268 # 44 ---> 43 (9) 268 # 43 ---> 42 (10) 268 # 42 ---> 41 (11) 268 # 41 ---> 40 (12) 263 # 233 ---> 234 (7) 263 # 234 ---> 235 (8) 268 # 40 ---> 39 (13) 263 # 235 ---> 236 (9) 263 # 236 ---> 237 (10) 263 # 237 ---> 238 (11) 263 # 238 ---> 239 (12) 268 # 39 ---> 38 (14) 263 # 239 ---> 240 (13) 263 # 240 ---> 241 (14) 268 # 38 ---> 37 (15) 268 # 37 ---> 30 (16) 263 # 241 ---> 159 (15) 263 # 159 ---> 96 (16) 268 # 30 ---> 92 (17) 263 # 96 ---> 97 (17) 263 # 97 ---> 98 (18) 263 # 98 ---> 99 (19) 263 # 99 ---> 100 (20) 263 # 100 ---> 101 (21) 260 # 70 ---> 93 (0) 260 # 93 ---> 94 (1) 260 # 94 ---> 28 (10) 264 # 71 ---> 72 (0) 264 # 72 ---> 73 (1) 264 # 73 ---> 74 (2) 264 # 74 ---> 75 (3) 264 # 75 ---> 11 (4) 264 # 11 ---> 12 (5) 264 # 12 ---> 77 (6) 264 # 77 ---> 76 (7) 264 # 76 ---> 3 (8) 264 # 3 ---> 4 (9) 264 # 4 ---> 171 (10) 264 # 171 ---> 215 (11) 264 # 215 ---> 216 (12) 264 # 216 ---> 217 (13) 264 # 217 ---> 218 (14) 266 # 211 ---> 212 (0) 266 # 212 ---> 213 (1) 266 # 213 ---> 214 (2) 266 # 214 ---> 131 (3) 264 # 218 ---> 219 (15) 264 # 219 ---> 220 (16) 265 # 16 ---> 15 (1) 265 # 15 ---> 14 (2) 267 # 122 ---> 24 (0) 267 # 24 ---> 23 (1) 262 # 144 ---> 145 (0) 262 # 145 ---> 99 (20) 262 # 99 ---> 100 (21) 263 # 101 ---> 102 (22) 262 # 100 ---> 101 (22) 263 # 102 ---> 103 (23) 262 # 101 ---> 102 (23) 263 # 103 ---> 46 (24) 262 # 102 ---> 103 (24) 263 # 46 ---> 45 (25) 262 # 103 ---> 46 (25) 263 # 45 ---> 44 (26) 262 # 46 ---> 45 (26) 262 # 45 ---> 78 (27) 262 # 78 ---> 79 (28) 262 # 79 ---> 177 (29) 262 # 177 ---> 178 (30) 262 # 178 ---> 179 (31) 262 # 179 ---> 180 (32) 262 # 180 ---> 181 (33) 262 # 181 ---> 182 (34) 262 # 182 ---> 183 (35) 262 # 183 ---> 184 (36) 262 # 184 ---> 185 (37) 262 # 185 ---> 186 (38) 267 # 23 ---> 22 (2) 267 # 22 ---> 21 (3) 260 # 28 ---> 29 (11) 260 # 29 ---> 30 (17) 267 # 21 ---> 11 (5) 260 # 30 ---> 31 (18) 267 # 11 ---> 64 (6) 260 # 31 ---> 32 (19) 267 # 64 ---> 63 (7) 260 # 32 ---> 33 (20) 260 # 33 ---> 34 (21) 267 # 63 ---> 62 (8) 263 # 44 ---> 43 (27) 267 # 62 ---> 61 (9) 267 # 61 ---> 104 (10) 268 # 92 ---> 91 (18) 260 # 34 ---> 35 (22) 260 # 35 ---> 36 (23) 260 # 36 ---> 9 (24) 260 # 9 ---> 10 (25) 260 # 10 ---> 11 (26) 267 # 104 ---> 105 (11) 260 # 11 ---> 64 (27) 259 # 82 ---> 83 (0) 267 # 105 ---> 106 (12) 259 # 83 ---> 84 (1) 267 # 106 ---> 107 (13) 259 # 84 ---> 35 (23) 267 # 107 ---> 80 (14) 268 # 91 ---> 62 (19) 268 # 62 ---> 61 (20) 268 # 61 ---> 104 (21) 268 # 104 ---> 105 (22) 268 # 105 ---> 106 (23) 268 # 106 ---> 107 (24) 268 # 107 ---> 146 (25) 268 # 146 ---> 147 (26) 268 # 147 ---> 148 (27) 268 # 148 ---> 149 (28) 268 # 149 ---> 150 (29) 268 # 150 ---> 151 (30) 259 # 35 ---> 36 (24) 267 # 80 ---> 81 (15) 268 # 151 ---> 152 (31) 268 # 152 ---> 153 (32) 259 # 36 ---> 9 (25) 259 # 9 ---> 8 (26) 259 # 8 ---> 7 (27) 265 # 14 ---> 13 (3) 267 # 81 ---> 82 (16) 267 # 82 ---> 83 (17) 267 # 83 ---> 84 (23) 267 # 84 ---> 35 (24) 259 # 7 ---> 6 (28) 266 # 131 ---> 132 (4) 259 # 6 ---> 5 (29) 266 # 132 ---> 89 (5) 259 # 5 ---> 4 (30) 266 # 89 ---> 90 (6) 259 # 4 ---> 3 (31) 266 # 90 ---> 9 (26) 266 # 9 ---> 8 (27) 259 # 3 ---> 2 (32) 266 # 8 ---> 7 (28) 265 # 13 ---> 12 (6) 259 # 2 ---> 1 (33) 266 # 7 ---> 6 (29) 265 # 12 ---> 11 (27) 259 # 1 ---> 0 (34) 266 # 6 ---> 5 (30) 265 # 11 ---> 10 (28) 259 # 0 ---> 16 (35) 266 # 5 ---> 4 (31) 265 # 10 ---> 9 (29) 259 # 16 ---> 15 (36) 266 # 4 ---> 3 (32) 265 # 9 ---> 8 (30) 259 # 15 ---> 14 (37) 266 # 3 ---> 2 (33) 265 # 8 ---> 7 (31) 259 # 14 ---> 13 (38) 259 # 13 ---> 12 (39) 259 # 12 ---> 77 (40) 259 # 77 ---> 76 (41) 259 # 76 ---> 3 (42) 259 # 3 ---> 127 (43) 265 # 7 ---> 6 (32) 266 # 2 ---> 1 (34) 265 # 6 ---> 5 (33) 266 # 1 ---> 0 (35) 265 # 5 ---> 4 (34) 266 # 0 ---> 16 (36) 265 # 4 ---> 3 (43) 266 # 16 ---> 15 (37) 266 # 15 ---> 14 (38) 266 # 14 ---> 13 (39) 267 # 35 ---> 34 (25) 267 # 34 ---> 33 (26) 266 # 13 ---> 12 (40) 266 # 12 ---> 11 (41) 267 # 33 ---> 32 (27) 267 # 32 ---> 31 (28) 267 # 31 ---> 95 (29) 267 # 95 ---> 96 (30) 267 # 96 ---> 97 (31) 267 # 97 ---> 98 (32) 266 # 11 ---> 10 (42) 260 # 64 ---> 11 (42) 260 # 11 ---> 21 (43) 260 # 21 ---> 22 (44) 260 # 22 ---> 23 (45) 260 # 23 ---> 51 (46) 260 # 51 ---> 50 (47) 260 # 50 ---> 49 (48) 260 # 49 ---> 48 (49) 260 # 48 ---> 47 (50) 260 # 47 ---> 46 (51) 260 # 46 ---> 45 (52) 260 # 45 ---> 78 (53) 260 # 78 ---> 79 (54) 265 # 3 ---> 76 (44) 266 # 10 ---> 9 (43) 266 # 9 ---> 8 (44) 266 # 8 ---> 25 (45) 266 # 25 ---> 24 (46) 266 # 24 ---> 23 (47) 266 # 23 ---> 51 (48) 266 # 51 ---> 65 (49) Reading goal arrangement... Undirected graph: (|V|=269 |E|=302) [ Vertex: (id = 0) {1 16 } Vertex: (id = 1) {0 2 66 } Vertex: (id = 2) {1 3 } Vertex: (id = 3) {2 4 76 127 196 } Vertex: (id = 4) {3 5 20 171 } Vertex: (id = 5) {4 6 189 } Vertex: (id = 6) {5 7 } Vertex: (id = 7) {6 8 26 } Vertex: (id = 8) {7 9 25 } Vertex: (id = 9) {8 10 36 90 } Vertex: (id = 10) {9 11 137 } Vertex: (id = 11) {10 12 21 64 75 85 } Vertex: (id = 12) {11 13 77 } Vertex: (id = 13) {12 14 } Vertex: (id = 14) {13 15 125 } Vertex: (id = 15) {14 16 124 } Vertex: (id = 16) {0 15 17 197 } Vertex: (id = 17) {16 18 } Vertex: (id = 18) {17 19 } Vertex: (id = 19) {18 20 } Vertex: (id = 20) {4 19 } Vertex: (id = 21) {11 22 } Vertex: (id = 22) {21 23 } Vertex: (id = 23) {22 24 51 176 } Vertex: (id = 24) {23 25 122 } Vertex: (id = 25) {8 24 } Vertex: (id = 26) {7 27 } Vertex: (id = 27) {26 28 } Vertex: (id = 28) {27 29 94 } Vertex: (id = 29) {28 30 } Vertex: (id = 30) {29 31 37 92 } Vertex: (id = 31) {30 32 95 } Vertex: (id = 32) {31 33 } Vertex: (id = 33) {32 34 67 } Vertex: (id = 34) {33 35 52 } Vertex: (id = 35) {34 36 84 } Vertex: (id = 36) {9 35 123 } Vertex: (id = 37) {30 38 } Vertex: (id = 38) {37 39 } Vertex: (id = 39) {38 40 } Vertex: (id = 40) {39 41 } Vertex: (id = 41) {40 42 } Vertex: (id = 42) {41 43 } Vertex: (id = 43) {42 44 } Vertex: (id = 44) {43 45 } Vertex: (id = 45) {44 46 78 } Vertex: (id = 46) {45 47 103 119 } Vertex: (id = 47) {46 48 } Vertex: (id = 48) {47 49 228 242 } Vertex: (id = 49) {48 50 } Vertex: (id = 50) {49 51 } Vertex: (id = 51) {23 50 65 } Vertex: (id = 52) {34 53 } Vertex: (id = 53) {52 54 108 } Vertex: (id = 54) {53 55 } Vertex: (id = 55) {54 56 210 } 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 126 } Vertex: (id = 61) {60 62 104 } Vertex: (id = 62) {61 63 91 } Vertex: (id = 63) {62 64 } Vertex: (id = 64) {11 63 } Vertex: (id = 65) {51 66 } Vertex: (id = 66) {1 65 120 } Vertex: (id = 67) {33 68 } Vertex: (id = 68) {67 69 } Vertex: (id = 69) {68 70 133 } Vertex: (id = 70) {69 71 93 227 } Vertex: (id = 71) {70 72 } Vertex: (id = 72) {71 73 } Vertex: (id = 73) {72 74 } Vertex: (id = 74) {73 75 } Vertex: (id = 75) {11 74 } Vertex: (id = 76) {3 77 } Vertex: (id = 77) {12 76 } Vertex: (id = 78) {45 79 } Vertex: (id = 79) {78 80 177 } Vertex: (id = 80) {79 81 107 } Vertex: (id = 81) {80 82 } Vertex: (id = 82) {81 83 } Vertex: (id = 83) {82 84 } Vertex: (id = 84) {35 83 } Vertex: (id = 85) {11 86 } Vertex: (id = 86) {85 87 } Vertex: (id = 87) {86 88 } Vertex: (id = 88) {87 89 } Vertex: (id = 89) {88 90 132 } Vertex: (id = 90) {9 89 } Vertex: (id = 91) {62 92 } Vertex: (id = 92) {30 91 } Vertex: (id = 93) {70 94 } Vertex: (id = 94) {28 93 190 } Vertex: (id = 95) {31 96 } Vertex: (id = 96) {95 97 159 } Vertex: (id = 97) {96 98 172 } Vertex: (id = 98) {97 99 } Vertex: (id = 99) {98 100 145 } Vertex: (id = 100) {99 101 } Vertex: (id = 101) {100 102 } Vertex: (id = 102) {101 103 } Vertex: (id = 103) {46 102 160 } Vertex: (id = 104) {61 105 } Vertex: (id = 105) {104 106 } Vertex: (id = 106) {105 107 } Vertex: (id = 107) {80 106 146 } Vertex: (id = 108) {53 109 } Vertex: (id = 109) {108 110 } Vertex: (id = 110) {109 111 } Vertex: (id = 111) {110 112 } 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 170 } Vertex: (id = 118) {117 119 } Vertex: (id = 119) {46 118 } Vertex: (id = 120) {66 121 138 } Vertex: (id = 121) {120 122 } Vertex: (id = 122) {24 121 } Vertex: (id = 123) {36 124 } Vertex: (id = 124) {15 123 } Vertex: (id = 125) {14 126 } Vertex: (id = 126) {60 125 } Vertex: (id = 127) {3 128 } Vertex: (id = 128) {127 129 } Vertex: (id = 129) {128 130 } Vertex: (id = 130) {129 131 } Vertex: (id = 131) {130 132 214 } Vertex: (id = 132) {89 131 } Vertex: (id = 133) {69 134 } Vertex: (id = 134) {133 135 } Vertex: (id = 135) {134 136 } Vertex: (id = 136) {135 137 } Vertex: (id = 137) {10 136 } Vertex: (id = 138) {120 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) {99 144 169 } Vertex: (id = 146) {107 147 } Vertex: (id = 147) {146 148 } Vertex: (id = 148) {147 149 } Vertex: (id = 149) {148 150 } 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) {96 158 241 } Vertex: (id = 160) {103 161 } Vertex: (id = 161) {160 162 } Vertex: (id = 162) {161 163 } Vertex: (id = 163) {162 164 209 } 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) {145 168 } Vertex: (id = 170) {117 171 } Vertex: (id = 171) {4 170 215 } Vertex: (id = 172) {97 173 } Vertex: (id = 173) {172 174 } Vertex: (id = 174) {173 175 } Vertex: (id = 175) {174 176 } Vertex: (id = 176) {23 175 } Vertex: (id = 177) {79 178 } 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 254 } Vertex: (id = 187) {186 188 } Vertex: (id = 188) {187 189 255 } Vertex: (id = 189) {5 188 } Vertex: (id = 190) {94 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) {3 195 } Vertex: (id = 197) {16 198 } Vertex: (id = 198) {197 199 } Vertex: (id = 199) {198 200 } Vertex: (id = 200) {199 201 } Vertex: (id = 201) {200 202 } 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) {206 208 } Vertex: (id = 208) {207 209 } Vertex: (id = 209) {163 208 } Vertex: (id = 210) {55 211 } Vertex: (id = 211) {210 212 } Vertex: (id = 212) {211 213 } Vertex: (id = 213) {212 214 268 } Vertex: (id = 214) {131 213 } Vertex: (id = 215) {171 216 } Vertex: (id = 216) {215 217 } 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) {224 226 } Vertex: (id = 226) {225 227 } Vertex: (id = 227) {70 226 } Vertex: (id = 228) {48 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 } Vertex: (id = 239) {238 240 } Vertex: (id = 240) {239 241 } Vertex: (id = 241) {159 240 } Vertex: (id = 242) {48 243 } Vertex: (id = 243) {242 244 } Vertex: (id = 244) {243 245 } Vertex: (id = 245) {244 246 } Vertex: (id = 246) {245 247 } 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) {186 253 } Vertex: (id = 255) {188 256 } Vertex: (id = 256) {255 257 } Vertex: (id = 257) {256 258 } 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) {213 267 } Edge 0 <-> 1 [ Arc: (edge = 0x7fff09698c80, target = 0x7036a0) Arc: (edge = 0x7fff09698c80, target = 0x703680) ] Edge 0 <-> 16 [ Arc: (edge = 0x7fff09698c80, target = 0x703880) Arc: (edge = 0x7fff09698c80, target = 0x703680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fff09698c80, target = 0x7036c0) Arc: (edge = 0x7fff09698c80, target = 0x7036a0) ] Edge 1 <-> 66 [ Arc: (edge = 0x7fff09698c80, target = 0x703ec0) Arc: (edge = 0x7fff09698c80, target = 0x7036a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fff09698c80, target = 0x7036e0) Arc: (edge = 0x7fff09698c80, target = 0x7036c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fff09698c80, target = 0x703700) Arc: (edge = 0x7fff09698c80, target = 0x7036e0) ] Edge 3 <-> 76 [ Arc: (edge = 0x7fff09698c80, target = 0x704000) Arc: (edge = 0x7fff09698c80, target = 0x7036e0) ] Edge 3 <-> 127 [ Arc: (edge = 0x7fff09698c80, target = 0x704660) Arc: (edge = 0x7fff09698c80, target = 0x7036e0) ] Edge 3 <-> 196 [ Arc: (edge = 0x7fff09698c80, target = 0x704f00) Arc: (edge = 0x7fff09698c80, target = 0x7036e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fff09698c80, target = 0x703720) Arc: (edge = 0x7fff09698c80, target = 0x703700) ] Edge 4 <-> 20 [ Arc: (edge = 0x7fff09698c80, target = 0x703900) Arc: (edge = 0x7fff09698c80, target = 0x703700) ] Edge 4 <-> 171 [ Arc: (edge = 0x7fff09698c80, target = 0x704be0) Arc: (edge = 0x7fff09698c80, target = 0x703700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fff09698c80, target = 0x703740) Arc: (edge = 0x7fff09698c80, target = 0x703720) ] Edge 5 <-> 189 [ Arc: (edge = 0x7fff09698c80, target = 0x704e20) Arc: (edge = 0x7fff09698c80, target = 0x703720) ] Edge 6 <-> 7 [ Arc: (edge = 0x7fff09698c80, target = 0x703760) Arc: (edge = 0x7fff09698c80, target = 0x703740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fff09698c80, target = 0x703780) Arc: (edge = 0x7fff09698c80, target = 0x703760) ] Edge 7 <-> 26 [ Arc: (edge = 0x7fff09698c80, target = 0x7039c0) Arc: (edge = 0x7fff09698c80, target = 0x703760) ] Edge 8 <-> 9 [ Arc: (edge = 0x7fff09698c80, target = 0x7037a0) Arc: (edge = 0x7fff09698c80, target = 0x703780) ] Edge 8 <-> 25 [ Arc: (edge = 0x7fff09698c80, target = 0x7039a0) Arc: (edge = 0x7fff09698c80, target = 0x703780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff09698c80, target = 0x7037c0) Arc: (edge = 0x7fff09698c80, target = 0x7037a0) ] Edge 9 <-> 36 [ Arc: (edge = 0x7fff09698c80, target = 0x703b00) Arc: (edge = 0x7fff09698c80, target = 0x7037a0) ] Edge 9 <-> 90 [ Arc: (edge = 0x7fff09698c80, target = 0x7041c0) Arc: (edge = 0x7fff09698c80, target = 0x7037a0) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fff09698c80, target = 0x7037e0) Arc: (edge = 0x7fff09698c80, target = 0x7037c0) ] Edge 10 <-> 137 [ Arc: (edge = 0x7fff09698c80, target = 0x7047a0) Arc: (edge = 0x7fff09698c80, target = 0x7037c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff09698c80, target = 0x703800) Arc: (edge = 0x7fff09698c80, target = 0x7037e0) ] Edge 11 <-> 21 [ Arc: (edge = 0x7fff09698c80, target = 0x703920) Arc: (edge = 0x7fff09698c80, target = 0x7037e0) ] Edge 11 <-> 64 [ Arc: (edge = 0x7fff09698c80, target = 0x703e80) Arc: (edge = 0x7fff09698c80, target = 0x7037e0) ] Edge 11 <-> 75 [ Arc: (edge = 0x7fff09698c80, target = 0x703fe0) Arc: (edge = 0x7fff09698c80, target = 0x7037e0) ] Edge 11 <-> 85 [ Arc: (edge = 0x7fff09698c80, target = 0x704120) Arc: (edge = 0x7fff09698c80, target = 0x7037e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff09698c80, target = 0x703820) Arc: (edge = 0x7fff09698c80, target = 0x703800) ] Edge 12 <-> 77 [ Arc: (edge = 0x7fff09698c80, target = 0x704020) Arc: (edge = 0x7fff09698c80, target = 0x703800) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fff09698c80, target = 0x703840) Arc: (edge = 0x7fff09698c80, target = 0x703820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff09698c80, target = 0x703860) Arc: (edge = 0x7fff09698c80, target = 0x703840) ] Edge 14 <-> 125 [ Arc: (edge = 0x7fff09698c80, target = 0x704620) Arc: (edge = 0x7fff09698c80, target = 0x703840) ] Edge 15 <-> 16 [ Arc: (edge = 0x7fff09698c80, target = 0x703880) Arc: (edge = 0x7fff09698c80, target = 0x703860) ] Edge 15 <-> 124 [ Arc: (edge = 0x7fff09698c80, target = 0x704600) Arc: (edge = 0x7fff09698c80, target = 0x703860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff09698c80, target = 0x7038a0) Arc: (edge = 0x7fff09698c80, target = 0x703880) ] Edge 16 <-> 197 [ Arc: (edge = 0x7fff09698c80, target = 0x704f20) Arc: (edge = 0x7fff09698c80, target = 0x703880) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fff09698c80, target = 0x7038c0) Arc: (edge = 0x7fff09698c80, target = 0x7038a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff09698c80, target = 0x7038e0) Arc: (edge = 0x7fff09698c80, target = 0x7038c0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fff09698c80, target = 0x703900) Arc: (edge = 0x7fff09698c80, target = 0x7038e0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fff09698c80, target = 0x703940) Arc: (edge = 0x7fff09698c80, target = 0x703920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff09698c80, target = 0x703960) Arc: (edge = 0x7fff09698c80, target = 0x703940) ] Edge 23 <-> 24 [ Arc: (edge = 0x7fff09698c80, target = 0x703980) Arc: (edge = 0x7fff09698c80, target = 0x703960) ] Edge 23 <-> 51 [ Arc: (edge = 0x7fff09698c80, target = 0x703ce0) Arc: (edge = 0x7fff09698c80, target = 0x703960) ] Edge 23 <-> 176 [ Arc: (edge = 0x7fff09698c80, target = 0x704c80) Arc: (edge = 0x7fff09698c80, target = 0x703960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff09698c80, target = 0x7039a0) Arc: (edge = 0x7fff09698c80, target = 0x703980) ] Edge 24 <-> 122 [ Arc: (edge = 0x7fff09698c80, target = 0x7045c0) Arc: (edge = 0x7fff09698c80, target = 0x703980) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fff09698c80, target = 0x7039e0) Arc: (edge = 0x7fff09698c80, target = 0x7039c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff09698c80, target = 0x703a00) Arc: (edge = 0x7fff09698c80, target = 0x7039e0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fff09698c80, target = 0x703a20) Arc: (edge = 0x7fff09698c80, target = 0x703a00) ] Edge 28 <-> 94 [ Arc: (edge = 0x7fff09698c80, target = 0x704240) Arc: (edge = 0x7fff09698c80, target = 0x703a00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff09698c80, target = 0x703a40) Arc: (edge = 0x7fff09698c80, target = 0x703a20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff09698c80, target = 0x703a60) Arc: (edge = 0x7fff09698c80, target = 0x703a40) ] Edge 30 <-> 37 [ Arc: (edge = 0x7fff09698c80, target = 0x703b20) Arc: (edge = 0x7fff09698c80, target = 0x703a40) ] Edge 30 <-> 92 [ Arc: (edge = 0x7fff09698c80, target = 0x704200) Arc: (edge = 0x7fff09698c80, target = 0x703a40) ] Edge 31 <-> 32 [ Arc: (edge = 0x7fff09698c80, target = 0x703a80) Arc: (edge = 0x7fff09698c80, target = 0x703a60) ] Edge 31 <-> 95 [ Arc: (edge = 0x7fff09698c80, target = 0x704260) Arc: (edge = 0x7fff09698c80, target = 0x703a60) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff09698c80, target = 0x703aa0) Arc: (edge = 0x7fff09698c80, target = 0x703a80) ] Edge 33 <-> 34 [ Arc: (edge = 0x7fff09698c80, target = 0x703ac0) Arc: (edge = 0x7fff09698c80, target = 0x703aa0) ] Edge 33 <-> 67 [ Arc: (edge = 0x7fff09698c80, target = 0x703ee0) Arc: (edge = 0x7fff09698c80, target = 0x703aa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fff09698c80, target = 0x703ae0) Arc: (edge = 0x7fff09698c80, target = 0x703ac0) ] Edge 34 <-> 52 [ Arc: (edge = 0x7fff09698c80, target = 0x703d00) Arc: (edge = 0x7fff09698c80, target = 0x703ac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7fff09698c80, target = 0x703b00) Arc: (edge = 0x7fff09698c80, target = 0x703ae0) ] Edge 35 <-> 84 [ Arc: (edge = 0x7fff09698c80, target = 0x704100) Arc: (edge = 0x7fff09698c80, target = 0x703ae0) ] Edge 36 <-> 123 [ Arc: (edge = 0x7fff09698c80, target = 0x7045e0) Arc: (edge = 0x7fff09698c80, target = 0x703b00) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fff09698c80, target = 0x703b40) Arc: (edge = 0x7fff09698c80, target = 0x703b20) ] Edge 38 <-> 39 [ Arc: (edge = 0x7fff09698c80, target = 0x703b60) Arc: (edge = 0x7fff09698c80, target = 0x703b40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fff09698c80, target = 0x703b80) Arc: (edge = 0x7fff09698c80, target = 0x703b60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff09698c80, target = 0x703ba0) Arc: (edge = 0x7fff09698c80, target = 0x703b80) ] Edge 41 <-> 42 [ Arc: (edge = 0x7fff09698c80, target = 0x703bc0) Arc: (edge = 0x7fff09698c80, target = 0x703ba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7fff09698c80, target = 0x703be0) Arc: (edge = 0x7fff09698c80, target = 0x703bc0) ] Edge 43 <-> 44 [ Arc: (edge = 0x7fff09698c80, target = 0x703c00) Arc: (edge = 0x7fff09698c80, target = 0x703be0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7fff09698c80, target = 0x703c20) Arc: (edge = 0x7fff09698c80, target = 0x703c00) ] Edge 45 <-> 46 [ Arc: (edge = 0x7fff09698c80, target = 0x703c40) Arc: (edge = 0x7fff09698c80, target = 0x703c20) ] Edge 45 <-> 78 [ Arc: (edge = 0x7fff09698c80, target = 0x704040) Arc: (edge = 0x7fff09698c80, target = 0x703c20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fff09698c80, target = 0x703c60) Arc: (edge = 0x7fff09698c80, target = 0x703c40) ] Edge 46 <-> 103 [ Arc: (edge = 0x7fff09698c80, target = 0x704360) Arc: (edge = 0x7fff09698c80, target = 0x703c40) ] Edge 46 <-> 119 [ Arc: (edge = 0x7fff09698c80, target = 0x704560) Arc: (edge = 0x7fff09698c80, target = 0x703c40) ] Edge 47 <-> 48 [ Arc: (edge = 0x7fff09698c80, target = 0x703c80) Arc: (edge = 0x7fff09698c80, target = 0x703c60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff09698c80, target = 0x703ca0) Arc: (edge = 0x7fff09698c80, target = 0x703c80) ] Edge 48 <-> 228 [ Arc: (edge = 0x7fff09698c80, target = 0x705300) Arc: (edge = 0x7fff09698c80, target = 0x703c80) ] Edge 48 <-> 242 [ Arc: (edge = 0x7fff09698c80, target = 0x7054c0) Arc: (edge = 0x7fff09698c80, target = 0x703c80) ] Edge 49 <-> 50 [ Arc: (edge = 0x7fff09698c80, target = 0x703cc0) Arc: (edge = 0x7fff09698c80, target = 0x703ca0) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fff09698c80, target = 0x703ce0) Arc: (edge = 0x7fff09698c80, target = 0x703cc0) ] Edge 51 <-> 65 [ Arc: (edge = 0x7fff09698c80, target = 0x703ea0) Arc: (edge = 0x7fff09698c80, target = 0x703ce0) ] Edge 52 <-> 53 [ Arc: (edge = 0x7fff09698c80, target = 0x703d20) Arc: (edge = 0x7fff09698c80, target = 0x703d00) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fff09698c80, target = 0x703d40) Arc: (edge = 0x7fff09698c80, target = 0x703d20) ] Edge 53 <-> 108 [ Arc: (edge = 0x7fff09698c80, target = 0x704400) Arc: (edge = 0x7fff09698c80, target = 0x703d20) ] Edge 54 <-> 55 [ Arc: (edge = 0x7fff09698c80, target = 0x703d60) Arc: (edge = 0x7fff09698c80, target = 0x703d40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fff09698c80, target = 0x703d80) Arc: (edge = 0x7fff09698c80, target = 0x703d60) ] Edge 55 <-> 210 [ Arc: (edge = 0x7fff09698c80, target = 0x7050c0) Arc: (edge = 0x7fff09698c80, target = 0x703d60) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fff09698c80, target = 0x703da0) Arc: (edge = 0x7fff09698c80, target = 0x703d80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fff09698c80, target = 0x703dc0) Arc: (edge = 0x7fff09698c80, target = 0x703da0) ] Edge 58 <-> 59 [ Arc: (edge = 0x7fff09698c80, target = 0x703de0) Arc: (edge = 0x7fff09698c80, target = 0x703dc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fff09698c80, target = 0x703e00) Arc: (edge = 0x7fff09698c80, target = 0x703de0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7fff09698c80, target = 0x703e20) Arc: (edge = 0x7fff09698c80, target = 0x703e00) ] Edge 60 <-> 126 [ Arc: (edge = 0x7fff09698c80, target = 0x704640) Arc: (edge = 0x7fff09698c80, target = 0x703e00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7fff09698c80, target = 0x703e40) Arc: (edge = 0x7fff09698c80, target = 0x703e20) ] Edge 61 <-> 104 [ Arc: (edge = 0x7fff09698c80, target = 0x704380) Arc: (edge = 0x7fff09698c80, target = 0x703e20) ] Edge 62 <-> 63 [ Arc: (edge = 0x7fff09698c80, target = 0x703e60) Arc: (edge = 0x7fff09698c80, target = 0x703e40) ] Edge 62 <-> 91 [ Arc: (edge = 0x7fff09698c80, target = 0x7041e0) Arc: (edge = 0x7fff09698c80, target = 0x703e40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7fff09698c80, target = 0x703e80) Arc: (edge = 0x7fff09698c80, target = 0x703e60) ] Edge 65 <-> 66 [ Arc: (edge = 0x7fff09698c80, target = 0x703ec0) Arc: (edge = 0x7fff09698c80, target = 0x703ea0) ] Edge 66 <-> 120 [ Arc: (edge = 0x7fff09698c80, target = 0x704580) Arc: (edge = 0x7fff09698c80, target = 0x703ec0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7fff09698c80, target = 0x703f00) Arc: (edge = 0x7fff09698c80, target = 0x703ee0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7fff09698c80, target = 0x703f20) Arc: (edge = 0x7fff09698c80, target = 0x703f00) ] Edge 69 <-> 70 [ Arc: (edge = 0x7fff09698c80, target = 0x703f40) Arc: (edge = 0x7fff09698c80, target = 0x703f20) ] Edge 69 <-> 133 [ Arc: (edge = 0x7fff09698c80, target = 0x704720) Arc: (edge = 0x7fff09698c80, target = 0x703f20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fff09698c80, target = 0x703f60) Arc: (edge = 0x7fff09698c80, target = 0x703f40) ] Edge 70 <-> 93 [ Arc: (edge = 0x7fff09698c80, target = 0x704220) Arc: (edge = 0x7fff09698c80, target = 0x703f40) ] Edge 70 <-> 227 [ Arc: (edge = 0x7fff09698c80, target = 0x7052e0) Arc: (edge = 0x7fff09698c80, target = 0x703f40) ] Edge 71 <-> 72 [ Arc: (edge = 0x7fff09698c80, target = 0x703f80) Arc: (edge = 0x7fff09698c80, target = 0x703f60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fff09698c80, target = 0x703fa0) Arc: (edge = 0x7fff09698c80, target = 0x703f80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fff09698c80, target = 0x703fc0) Arc: (edge = 0x7fff09698c80, target = 0x703fa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fff09698c80, target = 0x703fe0) Arc: (edge = 0x7fff09698c80, target = 0x703fc0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7fff09698c80, target = 0x704020) Arc: (edge = 0x7fff09698c80, target = 0x704000) ] Edge 78 <-> 79 [ Arc: (edge = 0x7fff09698c80, target = 0x704060) Arc: (edge = 0x7fff09698c80, target = 0x704040) ] Edge 79 <-> 80 [ Arc: (edge = 0x7fff09698c80, target = 0x704080) Arc: (edge = 0x7fff09698c80, target = 0x704060) ] Edge 79 <-> 177 [ Arc: (edge = 0x7fff09698c80, target = 0x704ca0) Arc: (edge = 0x7fff09698c80, target = 0x704060) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff09698c80, target = 0x7040a0) Arc: (edge = 0x7fff09698c80, target = 0x704080) ] Edge 80 <-> 107 [ Arc: (edge = 0x7fff09698c80, target = 0x7043e0) Arc: (edge = 0x7fff09698c80, target = 0x704080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fff09698c80, target = 0x7040c0) Arc: (edge = 0x7fff09698c80, target = 0x7040a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fff09698c80, target = 0x7040e0) Arc: (edge = 0x7fff09698c80, target = 0x7040c0) ] Edge 83 <-> 84 [ Arc: (edge = 0x7fff09698c80, target = 0x704100) Arc: (edge = 0x7fff09698c80, target = 0x7040e0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fff09698c80, target = 0x704140) Arc: (edge = 0x7fff09698c80, target = 0x704120) ] Edge 86 <-> 87 [ Arc: (edge = 0x7fff09698c80, target = 0x704160) Arc: (edge = 0x7fff09698c80, target = 0x704140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fff09698c80, target = 0x704180) Arc: (edge = 0x7fff09698c80, target = 0x704160) ] Edge 88 <-> 89 [ Arc: (edge = 0x7fff09698c80, target = 0x7041a0) Arc: (edge = 0x7fff09698c80, target = 0x704180) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fff09698c80, target = 0x7041c0) Arc: (edge = 0x7fff09698c80, target = 0x7041a0) ] Edge 89 <-> 132 [ Arc: (edge = 0x7fff09698c80, target = 0x704700) Arc: (edge = 0x7fff09698c80, target = 0x7041a0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7fff09698c80, target = 0x704200) Arc: (edge = 0x7fff09698c80, target = 0x7041e0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7fff09698c80, target = 0x704240) Arc: (edge = 0x7fff09698c80, target = 0x704220) ] Edge 94 <-> 190 [ Arc: (edge = 0x7fff09698c80, target = 0x704e40) Arc: (edge = 0x7fff09698c80, target = 0x704240) ] Edge 95 <-> 96 [ Arc: (edge = 0x7fff09698c80, target = 0x704280) Arc: (edge = 0x7fff09698c80, target = 0x704260) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff09698c80, target = 0x7042a0) Arc: (edge = 0x7fff09698c80, target = 0x704280) ] Edge 96 <-> 159 [ Arc: (edge = 0x7fff09698c80, target = 0x704a60) Arc: (edge = 0x7fff09698c80, target = 0x704280) ] Edge 97 <-> 98 [ Arc: (edge = 0x7fff09698c80, target = 0x7042c0) Arc: (edge = 0x7fff09698c80, target = 0x7042a0) ] Edge 97 <-> 172 [ Arc: (edge = 0x7fff09698c80, target = 0x704c00) Arc: (edge = 0x7fff09698c80, target = 0x7042a0) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fff09698c80, target = 0x7042e0) Arc: (edge = 0x7fff09698c80, target = 0x7042c0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7fff09698c80, target = 0x704300) Arc: (edge = 0x7fff09698c80, target = 0x7042e0) ] Edge 99 <-> 145 [ Arc: (edge = 0x7fff09698c80, target = 0x7048a0) Arc: (edge = 0x7fff09698c80, target = 0x7042e0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fff09698c80, target = 0x704320) Arc: (edge = 0x7fff09698c80, target = 0x704300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7fff09698c80, target = 0x704340) Arc: (edge = 0x7fff09698c80, target = 0x704320) ] Edge 102 <-> 103 [ Arc: (edge = 0x7fff09698c80, target = 0x704360) Arc: (edge = 0x7fff09698c80, target = 0x704340) ] Edge 103 <-> 160 [ Arc: (edge = 0x7fff09698c80, target = 0x704a80) Arc: (edge = 0x7fff09698c80, target = 0x704360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fff09698c80, target = 0x7043a0) Arc: (edge = 0x7fff09698c80, target = 0x704380) ] Edge 105 <-> 106 [ Arc: (edge = 0x7fff09698c80, target = 0x7043c0) Arc: (edge = 0x7fff09698c80, target = 0x7043a0) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fff09698c80, target = 0x7043e0) Arc: (edge = 0x7fff09698c80, target = 0x7043c0) ] Edge 107 <-> 146 [ Arc: (edge = 0x7fff09698c80, target = 0x7048c0) Arc: (edge = 0x7fff09698c80, target = 0x7043e0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fff09698c80, target = 0x704420) Arc: (edge = 0x7fff09698c80, target = 0x704400) ] Edge 109 <-> 110 [ Arc: (edge = 0x7fff09698c80, target = 0x704440) Arc: (edge = 0x7fff09698c80, target = 0x704420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7fff09698c80, target = 0x704460) Arc: (edge = 0x7fff09698c80, target = 0x704440) ] Edge 111 <-> 112 [ Arc: (edge = 0x7fff09698c80, target = 0x704480) Arc: (edge = 0x7fff09698c80, target = 0x704460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff09698c80, target = 0x7044a0) Arc: (edge = 0x7fff09698c80, target = 0x704480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fff09698c80, target = 0x7044c0) Arc: (edge = 0x7fff09698c80, target = 0x7044a0) ] Edge 114 <-> 115 [ Arc: (edge = 0x7fff09698c80, target = 0x7044e0) Arc: (edge = 0x7fff09698c80, target = 0x7044c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fff09698c80, target = 0x704500) Arc: (edge = 0x7fff09698c80, target = 0x7044e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7fff09698c80, target = 0x704520) Arc: (edge = 0x7fff09698c80, target = 0x704500) ] Edge 117 <-> 118 [ Arc: (edge = 0x7fff09698c80, target = 0x704540) Arc: (edge = 0x7fff09698c80, target = 0x704520) ] Edge 117 <-> 170 [ Arc: (edge = 0x7fff09698c80, target = 0x704bc0) Arc: (edge = 0x7fff09698c80, target = 0x704520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fff09698c80, target = 0x704560) Arc: (edge = 0x7fff09698c80, target = 0x704540) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fff09698c80, target = 0x7045a0) Arc: (edge = 0x7fff09698c80, target = 0x704580) ] Edge 120 <-> 138 [ Arc: (edge = 0x7fff09698c80, target = 0x7047c0) Arc: (edge = 0x7fff09698c80, target = 0x704580) ] Edge 121 <-> 122 [ Arc: (edge = 0x7fff09698c80, target = 0x7045c0) Arc: (edge = 0x7fff09698c80, target = 0x7045a0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7fff09698c80, target = 0x704600) Arc: (edge = 0x7fff09698c80, target = 0x7045e0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7fff09698c80, target = 0x704640) Arc: (edge = 0x7fff09698c80, target = 0x704620) ] Edge 127 <-> 128 [ Arc: (edge = 0x7fff09698c80, target = 0x704680) Arc: (edge = 0x7fff09698c80, target = 0x704660) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fff09698c80, target = 0x7046a0) Arc: (edge = 0x7fff09698c80, target = 0x704680) ] Edge 129 <-> 130 [ Arc: (edge = 0x7fff09698c80, target = 0x7046c0) Arc: (edge = 0x7fff09698c80, target = 0x7046a0) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fff09698c80, target = 0x7046e0) Arc: (edge = 0x7fff09698c80, target = 0x7046c0) ] Edge 131 <-> 132 [ Arc: (edge = 0x7fff09698c80, target = 0x704700) Arc: (edge = 0x7fff09698c80, target = 0x7046e0) ] Edge 131 <-> 214 [ Arc: (edge = 0x7fff09698c80, target = 0x705140) Arc: (edge = 0x7fff09698c80, target = 0x7046e0) ] Edge 133 <-> 134 [ Arc: (edge = 0x7fff09698c80, target = 0x704740) Arc: (edge = 0x7fff09698c80, target = 0x704720) ] Edge 134 <-> 135 [ Arc: (edge = 0x7fff09698c80, target = 0x704760) Arc: (edge = 0x7fff09698c80, target = 0x704740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7fff09698c80, target = 0x704780) Arc: (edge = 0x7fff09698c80, target = 0x704760) ] Edge 136 <-> 137 [ Arc: (edge = 0x7fff09698c80, target = 0x7047a0) Arc: (edge = 0x7fff09698c80, target = 0x704780) ] Edge 138 <-> 139 [ Arc: (edge = 0x7fff09698c80, target = 0x7047e0) Arc: (edge = 0x7fff09698c80, target = 0x7047c0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7fff09698c80, target = 0x704800) Arc: (edge = 0x7fff09698c80, target = 0x7047e0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7fff09698c80, target = 0x704820) Arc: (edge = 0x7fff09698c80, target = 0x704800) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fff09698c80, target = 0x704840) Arc: (edge = 0x7fff09698c80, target = 0x704820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fff09698c80, target = 0x704860) Arc: (edge = 0x7fff09698c80, target = 0x704840) ] Edge 143 <-> 144 [ Arc: (edge = 0x7fff09698c80, target = 0x704880) Arc: (edge = 0x7fff09698c80, target = 0x704860) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fff09698c80, target = 0x7048a0) Arc: (edge = 0x7fff09698c80, target = 0x704880) ] Edge 145 <-> 169 [ Arc: (edge = 0x7fff09698c80, target = 0x704ba0) Arc: (edge = 0x7fff09698c80, target = 0x7048a0) ] Edge 146 <-> 147 [ Arc: (edge = 0x7fff09698c80, target = 0x7048e0) Arc: (edge = 0x7fff09698c80, target = 0x7048c0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fff09698c80, target = 0x704900) Arc: (edge = 0x7fff09698c80, target = 0x7048e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fff09698c80, target = 0x704920) Arc: (edge = 0x7fff09698c80, target = 0x704900) ] Edge 149 <-> 150 [ Arc: (edge = 0x7fff09698c80, target = 0x704940) Arc: (edge = 0x7fff09698c80, target = 0x704920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fff09698c80, target = 0x704960) Arc: (edge = 0x7fff09698c80, target = 0x704940) ] Edge 151 <-> 152 [ Arc: (edge = 0x7fff09698c80, target = 0x704980) Arc: (edge = 0x7fff09698c80, target = 0x704960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7fff09698c80, target = 0x7049a0) Arc: (edge = 0x7fff09698c80, target = 0x704980) ] Edge 153 <-> 154 [ Arc: (edge = 0x7fff09698c80, target = 0x7049c0) Arc: (edge = 0x7fff09698c80, target = 0x7049a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fff09698c80, target = 0x7049e0) Arc: (edge = 0x7fff09698c80, target = 0x7049c0) ] Edge 155 <-> 156 [ Arc: (edge = 0x7fff09698c80, target = 0x704a00) Arc: (edge = 0x7fff09698c80, target = 0x7049e0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fff09698c80, target = 0x704a20) Arc: (edge = 0x7fff09698c80, target = 0x704a00) ] Edge 157 <-> 158 [ Arc: (edge = 0x7fff09698c80, target = 0x704a40) Arc: (edge = 0x7fff09698c80, target = 0x704a20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fff09698c80, target = 0x704a60) Arc: (edge = 0x7fff09698c80, target = 0x704a40) ] Edge 159 <-> 241 [ Arc: (edge = 0x7fff09698c80, target = 0x7054a0) Arc: (edge = 0x7fff09698c80, target = 0x704a60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fff09698c80, target = 0x704aa0) Arc: (edge = 0x7fff09698c80, target = 0x704a80) ] Edge 161 <-> 162 [ Arc: (edge = 0x7fff09698c80, target = 0x704ac0) Arc: (edge = 0x7fff09698c80, target = 0x704aa0) ] Edge 162 <-> 163 [ Arc: (edge = 0x7fff09698c80, target = 0x704ae0) Arc: (edge = 0x7fff09698c80, target = 0x704ac0) ] Edge 163 <-> 164 [ Arc: (edge = 0x7fff09698c80, target = 0x704b00) Arc: (edge = 0x7fff09698c80, target = 0x704ae0) ] Edge 163 <-> 209 [ Arc: (edge = 0x7fff09698c80, target = 0x7050a0) Arc: (edge = 0x7fff09698c80, target = 0x704ae0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fff09698c80, target = 0x704b20) Arc: (edge = 0x7fff09698c80, target = 0x704b00) ] Edge 165 <-> 166 [ Arc: (edge = 0x7fff09698c80, target = 0x704b40) Arc: (edge = 0x7fff09698c80, target = 0x704b20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fff09698c80, target = 0x704b60) Arc: (edge = 0x7fff09698c80, target = 0x704b40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fff09698c80, target = 0x704b80) Arc: (edge = 0x7fff09698c80, target = 0x704b60) ] Edge 168 <-> 169 [ Arc: (edge = 0x7fff09698c80, target = 0x704ba0) Arc: (edge = 0x7fff09698c80, target = 0x704b80) ] Edge 170 <-> 171 [ Arc: (edge = 0x7fff09698c80, target = 0x704be0) Arc: (edge = 0x7fff09698c80, target = 0x704bc0) ] Edge 171 <-> 215 [ Arc: (edge = 0x7fff09698c80, target = 0x705160) Arc: (edge = 0x7fff09698c80, target = 0x704be0) ] Edge 172 <-> 173 [ Arc: (edge = 0x7fff09698c80, target = 0x704c20) Arc: (edge = 0x7fff09698c80, target = 0x704c00) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fff09698c80, target = 0x704c40) Arc: (edge = 0x7fff09698c80, target = 0x704c20) ] Edge 174 <-> 175 [ Arc: (edge = 0x7fff09698c80, target = 0x704c60) Arc: (edge = 0x7fff09698c80, target = 0x704c40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fff09698c80, target = 0x704c80) Arc: (edge = 0x7fff09698c80, target = 0x704c60) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fff09698c80, target = 0x704cc0) Arc: (edge = 0x7fff09698c80, target = 0x704ca0) ] Edge 178 <-> 179 [ Arc: (edge = 0x7fff09698c80, target = 0x704ce0) Arc: (edge = 0x7fff09698c80, target = 0x704cc0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fff09698c80, target = 0x704d00) Arc: (edge = 0x7fff09698c80, target = 0x704ce0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7fff09698c80, target = 0x704d20) Arc: (edge = 0x7fff09698c80, target = 0x704d00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7fff09698c80, target = 0x704d40) Arc: (edge = 0x7fff09698c80, target = 0x704d20) ] Edge 182 <-> 183 [ Arc: (edge = 0x7fff09698c80, target = 0x704d60) Arc: (edge = 0x7fff09698c80, target = 0x704d40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7fff09698c80, target = 0x704d80) Arc: (edge = 0x7fff09698c80, target = 0x704d60) ] Edge 184 <-> 185 [ Arc: (edge = 0x7fff09698c80, target = 0x704da0) Arc: (edge = 0x7fff09698c80, target = 0x704d80) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fff09698c80, target = 0x704dc0) Arc: (edge = 0x7fff09698c80, target = 0x704da0) ] Edge 186 <-> 187 [ Arc: (edge = 0x7fff09698c80, target = 0x704de0) Arc: (edge = 0x7fff09698c80, target = 0x704dc0) ] Edge 186 <-> 254 [ Arc: (edge = 0x7fff09698c80, target = 0x705640) Arc: (edge = 0x7fff09698c80, target = 0x704dc0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fff09698c80, target = 0x704e00) Arc: (edge = 0x7fff09698c80, target = 0x704de0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7fff09698c80, target = 0x704e20) Arc: (edge = 0x7fff09698c80, target = 0x704e00) ] Edge 188 <-> 255 [ Arc: (edge = 0x7fff09698c80, target = 0x705660) Arc: (edge = 0x7fff09698c80, target = 0x704e00) ] Edge 190 <-> 191 [ Arc: (edge = 0x7fff09698c80, target = 0x704e60) Arc: (edge = 0x7fff09698c80, target = 0x704e40) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fff09698c80, target = 0x704e80) Arc: (edge = 0x7fff09698c80, target = 0x704e60) ] Edge 192 <-> 193 [ Arc: (edge = 0x7fff09698c80, target = 0x704ea0) Arc: (edge = 0x7fff09698c80, target = 0x704e80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fff09698c80, target = 0x704ec0) Arc: (edge = 0x7fff09698c80, target = 0x704ea0) ] Edge 194 <-> 195 [ Arc: (edge = 0x7fff09698c80, target = 0x704ee0) Arc: (edge = 0x7fff09698c80, target = 0x704ec0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fff09698c80, target = 0x704f00) Arc: (edge = 0x7fff09698c80, target = 0x704ee0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7fff09698c80, target = 0x704f40) Arc: (edge = 0x7fff09698c80, target = 0x704f20) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fff09698c80, target = 0x704f60) Arc: (edge = 0x7fff09698c80, target = 0x704f40) ] Edge 199 <-> 200 [ Arc: (edge = 0x7fff09698c80, target = 0x704f80) Arc: (edge = 0x7fff09698c80, target = 0x704f60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fff09698c80, target = 0x704fa0) Arc: (edge = 0x7fff09698c80, target = 0x704f80) ] Edge 201 <-> 202 [ Arc: (edge = 0x7fff09698c80, target = 0x704fc0) Arc: (edge = 0x7fff09698c80, target = 0x704fa0) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fff09698c80, target = 0x704fe0) Arc: (edge = 0x7fff09698c80, target = 0x704fc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fff09698c80, target = 0x705000) Arc: (edge = 0x7fff09698c80, target = 0x704fe0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7fff09698c80, target = 0x705020) Arc: (edge = 0x7fff09698c80, target = 0x705000) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fff09698c80, target = 0x705040) Arc: (edge = 0x7fff09698c80, target = 0x705020) ] Edge 206 <-> 207 [ Arc: (edge = 0x7fff09698c80, target = 0x705060) Arc: (edge = 0x7fff09698c80, target = 0x705040) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fff09698c80, target = 0x705080) Arc: (edge = 0x7fff09698c80, target = 0x705060) ] Edge 208 <-> 209 [ Arc: (edge = 0x7fff09698c80, target = 0x7050a0) Arc: (edge = 0x7fff09698c80, target = 0x705080) ] Edge 210 <-> 211 [ Arc: (edge = 0x7fff09698c80, target = 0x7050e0) Arc: (edge = 0x7fff09698c80, target = 0x7050c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fff09698c80, target = 0x705100) Arc: (edge = 0x7fff09698c80, target = 0x7050e0) ] Edge 212 <-> 213 [ Arc: (edge = 0x7fff09698c80, target = 0x705120) Arc: (edge = 0x7fff09698c80, target = 0x705100) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fff09698c80, target = 0x705140) Arc: (edge = 0x7fff09698c80, target = 0x705120) ] Edge 213 <-> 268 [ Arc: (edge = 0x7fff09698c80, target = 0x705800) Arc: (edge = 0x7fff09698c80, target = 0x705120) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fff09698c80, target = 0x705180) Arc: (edge = 0x7fff09698c80, target = 0x705160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fff09698c80, target = 0x7051a0) Arc: (edge = 0x7fff09698c80, target = 0x705180) ] Edge 217 <-> 218 [ Arc: (edge = 0x7fff09698c80, target = 0x7051c0) Arc: (edge = 0x7fff09698c80, target = 0x7051a0) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fff09698c80, target = 0x7051e0) Arc: (edge = 0x7fff09698c80, target = 0x7051c0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7fff09698c80, target = 0x705200) Arc: (edge = 0x7fff09698c80, target = 0x7051e0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fff09698c80, target = 0x705220) Arc: (edge = 0x7fff09698c80, target = 0x705200) ] Edge 221 <-> 222 [ Arc: (edge = 0x7fff09698c80, target = 0x705240) Arc: (edge = 0x7fff09698c80, target = 0x705220) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fff09698c80, target = 0x705260) Arc: (edge = 0x7fff09698c80, target = 0x705240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fff09698c80, target = 0x705280) Arc: (edge = 0x7fff09698c80, target = 0x705260) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fff09698c80, target = 0x7052a0) Arc: (edge = 0x7fff09698c80, target = 0x705280) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fff09698c80, target = 0x7052c0) Arc: (edge = 0x7fff09698c80, target = 0x7052a0) ] Edge 226 <-> 227 [ Arc: (edge = 0x7fff09698c80, target = 0x7052e0) Arc: (edge = 0x7fff09698c80, target = 0x7052c0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fff09698c80, target = 0x705320) Arc: (edge = 0x7fff09698c80, target = 0x705300) ] Edge 229 <-> 230 [ Arc: (edge = 0x7fff09698c80, target = 0x705340) Arc: (edge = 0x7fff09698c80, target = 0x705320) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fff09698c80, target = 0x705360) Arc: (edge = 0x7fff09698c80, target = 0x705340) ] Edge 231 <-> 232 [ Arc: (edge = 0x7fff09698c80, target = 0x705380) Arc: (edge = 0x7fff09698c80, target = 0x705360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7fff09698c80, target = 0x7053a0) Arc: (edge = 0x7fff09698c80, target = 0x705380) ] Edge 233 <-> 234 [ Arc: (edge = 0x7fff09698c80, target = 0x7053c0) Arc: (edge = 0x7fff09698c80, target = 0x7053a0) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fff09698c80, target = 0x7053e0) Arc: (edge = 0x7fff09698c80, target = 0x7053c0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7fff09698c80, target = 0x705400) Arc: (edge = 0x7fff09698c80, target = 0x7053e0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7fff09698c80, target = 0x705420) Arc: (edge = 0x7fff09698c80, target = 0x705400) ] Edge 237 <-> 238 [ Arc: (edge = 0x7fff09698c80, target = 0x705440) Arc: (edge = 0x7fff09698c80, target = 0x705420) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fff09698c80, target = 0x705460) Arc: (edge = 0x7fff09698c80, target = 0x705440) ] Edge 239 <-> 240 [ Arc: (edge = 0x7fff09698c80, target = 0x705480) Arc: (edge = 0x7fff09698c80, target = 0x705460) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff09698c80, target = 0x7054a0) Arc: (edge = 0x7fff09698c80, target = 0x705480) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fff09698c80, target = 0x7054e0) Arc: (edge = 0x7fff09698c80, target = 0x7054c0) ] Edge 243 <-> 244 [ Arc: (edge = 0x7fff09698c80, target = 0x705500) Arc: (edge = 0x7fff09698c80, target = 0x7054e0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fff09698c80, target = 0x705520) Arc: (edge = 0x7fff09698c80, target = 0x705500) ] Edge 245 <-> 246 [ Arc: (edge = 0x7fff09698c80, target = 0x705540) Arc: (edge = 0x7fff09698c80, target = 0x705520) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fff09698c80, target = 0x705560) Arc: (edge = 0x7fff09698c80, target = 0x705540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7fff09698c80, target = 0x705580) Arc: (edge = 0x7fff09698c80, target = 0x705560) ] Edge 248 <-> 249 [ Arc: (edge = 0x7fff09698c80, target = 0x7055a0) Arc: (edge = 0x7fff09698c80, target = 0x705580) ] Edge 249 <-> 250 [ Arc: (edge = 0x7fff09698c80, target = 0x7055c0) Arc: (edge = 0x7fff09698c80, target = 0x7055a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7fff09698c80, target = 0x7055e0) Arc: (edge = 0x7fff09698c80, target = 0x7055c0) ] Edge 251 <-> 252 [ Arc: (edge = 0x7fff09698c80, target = 0x705600) Arc: (edge = 0x7fff09698c80, target = 0x7055e0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7fff09698c80, target = 0x705620) Arc: (edge = 0x7fff09698c80, target = 0x705600) ] Edge 253 <-> 254 [ Arc: (edge = 0x7fff09698c80, target = 0x705640) Arc: (edge = 0x7fff09698c80, target = 0x705620) ] Edge 255 <-> 256 [ Arc: (edge = 0x7fff09698c80, target = 0x705680) Arc: (edge = 0x7fff09698c80, target = 0x705660) ] Edge 256 <-> 257 [ Arc: (edge = 0x7fff09698c80, target = 0x7056a0) Arc: (edge = 0x7fff09698c80, target = 0x705680) ] Edge 257 <-> 258 [ Arc: (edge = 0x7fff09698c80, target = 0x7056c0) Arc: (edge = 0x7fff09698c80, target = 0x7056a0) ] Edge 258 <-> 259 [ Arc: (edge = 0x7fff09698c80, target = 0x7056e0) Arc: (edge = 0x7fff09698c80, target = 0x7056c0) ] Edge 259 <-> 260 [ Arc: (edge = 0x7fff09698c80, target = 0x705700) Arc: (edge = 0x7fff09698c80, target = 0x7056e0) ] Edge 260 <-> 261 [ Arc: (edge = 0x7fff09698c80, target = 0x705720) Arc: (edge = 0x7fff09698c80, target = 0x705700) ] Edge 261 <-> 262 [ Arc: (edge = 0x7fff09698c80, target = 0x705740) Arc: (edge = 0x7fff09698c80, target = 0x705720) ] Edge 262 <-> 263 [ Arc: (edge = 0x7fff09698c80, target = 0x705760) Arc: (edge = 0x7fff09698c80, target = 0x705740) ] Edge 263 <-> 264 [ Arc: (edge = 0x7fff09698c80, target = 0x705780) Arc: (edge = 0x7fff09698c80, target = 0x705760) ] Edge 264 <-> 265 [ Arc: (edge = 0x7fff09698c80, target = 0x7057a0) Arc: (edge = 0x7fff09698c80, target = 0x705780) ] Edge 265 <-> 266 [ Arc: (edge = 0x7fff09698c80, target = 0x7057c0) Arc: (edge = 0x7fff09698c80, target = 0x7057a0) ] Edge 266 <-> 267 [ Arc: (edge = 0x7fff09698c80, target = 0x7057e0) Arc: (edge = 0x7fff09698c80, target = 0x7057c0) ] Edge 267 <-> 268 [ Arc: (edge = 0x7fff09698c80, target = 0x705800) Arc: (edge = 0x7fff09698c80, target = 0x7057e0) ] ] Robot arrangement: (|R| = 10, |V| = 269) [ robot locations: {1#17 2#47 3#70 4#71 5#82 6#122 7#144 8#211 9#216 10#238 } 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 1#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 2#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 3#70 4#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 5#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 6#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 7#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 8#211 0#212 0#213 0#214 0#215 9#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 10#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 } ] Robot arrangement: (|R| = 10, |V| = 269) [ robot locations: {1#43 2#65 3#76 4#79 5#98 6#127 7#153 8#186 9#220 10#266 } 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 1#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 2#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 3#76 0#77 0#78 4#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 5#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 6#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 7#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 8#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 9#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 10#266 0#267 0#268 } ] Original solution: Mulirobot solution: (|moves| = 251, paralellism = 4.564) [ Step 0: 263#47->48 261#238->239 265#17->16 268#216->215 260#70->93 264#71->72 266#211->212 267#122->24 262#144->145 259#82->83 Step 1: 263#48->228 261#239->240 268#215->171 260#93->94 264#72->73 266#212->213 265#16->15 267#24->23 259#83->84 Step 2: 263#228->229 261#240->241 268#171->170 264#73->74 266#213->214 265#15->14 267#23->22 Step 3: 263#229->230 261#241->159 268#170->117 264#74->75 266#214->131 267#22->21 265#14->13 Step 4: 263#230->231 261#159->96 268#117->118 264#75->11 266#131->132 Step 5: 263#231->232 261#96->95 268#118->119 264#11->12 267#21->11 266#132->89 Step 6: 263#232->233 261#95->31 268#119->46 264#12->77 267#11->64 266#89->90 265#13->12 Step 7: 261#31->30 268#46->45 263#233->234 264#77->76 267#64->63 Step 8: 261#30->29 268#45->44 263#234->235 264#76->3 267#63->62 Step 9: 261#29->28 268#44->43 263#235->236 264#3->4 267#62->61 Step 10: 261#28->27 268#43->42 263#236->237 260#94->28 264#4->171 267#61->104 Step 11: 261#27->26 268#42->41 263#237->238 264#171->215 260#28->29 267#104->105 Step 12: 261#26->7 268#41->40 263#238->239 264#215->216 267#105->106 Step 13: 261#7->6 268#40->39 263#239->240 264#216->217 267#106->107 Step 14: 261#6->5 268#39->38 263#240->241 264#217->218 267#107->80 Step 15: 261#5->189 268#38->37 263#241->159 264#218->219 267#80->81 Step 16: 261#189->188 268#37->30 263#159->96 264#219->220 267#81->82 Step 17: 261#188->255 268#30->92 263#96->97 260#29->30 267#82->83 Step 18: 261#255->256 263#97->98 260#30->31 268#92->91 Step 19: 261#256->257 263#98->99 260#31->32 268#91->62 Step 20: 261#257->258 263#99->100 262#145->99 260#32->33 268#62->61 Step 21: 261#258->259 263#100->101 262#99->100 260#33->34 268#61->104 Step 22: 261#259->260 263#101->102 262#100->101 260#34->35 268#104->105 Step 23: 261#260->261 263#102->103 262#101->102 260#35->36 259#84->35 268#105->106 267#83->84 Step 24: 261#261->262 263#103->46 262#102->103 260#36->9 268#106->107 259#35->36 267#84->35 Step 25: 261#262->263 263#46->45 262#103->46 260#9->10 268#107->146 259#36->9 267#35->34 Step 26: 261#263->264 263#45->44 262#46->45 260#10->11 268#146->147 259#9->8 266#90->9 267#34->33 Step 27: 261#264->265 262#45->78 263#44->43 260#11->64 268#147->148 259#8->7 266#9->8 265#12->11 267#33->32 Step 28: 261#265->266 262#78->79 268#148->149 259#7->6 266#8->7 265#11->10 267#32->31 Step 29: 262#79->177 268#149->150 259#6->5 266#7->6 265#10->9 267#31->95 Step 30: 262#177->178 268#150->151 259#5->4 266#6->5 265#9->8 267#95->96 Step 31: 262#178->179 268#151->152 259#4->3 266#5->4 265#8->7 267#96->97 Step 32: 262#179->180 268#152->153 259#3->2 266#4->3 265#7->6 267#97->98 Step 33: 262#180->181 259#2->1 266#3->2 265#6->5 Step 34: 262#181->182 259#1->0 266#2->1 265#5->4 Step 35: 262#182->183 259#0->16 266#1->0 Step 36: 262#183->184 259#16->15 266#0->16 Step 37: 262#184->185 259#15->14 266#16->15 Step 38: 262#185->186 259#14->13 266#15->14 Step 39: 259#13->12 266#14->13 Step 40: 259#12->77 266#13->12 Step 41: 259#77->76 266#12->11 Step 42: 259#76->3 266#11->10 260#64->11 Step 43: 259#3->127 265#4->3 260#11->21 266#10->9 Step 44: 260#21->22 265#3->76 266#9->8 Step 45: 260#22->23 266#8->25 Step 46: 260#23->51 266#25->24 Step 47: 260#51->50 266#24->23 Step 48: 260#50->49 266#23->51 Step 49: 260#49->48 266#51->65 Step 50: 260#48->47 Step 51: 260#47->46 Step 52: 260#46->45 Step 53: 260#45->78 Step 54: 260#78->79 ] reSolved solution: Mulirobot solution: (|moves| = 159, paralellism = 5.889) [ Step 0: 9#216->217 2#47->48 6#122->121 3#70->69 5#82->83 7#144->145 1#17->18 4#71->72 8#211->212 10#238->239 Step 1: 9#217->218 2#48->49 6#121->120 3#69->70 5#83->84 7#145->99 1#18->19 4#72->73 8#212->213 10#239->240 Step 2: 9#218->219 2#49->50 6#120->66 3#70->71 5#84->35 7#99->98 1#19->20 4#73->74 8#213->214 10#240->241 Step 3: 9#219->220 2#50->51 6#66->1 3#71->72 5#35->34 7#98->97 1#20->4 4#74->75 8#214->131 10#241->159 Step 4: 2#51->65 6#1->2 3#72->73 5#34->33 7#97->96 1#4->171 4#75->11 8#131->132 10#159->241 Step 5: 6#2->3 3#73->74 5#33->32 7#96->159 1#171->170 4#11->10 8#132->89 Step 6: 6#3->127 3#74->75 5#32->31 7#159->158 1#170->117 4#10->9 8#89->90 Step 7: 3#75->11 5#31->95 7#158->157 1#117->118 4#9->36 10#241->159 Step 8: 2#65->51 6#127->3 9#220->219 3#11->12 5#95->96 7#157->156 1#118->119 4#36->35 8#90->9 10#159->158 Step 9: 2#51->65 6#3->127 9#219->220 3#12->77 5#96->97 7#156->155 1#119->46 4#35->84 8#9->8 10#158->159 Step 10: 3#77->76 5#97->98 7#155->154 1#46->45 4#84->83 8#8->7 10#159->96 Step 11: 7#154->153 1#45->44 4#83->82 8#7->6 10#96->95 Step 12: 1#44->43 4#82->81 8#6->5 10#95->31 Step 13: 4#81->80 8#5->189 10#31->32 Step 14: 4#80->79 8#189->188 10#32->33 Step 15: 8#188->187 10#33->34 Step 16: 1#43->42 2#65->51 3#76->3 4#79->78 5#98->97 6#127->128 7#153->152 9#220->219 8#187->186 10#34->52 Step 17: 1#42->43 2#51->65 3#3->76 4#78->79 5#97->98 6#128->127 7#152->153 9#219->220 10#52->53 Step 18: 10#53->54 Step 19: 10#54->55 Step 20: 10#55->210 Step 21: 10#210->211 Step 22: 10#211->212 Step 23: 10#212->213 Step 24: 1#43->42 2#65->51 3#76->3 4#79->78 5#98->97 6#127->128 7#153->152 8#186->185 9#220->219 10#213->268 Step 25: 1#42->43 2#51->65 3#3->76 4#78->79 5#97->98 6#128->127 7#152->153 8#185->186 9#219->220 10#268->267 Step 26: 10#267->266 ] Multirobot solution analysis: ( total makespan = 27 total distance = 89 total trajectory = 159 average parallelism = 5.889 average distance = 8.900 average trajectory = 15.900 parallelism distribution = [ 7 1 2 1 1 1 3 0 2 9 ] distance distribution = [ 0 0 0 1 1 0 1 0 1 0 1 1 2 0 1 ] trajectory distribution = [ 0 0 0 0 0 0 0 0 0 1 1 0 1 0 2 1 1 1 1 0 0 0 0 0 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 = 159 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 ] 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 = 159 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 7017 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 ] } ] ----------------------------------------------------------------