================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,6 0,11 0,32 0,34 0,47 0,52 0,176 1,2 1,7 1,169 2,3 2,8 2,13 2,76 2,92 3,4 3,10 3,81 4,5 4,9 5,6 5,16 5,83 5,144 6,15 6,17 6,121 7,8 7,54 7,56 7,140 8,31 9,10 9,14 9,19 9,132 10,24 10,29 11,12 11,71 12,13 12,21 12,50 12,204 13,18 13,25 14,15 14,37 14,136 15,49 15,86 15,99 16,17 16,88 16,97 17,26 17,41 18,19 18,20 18,66 18,127 18,146 19,22 19,174 20,21 20,23 20,118 20,209 20,251 21,28 21,33 21,64 21,77 21,255 22,23 22,57 22,175 23,38 23,193 24,25 24,43 24,48 24,79 25,42 25,87 25,94 25,188 25,220 26,27 27,28 27,149 28,62 28,232 29,30 29,84 29,119 30,31 30,91 30,109 30,190 30,202 30,208 31,100 32,33 32,65 33,36 33,39 33,224 34,35 34,151 35,36 37,38 37,44 38,69 38,115 39,40 39,53 40,41 40,46 40,61 41,55 41,105 42,43 42,96 42,128 42,130 43,45 43,58 43,60 43,156 44,45 44,80 45,181 46,47 46,131 46,230 47,63 47,189 48,49 50,51 51,52 51,68 51,125 51,172 51,256 52,123 52,184 53,54 54,102 55,56 55,74 56,59 57,58 57,171 58,120 58,183 59,60 59,198 59,218 60,98 61,62 62,110 62,112 63,64 63,95 63,122 64,67 65,66 67,68 67,72 69,70 70,71 71,108 72,73 72,134 73,74 73,150 73,243 74,75 75,76 75,129 75,168 77,78 77,117 77,152 77,213 77,238 78,79 78,138 78,173 79,111 79,154 80,81 80,89 80,158 80,182 81,82 82,83 82,114 84,85 84,135 84,160 85,86 86,178 87,88 87,93 87,186 89,90 89,177 90,91 90,107 90,240 91,126 92,93 93,103 94,95 94,106 94,141 95,124 95,244 96,97 96,155 96,163 96,245 98,99 100,101 101,102 102,153 102,239 103,104 104,105 105,166 106,107 106,179 106,211 106,241 108,109 109,201 109,207 110,111 111,161 112,113 112,147 112,180 113,114 114,199 114,205 115,116 116,117 116,157 116,217 117,226 118,119 119,139 120,121 120,248 120,252 122,123 124,125 126,127 126,137 128,129 128,165 128,170 130,131 132,133 133,134 134,214 135,136 135,143 137,138 137,206 139,140 141,142 142,143 144,145 144,162 145,146 146,159 147,148 148,149 148,227 149,253 150,151 151,229 152,153 153,187 154,155 156,157 157,191 158,159 158,194 159,164 159,185 160,161 161,221 162,163 164,165 165,222 166,167 167,168 167,231 169,170 170,236 171,172 171,197 172,242 173,174 174,200 175,176 177,178 179,180 179,212 180,192 180,219 181,182 182,233 183,184 183,215 185,186 187,188 188,237 189,190 189,195 191,192 192,210 193,194 195,196 196,197 198,199 198,234 199,235 200,201 202,203 203,204 205,206 205,249 207,208 209,210 210,254 211,212 213,214 215,216 216,217 218,219 220,221 222,223 223,224 223,225 225,226 227,228 228,229 230,231 231,258 232,233 232,246 234,235 236,237 238,239 240,241 242,243 244,245 246,247 247,248 249,250 250,251 252,253 254,255 256,257 257,258 Reading initial arrangement... Reading original solution... Length:620 240 # 15 ---> 86 (0) 251 # 81 ---> 3 (0) 251 # 3 ---> 4 (1) 228 # 257 ---> 258 (0) 228 # 258 ---> 231 (1) 228 # 231 ---> 230 (2) 228 # 230 ---> 46 (3) 227 # 10 ---> 3 (1) 246 # 43 ---> 24 (0) 235 # 60 ---> 43 (0) 253 # 59 ---> 60 (0) 242 # 166 ---> 167 (0) 229 # 40 ---> 41 (0) 228 # 46 ---> 40 (4) 242 # 167 ---> 231 (2) 229 # 41 ---> 105 (1) 228 # 40 ---> 41 (5) 222 # 82 ---> 114 (0) 227 # 3 ---> 81 (2) 246 # 24 ---> 10 (1) 235 # 43 ---> 24 (1) 253 # 60 ---> 43 (1) 246 # 10 ---> 3 (2) 235 # 24 ---> 10 (2) 253 # 43 ---> 24 (2) 254 # 121 ---> 120 (0) 241 # 35 ---> 34 (0) 241 # 34 ---> 0 (1) 241 # 0 ---> 6 (2) 241 # 6 ---> 121 (3) 253 # 24 ---> 48 (3) 254 # 120 ---> 58 (1) 241 # 121 ---> 120 (4) 241 # 120 ---> 252 (5) 227 # 81 ---> 82 (3) 224 # 28 ---> 21 (0) 222 # 114 ---> 113 (1) 227 # 82 ---> 114 (4) 227 # 114 ---> 205 (5) 227 # 205 ---> 249 (6) 234 # 18 ---> 127 (0) 227 # 249 ---> 250 (7) 234 # 127 ---> 126 (1) 227 # 250 ---> 251 (8) 220 # 206 ---> 205 (6) 222 # 113 ---> 112 (2) 222 # 112 ---> 62 (3) 222 # 62 ---> 28 (4) 222 # 28 ---> 232 (5) 250 # 247 ---> 248 (0) 222 # 232 ---> 246 (6) 249 # 182 ---> 233 (0) 254 # 58 ---> 43 (2) 228 # 41 ---> 17 (6) 250 # 248 ---> 120 (5) 222 # 246 ---> 247 (7) 254 # 43 ---> 45 (3) 250 # 120 ---> 58 (6) 242 # 231 ---> 230 (3) 242 # 230 ---> 46 (4) 242 # 46 ---> 40 (5) 242 # 40 ---> 61 (6) 242 # 61 ---> 62 (7) 242 # 62 ---> 28 (8) 246 # 3 ---> 2 (3) 242 # 28 ---> 232 (9) 222 # 247 ---> 248 (8) 242 # 232 ---> 246 (10) 249 # 233 ---> 232 (10) 250 # 58 ---> 43 (7) 246 # 2 ---> 8 (4) 231 # 22 ---> 23 (0) 225 # 243 ---> 73 (0) 225 # 73 ---> 72 (1) 224 # 21 ---> 20 (1) 249 # 232 ---> 28 (11) 249 # 28 ---> 21 (12) 249 # 21 ---> 12 (13) 249 # 12 ---> 11 (14) 248 # 170 ---> 128 (0) 248 # 128 ---> 129 (1) 224 # 20 ---> 21 (13) 229 # 105 ---> 41 (6) 229 # 41 ---> 40 (7) 243 # 151 ---> 34 (1) 237 # 227 ---> 228 (0) 243 # 34 ---> 0 (2) 220 # 205 ---> 114 (7) 220 # 114 ---> 82 (8) 245 # 147 ---> 148 (0) 237 # 228 ---> 229 (1) 243 # 0 ---> 6 (3) 238 # 155 ---> 154 (0) 238 # 154 ---> 79 (1) 238 # 79 ---> 111 (2) 238 # 111 ---> 110 (3) 238 # 110 ---> 62 (8) 238 # 62 ---> 112 (9) 238 # 112 ---> 147 (10) 245 # 148 ---> 149 (1) 238 # 147 ---> 148 (11) 237 # 229 ---> 151 (2) 238 # 148 ---> 227 (12) 228 # 17 ---> 26 (7) 243 # 6 ---> 17 (7) 237 # 151 ---> 34 (3) 255 # 159 ---> 146 (0) 224 # 21 ---> 12 (14) 224 # 12 ---> 13 (15) 224 # 13 ---> 25 (16) 224 # 25 ---> 42 (17) 224 # 42 ---> 128 (18) 224 # 128 ---> 165 (19) 224 # 165 ---> 222 (20) 233 # 171 ---> 57 (0) 233 # 57 ---> 58 (7) 250 # 43 ---> 24 (8) 233 # 58 ---> 43 (8) 235 # 10 ---> 9 (3) 250 # 24 ---> 10 (9) 233 # 43 ---> 24 (9) 233 # 24 ---> 25 (17) 233 # 25 ---> 220 (18) 233 # 220 ---> 221 (19) 223 # 157 ---> 156 (0) 223 # 156 ---> 43 (9) 248 # 129 ---> 128 (19) 248 # 128 ---> 42 (20) 223 # 43 ---> 24 (17) 248 # 42 ---> 43 (21) 248 # 43 ---> 58 (22) 248 # 58 ---> 183 (23) 248 # 183 ---> 215 (24) 235 # 9 ---> 14 (4) 250 # 10 ---> 9 (10) 223 # 24 ---> 10 (18) 253 # 48 ---> 24 (18) 253 # 24 ---> 79 (19) 253 # 79 ---> 78 (20) 253 # 78 ---> 77 (21) 236 # 214 ---> 134 (0) 253 # 77 ---> 213 (22) 225 # 72 ---> 67 (2) 236 # 134 ---> 72 (2) 226 # 108 ---> 71 (0) 249 # 11 ---> 12 (15) 226 # 71 ---> 11 (15) 246 # 8 ---> 31 (5) 249 # 12 ---> 13 (16) 226 # 11 ---> 12 (16) 226 # 12 ---> 21 (17) 226 # 21 ---> 77 (22) 253 # 213 ---> 214 (23) 226 # 77 ---> 213 (23) 225 # 67 ---> 64 (3) 240 # 86 ---> 178 (1) 240 # 178 ---> 177 (2) 240 # 177 ---> 89 (3) 240 # 89 ---> 90 (4) 240 # 90 ---> 107 (5) 240 # 107 ---> 106 (6) 240 # 106 ---> 211 (7) 243 # 17 ---> 41 (8) 256 # 88 ---> 16 (0) 244 # 87 ---> 88 (0) 249 # 13 ---> 25 (18) 239 # 92 ---> 2 (4) 249 # 25 ---> 87 (19) 239 # 2 ---> 13 (18) 249 # 87 ---> 93 (20) 239 # 13 ---> 25 (19) 223 # 10 ---> 3 (19) 246 # 31 ---> 30 (6) 223 # 3 ---> 2 (20) 246 # 30 ---> 29 (7) 257 # 208 ---> 30 (7) 257 # 30 ---> 109 (8) 239 # 25 ---> 94 (20) 223 # 2 ---> 13 (21) 252 # 189 ---> 47 (0) 252 # 47 ---> 0 (3) 252 # 0 ---> 1 (4) 251 # 4 ---> 5 (2) 250 # 9 ---> 4 (11) 250 # 4 ---> 3 (20) 250 # 3 ---> 81 (21) 220 # 82 ---> 83 (9) 250 # 81 ---> 82 (22) 250 # 82 ---> 114 (23) 250 # 114 ---> 205 (24) 234 # 126 ---> 91 (2) 255 # 146 ---> 18 (1) 251 # 5 ---> 144 (3) 255 # 18 ---> 19 (2) 223 # 13 ---> 18 (22) 234 # 91 ---> 30 (8) 223 # 18 ---> 127 (23) 255 # 19 ---> 18 (23) 246 # 29 ---> 10 (19) 234 # 30 ---> 29 (19) 257 # 109 ---> 30 (19) 235 # 14 ---> 9 (11) 246 # 10 ---> 3 (21) 235 # 9 ---> 10 (21) 246 # 3 ---> 4 (22) 257 # 30 ---> 31 (20) 234 # 29 ---> 30 (20) 235 # 10 ---> 29 (22) 257 # 31 ---> 8 (21) 234 # 30 ---> 31 (21) 235 # 29 ---> 30 (23) 235 # 30 ---> 202 (24) 255 # 18 ---> 13 (24) 225 # 64 ---> 21 (22) 225 # 21 ---> 12 (23) 243 # 41 ---> 55 (9) 249 # 93 ---> 103 (21) 243 # 55 ---> 56 (10) 252 # 1 ---> 7 (5) 239 # 94 ---> 95 (21) 255 # 13 ---> 25 (25) 225 # 12 ---> 13 (25) 239 # 95 ---> 63 (22) 255 # 25 ---> 94 (26) 239 # 63 ---> 64 (23) 258 # 197 ---> 171 (0) 231 # 23 ---> 20 (13) 244 # 88 ---> 87 (20) 246 # 4 ---> 5 (23) 244 # 87 ---> 25 (26) 225 # 13 ---> 2 (26) 244 # 25 ---> 13 (27) 244 # 13 ---> 18 (28) 231 # 20 ---> 21 (23) 244 # 18 ---> 20 (29) 244 # 20 ---> 23 (30) 244 # 23 ---> 193 (31) 244 # 193 ---> 194 (32) 225 # 2 ---> 1 (27) 257 # 8 ---> 2 (27) 234 # 31 ---> 8 (27) 225 # 1 ---> 0 (28) 257 # 2 ---> 1 (28) 234 # 8 ---> 2 (28) 234 # 2 ---> 76 (29) 257 # 1 ---> 2 (29) 225 # 0 ---> 1 (29) 237 # 34 ---> 0 (29) 239 # 64 ---> 67 (24) 231 # 21 ---> 64 (24) 237 # 0 ---> 32 (30) 257 # 2 ---> 13 (30) 225 # 1 ---> 2 (30) 257 # 13 ---> 12 (31) 225 # 2 ---> 13 (31) 252 # 7 ---> 8 (28) 257 # 12 ---> 21 (32) 225 # 13 ---> 12 (32) 255 # 94 ---> 25 (27) 257 # 21 ---> 28 (33) 225 # 12 ---> 21 (33) 255 # 25 ---> 13 (32) 255 # 13 ---> 12 (33) 255 # 12 ---> 50 (34) 258 # 171 ---> 57 (7) 258 # 57 ---> 22 (8) 246 # 5 ---> 6 (24) 231 # 64 ---> 63 (25) 225 # 21 ---> 12 (34) 225 # 12 ---> 13 (35) 255 # 50 ---> 12 (35) 255 # 12 ---> 11 (36) 255 # 11 ---> 0 (37) 255 # 0 ---> 1 (38) 220 # 83 ---> 5 (24) 220 # 5 ---> 4 (25) 255 # 1 ---> 2 (39) 246 # 6 ---> 0 (38) 255 # 2 ---> 92 (40) 255 # 92 ---> 93 (41) 249 # 103 ---> 104 (22) 255 # 93 ---> 103 (42) 249 # 104 ---> 105 (23) 255 # 103 ---> 104 (43) 249 # 105 ---> 41 (24) 255 # 104 ---> 105 (44) 255 # 105 ---> 166 (45) 228 # 26 ---> 17 (8) 228 # 17 ---> 6 (38) 255 # 166 ---> 167 (46) 225 # 13 ---> 18 (36) 234 # 76 ---> 2 (40) 234 # 2 ---> 13 (41) 225 # 18 ---> 19 (37) 234 # 13 ---> 18 (42) 234 # 18 ---> 146 (43) 234 # 146 ---> 159 (44) 234 # 159 ---> 164 (45) 251 # 144 ---> 5 (25) 230 # 136 ---> 135 (0) 220 # 4 ---> 9 (26) 251 # 5 ---> 4 (26) 228 # 6 ---> 5 (39) 228 # 5 ---> 144 (40) 228 # 144 ---> 162 (41) 232 # 39 ---> 33 (0) 258 # 22 ---> 23 (31) 258 # 23 ---> 20 (32) 258 # 20 ---> 21 (34) 258 # 21 ---> 77 (35) 258 # 77 ---> 152 (36) 232 # 33 ---> 21 (35) 243 # 56 ---> 7 (28) 246 # 0 ---> 1 (39) 251 # 4 ---> 3 (27) 220 # 9 ---> 4 (27) 225 # 19 ---> 9 (38) 232 # 21 ---> 20 (36) 239 # 67 ---> 64 (25) 236 # 72 ---> 67 (25) 257 # 28 ---> 21 (36) 245 # 149 ---> 27 (2) 245 # 27 ---> 28 (36) 237 # 32 ---> 0 (39) 229 # 40 ---> 39 (8) 249 # 41 ---> 40 (25) 249 # 40 ---> 61 (26) 249 # 61 ---> 62 (27) 249 # 62 ---> 112 (28) 249 # 112 ---> 147 (29) 220 # 4 ---> 5 (40) 225 # 9 ---> 4 (40) 237 # 0 ---> 6 (40) 251 # 3 ---> 2 (41) 225 # 4 ---> 3 (41) 220 # 5 ---> 4 (41) 246 # 1 ---> 0 (40) 251 # 2 ---> 1 (42) 225 # 3 ---> 2 (42) 220 # 4 ---> 3 (42) 257 # 21 ---> 77 (37) 257 # 77 ---> 78 (38) 223 # 127 ---> 18 (43) 252 # 8 ---> 31 (29) 225 # 2 ---> 8 (43) 223 # 18 ---> 13 (44) 230 # 135 ---> 84 (1) 247 # 141 ---> 142 (0) 230 # 84 ---> 29 (23) 247 # 142 ---> 143 (1) 230 # 29 ---> 10 (24) 247 # 143 ---> 135 (2) 230 # 10 ---> 24 (25) 247 # 135 ---> 84 (23) 229 # 39 ---> 40 (26) 229 # 40 ---> 61 (27) 245 # 28 ---> 21 (37) 229 # 61 ---> 62 (28) 245 # 21 ---> 12 (38) 243 # 7 ---> 54 (29) 252 # 31 ---> 30 (30) 225 # 8 ---> 31 (44) 230 # 24 ---> 48 (26) 252 # 30 ---> 29 (31) 225 # 31 ---> 30 (45) 252 # 29 ---> 10 (32) 225 # 30 ---> 29 (46) 257 # 78 ---> 79 (39) 221 # 138 ---> 78 (39) 221 # 78 ---> 77 (40) 245 # 12 ---> 50 (39) 220 # 3 ---> 2 (43) 220 # 2 ---> 8 (44) 252 # 10 ---> 3 (43) 225 # 29 ---> 10 (47) 220 # 8 ---> 31 (45) 252 # 3 ---> 2 (44) 225 # 10 ---> 3 (48) 252 # 2 ---> 8 (45) 225 # 3 ---> 2 (49) 232 # 20 ---> 18 (44) 239 # 64 ---> 21 (38) 236 # 67 ---> 64 (38) 251 # 1 ---> 7 (43) 225 # 2 ---> 1 (50) 251 # 7 ---> 56 (44) 232 # 18 ---> 19 (45) 239 # 21 ---> 20 (44) 236 # 64 ---> 21 (44) 239 # 20 ---> 18 (45) 236 # 21 ---> 20 (45) 231 # 63 ---> 95 (26) 231 # 95 ---> 94 (27) 223 # 13 ---> 25 (45) 223 # 25 ---> 24 (46) 237 # 6 ---> 5 (41) 237 # 5 ---> 4 (42) 237 # 4 ---> 3 (49) 237 # 3 ---> 10 (50) 237 # 10 ---> 29 (51) 246 # 0 ---> 6 (41) 237 # 29 ---> 30 (52) 237 # 30 ---> 91 (53) 239 # 18 ---> 13 (46) 237 # 91 ---> 126 (54) 256 # 16 ---> 88 (20) 246 # 6 ---> 5 (42) 252 # 8 ---> 7 (46) 237 # 126 ---> 127 (55) 239 # 13 ---> 2 (50) 223 # 24 ---> 10 (51) 231 # 94 ---> 25 (46) 231 # 25 ---> 42 (47) 246 # 5 ---> 4 (49) 225 # 1 ---> 0 (51) 239 # 2 ---> 1 (51) 246 # 4 ---> 3 (50) 225 # 0 ---> 6 (52) 239 # 1 ---> 0 (52) 239 # 0 ---> 47 (53) 239 # 47 ---> 63 (54) 239 # 63 ---> 122 (55) 225 # 6 ---> 0 (53) 230 # 48 ---> 24 (51) 225 # 0 ---> 32 (54) 252 # 7 ---> 1 (52) 229 # 62 ---> 28 (37) 229 # 28 ---> 21 (45) 229 # 21 ---> 12 (46) 229 # 12 ---> 11 (47) 236 # 20 ---> 18 (46) 221 # 77 ---> 21 (46) 221 # 21 ---> 20 (47) 229 # 11 ---> 0 (54) 246 # 3 ---> 2 (51) 231 # 42 ---> 43 (48) 257 # 79 ---> 78 (40) 230 # 24 ---> 79 (52) 230 # 79 ---> 111 (53) 230 # 111 ---> 110 (54) 230 # 110 ---> 62 (55) 230 # 62 ---> 112 (56) 246 # 2 ---> 13 (52) 257 # 78 ---> 77 (46) 246 # 13 ---> 12 (53) 246 # 12 ---> 21 (54) 246 # 21 ---> 28 (55) 246 # 28 ---> 62 (56) 246 # 62 ---> 110 (57) 257 # 77 ---> 21 (55) 243 # 54 ---> 7 (52) 243 # 7 ---> 8 (53) 229 # 0 ---> 6 (55) 243 # 8 ---> 2 (54) 223 # 10 ---> 24 (52) 252 # 1 ---> 0 (55) 225 # 32 ---> 65 (55) 257 # 21 ---> 33 (56) 256 # 88 ---> 87 (26) 243 # 2 ---> 3 (55) 243 # 3 ---> 4 (56) 231 # 43 ---> 60 (49) 256 # 87 ---> 25 (47) 256 # 25 ---> 42 (48) 256 # 42 ---> 96 (49) 236 # 18 ---> 13 (53) 236 # 13 ---> 25 (54) 236 # 25 ---> 42 (55) 256 # 96 ---> 97 (50) 236 # 42 ---> 96 (56) 223 # 24 ---> 25 (55) 223 # 25 ---> 42 (56) 220 # 31 ---> 8 (54) 220 # 8 ---> 2 (55) 220 # 2 ---> 3 (56) 220 # 3 ---> 81 (57) 220 # 81 ---> 80 (58) 220 # 80 ---> 89 (59) 220 # 89 ---> 90 (60) 247 # 84 ---> 85 (24) 247 # 85 ---> 86 (25) 247 # 86 ---> 15 (26) 247 # 15 ---> 14 (27) 257 # 33 ---> 32 (57) 247 # 14 ---> 9 (40) 247 # 9 ---> 10 (52) 247 # 10 ---> 3 (57) 247 # 3 ---> 2 (58) 243 # 4 ---> 9 (57) 247 # 2 ---> 1 (59) 251 # 56 ---> 55 (45) 247 # 1 ---> 7 (60) 254 # 45 ---> 43 (49) 254 # 43 ---> 24 (55) 254 # 24 ---> 25 (56) 254 # 25 ---> 13 (57) 254 # 13 ---> 12 (58) 254 # 12 ---> 21 (59) 254 # 21 ---> 64 (60) 254 # 64 ---> 67 (61) 254 # 67 ---> 72 (62) 251 # 55 ---> 41 (46) 251 # 41 ---> 40 (47) 254 # 72 ---> 73 (63) 251 # 40 ---> 39 (48) 254 # 73 ---> 74 (64) 251 # 39 ---> 33 (57) 251 # 33 ---> 21 (60) 257 # 32 ---> 33 (60) 251 # 21 ---> 12 (61) 257 # 33 ---> 21 (61) 251 # 12 ---> 11 (62) 221 # 20 ---> 18 (53) 257 # 21 ---> 20 (62) 221 # 18 ---> 13 (58) 257 # 20 ---> 23 (63) 257 # 23 ---> 38 (64) 257 # 38 ---> 69 (65) 257 # 69 ---> 70 (66) 257 # 70 ---> 71 (67) 221 # 13 ---> 2 (59) 245 # 50 ---> 12 (62) 245 # 12 ---> 21 (63) 221 # 2 ---> 1 (60) 251 # 11 ---> 12 (63) 252 # 0 ---> 11 (63) 221 # 1 ---> 0 (63) 229 # 6 ---> 5 (56) 221 # 0 ---> 6 (64) 225 # 65 ---> 66 (56) 225 # 66 ---> 18 (58) 225 # 18 ---> 20 (63) 252 # 11 ---> 0 (64) 229 # 5 ---> 4 (57) 221 # 6 ---> 5 (65) 252 # 0 ---> 6 (65) 229 # 4 ---> 3 (58) 221 # 5 ---> 4 (66) 247 # 7 ---> 56 (61) 231 # 60 ---> 43 (55) 247 # 56 ---> 59 (62) 229 # 3 ---> 2 (60) 231 # 43 ---> 24 (56) 247 # 59 ---> 60 (63) 229 # 2 ---> 1 (63) 231 # 24 ---> 10 (57) 232 # 19 ---> 22 (46) 243 # 9 ---> 19 (58) 231 # 10 ---> 9 (58) 252 # 6 ---> 17 (66) 229 # 1 ---> 0 (65) 243 # 19 ---> 18 (63) 223 # 42 ---> 25 (57) 223 # 25 ---> 13 (59) 223 # 13 ---> 2 (63) 223 # 2 ---> 1 (65) 221 # 4 ---> 3 (67) 229 # 0 ---> 6 (66) 223 # 1 ---> 0 (66) 221 # 3 ---> 2 (68) 229 # 6 ---> 5 (67) 223 # 0 ---> 6 (67) 221 # 2 ---> 1 (69) 252 # 17 ---> 16 (67) 223 # 6 ---> 17 (68) 223 # 17 ---> 41 (69) 223 # 41 ---> 55 (70) 221 # 1 ---> 0 (70) 223 # 55 ---> 56 (71) 221 # 0 ---> 32 (71) 221 # 32 ---> 33 (72) 221 # 33 ---> 39 (73) 221 # 39 ---> 53 (74) 243 # 18 ---> 13 (64) 225 # 20 ---> 18 (64) 245 # 21 ---> 20 (64) 221 # 53 ---> 54 (75) 251 # 12 ---> 50 (64) 251 # 50 ---> 51 (65) 251 # 51 ---> 52 (66) 231 # 9 ---> 4 (67) 243 # 13 ---> 25 (65) 232 # 22 ---> 23 (64) 225 # 18 ---> 19 (65) 245 # 20 ---> 18 (65) 232 # 23 ---> 20 (65) 232 # 20 ---> 21 (66) 232 # 21 ---> 33 (73) 232 # 33 ---> 39 (74) 232 # 39 ---> 40 (75) 232 # 40 ---> 46 (76) 231 # 4 ---> 3 (68) 225 # 19 ---> 9 (67) 245 # 18 ---> 19 (67) 225 # 9 ---> 4 (68) 245 # 19 ---> 9 (68) 245 # 9 ---> 14 (69) 245 # 14 ---> 37 (70) 245 # 37 ---> 44 (71) 243 # 25 ---> 24 (66) 243 # 24 ---> 10 (67) 225 # 4 ---> 9 (69) 225 # 9 ---> 14 (70) 225 # 14 ---> 37 (71) 243 # 10 ---> 9 (70) 243 # 9 ---> 4 (71) 229 # 5 ---> 6 (68) 243 # 4 ---> 5 (72) 229 # 6 ---> 0 (71) 243 # 5 ---> 6 (73) 243 # 6 ---> 17 (74) 243 # 17 ---> 26 (75) 252 # 16 ---> 17 (75) 243 # 26 ---> 27 (76) 252 # 17 ---> 26 (76) 231 # 3 ---> 4 (72) 231 # 4 ---> 9 (73) 229 # 0 ---> 6 (74) 229 # 6 ---> 5 (75) 257 # 71 ---> 11 (68) Reading goal arrangement... Undirected graph: (|V|=259 |E|=371) [ Vertex: (id = 0) {1 6 11 32 34 47 52 176 } Vertex: (id = 1) {0 2 7 169 } Vertex: (id = 2) {1 3 8 13 76 92 } Vertex: (id = 3) {2 4 10 81 } Vertex: (id = 4) {3 5 9 } Vertex: (id = 5) {4 6 16 83 144 } Vertex: (id = 6) {0 5 15 17 121 } Vertex: (id = 7) {1 8 54 56 140 } Vertex: (id = 8) {2 7 31 } Vertex: (id = 9) {4 10 14 19 132 } Vertex: (id = 10) {3 9 24 29 } Vertex: (id = 11) {0 12 71 } Vertex: (id = 12) {11 13 21 50 204 } Vertex: (id = 13) {2 12 18 25 } Vertex: (id = 14) {9 15 37 136 } Vertex: (id = 15) {6 14 49 86 99 } Vertex: (id = 16) {5 17 88 97 } Vertex: (id = 17) {6 16 26 41 } Vertex: (id = 18) {13 19 20 66 127 146 } Vertex: (id = 19) {9 18 22 174 } Vertex: (id = 20) {18 21 23 118 209 251 } Vertex: (id = 21) {12 20 28 33 64 77 255 } Vertex: (id = 22) {19 23 57 175 } Vertex: (id = 23) {20 22 38 193 } Vertex: (id = 24) {10 25 43 48 79 } Vertex: (id = 25) {13 24 42 87 94 188 220 } Vertex: (id = 26) {17 27 } Vertex: (id = 27) {26 28 149 } Vertex: (id = 28) {21 27 62 232 } Vertex: (id = 29) {10 30 84 119 } Vertex: (id = 30) {29 31 91 109 190 202 208 } Vertex: (id = 31) {8 30 100 } Vertex: (id = 32) {0 33 65 } Vertex: (id = 33) {21 32 36 39 224 } Vertex: (id = 34) {0 35 151 } Vertex: (id = 35) {34 36 } Vertex: (id = 36) {33 35 } Vertex: (id = 37) {14 38 44 } Vertex: (id = 38) {23 37 69 115 } Vertex: (id = 39) {33 40 53 } Vertex: (id = 40) {39 41 46 61 } Vertex: (id = 41) {17 40 55 105 } Vertex: (id = 42) {25 43 96 128 130 } Vertex: (id = 43) {24 42 45 58 60 156 } Vertex: (id = 44) {37 45 80 } Vertex: (id = 45) {43 44 181 } Vertex: (id = 46) {40 47 131 230 } Vertex: (id = 47) {0 46 63 189 } Vertex: (id = 48) {24 49 } Vertex: (id = 49) {15 48 } Vertex: (id = 50) {12 51 } Vertex: (id = 51) {50 52 68 125 172 256 } Vertex: (id = 52) {0 51 123 184 } Vertex: (id = 53) {39 54 } Vertex: (id = 54) {7 53 102 } Vertex: (id = 55) {41 56 74 } Vertex: (id = 56) {7 55 59 } Vertex: (id = 57) {22 58 171 } Vertex: (id = 58) {43 57 120 183 } Vertex: (id = 59) {56 60 198 218 } Vertex: (id = 60) {43 59 98 } Vertex: (id = 61) {40 62 } Vertex: (id = 62) {28 61 110 112 } Vertex: (id = 63) {47 64 95 122 } Vertex: (id = 64) {21 63 67 } Vertex: (id = 65) {32 66 } Vertex: (id = 66) {18 65 } Vertex: (id = 67) {64 68 72 } Vertex: (id = 68) {51 67 } Vertex: (id = 69) {38 70 } Vertex: (id = 70) {69 71 } Vertex: (id = 71) {11 70 108 } Vertex: (id = 72) {67 73 134 } Vertex: (id = 73) {72 74 150 243 } Vertex: (id = 74) {55 73 75 } Vertex: (id = 75) {74 76 129 168 } Vertex: (id = 76) {2 75 } Vertex: (id = 77) {21 78 117 152 213 238 } Vertex: (id = 78) {77 79 138 173 } Vertex: (id = 79) {24 78 111 154 } Vertex: (id = 80) {44 81 89 158 182 } Vertex: (id = 81) {3 80 82 } Vertex: (id = 82) {81 83 114 } Vertex: (id = 83) {5 82 } Vertex: (id = 84) {29 85 135 160 } Vertex: (id = 85) {84 86 } Vertex: (id = 86) {15 85 178 } Vertex: (id = 87) {25 88 93 186 } Vertex: (id = 88) {16 87 } Vertex: (id = 89) {80 90 177 } Vertex: (id = 90) {89 91 107 240 } Vertex: (id = 91) {30 90 126 } Vertex: (id = 92) {2 93 } Vertex: (id = 93) {87 92 103 } Vertex: (id = 94) {25 95 106 141 } Vertex: (id = 95) {63 94 124 244 } Vertex: (id = 96) {42 97 155 163 245 } Vertex: (id = 97) {16 96 } Vertex: (id = 98) {60 99 } Vertex: (id = 99) {15 98 } Vertex: (id = 100) {31 101 } Vertex: (id = 101) {100 102 } Vertex: (id = 102) {54 101 153 239 } Vertex: (id = 103) {93 104 } Vertex: (id = 104) {103 105 } Vertex: (id = 105) {41 104 166 } Vertex: (id = 106) {94 107 179 211 241 } Vertex: (id = 107) {90 106 } Vertex: (id = 108) {71 109 } Vertex: (id = 109) {30 108 201 207 } Vertex: (id = 110) {62 111 } Vertex: (id = 111) {79 110 161 } Vertex: (id = 112) {62 113 147 180 } Vertex: (id = 113) {112 114 } Vertex: (id = 114) {82 113 199 205 } Vertex: (id = 115) {38 116 } Vertex: (id = 116) {115 117 157 217 } Vertex: (id = 117) {77 116 226 } Vertex: (id = 118) {20 119 } Vertex: (id = 119) {29 118 139 } Vertex: (id = 120) {58 121 248 252 } Vertex: (id = 121) {6 120 } Vertex: (id = 122) {63 123 } Vertex: (id = 123) {52 122 } Vertex: (id = 124) {95 125 } Vertex: (id = 125) {51 124 } Vertex: (id = 126) {91 127 137 } Vertex: (id = 127) {18 126 } Vertex: (id = 128) {42 129 165 170 } Vertex: (id = 129) {75 128 } Vertex: (id = 130) {42 131 } Vertex: (id = 131) {46 130 } Vertex: (id = 132) {9 133 } Vertex: (id = 133) {132 134 } Vertex: (id = 134) {72 133 214 } Vertex: (id = 135) {84 136 143 } Vertex: (id = 136) {14 135 } Vertex: (id = 137) {126 138 206 } Vertex: (id = 138) {78 137 } Vertex: (id = 139) {119 140 } Vertex: (id = 140) {7 139 } Vertex: (id = 141) {94 142 } Vertex: (id = 142) {141 143 } Vertex: (id = 143) {135 142 } Vertex: (id = 144) {5 145 162 } Vertex: (id = 145) {144 146 } Vertex: (id = 146) {18 145 159 } Vertex: (id = 147) {112 148 } Vertex: (id = 148) {147 149 227 } Vertex: (id = 149) {27 148 253 } Vertex: (id = 150) {73 151 } Vertex: (id = 151) {34 150 229 } Vertex: (id = 152) {77 153 } Vertex: (id = 153) {102 152 187 } Vertex: (id = 154) {79 155 } Vertex: (id = 155) {96 154 } Vertex: (id = 156) {43 157 } Vertex: (id = 157) {116 156 191 } Vertex: (id = 158) {80 159 194 } Vertex: (id = 159) {146 158 164 185 } Vertex: (id = 160) {84 161 } Vertex: (id = 161) {111 160 221 } Vertex: (id = 162) {144 163 } Vertex: (id = 163) {96 162 } Vertex: (id = 164) {159 165 } Vertex: (id = 165) {128 164 222 } Vertex: (id = 166) {105 167 } Vertex: (id = 167) {166 168 231 } Vertex: (id = 168) {75 167 } Vertex: (id = 169) {1 170 } Vertex: (id = 170) {128 169 236 } Vertex: (id = 171) {57 172 197 } Vertex: (id = 172) {51 171 242 } Vertex: (id = 173) {78 174 } Vertex: (id = 174) {19 173 200 } Vertex: (id = 175) {22 176 } Vertex: (id = 176) {0 175 } Vertex: (id = 177) {89 178 } Vertex: (id = 178) {86 177 } Vertex: (id = 179) {106 180 212 } Vertex: (id = 180) {112 179 192 219 } Vertex: (id = 181) {45 182 } Vertex: (id = 182) {80 181 233 } Vertex: (id = 183) {58 184 215 } Vertex: (id = 184) {52 183 } Vertex: (id = 185) {159 186 } Vertex: (id = 186) {87 185 } Vertex: (id = 187) {153 188 } Vertex: (id = 188) {25 187 237 } Vertex: (id = 189) {47 190 195 } Vertex: (id = 190) {30 189 } Vertex: (id = 191) {157 192 } Vertex: (id = 192) {180 191 210 } Vertex: (id = 193) {23 194 } Vertex: (id = 194) {158 193 } Vertex: (id = 195) {189 196 } Vertex: (id = 196) {195 197 } Vertex: (id = 197) {171 196 } Vertex: (id = 198) {59 199 234 } Vertex: (id = 199) {114 198 235 } Vertex: (id = 200) {174 201 } Vertex: (id = 201) {109 200 } Vertex: (id = 202) {30 203 } Vertex: (id = 203) {202 204 } Vertex: (id = 204) {12 203 } Vertex: (id = 205) {114 206 249 } Vertex: (id = 206) {137 205 } Vertex: (id = 207) {109 208 } Vertex: (id = 208) {30 207 } Vertex: (id = 209) {20 210 } Vertex: (id = 210) {192 209 254 } Vertex: (id = 211) {106 212 } Vertex: (id = 212) {179 211 } Vertex: (id = 213) {77 214 } Vertex: (id = 214) {134 213 } Vertex: (id = 215) {183 216 } Vertex: (id = 216) {215 217 } Vertex: (id = 217) {116 216 } Vertex: (id = 218) {59 219 } Vertex: (id = 219) {180 218 } Vertex: (id = 220) {25 221 } Vertex: (id = 221) {161 220 } Vertex: (id = 222) {165 223 } Vertex: (id = 223) {222 224 225 } Vertex: (id = 224) {33 223 } Vertex: (id = 225) {223 226 } Vertex: (id = 226) {117 225 } Vertex: (id = 227) {148 228 } Vertex: (id = 228) {227 229 } Vertex: (id = 229) {151 228 } Vertex: (id = 230) {46 231 } Vertex: (id = 231) {167 230 258 } Vertex: (id = 232) {28 233 246 } Vertex: (id = 233) {182 232 } Vertex: (id = 234) {198 235 } Vertex: (id = 235) {199 234 } Vertex: (id = 236) {170 237 } Vertex: (id = 237) {188 236 } Vertex: (id = 238) {77 239 } Vertex: (id = 239) {102 238 } Vertex: (id = 240) {90 241 } Vertex: (id = 241) {106 240 } Vertex: (id = 242) {172 243 } Vertex: (id = 243) {73 242 } Vertex: (id = 244) {95 245 } Vertex: (id = 245) {96 244 } Vertex: (id = 246) {232 247 } Vertex: (id = 247) {246 248 } Vertex: (id = 248) {120 247 } Vertex: (id = 249) {205 250 } Vertex: (id = 250) {249 251 } Vertex: (id = 251) {20 250 } Vertex: (id = 252) {120 253 } Vertex: (id = 253) {149 252 } Vertex: (id = 254) {210 255 } Vertex: (id = 255) {21 254 } Vertex: (id = 256) {51 257 } Vertex: (id = 257) {256 258 } Vertex: (id = 258) {231 257 } Edge 0 <-> 1 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 0 <-> 6 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b740) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 0 <-> 11 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 0 <-> 32 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 0 <-> 34 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bac0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 0 <-> 47 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 0 <-> 52 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 0 <-> 176 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6a0) ] Edge 1 <-> 7 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b760) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6a0) ] Edge 1 <-> 169 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cba0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6c0) ] Edge 2 <-> 8 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b780) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6c0) ] Edge 2 <-> 13 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b820) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6c0) ] Edge 2 <-> 76 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c000) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6c0) ] Edge 2 <-> 92 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c200) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b700) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6e0) ] Edge 3 <-> 10 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6e0) ] Edge 3 <-> 81 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b6e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b720) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b700) ] Edge 4 <-> 9 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b740) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b720) ] Edge 5 <-> 16 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b880) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b720) ] Edge 5 <-> 83 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b720) ] Edge 5 <-> 144 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c880) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b720) ] Edge 6 <-> 15 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b860) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b740) ] Edge 6 <-> 17 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b740) ] Edge 6 <-> 121 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c5a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b780) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b760) ] Edge 7 <-> 54 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b760) ] Edge 7 <-> 56 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b760) ] Edge 7 <-> 140 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c800) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b760) ] Edge 8 <-> 31 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7a0) ] Edge 9 <-> 14 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b840) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7a0) ] Edge 9 <-> 19 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7a0) ] Edge 9 <-> 132 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c700) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7a0) ] Edge 10 <-> 24 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b980) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7c0) ] Edge 10 <-> 29 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b800) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7e0) ] Edge 11 <-> 71 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b7e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b820) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b800) ] Edge 12 <-> 21 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b920) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b800) ] Edge 12 <-> 50 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bcc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b800) ] Edge 12 <-> 204 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d000) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b800) ] Edge 13 <-> 18 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b820) ] Edge 13 <-> 25 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b860) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b840) ] Edge 14 <-> 37 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b840) ] Edge 14 <-> 136 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c780) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b840) ] Edge 15 <-> 49 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bca0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b860) ] Edge 15 <-> 86 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c140) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b860) ] Edge 15 <-> 99 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c2e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b880) ] Edge 16 <-> 88 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c180) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b880) ] Edge 16 <-> 97 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c2a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b880) ] Edge 17 <-> 26 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8a0) ] Edge 17 <-> 41 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bba0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8c0) ] Edge 18 <-> 20 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b900) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8c0) ] Edge 18 <-> 66 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bec0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8c0) ] Edge 18 <-> 127 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c660) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8c0) ] Edge 18 <-> 146 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c8c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8c0) ] Edge 19 <-> 22 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b940) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8e0) ] Edge 19 <-> 174 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b8e0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b920) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b900) ] Edge 20 <-> 23 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b960) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b900) ] Edge 20 <-> 118 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c540) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b900) ] Edge 20 <-> 209 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d0a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b900) ] Edge 20 <-> 251 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d5e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b900) ] Edge 21 <-> 28 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b920) ] Edge 21 <-> 33 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0baa0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b920) ] Edge 21 <-> 64 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b920) ] Edge 21 <-> 77 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c020) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b920) ] Edge 21 <-> 255 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d660) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b960) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b940) ] Edge 22 <-> 57 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bda0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b940) ] Edge 22 <-> 175 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b940) ] Edge 23 <-> 38 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b960) ] Edge 23 <-> 193 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cea0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b980) ] Edge 24 <-> 43 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbe0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b980) ] Edge 24 <-> 48 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b980) ] Edge 24 <-> 79 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c060) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b980) ] Edge 25 <-> 42 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9a0) ] Edge 25 <-> 87 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c160) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9a0) ] Edge 25 <-> 94 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c240) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9a0) ] Edge 25 <-> 188 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9a0) ] Edge 25 <-> 220 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d200) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9a0) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9e0) ] Edge 27 <-> 149 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c920) Arc: (edge = 0x7fff29c29ba0, target = 0xc0b9e0) ] Edge 28 <-> 62 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba00) ] Edge 28 <-> 232 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d380) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba20) ] Edge 29 <-> 84 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c100) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba20) ] Edge 29 <-> 119 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c560) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba40) ] Edge 30 <-> 91 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba40) ] Edge 30 <-> 109 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c420) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba40) ] Edge 30 <-> 190 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba40) ] Edge 30 <-> 202 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cfc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba40) ] Edge 30 <-> 208 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d080) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba40) ] Edge 31 <-> 100 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c300) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba60) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0baa0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba80) ] Edge 32 <-> 65 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bea0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ba80) ] Edge 33 <-> 36 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0baa0) ] Edge 33 <-> 39 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0baa0) ] Edge 33 <-> 224 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d280) Arc: (edge = 0x7fff29c29ba0, target = 0xc0baa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bae0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bac0) ] Edge 34 <-> 151 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c960) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bae0) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb20) ] Edge 37 <-> 44 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb20) ] Edge 38 <-> 69 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb40) ] Edge 38 <-> 115 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb60) ] Edge 39 <-> 53 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bba0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb80) ] Edge 40 <-> 46 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb80) ] Edge 40 <-> 61 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bb80) ] Edge 41 <-> 55 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bba0) ] Edge 41 <-> 105 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbe0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbc0) ] Edge 42 <-> 96 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c280) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbc0) ] Edge 42 <-> 128 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c680) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbc0) ] Edge 42 <-> 130 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c6c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbc0) ] Edge 43 <-> 45 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbe0) ] Edge 43 <-> 58 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bdc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbe0) ] Edge 43 <-> 60 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbe0) ] Edge 43 <-> 156 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bbe0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc00) ] Edge 44 <-> 80 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c080) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc00) ] Edge 45 <-> 181 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc40) ] Edge 46 <-> 131 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c6e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc40) ] Edge 46 <-> 230 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d340) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc40) ] Edge 47 <-> 63 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc60) ] Edge 47 <-> 189 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bca0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bc80) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bce0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bcc0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bce0) ] Edge 51 <-> 68 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bce0) ] Edge 51 <-> 125 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c620) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bce0) ] Edge 51 <-> 172 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bce0) ] Edge 51 <-> 256 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d680) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bce0) ] Edge 52 <-> 123 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c5e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd00) ] Edge 52 <-> 184 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd00) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd20) ] Edge 54 <-> 102 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c340) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd60) ] Edge 55 <-> 74 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd60) ] Edge 56 <-> 59 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bde0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bd80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bdc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bda0) ] Edge 57 <-> 171 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cbe0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bda0) ] Edge 58 <-> 120 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c580) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bdc0) ] Edge 58 <-> 183 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bdc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bde0) ] Edge 59 <-> 198 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bde0) ] Edge 59 <-> 218 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d1c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bde0) ] Edge 60 <-> 98 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c2c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be20) ] Edge 62 <-> 110 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c440) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be40) ] Edge 62 <-> 112 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c480) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0be80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be60) ] Edge 63 <-> 95 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c260) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be60) ] Edge 63 <-> 122 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c5c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be60) ] Edge 64 <-> 67 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bee0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0be80) ] Edge 65 <-> 66 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bec0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bea0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bee0) ] Edge 67 <-> 72 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bee0) ] Edge 69 <-> 70 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf40) ] Edge 71 <-> 108 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c400) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfa0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf80) ] Edge 72 <-> 134 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c740) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bf80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfa0) ] Edge 73 <-> 150 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c940) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfa0) ] Edge 73 <-> 243 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d4e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfe0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfc0) ] Edge 75 <-> 76 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c000) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfe0) ] Edge 75 <-> 129 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c6a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfe0) ] Edge 75 <-> 168 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0bfe0) ] Edge 77 <-> 78 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c040) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c020) ] Edge 77 <-> 117 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c520) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c020) ] Edge 77 <-> 152 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c980) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c020) ] Edge 77 <-> 213 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d120) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c020) ] Edge 77 <-> 238 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d440) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c020) ] Edge 78 <-> 79 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c060) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c040) ] Edge 78 <-> 138 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c7c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c040) ] Edge 78 <-> 173 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c040) ] Edge 79 <-> 111 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c460) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c060) ] Edge 79 <-> 154 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c9c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c060) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c080) ] Edge 80 <-> 89 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c080) ] Edge 80 <-> 158 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c080) ] Edge 80 <-> 182 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0c0) ] Edge 82 <-> 114 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c0c0) ] Edge 84 <-> 85 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c120) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c100) ] Edge 84 <-> 135 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c760) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c100) ] Edge 84 <-> 160 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c100) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c140) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c120) ] Edge 86 <-> 178 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ccc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c180) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c160) ] Edge 87 <-> 93 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c220) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c160) ] Edge 87 <-> 186 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cdc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c160) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1a0) ] Edge 89 <-> 177 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cca0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1a0) ] Edge 90 <-> 91 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1c0) ] Edge 90 <-> 107 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1c0) ] Edge 90 <-> 240 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d480) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1c0) ] Edge 91 <-> 126 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c640) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c1e0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c220) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c200) ] Edge 93 <-> 103 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c360) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c220) ] Edge 94 <-> 95 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c260) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c240) ] Edge 94 <-> 106 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c240) ] Edge 94 <-> 141 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c820) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c240) ] Edge 95 <-> 124 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c600) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c260) ] Edge 95 <-> 244 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d500) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c260) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c2a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c280) ] Edge 96 <-> 155 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c9e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c280) ] Edge 96 <-> 163 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cae0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c280) ] Edge 96 <-> 245 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d520) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c280) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c2e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c2c0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c320) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c340) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c320) ] Edge 102 <-> 153 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c9a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c340) ] Edge 102 <-> 239 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d460) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c340) ] Edge 103 <-> 104 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c380) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c380) ] Edge 105 <-> 166 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3a0) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3c0) ] Edge 106 <-> 179 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cce0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3c0) ] Edge 106 <-> 211 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d0e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3c0) ] Edge 106 <-> 241 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d4a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c3c0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c420) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c400) ] Edge 109 <-> 201 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cfa0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c420) ] Edge 109 <-> 207 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d060) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c460) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c440) ] Edge 111 <-> 161 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0caa0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c480) ] Edge 112 <-> 147 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c8e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c480) ] Edge 112 <-> 180 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4a0) ] Edge 114 <-> 199 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4c0) ] Edge 114 <-> 205 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d020) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c500) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c4e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c520) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c500) ] Edge 116 <-> 157 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c500) ] Edge 116 <-> 217 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d1a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c500) ] Edge 117 <-> 226 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d2c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c560) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c540) ] Edge 119 <-> 139 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c7e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c560) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c5a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c580) ] Edge 120 <-> 248 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d580) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c580) ] Edge 120 <-> 252 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d600) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c580) ] Edge 122 <-> 123 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c5e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c5c0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c620) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c600) ] Edge 126 <-> 127 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c660) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c640) ] Edge 126 <-> 137 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c7a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c640) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c6a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c680) ] Edge 128 <-> 165 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c680) ] Edge 128 <-> 170 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cbc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c680) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c6e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c6c0) ] Edge 132 <-> 133 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c720) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c700) ] Edge 133 <-> 134 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c740) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c720) ] Edge 134 <-> 214 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d140) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c780) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c760) ] Edge 135 <-> 143 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c860) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c760) ] Edge 137 <-> 138 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c7c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c7a0) ] Edge 137 <-> 206 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d040) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c7a0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c800) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c7e0) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c840) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c860) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c840) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c8a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c880) ] Edge 144 <-> 162 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cac0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c880) ] Edge 145 <-> 146 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c8c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c8a0) ] Edge 146 <-> 159 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c8c0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c900) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c8e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c920) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c900) ] Edge 148 <-> 227 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d2e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c900) ] Edge 149 <-> 253 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d620) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c960) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c940) ] Edge 151 <-> 229 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d320) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c9a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c980) ] Edge 153 <-> 187 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cde0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c9a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0c9e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0c9c0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca00) ] Edge 157 <-> 191 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca40) ] Edge 158 <-> 194 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cec0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca40) ] Edge 159 <-> 164 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca60) ] Edge 159 <-> 185 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cda0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0caa0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ca80) ] Edge 161 <-> 221 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d220) Arc: (edge = 0x7fff29c29ba0, target = 0xc0caa0) ] Edge 162 <-> 163 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cae0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cac0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb00) ] Edge 165 <-> 222 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d240) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb60) ] Edge 167 <-> 231 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d360) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cb60) ] Edge 169 <-> 170 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cbc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cba0) ] Edge 170 <-> 236 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d400) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cbc0) ] Edge 171 <-> 172 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cbe0) ] Edge 171 <-> 197 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cbe0) ] Edge 172 <-> 242 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d4c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc00) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc20) ] Edge 174 <-> 200 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cc60) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ccc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cca0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cce0) ] Edge 179 <-> 212 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d100) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cce0) ] Edge 180 <-> 192 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd00) ] Edge 180 <-> 219 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d1e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd20) ] Edge 182 <-> 233 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d3a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd60) ] Edge 183 <-> 215 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d160) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cd60) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cdc0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cda0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cde0) ] Edge 188 <-> 237 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d420) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce00) ] Edge 189 <-> 190 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce40) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce20) ] Edge 189 <-> 195 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cee0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce20) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce80) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce60) ] Edge 192 <-> 210 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d0c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0ce80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cec0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cea0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf00) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cee0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf20) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf00) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf60) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf40) ] Edge 198 <-> 234 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d3c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf40) ] Edge 199 <-> 235 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d3e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cfa0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cf80) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0cfe0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cfc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d000) Arc: (edge = 0x7fff29c29ba0, target = 0xc0cfe0) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d040) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d020) ] Edge 205 <-> 249 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d5a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d020) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d080) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d060) ] Edge 209 <-> 210 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d0c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d0a0) ] Edge 210 <-> 254 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d640) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d0c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d100) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d0e0) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d140) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d120) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d180) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d1a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d180) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d1e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d1c0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d220) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d200) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d260) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d280) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d260) ] Edge 223 <-> 225 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d2a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d260) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d2c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d2a0) ] Edge 227 <-> 228 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d300) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d2e0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d320) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d300) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d360) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d340) ] Edge 231 <-> 258 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d6c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d3a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d380) ] Edge 232 <-> 246 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d540) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d380) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d3e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d3c0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d420) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d400) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d460) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d440) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d4a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d480) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d4e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d4c0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d520) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d500) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d560) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d580) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d560) ] Edge 249 <-> 250 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d5c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d5a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d5e0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d5c0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d620) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d600) ] Edge 254 <-> 255 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d660) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d640) ] Edge 256 <-> 257 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d6a0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d680) ] Edge 257 <-> 258 [ Arc: (edge = 0x7fff29c29ba0, target = 0xc0d6c0) Arc: (edge = 0x7fff29c29ba0, target = 0xc0d6a0) ] ] Robot arrangement: (|R| = 39, |V| = 259) [ robot locations: {1#10 2#15 3#18 4#22 5#28 6#35 7#39 8#40 9#43 10#59 11#60 12#81 13#82 14#87 15#88 16#92 17#108 18#121 19#136 20#138 21#141 22#147 23#151 24#155 25#157 26#159 27#166 28#170 29#171 30#182 31#189 32#197 33#206 34#208 35#214 36#227 37#243 38#247 39#257 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 0#5 0#6 0#7 0#8 0#9 1#10 0#11 0#12 0#13 0#14 2#15 0#16 0#17 3#18 0#19 0#20 0#21 4#22 0#23 0#24 0#25 0#26 0#27 5#28 0#29 0#30 0#31 0#32 0#33 0#34 6#35 0#36 0#37 0#38 7#39 8#40 0#41 0#42 9#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 10#59 11#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 12#81 13#82 0#83 0#84 0#85 0#86 14#87 15#88 0#89 0#90 0#91 16#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 17#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 18#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 19#136 0#137 20#138 0#139 0#140 21#141 0#142 0#143 0#144 0#145 0#146 22#147 0#148 0#149 0#150 23#151 0#152 0#153 0#154 24#155 0#156 25#157 0#158 26#159 0#160 0#161 0#162 0#163 0#164 0#165 27#166 0#167 0#168 0#169 28#170 29#171 0#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 0#180 0#181 30#182 0#183 0#184 0#185 0#186 0#187 0#188 31#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 32#197 0#198 0#199 0#200 0#201 0#202 0#203 0#204 0#205 33#206 0#207 34#208 0#209 0#210 0#211 0#212 0#213 35#214 0#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 0#226 36#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 37#243 0#244 0#245 0#246 38#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 0#255 0#256 39#257 0#258 } ] Robot arrangement: (|R| = 39, |V| = 259) [ robot locations: {1#5 2#9 3#11 4#26 5#27 6#37 7#44 8#46 9#52 10#54 11#56 12#60 13#74 14#90 15#96 16#97 17#110 18#112 19#122 20#127 21#147 22#152 23#162 24#164 25#167 26#194 27#202 28#205 29#211 30#213 31#214 32#215 33#221 34#222 35#227 36#246 37#248 38#251 39#252 } vertex occupancy: {0#0 0#1 0#2 0#3 0#4 1#5 0#6 0#7 0#8 2#9 0#10 3#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 4#26 5#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 6#37 0#38 0#39 0#40 0#41 0#42 0#43 7#44 0#45 8#46 0#47 0#48 0#49 0#50 0#51 9#52 0#53 10#54 0#55 11#56 0#57 0#58 0#59 12#60 0#61 0#62 0#63 0#64 0#65 0#66 0#67 0#68 0#69 0#70 0#71 0#72 0#73 13#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 14#90 0#91 0#92 0#93 0#94 0#95 15#96 16#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 17#110 0#111 18#112 0#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 19#122 0#123 0#124 0#125 0#126 20#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 21#147 0#148 0#149 0#150 0#151 22#152 0#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 23#162 0#163 24#164 0#165 0#166 25#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 26#194 0#195 0#196 0#197 0#198 0#199 0#200 0#201 27#202 0#203 0#204 28#205 0#206 0#207 0#208 0#209 0#210 29#211 0#212 30#213 31#214 32#215 0#216 0#217 0#218 0#219 0#220 33#221 34#222 0#223 0#224 0#225 0#226 35#227 0#228 0#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 36#246 0#247 37#248 0#249 0#250 38#251 39#252 0#253 0#254 0#255 0#256 0#257 0#258 } ] Original solution: Mulirobot solution: (|moves| = 620, paralellism = 8.052) [ Step 0: 240#15->86 251#81->3 228#257->258 246#43->24 235#60->43 253#59->60 242#166->167 229#40->41 222#82->114 254#121->120 241#35->34 224#28->21 234#18->127 250#247->248 249#182->233 231#22->23 225#243->73 248#170->128 237#227->228 245#147->148 238#155->154 255#159->146 233#171->57 223#157->156 236#214->134 226#108->71 256#88->16 244#87->88 252#189->47 258#197->171 230#136->135 232#39->33 247#141->142 Step 1: 251#3->4 228#258->231 227#10->3 229#41->105 246#24->10 235#43->24 253#60->43 241#34->0 254#120->58 222#114->113 234#127->126 225#73->72 224#21->20 248#128->129 243#151->34 237#228->229 238#154->79 245#148->149 240#86->178 255#146->18 230#135->84 247#142->143 Step 2: 228#231->230 242#167->231 227#3->81 246#10->3 235#24->10 253#43->24 241#0->6 222#113->112 254#58->43 243#34->0 238#79->111 237#229->151 225#72->67 236#134->72 240#178->177 251#4->5 234#126->91 255#18->19 245#149->27 247#143->135 Step 3: 228#230->46 241#6->121 253#24->48 227#81->82 222#112->62 254#43->45 242#231->230 246#3->2 243#0->6 238#111->110 237#151->34 235#10->9 225#67->64 240#177->89 252#47->0 251#5->144 Step 4: 228#46->40 241#121->120 227#82->114 222#62->28 242#230->46 246#2->8 235#9->14 240#89->90 239#92->2 252#0->1 Step 5: 228#40->41 241#120->252 227#114->205 222#28->232 250#248->120 242#46->40 246#8->31 240#90->107 252#1->7 Step 6: 227#205->249 220#206->205 222#232->246 228#41->17 250#120->58 242#40->61 229#105->41 240#107->106 246#31->30 Step 7: 227#249->250 222#246->247 242#61->62 250#58->43 229#41->40 220#205->114 228#17->26 243#6->17 233#57->58 240#106->211 246#30->29 257#208->30 258#171->57 Step 8: 227#250->251 242#62->28 222#247->248 220#114->82 238#110->62 250#43->24 233#58->43 243#17->41 257#30->109 234#91->30 258#57->22 228#26->17 229#40->39 Step 9: 242#28->232 238#62->112 250#24->10 233#43->24 223#156->43 220#82->83 243#41->55 Step 10: 242#232->246 249#233->232 238#112->147 250#10->9 243#55->56 Step 11: 249#232->28 238#147->148 250#9->4 235#14->9 Step 12: 249#28->21 238#148->227 Step 13: 249#21->12 224#20->21 231#23->20 Step 14: 249#12->11 224#21->12 Step 15: 224#12->13 249#11->12 226#71->11 Step 16: 224#13->25 249#12->13 226#11->12 Step 17: 224#25->42 233#24->25 223#43->24 226#12->21 Step 18: 224#42->128 233#25->220 223#24->10 253#48->24 249#13->25 239#2->13 Step 19: 224#128->165 233#220->221 248#129->128 253#24->79 249#25->87 239#13->25 223#10->3 246#29->10 234#30->29 257#109->30 Step 20: 224#165->222 248#128->42 253#79->78 249#87->93 223#3->2 239#25->94 250#4->3 257#30->31 234#29->30 244#88->87 256#16->88 Step 21: 248#42->43 253#78->77 223#2->13 250#3->81 246#10->3 235#9->10 257#31->8 234#30->31 249#93->103 239#94->95 Step 22: 248#43->58 253#77->213 226#21->77 250#81->82 223#13->18 246#3->4 235#10->29 225#64->21 239#95->63 249#103->104 Step 23: 248#58->183 253#213->214 226#77->213 250#82->114 223#18->127 255#19->18 235#29->30 225#21->12 239#63->64 246#4->5 231#20->21 249#104->105 230#84->29 247#135->84 Step 24: 248#183->215 250#114->205 235#30->202 255#18->13 239#64->67 231#21->64 246#5->6 220#83->5 249#105->41 230#29->10 247#84->85 Step 25: 255#13->25 225#12->13 231#64->63 220#5->4 251#144->5 239#67->64 236#72->67 249#41->40 230#10->24 247#85->86 Step 26: 255#25->94 244#87->25 225#13->2 220#4->9 251#5->4 249#40->61 229#39->40 230#24->48 231#63->95 256#88->87 247#86->15 Step 27: 244#25->13 225#2->1 257#8->2 234#31->8 255#94->25 251#4->3 220#9->4 249#61->62 229#40->61 231#95->94 247#15->14 Step 28: 244#13->18 225#1->0 257#2->1 234#8->2 252#7->8 243#56->7 249#62->112 229#61->62 Step 29: 244#18->20 234#2->76 257#1->2 225#0->1 237#34->0 249#112->147 252#8->31 243#7->54 Step 30: 244#20->23 237#0->32 257#2->13 225#1->2 252#31->30 Step 31: 244#23->193 257#13->12 225#2->13 258#22->23 252#30->29 Step 32: 244#193->194 257#12->21 225#13->12 255#25->13 258#23->20 252#29->10 Step 33: 257#21->28 225#12->21 255#13->12 Step 34: 255#12->50 225#21->12 258#20->21 Step 35: 225#12->13 255#50->12 258#21->77 232#33->21 Step 36: 255#12->11 225#13->18 258#77->152 232#21->20 257#28->21 245#27->28 Step 37: 255#11->0 225#18->19 257#21->77 245#28->21 229#62->28 Step 38: 255#0->1 246#6->0 228#17->6 225#19->9 257#77->78 245#21->12 239#64->21 236#67->64 Step 39: 255#1->2 228#6->5 246#0->1 237#32->0 257#78->79 221#138->78 245#12->50 Step 40: 255#2->92 234#76->2 228#5->144 220#4->5 225#9->4 237#0->6 246#1->0 221#78->77 257#79->78 247#14->9 Step 41: 255#92->93 234#2->13 228#144->162 251#3->2 225#4->3 220#5->4 237#6->5 246#0->6 Step 42: 255#93->103 234#13->18 251#2->1 225#3->2 220#4->3 237#5->4 246#6->5 Step 43: 255#103->104 234#18->146 223#127->18 225#2->8 220#3->2 252#10->3 251#1->7 Step 44: 255#104->105 234#146->159 223#18->13 225#8->31 220#2->8 252#3->2 232#20->18 251#7->56 239#21->20 236#64->21 Step 45: 255#105->166 234#159->164 225#31->30 220#8->31 252#2->8 232#18->19 239#20->18 236#21->20 223#13->25 229#28->21 251#56->55 Step 46: 255#166->167 225#30->29 223#25->24 239#18->13 252#8->7 231#94->25 229#21->12 236#20->18 221#77->21 257#78->77 251#55->41 232#19->22 Step 47: 225#29->10 231#25->42 229#12->11 221#21->20 256#87->25 251#41->40 Step 48: 225#10->3 231#42->43 256#25->42 251#40->39 Step 49: 225#3->2 237#4->3 246#5->4 231#43->60 256#42->96 254#45->43 Step 50: 225#2->1 237#3->10 239#13->2 246#4->3 256#96->97 Step 51: 237#10->29 223#24->10 225#1->0 239#2->1 230#48->24 246#3->2 Step 52: 237#29->30 225#0->6 239#1->0 252#7->1 230#24->79 246#2->13 243#54->7 223#10->24 247#9->10 Step 53: 237#30->91 239#0->47 225#6->0 230#79->111 246#13->12 243#7->8 236#18->13 221#20->18 Step 54: 237#91->126 239#47->63 225#0->32 229#11->0 230#111->110 246#12->21 243#8->2 236#13->25 220#31->8 Step 55: 237#126->127 239#63->122 230#110->62 246#21->28 257#77->21 229#0->6 252#1->0 225#32->65 243#2->3 236#25->42 223#24->25 220#8->2 254#43->24 231#60->43 Step 56: 230#62->112 246#28->62 257#21->33 243#3->4 236#42->96 223#25->42 220#2->3 254#24->25 229#6->5 225#65->66 231#43->24 Step 57: 246#62->110 220#3->81 257#33->32 247#10->3 243#4->9 254#25->13 251#39->33 229#5->4 231#24->10 223#42->25 Step 58: 220#81->80 247#3->2 254#13->12 221#18->13 225#66->18 229#4->3 243#9->19 231#10->9 Step 59: 220#80->89 247#2->1 254#12->21 221#13->2 223#25->13 Step 60: 220#89->90 247#1->7 254#21->64 251#33->21 257#32->33 221#2->1 229#3->2 Step 61: 254#64->67 251#21->12 257#33->21 247#7->56 Step 62: 254#67->72 251#12->11 257#21->20 245#50->12 247#56->59 Step 63: 254#72->73 257#20->23 245#12->21 251#11->12 252#0->11 221#1->0 225#18->20 247#59->60 229#2->1 243#19->18 223#13->2 Step 64: 254#73->74 257#23->38 221#0->6 252#11->0 243#18->13 225#20->18 245#21->20 251#12->50 232#22->23 Step 65: 257#38->69 221#6->5 252#0->6 229#1->0 223#2->1 251#50->51 243#13->25 225#18->19 245#20->18 232#23->20 Step 66: 257#69->70 221#5->4 252#6->17 229#0->6 223#1->0 251#51->52 232#20->21 243#25->24 Step 67: 257#70->71 221#4->3 229#6->5 223#0->6 252#17->16 231#9->4 225#19->9 245#18->19 243#24->10 Step 68: 221#3->2 223#6->17 231#4->3 225#9->4 245#19->9 229#5->6 257#71->11 Step 69: 221#2->1 223#17->41 245#9->14 225#4->9 Step 70: 223#41->55 221#1->0 245#14->37 225#9->14 243#10->9 Step 71: 223#55->56 221#0->32 245#37->44 225#14->37 243#9->4 229#6->0 Step 72: 221#32->33 243#4->5 231#3->4 Step 73: 221#33->39 232#21->33 243#5->6 231#4->9 Step 74: 221#39->53 232#33->39 243#6->17 229#0->6 Step 75: 221#53->54 232#39->40 243#17->26 252#16->17 229#6->5 Step 76: 232#40->46 243#26->27 252#17->26 ] reSolved solution: Mulirobot solution: (|moves| = 305, paralellism = 19.062) [ Step 0: 5#28->27 8#40->46 2#15->14 11#60->98 26#159->158 1#10->3 3#18->13 10#59->56 15#88->16 20#138->137 9#43->58 12#81->80 14#87->25 16#92->93 24#155->96 32#197->196 4#22->175 6#35->36 13#82->83 21#141->142 22#147->112 23#151->34 30#182->233 36#227->148 38#247->246 7#39->53 17#108->109 18#121->6 19#136->135 31#189->47 33#206->205 37#243->242 25#157->156 28#170->169 29#171->57 35#214->134 39#257->256 27#166->167 34#208->207 Step 1: 2#14->9 11#98->60 26#158->194 1#3->4 3#13->12 10#56->7 15#16->97 20#137->126 9#58->183 12#80->44 14#25->94 16#93->87 24#96->42 32#196->197 4#175->176 6#36->33 13#83->82 21#142->141 22#112->62 30#233->232 36#148->149 7#53->39 17#109->30 18#6->17 19#135->143 31#47->63 33#205->206 37#242->172 25#156->43 28#169->1 29#57->22 35#134->72 39#256->51 27#167->231 34#207->208 Step 2: 11#60->59 1#4->5 3#12->11 10#7->54 15#97->96 20#126->127 9#183->184 12#44->45 14#94->106 16#87->88 24#42->128 32#197->171 4#176->0 6#33->21 13#82->81 22#62->28 36#149->253 7#39->40 17#30->29 18#17->41 19#143->142 31#63->64 33#206->137 25#43->24 28#1->2 29#22->23 35#72->73 27#231->258 Step 3: 11#59->56 9#184->52 12#45->43 14#106->107 16#88->16 24#128->165 32#171->57 4#0->6 6#21->20 13#81->3 21#141->94 36#253->252 7#40->61 17#29->84 31#64->67 33#137->138 25#24->25 28#2->13 29#23->38 35#73->150 27#258->257 34#208->30 Step 4: 12#43->60 14#107->90 16#16->97 24#165->164 32#57->58 4#6->17 6#20->23 13#3->2 21#94->106 22#28->21 23#34->0 36#252->120 7#61->62 17#84->160 18#41->40 19#142->141 31#67->72 33#138->78 37#172->171 25#25->42 28#13->18 29#38->37 35#150->151 27#257->256 34#30->31 Step 5: 32#58->183 4#17->26 6#23->38 13#2->76 21#106->179 22#21->77 23#0->1 30#232->28 36#120->248 7#62->110 17#160->161 18#40->61 19#141->94 31#72->134 33#78->79 37#171->57 25#42->128 28#18->20 29#37->44 35#151->229 39#51->172 34#31->8 Step 6: 32#183->215 6#38->37 13#76->75 21#179->180 22#77->152 23#1->2 30#28->21 36#248->247 38#246->232 7#110->111 18#61->62 19#94->95 31#134->214 33#79->24 37#57->58 25#128->129 28#20->251 29#44->45 35#229->228 39#172->171 27#256->51 34#8->7 Step 7: 13#75->74 21#180->112 23#2->13 30#21->77 36#247->246 38#232->28 7#111->79 19#95->63 33#24->25 37#58->120 28#251->250 29#45->43 35#228->227 39#171->57 27#51->50 34#7->1 Step 8: 1#5->4 2#9->10 3#11->0 4#26->17 5#27->149 6#37->14 8#46->40 9#52->51 10#54->7 11#56->55 12#60->59 13#74->73 14#90->89 15#96->42 16#97->16 20#127->18 22#152->153 24#164->159 26#194->158 31#214->134 32#215->183 35#227->148 36#246->232 18#62->61 19#63->122 21#112->147 30#77->213 37#120->248 17#161->111 28#250->249 33#25->220 25#129->75 38#28->21 39#57->58 7#79->24 27#50->12 23#13->2 29#43->156 34#1->169 Step 9: 1#4->5 2#10->9 3#0->11 4#17->26 5#149->27 6#14->37 8#40->46 9#51->52 10#7->54 11#55->56 12#59->60 13#73->74 14#89->90 15#42->96 16#16->97 20#18->127 22#153->152 24#159->164 26#158->194 31#134->214 32#183->215 35#148->227 36#232->246 18#61->62 17#111->110 28#249->205 33#220->221 25#75->168 38#21->20 39#58->120 7#24->43 27#12->204 23#2->13 29#156->157 34#169->170 Step 10: 18#62->112 25#168->167 38#20->251 39#120->252 7#43->45 27#204->203 23#13->18 29#157->191 34#170->128 Step 11: 7#45->44 27#203->202 23#18->146 29#191->192 34#128->165 Step 12: 23#146->145 29#192->180 34#165->222 Step 13: 23#145->144 29#180->179 Step 14: 23#144->162 29#179->106 Step 15: 29#106->211 ] Multirobot solution analysis: ( total makespan = 16 total distance = 205 total trajectory = 305 average parallelism = 19.062 average distance = 5.256 average trajectory = 7.821 parallelism distribution = [ 1 2 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 3 0 0 1 0 0 1 0 0 0 0 0 0 2 0 0 0 2 ] distance distribution = [ 2 3 5 1 5 9 7 4 2 ] trajectory distribution = [ 0 0 2 2 5 4 5 6 4 6 1 3 0 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 = 305 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] Sub-phases { Phase (name = 'WHCA*_solving') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 305 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 14579 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] } ] ----------------------------------------------------------------