================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,6 0,11 0,32 0,34 0,47 0,52 0,176 1,2 1,7 1,169 2,3 2,8 2,13 2,76 2,92 3,4 3,10 3,81 4,5 4,9 5,6 5,16 5,83 5,144 6,15 6,17 6,121 7,8 7,54 7,56 7,140 8,31 9,10 9,14 9,19 9,132 10,24 10,29 11,12 11,71 12,13 12,21 12,50 12,204 13,18 13,25 14,15 14,37 14,136 15,49 15,86 15,99 16,17 16,88 16,97 17,26 17,41 18,19 18,20 18,66 18,127 18,146 19,22 19,174 20,21 20,23 20,118 20,209 20,251 21,28 21,33 21,64 21,77 21,255 22,23 22,57 22,175 23,38 23,193 24,25 24,43 24,48 24,79 25,42 25,87 25,94 25,188 25,220 26,27 27,28 27,149 28,62 28,232 29,30 29,84 29,119 30,31 30,91 30,109 30,190 30,202 30,208 31,100 32,33 32,65 33,36 33,39 33,224 34,35 34,151 35,36 37,38 37,44 38,69 38,115 39,40 39,53 40,41 40,46 40,61 41,55 41,105 42,43 42,96 42,128 42,130 43,45 43,58 43,60 43,156 44,45 44,80 45,181 46,47 46,131 46,230 47,63 47,189 48,49 50,51 51,52 51,68 51,125 51,172 51,256 52,123 52,184 53,54 54,102 55,56 55,74 56,59 57,58 57,171 58,120 58,183 59,60 59,198 59,218 60,98 61,62 62,110 62,112 63,64 63,95 63,122 64,67 65,66 67,68 67,72 69,70 70,71 71,108 72,73 72,134 73,74 73,150 73,243 74,75 75,76 75,129 75,168 77,78 77,117 77,152 77,213 77,238 78,79 78,138 78,173 79,111 79,154 80,81 80,89 80,158 80,182 81,82 82,83 82,114 84,85 84,135 84,160 85,86 86,178 87,88 87,93 87,186 89,90 89,177 90,91 90,107 90,240 91,126 92,93 93,103 94,95 94,106 94,141 95,124 95,244 96,97 96,155 96,163 96,245 98,99 100,101 101,102 102,153 102,239 103,104 104,105 105,166 106,107 106,179 106,211 106,241 108,109 109,201 109,207 110,111 111,161 112,113 112,147 112,180 113,114 114,199 114,205 115,116 116,117 116,157 116,217 117,226 118,119 119,139 120,121 120,248 120,252 122,123 124,125 126,127 126,137 128,129 128,165 128,170 130,131 132,133 133,134 134,214 135,136 135,143 137,138 137,206 139,140 141,142 142,143 144,145 144,162 145,146 146,159 147,148 148,149 148,227 149,253 150,151 151,229 152,153 153,187 154,155 156,157 157,191 158,159 158,194 159,164 159,185 160,161 161,221 162,163 164,165 165,222 166,167 167,168 167,231 169,170 170,236 171,172 171,197 172,242 173,174 174,200 175,176 177,178 179,180 179,212 180,192 180,219 181,182 182,233 183,184 183,215 185,186 187,188 188,237 189,190 189,195 191,192 192,210 193,194 195,196 196,197 198,199 198,234 199,235 200,201 202,203 203,204 205,206 205,249 207,208 209,210 210,254 211,212 213,214 215,216 216,217 218,219 220,221 222,223 223,224 223,225 225,226 227,228 228,229 230,231 231,258 232,233 232,246 234,235 236,237 238,239 240,241 242,243 244,245 246,247 247,248 249,250 250,251 252,253 254,255 256,257 257,258 Reading initial arrangement... Reading original solution... Length:206 251 # 81 ---> 3 (0) 251 # 3 ---> 4 (1) 246 # 43 ---> 24 (0) 253 # 59 ---> 60 (0) 246 # 24 ---> 10 (1) 253 # 60 ---> 43 (1) 246 # 10 ---> 3 (2) 253 # 43 ---> 24 (2) 254 # 121 ---> 120 (0) 254 # 120 ---> 58 (1) 250 # 247 ---> 248 (0) 249 # 182 ---> 233 (0) 254 # 58 ---> 43 (2) 250 # 248 ---> 120 (1) 254 # 43 ---> 45 (3) 250 # 120 ---> 58 (2) 249 # 233 ---> 232 (1) 254 # 45 ---> 181 (4) 250 # 58 ---> 43 (3) 249 # 232 ---> 28 (2) 246 # 3 ---> 81 (3) 250 # 43 ---> 45 (4) 250 # 45 ---> 44 (5) 248 # 170 ---> 128 (0) 243 # 151 ---> 34 (0) 243 # 34 ---> 0 (1) 245 # 147 ---> 148 (0) 243 # 0 ---> 6 (2) 248 # 128 ---> 42 (1) 248 # 42 ---> 43 (4) 248 # 43 ---> 58 (5) 248 # 58 ---> 183 (6) 248 # 183 ---> 215 (7) 253 # 24 ---> 79 (3) 253 # 79 ---> 78 (4) 253 # 78 ---> 77 (5) 253 # 77 ---> 213 (6) 253 # 213 ---> 214 (7) 244 # 87 ---> 93 (0) 257 # 208 ---> 30 (0) 252 # 189 ---> 47 (0) 252 # 47 ---> 0 (2) 252 # 0 ---> 1 (3) 246 # 81 ---> 82 (4) 250 # 44 ---> 80 (6) 250 # 80 ---> 81 (7) 246 # 82 ---> 83 (5) 250 # 81 ---> 82 (8) 250 # 82 ---> 114 (9) 250 # 114 ---> 205 (10) 257 # 30 ---> 31 (1) 252 # 1 ---> 7 (4) 243 # 6 ---> 0 (3) 243 # 0 ---> 47 (4) 243 # 47 ---> 189 (5) 257 # 31 ---> 8 (2) 243 # 189 ---> 190 (6) 258 # 197 ---> 171 (0) 258 # 171 ---> 172 (1) 244 # 93 ---> 92 (1) 244 # 92 ---> 2 (2) 244 # 2 ---> 13 (3) 244 # 13 ---> 18 (4) 244 # 18 ---> 20 (5) 244 # 20 ---> 23 (6) 244 # 23 ---> 193 (7) 244 # 193 ---> 194 (8) 243 # 190 ---> 30 (7) 257 # 8 ---> 2 (3) 257 # 2 ---> 1 (4) 257 # 1 ---> 0 (5) 257 # 0 ---> 6 (6) 255 # 159 ---> 146 (0) 246 # 83 ---> 82 (9) 255 # 146 ---> 145 (1) 257 # 6 ---> 121 (7) 254 # 181 ---> 182 (5) 254 # 182 ---> 80 (7) 254 # 80 ---> 89 (8) 258 # 172 ---> 51 (2) 258 # 51 ---> 50 (3) 258 # 50 ---> 12 (4) 258 # 12 ---> 21 (5) 246 # 82 ---> 81 (10) 255 # 145 ---> 144 (2) 255 # 144 ---> 5 (3) 255 # 5 ---> 6 (7) 255 # 6 ---> 17 (8) 255 # 17 ---> 41 (9) 255 # 41 ---> 105 (10) 255 # 105 ---> 166 (11) 255 # 166 ---> 167 (12) 246 # 81 ---> 80 (11) 246 # 80 ---> 44 (12) 254 # 89 ---> 80 (12) 254 # 80 ---> 81 (13) 246 # 44 ---> 45 (13) 258 # 21 ---> 77 (6) 258 # 77 ---> 152 (7) 245 # 148 ---> 149 (1) 245 # 149 ---> 27 (2) 249 # 28 ---> 62 (3) 249 # 62 ---> 112 (4) 249 # 112 ---> 147 (5) 251 # 4 ---> 5 (7) 251 # 5 ---> 6 (8) 247 # 141 ---> 142 (0) 247 # 142 ---> 143 (1) 247 # 143 ---> 135 (2) 247 # 135 ---> 84 (3) 252 # 7 ---> 1 (5) 247 # 84 ---> 85 (4) 243 # 30 ---> 29 (8) 243 # 29 ---> 10 (9) 251 # 6 ---> 0 (9) 251 # 0 ---> 47 (10) 251 # 47 ---> 63 (11) 251 # 63 ---> 64 (12) 257 # 121 ---> 6 (9) 254 # 81 ---> 3 (14) 246 # 45 ---> 43 (14) 246 # 43 ---> 24 (15) 246 # 24 ---> 25 (16) 246 # 25 ---> 13 (17) 246 # 13 ---> 12 (18) 246 # 12 ---> 21 (19) 246 # 21 ---> 28 (20) 246 # 28 ---> 62 (21) 246 # 62 ---> 110 (22) 252 # 1 ---> 0 (10) 256 # 88 ---> 87 (0) 256 # 87 ---> 25 (17) 252 # 0 ---> 32 (11) 254 # 3 ---> 2 (15) 256 # 25 ---> 42 (18) 256 # 42 ---> 96 (19) 256 # 96 ---> 97 (20) 251 # 64 ---> 21 (20) 251 # 21 ---> 12 (21) 247 # 85 ---> 86 (5) 247 # 86 ---> 15 (6) 247 # 15 ---> 14 (7) 247 # 14 ---> 37 (8) 254 # 2 ---> 13 (18) 251 # 12 ---> 11 (22) 254 # 13 ---> 12 (22) 254 # 12 ---> 21 (23) 254 # 21 ---> 64 (24) 254 # 64 ---> 67 (25) 254 # 67 ---> 72 (26) 254 # 72 ---> 73 (27) 254 # 73 ---> 74 (28) 257 # 6 ---> 15 (10) 257 # 15 ---> 14 (11) 247 # 37 ---> 38 (9) 257 # 14 ---> 37 (12) 247 # 38 ---> 23 (10) 257 # 37 ---> 38 (13) 251 # 11 ---> 0 (23) 257 # 38 ---> 69 (14) 257 # 69 ---> 70 (15) 257 # 70 ---> 71 (16) 247 # 23 ---> 38 (14) 251 # 0 ---> 1 (24) 251 # 1 ---> 2 (25) 247 # 38 ---> 37 (15) 247 # 37 ---> 14 (16) 247 # 14 ---> 15 (17) 247 # 15 ---> 6 (18) 247 # 6 ---> 0 (24) 251 # 2 ---> 13 (26) 247 # 0 ---> 1 (25) 247 # 1 ---> 7 (26) 247 # 7 ---> 56 (27) 247 # 56 ---> 59 (28) 247 # 59 ---> 60 (29) 243 # 10 ---> 3 (15) 251 # 13 ---> 12 (27) 251 # 12 ---> 50 (28) 251 # 50 ---> 51 (29) 251 # 51 ---> 52 (30) 245 # 27 ---> 26 (3) 245 # 26 ---> 17 (9) 245 # 17 ---> 6 (24) 245 # 6 ---> 15 (25) 245 # 15 ---> 14 (26) 245 # 14 ---> 37 (27) 245 # 37 ---> 44 (28) 252 # 32 ---> 33 (12) 252 # 33 ---> 21 (24) 252 # 21 ---> 12 (28) 252 # 12 ---> 11 (29) 252 # 11 ---> 0 (30) 252 # 0 ---> 6 (31) 243 # 3 ---> 2 (26) 252 # 6 ---> 5 (32) 243 # 2 ---> 1 (27) 243 # 1 ---> 0 (31) 243 # 0 ---> 6 (32) 243 # 6 ---> 17 (33) 243 # 17 ---> 26 (34) 252 # 5 ---> 6 (33) 252 # 6 ---> 17 (34) 243 # 26 ---> 27 (35) 252 # 17 ---> 26 (35) 257 # 71 ---> 11 (30) Reading goal arrangement... Undirected graph: (|V|=259 |E|=371) [ Vertex: (id = 0) {1 6 11 32 34 47 52 176 } Vertex: (id = 1) {0 2 7 169 } Vertex: (id = 2) {1 3 8 13 76 92 } Vertex: (id = 3) {2 4 10 81 } Vertex: (id = 4) {3 5 9 } Vertex: (id = 5) {4 6 16 83 144 } Vertex: (id = 6) {0 5 15 17 121 } Vertex: (id = 7) {1 8 54 56 140 } Vertex: (id = 8) {2 7 31 } Vertex: (id = 9) {4 10 14 19 132 } Vertex: (id = 10) {3 9 24 29 } Vertex: (id = 11) {0 12 71 } Vertex: (id = 12) {11 13 21 50 204 } Vertex: (id = 13) {2 12 18 25 } Vertex: (id = 14) {9 15 37 136 } Vertex: (id = 15) {6 14 49 86 99 } Vertex: (id = 16) {5 17 88 97 } Vertex: (id = 17) {6 16 26 41 } Vertex: (id = 18) {13 19 20 66 127 146 } Vertex: (id = 19) {9 18 22 174 } Vertex: (id = 20) {18 21 23 118 209 251 } Vertex: (id = 21) {12 20 28 33 64 77 255 } Vertex: (id = 22) {19 23 57 175 } Vertex: (id = 23) {20 22 38 193 } Vertex: (id = 24) {10 25 43 48 79 } Vertex: (id = 25) {13 24 42 87 94 188 220 } Vertex: (id = 26) {17 27 } Vertex: (id = 27) {26 28 149 } Vertex: (id = 28) {21 27 62 232 } Vertex: (id = 29) {10 30 84 119 } Vertex: (id = 30) {29 31 91 109 190 202 208 } Vertex: (id = 31) {8 30 100 } Vertex: (id = 32) {0 33 65 } Vertex: (id = 33) {21 32 36 39 224 } Vertex: (id = 34) {0 35 151 } Vertex: (id = 35) {34 36 } Vertex: (id = 36) {33 35 } Vertex: (id = 37) {14 38 44 } Vertex: (id = 38) {23 37 69 115 } Vertex: (id = 39) {33 40 53 } Vertex: (id = 40) {39 41 46 61 } Vertex: (id = 41) {17 40 55 105 } Vertex: (id = 42) {25 43 96 128 130 } Vertex: (id = 43) {24 42 45 58 60 156 } Vertex: (id = 44) {37 45 80 } Vertex: (id = 45) {43 44 181 } Vertex: (id = 46) {40 47 131 230 } Vertex: (id = 47) {0 46 63 189 } Vertex: (id = 48) {24 49 } Vertex: (id = 49) {15 48 } Vertex: (id = 50) {12 51 } Vertex: (id = 51) {50 52 68 125 172 256 } Vertex: (id = 52) {0 51 123 184 } Vertex: (id = 53) {39 54 } Vertex: (id = 54) {7 53 102 } Vertex: (id = 55) {41 56 74 } Vertex: (id = 56) {7 55 59 } Vertex: (id = 57) {22 58 171 } Vertex: (id = 58) {43 57 120 183 } Vertex: (id = 59) {56 60 198 218 } Vertex: (id = 60) {43 59 98 } Vertex: (id = 61) {40 62 } Vertex: (id = 62) {28 61 110 112 } Vertex: (id = 63) {47 64 95 122 } Vertex: (id = 64) {21 63 67 } Vertex: (id = 65) {32 66 } Vertex: (id = 66) {18 65 } Vertex: (id = 67) {64 68 72 } Vertex: (id = 68) {51 67 } Vertex: (id = 69) {38 70 } Vertex: (id = 70) {69 71 } Vertex: (id = 71) {11 70 108 } Vertex: (id = 72) {67 73 134 } Vertex: (id = 73) {72 74 150 243 } Vertex: (id = 74) {55 73 75 } Vertex: (id = 75) {74 76 129 168 } Vertex: (id = 76) {2 75 } Vertex: (id = 77) {21 78 117 152 213 238 } Vertex: (id = 78) {77 79 138 173 } Vertex: (id = 79) {24 78 111 154 } Vertex: (id = 80) {44 81 89 158 182 } Vertex: (id = 81) {3 80 82 } Vertex: (id = 82) {81 83 114 } Vertex: (id = 83) {5 82 } Vertex: (id = 84) {29 85 135 160 } Vertex: (id = 85) {84 86 } Vertex: (id = 86) {15 85 178 } Vertex: (id = 87) {25 88 93 186 } Vertex: (id = 88) {16 87 } Vertex: (id = 89) {80 90 177 } Vertex: (id = 90) {89 91 107 240 } Vertex: (id = 91) {30 90 126 } Vertex: (id = 92) {2 93 } Vertex: (id = 93) {87 92 103 } Vertex: (id = 94) {25 95 106 141 } Vertex: (id = 95) {63 94 124 244 } Vertex: (id = 96) {42 97 155 163 245 } Vertex: (id = 97) {16 96 } Vertex: (id = 98) {60 99 } Vertex: (id = 99) {15 98 } Vertex: (id = 100) {31 101 } Vertex: (id = 101) {100 102 } Vertex: (id = 102) {54 101 153 239 } Vertex: (id = 103) {93 104 } Vertex: (id = 104) {103 105 } Vertex: (id = 105) {41 104 166 } Vertex: (id = 106) {94 107 179 211 241 } Vertex: (id = 107) {90 106 } Vertex: (id = 108) {71 109 } Vertex: (id = 109) {30 108 201 207 } Vertex: (id = 110) {62 111 } Vertex: (id = 111) {79 110 161 } Vertex: (id = 112) {62 113 147 180 } Vertex: (id = 113) {112 114 } Vertex: (id = 114) {82 113 199 205 } Vertex: (id = 115) {38 116 } Vertex: (id = 116) {115 117 157 217 } Vertex: (id = 117) {77 116 226 } Vertex: (id = 118) {20 119 } Vertex: (id = 119) {29 118 139 } Vertex: (id = 120) {58 121 248 252 } Vertex: (id = 121) {6 120 } Vertex: (id = 122) {63 123 } Vertex: (id = 123) {52 122 } Vertex: (id = 124) {95 125 } Vertex: (id = 125) {51 124 } Vertex: (id = 126) {91 127 137 } Vertex: (id = 127) {18 126 } Vertex: (id = 128) {42 129 165 170 } Vertex: (id = 129) {75 128 } Vertex: (id = 130) {42 131 } Vertex: (id = 131) {46 130 } Vertex: (id = 132) {9 133 } Vertex: (id = 133) {132 134 } Vertex: (id = 134) {72 133 214 } Vertex: (id = 135) {84 136 143 } Vertex: (id = 136) {14 135 } Vertex: (id = 137) {126 138 206 } Vertex: (id = 138) {78 137 } Vertex: (id = 139) {119 140 } Vertex: (id = 140) {7 139 } Vertex: (id = 141) {94 142 } Vertex: (id = 142) {141 143 } Vertex: (id = 143) {135 142 } Vertex: (id = 144) {5 145 162 } Vertex: (id = 145) {144 146 } Vertex: (id = 146) {18 145 159 } Vertex: (id = 147) {112 148 } Vertex: (id = 148) {147 149 227 } Vertex: (id = 149) {27 148 253 } Vertex: (id = 150) {73 151 } Vertex: (id = 151) {34 150 229 } Vertex: (id = 152) {77 153 } Vertex: (id = 153) {102 152 187 } Vertex: (id = 154) {79 155 } Vertex: (id = 155) {96 154 } Vertex: (id = 156) {43 157 } Vertex: (id = 157) {116 156 191 } Vertex: (id = 158) {80 159 194 } Vertex: (id = 159) {146 158 164 185 } Vertex: (id = 160) {84 161 } Vertex: (id = 161) {111 160 221 } Vertex: (id = 162) {144 163 } Vertex: (id = 163) {96 162 } Vertex: (id = 164) {159 165 } Vertex: (id = 165) {128 164 222 } Vertex: (id = 166) {105 167 } Vertex: (id = 167) {166 168 231 } Vertex: (id = 168) {75 167 } Vertex: (id = 169) {1 170 } Vertex: (id = 170) {128 169 236 } Vertex: (id = 171) {57 172 197 } Vertex: (id = 172) {51 171 242 } Vertex: (id = 173) {78 174 } Vertex: (id = 174) {19 173 200 } Vertex: (id = 175) {22 176 } Vertex: (id = 176) {0 175 } Vertex: (id = 177) {89 178 } Vertex: (id = 178) {86 177 } Vertex: (id = 179) {106 180 212 } Vertex: (id = 180) {112 179 192 219 } Vertex: (id = 181) {45 182 } Vertex: (id = 182) {80 181 233 } Vertex: (id = 183) {58 184 215 } Vertex: (id = 184) {52 183 } Vertex: (id = 185) {159 186 } Vertex: (id = 186) {87 185 } Vertex: (id = 187) {153 188 } Vertex: (id = 188) {25 187 237 } Vertex: (id = 189) {47 190 195 } Vertex: (id = 190) {30 189 } Vertex: (id = 191) {157 192 } Vertex: (id = 192) {180 191 210 } Vertex: (id = 193) {23 194 } Vertex: (id = 194) {158 193 } Vertex: (id = 195) {189 196 } Vertex: (id = 196) {195 197 } Vertex: (id = 197) {171 196 } Vertex: (id = 198) {59 199 234 } Vertex: (id = 199) {114 198 235 } Vertex: (id = 200) {174 201 } Vertex: (id = 201) {109 200 } Vertex: (id = 202) {30 203 } Vertex: (id = 203) {202 204 } Vertex: (id = 204) {12 203 } Vertex: (id = 205) {114 206 249 } Vertex: (id = 206) {137 205 } Vertex: (id = 207) {109 208 } Vertex: (id = 208) {30 207 } Vertex: (id = 209) {20 210 } Vertex: (id = 210) {192 209 254 } Vertex: (id = 211) {106 212 } Vertex: (id = 212) {179 211 } Vertex: (id = 213) {77 214 } Vertex: (id = 214) {134 213 } Vertex: (id = 215) {183 216 } Vertex: (id = 216) {215 217 } Vertex: (id = 217) {116 216 } Vertex: (id = 218) {59 219 } Vertex: (id = 219) {180 218 } Vertex: (id = 220) {25 221 } Vertex: (id = 221) {161 220 } Vertex: (id = 222) {165 223 } Vertex: (id = 223) {222 224 225 } Vertex: (id = 224) {33 223 } Vertex: (id = 225) {223 226 } Vertex: (id = 226) {117 225 } Vertex: (id = 227) {148 228 } Vertex: (id = 228) {227 229 } Vertex: (id = 229) {151 228 } Vertex: (id = 230) {46 231 } Vertex: (id = 231) {167 230 258 } Vertex: (id = 232) {28 233 246 } Vertex: (id = 233) {182 232 } Vertex: (id = 234) {198 235 } Vertex: (id = 235) {199 234 } Vertex: (id = 236) {170 237 } Vertex: (id = 237) {188 236 } Vertex: (id = 238) {77 239 } Vertex: (id = 239) {102 238 } Vertex: (id = 240) {90 241 } Vertex: (id = 241) {106 240 } Vertex: (id = 242) {172 243 } Vertex: (id = 243) {73 242 } Vertex: (id = 244) {95 245 } Vertex: (id = 245) {96 244 } Vertex: (id = 246) {232 247 } Vertex: (id = 247) {246 248 } Vertex: (id = 248) {120 247 } Vertex: (id = 249) {205 250 } Vertex: (id = 250) {249 251 } Vertex: (id = 251) {20 250 } Vertex: (id = 252) {120 253 } Vertex: (id = 253) {149 252 } Vertex: (id = 254) {210 255 } Vertex: (id = 255) {21 254 } Vertex: (id = 256) {51 257 } Vertex: (id = 257) {256 258 } Vertex: (id = 258) {231 257 } Edge 0 <-> 1 [ Arc: (edge = 0x7fff03db0470, target = 0x10e76a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 0 <-> 6 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7740) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 0 <-> 11 [ Arc: (edge = 0x7fff03db0470, target = 0x10e77e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 0 <-> 32 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7a80) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 0 <-> 34 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ac0) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 0 <-> 47 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7c60) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 0 <-> 52 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d00) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 0 <-> 176 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c80) Arc: (edge = 0x7fff03db0470, target = 0x10e7680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fff03db0470, target = 0x10e76c0) Arc: (edge = 0x7fff03db0470, target = 0x10e76a0) ] Edge 1 <-> 7 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7760) Arc: (edge = 0x7fff03db0470, target = 0x10e76a0) ] Edge 1 <-> 169 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ba0) Arc: (edge = 0x7fff03db0470, target = 0x10e76a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fff03db0470, target = 0x10e76e0) Arc: (edge = 0x7fff03db0470, target = 0x10e76c0) ] Edge 2 <-> 8 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7780) Arc: (edge = 0x7fff03db0470, target = 0x10e76c0) ] Edge 2 <-> 13 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7820) Arc: (edge = 0x7fff03db0470, target = 0x10e76c0) ] Edge 2 <-> 76 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8000) Arc: (edge = 0x7fff03db0470, target = 0x10e76c0) ] Edge 2 <-> 92 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8200) Arc: (edge = 0x7fff03db0470, target = 0x10e76c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7700) Arc: (edge = 0x7fff03db0470, target = 0x10e76e0) ] Edge 3 <-> 10 [ Arc: (edge = 0x7fff03db0470, target = 0x10e77c0) Arc: (edge = 0x7fff03db0470, target = 0x10e76e0) ] Edge 3 <-> 81 [ Arc: (edge = 0x7fff03db0470, target = 0x10e80a0) Arc: (edge = 0x7fff03db0470, target = 0x10e76e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7720) Arc: (edge = 0x7fff03db0470, target = 0x10e7700) ] Edge 4 <-> 9 [ Arc: (edge = 0x7fff03db0470, target = 0x10e77a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7740) Arc: (edge = 0x7fff03db0470, target = 0x10e7720) ] Edge 5 <-> 16 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7880) Arc: (edge = 0x7fff03db0470, target = 0x10e7720) ] Edge 5 <-> 83 [ Arc: (edge = 0x7fff03db0470, target = 0x10e80e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7720) ] Edge 5 <-> 144 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8880) Arc: (edge = 0x7fff03db0470, target = 0x10e7720) ] Edge 6 <-> 15 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7860) Arc: (edge = 0x7fff03db0470, target = 0x10e7740) ] Edge 6 <-> 17 [ Arc: (edge = 0x7fff03db0470, target = 0x10e78a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7740) ] Edge 6 <-> 121 [ Arc: (edge = 0x7fff03db0470, target = 0x10e85a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7780) Arc: (edge = 0x7fff03db0470, target = 0x10e7760) ] Edge 7 <-> 54 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d40) Arc: (edge = 0x7fff03db0470, target = 0x10e7760) ] Edge 7 <-> 56 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d80) Arc: (edge = 0x7fff03db0470, target = 0x10e7760) ] Edge 7 <-> 140 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8800) Arc: (edge = 0x7fff03db0470, target = 0x10e7760) ] Edge 8 <-> 31 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7a60) Arc: (edge = 0x7fff03db0470, target = 0x10e7780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff03db0470, target = 0x10e77c0) Arc: (edge = 0x7fff03db0470, target = 0x10e77a0) ] Edge 9 <-> 14 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7840) Arc: (edge = 0x7fff03db0470, target = 0x10e77a0) ] Edge 9 <-> 19 [ Arc: (edge = 0x7fff03db0470, target = 0x10e78e0) Arc: (edge = 0x7fff03db0470, target = 0x10e77a0) ] Edge 9 <-> 132 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8700) Arc: (edge = 0x7fff03db0470, target = 0x10e77a0) ] Edge 10 <-> 24 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7980) Arc: (edge = 0x7fff03db0470, target = 0x10e77c0) ] Edge 10 <-> 29 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7a20) Arc: (edge = 0x7fff03db0470, target = 0x10e77c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7800) Arc: (edge = 0x7fff03db0470, target = 0x10e77e0) ] Edge 11 <-> 71 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7f60) Arc: (edge = 0x7fff03db0470, target = 0x10e77e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7820) Arc: (edge = 0x7fff03db0470, target = 0x10e7800) ] Edge 12 <-> 21 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7920) Arc: (edge = 0x7fff03db0470, target = 0x10e7800) ] Edge 12 <-> 50 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7cc0) Arc: (edge = 0x7fff03db0470, target = 0x10e7800) ] Edge 12 <-> 204 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9000) Arc: (edge = 0x7fff03db0470, target = 0x10e7800) ] Edge 13 <-> 18 [ Arc: (edge = 0x7fff03db0470, target = 0x10e78c0) Arc: (edge = 0x7fff03db0470, target = 0x10e7820) ] Edge 13 <-> 25 [ Arc: (edge = 0x7fff03db0470, target = 0x10e79a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7860) Arc: (edge = 0x7fff03db0470, target = 0x10e7840) ] Edge 14 <-> 37 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7b20) Arc: (edge = 0x7fff03db0470, target = 0x10e7840) ] Edge 14 <-> 136 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8780) Arc: (edge = 0x7fff03db0470, target = 0x10e7840) ] Edge 15 <-> 49 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ca0) Arc: (edge = 0x7fff03db0470, target = 0x10e7860) ] Edge 15 <-> 86 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8140) Arc: (edge = 0x7fff03db0470, target = 0x10e7860) ] Edge 15 <-> 99 [ Arc: (edge = 0x7fff03db0470, target = 0x10e82e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff03db0470, target = 0x10e78a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7880) ] Edge 16 <-> 88 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8180) Arc: (edge = 0x7fff03db0470, target = 0x10e7880) ] Edge 16 <-> 97 [ Arc: (edge = 0x7fff03db0470, target = 0x10e82a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7880) ] Edge 17 <-> 26 [ Arc: (edge = 0x7fff03db0470, target = 0x10e79c0) Arc: (edge = 0x7fff03db0470, target = 0x10e78a0) ] Edge 17 <-> 41 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ba0) Arc: (edge = 0x7fff03db0470, target = 0x10e78a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff03db0470, target = 0x10e78e0) Arc: (edge = 0x7fff03db0470, target = 0x10e78c0) ] Edge 18 <-> 20 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7900) Arc: (edge = 0x7fff03db0470, target = 0x10e78c0) ] Edge 18 <-> 66 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ec0) Arc: (edge = 0x7fff03db0470, target = 0x10e78c0) ] Edge 18 <-> 127 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8660) Arc: (edge = 0x7fff03db0470, target = 0x10e78c0) ] Edge 18 <-> 146 [ Arc: (edge = 0x7fff03db0470, target = 0x10e88c0) Arc: (edge = 0x7fff03db0470, target = 0x10e78c0) ] Edge 19 <-> 22 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7940) Arc: (edge = 0x7fff03db0470, target = 0x10e78e0) ] Edge 19 <-> 174 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c40) Arc: (edge = 0x7fff03db0470, target = 0x10e78e0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7920) Arc: (edge = 0x7fff03db0470, target = 0x10e7900) ] Edge 20 <-> 23 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7960) Arc: (edge = 0x7fff03db0470, target = 0x10e7900) ] Edge 20 <-> 118 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8540) Arc: (edge = 0x7fff03db0470, target = 0x10e7900) ] Edge 20 <-> 209 [ Arc: (edge = 0x7fff03db0470, target = 0x10e90a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7900) ] Edge 20 <-> 251 [ Arc: (edge = 0x7fff03db0470, target = 0x10e95e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7900) ] Edge 21 <-> 28 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7a00) Arc: (edge = 0x7fff03db0470, target = 0x10e7920) ] Edge 21 <-> 33 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7aa0) Arc: (edge = 0x7fff03db0470, target = 0x10e7920) ] Edge 21 <-> 64 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e80) Arc: (edge = 0x7fff03db0470, target = 0x10e7920) ] Edge 21 <-> 77 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8020) Arc: (edge = 0x7fff03db0470, target = 0x10e7920) ] Edge 21 <-> 255 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9660) Arc: (edge = 0x7fff03db0470, target = 0x10e7920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7960) Arc: (edge = 0x7fff03db0470, target = 0x10e7940) ] Edge 22 <-> 57 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7da0) Arc: (edge = 0x7fff03db0470, target = 0x10e7940) ] Edge 22 <-> 175 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c60) Arc: (edge = 0x7fff03db0470, target = 0x10e7940) ] Edge 23 <-> 38 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7b40) Arc: (edge = 0x7fff03db0470, target = 0x10e7960) ] Edge 23 <-> 193 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ea0) Arc: (edge = 0x7fff03db0470, target = 0x10e7960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff03db0470, target = 0x10e79a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7980) ] Edge 24 <-> 43 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7be0) Arc: (edge = 0x7fff03db0470, target = 0x10e7980) ] Edge 24 <-> 48 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7c80) Arc: (edge = 0x7fff03db0470, target = 0x10e7980) ] Edge 24 <-> 79 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8060) Arc: (edge = 0x7fff03db0470, target = 0x10e7980) ] Edge 25 <-> 42 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7bc0) Arc: (edge = 0x7fff03db0470, target = 0x10e79a0) ] Edge 25 <-> 87 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8160) Arc: (edge = 0x7fff03db0470, target = 0x10e79a0) ] Edge 25 <-> 94 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8240) Arc: (edge = 0x7fff03db0470, target = 0x10e79a0) ] Edge 25 <-> 188 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e00) Arc: (edge = 0x7fff03db0470, target = 0x10e79a0) ] Edge 25 <-> 220 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9200) Arc: (edge = 0x7fff03db0470, target = 0x10e79a0) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fff03db0470, target = 0x10e79e0) Arc: (edge = 0x7fff03db0470, target = 0x10e79c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7a00) Arc: (edge = 0x7fff03db0470, target = 0x10e79e0) ] Edge 27 <-> 149 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8920) Arc: (edge = 0x7fff03db0470, target = 0x10e79e0) ] Edge 28 <-> 62 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e40) Arc: (edge = 0x7fff03db0470, target = 0x10e7a00) ] Edge 28 <-> 232 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9380) Arc: (edge = 0x7fff03db0470, target = 0x10e7a00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7a40) Arc: (edge = 0x7fff03db0470, target = 0x10e7a20) ] Edge 29 <-> 84 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8100) Arc: (edge = 0x7fff03db0470, target = 0x10e7a20) ] Edge 29 <-> 119 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8560) Arc: (edge = 0x7fff03db0470, target = 0x10e7a20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7a60) Arc: (edge = 0x7fff03db0470, target = 0x10e7a40) ] Edge 30 <-> 91 [ Arc: (edge = 0x7fff03db0470, target = 0x10e81e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7a40) ] Edge 30 <-> 109 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8420) Arc: (edge = 0x7fff03db0470, target = 0x10e7a40) ] Edge 30 <-> 190 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e40) Arc: (edge = 0x7fff03db0470, target = 0x10e7a40) ] Edge 30 <-> 202 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8fc0) Arc: (edge = 0x7fff03db0470, target = 0x10e7a40) ] Edge 30 <-> 208 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9080) Arc: (edge = 0x7fff03db0470, target = 0x10e7a40) ] Edge 31 <-> 100 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8300) Arc: (edge = 0x7fff03db0470, target = 0x10e7a60) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7aa0) Arc: (edge = 0x7fff03db0470, target = 0x10e7a80) ] Edge 32 <-> 65 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ea0) Arc: (edge = 0x7fff03db0470, target = 0x10e7a80) ] Edge 33 <-> 36 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7b00) Arc: (edge = 0x7fff03db0470, target = 0x10e7aa0) ] Edge 33 <-> 39 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7b60) Arc: (edge = 0x7fff03db0470, target = 0x10e7aa0) ] Edge 33 <-> 224 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9280) Arc: (edge = 0x7fff03db0470, target = 0x10e7aa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ae0) Arc: (edge = 0x7fff03db0470, target = 0x10e7ac0) ] Edge 34 <-> 151 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8960) Arc: (edge = 0x7fff03db0470, target = 0x10e7ac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7b00) Arc: (edge = 0x7fff03db0470, target = 0x10e7ae0) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7b40) Arc: (edge = 0x7fff03db0470, target = 0x10e7b20) ] Edge 37 <-> 44 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7c00) Arc: (edge = 0x7fff03db0470, target = 0x10e7b20) ] Edge 38 <-> 69 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7f20) Arc: (edge = 0x7fff03db0470, target = 0x10e7b40) ] Edge 38 <-> 115 [ Arc: (edge = 0x7fff03db0470, target = 0x10e84e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7b40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7b80) Arc: (edge = 0x7fff03db0470, target = 0x10e7b60) ] Edge 39 <-> 53 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d20) Arc: (edge = 0x7fff03db0470, target = 0x10e7b60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ba0) Arc: (edge = 0x7fff03db0470, target = 0x10e7b80) ] Edge 40 <-> 46 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7c40) Arc: (edge = 0x7fff03db0470, target = 0x10e7b80) ] Edge 40 <-> 61 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e20) Arc: (edge = 0x7fff03db0470, target = 0x10e7b80) ] Edge 41 <-> 55 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d60) Arc: (edge = 0x7fff03db0470, target = 0x10e7ba0) ] Edge 41 <-> 105 [ Arc: (edge = 0x7fff03db0470, target = 0x10e83a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7ba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7be0) Arc: (edge = 0x7fff03db0470, target = 0x10e7bc0) ] Edge 42 <-> 96 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8280) Arc: (edge = 0x7fff03db0470, target = 0x10e7bc0) ] Edge 42 <-> 128 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8680) Arc: (edge = 0x7fff03db0470, target = 0x10e7bc0) ] Edge 42 <-> 130 [ Arc: (edge = 0x7fff03db0470, target = 0x10e86c0) Arc: (edge = 0x7fff03db0470, target = 0x10e7bc0) ] Edge 43 <-> 45 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7c20) Arc: (edge = 0x7fff03db0470, target = 0x10e7be0) ] Edge 43 <-> 58 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7dc0) Arc: (edge = 0x7fff03db0470, target = 0x10e7be0) ] Edge 43 <-> 60 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e00) Arc: (edge = 0x7fff03db0470, target = 0x10e7be0) ] Edge 43 <-> 156 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8a00) Arc: (edge = 0x7fff03db0470, target = 0x10e7be0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7c20) Arc: (edge = 0x7fff03db0470, target = 0x10e7c00) ] Edge 44 <-> 80 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8080) Arc: (edge = 0x7fff03db0470, target = 0x10e7c00) ] Edge 45 <-> 181 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d20) Arc: (edge = 0x7fff03db0470, target = 0x10e7c20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7c60) Arc: (edge = 0x7fff03db0470, target = 0x10e7c40) ] Edge 46 <-> 131 [ Arc: (edge = 0x7fff03db0470, target = 0x10e86e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7c40) ] Edge 46 <-> 230 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9340) Arc: (edge = 0x7fff03db0470, target = 0x10e7c40) ] Edge 47 <-> 63 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e60) Arc: (edge = 0x7fff03db0470, target = 0x10e7c60) ] Edge 47 <-> 189 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e20) Arc: (edge = 0x7fff03db0470, target = 0x10e7c60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ca0) Arc: (edge = 0x7fff03db0470, target = 0x10e7c80) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ce0) Arc: (edge = 0x7fff03db0470, target = 0x10e7cc0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d00) Arc: (edge = 0x7fff03db0470, target = 0x10e7ce0) ] Edge 51 <-> 68 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7f00) Arc: (edge = 0x7fff03db0470, target = 0x10e7ce0) ] Edge 51 <-> 125 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8620) Arc: (edge = 0x7fff03db0470, target = 0x10e7ce0) ] Edge 51 <-> 172 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c00) Arc: (edge = 0x7fff03db0470, target = 0x10e7ce0) ] Edge 51 <-> 256 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9680) Arc: (edge = 0x7fff03db0470, target = 0x10e7ce0) ] Edge 52 <-> 123 [ Arc: (edge = 0x7fff03db0470, target = 0x10e85e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7d00) ] Edge 52 <-> 184 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d80) Arc: (edge = 0x7fff03db0470, target = 0x10e7d00) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d40) Arc: (edge = 0x7fff03db0470, target = 0x10e7d20) ] Edge 54 <-> 102 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8340) Arc: (edge = 0x7fff03db0470, target = 0x10e7d40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7d80) Arc: (edge = 0x7fff03db0470, target = 0x10e7d60) ] Edge 55 <-> 74 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7fc0) Arc: (edge = 0x7fff03db0470, target = 0x10e7d60) ] Edge 56 <-> 59 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7de0) Arc: (edge = 0x7fff03db0470, target = 0x10e7d80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7dc0) Arc: (edge = 0x7fff03db0470, target = 0x10e7da0) ] Edge 57 <-> 171 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8be0) Arc: (edge = 0x7fff03db0470, target = 0x10e7da0) ] Edge 58 <-> 120 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8580) Arc: (edge = 0x7fff03db0470, target = 0x10e7dc0) ] Edge 58 <-> 183 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d60) Arc: (edge = 0x7fff03db0470, target = 0x10e7dc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e00) Arc: (edge = 0x7fff03db0470, target = 0x10e7de0) ] Edge 59 <-> 198 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8f40) Arc: (edge = 0x7fff03db0470, target = 0x10e7de0) ] Edge 59 <-> 218 [ Arc: (edge = 0x7fff03db0470, target = 0x10e91c0) Arc: (edge = 0x7fff03db0470, target = 0x10e7de0) ] Edge 60 <-> 98 [ Arc: (edge = 0x7fff03db0470, target = 0x10e82c0) Arc: (edge = 0x7fff03db0470, target = 0x10e7e00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e40) Arc: (edge = 0x7fff03db0470, target = 0x10e7e20) ] Edge 62 <-> 110 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8440) Arc: (edge = 0x7fff03db0470, target = 0x10e7e40) ] Edge 62 <-> 112 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8480) Arc: (edge = 0x7fff03db0470, target = 0x10e7e40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7e80) Arc: (edge = 0x7fff03db0470, target = 0x10e7e60) ] Edge 63 <-> 95 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8260) Arc: (edge = 0x7fff03db0470, target = 0x10e7e60) ] Edge 63 <-> 122 [ Arc: (edge = 0x7fff03db0470, target = 0x10e85c0) Arc: (edge = 0x7fff03db0470, target = 0x10e7e60) ] Edge 64 <-> 67 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ee0) Arc: (edge = 0x7fff03db0470, target = 0x10e7e80) ] Edge 65 <-> 66 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7ec0) Arc: (edge = 0x7fff03db0470, target = 0x10e7ea0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7f00) Arc: (edge = 0x7fff03db0470, target = 0x10e7ee0) ] Edge 67 <-> 72 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7f80) Arc: (edge = 0x7fff03db0470, target = 0x10e7ee0) ] Edge 69 <-> 70 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7f40) Arc: (edge = 0x7fff03db0470, target = 0x10e7f20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7f60) Arc: (edge = 0x7fff03db0470, target = 0x10e7f40) ] Edge 71 <-> 108 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8400) Arc: (edge = 0x7fff03db0470, target = 0x10e7f60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7fa0) Arc: (edge = 0x7fff03db0470, target = 0x10e7f80) ] Edge 72 <-> 134 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8740) Arc: (edge = 0x7fff03db0470, target = 0x10e7f80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7fc0) Arc: (edge = 0x7fff03db0470, target = 0x10e7fa0) ] Edge 73 <-> 150 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8940) Arc: (edge = 0x7fff03db0470, target = 0x10e7fa0) ] Edge 73 <-> 243 [ Arc: (edge = 0x7fff03db0470, target = 0x10e94e0) Arc: (edge = 0x7fff03db0470, target = 0x10e7fa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fff03db0470, target = 0x10e7fe0) Arc: (edge = 0x7fff03db0470, target = 0x10e7fc0) ] Edge 75 <-> 76 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8000) Arc: (edge = 0x7fff03db0470, target = 0x10e7fe0) ] Edge 75 <-> 129 [ Arc: (edge = 0x7fff03db0470, target = 0x10e86a0) Arc: (edge = 0x7fff03db0470, target = 0x10e7fe0) ] Edge 75 <-> 168 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8b80) Arc: (edge = 0x7fff03db0470, target = 0x10e7fe0) ] Edge 77 <-> 78 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8040) Arc: (edge = 0x7fff03db0470, target = 0x10e8020) ] Edge 77 <-> 117 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8520) Arc: (edge = 0x7fff03db0470, target = 0x10e8020) ] Edge 77 <-> 152 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8980) Arc: (edge = 0x7fff03db0470, target = 0x10e8020) ] Edge 77 <-> 213 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9120) Arc: (edge = 0x7fff03db0470, target = 0x10e8020) ] Edge 77 <-> 238 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9440) Arc: (edge = 0x7fff03db0470, target = 0x10e8020) ] Edge 78 <-> 79 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8060) Arc: (edge = 0x7fff03db0470, target = 0x10e8040) ] Edge 78 <-> 138 [ Arc: (edge = 0x7fff03db0470, target = 0x10e87c0) Arc: (edge = 0x7fff03db0470, target = 0x10e8040) ] Edge 78 <-> 173 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c20) Arc: (edge = 0x7fff03db0470, target = 0x10e8040) ] Edge 79 <-> 111 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8460) Arc: (edge = 0x7fff03db0470, target = 0x10e8060) ] Edge 79 <-> 154 [ Arc: (edge = 0x7fff03db0470, target = 0x10e89c0) Arc: (edge = 0x7fff03db0470, target = 0x10e8060) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff03db0470, target = 0x10e80a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8080) ] Edge 80 <-> 89 [ Arc: (edge = 0x7fff03db0470, target = 0x10e81a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8080) ] Edge 80 <-> 158 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8a40) Arc: (edge = 0x7fff03db0470, target = 0x10e8080) ] Edge 80 <-> 182 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d40) Arc: (edge = 0x7fff03db0470, target = 0x10e8080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fff03db0470, target = 0x10e80c0) Arc: (edge = 0x7fff03db0470, target = 0x10e80a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fff03db0470, target = 0x10e80e0) Arc: (edge = 0x7fff03db0470, target = 0x10e80c0) ] Edge 82 <-> 114 [ Arc: (edge = 0x7fff03db0470, target = 0x10e84c0) Arc: (edge = 0x7fff03db0470, target = 0x10e80c0) ] Edge 84 <-> 85 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8120) Arc: (edge = 0x7fff03db0470, target = 0x10e8100) ] Edge 84 <-> 135 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8760) Arc: (edge = 0x7fff03db0470, target = 0x10e8100) ] Edge 84 <-> 160 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8a80) Arc: (edge = 0x7fff03db0470, target = 0x10e8100) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8140) Arc: (edge = 0x7fff03db0470, target = 0x10e8120) ] Edge 86 <-> 178 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8cc0) Arc: (edge = 0x7fff03db0470, target = 0x10e8140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8180) Arc: (edge = 0x7fff03db0470, target = 0x10e8160) ] Edge 87 <-> 93 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8220) Arc: (edge = 0x7fff03db0470, target = 0x10e8160) ] Edge 87 <-> 186 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8dc0) Arc: (edge = 0x7fff03db0470, target = 0x10e8160) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fff03db0470, target = 0x10e81c0) Arc: (edge = 0x7fff03db0470, target = 0x10e81a0) ] Edge 89 <-> 177 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ca0) Arc: (edge = 0x7fff03db0470, target = 0x10e81a0) ] Edge 90 <-> 91 [ Arc: (edge = 0x7fff03db0470, target = 0x10e81e0) Arc: (edge = 0x7fff03db0470, target = 0x10e81c0) ] Edge 90 <-> 107 [ Arc: (edge = 0x7fff03db0470, target = 0x10e83e0) Arc: (edge = 0x7fff03db0470, target = 0x10e81c0) ] Edge 90 <-> 240 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9480) Arc: (edge = 0x7fff03db0470, target = 0x10e81c0) ] Edge 91 <-> 126 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8640) Arc: (edge = 0x7fff03db0470, target = 0x10e81e0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8220) Arc: (edge = 0x7fff03db0470, target = 0x10e8200) ] Edge 93 <-> 103 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8360) Arc: (edge = 0x7fff03db0470, target = 0x10e8220) ] Edge 94 <-> 95 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8260) Arc: (edge = 0x7fff03db0470, target = 0x10e8240) ] Edge 94 <-> 106 [ Arc: (edge = 0x7fff03db0470, target = 0x10e83c0) Arc: (edge = 0x7fff03db0470, target = 0x10e8240) ] Edge 94 <-> 141 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8820) Arc: (edge = 0x7fff03db0470, target = 0x10e8240) ] Edge 95 <-> 124 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8600) Arc: (edge = 0x7fff03db0470, target = 0x10e8260) ] Edge 95 <-> 244 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9500) Arc: (edge = 0x7fff03db0470, target = 0x10e8260) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff03db0470, target = 0x10e82a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8280) ] Edge 96 <-> 155 [ Arc: (edge = 0x7fff03db0470, target = 0x10e89e0) Arc: (edge = 0x7fff03db0470, target = 0x10e8280) ] Edge 96 <-> 163 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ae0) Arc: (edge = 0x7fff03db0470, target = 0x10e8280) ] Edge 96 <-> 245 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9520) Arc: (edge = 0x7fff03db0470, target = 0x10e8280) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fff03db0470, target = 0x10e82e0) Arc: (edge = 0x7fff03db0470, target = 0x10e82c0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8320) Arc: (edge = 0x7fff03db0470, target = 0x10e8300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8340) Arc: (edge = 0x7fff03db0470, target = 0x10e8320) ] Edge 102 <-> 153 [ Arc: (edge = 0x7fff03db0470, target = 0x10e89a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8340) ] Edge 102 <-> 239 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9460) Arc: (edge = 0x7fff03db0470, target = 0x10e8340) ] Edge 103 <-> 104 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8380) Arc: (edge = 0x7fff03db0470, target = 0x10e8360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fff03db0470, target = 0x10e83a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8380) ] Edge 105 <-> 166 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8b40) Arc: (edge = 0x7fff03db0470, target = 0x10e83a0) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fff03db0470, target = 0x10e83e0) Arc: (edge = 0x7fff03db0470, target = 0x10e83c0) ] Edge 106 <-> 179 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ce0) Arc: (edge = 0x7fff03db0470, target = 0x10e83c0) ] Edge 106 <-> 211 [ Arc: (edge = 0x7fff03db0470, target = 0x10e90e0) Arc: (edge = 0x7fff03db0470, target = 0x10e83c0) ] Edge 106 <-> 241 [ Arc: (edge = 0x7fff03db0470, target = 0x10e94a0) Arc: (edge = 0x7fff03db0470, target = 0x10e83c0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8420) Arc: (edge = 0x7fff03db0470, target = 0x10e8400) ] Edge 109 <-> 201 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8fa0) Arc: (edge = 0x7fff03db0470, target = 0x10e8420) ] Edge 109 <-> 207 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9060) Arc: (edge = 0x7fff03db0470, target = 0x10e8420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8460) Arc: (edge = 0x7fff03db0470, target = 0x10e8440) ] Edge 111 <-> 161 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8aa0) Arc: (edge = 0x7fff03db0470, target = 0x10e8460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff03db0470, target = 0x10e84a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8480) ] Edge 112 <-> 147 [ Arc: (edge = 0x7fff03db0470, target = 0x10e88e0) Arc: (edge = 0x7fff03db0470, target = 0x10e8480) ] Edge 112 <-> 180 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d00) Arc: (edge = 0x7fff03db0470, target = 0x10e8480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fff03db0470, target = 0x10e84c0) Arc: (edge = 0x7fff03db0470, target = 0x10e84a0) ] Edge 114 <-> 199 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8f60) Arc: (edge = 0x7fff03db0470, target = 0x10e84c0) ] Edge 114 <-> 205 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9020) Arc: (edge = 0x7fff03db0470, target = 0x10e84c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8500) Arc: (edge = 0x7fff03db0470, target = 0x10e84e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8520) Arc: (edge = 0x7fff03db0470, target = 0x10e8500) ] Edge 116 <-> 157 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8a20) Arc: (edge = 0x7fff03db0470, target = 0x10e8500) ] Edge 116 <-> 217 [ Arc: (edge = 0x7fff03db0470, target = 0x10e91a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8500) ] Edge 117 <-> 226 [ Arc: (edge = 0x7fff03db0470, target = 0x10e92c0) Arc: (edge = 0x7fff03db0470, target = 0x10e8520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8560) Arc: (edge = 0x7fff03db0470, target = 0x10e8540) ] Edge 119 <-> 139 [ Arc: (edge = 0x7fff03db0470, target = 0x10e87e0) Arc: (edge = 0x7fff03db0470, target = 0x10e8560) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fff03db0470, target = 0x10e85a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8580) ] Edge 120 <-> 248 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9580) Arc: (edge = 0x7fff03db0470, target = 0x10e8580) ] Edge 120 <-> 252 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9600) Arc: (edge = 0x7fff03db0470, target = 0x10e8580) ] Edge 122 <-> 123 [ Arc: (edge = 0x7fff03db0470, target = 0x10e85e0) Arc: (edge = 0x7fff03db0470, target = 0x10e85c0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8620) Arc: (edge = 0x7fff03db0470, target = 0x10e8600) ] Edge 126 <-> 127 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8660) Arc: (edge = 0x7fff03db0470, target = 0x10e8640) ] Edge 126 <-> 137 [ Arc: (edge = 0x7fff03db0470, target = 0x10e87a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8640) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fff03db0470, target = 0x10e86a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8680) ] Edge 128 <-> 165 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8b20) Arc: (edge = 0x7fff03db0470, target = 0x10e8680) ] Edge 128 <-> 170 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8bc0) Arc: (edge = 0x7fff03db0470, target = 0x10e8680) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fff03db0470, target = 0x10e86e0) Arc: (edge = 0x7fff03db0470, target = 0x10e86c0) ] Edge 132 <-> 133 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8720) Arc: (edge = 0x7fff03db0470, target = 0x10e8700) ] Edge 133 <-> 134 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8740) Arc: (edge = 0x7fff03db0470, target = 0x10e8720) ] Edge 134 <-> 214 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9140) Arc: (edge = 0x7fff03db0470, target = 0x10e8740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8780) Arc: (edge = 0x7fff03db0470, target = 0x10e8760) ] Edge 135 <-> 143 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8860) Arc: (edge = 0x7fff03db0470, target = 0x10e8760) ] Edge 137 <-> 138 [ Arc: (edge = 0x7fff03db0470, target = 0x10e87c0) Arc: (edge = 0x7fff03db0470, target = 0x10e87a0) ] Edge 137 <-> 206 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9040) Arc: (edge = 0x7fff03db0470, target = 0x10e87a0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8800) Arc: (edge = 0x7fff03db0470, target = 0x10e87e0) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8840) Arc: (edge = 0x7fff03db0470, target = 0x10e8820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8860) Arc: (edge = 0x7fff03db0470, target = 0x10e8840) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fff03db0470, target = 0x10e88a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8880) ] Edge 144 <-> 162 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ac0) Arc: (edge = 0x7fff03db0470, target = 0x10e8880) ] Edge 145 <-> 146 [ Arc: (edge = 0x7fff03db0470, target = 0x10e88c0) Arc: (edge = 0x7fff03db0470, target = 0x10e88a0) ] Edge 146 <-> 159 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8a60) Arc: (edge = 0x7fff03db0470, target = 0x10e88c0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8900) Arc: (edge = 0x7fff03db0470, target = 0x10e88e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8920) Arc: (edge = 0x7fff03db0470, target = 0x10e8900) ] Edge 148 <-> 227 [ Arc: (edge = 0x7fff03db0470, target = 0x10e92e0) Arc: (edge = 0x7fff03db0470, target = 0x10e8900) ] Edge 149 <-> 253 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9620) Arc: (edge = 0x7fff03db0470, target = 0x10e8920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8960) Arc: (edge = 0x7fff03db0470, target = 0x10e8940) ] Edge 151 <-> 229 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9320) Arc: (edge = 0x7fff03db0470, target = 0x10e8960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7fff03db0470, target = 0x10e89a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8980) ] Edge 153 <-> 187 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8de0) Arc: (edge = 0x7fff03db0470, target = 0x10e89a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fff03db0470, target = 0x10e89e0) Arc: (edge = 0x7fff03db0470, target = 0x10e89c0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8a20) Arc: (edge = 0x7fff03db0470, target = 0x10e8a00) ] Edge 157 <-> 191 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e60) Arc: (edge = 0x7fff03db0470, target = 0x10e8a20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8a60) Arc: (edge = 0x7fff03db0470, target = 0x10e8a40) ] Edge 158 <-> 194 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ec0) Arc: (edge = 0x7fff03db0470, target = 0x10e8a40) ] Edge 159 <-> 164 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8b00) Arc: (edge = 0x7fff03db0470, target = 0x10e8a60) ] Edge 159 <-> 185 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8da0) Arc: (edge = 0x7fff03db0470, target = 0x10e8a60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8aa0) Arc: (edge = 0x7fff03db0470, target = 0x10e8a80) ] Edge 161 <-> 221 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9220) Arc: (edge = 0x7fff03db0470, target = 0x10e8aa0) ] Edge 162 <-> 163 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ae0) Arc: (edge = 0x7fff03db0470, target = 0x10e8ac0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8b20) Arc: (edge = 0x7fff03db0470, target = 0x10e8b00) ] Edge 165 <-> 222 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9240) Arc: (edge = 0x7fff03db0470, target = 0x10e8b20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8b60) Arc: (edge = 0x7fff03db0470, target = 0x10e8b40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8b80) Arc: (edge = 0x7fff03db0470, target = 0x10e8b60) ] Edge 167 <-> 231 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9360) Arc: (edge = 0x7fff03db0470, target = 0x10e8b60) ] Edge 169 <-> 170 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8bc0) Arc: (edge = 0x7fff03db0470, target = 0x10e8ba0) ] Edge 170 <-> 236 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9400) Arc: (edge = 0x7fff03db0470, target = 0x10e8bc0) ] Edge 171 <-> 172 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c00) Arc: (edge = 0x7fff03db0470, target = 0x10e8be0) ] Edge 171 <-> 197 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8f20) Arc: (edge = 0x7fff03db0470, target = 0x10e8be0) ] Edge 172 <-> 242 [ Arc: (edge = 0x7fff03db0470, target = 0x10e94c0) Arc: (edge = 0x7fff03db0470, target = 0x10e8c00) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c40) Arc: (edge = 0x7fff03db0470, target = 0x10e8c20) ] Edge 174 <-> 200 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8f80) Arc: (edge = 0x7fff03db0470, target = 0x10e8c40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8c80) Arc: (edge = 0x7fff03db0470, target = 0x10e8c60) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8cc0) Arc: (edge = 0x7fff03db0470, target = 0x10e8ca0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d00) Arc: (edge = 0x7fff03db0470, target = 0x10e8ce0) ] Edge 179 <-> 212 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9100) Arc: (edge = 0x7fff03db0470, target = 0x10e8ce0) ] Edge 180 <-> 192 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e80) Arc: (edge = 0x7fff03db0470, target = 0x10e8d00) ] Edge 180 <-> 219 [ Arc: (edge = 0x7fff03db0470, target = 0x10e91e0) Arc: (edge = 0x7fff03db0470, target = 0x10e8d00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d40) Arc: (edge = 0x7fff03db0470, target = 0x10e8d20) ] Edge 182 <-> 233 [ Arc: (edge = 0x7fff03db0470, target = 0x10e93a0) Arc: (edge = 0x7fff03db0470, target = 0x10e8d40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8d80) Arc: (edge = 0x7fff03db0470, target = 0x10e8d60) ] Edge 183 <-> 215 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9160) Arc: (edge = 0x7fff03db0470, target = 0x10e8d60) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8dc0) Arc: (edge = 0x7fff03db0470, target = 0x10e8da0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e00) Arc: (edge = 0x7fff03db0470, target = 0x10e8de0) ] Edge 188 <-> 237 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9420) Arc: (edge = 0x7fff03db0470, target = 0x10e8e00) ] Edge 189 <-> 190 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e40) Arc: (edge = 0x7fff03db0470, target = 0x10e8e20) ] Edge 189 <-> 195 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ee0) Arc: (edge = 0x7fff03db0470, target = 0x10e8e20) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8e80) Arc: (edge = 0x7fff03db0470, target = 0x10e8e60) ] Edge 192 <-> 210 [ Arc: (edge = 0x7fff03db0470, target = 0x10e90c0) Arc: (edge = 0x7fff03db0470, target = 0x10e8e80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8ec0) Arc: (edge = 0x7fff03db0470, target = 0x10e8ea0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8f00) Arc: (edge = 0x7fff03db0470, target = 0x10e8ee0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8f20) Arc: (edge = 0x7fff03db0470, target = 0x10e8f00) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8f60) Arc: (edge = 0x7fff03db0470, target = 0x10e8f40) ] Edge 198 <-> 234 [ Arc: (edge = 0x7fff03db0470, target = 0x10e93c0) Arc: (edge = 0x7fff03db0470, target = 0x10e8f40) ] Edge 199 <-> 235 [ Arc: (edge = 0x7fff03db0470, target = 0x10e93e0) Arc: (edge = 0x7fff03db0470, target = 0x10e8f60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8fa0) Arc: (edge = 0x7fff03db0470, target = 0x10e8f80) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fff03db0470, target = 0x10e8fe0) Arc: (edge = 0x7fff03db0470, target = 0x10e8fc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9000) Arc: (edge = 0x7fff03db0470, target = 0x10e8fe0) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9040) Arc: (edge = 0x7fff03db0470, target = 0x10e9020) ] Edge 205 <-> 249 [ Arc: (edge = 0x7fff03db0470, target = 0x10e95a0) Arc: (edge = 0x7fff03db0470, target = 0x10e9020) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9080) Arc: (edge = 0x7fff03db0470, target = 0x10e9060) ] Edge 209 <-> 210 [ Arc: (edge = 0x7fff03db0470, target = 0x10e90c0) Arc: (edge = 0x7fff03db0470, target = 0x10e90a0) ] Edge 210 <-> 254 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9640) Arc: (edge = 0x7fff03db0470, target = 0x10e90c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9100) Arc: (edge = 0x7fff03db0470, target = 0x10e90e0) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9140) Arc: (edge = 0x7fff03db0470, target = 0x10e9120) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9180) Arc: (edge = 0x7fff03db0470, target = 0x10e9160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fff03db0470, target = 0x10e91a0) Arc: (edge = 0x7fff03db0470, target = 0x10e9180) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fff03db0470, target = 0x10e91e0) Arc: (edge = 0x7fff03db0470, target = 0x10e91c0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9220) Arc: (edge = 0x7fff03db0470, target = 0x10e9200) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9260) Arc: (edge = 0x7fff03db0470, target = 0x10e9240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9280) Arc: (edge = 0x7fff03db0470, target = 0x10e9260) ] Edge 223 <-> 225 [ Arc: (edge = 0x7fff03db0470, target = 0x10e92a0) Arc: (edge = 0x7fff03db0470, target = 0x10e9260) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fff03db0470, target = 0x10e92c0) Arc: (edge = 0x7fff03db0470, target = 0x10e92a0) ] Edge 227 <-> 228 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9300) Arc: (edge = 0x7fff03db0470, target = 0x10e92e0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9320) Arc: (edge = 0x7fff03db0470, target = 0x10e9300) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9360) Arc: (edge = 0x7fff03db0470, target = 0x10e9340) ] Edge 231 <-> 258 [ Arc: (edge = 0x7fff03db0470, target = 0x10e96c0) Arc: (edge = 0x7fff03db0470, target = 0x10e9360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7fff03db0470, target = 0x10e93a0) Arc: (edge = 0x7fff03db0470, target = 0x10e9380) ] Edge 232 <-> 246 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9540) Arc: (edge = 0x7fff03db0470, target = 0x10e9380) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fff03db0470, target = 0x10e93e0) Arc: (edge = 0x7fff03db0470, target = 0x10e93c0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9420) Arc: (edge = 0x7fff03db0470, target = 0x10e9400) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9460) Arc: (edge = 0x7fff03db0470, target = 0x10e9440) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff03db0470, target = 0x10e94a0) Arc: (edge = 0x7fff03db0470, target = 0x10e9480) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fff03db0470, target = 0x10e94e0) Arc: (edge = 0x7fff03db0470, target = 0x10e94c0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9520) Arc: (edge = 0x7fff03db0470, target = 0x10e9500) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9560) Arc: (edge = 0x7fff03db0470, target = 0x10e9540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9580) Arc: (edge = 0x7fff03db0470, target = 0x10e9560) ] Edge 249 <-> 250 [ Arc: (edge = 0x7fff03db0470, target = 0x10e95c0) Arc: (edge = 0x7fff03db0470, target = 0x10e95a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7fff03db0470, target = 0x10e95e0) Arc: (edge = 0x7fff03db0470, target = 0x10e95c0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9620) Arc: (edge = 0x7fff03db0470, target = 0x10e9600) ] Edge 254 <-> 255 [ Arc: (edge = 0x7fff03db0470, target = 0x10e9660) Arc: (edge = 0x7fff03db0470, target = 0x10e9640) ] Edge 256 <-> 257 [ Arc: (edge = 0x7fff03db0470, target = 0x10e96a0) Arc: (edge = 0x7fff03db0470, target = 0x10e9680) ] Edge 257 <-> 258 [ Arc: (edge = 0x7fff03db0470, target = 0x10e96c0) Arc: (edge = 0x7fff03db0470, target = 0x10e96a0) ] ] Robot arrangement: (|R| = 16, |V| = 259) [ robot locations: {1#43 2#59 3#81 4#87 5#88 6#121 7#141 8#147 9#151 10#159 11#170 12#182 13#189 14#197 15#208 16#247 } 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 2#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 3#81 0#82 0#83 0#84 0#85 0#86 4#87 5#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 6#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 7#141 0#142 0#143 0#144 0#145 0#146 8#147 0#148 0#149 0#150 9#151 0#152 0#153 0#154 0#155 0#156 0#157 0#158 10#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 11#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 12#182 0#183 0#184 0#185 0#186 0#187 0#188 13#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 14#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 15#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 16#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 } ] Robot arrangement: (|R| = 16, |V| = 259) [ robot locations: {1#11 2#26 3#27 4#44 5#52 6#60 7#74 8#97 9#110 10#147 11#152 12#167 13#194 14#205 15#214 16#215 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 1#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 2#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 4#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 5#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 6#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 7#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 8#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 9#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 10#147 0#148 0#149 0#150 0#151 11#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 12#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 13#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 14#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 15#214 16#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 } ] Original solution: Mulirobot solution: (|moves| = 206, paralellism = 5.722) [ Step 0: 251#81->3 246#43->24 253#59->60 254#121->120 250#247->248 249#182->233 248#170->128 243#151->34 245#147->148 244#87->93 257#208->30 252#189->47 258#197->171 255#159->146 247#141->142 256#88->87 Step 1: 251#3->4 246#24->10 253#60->43 254#120->58 250#248->120 249#233->232 243#34->0 248#128->42 257#30->31 258#171->172 244#93->92 255#146->145 245#148->149 247#142->143 Step 2: 246#10->3 253#43->24 254#58->43 250#120->58 249#232->28 243#0->6 252#47->0 257#31->8 244#92->2 258#172->51 255#145->144 245#149->27 247#143->135 Step 3: 254#43->45 250#58->43 246#3->81 253#24->79 252#0->1 243#6->0 244#2->13 257#8->2 258#51->50 255#144->5 249#28->62 247#135->84 245#27->26 Step 4: 254#45->181 250#43->45 248#42->43 253#79->78 246#81->82 252#1->7 243#0->47 244#13->18 257#2->1 258#50->12 249#62->112 247#84->85 Step 5: 250#45->44 248#43->58 253#78->77 246#82->83 243#47->189 244#18->20 257#1->0 254#181->182 258#12->21 249#112->147 252#7->1 247#85->86 Step 6: 248#58->183 253#77->213 250#44->80 243#189->190 244#20->23 257#0->6 258#21->77 247#86->15 Step 7: 248#183->215 253#213->214 250#80->81 244#23->193 243#190->30 257#6->121 254#182->80 255#5->6 258#77->152 251#4->5 247#15->14 Step 8: 250#81->82 244#193->194 254#80->89 255#6->17 251#5->6 243#30->29 247#14->37 Step 9: 250#82->114 246#83->82 255#17->41 243#29->10 251#6->0 257#121->6 247#37->38 245#26->17 Step 10: 250#114->205 246#82->81 255#41->105 251#0->47 252#1->0 257#6->15 247#38->23 Step 11: 255#105->166 246#81->80 251#47->63 252#0->32 257#15->14 Step 12: 255#166->167 246#80->44 254#89->80 251#63->64 257#14->37 252#32->33 Step 13: 254#80->81 246#44->45 257#37->38 Step 14: 254#81->3 246#45->43 257#38->69 247#23->38 Step 15: 246#43->24 254#3->2 257#69->70 247#38->37 243#10->3 Step 16: 246#24->25 257#70->71 247#37->14 Step 17: 246#25->13 256#87->25 247#14->15 Step 18: 246#13->12 256#25->42 254#2->13 247#15->6 Step 19: 246#12->21 256#42->96 Step 20: 246#21->28 256#96->97 251#64->21 Step 21: 246#28->62 251#21->12 Step 22: 246#62->110 251#12->11 254#13->12 Step 23: 254#12->21 251#11->0 Step 24: 254#21->64 251#0->1 247#6->0 245#17->6 252#33->21 Step 25: 254#64->67 251#1->2 247#0->1 245#6->15 Step 26: 254#67->72 251#2->13 247#1->7 245#15->14 243#3->2 Step 27: 254#72->73 247#7->56 251#13->12 245#14->37 243#2->1 Step 28: 254#73->74 247#56->59 251#12->50 245#37->44 252#21->12 Step 29: 247#59->60 251#50->51 252#12->11 Step 30: 251#51->52 252#11->0 257#71->11 Step 31: 252#0->6 243#1->0 Step 32: 252#6->5 243#0->6 Step 33: 243#6->17 252#5->6 Step 34: 243#17->26 252#6->17 Step 35: 243#26->27 252#17->26 ] reSolved solution: Mulirobot solution: (|moves| = 136, paralellism = 13.600) [ Step 0: 6#121->120 1#43->24 2#59->56 4#87->186 5#88->16 16#247->248 3#81->80 11#170->236 7#141->94 8#147->112 9#151->229 10#159->146 12#182->233 13#189->47 15#208->30 14#197->171 Step 1: 6#120->58 1#24->25 2#56->55 4#186->185 5#16->5 3#80->182 11#236->237 7#94->95 8#112->62 9#229->228 10#146->18 12#233->232 13#47->0 15#30->29 14#171->57 Step 2: 6#58->43 1#25->13 2#55->41 4#185->159 5#5->6 16#248->120 3#182->233 11#237->188 7#95->63 8#62->61 9#228->227 10#18->20 12#232->28 13#0->176 15#29->10 14#57->22 Step 3: 6#43->60 1#13->12 2#41->17 4#159->158 5#6->0 16#120->58 3#233->232 11#188->187 7#63->64 8#61->40 9#227->148 10#20->209 12#28->62 13#176->175 15#10->9 14#22->23 Step 4: 1#12->11 2#17->26 4#158->80 5#0->52 16#58->183 3#232->28 11#187->153 7#64->67 8#40->41 9#148->147 10#209->210 12#62->61 13#175->22 15#9->132 14#23->20 Step 5: 4#80->44 16#183->215 3#28->27 11#153->152 7#67->72 8#41->17 9#147->112 10#210->192 12#61->40 13#22->23 15#132->133 14#20->251 Step 6: 7#72->73 8#17->16 9#112->62 10#192->180 12#40->41 13#23->193 15#133->134 14#251->250 Step 7: 7#73->74 8#16->97 9#62->110 10#180->112 12#41->105 13#193->194 15#134->214 14#250->249 Step 8: 1#11->0 2#26->17 3#27->28 4#44->37 5#52->51 6#60->43 7#74->55 8#97->16 9#110->62 11#152->77 13#194->158 15#214->134 16#215->183 10#112->147 14#249->205 12#105->166 Step 9: 1#0->11 2#17->26 3#28->27 4#37->44 5#51->52 6#43->60 7#55->74 8#16->97 9#62->110 11#77->152 13#158->194 15#134->214 16#183->215 12#166->167 ] Multirobot solution analysis: ( total makespan = 10 total distance = 99 total trajectory = 136 average parallelism = 13.600 average distance = 6.188 average trajectory = 8.500 parallelism distribution = [ 0 0 0 0 0 0 0 2 0 0 0 1 0 1 2 4 ] distance distribution = [ 0 0 0 1 4 2 2 5 1 ] trajectory distribution = [ 0 0 0 0 0 1 4 3 2 6 ] ) 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 = 136 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.051 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 = 136 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 4737 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 ] } ] ----------------------------------------------------------------