================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,8 0,42 0,66 1,2 1,24 2,3 3,4 3,172 3,202 4,5 4,16 4,53 5,6 5,12 5,35 6,7 6,9 7,8 7,23 7,147 7,153 8,17 8,212 8,237 9,10 9,65 10,11 10,52 11,12 12,13 12,30 12,68 12,145 12,247 13,14 13,48 14,15 14,101 15,16 15,43 16,162 17,18 18,19 18,26 18,33 19,20 19,70 20,21 20,83 21,22 22,23 22,135 22,233 23,32 23,126 24,25 24,27 24,67 25,26 26,181 27,28 28,29 28,47 29,30 29,36 30,31 31,32 31,193 31,226 33,34 33,55 33,63 34,35 34,69 34,90 34,102 35,192 36,37 36,44 36,45 36,62 36,75 37,38 37,61 38,39 38,110 38,117 38,184 39,40 39,150 39,221 40,41 41,42 43,44 43,71 43,79 43,121 45,46 45,54 45,127 45,138 46,47 47,64 47,91 48,49 49,50 50,51 50,201 51,52 51,178 53,54 54,72 54,140 55,56 55,134 55,156 56,57 56,111 57,58 58,59 58,137 59,60 59,211 60,61 60,176 60,183 61,194 62,63 62,78 63,139 64,65 64,175 66,67 66,146 68,69 68,88 68,95 68,149 70,71 70,119 70,132 72,73 72,76 73,74 74,75 75,133 75,168 76,77 77,78 77,84 77,195 78,116 78,131 79,80 79,122 80,81 81,82 82,83 83,144 83,174 84,85 85,86 85,89 86,87 86,104 87,88 89,90 90,103 91,92 91,96 92,93 93,94 94,95 96,97 97,98 98,99 98,128 99,100 100,101 102,103 103,129 103,152 104,105 105,106 106,107 107,108 107,120 107,155 107,173 108,109 108,169 109,110 109,213 111,112 112,113 113,114 114,115 115,116 115,210 117,118 118,119 120,121 121,207 122,123 123,124 124,125 125,126 126,136 127,128 127,160 129,130 130,131 130,206 130,245 131,179 132,133 132,209 134,135 136,137 136,191 138,139 140,141 141,142 142,143 143,144 143,232 145,146 145,236 147,148 147,163 148,149 150,151 151,152 153,154 154,155 156,157 157,158 157,244 158,159 158,190 159,160 159,161 159,208 161,162 161,170 161,177 161,227 163,164 163,171 164,165 165,166 166,167 167,168 167,214 168,182 168,222 169,170 171,172 173,174 175,176 175,243 177,178 179,180 180,181 182,183 184,185 185,186 186,187 187,188 188,189 189,190 191,192 193,194 194,215 195,196 196,197 197,198 198,199 199,200 200,201 202,203 203,204 204,205 205,206 207,208 209,210 211,212 213,214 215,216 216,217 217,218 218,219 219,220 220,221 222,223 223,224 224,225 225,226 227,228 228,229 229,230 230,231 231,232 233,234 234,235 234,246 235,236 237,238 238,239 239,240 240,241 241,242 242,243 244,245 246,247 Reading initial arrangement... Reading original solution... Length:236 245 # 232 ---> 143 (0) 246 # 179 ---> 180 (0) 246 # 180 ---> 181 (1) 246 # 181 ---> 26 (2) 246 # 26 ---> 18 (3) 246 # 18 ---> 17 (4) 246 # 17 ---> 8 (5) 246 # 8 ---> 237 (6) 246 # 237 ---> 238 (7) 246 # 238 ---> 239 (8) 246 # 239 ---> 240 (9) 242 # 132 ---> 70 (0) 245 # 143 ---> 142 (1) 245 # 142 ---> 141 (2) 245 # 141 ---> 140 (3) 245 # 140 ---> 54 (4) 245 # 54 ---> 45 (5) 238 # 46 ---> 47 (0) 237 # 226 ---> 31 (0) 237 # 31 ---> 30 (1) 238 # 47 ---> 28 (1) 243 # 37 ---> 61 (0) 238 # 28 ---> 29 (2) 243 # 61 ---> 60 (1) 237 # 30 ---> 12 (2) 247 # 205 ---> 206 (0) 247 # 206 ---> 130 (1) 247 # 130 ---> 131 (2) 247 # 131 ---> 78 (3) 247 # 78 ---> 62 (4) 247 # 62 ---> 36 (5) 247 # 36 ---> 37 (6) 247 # 37 ---> 61 (7) 247 # 61 ---> 194 (8) 247 # 194 ---> 215 (9) 237 # 12 ---> 5 (3) 243 # 60 ---> 61 (8) 247 # 215 ---> 216 (10) 234 # 155 ---> 107 (0) 237 # 5 ---> 6 (4) 236 # 98 ---> 128 (0) 236 # 128 ---> 127 (1) 245 # 45 ---> 46 (6) 236 # 127 ---> 45 (6) 236 # 45 ---> 54 (7) 236 # 54 ---> 53 (8) 238 # 29 ---> 36 (6) 241 # 4 ---> 5 (4) 236 # 53 ---> 4 (9) 236 # 4 ---> 3 (10) 236 # 3 ---> 202 (11) 238 # 36 ---> 62 (7) 236 # 202 ---> 203 (12) 236 # 203 ---> 204 (13) 238 # 62 ---> 78 (8) 233 # 200 ---> 201 (0) 233 # 201 ---> 50 (1) 233 # 50 ---> 49 (2) 245 # 46 ---> 45 (7) 245 # 45 ---> 54 (8) 233 # 49 ---> 48 (3) 245 # 54 ---> 53 (9) 233 # 48 ---> 13 (4) 237 # 6 ---> 7 (5) 238 # 78 ---> 77 (9) 243 # 61 ---> 37 (9) 243 # 37 ---> 36 (10) 243 # 36 ---> 44 (11) 242 # 70 ---> 19 (1) 240 # 118 ---> 119 (0) 237 # 7 ---> 8 (6) 244 # 21 ---> 22 (0) 242 # 19 ---> 20 (2) 237 # 8 ---> 17 (7) 244 # 22 ---> 23 (1) 237 # 17 ---> 18 (8) 237 # 18 ---> 33 (9) 237 # 33 ---> 63 (10) 237 # 63 ---> 62 (11) 237 # 62 ---> 36 (12) 237 # 36 ---> 37 (13) 237 # 37 ---> 38 (14) 237 # 38 ---> 184 (15) 243 # 44 ---> 36 (13) 243 # 36 ---> 29 (14) 237 # 184 ---> 185 (16) 237 # 185 ---> 186 (17) 237 # 186 ---> 187 (18) 237 # 187 ---> 188 (19) 237 # 188 ---> 189 (20) 237 # 189 ---> 190 (21) 243 # 29 ---> 28 (15) 241 # 5 ---> 4 (10) 241 # 4 ---> 16 (11) 241 # 16 ---> 162 (12) 241 # 162 ---> 161 (13) 241 # 161 ---> 177 (14) 241 # 177 ---> 178 (15) 243 # 28 ---> 47 (16) 243 # 47 ---> 64 (17) 245 # 53 ---> 4 (11) 239 # 148 ---> 147 (0) 239 # 147 ---> 7 (6) 239 # 7 ---> 8 (7) 243 # 64 ---> 65 (18) 243 # 65 ---> 9 (19) 243 # 9 ---> 6 (20) 239 # 8 ---> 17 (8) 244 # 23 ---> 7 (7) 244 # 7 ---> 153 (8) 244 # 153 ---> 154 (9) 245 # 4 ---> 3 (12) 243 # 6 ---> 5 (21) 239 # 17 ---> 18 (9) 239 # 18 ---> 19 (10) 239 # 19 ---> 70 (11) 239 # 70 ---> 132 (12) 239 # 132 ---> 133 (13) 240 # 119 ---> 70 (12) 240 # 70 ---> 71 (13) 240 # 71 ---> 43 (14) 240 # 43 ---> 15 (15) 233 # 13 ---> 12 (5) 242 # 20 ---> 19 (11) 242 # 19 ---> 18 (12) 242 # 18 ---> 33 (13) 242 # 33 ---> 55 (14) 242 # 55 ---> 56 (15) 242 # 56 ---> 111 (16) 234 # 107 ---> 108 (1) 234 # 108 ---> 109 (2) 234 # 109 ---> 110 (3) 234 # 110 ---> 38 (15) 234 # 38 ---> 37 (16) 234 # 37 ---> 36 (17) 240 # 15 ---> 16 (16) 240 # 16 ---> 4 (17) 240 # 4 ---> 53 (18) 240 # 53 ---> 54 (19) 240 # 54 ---> 72 (20) 234 # 36 ---> 29 (18) 240 # 72 ---> 73 (21) 234 # 29 ---> 28 (19) 240 # 73 ---> 74 (22) 240 # 74 ---> 75 (23) 233 # 12 ---> 30 (6) 234 # 28 ---> 27 (20) 233 # 30 ---> 29 (19) 233 # 29 ---> 28 (20) 233 # 28 ---> 47 (21) 233 # 47 ---> 64 (22) 243 # 5 ---> 35 (22) 243 # 35 ---> 34 (23) 243 # 34 ---> 33 (24) 243 # 33 ---> 55 (25) 243 # 55 ---> 56 (26) 243 # 56 ---> 57 (27) 243 # 57 ---> 58 (28) 243 # 58 ---> 59 (29) 234 # 27 ---> 28 (21) 234 # 28 ---> 29 (22) 234 # 29 ---> 30 (23) 234 # 30 ---> 12 (24) 234 # 12 ---> 5 (25) 235 # 24 ---> 27 (21) 234 # 5 ---> 6 (26) 234 # 6 ---> 7 (27) 234 # 7 ---> 8 (28) 245 # 3 ---> 4 (18) 234 # 8 ---> 0 (29) 245 # 4 ---> 5 (26) 234 # 0 ---> 1 (30) 245 # 5 ---> 6 (27) 234 # 1 ---> 2 (31) 245 # 6 ---> 7 (28) 234 # 2 ---> 3 (32) 234 # 3 ---> 4 (33) 234 # 4 ---> 5 (34) 234 # 5 ---> 6 (35) 245 # 7 ---> 8 (29) 234 # 6 ---> 7 (36) 245 # 8 ---> 0 (30) 234 # 7 ---> 8 (37) 245 # 0 ---> 1 (31) 234 # 8 ---> 0 (38) 245 # 1 ---> 2 (32) 234 # 0 ---> 1 (39) 245 # 2 ---> 3 (33) 234 # 1 ---> 2 (40) 245 # 3 ---> 4 (34) 234 # 2 ---> 3 (41) 245 # 4 ---> 5 (35) 234 # 3 ---> 4 (42) 245 # 5 ---> 6 (36) 234 # 4 ---> 5 (43) 245 # 6 ---> 7 (37) 234 # 5 ---> 6 (44) 245 # 7 ---> 8 (38) 234 # 6 ---> 7 (45) 245 # 8 ---> 0 (39) 245 # 0 ---> 1 (40) 245 # 1 ---> 2 (41) 245 # 2 ---> 3 (42) 245 # 3 ---> 4 (43) 245 # 4 ---> 5 (44) 245 # 5 ---> 6 (45) 234 # 7 ---> 8 (46) 234 # 8 ---> 0 (47) 245 # 6 ---> 7 (46) 234 # 0 ---> 1 (48) 234 # 1 ---> 2 (49) 234 # 2 ---> 3 (50) 234 # 3 ---> 4 (51) 234 # 4 ---> 5 (52) 234 # 5 ---> 6 (53) 245 # 7 ---> 8 (47) 245 # 8 ---> 0 (48) 245 # 0 ---> 1 (49) 245 # 1 ---> 2 (50) 245 # 2 ---> 3 (51) 234 # 6 ---> 7 (54) 245 # 3 ---> 4 (52) 234 # 7 ---> 8 (55) 245 # 4 ---> 5 (53) 234 # 8 ---> 0 (56) 245 # 5 ---> 6 (54) 234 # 0 ---> 1 (57) 245 # 6 ---> 7 (55) 234 # 1 ---> 2 (58) 234 # 2 ---> 3 (59) 234 # 3 ---> 4 (60) 234 # 4 ---> 5 (61) 234 # 5 ---> 6 (62) 234 # 6 ---> 9 (63) 245 # 7 ---> 6 (63) 245 # 6 ---> 5 (64) Reading goal arrangement... Undirected graph: (|V|=248 |E|=316) [ Vertex: (id = 0) {1 8 42 66 } Vertex: (id = 1) {0 2 24 } Vertex: (id = 2) {1 3 } Vertex: (id = 3) {2 4 172 202 } Vertex: (id = 4) {3 5 16 53 } Vertex: (id = 5) {4 6 12 35 } Vertex: (id = 6) {5 7 9 } Vertex: (id = 7) {6 8 23 147 153 } Vertex: (id = 8) {0 7 17 212 237 } Vertex: (id = 9) {6 10 65 } Vertex: (id = 10) {9 11 52 } Vertex: (id = 11) {10 12 } Vertex: (id = 12) {5 11 13 30 68 145 247 } Vertex: (id = 13) {12 14 48 } Vertex: (id = 14) {13 15 101 } Vertex: (id = 15) {14 16 43 } Vertex: (id = 16) {4 15 162 } Vertex: (id = 17) {8 18 } Vertex: (id = 18) {17 19 26 33 } Vertex: (id = 19) {18 20 70 } Vertex: (id = 20) {19 21 83 } Vertex: (id = 21) {20 22 } Vertex: (id = 22) {21 23 135 233 } Vertex: (id = 23) {7 22 32 126 } Vertex: (id = 24) {1 25 27 67 } Vertex: (id = 25) {24 26 } Vertex: (id = 26) {18 25 181 } Vertex: (id = 27) {24 28 } Vertex: (id = 28) {27 29 47 } Vertex: (id = 29) {28 30 36 } Vertex: (id = 30) {12 29 31 } Vertex: (id = 31) {30 32 193 226 } Vertex: (id = 32) {23 31 } Vertex: (id = 33) {18 34 55 63 } Vertex: (id = 34) {33 35 69 90 102 } Vertex: (id = 35) {5 34 192 } Vertex: (id = 36) {29 37 44 45 62 75 } Vertex: (id = 37) {36 38 61 } Vertex: (id = 38) {37 39 110 117 184 } Vertex: (id = 39) {38 40 150 221 } Vertex: (id = 40) {39 41 } Vertex: (id = 41) {40 42 } Vertex: (id = 42) {0 41 } Vertex: (id = 43) {15 44 71 79 121 } Vertex: (id = 44) {36 43 } Vertex: (id = 45) {36 46 54 127 138 } Vertex: (id = 46) {45 47 } Vertex: (id = 47) {28 46 64 91 } Vertex: (id = 48) {13 49 } Vertex: (id = 49) {48 50 } Vertex: (id = 50) {49 51 201 } Vertex: (id = 51) {50 52 178 } Vertex: (id = 52) {10 51 } Vertex: (id = 53) {4 54 } Vertex: (id = 54) {45 53 72 140 } Vertex: (id = 55) {33 56 134 156 } Vertex: (id = 56) {55 57 111 } Vertex: (id = 57) {56 58 } Vertex: (id = 58) {57 59 137 } Vertex: (id = 59) {58 60 211 } Vertex: (id = 60) {59 61 176 183 } Vertex: (id = 61) {37 60 194 } Vertex: (id = 62) {36 63 78 } Vertex: (id = 63) {33 62 139 } Vertex: (id = 64) {47 65 175 } Vertex: (id = 65) {9 64 } Vertex: (id = 66) {0 67 146 } Vertex: (id = 67) {24 66 } Vertex: (id = 68) {12 69 88 95 149 } Vertex: (id = 69) {34 68 } Vertex: (id = 70) {19 71 119 132 } Vertex: (id = 71) {43 70 } Vertex: (id = 72) {54 73 76 } Vertex: (id = 73) {72 74 } Vertex: (id = 74) {73 75 } Vertex: (id = 75) {36 74 133 168 } Vertex: (id = 76) {72 77 } Vertex: (id = 77) {76 78 84 195 } Vertex: (id = 78) {62 77 116 131 } Vertex: (id = 79) {43 80 122 } Vertex: (id = 80) {79 81 } Vertex: (id = 81) {80 82 } Vertex: (id = 82) {81 83 } Vertex: (id = 83) {20 82 144 174 } Vertex: (id = 84) {77 85 } Vertex: (id = 85) {84 86 89 } Vertex: (id = 86) {85 87 104 } Vertex: (id = 87) {86 88 } Vertex: (id = 88) {68 87 } Vertex: (id = 89) {85 90 } Vertex: (id = 90) {34 89 103 } Vertex: (id = 91) {47 92 96 } Vertex: (id = 92) {91 93 } Vertex: (id = 93) {92 94 } Vertex: (id = 94) {93 95 } Vertex: (id = 95) {68 94 } Vertex: (id = 96) {91 97 } Vertex: (id = 97) {96 98 } Vertex: (id = 98) {97 99 128 } Vertex: (id = 99) {98 100 } Vertex: (id = 100) {99 101 } Vertex: (id = 101) {14 100 } Vertex: (id = 102) {34 103 } Vertex: (id = 103) {90 102 129 152 } Vertex: (id = 104) {86 105 } Vertex: (id = 105) {104 106 } Vertex: (id = 106) {105 107 } Vertex: (id = 107) {106 108 120 155 173 } Vertex: (id = 108) {107 109 169 } Vertex: (id = 109) {108 110 213 } Vertex: (id = 110) {38 109 } Vertex: (id = 111) {56 112 } Vertex: (id = 112) {111 113 } Vertex: (id = 113) {112 114 } Vertex: (id = 114) {113 115 } Vertex: (id = 115) {114 116 210 } Vertex: (id = 116) {78 115 } Vertex: (id = 117) {38 118 } Vertex: (id = 118) {117 119 } Vertex: (id = 119) {70 118 } Vertex: (id = 120) {107 121 } Vertex: (id = 121) {43 120 207 } Vertex: (id = 122) {79 123 } Vertex: (id = 123) {122 124 } Vertex: (id = 124) {123 125 } Vertex: (id = 125) {124 126 } Vertex: (id = 126) {23 125 136 } Vertex: (id = 127) {45 128 160 } Vertex: (id = 128) {98 127 } Vertex: (id = 129) {103 130 } Vertex: (id = 130) {129 131 206 245 } Vertex: (id = 131) {78 130 179 } Vertex: (id = 132) {70 133 209 } Vertex: (id = 133) {75 132 } Vertex: (id = 134) {55 135 } Vertex: (id = 135) {22 134 } Vertex: (id = 136) {126 137 191 } Vertex: (id = 137) {58 136 } Vertex: (id = 138) {45 139 } Vertex: (id = 139) {63 138 } Vertex: (id = 140) {54 141 } Vertex: (id = 141) {140 142 } Vertex: (id = 142) {141 143 } Vertex: (id = 143) {142 144 232 } Vertex: (id = 144) {83 143 } Vertex: (id = 145) {12 146 236 } Vertex: (id = 146) {66 145 } Vertex: (id = 147) {7 148 163 } Vertex: (id = 148) {147 149 } Vertex: (id = 149) {68 148 } Vertex: (id = 150) {39 151 } Vertex: (id = 151) {150 152 } Vertex: (id = 152) {103 151 } Vertex: (id = 153) {7 154 } Vertex: (id = 154) {153 155 } Vertex: (id = 155) {107 154 } Vertex: (id = 156) {55 157 } Vertex: (id = 157) {156 158 244 } Vertex: (id = 158) {157 159 190 } Vertex: (id = 159) {158 160 161 208 } Vertex: (id = 160) {127 159 } Vertex: (id = 161) {159 162 170 177 227 } Vertex: (id = 162) {16 161 } Vertex: (id = 163) {147 164 171 } Vertex: (id = 164) {163 165 } Vertex: (id = 165) {164 166 } Vertex: (id = 166) {165 167 } Vertex: (id = 167) {166 168 214 } Vertex: (id = 168) {75 167 182 222 } Vertex: (id = 169) {108 170 } Vertex: (id = 170) {161 169 } Vertex: (id = 171) {163 172 } Vertex: (id = 172) {3 171 } Vertex: (id = 173) {107 174 } Vertex: (id = 174) {83 173 } Vertex: (id = 175) {64 176 243 } Vertex: (id = 176) {60 175 } Vertex: (id = 177) {161 178 } Vertex: (id = 178) {51 177 } Vertex: (id = 179) {131 180 } Vertex: (id = 180) {179 181 } Vertex: (id = 181) {26 180 } Vertex: (id = 182) {168 183 } Vertex: (id = 183) {60 182 } Vertex: (id = 184) {38 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) {158 189 } Vertex: (id = 191) {136 192 } Vertex: (id = 192) {35 191 } Vertex: (id = 193) {31 194 } Vertex: (id = 194) {61 193 215 } Vertex: (id = 195) {77 196 } Vertex: (id = 196) {195 197 } Vertex: (id = 197) {196 198 } Vertex: (id = 198) {197 199 } Vertex: (id = 199) {198 200 } Vertex: (id = 200) {199 201 } Vertex: (id = 201) {50 200 } Vertex: (id = 202) {3 203 } Vertex: (id = 203) {202 204 } Vertex: (id = 204) {203 205 } Vertex: (id = 205) {204 206 } Vertex: (id = 206) {130 205 } Vertex: (id = 207) {121 208 } Vertex: (id = 208) {159 207 } Vertex: (id = 209) {132 210 } Vertex: (id = 210) {115 209 } Vertex: (id = 211) {59 212 } Vertex: (id = 212) {8 211 } Vertex: (id = 213) {109 214 } Vertex: (id = 214) {167 213 } Vertex: (id = 215) {194 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) {39 220 } Vertex: (id = 222) {168 223 } Vertex: (id = 223) {222 224 } Vertex: (id = 224) {223 225 } Vertex: (id = 225) {224 226 } Vertex: (id = 226) {31 225 } Vertex: (id = 227) {161 228 } Vertex: (id = 228) {227 229 } Vertex: (id = 229) {228 230 } Vertex: (id = 230) {229 231 } Vertex: (id = 231) {230 232 } Vertex: (id = 232) {143 231 } Vertex: (id = 233) {22 234 } Vertex: (id = 234) {233 235 246 } Vertex: (id = 235) {234 236 } Vertex: (id = 236) {145 235 } Vertex: (id = 237) {8 238 } Vertex: (id = 238) {237 239 } Vertex: (id = 239) {238 240 } Vertex: (id = 240) {239 241 } Vertex: (id = 241) {240 242 } Vertex: (id = 242) {241 243 } Vertex: (id = 243) {175 242 } Vertex: (id = 244) {157 245 } Vertex: (id = 245) {130 244 } Vertex: (id = 246) {234 247 } Vertex: (id = 247) {12 246 } Edge 0 <-> 1 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8690) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8670) ] Edge 0 <-> 8 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8770) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8670) ] Edge 0 <-> 42 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8670) ] Edge 0 <-> 66 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8eb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8670) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8690) ] Edge 1 <-> 24 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8970) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8690) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86b0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86d0) ] Edge 3 <-> 172 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9bf0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86d0) ] Edge 3 <-> 202 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9fb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86d0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8710) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86f0) ] Edge 4 <-> 16 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8870) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86f0) ] Edge 4 <-> 53 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a86f0) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8730) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8710) ] Edge 5 <-> 12 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8710) ] Edge 5 <-> 35 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ad0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8710) ] Edge 6 <-> 7 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8750) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8730) ] Edge 6 <-> 9 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8790) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8730) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8770) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8750) ] Edge 7 <-> 23 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8950) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8750) ] Edge 7 <-> 147 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a98d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8750) ] Edge 7 <-> 153 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9990) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8750) ] Edge 8 <-> 17 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8890) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8770) ] Edge 8 <-> 212 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa0f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8770) ] Edge 8 <-> 237 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa410) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8770) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8790) ] Edge 9 <-> 65 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8790) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87b0) ] Edge 10 <-> 52 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cf0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87b0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87d0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8810) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87f0) ] Edge 12 <-> 30 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87f0) ] Edge 12 <-> 68 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ef0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87f0) ] Edge 12 <-> 145 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9890) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87f0) ] Edge 12 <-> 247 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa550) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a87f0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8830) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8810) ] Edge 13 <-> 48 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8810) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8850) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8830) ] Edge 14 <-> 101 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9310) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8830) ] Edge 15 <-> 16 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8870) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8850) ] Edge 15 <-> 43 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8850) ] Edge 16 <-> 162 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ab0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8870) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8890) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88b0) ] Edge 18 <-> 26 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88b0) ] Edge 18 <-> 33 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88b0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88d0) ] Edge 19 <-> 70 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88d0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8910) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88f0) ] Edge 20 <-> 83 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a88f0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8930) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8910) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8950) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8930) ] Edge 22 <-> 135 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9750) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8930) ] Edge 22 <-> 233 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa390) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8930) ] Edge 23 <-> 32 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8950) ] Edge 23 <-> 126 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9630) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8950) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8990) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8970) ] Edge 24 <-> 27 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8970) ] Edge 24 <-> 67 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ed0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8970) ] Edge 25 <-> 26 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8990) ] Edge 26 <-> 181 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89b0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89d0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89f0) ] Edge 28 <-> 47 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a89f0) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a10) ] Edge 29 <-> 36 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8af0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a10) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a30) ] Edge 31 <-> 32 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a50) ] Edge 31 <-> 193 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a50) ] Edge 31 <-> 226 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa2b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a50) ] Edge 33 <-> 34 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ab0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a90) ] Edge 33 <-> 55 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a90) ] Edge 33 <-> 63 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8a90) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ad0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ab0) ] Edge 34 <-> 69 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ab0) ] Edge 34 <-> 90 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ab0) ] Edge 34 <-> 102 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9330) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ab0) ] Edge 35 <-> 192 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ad0) ] Edge 36 <-> 37 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8af0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bf0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8af0) ] Edge 36 <-> 45 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8af0) ] Edge 36 <-> 62 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8af0) ] Edge 36 <-> 75 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8fd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8af0) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b10) ] Edge 37 <-> 61 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b10) ] Edge 38 <-> 39 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b30) ] Edge 38 <-> 110 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9430) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b30) ] Edge 38 <-> 117 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9510) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b30) ] Edge 38 <-> 184 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b30) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b50) ] Edge 39 <-> 150 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9930) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b50) ] Edge 39 <-> 221 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa210) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b50) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b70) ] Edge 41 <-> 42 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8b90) ] Edge 43 <-> 44 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bf0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bd0) ] Edge 43 <-> 71 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bd0) ] Edge 43 <-> 79 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9050) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bd0) ] Edge 43 <-> 121 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9590) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8bd0) ] Edge 45 <-> 46 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c10) ] Edge 45 <-> 54 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c10) ] Edge 45 <-> 127 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9650) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c10) ] Edge 45 <-> 138 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a97b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c10) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c30) ] Edge 47 <-> 64 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c50) ] Edge 47 <-> 91 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c50) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c70) ] Edge 49 <-> 50 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8c90) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cb0) ] Edge 50 <-> 201 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cb0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cf0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cd0) ] Edge 51 <-> 178 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9cb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8cd0) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d10) ] Edge 54 <-> 72 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d30) ] Edge 54 <-> 140 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a97f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d30) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d50) ] Edge 55 <-> 134 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9730) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d50) ] Edge 55 <-> 156 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a99f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d50) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d70) ] Edge 56 <-> 111 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9450) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d70) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8db0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8d90) ] Edge 58 <-> 59 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8dd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8db0) ] Edge 58 <-> 137 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9790) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8db0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8df0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8dd0) ] Edge 59 <-> 211 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa0d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8dd0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8df0) ] Edge 60 <-> 176 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8df0) ] Edge 60 <-> 183 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8df0) ] Edge 61 <-> 194 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9eb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e10) ] Edge 62 <-> 63 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e30) ] Edge 62 <-> 78 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9030) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e30) ] Edge 63 <-> 139 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a97d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e50) ] Edge 64 <-> 65 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e70) ] Edge 64 <-> 175 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8e70) ] Edge 66 <-> 67 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ed0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8eb0) ] Edge 66 <-> 146 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a98b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8eb0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ef0) ] Edge 68 <-> 88 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9170) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ef0) ] Edge 68 <-> 95 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9250) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ef0) ] Edge 68 <-> 149 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9910) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ef0) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f30) ] Edge 70 <-> 119 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9550) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f30) ] Edge 70 <-> 132 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f30) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f70) ] Edge 72 <-> 76 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ff0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f70) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8fb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8f90) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8fd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8fb0) ] Edge 75 <-> 133 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9710) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8fd0) ] Edge 75 <-> 168 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8fd0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9010) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a8ff0) ] Edge 77 <-> 78 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9030) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9010) ] Edge 77 <-> 84 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9010) ] Edge 77 <-> 195 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ed0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9010) ] Edge 78 <-> 116 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a94f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9030) ] Edge 78 <-> 131 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9030) ] Edge 79 <-> 80 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9070) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9050) ] Edge 79 <-> 122 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a95b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9050) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9090) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9070) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9090) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90b0) ] Edge 83 <-> 144 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9870) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90d0) ] Edge 83 <-> 174 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90d0) ] Edge 84 <-> 85 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9110) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a90f0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9130) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9110) ] Edge 85 <-> 89 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9190) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9110) ] Edge 86 <-> 87 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9150) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9130) ] Edge 86 <-> 104 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9370) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9130) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9170) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9150) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9190) ] Edge 90 <-> 103 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9350) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91b0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91d0) ] Edge 91 <-> 96 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9270) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91d0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9210) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a91f0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9230) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9210) ] Edge 94 <-> 95 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9250) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9230) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9290) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9270) ] Edge 97 <-> 98 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a92b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9290) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a92d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a92b0) ] Edge 98 <-> 128 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9670) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a92b0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a92f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a92d0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9310) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a92f0) ] Edge 102 <-> 103 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9350) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9330) ] Edge 103 <-> 129 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9690) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9350) ] Edge 103 <-> 152 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9970) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9350) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9390) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9370) ] Edge 105 <-> 106 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9390) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93b0) ] Edge 107 <-> 108 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93d0) ] Edge 107 <-> 120 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9570) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93d0) ] Edge 107 <-> 155 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a99d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93d0) ] Edge 107 <-> 173 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93d0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9410) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93f0) ] Edge 108 <-> 169 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a93f0) ] Edge 109 <-> 110 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9430) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9410) ] Edge 109 <-> 213 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa110) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9410) ] Edge 111 <-> 112 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9470) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9450) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9490) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9470) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a94b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9490) ] Edge 114 <-> 115 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a94d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a94b0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a94f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a94d0) ] Edge 115 <-> 210 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa0b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a94d0) ] Edge 117 <-> 118 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9530) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9510) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9550) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9530) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9590) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9570) ] Edge 121 <-> 207 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa050) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9590) ] Edge 122 <-> 123 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a95d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a95b0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a95f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a95d0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9610) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a95f0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9630) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9610) ] Edge 126 <-> 136 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9770) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9630) ] Edge 127 <-> 128 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9670) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9650) ] Edge 127 <-> 160 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9650) ] Edge 129 <-> 130 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9690) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96b0) ] Edge 130 <-> 206 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa030) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96b0) ] Edge 130 <-> 245 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa510) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96b0) ] Edge 131 <-> 179 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9cd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96d0) ] Edge 132 <-> 133 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9710) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96f0) ] Edge 132 <-> 209 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa090) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a96f0) ] Edge 134 <-> 135 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9750) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9730) ] Edge 136 <-> 137 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9790) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9770) ] Edge 136 <-> 191 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9770) ] Edge 138 <-> 139 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a97d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a97b0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9810) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a97f0) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9830) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9810) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9850) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9830) ] Edge 143 <-> 144 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9870) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9850) ] Edge 143 <-> 232 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa370) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9850) ] Edge 145 <-> 146 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a98b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9890) ] Edge 145 <-> 236 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa3f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9890) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a98f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a98d0) ] Edge 147 <-> 163 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ad0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a98d0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9910) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a98f0) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9950) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9930) ] Edge 151 <-> 152 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9970) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9950) ] Edge 153 <-> 154 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a99b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9990) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a99d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a99b0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a99f0) ] Edge 157 <-> 158 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a10) ] Edge 157 <-> 244 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa4f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a10) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a30) ] Edge 158 <-> 190 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a30) ] Edge 159 <-> 160 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a50) ] Edge 159 <-> 161 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a50) ] Edge 159 <-> 208 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa070) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a50) ] Edge 161 <-> 162 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ab0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a90) ] Edge 161 <-> 170 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9bb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a90) ] Edge 161 <-> 177 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a90) ] Edge 161 <-> 227 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa2d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9a90) ] Edge 163 <-> 164 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9af0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ad0) ] Edge 163 <-> 171 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9bd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ad0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9af0) ] Edge 165 <-> 166 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b10) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b30) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b50) ] Edge 167 <-> 214 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa130) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b50) ] Edge 168 <-> 182 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b70) ] Edge 168 <-> 222 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa230) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b70) ] Edge 169 <-> 170 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9bb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9b90) ] Edge 171 <-> 172 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9bf0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9bd0) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c10) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c50) ] Edge 175 <-> 243 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa4d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c50) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9cb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9c90) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9cf0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9cd0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9cf0) ] Edge 182 <-> 183 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d30) ] Edge 184 <-> 185 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d70) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9db0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9d90) ] Edge 186 <-> 187 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9dd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9db0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9df0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9dd0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9df0) ] Edge 189 <-> 190 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e10) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e50) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9eb0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9e90) ] Edge 194 <-> 215 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa150) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9eb0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ef0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ed0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f10) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ef0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f30) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f10) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f50) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f30) ] Edge 199 <-> 200 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f70) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f50) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f90) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9f70) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9fd0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9fb0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ff0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9fd0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa010) Arc: (edge = 0x7fff6aae6ee0, target = 0x8a9ff0) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa030) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa010) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa070) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa050) ] Edge 209 <-> 210 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa0b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa090) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa0f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa0d0) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa130) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa110) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa170) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa150) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa190) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa170) ] Edge 217 <-> 218 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa1b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa190) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa1d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa1b0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa1f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa1d0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa210) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa1f0) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa250) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa230) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa270) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa250) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa290) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa270) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa2b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa290) ] Edge 227 <-> 228 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa2f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa2d0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa310) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa2f0) ] Edge 229 <-> 230 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa330) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa310) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa350) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa330) ] Edge 231 <-> 232 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa370) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa350) ] Edge 233 <-> 234 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa3b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa390) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa3d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa3b0) ] Edge 234 <-> 246 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa530) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa3b0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa3f0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa3d0) ] Edge 237 <-> 238 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa430) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa410) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa450) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa430) ] Edge 239 <-> 240 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa470) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa450) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa490) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa470) ] Edge 241 <-> 242 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa4b0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa490) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa4d0) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa4b0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa510) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa4f0) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa550) Arc: (edge = 0x7fff6aae6ee0, target = 0x8aa530) ] ] Robot arrangement: (|R| = 15, |V| = 248) [ robot locations: {1#4 2#21 3#24 4#37 5#46 6#98 7#118 8#132 9#148 10#155 11#179 12#200 13#205 14#226 15#232 } vertex occupancy: {0#0 0#1 0#2 0#3 1#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 2#21 0#22 0#23 3#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 4#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 5#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 6#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 7#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 8#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 9#148 0#149 0#150 0#151 0#152 0#153 0#154 10#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 11#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 12#200 0#201 0#202 0#203 0#204 13#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 14#226 0#227 0#228 0#229 0#230 0#231 15#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 } ] Robot arrangement: (|R| = 15, |V| = 248) [ robot locations: {1#5 2#9 3#27 4#59 5#64 6#75 7#77 8#111 9#133 10#154 11#178 12#190 13#204 14#216 15#240 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 1#5 0#6 0#7 0#8 2#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 3#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 4#59 0#60 0#61 0#62 0#63 5#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 6#75 0#76 7#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 8#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 9#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 10#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 11#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 12#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 13#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 14#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 15#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 } ] Original solution: Mulirobot solution: (|moves| = 236, paralellism = 3.631) [ Step 0: 245#232->143 246#179->180 242#132->70 238#46->47 237#226->31 243#37->61 247#205->206 234#155->107 236#98->128 233#200->201 240#118->119 244#21->22 239#148->147 Step 1: 246#180->181 245#143->142 237#31->30 238#47->28 243#61->60 247#206->130 236#128->127 233#201->50 242#70->19 244#22->23 234#107->108 Step 2: 246#181->26 245#142->141 238#28->29 237#30->12 247#130->131 233#50->49 242#19->20 234#108->109 Step 3: 246#26->18 245#141->140 247#131->78 237#12->5 233#49->48 234#109->110 Step 4: 246#18->17 245#140->54 247#78->62 237#5->6 241#4->5 233#48->13 Step 5: 246#17->8 245#54->45 247#62->36 237#6->7 233#13->12 Step 6: 246#8->237 247#36->37 245#45->46 236#127->45 238#29->36 237#7->8 239#147->7 233#12->30 Step 7: 246#237->238 247#37->61 236#45->54 238#36->62 245#46->45 237#8->17 239#7->8 244#23->7 Step 8: 246#238->239 247#61->194 243#60->61 236#54->53 238#62->78 245#45->54 237#17->18 239#8->17 244#7->153 Step 9: 246#239->240 247#194->215 236#53->4 245#54->53 238#78->77 243#61->37 237#18->33 244#153->154 239#17->18 Step 10: 247#215->216 236#4->3 243#37->36 237#33->63 241#5->4 239#18->19 Step 11: 236#3->202 243#36->44 237#63->62 241#4->16 245#53->4 239#19->70 242#20->19 Step 12: 236#202->203 237#62->36 241#16->162 245#4->3 239#70->132 240#119->70 242#19->18 Step 13: 236#203->204 237#36->37 243#44->36 241#162->161 239#132->133 240#70->71 242#18->33 Step 14: 237#37->38 243#36->29 241#161->177 240#71->43 242#33->55 Step 15: 237#38->184 243#29->28 241#177->178 240#43->15 242#55->56 234#110->38 Step 16: 237#184->185 243#28->47 242#56->111 234#38->37 240#15->16 Step 17: 237#185->186 243#47->64 234#37->36 240#16->4 Step 18: 237#186->187 243#64->65 240#4->53 234#36->29 245#3->4 Step 19: 237#187->188 243#65->9 240#53->54 234#29->28 233#30->29 Step 20: 237#188->189 243#9->6 240#54->72 234#28->27 233#29->28 Step 21: 237#189->190 243#6->5 240#72->73 233#28->47 234#27->28 235#24->27 Step 22: 240#73->74 233#47->64 243#5->35 234#28->29 Step 23: 240#74->75 243#35->34 234#29->30 Step 24: 243#34->33 234#30->12 Step 25: 243#33->55 234#12->5 Step 26: 243#55->56 234#5->6 245#4->5 Step 27: 243#56->57 234#6->7 245#5->6 Step 28: 243#57->58 234#7->8 245#6->7 Step 29: 243#58->59 234#8->0 245#7->8 Step 30: 234#0->1 245#8->0 Step 31: 234#1->2 245#0->1 Step 32: 234#2->3 245#1->2 Step 33: 234#3->4 245#2->3 Step 34: 234#4->5 245#3->4 Step 35: 234#5->6 245#4->5 Step 36: 234#6->7 245#5->6 Step 37: 234#7->8 245#6->7 Step 38: 234#8->0 245#7->8 Step 39: 234#0->1 245#8->0 Step 40: 234#1->2 245#0->1 Step 41: 234#2->3 245#1->2 Step 42: 234#3->4 245#2->3 Step 43: 234#4->5 245#3->4 Step 44: 234#5->6 245#4->5 Step 45: 234#6->7 245#5->6 Step 46: 234#7->8 245#6->7 Step 47: 234#8->0 245#7->8 Step 48: 234#0->1 245#8->0 Step 49: 234#1->2 245#0->1 Step 50: 234#2->3 245#1->2 Step 51: 234#3->4 245#2->3 Step 52: 234#4->5 245#3->4 Step 53: 234#5->6 245#4->5 Step 54: 234#6->7 245#5->6 Step 55: 234#7->8 245#6->7 Step 56: 234#8->0 Step 57: 234#0->1 Step 58: 234#1->2 Step 59: 234#2->3 Step 60: 234#3->4 Step 61: 234#4->5 Step 62: 234#5->6 Step 63: 234#6->9 245#7->6 Step 64: 245#6->5 ] reSolved solution: Mulirobot solution: (|moves| = 104, paralellism = 6.933) [ Step 0: 1#4->5 3#24->27 10#155->154 13#205->204 5#46->47 4#37->61 2#21->22 6#98->128 14#226->31 7#118->117 8#132->70 9#148->149 12#200->201 11#179->131 15#232->143 Step 1: 5#47->64 4#61->60 2#22->23 6#128->127 14#31->193 7#117->38 8#70->19 9#149->68 12#201->50 11#131->130 15#143->144 Step 2: 4#60->59 2#23->7 6#127->45 14#193->194 7#38->37 8#19->18 9#68->12 12#50->51 11#130->245 15#144->83 Step 3: 2#7->6 6#45->36 14#194->215 8#18->33 9#12->13 12#51->178 11#245->244 15#83->20 Step 4: 2#6->9 6#36->75 14#215->216 8#33->55 9#13->14 12#178->177 11#244->157 15#20->19 Step 5: 7#37->36 8#55->56 9#14->15 12#177->161 11#157->158 15#19->18 Step 6: 7#36->62 8#56->111 9#15->43 12#161->159 11#158->157 15#18->17 Step 7: 7#62->78 9#43->71 12#159->158 15#17->8 Step 8: 1#5->4 2#9->6 3#27->24 4#59->58 5#64->47 6#75->36 8#111->56 10#154->153 13#204->203 14#216->215 7#78->77 12#158->190 9#71->70 15#8->237 11#157->156 Step 9: 1#4->5 2#6->9 3#24->27 4#58->59 5#47->64 6#36->75 8#56->111 10#153->154 13#203->204 14#215->216 9#70->132 15#237->238 11#156->157 Step 10: 9#132->133 15#238->239 11#157->158 Step 11: 15#239->240 11#158->159 Step 12: 11#159->161 Step 13: 11#161->177 Step 14: 11#177->178 ] Multirobot solution analysis: ( total makespan = 15 total distance = 65 total trajectory = 104 average parallelism = 6.933 average distance = 4.333 average trajectory = 6.933 parallelism distribution = [ 3 1 1 1 0 2 0 2 0 1 1 0 1 0 2 ] distance distribution = [ 4 1 1 0 3 0 2 1 1 1 ] trajectory distribution = [ 0 0 4 1 1 0 4 0 2 0 1 1 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 = 104 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.043 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 = 104 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 5084 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------