================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,16 1,2 1,66 2,3 3,4 3,76 3,127 3,196 4,5 4,20 4,171 5,6 5,189 6,7 7,8 7,26 8,9 8,25 9,10 9,36 9,90 10,11 10,137 11,12 11,21 11,64 11,75 11,85 12,13 12,77 13,14 14,15 14,125 15,16 15,124 16,17 16,197 17,18 18,19 19,20 21,22 22,23 23,24 23,51 23,176 24,25 24,122 26,27 27,28 28,29 28,94 29,30 30,31 30,37 30,92 31,32 31,95 32,33 33,34 33,67 34,35 34,52 35,36 35,84 36,123 37,38 38,39 39,40 40,41 41,42 42,43 43,44 44,45 45,46 45,78 46,47 46,103 46,119 47,48 48,49 48,228 48,242 49,50 50,51 51,65 52,53 53,54 53,108 54,55 55,56 55,210 56,57 57,58 58,59 59,60 60,61 60,126 61,62 61,104 62,63 62,91 63,64 65,66 66,120 67,68 68,69 69,70 69,133 70,71 70,93 70,227 71,72 72,73 73,74 74,75 76,77 78,79 79,80 79,177 80,81 80,107 81,82 82,83 83,84 85,86 86,87 87,88 88,89 89,90 89,132 91,92 93,94 94,190 95,96 96,97 96,159 97,98 97,172 98,99 99,100 99,145 100,101 101,102 102,103 103,160 104,105 105,106 106,107 107,146 108,109 109,110 110,111 111,112 112,113 113,114 114,115 115,116 116,117 117,118 117,170 118,119 120,121 120,138 121,122 123,124 125,126 127,128 128,129 129,130 130,131 131,132 131,214 133,134 134,135 135,136 136,137 138,139 139,140 140,141 141,142 142,143 143,144 144,145 145,169 146,147 147,148 148,149 149,150 150,151 151,152 152,153 153,154 154,155 155,156 156,157 157,158 158,159 159,241 160,161 161,162 162,163 163,164 163,209 164,165 165,166 166,167 167,168 168,169 170,171 171,215 172,173 173,174 174,175 175,176 177,178 178,179 179,180 180,181 181,182 182,183 183,184 184,185 185,186 186,187 186,254 187,188 188,189 188,255 190,191 191,192 192,193 193,194 194,195 195,196 197,198 198,199 199,200 200,201 201,202 202,203 203,204 204,205 205,206 206,207 207,208 208,209 210,211 211,212 212,213 213,214 213,268 215,216 216,217 217,218 218,219 219,220 220,221 221,222 222,223 223,224 224,225 225,226 226,227 228,229 229,230 230,231 231,232 232,233 233,234 234,235 235,236 236,237 237,238 238,239 239,240 240,241 242,243 243,244 244,245 245,246 246,247 247,248 248,249 249,250 250,251 251,252 252,253 253,254 255,256 256,257 257,258 258,259 259,260 260,261 261,262 262,263 263,264 264,265 265,266 266,267 267,268 Reading initial arrangement... Reading original solution... Length:409 263 # 47 ---> 48 (0) 261 # 238 ---> 239 (0) 263 # 48 ---> 228 (1) 261 # 239 ---> 240 (1) 263 # 228 ---> 229 (2) 261 # 240 ---> 241 (2) 263 # 229 ---> 230 (3) 261 # 241 ---> 159 (3) 263 # 230 ---> 231 (4) 261 # 159 ---> 96 (4) 263 # 231 ---> 232 (5) 261 # 96 ---> 95 (5) 263 # 232 ---> 233 (6) 261 # 95 ---> 31 (6) 261 # 31 ---> 30 (7) 261 # 30 ---> 29 (8) 261 # 29 ---> 28 (9) 261 # 28 ---> 27 (10) 261 # 27 ---> 26 (11) 261 # 26 ---> 7 (12) 261 # 7 ---> 6 (13) 261 # 6 ---> 5 (14) 261 # 5 ---> 189 (15) 261 # 189 ---> 188 (16) 261 # 188 ---> 255 (17) 261 # 255 ---> 256 (18) 261 # 256 ---> 257 (19) 261 # 257 ---> 258 (20) 261 # 258 ---> 259 (21) 261 # 259 ---> 260 (22) 261 # 260 ---> 261 (23) 261 # 261 ---> 262 (24) 261 # 262 ---> 263 (25) 261 # 263 ---> 264 (26) 261 # 264 ---> 265 (27) 261 # 265 ---> 266 (28) 265 # 17 ---> 16 (0) 259 # 82 ---> 81 (0) 259 # 81 ---> 80 (1) 259 # 80 ---> 79 (2) 259 # 79 ---> 78 (3) 259 # 78 ---> 45 (4) 259 # 45 ---> 46 (5) 259 # 46 ---> 47 (6) 259 # 47 ---> 48 (7) 258 # 220 ---> 219 (0) 258 # 219 ---> 218 (1) 258 # 218 ---> 217 (2) 268 # 216 ---> 215 (0) 258 # 217 ---> 216 (3) 268 # 215 ---> 171 (1) 258 # 216 ---> 215 (4) 268 # 171 ---> 4 (2) 258 # 215 ---> 171 (5) 258 # 171 ---> 170 (6) 258 # 170 ---> 117 (7) 258 # 117 ---> 118 (8) 258 # 118 ---> 119 (9) 258 # 119 ---> 46 (10) 258 # 46 ---> 47 (11) 268 # 4 ---> 171 (6) 259 # 48 ---> 49 (8) 258 # 47 ---> 48 (12) 258 # 48 ---> 242 (13) 268 # 171 ---> 170 (7) 268 # 170 ---> 117 (8) 268 # 117 ---> 118 (9) 268 # 118 ---> 119 (10) 257 # 111 ---> 112 (0) 268 # 119 ---> 46 (11) 257 # 112 ---> 113 (1) 268 # 46 ---> 45 (12) 258 # 242 ---> 243 (14) 268 # 45 ---> 44 (13) 268 # 44 ---> 43 (14) 268 # 43 ---> 42 (15) 268 # 42 ---> 41 (16) 258 # 243 ---> 244 (15) 268 # 41 ---> 40 (17) 258 # 244 ---> 245 (16) 258 # 245 ---> 246 (17) 263 # 233 ---> 234 (7) 263 # 234 ---> 235 (8) 268 # 40 ---> 39 (18) 263 # 235 ---> 236 (9) 257 # 113 ---> 114 (2) 257 # 114 ---> 115 (3) 263 # 236 ---> 237 (10) 263 # 237 ---> 238 (11) 263 # 238 ---> 239 (12) 268 # 39 ---> 38 (19) 263 # 239 ---> 240 (13) 257 # 115 ---> 116 (4) 257 # 116 ---> 117 (9) 257 # 117 ---> 118 (10) 257 # 118 ---> 119 (11) 257 # 119 ---> 46 (12) 257 # 46 ---> 47 (13) 257 # 47 ---> 48 (14) 263 # 240 ---> 241 (14) 257 # 48 ---> 228 (15) 268 # 38 ---> 37 (20) 268 # 37 ---> 30 (21) 263 # 241 ---> 159 (15) 257 # 228 ---> 229 (16) 263 # 159 ---> 96 (16) 268 # 30 ---> 92 (22) 257 # 229 ---> 230 (17) 263 # 96 ---> 97 (17) 257 # 230 ---> 231 (18) 263 # 97 ---> 98 (18) 259 # 49 ---> 50 (9) 259 # 50 ---> 51 (10) 257 # 231 ---> 232 (19) 263 # 98 ---> 99 (19) 257 # 232 ---> 233 (20) 263 # 99 ---> 100 (20) 257 # 233 ---> 234 (21) 256 # 156 ---> 157 (0) 256 # 157 ---> 158 (1) 256 # 158 ---> 159 (16) 256 # 159 ---> 96 (17) 256 # 96 ---> 95 (18) 256 # 95 ---> 31 (19) 256 # 31 ---> 30 (22) 260 # 70 ---> 93 (0) 260 # 93 ---> 94 (1) 260 # 94 ---> 28 (10) 260 # 28 ---> 27 (11) 264 # 71 ---> 72 (0) 264 # 72 ---> 73 (1) 264 # 73 ---> 74 (2) 264 # 74 ---> 75 (3) 264 # 75 ---> 11 (4) 264 # 11 ---> 12 (5) 264 # 12 ---> 77 (6) 264 # 77 ---> 76 (7) 264 # 76 ---> 3 (8) 264 # 3 ---> 4 (9) 264 # 4 ---> 171 (10) 264 # 171 ---> 215 (11) 260 # 27 ---> 26 (12) 264 # 215 ---> 216 (12) 260 # 26 ---> 7 (13) 264 # 216 ---> 217 (13) 260 # 7 ---> 6 (14) 264 # 217 ---> 218 (14) 260 # 6 ---> 5 (15) 266 # 211 ---> 212 (0) 266 # 212 ---> 213 (1) 266 # 213 ---> 214 (2) 266 # 214 ---> 131 (3) 264 # 218 ---> 219 (15) 264 # 219 ---> 220 (16) 260 # 5 ---> 4 (16) 260 # 4 ---> 3 (17) 265 # 16 ---> 15 (1) 260 # 3 ---> 2 (18) 265 # 15 ---> 14 (2) 260 # 2 ---> 1 (19) 265 # 14 ---> 13 (3) 260 # 1 ---> 0 (20) 265 # 13 ---> 12 (6) 260 # 0 ---> 16 (21) 260 # 16 ---> 15 (22) 267 # 122 ---> 24 (0) 259 # 51 ---> 23 (11) 267 # 24 ---> 25 (1) 267 # 25 ---> 8 (2) 262 # 144 ---> 145 (0) 262 # 145 ---> 99 (20) 263 # 100 ---> 101 (21) 262 # 99 ---> 100 (21) 263 # 101 ---> 102 (22) 262 # 100 ---> 101 (22) 263 # 102 ---> 103 (23) 262 # 101 ---> 102 (23) 263 # 103 ---> 46 (24) 262 # 102 ---> 103 (24) 263 # 46 ---> 45 (25) 262 # 103 ---> 46 (25) 263 # 45 ---> 44 (26) 262 # 46 ---> 45 (26) 262 # 45 ---> 78 (27) 262 # 78 ---> 79 (28) 262 # 79 ---> 177 (29) 267 # 8 ---> 9 (3) 267 # 9 ---> 36 (4) 262 # 177 ---> 178 (30) 265 # 12 ---> 11 (7) 260 # 15 ---> 14 (23) 265 # 11 ---> 10 (8) 262 # 178 ---> 179 (31) 262 # 179 ---> 180 (32) 262 # 180 ---> 181 (33) 262 # 181 ---> 182 (34) 267 # 36 ---> 35 (5) 267 # 35 ---> 84 (6) 262 # 182 ---> 183 (35) 262 # 183 ---> 184 (36) 265 # 10 ---> 9 (9) 260 # 14 ---> 13 (24) 267 # 84 ---> 83 (7) 265 # 9 ---> 36 (10) 267 # 83 ---> 82 (8) 265 # 36 ---> 35 (11) 267 # 82 ---> 81 (9) 265 # 35 ---> 84 (12) 267 # 81 ---> 80 (10) 265 # 84 ---> 83 (13) 262 # 184 ---> 185 (37) 263 # 44 ---> 43 (27) 263 # 43 ---> 42 (28) 263 # 42 ---> 41 (29) 263 # 41 ---> 40 (30) 263 # 40 ---> 39 (31) 262 # 185 ---> 186 (38) 259 # 23 ---> 22 (12) 259 # 22 ---> 21 (13) 259 # 21 ---> 11 (14) 259 # 11 ---> 64 (15) 259 # 64 ---> 63 (16) 259 # 63 ---> 62 (17) 267 # 80 ---> 79 (29) 265 # 83 ---> 82 (14) 267 # 79 ---> 78 (30) 265 # 82 ---> 81 (15) 267 # 78 ---> 45 (31) 265 # 81 ---> 80 (29) 267 # 45 ---> 46 (32) 265 # 80 ---> 79 (30) 265 # 79 ---> 78 (31) 265 # 78 ---> 45 (32) 256 # 30 ---> 29 (23) 263 # 39 ---> 38 (32) 256 # 29 ---> 28 (24) 263 # 38 ---> 37 (33) 256 # 28 ---> 27 (25) 263 # 37 ---> 30 (34) 265 # 45 ---> 44 (33) 256 # 27 ---> 26 (26) 263 # 30 ---> 29 (35) 265 # 44 ---> 43 (34) 256 # 26 ---> 7 (27) 263 # 29 ---> 28 (36) 265 # 43 ---> 42 (35) 263 # 28 ---> 27 (37) 265 # 42 ---> 41 (36) 263 # 27 ---> 26 (38) 265 # 41 ---> 40 (37) 259 # 62 ---> 61 (18) 259 # 61 ---> 104 (19) 259 # 104 ---> 105 (20) 259 # 105 ---> 106 (21) 259 # 106 ---> 107 (22) 259 # 107 ---> 80 (30) 267 # 46 ---> 47 (33) 268 # 92 ---> 91 (23) 268 # 91 ---> 62 (24) 268 # 62 ---> 61 (25) 268 # 61 ---> 104 (26) 268 # 104 ---> 105 (27) 268 # 105 ---> 106 (28) 268 # 106 ---> 107 (30) 268 # 107 ---> 146 (31) 268 # 146 ---> 147 (32) 259 # 80 ---> 81 (31) 268 # 147 ---> 148 (33) 268 # 148 ---> 149 (34) 268 # 149 ---> 150 (35) 268 # 150 ---> 151 (36) 268 # 151 ---> 152 (37) 268 # 152 ---> 153 (38) 267 # 47 ---> 48 (34) 267 # 48 ---> 49 (35) 267 # 49 ---> 50 (36) 267 # 50 ---> 51 (37) 267 # 51 ---> 65 (38) 260 # 13 ---> 12 (25) 267 # 65 ---> 66 (39) 260 # 12 ---> 11 (26) 267 # 66 ---> 1 (40) 256 # 7 ---> 8 (28) 263 # 26 ---> 7 (39) 256 # 8 ---> 9 (29) 263 # 7 ---> 8 (40) 256 # 9 ---> 36 (30) 256 # 36 ---> 35 (31) 256 # 35 ---> 34 (32) 263 # 8 ---> 9 (41) 256 # 34 ---> 33 (33) 263 # 9 ---> 36 (42) 263 # 36 ---> 35 (43) 263 # 35 ---> 34 (44) 266 # 131 ---> 132 (4) 266 # 132 ---> 89 (5) 266 # 89 ---> 90 (6) 263 # 34 ---> 52 (45) 263 # 52 ---> 53 (46) 260 # 11 ---> 10 (27) 266 # 90 ---> 9 (42) 266 # 9 ---> 8 (43) 259 # 81 ---> 82 (32) 259 # 82 ---> 83 (33) 259 # 83 ---> 84 (34) 259 # 84 ---> 35 (44) 259 # 35 ---> 36 (45) 259 # 36 ---> 9 (46) 266 # 8 ---> 7 (44) 259 # 9 ---> 8 (47) 260 # 10 ---> 9 (47) 266 # 7 ---> 6 (45) 259 # 8 ---> 7 (48) 260 # 9 ---> 8 (48) 266 # 6 ---> 5 (46) 259 # 7 ---> 6 (49) 266 # 5 ---> 4 (47) 259 # 6 ---> 5 (50) 266 # 4 ---> 3 (48) 259 # 5 ---> 4 (51) 266 # 3 ---> 2 (49) 259 # 4 ---> 3 (52) 259 # 3 ---> 127 (53) 266 # 2 ---> 3 (53) 266 # 3 ---> 4 (54) 256 # 33 ---> 34 (45) 256 # 34 ---> 35 (46) 256 # 35 ---> 36 (47) 263 # 53 ---> 108 (47) 256 # 36 ---> 9 (48) 263 # 108 ---> 109 (48) 266 # 4 ---> 5 (55) 266 # 5 ---> 6 (56) 256 # 9 ---> 10 (49) 260 # 8 ---> 9 (49) 266 # 6 ---> 7 (57) 256 # 10 ---> 11 (50) 260 # 9 ---> 10 (50) 266 # 7 ---> 8 (58) 263 # 109 ---> 110 (49) 263 # 110 ---> 111 (50) 263 # 111 ---> 112 (51) 263 # 112 ---> 113 (52) 263 # 113 ---> 114 (53) 263 # 114 ---> 115 (54) 263 # 115 ---> 116 (55) 263 # 116 ---> 117 (56) 267 # 1 ---> 2 (53) 263 # 117 ---> 118 (57) 263 # 118 ---> 119 (58) 263 # 119 ---> 46 (59) 263 # 46 ---> 45 (60) 267 # 2 ---> 3 (54) 265 # 40 ---> 39 (38) 263 # 45 ---> 44 (61) 265 # 39 ---> 38 (39) 263 # 44 ---> 43 (62) 265 # 38 ---> 37 (40) 265 # 37 ---> 30 (41) 265 # 30 ---> 31 (42) 267 # 3 ---> 4 (55) 267 # 4 ---> 5 (56) 267 # 5 ---> 6 (57) 267 # 6 ---> 7 (58) 267 # 7 ---> 26 (59) 267 # 26 ---> 27 (60) 267 # 27 ---> 28 (61) 267 # 28 ---> 29 (62) 267 # 29 ---> 30 (63) 265 # 31 ---> 32 (43) 267 # 30 ---> 31 (64) 267 # 31 ---> 95 (65) 267 # 95 ---> 96 (66) 267 # 96 ---> 97 (67) 267 # 97 ---> 98 (68) 265 # 32 ---> 33 (45) 256 # 11 ---> 85 (51) 256 # 85 ---> 86 (52) 256 # 86 ---> 87 (53) 256 # 87 ---> 88 (54) 266 # 8 ---> 25 (59) 266 # 25 ---> 24 (60) 260 # 10 ---> 11 (51) 260 # 11 ---> 21 (52) 260 # 21 ---> 22 (53) 260 # 22 ---> 23 (54) 260 # 23 ---> 51 (55) 260 # 51 ---> 50 (56) 260 # 50 ---> 49 (57) 260 # 49 ---> 48 (58) 260 # 48 ---> 47 (59) 260 # 47 ---> 46 (60) 260 # 46 ---> 45 (61) 260 # 45 ---> 78 (62) 266 # 24 ---> 23 (61) 260 # 78 ---> 79 (63) 265 # 33 ---> 34 (46) 265 # 34 ---> 35 (47) 265 # 35 ---> 36 (48) 265 # 36 ---> 9 (50) 265 # 9 ---> 8 (59) 265 # 8 ---> 7 (60) 265 # 7 ---> 6 (61) 265 # 6 ---> 5 (62) 265 # 5 ---> 4 (63) 265 # 4 ---> 3 (64) 265 # 3 ---> 76 (65) 266 # 23 ---> 51 (62) 266 # 51 ---> 65 (63) Reading goal arrangement... Undirected graph: (|V|=269 |E|=302) [ Vertex: (id = 0) {1 16 } Vertex: (id = 1) {0 2 66 } Vertex: (id = 2) {1 3 } Vertex: (id = 3) {2 4 76 127 196 } Vertex: (id = 4) {3 5 20 171 } Vertex: (id = 5) {4 6 189 } Vertex: (id = 6) {5 7 } Vertex: (id = 7) {6 8 26 } Vertex: (id = 8) {7 9 25 } Vertex: (id = 9) {8 10 36 90 } Vertex: (id = 10) {9 11 137 } Vertex: (id = 11) {10 12 21 64 75 85 } Vertex: (id = 12) {11 13 77 } Vertex: (id = 13) {12 14 } Vertex: (id = 14) {13 15 125 } Vertex: (id = 15) {14 16 124 } Vertex: (id = 16) {0 15 17 197 } Vertex: (id = 17) {16 18 } Vertex: (id = 18) {17 19 } Vertex: (id = 19) {18 20 } Vertex: (id = 20) {4 19 } Vertex: (id = 21) {11 22 } Vertex: (id = 22) {21 23 } Vertex: (id = 23) {22 24 51 176 } Vertex: (id = 24) {23 25 122 } Vertex: (id = 25) {8 24 } Vertex: (id = 26) {7 27 } Vertex: (id = 27) {26 28 } Vertex: (id = 28) {27 29 94 } Vertex: (id = 29) {28 30 } Vertex: (id = 30) {29 31 37 92 } Vertex: (id = 31) {30 32 95 } Vertex: (id = 32) {31 33 } Vertex: (id = 33) {32 34 67 } Vertex: (id = 34) {33 35 52 } Vertex: (id = 35) {34 36 84 } Vertex: (id = 36) {9 35 123 } Vertex: (id = 37) {30 38 } Vertex: (id = 38) {37 39 } Vertex: (id = 39) {38 40 } Vertex: (id = 40) {39 41 } Vertex: (id = 41) {40 42 } Vertex: (id = 42) {41 43 } Vertex: (id = 43) {42 44 } Vertex: (id = 44) {43 45 } Vertex: (id = 45) {44 46 78 } Vertex: (id = 46) {45 47 103 119 } Vertex: (id = 47) {46 48 } Vertex: (id = 48) {47 49 228 242 } Vertex: (id = 49) {48 50 } Vertex: (id = 50) {49 51 } Vertex: (id = 51) {23 50 65 } Vertex: (id = 52) {34 53 } Vertex: (id = 53) {52 54 108 } Vertex: (id = 54) {53 55 } Vertex: (id = 55) {54 56 210 } Vertex: (id = 56) {55 57 } Vertex: (id = 57) {56 58 } Vertex: (id = 58) {57 59 } Vertex: (id = 59) {58 60 } Vertex: (id = 60) {59 61 126 } Vertex: (id = 61) {60 62 104 } Vertex: (id = 62) {61 63 91 } Vertex: (id = 63) {62 64 } Vertex: (id = 64) {11 63 } Vertex: (id = 65) {51 66 } Vertex: (id = 66) {1 65 120 } Vertex: (id = 67) {33 68 } Vertex: (id = 68) {67 69 } Vertex: (id = 69) {68 70 133 } Vertex: (id = 70) {69 71 93 227 } Vertex: (id = 71) {70 72 } Vertex: (id = 72) {71 73 } Vertex: (id = 73) {72 74 } Vertex: (id = 74) {73 75 } Vertex: (id = 75) {11 74 } Vertex: (id = 76) {3 77 } Vertex: (id = 77) {12 76 } Vertex: (id = 78) {45 79 } Vertex: (id = 79) {78 80 177 } Vertex: (id = 80) {79 81 107 } Vertex: (id = 81) {80 82 } Vertex: (id = 82) {81 83 } Vertex: (id = 83) {82 84 } Vertex: (id = 84) {35 83 } Vertex: (id = 85) {11 86 } Vertex: (id = 86) {85 87 } Vertex: (id = 87) {86 88 } Vertex: (id = 88) {87 89 } Vertex: (id = 89) {88 90 132 } Vertex: (id = 90) {9 89 } Vertex: (id = 91) {62 92 } Vertex: (id = 92) {30 91 } Vertex: (id = 93) {70 94 } Vertex: (id = 94) {28 93 190 } Vertex: (id = 95) {31 96 } Vertex: (id = 96) {95 97 159 } Vertex: (id = 97) {96 98 172 } Vertex: (id = 98) {97 99 } Vertex: (id = 99) {98 100 145 } Vertex: (id = 100) {99 101 } Vertex: (id = 101) {100 102 } Vertex: (id = 102) {101 103 } Vertex: (id = 103) {46 102 160 } Vertex: (id = 104) {61 105 } Vertex: (id = 105) {104 106 } Vertex: (id = 106) {105 107 } Vertex: (id = 107) {80 106 146 } Vertex: (id = 108) {53 109 } Vertex: (id = 109) {108 110 } Vertex: (id = 110) {109 111 } Vertex: (id = 111) {110 112 } Vertex: (id = 112) {111 113 } Vertex: (id = 113) {112 114 } Vertex: (id = 114) {113 115 } Vertex: (id = 115) {114 116 } Vertex: (id = 116) {115 117 } Vertex: (id = 117) {116 118 170 } Vertex: (id = 118) {117 119 } Vertex: (id = 119) {46 118 } Vertex: (id = 120) {66 121 138 } Vertex: (id = 121) {120 122 } Vertex: (id = 122) {24 121 } Vertex: (id = 123) {36 124 } Vertex: (id = 124) {15 123 } Vertex: (id = 125) {14 126 } Vertex: (id = 126) {60 125 } Vertex: (id = 127) {3 128 } Vertex: (id = 128) {127 129 } Vertex: (id = 129) {128 130 } Vertex: (id = 130) {129 131 } Vertex: (id = 131) {130 132 214 } Vertex: (id = 132) {89 131 } Vertex: (id = 133) {69 134 } Vertex: (id = 134) {133 135 } Vertex: (id = 135) {134 136 } Vertex: (id = 136) {135 137 } Vertex: (id = 137) {10 136 } Vertex: (id = 138) {120 139 } Vertex: (id = 139) {138 140 } Vertex: (id = 140) {139 141 } Vertex: (id = 141) {140 142 } Vertex: (id = 142) {141 143 } Vertex: (id = 143) {142 144 } Vertex: (id = 144) {143 145 } Vertex: (id = 145) {99 144 169 } Vertex: (id = 146) {107 147 } Vertex: (id = 147) {146 148 } Vertex: (id = 148) {147 149 } Vertex: (id = 149) {148 150 } Vertex: (id = 150) {149 151 } Vertex: (id = 151) {150 152 } Vertex: (id = 152) {151 153 } Vertex: (id = 153) {152 154 } Vertex: (id = 154) {153 155 } Vertex: (id = 155) {154 156 } Vertex: (id = 156) {155 157 } Vertex: (id = 157) {156 158 } Vertex: (id = 158) {157 159 } Vertex: (id = 159) {96 158 241 } Vertex: (id = 160) {103 161 } Vertex: (id = 161) {160 162 } Vertex: (id = 162) {161 163 } Vertex: (id = 163) {162 164 209 } Vertex: (id = 164) {163 165 } Vertex: (id = 165) {164 166 } Vertex: (id = 166) {165 167 } Vertex: (id = 167) {166 168 } Vertex: (id = 168) {167 169 } Vertex: (id = 169) {145 168 } Vertex: (id = 170) {117 171 } Vertex: (id = 171) {4 170 215 } Vertex: (id = 172) {97 173 } Vertex: (id = 173) {172 174 } Vertex: (id = 174) {173 175 } Vertex: (id = 175) {174 176 } Vertex: (id = 176) {23 175 } Vertex: (id = 177) {79 178 } Vertex: (id = 178) {177 179 } Vertex: (id = 179) {178 180 } Vertex: (id = 180) {179 181 } Vertex: (id = 181) {180 182 } Vertex: (id = 182) {181 183 } Vertex: (id = 183) {182 184 } Vertex: (id = 184) {183 185 } Vertex: (id = 185) {184 186 } Vertex: (id = 186) {185 187 254 } Vertex: (id = 187) {186 188 } Vertex: (id = 188) {187 189 255 } Vertex: (id = 189) {5 188 } Vertex: (id = 190) {94 191 } Vertex: (id = 191) {190 192 } Vertex: (id = 192) {191 193 } Vertex: (id = 193) {192 194 } Vertex: (id = 194) {193 195 } Vertex: (id = 195) {194 196 } Vertex: (id = 196) {3 195 } Vertex: (id = 197) {16 198 } Vertex: (id = 198) {197 199 } Vertex: (id = 199) {198 200 } Vertex: (id = 200) {199 201 } Vertex: (id = 201) {200 202 } Vertex: (id = 202) {201 203 } Vertex: (id = 203) {202 204 } Vertex: (id = 204) {203 205 } Vertex: (id = 205) {204 206 } Vertex: (id = 206) {205 207 } Vertex: (id = 207) {206 208 } Vertex: (id = 208) {207 209 } Vertex: (id = 209) {163 208 } Vertex: (id = 210) {55 211 } Vertex: (id = 211) {210 212 } Vertex: (id = 212) {211 213 } Vertex: (id = 213) {212 214 268 } Vertex: (id = 214) {131 213 } Vertex: (id = 215) {171 216 } Vertex: (id = 216) {215 217 } Vertex: (id = 217) {216 218 } Vertex: (id = 218) {217 219 } Vertex: (id = 219) {218 220 } Vertex: (id = 220) {219 221 } Vertex: (id = 221) {220 222 } Vertex: (id = 222) {221 223 } Vertex: (id = 223) {222 224 } Vertex: (id = 224) {223 225 } Vertex: (id = 225) {224 226 } Vertex: (id = 226) {225 227 } Vertex: (id = 227) {70 226 } Vertex: (id = 228) {48 229 } Vertex: (id = 229) {228 230 } Vertex: (id = 230) {229 231 } Vertex: (id = 231) {230 232 } Vertex: (id = 232) {231 233 } Vertex: (id = 233) {232 234 } Vertex: (id = 234) {233 235 } Vertex: (id = 235) {234 236 } Vertex: (id = 236) {235 237 } Vertex: (id = 237) {236 238 } Vertex: (id = 238) {237 239 } Vertex: (id = 239) {238 240 } Vertex: (id = 240) {239 241 } Vertex: (id = 241) {159 240 } Vertex: (id = 242) {48 243 } Vertex: (id = 243) {242 244 } Vertex: (id = 244) {243 245 } Vertex: (id = 245) {244 246 } Vertex: (id = 246) {245 247 } Vertex: (id = 247) {246 248 } Vertex: (id = 248) {247 249 } Vertex: (id = 249) {248 250 } Vertex: (id = 250) {249 251 } Vertex: (id = 251) {250 252 } Vertex: (id = 252) {251 253 } Vertex: (id = 253) {252 254 } Vertex: (id = 254) {186 253 } Vertex: (id = 255) {188 256 } Vertex: (id = 256) {255 257 } Vertex: (id = 257) {256 258 } Vertex: (id = 258) {257 259 } Vertex: (id = 259) {258 260 } Vertex: (id = 260) {259 261 } Vertex: (id = 261) {260 262 } Vertex: (id = 262) {261 263 } Vertex: (id = 263) {262 264 } Vertex: (id = 264) {263 265 } Vertex: (id = 265) {264 266 } Vertex: (id = 266) {265 267 } Vertex: (id = 267) {266 268 } Vertex: (id = 268) {213 267 } Edge 0 <-> 1 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c680) ] Edge 0 <-> 16 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c880) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6a0) ] Edge 1 <-> 66 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cec0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c700) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6e0) ] Edge 3 <-> 76 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d000) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6e0) ] Edge 3 <-> 127 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d660) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6e0) ] Edge 3 <-> 196 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1df00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c6e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c720) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c700) ] Edge 4 <-> 20 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c900) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c700) ] Edge 4 <-> 171 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dbe0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c740) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c720) ] Edge 5 <-> 189 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1de20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c720) ] Edge 6 <-> 7 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c760) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c780) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c760) ] Edge 7 <-> 26 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c9c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c760) ] Edge 8 <-> 9 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c780) ] Edge 8 <-> 25 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c9a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7a0) ] Edge 9 <-> 36 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7a0) ] Edge 9 <-> 90 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d1c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7a0) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7c0) ] Edge 10 <-> 137 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d7a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c800) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7e0) ] Edge 11 <-> 21 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c920) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7e0) ] Edge 11 <-> 64 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7e0) ] Edge 11 <-> 75 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cfe0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7e0) ] Edge 11 <-> 85 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d120) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c7e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c820) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c800) ] Edge 12 <-> 77 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d020) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c800) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c840) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c860) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c840) ] Edge 14 <-> 125 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d620) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c840) ] Edge 15 <-> 16 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c880) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c860) ] Edge 15 <-> 124 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d600) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c8a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c880) ] Edge 16 <-> 197 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1df20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c880) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c8c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c8a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c8e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c8c0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c900) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c8e0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c940) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c960) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c940) ] Edge 23 <-> 24 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c980) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c960) ] Edge 23 <-> 51 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cce0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c960) ] Edge 23 <-> 176 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c9a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c980) ] Edge 24 <-> 122 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d5c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c980) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1c9e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c9c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1c9e0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca00) ] Edge 28 <-> 94 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d240) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca40) ] Edge 30 <-> 37 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca40) ] Edge 30 <-> 92 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d200) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca40) ] Edge 31 <-> 32 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca60) ] Edge 31 <-> 95 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d260) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca60) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1caa0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ca80) ] Edge 33 <-> 34 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cac0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1caa0) ] Edge 33 <-> 67 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cee0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1caa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cae0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cac0) ] Edge 34 <-> 52 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cae0) ] Edge 35 <-> 84 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d100) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cae0) ] Edge 36 <-> 123 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d5e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb00) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb20) ] Edge 38 <-> 39 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cba0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cb80) ] Edge 41 <-> 42 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cbc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cbe0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cbc0) ] Edge 43 <-> 44 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cbe0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc00) ] Edge 45 <-> 46 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc20) ] Edge 45 <-> 78 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d040) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc40) ] Edge 46 <-> 103 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d360) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc40) ] Edge 46 <-> 119 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d560) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc40) ] Edge 47 <-> 48 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cca0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc80) ] Edge 48 <-> 228 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e300) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc80) ] Edge 48 <-> 242 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e4c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cc80) ] Edge 49 <-> 50 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ccc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cca0) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cce0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ccc0) ] Edge 51 <-> 65 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cea0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cce0) ] Edge 52 <-> 53 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd00) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd20) ] Edge 53 <-> 108 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d400) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd20) ] Edge 54 <-> 55 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd60) ] Edge 55 <-> 210 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e0c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd60) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cda0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cd80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cdc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cda0) ] Edge 58 <-> 59 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cde0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cdc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cde0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce00) ] Edge 60 <-> 126 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d640) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce20) ] Edge 61 <-> 104 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d380) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce20) ] Edge 62 <-> 63 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce40) ] Edge 62 <-> 91 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d1e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ce60) ] Edge 65 <-> 66 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cec0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cea0) ] Edge 66 <-> 120 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d580) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cec0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cee0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf00) ] Edge 69 <-> 70 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf20) ] Edge 69 <-> 133 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d720) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf40) ] Edge 70 <-> 93 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d220) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf40) ] Edge 70 <-> 227 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e2e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf40) ] Edge 71 <-> 72 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cfa0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cf80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cfc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cfa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1cfe0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1cfc0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d020) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d000) ] Edge 78 <-> 79 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d060) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d040) ] Edge 79 <-> 80 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d080) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d060) ] Edge 79 <-> 177 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dca0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d060) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d0a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d080) ] Edge 80 <-> 107 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d3e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d0c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d0a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d0e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d0c0) ] Edge 83 <-> 84 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d100) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d0e0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d140) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d120) ] Edge 86 <-> 87 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d160) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d180) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d160) ] Edge 88 <-> 89 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d1a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d180) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d1c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d1a0) ] Edge 89 <-> 132 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d700) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d1a0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d200) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d1e0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d240) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d220) ] Edge 94 <-> 190 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1de40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d240) ] Edge 95 <-> 96 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d280) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d260) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d280) ] Edge 96 <-> 159 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1da60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d280) ] Edge 97 <-> 98 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2a0) ] Edge 97 <-> 172 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2a0) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2c0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d300) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2e0) ] Edge 99 <-> 145 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d8a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d2e0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d320) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d340) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d320) ] Edge 102 <-> 103 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d360) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d340) ] Edge 103 <-> 160 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1da80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d3a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d380) ] Edge 105 <-> 106 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d3c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d3a0) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d3e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d3c0) ] Edge 107 <-> 146 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d8c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d3e0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d420) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d400) ] Edge 109 <-> 110 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d440) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d460) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d440) ] Edge 111 <-> 112 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d480) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d4a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d4c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d4a0) ] Edge 114 <-> 115 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d4e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d4c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d500) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d4e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d520) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d500) ] Edge 117 <-> 118 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d540) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d520) ] Edge 117 <-> 170 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dbc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d560) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d540) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d5a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d580) ] Edge 120 <-> 138 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d7c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d580) ] Edge 121 <-> 122 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d5c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d5a0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d600) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d5e0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d640) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d620) ] Edge 127 <-> 128 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d680) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d660) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d6a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d680) ] Edge 129 <-> 130 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d6c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d6a0) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d6e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d6c0) ] Edge 131 <-> 132 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d700) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d6e0) ] Edge 131 <-> 214 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e140) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d6e0) ] Edge 133 <-> 134 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d740) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d720) ] Edge 134 <-> 135 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d760) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d780) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d760) ] Edge 136 <-> 137 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d7a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d780) ] Edge 138 <-> 139 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d7e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d7c0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d800) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d7e0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d820) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d800) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d840) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d860) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d840) ] Edge 143 <-> 144 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d880) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d860) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d8a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d880) ] Edge 145 <-> 169 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dba0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d8a0) ] Edge 146 <-> 147 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d8e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d8c0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d900) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d8e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d920) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d900) ] Edge 149 <-> 150 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d940) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d960) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d940) ] Edge 151 <-> 152 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d980) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d9a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d980) ] Edge 153 <-> 154 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d9c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d9a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1d9e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d9c0) ] Edge 155 <-> 156 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1da00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1d9e0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1da20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1da00) ] Edge 157 <-> 158 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1da40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1da20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1da60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1da40) ] Edge 159 <-> 241 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e4a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1da60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1daa0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1da80) ] Edge 161 <-> 162 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dac0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1daa0) ] Edge 162 <-> 163 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dae0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dac0) ] Edge 163 <-> 164 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1db00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dae0) ] Edge 163 <-> 209 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e0a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dae0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1db20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1db00) ] Edge 165 <-> 166 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1db40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1db20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1db60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1db40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1db80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1db60) ] Edge 168 <-> 169 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dba0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1db80) ] Edge 170 <-> 171 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dbe0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dbc0) ] Edge 171 <-> 215 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e160) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dbe0) ] Edge 172 <-> 173 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc00) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc20) ] Edge 174 <-> 175 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dc60) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dcc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dca0) ] Edge 178 <-> 179 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dce0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dcc0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dce0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd20) ] Edge 182 <-> 183 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd60) ] Edge 184 <-> 185 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dda0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dd80) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1ddc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dda0) ] Edge 186 <-> 187 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dde0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ddc0) ] Edge 186 <-> 254 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e640) Arc: (edge = 0x7fffab2f7880, target = 0x1b1ddc0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1de00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dde0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1de20) Arc: (edge = 0x7fffab2f7880, target = 0x1b1de00) ] Edge 188 <-> 255 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e660) Arc: (edge = 0x7fffab2f7880, target = 0x1b1de00) ] Edge 190 <-> 191 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1de60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1de40) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1de80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1de60) ] Edge 192 <-> 193 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dea0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1de80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dec0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dea0) ] Edge 194 <-> 195 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dee0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dec0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1df00) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dee0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1df40) Arc: (edge = 0x7fffab2f7880, target = 0x1b1df20) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1df60) Arc: (edge = 0x7fffab2f7880, target = 0x1b1df40) ] Edge 199 <-> 200 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1df80) Arc: (edge = 0x7fffab2f7880, target = 0x1b1df60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dfa0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1df80) ] Edge 201 <-> 202 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dfc0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dfa0) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1dfe0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dfc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e000) Arc: (edge = 0x7fffab2f7880, target = 0x1b1dfe0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e020) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e000) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e040) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e020) ] Edge 206 <-> 207 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e060) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e040) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e080) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e060) ] Edge 208 <-> 209 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e0a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e080) ] Edge 210 <-> 211 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e0e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e0c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e100) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e0e0) ] Edge 212 <-> 213 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e120) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e100) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e140) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e120) ] Edge 213 <-> 268 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e800) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e120) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e180) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e1a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e180) ] Edge 217 <-> 218 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e1c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e1a0) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e1e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e1c0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e200) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e1e0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e220) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e200) ] Edge 221 <-> 222 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e240) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e220) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e260) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e280) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e260) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e2a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e280) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e2c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e2a0) ] Edge 226 <-> 227 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e2e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e2c0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e320) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e300) ] Edge 229 <-> 230 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e340) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e320) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e360) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e340) ] Edge 231 <-> 232 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e380) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e3a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e380) ] Edge 233 <-> 234 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e3c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e3a0) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e3e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e3c0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e400) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e3e0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e420) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e400) ] Edge 237 <-> 238 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e440) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e420) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e460) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e440) ] Edge 239 <-> 240 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e480) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e460) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e4a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e480) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e4e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e4c0) ] Edge 243 <-> 244 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e500) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e4e0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e520) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e500) ] Edge 245 <-> 246 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e540) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e520) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e560) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e580) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e560) ] Edge 248 <-> 249 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e5a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e580) ] Edge 249 <-> 250 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e5c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e5a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e5e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e5c0) ] Edge 251 <-> 252 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e600) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e5e0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e620) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e600) ] Edge 253 <-> 254 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e640) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e620) ] Edge 255 <-> 256 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e680) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e660) ] Edge 256 <-> 257 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e6a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e680) ] Edge 257 <-> 258 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e6c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e6a0) ] Edge 258 <-> 259 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e6e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e6c0) ] Edge 259 <-> 260 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e700) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e6e0) ] Edge 260 <-> 261 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e720) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e700) ] Edge 261 <-> 262 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e740) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e720) ] Edge 262 <-> 263 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e760) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e740) ] Edge 263 <-> 264 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e780) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e760) ] Edge 264 <-> 265 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e7a0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e780) ] Edge 265 <-> 266 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e7c0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e7a0) ] Edge 266 <-> 267 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e7e0) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e7c0) ] Edge 267 <-> 268 [ Arc: (edge = 0x7fffab2f7880, target = 0x1b1e800) Arc: (edge = 0x7fffab2f7880, target = 0x1b1e7e0) ] ] Robot arrangement: (|R| = 13, |V| = 269) [ robot locations: {1#17 2#47 3#70 4#71 5#82 6#111 7#122 8#144 9#156 10#211 11#216 12#220 13#238 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 1#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 2#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 3#70 4#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 5#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 0#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 6#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 7#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 8#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 9#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 10#211 0#212 0#213 0#214 0#215 11#216 0#217 0#218 0#219 12#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 13#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 0#266 0#267 0#268 } ] Robot arrangement: (|R| = 13, |V| = 269) [ robot locations: {1#43 2#65 3#76 4#79 5#88 6#98 7#127 8#153 9#186 10#220 11#234 12#246 13#266 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 1#43 0#44 0#45 0#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 0#64 2#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 3#76 0#77 0#78 4#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 5#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 6#98 0#99 0#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 7#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 8#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 9#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 10#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 11#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 12#246 0#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 13#266 0#267 0#268 } ] Original solution: Mulirobot solution: (|moves| = 409, paralellism = 5.928) [ Step 0: 263#47->48 261#238->239 265#17->16 259#82->81 258#220->219 268#216->215 257#111->112 256#156->157 260#70->93 264#71->72 266#211->212 267#122->24 262#144->145 Step 1: 263#48->228 261#239->240 259#81->80 258#219->218 268#215->171 257#112->113 256#157->158 260#93->94 264#72->73 266#212->213 265#16->15 267#24->25 Step 2: 263#228->229 261#240->241 259#80->79 258#218->217 268#171->4 257#113->114 264#73->74 266#213->214 265#15->14 267#25->8 Step 3: 263#229->230 261#241->159 259#79->78 258#217->216 257#114->115 264#74->75 266#214->131 265#14->13 267#8->9 Step 4: 263#230->231 261#159->96 259#78->45 258#216->215 257#115->116 264#75->11 267#9->36 266#131->132 Step 5: 263#231->232 261#96->95 259#45->46 258#215->171 264#11->12 267#36->35 266#132->89 Step 6: 263#232->233 261#95->31 259#46->47 258#171->170 268#4->171 264#12->77 265#13->12 267#35->84 266#89->90 Step 7: 261#31->30 259#47->48 258#170->117 268#171->170 263#233->234 264#77->76 265#12->11 267#84->83 Step 8: 261#30->29 258#117->118 259#48->49 268#170->117 263#234->235 264#76->3 265#11->10 267#83->82 Step 9: 261#29->28 258#118->119 268#117->118 263#235->236 257#116->117 259#49->50 264#3->4 265#10->9 267#82->81 Step 10: 261#28->27 258#119->46 268#118->119 263#236->237 257#117->118 259#50->51 260#94->28 264#4->171 265#9->36 267#81->80 Step 11: 261#27->26 258#46->47 268#119->46 263#237->238 257#118->119 260#28->27 264#171->215 259#51->23 265#36->35 Step 12: 261#26->7 258#47->48 268#46->45 263#238->239 257#119->46 260#27->26 264#215->216 265#35->84 259#23->22 Step 13: 261#7->6 258#48->242 268#45->44 263#239->240 257#46->47 260#26->7 264#216->217 265#84->83 259#22->21 Step 14: 261#6->5 258#242->243 268#44->43 257#47->48 263#240->241 260#7->6 264#217->218 259#21->11 265#83->82 Step 15: 261#5->189 268#43->42 258#243->244 257#48->228 263#241->159 260#6->5 264#218->219 259#11->64 265#82->81 Step 16: 261#189->188 268#42->41 258#244->245 257#228->229 263#159->96 256#158->159 264#219->220 260#5->4 259#64->63 Step 17: 261#188->255 268#41->40 258#245->246 257#229->230 263#96->97 256#159->96 260#4->3 259#63->62 Step 18: 261#255->256 268#40->39 257#230->231 263#97->98 256#96->95 260#3->2 259#62->61 Step 19: 261#256->257 268#39->38 257#231->232 263#98->99 256#95->31 260#2->1 259#61->104 Step 20: 261#257->258 268#38->37 257#232->233 263#99->100 260#1->0 262#145->99 259#104->105 Step 21: 261#258->259 268#37->30 257#233->234 260#0->16 263#100->101 262#99->100 259#105->106 Step 22: 261#259->260 268#30->92 256#31->30 260#16->15 263#101->102 262#100->101 259#106->107 Step 23: 261#260->261 263#102->103 262#101->102 260#15->14 256#30->29 268#92->91 Step 24: 261#261->262 263#103->46 262#102->103 260#14->13 256#29->28 268#91->62 Step 25: 261#262->263 263#46->45 262#103->46 256#28->27 268#62->61 260#13->12 Step 26: 261#263->264 263#45->44 262#46->45 256#27->26 268#61->104 260#12->11 Step 27: 261#264->265 262#45->78 263#44->43 256#26->7 268#104->105 260#11->10 Step 28: 261#265->266 262#78->79 263#43->42 268#105->106 256#7->8 Step 29: 262#79->177 263#42->41 267#80->79 265#81->80 256#8->9 Step 30: 262#177->178 263#41->40 267#79->78 265#80->79 259#107->80 268#106->107 256#9->36 Step 31: 262#178->179 263#40->39 267#78->45 265#79->78 268#107->146 259#80->81 256#36->35 Step 32: 262#179->180 267#45->46 265#78->45 263#39->38 268#146->147 256#35->34 259#81->82 Step 33: 262#180->181 263#38->37 265#45->44 267#46->47 268#147->148 256#34->33 259#82->83 Step 34: 262#181->182 263#37->30 265#44->43 268#148->149 267#47->48 259#83->84 Step 35: 262#182->183 263#30->29 265#43->42 268#149->150 267#48->49 Step 36: 262#183->184 263#29->28 265#42->41 268#150->151 267#49->50 Step 37: 262#184->185 263#28->27 265#41->40 268#151->152 267#50->51 Step 38: 262#185->186 263#27->26 268#152->153 267#51->65 265#40->39 Step 39: 267#65->66 263#26->7 265#39->38 Step 40: 267#66->1 263#7->8 265#38->37 Step 41: 263#8->9 265#37->30 Step 42: 263#9->36 266#90->9 265#30->31 Step 43: 263#36->35 266#9->8 265#31->32 Step 44: 263#35->34 259#84->35 266#8->7 Step 45: 263#34->52 259#35->36 266#7->6 256#33->34 265#32->33 Step 46: 263#52->53 259#36->9 266#6->5 256#34->35 265#33->34 Step 47: 259#9->8 260#10->9 266#5->4 256#35->36 263#53->108 265#34->35 Step 48: 259#8->7 260#9->8 266#4->3 256#36->9 263#108->109 265#35->36 Step 49: 259#7->6 266#3->2 256#9->10 260#8->9 263#109->110 Step 50: 259#6->5 256#10->11 260#9->10 263#110->111 265#36->9 Step 51: 259#5->4 263#111->112 256#11->85 260#10->11 Step 52: 259#4->3 263#112->113 256#85->86 260#11->21 Step 53: 259#3->127 266#2->3 263#113->114 267#1->2 256#86->87 260#21->22 Step 54: 266#3->4 263#114->115 267#2->3 256#87->88 260#22->23 Step 55: 266#4->5 263#115->116 267#3->4 260#23->51 Step 56: 266#5->6 263#116->117 267#4->5 260#51->50 Step 57: 266#6->7 263#117->118 267#5->6 260#50->49 Step 58: 266#7->8 263#118->119 267#6->7 260#49->48 Step 59: 263#119->46 267#7->26 266#8->25 260#48->47 265#9->8 Step 60: 263#46->45 267#26->27 266#25->24 260#47->46 265#8->7 Step 61: 263#45->44 267#27->28 260#46->45 266#24->23 265#7->6 Step 62: 263#44->43 267#28->29 260#45->78 265#6->5 266#23->51 Step 63: 267#29->30 260#78->79 265#5->4 266#51->65 Step 64: 267#30->31 265#4->3 Step 65: 267#31->95 265#3->76 Step 66: 267#95->96 Step 67: 267#96->97 Step 68: 267#97->98 ] reSolved solution: Mulirobot solution: (|moves| = 238, paralellism = 8.207) [ Step 0: 2#47->48 7#122->121 5#82->83 3#70->69 8#144->145 1#17->18 4#71->72 6#111->110 11#216->215 10#211->212 9#156->155 12#220->219 13#238->239 Step 1: 2#48->49 7#121->120 5#83->84 3#69->70 8#145->99 1#18->19 4#72->73 6#110->109 11#215->171 10#212->213 9#155->154 12#219->218 13#239->240 Step 2: 2#49->50 7#120->66 5#84->35 3#70->71 8#99->98 1#19->20 4#73->74 6#109->108 11#171->170 10#213->214 9#154->153 12#218->217 13#240->241 Step 3: 2#50->51 7#66->1 5#35->36 3#71->72 8#98->97 1#20->4 4#74->75 6#108->53 11#170->117 10#214->131 9#153->152 12#217->216 13#241->159 Step 4: 2#51->65 7#1->2 5#36->9 3#72->73 8#97->96 1#4->171 4#75->11 6#53->52 11#117->118 10#131->130 9#152->151 12#216->215 13#159->241 Step 5: 7#2->3 5#9->90 3#73->74 8#96->159 1#171->170 4#11->10 6#52->34 11#118->119 10#130->129 9#151->150 Step 6: 7#3->127 5#90->89 3#74->75 8#159->158 1#170->117 4#10->9 6#34->33 11#119->46 10#129->128 9#150->149 12#215->171 Step 7: 5#89->88 3#75->11 8#158->157 1#117->118 4#9->36 6#33->32 11#46->47 9#149->148 12#171->170 13#241->159 Step 8: 2#65->51 5#88->87 7#127->3 3#11->12 8#157->156 1#118->119 6#32->31 4#36->35 11#47->48 10#128->129 12#170->117 9#148->147 13#159->96 Step 9: 2#51->65 5#87->88 7#3->127 3#12->77 8#156->155 1#119->46 6#31->95 4#35->84 11#48->228 10#129->130 12#117->118 9#147->146 13#96->159 Step 10: 3#77->76 8#155->154 1#46->45 6#95->96 4#84->83 11#228->229 10#130->131 12#118->119 9#146->107 Step 11: 8#154->153 1#45->44 6#96->97 4#83->82 11#229->230 10#131->132 12#119->46 9#107->80 Step 12: 1#44->43 6#97->98 4#82->81 11#230->231 10#132->89 12#46->47 9#80->79 13#159->96 Step 13: 4#81->80 11#231->232 10#89->90 12#47->48 9#79->177 13#96->95 Step 14: 4#80->79 11#232->233 10#90->9 12#48->242 9#177->178 13#95->31 Step 15: 11#233->234 10#9->8 12#242->243 9#178->179 13#31->32 Step 16: 1#43->42 2#65->51 3#76->3 4#79->78 5#88->87 6#98->97 7#127->128 8#153->152 11#234->233 12#243->244 9#179->180 10#8->7 13#32->33 Step 17: 1#42->43 2#51->65 3#3->76 4#78->79 5#87->88 6#97->98 7#128->127 8#152->153 11#233->234 12#244->245 9#180->181 10#7->6 13#33->34 Step 18: 12#245->246 9#181->182 10#6->5 13#34->52 Step 19: 9#182->183 10#5->4 13#52->53 Step 20: 9#183->184 10#4->171 13#53->54 Step 21: 9#184->185 10#171->215 13#54->55 Step 22: 9#185->186 10#215->216 13#55->210 Step 23: 10#216->217 13#210->211 Step 24: 1#43->42 2#65->51 3#76->3 4#79->78 5#88->87 6#98->97 7#127->128 8#153->152 9#186->185 11#234->233 12#246->245 10#217->218 13#211->212 Step 25: 1#42->43 2#51->65 3#3->76 4#78->79 5#87->88 6#97->98 7#128->127 8#152->153 9#185->186 11#233->234 12#245->246 10#218->219 13#212->213 Step 26: 10#219->220 13#213->268 Step 27: 13#268->267 Step 28: 13#267->266 ] Multirobot solution analysis: ( total makespan = 29 total distance = 149 total trajectory = 238 average parallelism = 8.207 average distance = 11.462 average trajectory = 18.308 parallelism distribution = [ 2 2 4 1 1 2 0 2 1 2 1 0 11 ] distance distribution = [ 0 0 0 0 1 0 1 1 1 0 0 1 3 0 0 1 1 2 ] trajectory distribution = [ 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 2 0 1 2 0 0 0 0 2 1 ] ) Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 238 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.047 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 = 238 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 11920 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] } ] ----------------------------------------------------------------