================================================================ 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:1382 247 # 236 ---> 237 (0) 263 # 47 ---> 48 (0) 246 # 240 ---> 241 (0) 261 # 238 ---> 239 (0) 247 # 237 ---> 238 (1) 263 # 48 ---> 228 (1) 246 # 241 ---> 159 (1) 261 # 239 ---> 240 (1) 247 # 238 ---> 239 (2) 263 # 228 ---> 229 (2) 246 # 159 ---> 96 (2) 261 # 240 ---> 241 (2) 247 # 239 ---> 240 (3) 263 # 229 ---> 230 (3) 246 # 96 ---> 97 (3) 261 # 241 ---> 159 (3) 247 # 240 ---> 241 (4) 263 # 230 ---> 231 (4) 261 # 159 ---> 96 (4) 247 # 241 ---> 159 (5) 263 # 231 ---> 232 (5) 240 # 78 ---> 45 (0) 261 # 96 ---> 95 (5) 247 # 159 ---> 96 (6) 261 # 95 ---> 31 (6) 247 # 96 ---> 95 (7) 261 # 31 ---> 30 (7) 247 # 95 ---> 31 (8) 252 # 29 ---> 28 (0) 261 # 30 ---> 29 (8) 247 # 31 ---> 30 (9) 252 # 28 ---> 27 (1) 261 # 29 ---> 28 (9) 247 # 30 ---> 29 (10) 252 # 27 ---> 26 (2) 261 # 28 ---> 27 (10) 247 # 29 ---> 28 (11) 252 # 26 ---> 7 (3) 261 # 27 ---> 26 (11) 247 # 28 ---> 27 (12) 252 # 7 ---> 8 (4) 261 # 26 ---> 7 (12) 247 # 27 ---> 26 (13) 252 # 8 ---> 9 (5) 261 # 7 ---> 8 (13) 247 # 26 ---> 7 (14) 247 # 7 ---> 6 (15) 247 # 6 ---> 5 (16) 247 # 5 ---> 189 (17) 247 # 189 ---> 188 (18) 247 # 188 ---> 255 (19) 261 # 8 ---> 7 (15) 261 # 7 ---> 6 (16) 261 # 6 ---> 5 (17) 261 # 5 ---> 189 (18) 261 # 189 ---> 188 (19) 247 # 255 ---> 256 (20) 261 # 188 ---> 255 (20) 238 # 1 ---> 66 (0) 238 # 66 ---> 65 (1) 238 # 65 ---> 51 (2) 247 # 256 ---> 257 (21) 261 # 255 ---> 256 (21) 247 # 257 ---> 258 (22) 261 # 256 ---> 257 (22) 238 # 51 ---> 50 (3) 247 # 258 ---> 259 (23) 261 # 257 ---> 258 (23) 247 # 259 ---> 260 (24) 261 # 258 ---> 259 (24) 247 # 260 ---> 261 (25) 261 # 259 ---> 260 (25) 246 # 97 ---> 98 (4) 237 # 43 ---> 42 (0) 244 # 44 ---> 43 (0) 246 # 98 ---> 99 (5) 237 # 42 ---> 41 (1) 244 # 43 ---> 42 (1) 247 # 261 ---> 262 (26) 261 # 260 ---> 261 (26) 247 # 262 ---> 263 (27) 261 # 261 ---> 262 (27) 246 # 99 ---> 100 (6) 246 # 100 ---> 101 (7) 237 # 41 ---> 40 (2) 244 # 42 ---> 41 (2) 240 # 45 ---> 44 (1) 246 # 101 ---> 102 (8) 237 # 40 ---> 39 (3) 244 # 41 ---> 40 (3) 240 # 44 ---> 43 (2) 246 # 102 ---> 103 (9) 237 # 39 ---> 38 (4) 244 # 40 ---> 39 (4) 240 # 43 ---> 42 (3) 246 # 103 ---> 46 (10) 237 # 38 ---> 37 (5) 244 # 39 ---> 38 (5) 240 # 42 ---> 41 (4) 246 # 46 ---> 45 (11) 247 # 263 ---> 264 (28) 261 # 262 ---> 263 (28) 247 # 264 ---> 265 (29) 261 # 263 ---> 264 (29) 252 # 9 ---> 8 (15) 247 # 265 ---> 266 (30) 261 # 264 ---> 265 (30) 248 # 136 ---> 137 (0) 248 # 137 ---> 10 (1) 248 # 10 ---> 9 (15) 252 # 8 ---> 7 (16) 248 # 9 ---> 8 (16) 252 # 7 ---> 6 (17) 248 # 8 ---> 7 (17) 252 # 6 ---> 5 (18) 248 # 7 ---> 6 (18) 252 # 5 ---> 4 (19) 248 # 6 ---> 5 (19) 248 # 5 ---> 189 (20) 248 # 189 ---> 188 (21) 247 # 266 ---> 267 (31) 261 # 265 ---> 266 (31) 248 # 188 ---> 255 (22) 252 # 4 ---> 5 (20) 265 # 17 ---> 16 (0) 265 # 16 ---> 0 (1) 265 # 0 ---> 1 (2) 252 # 5 ---> 6 (21) 265 # 1 ---> 2 (3) 267 # 122 ---> 121 (0) 237 # 37 ---> 30 (10) 244 # 38 ---> 37 (10) 240 # 41 ---> 40 (5) 246 # 45 ---> 44 (12) 238 # 50 ---> 49 (4) 237 # 30 ---> 29 (11) 244 # 37 ---> 30 (11) 240 # 40 ---> 39 (6) 246 # 44 ---> 43 (13) 238 # 49 ---> 48 (5) 237 # 29 ---> 28 (12) 244 # 30 ---> 29 (12) 240 # 39 ---> 38 (10) 246 # 43 ---> 42 (14) 243 # 254 ---> 186 (0) 249 # 251 ---> 252 (0) 243 # 186 ---> 187 (1) 249 # 252 ---> 253 (1) 243 # 187 ---> 188 (22) 241 # 201 ---> 200 (0) 241 # 200 ---> 199 (1) 241 # 199 ---> 198 (2) 241 # 198 ---> 197 (3) 241 # 197 ---> 16 (4) 241 # 16 ---> 0 (5) 241 # 0 ---> 1 (6) 241 # 1 ---> 66 (7) 241 # 66 ---> 65 (8) 241 # 65 ---> 51 (9) 241 # 51 ---> 50 (10) 241 # 50 ---> 49 (11) 237 # 28 ---> 27 (13) 244 # 29 ---> 28 (13) 240 # 38 ---> 37 (11) 246 # 42 ---> 41 (15) 238 # 48 ---> 47 (6) 241 # 49 ---> 48 (12) 249 # 253 ---> 254 (2) 241 # 48 ---> 242 (13) 243 # 188 ---> 189 (23) 237 # 27 ---> 26 (14) 244 # 28 ---> 27 (14) 240 # 37 ---> 30 (12) 249 # 254 ---> 186 (3) 241 # 242 ---> 243 (14) 250 # 170 ---> 117 (0) 243 # 189 ---> 5 (24) 249 # 186 ---> 187 (22) 237 # 26 ---> 7 (18) 244 # 27 ---> 26 (18) 240 # 30 ---> 29 (13) 237 # 7 ---> 8 (19) 244 # 26 ---> 7 (19) 240 # 29 ---> 28 (14) 237 # 8 ---> 9 (20) 244 # 7 ---> 8 (20) 237 # 9 ---> 10 (21) 244 # 8 ---> 9 (21) 241 # 243 ---> 244 (15) 238 # 47 ---> 48 (13) 250 # 117 ---> 118 (1) 243 # 5 ---> 4 (25) 249 # 187 ---> 188 (23) 238 # 48 ---> 49 (14) 259 # 82 ---> 81 (0) 238 # 49 ---> 50 (15) 259 # 81 ---> 80 (1) 238 # 50 ---> 51 (16) 259 # 80 ---> 79 (2) 238 # 51 ---> 23 (17) 259 # 79 ---> 78 (3) 238 # 23 ---> 24 (18) 259 # 78 ---> 45 (12) 238 # 24 ---> 25 (19) 259 # 45 ---> 46 (13) 238 # 25 ---> 8 (21) 259 # 46 ---> 47 (14) 241 # 244 ---> 245 (16) 250 # 118 ---> 119 (2) 243 # 4 ---> 171 (26) 249 # 188 ---> 189 (24) 246 # 41 ---> 40 (16) 246 # 40 ---> 39 (17) 241 # 245 ---> 246 (17) 250 # 119 ---> 46 (14) 243 # 171 ---> 170 (27) 249 # 189 ---> 5 (25) 251 # 74 ---> 75 (0) 251 # 75 ---> 11 (1) 251 # 11 ---> 21 (2) 251 # 21 ---> 22 (3) 251 # 22 ---> 23 (18) 251 # 23 ---> 51 (19) 251 # 51 ---> 50 (20) 251 # 50 ---> 49 (21) 246 # 39 ---> 38 (18) 250 # 46 ---> 45 (15) 251 # 49 ---> 48 (22) 241 # 246 ---> 247 (18) 251 # 48 ---> 242 (23) 259 # 47 ---> 48 (23) 243 # 170 ---> 117 (28) 258 # 220 ---> 219 (0) 258 # 219 ---> 218 (1) 258 # 218 ---> 217 (2) 252 # 6 ---> 7 (22) 268 # 216 ---> 215 (0) 258 # 217 ---> 216 (3) 252 # 7 ---> 26 (23) 268 # 215 ---> 171 (27) 258 # 216 ---> 215 (27) 240 # 28 ---> 94 (15) 268 # 171 ---> 4 (28) 258 # 215 ---> 171 (28) 258 # 171 ---> 170 (29) 268 # 4 ---> 171 (29) 265 # 2 ---> 3 (4) 259 # 48 ---> 49 (24) 243 # 117 ---> 118 (29) 258 # 170 ---> 117 (30) 268 # 171 ---> 170 (30) 238 # 8 ---> 7 (23) 250 # 45 ---> 78 (16) 243 # 118 ---> 119 (30) 258 # 117 ---> 118 (31) 236 # 113 ---> 114 (0) 257 # 111 ---> 112 (0) 242 # 109 ---> 110 (0) 250 # 78 ---> 79 (17) 243 # 119 ---> 46 (31) 258 # 118 ---> 119 (32) 236 # 114 ---> 115 (1) 257 # 112 ---> 113 (1) 242 # 110 ---> 111 (1) 250 # 79 ---> 80 (18) 243 # 46 ---> 45 (32) 258 # 119 ---> 46 (33) 258 # 46 ---> 47 (34) 258 # 47 ---> 48 (35) 241 # 247 ---> 248 (19) 251 # 242 ---> 243 (24) 258 # 48 ---> 242 (36) 268 # 170 ---> 117 (31) 265 # 3 ---> 4 (29) 268 # 117 ---> 118 (32) 265 # 4 ---> 171 (30) 238 # 7 ---> 6 (24) 250 # 80 ---> 81 (19) 243 # 45 ---> 78 (33) 268 # 118 ---> 119 (33) 236 # 115 ---> 116 (2) 257 # 113 ---> 114 (2) 242 # 111 ---> 112 (2) 250 # 81 ---> 82 (20) 243 # 78 ---> 79 (34) 268 # 119 ---> 46 (34) 236 # 116 ---> 117 (32) 257 # 114 ---> 115 (3) 242 # 112 ---> 113 (3) 250 # 82 ---> 83 (21) 243 # 79 ---> 80 (35) 268 # 46 ---> 45 (35) 241 # 248 ---> 249 (20) 251 # 243 ---> 244 (25) 258 # 242 ---> 243 (37) 236 # 117 ---> 118 (33) 265 # 171 ---> 170 (31) 249 # 5 ---> 4 (30) 246 # 38 ---> 37 (19) 268 # 45 ---> 44 (36) 246 # 37 ---> 30 (20) 268 # 44 ---> 43 (37) 241 # 249 ---> 250 (21) 251 # 244 ---> 245 (26) 258 # 243 ---> 244 (38) 236 # 118 ---> 119 (34) 265 # 170 ---> 117 (33) 249 # 4 ---> 171 (31) 246 # 30 ---> 31 (21) 244 # 9 ---> 8 (23) 238 # 6 ---> 5 (30) 241 # 250 ---> 251 (22) 251 # 245 ---> 246 (27) 258 # 244 ---> 245 (39) 236 # 119 ---> 46 (35) 265 # 117 ---> 118 (34) 249 # 171 ---> 170 (33) 238 # 5 ---> 4 (31) 241 # 251 ---> 252 (23) 251 # 246 ---> 247 (28) 258 # 245 ---> 246 (40) 265 # 118 ---> 119 (35) 249 # 170 ---> 117 (34) 237 # 10 ---> 11 (22) 250 # 83 ---> 84 (22) 243 # 80 ---> 81 (36) 263 # 232 ---> 233 (6) 263 # 233 ---> 234 (7) 268 # 43 ---> 42 (38) 268 # 42 ---> 41 (39) 268 # 41 ---> 40 (40) 244 # 8 ---> 25 (24) 268 # 40 ---> 39 (41) 236 # 46 ---> 45 (36) 263 # 234 ---> 235 (8) 238 # 4 ---> 171 (33) 265 # 119 ---> 46 (36) 249 # 117 ---> 118 (35) 238 # 171 ---> 170 (34) 250 # 84 ---> 35 (23) 243 # 81 ---> 82 (37) 236 # 45 ---> 78 (37) 265 # 46 ---> 45 (37) 249 # 118 ---> 119 (36) 257 # 115 ---> 116 (32) 242 # 113 ---> 114 (4) 250 # 35 ---> 34 (24) 236 # 78 ---> 79 (38) 265 # 45 ---> 78 (38) 249 # 119 ---> 46 (37) 257 # 116 ---> 117 (35) 242 # 114 ---> 115 (32) 250 # 34 ---> 52 (25) 249 # 46 ---> 45 (38) 263 # 235 ---> 236 (9) 237 # 11 ---> 21 (23) 237 # 21 ---> 22 (24) 237 # 22 ---> 23 (25) 237 # 23 ---> 51 (26) 237 # 51 ---> 50 (27) 252 # 26 ---> 7 (24) 259 # 49 ---> 48 (36) 237 # 50 ---> 49 (36) 252 # 7 ---> 8 (25) 259 # 48 ---> 47 (37) 237 # 49 ---> 48 (37) 263 # 236 ---> 237 (10) 237 # 48 ---> 228 (38) 259 # 47 ---> 48 (38) 252 # 8 ---> 9 (26) 259 # 48 ---> 49 (39) 252 # 9 ---> 36 (27) 259 # 49 ---> 50 (40) 252 # 36 ---> 35 (28) 244 # 25 ---> 8 (26) 259 # 50 ---> 51 (41) 252 # 35 ---> 84 (29) 244 # 8 ---> 9 (27) 259 # 51 ---> 23 (42) 259 # 23 ---> 24 (43) 263 # 237 ---> 238 (11) 237 # 228 ---> 229 (39) 244 # 9 ---> 36 (28) 255 # 135 ---> 136 (0) 244 # 36 ---> 35 (29) 255 # 136 ---> 137 (1) 244 # 35 ---> 34 (30) 255 # 137 ---> 10 (22) 244 # 34 ---> 33 (31) 268 # 39 ---> 38 (42) 249 # 45 ---> 44 (39) 263 # 238 ---> 239 (12) 237 # 229 ---> 230 (40) 257 # 117 ---> 118 (36) 257 # 118 ---> 119 (37) 257 # 119 ---> 46 (38) 257 # 46 ---> 47 (39) 257 # 47 ---> 48 (40) 263 # 239 ---> 240 (13) 237 # 230 ---> 231 (41) 257 # 48 ---> 228 (41) 238 # 170 ---> 117 (36) 238 # 117 ---> 118 (37) 252 # 84 ---> 35 (30) 243 # 82 ---> 83 (38) 238 # 118 ---> 119 (38) 242 # 115 ---> 116 (35) 250 # 52 ---> 53 (26) 252 # 35 ---> 34 (31) 243 # 83 ---> 84 (39) 236 # 79 ---> 80 (39) 238 # 119 ---> 46 (39) 238 # 46 ---> 45 (40) 263 # 240 ---> 241 (14) 237 # 231 ---> 232 (42) 257 # 228 ---> 229 (42) 254 # 126 ---> 125 (0) 254 # 125 ---> 14 (1) 254 # 14 ---> 13 (2) 254 # 13 ---> 12 (3) 254 # 12 ---> 11 (23) 254 # 11 ---> 21 (24) 254 # 21 ---> 22 (25) 254 # 22 ---> 23 (43) 268 # 38 ---> 37 (43) 249 # 44 ---> 43 (40) 238 # 45 ---> 44 (41) 254 # 23 ---> 51 (44) 268 # 37 ---> 30 (44) 249 # 43 ---> 42 (41) 238 # 44 ---> 43 (42) 254 # 51 ---> 50 (45) 259 # 24 ---> 23 (44) 268 # 30 ---> 29 (45) 249 # 42 ---> 41 (42) 238 # 43 ---> 42 (43) 254 # 50 ---> 49 (46) 254 # 49 ---> 48 (47) 263 # 241 ---> 159 (15) 237 # 232 ---> 233 (43) 257 # 229 ---> 230 (43) 254 # 48 ---> 228 (48) 263 # 159 ---> 96 (16) 237 # 233 ---> 234 (44) 257 # 230 ---> 231 (44) 254 # 228 ---> 229 (49) 263 # 96 ---> 97 (17) 237 # 234 ---> 235 (45) 257 # 231 ---> 232 (45) 254 # 229 ---> 230 (50) 263 # 97 ---> 98 (18) 237 # 235 ---> 236 (46) 257 # 232 ---> 233 (46) 254 # 230 ---> 231 (51) 263 # 98 ---> 99 (19) 259 # 23 ---> 22 (45) 268 # 29 ---> 28 (46) 249 # 41 ---> 40 (43) 238 # 42 ---> 41 (44) 268 # 28 ---> 27 (47) 249 # 40 ---> 39 (44) 238 # 41 ---> 40 (45) 237 # 236 ---> 237 (47) 257 # 233 ---> 234 (47) 254 # 231 ---> 232 (52) 263 # 99 ---> 100 (20) 268 # 27 ---> 26 (48) 268 # 26 ---> 7 (49) 268 # 7 ---> 6 (50) 240 # 94 ---> 28 (47) 244 # 33 ---> 67 (32) 268 # 6 ---> 5 (51) 255 # 10 ---> 9 (28) 268 # 5 ---> 4 (52) 268 # 4 ---> 3 (53) 245 # 93 ---> 94 (47) 260 # 70 ---> 93 (47) 252 # 34 ---> 33 (32) 246 # 31 ---> 30 (45) 240 # 28 ---> 27 (48) 246 # 30 ---> 29 (46) 240 # 27 ---> 26 (49) 246 # 29 ---> 28 (48) 240 # 26 ---> 7 (50) 246 # 28 ---> 27 (49) 240 # 7 ---> 8 (51) 246 # 27 ---> 26 (50) 245 # 94 ---> 28 (49) 260 # 93 ---> 94 (49) 246 # 26 ---> 7 (51) 245 # 28 ---> 27 (50) 260 # 94 ---> 28 (50) 268 # 3 ---> 2 (54) 246 # 7 ---> 6 (52) 245 # 27 ---> 26 (51) 260 # 28 ---> 27 (51) 264 # 71 ---> 72 (0) 264 # 72 ---> 73 (1) 264 # 73 ---> 74 (2) 264 # 74 ---> 75 (3) 264 # 75 ---> 11 (24) 264 # 11 ---> 12 (25) 264 # 12 ---> 77 (26) 264 # 77 ---> 76 (27) 264 # 76 ---> 3 (54) 264 # 3 ---> 4 (55) 264 # 4 ---> 171 (56) 264 # 171 ---> 215 (57) 246 # 6 ---> 5 (53) 240 # 8 ---> 7 (52) 255 # 9 ---> 8 (52) 268 # 2 ---> 1 (55) 246 # 5 ---> 4 (56) 240 # 7 ---> 6 (53) 255 # 8 ---> 7 (53) 268 # 1 ---> 0 (56) 246 # 4 ---> 3 (57) 240 # 6 ---> 5 (56) 255 # 7 ---> 6 (56) 246 # 3 ---> 2 (58) 240 # 5 ---> 4 (57) 255 # 6 ---> 5 (57) 240 # 4 ---> 3 (58) 255 # 5 ---> 4 (58) 255 # 4 ---> 171 (59) 264 # 215 ---> 216 (58) 255 # 171 ---> 215 (60) 264 # 216 ---> 217 (59) 255 # 215 ---> 216 (61) 240 # 3 ---> 4 (59) 264 # 217 ---> 218 (60) 255 # 216 ---> 217 (62) 245 # 26 ---> 7 (56) 260 # 27 ---> 26 (56) 250 # 53 ---> 54 (27) 266 # 211 ---> 212 (0) 250 # 54 ---> 55 (28) 266 # 212 ---> 213 (1) 250 # 55 ---> 210 (29) 266 # 213 ---> 214 (2) 250 # 210 ---> 211 (30) 266 # 214 ---> 131 (3) 250 # 211 ---> 212 (31) 245 # 7 ---> 8 (57) 264 # 218 ---> 219 (61) 255 # 217 ---> 218 (63) 260 # 26 ---> 7 (57) 266 # 131 ---> 130 (4) 264 # 219 ---> 220 (62) 255 # 218 ---> 219 (64) 250 # 212 ---> 213 (32) 245 # 8 ---> 25 (58) 243 # 84 ---> 35 (40) 236 # 80 ---> 81 (40) 245 # 25 ---> 24 (59) 243 # 35 ---> 36 (41) 236 # 81 ---> 82 (41) 245 # 24 ---> 23 (60) 243 # 36 ---> 9 (52) 236 # 82 ---> 83 (42) 245 # 23 ---> 51 (61) 243 # 9 ---> 8 (58) 236 # 83 ---> 84 (43) 265 # 78 ---> 79 (39) 245 # 51 ---> 50 (62) 243 # 8 ---> 25 (59) 236 # 84 ---> 35 (44) 265 # 79 ---> 80 (40) 245 # 50 ---> 49 (63) 243 # 25 ---> 24 (60) 250 # 213 ---> 214 (33) 250 # 214 ---> 131 (34) 236 # 35 ---> 34 (45) 250 # 131 ---> 132 (35) 240 # 4 ---> 20 (60) 260 # 7 ---> 6 (58) 250 # 132 ---> 89 (36) 245 # 49 ---> 48 (64) 265 # 80 ---> 81 (41) 245 # 48 ---> 47 (65) 265 # 81 ---> 82 (42) 245 # 47 ---> 46 (66) 265 # 82 ---> 83 (43) 245 # 46 ---> 45 (67) 265 # 83 ---> 84 (44) 245 # 45 ---> 78 (68) 265 # 84 ---> 35 (45) 245 # 78 ---> 79 (69) 265 # 35 ---> 36 (52) 265 # 36 ---> 9 (58) 253 # 204 ---> 205 (0) 265 # 9 ---> 8 (59) 265 # 8 ---> 7 (60) 253 # 205 ---> 206 (1) 265 # 7 ---> 26 (61) 253 # 206 ---> 207 (2) 268 # 0 ---> 16 (57) 268 # 16 ---> 15 (58) 268 # 15 ---> 14 (59) 246 # 2 ---> 1 (59) 268 # 14 ---> 13 (60) 246 # 1 ---> 0 (60) 260 # 6 ---> 5 (59) 268 # 13 ---> 12 (61) 246 # 0 ---> 16 (61) 260 # 5 ---> 4 (60) 268 # 12 ---> 11 (62) 246 # 16 ---> 15 (62) 253 # 207 ---> 208 (3) 245 # 79 ---> 177 (70) 268 # 11 ---> 10 (63) 246 # 15 ---> 14 (63) 260 # 4 ---> 3 (61) 268 # 10 ---> 9 (64) 246 # 14 ---> 13 (64) 260 # 3 ---> 2 (62) 268 # 9 ---> 8 (65) 246 # 13 ---> 12 (65) 260 # 2 ---> 1 (63) 268 # 8 ---> 7 (66) 246 # 12 ---> 11 (66) 260 # 1 ---> 0 (64) 268 # 7 ---> 6 (67) 246 # 11 ---> 10 (67) 260 # 0 ---> 16 (65) 268 # 6 ---> 5 (68) 246 # 10 ---> 9 (68) 260 # 16 ---> 15 (66) 253 # 208 ---> 209 (4) 267 # 121 ---> 120 (1) 267 # 120 ---> 66 (8) 253 # 209 ---> 163 (5) 253 # 163 ---> 162 (6) 259 # 22 ---> 23 (61) 260 # 15 ---> 14 (67) 267 # 66 ---> 1 (64) 259 # 23 ---> 51 (62) 260 # 14 ---> 13 (68) 267 # 1 ---> 0 (65) 259 # 51 ---> 65 (63) 243 # 24 ---> 23 (62) 246 # 9 ---> 8 (69) 260 # 13 ---> 12 (69) 267 # 0 ---> 16 (66) 268 # 5 ---> 4 (69) 246 # 8 ---> 7 (70) 260 # 12 ---> 11 (70) 267 # 16 ---> 15 (67) 259 # 65 ---> 66 (64) 253 # 162 ---> 161 (7) 260 # 11 ---> 10 (71) 267 # 15 ---> 14 (68) 259 # 66 ---> 1 (65) 253 # 161 ---> 160 (8) 267 # 14 ---> 13 (69) 259 # 1 ---> 0 (66) 253 # 160 ---> 103 (10) 259 # 0 ---> 16 (67) 253 # 103 ---> 46 (67) 263 # 100 ---> 101 (21) 249 # 39 ---> 38 (45) 238 # 40 ---> 39 (46) 253 # 46 ---> 45 (68) 268 # 4 ---> 171 (70) 246 # 7 ---> 6 (71) 260 # 10 ---> 9 (72) 267 # 13 ---> 12 (70) 259 # 16 ---> 15 (68) 246 # 6 ---> 5 (72) 246 # 5 ---> 4 (73) 246 # 4 ---> 3 (74) 246 # 3 ---> 2 (75) 246 # 2 ---> 1 (76) 246 # 1 ---> 0 (77) 246 # 0 ---> 16 (78) 246 # 16 ---> 197 (79) 253 # 45 ---> 44 (69) 243 # 23 ---> 51 (63) 249 # 38 ---> 37 (46) 238 # 39 ---> 38 (47) 253 # 44 ---> 43 (70) 243 # 51 ---> 50 (64) 249 # 37 ---> 30 (47) 238 # 38 ---> 37 (48) 253 # 43 ---> 42 (71) 243 # 50 ---> 49 (65) 249 # 30 ---> 29 (48) 238 # 37 ---> 30 (49) 253 # 42 ---> 41 (72) 243 # 49 ---> 48 (66) 253 # 41 ---> 40 (73) 260 # 9 ---> 8 (73) 236 # 34 ---> 35 (52) 238 # 30 ---> 31 (50) 249 # 29 ---> 30 (50) 265 # 26 ---> 27 (62) 260 # 8 ---> 7 (74) 236 # 35 ---> 36 (58) 252 # 33 ---> 34 (52) 238 # 31 ---> 32 (51) 249 # 30 ---> 31 (51) 265 # 27 ---> 28 (63) 260 # 7 ---> 26 (75) 236 # 36 ---> 9 (73) 252 # 34 ---> 35 (58) 238 # 32 ---> 33 (52) 249 # 31 ---> 32 (52) 265 # 28 ---> 29 (64) 236 # 9 ---> 8 (74) 252 # 35 ---> 36 (73) 238 # 33 ---> 34 (58) 265 # 29 ---> 30 (65) 252 # 36 ---> 9 (74) 240 # 20 ---> 4 (74) 240 # 4 ---> 3 (75) 236 # 8 ---> 7 (75) 240 # 3 ---> 2 (76) 245 # 177 ---> 178 (71) 268 # 171 ---> 170 (71) 245 # 178 ---> 179 (72) 268 # 170 ---> 117 (72) 267 # 12 ---> 11 (71) 259 # 15 ---> 14 (69) 240 # 2 ---> 1 (77) 245 # 179 ---> 180 (73) 268 # 117 ---> 118 (73) 262 # 144 ---> 145 (0) 262 # 145 ---> 99 (20) 262 # 99 ---> 100 (21) 265 # 30 ---> 31 (66) 253 # 40 ---> 39 (74) 263 # 101 ---> 102 (22) 262 # 100 ---> 101 (22) 265 # 31 ---> 95 (67) 253 # 39 ---> 38 (75) 263 # 102 ---> 103 (67) 262 # 101 ---> 102 (67) 265 # 95 ---> 96 (68) 253 # 38 ---> 37 (76) 263 # 103 ---> 46 (68) 262 # 102 ---> 103 (68) 265 # 96 ---> 97 (69) 253 # 37 ---> 30 (77) 263 # 46 ---> 45 (69) 262 # 103 ---> 46 (69) 265 # 97 ---> 98 (70) 263 # 45 ---> 44 (70) 262 # 46 ---> 45 (70) 262 # 45 ---> 78 (71) 262 # 78 ---> 79 (72) 245 # 180 ---> 181 (74) 262 # 79 ---> 177 (73) 268 # 118 ---> 119 (74) 267 # 11 ---> 64 (72) 245 # 181 ---> 182 (75) 262 # 177 ---> 178 (74) 268 # 119 ---> 46 (75) 239 # 85 ---> 11 (72) 239 # 11 ---> 10 (73) 240 # 1 ---> 0 (78) 252 # 9 ---> 8 (75) 239 # 10 ---> 9 (75) 252 # 8 ---> 25 (76) 239 # 9 ---> 36 (76) 249 # 32 ---> 31 (67) 239 # 36 ---> 35 (77) 239 # 35 ---> 84 (78) 239 # 84 ---> 83 (79) 239 # 83 ---> 82 (80) 239 # 82 ---> 81 (81) 239 # 81 ---> 80 (82) 239 # 80 ---> 79 (83) 245 # 182 ---> 183 (76) 262 # 178 ---> 179 (75) 239 # 79 ---> 177 (84) 268 # 46 ---> 45 (76) 265 # 98 ---> 99 (71) 249 # 31 ---> 95 (68) 263 # 44 ---> 43 (71) 268 # 45 ---> 44 (77) 245 # 183 ---> 184 (77) 262 # 179 ---> 180 (76) 239 # 177 ---> 178 (85) 245 # 184 ---> 185 (78) 262 # 180 ---> 181 (77) 239 # 178 ---> 179 (86) 245 # 185 ---> 186 (79) 262 # 181 ---> 182 (78) 239 # 179 ---> 180 (87) 244 # 67 ---> 33 (58) 238 # 34 ---> 35 (78) 244 # 33 ---> 34 (78) 238 # 35 ---> 36 (79) 244 # 34 ---> 35 (79) 244 # 35 ---> 84 (80) 244 # 84 ---> 83 (81) 244 # 83 ---> 82 (82) 244 # 82 ---> 81 (83) 244 # 81 ---> 80 (84) 244 # 80 ---> 79 (85) 245 # 186 ---> 187 (80) 262 # 182 ---> 183 (79) 239 # 180 ---> 181 (88) 244 # 79 ---> 177 (86) 245 # 187 ---> 188 (81) 262 # 183 ---> 184 (80) 239 # 181 ---> 182 (89) 244 # 177 ---> 178 (87) 253 # 30 ---> 29 (78) 238 # 36 ---> 35 (80) 253 # 29 ---> 28 (79) 238 # 35 ---> 34 (81) 245 # 188 ---> 189 (82) 262 # 184 ---> 185 (81) 239 # 182 ---> 183 (90) 244 # 178 ---> 179 (88) 265 # 99 ---> 100 (72) 265 # 100 ---> 101 (73) 249 # 95 ---> 96 (69) 263 # 43 ---> 42 (72) 268 # 44 ---> 43 (78) 265 # 101 ---> 102 (74) 249 # 96 ---> 97 (70) 265 # 102 ---> 103 (75) 249 # 97 ---> 98 (71) 265 # 103 ---> 46 (76) 249 # 98 ---> 99 (72) 265 # 46 ---> 45 (77) 249 # 99 ---> 100 (73) 265 # 45 ---> 44 (78) 245 # 189 ---> 5 (83) 262 # 185 ---> 186 (82) 239 # 183 ---> 184 (91) 244 # 179 ---> 180 (89) 267 # 64 ---> 63 (73) 267 # 63 ---> 62 (74) 267 # 62 ---> 91 (75) 253 # 28 ---> 27 (80) 267 # 91 ---> 92 (76) 236 # 7 ---> 8 (76) 260 # 26 ---> 7 (76) 253 # 27 ---> 26 (81) 267 # 92 ---> 30 (78) 236 # 8 ---> 9 (77) 260 # 7 ---> 8 (77) 253 # 26 ---> 7 (82) 267 # 30 ---> 29 (79) 240 # 0 ---> 16 (79) 240 # 16 ---> 15 (80) 240 # 15 ---> 124 (81) 240 # 124 ---> 123 (82) 240 # 123 ---> 36 (83) 240 # 36 ---> 35 (84) 238 # 34 ---> 33 (82) 240 # 35 ---> 34 (85) 236 # 9 ---> 36 (84) 260 # 8 ---> 9 (84) 238 # 33 ---> 32 (83) 240 # 34 ---> 33 (86) 236 # 36 ---> 35 (85) 260 # 9 ---> 36 (85) 238 # 32 ---> 31 (84) 240 # 33 ---> 32 (87) 236 # 35 ---> 34 (86) 260 # 36 ---> 35 (86) 238 # 31 ---> 30 (85) 240 # 32 ---> 31 (88) 240 # 31 ---> 95 (89) 240 # 95 ---> 96 (90) 240 # 96 ---> 97 (91) 240 # 97 ---> 172 (92) 243 # 48 ---> 47 (67) 259 # 14 ---> 15 (81) 259 # 15 ---> 16 (82) 253 # 7 ---> 8 (84) 252 # 25 ---> 24 (77) 253 # 8 ---> 25 (85) 252 # 24 ---> 23 (78) 253 # 25 ---> 24 (86) 252 # 23 ---> 22 (79) 253 # 24 ---> 23 (87) 253 # 23 ---> 51 (88) 253 # 51 ---> 50 (89) 253 # 50 ---> 49 (90) 253 # 49 ---> 48 (91) 243 # 47 ---> 46 (77) 253 # 48 ---> 47 (92) 243 # 46 ---> 45 (78) 253 # 47 ---> 46 (93) 253 # 46 ---> 119 (94) 253 # 119 ---> 118 (95) 253 # 118 ---> 117 (96) 253 # 117 ---> 170 (97) 252 # 22 ---> 23 (88) 249 # 100 ---> 101 (74) 249 # 101 ---> 102 (75) 243 # 45 ---> 46 (94) 243 # 46 ---> 47 (95) 243 # 47 ---> 48 (96) 265 # 44 ---> 45 (94) 243 # 48 ---> 49 (97) 265 # 45 ---> 46 (95) 243 # 49 ---> 50 (98) 265 # 46 ---> 47 (96) 268 # 43 ---> 44 (94) 263 # 42 ---> 43 (94) 238 # 30 ---> 37 (86) 260 # 35 ---> 84 (87) 236 # 34 ---> 35 (87) 268 # 44 ---> 45 (95) 263 # 43 ---> 44 (95) 238 # 37 ---> 38 (87) 238 # 38 ---> 39 (88) 238 # 39 ---> 40 (89) 238 # 40 ---> 41 (90) 238 # 41 ---> 42 (94) 238 # 42 ---> 43 (95) 265 # 47 ---> 48 (97) 268 # 45 ---> 46 (96) 263 # 44 ---> 45 (96) 238 # 43 ---> 44 (96) 265 # 48 ---> 49 (98) 268 # 46 ---> 47 (97) 263 # 45 ---> 46 (97) 238 # 44 ---> 45 (97) 268 # 47 ---> 48 (98) 263 # 46 ---> 47 (98) 238 # 45 ---> 46 (98) 238 # 46 ---> 103 (99) 238 # 103 ---> 160 (100) 245 # 5 ---> 4 (84) 263 # 47 ---> 46 (99) 268 # 48 ---> 47 (99) 263 # 46 ---> 45 (100) 268 # 47 ---> 46 (100) 265 # 49 ---> 48 (99) 263 # 45 ---> 44 (101) 268 # 46 ---> 45 (101) 265 # 48 ---> 47 (100) 267 # 29 ---> 28 (80) 263 # 44 ---> 43 (102) 268 # 45 ---> 44 (102) 265 # 47 ---> 46 (101) 267 # 28 ---> 27 (81) 263 # 43 ---> 42 (103) 268 # 44 ---> 43 (103) 265 # 46 ---> 45 (102) 267 # 27 ---> 26 (82) 238 # 160 ---> 161 (101) 267 # 26 ---> 7 (84) 263 # 42 ---> 41 (104) 268 # 43 ---> 42 (104) 265 # 45 ---> 44 (103) 267 # 7 ---> 8 (85) 263 # 41 ---> 40 (105) 268 # 42 ---> 41 (105) 265 # 44 ---> 43 (104) 263 # 40 ---> 39 (106) 268 # 41 ---> 40 (106) 265 # 43 ---> 42 (105) 238 # 161 ---> 162 (102) 249 # 102 ---> 103 (100) 252 # 23 ---> 24 (89) 260 # 84 ---> 83 (88) 252 # 24 ---> 25 (90) 260 # 83 ---> 82 (89) 236 # 35 ---> 84 (88) 267 # 8 ---> 9 (86) 252 # 25 ---> 8 (91) 260 # 82 ---> 81 (90) 236 # 84 ---> 83 (89) 249 # 103 ---> 46 (102) 263 # 39 ---> 38 (107) 268 # 40 ---> 39 (107) 265 # 42 ---> 41 (106) 249 # 46 ---> 45 (103) 263 # 38 ---> 37 (108) 268 # 39 ---> 38 (108) 265 # 41 ---> 40 (107) 249 # 45 ---> 44 (104) 256 # 156 ---> 157 (0) 263 # 37 ---> 30 (109) 268 # 38 ---> 37 (109) 265 # 40 ---> 39 (108) 249 # 44 ---> 43 (105) 263 # 30 ---> 29 (110) 268 # 37 ---> 30 (110) 265 # 39 ---> 38 (109) 249 # 43 ---> 42 (106) 263 # 29 ---> 28 (111) 268 # 30 ---> 29 (111) 265 # 38 ---> 37 (110) 249 # 42 ---> 41 (107) 265 # 37 ---> 30 (111) 256 # 157 ---> 158 (1) 256 # 158 ---> 159 (16) 256 # 159 ---> 96 (91) 256 # 96 ---> 95 (92) 256 # 95 ---> 31 (93) 256 # 31 ---> 32 (94) 252 # 8 ---> 7 (92) 267 # 9 ---> 8 (92) 256 # 32 ---> 33 (95) 265 # 30 ---> 31 (112) 268 # 29 ---> 30 (112) 268 # 30 ---> 92 (113) 268 # 92 ---> 91 (114) 268 # 91 ---> 62 (115) 268 # 62 ---> 61 (116) 268 # 61 ---> 104 (117) 268 # 104 ---> 105 (118) 268 # 105 ---> 106 (119) 268 # 106 ---> 107 (120) 268 # 107 ---> 146 (121) 265 # 31 ---> 30 (113) 268 # 146 ---> 147 (122) 265 # 30 ---> 92 (114) 242 # 116 ---> 117 (97) 242 # 117 ---> 118 (98) 242 # 118 ---> 119 (99) 242 # 119 ---> 46 (103) 242 # 46 ---> 45 (104) 242 # 45 ---> 78 (105) 242 # 78 ---> 79 (106) 242 # 79 ---> 80 (107) 242 # 80 ---> 107 (121) 268 # 147 ---> 148 (123) 242 # 107 ---> 146 (122) 265 # 92 ---> 91 (115) 263 # 28 ---> 29 (112) 263 # 29 ---> 30 (114) 268 # 148 ---> 149 (124) 242 # 146 ---> 147 (123) 265 # 91 ---> 62 (116) 263 # 30 ---> 92 (115) 256 # 33 ---> 34 (96) 256 # 34 ---> 35 (97) 260 # 81 ---> 80 (121) 236 # 83 ---> 82 (90) 256 # 35 ---> 84 (98) 260 # 80 ---> 79 (122) 236 # 82 ---> 81 (121) 260 # 79 ---> 78 (123) 236 # 81 ---> 80 (122) 260 # 78 ---> 45 (124) 236 # 80 ---> 79 (123) 268 # 149 ---> 150 (125) 242 # 147 ---> 148 (124) 265 # 62 ---> 61 (117) 263 # 92 ---> 91 (116) 266 # 130 ---> 131 (35) 250 # 89 ---> 90 (37) 266 # 131 ---> 132 (36) 250 # 90 ---> 9 (92) 260 # 45 ---> 46 (125) 236 # 79 ---> 78 (124) 236 # 78 ---> 45 (125) 268 # 150 ---> 151 (126) 242 # 148 ---> 149 (125) 265 # 61 ---> 104 (118) 263 # 91 ---> 62 (117) 249 # 41 ---> 40 (108) 249 # 40 ---> 39 (109) 249 # 39 ---> 38 (110) 249 # 38 ---> 37 (111) 267 # 8 ---> 25 (93) 267 # 25 ---> 24 (94) 268 # 151 ---> 152 (127) 242 # 149 ---> 150 (126) 265 # 104 ---> 105 (119) 263 # 62 ---> 61 (118) 268 # 152 ---> 153 (128) 242 # 150 ---> 151 (127) 265 # 105 ---> 106 (120) 263 # 61 ---> 104 (119) 267 # 24 ---> 23 (95) 250 # 9 ---> 10 (93) 252 # 7 ---> 8 (93) 259 # 16 ---> 0 (83) 252 # 8 ---> 9 (94) 249 # 37 ---> 30 (115) 249 # 30 ---> 29 (116) 249 # 29 ---> 28 (117) 249 # 28 ---> 27 (118) 249 # 27 ---> 26 (119) 249 # 26 ---> 7 (120) 249 # 7 ---> 8 (121) 249 # 8 ---> 25 (122) 249 # 25 ---> 24 (123) 249 # 24 ---> 122 (124) 249 # 122 ---> 121 (125) 249 # 121 ---> 120 (126) 249 # 120 ---> 138 (127) 249 # 138 ---> 139 (128) 243 # 50 ---> 51 (99) 249 # 139 ---> 140 (129) 243 # 51 ---> 65 (100) 249 # 140 ---> 141 (130) 243 # 65 ---> 66 (101) 249 # 141 ---> 142 (131) 249 # 142 ---> 143 (132) 243 # 66 ---> 120 (127) 252 # 9 ---> 36 (95) 252 # 36 ---> 35 (98) 252 # 35 ---> 34 (99) 256 # 84 ---> 35 (99) 266 # 132 ---> 89 (37) 260 # 46 ---> 47 (126) 260 # 47 ---> 48 (127) 236 # 45 ---> 46 (126) 267 # 23 ---> 24 (124) 260 # 48 ---> 49 (128) 236 # 46 ---> 47 (127) 267 # 24 ---> 25 (125) 260 # 49 ---> 50 (129) 236 # 47 ---> 48 (128) 267 # 25 ---> 8 (126) 260 # 50 ---> 51 (130) 236 # 48 ---> 49 (129) 267 # 8 ---> 7 (127) 260 # 51 ---> 23 (131) 267 # 7 ---> 6 (128) 259 # 0 ---> 1 (84) 259 # 1 ---> 2 (85) 259 # 2 ---> 3 (86) 259 # 3 ---> 127 (87) 256 # 35 ---> 36 (100) 256 # 36 ---> 9 (101) 252 # 34 ---> 35 (100) 256 # 9 ---> 8 (127) 252 # 35 ---> 36 (101) 256 # 8 ---> 7 (128) 250 # 10 ---> 9 (127) 256 # 7 ---> 26 (129) 250 # 9 ---> 8 (128) 256 # 26 ---> 27 (130) 250 # 8 ---> 7 (129) 252 # 36 ---> 9 (128) 256 # 27 ---> 28 (131) 250 # 7 ---> 26 (130) 252 # 9 ---> 8 (129) 256 # 28 ---> 29 (132) 250 # 26 ---> 27 (131) 252 # 8 ---> 7 (130) 260 # 23 ---> 22 (132) 243 # 120 ---> 121 (128) 256 # 29 ---> 30 (133) 250 # 27 ---> 28 (132) 252 # 7 ---> 26 (131) 236 # 49 ---> 50 (130) 256 # 30 ---> 37 (134) 250 # 28 ---> 29 (133) 252 # 26 ---> 27 (132) 236 # 50 ---> 51 (131) 250 # 29 ---> 30 (134) 243 # 121 ---> 122 (129) 250 # 30 ---> 31 (135) 243 # 122 ---> 24 (130) 236 # 51 ---> 65 (132) 243 # 24 ---> 23 (132) 243 # 23 ---> 51 (133) 256 # 37 ---> 30 (135) 243 # 51 ---> 50 (134) 250 # 31 ---> 32 (136) 252 # 27 ---> 28 (133) 250 # 32 ---> 33 (137) 256 # 30 ---> 31 (136) 252 # 28 ---> 29 (134) 250 # 33 ---> 34 (138) 256 # 31 ---> 32 (137) 252 # 29 ---> 30 (136) 250 # 34 ---> 35 (139) 256 # 32 ---> 33 (138) 250 # 35 ---> 36 (140) 250 # 36 ---> 9 (141) 265 # 106 ---> 107 (122) 263 # 104 ---> 105 (120) 252 # 30 ---> 31 (137) 250 # 9 ---> 8 (142) 250 # 8 ---> 7 (143) 256 # 33 ---> 34 (139) 252 # 31 ---> 32 (138) 250 # 7 ---> 26 (144) 256 # 34 ---> 35 (140) 252 # 32 ---> 33 (139) 250 # 26 ---> 27 (145) 256 # 35 ---> 36 (141) 250 # 27 ---> 28 (146) 256 # 36 ---> 9 (142) 260 # 22 ---> 23 (133) 256 # 9 ---> 10 (143) 256 # 10 ---> 11 (144) 265 # 107 ---> 80 (123) 263 # 105 ---> 106 (122) 265 # 80 ---> 81 (124) 263 # 106 ---> 107 (123) 265 # 81 ---> 82 (125) 263 # 107 ---> 80 (124) 265 # 82 ---> 83 (126) 263 # 80 ---> 81 (125) 265 # 83 ---> 84 (127) 263 # 81 ---> 82 (126) 252 # 33 ---> 67 (140) 252 # 67 ---> 68 (141) 250 # 28 ---> 29 (147) 252 # 68 ---> 69 (142) 250 # 29 ---> 30 (148) 250 # 30 ---> 31 (149) 250 # 31 ---> 32 (150) 267 # 6 ---> 7 (144) 267 # 7 ---> 26 (145) 267 # 26 ---> 27 (146) 267 # 27 ---> 28 (147) 267 # 28 ---> 29 (148) 267 # 29 ---> 30 (149) 267 # 30 ---> 31 (150) 267 # 31 ---> 95 (151) 267 # 95 ---> 96 (152) 267 # 96 ---> 97 (153) 236 # 65 ---> 51 (134) 267 # 97 ---> 98 (154) 265 # 84 ---> 35 (141) 263 # 82 ---> 83 (127) 265 # 35 ---> 36 (142) 263 # 83 ---> 84 (141) 265 # 36 ---> 9 (143) 263 # 84 ---> 35 (142) 250 # 32 ---> 33 (151) 250 # 33 ---> 34 (152) 263 # 35 ---> 36 (143) 250 # 34 ---> 35 (153) 252 # 69 ---> 70 (143) 265 # 9 ---> 10 (144) 260 # 23 ---> 24 (134) 260 # 24 ---> 25 (135) 260 # 25 ---> 8 (143) 260 # 8 ---> 7 (145) 260 # 7 ---> 26 (146) 236 # 51 ---> 23 (135) 260 # 26 ---> 27 (147) 236 # 23 ---> 24 (136) 260 # 27 ---> 28 (148) 236 # 24 ---> 25 (143) 260 # 28 ---> 29 (149) 236 # 25 ---> 8 (145) 236 # 8 ---> 7 (146) 260 # 29 ---> 30 (150) 236 # 7 ---> 26 (147) 263 # 36 ---> 9 (144) 250 # 35 ---> 36 (154) 236 # 26 ---> 27 (148) 263 # 9 ---> 8 (146) 250 # 36 ---> 9 (155) 263 # 8 ---> 7 (147) 263 # 7 ---> 26 (148) 250 # 9 ---> 8 (156) 266 # 89 ---> 90 (92) 266 # 90 ---> 9 (156) 256 # 11 ---> 85 (145) 266 # 9 ---> 36 (157) 256 # 85 ---> 86 (146) 265 # 10 ---> 11 (145) 266 # 36 ---> 35 (158) 266 # 35 ---> 34 (159) 266 # 34 ---> 33 (160) 265 # 11 ---> 12 (146) 265 # 12 ---> 13 (147) 265 # 13 ---> 14 (148) 256 # 86 ---> 87 (147) 256 # 87 ---> 88 (148) 243 # 50 ---> 51 (135) 243 # 51 ---> 23 (136) 243 # 23 ---> 24 (143) 260 # 30 ---> 37 (151) 266 # 33 ---> 32 (161) 250 # 8 ---> 9 (157) 266 # 32 ---> 31 (162) 250 # 9 ---> 36 (158) 266 # 31 ---> 30 (163) 250 # 36 ---> 35 (159) 250 # 35 ---> 34 (160) 243 # 24 ---> 25 (145) 260 # 37 ---> 38 (152) 243 # 25 ---> 8 (157) 260 # 38 ---> 39 (153) 266 # 30 ---> 37 (164) 260 # 39 ---> 40 (154) 266 # 37 ---> 38 (165) 260 # 40 ---> 41 (155) 266 # 38 ---> 39 (166) 260 # 41 ---> 42 (156) 266 # 39 ---> 40 (167) 260 # 42 ---> 43 (157) 266 # 40 ---> 41 (168) 260 # 43 ---> 44 (158) 266 # 41 ---> 42 (169) 260 # 44 ---> 45 (159) 260 # 45 ---> 78 (160) 265 # 14 ---> 15 (149) 260 # 78 ---> 79 (161) 250 # 34 ---> 33 (161) 245 # 4 ---> 3 (87) 245 # 3 ---> 76 (88) 265 # 15 ---> 16 (150) 265 # 16 ---> 0 (151) 265 # 0 ---> 1 (152) 265 # 1 ---> 2 (153) 265 # 2 ---> 3 (154) 245 # 76 ---> 77 (89) 265 # 3 ---> 76 (155) 252 # 70 ---> 71 (144) 252 # 71 ---> 72 (145) 252 # 72 ---> 73 (146) 252 # 73 ---> 74 (147) 250 # 33 ---> 67 (162) 252 # 74 ---> 75 (148) 250 # 67 ---> 68 (163) 266 # 42 ---> 43 (170) 252 # 75 ---> 11 (149) 250 # 68 ---> 69 (164) 250 # 69 ---> 70 (165) 250 # 70 ---> 71 (166) 250 # 71 ---> 72 (167) 266 # 43 ---> 44 (171) 266 # 44 ---> 45 (172) 266 # 45 ---> 46 (173) 266 # 46 ---> 47 (174) 266 # 47 ---> 48 (175) 266 # 48 ---> 49 (176) 266 # 49 ---> 50 (177) 266 # 50 ---> 51 (178) 266 # 51 ---> 65 (179) 252 # 11 ---> 21 (150) 236 # 27 ---> 28 (149) 236 # 28 ---> 29 (150) 236 # 29 ---> 30 (164) 236 # 30 ---> 31 (165) 263 # 26 ---> 27 (149) 263 # 27 ---> 28 (150) 263 # 28 ---> 29 (164) 263 # 29 ---> 30 (165) 263 # 30 ---> 37 (166) 263 # 37 ---> 38 (167) 263 # 38 ---> 39 (168) 263 # 39 ---> 40 (169) 263 # 40 ---> 41 (170) 263 # 41 ---> 42 (171) 263 # 42 ---> 43 (172) 236 # 31 ---> 32 (166) 236 # 32 ---> 33 (167) 236 # 33 ---> 34 (168) 252 # 21 ---> 22 (151) 236 # 34 ---> 35 (169) 236 # 35 ---> 36 (170) 243 # 8 ---> 7 (158) 243 # 7 ---> 6 (159) 236 # 36 ---> 9 (171) 236 # 9 ---> 8 (172) 236 # 8 ---> 7 (173) 236 # 7 ---> 26 (174) 236 # 26 ---> 27 (175) 252 # 22 ---> 23 (152) 252 # 23 ---> 24 (153) 252 # 24 ---> 25 (157) 252 # 25 ---> 8 (173) 252 # 8 ---> 7 (174) 236 # 27 ---> 28 (176) 252 # 7 ---> 26 (175) 236 # 28 ---> 29 (177) 252 # 26 ---> 27 (176) 243 # 6 ---> 5 (160) 243 # 5 ---> 4 (161) 243 # 4 ---> 3 (162) 243 # 3 ---> 2 (163) 243 # 2 ---> 1 (164) 243 # 1 ---> 0 (165) 243 # 0 ---> 16 (166) 243 # 16 ---> 15 (167) 243 # 15 ---> 14 (168) 243 # 14 ---> 13 (169) 243 # 13 ---> 12 (170) 253 # 170 ---> 171 (98) 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 = 0x7fff3049e220, target = 0x6e36a0) Arc: (edge = 0x7fff3049e220, target = 0x6e3680) ] Edge 0 <-> 16 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3880) Arc: (edge = 0x7fff3049e220, target = 0x6e3680) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fff3049e220, target = 0x6e36c0) Arc: (edge = 0x7fff3049e220, target = 0x6e36a0) ] Edge 1 <-> 66 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ec0) Arc: (edge = 0x7fff3049e220, target = 0x6e36a0) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fff3049e220, target = 0x6e36e0) Arc: (edge = 0x7fff3049e220, target = 0x6e36c0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3700) Arc: (edge = 0x7fff3049e220, target = 0x6e36e0) ] Edge 3 <-> 76 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4000) Arc: (edge = 0x7fff3049e220, target = 0x6e36e0) ] Edge 3 <-> 127 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4660) Arc: (edge = 0x7fff3049e220, target = 0x6e36e0) ] Edge 3 <-> 196 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4f00) Arc: (edge = 0x7fff3049e220, target = 0x6e36e0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3720) Arc: (edge = 0x7fff3049e220, target = 0x6e3700) ] Edge 4 <-> 20 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3900) Arc: (edge = 0x7fff3049e220, target = 0x6e3700) ] Edge 4 <-> 171 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4be0) Arc: (edge = 0x7fff3049e220, target = 0x6e3700) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3740) Arc: (edge = 0x7fff3049e220, target = 0x6e3720) ] Edge 5 <-> 189 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4e20) Arc: (edge = 0x7fff3049e220, target = 0x6e3720) ] Edge 6 <-> 7 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3760) Arc: (edge = 0x7fff3049e220, target = 0x6e3740) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3780) Arc: (edge = 0x7fff3049e220, target = 0x6e3760) ] Edge 7 <-> 26 [ Arc: (edge = 0x7fff3049e220, target = 0x6e39c0) Arc: (edge = 0x7fff3049e220, target = 0x6e3760) ] Edge 8 <-> 9 [ Arc: (edge = 0x7fff3049e220, target = 0x6e37a0) Arc: (edge = 0x7fff3049e220, target = 0x6e3780) ] Edge 8 <-> 25 [ Arc: (edge = 0x7fff3049e220, target = 0x6e39a0) Arc: (edge = 0x7fff3049e220, target = 0x6e3780) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fff3049e220, target = 0x6e37c0) Arc: (edge = 0x7fff3049e220, target = 0x6e37a0) ] Edge 9 <-> 36 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3b00) Arc: (edge = 0x7fff3049e220, target = 0x6e37a0) ] Edge 9 <-> 90 [ Arc: (edge = 0x7fff3049e220, target = 0x6e41c0) Arc: (edge = 0x7fff3049e220, target = 0x6e37a0) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fff3049e220, target = 0x6e37e0) Arc: (edge = 0x7fff3049e220, target = 0x6e37c0) ] Edge 10 <-> 137 [ Arc: (edge = 0x7fff3049e220, target = 0x6e47a0) Arc: (edge = 0x7fff3049e220, target = 0x6e37c0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3800) Arc: (edge = 0x7fff3049e220, target = 0x6e37e0) ] Edge 11 <-> 21 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3920) Arc: (edge = 0x7fff3049e220, target = 0x6e37e0) ] Edge 11 <-> 64 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3e80) Arc: (edge = 0x7fff3049e220, target = 0x6e37e0) ] Edge 11 <-> 75 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3fe0) Arc: (edge = 0x7fff3049e220, target = 0x6e37e0) ] Edge 11 <-> 85 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4120) Arc: (edge = 0x7fff3049e220, target = 0x6e37e0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3820) Arc: (edge = 0x7fff3049e220, target = 0x6e3800) ] Edge 12 <-> 77 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4020) Arc: (edge = 0x7fff3049e220, target = 0x6e3800) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3840) Arc: (edge = 0x7fff3049e220, target = 0x6e3820) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3860) Arc: (edge = 0x7fff3049e220, target = 0x6e3840) ] Edge 14 <-> 125 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4620) Arc: (edge = 0x7fff3049e220, target = 0x6e3840) ] Edge 15 <-> 16 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3880) Arc: (edge = 0x7fff3049e220, target = 0x6e3860) ] Edge 15 <-> 124 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4600) Arc: (edge = 0x7fff3049e220, target = 0x6e3860) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff3049e220, target = 0x6e38a0) Arc: (edge = 0x7fff3049e220, target = 0x6e3880) ] Edge 16 <-> 197 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4f20) Arc: (edge = 0x7fff3049e220, target = 0x6e3880) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fff3049e220, target = 0x6e38c0) Arc: (edge = 0x7fff3049e220, target = 0x6e38a0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff3049e220, target = 0x6e38e0) Arc: (edge = 0x7fff3049e220, target = 0x6e38c0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3900) Arc: (edge = 0x7fff3049e220, target = 0x6e38e0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3940) Arc: (edge = 0x7fff3049e220, target = 0x6e3920) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3960) Arc: (edge = 0x7fff3049e220, target = 0x6e3940) ] Edge 23 <-> 24 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3980) Arc: (edge = 0x7fff3049e220, target = 0x6e3960) ] Edge 23 <-> 51 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ce0) Arc: (edge = 0x7fff3049e220, target = 0x6e3960) ] Edge 23 <-> 176 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4c80) Arc: (edge = 0x7fff3049e220, target = 0x6e3960) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff3049e220, target = 0x6e39a0) Arc: (edge = 0x7fff3049e220, target = 0x6e3980) ] Edge 24 <-> 122 [ Arc: (edge = 0x7fff3049e220, target = 0x6e45c0) Arc: (edge = 0x7fff3049e220, target = 0x6e3980) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fff3049e220, target = 0x6e39e0) Arc: (edge = 0x7fff3049e220, target = 0x6e39c0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3a00) Arc: (edge = 0x7fff3049e220, target = 0x6e39e0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3a20) Arc: (edge = 0x7fff3049e220, target = 0x6e3a00) ] Edge 28 <-> 94 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4240) Arc: (edge = 0x7fff3049e220, target = 0x6e3a00) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3a40) Arc: (edge = 0x7fff3049e220, target = 0x6e3a20) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3a60) Arc: (edge = 0x7fff3049e220, target = 0x6e3a40) ] Edge 30 <-> 37 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3b20) Arc: (edge = 0x7fff3049e220, target = 0x6e3a40) ] Edge 30 <-> 92 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4200) Arc: (edge = 0x7fff3049e220, target = 0x6e3a40) ] Edge 31 <-> 32 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3a80) Arc: (edge = 0x7fff3049e220, target = 0x6e3a60) ] Edge 31 <-> 95 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4260) Arc: (edge = 0x7fff3049e220, target = 0x6e3a60) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3aa0) Arc: (edge = 0x7fff3049e220, target = 0x6e3a80) ] Edge 33 <-> 34 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ac0) Arc: (edge = 0x7fff3049e220, target = 0x6e3aa0) ] Edge 33 <-> 67 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ee0) Arc: (edge = 0x7fff3049e220, target = 0x6e3aa0) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ae0) Arc: (edge = 0x7fff3049e220, target = 0x6e3ac0) ] Edge 34 <-> 52 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3d00) Arc: (edge = 0x7fff3049e220, target = 0x6e3ac0) ] Edge 35 <-> 36 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3b00) Arc: (edge = 0x7fff3049e220, target = 0x6e3ae0) ] Edge 35 <-> 84 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4100) Arc: (edge = 0x7fff3049e220, target = 0x6e3ae0) ] Edge 36 <-> 123 [ Arc: (edge = 0x7fff3049e220, target = 0x6e45e0) Arc: (edge = 0x7fff3049e220, target = 0x6e3b00) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3b40) Arc: (edge = 0x7fff3049e220, target = 0x6e3b20) ] Edge 38 <-> 39 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3b60) Arc: (edge = 0x7fff3049e220, target = 0x6e3b40) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3b80) Arc: (edge = 0x7fff3049e220, target = 0x6e3b60) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ba0) Arc: (edge = 0x7fff3049e220, target = 0x6e3b80) ] Edge 41 <-> 42 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3bc0) Arc: (edge = 0x7fff3049e220, target = 0x6e3ba0) ] Edge 42 <-> 43 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3be0) Arc: (edge = 0x7fff3049e220, target = 0x6e3bc0) ] Edge 43 <-> 44 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3c00) Arc: (edge = 0x7fff3049e220, target = 0x6e3be0) ] Edge 44 <-> 45 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3c20) Arc: (edge = 0x7fff3049e220, target = 0x6e3c00) ] Edge 45 <-> 46 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3c40) Arc: (edge = 0x7fff3049e220, target = 0x6e3c20) ] Edge 45 <-> 78 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4040) Arc: (edge = 0x7fff3049e220, target = 0x6e3c20) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3c60) Arc: (edge = 0x7fff3049e220, target = 0x6e3c40) ] Edge 46 <-> 103 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4360) Arc: (edge = 0x7fff3049e220, target = 0x6e3c40) ] Edge 46 <-> 119 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4560) Arc: (edge = 0x7fff3049e220, target = 0x6e3c40) ] Edge 47 <-> 48 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3c80) Arc: (edge = 0x7fff3049e220, target = 0x6e3c60) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ca0) Arc: (edge = 0x7fff3049e220, target = 0x6e3c80) ] Edge 48 <-> 228 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5300) Arc: (edge = 0x7fff3049e220, target = 0x6e3c80) ] Edge 48 <-> 242 [ Arc: (edge = 0x7fff3049e220, target = 0x6e54c0) Arc: (edge = 0x7fff3049e220, target = 0x6e3c80) ] Edge 49 <-> 50 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3cc0) Arc: (edge = 0x7fff3049e220, target = 0x6e3ca0) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ce0) Arc: (edge = 0x7fff3049e220, target = 0x6e3cc0) ] Edge 51 <-> 65 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ea0) Arc: (edge = 0x7fff3049e220, target = 0x6e3ce0) ] Edge 52 <-> 53 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3d20) Arc: (edge = 0x7fff3049e220, target = 0x6e3d00) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3d40) Arc: (edge = 0x7fff3049e220, target = 0x6e3d20) ] Edge 53 <-> 108 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4400) Arc: (edge = 0x7fff3049e220, target = 0x6e3d20) ] Edge 54 <-> 55 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3d60) Arc: (edge = 0x7fff3049e220, target = 0x6e3d40) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3d80) Arc: (edge = 0x7fff3049e220, target = 0x6e3d60) ] Edge 55 <-> 210 [ Arc: (edge = 0x7fff3049e220, target = 0x6e50c0) Arc: (edge = 0x7fff3049e220, target = 0x6e3d60) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3da0) Arc: (edge = 0x7fff3049e220, target = 0x6e3d80) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3dc0) Arc: (edge = 0x7fff3049e220, target = 0x6e3da0) ] Edge 58 <-> 59 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3de0) Arc: (edge = 0x7fff3049e220, target = 0x6e3dc0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3e00) Arc: (edge = 0x7fff3049e220, target = 0x6e3de0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3e20) Arc: (edge = 0x7fff3049e220, target = 0x6e3e00) ] Edge 60 <-> 126 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4640) Arc: (edge = 0x7fff3049e220, target = 0x6e3e00) ] Edge 61 <-> 62 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3e40) Arc: (edge = 0x7fff3049e220, target = 0x6e3e20) ] Edge 61 <-> 104 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4380) Arc: (edge = 0x7fff3049e220, target = 0x6e3e20) ] Edge 62 <-> 63 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3e60) Arc: (edge = 0x7fff3049e220, target = 0x6e3e40) ] Edge 62 <-> 91 [ Arc: (edge = 0x7fff3049e220, target = 0x6e41e0) Arc: (edge = 0x7fff3049e220, target = 0x6e3e40) ] Edge 63 <-> 64 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3e80) Arc: (edge = 0x7fff3049e220, target = 0x6e3e60) ] Edge 65 <-> 66 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3ec0) Arc: (edge = 0x7fff3049e220, target = 0x6e3ea0) ] Edge 66 <-> 120 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4580) Arc: (edge = 0x7fff3049e220, target = 0x6e3ec0) ] Edge 67 <-> 68 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3f00) Arc: (edge = 0x7fff3049e220, target = 0x6e3ee0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3f20) Arc: (edge = 0x7fff3049e220, target = 0x6e3f00) ] Edge 69 <-> 70 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3f40) Arc: (edge = 0x7fff3049e220, target = 0x6e3f20) ] Edge 69 <-> 133 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4720) Arc: (edge = 0x7fff3049e220, target = 0x6e3f20) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3f60) Arc: (edge = 0x7fff3049e220, target = 0x6e3f40) ] Edge 70 <-> 93 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4220) Arc: (edge = 0x7fff3049e220, target = 0x6e3f40) ] Edge 70 <-> 227 [ Arc: (edge = 0x7fff3049e220, target = 0x6e52e0) Arc: (edge = 0x7fff3049e220, target = 0x6e3f40) ] Edge 71 <-> 72 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3f80) Arc: (edge = 0x7fff3049e220, target = 0x6e3f60) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3fa0) Arc: (edge = 0x7fff3049e220, target = 0x6e3f80) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3fc0) Arc: (edge = 0x7fff3049e220, target = 0x6e3fa0) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fff3049e220, target = 0x6e3fe0) Arc: (edge = 0x7fff3049e220, target = 0x6e3fc0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4020) Arc: (edge = 0x7fff3049e220, target = 0x6e4000) ] Edge 78 <-> 79 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4060) Arc: (edge = 0x7fff3049e220, target = 0x6e4040) ] Edge 79 <-> 80 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4080) Arc: (edge = 0x7fff3049e220, target = 0x6e4060) ] Edge 79 <-> 177 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ca0) Arc: (edge = 0x7fff3049e220, target = 0x6e4060) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff3049e220, target = 0x6e40a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4080) ] Edge 80 <-> 107 [ Arc: (edge = 0x7fff3049e220, target = 0x6e43e0) Arc: (edge = 0x7fff3049e220, target = 0x6e4080) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fff3049e220, target = 0x6e40c0) Arc: (edge = 0x7fff3049e220, target = 0x6e40a0) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fff3049e220, target = 0x6e40e0) Arc: (edge = 0x7fff3049e220, target = 0x6e40c0) ] Edge 83 <-> 84 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4100) Arc: (edge = 0x7fff3049e220, target = 0x6e40e0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4140) Arc: (edge = 0x7fff3049e220, target = 0x6e4120) ] Edge 86 <-> 87 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4160) Arc: (edge = 0x7fff3049e220, target = 0x6e4140) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4180) Arc: (edge = 0x7fff3049e220, target = 0x6e4160) ] Edge 88 <-> 89 [ Arc: (edge = 0x7fff3049e220, target = 0x6e41a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4180) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fff3049e220, target = 0x6e41c0) Arc: (edge = 0x7fff3049e220, target = 0x6e41a0) ] Edge 89 <-> 132 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4700) Arc: (edge = 0x7fff3049e220, target = 0x6e41a0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4200) Arc: (edge = 0x7fff3049e220, target = 0x6e41e0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4240) Arc: (edge = 0x7fff3049e220, target = 0x6e4220) ] Edge 94 <-> 190 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4e40) Arc: (edge = 0x7fff3049e220, target = 0x6e4240) ] Edge 95 <-> 96 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4280) Arc: (edge = 0x7fff3049e220, target = 0x6e4260) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff3049e220, target = 0x6e42a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4280) ] Edge 96 <-> 159 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4a60) Arc: (edge = 0x7fff3049e220, target = 0x6e4280) ] Edge 97 <-> 98 [ Arc: (edge = 0x7fff3049e220, target = 0x6e42c0) Arc: (edge = 0x7fff3049e220, target = 0x6e42a0) ] Edge 97 <-> 172 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4c00) Arc: (edge = 0x7fff3049e220, target = 0x6e42a0) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fff3049e220, target = 0x6e42e0) Arc: (edge = 0x7fff3049e220, target = 0x6e42c0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4300) Arc: (edge = 0x7fff3049e220, target = 0x6e42e0) ] Edge 99 <-> 145 [ Arc: (edge = 0x7fff3049e220, target = 0x6e48a0) Arc: (edge = 0x7fff3049e220, target = 0x6e42e0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4320) Arc: (edge = 0x7fff3049e220, target = 0x6e4300) ] Edge 101 <-> 102 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4340) Arc: (edge = 0x7fff3049e220, target = 0x6e4320) ] Edge 102 <-> 103 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4360) Arc: (edge = 0x7fff3049e220, target = 0x6e4340) ] Edge 103 <-> 160 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4a80) Arc: (edge = 0x7fff3049e220, target = 0x6e4360) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fff3049e220, target = 0x6e43a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4380) ] Edge 105 <-> 106 [ Arc: (edge = 0x7fff3049e220, target = 0x6e43c0) Arc: (edge = 0x7fff3049e220, target = 0x6e43a0) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fff3049e220, target = 0x6e43e0) Arc: (edge = 0x7fff3049e220, target = 0x6e43c0) ] Edge 107 <-> 146 [ Arc: (edge = 0x7fff3049e220, target = 0x6e48c0) Arc: (edge = 0x7fff3049e220, target = 0x6e43e0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4420) Arc: (edge = 0x7fff3049e220, target = 0x6e4400) ] Edge 109 <-> 110 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4440) Arc: (edge = 0x7fff3049e220, target = 0x6e4420) ] Edge 110 <-> 111 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4460) Arc: (edge = 0x7fff3049e220, target = 0x6e4440) ] Edge 111 <-> 112 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4480) Arc: (edge = 0x7fff3049e220, target = 0x6e4460) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff3049e220, target = 0x6e44a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4480) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fff3049e220, target = 0x6e44c0) Arc: (edge = 0x7fff3049e220, target = 0x6e44a0) ] Edge 114 <-> 115 [ Arc: (edge = 0x7fff3049e220, target = 0x6e44e0) Arc: (edge = 0x7fff3049e220, target = 0x6e44c0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4500) Arc: (edge = 0x7fff3049e220, target = 0x6e44e0) ] Edge 116 <-> 117 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4520) Arc: (edge = 0x7fff3049e220, target = 0x6e4500) ] Edge 117 <-> 118 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4540) Arc: (edge = 0x7fff3049e220, target = 0x6e4520) ] Edge 117 <-> 170 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4bc0) Arc: (edge = 0x7fff3049e220, target = 0x6e4520) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4560) Arc: (edge = 0x7fff3049e220, target = 0x6e4540) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fff3049e220, target = 0x6e45a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4580) ] Edge 120 <-> 138 [ Arc: (edge = 0x7fff3049e220, target = 0x6e47c0) Arc: (edge = 0x7fff3049e220, target = 0x6e4580) ] Edge 121 <-> 122 [ Arc: (edge = 0x7fff3049e220, target = 0x6e45c0) Arc: (edge = 0x7fff3049e220, target = 0x6e45a0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4600) Arc: (edge = 0x7fff3049e220, target = 0x6e45e0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4640) Arc: (edge = 0x7fff3049e220, target = 0x6e4620) ] Edge 127 <-> 128 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4680) Arc: (edge = 0x7fff3049e220, target = 0x6e4660) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fff3049e220, target = 0x6e46a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4680) ] Edge 129 <-> 130 [ Arc: (edge = 0x7fff3049e220, target = 0x6e46c0) Arc: (edge = 0x7fff3049e220, target = 0x6e46a0) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fff3049e220, target = 0x6e46e0) Arc: (edge = 0x7fff3049e220, target = 0x6e46c0) ] Edge 131 <-> 132 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4700) Arc: (edge = 0x7fff3049e220, target = 0x6e46e0) ] Edge 131 <-> 214 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5140) Arc: (edge = 0x7fff3049e220, target = 0x6e46e0) ] Edge 133 <-> 134 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4740) Arc: (edge = 0x7fff3049e220, target = 0x6e4720) ] Edge 134 <-> 135 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4760) Arc: (edge = 0x7fff3049e220, target = 0x6e4740) ] Edge 135 <-> 136 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4780) Arc: (edge = 0x7fff3049e220, target = 0x6e4760) ] Edge 136 <-> 137 [ Arc: (edge = 0x7fff3049e220, target = 0x6e47a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4780) ] Edge 138 <-> 139 [ Arc: (edge = 0x7fff3049e220, target = 0x6e47e0) Arc: (edge = 0x7fff3049e220, target = 0x6e47c0) ] Edge 139 <-> 140 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4800) Arc: (edge = 0x7fff3049e220, target = 0x6e47e0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4820) Arc: (edge = 0x7fff3049e220, target = 0x6e4800) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4840) Arc: (edge = 0x7fff3049e220, target = 0x6e4820) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4860) Arc: (edge = 0x7fff3049e220, target = 0x6e4840) ] Edge 143 <-> 144 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4880) Arc: (edge = 0x7fff3049e220, target = 0x6e4860) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fff3049e220, target = 0x6e48a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4880) ] Edge 145 <-> 169 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ba0) Arc: (edge = 0x7fff3049e220, target = 0x6e48a0) ] Edge 146 <-> 147 [ Arc: (edge = 0x7fff3049e220, target = 0x6e48e0) Arc: (edge = 0x7fff3049e220, target = 0x6e48c0) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4900) Arc: (edge = 0x7fff3049e220, target = 0x6e48e0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4920) Arc: (edge = 0x7fff3049e220, target = 0x6e4900) ] Edge 149 <-> 150 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4940) Arc: (edge = 0x7fff3049e220, target = 0x6e4920) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4960) Arc: (edge = 0x7fff3049e220, target = 0x6e4940) ] Edge 151 <-> 152 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4980) Arc: (edge = 0x7fff3049e220, target = 0x6e4960) ] Edge 152 <-> 153 [ Arc: (edge = 0x7fff3049e220, target = 0x6e49a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4980) ] Edge 153 <-> 154 [ Arc: (edge = 0x7fff3049e220, target = 0x6e49c0) Arc: (edge = 0x7fff3049e220, target = 0x6e49a0) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fff3049e220, target = 0x6e49e0) Arc: (edge = 0x7fff3049e220, target = 0x6e49c0) ] Edge 155 <-> 156 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4a00) Arc: (edge = 0x7fff3049e220, target = 0x6e49e0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4a20) Arc: (edge = 0x7fff3049e220, target = 0x6e4a00) ] Edge 157 <-> 158 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4a40) Arc: (edge = 0x7fff3049e220, target = 0x6e4a20) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4a60) Arc: (edge = 0x7fff3049e220, target = 0x6e4a40) ] Edge 159 <-> 241 [ Arc: (edge = 0x7fff3049e220, target = 0x6e54a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4a60) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4aa0) Arc: (edge = 0x7fff3049e220, target = 0x6e4a80) ] Edge 161 <-> 162 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ac0) Arc: (edge = 0x7fff3049e220, target = 0x6e4aa0) ] Edge 162 <-> 163 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ae0) Arc: (edge = 0x7fff3049e220, target = 0x6e4ac0) ] Edge 163 <-> 164 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4b00) Arc: (edge = 0x7fff3049e220, target = 0x6e4ae0) ] Edge 163 <-> 209 [ Arc: (edge = 0x7fff3049e220, target = 0x6e50a0) Arc: (edge = 0x7fff3049e220, target = 0x6e4ae0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4b20) Arc: (edge = 0x7fff3049e220, target = 0x6e4b00) ] Edge 165 <-> 166 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4b40) Arc: (edge = 0x7fff3049e220, target = 0x6e4b20) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4b60) Arc: (edge = 0x7fff3049e220, target = 0x6e4b40) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4b80) Arc: (edge = 0x7fff3049e220, target = 0x6e4b60) ] Edge 168 <-> 169 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ba0) Arc: (edge = 0x7fff3049e220, target = 0x6e4b80) ] Edge 170 <-> 171 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4be0) Arc: (edge = 0x7fff3049e220, target = 0x6e4bc0) ] Edge 171 <-> 215 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5160) Arc: (edge = 0x7fff3049e220, target = 0x6e4be0) ] Edge 172 <-> 173 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4c20) Arc: (edge = 0x7fff3049e220, target = 0x6e4c00) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4c40) Arc: (edge = 0x7fff3049e220, target = 0x6e4c20) ] Edge 174 <-> 175 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4c60) Arc: (edge = 0x7fff3049e220, target = 0x6e4c40) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4c80) Arc: (edge = 0x7fff3049e220, target = 0x6e4c60) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4cc0) Arc: (edge = 0x7fff3049e220, target = 0x6e4ca0) ] Edge 178 <-> 179 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ce0) Arc: (edge = 0x7fff3049e220, target = 0x6e4cc0) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4d00) Arc: (edge = 0x7fff3049e220, target = 0x6e4ce0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4d20) Arc: (edge = 0x7fff3049e220, target = 0x6e4d00) ] Edge 181 <-> 182 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4d40) Arc: (edge = 0x7fff3049e220, target = 0x6e4d20) ] Edge 182 <-> 183 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4d60) Arc: (edge = 0x7fff3049e220, target = 0x6e4d40) ] Edge 183 <-> 184 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4d80) Arc: (edge = 0x7fff3049e220, target = 0x6e4d60) ] Edge 184 <-> 185 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4da0) Arc: (edge = 0x7fff3049e220, target = 0x6e4d80) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4dc0) Arc: (edge = 0x7fff3049e220, target = 0x6e4da0) ] Edge 186 <-> 187 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4de0) Arc: (edge = 0x7fff3049e220, target = 0x6e4dc0) ] Edge 186 <-> 254 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5640) Arc: (edge = 0x7fff3049e220, target = 0x6e4dc0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4e00) Arc: (edge = 0x7fff3049e220, target = 0x6e4de0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4e20) Arc: (edge = 0x7fff3049e220, target = 0x6e4e00) ] Edge 188 <-> 255 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5660) Arc: (edge = 0x7fff3049e220, target = 0x6e4e00) ] Edge 190 <-> 191 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4e60) Arc: (edge = 0x7fff3049e220, target = 0x6e4e40) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4e80) Arc: (edge = 0x7fff3049e220, target = 0x6e4e60) ] Edge 192 <-> 193 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ea0) Arc: (edge = 0x7fff3049e220, target = 0x6e4e80) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ec0) Arc: (edge = 0x7fff3049e220, target = 0x6e4ea0) ] Edge 194 <-> 195 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4ee0) Arc: (edge = 0x7fff3049e220, target = 0x6e4ec0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4f00) Arc: (edge = 0x7fff3049e220, target = 0x6e4ee0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4f40) Arc: (edge = 0x7fff3049e220, target = 0x6e4f20) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4f60) Arc: (edge = 0x7fff3049e220, target = 0x6e4f40) ] Edge 199 <-> 200 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4f80) Arc: (edge = 0x7fff3049e220, target = 0x6e4f60) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4fa0) Arc: (edge = 0x7fff3049e220, target = 0x6e4f80) ] Edge 201 <-> 202 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4fc0) Arc: (edge = 0x7fff3049e220, target = 0x6e4fa0) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fff3049e220, target = 0x6e4fe0) Arc: (edge = 0x7fff3049e220, target = 0x6e4fc0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5000) Arc: (edge = 0x7fff3049e220, target = 0x6e4fe0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5020) Arc: (edge = 0x7fff3049e220, target = 0x6e5000) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5040) Arc: (edge = 0x7fff3049e220, target = 0x6e5020) ] Edge 206 <-> 207 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5060) Arc: (edge = 0x7fff3049e220, target = 0x6e5040) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5080) Arc: (edge = 0x7fff3049e220, target = 0x6e5060) ] Edge 208 <-> 209 [ Arc: (edge = 0x7fff3049e220, target = 0x6e50a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5080) ] Edge 210 <-> 211 [ Arc: (edge = 0x7fff3049e220, target = 0x6e50e0) Arc: (edge = 0x7fff3049e220, target = 0x6e50c0) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5100) Arc: (edge = 0x7fff3049e220, target = 0x6e50e0) ] Edge 212 <-> 213 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5120) Arc: (edge = 0x7fff3049e220, target = 0x6e5100) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5140) Arc: (edge = 0x7fff3049e220, target = 0x6e5120) ] Edge 213 <-> 268 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5800) Arc: (edge = 0x7fff3049e220, target = 0x6e5120) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5180) Arc: (edge = 0x7fff3049e220, target = 0x6e5160) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fff3049e220, target = 0x6e51a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5180) ] Edge 217 <-> 218 [ Arc: (edge = 0x7fff3049e220, target = 0x6e51c0) Arc: (edge = 0x7fff3049e220, target = 0x6e51a0) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fff3049e220, target = 0x6e51e0) Arc: (edge = 0x7fff3049e220, target = 0x6e51c0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5200) Arc: (edge = 0x7fff3049e220, target = 0x6e51e0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5220) Arc: (edge = 0x7fff3049e220, target = 0x6e5200) ] Edge 221 <-> 222 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5240) Arc: (edge = 0x7fff3049e220, target = 0x6e5220) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5260) Arc: (edge = 0x7fff3049e220, target = 0x6e5240) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5280) Arc: (edge = 0x7fff3049e220, target = 0x6e5260) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fff3049e220, target = 0x6e52a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5280) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fff3049e220, target = 0x6e52c0) Arc: (edge = 0x7fff3049e220, target = 0x6e52a0) ] Edge 226 <-> 227 [ Arc: (edge = 0x7fff3049e220, target = 0x6e52e0) Arc: (edge = 0x7fff3049e220, target = 0x6e52c0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5320) Arc: (edge = 0x7fff3049e220, target = 0x6e5300) ] Edge 229 <-> 230 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5340) Arc: (edge = 0x7fff3049e220, target = 0x6e5320) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5360) Arc: (edge = 0x7fff3049e220, target = 0x6e5340) ] Edge 231 <-> 232 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5380) Arc: (edge = 0x7fff3049e220, target = 0x6e5360) ] Edge 232 <-> 233 [ Arc: (edge = 0x7fff3049e220, target = 0x6e53a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5380) ] Edge 233 <-> 234 [ Arc: (edge = 0x7fff3049e220, target = 0x6e53c0) Arc: (edge = 0x7fff3049e220, target = 0x6e53a0) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fff3049e220, target = 0x6e53e0) Arc: (edge = 0x7fff3049e220, target = 0x6e53c0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5400) Arc: (edge = 0x7fff3049e220, target = 0x6e53e0) ] Edge 236 <-> 237 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5420) Arc: (edge = 0x7fff3049e220, target = 0x6e5400) ] Edge 237 <-> 238 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5440) Arc: (edge = 0x7fff3049e220, target = 0x6e5420) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5460) Arc: (edge = 0x7fff3049e220, target = 0x6e5440) ] Edge 239 <-> 240 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5480) Arc: (edge = 0x7fff3049e220, target = 0x6e5460) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff3049e220, target = 0x6e54a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5480) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fff3049e220, target = 0x6e54e0) Arc: (edge = 0x7fff3049e220, target = 0x6e54c0) ] Edge 243 <-> 244 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5500) Arc: (edge = 0x7fff3049e220, target = 0x6e54e0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5520) Arc: (edge = 0x7fff3049e220, target = 0x6e5500) ] Edge 245 <-> 246 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5540) Arc: (edge = 0x7fff3049e220, target = 0x6e5520) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5560) Arc: (edge = 0x7fff3049e220, target = 0x6e5540) ] Edge 247 <-> 248 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5580) Arc: (edge = 0x7fff3049e220, target = 0x6e5560) ] Edge 248 <-> 249 [ Arc: (edge = 0x7fff3049e220, target = 0x6e55a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5580) ] Edge 249 <-> 250 [ Arc: (edge = 0x7fff3049e220, target = 0x6e55c0) Arc: (edge = 0x7fff3049e220, target = 0x6e55a0) ] Edge 250 <-> 251 [ Arc: (edge = 0x7fff3049e220, target = 0x6e55e0) Arc: (edge = 0x7fff3049e220, target = 0x6e55c0) ] Edge 251 <-> 252 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5600) Arc: (edge = 0x7fff3049e220, target = 0x6e55e0) ] Edge 252 <-> 253 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5620) Arc: (edge = 0x7fff3049e220, target = 0x6e5600) ] Edge 253 <-> 254 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5640) Arc: (edge = 0x7fff3049e220, target = 0x6e5620) ] Edge 255 <-> 256 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5680) Arc: (edge = 0x7fff3049e220, target = 0x6e5660) ] Edge 256 <-> 257 [ Arc: (edge = 0x7fff3049e220, target = 0x6e56a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5680) ] Edge 257 <-> 258 [ Arc: (edge = 0x7fff3049e220, target = 0x6e56c0) Arc: (edge = 0x7fff3049e220, target = 0x6e56a0) ] Edge 258 <-> 259 [ Arc: (edge = 0x7fff3049e220, target = 0x6e56e0) Arc: (edge = 0x7fff3049e220, target = 0x6e56c0) ] Edge 259 <-> 260 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5700) Arc: (edge = 0x7fff3049e220, target = 0x6e56e0) ] Edge 260 <-> 261 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5720) Arc: (edge = 0x7fff3049e220, target = 0x6e5700) ] Edge 261 <-> 262 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5740) Arc: (edge = 0x7fff3049e220, target = 0x6e5720) ] Edge 262 <-> 263 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5760) Arc: (edge = 0x7fff3049e220, target = 0x6e5740) ] Edge 263 <-> 264 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5780) Arc: (edge = 0x7fff3049e220, target = 0x6e5760) ] Edge 264 <-> 265 [ Arc: (edge = 0x7fff3049e220, target = 0x6e57a0) Arc: (edge = 0x7fff3049e220, target = 0x6e5780) ] Edge 265 <-> 266 [ Arc: (edge = 0x7fff3049e220, target = 0x6e57c0) Arc: (edge = 0x7fff3049e220, target = 0x6e57a0) ] Edge 266 <-> 267 [ Arc: (edge = 0x7fff3049e220, target = 0x6e57e0) Arc: (edge = 0x7fff3049e220, target = 0x6e57c0) ] Edge 267 <-> 268 [ Arc: (edge = 0x7fff3049e220, target = 0x6e5800) Arc: (edge = 0x7fff3049e220, target = 0x6e57e0) ] ] Robot arrangement: (|R| = 33, |V| = 269) [ robot locations: {1#1 2#17 3#29 4#43 5#44 6#47 7#70 8#71 9#74 10#78 11#82 12#85 13#93 14#109 15#111 16#113 17#122 18#126 19#135 20#136 21#144 22#156 23#170 24#201 25#204 26#211 27#216 28#220 29#236 30#238 31#240 32#251 33#254 } vertex occupancy: {0#0 1#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 2#17 0#18 0#19 0#20 0#21 0#22 0#23 0#24 0#25 0#26 0#27 0#28 3#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 4#43 5#44 0#45 0#46 6#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 7#70 8#71 0#72 0#73 9#74 0#75 0#76 0#77 10#78 0#79 0#80 0#81 11#82 0#83 0#84 12#85 0#86 0#87 0#88 0#89 0#90 0#91 0#92 13#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 14#109 0#110 15#111 0#112 16#113 0#114 0#115 0#116 0#117 0#118 0#119 0#120 0#121 17#122 0#123 0#124 0#125 18#126 0#127 0#128 0#129 0#130 0#131 0#132 0#133 0#134 19#135 20#136 0#137 0#138 0#139 0#140 0#141 0#142 0#143 21#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 0#154 0#155 22#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 23#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 24#201 0#202 0#203 25#204 0#205 0#206 0#207 0#208 0#209 0#210 26#211 0#212 0#213 0#214 0#215 27#216 0#217 0#218 0#219 28#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 29#236 0#237 30#238 0#239 31#240 0#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 32#251 0#252 0#253 33#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| = 33, |V| = 269) [ robot locations: {1#12 2#27 3#29 4#43 5#65 6#72 7#76 8#77 9#79 10#88 11#98 12#127 13#143 14#151 15#153 16#162 17#171 18#172 19#180 20#184 21#186 22#197 23#219 24#220 25#232 26#234 27#237 28#246 29#247 30#252 31#255 32#266 33#267 } 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 1#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 2#27 0#28 3#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 4#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 5#65 0#66 0#67 0#68 0#69 0#70 0#71 6#72 0#73 0#74 0#75 7#76 8#77 0#78 9#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 0#87 10#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 11#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 12#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 13#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 14#151 0#152 15#153 0#154 0#155 0#156 0#157 0#158 0#159 0#160 0#161 16#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 17#171 18#172 0#173 0#174 0#175 0#176 0#177 0#178 0#179 19#180 0#181 0#182 0#183 20#184 0#185 21#186 0#187 0#188 0#189 0#190 0#191 0#192 0#193 0#194 0#195 0#196 22#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 23#219 24#220 0#221 0#222 0#223 0#224 0#225 0#226 0#227 0#228 0#229 0#230 0#231 25#232 0#233 26#234 0#235 0#236 27#237 0#238 0#239 0#240 0#241 0#242 0#243 0#244 0#245 28#246 29#247 0#248 0#249 0#250 0#251 30#252 0#253 0#254 31#255 0#256 0#257 0#258 0#259 0#260 0#261 0#262 0#263 0#264 0#265 32#266 33#267 0#268 } ] Unable to provide a new solution. 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 = 0 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] 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 = 0 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 14467 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] } ] ----------------------------------------------------------------