================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 Reading graph... 0,1 0,8 0,42 0,66 1,2 1,24 2,3 3,4 3,172 3,202 4,5 4,16 4,53 5,6 5,12 5,35 6,7 6,9 7,8 7,23 7,147 7,153 8,17 8,212 8,237 9,10 9,65 10,11 10,52 11,12 12,13 12,30 12,68 12,145 12,247 13,14 13,48 14,15 14,101 15,16 15,43 16,162 17,18 18,19 18,26 18,33 19,20 19,70 20,21 20,83 21,22 22,23 22,135 22,233 23,32 23,126 24,25 24,27 24,67 25,26 26,181 27,28 28,29 28,47 29,30 29,36 30,31 31,32 31,193 31,226 33,34 33,55 33,63 34,35 34,69 34,90 34,102 35,192 36,37 36,44 36,45 36,62 36,75 37,38 37,61 38,39 38,110 38,117 38,184 39,40 39,150 39,221 40,41 41,42 43,44 43,71 43,79 43,121 45,46 45,54 45,127 45,138 46,47 47,64 47,91 48,49 49,50 50,51 50,201 51,52 51,178 53,54 54,72 54,140 55,56 55,134 55,156 56,57 56,111 57,58 58,59 58,137 59,60 59,211 60,61 60,176 60,183 61,194 62,63 62,78 63,139 64,65 64,175 66,67 66,146 68,69 68,88 68,95 68,149 70,71 70,119 70,132 72,73 72,76 73,74 74,75 75,133 75,168 76,77 77,78 77,84 77,195 78,116 78,131 79,80 79,122 80,81 81,82 82,83 83,144 83,174 84,85 85,86 85,89 86,87 86,104 87,88 89,90 90,103 91,92 91,96 92,93 93,94 94,95 96,97 97,98 98,99 98,128 99,100 100,101 102,103 103,129 103,152 104,105 105,106 106,107 107,108 107,120 107,155 107,173 108,109 108,169 109,110 109,213 111,112 112,113 113,114 114,115 115,116 115,210 117,118 118,119 120,121 121,207 122,123 123,124 124,125 125,126 126,136 127,128 127,160 129,130 130,131 130,206 130,245 131,179 132,133 132,209 134,135 136,137 136,191 138,139 140,141 141,142 142,143 143,144 143,232 145,146 145,236 147,148 147,163 148,149 150,151 151,152 153,154 154,155 156,157 157,158 157,244 158,159 158,190 159,160 159,161 159,208 161,162 161,170 161,177 161,227 163,164 163,171 164,165 165,166 166,167 167,168 167,214 168,182 168,222 169,170 171,172 173,174 175,176 175,243 177,178 179,180 180,181 182,183 184,185 185,186 186,187 187,188 188,189 189,190 191,192 193,194 194,215 195,196 196,197 197,198 198,199 199,200 200,201 202,203 203,204 204,205 205,206 207,208 209,210 211,212 213,214 215,216 216,217 217,218 218,219 219,220 220,221 222,223 223,224 224,225 225,226 227,228 228,229 229,230 230,231 231,232 233,234 234,235 234,246 235,236 237,238 238,239 239,240 240,241 241,242 242,243 244,245 246,247 Reading initial arrangement... Reading original solution... Length:1269 211 # 12 ---> 30 (0) 226 # 7 ---> 6 (0) 214 # 32 ---> 23 (0) 211 # 30 ---> 31 (1) 226 # 6 ---> 5 (1) 214 # 23 ---> 7 (1) 224 # 140 ---> 54 (0) 245 # 232 ---> 143 (0) 224 # 54 ---> 45 (1) 241 # 4 ---> 53 (0) 231 # 228 ---> 227 (0) 231 # 227 ---> 161 (1) 231 # 161 ---> 159 (2) 231 # 159 ---> 158 (3) 231 # 158 ---> 157 (4) 231 # 157 ---> 244 (5) 216 # 34 ---> 33 (0) 216 # 33 ---> 63 (1) 231 # 244 ---> 245 (6) 222 # 243 ---> 175 (0) 207 # 64 ---> 65 (0) 222 # 175 ---> 64 (1) 207 # 65 ---> 9 (1) 222 # 64 ---> 65 (2) 207 # 9 ---> 6 (2) 222 # 65 ---> 9 (3) 246 # 179 ---> 180 (0) 246 # 180 ---> 181 (1) 246 # 181 ---> 26 (2) 246 # 26 ---> 18 (3) 246 # 18 ---> 17 (4) 246 # 17 ---> 8 (5) 246 # 8 ---> 237 (6) 214 # 7 ---> 8 (6) 207 # 6 ---> 7 (6) 222 # 9 ---> 6 (6) 207 # 7 ---> 23 (7) 246 # 237 ---> 238 (7) 222 # 6 ---> 7 (7) 214 # 8 ---> 0 (7) 222 # 7 ---> 8 (8) 214 # 0 ---> 1 (8) 222 # 8 ---> 0 (9) 246 # 238 ---> 239 (8) 246 # 239 ---> 240 (9) 207 # 23 ---> 7 (8) 207 # 7 ---> 8 (9) 226 # 5 ---> 6 (7) 222 # 0 ---> 66 (10) 207 # 8 ---> 0 (10) 226 # 6 ---> 7 (9) 226 # 7 ---> 23 (10) 225 # 145 ---> 12 (0) 244 # 21 ---> 20 (0) 226 # 23 ---> 22 (11) 226 # 22 ---> 21 (12) 225 # 12 ---> 5 (7) 232 # 36 ---> 29 (0) 224 # 45 ---> 36 (2) 238 # 46 ---> 45 (2) 232 # 29 ---> 28 (1) 224 # 36 ---> 29 (3) 224 # 29 ---> 30 (4) 238 # 45 ---> 36 (3) 241 # 53 ---> 54 (1) 211 # 31 ---> 32 (2) 224 # 30 ---> 31 (5) 211 # 32 ---> 23 (11) 224 # 31 ---> 32 (11) 211 # 23 ---> 7 (12) 224 # 32 ---> 23 (12) 224 # 23 ---> 22 (13) 224 # 22 ---> 233 (14) 211 # 7 ---> 23 (13) 245 # 143 ---> 142 (1) 241 # 54 ---> 45 (3) 245 # 142 ---> 141 (2) 241 # 45 ---> 127 (4) 245 # 141 ---> 140 (3) 247 # 205 ---> 204 (0) 247 # 204 ---> 203 (1) 241 # 127 ---> 160 (5) 245 # 140 ---> 54 (4) 225 # 5 ---> 35 (8) 238 # 36 ---> 29 (4) 241 # 160 ---> 159 (6) 208 # 156 ---> 55 (0) 241 # 159 ---> 158 (7) 245 # 54 ---> 45 (5) 209 # 68 ---> 12 (7) 209 # 12 ---> 5 (8) 209 # 5 ---> 4 (9) 209 # 4 ---> 16 (10) 209 # 16 ---> 162 (11) 209 # 162 ---> 161 (12) 209 # 161 ---> 227 (13) 209 # 227 ---> 228 (14) 226 # 21 ---> 22 (14) 208 # 55 ---> 33 (1) 226 # 22 ---> 135 (15) 211 # 23 ---> 22 (15) 237 # 226 ---> 31 (11) 237 # 31 ---> 30 (12) 214 # 1 ---> 2 (9) 235 # 24 ---> 1 (9) 232 # 28 ---> 27 (2) 238 # 29 ---> 28 (5) 237 # 30 ---> 29 (13) 214 # 2 ---> 3 (10) 235 # 1 ---> 2 (10) 232 # 27 ---> 24 (9) 238 # 28 ---> 27 (9) 237 # 29 ---> 28 (14) 222 # 66 ---> 146 (11) 207 # 0 ---> 66 (11) 243 # 37 ---> 38 (0) 215 # 207 ---> 121 (0) 215 # 121 ---> 43 (1) 215 # 43 ---> 44 (2) 215 # 44 ---> 36 (4) 215 # 36 ---> 75 (5) 215 # 75 ---> 168 (6) 215 # 168 ---> 222 (7) 215 # 222 ---> 223 (8) 236 # 98 ---> 128 (0) 237 # 28 ---> 47 (15) 243 # 38 ---> 39 (1) 208 # 33 ---> 34 (2) 243 # 39 ---> 40 (2) 218 # 215 ---> 216 (0) 217 # 107 ---> 108 (0) 217 # 108 ---> 109 (1) 217 # 109 ---> 110 (2) 217 # 110 ---> 38 (3) 217 # 38 ---> 37 (4) 217 # 37 ---> 61 (5) 217 # 61 ---> 194 (6) 218 # 216 ---> 217 (1) 217 # 194 ---> 215 (7) 208 # 34 ---> 90 (3) 206 # 151 ---> 150 (0) 210 # 152 ---> 151 (0) 208 # 90 ---> 103 (4) 206 # 150 ---> 39 (2) 210 # 151 ---> 150 (2) 208 # 103 ---> 152 (5) 216 # 63 ---> 33 (2) 206 # 39 ---> 38 (4) 210 # 150 ---> 39 (4) 208 # 152 ---> 151 (6) 216 # 33 ---> 34 (3) 206 # 38 ---> 37 (5) 210 # 39 ---> 38 (5) 243 # 40 ---> 39 (5) 206 # 37 ---> 36 (6) 210 # 38 ---> 37 (6) 210 # 37 ---> 61 (7) 210 # 61 ---> 194 (8) 243 # 39 ---> 38 (6) 218 # 217 ---> 218 (2) 217 # 215 ---> 216 (8) 210 # 194 ---> 215 (9) 216 # 34 ---> 90 (4) 206 # 36 ---> 29 (14) 218 # 218 ---> 219 (3) 217 # 216 ---> 217 (9) 210 # 215 ---> 216 (10) 245 # 45 ---> 36 (14) 245 # 36 ---> 75 (15) 237 # 47 ---> 46 (16) 238 # 27 ---> 28 (15) 232 # 24 ---> 27 (15) 218 # 219 ---> 220 (4) 217 # 217 ---> 218 (10) 210 # 216 ---> 217 (11) 243 # 38 ---> 37 (7) 247 # 203 ---> 202 (2) 216 # 90 ---> 103 (5) 225 # 35 ---> 34 (9) 214 # 3 ---> 4 (11) 247 # 202 ---> 3 (11) 225 # 34 ---> 90 (10) 214 # 4 ---> 5 (12) 247 # 3 ---> 4 (12) 235 # 2 ---> 3 (12) 214 # 5 ---> 6 (13) 247 # 4 ---> 5 (13) 247 # 5 ---> 12 (14) 247 # 12 ---> 30 (15) 247 # 30 ---> 31 (16) 247 # 31 ---> 193 (17) 247 # 193 ---> 194 (18) 218 # 220 ---> 221 (5) 217 # 218 ---> 219 (11) 210 # 217 ---> 218 (12) 247 # 194 ---> 215 (19) 206 # 29 ---> 30 (16) 230 # 60 ---> 61 (8) 243 # 37 ---> 36 (15) 243 # 36 ---> 29 (16) 218 # 221 ---> 39 (6) 217 # 219 ---> 220 (12) 210 # 218 ---> 219 (13) 247 # 215 ---> 216 (20) 218 # 39 ---> 38 (7) 204 # 213 ---> 214 (0) 245 # 75 ---> 36 (16) 204 # 214 ---> 167 (1) 218 # 38 ---> 110 (8) 245 # 36 ---> 37 (17) 204 # 167 ---> 168 (7) 235 # 3 ---> 202 (13) 245 # 37 ---> 38 (18) 229 # 56 ---> 55 (1) 212 # 58 ---> 59 (0) 211 # 22 ---> 21 (16) 226 # 135 ---> 22 (16) 206 # 30 ---> 12 (17) 230 # 61 ---> 37 (18) 212 # 59 ---> 60 (8) 242 # 132 ---> 70 (0) 206 # 12 ---> 5 (18) 214 # 6 ---> 7 (14) 206 # 5 ---> 6 (19) 214 # 7 ---> 153 (15) 206 # 6 ---> 7 (20) 214 # 153 ---> 154 (16) 206 # 7 ---> 153 (21) 218 # 110 ---> 109 (9) 245 # 38 ---> 110 (19) 243 # 29 ---> 36 (17) 213 # 87 ---> 88 (0) 243 # 36 ---> 62 (18) 213 # 88 ---> 68 (7) 243 # 62 ---> 78 (19) 213 # 68 ---> 12 (18) 225 # 90 ---> 89 (11) 213 # 12 ---> 5 (19) 235 # 202 ---> 203 (14) 213 # 5 ---> 6 (20) 235 # 203 ---> 204 (15) 216 # 103 ---> 90 (11) 236 # 128 ---> 127 (5) 236 # 127 ---> 45 (14) 236 # 45 ---> 54 (15) 236 # 54 ---> 53 (16) 236 # 53 ---> 4 (17) 236 # 4 ---> 3 (18) 235 # 204 ---> 205 (16) 236 # 3 ---> 202 (19) 216 # 90 ---> 34 (12) 235 # 205 ---> 206 (17) 236 # 202 ---> 203 (20) 216 # 34 ---> 35 (13) 235 # 206 ---> 130 (18) 236 # 203 ---> 204 (21) 216 # 35 ---> 5 (20) 233 # 200 ---> 201 (0) 233 # 201 ---> 50 (1) 233 # 50 ---> 49 (2) 233 # 49 ---> 48 (3) 227 # 177 ---> 161 (13) 227 # 161 ---> 159 (14) 227 # 159 ---> 160 (15) 227 # 160 ---> 127 (16) 227 # 127 ---> 45 (17) 227 # 45 ---> 54 (18) 227 # 54 ---> 72 (19) 227 # 72 ---> 76 (20) 227 # 76 ---> 77 (21) 227 # 77 ---> 195 (22) 233 # 48 ---> 13 (4) 205 # 198 ---> 199 (0) 227 # 195 ---> 196 (23) 233 # 13 ---> 12 (19) 205 # 199 ---> 200 (1) 227 # 196 ---> 197 (24) 205 # 200 ---> 201 (2) 227 # 197 ---> 198 (25) 226 # 22 ---> 23 (17) 211 # 21 ---> 22 (17) 226 # 23 ---> 7 (21) 211 # 22 ---> 23 (21) 226 # 7 ---> 8 (22) 213 # 6 ---> 7 (22) 216 # 5 ---> 6 (22) 204 # 168 ---> 182 (8) 212 # 60 ---> 61 (18) 211 # 23 ---> 126 (22) 213 # 7 ---> 23 (23) 216 # 6 ---> 7 (23) 237 # 46 ---> 45 (18) 237 # 45 ---> 36 (19) 238 # 28 ---> 47 (16) 232 # 27 ---> 28 (16) 230 # 37 ---> 38 (19) 237 # 36 ---> 37 (20) 232 # 28 ---> 29 (17) 230 # 38 ---> 39 (20) 237 # 37 ---> 38 (21) 237 # 38 ---> 184 (22) 241 # 158 ---> 159 (15) 225 # 89 ---> 90 (12) 225 # 90 ---> 103 (13) 225 # 103 ---> 152 (14) 230 # 39 ---> 38 (22) 208 # 151 ---> 150 (7) 225 # 152 ---> 151 (15) 230 # 38 ---> 37 (23) 208 # 150 ---> 39 (22) 225 # 151 ---> 150 (22) 230 # 37 ---> 36 (24) 208 # 39 ---> 38 (23) 225 # 150 ---> 39 (23) 230 # 36 ---> 62 (25) 208 # 38 ---> 37 (24) 225 # 39 ---> 38 (24) 237 # 184 ---> 185 (23) 225 # 38 ---> 184 (25) 240 # 118 ---> 117 (0) 242 # 70 ---> 119 (1) 208 # 37 ---> 36 (25) 240 # 117 ---> 38 (25) 242 # 119 ---> 118 (2) 208 # 36 ---> 44 (26) 237 # 185 ---> 186 (24) 225 # 184 ---> 185 (26) 232 # 29 ---> 36 (26) 240 # 38 ---> 39 (26) 237 # 186 ---> 187 (25) 225 # 185 ---> 186 (27) 232 # 36 ---> 37 (27) 238 # 47 ---> 46 (18) 240 # 39 ---> 40 (27) 232 # 37 ---> 38 (28) 240 # 40 ---> 41 (28) 232 # 38 ---> 39 (29) 237 # 187 ---> 188 (26) 225 # 186 ---> 187 (28) 237 # 188 ---> 189 (27) 225 # 187 ---> 188 (29) 237 # 189 ---> 190 (28) 225 # 188 ---> 189 (30) 204 # 182 ---> 183 (9) 212 # 61 ---> 37 (28) 204 # 183 ---> 60 (18) 212 # 37 ---> 36 (29) 204 # 60 ---> 61 (28) 208 # 44 ---> 43 (27) 212 # 36 ---> 44 (30) 216 # 7 ---> 147 (24) 241 # 159 ---> 161 (16) 241 # 161 ---> 177 (17) 230 # 62 ---> 36 (30) 230 # 36 ---> 29 (31) 241 # 177 ---> 178 (18) 230 # 29 ---> 28 (32) 204 # 61 ---> 37 (29) 208 # 43 ---> 121 (28) 206 # 153 ---> 7 (24) 214 # 154 ---> 153 (24) 206 # 7 ---> 6 (25) 214 # 153 ---> 7 (25) 206 # 6 ---> 5 (26) 214 # 7 ---> 6 (26) 206 # 5 ---> 4 (27) 214 # 6 ---> 5 (27) 204 # 37 ---> 36 (31) 244 # 20 ---> 19 (1) 204 # 36 ---> 62 (32) 245 # 110 ---> 38 (29) 218 # 109 ---> 110 (29) 243 # 78 ---> 77 (22) 204 # 62 ---> 78 (33) 245 # 38 ---> 37 (31) 218 # 110 ---> 38 (31) 243 # 77 ---> 84 (23) 204 # 78 ---> 77 (34) 240 # 41 ---> 42 (29) 232 # 39 ---> 40 (30) 218 # 38 ---> 39 (32) 245 # 37 ---> 38 (32) 240 # 42 ---> 0 (30) 232 # 40 ---> 41 (31) 206 # 4 ---> 53 (28) 214 # 5 ---> 4 (28) 226 # 8 ---> 7 (26) 214 # 4 ---> 3 (29) 240 # 0 ---> 8 (31) 207 # 66 ---> 0 (31) 222 # 146 ---> 66 (31) 214 # 3 ---> 2 (30) 226 # 7 ---> 6 (27) 226 # 6 ---> 5 (28) 216 # 147 ---> 7 (27) 239 # 148 ---> 147 (27) 216 # 7 ---> 6 (28) 239 # 147 ---> 7 (28) 239 # 7 ---> 153 (29) 216 # 6 ---> 7 (29) 234 # 155 ---> 107 (0) 239 # 153 ---> 154 (30) 216 # 7 ---> 153 (30) 208 # 121 ---> 120 (29) 219 # 67 ---> 24 (15) 222 # 66 ---> 67 (32) 207 # 0 ---> 66 (32) 214 # 2 ---> 1 (31) 221 # 165 ---> 166 (0) 213 # 23 ---> 7 (30) 211 # 126 ---> 23 (30) 213 # 7 ---> 6 (31) 211 # 23 ---> 7 (31) 240 # 8 ---> 17 (32) 211 # 7 ---> 8 (32) 221 # 166 ---> 167 (7) 213 # 6 ---> 7 (32) 219 # 24 ---> 25 (16) 214 # 1 ---> 24 (32) 211 # 8 ---> 0 (33) 240 # 17 ---> 8 (33) 213 # 7 ---> 23 (33) 240 # 8 ---> 7 (34) 219 # 25 ---> 26 (17) 214 # 24 ---> 25 (33) 226 # 5 ---> 4 (29) 221 # 167 ---> 168 (8) 233 # 12 ---> 5 (29) 234 # 107 ---> 108 (1) 208 # 120 ---> 107 (30) 226 # 4 ---> 16 (30) 233 # 5 ---> 4 (30) 240 # 7 ---> 6 (35) 216 # 153 ---> 7 (35) 239 # 154 ---> 153 (35) 208 # 107 ---> 155 (31) 226 # 16 ---> 15 (31) 233 # 4 ---> 16 (31) 240 # 6 ---> 5 (36) 216 # 7 ---> 6 (36) 239 # 153 ---> 7 (36) 208 # 155 ---> 154 (35) 226 # 15 ---> 43 (32) 233 # 16 ---> 15 (32) 221 # 168 ---> 75 (16) 221 # 75 ---> 36 (32) 221 # 36 ---> 45 (33) 206 # 53 ---> 4 (31) 240 # 5 ---> 12 (37) 211 # 0 ---> 1 (34) 239 # 7 ---> 8 (37) 216 # 6 ---> 7 (37) 211 # 1 ---> 2 (35) 239 # 8 ---> 0 (38) 216 # 7 ---> 8 (38) 234 # 108 ---> 107 (31) 212 # 44 ---> 36 (33) 226 # 43 ---> 44 (33) 212 # 36 ---> 37 (34) 226 # 44 ---> 36 (34) 233 # 15 ---> 43 (33) 226 # 36 ---> 29 (35) 208 # 154 ---> 153 (36) 208 # 153 ---> 7 (38) 239 # 0 ---> 1 (39) 216 # 8 ---> 0 (39) 221 # 45 ---> 36 (35) 229 # 55 ---> 156 (2) 221 # 36 ---> 62 (36) 221 # 62 ---> 63 (37) 226 # 29 ---> 36 (36) 221 # 63 ---> 33 (38) 226 # 36 ---> 62 (37) 221 # 33 ---> 34 (39) 229 # 156 ---> 157 (5) 226 # 62 ---> 63 (38) 212 # 37 ---> 36 (37) 216 # 0 ---> 42 (40) 239 # 1 ---> 0 (40) 226 # 63 ---> 33 (39) 212 # 36 ---> 62 (38) 229 # 157 ---> 158 (15) 212 # 62 ---> 63 (39) 207 # 66 ---> 146 (33) 239 # 0 ---> 66 (41) 208 # 7 ---> 6 (39) 208 # 6 ---> 5 (40) 226 # 33 ---> 18 (40) 229 # 158 ---> 159 (16) 212 # 63 ---> 33 (40) 226 # 18 ---> 17 (41) 244 # 19 ---> 18 (41) 226 # 17 ---> 8 (42) 244 # 18 ---> 17 (42) 226 # 8 ---> 7 (43) 244 # 17 ---> 8 (43) 219 # 26 ---> 18 (42) 214 # 25 ---> 26 (42) 226 # 7 ---> 6 (44) 244 # 8 ---> 7 (44) 244 # 7 ---> 153 (45) 211 # 2 ---> 3 (36) 244 # 153 ---> 154 (46) 219 # 18 ---> 19 (43) 212 # 33 ---> 18 (43) 240 # 12 ---> 13 (38) 234 # 107 ---> 120 (32) 216 # 42 ---> 0 (41) 216 # 0 ---> 1 (42) 212 # 18 ---> 17 (44) 214 # 26 ---> 18 (44) 216 # 1 ---> 24 (43) 212 # 17 ---> 8 (45) 214 # 18 ---> 17 (45) 216 # 24 ---> 25 (44) 232 # 41 ---> 42 (41) 218 # 39 ---> 40 (33) 232 # 42 ---> 0 (42) 218 # 40 ---> 41 (41) 245 # 38 ---> 39 (33) 232 # 0 ---> 1 (43) 218 # 41 ---> 42 (42) 245 # 39 ---> 40 (41) 221 # 34 ---> 33 (43) 240 # 13 ---> 14 (39) 208 # 5 ---> 12 (41) 240 # 14 ---> 15 (40) 208 # 12 ---> 13 (42) 206 # 4 ---> 5 (41) 240 # 15 ---> 16 (41) 208 # 13 ---> 14 (43) 206 # 5 ---> 12 (42) 211 # 3 ---> 4 (41) 232 # 1 ---> 2 (44) 212 # 8 ---> 0 (46) 226 # 6 ---> 7 (45) 211 # 4 ---> 5 (42) 212 # 0 ---> 1 (47) 226 # 7 ---> 8 (46) 220 # 149 ---> 68 (18) 211 # 5 ---> 6 (45) 206 # 12 ---> 5 (45) 220 # 68 ---> 12 (45) 212 # 1 ---> 24 (48) 206 # 5 ---> 4 (46) 220 # 12 ---> 5 (46) 211 # 6 ---> 7 (46) 220 # 5 ---> 6 (47) 226 # 8 ---> 0 (47) 211 # 7 ---> 8 (47) 220 # 6 ---> 7 (48) 206 # 4 ---> 5 (47) 232 # 2 ---> 3 (45) 226 # 0 ---> 1 (48) 206 # 5 ---> 6 (48) 239 # 66 ---> 0 (48) 232 # 3 ---> 4 (47) 226 # 1 ---> 2 (49) 239 # 0 ---> 1 (49) 211 # 8 ---> 0 (49) 220 # 7 ---> 8 (49) 206 # 6 ---> 7 (49) 232 # 4 ---> 5 (48) 226 # 2 ---> 3 (50) 239 # 1 ---> 2 (50) 211 # 0 ---> 1 (50) 207 # 146 ---> 66 (48) 207 # 66 ---> 0 (50) 238 # 46 ---> 45 (35) 230 # 28 ---> 47 (33) 221 # 33 ---> 63 (44) 219 # 19 ---> 18 (45) 238 # 45 ---> 54 (36) 221 # 63 ---> 62 (45) 219 # 18 ---> 33 (46) 214 # 17 ---> 18 (46) 220 # 8 ---> 17 (50) 219 # 33 ---> 34 (47) 214 # 18 ---> 33 (47) 214 # 33 ---> 63 (48) 219 # 34 ---> 33 (48) 221 # 62 ---> 36 (46) 214 # 63 ---> 62 (49) 219 # 33 ---> 63 (49) 221 # 36 ---> 29 (47) 214 # 62 ---> 36 (50) 214 # 36 ---> 45 (51) 238 # 54 ---> 53 (37) 214 # 45 ---> 54 (52) 214 # 54 ---> 140 (53) 219 # 63 ---> 62 (50) 214 # 140 ---> 141 (54) 219 # 62 ---> 36 (51) 233 # 43 ---> 71 (34) 208 # 14 ---> 15 (44) 214 # 141 ---> 142 (55) 226 # 3 ---> 4 (51) 239 # 2 ---> 3 (51) 211 # 1 ---> 2 (51) 212 # 24 ---> 1 (51) 221 # 29 ---> 28 (48) 207 # 0 ---> 8 (51) 218 # 42 ---> 0 (51) 245 # 40 ---> 41 (42) 219 # 36 ---> 37 (52) 230 # 47 ---> 64 (34) 230 # 64 ---> 65 (35) 221 # 28 ---> 47 (49) 230 # 65 ---> 9 (36) 221 # 47 ---> 64 (50) 230 # 9 ---> 6 (49) 232 # 5 ---> 12 (49) 226 # 4 ---> 5 (52) 239 # 3 ---> 4 (52) 211 # 2 ---> 3 (52) 212 # 1 ---> 2 (52) 218 # 0 ---> 1 (52) 207 # 8 ---> 0 (52) 206 # 7 ---> 8 (52) 230 # 6 ---> 7 (52) 213 # 23 ---> 22 (34) 230 # 7 ---> 23 (53) 230 # 23 ---> 126 (54) 230 # 126 ---> 136 (55) 213 # 22 ---> 23 (54) 233 # 71 ---> 70 (35) 233 # 70 ---> 19 (45) 233 # 19 ---> 18 (47) 208 # 15 ---> 43 (45) 240 # 16 ---> 15 (45) 239 # 4 ---> 16 (53) 206 # 8 ---> 7 (53) 220 # 17 ---> 8 (53) 226 # 5 ---> 4 (53) 232 # 12 ---> 5 (53) 240 # 15 ---> 14 (46) 239 # 16 ---> 15 (54) 226 # 4 ---> 16 (54) 208 # 43 ---> 44 (46) 239 # 15 ---> 43 (55) 239 # 43 ---> 71 (56) 239 # 71 ---> 70 (57) 239 # 70 ---> 132 (58) 240 # 14 ---> 13 (47) 239 # 132 ---> 133 (59) 218 # 1 ---> 24 (53) 207 # 0 ---> 1 (53) 220 # 8 ---> 0 (54) 206 # 7 ---> 8 (54) 211 # 3 ---> 4 (54) 212 # 2 ---> 3 (54) 207 # 1 ---> 2 (54) 220 # 0 ---> 1 (55) 206 # 8 ---> 0 (55) 232 # 5 ---> 6 (54) 211 # 4 ---> 5 (55) 212 # 3 ---> 4 (55) 232 # 6 ---> 7 (55) 211 # 5 ---> 6 (56) 212 # 4 ---> 5 (56) 212 # 5 ---> 35 (57) 212 # 35 ---> 34 (58) 212 # 34 ---> 90 (59) 212 # 90 ---> 103 (60) 212 # 103 ---> 129 (61) 235 # 130 ---> 131 (19) 212 # 129 ---> 130 (62) 232 # 7 ---> 8 (56) 213 # 23 ---> 7 (56) 211 # 6 ---> 5 (57) 213 # 7 ---> 6 (57) 232 # 8 ---> 7 (57) 211 # 5 ---> 4 (58) 213 # 6 ---> 5 (58) 213 # 5 ---> 35 (59) 213 # 35 ---> 34 (60) 213 # 34 ---> 90 (61) 213 # 90 ---> 103 (62) 235 # 131 ---> 78 (34) 212 # 130 ---> 131 (63) 213 # 103 ---> 129 (63) 235 # 78 ---> 62 (51) 232 # 7 ---> 6 (58) 206 # 0 ---> 8 (57) 220 # 1 ---> 0 (57) 207 # 2 ---> 1 (57) 211 # 4 ---> 3 (59) 238 # 53 ---> 54 (53) 235 # 62 ---> 63 (52) 228 # 96 ---> 91 (0) 226 # 16 ---> 15 (55) 232 # 6 ---> 5 (59) 206 # 8 ---> 7 (58) 220 # 0 ---> 8 (58) 207 # 1 ---> 0 (58) 211 # 3 ---> 2 (60) 232 # 5 ---> 4 (60) 206 # 7 ---> 6 (59) 220 # 8 ---> 7 (59) 207 # 0 ---> 8 (59) 211 # 2 ---> 1 (61) 232 # 4 ---> 3 (61) 240 # 13 ---> 12 (53) 226 # 15 ---> 14 (56) 240 # 12 ---> 5 (60) 240 # 5 ---> 4 (61) 206 # 6 ---> 5 (61) 220 # 7 ---> 6 (61) 206 # 5 ---> 35 (62) 235 # 63 ---> 33 (53) 242 # 118 ---> 117 (25) 208 # 44 ---> 43 (56) 226 # 14 ---> 13 (57) 240 # 4 ---> 16 (62) 220 # 6 ---> 5 (62) 208 # 43 ---> 79 (57) 208 # 79 ---> 80 (58) 240 # 16 ---> 15 (63) 220 # 5 ---> 4 (63) 228 # 91 ---> 47 (50) 228 # 47 ---> 28 (51) 228 # 28 ---> 29 (52) 228 # 29 ---> 36 (53) 228 # 36 ---> 44 (56) 228 # 44 ---> 43 (57) 228 # 43 ---> 79 (58) 228 # 79 ---> 122 (59) 240 # 15 ---> 43 (64) 220 # 4 ---> 16 (64) 240 # 43 ---> 71 (65) 242 # 117 ---> 38 (33) 240 # 71 ---> 70 (66) 242 # 38 ---> 110 (34) 242 # 110 ---> 109 (35) 219 # 37 ---> 38 (53) 234 # 120 ---> 121 (33) 242 # 109 ---> 108 (36) 219 # 38 ---> 110 (54) 204 # 77 ---> 78 (51) 243 # 84 ---> 77 (51) 242 # 108 ---> 107 (37) 204 # 78 ---> 62 (52) 243 # 77 ---> 78 (52) 223 # 105 ---> 104 (0) 242 # 107 ---> 106 (38) 204 # 62 ---> 36 (56) 243 # 78 ---> 62 (56) 223 # 104 ---> 86 (1) 242 # 106 ---> 105 (39) 204 # 36 ---> 37 (57) 243 # 62 ---> 36 (57) 223 # 86 ---> 85 (2) 242 # 105 ---> 104 (40) 234 # 121 ---> 43 (65) 204 # 37 ---> 38 (58) 234 # 43 ---> 44 (66) 204 # 38 ---> 39 (59) 235 # 33 ---> 55 (54) 206 # 35 ---> 34 (63) 240 # 70 ---> 19 (67) 243 # 36 ---> 37 (58) 234 # 44 ---> 36 (67) 221 # 64 ---> 47 (51) 221 # 47 ---> 28 (52) 221 # 28 ---> 29 (53) 218 # 24 ---> 27 (54) 211 # 1 ---> 24 (62) 245 # 41 ---> 42 (51) 204 # 39 ---> 40 (60) 243 # 37 ---> 38 (59) 234 # 36 ---> 37 (68) 221 # 29 ---> 36 (68) 218 # 27 ---> 28 (55) 211 # 24 ---> 27 (63) 245 # 42 ---> 0 (59) 204 # 40 ---> 41 (61) 243 # 38 ---> 39 (60) 234 # 37 ---> 38 (69) 221 # 36 ---> 37 (69) 218 # 28 ---> 29 (68) 245 # 0 ---> 1 (62) 204 # 41 ---> 42 (62) 243 # 39 ---> 40 (61) 234 # 38 ---> 39 (70) 221 # 37 ---> 38 (70) 221 # 38 ---> 117 (71) 221 # 117 ---> 118 (72) 218 # 29 ---> 36 (69) 218 # 36 ---> 45 (70) 245 # 1 ---> 24 (63) 204 # 42 ---> 0 (63) 243 # 40 ---> 41 (62) 234 # 39 ---> 40 (71) 235 # 55 ---> 56 (55) 206 # 34 ---> 33 (64) 235 # 56 ---> 57 (56) 206 # 33 ---> 55 (65) 235 # 57 ---> 58 (57) 206 # 55 ---> 56 (66) 235 # 58 ---> 59 (58) 206 # 56 ---> 57 (67) 232 # 3 ---> 2 (62) 207 # 8 ---> 7 (61) 207 # 7 ---> 6 (62) 240 # 19 ---> 20 (68) 233 # 18 ---> 19 (68) 243 # 41 ---> 42 (63) 234 # 40 ---> 41 (72) 207 # 6 ---> 5 (63) 242 # 104 ---> 86 (41) 223 # 85 ---> 84 (51) 242 # 86 ---> 85 (51) 242 # 85 ---> 89 (52) 242 # 89 ---> 90 (62) 242 # 90 ---> 34 (64) 242 # 34 ---> 33 (65) 242 # 33 ---> 55 (66) 242 # 55 ---> 56 (67) 242 # 56 ---> 111 (68) 207 # 5 ---> 12 (64) 207 # 12 ---> 68 (65) 207 # 68 ---> 88 (66) 207 # 88 ---> 87 (67) 207 # 87 ---> 86 (68) 207 # 86 ---> 104 (69) 223 # 84 ---> 85 (52) 226 # 13 ---> 12 (65) 226 # 12 ---> 5 (66) 207 # 104 ---> 105 (70) 207 # 105 ---> 106 (71) 207 # 106 ---> 107 (72) 207 # 107 ---> 108 (73) 226 # 5 ---> 6 (67) 219 # 110 ---> 38 (71) 207 # 108 ---> 109 (74) 226 # 6 ---> 9 (68) 207 # 109 ---> 110 (75) 223 # 85 ---> 86 (69) 223 # 86 ---> 87 (70) 223 # 87 ---> 88 (71) 223 # 88 ---> 68 (72) 223 # 68 ---> 95 (73) 223 # 95 ---> 94 (74) 223 # 94 ---> 93 (75) 223 # 93 ---> 92 (76) 223 # 92 ---> 91 (77) 223 # 91 ---> 96 (78) 223 # 96 ---> 97 (79) 206 # 57 ---> 58 (68) 235 # 59 ---> 60 (59) 206 # 58 ---> 59 (69) 235 # 60 ---> 61 (60) 206 # 59 ---> 60 (70) 235 # 61 ---> 37 (70) 206 # 60 ---> 61 (71) 235 # 37 ---> 36 (71) 206 # 61 ---> 37 (72) 235 # 36 ---> 62 (72) 206 # 37 ---> 36 (73) 206 # 36 ---> 29 (74) 206 # 29 ---> 28 (75) 206 # 28 ---> 47 (76) 206 # 47 ---> 91 (78) 223 # 97 ---> 98 (80) 206 # 91 ---> 96 (79) 223 # 98 ---> 99 (81) 206 # 96 ---> 97 (80) 223 # 99 ---> 100 (82) 206 # 97 ---> 98 (81) 216 # 25 ---> 26 (45) 245 # 24 ---> 25 (64) 232 # 2 ---> 1 (63) 211 # 27 ---> 28 (76) 232 # 1 ---> 24 (64) 216 # 26 ---> 18 (68) 245 # 25 ---> 26 (68) 232 # 24 ---> 25 (68) 211 # 28 ---> 47 (78) 235 # 62 ---> 36 (74) 235 # 36 ---> 29 (75) 216 # 18 ---> 33 (69) 204 # 0 ---> 8 (64) 235 # 29 ---> 28 (78) 235 # 28 ---> 27 (79) 218 # 45 ---> 36 (75) 211 # 47 ---> 46 (79) 235 # 27 ---> 24 (80) 204 # 8 ---> 17 (65) 204 # 17 ---> 18 (69) 216 # 33 ---> 34 (70) 204 # 18 ---> 33 (70) 204 # 33 ---> 63 (71) 204 # 63 ---> 62 (74) 204 # 62 ---> 78 (75) 204 # 78 ---> 77 (76) 204 # 77 ---> 84 (77) 204 # 84 ---> 85 (78) 218 # 36 ---> 62 (76) 216 # 34 ---> 33 (71) 216 # 33 ---> 55 (72) 216 # 55 ---> 56 (73) 216 # 56 ---> 57 (74) 216 # 57 ---> 58 (75) 218 # 62 ---> 63 (77) 216 # 58 ---> 59 (76) 204 # 85 ---> 86 (79) 211 # 46 ---> 45 (80) 211 # 45 ---> 36 (81) 204 # 86 ---> 87 (80) 211 # 36 ---> 62 (82) 211 # 62 ---> 78 (83) 211 # 78 ---> 77 (84) 204 # 87 ---> 88 (81) 211 # 77 ---> 84 (85) 220 # 16 ---> 15 (65) 220 # 15 ---> 14 (66) 240 # 20 ---> 21 (69) 208 # 80 ---> 81 (59) 233 # 19 ---> 70 (69) 208 # 81 ---> 82 (60) 233 # 70 ---> 71 (70) 233 # 71 ---> 43 (71) 208 # 82 ---> 83 (61) 235 # 24 ---> 1 (81) 222 # 67 ---> 24 (81) 222 # 24 ---> 27 (82) 222 # 27 ---> 28 (83) 222 # 28 ---> 29 (84) 222 # 29 ---> 36 (85) 220 # 14 ---> 13 (67) 222 # 36 ---> 44 (86) 220 # 13 ---> 12 (68) 233 # 43 ---> 15 (72) 222 # 44 ---> 43 (87) 208 # 83 ---> 20 (69) 222 # 43 ---> 79 (88) 208 # 20 ---> 19 (70) 222 # 79 ---> 80 (89) 238 # 54 ---> 72 (54) 238 # 72 ---> 76 (55) 238 # 76 ---> 77 (85) 240 # 21 ---> 22 (70) 240 # 22 ---> 23 (71) 240 # 23 ---> 7 (72) 240 # 7 ---> 6 (73) 240 # 6 ---> 5 (74) 240 # 5 ---> 4 (75) 240 # 4 ---> 53 (76) 240 # 53 ---> 54 (77) 240 # 54 ---> 72 (78) 240 # 72 ---> 73 (79) 240 # 73 ---> 74 (80) 220 # 12 ---> 5 (75) 220 # 5 ---> 35 (76) 240 # 74 ---> 75 (81) 233 # 15 ---> 14 (73) 220 # 35 ---> 34 (77) 220 # 34 ---> 33 (78) 220 # 33 ---> 18 (79) 208 # 19 ---> 70 (71) 235 # 1 ---> 2 (82) 235 # 2 ---> 3 (83) 235 # 3 ---> 4 (84) 233 # 14 ---> 13 (74) 233 # 13 ---> 12 (75) 233 # 12 ---> 30 (76) 233 # 30 ---> 29 (85) 233 # 29 ---> 28 (86) 233 # 28 ---> 47 (87) 233 # 47 ---> 64 (88) 218 # 63 ---> 33 (79) 243 # 42 ---> 0 (64) 234 # 41 ---> 42 (73) 243 # 0 ---> 1 (82) 234 # 42 ---> 0 (82) 243 # 1 ---> 24 (83) 234 # 0 ---> 1 (83) 220 # 18 ---> 19 (80) 216 # 59 ---> 60 (77) 218 # 33 ---> 18 (80) 216 # 60 ---> 61 (78) 218 # 18 ---> 17 (81) 245 # 26 ---> 18 (81) 232 # 25 ---> 26 (81) 243 # 24 ---> 25 (84) 234 # 1 ---> 24 (84) 218 # 17 ---> 8 (82) 245 # 18 ---> 17 (82) 232 # 26 ---> 18 (82) 243 # 25 ---> 26 (85) 234 # 24 ---> 25 (85) 218 # 8 ---> 0 (83) 245 # 17 ---> 8 (83) 232 # 18 ---> 17 (83) 243 # 26 ---> 18 (86) 243 # 18 ---> 33 (87) 216 # 61 ---> 37 (79) 243 # 33 ---> 55 (88) 216 # 37 ---> 36 (86) 243 # 55 ---> 56 (89) 216 # 36 ---> 29 (87) 245 # 8 ---> 7 (84) 234 # 25 ---> 26 (86) 218 # 0 ---> 1 (84) 234 # 26 ---> 18 (87) 243 # 56 ---> 57 (90) 235 # 4 ---> 5 (85) 243 # 57 ---> 58 (91) 245 # 7 ---> 23 (85) 235 # 5 ---> 6 (86) 245 # 23 ---> 32 (86) 235 # 6 ---> 7 (87) 245 # 32 ---> 31 (87) 235 # 7 ---> 23 (88) 243 # 58 ---> 59 (92) 218 # 1 ---> 2 (85) 218 # 2 ---> 3 (86) 218 # 3 ---> 4 (87) 218 # 4 ---> 53 (88) 218 # 53 ---> 54 (89) 226 # 9 ---> 6 (87) 226 # 6 ---> 5 (88) 226 # 5 ---> 12 (89) 226 # 12 ---> 13 (90) 216 # 29 ---> 30 (88) 216 # 30 ---> 12 (90) 226 # 13 ---> 14 (91) 216 # 12 ---> 13 (91) 216 # 13 ---> 48 (92) 226 # 14 ---> 13 (92) 216 # 48 ---> 49 (93) 226 # 13 ---> 48 (93) 245 # 31 ---> 30 (90) 235 # 23 ---> 32 (89) 245 # 30 ---> 12 (91) 234 # 18 ---> 33 (88) 245 # 12 ---> 11 (92) 235 # 32 ---> 31 (90) 235 # 31 ---> 30 (91) 235 # 30 ---> 12 (92) 234 # 33 ---> 34 (89) 234 # 34 ---> 35 (90) 234 # 35 ---> 5 (91) 234 # 5 ---> 4 (92) 234 # 4 ---> 3 (93) 234 # 3 ---> 2 (94) 234 # 2 ---> 1 (95) 234 # 1 ---> 0 (96) 235 # 12 ---> 5 (93) 235 # 5 ---> 4 (94) 235 # 4 ---> 3 (95) 235 # 3 ---> 2 (96) 235 # 2 ---> 1 (97) 235 # 1 ---> 24 (98) 235 # 24 ---> 27 (99) 234 # 0 ---> 1 (98) 232 # 17 ---> 8 (84) 234 # 1 ---> 2 (99) 232 # 8 ---> 0 (98) 234 # 2 ---> 3 (100) 232 # 0 ---> 1 (99) 234 # 3 ---> 4 (101) 232 # 1 ---> 2 (100) 220 # 19 ---> 20 (81) 220 # 20 ---> 21 (82) 220 # 21 ---> 22 (83) 220 # 22 ---> 23 (89) 245 # 11 ---> 12 (93) 234 # 4 ---> 5 (102) 234 # 5 ---> 6 (103) 245 # 12 ---> 5 (103) 234 # 6 ---> 9 (104) 245 # 5 ---> 6 (104) 245 # 6 ---> 7 (105) 232 # 2 ---> 3 (101) 245 # 7 ---> 8 (106) 232 # 3 ---> 4 (102) 245 # 8 ---> 0 (107) 232 # 4 ---> 5 (104) 245 # 0 ---> 1 (108) 234 # 9 ---> 6 (105) 245 # 1 ---> 2 (109) 234 # 6 ---> 7 (106) 232 # 5 ---> 6 (106) 232 # 6 ---> 9 (107) 245 # 2 ---> 3 (110) 234 # 7 ---> 8 (107) 245 # 3 ---> 4 (111) 234 # 8 ---> 0 (108) 245 # 4 ---> 5 (112) 234 # 0 ---> 1 (109) 245 # 5 ---> 6 (113) 234 # 1 ---> 2 (110) 245 # 6 ---> 7 (114) 232 # 9 ---> 6 (114) 245 # 7 ---> 8 (115) 232 # 6 ---> 7 (115) 234 # 2 ---> 3 (111) 245 # 8 ---> 0 (116) 232 # 7 ---> 8 (116) 234 # 3 ---> 4 (112) 245 # 0 ---> 1 (117) 232 # 8 ---> 0 (117) 234 # 4 ---> 5 (113) 245 # 1 ---> 2 (118) 232 # 0 ---> 1 (118) 234 # 5 ---> 6 (115) 245 # 2 ---> 3 (119) 232 # 1 ---> 2 (119) 234 # 6 ---> 7 (116) 245 # 3 ---> 4 (120) 232 # 2 ---> 3 (120) 234 # 7 ---> 8 (117) 245 # 4 ---> 5 (121) 232 # 3 ---> 4 (121) 234 # 8 ---> 0 (118) 245 # 5 ---> 6 (122) 232 # 4 ---> 5 (122) 234 # 0 ---> 1 (119) 245 # 6 ---> 9 (123) 232 # 5 ---> 6 (123) 234 # 1 ---> 2 (120) 232 # 6 ---> 7 (124) 234 # 2 ---> 3 (121) 232 # 7 ---> 8 (125) 234 # 3 ---> 4 (122) 232 # 8 ---> 0 (126) 232 # 0 ---> 1 (127) 234 # 4 ---> 5 (123) 234 # 5 ---> 6 (124) 232 # 1 ---> 2 (128) 234 # 6 ---> 7 (125) 232 # 2 ---> 3 (129) 234 # 7 ---> 8 (126) 232 # 3 ---> 4 (130) 234 # 8 ---> 0 (127) 232 # 4 ---> 5 (131) 234 # 0 ---> 1 (128) 232 # 5 ---> 6 (132) 234 # 1 ---> 2 (129) 232 # 6 ---> 7 (133) 234 # 2 ---> 3 (130) 232 # 7 ---> 8 (134) 234 # 3 ---> 4 (131) 232 # 8 ---> 0 (135) 234 # 4 ---> 5 (132) 232 # 0 ---> 1 (136) 234 # 5 ---> 6 (133) 232 # 1 ---> 2 (137) 234 # 6 ---> 7 (134) 232 # 2 ---> 3 (138) 234 # 7 ---> 8 (135) 232 # 3 ---> 4 (139) 234 # 8 ---> 0 (136) 232 # 4 ---> 5 (140) 234 # 0 ---> 1 (137) 232 # 5 ---> 6 (141) 234 # 1 ---> 2 (138) 232 # 6 ---> 7 (142) 234 # 2 ---> 3 (139) 232 # 7 ---> 8 (143) 234 # 3 ---> 4 (140) 232 # 8 ---> 0 (144) 232 # 0 ---> 1 (145) 234 # 4 ---> 5 (141) 234 # 5 ---> 6 (142) 232 # 1 ---> 2 (146) 234 # 6 ---> 7 (143) 232 # 2 ---> 3 (147) 234 # 7 ---> 8 (144) 245 # 9 ---> 6 (143) 232 # 3 ---> 4 (148) 234 # 8 ---> 0 (145) 245 # 6 ---> 7 (144) 232 # 4 ---> 5 (149) 234 # 0 ---> 1 (146) 245 # 7 ---> 8 (145) 232 # 5 ---> 6 (150) 234 # 1 ---> 2 (147) 245 # 8 ---> 0 (146) 232 # 6 ---> 7 (151) 234 # 2 ---> 3 (148) 245 # 0 ---> 1 (147) 232 # 7 ---> 8 (152) 234 # 3 ---> 4 (149) 245 # 1 ---> 2 (148) 232 # 8 ---> 0 (153) 234 # 4 ---> 5 (150) 245 # 2 ---> 3 (149) 232 # 0 ---> 1 (154) 234 # 5 ---> 6 (151) 245 # 3 ---> 4 (150) 232 # 1 ---> 2 (155) 234 # 6 ---> 7 (152) 245 # 4 ---> 5 (151) 245 # 5 ---> 6 (152) 232 # 2 ---> 3 (156) 234 # 7 ---> 8 (153) 245 # 6 ---> 7 (153) 232 # 3 ---> 4 (157) 234 # 8 ---> 0 (154) 245 # 7 ---> 8 (154) 232 # 4 ---> 5 (158) 234 # 0 ---> 1 (155) 245 # 8 ---> 0 (155) 232 # 5 ---> 6 (159) 234 # 1 ---> 2 (156) 245 # 0 ---> 1 (156) 232 # 6 ---> 7 (160) 234 # 2 ---> 3 (157) 245 # 1 ---> 2 (157) 232 # 7 ---> 8 (161) 234 # 3 ---> 4 (158) 245 # 2 ---> 3 (158) 232 # 8 ---> 0 (162) 232 # 0 ---> 1 (163) 234 # 4 ---> 5 (159) 245 # 3 ---> 4 (159) 234 # 5 ---> 6 (160) 245 # 4 ---> 5 (160) 232 # 1 ---> 2 (164) 234 # 6 ---> 7 (161) 232 # 2 ---> 3 (165) 234 # 7 ---> 8 (162) 245 # 5 ---> 6 (161) 232 # 3 ---> 4 (166) 234 # 8 ---> 0 (163) 245 # 6 ---> 7 (162) 232 # 4 ---> 5 (167) 234 # 0 ---> 1 (164) 245 # 7 ---> 8 (163) 232 # 5 ---> 6 (168) 234 # 1 ---> 2 (165) 245 # 8 ---> 0 (164) 232 # 6 ---> 7 (169) 234 # 2 ---> 3 (166) 245 # 0 ---> 1 (165) 232 # 7 ---> 8 (170) 234 # 3 ---> 4 (167) 245 # 1 ---> 2 (166) 232 # 8 ---> 0 (171) 234 # 4 ---> 5 (168) 245 # 2 ---> 3 (167) 232 # 0 ---> 1 (172) 234 # 5 ---> 6 (169) 245 # 3 ---> 4 (168) 234 # 6 ---> 9 (170) 245 # 4 ---> 5 (169) 232 # 1 ---> 2 (173) 245 # 5 ---> 6 (170) 232 # 2 ---> 3 (174) 245 # 6 ---> 7 (171) 232 # 3 ---> 4 (175) 245 # 7 ---> 8 (172) 232 # 4 ---> 5 (176) 245 # 8 ---> 0 (173) 232 # 5 ---> 6 (177) 245 # 0 ---> 1 (174) 232 # 6 ---> 7 (178) 245 # 1 ---> 2 (175) 232 # 7 ---> 8 (179) 245 # 2 ---> 3 (176) 232 # 8 ---> 0 (180) 232 # 0 ---> 1 (181) 245 # 3 ---> 4 (177) 232 # 1 ---> 2 (182) 245 # 4 ---> 5 (178) 232 # 2 ---> 3 (183) 212 # 131 ---> 179 (64) Reading goal arrangement... Undirected graph: (|V|=248 |E|=316) [ Vertex: (id = 0) {1 8 42 66 } Vertex: (id = 1) {0 2 24 } Vertex: (id = 2) {1 3 } Vertex: (id = 3) {2 4 172 202 } Vertex: (id = 4) {3 5 16 53 } Vertex: (id = 5) {4 6 12 35 } Vertex: (id = 6) {5 7 9 } Vertex: (id = 7) {6 8 23 147 153 } Vertex: (id = 8) {0 7 17 212 237 } Vertex: (id = 9) {6 10 65 } Vertex: (id = 10) {9 11 52 } Vertex: (id = 11) {10 12 } Vertex: (id = 12) {5 11 13 30 68 145 247 } Vertex: (id = 13) {12 14 48 } Vertex: (id = 14) {13 15 101 } Vertex: (id = 15) {14 16 43 } Vertex: (id = 16) {4 15 162 } Vertex: (id = 17) {8 18 } Vertex: (id = 18) {17 19 26 33 } Vertex: (id = 19) {18 20 70 } Vertex: (id = 20) {19 21 83 } Vertex: (id = 21) {20 22 } Vertex: (id = 22) {21 23 135 233 } Vertex: (id = 23) {7 22 32 126 } Vertex: (id = 24) {1 25 27 67 } Vertex: (id = 25) {24 26 } Vertex: (id = 26) {18 25 181 } Vertex: (id = 27) {24 28 } Vertex: (id = 28) {27 29 47 } Vertex: (id = 29) {28 30 36 } Vertex: (id = 30) {12 29 31 } Vertex: (id = 31) {30 32 193 226 } Vertex: (id = 32) {23 31 } Vertex: (id = 33) {18 34 55 63 } Vertex: (id = 34) {33 35 69 90 102 } Vertex: (id = 35) {5 34 192 } Vertex: (id = 36) {29 37 44 45 62 75 } Vertex: (id = 37) {36 38 61 } Vertex: (id = 38) {37 39 110 117 184 } Vertex: (id = 39) {38 40 150 221 } Vertex: (id = 40) {39 41 } Vertex: (id = 41) {40 42 } Vertex: (id = 42) {0 41 } Vertex: (id = 43) {15 44 71 79 121 } Vertex: (id = 44) {36 43 } Vertex: (id = 45) {36 46 54 127 138 } Vertex: (id = 46) {45 47 } Vertex: (id = 47) {28 46 64 91 } Vertex: (id = 48) {13 49 } Vertex: (id = 49) {48 50 } Vertex: (id = 50) {49 51 201 } Vertex: (id = 51) {50 52 178 } Vertex: (id = 52) {10 51 } Vertex: (id = 53) {4 54 } Vertex: (id = 54) {45 53 72 140 } Vertex: (id = 55) {33 56 134 156 } Vertex: (id = 56) {55 57 111 } Vertex: (id = 57) {56 58 } Vertex: (id = 58) {57 59 137 } Vertex: (id = 59) {58 60 211 } Vertex: (id = 60) {59 61 176 183 } Vertex: (id = 61) {37 60 194 } Vertex: (id = 62) {36 63 78 } Vertex: (id = 63) {33 62 139 } Vertex: (id = 64) {47 65 175 } Vertex: (id = 65) {9 64 } Vertex: (id = 66) {0 67 146 } Vertex: (id = 67) {24 66 } Vertex: (id = 68) {12 69 88 95 149 } Vertex: (id = 69) {34 68 } Vertex: (id = 70) {19 71 119 132 } Vertex: (id = 71) {43 70 } Vertex: (id = 72) {54 73 76 } Vertex: (id = 73) {72 74 } Vertex: (id = 74) {73 75 } Vertex: (id = 75) {36 74 133 168 } Vertex: (id = 76) {72 77 } Vertex: (id = 77) {76 78 84 195 } Vertex: (id = 78) {62 77 116 131 } Vertex: (id = 79) {43 80 122 } Vertex: (id = 80) {79 81 } Vertex: (id = 81) {80 82 } Vertex: (id = 82) {81 83 } Vertex: (id = 83) {20 82 144 174 } Vertex: (id = 84) {77 85 } Vertex: (id = 85) {84 86 89 } Vertex: (id = 86) {85 87 104 } Vertex: (id = 87) {86 88 } Vertex: (id = 88) {68 87 } Vertex: (id = 89) {85 90 } Vertex: (id = 90) {34 89 103 } Vertex: (id = 91) {47 92 96 } Vertex: (id = 92) {91 93 } Vertex: (id = 93) {92 94 } Vertex: (id = 94) {93 95 } Vertex: (id = 95) {68 94 } Vertex: (id = 96) {91 97 } Vertex: (id = 97) {96 98 } Vertex: (id = 98) {97 99 128 } Vertex: (id = 99) {98 100 } Vertex: (id = 100) {99 101 } Vertex: (id = 101) {14 100 } Vertex: (id = 102) {34 103 } Vertex: (id = 103) {90 102 129 152 } Vertex: (id = 104) {86 105 } Vertex: (id = 105) {104 106 } Vertex: (id = 106) {105 107 } Vertex: (id = 107) {106 108 120 155 173 } Vertex: (id = 108) {107 109 169 } Vertex: (id = 109) {108 110 213 } Vertex: (id = 110) {38 109 } Vertex: (id = 111) {56 112 } Vertex: (id = 112) {111 113 } Vertex: (id = 113) {112 114 } Vertex: (id = 114) {113 115 } Vertex: (id = 115) {114 116 210 } Vertex: (id = 116) {78 115 } Vertex: (id = 117) {38 118 } Vertex: (id = 118) {117 119 } Vertex: (id = 119) {70 118 } Vertex: (id = 120) {107 121 } Vertex: (id = 121) {43 120 207 } Vertex: (id = 122) {79 123 } Vertex: (id = 123) {122 124 } Vertex: (id = 124) {123 125 } Vertex: (id = 125) {124 126 } Vertex: (id = 126) {23 125 136 } Vertex: (id = 127) {45 128 160 } Vertex: (id = 128) {98 127 } Vertex: (id = 129) {103 130 } Vertex: (id = 130) {129 131 206 245 } Vertex: (id = 131) {78 130 179 } Vertex: (id = 132) {70 133 209 } Vertex: (id = 133) {75 132 } Vertex: (id = 134) {55 135 } Vertex: (id = 135) {22 134 } Vertex: (id = 136) {126 137 191 } Vertex: (id = 137) {58 136 } Vertex: (id = 138) {45 139 } Vertex: (id = 139) {63 138 } Vertex: (id = 140) {54 141 } Vertex: (id = 141) {140 142 } Vertex: (id = 142) {141 143 } Vertex: (id = 143) {142 144 232 } Vertex: (id = 144) {83 143 } Vertex: (id = 145) {12 146 236 } Vertex: (id = 146) {66 145 } Vertex: (id = 147) {7 148 163 } Vertex: (id = 148) {147 149 } Vertex: (id = 149) {68 148 } Vertex: (id = 150) {39 151 } Vertex: (id = 151) {150 152 } Vertex: (id = 152) {103 151 } Vertex: (id = 153) {7 154 } Vertex: (id = 154) {153 155 } Vertex: (id = 155) {107 154 } Vertex: (id = 156) {55 157 } Vertex: (id = 157) {156 158 244 } Vertex: (id = 158) {157 159 190 } Vertex: (id = 159) {158 160 161 208 } Vertex: (id = 160) {127 159 } Vertex: (id = 161) {159 162 170 177 227 } Vertex: (id = 162) {16 161 } Vertex: (id = 163) {147 164 171 } Vertex: (id = 164) {163 165 } Vertex: (id = 165) {164 166 } Vertex: (id = 166) {165 167 } Vertex: (id = 167) {166 168 214 } Vertex: (id = 168) {75 167 182 222 } Vertex: (id = 169) {108 170 } Vertex: (id = 170) {161 169 } Vertex: (id = 171) {163 172 } Vertex: (id = 172) {3 171 } Vertex: (id = 173) {107 174 } Vertex: (id = 174) {83 173 } Vertex: (id = 175) {64 176 243 } Vertex: (id = 176) {60 175 } Vertex: (id = 177) {161 178 } Vertex: (id = 178) {51 177 } Vertex: (id = 179) {131 180 } Vertex: (id = 180) {179 181 } Vertex: (id = 181) {26 180 } Vertex: (id = 182) {168 183 } Vertex: (id = 183) {60 182 } Vertex: (id = 184) {38 185 } Vertex: (id = 185) {184 186 } Vertex: (id = 186) {185 187 } Vertex: (id = 187) {186 188 } Vertex: (id = 188) {187 189 } Vertex: (id = 189) {188 190 } Vertex: (id = 190) {158 189 } Vertex: (id = 191) {136 192 } Vertex: (id = 192) {35 191 } Vertex: (id = 193) {31 194 } Vertex: (id = 194) {61 193 215 } Vertex: (id = 195) {77 196 } Vertex: (id = 196) {195 197 } Vertex: (id = 197) {196 198 } Vertex: (id = 198) {197 199 } Vertex: (id = 199) {198 200 } Vertex: (id = 200) {199 201 } Vertex: (id = 201) {50 200 } Vertex: (id = 202) {3 203 } Vertex: (id = 203) {202 204 } Vertex: (id = 204) {203 205 } Vertex: (id = 205) {204 206 } Vertex: (id = 206) {130 205 } Vertex: (id = 207) {121 208 } Vertex: (id = 208) {159 207 } Vertex: (id = 209) {132 210 } Vertex: (id = 210) {115 209 } Vertex: (id = 211) {59 212 } Vertex: (id = 212) {8 211 } Vertex: (id = 213) {109 214 } Vertex: (id = 214) {167 213 } Vertex: (id = 215) {194 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) {39 220 } Vertex: (id = 222) {168 223 } Vertex: (id = 223) {222 224 } Vertex: (id = 224) {223 225 } Vertex: (id = 225) {224 226 } Vertex: (id = 226) {31 225 } Vertex: (id = 227) {161 228 } Vertex: (id = 228) {227 229 } Vertex: (id = 229) {228 230 } Vertex: (id = 230) {229 231 } Vertex: (id = 231) {230 232 } Vertex: (id = 232) {143 231 } Vertex: (id = 233) {22 234 } Vertex: (id = 234) {233 235 246 } Vertex: (id = 235) {234 236 } Vertex: (id = 236) {145 235 } Vertex: (id = 237) {8 238 } Vertex: (id = 238) {237 239 } Vertex: (id = 239) {238 240 } Vertex: (id = 240) {239 241 } Vertex: (id = 241) {240 242 } Vertex: (id = 242) {241 243 } Vertex: (id = 243) {175 242 } Vertex: (id = 244) {157 245 } Vertex: (id = 245) {130 244 } Vertex: (id = 246) {234 247 } Vertex: (id = 247) {12 246 } Edge 0 <-> 1 [ Arc: (edge = 0x7fffb40de000, target = 0xaff690) Arc: (edge = 0x7fffb40de000, target = 0xaff670) ] Edge 0 <-> 8 [ Arc: (edge = 0x7fffb40de000, target = 0xaff770) Arc: (edge = 0x7fffb40de000, target = 0xaff670) ] Edge 0 <-> 42 [ Arc: (edge = 0x7fffb40de000, target = 0xaffbb0) Arc: (edge = 0x7fffb40de000, target = 0xaff670) ] Edge 0 <-> 66 [ Arc: (edge = 0x7fffb40de000, target = 0xaffeb0) Arc: (edge = 0x7fffb40de000, target = 0xaff670) ] Edge 1 <-> 2 [ Arc: (edge = 0x7fffb40de000, target = 0xaff6b0) Arc: (edge = 0x7fffb40de000, target = 0xaff690) ] Edge 1 <-> 24 [ Arc: (edge = 0x7fffb40de000, target = 0xaff970) Arc: (edge = 0x7fffb40de000, target = 0xaff690) ] Edge 2 <-> 3 [ Arc: (edge = 0x7fffb40de000, target = 0xaff6d0) Arc: (edge = 0x7fffb40de000, target = 0xaff6b0) ] Edge 3 <-> 4 [ Arc: (edge = 0x7fffb40de000, target = 0xaff6f0) Arc: (edge = 0x7fffb40de000, target = 0xaff6d0) ] Edge 3 <-> 172 [ Arc: (edge = 0x7fffb40de000, target = 0xb00bf0) Arc: (edge = 0x7fffb40de000, target = 0xaff6d0) ] Edge 3 <-> 202 [ Arc: (edge = 0x7fffb40de000, target = 0xb00fb0) Arc: (edge = 0x7fffb40de000, target = 0xaff6d0) ] Edge 4 <-> 5 [ Arc: (edge = 0x7fffb40de000, target = 0xaff710) Arc: (edge = 0x7fffb40de000, target = 0xaff6f0) ] Edge 4 <-> 16 [ Arc: (edge = 0x7fffb40de000, target = 0xaff870) Arc: (edge = 0x7fffb40de000, target = 0xaff6f0) ] Edge 4 <-> 53 [ Arc: (edge = 0x7fffb40de000, target = 0xaffd10) Arc: (edge = 0x7fffb40de000, target = 0xaff6f0) ] Edge 5 <-> 6 [ Arc: (edge = 0x7fffb40de000, target = 0xaff730) Arc: (edge = 0x7fffb40de000, target = 0xaff710) ] Edge 5 <-> 12 [ Arc: (edge = 0x7fffb40de000, target = 0xaff7f0) Arc: (edge = 0x7fffb40de000, target = 0xaff710) ] Edge 5 <-> 35 [ Arc: (edge = 0x7fffb40de000, target = 0xaffad0) Arc: (edge = 0x7fffb40de000, target = 0xaff710) ] Edge 6 <-> 7 [ Arc: (edge = 0x7fffb40de000, target = 0xaff750) Arc: (edge = 0x7fffb40de000, target = 0xaff730) ] Edge 6 <-> 9 [ Arc: (edge = 0x7fffb40de000, target = 0xaff790) Arc: (edge = 0x7fffb40de000, target = 0xaff730) ] Edge 7 <-> 8 [ Arc: (edge = 0x7fffb40de000, target = 0xaff770) Arc: (edge = 0x7fffb40de000, target = 0xaff750) ] Edge 7 <-> 23 [ Arc: (edge = 0x7fffb40de000, target = 0xaff950) Arc: (edge = 0x7fffb40de000, target = 0xaff750) ] Edge 7 <-> 147 [ Arc: (edge = 0x7fffb40de000, target = 0xb008d0) Arc: (edge = 0x7fffb40de000, target = 0xaff750) ] Edge 7 <-> 153 [ Arc: (edge = 0x7fffb40de000, target = 0xb00990) Arc: (edge = 0x7fffb40de000, target = 0xaff750) ] Edge 8 <-> 17 [ Arc: (edge = 0x7fffb40de000, target = 0xaff890) Arc: (edge = 0x7fffb40de000, target = 0xaff770) ] Edge 8 <-> 212 [ Arc: (edge = 0x7fffb40de000, target = 0xb010f0) Arc: (edge = 0x7fffb40de000, target = 0xaff770) ] Edge 8 <-> 237 [ Arc: (edge = 0x7fffb40de000, target = 0xb01410) Arc: (edge = 0x7fffb40de000, target = 0xaff770) ] Edge 9 <-> 10 [ Arc: (edge = 0x7fffb40de000, target = 0xaff7b0) Arc: (edge = 0x7fffb40de000, target = 0xaff790) ] Edge 9 <-> 65 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe90) Arc: (edge = 0x7fffb40de000, target = 0xaff790) ] Edge 10 <-> 11 [ Arc: (edge = 0x7fffb40de000, target = 0xaff7d0) Arc: (edge = 0x7fffb40de000, target = 0xaff7b0) ] Edge 10 <-> 52 [ Arc: (edge = 0x7fffb40de000, target = 0xaffcf0) Arc: (edge = 0x7fffb40de000, target = 0xaff7b0) ] Edge 11 <-> 12 [ Arc: (edge = 0x7fffb40de000, target = 0xaff7f0) Arc: (edge = 0x7fffb40de000, target = 0xaff7d0) ] Edge 12 <-> 13 [ Arc: (edge = 0x7fffb40de000, target = 0xaff810) Arc: (edge = 0x7fffb40de000, target = 0xaff7f0) ] Edge 12 <-> 30 [ Arc: (edge = 0x7fffb40de000, target = 0xaffa30) Arc: (edge = 0x7fffb40de000, target = 0xaff7f0) ] Edge 12 <-> 68 [ Arc: (edge = 0x7fffb40de000, target = 0xaffef0) Arc: (edge = 0x7fffb40de000, target = 0xaff7f0) ] Edge 12 <-> 145 [ Arc: (edge = 0x7fffb40de000, target = 0xb00890) Arc: (edge = 0x7fffb40de000, target = 0xaff7f0) ] Edge 12 <-> 247 [ Arc: (edge = 0x7fffb40de000, target = 0xb01550) Arc: (edge = 0x7fffb40de000, target = 0xaff7f0) ] Edge 13 <-> 14 [ Arc: (edge = 0x7fffb40de000, target = 0xaff830) Arc: (edge = 0x7fffb40de000, target = 0xaff810) ] Edge 13 <-> 48 [ Arc: (edge = 0x7fffb40de000, target = 0xaffc70) Arc: (edge = 0x7fffb40de000, target = 0xaff810) ] Edge 14 <-> 15 [ Arc: (edge = 0x7fffb40de000, target = 0xaff850) Arc: (edge = 0x7fffb40de000, target = 0xaff830) ] Edge 14 <-> 101 [ Arc: (edge = 0x7fffb40de000, target = 0xb00310) Arc: (edge = 0x7fffb40de000, target = 0xaff830) ] Edge 15 <-> 16 [ Arc: (edge = 0x7fffb40de000, target = 0xaff870) Arc: (edge = 0x7fffb40de000, target = 0xaff850) ] Edge 15 <-> 43 [ Arc: (edge = 0x7fffb40de000, target = 0xaffbd0) Arc: (edge = 0x7fffb40de000, target = 0xaff850) ] Edge 16 <-> 162 [ Arc: (edge = 0x7fffb40de000, target = 0xb00ab0) Arc: (edge = 0x7fffb40de000, target = 0xaff870) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fffb40de000, target = 0xaff8b0) Arc: (edge = 0x7fffb40de000, target = 0xaff890) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fffb40de000, target = 0xaff8d0) Arc: (edge = 0x7fffb40de000, target = 0xaff8b0) ] Edge 18 <-> 26 [ Arc: (edge = 0x7fffb40de000, target = 0xaff9b0) Arc: (edge = 0x7fffb40de000, target = 0xaff8b0) ] Edge 18 <-> 33 [ Arc: (edge = 0x7fffb40de000, target = 0xaffa90) Arc: (edge = 0x7fffb40de000, target = 0xaff8b0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fffb40de000, target = 0xaff8f0) Arc: (edge = 0x7fffb40de000, target = 0xaff8d0) ] Edge 19 <-> 70 [ Arc: (edge = 0x7fffb40de000, target = 0xafff30) Arc: (edge = 0x7fffb40de000, target = 0xaff8d0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fffb40de000, target = 0xaff910) Arc: (edge = 0x7fffb40de000, target = 0xaff8f0) ] Edge 20 <-> 83 [ Arc: (edge = 0x7fffb40de000, target = 0xb000d0) Arc: (edge = 0x7fffb40de000, target = 0xaff8f0) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fffb40de000, target = 0xaff930) Arc: (edge = 0x7fffb40de000, target = 0xaff910) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fffb40de000, target = 0xaff950) Arc: (edge = 0x7fffb40de000, target = 0xaff930) ] Edge 22 <-> 135 [ Arc: (edge = 0x7fffb40de000, target = 0xb00750) Arc: (edge = 0x7fffb40de000, target = 0xaff930) ] Edge 22 <-> 233 [ Arc: (edge = 0x7fffb40de000, target = 0xb01390) Arc: (edge = 0x7fffb40de000, target = 0xaff930) ] Edge 23 <-> 32 [ Arc: (edge = 0x7fffb40de000, target = 0xaffa70) Arc: (edge = 0x7fffb40de000, target = 0xaff950) ] Edge 23 <-> 126 [ Arc: (edge = 0x7fffb40de000, target = 0xb00630) Arc: (edge = 0x7fffb40de000, target = 0xaff950) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fffb40de000, target = 0xaff990) Arc: (edge = 0x7fffb40de000, target = 0xaff970) ] Edge 24 <-> 27 [ Arc: (edge = 0x7fffb40de000, target = 0xaff9d0) Arc: (edge = 0x7fffb40de000, target = 0xaff970) ] Edge 24 <-> 67 [ Arc: (edge = 0x7fffb40de000, target = 0xaffed0) Arc: (edge = 0x7fffb40de000, target = 0xaff970) ] Edge 25 <-> 26 [ Arc: (edge = 0x7fffb40de000, target = 0xaff9b0) Arc: (edge = 0x7fffb40de000, target = 0xaff990) ] Edge 26 <-> 181 [ Arc: (edge = 0x7fffb40de000, target = 0xb00d10) Arc: (edge = 0x7fffb40de000, target = 0xaff9b0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fffb40de000, target = 0xaff9f0) Arc: (edge = 0x7fffb40de000, target = 0xaff9d0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fffb40de000, target = 0xaffa10) Arc: (edge = 0x7fffb40de000, target = 0xaff9f0) ] Edge 28 <-> 47 [ Arc: (edge = 0x7fffb40de000, target = 0xaffc50) Arc: (edge = 0x7fffb40de000, target = 0xaff9f0) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fffb40de000, target = 0xaffa30) Arc: (edge = 0x7fffb40de000, target = 0xaffa10) ] Edge 29 <-> 36 [ Arc: (edge = 0x7fffb40de000, target = 0xaffaf0) Arc: (edge = 0x7fffb40de000, target = 0xaffa10) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fffb40de000, target = 0xaffa50) Arc: (edge = 0x7fffb40de000, target = 0xaffa30) ] Edge 31 <-> 32 [ Arc: (edge = 0x7fffb40de000, target = 0xaffa70) Arc: (edge = 0x7fffb40de000, target = 0xaffa50) ] Edge 31 <-> 193 [ Arc: (edge = 0x7fffb40de000, target = 0xb00e90) Arc: (edge = 0x7fffb40de000, target = 0xaffa50) ] Edge 31 <-> 226 [ Arc: (edge = 0x7fffb40de000, target = 0xb012b0) Arc: (edge = 0x7fffb40de000, target = 0xaffa50) ] Edge 33 <-> 34 [ Arc: (edge = 0x7fffb40de000, target = 0xaffab0) Arc: (edge = 0x7fffb40de000, target = 0xaffa90) ] Edge 33 <-> 55 [ Arc: (edge = 0x7fffb40de000, target = 0xaffd50) Arc: (edge = 0x7fffb40de000, target = 0xaffa90) ] Edge 33 <-> 63 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe50) Arc: (edge = 0x7fffb40de000, target = 0xaffa90) ] Edge 34 <-> 35 [ Arc: (edge = 0x7fffb40de000, target = 0xaffad0) Arc: (edge = 0x7fffb40de000, target = 0xaffab0) ] Edge 34 <-> 69 [ Arc: (edge = 0x7fffb40de000, target = 0xafff10) Arc: (edge = 0x7fffb40de000, target = 0xaffab0) ] Edge 34 <-> 90 [ Arc: (edge = 0x7fffb40de000, target = 0xb001b0) Arc: (edge = 0x7fffb40de000, target = 0xaffab0) ] Edge 34 <-> 102 [ Arc: (edge = 0x7fffb40de000, target = 0xb00330) Arc: (edge = 0x7fffb40de000, target = 0xaffab0) ] Edge 35 <-> 192 [ Arc: (edge = 0x7fffb40de000, target = 0xb00e70) Arc: (edge = 0x7fffb40de000, target = 0xaffad0) ] Edge 36 <-> 37 [ Arc: (edge = 0x7fffb40de000, target = 0xaffb10) Arc: (edge = 0x7fffb40de000, target = 0xaffaf0) ] Edge 36 <-> 44 [ Arc: (edge = 0x7fffb40de000, target = 0xaffbf0) Arc: (edge = 0x7fffb40de000, target = 0xaffaf0) ] Edge 36 <-> 45 [ Arc: (edge = 0x7fffb40de000, target = 0xaffc10) Arc: (edge = 0x7fffb40de000, target = 0xaffaf0) ] Edge 36 <-> 62 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe30) Arc: (edge = 0x7fffb40de000, target = 0xaffaf0) ] Edge 36 <-> 75 [ Arc: (edge = 0x7fffb40de000, target = 0xafffd0) Arc: (edge = 0x7fffb40de000, target = 0xaffaf0) ] Edge 37 <-> 38 [ Arc: (edge = 0x7fffb40de000, target = 0xaffb30) Arc: (edge = 0x7fffb40de000, target = 0xaffb10) ] Edge 37 <-> 61 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe10) Arc: (edge = 0x7fffb40de000, target = 0xaffb10) ] Edge 38 <-> 39 [ Arc: (edge = 0x7fffb40de000, target = 0xaffb50) Arc: (edge = 0x7fffb40de000, target = 0xaffb30) ] Edge 38 <-> 110 [ Arc: (edge = 0x7fffb40de000, target = 0xb00430) Arc: (edge = 0x7fffb40de000, target = 0xaffb30) ] Edge 38 <-> 117 [ Arc: (edge = 0x7fffb40de000, target = 0xb00510) Arc: (edge = 0x7fffb40de000, target = 0xaffb30) ] Edge 38 <-> 184 [ Arc: (edge = 0x7fffb40de000, target = 0xb00d70) Arc: (edge = 0x7fffb40de000, target = 0xaffb30) ] Edge 39 <-> 40 [ Arc: (edge = 0x7fffb40de000, target = 0xaffb70) Arc: (edge = 0x7fffb40de000, target = 0xaffb50) ] Edge 39 <-> 150 [ Arc: (edge = 0x7fffb40de000, target = 0xb00930) Arc: (edge = 0x7fffb40de000, target = 0xaffb50) ] Edge 39 <-> 221 [ Arc: (edge = 0x7fffb40de000, target = 0xb01210) Arc: (edge = 0x7fffb40de000, target = 0xaffb50) ] Edge 40 <-> 41 [ Arc: (edge = 0x7fffb40de000, target = 0xaffb90) Arc: (edge = 0x7fffb40de000, target = 0xaffb70) ] Edge 41 <-> 42 [ Arc: (edge = 0x7fffb40de000, target = 0xaffbb0) Arc: (edge = 0x7fffb40de000, target = 0xaffb90) ] Edge 43 <-> 44 [ Arc: (edge = 0x7fffb40de000, target = 0xaffbf0) Arc: (edge = 0x7fffb40de000, target = 0xaffbd0) ] Edge 43 <-> 71 [ Arc: (edge = 0x7fffb40de000, target = 0xafff50) Arc: (edge = 0x7fffb40de000, target = 0xaffbd0) ] Edge 43 <-> 79 [ Arc: (edge = 0x7fffb40de000, target = 0xb00050) Arc: (edge = 0x7fffb40de000, target = 0xaffbd0) ] Edge 43 <-> 121 [ Arc: (edge = 0x7fffb40de000, target = 0xb00590) Arc: (edge = 0x7fffb40de000, target = 0xaffbd0) ] Edge 45 <-> 46 [ Arc: (edge = 0x7fffb40de000, target = 0xaffc30) Arc: (edge = 0x7fffb40de000, target = 0xaffc10) ] Edge 45 <-> 54 [ Arc: (edge = 0x7fffb40de000, target = 0xaffd30) Arc: (edge = 0x7fffb40de000, target = 0xaffc10) ] Edge 45 <-> 127 [ Arc: (edge = 0x7fffb40de000, target = 0xb00650) Arc: (edge = 0x7fffb40de000, target = 0xaffc10) ] Edge 45 <-> 138 [ Arc: (edge = 0x7fffb40de000, target = 0xb007b0) Arc: (edge = 0x7fffb40de000, target = 0xaffc10) ] Edge 46 <-> 47 [ Arc: (edge = 0x7fffb40de000, target = 0xaffc50) Arc: (edge = 0x7fffb40de000, target = 0xaffc30) ] Edge 47 <-> 64 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe70) Arc: (edge = 0x7fffb40de000, target = 0xaffc50) ] Edge 47 <-> 91 [ Arc: (edge = 0x7fffb40de000, target = 0xb001d0) Arc: (edge = 0x7fffb40de000, target = 0xaffc50) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fffb40de000, target = 0xaffc90) Arc: (edge = 0x7fffb40de000, target = 0xaffc70) ] Edge 49 <-> 50 [ Arc: (edge = 0x7fffb40de000, target = 0xaffcb0) Arc: (edge = 0x7fffb40de000, target = 0xaffc90) ] Edge 50 <-> 51 [ Arc: (edge = 0x7fffb40de000, target = 0xaffcd0) Arc: (edge = 0x7fffb40de000, target = 0xaffcb0) ] Edge 50 <-> 201 [ Arc: (edge = 0x7fffb40de000, target = 0xb00f90) Arc: (edge = 0x7fffb40de000, target = 0xaffcb0) ] Edge 51 <-> 52 [ Arc: (edge = 0x7fffb40de000, target = 0xaffcf0) Arc: (edge = 0x7fffb40de000, target = 0xaffcd0) ] Edge 51 <-> 178 [ Arc: (edge = 0x7fffb40de000, target = 0xb00cb0) Arc: (edge = 0x7fffb40de000, target = 0xaffcd0) ] Edge 53 <-> 54 [ Arc: (edge = 0x7fffb40de000, target = 0xaffd30) Arc: (edge = 0x7fffb40de000, target = 0xaffd10) ] Edge 54 <-> 72 [ Arc: (edge = 0x7fffb40de000, target = 0xafff70) Arc: (edge = 0x7fffb40de000, target = 0xaffd30) ] Edge 54 <-> 140 [ Arc: (edge = 0x7fffb40de000, target = 0xb007f0) Arc: (edge = 0x7fffb40de000, target = 0xaffd30) ] Edge 55 <-> 56 [ Arc: (edge = 0x7fffb40de000, target = 0xaffd70) Arc: (edge = 0x7fffb40de000, target = 0xaffd50) ] Edge 55 <-> 134 [ Arc: (edge = 0x7fffb40de000, target = 0xb00730) Arc: (edge = 0x7fffb40de000, target = 0xaffd50) ] Edge 55 <-> 156 [ Arc: (edge = 0x7fffb40de000, target = 0xb009f0) Arc: (edge = 0x7fffb40de000, target = 0xaffd50) ] Edge 56 <-> 57 [ Arc: (edge = 0x7fffb40de000, target = 0xaffd90) Arc: (edge = 0x7fffb40de000, target = 0xaffd70) ] Edge 56 <-> 111 [ Arc: (edge = 0x7fffb40de000, target = 0xb00450) Arc: (edge = 0x7fffb40de000, target = 0xaffd70) ] Edge 57 <-> 58 [ Arc: (edge = 0x7fffb40de000, target = 0xaffdb0) Arc: (edge = 0x7fffb40de000, target = 0xaffd90) ] Edge 58 <-> 59 [ Arc: (edge = 0x7fffb40de000, target = 0xaffdd0) Arc: (edge = 0x7fffb40de000, target = 0xaffdb0) ] Edge 58 <-> 137 [ Arc: (edge = 0x7fffb40de000, target = 0xb00790) Arc: (edge = 0x7fffb40de000, target = 0xaffdb0) ] Edge 59 <-> 60 [ Arc: (edge = 0x7fffb40de000, target = 0xaffdf0) Arc: (edge = 0x7fffb40de000, target = 0xaffdd0) ] Edge 59 <-> 211 [ Arc: (edge = 0x7fffb40de000, target = 0xb010d0) Arc: (edge = 0x7fffb40de000, target = 0xaffdd0) ] Edge 60 <-> 61 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe10) Arc: (edge = 0x7fffb40de000, target = 0xaffdf0) ] Edge 60 <-> 176 [ Arc: (edge = 0x7fffb40de000, target = 0xb00c70) Arc: (edge = 0x7fffb40de000, target = 0xaffdf0) ] Edge 60 <-> 183 [ Arc: (edge = 0x7fffb40de000, target = 0xb00d50) Arc: (edge = 0x7fffb40de000, target = 0xaffdf0) ] Edge 61 <-> 194 [ Arc: (edge = 0x7fffb40de000, target = 0xb00eb0) Arc: (edge = 0x7fffb40de000, target = 0xaffe10) ] Edge 62 <-> 63 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe50) Arc: (edge = 0x7fffb40de000, target = 0xaffe30) ] Edge 62 <-> 78 [ Arc: (edge = 0x7fffb40de000, target = 0xb00030) Arc: (edge = 0x7fffb40de000, target = 0xaffe30) ] Edge 63 <-> 139 [ Arc: (edge = 0x7fffb40de000, target = 0xb007d0) Arc: (edge = 0x7fffb40de000, target = 0xaffe50) ] Edge 64 <-> 65 [ Arc: (edge = 0x7fffb40de000, target = 0xaffe90) Arc: (edge = 0x7fffb40de000, target = 0xaffe70) ] Edge 64 <-> 175 [ Arc: (edge = 0x7fffb40de000, target = 0xb00c50) Arc: (edge = 0x7fffb40de000, target = 0xaffe70) ] Edge 66 <-> 67 [ Arc: (edge = 0x7fffb40de000, target = 0xaffed0) Arc: (edge = 0x7fffb40de000, target = 0xaffeb0) ] Edge 66 <-> 146 [ Arc: (edge = 0x7fffb40de000, target = 0xb008b0) Arc: (edge = 0x7fffb40de000, target = 0xaffeb0) ] Edge 68 <-> 69 [ Arc: (edge = 0x7fffb40de000, target = 0xafff10) Arc: (edge = 0x7fffb40de000, target = 0xaffef0) ] Edge 68 <-> 88 [ Arc: (edge = 0x7fffb40de000, target = 0xb00170) Arc: (edge = 0x7fffb40de000, target = 0xaffef0) ] Edge 68 <-> 95 [ Arc: (edge = 0x7fffb40de000, target = 0xb00250) Arc: (edge = 0x7fffb40de000, target = 0xaffef0) ] Edge 68 <-> 149 [ Arc: (edge = 0x7fffb40de000, target = 0xb00910) Arc: (edge = 0x7fffb40de000, target = 0xaffef0) ] Edge 70 <-> 71 [ Arc: (edge = 0x7fffb40de000, target = 0xafff50) Arc: (edge = 0x7fffb40de000, target = 0xafff30) ] Edge 70 <-> 119 [ Arc: (edge = 0x7fffb40de000, target = 0xb00550) Arc: (edge = 0x7fffb40de000, target = 0xafff30) ] Edge 70 <-> 132 [ Arc: (edge = 0x7fffb40de000, target = 0xb006f0) Arc: (edge = 0x7fffb40de000, target = 0xafff30) ] Edge 72 <-> 73 [ Arc: (edge = 0x7fffb40de000, target = 0xafff90) Arc: (edge = 0x7fffb40de000, target = 0xafff70) ] Edge 72 <-> 76 [ Arc: (edge = 0x7fffb40de000, target = 0xaffff0) Arc: (edge = 0x7fffb40de000, target = 0xafff70) ] Edge 73 <-> 74 [ Arc: (edge = 0x7fffb40de000, target = 0xafffb0) Arc: (edge = 0x7fffb40de000, target = 0xafff90) ] Edge 74 <-> 75 [ Arc: (edge = 0x7fffb40de000, target = 0xafffd0) Arc: (edge = 0x7fffb40de000, target = 0xafffb0) ] Edge 75 <-> 133 [ Arc: (edge = 0x7fffb40de000, target = 0xb00710) Arc: (edge = 0x7fffb40de000, target = 0xafffd0) ] Edge 75 <-> 168 [ Arc: (edge = 0x7fffb40de000, target = 0xb00b70) Arc: (edge = 0x7fffb40de000, target = 0xafffd0) ] Edge 76 <-> 77 [ Arc: (edge = 0x7fffb40de000, target = 0xb00010) Arc: (edge = 0x7fffb40de000, target = 0xaffff0) ] Edge 77 <-> 78 [ Arc: (edge = 0x7fffb40de000, target = 0xb00030) Arc: (edge = 0x7fffb40de000, target = 0xb00010) ] Edge 77 <-> 84 [ Arc: (edge = 0x7fffb40de000, target = 0xb000f0) Arc: (edge = 0x7fffb40de000, target = 0xb00010) ] Edge 77 <-> 195 [ Arc: (edge = 0x7fffb40de000, target = 0xb00ed0) Arc: (edge = 0x7fffb40de000, target = 0xb00010) ] Edge 78 <-> 116 [ Arc: (edge = 0x7fffb40de000, target = 0xb004f0) Arc: (edge = 0x7fffb40de000, target = 0xb00030) ] Edge 78 <-> 131 [ Arc: (edge = 0x7fffb40de000, target = 0xb006d0) Arc: (edge = 0x7fffb40de000, target = 0xb00030) ] Edge 79 <-> 80 [ Arc: (edge = 0x7fffb40de000, target = 0xb00070) Arc: (edge = 0x7fffb40de000, target = 0xb00050) ] Edge 79 <-> 122 [ Arc: (edge = 0x7fffb40de000, target = 0xb005b0) Arc: (edge = 0x7fffb40de000, target = 0xb00050) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fffb40de000, target = 0xb00090) Arc: (edge = 0x7fffb40de000, target = 0xb00070) ] Edge 81 <-> 82 [ Arc: (edge = 0x7fffb40de000, target = 0xb000b0) Arc: (edge = 0x7fffb40de000, target = 0xb00090) ] Edge 82 <-> 83 [ Arc: (edge = 0x7fffb40de000, target = 0xb000d0) Arc: (edge = 0x7fffb40de000, target = 0xb000b0) ] Edge 83 <-> 144 [ Arc: (edge = 0x7fffb40de000, target = 0xb00870) Arc: (edge = 0x7fffb40de000, target = 0xb000d0) ] Edge 83 <-> 174 [ Arc: (edge = 0x7fffb40de000, target = 0xb00c30) Arc: (edge = 0x7fffb40de000, target = 0xb000d0) ] Edge 84 <-> 85 [ Arc: (edge = 0x7fffb40de000, target = 0xb00110) Arc: (edge = 0x7fffb40de000, target = 0xb000f0) ] Edge 85 <-> 86 [ Arc: (edge = 0x7fffb40de000, target = 0xb00130) Arc: (edge = 0x7fffb40de000, target = 0xb00110) ] Edge 85 <-> 89 [ Arc: (edge = 0x7fffb40de000, target = 0xb00190) Arc: (edge = 0x7fffb40de000, target = 0xb00110) ] Edge 86 <-> 87 [ Arc: (edge = 0x7fffb40de000, target = 0xb00150) Arc: (edge = 0x7fffb40de000, target = 0xb00130) ] Edge 86 <-> 104 [ Arc: (edge = 0x7fffb40de000, target = 0xb00370) Arc: (edge = 0x7fffb40de000, target = 0xb00130) ] Edge 87 <-> 88 [ Arc: (edge = 0x7fffb40de000, target = 0xb00170) Arc: (edge = 0x7fffb40de000, target = 0xb00150) ] Edge 89 <-> 90 [ Arc: (edge = 0x7fffb40de000, target = 0xb001b0) Arc: (edge = 0x7fffb40de000, target = 0xb00190) ] Edge 90 <-> 103 [ Arc: (edge = 0x7fffb40de000, target = 0xb00350) Arc: (edge = 0x7fffb40de000, target = 0xb001b0) ] Edge 91 <-> 92 [ Arc: (edge = 0x7fffb40de000, target = 0xb001f0) Arc: (edge = 0x7fffb40de000, target = 0xb001d0) ] Edge 91 <-> 96 [ Arc: (edge = 0x7fffb40de000, target = 0xb00270) Arc: (edge = 0x7fffb40de000, target = 0xb001d0) ] Edge 92 <-> 93 [ Arc: (edge = 0x7fffb40de000, target = 0xb00210) Arc: (edge = 0x7fffb40de000, target = 0xb001f0) ] Edge 93 <-> 94 [ Arc: (edge = 0x7fffb40de000, target = 0xb00230) Arc: (edge = 0x7fffb40de000, target = 0xb00210) ] Edge 94 <-> 95 [ Arc: (edge = 0x7fffb40de000, target = 0xb00250) Arc: (edge = 0x7fffb40de000, target = 0xb00230) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fffb40de000, target = 0xb00290) Arc: (edge = 0x7fffb40de000, target = 0xb00270) ] Edge 97 <-> 98 [ Arc: (edge = 0x7fffb40de000, target = 0xb002b0) Arc: (edge = 0x7fffb40de000, target = 0xb00290) ] Edge 98 <-> 99 [ Arc: (edge = 0x7fffb40de000, target = 0xb002d0) Arc: (edge = 0x7fffb40de000, target = 0xb002b0) ] Edge 98 <-> 128 [ Arc: (edge = 0x7fffb40de000, target = 0xb00670) Arc: (edge = 0x7fffb40de000, target = 0xb002b0) ] Edge 99 <-> 100 [ Arc: (edge = 0x7fffb40de000, target = 0xb002f0) Arc: (edge = 0x7fffb40de000, target = 0xb002d0) ] Edge 100 <-> 101 [ Arc: (edge = 0x7fffb40de000, target = 0xb00310) Arc: (edge = 0x7fffb40de000, target = 0xb002f0) ] Edge 102 <-> 103 [ Arc: (edge = 0x7fffb40de000, target = 0xb00350) Arc: (edge = 0x7fffb40de000, target = 0xb00330) ] Edge 103 <-> 129 [ Arc: (edge = 0x7fffb40de000, target = 0xb00690) Arc: (edge = 0x7fffb40de000, target = 0xb00350) ] Edge 103 <-> 152 [ Arc: (edge = 0x7fffb40de000, target = 0xb00970) Arc: (edge = 0x7fffb40de000, target = 0xb00350) ] Edge 104 <-> 105 [ Arc: (edge = 0x7fffb40de000, target = 0xb00390) Arc: (edge = 0x7fffb40de000, target = 0xb00370) ] Edge 105 <-> 106 [ Arc: (edge = 0x7fffb40de000, target = 0xb003b0) Arc: (edge = 0x7fffb40de000, target = 0xb00390) ] Edge 106 <-> 107 [ Arc: (edge = 0x7fffb40de000, target = 0xb003d0) Arc: (edge = 0x7fffb40de000, target = 0xb003b0) ] Edge 107 <-> 108 [ Arc: (edge = 0x7fffb40de000, target = 0xb003f0) Arc: (edge = 0x7fffb40de000, target = 0xb003d0) ] Edge 107 <-> 120 [ Arc: (edge = 0x7fffb40de000, target = 0xb00570) Arc: (edge = 0x7fffb40de000, target = 0xb003d0) ] Edge 107 <-> 155 [ Arc: (edge = 0x7fffb40de000, target = 0xb009d0) Arc: (edge = 0x7fffb40de000, target = 0xb003d0) ] Edge 107 <-> 173 [ Arc: (edge = 0x7fffb40de000, target = 0xb00c10) Arc: (edge = 0x7fffb40de000, target = 0xb003d0) ] Edge 108 <-> 109 [ Arc: (edge = 0x7fffb40de000, target = 0xb00410) Arc: (edge = 0x7fffb40de000, target = 0xb003f0) ] Edge 108 <-> 169 [ Arc: (edge = 0x7fffb40de000, target = 0xb00b90) Arc: (edge = 0x7fffb40de000, target = 0xb003f0) ] Edge 109 <-> 110 [ Arc: (edge = 0x7fffb40de000, target = 0xb00430) Arc: (edge = 0x7fffb40de000, target = 0xb00410) ] Edge 109 <-> 213 [ Arc: (edge = 0x7fffb40de000, target = 0xb01110) Arc: (edge = 0x7fffb40de000, target = 0xb00410) ] Edge 111 <-> 112 [ Arc: (edge = 0x7fffb40de000, target = 0xb00470) Arc: (edge = 0x7fffb40de000, target = 0xb00450) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fffb40de000, target = 0xb00490) Arc: (edge = 0x7fffb40de000, target = 0xb00470) ] Edge 113 <-> 114 [ Arc: (edge = 0x7fffb40de000, target = 0xb004b0) Arc: (edge = 0x7fffb40de000, target = 0xb00490) ] Edge 114 <-> 115 [ Arc: (edge = 0x7fffb40de000, target = 0xb004d0) Arc: (edge = 0x7fffb40de000, target = 0xb004b0) ] Edge 115 <-> 116 [ Arc: (edge = 0x7fffb40de000, target = 0xb004f0) Arc: (edge = 0x7fffb40de000, target = 0xb004d0) ] Edge 115 <-> 210 [ Arc: (edge = 0x7fffb40de000, target = 0xb010b0) Arc: (edge = 0x7fffb40de000, target = 0xb004d0) ] Edge 117 <-> 118 [ Arc: (edge = 0x7fffb40de000, target = 0xb00530) Arc: (edge = 0x7fffb40de000, target = 0xb00510) ] Edge 118 <-> 119 [ Arc: (edge = 0x7fffb40de000, target = 0xb00550) Arc: (edge = 0x7fffb40de000, target = 0xb00530) ] Edge 120 <-> 121 [ Arc: (edge = 0x7fffb40de000, target = 0xb00590) Arc: (edge = 0x7fffb40de000, target = 0xb00570) ] Edge 121 <-> 207 [ Arc: (edge = 0x7fffb40de000, target = 0xb01050) Arc: (edge = 0x7fffb40de000, target = 0xb00590) ] Edge 122 <-> 123 [ Arc: (edge = 0x7fffb40de000, target = 0xb005d0) Arc: (edge = 0x7fffb40de000, target = 0xb005b0) ] Edge 123 <-> 124 [ Arc: (edge = 0x7fffb40de000, target = 0xb005f0) Arc: (edge = 0x7fffb40de000, target = 0xb005d0) ] Edge 124 <-> 125 [ Arc: (edge = 0x7fffb40de000, target = 0xb00610) Arc: (edge = 0x7fffb40de000, target = 0xb005f0) ] Edge 125 <-> 126 [ Arc: (edge = 0x7fffb40de000, target = 0xb00630) Arc: (edge = 0x7fffb40de000, target = 0xb00610) ] Edge 126 <-> 136 [ Arc: (edge = 0x7fffb40de000, target = 0xb00770) Arc: (edge = 0x7fffb40de000, target = 0xb00630) ] Edge 127 <-> 128 [ Arc: (edge = 0x7fffb40de000, target = 0xb00670) Arc: (edge = 0x7fffb40de000, target = 0xb00650) ] Edge 127 <-> 160 [ Arc: (edge = 0x7fffb40de000, target = 0xb00a70) Arc: (edge = 0x7fffb40de000, target = 0xb00650) ] Edge 129 <-> 130 [ Arc: (edge = 0x7fffb40de000, target = 0xb006b0) Arc: (edge = 0x7fffb40de000, target = 0xb00690) ] Edge 130 <-> 131 [ Arc: (edge = 0x7fffb40de000, target = 0xb006d0) Arc: (edge = 0x7fffb40de000, target = 0xb006b0) ] Edge 130 <-> 206 [ Arc: (edge = 0x7fffb40de000, target = 0xb01030) Arc: (edge = 0x7fffb40de000, target = 0xb006b0) ] Edge 130 <-> 245 [ Arc: (edge = 0x7fffb40de000, target = 0xb01510) Arc: (edge = 0x7fffb40de000, target = 0xb006b0) ] Edge 131 <-> 179 [ Arc: (edge = 0x7fffb40de000, target = 0xb00cd0) Arc: (edge = 0x7fffb40de000, target = 0xb006d0) ] Edge 132 <-> 133 [ Arc: (edge = 0x7fffb40de000, target = 0xb00710) Arc: (edge = 0x7fffb40de000, target = 0xb006f0) ] Edge 132 <-> 209 [ Arc: (edge = 0x7fffb40de000, target = 0xb01090) Arc: (edge = 0x7fffb40de000, target = 0xb006f0) ] Edge 134 <-> 135 [ Arc: (edge = 0x7fffb40de000, target = 0xb00750) Arc: (edge = 0x7fffb40de000, target = 0xb00730) ] Edge 136 <-> 137 [ Arc: (edge = 0x7fffb40de000, target = 0xb00790) Arc: (edge = 0x7fffb40de000, target = 0xb00770) ] Edge 136 <-> 191 [ Arc: (edge = 0x7fffb40de000, target = 0xb00e50) Arc: (edge = 0x7fffb40de000, target = 0xb00770) ] Edge 138 <-> 139 [ Arc: (edge = 0x7fffb40de000, target = 0xb007d0) Arc: (edge = 0x7fffb40de000, target = 0xb007b0) ] Edge 140 <-> 141 [ Arc: (edge = 0x7fffb40de000, target = 0xb00810) Arc: (edge = 0x7fffb40de000, target = 0xb007f0) ] Edge 141 <-> 142 [ Arc: (edge = 0x7fffb40de000, target = 0xb00830) Arc: (edge = 0x7fffb40de000, target = 0xb00810) ] Edge 142 <-> 143 [ Arc: (edge = 0x7fffb40de000, target = 0xb00850) Arc: (edge = 0x7fffb40de000, target = 0xb00830) ] Edge 143 <-> 144 [ Arc: (edge = 0x7fffb40de000, target = 0xb00870) Arc: (edge = 0x7fffb40de000, target = 0xb00850) ] Edge 143 <-> 232 [ Arc: (edge = 0x7fffb40de000, target = 0xb01370) Arc: (edge = 0x7fffb40de000, target = 0xb00850) ] Edge 145 <-> 146 [ Arc: (edge = 0x7fffb40de000, target = 0xb008b0) Arc: (edge = 0x7fffb40de000, target = 0xb00890) ] Edge 145 <-> 236 [ Arc: (edge = 0x7fffb40de000, target = 0xb013f0) Arc: (edge = 0x7fffb40de000, target = 0xb00890) ] Edge 147 <-> 148 [ Arc: (edge = 0x7fffb40de000, target = 0xb008f0) Arc: (edge = 0x7fffb40de000, target = 0xb008d0) ] Edge 147 <-> 163 [ Arc: (edge = 0x7fffb40de000, target = 0xb00ad0) Arc: (edge = 0x7fffb40de000, target = 0xb008d0) ] Edge 148 <-> 149 [ Arc: (edge = 0x7fffb40de000, target = 0xb00910) Arc: (edge = 0x7fffb40de000, target = 0xb008f0) ] Edge 150 <-> 151 [ Arc: (edge = 0x7fffb40de000, target = 0xb00950) Arc: (edge = 0x7fffb40de000, target = 0xb00930) ] Edge 151 <-> 152 [ Arc: (edge = 0x7fffb40de000, target = 0xb00970) Arc: (edge = 0x7fffb40de000, target = 0xb00950) ] Edge 153 <-> 154 [ Arc: (edge = 0x7fffb40de000, target = 0xb009b0) Arc: (edge = 0x7fffb40de000, target = 0xb00990) ] Edge 154 <-> 155 [ Arc: (edge = 0x7fffb40de000, target = 0xb009d0) Arc: (edge = 0x7fffb40de000, target = 0xb009b0) ] Edge 156 <-> 157 [ Arc: (edge = 0x7fffb40de000, target = 0xb00a10) Arc: (edge = 0x7fffb40de000, target = 0xb009f0) ] Edge 157 <-> 158 [ Arc: (edge = 0x7fffb40de000, target = 0xb00a30) Arc: (edge = 0x7fffb40de000, target = 0xb00a10) ] Edge 157 <-> 244 [ Arc: (edge = 0x7fffb40de000, target = 0xb014f0) Arc: (edge = 0x7fffb40de000, target = 0xb00a10) ] Edge 158 <-> 159 [ Arc: (edge = 0x7fffb40de000, target = 0xb00a50) Arc: (edge = 0x7fffb40de000, target = 0xb00a30) ] Edge 158 <-> 190 [ Arc: (edge = 0x7fffb40de000, target = 0xb00e30) Arc: (edge = 0x7fffb40de000, target = 0xb00a30) ] Edge 159 <-> 160 [ Arc: (edge = 0x7fffb40de000, target = 0xb00a70) Arc: (edge = 0x7fffb40de000, target = 0xb00a50) ] Edge 159 <-> 161 [ Arc: (edge = 0x7fffb40de000, target = 0xb00a90) Arc: (edge = 0x7fffb40de000, target = 0xb00a50) ] Edge 159 <-> 208 [ Arc: (edge = 0x7fffb40de000, target = 0xb01070) Arc: (edge = 0x7fffb40de000, target = 0xb00a50) ] Edge 161 <-> 162 [ Arc: (edge = 0x7fffb40de000, target = 0xb00ab0) Arc: (edge = 0x7fffb40de000, target = 0xb00a90) ] Edge 161 <-> 170 [ Arc: (edge = 0x7fffb40de000, target = 0xb00bb0) Arc: (edge = 0x7fffb40de000, target = 0xb00a90) ] Edge 161 <-> 177 [ Arc: (edge = 0x7fffb40de000, target = 0xb00c90) Arc: (edge = 0x7fffb40de000, target = 0xb00a90) ] Edge 161 <-> 227 [ Arc: (edge = 0x7fffb40de000, target = 0xb012d0) Arc: (edge = 0x7fffb40de000, target = 0xb00a90) ] Edge 163 <-> 164 [ Arc: (edge = 0x7fffb40de000, target = 0xb00af0) Arc: (edge = 0x7fffb40de000, target = 0xb00ad0) ] Edge 163 <-> 171 [ Arc: (edge = 0x7fffb40de000, target = 0xb00bd0) Arc: (edge = 0x7fffb40de000, target = 0xb00ad0) ] Edge 164 <-> 165 [ Arc: (edge = 0x7fffb40de000, target = 0xb00b10) Arc: (edge = 0x7fffb40de000, target = 0xb00af0) ] Edge 165 <-> 166 [ Arc: (edge = 0x7fffb40de000, target = 0xb00b30) Arc: (edge = 0x7fffb40de000, target = 0xb00b10) ] Edge 166 <-> 167 [ Arc: (edge = 0x7fffb40de000, target = 0xb00b50) Arc: (edge = 0x7fffb40de000, target = 0xb00b30) ] Edge 167 <-> 168 [ Arc: (edge = 0x7fffb40de000, target = 0xb00b70) Arc: (edge = 0x7fffb40de000, target = 0xb00b50) ] Edge 167 <-> 214 [ Arc: (edge = 0x7fffb40de000, target = 0xb01130) Arc: (edge = 0x7fffb40de000, target = 0xb00b50) ] Edge 168 <-> 182 [ Arc: (edge = 0x7fffb40de000, target = 0xb00d30) Arc: (edge = 0x7fffb40de000, target = 0xb00b70) ] Edge 168 <-> 222 [ Arc: (edge = 0x7fffb40de000, target = 0xb01230) Arc: (edge = 0x7fffb40de000, target = 0xb00b70) ] Edge 169 <-> 170 [ Arc: (edge = 0x7fffb40de000, target = 0xb00bb0) Arc: (edge = 0x7fffb40de000, target = 0xb00b90) ] Edge 171 <-> 172 [ Arc: (edge = 0x7fffb40de000, target = 0xb00bf0) Arc: (edge = 0x7fffb40de000, target = 0xb00bd0) ] Edge 173 <-> 174 [ Arc: (edge = 0x7fffb40de000, target = 0xb00c30) Arc: (edge = 0x7fffb40de000, target = 0xb00c10) ] Edge 175 <-> 176 [ Arc: (edge = 0x7fffb40de000, target = 0xb00c70) Arc: (edge = 0x7fffb40de000, target = 0xb00c50) ] Edge 175 <-> 243 [ Arc: (edge = 0x7fffb40de000, target = 0xb014d0) Arc: (edge = 0x7fffb40de000, target = 0xb00c50) ] Edge 177 <-> 178 [ Arc: (edge = 0x7fffb40de000, target = 0xb00cb0) Arc: (edge = 0x7fffb40de000, target = 0xb00c90) ] Edge 179 <-> 180 [ Arc: (edge = 0x7fffb40de000, target = 0xb00cf0) Arc: (edge = 0x7fffb40de000, target = 0xb00cd0) ] Edge 180 <-> 181 [ Arc: (edge = 0x7fffb40de000, target = 0xb00d10) Arc: (edge = 0x7fffb40de000, target = 0xb00cf0) ] Edge 182 <-> 183 [ Arc: (edge = 0x7fffb40de000, target = 0xb00d50) Arc: (edge = 0x7fffb40de000, target = 0xb00d30) ] Edge 184 <-> 185 [ Arc: (edge = 0x7fffb40de000, target = 0xb00d90) Arc: (edge = 0x7fffb40de000, target = 0xb00d70) ] Edge 185 <-> 186 [ Arc: (edge = 0x7fffb40de000, target = 0xb00db0) Arc: (edge = 0x7fffb40de000, target = 0xb00d90) ] Edge 186 <-> 187 [ Arc: (edge = 0x7fffb40de000, target = 0xb00dd0) Arc: (edge = 0x7fffb40de000, target = 0xb00db0) ] Edge 187 <-> 188 [ Arc: (edge = 0x7fffb40de000, target = 0xb00df0) Arc: (edge = 0x7fffb40de000, target = 0xb00dd0) ] Edge 188 <-> 189 [ Arc: (edge = 0x7fffb40de000, target = 0xb00e10) Arc: (edge = 0x7fffb40de000, target = 0xb00df0) ] Edge 189 <-> 190 [ Arc: (edge = 0x7fffb40de000, target = 0xb00e30) Arc: (edge = 0x7fffb40de000, target = 0xb00e10) ] Edge 191 <-> 192 [ Arc: (edge = 0x7fffb40de000, target = 0xb00e70) Arc: (edge = 0x7fffb40de000, target = 0xb00e50) ] Edge 193 <-> 194 [ Arc: (edge = 0x7fffb40de000, target = 0xb00eb0) Arc: (edge = 0x7fffb40de000, target = 0xb00e90) ] Edge 194 <-> 215 [ Arc: (edge = 0x7fffb40de000, target = 0xb01150) Arc: (edge = 0x7fffb40de000, target = 0xb00eb0) ] Edge 195 <-> 196 [ Arc: (edge = 0x7fffb40de000, target = 0xb00ef0) Arc: (edge = 0x7fffb40de000, target = 0xb00ed0) ] Edge 196 <-> 197 [ Arc: (edge = 0x7fffb40de000, target = 0xb00f10) Arc: (edge = 0x7fffb40de000, target = 0xb00ef0) ] Edge 197 <-> 198 [ Arc: (edge = 0x7fffb40de000, target = 0xb00f30) Arc: (edge = 0x7fffb40de000, target = 0xb00f10) ] Edge 198 <-> 199 [ Arc: (edge = 0x7fffb40de000, target = 0xb00f50) Arc: (edge = 0x7fffb40de000, target = 0xb00f30) ] Edge 199 <-> 200 [ Arc: (edge = 0x7fffb40de000, target = 0xb00f70) Arc: (edge = 0x7fffb40de000, target = 0xb00f50) ] Edge 200 <-> 201 [ Arc: (edge = 0x7fffb40de000, target = 0xb00f90) Arc: (edge = 0x7fffb40de000, target = 0xb00f70) ] Edge 202 <-> 203 [ Arc: (edge = 0x7fffb40de000, target = 0xb00fd0) Arc: (edge = 0x7fffb40de000, target = 0xb00fb0) ] Edge 203 <-> 204 [ Arc: (edge = 0x7fffb40de000, target = 0xb00ff0) Arc: (edge = 0x7fffb40de000, target = 0xb00fd0) ] Edge 204 <-> 205 [ Arc: (edge = 0x7fffb40de000, target = 0xb01010) Arc: (edge = 0x7fffb40de000, target = 0xb00ff0) ] Edge 205 <-> 206 [ Arc: (edge = 0x7fffb40de000, target = 0xb01030) Arc: (edge = 0x7fffb40de000, target = 0xb01010) ] Edge 207 <-> 208 [ Arc: (edge = 0x7fffb40de000, target = 0xb01070) Arc: (edge = 0x7fffb40de000, target = 0xb01050) ] Edge 209 <-> 210 [ Arc: (edge = 0x7fffb40de000, target = 0xb010b0) Arc: (edge = 0x7fffb40de000, target = 0xb01090) ] Edge 211 <-> 212 [ Arc: (edge = 0x7fffb40de000, target = 0xb010f0) Arc: (edge = 0x7fffb40de000, target = 0xb010d0) ] Edge 213 <-> 214 [ Arc: (edge = 0x7fffb40de000, target = 0xb01130) Arc: (edge = 0x7fffb40de000, target = 0xb01110) ] Edge 215 <-> 216 [ Arc: (edge = 0x7fffb40de000, target = 0xb01170) Arc: (edge = 0x7fffb40de000, target = 0xb01150) ] Edge 216 <-> 217 [ Arc: (edge = 0x7fffb40de000, target = 0xb01190) Arc: (edge = 0x7fffb40de000, target = 0xb01170) ] Edge 217 <-> 218 [ Arc: (edge = 0x7fffb40de000, target = 0xb011b0) Arc: (edge = 0x7fffb40de000, target = 0xb01190) ] Edge 218 <-> 219 [ Arc: (edge = 0x7fffb40de000, target = 0xb011d0) Arc: (edge = 0x7fffb40de000, target = 0xb011b0) ] Edge 219 <-> 220 [ Arc: (edge = 0x7fffb40de000, target = 0xb011f0) Arc: (edge = 0x7fffb40de000, target = 0xb011d0) ] Edge 220 <-> 221 [ Arc: (edge = 0x7fffb40de000, target = 0xb01210) Arc: (edge = 0x7fffb40de000, target = 0xb011f0) ] Edge 222 <-> 223 [ Arc: (edge = 0x7fffb40de000, target = 0xb01250) Arc: (edge = 0x7fffb40de000, target = 0xb01230) ] Edge 223 <-> 224 [ Arc: (edge = 0x7fffb40de000, target = 0xb01270) Arc: (edge = 0x7fffb40de000, target = 0xb01250) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fffb40de000, target = 0xb01290) Arc: (edge = 0x7fffb40de000, target = 0xb01270) ] Edge 225 <-> 226 [ Arc: (edge = 0x7fffb40de000, target = 0xb012b0) Arc: (edge = 0x7fffb40de000, target = 0xb01290) ] Edge 227 <-> 228 [ Arc: (edge = 0x7fffb40de000, target = 0xb012f0) Arc: (edge = 0x7fffb40de000, target = 0xb012d0) ] Edge 228 <-> 229 [ Arc: (edge = 0x7fffb40de000, target = 0xb01310) Arc: (edge = 0x7fffb40de000, target = 0xb012f0) ] Edge 229 <-> 230 [ Arc: (edge = 0x7fffb40de000, target = 0xb01330) Arc: (edge = 0x7fffb40de000, target = 0xb01310) ] Edge 230 <-> 231 [ Arc: (edge = 0x7fffb40de000, target = 0xb01350) Arc: (edge = 0x7fffb40de000, target = 0xb01330) ] Edge 231 <-> 232 [ Arc: (edge = 0x7fffb40de000, target = 0xb01370) Arc: (edge = 0x7fffb40de000, target = 0xb01350) ] Edge 233 <-> 234 [ Arc: (edge = 0x7fffb40de000, target = 0xb013b0) Arc: (edge = 0x7fffb40de000, target = 0xb01390) ] Edge 234 <-> 235 [ Arc: (edge = 0x7fffb40de000, target = 0xb013d0) Arc: (edge = 0x7fffb40de000, target = 0xb013b0) ] Edge 234 <-> 246 [ Arc: (edge = 0x7fffb40de000, target = 0xb01530) Arc: (edge = 0x7fffb40de000, target = 0xb013b0) ] Edge 235 <-> 236 [ Arc: (edge = 0x7fffb40de000, target = 0xb013f0) Arc: (edge = 0x7fffb40de000, target = 0xb013d0) ] Edge 237 <-> 238 [ Arc: (edge = 0x7fffb40de000, target = 0xb01430) Arc: (edge = 0x7fffb40de000, target = 0xb01410) ] Edge 238 <-> 239 [ Arc: (edge = 0x7fffb40de000, target = 0xb01450) Arc: (edge = 0x7fffb40de000, target = 0xb01430) ] Edge 239 <-> 240 [ Arc: (edge = 0x7fffb40de000, target = 0xb01470) Arc: (edge = 0x7fffb40de000, target = 0xb01450) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fffb40de000, target = 0xb01490) Arc: (edge = 0x7fffb40de000, target = 0xb01470) ] Edge 241 <-> 242 [ Arc: (edge = 0x7fffb40de000, target = 0xb014b0) Arc: (edge = 0x7fffb40de000, target = 0xb01490) ] Edge 242 <-> 243 [ Arc: (edge = 0x7fffb40de000, target = 0xb014d0) Arc: (edge = 0x7fffb40de000, target = 0xb014b0) ] Edge 244 <-> 245 [ Arc: (edge = 0x7fffb40de000, target = 0xb01510) Arc: (edge = 0x7fffb40de000, target = 0xb014f0) ] Edge 246 <-> 247 [ Arc: (edge = 0x7fffb40de000, target = 0xb01550) Arc: (edge = 0x7fffb40de000, target = 0xb01530) ] ] Robot arrangement: (|R| = 44, |V| = 248) [ robot locations: {1#4 2#7 3#12 4#21 5#24 6#32 7#34 8#36 9#37 10#46 11#56 12#58 13#60 14#64 15#67 16#68 17#87 18#96 19#98 20#105 21#107 22#118 23#132 24#140 25#145 26#148 27#149 28#151 29#152 30#155 31#156 32#165 33#177 34#179 35#198 36#200 37#205 38#207 39#213 40#215 41#226 42#228 43#232 44#243 } vertex occupancy: {0#0 0#1 0#2 0#3 1#4 0#5 0#6 2#7 0#8 0#9 0#10 0#11 3#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 4#21 0#22 0#23 5#24 0#25 0#26 0#27 0#28 0#29 0#30 0#31 6#32 0#33 7#34 0#35 8#36 9#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 10#46 0#47 0#48 0#49 0#50 0#51 0#52 0#53 0#54 0#55 11#56 0#57 12#58 0#59 13#60 0#61 0#62 0#63 14#64 0#65 0#66 15#67 16#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 0#80 0#81 0#82 0#83 0#84 0#85 0#86 17#87 0#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 18#96 0#97 19#98 0#99 0#100 0#101 0#102 0#103 0#104 20#105 0#106 21#107 0#108 0#109 0#110 0#111 0#112 0#113 0#114 0#115 0#116 0#117 22#118 0#119 0#120 0#121 0#122 0#123 0#124 0#125 0#126 0#127 0#128 0#129 0#130 0#131 23#132 0#133 0#134 0#135 0#136 0#137 0#138 0#139 24#140 0#141 0#142 0#143 0#144 25#145 0#146 0#147 26#148 27#149 0#150 28#151 29#152 0#153 0#154 30#155 31#156 0#157 0#158 0#159 0#160 0#161 0#162 0#163 0#164 32#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 33#177 0#178 34#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 35#198 0#199 36#200 0#201 0#202 0#203 0#204 37#205 0#206 38#207 0#208 0#209 0#210 0#211 0#212 39#213 0#214 40#215 0#216 0#217 0#218 0#219 0#220 0#221 0#222 0#223 0#224 0#225 41#226 0#227 42#228 0#229 0#230 0#231 43#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 0#241 0#242 44#243 0#244 0#245 0#246 0#247 } ] Robot arrangement: (|R| = 44, |V| = 248) [ robot locations: {1#3 2#5 3#9 4#23 5#27 6#38 7#48 8#49 9#54 10#59 11#64 12#70 13#75 14#77 15#80 16#84 17#88 18#98 19#100 20#110 21#111 22#118 23#122 24#129 25#133 26#136 27#142 28#154 29#159 30#178 31#179 32#189 33#190 34#198 35#201 36#204 37#216 38#219 39#220 40#223 41#228 42#233 43#240 44#245 } vertex occupancy: {0#0 0#1 0#2 1#3 0#4 2#5 0#6 0#7 0#8 3#9 0#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 4#23 0#24 0#25 0#26 5#27 0#28 0#29 0#30 0#31 0#32 0#33 0#34 0#35 0#36 0#37 6#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 0#46 0#47 7#48 8#49 0#50 0#51 0#52 0#53 9#54 0#55 0#56 0#57 0#58 10#59 0#60 0#61 0#62 0#63 11#64 0#65 0#66 0#67 0#68 0#69 12#70 0#71 0#72 0#73 0#74 13#75 0#76 14#77 0#78 0#79 15#80 0#81 0#82 0#83 16#84 0#85 0#86 0#87 17#88 0#89 0#90 0#91 0#92 0#93 0#94 0#95 0#96 0#97 18#98 0#99 19#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 20#110 21#111 0#112 0#113 0#114 0#115 0#116 0#117 22#118 0#119 0#120 0#121 23#122 0#123 0#124 0#125 0#126 0#127 0#128 24#129 0#130 0#131 0#132 25#133 0#134 0#135 26#136 0#137 0#138 0#139 0#140 0#141 27#142 0#143 0#144 0#145 0#146 0#147 0#148 0#149 0#150 0#151 0#152 0#153 28#154 0#155 0#156 0#157 0#158 29#159 0#160 0#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 0#170 0#171 0#172 0#173 0#174 0#175 0#176 0#177 30#178 31#179 0#180 0#181 0#182 0#183 0#184 0#185 0#186 0#187 0#188 32#189 33#190 0#191 0#192 0#193 0#194 0#195 0#196 0#197 34#198 0#199 0#200 35#201 0#202 0#203 36#204 0#205 0#206 0#207 0#208 0#209 0#210 0#211 0#212 0#213 0#214 0#215 37#216 0#217 0#218 38#219 39#220 0#221 0#222 40#223 0#224 0#225 0#226 0#227 41#228 0#229 0#230 0#231 0#232 42#233 0#234 0#235 0#236 0#237 0#238 0#239 43#240 0#241 0#242 0#243 0#244 44#245 0#246 0#247 } ] 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.023 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 = 5549 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] } ] ----------------------------------------------------------------