================================================================ 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:29 257 # 208 ---> 30 (0) 257 # 30 ---> 31 (1) 258 # 197 ---> 171 (0) 258 # 171 ---> 172 (1) 258 # 172 ---> 51 (2) 258 # 51 ---> 52 (3) 257 # 31 ---> 8 (2) 257 # 8 ---> 2 (3) 258 # 52 ---> 0 (4) 256 # 88 ---> 87 (0) 256 # 87 ---> 25 (1) 258 # 0 ---> 11 (5) 258 # 11 ---> 12 (6) 258 # 12 ---> 21 (7) 258 # 21 ---> 77 (8) 258 # 77 ---> 152 (9) 257 # 2 ---> 13 (4) 257 # 13 ---> 12 (7) 256 # 25 ---> 42 (2) 256 # 42 ---> 96 (3) 256 # 96 ---> 97 (4) 257 # 12 ---> 21 (8) 257 # 21 ---> 20 (9) 257 # 20 ---> 23 (10) 257 # 23 ---> 38 (11) 257 # 38 ---> 69 (12) 257 # 69 ---> 70 (13) 257 # 70 ---> 71 (14) 257 # 71 ---> 11 (15) 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 = 0x7fff37dce890, target = 0x15b86a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 0 <-> 6 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8740) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 0 <-> 11 [ Arc: (edge = 0x7fff37dce890, target = 0x15b87e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 0 <-> 32 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8a80) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 0 <-> 34 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ac0) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 0 <-> 47 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8c60) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 0 <-> 52 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d00) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 0 <-> 176 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c80) Arc: (edge = 0x7fff37dce890, target = 0x15b8680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fff37dce890, target = 0x15b86c0) Arc: (edge = 0x7fff37dce890, target = 0x15b86a0) ] Edge 1 <-> 7 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8760) Arc: (edge = 0x7fff37dce890, target = 0x15b86a0) ] Edge 1 <-> 169 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ba0) Arc: (edge = 0x7fff37dce890, target = 0x15b86a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fff37dce890, target = 0x15b86e0) Arc: (edge = 0x7fff37dce890, target = 0x15b86c0) ] Edge 2 <-> 8 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8780) Arc: (edge = 0x7fff37dce890, target = 0x15b86c0) ] Edge 2 <-> 13 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8820) Arc: (edge = 0x7fff37dce890, target = 0x15b86c0) ] Edge 2 <-> 76 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9000) Arc: (edge = 0x7fff37dce890, target = 0x15b86c0) ] Edge 2 <-> 92 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9200) Arc: (edge = 0x7fff37dce890, target = 0x15b86c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8700) Arc: (edge = 0x7fff37dce890, target = 0x15b86e0) ] Edge 3 <-> 10 [ Arc: (edge = 0x7fff37dce890, target = 0x15b87c0) Arc: (edge = 0x7fff37dce890, target = 0x15b86e0) ] Edge 3 <-> 81 [ Arc: (edge = 0x7fff37dce890, target = 0x15b90a0) Arc: (edge = 0x7fff37dce890, target = 0x15b86e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8720) Arc: (edge = 0x7fff37dce890, target = 0x15b8700) ] Edge 4 <-> 9 [ Arc: (edge = 0x7fff37dce890, target = 0x15b87a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8740) Arc: (edge = 0x7fff37dce890, target = 0x15b8720) ] Edge 5 <-> 16 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8880) Arc: (edge = 0x7fff37dce890, target = 0x15b8720) ] Edge 5 <-> 83 [ Arc: (edge = 0x7fff37dce890, target = 0x15b90e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8720) ] Edge 5 <-> 144 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9880) Arc: (edge = 0x7fff37dce890, target = 0x15b8720) ] Edge 6 <-> 15 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8860) Arc: (edge = 0x7fff37dce890, target = 0x15b8740) ] Edge 6 <-> 17 [ Arc: (edge = 0x7fff37dce890, target = 0x15b88a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8740) ] Edge 6 <-> 121 [ Arc: (edge = 0x7fff37dce890, target = 0x15b95a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8780) Arc: (edge = 0x7fff37dce890, target = 0x15b8760) ] Edge 7 <-> 54 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d40) Arc: (edge = 0x7fff37dce890, target = 0x15b8760) ] Edge 7 <-> 56 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d80) Arc: (edge = 0x7fff37dce890, target = 0x15b8760) ] Edge 7 <-> 140 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9800) Arc: (edge = 0x7fff37dce890, target = 0x15b8760) ] Edge 8 <-> 31 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8a60) Arc: (edge = 0x7fff37dce890, target = 0x15b8780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff37dce890, target = 0x15b87c0) Arc: (edge = 0x7fff37dce890, target = 0x15b87a0) ] Edge 9 <-> 14 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8840) Arc: (edge = 0x7fff37dce890, target = 0x15b87a0) ] Edge 9 <-> 19 [ Arc: (edge = 0x7fff37dce890, target = 0x15b88e0) Arc: (edge = 0x7fff37dce890, target = 0x15b87a0) ] Edge 9 <-> 132 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9700) Arc: (edge = 0x7fff37dce890, target = 0x15b87a0) ] Edge 10 <-> 24 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8980) Arc: (edge = 0x7fff37dce890, target = 0x15b87c0) ] Edge 10 <-> 29 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8a20) Arc: (edge = 0x7fff37dce890, target = 0x15b87c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8800) Arc: (edge = 0x7fff37dce890, target = 0x15b87e0) ] Edge 11 <-> 71 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8f60) Arc: (edge = 0x7fff37dce890, target = 0x15b87e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8820) Arc: (edge = 0x7fff37dce890, target = 0x15b8800) ] Edge 12 <-> 21 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8920) Arc: (edge = 0x7fff37dce890, target = 0x15b8800) ] Edge 12 <-> 50 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8cc0) Arc: (edge = 0x7fff37dce890, target = 0x15b8800) ] Edge 12 <-> 204 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba000) Arc: (edge = 0x7fff37dce890, target = 0x15b8800) ] Edge 13 <-> 18 [ Arc: (edge = 0x7fff37dce890, target = 0x15b88c0) Arc: (edge = 0x7fff37dce890, target = 0x15b8820) ] Edge 13 <-> 25 [ Arc: (edge = 0x7fff37dce890, target = 0x15b89a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8860) Arc: (edge = 0x7fff37dce890, target = 0x15b8840) ] Edge 14 <-> 37 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8b20) Arc: (edge = 0x7fff37dce890, target = 0x15b8840) ] Edge 14 <-> 136 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9780) Arc: (edge = 0x7fff37dce890, target = 0x15b8840) ] Edge 15 <-> 49 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ca0) Arc: (edge = 0x7fff37dce890, target = 0x15b8860) ] Edge 15 <-> 86 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9140) Arc: (edge = 0x7fff37dce890, target = 0x15b8860) ] Edge 15 <-> 99 [ Arc: (edge = 0x7fff37dce890, target = 0x15b92e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff37dce890, target = 0x15b88a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8880) ] Edge 16 <-> 88 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9180) Arc: (edge = 0x7fff37dce890, target = 0x15b8880) ] Edge 16 <-> 97 [ Arc: (edge = 0x7fff37dce890, target = 0x15b92a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8880) ] Edge 17 <-> 26 [ Arc: (edge = 0x7fff37dce890, target = 0x15b89c0) Arc: (edge = 0x7fff37dce890, target = 0x15b88a0) ] Edge 17 <-> 41 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ba0) Arc: (edge = 0x7fff37dce890, target = 0x15b88a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff37dce890, target = 0x15b88e0) Arc: (edge = 0x7fff37dce890, target = 0x15b88c0) ] Edge 18 <-> 20 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8900) Arc: (edge = 0x7fff37dce890, target = 0x15b88c0) ] Edge 18 <-> 66 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ec0) Arc: (edge = 0x7fff37dce890, target = 0x15b88c0) ] Edge 18 <-> 127 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9660) Arc: (edge = 0x7fff37dce890, target = 0x15b88c0) ] Edge 18 <-> 146 [ Arc: (edge = 0x7fff37dce890, target = 0x15b98c0) Arc: (edge = 0x7fff37dce890, target = 0x15b88c0) ] Edge 19 <-> 22 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8940) Arc: (edge = 0x7fff37dce890, target = 0x15b88e0) ] Edge 19 <-> 174 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c40) Arc: (edge = 0x7fff37dce890, target = 0x15b88e0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8920) Arc: (edge = 0x7fff37dce890, target = 0x15b8900) ] Edge 20 <-> 23 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8960) Arc: (edge = 0x7fff37dce890, target = 0x15b8900) ] Edge 20 <-> 118 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9540) Arc: (edge = 0x7fff37dce890, target = 0x15b8900) ] Edge 20 <-> 209 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba0a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8900) ] Edge 20 <-> 251 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba5e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8900) ] Edge 21 <-> 28 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8a00) Arc: (edge = 0x7fff37dce890, target = 0x15b8920) ] Edge 21 <-> 33 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8aa0) Arc: (edge = 0x7fff37dce890, target = 0x15b8920) ] Edge 21 <-> 64 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e80) Arc: (edge = 0x7fff37dce890, target = 0x15b8920) ] Edge 21 <-> 77 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9020) Arc: (edge = 0x7fff37dce890, target = 0x15b8920) ] Edge 21 <-> 255 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba660) Arc: (edge = 0x7fff37dce890, target = 0x15b8920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8960) Arc: (edge = 0x7fff37dce890, target = 0x15b8940) ] Edge 22 <-> 57 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8da0) Arc: (edge = 0x7fff37dce890, target = 0x15b8940) ] Edge 22 <-> 175 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c60) Arc: (edge = 0x7fff37dce890, target = 0x15b8940) ] Edge 23 <-> 38 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8b40) Arc: (edge = 0x7fff37dce890, target = 0x15b8960) ] Edge 23 <-> 193 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ea0) Arc: (edge = 0x7fff37dce890, target = 0x15b8960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff37dce890, target = 0x15b89a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8980) ] Edge 24 <-> 43 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8be0) Arc: (edge = 0x7fff37dce890, target = 0x15b8980) ] Edge 24 <-> 48 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8c80) Arc: (edge = 0x7fff37dce890, target = 0x15b8980) ] Edge 24 <-> 79 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9060) Arc: (edge = 0x7fff37dce890, target = 0x15b8980) ] Edge 25 <-> 42 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8bc0) Arc: (edge = 0x7fff37dce890, target = 0x15b89a0) ] Edge 25 <-> 87 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9160) Arc: (edge = 0x7fff37dce890, target = 0x15b89a0) ] Edge 25 <-> 94 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9240) Arc: (edge = 0x7fff37dce890, target = 0x15b89a0) ] Edge 25 <-> 188 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e00) Arc: (edge = 0x7fff37dce890, target = 0x15b89a0) ] Edge 25 <-> 220 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba200) Arc: (edge = 0x7fff37dce890, target = 0x15b89a0) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fff37dce890, target = 0x15b89e0) Arc: (edge = 0x7fff37dce890, target = 0x15b89c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8a00) Arc: (edge = 0x7fff37dce890, target = 0x15b89e0) ] Edge 27 <-> 149 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9920) Arc: (edge = 0x7fff37dce890, target = 0x15b89e0) ] Edge 28 <-> 62 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e40) Arc: (edge = 0x7fff37dce890, target = 0x15b8a00) ] Edge 28 <-> 232 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba380) Arc: (edge = 0x7fff37dce890, target = 0x15b8a00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8a40) Arc: (edge = 0x7fff37dce890, target = 0x15b8a20) ] Edge 29 <-> 84 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9100) Arc: (edge = 0x7fff37dce890, target = 0x15b8a20) ] Edge 29 <-> 119 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9560) Arc: (edge = 0x7fff37dce890, target = 0x15b8a20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8a60) Arc: (edge = 0x7fff37dce890, target = 0x15b8a40) ] Edge 30 <-> 91 [ Arc: (edge = 0x7fff37dce890, target = 0x15b91e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8a40) ] Edge 30 <-> 109 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9420) Arc: (edge = 0x7fff37dce890, target = 0x15b8a40) ] Edge 30 <-> 190 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e40) Arc: (edge = 0x7fff37dce890, target = 0x15b8a40) ] Edge 30 <-> 202 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9fc0) Arc: (edge = 0x7fff37dce890, target = 0x15b8a40) ] Edge 30 <-> 208 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba080) Arc: (edge = 0x7fff37dce890, target = 0x15b8a40) ] Edge 31 <-> 100 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9300) Arc: (edge = 0x7fff37dce890, target = 0x15b8a60) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8aa0) Arc: (edge = 0x7fff37dce890, target = 0x15b8a80) ] Edge 32 <-> 65 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ea0) Arc: (edge = 0x7fff37dce890, target = 0x15b8a80) ] Edge 33 <-> 36 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8b00) Arc: (edge = 0x7fff37dce890, target = 0x15b8aa0) ] Edge 33 <-> 39 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8b60) Arc: (edge = 0x7fff37dce890, target = 0x15b8aa0) ] Edge 33 <-> 224 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba280) Arc: (edge = 0x7fff37dce890, target = 0x15b8aa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ae0) Arc: (edge = 0x7fff37dce890, target = 0x15b8ac0) ] Edge 34 <-> 151 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9960) Arc: (edge = 0x7fff37dce890, target = 0x15b8ac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8b00) Arc: (edge = 0x7fff37dce890, target = 0x15b8ae0) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8b40) Arc: (edge = 0x7fff37dce890, target = 0x15b8b20) ] Edge 37 <-> 44 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8c00) Arc: (edge = 0x7fff37dce890, target = 0x15b8b20) ] Edge 38 <-> 69 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8f20) Arc: (edge = 0x7fff37dce890, target = 0x15b8b40) ] Edge 38 <-> 115 [ Arc: (edge = 0x7fff37dce890, target = 0x15b94e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8b40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8b80) Arc: (edge = 0x7fff37dce890, target = 0x15b8b60) ] Edge 39 <-> 53 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d20) Arc: (edge = 0x7fff37dce890, target = 0x15b8b60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ba0) Arc: (edge = 0x7fff37dce890, target = 0x15b8b80) ] Edge 40 <-> 46 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8c40) Arc: (edge = 0x7fff37dce890, target = 0x15b8b80) ] Edge 40 <-> 61 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e20) Arc: (edge = 0x7fff37dce890, target = 0x15b8b80) ] Edge 41 <-> 55 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d60) Arc: (edge = 0x7fff37dce890, target = 0x15b8ba0) ] Edge 41 <-> 105 [ Arc: (edge = 0x7fff37dce890, target = 0x15b93a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8ba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8be0) Arc: (edge = 0x7fff37dce890, target = 0x15b8bc0) ] Edge 42 <-> 96 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9280) Arc: (edge = 0x7fff37dce890, target = 0x15b8bc0) ] Edge 42 <-> 128 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9680) Arc: (edge = 0x7fff37dce890, target = 0x15b8bc0) ] Edge 42 <-> 130 [ Arc: (edge = 0x7fff37dce890, target = 0x15b96c0) Arc: (edge = 0x7fff37dce890, target = 0x15b8bc0) ] Edge 43 <-> 45 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8c20) Arc: (edge = 0x7fff37dce890, target = 0x15b8be0) ] Edge 43 <-> 58 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8dc0) Arc: (edge = 0x7fff37dce890, target = 0x15b8be0) ] Edge 43 <-> 60 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e00) Arc: (edge = 0x7fff37dce890, target = 0x15b8be0) ] Edge 43 <-> 156 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9a00) Arc: (edge = 0x7fff37dce890, target = 0x15b8be0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8c20) Arc: (edge = 0x7fff37dce890, target = 0x15b8c00) ] Edge 44 <-> 80 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9080) Arc: (edge = 0x7fff37dce890, target = 0x15b8c00) ] Edge 45 <-> 181 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d20) Arc: (edge = 0x7fff37dce890, target = 0x15b8c20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8c60) Arc: (edge = 0x7fff37dce890, target = 0x15b8c40) ] Edge 46 <-> 131 [ Arc: (edge = 0x7fff37dce890, target = 0x15b96e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8c40) ] Edge 46 <-> 230 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba340) Arc: (edge = 0x7fff37dce890, target = 0x15b8c40) ] Edge 47 <-> 63 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e60) Arc: (edge = 0x7fff37dce890, target = 0x15b8c60) ] Edge 47 <-> 189 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e20) Arc: (edge = 0x7fff37dce890, target = 0x15b8c60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ca0) Arc: (edge = 0x7fff37dce890, target = 0x15b8c80) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ce0) Arc: (edge = 0x7fff37dce890, target = 0x15b8cc0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d00) Arc: (edge = 0x7fff37dce890, target = 0x15b8ce0) ] Edge 51 <-> 68 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8f00) Arc: (edge = 0x7fff37dce890, target = 0x15b8ce0) ] Edge 51 <-> 125 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9620) Arc: (edge = 0x7fff37dce890, target = 0x15b8ce0) ] Edge 51 <-> 172 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c00) Arc: (edge = 0x7fff37dce890, target = 0x15b8ce0) ] Edge 51 <-> 256 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba680) Arc: (edge = 0x7fff37dce890, target = 0x15b8ce0) ] Edge 52 <-> 123 [ Arc: (edge = 0x7fff37dce890, target = 0x15b95e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8d00) ] Edge 52 <-> 184 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d80) Arc: (edge = 0x7fff37dce890, target = 0x15b8d00) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d40) Arc: (edge = 0x7fff37dce890, target = 0x15b8d20) ] Edge 54 <-> 102 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9340) Arc: (edge = 0x7fff37dce890, target = 0x15b8d40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8d80) Arc: (edge = 0x7fff37dce890, target = 0x15b8d60) ] Edge 55 <-> 74 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8fc0) Arc: (edge = 0x7fff37dce890, target = 0x15b8d60) ] Edge 56 <-> 59 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8de0) Arc: (edge = 0x7fff37dce890, target = 0x15b8d80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8dc0) Arc: (edge = 0x7fff37dce890, target = 0x15b8da0) ] Edge 57 <-> 171 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9be0) Arc: (edge = 0x7fff37dce890, target = 0x15b8da0) ] Edge 58 <-> 120 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9580) Arc: (edge = 0x7fff37dce890, target = 0x15b8dc0) ] Edge 58 <-> 183 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d60) Arc: (edge = 0x7fff37dce890, target = 0x15b8dc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e00) Arc: (edge = 0x7fff37dce890, target = 0x15b8de0) ] Edge 59 <-> 198 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9f40) Arc: (edge = 0x7fff37dce890, target = 0x15b8de0) ] Edge 59 <-> 218 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba1c0) Arc: (edge = 0x7fff37dce890, target = 0x15b8de0) ] Edge 60 <-> 98 [ Arc: (edge = 0x7fff37dce890, target = 0x15b92c0) Arc: (edge = 0x7fff37dce890, target = 0x15b8e00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e40) Arc: (edge = 0x7fff37dce890, target = 0x15b8e20) ] Edge 62 <-> 110 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9440) Arc: (edge = 0x7fff37dce890, target = 0x15b8e40) ] Edge 62 <-> 112 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9480) Arc: (edge = 0x7fff37dce890, target = 0x15b8e40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8e80) Arc: (edge = 0x7fff37dce890, target = 0x15b8e60) ] Edge 63 <-> 95 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9260) Arc: (edge = 0x7fff37dce890, target = 0x15b8e60) ] Edge 63 <-> 122 [ Arc: (edge = 0x7fff37dce890, target = 0x15b95c0) Arc: (edge = 0x7fff37dce890, target = 0x15b8e60) ] Edge 64 <-> 67 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ee0) Arc: (edge = 0x7fff37dce890, target = 0x15b8e80) ] Edge 65 <-> 66 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8ec0) Arc: (edge = 0x7fff37dce890, target = 0x15b8ea0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8f00) Arc: (edge = 0x7fff37dce890, target = 0x15b8ee0) ] Edge 67 <-> 72 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8f80) Arc: (edge = 0x7fff37dce890, target = 0x15b8ee0) ] Edge 69 <-> 70 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8f40) Arc: (edge = 0x7fff37dce890, target = 0x15b8f20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8f60) Arc: (edge = 0x7fff37dce890, target = 0x15b8f40) ] Edge 71 <-> 108 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9400) Arc: (edge = 0x7fff37dce890, target = 0x15b8f60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8fa0) Arc: (edge = 0x7fff37dce890, target = 0x15b8f80) ] Edge 72 <-> 134 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9740) Arc: (edge = 0x7fff37dce890, target = 0x15b8f80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8fc0) Arc: (edge = 0x7fff37dce890, target = 0x15b8fa0) ] Edge 73 <-> 150 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9940) Arc: (edge = 0x7fff37dce890, target = 0x15b8fa0) ] Edge 73 <-> 243 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba4e0) Arc: (edge = 0x7fff37dce890, target = 0x15b8fa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fff37dce890, target = 0x15b8fe0) Arc: (edge = 0x7fff37dce890, target = 0x15b8fc0) ] Edge 75 <-> 76 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9000) Arc: (edge = 0x7fff37dce890, target = 0x15b8fe0) ] Edge 75 <-> 129 [ Arc: (edge = 0x7fff37dce890, target = 0x15b96a0) Arc: (edge = 0x7fff37dce890, target = 0x15b8fe0) ] Edge 75 <-> 168 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9b80) Arc: (edge = 0x7fff37dce890, target = 0x15b8fe0) ] Edge 77 <-> 78 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9040) Arc: (edge = 0x7fff37dce890, target = 0x15b9020) ] Edge 77 <-> 117 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9520) Arc: (edge = 0x7fff37dce890, target = 0x15b9020) ] Edge 77 <-> 152 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9980) Arc: (edge = 0x7fff37dce890, target = 0x15b9020) ] Edge 77 <-> 213 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba120) Arc: (edge = 0x7fff37dce890, target = 0x15b9020) ] Edge 77 <-> 238 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba440) Arc: (edge = 0x7fff37dce890, target = 0x15b9020) ] Edge 78 <-> 79 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9060) Arc: (edge = 0x7fff37dce890, target = 0x15b9040) ] Edge 78 <-> 138 [ Arc: (edge = 0x7fff37dce890, target = 0x15b97c0) Arc: (edge = 0x7fff37dce890, target = 0x15b9040) ] Edge 78 <-> 173 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c20) Arc: (edge = 0x7fff37dce890, target = 0x15b9040) ] Edge 79 <-> 111 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9460) Arc: (edge = 0x7fff37dce890, target = 0x15b9060) ] Edge 79 <-> 154 [ Arc: (edge = 0x7fff37dce890, target = 0x15b99c0) Arc: (edge = 0x7fff37dce890, target = 0x15b9060) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff37dce890, target = 0x15b90a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9080) ] Edge 80 <-> 89 [ Arc: (edge = 0x7fff37dce890, target = 0x15b91a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9080) ] Edge 80 <-> 158 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9a40) Arc: (edge = 0x7fff37dce890, target = 0x15b9080) ] Edge 80 <-> 182 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d40) Arc: (edge = 0x7fff37dce890, target = 0x15b9080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fff37dce890, target = 0x15b90c0) Arc: (edge = 0x7fff37dce890, target = 0x15b90a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fff37dce890, target = 0x15b90e0) Arc: (edge = 0x7fff37dce890, target = 0x15b90c0) ] Edge 82 <-> 114 [ Arc: (edge = 0x7fff37dce890, target = 0x15b94c0) Arc: (edge = 0x7fff37dce890, target = 0x15b90c0) ] Edge 84 <-> 85 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9120) Arc: (edge = 0x7fff37dce890, target = 0x15b9100) ] Edge 84 <-> 135 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9760) Arc: (edge = 0x7fff37dce890, target = 0x15b9100) ] Edge 84 <-> 160 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9a80) Arc: (edge = 0x7fff37dce890, target = 0x15b9100) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9140) Arc: (edge = 0x7fff37dce890, target = 0x15b9120) ] Edge 86 <-> 178 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9cc0) Arc: (edge = 0x7fff37dce890, target = 0x15b9140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9180) Arc: (edge = 0x7fff37dce890, target = 0x15b9160) ] Edge 87 <-> 93 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9220) Arc: (edge = 0x7fff37dce890, target = 0x15b9160) ] Edge 87 <-> 186 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9dc0) Arc: (edge = 0x7fff37dce890, target = 0x15b9160) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fff37dce890, target = 0x15b91c0) Arc: (edge = 0x7fff37dce890, target = 0x15b91a0) ] Edge 89 <-> 177 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ca0) Arc: (edge = 0x7fff37dce890, target = 0x15b91a0) ] Edge 90 <-> 91 [ Arc: (edge = 0x7fff37dce890, target = 0x15b91e0) Arc: (edge = 0x7fff37dce890, target = 0x15b91c0) ] Edge 90 <-> 107 [ Arc: (edge = 0x7fff37dce890, target = 0x15b93e0) Arc: (edge = 0x7fff37dce890, target = 0x15b91c0) ] Edge 90 <-> 240 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba480) Arc: (edge = 0x7fff37dce890, target = 0x15b91c0) ] Edge 91 <-> 126 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9640) Arc: (edge = 0x7fff37dce890, target = 0x15b91e0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9220) Arc: (edge = 0x7fff37dce890, target = 0x15b9200) ] Edge 93 <-> 103 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9360) Arc: (edge = 0x7fff37dce890, target = 0x15b9220) ] Edge 94 <-> 95 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9260) Arc: (edge = 0x7fff37dce890, target = 0x15b9240) ] Edge 94 <-> 106 [ Arc: (edge = 0x7fff37dce890, target = 0x15b93c0) Arc: (edge = 0x7fff37dce890, target = 0x15b9240) ] Edge 94 <-> 141 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9820) Arc: (edge = 0x7fff37dce890, target = 0x15b9240) ] Edge 95 <-> 124 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9600) Arc: (edge = 0x7fff37dce890, target = 0x15b9260) ] Edge 95 <-> 244 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba500) Arc: (edge = 0x7fff37dce890, target = 0x15b9260) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff37dce890, target = 0x15b92a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9280) ] Edge 96 <-> 155 [ Arc: (edge = 0x7fff37dce890, target = 0x15b99e0) Arc: (edge = 0x7fff37dce890, target = 0x15b9280) ] Edge 96 <-> 163 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ae0) Arc: (edge = 0x7fff37dce890, target = 0x15b9280) ] Edge 96 <-> 245 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba520) Arc: (edge = 0x7fff37dce890, target = 0x15b9280) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fff37dce890, target = 0x15b92e0) Arc: (edge = 0x7fff37dce890, target = 0x15b92c0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9320) Arc: (edge = 0x7fff37dce890, target = 0x15b9300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9340) Arc: (edge = 0x7fff37dce890, target = 0x15b9320) ] Edge 102 <-> 153 [ Arc: (edge = 0x7fff37dce890, target = 0x15b99a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9340) ] Edge 102 <-> 239 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba460) Arc: (edge = 0x7fff37dce890, target = 0x15b9340) ] Edge 103 <-> 104 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9380) Arc: (edge = 0x7fff37dce890, target = 0x15b9360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fff37dce890, target = 0x15b93a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9380) ] Edge 105 <-> 166 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9b40) Arc: (edge = 0x7fff37dce890, target = 0x15b93a0) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fff37dce890, target = 0x15b93e0) Arc: (edge = 0x7fff37dce890, target = 0x15b93c0) ] Edge 106 <-> 179 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ce0) Arc: (edge = 0x7fff37dce890, target = 0x15b93c0) ] Edge 106 <-> 211 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba0e0) Arc: (edge = 0x7fff37dce890, target = 0x15b93c0) ] Edge 106 <-> 241 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba4a0) Arc: (edge = 0x7fff37dce890, target = 0x15b93c0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9420) Arc: (edge = 0x7fff37dce890, target = 0x15b9400) ] Edge 109 <-> 201 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9fa0) Arc: (edge = 0x7fff37dce890, target = 0x15b9420) ] Edge 109 <-> 207 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba060) Arc: (edge = 0x7fff37dce890, target = 0x15b9420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9460) Arc: (edge = 0x7fff37dce890, target = 0x15b9440) ] Edge 111 <-> 161 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9aa0) Arc: (edge = 0x7fff37dce890, target = 0x15b9460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff37dce890, target = 0x15b94a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9480) ] Edge 112 <-> 147 [ Arc: (edge = 0x7fff37dce890, target = 0x15b98e0) Arc: (edge = 0x7fff37dce890, target = 0x15b9480) ] Edge 112 <-> 180 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d00) Arc: (edge = 0x7fff37dce890, target = 0x15b9480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fff37dce890, target = 0x15b94c0) Arc: (edge = 0x7fff37dce890, target = 0x15b94a0) ] Edge 114 <-> 199 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9f60) Arc: (edge = 0x7fff37dce890, target = 0x15b94c0) ] Edge 114 <-> 205 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba020) Arc: (edge = 0x7fff37dce890, target = 0x15b94c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9500) Arc: (edge = 0x7fff37dce890, target = 0x15b94e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9520) Arc: (edge = 0x7fff37dce890, target = 0x15b9500) ] Edge 116 <-> 157 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9a20) Arc: (edge = 0x7fff37dce890, target = 0x15b9500) ] Edge 116 <-> 217 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba1a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9500) ] Edge 117 <-> 226 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba2c0) Arc: (edge = 0x7fff37dce890, target = 0x15b9520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9560) Arc: (edge = 0x7fff37dce890, target = 0x15b9540) ] Edge 119 <-> 139 [ Arc: (edge = 0x7fff37dce890, target = 0x15b97e0) Arc: (edge = 0x7fff37dce890, target = 0x15b9560) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fff37dce890, target = 0x15b95a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9580) ] Edge 120 <-> 248 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba580) Arc: (edge = 0x7fff37dce890, target = 0x15b9580) ] Edge 120 <-> 252 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba600) Arc: (edge = 0x7fff37dce890, target = 0x15b9580) ] Edge 122 <-> 123 [ Arc: (edge = 0x7fff37dce890, target = 0x15b95e0) Arc: (edge = 0x7fff37dce890, target = 0x15b95c0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9620) Arc: (edge = 0x7fff37dce890, target = 0x15b9600) ] Edge 126 <-> 127 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9660) Arc: (edge = 0x7fff37dce890, target = 0x15b9640) ] Edge 126 <-> 137 [ Arc: (edge = 0x7fff37dce890, target = 0x15b97a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9640) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fff37dce890, target = 0x15b96a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9680) ] Edge 128 <-> 165 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9b20) Arc: (edge = 0x7fff37dce890, target = 0x15b9680) ] Edge 128 <-> 170 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9bc0) Arc: (edge = 0x7fff37dce890, target = 0x15b9680) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fff37dce890, target = 0x15b96e0) Arc: (edge = 0x7fff37dce890, target = 0x15b96c0) ] Edge 132 <-> 133 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9720) Arc: (edge = 0x7fff37dce890, target = 0x15b9700) ] Edge 133 <-> 134 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9740) Arc: (edge = 0x7fff37dce890, target = 0x15b9720) ] Edge 134 <-> 214 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba140) Arc: (edge = 0x7fff37dce890, target = 0x15b9740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9780) Arc: (edge = 0x7fff37dce890, target = 0x15b9760) ] Edge 135 <-> 143 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9860) Arc: (edge = 0x7fff37dce890, target = 0x15b9760) ] Edge 137 <-> 138 [ Arc: (edge = 0x7fff37dce890, target = 0x15b97c0) Arc: (edge = 0x7fff37dce890, target = 0x15b97a0) ] Edge 137 <-> 206 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba040) Arc: (edge = 0x7fff37dce890, target = 0x15b97a0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9800) Arc: (edge = 0x7fff37dce890, target = 0x15b97e0) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9840) Arc: (edge = 0x7fff37dce890, target = 0x15b9820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9860) Arc: (edge = 0x7fff37dce890, target = 0x15b9840) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fff37dce890, target = 0x15b98a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9880) ] Edge 144 <-> 162 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ac0) Arc: (edge = 0x7fff37dce890, target = 0x15b9880) ] Edge 145 <-> 146 [ Arc: (edge = 0x7fff37dce890, target = 0x15b98c0) Arc: (edge = 0x7fff37dce890, target = 0x15b98a0) ] Edge 146 <-> 159 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9a60) Arc: (edge = 0x7fff37dce890, target = 0x15b98c0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9900) Arc: (edge = 0x7fff37dce890, target = 0x15b98e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9920) Arc: (edge = 0x7fff37dce890, target = 0x15b9900) ] Edge 148 <-> 227 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba2e0) Arc: (edge = 0x7fff37dce890, target = 0x15b9900) ] Edge 149 <-> 253 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba620) Arc: (edge = 0x7fff37dce890, target = 0x15b9920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9960) Arc: (edge = 0x7fff37dce890, target = 0x15b9940) ] Edge 151 <-> 229 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba320) Arc: (edge = 0x7fff37dce890, target = 0x15b9960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7fff37dce890, target = 0x15b99a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9980) ] Edge 153 <-> 187 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9de0) Arc: (edge = 0x7fff37dce890, target = 0x15b99a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fff37dce890, target = 0x15b99e0) Arc: (edge = 0x7fff37dce890, target = 0x15b99c0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9a20) Arc: (edge = 0x7fff37dce890, target = 0x15b9a00) ] Edge 157 <-> 191 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e60) Arc: (edge = 0x7fff37dce890, target = 0x15b9a20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9a60) Arc: (edge = 0x7fff37dce890, target = 0x15b9a40) ] Edge 158 <-> 194 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ec0) Arc: (edge = 0x7fff37dce890, target = 0x15b9a40) ] Edge 159 <-> 164 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9b00) Arc: (edge = 0x7fff37dce890, target = 0x15b9a60) ] Edge 159 <-> 185 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9da0) Arc: (edge = 0x7fff37dce890, target = 0x15b9a60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9aa0) Arc: (edge = 0x7fff37dce890, target = 0x15b9a80) ] Edge 161 <-> 221 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba220) Arc: (edge = 0x7fff37dce890, target = 0x15b9aa0) ] Edge 162 <-> 163 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ae0) Arc: (edge = 0x7fff37dce890, target = 0x15b9ac0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9b20) Arc: (edge = 0x7fff37dce890, target = 0x15b9b00) ] Edge 165 <-> 222 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba240) Arc: (edge = 0x7fff37dce890, target = 0x15b9b20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9b60) Arc: (edge = 0x7fff37dce890, target = 0x15b9b40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9b80) Arc: (edge = 0x7fff37dce890, target = 0x15b9b60) ] Edge 167 <-> 231 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba360) Arc: (edge = 0x7fff37dce890, target = 0x15b9b60) ] Edge 169 <-> 170 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9bc0) Arc: (edge = 0x7fff37dce890, target = 0x15b9ba0) ] Edge 170 <-> 236 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba400) Arc: (edge = 0x7fff37dce890, target = 0x15b9bc0) ] Edge 171 <-> 172 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c00) Arc: (edge = 0x7fff37dce890, target = 0x15b9be0) ] Edge 171 <-> 197 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9f20) Arc: (edge = 0x7fff37dce890, target = 0x15b9be0) ] Edge 172 <-> 242 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba4c0) Arc: (edge = 0x7fff37dce890, target = 0x15b9c00) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c40) Arc: (edge = 0x7fff37dce890, target = 0x15b9c20) ] Edge 174 <-> 200 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9f80) Arc: (edge = 0x7fff37dce890, target = 0x15b9c40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9c80) Arc: (edge = 0x7fff37dce890, target = 0x15b9c60) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9cc0) Arc: (edge = 0x7fff37dce890, target = 0x15b9ca0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d00) Arc: (edge = 0x7fff37dce890, target = 0x15b9ce0) ] Edge 179 <-> 212 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba100) Arc: (edge = 0x7fff37dce890, target = 0x15b9ce0) ] Edge 180 <-> 192 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e80) Arc: (edge = 0x7fff37dce890, target = 0x15b9d00) ] Edge 180 <-> 219 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba1e0) Arc: (edge = 0x7fff37dce890, target = 0x15b9d00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d40) Arc: (edge = 0x7fff37dce890, target = 0x15b9d20) ] Edge 182 <-> 233 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba3a0) Arc: (edge = 0x7fff37dce890, target = 0x15b9d40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9d80) Arc: (edge = 0x7fff37dce890, target = 0x15b9d60) ] Edge 183 <-> 215 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba160) Arc: (edge = 0x7fff37dce890, target = 0x15b9d60) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9dc0) Arc: (edge = 0x7fff37dce890, target = 0x15b9da0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e00) Arc: (edge = 0x7fff37dce890, target = 0x15b9de0) ] Edge 188 <-> 237 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba420) Arc: (edge = 0x7fff37dce890, target = 0x15b9e00) ] Edge 189 <-> 190 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e40) Arc: (edge = 0x7fff37dce890, target = 0x15b9e20) ] Edge 189 <-> 195 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ee0) Arc: (edge = 0x7fff37dce890, target = 0x15b9e20) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9e80) Arc: (edge = 0x7fff37dce890, target = 0x15b9e60) ] Edge 192 <-> 210 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba0c0) Arc: (edge = 0x7fff37dce890, target = 0x15b9e80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9ec0) Arc: (edge = 0x7fff37dce890, target = 0x15b9ea0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9f00) Arc: (edge = 0x7fff37dce890, target = 0x15b9ee0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9f20) Arc: (edge = 0x7fff37dce890, target = 0x15b9f00) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9f60) Arc: (edge = 0x7fff37dce890, target = 0x15b9f40) ] Edge 198 <-> 234 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba3c0) Arc: (edge = 0x7fff37dce890, target = 0x15b9f40) ] Edge 199 <-> 235 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba3e0) Arc: (edge = 0x7fff37dce890, target = 0x15b9f60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9fa0) Arc: (edge = 0x7fff37dce890, target = 0x15b9f80) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fff37dce890, target = 0x15b9fe0) Arc: (edge = 0x7fff37dce890, target = 0x15b9fc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba000) Arc: (edge = 0x7fff37dce890, target = 0x15b9fe0) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba040) Arc: (edge = 0x7fff37dce890, target = 0x15ba020) ] Edge 205 <-> 249 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba5a0) Arc: (edge = 0x7fff37dce890, target = 0x15ba020) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba080) Arc: (edge = 0x7fff37dce890, target = 0x15ba060) ] Edge 209 <-> 210 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba0c0) Arc: (edge = 0x7fff37dce890, target = 0x15ba0a0) ] Edge 210 <-> 254 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba640) Arc: (edge = 0x7fff37dce890, target = 0x15ba0c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba100) Arc: (edge = 0x7fff37dce890, target = 0x15ba0e0) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba140) Arc: (edge = 0x7fff37dce890, target = 0x15ba120) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba180) Arc: (edge = 0x7fff37dce890, target = 0x15ba160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba1a0) Arc: (edge = 0x7fff37dce890, target = 0x15ba180) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba1e0) Arc: (edge = 0x7fff37dce890, target = 0x15ba1c0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba220) Arc: (edge = 0x7fff37dce890, target = 0x15ba200) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba260) Arc: (edge = 0x7fff37dce890, target = 0x15ba240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba280) Arc: (edge = 0x7fff37dce890, target = 0x15ba260) ] Edge 223 <-> 225 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba2a0) Arc: (edge = 0x7fff37dce890, target = 0x15ba260) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba2c0) Arc: (edge = 0x7fff37dce890, target = 0x15ba2a0) ] Edge 227 <-> 228 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba300) Arc: (edge = 0x7fff37dce890, target = 0x15ba2e0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba320) Arc: (edge = 0x7fff37dce890, target = 0x15ba300) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba360) Arc: (edge = 0x7fff37dce890, target = 0x15ba340) ] Edge 231 <-> 258 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba6c0) Arc: (edge = 0x7fff37dce890, target = 0x15ba360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba3a0) Arc: (edge = 0x7fff37dce890, target = 0x15ba380) ] Edge 232 <-> 246 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba540) Arc: (edge = 0x7fff37dce890, target = 0x15ba380) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba3e0) Arc: (edge = 0x7fff37dce890, target = 0x15ba3c0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba420) Arc: (edge = 0x7fff37dce890, target = 0x15ba400) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba460) Arc: (edge = 0x7fff37dce890, target = 0x15ba440) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba4a0) Arc: (edge = 0x7fff37dce890, target = 0x15ba480) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba4e0) Arc: (edge = 0x7fff37dce890, target = 0x15ba4c0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba520) Arc: (edge = 0x7fff37dce890, target = 0x15ba500) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba560) Arc: (edge = 0x7fff37dce890, target = 0x15ba540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba580) Arc: (edge = 0x7fff37dce890, target = 0x15ba560) ] Edge 249 <-> 250 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba5c0) Arc: (edge = 0x7fff37dce890, target = 0x15ba5a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba5e0) Arc: (edge = 0x7fff37dce890, target = 0x15ba5c0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba620) Arc: (edge = 0x7fff37dce890, target = 0x15ba600) ] Edge 254 <-> 255 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba660) Arc: (edge = 0x7fff37dce890, target = 0x15ba640) ] Edge 256 <-> 257 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba6a0) Arc: (edge = 0x7fff37dce890, target = 0x15ba680) ] Edge 257 <-> 258 [ Arc: (edge = 0x7fff37dce890, target = 0x15ba6c0) Arc: (edge = 0x7fff37dce890, target = 0x15ba6a0) ] ] Robot arrangement: (|R| = 3, |V| = 259) [ robot locations: {1#88 2#197 3#208 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 1#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 2#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 3#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 } ] Robot arrangement: (|R| = 3, |V| = 259) [ robot locations: {1#11 2#97 3#152 } 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 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 2#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 3#152 0#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 } ] Original solution: Mulirobot solution: (|moves| = 29, paralellism = 1.812) [ Step 0: 257#208->30 258#197->171 256#88->87 Step 1: 257#30->31 258#171->172 256#87->25 Step 2: 258#172->51 257#31->8 256#25->42 Step 3: 258#51->52 257#8->2 256#42->96 Step 4: 258#52->0 257#2->13 256#96->97 Step 5: 258#0->11 Step 6: 258#11->12 Step 7: 258#12->21 257#13->12 Step 8: 258#21->77 257#12->21 Step 9: 258#77->152 257#21->20 Step 10: 257#20->23 Step 11: 257#23->38 Step 12: 257#38->69 Step 13: 257#69->70 Step 14: 257#70->71 Step 15: 257#71->11 ] reSolved solution: Mulirobot solution: (|moves| = 19, paralellism = 2.714) [ Step 0: 1#88->16 2#197->171 3#208->30 Step 1: 1#16->5 2#171->57 3#30->31 Step 2: 1#5->6 2#57->58 3#31->100 Step 3: 1#6->0 2#58->43 3#100->101 Step 4: 1#0->11 2#43->42 3#101->102 Step 5: 2#42->96 3#102->153 Step 6: 2#96->97 3#153->152 ] Multirobot solution analysis: ( total makespan = 7 total distance = 12 total trajectory = 19 average parallelism = 2.714 average distance = 4.000 average trajectory = 6.333 parallelism distribution = [ 0 2 5 ] distance distribution = [ 0 0 0 0 1 0 1 ] trajectory distribution = [ 0 0 0 0 1 0 2 ] ) 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 = 19 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.050 ] 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 = 19 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 506 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------