================================================================ 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:445 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) 254 # 126 ---> 125 (0) 254 # 125 ---> 14 (1) 254 # 14 ---> 13 (2) 254 # 13 ---> 12 (3) 254 # 12 ---> 11 (4) 254 # 11 ---> 21 (5) 254 # 21 ---> 22 (6) 254 # 22 ---> 23 (7) 268 # 30 ---> 92 (22) 254 # 23 ---> 51 (8) 254 # 51 ---> 50 (9) 259 # 49 ---> 48 (15) 254 # 50 ---> 49 (15) 259 # 48 ---> 47 (16) 254 # 49 ---> 48 (16) 257 # 229 ---> 230 (17) 254 # 48 ---> 228 (17) 259 # 47 ---> 48 (17) 263 # 96 ---> 97 (17) 259 # 48 ---> 49 (18) 257 # 230 ---> 231 (18) 254 # 228 ---> 229 (18) 263 # 97 ---> 98 (18) 259 # 49 ---> 50 (19) 259 # 50 ---> 51 (20) 257 # 231 ---> 232 (19) 254 # 229 ---> 230 (19) 263 # 98 ---> 99 (19) 257 # 232 ---> 233 (20) 254 # 230 ---> 231 (20) 263 # 99 ---> 100 (20) 257 # 233 ---> 234 (21) 254 # 231 ---> 232 (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 (5) 264 # 11 ---> 12 (6) 264 # 12 ---> 77 (7) 264 # 77 ---> 76 (8) 264 # 76 ---> 3 (9) 264 # 3 ---> 4 (10) 264 # 4 ---> 171 (11) 264 # 171 ---> 215 (12) 260 # 27 ---> 26 (12) 255 # 135 ---> 136 (0) 255 # 136 ---> 137 (1) 255 # 137 ---> 10 (2) 255 # 10 ---> 11 (6) 255 # 11 ---> 12 (7) 255 # 12 ---> 77 (8) 255 # 77 ---> 76 (9) 255 # 76 ---> 3 (10) 255 # 3 ---> 4 (11) 255 # 4 ---> 171 (12) 264 # 215 ---> 216 (13) 255 # 171 ---> 215 (13) 260 # 26 ---> 7 (13) 264 # 216 ---> 217 (14) 255 # 215 ---> 216 (14) 260 # 7 ---> 6 (14) 264 # 217 ---> 218 (15) 255 # 216 ---> 217 (15) 260 # 6 ---> 5 (15) 266 # 211 ---> 212 (0) 266 # 212 ---> 213 (1) 266 # 213 ---> 214 (2) 266 # 214 ---> 131 (3) 264 # 218 ---> 219 (16) 255 # 217 ---> 218 (16) 264 # 219 ---> 220 (17) 255 # 218 ---> 219 (17) 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 (8) 260 # 0 ---> 16 (21) 260 # 16 ---> 15 (22) 267 # 122 ---> 24 (0) 259 # 51 ---> 23 (21) 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 (9) 260 # 15 ---> 14 (23) 265 # 11 ---> 10 (10) 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 (11) 260 # 14 ---> 13 (24) 267 # 84 ---> 83 (7) 265 # 9 ---> 36 (12) 267 # 83 ---> 82 (8) 265 # 36 ---> 35 (13) 267 # 82 ---> 81 (9) 265 # 35 ---> 84 (14) 267 # 81 ---> 80 (10) 265 # 84 ---> 83 (15) 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 (22) 259 # 22 ---> 21 (23) 259 # 21 ---> 11 (24) 259 # 11 ---> 64 (25) 259 # 64 ---> 63 (26) 259 # 63 ---> 62 (27) 267 # 80 ---> 79 (29) 265 # 83 ---> 82 (16) 267 # 79 ---> 78 (30) 265 # 82 ---> 81 (17) 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 (28) 259 # 61 ---> 104 (29) 259 # 104 ---> 105 (30) 259 # 105 ---> 106 (31) 259 # 106 ---> 107 (32) 259 # 107 ---> 80 (33) 267 # 46 ---> 47 (33) 268 # 92 ---> 91 (23) 268 # 91 ---> 62 (28) 268 # 62 ---> 61 (29) 268 # 61 ---> 104 (30) 268 # 104 ---> 105 (31) 268 # 105 ---> 106 (32) 268 # 106 ---> 107 (33) 268 # 107 ---> 146 (34) 268 # 146 ---> 147 (35) 259 # 80 ---> 81 (34) 268 # 147 ---> 148 (36) 268 # 148 ---> 149 (37) 268 # 149 ---> 150 (38) 268 # 150 ---> 151 (39) 268 # 151 ---> 152 (40) 268 # 152 ---> 153 (41) 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 (35) 259 # 82 ---> 83 (36) 259 # 83 ---> 84 (37) 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 = 0x7ffff16b42c0, target = 0x23116a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311680) ] Edge 0 <-> 16 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311880) Arc: (edge = 0x7ffff16b42c0, target = 0x2311680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23116c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23116a0) ] Edge 1 <-> 66 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ec0) Arc: (edge = 0x7ffff16b42c0, target = 0x23116a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23116e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23116c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311700) Arc: (edge = 0x7ffff16b42c0, target = 0x23116e0) ] Edge 3 <-> 76 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312000) Arc: (edge = 0x7ffff16b42c0, target = 0x23116e0) ] Edge 3 <-> 127 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312660) Arc: (edge = 0x7ffff16b42c0, target = 0x23116e0) ] Edge 3 <-> 196 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312f00) Arc: (edge = 0x7ffff16b42c0, target = 0x23116e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311720) Arc: (edge = 0x7ffff16b42c0, target = 0x2311700) ] Edge 4 <-> 20 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311900) Arc: (edge = 0x7ffff16b42c0, target = 0x2311700) ] Edge 4 <-> 171 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312be0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311740) Arc: (edge = 0x7ffff16b42c0, target = 0x2311720) ] Edge 5 <-> 189 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312e20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311720) ] Edge 6 <-> 7 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311760) Arc: (edge = 0x7ffff16b42c0, target = 0x2311740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311780) Arc: (edge = 0x7ffff16b42c0, target = 0x2311760) ] Edge 7 <-> 26 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23119c0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311760) ] Edge 8 <-> 9 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23117a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311780) ] Edge 8 <-> 25 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23119a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23117c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23117a0) ] Edge 9 <-> 36 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311b00) Arc: (edge = 0x7ffff16b42c0, target = 0x23117a0) ] Edge 9 <-> 90 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23121c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23117a0) ] Edge 10 <-> 11 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23117e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23117c0) ] Edge 10 <-> 137 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23127a0) Arc: (edge = 0x7ffff16b42c0, target = 0x23117c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311800) Arc: (edge = 0x7ffff16b42c0, target = 0x23117e0) ] Edge 11 <-> 21 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311920) Arc: (edge = 0x7ffff16b42c0, target = 0x23117e0) ] Edge 11 <-> 64 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311e80) Arc: (edge = 0x7ffff16b42c0, target = 0x23117e0) ] Edge 11 <-> 75 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311fe0) Arc: (edge = 0x7ffff16b42c0, target = 0x23117e0) ] Edge 11 <-> 85 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312120) Arc: (edge = 0x7ffff16b42c0, target = 0x23117e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311820) Arc: (edge = 0x7ffff16b42c0, target = 0x2311800) ] Edge 12 <-> 77 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312020) Arc: (edge = 0x7ffff16b42c0, target = 0x2311800) ] Edge 13 <-> 14 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311840) Arc: (edge = 0x7ffff16b42c0, target = 0x2311820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311860) Arc: (edge = 0x7ffff16b42c0, target = 0x2311840) ] Edge 14 <-> 125 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312620) Arc: (edge = 0x7ffff16b42c0, target = 0x2311840) ] Edge 15 <-> 16 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311880) Arc: (edge = 0x7ffff16b42c0, target = 0x2311860) ] Edge 15 <-> 124 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312600) Arc: (edge = 0x7ffff16b42c0, target = 0x2311860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23118a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311880) ] Edge 16 <-> 197 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312f20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311880) ] Edge 17 <-> 18 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23118c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23118a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23118e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23118c0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311900) Arc: (edge = 0x7ffff16b42c0, target = 0x23118e0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311940) Arc: (edge = 0x7ffff16b42c0, target = 0x2311920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311960) Arc: (edge = 0x7ffff16b42c0, target = 0x2311940) ] Edge 23 <-> 24 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311980) Arc: (edge = 0x7ffff16b42c0, target = 0x2311960) ] Edge 23 <-> 51 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ce0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311960) ] Edge 23 <-> 176 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312c80) Arc: (edge = 0x7ffff16b42c0, target = 0x2311960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23119a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311980) ] Edge 24 <-> 122 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23125c0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311980) ] Edge 26 <-> 27 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23119e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23119c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311a00) Arc: (edge = 0x7ffff16b42c0, target = 0x23119e0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311a20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a00) ] Edge 28 <-> 94 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312240) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311a40) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311a60) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a40) ] Edge 30 <-> 37 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311b20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a40) ] Edge 30 <-> 92 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312200) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a40) ] Edge 31 <-> 32 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311a80) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a60) ] Edge 31 <-> 95 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312260) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a60) ] Edge 32 <-> 33 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311aa0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311a80) ] Edge 33 <-> 34 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ac0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311aa0) ] Edge 33 <-> 67 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ee0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311aa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ae0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ac0) ] Edge 34 <-> 52 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311d00) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311b00) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ae0) ] Edge 35 <-> 84 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312100) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ae0) ] Edge 36 <-> 123 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23125e0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311b00) ] Edge 37 <-> 38 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311b40) Arc: (edge = 0x7ffff16b42c0, target = 0x2311b20) ] Edge 38 <-> 39 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311b60) Arc: (edge = 0x7ffff16b42c0, target = 0x2311b40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311b80) Arc: (edge = 0x7ffff16b42c0, target = 0x2311b60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ba0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311b80) ] Edge 41 <-> 42 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311bc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311be0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311bc0) ] Edge 43 <-> 44 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311c00) Arc: (edge = 0x7ffff16b42c0, target = 0x2311be0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311c20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c00) ] Edge 45 <-> 46 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311c40) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c20) ] Edge 45 <-> 78 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312040) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311c60) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c40) ] Edge 46 <-> 103 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312360) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c40) ] Edge 46 <-> 119 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312560) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c40) ] Edge 47 <-> 48 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311c80) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ca0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c80) ] Edge 48 <-> 228 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313300) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c80) ] Edge 48 <-> 242 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23134c0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311c80) ] Edge 49 <-> 50 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311cc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ca0) ] Edge 50 <-> 51 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ce0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311cc0) ] Edge 51 <-> 65 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ea0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ce0) ] Edge 52 <-> 53 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311d20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311d00) ] Edge 53 <-> 54 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311d40) Arc: (edge = 0x7ffff16b42c0, target = 0x2311d20) ] Edge 53 <-> 108 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312400) Arc: (edge = 0x7ffff16b42c0, target = 0x2311d20) ] Edge 54 <-> 55 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311d60) Arc: (edge = 0x7ffff16b42c0, target = 0x2311d40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311d80) Arc: (edge = 0x7ffff16b42c0, target = 0x2311d60) ] Edge 55 <-> 210 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23130c0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311d60) ] Edge 56 <-> 57 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311da0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311d80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311dc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311da0) ] Edge 58 <-> 59 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311de0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311dc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311e00) Arc: (edge = 0x7ffff16b42c0, target = 0x2311de0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311e20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311e00) ] Edge 60 <-> 126 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312640) Arc: (edge = 0x7ffff16b42c0, target = 0x2311e00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311e40) Arc: (edge = 0x7ffff16b42c0, target = 0x2311e20) ] Edge 61 <-> 104 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312380) Arc: (edge = 0x7ffff16b42c0, target = 0x2311e20) ] Edge 62 <-> 63 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311e60) Arc: (edge = 0x7ffff16b42c0, target = 0x2311e40) ] Edge 62 <-> 91 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23121e0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311e40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311e80) Arc: (edge = 0x7ffff16b42c0, target = 0x2311e60) ] Edge 65 <-> 66 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311ec0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ea0) ] Edge 66 <-> 120 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312580) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ec0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311f00) Arc: (edge = 0x7ffff16b42c0, target = 0x2311ee0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311f20) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f00) ] Edge 69 <-> 70 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311f40) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f20) ] Edge 69 <-> 133 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312720) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311f60) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f40) ] Edge 70 <-> 93 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312220) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f40) ] Edge 70 <-> 227 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23132e0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f40) ] Edge 71 <-> 72 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311f80) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311fa0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311f80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311fc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311fa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2311fe0) Arc: (edge = 0x7ffff16b42c0, target = 0x2311fc0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312020) Arc: (edge = 0x7ffff16b42c0, target = 0x2312000) ] Edge 78 <-> 79 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312060) Arc: (edge = 0x7ffff16b42c0, target = 0x2312040) ] Edge 79 <-> 80 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312080) Arc: (edge = 0x7ffff16b42c0, target = 0x2312060) ] Edge 79 <-> 177 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ca0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312060) ] Edge 80 <-> 81 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23120a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312080) ] Edge 80 <-> 107 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23123e0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23120c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23120a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23120e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23120c0) ] Edge 83 <-> 84 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312100) Arc: (edge = 0x7ffff16b42c0, target = 0x23120e0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312140) Arc: (edge = 0x7ffff16b42c0, target = 0x2312120) ] Edge 86 <-> 87 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312160) Arc: (edge = 0x7ffff16b42c0, target = 0x2312140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312180) Arc: (edge = 0x7ffff16b42c0, target = 0x2312160) ] Edge 88 <-> 89 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23121a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312180) ] Edge 89 <-> 90 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23121c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23121a0) ] Edge 89 <-> 132 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312700) Arc: (edge = 0x7ffff16b42c0, target = 0x23121a0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312200) Arc: (edge = 0x7ffff16b42c0, target = 0x23121e0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312240) Arc: (edge = 0x7ffff16b42c0, target = 0x2312220) ] Edge 94 <-> 190 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312e40) Arc: (edge = 0x7ffff16b42c0, target = 0x2312240) ] Edge 95 <-> 96 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312280) Arc: (edge = 0x7ffff16b42c0, target = 0x2312260) ] Edge 96 <-> 97 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23122a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312280) ] Edge 96 <-> 159 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312a60) Arc: (edge = 0x7ffff16b42c0, target = 0x2312280) ] Edge 97 <-> 98 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23122c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23122a0) ] Edge 97 <-> 172 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312c00) Arc: (edge = 0x7ffff16b42c0, target = 0x23122a0) ] Edge 98 <-> 99 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23122e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23122c0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312300) Arc: (edge = 0x7ffff16b42c0, target = 0x23122e0) ] Edge 99 <-> 145 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23128a0) Arc: (edge = 0x7ffff16b42c0, target = 0x23122e0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312320) Arc: (edge = 0x7ffff16b42c0, target = 0x2312300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312340) Arc: (edge = 0x7ffff16b42c0, target = 0x2312320) ] Edge 102 <-> 103 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312360) Arc: (edge = 0x7ffff16b42c0, target = 0x2312340) ] Edge 103 <-> 160 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312a80) Arc: (edge = 0x7ffff16b42c0, target = 0x2312360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23123a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312380) ] Edge 105 <-> 106 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23123c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23123a0) ] Edge 106 <-> 107 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23123e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23123c0) ] Edge 107 <-> 146 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23128c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23123e0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312420) Arc: (edge = 0x7ffff16b42c0, target = 0x2312400) ] Edge 109 <-> 110 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312440) Arc: (edge = 0x7ffff16b42c0, target = 0x2312420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312460) Arc: (edge = 0x7ffff16b42c0, target = 0x2312440) ] Edge 111 <-> 112 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312480) Arc: (edge = 0x7ffff16b42c0, target = 0x2312460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23124a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23124c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23124a0) ] Edge 114 <-> 115 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23124e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23124c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312500) Arc: (edge = 0x7ffff16b42c0, target = 0x23124e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312520) Arc: (edge = 0x7ffff16b42c0, target = 0x2312500) ] Edge 117 <-> 118 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312540) Arc: (edge = 0x7ffff16b42c0, target = 0x2312520) ] Edge 117 <-> 170 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312bc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312560) Arc: (edge = 0x7ffff16b42c0, target = 0x2312540) ] Edge 120 <-> 121 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23125a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312580) ] Edge 120 <-> 138 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23127c0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312580) ] Edge 121 <-> 122 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23125c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23125a0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312600) Arc: (edge = 0x7ffff16b42c0, target = 0x23125e0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312640) Arc: (edge = 0x7ffff16b42c0, target = 0x2312620) ] Edge 127 <-> 128 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312680) Arc: (edge = 0x7ffff16b42c0, target = 0x2312660) ] Edge 128 <-> 129 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23126a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312680) ] Edge 129 <-> 130 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23126c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23126a0) ] Edge 130 <-> 131 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23126e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23126c0) ] Edge 131 <-> 132 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312700) Arc: (edge = 0x7ffff16b42c0, target = 0x23126e0) ] Edge 131 <-> 214 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313140) Arc: (edge = 0x7ffff16b42c0, target = 0x23126e0) ] Edge 133 <-> 134 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312740) Arc: (edge = 0x7ffff16b42c0, target = 0x2312720) ] Edge 134 <-> 135 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312760) Arc: (edge = 0x7ffff16b42c0, target = 0x2312740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312780) Arc: (edge = 0x7ffff16b42c0, target = 0x2312760) ] Edge 136 <-> 137 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23127a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312780) ] Edge 138 <-> 139 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23127e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23127c0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312800) Arc: (edge = 0x7ffff16b42c0, target = 0x23127e0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312820) Arc: (edge = 0x7ffff16b42c0, target = 0x2312800) ] Edge 141 <-> 142 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312840) Arc: (edge = 0x7ffff16b42c0, target = 0x2312820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312860) Arc: (edge = 0x7ffff16b42c0, target = 0x2312840) ] Edge 143 <-> 144 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312880) Arc: (edge = 0x7ffff16b42c0, target = 0x2312860) ] Edge 144 <-> 145 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23128a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312880) ] Edge 145 <-> 169 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ba0) Arc: (edge = 0x7ffff16b42c0, target = 0x23128a0) ] Edge 146 <-> 147 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23128e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23128c0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312900) Arc: (edge = 0x7ffff16b42c0, target = 0x23128e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312920) Arc: (edge = 0x7ffff16b42c0, target = 0x2312900) ] Edge 149 <-> 150 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312940) Arc: (edge = 0x7ffff16b42c0, target = 0x2312920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312960) Arc: (edge = 0x7ffff16b42c0, target = 0x2312940) ] Edge 151 <-> 152 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312980) Arc: (edge = 0x7ffff16b42c0, target = 0x2312960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23129a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312980) ] Edge 153 <-> 154 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23129c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23129a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23129e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23129c0) ] Edge 155 <-> 156 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312a00) Arc: (edge = 0x7ffff16b42c0, target = 0x23129e0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312a20) Arc: (edge = 0x7ffff16b42c0, target = 0x2312a00) ] Edge 157 <-> 158 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312a40) Arc: (edge = 0x7ffff16b42c0, target = 0x2312a20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312a60) Arc: (edge = 0x7ffff16b42c0, target = 0x2312a40) ] Edge 159 <-> 241 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23134a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312a60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312aa0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312a80) ] Edge 161 <-> 162 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ac0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312aa0) ] Edge 162 <-> 163 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ae0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ac0) ] Edge 163 <-> 164 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312b00) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ae0) ] Edge 163 <-> 209 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23130a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ae0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312b20) Arc: (edge = 0x7ffff16b42c0, target = 0x2312b00) ] Edge 165 <-> 166 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312b40) Arc: (edge = 0x7ffff16b42c0, target = 0x2312b20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312b60) Arc: (edge = 0x7ffff16b42c0, target = 0x2312b40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312b80) Arc: (edge = 0x7ffff16b42c0, target = 0x2312b60) ] Edge 168 <-> 169 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ba0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312b80) ] Edge 170 <-> 171 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312be0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312bc0) ] Edge 171 <-> 215 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313160) Arc: (edge = 0x7ffff16b42c0, target = 0x2312be0) ] Edge 172 <-> 173 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312c20) Arc: (edge = 0x7ffff16b42c0, target = 0x2312c00) ] Edge 173 <-> 174 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312c40) Arc: (edge = 0x7ffff16b42c0, target = 0x2312c20) ] Edge 174 <-> 175 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312c60) Arc: (edge = 0x7ffff16b42c0, target = 0x2312c40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312c80) Arc: (edge = 0x7ffff16b42c0, target = 0x2312c60) ] Edge 177 <-> 178 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312cc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ca0) ] Edge 178 <-> 179 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ce0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312cc0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312d00) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ce0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312d20) Arc: (edge = 0x7ffff16b42c0, target = 0x2312d00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312d40) Arc: (edge = 0x7ffff16b42c0, target = 0x2312d20) ] Edge 182 <-> 183 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312d60) Arc: (edge = 0x7ffff16b42c0, target = 0x2312d40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312d80) Arc: (edge = 0x7ffff16b42c0, target = 0x2312d60) ] Edge 184 <-> 185 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312da0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312d80) ] Edge 185 <-> 186 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312dc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312da0) ] Edge 186 <-> 187 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312de0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312dc0) ] Edge 186 <-> 254 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313640) Arc: (edge = 0x7ffff16b42c0, target = 0x2312dc0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312e00) Arc: (edge = 0x7ffff16b42c0, target = 0x2312de0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312e20) Arc: (edge = 0x7ffff16b42c0, target = 0x2312e00) ] Edge 188 <-> 255 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313660) Arc: (edge = 0x7ffff16b42c0, target = 0x2312e00) ] Edge 190 <-> 191 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312e60) Arc: (edge = 0x7ffff16b42c0, target = 0x2312e40) ] Edge 191 <-> 192 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312e80) Arc: (edge = 0x7ffff16b42c0, target = 0x2312e60) ] Edge 192 <-> 193 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ea0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312e80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ec0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ea0) ] Edge 194 <-> 195 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312ee0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ec0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312f00) Arc: (edge = 0x7ffff16b42c0, target = 0x2312ee0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312f40) Arc: (edge = 0x7ffff16b42c0, target = 0x2312f20) ] Edge 198 <-> 199 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312f60) Arc: (edge = 0x7ffff16b42c0, target = 0x2312f40) ] Edge 199 <-> 200 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312f80) Arc: (edge = 0x7ffff16b42c0, target = 0x2312f60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312fa0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312f80) ] Edge 201 <-> 202 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312fc0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312fa0) ] Edge 202 <-> 203 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2312fe0) Arc: (edge = 0x7ffff16b42c0, target = 0x2312fc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313000) Arc: (edge = 0x7ffff16b42c0, target = 0x2312fe0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313020) Arc: (edge = 0x7ffff16b42c0, target = 0x2313000) ] Edge 205 <-> 206 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313040) Arc: (edge = 0x7ffff16b42c0, target = 0x2313020) ] Edge 206 <-> 207 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313060) Arc: (edge = 0x7ffff16b42c0, target = 0x2313040) ] Edge 207 <-> 208 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313080) Arc: (edge = 0x7ffff16b42c0, target = 0x2313060) ] Edge 208 <-> 209 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23130a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313080) ] Edge 210 <-> 211 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23130e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23130c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313100) Arc: (edge = 0x7ffff16b42c0, target = 0x23130e0) ] Edge 212 <-> 213 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313120) Arc: (edge = 0x7ffff16b42c0, target = 0x2313100) ] Edge 213 <-> 214 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313140) Arc: (edge = 0x7ffff16b42c0, target = 0x2313120) ] Edge 213 <-> 268 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313800) Arc: (edge = 0x7ffff16b42c0, target = 0x2313120) ] Edge 215 <-> 216 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313180) Arc: (edge = 0x7ffff16b42c0, target = 0x2313160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23131a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313180) ] Edge 217 <-> 218 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23131c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23131a0) ] Edge 218 <-> 219 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23131e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23131c0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313200) Arc: (edge = 0x7ffff16b42c0, target = 0x23131e0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313220) Arc: (edge = 0x7ffff16b42c0, target = 0x2313200) ] Edge 221 <-> 222 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313240) Arc: (edge = 0x7ffff16b42c0, target = 0x2313220) ] Edge 222 <-> 223 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313260) Arc: (edge = 0x7ffff16b42c0, target = 0x2313240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313280) Arc: (edge = 0x7ffff16b42c0, target = 0x2313260) ] Edge 224 <-> 225 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23132a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313280) ] Edge 225 <-> 226 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23132c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23132a0) ] Edge 226 <-> 227 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23132e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23132c0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313320) Arc: (edge = 0x7ffff16b42c0, target = 0x2313300) ] Edge 229 <-> 230 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313340) Arc: (edge = 0x7ffff16b42c0, target = 0x2313320) ] Edge 230 <-> 231 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313360) Arc: (edge = 0x7ffff16b42c0, target = 0x2313340) ] Edge 231 <-> 232 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313380) Arc: (edge = 0x7ffff16b42c0, target = 0x2313360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23133a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313380) ] Edge 233 <-> 234 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23133c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23133a0) ] Edge 234 <-> 235 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23133e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23133c0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313400) Arc: (edge = 0x7ffff16b42c0, target = 0x23133e0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313420) Arc: (edge = 0x7ffff16b42c0, target = 0x2313400) ] Edge 237 <-> 238 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313440) Arc: (edge = 0x7ffff16b42c0, target = 0x2313420) ] Edge 238 <-> 239 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313460) Arc: (edge = 0x7ffff16b42c0, target = 0x2313440) ] Edge 239 <-> 240 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313480) Arc: (edge = 0x7ffff16b42c0, target = 0x2313460) ] Edge 240 <-> 241 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23134a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313480) ] Edge 242 <-> 243 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23134e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23134c0) ] Edge 243 <-> 244 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313500) Arc: (edge = 0x7ffff16b42c0, target = 0x23134e0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313520) Arc: (edge = 0x7ffff16b42c0, target = 0x2313500) ] Edge 245 <-> 246 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313540) Arc: (edge = 0x7ffff16b42c0, target = 0x2313520) ] Edge 246 <-> 247 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313560) Arc: (edge = 0x7ffff16b42c0, target = 0x2313540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313580) Arc: (edge = 0x7ffff16b42c0, target = 0x2313560) ] Edge 248 <-> 249 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23135a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313580) ] Edge 249 <-> 250 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23135c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23135a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23135e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23135c0) ] Edge 251 <-> 252 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313600) Arc: (edge = 0x7ffff16b42c0, target = 0x23135e0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313620) Arc: (edge = 0x7ffff16b42c0, target = 0x2313600) ] Edge 253 <-> 254 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313640) Arc: (edge = 0x7ffff16b42c0, target = 0x2313620) ] Edge 255 <-> 256 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313680) Arc: (edge = 0x7ffff16b42c0, target = 0x2313660) ] Edge 256 <-> 257 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23136a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313680) ] Edge 257 <-> 258 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23136c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23136a0) ] Edge 258 <-> 259 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23136e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23136c0) ] Edge 259 <-> 260 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313700) Arc: (edge = 0x7ffff16b42c0, target = 0x23136e0) ] Edge 260 <-> 261 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313720) Arc: (edge = 0x7ffff16b42c0, target = 0x2313700) ] Edge 261 <-> 262 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313740) Arc: (edge = 0x7ffff16b42c0, target = 0x2313720) ] Edge 262 <-> 263 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313760) Arc: (edge = 0x7ffff16b42c0, target = 0x2313740) ] Edge 263 <-> 264 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313780) Arc: (edge = 0x7ffff16b42c0, target = 0x2313760) ] Edge 264 <-> 265 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23137a0) Arc: (edge = 0x7ffff16b42c0, target = 0x2313780) ] Edge 265 <-> 266 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23137c0) Arc: (edge = 0x7ffff16b42c0, target = 0x23137a0) ] Edge 266 <-> 267 [ Arc: (edge = 0x7ffff16b42c0, target = 0x23137e0) Arc: (edge = 0x7ffff16b42c0, target = 0x23137c0) ] Edge 267 <-> 268 [ Arc: (edge = 0x7ffff16b42c0, target = 0x2313800) Arc: (edge = 0x7ffff16b42c0, target = 0x23137e0) ] ] Robot arrangement: (|R| = 15, |V| = 269) [ robot locations: {1#17 2#47 3#70 4#71 5#82 6#111 7#122 8#126 9#135 10#144 11#156 12#211 13#216 14#220 15#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 8#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 9#135 0#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 10#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 11#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 12#211 0#212 0#213 0#214 0#215 13#216 0#217 0#218 0#219 14#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 15#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| = 15, |V| = 269) [ robot locations: {1#43 2#65 3#76 4#79 5#88 6#98 7#127 8#153 9#186 10#219 11#220 12#232 13#234 14#246 15#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 10#219 11#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 12#232 0#233 13#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 14#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 15#266 0#267 0#268 } ] Original solution: Mulirobot solution: (|moves| = 445, paralellism = 6.449) [ Step 0: 263#47->48 261#238->239 265#17->16 259#82->81 258#220->219 268#216->215 257#111->112 254#126->125 256#156->157 260#70->93 264#71->72 255#135->136 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 254#125->14 256#157->158 260#93->94 264#72->73 255#136->137 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 254#14->13 264#73->74 255#137->10 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 254#13->12 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 254#12->11 267#9->36 266#131->132 Step 5: 263#231->232 261#96->95 259#45->46 258#215->171 254#11->21 264#75->11 267#36->35 266#132->89 Step 6: 263#232->233 261#95->31 259#46->47 258#171->170 268#4->171 254#21->22 264#11->12 255#10->11 267#35->84 266#89->90 Step 7: 261#31->30 259#47->48 258#170->117 268#171->170 263#233->234 254#22->23 264#12->77 255#11->12 267#84->83 Step 8: 261#30->29 258#117->118 259#48->49 268#170->117 263#234->235 254#23->51 264#77->76 255#12->77 265#13->12 267#83->82 Step 9: 261#29->28 258#118->119 268#117->118 263#235->236 257#116->117 254#51->50 264#76->3 255#77->76 265#12->11 267#82->81 Step 10: 261#28->27 258#119->46 268#118->119 263#236->237 257#117->118 260#94->28 264#3->4 255#76->3 265#11->10 267#81->80 Step 11: 261#27->26 258#46->47 268#119->46 263#237->238 257#118->119 260#28->27 264#4->171 255#3->4 265#10->9 Step 12: 261#26->7 258#47->48 268#46->45 263#238->239 257#119->46 264#171->215 260#27->26 255#4->171 265#9->36 Step 13: 261#7->6 258#48->242 268#45->44 263#239->240 257#46->47 264#215->216 255#171->215 260#26->7 265#36->35 Step 14: 261#6->5 258#242->243 268#44->43 257#47->48 263#240->241 264#216->217 255#215->216 260#7->6 265#35->84 Step 15: 261#5->189 268#43->42 258#243->244 257#48->228 263#241->159 259#49->48 254#50->49 264#217->218 255#216->217 260#6->5 265#84->83 Step 16: 261#189->188 268#42->41 258#244->245 257#228->229 263#159->96 259#48->47 254#49->48 256#158->159 264#218->219 255#217->218 260#5->4 265#83->82 Step 17: 261#188->255 268#41->40 258#245->246 257#229->230 254#48->228 259#47->48 263#96->97 256#159->96 264#219->220 255#218->219 260#4->3 265#82->81 Step 18: 261#255->256 268#40->39 259#48->49 257#230->231 254#228->229 263#97->98 256#96->95 260#3->2 Step 19: 261#256->257 268#39->38 259#49->50 257#231->232 254#229->230 263#98->99 256#95->31 260#2->1 Step 20: 261#257->258 268#38->37 259#50->51 257#232->233 254#230->231 263#99->100 260#1->0 262#145->99 Step 21: 261#258->259 268#37->30 257#233->234 254#231->232 260#0->16 259#51->23 263#100->101 262#99->100 Step 22: 261#259->260 268#30->92 256#31->30 260#16->15 263#101->102 262#100->101 259#23->22 Step 23: 261#260->261 263#102->103 262#101->102 260#15->14 259#22->21 256#30->29 268#92->91 Step 24: 261#261->262 263#103->46 262#102->103 260#14->13 259#21->11 256#29->28 Step 25: 261#262->263 263#46->45 262#103->46 259#11->64 256#28->27 260#13->12 Step 26: 261#263->264 263#45->44 262#46->45 259#64->63 256#27->26 260#12->11 Step 27: 261#264->265 262#45->78 263#44->43 259#63->62 256#26->7 260#11->10 Step 28: 261#265->266 262#78->79 263#43->42 259#62->61 268#91->62 256#7->8 Step 29: 262#79->177 263#42->41 267#80->79 265#81->80 259#61->104 268#62->61 256#8->9 Step 30: 262#177->178 263#41->40 267#79->78 265#80->79 259#104->105 268#61->104 256#9->36 Step 31: 262#178->179 263#40->39 267#78->45 265#79->78 259#105->106 268#104->105 256#36->35 Step 32: 262#179->180 267#45->46 265#78->45 263#39->38 259#106->107 268#105->106 256#35->34 Step 33: 262#180->181 263#38->37 265#45->44 259#107->80 267#46->47 268#106->107 256#34->33 Step 34: 262#181->182 263#37->30 265#44->43 268#107->146 259#80->81 267#47->48 Step 35: 262#182->183 263#30->29 265#43->42 268#146->147 267#48->49 259#81->82 Step 36: 262#183->184 263#29->28 265#42->41 268#147->148 267#49->50 259#82->83 Step 37: 262#184->185 263#28->27 265#41->40 268#148->149 267#50->51 259#83->84 Step 38: 262#185->186 263#27->26 268#149->150 267#51->65 265#40->39 Step 39: 268#150->151 267#65->66 263#26->7 265#39->38 Step 40: 268#151->152 267#66->1 263#7->8 265#38->37 Step 41: 268#152->153 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| = 273, paralellism = 10.111) [ Step 0: 2#47->48 7#122->121 5#82->83 3#70->69 9#135->136 1#17->18 4#71->72 6#111->110 8#126->60 13#216->215 10#144->143 14#220->219 11#156->157 12#211->212 15#238->239 Step 1: 2#48->49 7#121->120 5#83->84 3#69->70 9#136->137 1#18->19 4#72->73 6#110->109 8#60->61 13#215->171 10#143->142 14#219->218 11#157->158 12#212->213 15#239->240 Step 2: 2#49->50 7#120->66 5#84->35 3#70->71 9#137->10 1#19->20 4#73->74 6#109->108 8#61->104 13#171->170 10#142->141 14#218->217 11#158->159 12#213->214 15#240->241 Step 3: 2#50->51 7#66->1 5#35->36 3#71->72 9#10->11 1#20->4 4#74->75 6#108->53 8#104->105 13#170->117 10#141->140 14#217->216 11#159->96 12#214->131 Step 4: 2#51->65 7#1->2 5#36->9 3#72->73 9#11->12 1#4->171 6#53->52 8#105->106 13#117->118 10#140->139 14#216->215 11#96->95 12#131->132 15#241->159 Step 5: 7#2->3 5#9->90 3#73->74 9#12->77 1#171->170 4#75->11 6#52->34 8#106->107 13#118->119 10#139->138 11#95->31 15#159->96 Step 6: 7#3->127 5#90->89 3#74->75 9#77->76 1#170->117 4#11->10 6#34->33 8#107->146 13#119->46 10#138->120 14#215->171 11#31->30 15#96->97 Step 7: 5#89->88 3#75->11 9#76->3 1#117->118 4#10->9 6#33->32 8#146->147 13#46->47 10#120->66 14#171->170 11#30->29 15#97->172 Step 8: 2#65->51 5#88->87 7#127->128 3#11->12 1#118->119 6#32->31 8#147->148 9#3->4 4#9->36 13#47->48 10#66->1 14#170->117 11#29->28 12#132->89 15#172->173 Step 9: 2#51->65 5#87->88 7#128->127 3#12->77 1#119->46 6#31->95 8#148->149 9#4->5 4#36->35 13#48->228 10#1->2 14#117->118 11#28->94 12#89->90 15#173->174 Step 10: 3#77->76 1#46->45 6#95->96 8#149->150 9#5->189 4#35->84 13#228->229 10#2->3 14#118->119 11#94->93 12#90->9 15#174->175 Step 11: 1#45->44 6#96->97 8#150->151 9#189->188 4#84->83 13#229->230 10#3->4 14#119->46 11#93->70 12#9->8 15#175->176 Step 12: 1#44->43 6#97->98 8#151->152 9#188->187 4#83->82 13#230->231 10#4->171 14#46->47 11#70->227 12#8->25 15#176->23 Step 13: 8#152->153 9#187->186 4#82->81 13#231->232 10#171->215 14#47->48 11#227->226 12#25->24 15#23->22 Step 14: 4#81->80 13#232->233 10#215->216 14#48->242 11#226->225 12#24->23 15#22->21 Step 15: 4#80->79 13#233->234 10#216->217 14#242->243 11#225->224 12#23->51 15#21->11 Step 16: 1#43->42 2#65->66 3#76->3 4#79->78 5#88->87 6#98->97 7#127->128 8#153->152 9#186->185 13#234->233 10#217->218 14#243->244 11#224->223 12#51->50 15#11->10 Step 17: 1#42->43 2#66->65 3#3->76 4#78->79 5#87->88 6#97->98 7#128->127 8#152->153 9#185->186 13#233->234 10#218->219 14#244->245 11#223->222 12#50->49 15#10->9 Step 18: 14#245->246 11#222->221 12#49->48 15#9->90 Step 19: 11#221->220 12#48->228 15#90->89 Step 20: 12#228->229 15#89->132 Step 21: 12#229->230 15#132->131 Step 22: 12#230->231 15#131->214 Step 23: 12#231->232 15#214->213 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 10#219->218 11#220->221 12#232->231 13#234->233 14#246->245 15#213->268 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 10#218->219 11#221->220 12#231->232 13#233->234 14#245->246 15#268->267 Step 26: 15#267->266 ] Multirobot solution analysis: ( total makespan = 27 total distance = 186 total trajectory = 273 average parallelism = 10.111 average distance = 12.400 average trajectory = 18.200 parallelism distribution = [ 1 4 1 1 0 0 2 0 1 0 2 3 1 2 9 ] distance distribution = [ 0 0 0 0 1 0 1 1 1 0 0 1 3 1 0 1 1 1 0 1 1 ] trajectory distribution = [ 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 2 2 1 3 0 1 1 0 0 1 ] ) Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 273 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] Sub-phases { Phase (name = 'WHCA*_solving') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 273 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 13803 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.020 ] } ] ----------------------------------------------------------------