================================================================ reLOC 0.05-legio : Multirobot Solution reSolver (C) Copyright 2011-2012 Pavel Surynek ---------------------------------------------------------------- window size:16 0,1 1,16 2,0 3,2 4,3 5,4 6,5 7,6 8,7 9,8 10,9 11,10 12,11 13,12 14,13 15,14 16,17 16,32 17,0 17,18 18,2 18,19 18,34 19,3 19,20 19,35 20,4 20,21 20,36 21,5 21,22 21,37 22,6 22,23 22,38 23,7 23,24 23,39 24,8 24,25 24,40 25,9 25,26 25,41 26,10 26,27 26,42 27,11 27,28 27,43 28,12 28,29 28,44 29,13 29,30 29,45 30,14 30,31 30,46 31,15 31,47 32,33 32,48 33,17 34,33 34,50 35,34 35,51 36,35 36,52 37,36 37,53 38,37 38,54 39,38 39,55 40,39 40,56 41,40 41,57 42,41 42,58 43,42 43,59 44,43 44,60 45,44 45,61 46,45 46,62 47,46 47,63 48,49 48,64 49,33 50,49 50,66 51,50 51,67 52,51 52,68 53,52 53,69 54,53 54,70 55,54 55,71 56,55 56,72 57,56 57,73 58,57 58,74 59,58 59,75 60,59 60,76 61,60 61,77 62,61 62,78 63,62 63,79 64,65 64,80 65,49 66,65 66,82 67,66 67,83 68,67 68,84 69,68 69,85 70,69 70,86 71,70 71,87 72,71 72,88 73,72 73,89 74,73 74,90 75,74 75,91 76,75 76,92 77,76 77,93 78,77 78,94 79,78 79,95 80,81 80,96 81,65 82,81 82,98 83,82 83,99 84,83 84,100 85,84 85,101 86,85 86,102 87,86 87,103 88,87 88,104 89,88 89,105 90,89 90,106 91,90 91,107 92,91 92,108 93,92 93,109 94,93 94,110 95,94 95,111 96,97 96,112 97,81 98,97 98,114 99,98 99,115 100,99 100,116 101,100 101,117 102,101 102,118 103,102 103,119 104,103 104,120 105,104 105,121 106,105 106,122 107,106 107,123 108,107 108,124 109,108 109,125 110,109 110,126 111,110 111,127 112,113 112,128 113,97 114,113 114,130 115,114 115,131 116,115 116,132 117,116 117,133 118,117 118,134 119,118 119,135 120,119 120,136 121,120 121,137 122,121 122,138 123,122 123,139 124,123 124,140 125,124 125,141 126,125 126,142 127,126 127,143 128,129 128,144 129,113 130,129 130,146 131,130 131,147 132,131 132,148 133,132 133,149 134,133 134,150 135,134 135,151 136,135 136,152 137,136 137,153 138,137 138,154 139,138 139,155 140,139 140,156 141,140 141,157 142,141 142,158 143,142 143,159 144,145 144,160 145,129 146,145 146,162 147,146 147,163 148,147 148,164 149,148 149,165 150,149 150,166 151,150 151,167 152,151 152,168 153,152 153,169 154,153 154,170 155,154 155,171 156,155 156,172 157,156 157,173 158,157 158,174 159,158 159,175 160,161 160,176 161,145 162,161 162,178 163,162 163,179 164,163 164,180 165,164 165,181 166,165 166,182 167,166 167,183 168,167 168,184 169,168 169,185 170,169 170,186 171,170 171,187 172,171 172,188 173,172 173,189 174,173 174,190 175,174 175,191 176,177 176,192 177,161 178,177 178,194 179,178 179,195 180,179 180,196 181,180 181,197 182,181 182,198 183,182 183,199 184,183 184,200 185,184 185,201 186,185 186,202 187,186 187,203 188,187 188,204 189,188 189,205 190,189 190,206 191,190 191,207 192,193 192,208 193,177 194,193 194,210 195,194 195,211 196,195 196,212 197,196 197,213 198,197 198,214 199,198 199,215 200,199 200,216 201,200 201,217 202,201 202,218 203,202 203,219 204,203 204,220 205,204 205,221 206,205 206,222 207,206 207,223 208,209 208,224 209,193 210,209 210,226 211,210 211,227 212,211 212,228 213,212 213,229 214,213 214,230 215,214 215,231 216,215 216,232 217,216 217,233 218,217 218,234 219,218 219,235 220,219 220,236 221,220 221,237 222,221 222,238 223,222 223,239 224,225 224,240 225,209 226,225 226,242 227,226 227,243 228,227 228,244 229,228 229,245 230,229 230,246 231,230 231,247 232,231 232,248 233,232 233,249 234,233 234,250 235,234 235,251 236,235 236,252 237,236 237,253 238,237 238,254 239,238 239,255 240,241 241,225 242,241 243,242 244,243 245,244 246,245 247,246 248,247 249,248 250,249 251,250 252,251 253,252 254,253 255,254 Length:1629 19 # 172 ---> 173 (0) 19 # 173 ---> 174 (1) 19 # 174 ---> 175 (2) 19 # 175 ---> 191 (3) 19 # 191 ---> 207 (4) 19 # 207 ---> 223 (5) 19 # 223 ---> 239 (6) 19 # 239 ---> 255 (7) 16 # 31 ---> 47 (0) 16 # 47 ---> 63 (1) 16 # 63 ---> 79 (2) 16 # 79 ---> 95 (3) 12 # 30 ---> 14 (0) 59 # 46 ---> 30 (0) 34 # 62 ---> 46 (0) 47 # 78 ---> 62 (0) 5 # 94 ---> 78 (0) 14 # 111 ---> 110 (0) 16 # 95 ---> 111 (4) 16 # 111 ---> 127 (5) 16 # 127 ---> 143 (6) 16 # 143 ---> 159 (7) 16 # 159 ---> 175 (8) 16 # 175 ---> 191 (9) 16 # 191 ---> 207 (10) 16 # 207 ---> 223 (11) 16 # 223 ---> 239 (12) 53 # 184 ---> 168 (0) 53 # 168 ---> 167 (1) 52 # 170 ---> 169 (0) 20 # 171 ---> 170 (0) 32 # 190 ---> 174 (2) 34 # 46 ---> 47 (1) 34 # 47 ---> 63 (2) 34 # 63 ---> 79 (3) 34 # 79 ---> 95 (4) 34 # 95 ---> 111 (5) 34 # 111 ---> 127 (6) 34 # 127 ---> 143 (7) 34 # 143 ---> 159 (8) 34 # 159 ---> 175 (9) 34 # 175 ---> 191 (10) 34 # 191 ---> 207 (11) 39 # 24 ---> 23 (0) 42 # 9 ---> 25 (0) 51 # 8 ---> 9 (0) 42 # 25 ---> 24 (1) 58 # 26 ---> 25 (1) 6 # 10 ---> 26 (1) 51 # 9 ---> 10 (1) 51 # 10 ---> 11 (2) 51 # 11 ---> 12 (3) 51 # 12 ---> 13 (4) 59 # 30 ---> 29 (1) 12 # 14 ---> 30 (1) 51 # 13 ---> 14 (5) 51 # 14 ---> 15 (6) 51 # 15 ---> 31 (7) 51 # 31 ---> 47 (8) 51 # 47 ---> 63 (9) 51 # 63 ---> 79 (10) 51 # 79 ---> 95 (11) 51 # 95 ---> 111 (12) 51 # 111 ---> 127 (13) 51 # 127 ---> 143 (14) 51 # 143 ---> 159 (15) 51 # 159 ---> 175 (16) 51 # 175 ---> 191 (17) 6 # 26 ---> 10 (2) 33 # 27 ---> 26 (2) 32 # 174 ---> 158 (3) 25 # 5 ---> 4 (0) 39 # 23 ---> 7 (1) 39 # 7 ---> 6 (2) 42 # 24 ---> 8 (2) 42 # 8 ---> 7 (3) 58 # 25 ---> 9 (2) 58 # 9 ---> 8 (3) 6 # 10 ---> 9 (3) 33 # 26 ---> 10 (3) 6 # 9 ---> 25 (4) 33 # 10 ---> 9 (4) 65 # 28 ---> 12 (4) 65 # 12 ---> 11 (5) 59 # 29 ---> 13 (5) 59 # 13 ---> 12 (6) 12 # 30 ---> 14 (6) 32 # 158 ---> 142 (4) 39 # 6 ---> 5 (3) 42 # 7 ---> 6 (4) 58 # 8 ---> 7 (4) 33 # 9 ---> 8 (5) 6 # 25 ---> 9 (5) 32 # 142 ---> 126 (5) 32 # 126 ---> 125 (6) 41 # 100 ---> 99 (0) 18 # 68 ---> 84 (0) 60 # 70 ---> 69 (0) 62 # 91 ---> 75 (0) 62 # 75 ---> 74 (1) 49 # 76 ---> 75 (1) 40 # 93 ---> 77 (0) 14 # 110 ---> 94 (1) 38 # 58 ---> 57 (0) 55 # 59 ---> 58 (0) 49 # 75 ---> 59 (2) 62 # 74 ---> 75 (2) 62 # 75 ---> 76 (3) 55 # 58 ---> 74 (2) 49 # 59 ---> 58 (3) 40 # 77 ---> 61 (1) 62 # 76 ---> 77 (4) 40 # 61 ---> 60 (2) 47 # 62 ---> 61 (2) 5 # 78 ---> 62 (2) 62 # 77 ---> 78 (5) 62 # 78 ---> 79 (11) 14 # 94 ---> 78 (11) 62 # 79 ---> 95 (12) 43 # 56 ---> 40 (0) 43 # 40 ---> 39 (1) 38 # 57 ---> 41 (1) 38 # 41 ---> 40 (2) 49 # 58 ---> 42 (4) 49 # 42 ---> 41 (5) 40 # 60 ---> 44 (3) 40 # 44 ---> 43 (4) 47 # 61 ---> 45 (3) 47 # 45 ---> 44 (4) 5 # 62 ---> 46 (3) 5 # 46 ---> 45 (4) 9 # 34 ---> 18 (0) 9 # 18 ---> 19 (1) 9 # 19 ---> 20 (2) 9 # 20 ---> 21 (3) 9 # 21 ---> 22 (4) 9 # 22 ---> 23 (5) 9 # 23 ---> 24 (6) 9 # 24 ---> 25 (7) 9 # 25 ---> 26 (8) 9 # 26 ---> 27 (9) 9 # 27 ---> 28 (10) 9 # 28 ---> 29 (11) 9 # 29 ---> 30 (12) 9 # 30 ---> 31 (13) 9 # 31 ---> 47 (14) 43 # 39 ---> 23 (6) 43 # 23 ---> 22 (7) 38 # 40 ---> 24 (7) 38 # 24 ---> 23 (8) 49 # 41 ---> 25 (8) 49 # 25 ---> 24 (9) 40 # 43 ---> 27 (10) 40 # 27 ---> 26 (11) 47 # 44 ---> 28 (11) 47 # 28 ---> 27 (12) 5 # 45 ---> 29 (12) 2 # 194 ---> 178 (0) 2 # 178 ---> 179 (1) 2 # 179 ---> 180 (2) 2 # 180 ---> 181 (3) 2 # 181 ---> 182 (4) 2 # 182 ---> 183 (5) 2 # 183 ---> 184 (6) 2 # 184 ---> 185 (7) 2 # 185 ---> 186 (8) 2 # 186 ---> 187 (9) 2 # 187 ---> 188 (10) 2 # 188 ---> 189 (11) 2 # 189 ---> 190 (12) 2 # 190 ---> 206 (13) 22 # 119 ---> 103 (0) 22 # 103 ---> 102 (1) 67 # 121 ---> 105 (0) 67 # 105 ---> 104 (1) 32 # 125 ---> 109 (7) 28 # 149 ---> 165 (0) 15 # 135 ---> 134 (0) 48 # 151 ---> 135 (0) 15 # 134 ---> 150 (1) 48 # 135 ---> 134 (1) 3 # 152 ---> 136 (0) 3 # 136 ---> 135 (1) 45 # 138 ---> 137 (0) 66 # 201 ---> 202 (0) 52 # 169 ---> 185 (8) 20 # 170 ---> 169 (8) 44 # 140 ---> 124 (0) 29 # 114 ---> 130 (0) 56 # 97 ---> 113 (0) 41 # 99 ---> 98 (1) 11 # 117 ---> 101 (0) 11 # 101 ---> 100 (1) 22 # 102 ---> 101 (2) 67 # 104 ---> 103 (2) 44 # 124 ---> 108 (1) 25 # 4 ---> 20 (3) 39 # 5 ---> 4 (4) 42 # 6 ---> 5 (5) 43 # 22 ---> 6 (8) 42 # 5 ---> 21 (6) 43 # 6 ---> 5 (9) 58 # 7 ---> 6 (9) 38 # 23 ---> 7 (9) 58 # 6 ---> 22 (10) 38 # 7 ---> 6 (10) 33 # 8 ---> 7 (10) 49 # 24 ---> 8 (10) 33 # 7 ---> 23 (11) 49 # 8 ---> 7 (11) 6 # 9 ---> 8 (11) 40 # 26 ---> 10 (12) 40 # 10 ---> 9 (13) 65 # 11 ---> 10 (13) 47 # 27 ---> 11 (13) 65 # 10 ---> 26 (14) 47 # 11 ---> 10 (14) 59 # 12 ---> 11 (14) 32 # 109 ---> 93 (8) 32 # 93 ---> 92 (9) 28 # 165 ---> 181 (4) 15 # 150 ---> 149 (2) 15 # 149 ---> 165 (4) 14 # 78 ---> 77 (12) 14 # 77 ---> 61 (13) 5 # 29 ---> 28 (13) 12 # 14 ---> 30 (13) 12 # 30 ---> 29 (14) 14 # 61 ---> 45 (14) 40 # 9 ---> 25 (14) 47 # 10 ---> 9 (15) 59 # 11 ---> 10 (15) 5 # 28 ---> 12 (14) 5 # 12 ---> 11 (15) 12 # 29 ---> 13 (15) 14 # 45 ---> 29 (15) 58 # 22 ---> 38 (11) 33 # 23 ---> 22 (12) 40 # 25 ---> 24 (15) 40 # 24 ---> 23 (16) 6 # 8 ---> 24 (16) 49 # 7 ---> 8 (16) 40 # 23 ---> 7 (17) 6 # 24 ---> 23 (17) 47 # 9 ---> 25 (16) 49 # 8 ---> 9 (17) 47 # 25 ---> 24 (17) 65 # 26 ---> 25 (17) 59 # 10 ---> 26 (17) 49 # 9 ---> 10 (18) 65 # 25 ---> 9 (18) 59 # 26 ---> 25 (18) 5 # 11 ---> 27 (16) 49 # 10 ---> 11 (19) 49 # 11 ---> 12 (20) 14 # 29 ---> 28 (16) 12 # 13 ---> 29 (16) 49 # 12 ---> 13 (21) 14 # 28 ---> 12 (21) 12 # 29 ---> 28 (21) 49 # 13 ---> 29 (22) 49 # 29 ---> 45 (23) 49 # 45 ---> 61 (24) 49 # 61 ---> 77 (25) 49 # 77 ---> 93 (26) 49 # 93 ---> 109 (27) 49 # 109 ---> 125 (28) 49 # 125 ---> 141 (29) 49 # 141 ---> 157 (30) 49 # 157 ---> 173 (31) 49 # 173 ---> 189 (32) 49 # 189 ---> 205 (33) 49 # 205 ---> 221 (34) 49 # 221 ---> 237 (35) 27 # 216 ---> 200 (0) 27 # 200 ---> 201 (1) 52 # 185 ---> 184 (9) 66 # 202 ---> 186 (9) 27 # 201 ---> 202 (9) 66 # 186 ---> 185 (10) 36 # 203 ---> 187 (10) 27 # 202 ---> 203 (10) 27 # 203 ---> 204 (11) 27 # 204 ---> 205 (34) 27 # 205 ---> 221 (35) 61 # 229 ---> 245 (0) 17 # 230 ---> 229 (0) 53 # 167 ---> 183 (6) 20 # 169 ---> 153 (9) 45 # 137 ---> 136 (1) 20 # 153 ---> 137 (10) 45 # 136 ---> 152 (2) 20 # 137 ---> 136 (11) 63 # 155 ---> 139 (0) 53 # 183 ---> 182 (7) 39 # 4 ---> 3 (5) 25 # 20 ---> 4 (5) 42 # 21 ---> 20 (7) 33 # 22 ---> 21 (13) 38 # 6 ---> 22 (13) 43 # 5 ---> 6 (13) 33 # 21 ---> 5 (14) 38 # 22 ---> 21 (14) 6 # 23 ---> 22 (18) 40 # 7 ---> 23 (18) 43 # 6 ---> 7 (18) 43 # 7 ---> 8 (19) 40 # 23 ---> 7 (19) 47 # 24 ---> 23 (19) 59 # 25 ---> 24 (19) 65 # 9 ---> 25 (19) 43 # 8 ---> 9 (20) 43 # 9 ---> 10 (21) 65 # 25 ---> 9 (21) 43 # 10 ---> 11 (22) 5 # 27 ---> 26 (18) 12 # 28 ---> 27 (22) 14 # 12 ---> 28 (22) 43 # 11 ---> 12 (23) 43 # 12 ---> 13 (24) 43 # 13 ---> 29 (25) 43 # 29 ---> 45 (26) 43 # 45 ---> 61 (27) 43 # 61 ---> 77 (28) 43 # 77 ---> 93 (29) 43 # 93 ---> 109 (30) 43 # 109 ---> 125 (31) 67 # 103 ---> 102 (3) 55 # 74 ---> 73 (3) 32 # 92 ---> 76 (10) 44 # 108 ---> 92 (10) 29 # 130 ---> 146 (1) 21 # 131 ---> 130 (1) 41 # 98 ---> 114 (2) 60 # 69 ---> 53 (1) 60 # 53 ---> 52 (2) 55 # 73 ---> 57 (4) 55 # 57 ---> 56 (5) 32 # 76 ---> 60 (11) 44 # 92 ---> 76 (11) 57 # 50 ---> 34 (0) 57 # 34 ---> 33 (1) 60 # 52 ---> 36 (3) 60 # 36 ---> 35 (4) 58 # 38 ---> 37 (12) 55 # 56 ---> 40 (7) 55 # 40 ---> 39 (8) 32 # 60 ---> 44 (12) 44 # 76 ---> 60 (12) 28 # 181 ---> 197 (5) 53 # 182 ---> 181 (8) 22 # 101 ---> 117 (3) 67 # 102 ---> 101 (4) 55 # 39 ---> 55 (9) 6 # 22 ---> 38 (19) 47 # 23 ---> 22 (20) 59 # 24 ---> 23 (20) 5 # 26 ---> 25 (21) 12 # 27 ---> 26 (23) 14 # 28 ---> 27 (23) 32 # 44 ---> 28 (23) 44 # 60 ---> 44 (23) 12 # 26 ---> 42 (24) 14 # 27 ---> 26 (24) 32 # 28 ---> 29 (26) 44 # 44 ---> 28 (26) 13 # 251 ---> 235 (0) 11 # 100 ---> 99 (2) 67 # 101 ---> 100 (5) 22 # 117 ---> 101 (5) 13 # 235 ---> 219 (1) 13 # 219 ---> 203 (11) 13 # 203 ---> 204 (34) 36 # 187 ---> 171 (11) 48 # 134 ---> 150 (2) 3 # 135 ---> 134 (2) 20 # 136 ---> 135 (12) 45 # 152 ---> 136 (12) 36 # 171 ---> 155 (12) 20 # 135 ---> 119 (13) 3 # 134 ---> 135 (13) 20 # 119 ---> 118 (14) 45 # 136 ---> 120 (13) 3 # 135 ---> 136 (14) 3 # 136 ---> 137 (15) 3 # 137 ---> 138 (16) 45 # 120 ---> 119 (14) 63 # 139 ---> 123 (1) 3 # 138 ---> 139 (17) 3 # 139 ---> 140 (18) 36 # 155 ---> 139 (18) 3 # 140 ---> 156 (19) 42 # 20 ---> 36 (8) 38 # 21 ---> 20 (15) 47 # 22 ---> 21 (21) 6 # 38 ---> 22 (21) 58 # 37 ---> 38 (21) 58 # 38 ---> 39 (22) 58 # 39 ---> 40 (23) 58 # 40 ---> 41 (24) 47 # 21 ---> 37 (22) 6 # 22 ---> 21 (22) 59 # 23 ---> 22 (22) 5 # 25 ---> 24 (22) 14 # 26 ---> 25 (25) 12 # 42 ---> 26 (25) 58 # 41 ---> 42 (25) 58 # 42 ---> 43 (26) 58 # 43 ---> 44 (27) 58 # 44 ---> 60 (28) 58 # 60 ---> 76 (29) 58 # 76 ---> 92 (30) 58 # 92 ---> 108 (31) 58 # 108 ---> 124 (32) 58 # 124 ---> 140 (33) 63 # 123 ---> 124 (33) 36 # 139 ---> 123 (33) 50 # 2 ---> 18 (1) 39 # 3 ---> 2 (6) 25 # 4 ---> 3 (6) 38 # 20 ---> 4 (16) 25 # 3 ---> 19 (7) 38 # 4 ---> 3 (17) 33 # 5 ---> 4 (17) 6 # 21 ---> 5 (23) 33 # 4 ---> 20 (18) 6 # 5 ---> 4 (24) 59 # 22 ---> 6 (23) 59 # 6 ---> 5 (24) 40 # 7 ---> 6 (24) 5 # 24 ---> 8 (23) 5 # 8 ---> 7 (24) 65 # 9 ---> 8 (24) 14 # 25 ---> 9 (26) 65 # 8 ---> 24 (25) 14 # 9 ---> 8 (27) 12 # 26 ---> 10 (26) 12 # 10 ---> 9 (27) 36 # 123 ---> 107 (34) 63 # 124 ---> 123 (34) 36 # 107 ---> 108 (35) 63 # 123 ---> 107 (35) 10 # 213 ---> 214 (0) 17 # 229 ---> 213 (1) 64 # 228 ---> 229 (1) 28 # 197 ---> 196 (6) 17 # 213 ---> 197 (6) 53 # 181 ---> 180 (9) 17 # 197 ---> 181 (9) 15 # 165 ---> 164 (5) 17 # 181 ---> 165 (10) 17 # 165 ---> 149 (11) 17 # 149 ---> 133 (12) 17 # 133 ---> 117 (13) 67 # 100 ---> 116 (6) 22 # 101 ---> 100 (6) 17 # 117 ---> 101 (14) 17 # 101 ---> 85 (15) 17 # 85 ---> 86 (16) 17 # 86 ---> 87 (17) 17 # 87 ---> 88 (18) 17 # 88 ---> 89 (19) 17 # 89 ---> 90 (20) 17 # 90 ---> 91 (21) 17 # 91 ---> 92 (31) 63 # 107 ---> 91 (36) 36 # 108 ---> 107 (36) 17 # 92 ---> 108 (36) 63 # 91 ---> 92 (37) 36 # 107 ---> 91 (37) 67 # 116 ---> 115 (7) 67 # 115 ---> 131 (8) 11 # 99 ---> 115 (8) 22 # 100 ---> 99 (8) 36 # 91 ---> 75 (38) 63 # 92 ---> 91 (38) 36 # 75 ---> 76 (39) 63 # 91 ---> 75 (39) 50 # 18 ---> 17 (2) 39 # 2 ---> 18 (7) 50 # 17 ---> 0 (3) 39 # 18 ---> 17 (8) 25 # 19 ---> 18 (8) 38 # 3 ---> 19 (18) 25 # 18 ---> 2 (9) 38 # 19 ---> 18 (19) 33 # 20 ---> 19 (19) 6 # 4 ---> 20 (25) 33 # 19 ---> 3 (20) 6 # 20 ---> 19 (26) 59 # 5 ---> 21 (25) 59 # 21 ---> 20 (26) 40 # 6 ---> 22 (25) 40 # 22 ---> 21 (26) 5 # 7 ---> 23 (25) 5 # 23 ---> 22 (26) 65 # 24 ---> 23 (26) 14 # 8 ---> 24 (28) 65 # 23 ---> 7 (27) 14 # 24 ---> 23 (29) 63 # 75 ---> 59 (40) 36 # 76 ---> 75 (40) 63 # 59 ---> 60 (41) 36 # 75 ---> 59 (41) 36 # 59 ---> 43 (42) 63 # 60 ---> 59 (42) 36 # 43 ---> 44 (43) 63 # 59 ---> 43 (43) 63 # 43 ---> 42 (44) 36 # 44 ---> 43 (44) 36 # 43 ---> 27 (45) 7 # 218 ---> 202 (10) 15 # 164 ---> 163 (6) 66 # 185 ---> 169 (11) 7 # 202 ---> 186 (11) 15 # 163 ---> 162 (7) 48 # 150 ---> 149 (12) 66 # 169 ---> 153 (12) 7 # 186 ---> 170 (12) 65 # 7 ---> 6 (28) 14 # 23 ---> 7 (30) 5 # 22 ---> 23 (30) 5 # 23 ---> 24 (31) 65 # 6 ---> 22 (30) 14 # 7 ---> 6 (31) 5 # 24 ---> 25 (32) 5 # 25 ---> 26 (33) 12 # 9 ---> 8 (28) 36 # 27 ---> 11 (46) 5 # 26 ---> 27 (46) 5 # 27 ---> 43 (47) 5 # 43 ---> 59 (48) 5 # 59 ---> 75 (49) 5 # 75 ---> 91 (50) 5 # 91 ---> 107 (51) 5 # 107 ---> 123 (52) 5 # 123 ---> 139 (53) 5 # 139 ---> 155 (54) 5 # 155 ---> 171 (55) 7 # 170 ---> 154 (13) 31 # 161 ---> 160 (0) 26 # 128 ---> 129 (0) 26 # 129 ---> 145 (1) 8 # 112 ---> 128 (0) 56 # 113 ---> 112 (1) 41 # 114 ---> 113 (3) 21 # 130 ---> 114 (3) 41 # 113 ---> 129 (4) 21 # 114 ---> 113 (4) 11 # 115 ---> 114 (9) 67 # 131 ---> 115 (9) 7 # 154 ---> 138 (17) 1 # 225 ---> 224 (0) 37 # 241 ---> 225 (0) 37 # 225 ---> 209 (1) 4 # 193 ---> 192 (0) 37 # 209 ---> 193 (2) 37 # 193 ---> 177 (3) 37 # 177 ---> 161 (4) 46 # 176 ---> 177 (4) 31 # 160 ---> 176 (4) 26 # 145 ---> 144 (2) 37 # 161 ---> 145 (5) 26 # 144 ---> 160 (4) 8 # 128 ---> 144 (4) 41 # 129 ---> 128 (5) 37 # 145 ---> 129 (6) 8 # 144 ---> 145 (6) 41 # 128 ---> 144 (6) 56 # 112 ---> 128 (6) 21 # 113 ---> 112 (6) 37 # 129 ---> 113 (7) 11 # 114 ---> 130 (10) 37 # 113 ---> 114 (10) 22 # 99 ---> 98 (9) 67 # 115 ---> 99 (10) 37 # 114 ---> 115 (11) 37 # 115 ---> 116 (12) 37 # 116 ---> 117 (14) 22 # 98 ---> 114 (11) 67 # 99 ---> 98 (11) 20 # 118 ---> 102 (15) 37 # 117 ---> 118 (15) 20 # 102 ---> 101 (16) 45 # 119 ---> 103 (15) 37 # 118 ---> 119 (16) 37 # 119 ---> 120 (17) 37 # 120 ---> 121 (18) 37 # 121 ---> 122 (19) 37 # 122 ---> 123 (53) 37 # 123 ---> 139 (54) 7 # 138 ---> 122 (53) 7 # 122 ---> 106 (54) 39 # 17 ---> 16 (9) 38 # 18 ---> 17 (20) 25 # 2 ---> 18 (20) 50 # 0 ---> 2 (20) 38 # 17 ---> 0 (21) 25 # 18 ---> 17 (21) 6 # 19 ---> 18 (27) 33 # 3 ---> 19 (27) 50 # 2 ---> 3 (27) 50 # 3 ---> 4 (28) 50 # 4 ---> 5 (29) 59 # 20 ---> 4 (29) 40 # 21 ---> 20 (29) 65 # 22 ---> 21 (31) 14 # 6 ---> 22 (32) 50 # 5 ---> 6 (32) 50 # 6 ---> 7 (33) 12 # 8 ---> 24 (32) 50 # 7 ---> 8 (34) 50 # 8 ---> 9 (35) 50 # 9 ---> 10 (36) 36 # 11 ---> 27 (47) 50 # 10 ---> 11 (47) 36 # 27 ---> 26 (48) 50 # 11 ---> 27 (48) 50 # 27 ---> 43 (49) 50 # 43 ---> 59 (50) 50 # 59 ---> 75 (51) 50 # 75 ---> 91 (52) 50 # 91 ---> 107 (53) 7 # 106 ---> 90 (55) 7 # 90 ---> 74 (56) 30 # 81 ---> 97 (0) 35 # 32 ---> 48 (0) 57 # 33 ---> 32 (2) 60 # 35 ---> 34 (5) 42 # 36 ---> 35 (9) 47 # 37 ---> 36 (23) 55 # 55 ---> 39 (23) 7 # 74 ---> 58 (57) 7 # 58 ---> 57 (58) 7 # 57 ---> 73 (59) 63 # 42 ---> 41 (45) 12 # 24 ---> 25 (33) 36 # 26 ---> 10 (49) 12 # 25 ---> 26 (49) 12 # 26 ---> 27 (50) 12 # 27 ---> 43 (51) 45 # 103 ---> 104 (16) 45 # 104 ---> 105 (17) 45 # 105 ---> 106 (55) 45 # 106 ---> 122 (56) 45 # 122 ---> 138 (57) 45 # 138 ---> 154 (58) 45 # 154 ---> 170 (59) 45 # 170 ---> 186 (60) 45 # 186 ---> 202 (61) 45 # 202 ---> 218 (62) 55 # 39 ---> 40 (24) 63 # 41 ---> 25 (49) 55 # 40 ---> 41 (49) 55 # 41 ---> 42 (50) 55 # 42 ---> 58 (58) 55 # 58 ---> 74 (59) 55 # 74 ---> 90 (60) 55 # 90 ---> 106 (61) 55 # 106 ---> 122 (62) 55 # 122 ---> 138 (63) 55 # 138 ---> 154 (64) 55 # 154 ---> 170 (65) 55 # 170 ---> 186 (66) 55 # 186 ---> 202 (67) 59 # 4 ---> 3 (30) 40 # 20 ---> 4 (30) 65 # 21 ---> 20 (32) 63 # 25 ---> 24 (50) 36 # 10 ---> 26 (50) 36 # 26 ---> 25 (51) 18 # 84 ---> 85 (16) 18 # 85 ---> 86 (17) 18 # 86 ---> 87 (18) 18 # 87 ---> 88 (19) 18 # 88 ---> 89 (20) 18 # 89 ---> 90 (61) 18 # 90 ---> 106 (62) 18 # 106 ---> 122 (63) 18 # 122 ---> 138 (64) 18 # 138 ---> 154 (65) 66 # 153 ---> 137 (16) 66 # 137 ---> 121 (19) 66 # 121 ---> 105 (55) 47 # 36 ---> 52 (24) 42 # 35 ---> 36 (24) 42 # 36 ---> 37 (25) 42 # 37 ---> 38 (26) 42 # 38 ---> 39 (27) 42 # 39 ---> 40 (49) 42 # 40 ---> 41 (50) 42 # 41 ---> 42 (58) 42 # 42 ---> 58 (59) 42 # 58 ---> 74 (60) 42 # 74 ---> 90 (62) 66 # 105 ---> 89 (61) 42 # 90 ---> 106 (63) 7 # 73 ---> 74 (62) 66 # 89 ---> 73 (62) 66 # 73 ---> 57 (63) 7 # 74 ---> 73 (63) 66 # 57 ---> 58 (64) 7 # 73 ---> 57 (64) 7 # 57 ---> 41 (65) 66 # 58 ---> 57 (65) 7 # 41 ---> 42 (66) 66 # 57 ---> 41 (66) 60 # 34 ---> 50 (6) 6 # 18 ---> 34 (28) 33 # 19 ---> 18 (28) 65 # 20 ---> 36 (33) 59 # 3 ---> 19 (31) 40 # 4 ---> 3 (31) 14 # 22 ---> 6 (33) 14 # 6 ---> 5 (34) 63 # 24 ---> 8 (51) 36 # 25 ---> 9 (52) 66 # 41 ---> 25 (67) 7 # 42 ---> 41 (67) 66 # 25 ---> 26 (68) 7 # 41 ---> 25 (68) 61 # 245 ---> 246 (1) 10 # 214 ---> 213 (6) 23 # 65 ---> 66 (0) 23 # 66 ---> 67 (1) 23 # 67 ---> 68 (2) 23 # 68 ---> 69 (3) 23 # 69 ---> 70 (4) 23 # 70 ---> 71 (5) 23 # 71 ---> 72 (6) 23 # 72 ---> 73 (64) 23 # 73 ---> 89 (65) 23 # 89 ---> 105 (66) 23 # 105 ---> 121 (67) 23 # 121 ---> 137 (68) 46 # 177 ---> 193 (5) 31 # 176 ---> 177 (5) 4 # 192 ---> 176 (5) 46 # 193 ---> 192 (6) 31 # 177 ---> 193 (6) 26 # 160 ---> 161 (5) 4 # 176 ---> 160 (6) 26 # 161 ---> 177 (6) 8 # 145 ---> 161 (7) 41 # 144 ---> 145 (7) 4 # 160 ---> 144 (7) 8 # 161 ---> 160 (8) 41 # 145 ---> 161 (8) 56 # 128 ---> 129 (7) 4 # 144 ---> 128 (8) 56 # 129 ---> 145 (8) 21 # 112 ---> 113 (10) 4 # 128 ---> 112 (10) 4 # 112 ---> 96 (11) 4 # 96 ---> 80 (12) 24 # 64 ---> 65 (0) 4 # 80 ---> 64 (13) 24 # 65 ---> 81 (1) 4 # 64 ---> 65 (14) 4 # 65 ---> 66 (15) 4 # 66 ---> 67 (16) 4 # 67 ---> 68 (17) 4 # 68 ---> 69 (18) 4 # 69 ---> 70 (19) 4 # 70 ---> 71 (20) 4 # 71 ---> 72 (64) 4 # 72 ---> 73 (65) 4 # 73 ---> 89 (66) 54 # 211 ---> 210 (0) 60 # 50 ---> 51 (7) 6 # 34 ---> 50 (29) 33 # 18 ---> 34 (29) 59 # 19 ---> 18 (32) 66 # 26 ---> 27 (69) 7 # 25 ---> 26 (69) 6 # 50 ---> 66 (30) 60 # 51 ---> 50 (30) 52 # 184 ---> 200 (10) 20 # 101 ---> 85 (17) 26 # 177 ---> 178 (7) 31 # 193 ---> 177 (7) 8 # 160 ---> 176 (9) 41 # 161 ---> 160 (9) 31 # 177 ---> 161 (9) 8 # 176 ---> 177 (10) 41 # 160 ---> 176 (10) 56 # 145 ---> 144 (9) 31 # 161 ---> 145 (10) 31 # 145 ---> 129 (11) 29 # 146 ---> 145 (11) 11 # 130 ---> 146 (11) 31 # 129 ---> 130 (12) 31 # 130 ---> 131 (13) 31 # 131 ---> 132 (14) 31 # 132 ---> 133 (15) 31 # 133 ---> 134 (16) 31 # 134 ---> 135 (17) 31 # 135 ---> 136 (18) 31 # 136 ---> 152 (19) 24 # 81 ---> 80 (13) 67 # 98 ---> 82 (12) 30 # 97 ---> 98 (12) 30 # 98 ---> 99 (13) 30 # 99 ---> 100 (14) 30 # 100 ---> 101 (17) 30 # 101 ---> 102 (18) 30 # 102 ---> 103 (19) 30 # 103 ---> 104 (20) 30 # 104 ---> 120 (21) 21 # 113 ---> 129 (12) 67 # 82 ---> 81 (13) 6 # 66 ---> 82 (31) 47 # 52 ---> 51 (30) 47 # 51 ---> 67 (31) 65 # 36 ---> 35 (34) 21 # 129 ---> 130 (13) 21 # 130 ---> 131 (14) 21 # 131 ---> 132 (15) 21 # 132 ---> 133 (16) 21 # 133 ---> 134 (17) 21 # 134 ---> 135 (18) 21 # 135 ---> 151 (19) 21 # 151 ---> 167 (20) 21 # 167 ---> 183 (21) 21 # 183 ---> 199 (22) 21 # 199 ---> 215 (23) 21 # 215 ---> 231 (24) 61 # 246 ---> 230 (2) 21 # 231 ---> 247 (25) 54 # 210 ---> 194 (1) 54 # 194 ---> 193 (7) 28 # 196 ---> 195 (7) 10 # 213 ---> 197 (9) 61 # 230 ---> 214 (6) 61 # 214 ---> 198 (7) 61 # 198 ---> 182 (8) 66 # 27 ---> 11 (70) 44 # 28 ---> 27 (70) 7 # 26 ---> 10 (70) 44 # 27 ---> 26 (71) 44 # 26 ---> 25 (72) 44 # 25 ---> 24 (73) 44 # 24 ---> 23 (74) 44 # 23 ---> 39 (75) 44 # 39 ---> 55 (76) 44 # 55 ---> 71 (77) 44 # 71 ---> 87 (78) 44 # 87 ---> 103 (79) 44 # 103 ---> 119 (80) 44 # 119 ---> 135 (81) 44 # 135 ---> 151 (82) 44 # 151 ---> 167 (83) 61 # 182 ---> 166 (9) 44 # 167 ---> 183 (84) 61 # 166 ---> 150 (12) 61 # 150 ---> 134 (18) 54 # 193 ---> 209 (8) 46 # 192 ---> 193 (8) 54 # 209 ---> 208 (9) 46 # 193 ---> 209 (9) 8 # 177 ---> 193 (11) 29 # 145 ---> 161 (12) 22 # 114 ---> 98 (13) 61 # 134 ---> 118 (19) 10 # 197 ---> 196 (10) 53 # 180 ---> 181 (10) 48 # 149 ---> 148 (13) 61 # 118 ---> 102 (20) 46 # 209 ---> 210 (10) 8 # 193 ---> 209 (12) 26 # 178 ---> 177 (11) 26 # 177 ---> 193 (12) 29 # 161 ---> 177 (13) 15 # 162 ---> 161 (13) 29 # 177 ---> 178 (14) 15 # 161 ---> 177 (14) 11 # 146 ---> 145 (12) 22 # 98 ---> 97 (14) 22 # 97 ---> 113 (15) 67 # 81 ---> 97 (15) 6 # 82 ---> 81 (32) 61 # 102 ---> 86 (21) 61 # 86 ---> 70 (22) 61 # 70 ---> 54 (23) 61 # 54 ---> 38 (27) 48 # 148 ---> 147 (14) 61 # 38 ---> 22 (33) 22 # 113 ---> 112 (16) 67 # 97 ---> 113 (16) 53 # 181 ---> 165 (11) 64 # 229 ---> 213 (9) 64 # 213 ---> 197 (10) 64 # 197 ---> 181 (11) 64 # 181 ---> 180 (12) 53 # 165 ---> 149 (13) 53 # 149 ---> 133 (17) 32 # 29 ---> 30 (27) 61 # 22 ---> 23 (75) 53 # 133 ---> 117 (18) 48 # 147 ---> 131 (15) 48 # 131 ---> 115 (16) 48 # 115 ---> 99 (17) 48 # 99 ---> 100 (18) 48 # 100 ---> 101 (19) 48 # 101 ---> 102 (21) 53 # 117 ---> 101 (21) 48 # 102 ---> 118 (22) 1 # 224 ---> 225 (1) 54 # 208 ---> 224 (10) 26 # 193 ---> 192 (13) 26 # 192 ---> 208 (14) 41 # 176 ---> 192 (14) 15 # 177 ---> 176 (15) 41 # 192 ---> 193 (15) 15 # 176 ---> 192 (16) 22 # 112 ---> 128 (17) 24 # 80 ---> 96 (14) 6 # 81 ---> 80 (33) 47 # 67 ---> 66 (32) 20 # 85 ---> 69 (19) 53 # 101 ---> 85 (22) 53 # 85 ---> 84 (23) 20 # 69 ---> 53 (20) 29 # 178 ---> 162 (15) 41 # 193 ---> 194 (16) 29 # 162 ---> 161 (16) 47 # 66 ---> 65 (33) 47 # 65 ---> 81 (34) 60 # 50 ---> 49 (31) 33 # 34 ---> 33 (30) 65 # 35 ---> 51 (35) 20 # 53 ---> 37 (26) 20 # 37 ---> 21 (32) 63 # 8 ---> 7 (52) 63 # 7 ---> 6 (53) 20 # 21 ---> 22 (75) 14 # 5 ---> 21 (75) 63 # 6 ---> 5 (75) 20 # 22 ---> 6 (76) 14 # 21 ---> 22 (76) 63 # 5 ---> 21 (76) 63 # 21 ---> 37 (77) 63 # 37 ---> 53 (78) 63 # 53 ---> 69 (79) 63 # 69 ---> 85 (80) 63 # 85 ---> 101 (81) 63 # 101 ---> 117 (82) 63 # 117 ---> 133 (83) 63 # 133 ---> 149 (84) 63 # 149 ---> 165 (85) 63 # 165 ---> 181 (86) 63 # 181 ---> 197 (87) 63 # 197 ---> 213 (88) 63 # 213 ---> 229 (89) 28 # 195 ---> 211 (8) 10 # 196 ---> 195 (11) 64 # 180 ---> 164 (13) 64 # 164 ---> 148 (14) 64 # 148 ---> 132 (16) 64 # 132 ---> 116 (17) 64 # 116 ---> 100 (19) 61 # 23 ---> 24 (76) 14 # 22 ---> 23 (77) 20 # 6 ---> 22 (77) 38 # 0 ---> 1 (22) 25 # 17 ---> 0 (22) 59 # 18 ---> 17 (33) 53 # 84 ---> 68 (24) 53 # 68 ---> 67 (32) 11 # 145 ---> 129 (13) 67 # 113 ---> 112 (17) 11 # 129 ---> 113 (17) 11 # 113 ---> 97 (18) 67 # 112 ---> 113 (18) 24 # 96 ---> 112 (18) 6 # 80 ---> 96 (34) 47 # 81 ---> 80 (35) 11 # 97 ---> 81 (35) 11 # 81 ---> 65 (36) 47 # 80 ---> 81 (36) 35 # 48 ---> 64 (14) 60 # 49 ---> 48 (32) 11 # 65 ---> 49 (37) 35 # 64 ---> 65 (37) 60 # 48 ---> 64 (37) 57 # 32 ---> 48 (37) 33 # 33 ---> 32 (37) 11 # 49 ---> 33 (38) 11 # 33 ---> 34 (39) 11 # 34 ---> 35 (40) 11 # 35 ---> 36 (41) 11 # 36 ---> 37 (78) 11 # 37 ---> 53 (79) 22 # 128 ---> 129 (18) 22 # 129 ---> 145 (19) 67 # 113 ---> 129 (19) 24 # 112 ---> 113 (19) 67 # 129 ---> 128 (20) 24 # 113 ---> 129 (20) 47 # 81 ---> 97 (37) 35 # 65 ---> 81 (38) 60 # 64 ---> 65 (38) 35 # 81 ---> 80 (39) 60 # 65 ---> 81 (39) 57 # 48 ---> 49 (38) 57 # 49 ---> 65 (39) 33 # 32 ---> 33 (39) 33 # 33 ---> 49 (40) 59 # 17 ---> 33 (40) 39 # 16 ---> 17 (40) 59 # 33 ---> 32 (41) 39 # 17 ---> 33 (41) 38 # 1 ---> 16 (40) 24 # 129 ---> 130 (21) 24 # 130 ---> 131 (22) 24 # 131 ---> 132 (23) 24 # 132 ---> 148 (24) 24 # 148 ---> 164 (25) 24 # 164 ---> 180 (26) 24 # 180 ---> 196 (27) 24 # 196 ---> 212 (28) 24 # 212 ---> 228 (29) 24 # 228 ---> 244 (30) 65 # 51 ---> 52 (36) 65 # 52 ---> 68 (37) 65 # 68 ---> 84 (38) 53 # 67 ---> 51 (36) 64 # 100 ---> 99 (20) 65 # 84 ---> 100 (39) 65 # 100 ---> 116 (40) 65 # 116 ---> 132 (41) 65 # 132 ---> 148 (42) 65 # 148 ---> 164 (43) 65 # 164 ---> 180 (44) 65 # 180 ---> 196 (45) 65 # 196 ---> 212 (46) 65 # 212 ---> 228 (47) 15 # 192 ---> 193 (17) 41 # 194 ---> 178 (17) 15 # 193 ---> 194 (18) 41 # 178 ---> 177 (18) 10 # 195 ---> 179 (12) 15 # 194 ---> 195 (19) 15 # 195 ---> 196 (46) 15 # 196 ---> 212 (47) 28 # 211 ---> 195 (46) 28 # 195 ---> 194 (47) 10 # 179 ---> 163 (13) 36 # 9 ---> 25 (73) 7 # 10 ---> 9 (73) 7 # 9 ---> 8 (74) 7 # 8 ---> 7 (75) 7 # 7 ---> 6 (77) 7 # 6 ---> 5 (78) 7 # 5 ---> 4 (79) 7 # 4 ---> 20 (80) 7 # 20 ---> 36 (81) 7 # 36 ---> 52 (82) 7 # 52 ---> 68 (83) 7 # 68 ---> 84 (84) 7 # 84 ---> 100 (85) 7 # 100 ---> 116 (86) 7 # 116 ---> 132 (87) 7 # 132 ---> 148 (88) 10 # 163 ---> 147 (15) 7 # 148 ---> 164 (89) 32 # 30 ---> 14 (28) 36 # 25 ---> 9 (74) 36 # 9 ---> 10 (75) 61 # 24 ---> 8 (77) 61 # 8 ---> 9 (78) 14 # 23 ---> 7 (78) 14 # 7 ---> 8 (79) 10 # 147 ---> 131 (23) 10 # 131 ---> 115 (24) 64 # 99 ---> 100 (86) 10 # 115 ---> 99 (86) 41 # 177 ---> 193 (19) 29 # 161 ---> 160 (17) 67 # 128 ---> 129 (21) 56 # 144 ---> 128 (21) 56 # 128 ---> 112 (22) 67 # 129 ---> 128 (22) 47 # 97 ---> 113 (38) 6 # 96 ---> 97 (38) 56 # 112 ---> 96 (38) 47 # 113 ---> 112 (39) 6 # 97 ---> 113 (39) 60 # 81 ---> 97 (40) 35 # 80 ---> 81 (40) 56 # 96 ---> 80 (40) 60 # 97 ---> 96 (41) 35 # 81 ---> 97 (41) 56 # 80 ---> 81 (41) 56 # 81 ---> 82 (42) 56 # 82 ---> 83 (43) 56 # 83 ---> 84 (85) 10 # 99 ---> 83 (87) 64 # 100 ---> 99 (87) 56 # 84 ---> 100 (87) 10 # 83 ---> 84 (88) 64 # 99 ---> 83 (88) 38 # 16 ---> 17 (41) 38 # 17 ---> 18 (42) 38 # 18 ---> 19 (43) 38 # 19 ---> 20 (81) 38 # 20 ---> 36 (82) 38 # 36 ---> 52 (83) 38 # 52 ---> 68 (84) 64 # 83 ---> 67 (89) 10 # 84 ---> 83 (89) 38 # 68 ---> 84 (89) 64 # 67 ---> 68 (90) 10 # 83 ---> 67 (90) 35 # 97 ---> 98 (42) 6 # 113 ---> 97 (42) 6 # 97 ---> 81 (43) 60 # 96 ---> 97 (43) 57 # 65 ---> 64 (40) 6 # 81 ---> 65 (44) 57 # 64 ---> 80 (41) 33 # 49 ---> 48 (41) 6 # 65 ---> 49 (45) 6 # 49 ---> 50 (46) 39 # 33 ---> 49 (46) 53 # 51 ---> 35 (41) 6 # 50 ---> 51 (47) 6 # 51 ---> 52 (84) 10 # 67 ---> 51 (91) 64 # 68 ---> 67 (91) 6 # 52 ---> 68 (91) 10 # 51 ---> 52 (92) 64 # 67 ---> 51 (92) 64 # 51 ---> 50 (93) 10 # 52 ---> 51 (93) 53 # 35 ---> 36 (83) 10 # 51 ---> 35 (94) 61 # 9 ---> 25 (79) 36 # 10 ---> 9 (79) 61 # 25 ---> 26 (80) 14 # 8 ---> 24 (80) 36 # 9 ---> 8 (80) 36 # 8 ---> 7 (81) 36 # 7 ---> 6 (82) 36 # 6 ---> 5 (83) 36 # 5 ---> 4 (84) 36 # 4 ---> 20 (85) 10 # 35 ---> 19 (95) 53 # 36 ---> 35 (95) 36 # 20 ---> 36 (95) 10 # 19 ---> 20 (96) 53 # 35 ---> 19 (96) 1 # 225 ---> 241 (2) 54 # 224 ---> 225 (11) 26 # 208 ---> 224 (15) 54 # 225 ---> 226 (12) 54 # 226 ---> 227 (13) 54 # 227 ---> 243 (14) 64 # 50 ---> 34 (94) 39 # 49 ---> 50 (94) 39 # 50 ---> 51 (95) 39 # 51 ---> 67 (96) 39 # 67 ---> 83 (97) 39 # 83 ---> 99 (98) 39 # 99 ---> 115 (99) 39 # 115 ---> 131 (100) 39 # 131 ---> 147 (101) 39 # 147 ---> 163 (102) 39 # 163 ---> 179 (103) 39 # 179 ---> 195 (104) 39 # 195 ---> 211 (105) 39 # 211 ---> 227 (106) 28 # 194 ---> 195 (105) 46 # 210 ---> 194 (105) 46 # 194 ---> 178 (106) 28 # 195 ---> 194 (106) 46 # 178 ---> 179 (107) 28 # 194 ---> 178 (107) 41 # 193 ---> 192 (20) 8 # 209 ---> 193 (20) 8 # 193 ---> 177 (21) 41 # 192 ---> 193 (21) 29 # 160 ---> 176 (18) 8 # 177 ---> 161 (22) 8 # 161 ---> 162 (23) 8 # 162 ---> 163 (103) 28 # 178 ---> 162 (108) 46 # 179 ---> 178 (108) 8 # 163 ---> 179 (108) 28 # 162 ---> 163 (109) 46 # 178 ---> 162 (109) 46 # 162 ---> 146 (110) 28 # 163 ---> 162 (110) 46 # 146 ---> 147 (111) 28 # 162 ---> 146 (111) 57 # 80 ---> 81 (44) 57 # 81 ---> 82 (45) 57 # 82 ---> 83 (98) 57 # 83 ---> 99 (99) 57 # 99 ---> 115 (100) 57 # 115 ---> 131 (101) 28 # 146 ---> 130 (112) 46 # 147 ---> 146 (112) 57 # 131 ---> 147 (112) 28 # 130 ---> 131 (113) 46 # 146 ---> 130 (113) 46 # 130 ---> 129 (114) 28 # 131 ---> 130 (114) 28 # 130 ---> 114 (115) 40 # 3 ---> 4 (85) 53 # 19 ---> 3 (97) 10 # 20 ---> 19 (97) 10 # 19 ---> 35 (98) 10 # 35 ---> 51 (99) 10 # 51 ---> 67 (100) 10 # 67 ---> 83 (101) 10 # 83 ---> 99 (102) 10 # 99 ---> 115 (103) 35 # 98 ---> 82 (98) 61 # 26 ---> 10 (81) 20 # 22 ---> 6 (83) 40 # 4 ---> 20 (97) 40 # 20 ---> 21 (98) 53 # 3 ---> 19 (98) 53 # 19 ---> 20 (99) 35 # 82 ---> 66 (99) 59 # 32 ---> 33 (46) 64 # 34 ---> 18 (95) 59 # 33 ---> 34 (95) 59 # 34 ---> 35 (99) 59 # 35 ---> 51 (100) 59 # 51 ---> 67 (101) 35 # 66 ---> 50 (100) 20 # 6 ---> 5 (84) 20 # 5 ---> 4 (97) 20 # 4 ---> 3 (98) 20 # 3 ---> 19 (99) 20 # 19 ---> 35 (100) 35 # 50 ---> 34 (101) 20 # 35 ---> 51 (101) 64 # 18 ---> 19 (100) 64 # 19 ---> 35 (101) 35 # 34 ---> 18 (102) 1 # 241 ---> 225 (12) 1 # 225 ---> 209 (20) 53 # 20 ---> 4 (100) 35 # 18 ---> 19 (103) 1 # 209 ---> 208 (21) 1 # 208 ---> 192 (22) 29 # 176 ---> 177 (22) 1 # 192 ---> 176 (23) 1 # 176 ---> 160 (24) 1 # 160 ---> 161 (25) 1 # 161 ---> 162 (111) 1 # 162 ---> 178 (112) 14 # 24 ---> 8 (81) 14 # 8 ---> 9 (82) 40 # 21 ---> 5 (99) 40 # 5 ---> 6 (100) 53 # 4 ---> 5 (101) 28 # 114 ---> 113 (116) 60 # 97 ---> 98 (98) 28 # 113 ---> 97 (117) 28 # 97 ---> 81 (118) 60 # 98 ---> 97 (118) 28 # 81 ---> 82 (119) 60 # 97 ---> 81 (119) 14 # 9 ---> 25 (83) 61 # 10 ---> 9 (83) 61 # 9 ---> 8 (84) 61 # 8 ---> 7 (85) 40 # 6 ---> 22 (101) 61 # 7 ---> 6 (101) 40 # 22 ---> 23 (102) 53 # 5 ---> 21 (102) 61 # 6 ---> 5 (102) 61 # 5 ---> 4 (103) 61 # 4 ---> 3 (104) 61 # 3 ---> 2 (105) 61 # 2 ---> 18 (106) 61 # 18 ---> 34 (107) 61 # 34 ---> 50 (108) 61 # 50 ---> 66 (109) 60 # 81 ---> 65 (120) 28 # 82 ---> 81 (120) 61 # 66 ---> 82 (120) 60 # 65 ---> 66 (121) 28 # 81 ---> 65 (121) 28 # 65 ---> 49 (122) 60 # 66 ---> 65 (122) 28 # 49 ---> 50 (123) 47 # 112 ---> 113 (117) 33 # 48 ---> 49 (123) 33 # 49 ---> 33 (124) 28 # 50 ---> 49 (124) 33 # 33 ---> 34 (125) 28 # 49 ---> 33 (125) 28 # 33 ---> 17 (126) 33 # 34 ---> 33 (126) 28 # 17 ---> 18 (127) 33 # 33 ---> 17 (127) 60 # 65 ---> 49 (125) 47 # 113 ---> 97 (119) 29 # 177 ---> 176 (24) 41 # 193 ---> 177 (24) 28 # 18 ---> 2 (128) 33 # 17 ---> 18 (128) 60 # 49 ---> 33 (127) 47 # 97 ---> 81 (121) 46 # 129 ---> 113 (119) 67 # 128 ---> 129 (119) 46 # 113 ---> 112 (120) 67 # 129 ---> 113 (120) 22 # 145 ---> 129 (120) 41 # 177 ---> 161 (111) 29 # 176 ---> 177 (111) 66 # 11 ---> 10 (83) 66 # 10 ---> 9 (84) 66 # 9 ---> 8 (85) 66 # 8 ---> 7 (101) 66 # 7 ---> 6 (102) 66 # 6 ---> 5 (103) 66 # 5 ---> 4 (104) 66 # 4 ---> 3 (105) 35 # 19 ---> 20 (104) 33 # 18 ---> 19 (129) 28 # 2 ---> 18 (129) 66 # 3 ---> 2 (129) 33 # 19 ---> 3 (130) 28 # 18 ---> 19 (130) 25 # 0 ---> 17 (128) 66 # 2 ---> 0 (130) 66 # 0 ---> 1 (131) 66 # 1 ---> 16 (132) 66 # 16 ---> 32 (133) 66 # 32 ---> 48 (134) 66 # 48 ---> 64 (135) 66 # 64 ---> 80 (136) 66 # 80 ---> 96 (137) 25 # 17 ---> 0 (131) 60 # 33 ---> 17 (131) 47 # 81 ---> 65 (125) 67 # 113 ---> 97 (121) 46 # 112 ---> 113 (121) 66 # 96 ---> 112 (138) 66 # 112 ---> 128 (139) 66 # 128 ---> 144 (140) 66 # 144 ---> 160 (141) 66 # 160 ---> 176 (142) 66 # 176 ---> 192 (143) 66 # 192 ---> 208 (144) 66 # 208 ---> 209 (145) 66 # 209 ---> 225 (146) 14 # 25 ---> 9 (85) 14 # 9 ---> 10 (86) 40 # 23 ---> 7 (103) 40 # 7 ---> 8 (104) 53 # 21 ---> 5 (104) 53 # 5 ---> 6 (105) 35 # 20 ---> 4 (105) 35 # 4 ---> 5 (106) 33 # 3 ---> 4 (131) 28 # 19 ---> 3 (131) 33 # 4 ---> 20 (132) 28 # 3 ---> 4 (132) 25 # 0 ---> 2 (132) 53 # 6 ---> 22 (106) 53 # 22 ---> 23 (107) 35 # 5 ---> 21 (107) 35 # 21 ---> 22 (108) 33 # 20 ---> 21 (133) 25 # 2 ---> 18 (133) 25 # 18 ---> 19 (134) 25 # 19 ---> 3 (135) 28 # 4 ---> 20 (133) 25 # 3 ---> 4 (136) 60 # 17 ---> 0 (132) 41 # 161 ---> 145 (120) 29 # 177 ---> 161 (120) 14 # 10 ---> 11 (87) 40 # 8 ---> 9 (105) 53 # 23 ---> 7 (108) 53 # 7 ---> 8 (109) 35 # 22 ---> 6 (109) 35 # 6 ---> 7 (110) 33 # 21 ---> 5 (134) 33 # 5 ---> 6 (135) 25 # 4 ---> 5 (137) 41 # 145 ---> 144 (141) 29 # 161 ---> 145 (141) 47 # 65 ---> 49 (127) 67 # 97 ---> 81 (125) 46 # 113 ---> 97 (125) 22 # 129 ---> 113 (125) 29 # 145 ---> 129 (142) 41 # 144 ---> 145 (142) 47 # 49 ---> 48 (135) 47 # 48 ---> 64 (136) 47 # 64 ---> 80 (137) 47 # 80 ---> 96 (138) 47 # 96 ---> 112 (139) 47 # 112 ---> 128 (140) 47 # 128 ---> 144 (142) 29 # 129 ---> 128 (143) 41 # 145 ---> 129 (143) 47 # 144 ---> 145 (143) 47 # 145 ---> 161 (144) 14 # 11 ---> 12 (88) 40 # 9 ---> 10 (106) 53 # 8 ---> 9 (110) 35 # 7 ---> 8 (111) 33 # 6 ---> 7 (136) 25 # 5 ---> 6 (138) 67 # 81 ---> 65 (127) 46 # 97 ---> 81 (127) 22 # 113 ---> 97 (127) 41 # 129 ---> 113 (144) 29 # 128 ---> 129 (144) 47 # 161 ---> 160 (145) 60 # 0 ---> 1 (133) 60 # 1 ---> 16 (134) 60 # 16 ---> 32 (135) 60 # 32 ---> 48 (136) 60 # 48 ---> 64 (137) 60 # 64 ---> 80 (138) 60 # 80 ---> 96 (139) 60 # 96 ---> 112 (140) 60 # 112 ---> 128 (144) 41 # 113 ---> 112 (145) 29 # 129 ---> 113 (145) 60 # 128 ---> 129 (145) 60 # 129 ---> 145 (146) 67 # 65 ---> 64 (138) 46 # 81 ---> 65 (138) 22 # 97 ---> 81 (138) 29 # 113 ---> 97 (146) 41 # 112 ---> 113 (146) 60 # 145 ---> 144 (147) 67 # 64 ---> 80 (139) 67 # 80 ---> 96 (140) 67 # 96 ---> 112 (146) 29 # 97 ---> 96 (147) 41 # 113 ---> 97 (147) 67 # 112 ---> 113 (147) 67 # 113 ---> 129 (148) 46 # 65 ---> 64 (139) 22 # 81 ---> 65 (139) 41 # 97 ---> 81 (148) 29 # 96 ---> 97 (148) 67 # 129 ---> 128 (149) 22 # 65 ---> 49 (140) 46 # 64 ---> 65 (140) 41 # 81 ---> 80 (149) 29 # 97 ---> 81 (149) 22 # 49 ---> 33 (141) 46 # 65 ---> 49 (141) 29 # 81 ---> 65 (150) 41 # 80 ---> 81 (150) 40 # 10 ---> 26 (107) 40 # 26 ---> 27 (108) 53 # 9 ---> 25 (111) 53 # 25 ---> 26 (112) 35 # 8 ---> 24 (112) 35 # 24 ---> 25 (113) 33 # 7 ---> 23 (137) 33 # 23 ---> 24 (138) 25 # 6 ---> 22 (139) 25 # 22 ---> 23 (140) 29 # 65 ---> 64 (151) 41 # 81 ---> 65 (151) 22 # 33 ---> 17 (142) 46 # 49 ---> 33 (142) 41 # 65 ---> 49 (152) 29 # 64 ---> 65 (152) 28 # 20 ---> 19 (135) 28 # 19 ---> 18 (136) 22 # 17 ---> 0 (143) 28 # 18 ---> 17 (143) 28 # 17 ---> 16 (144) 28 # 16 ---> 32 (145) 28 # 32 ---> 48 (146) 28 # 48 ---> 64 (152) 41 # 49 ---> 48 (153) 29 # 65 ---> 49 (153) 28 # 64 ---> 65 (153) 28 # 65 ---> 81 (154) 46 # 33 ---> 17 (144) 29 # 49 ---> 33 (154) 41 # 48 ---> 49 (154) 28 # 81 ---> 80 (155) 35 # 25 ---> 9 (114) 53 # 26 ---> 25 (114) 35 # 9 ---> 10 (115) 33 # 24 ---> 8 (139) 53 # 25 ---> 24 (139) 33 # 8 ---> 9 (140) 25 # 23 ---> 7 (141) 53 # 24 ---> 23 (141) 53 # 23 ---> 22 (142) 53 # 22 ---> 21 (143) 53 # 21 ---> 20 (144) 53 # 20 ---> 19 (145) 53 # 19 ---> 18 (146) 25 # 7 ---> 8 (142) 22 # 0 ---> 2 (144) 46 # 17 ---> 0 (145) 53 # 18 ---> 17 (147) 53 # 17 ---> 16 (148) 53 # 16 ---> 32 (149) 53 # 32 ---> 48 (154) 29 # 33 ---> 17 (155) 41 # 49 ---> 33 (155) 53 # 48 ---> 49 (155) 53 # 49 ---> 65 (156) 25 # 8 ---> 24 (143) 33 # 9 ---> 8 (143) 33 # 8 ---> 7 (144) 33 # 7 ---> 6 (145) 33 # 6 ---> 5 (146) 33 # 5 ---> 4 (147) 33 # 4 ---> 3 (148) 22 # 2 ---> 18 (147) 33 # 3 ---> 2 (149) 22 # 18 ---> 19 (148) 29 # 17 ---> 18 (156) 46 # 0 ---> 17 (156) 33 # 2 ---> 0 (156) 33 # 0 ---> 1 (157) 33 # 1 ---> 16 (158) 33 # 16 ---> 32 (159) 33 # 32 ---> 48 (160) 33 # 48 ---> 49 (161) 53 # 65 ---> 64 (157) 33 # 49 ---> 65 (162) 46 # 17 ---> 0 (157) 29 # 18 ---> 17 (157) 29 # 17 ---> 16 (159) 29 # 16 ---> 32 (160) 41 # 33 ---> 17 (159) 29 # 32 ---> 33 (161) 29 # 33 ---> 49 (162) 29 # 49 ---> 48 (163) 40 # 27 ---> 11 (109) 14 # 12 ---> 28 (89) 40 # 11 ---> 12 (110) 40 # 12 ---> 13 (111) 40 # 13 ---> 29 (112) 32 # 14 ---> 13 (112) 40 # 29 ---> 30 (113) 35 # 10 ---> 26 (116) 14 # 28 ---> 27 (109) 32 # 13 ---> 29 (113) 32 # 29 ---> 28 (114) 40 # 30 ---> 14 (114) 14 # 27 ---> 11 (110) 32 # 28 ---> 27 (115) 35 # 26 ---> 25 (139) 32 # 27 ---> 26 (139) 14 # 11 ---> 27 (139) 32 # 26 ---> 10 (140) 14 # 27 ---> 26 (140) 46 # 0 ---> 2 (158) 46 # 2 ---> 3 (159) 46 # 3 ---> 4 (160) 46 # 4 ---> 5 (161) 46 # 5 ---> 6 (162) 46 # 6 ---> 7 (163) 46 # 7 ---> 8 (164) 46 # 8 ---> 9 (165) 25 # 24 ---> 8 (165) 35 # 25 ---> 24 (165) 14 # 26 ---> 25 (165) 32 # 10 ---> 26 (165) 46 # 9 ---> 10 (166) 46 # 10 ---> 11 (167) 46 # 11 ---> 27 (168) 46 # 27 ---> 28 (169) 14 # 25 ---> 9 (166) 14 # 9 ---> 10 (167) 32 # 26 ---> 25 (166) 14 # 10 ---> 26 (168) 32 # 25 ---> 9 (167) 14 # 26 ---> 25 (169) 35 # 24 ---> 23 (166) 14 # 25 ---> 24 (170) 35 # 23 ---> 22 (167) 14 # 24 ---> 23 (171) 32 # 9 ---> 25 (170) 32 # 25 ---> 24 (171) 35 # 22 ---> 21 (168) 14 # 23 ---> 7 (172) 32 # 24 ---> 23 (172) 14 # 7 ---> 6 (173) 14 # 6 ---> 5 (174) 32 # 23 ---> 22 (173) 22 # 19 ---> 18 (157) 35 # 21 ---> 20 (169) 14 # 5 ---> 21 (175) 41 # 17 ---> 0 (160) 41 # 0 ---> 2 (161) 41 # 2 ---> 3 (162) 41 # 3 ---> 4 (163) 41 # 4 ---> 5 (175) 41 # 5 ---> 6 (176) 14 # 21 ---> 5 (176) 32 # 22 ---> 21 (176) 41 # 6 ---> 22 (177) 41 # 22 ---> 23 (178) 35 # 20 ---> 4 (175) 32 # 21 ---> 20 (177) 14 # 5 ---> 21 (177) 35 # 4 ---> 5 (177) 35 # 5 ---> 6 (178) 35 # 6 ---> 22 (179) 41 # 23 ---> 7 (179) 35 # 22 ---> 23 (180) 32 # 20 ---> 4 (178) 32 # 4 ---> 5 (179) 14 # 21 ---> 20 (178) 32 # 5 ---> 21 (180) 32 # 21 ---> 22 (181) 32 # 22 ---> 6 (182) 14 # 20 ---> 19 (179) 22 # 18 ---> 2 (162) 22 # 2 ---> 3 (163) 22 # 3 ---> 4 (179) 22 # 4 ---> 20 (180) 22 # 20 ---> 21 (181) 14 # 19 ---> 3 (180) Undirected graph: (|V|=256 |E|=480) [ Vertex: (id = 0) {1 2 17 } Vertex: (id = 1) {0 16 } Vertex: (id = 2) {0 3 18 } Vertex: (id = 3) {2 4 19 } Vertex: (id = 4) {3 5 20 } Vertex: (id = 5) {4 6 21 } Vertex: (id = 6) {5 7 22 } Vertex: (id = 7) {6 8 23 } Vertex: (id = 8) {7 9 24 } Vertex: (id = 9) {8 10 25 } Vertex: (id = 10) {9 11 26 } Vertex: (id = 11) {10 12 27 } Vertex: (id = 12) {11 13 28 } Vertex: (id = 13) {12 14 29 } Vertex: (id = 14) {13 15 30 } Vertex: (id = 15) {14 31 } Vertex: (id = 16) {1 17 32 } Vertex: (id = 17) {16 0 18 33 } Vertex: (id = 18) {17 2 19 34 } Vertex: (id = 19) {18 3 20 35 } Vertex: (id = 20) {19 4 21 36 } Vertex: (id = 21) {20 5 22 37 } Vertex: (id = 22) {21 6 23 38 } Vertex: (id = 23) {22 7 24 39 } Vertex: (id = 24) {23 8 25 40 } Vertex: (id = 25) {24 9 26 41 } Vertex: (id = 26) {25 10 27 42 } Vertex: (id = 27) {26 11 28 43 } Vertex: (id = 28) {27 12 29 44 } Vertex: (id = 29) {28 13 30 45 } Vertex: (id = 30) {29 14 31 46 } Vertex: (id = 31) {30 15 47 } Vertex: (id = 32) {16 33 48 } Vertex: (id = 33) {32 17 34 49 } Vertex: (id = 34) {18 33 50 35 } Vertex: (id = 35) {19 34 51 36 } Vertex: (id = 36) {20 35 52 37 } Vertex: (id = 37) {21 36 53 38 } Vertex: (id = 38) {22 37 54 39 } Vertex: (id = 39) {23 38 55 40 } Vertex: (id = 40) {24 39 56 41 } Vertex: (id = 41) {25 40 57 42 } Vertex: (id = 42) {26 41 58 43 } Vertex: (id = 43) {27 42 59 44 } Vertex: (id = 44) {28 43 60 45 } Vertex: (id = 45) {29 44 61 46 } Vertex: (id = 46) {30 45 62 47 } Vertex: (id = 47) {31 46 63 } Vertex: (id = 48) {32 49 64 } Vertex: (id = 49) {48 33 50 65 } Vertex: (id = 50) {34 49 66 51 } Vertex: (id = 51) {35 50 67 52 } Vertex: (id = 52) {36 51 68 53 } Vertex: (id = 53) {37 52 69 54 } Vertex: (id = 54) {38 53 70 55 } Vertex: (id = 55) {39 54 71 56 } Vertex: (id = 56) {40 55 72 57 } Vertex: (id = 57) {41 56 73 58 } Vertex: (id = 58) {42 57 74 59 } Vertex: (id = 59) {43 58 75 60 } Vertex: (id = 60) {44 59 76 61 } Vertex: (id = 61) {45 60 77 62 } Vertex: (id = 62) {46 61 78 63 } Vertex: (id = 63) {47 62 79 } Vertex: (id = 64) {48 65 80 } Vertex: (id = 65) {64 49 66 81 } Vertex: (id = 66) {50 65 82 67 } Vertex: (id = 67) {51 66 83 68 } Vertex: (id = 68) {52 67 84 69 } Vertex: (id = 69) {53 68 85 70 } Vertex: (id = 70) {54 69 86 71 } Vertex: (id = 71) {55 70 87 72 } Vertex: (id = 72) {56 71 88 73 } Vertex: (id = 73) {57 72 89 74 } Vertex: (id = 74) {58 73 90 75 } Vertex: (id = 75) {59 74 91 76 } Vertex: (id = 76) {60 75 92 77 } Vertex: (id = 77) {61 76 93 78 } Vertex: (id = 78) {62 77 94 79 } Vertex: (id = 79) {63 78 95 } Vertex: (id = 80) {64 81 96 } Vertex: (id = 81) {80 65 82 97 } Vertex: (id = 82) {66 81 98 83 } Vertex: (id = 83) {67 82 99 84 } Vertex: (id = 84) {68 83 100 85 } Vertex: (id = 85) {69 84 101 86 } Vertex: (id = 86) {70 85 102 87 } Vertex: (id = 87) {71 86 103 88 } Vertex: (id = 88) {72 87 104 89 } Vertex: (id = 89) {73 88 105 90 } Vertex: (id = 90) {74 89 106 91 } Vertex: (id = 91) {75 90 107 92 } Vertex: (id = 92) {76 91 108 93 } Vertex: (id = 93) {77 92 109 94 } Vertex: (id = 94) {78 93 110 95 } Vertex: (id = 95) {79 94 111 } Vertex: (id = 96) {80 97 112 } Vertex: (id = 97) {96 81 98 113 } Vertex: (id = 98) {82 97 114 99 } Vertex: (id = 99) {83 98 115 100 } Vertex: (id = 100) {84 99 116 101 } Vertex: (id = 101) {85 100 117 102 } Vertex: (id = 102) {86 101 118 103 } Vertex: (id = 103) {87 102 119 104 } Vertex: (id = 104) {88 103 120 105 } Vertex: (id = 105) {89 104 121 106 } Vertex: (id = 106) {90 105 122 107 } Vertex: (id = 107) {91 106 123 108 } Vertex: (id = 108) {92 107 124 109 } Vertex: (id = 109) {93 108 125 110 } Vertex: (id = 110) {94 109 126 111 } Vertex: (id = 111) {95 110 127 } Vertex: (id = 112) {96 113 128 } Vertex: (id = 113) {112 97 114 129 } Vertex: (id = 114) {98 113 130 115 } Vertex: (id = 115) {99 114 131 116 } Vertex: (id = 116) {100 115 132 117 } Vertex: (id = 117) {101 116 133 118 } Vertex: (id = 118) {102 117 134 119 } Vertex: (id = 119) {103 118 135 120 } Vertex: (id = 120) {104 119 136 121 } Vertex: (id = 121) {105 120 137 122 } Vertex: (id = 122) {106 121 138 123 } Vertex: (id = 123) {107 122 139 124 } Vertex: (id = 124) {108 123 140 125 } Vertex: (id = 125) {109 124 141 126 } Vertex: (id = 126) {110 125 142 127 } Vertex: (id = 127) {111 126 143 } Vertex: (id = 128) {112 129 144 } Vertex: (id = 129) {128 113 130 145 } Vertex: (id = 130) {114 129 146 131 } Vertex: (id = 131) {115 130 147 132 } Vertex: (id = 132) {116 131 148 133 } Vertex: (id = 133) {117 132 149 134 } Vertex: (id = 134) {118 133 150 135 } Vertex: (id = 135) {119 134 151 136 } Vertex: (id = 136) {120 135 152 137 } Vertex: (id = 137) {121 136 153 138 } Vertex: (id = 138) {122 137 154 139 } Vertex: (id = 139) {123 138 155 140 } Vertex: (id = 140) {124 139 156 141 } Vertex: (id = 141) {125 140 157 142 } Vertex: (id = 142) {126 141 158 143 } Vertex: (id = 143) {127 142 159 } Vertex: (id = 144) {128 145 160 } Vertex: (id = 145) {144 129 146 161 } Vertex: (id = 146) {130 145 162 147 } Vertex: (id = 147) {131 146 163 148 } Vertex: (id = 148) {132 147 164 149 } Vertex: (id = 149) {133 148 165 150 } Vertex: (id = 150) {134 149 166 151 } Vertex: (id = 151) {135 150 167 152 } Vertex: (id = 152) {136 151 168 153 } Vertex: (id = 153) {137 152 169 154 } Vertex: (id = 154) {138 153 170 155 } Vertex: (id = 155) {139 154 171 156 } Vertex: (id = 156) {140 155 172 157 } Vertex: (id = 157) {141 156 173 158 } Vertex: (id = 158) {142 157 174 159 } Vertex: (id = 159) {143 158 175 } Vertex: (id = 160) {144 161 176 } Vertex: (id = 161) {160 145 162 177 } Vertex: (id = 162) {146 161 178 163 } Vertex: (id = 163) {147 162 179 164 } Vertex: (id = 164) {148 163 180 165 } Vertex: (id = 165) {149 164 181 166 } Vertex: (id = 166) {150 165 182 167 } Vertex: (id = 167) {151 166 183 168 } Vertex: (id = 168) {152 167 184 169 } Vertex: (id = 169) {153 168 185 170 } Vertex: (id = 170) {154 169 186 171 } Vertex: (id = 171) {155 170 187 172 } Vertex: (id = 172) {156 171 188 173 } Vertex: (id = 173) {157 172 189 174 } Vertex: (id = 174) {158 173 190 175 } Vertex: (id = 175) {159 174 191 } Vertex: (id = 176) {160 177 192 } Vertex: (id = 177) {176 161 178 193 } Vertex: (id = 178) {162 177 194 179 } Vertex: (id = 179) {163 178 195 180 } Vertex: (id = 180) {164 179 196 181 } Vertex: (id = 181) {165 180 197 182 } Vertex: (id = 182) {166 181 198 183 } Vertex: (id = 183) {167 182 199 184 } Vertex: (id = 184) {168 183 200 185 } Vertex: (id = 185) {169 184 201 186 } Vertex: (id = 186) {170 185 202 187 } Vertex: (id = 187) {171 186 203 188 } Vertex: (id = 188) {172 187 204 189 } Vertex: (id = 189) {173 188 205 190 } Vertex: (id = 190) {174 189 206 191 } Vertex: (id = 191) {175 190 207 } Vertex: (id = 192) {176 193 208 } Vertex: (id = 193) {192 177 194 209 } Vertex: (id = 194) {178 193 210 195 } Vertex: (id = 195) {179 194 211 196 } Vertex: (id = 196) {180 195 212 197 } Vertex: (id = 197) {181 196 213 198 } Vertex: (id = 198) {182 197 214 199 } Vertex: (id = 199) {183 198 215 200 } Vertex: (id = 200) {184 199 216 201 } Vertex: (id = 201) {185 200 217 202 } Vertex: (id = 202) {186 201 218 203 } Vertex: (id = 203) {187 202 219 204 } Vertex: (id = 204) {188 203 220 205 } Vertex: (id = 205) {189 204 221 206 } Vertex: (id = 206) {190 205 222 207 } Vertex: (id = 207) {191 206 223 } Vertex: (id = 208) {192 209 224 } Vertex: (id = 209) {208 193 210 225 } Vertex: (id = 210) {194 209 226 211 } Vertex: (id = 211) {195 210 227 212 } Vertex: (id = 212) {196 211 228 213 } Vertex: (id = 213) {197 212 229 214 } Vertex: (id = 214) {198 213 230 215 } Vertex: (id = 215) {199 214 231 216 } Vertex: (id = 216) {200 215 232 217 } Vertex: (id = 217) {201 216 233 218 } Vertex: (id = 218) {202 217 234 219 } Vertex: (id = 219) {203 218 235 220 } Vertex: (id = 220) {204 219 236 221 } Vertex: (id = 221) {205 220 237 222 } Vertex: (id = 222) {206 221 238 223 } Vertex: (id = 223) {207 222 239 } Vertex: (id = 224) {208 225 240 } Vertex: (id = 225) {224 209 226 241 } Vertex: (id = 226) {210 225 242 227 } Vertex: (id = 227) {211 226 243 228 } Vertex: (id = 228) {212 227 244 229 } Vertex: (id = 229) {213 228 245 230 } Vertex: (id = 230) {214 229 246 231 } Vertex: (id = 231) {215 230 247 232 } Vertex: (id = 232) {216 231 248 233 } Vertex: (id = 233) {217 232 249 234 } Vertex: (id = 234) {218 233 250 235 } Vertex: (id = 235) {219 234 251 236 } Vertex: (id = 236) {220 235 252 237 } Vertex: (id = 237) {221 236 253 238 } Vertex: (id = 238) {222 237 254 239 } Vertex: (id = 239) {223 238 255 } Vertex: (id = 240) {224 241 } Vertex: (id = 241) {240 225 242 } Vertex: (id = 242) {226 241 243 } Vertex: (id = 243) {227 242 244 } Vertex: (id = 244) {228 243 245 } Vertex: (id = 245) {229 244 246 } Vertex: (id = 246) {230 245 247 } Vertex: (id = 247) {231 246 248 } Vertex: (id = 248) {232 247 249 } Vertex: (id = 249) {233 248 250 } Vertex: (id = 250) {234 249 251 } Vertex: (id = 251) {235 250 252 } Vertex: (id = 252) {236 251 253 } Vertex: (id = 253) {237 252 254 } Vertex: (id = 254) {238 253 255 } Vertex: (id = 255) {239 254 } Edge 0 <-> 1 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02690) Arc: (edge = 0x7fff0427b080, target = 0x1b02670) ] Edge 1 <-> 16 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02870) Arc: (edge = 0x7fff0427b080, target = 0x1b02690) ] Edge 2 <-> 0 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02670) Arc: (edge = 0x7fff0427b080, target = 0x1b026b0) ] Edge 3 <-> 2 [ Arc: (edge = 0x7fff0427b080, target = 0x1b026b0) Arc: (edge = 0x7fff0427b080, target = 0x1b026d0) ] Edge 4 <-> 3 [ Arc: (edge = 0x7fff0427b080, target = 0x1b026d0) Arc: (edge = 0x7fff0427b080, target = 0x1b026f0) ] Edge 5 <-> 4 [ Arc: (edge = 0x7fff0427b080, target = 0x1b026f0) Arc: (edge = 0x7fff0427b080, target = 0x1b02710) ] Edge 6 <-> 5 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02710) Arc: (edge = 0x7fff0427b080, target = 0x1b02730) ] Edge 7 <-> 6 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02730) Arc: (edge = 0x7fff0427b080, target = 0x1b02750) ] Edge 8 <-> 7 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02750) Arc: (edge = 0x7fff0427b080, target = 0x1b02770) ] Edge 9 <-> 8 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02770) Arc: (edge = 0x7fff0427b080, target = 0x1b02790) ] Edge 10 <-> 9 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02790) Arc: (edge = 0x7fff0427b080, target = 0x1b027b0) ] Edge 11 <-> 10 [ Arc: (edge = 0x7fff0427b080, target = 0x1b027b0) Arc: (edge = 0x7fff0427b080, target = 0x1b027d0) ] Edge 12 <-> 11 [ Arc: (edge = 0x7fff0427b080, target = 0x1b027d0) Arc: (edge = 0x7fff0427b080, target = 0x1b027f0) ] Edge 13 <-> 12 [ Arc: (edge = 0x7fff0427b080, target = 0x1b027f0) Arc: (edge = 0x7fff0427b080, target = 0x1b02810) ] Edge 14 <-> 13 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02810) Arc: (edge = 0x7fff0427b080, target = 0x1b02830) ] Edge 15 <-> 14 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02830) Arc: (edge = 0x7fff0427b080, target = 0x1b02850) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02890) Arc: (edge = 0x7fff0427b080, target = 0x1b02870) ] Edge 16 <-> 32 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02a70) Arc: (edge = 0x7fff0427b080, target = 0x1b02870) ] Edge 17 <-> 0 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02670) Arc: (edge = 0x7fff0427b080, target = 0x1b02890) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fff0427b080, target = 0x1b028b0) Arc: (edge = 0x7fff0427b080, target = 0x1b02890) ] Edge 18 <-> 2 [ Arc: (edge = 0x7fff0427b080, target = 0x1b026b0) Arc: (edge = 0x7fff0427b080, target = 0x1b028b0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff0427b080, target = 0x1b028d0) Arc: (edge = 0x7fff0427b080, target = 0x1b028b0) ] Edge 18 <-> 34 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ab0) Arc: (edge = 0x7fff0427b080, target = 0x1b028b0) ] Edge 19 <-> 3 [ Arc: (edge = 0x7fff0427b080, target = 0x1b026d0) Arc: (edge = 0x7fff0427b080, target = 0x1b028d0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fff0427b080, target = 0x1b028f0) Arc: (edge = 0x7fff0427b080, target = 0x1b028d0) ] Edge 19 <-> 35 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ad0) Arc: (edge = 0x7fff0427b080, target = 0x1b028d0) ] Edge 20 <-> 4 [ Arc: (edge = 0x7fff0427b080, target = 0x1b026f0) Arc: (edge = 0x7fff0427b080, target = 0x1b028f0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02910) Arc: (edge = 0x7fff0427b080, target = 0x1b028f0) ] Edge 20 <-> 36 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02af0) Arc: (edge = 0x7fff0427b080, target = 0x1b028f0) ] Edge 21 <-> 5 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02710) Arc: (edge = 0x7fff0427b080, target = 0x1b02910) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02930) Arc: (edge = 0x7fff0427b080, target = 0x1b02910) ] Edge 21 <-> 37 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b10) Arc: (edge = 0x7fff0427b080, target = 0x1b02910) ] Edge 22 <-> 6 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02730) Arc: (edge = 0x7fff0427b080, target = 0x1b02930) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02950) Arc: (edge = 0x7fff0427b080, target = 0x1b02930) ] Edge 22 <-> 38 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b30) Arc: (edge = 0x7fff0427b080, target = 0x1b02930) ] Edge 23 <-> 7 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02750) Arc: (edge = 0x7fff0427b080, target = 0x1b02950) ] Edge 23 <-> 24 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02970) Arc: (edge = 0x7fff0427b080, target = 0x1b02950) ] Edge 23 <-> 39 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b50) Arc: (edge = 0x7fff0427b080, target = 0x1b02950) ] Edge 24 <-> 8 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02770) Arc: (edge = 0x7fff0427b080, target = 0x1b02970) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02990) Arc: (edge = 0x7fff0427b080, target = 0x1b02970) ] Edge 24 <-> 40 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b70) Arc: (edge = 0x7fff0427b080, target = 0x1b02970) ] Edge 25 <-> 9 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02790) Arc: (edge = 0x7fff0427b080, target = 0x1b02990) ] Edge 25 <-> 26 [ Arc: (edge = 0x7fff0427b080, target = 0x1b029b0) Arc: (edge = 0x7fff0427b080, target = 0x1b02990) ] Edge 25 <-> 41 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b90) Arc: (edge = 0x7fff0427b080, target = 0x1b02990) ] Edge 26 <-> 10 [ Arc: (edge = 0x7fff0427b080, target = 0x1b027b0) Arc: (edge = 0x7fff0427b080, target = 0x1b029b0) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fff0427b080, target = 0x1b029d0) Arc: (edge = 0x7fff0427b080, target = 0x1b029b0) ] Edge 26 <-> 42 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02bb0) Arc: (edge = 0x7fff0427b080, target = 0x1b029b0) ] Edge 27 <-> 11 [ Arc: (edge = 0x7fff0427b080, target = 0x1b027d0) Arc: (edge = 0x7fff0427b080, target = 0x1b029d0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff0427b080, target = 0x1b029f0) Arc: (edge = 0x7fff0427b080, target = 0x1b029d0) ] Edge 27 <-> 43 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02bd0) Arc: (edge = 0x7fff0427b080, target = 0x1b029d0) ] Edge 28 <-> 12 [ Arc: (edge = 0x7fff0427b080, target = 0x1b027f0) Arc: (edge = 0x7fff0427b080, target = 0x1b029f0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02a10) Arc: (edge = 0x7fff0427b080, target = 0x1b029f0) ] Edge 28 <-> 44 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02bf0) Arc: (edge = 0x7fff0427b080, target = 0x1b029f0) ] Edge 29 <-> 13 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02810) Arc: (edge = 0x7fff0427b080, target = 0x1b02a10) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02a30) Arc: (edge = 0x7fff0427b080, target = 0x1b02a10) ] Edge 29 <-> 45 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c10) Arc: (edge = 0x7fff0427b080, target = 0x1b02a10) ] Edge 30 <-> 14 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02830) Arc: (edge = 0x7fff0427b080, target = 0x1b02a30) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02a50) Arc: (edge = 0x7fff0427b080, target = 0x1b02a30) ] Edge 30 <-> 46 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c30) Arc: (edge = 0x7fff0427b080, target = 0x1b02a30) ] Edge 31 <-> 15 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02850) Arc: (edge = 0x7fff0427b080, target = 0x1b02a50) ] Edge 31 <-> 47 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c50) Arc: (edge = 0x7fff0427b080, target = 0x1b02a50) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02a90) Arc: (edge = 0x7fff0427b080, target = 0x1b02a70) ] Edge 32 <-> 48 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c70) Arc: (edge = 0x7fff0427b080, target = 0x1b02a70) ] Edge 33 <-> 17 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02890) Arc: (edge = 0x7fff0427b080, target = 0x1b02a90) ] Edge 34 <-> 33 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02a90) Arc: (edge = 0x7fff0427b080, target = 0x1b02ab0) ] Edge 34 <-> 50 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02cb0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ab0) ] Edge 35 <-> 34 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ab0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ad0) ] Edge 35 <-> 51 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02cd0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ad0) ] Edge 36 <-> 35 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ad0) Arc: (edge = 0x7fff0427b080, target = 0x1b02af0) ] Edge 36 <-> 52 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02cf0) Arc: (edge = 0x7fff0427b080, target = 0x1b02af0) ] Edge 37 <-> 36 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02af0) Arc: (edge = 0x7fff0427b080, target = 0x1b02b10) ] Edge 37 <-> 53 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d10) Arc: (edge = 0x7fff0427b080, target = 0x1b02b10) ] Edge 38 <-> 37 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b10) Arc: (edge = 0x7fff0427b080, target = 0x1b02b30) ] Edge 38 <-> 54 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d30) Arc: (edge = 0x7fff0427b080, target = 0x1b02b30) ] Edge 39 <-> 38 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b30) Arc: (edge = 0x7fff0427b080, target = 0x1b02b50) ] Edge 39 <-> 55 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d50) Arc: (edge = 0x7fff0427b080, target = 0x1b02b50) ] Edge 40 <-> 39 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b50) Arc: (edge = 0x7fff0427b080, target = 0x1b02b70) ] Edge 40 <-> 56 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d70) Arc: (edge = 0x7fff0427b080, target = 0x1b02b70) ] Edge 41 <-> 40 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b70) Arc: (edge = 0x7fff0427b080, target = 0x1b02b90) ] Edge 41 <-> 57 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d90) Arc: (edge = 0x7fff0427b080, target = 0x1b02b90) ] Edge 42 <-> 41 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02b90) Arc: (edge = 0x7fff0427b080, target = 0x1b02bb0) ] Edge 42 <-> 58 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02db0) Arc: (edge = 0x7fff0427b080, target = 0x1b02bb0) ] Edge 43 <-> 42 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02bb0) Arc: (edge = 0x7fff0427b080, target = 0x1b02bd0) ] Edge 43 <-> 59 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02dd0) Arc: (edge = 0x7fff0427b080, target = 0x1b02bd0) ] Edge 44 <-> 43 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02bd0) Arc: (edge = 0x7fff0427b080, target = 0x1b02bf0) ] Edge 44 <-> 60 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02df0) Arc: (edge = 0x7fff0427b080, target = 0x1b02bf0) ] Edge 45 <-> 44 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02bf0) Arc: (edge = 0x7fff0427b080, target = 0x1b02c10) ] Edge 45 <-> 61 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e10) Arc: (edge = 0x7fff0427b080, target = 0x1b02c10) ] Edge 46 <-> 45 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c10) Arc: (edge = 0x7fff0427b080, target = 0x1b02c30) ] Edge 46 <-> 62 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e30) Arc: (edge = 0x7fff0427b080, target = 0x1b02c30) ] Edge 47 <-> 46 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c30) Arc: (edge = 0x7fff0427b080, target = 0x1b02c50) ] Edge 47 <-> 63 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e50) Arc: (edge = 0x7fff0427b080, target = 0x1b02c50) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c90) Arc: (edge = 0x7fff0427b080, target = 0x1b02c70) ] Edge 48 <-> 64 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e70) Arc: (edge = 0x7fff0427b080, target = 0x1b02c70) ] Edge 49 <-> 33 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02a90) Arc: (edge = 0x7fff0427b080, target = 0x1b02c90) ] Edge 50 <-> 49 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c90) Arc: (edge = 0x7fff0427b080, target = 0x1b02cb0) ] Edge 50 <-> 66 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02eb0) Arc: (edge = 0x7fff0427b080, target = 0x1b02cb0) ] Edge 51 <-> 50 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02cb0) Arc: (edge = 0x7fff0427b080, target = 0x1b02cd0) ] Edge 51 <-> 67 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ed0) Arc: (edge = 0x7fff0427b080, target = 0x1b02cd0) ] Edge 52 <-> 51 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02cd0) Arc: (edge = 0x7fff0427b080, target = 0x1b02cf0) ] Edge 52 <-> 68 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ef0) Arc: (edge = 0x7fff0427b080, target = 0x1b02cf0) ] Edge 53 <-> 52 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02cf0) Arc: (edge = 0x7fff0427b080, target = 0x1b02d10) ] Edge 53 <-> 69 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f10) Arc: (edge = 0x7fff0427b080, target = 0x1b02d10) ] Edge 54 <-> 53 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d10) Arc: (edge = 0x7fff0427b080, target = 0x1b02d30) ] Edge 54 <-> 70 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f30) Arc: (edge = 0x7fff0427b080, target = 0x1b02d30) ] Edge 55 <-> 54 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d30) Arc: (edge = 0x7fff0427b080, target = 0x1b02d50) ] Edge 55 <-> 71 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f50) Arc: (edge = 0x7fff0427b080, target = 0x1b02d50) ] Edge 56 <-> 55 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d50) Arc: (edge = 0x7fff0427b080, target = 0x1b02d70) ] Edge 56 <-> 72 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f70) Arc: (edge = 0x7fff0427b080, target = 0x1b02d70) ] Edge 57 <-> 56 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d70) Arc: (edge = 0x7fff0427b080, target = 0x1b02d90) ] Edge 57 <-> 73 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f90) Arc: (edge = 0x7fff0427b080, target = 0x1b02d90) ] Edge 58 <-> 57 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02d90) Arc: (edge = 0x7fff0427b080, target = 0x1b02db0) ] Edge 58 <-> 74 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02fb0) Arc: (edge = 0x7fff0427b080, target = 0x1b02db0) ] Edge 59 <-> 58 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02db0) Arc: (edge = 0x7fff0427b080, target = 0x1b02dd0) ] Edge 59 <-> 75 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02fd0) Arc: (edge = 0x7fff0427b080, target = 0x1b02dd0) ] Edge 60 <-> 59 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02dd0) Arc: (edge = 0x7fff0427b080, target = 0x1b02df0) ] Edge 60 <-> 76 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ff0) Arc: (edge = 0x7fff0427b080, target = 0x1b02df0) ] Edge 61 <-> 60 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02df0) Arc: (edge = 0x7fff0427b080, target = 0x1b02e10) ] Edge 61 <-> 77 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03010) Arc: (edge = 0x7fff0427b080, target = 0x1b02e10) ] Edge 62 <-> 61 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e10) Arc: (edge = 0x7fff0427b080, target = 0x1b02e30) ] Edge 62 <-> 78 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03030) Arc: (edge = 0x7fff0427b080, target = 0x1b02e30) ] Edge 63 <-> 62 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e30) Arc: (edge = 0x7fff0427b080, target = 0x1b02e50) ] Edge 63 <-> 79 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03050) Arc: (edge = 0x7fff0427b080, target = 0x1b02e50) ] Edge 64 <-> 65 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e90) Arc: (edge = 0x7fff0427b080, target = 0x1b02e70) ] Edge 64 <-> 80 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03070) Arc: (edge = 0x7fff0427b080, target = 0x1b02e70) ] Edge 65 <-> 49 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02c90) Arc: (edge = 0x7fff0427b080, target = 0x1b02e90) ] Edge 66 <-> 65 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e90) Arc: (edge = 0x7fff0427b080, target = 0x1b02eb0) ] Edge 66 <-> 82 [ Arc: (edge = 0x7fff0427b080, target = 0x1b030b0) Arc: (edge = 0x7fff0427b080, target = 0x1b02eb0) ] Edge 67 <-> 66 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02eb0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ed0) ] Edge 67 <-> 83 [ Arc: (edge = 0x7fff0427b080, target = 0x1b030d0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ed0) ] Edge 68 <-> 67 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ed0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ef0) ] Edge 68 <-> 84 [ Arc: (edge = 0x7fff0427b080, target = 0x1b030f0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ef0) ] Edge 69 <-> 68 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ef0) Arc: (edge = 0x7fff0427b080, target = 0x1b02f10) ] Edge 69 <-> 85 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03110) Arc: (edge = 0x7fff0427b080, target = 0x1b02f10) ] Edge 70 <-> 69 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f10) Arc: (edge = 0x7fff0427b080, target = 0x1b02f30) ] Edge 70 <-> 86 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03130) Arc: (edge = 0x7fff0427b080, target = 0x1b02f30) ] Edge 71 <-> 70 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f30) Arc: (edge = 0x7fff0427b080, target = 0x1b02f50) ] Edge 71 <-> 87 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03150) Arc: (edge = 0x7fff0427b080, target = 0x1b02f50) ] Edge 72 <-> 71 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f50) Arc: (edge = 0x7fff0427b080, target = 0x1b02f70) ] Edge 72 <-> 88 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03170) Arc: (edge = 0x7fff0427b080, target = 0x1b02f70) ] Edge 73 <-> 72 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f70) Arc: (edge = 0x7fff0427b080, target = 0x1b02f90) ] Edge 73 <-> 89 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03190) Arc: (edge = 0x7fff0427b080, target = 0x1b02f90) ] Edge 74 <-> 73 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02f90) Arc: (edge = 0x7fff0427b080, target = 0x1b02fb0) ] Edge 74 <-> 90 [ Arc: (edge = 0x7fff0427b080, target = 0x1b031b0) Arc: (edge = 0x7fff0427b080, target = 0x1b02fb0) ] Edge 75 <-> 74 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02fb0) Arc: (edge = 0x7fff0427b080, target = 0x1b02fd0) ] Edge 75 <-> 91 [ Arc: (edge = 0x7fff0427b080, target = 0x1b031d0) Arc: (edge = 0x7fff0427b080, target = 0x1b02fd0) ] Edge 76 <-> 75 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02fd0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ff0) ] Edge 76 <-> 92 [ Arc: (edge = 0x7fff0427b080, target = 0x1b031f0) Arc: (edge = 0x7fff0427b080, target = 0x1b02ff0) ] Edge 77 <-> 76 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02ff0) Arc: (edge = 0x7fff0427b080, target = 0x1b03010) ] Edge 77 <-> 93 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03210) Arc: (edge = 0x7fff0427b080, target = 0x1b03010) ] Edge 78 <-> 77 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03010) Arc: (edge = 0x7fff0427b080, target = 0x1b03030) ] Edge 78 <-> 94 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03230) Arc: (edge = 0x7fff0427b080, target = 0x1b03030) ] Edge 79 <-> 78 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03030) Arc: (edge = 0x7fff0427b080, target = 0x1b03050) ] Edge 79 <-> 95 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03250) Arc: (edge = 0x7fff0427b080, target = 0x1b03050) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03090) Arc: (edge = 0x7fff0427b080, target = 0x1b03070) ] Edge 80 <-> 96 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03270) Arc: (edge = 0x7fff0427b080, target = 0x1b03070) ] Edge 81 <-> 65 [ Arc: (edge = 0x7fff0427b080, target = 0x1b02e90) Arc: (edge = 0x7fff0427b080, target = 0x1b03090) ] Edge 82 <-> 81 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03090) Arc: (edge = 0x7fff0427b080, target = 0x1b030b0) ] Edge 82 <-> 98 [ Arc: (edge = 0x7fff0427b080, target = 0x1b032b0) Arc: (edge = 0x7fff0427b080, target = 0x1b030b0) ] Edge 83 <-> 82 [ Arc: (edge = 0x7fff0427b080, target = 0x1b030b0) Arc: (edge = 0x7fff0427b080, target = 0x1b030d0) ] Edge 83 <-> 99 [ Arc: (edge = 0x7fff0427b080, target = 0x1b032d0) Arc: (edge = 0x7fff0427b080, target = 0x1b030d0) ] Edge 84 <-> 83 [ Arc: (edge = 0x7fff0427b080, target = 0x1b030d0) Arc: (edge = 0x7fff0427b080, target = 0x1b030f0) ] Edge 84 <-> 100 [ Arc: (edge = 0x7fff0427b080, target = 0x1b032f0) Arc: (edge = 0x7fff0427b080, target = 0x1b030f0) ] Edge 85 <-> 84 [ Arc: (edge = 0x7fff0427b080, target = 0x1b030f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03110) ] Edge 85 <-> 101 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03310) Arc: (edge = 0x7fff0427b080, target = 0x1b03110) ] Edge 86 <-> 85 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03110) Arc: (edge = 0x7fff0427b080, target = 0x1b03130) ] Edge 86 <-> 102 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03330) Arc: (edge = 0x7fff0427b080, target = 0x1b03130) ] Edge 87 <-> 86 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03130) Arc: (edge = 0x7fff0427b080, target = 0x1b03150) ] Edge 87 <-> 103 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03350) Arc: (edge = 0x7fff0427b080, target = 0x1b03150) ] Edge 88 <-> 87 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03150) Arc: (edge = 0x7fff0427b080, target = 0x1b03170) ] Edge 88 <-> 104 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03370) Arc: (edge = 0x7fff0427b080, target = 0x1b03170) ] Edge 89 <-> 88 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03170) Arc: (edge = 0x7fff0427b080, target = 0x1b03190) ] Edge 89 <-> 105 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03390) Arc: (edge = 0x7fff0427b080, target = 0x1b03190) ] Edge 90 <-> 89 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03190) Arc: (edge = 0x7fff0427b080, target = 0x1b031b0) ] Edge 90 <-> 106 [ Arc: (edge = 0x7fff0427b080, target = 0x1b033b0) Arc: (edge = 0x7fff0427b080, target = 0x1b031b0) ] Edge 91 <-> 90 [ Arc: (edge = 0x7fff0427b080, target = 0x1b031b0) Arc: (edge = 0x7fff0427b080, target = 0x1b031d0) ] Edge 91 <-> 107 [ Arc: (edge = 0x7fff0427b080, target = 0x1b033d0) Arc: (edge = 0x7fff0427b080, target = 0x1b031d0) ] Edge 92 <-> 91 [ Arc: (edge = 0x7fff0427b080, target = 0x1b031d0) Arc: (edge = 0x7fff0427b080, target = 0x1b031f0) ] Edge 92 <-> 108 [ Arc: (edge = 0x7fff0427b080, target = 0x1b033f0) Arc: (edge = 0x7fff0427b080, target = 0x1b031f0) ] Edge 93 <-> 92 [ Arc: (edge = 0x7fff0427b080, target = 0x1b031f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03210) ] Edge 93 <-> 109 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03410) Arc: (edge = 0x7fff0427b080, target = 0x1b03210) ] Edge 94 <-> 93 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03210) Arc: (edge = 0x7fff0427b080, target = 0x1b03230) ] Edge 94 <-> 110 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03430) Arc: (edge = 0x7fff0427b080, target = 0x1b03230) ] Edge 95 <-> 94 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03230) Arc: (edge = 0x7fff0427b080, target = 0x1b03250) ] Edge 95 <-> 111 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03450) Arc: (edge = 0x7fff0427b080, target = 0x1b03250) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03290) Arc: (edge = 0x7fff0427b080, target = 0x1b03270) ] Edge 96 <-> 112 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03470) Arc: (edge = 0x7fff0427b080, target = 0x1b03270) ] Edge 97 <-> 81 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03090) Arc: (edge = 0x7fff0427b080, target = 0x1b03290) ] Edge 98 <-> 97 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03290) Arc: (edge = 0x7fff0427b080, target = 0x1b032b0) ] Edge 98 <-> 114 [ Arc: (edge = 0x7fff0427b080, target = 0x1b034b0) Arc: (edge = 0x7fff0427b080, target = 0x1b032b0) ] Edge 99 <-> 98 [ Arc: (edge = 0x7fff0427b080, target = 0x1b032b0) Arc: (edge = 0x7fff0427b080, target = 0x1b032d0) ] Edge 99 <-> 115 [ Arc: (edge = 0x7fff0427b080, target = 0x1b034d0) Arc: (edge = 0x7fff0427b080, target = 0x1b032d0) ] Edge 100 <-> 99 [ Arc: (edge = 0x7fff0427b080, target = 0x1b032d0) Arc: (edge = 0x7fff0427b080, target = 0x1b032f0) ] Edge 100 <-> 116 [ Arc: (edge = 0x7fff0427b080, target = 0x1b034f0) Arc: (edge = 0x7fff0427b080, target = 0x1b032f0) ] Edge 101 <-> 100 [ Arc: (edge = 0x7fff0427b080, target = 0x1b032f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03310) ] Edge 101 <-> 117 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03510) Arc: (edge = 0x7fff0427b080, target = 0x1b03310) ] Edge 102 <-> 101 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03310) Arc: (edge = 0x7fff0427b080, target = 0x1b03330) ] Edge 102 <-> 118 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03530) Arc: (edge = 0x7fff0427b080, target = 0x1b03330) ] Edge 103 <-> 102 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03330) Arc: (edge = 0x7fff0427b080, target = 0x1b03350) ] Edge 103 <-> 119 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03550) Arc: (edge = 0x7fff0427b080, target = 0x1b03350) ] Edge 104 <-> 103 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03350) Arc: (edge = 0x7fff0427b080, target = 0x1b03370) ] Edge 104 <-> 120 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03570) Arc: (edge = 0x7fff0427b080, target = 0x1b03370) ] Edge 105 <-> 104 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03370) Arc: (edge = 0x7fff0427b080, target = 0x1b03390) ] Edge 105 <-> 121 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03590) Arc: (edge = 0x7fff0427b080, target = 0x1b03390) ] Edge 106 <-> 105 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03390) Arc: (edge = 0x7fff0427b080, target = 0x1b033b0) ] Edge 106 <-> 122 [ Arc: (edge = 0x7fff0427b080, target = 0x1b035b0) Arc: (edge = 0x7fff0427b080, target = 0x1b033b0) ] Edge 107 <-> 106 [ Arc: (edge = 0x7fff0427b080, target = 0x1b033b0) Arc: (edge = 0x7fff0427b080, target = 0x1b033d0) ] Edge 107 <-> 123 [ Arc: (edge = 0x7fff0427b080, target = 0x1b035d0) Arc: (edge = 0x7fff0427b080, target = 0x1b033d0) ] Edge 108 <-> 107 [ Arc: (edge = 0x7fff0427b080, target = 0x1b033d0) Arc: (edge = 0x7fff0427b080, target = 0x1b033f0) ] Edge 108 <-> 124 [ Arc: (edge = 0x7fff0427b080, target = 0x1b035f0) Arc: (edge = 0x7fff0427b080, target = 0x1b033f0) ] Edge 109 <-> 108 [ Arc: (edge = 0x7fff0427b080, target = 0x1b033f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03410) ] Edge 109 <-> 125 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03610) Arc: (edge = 0x7fff0427b080, target = 0x1b03410) ] Edge 110 <-> 109 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03410) Arc: (edge = 0x7fff0427b080, target = 0x1b03430) ] Edge 110 <-> 126 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03630) Arc: (edge = 0x7fff0427b080, target = 0x1b03430) ] Edge 111 <-> 110 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03430) Arc: (edge = 0x7fff0427b080, target = 0x1b03450) ] Edge 111 <-> 127 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03650) Arc: (edge = 0x7fff0427b080, target = 0x1b03450) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03490) Arc: (edge = 0x7fff0427b080, target = 0x1b03470) ] Edge 112 <-> 128 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03670) Arc: (edge = 0x7fff0427b080, target = 0x1b03470) ] Edge 113 <-> 97 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03290) Arc: (edge = 0x7fff0427b080, target = 0x1b03490) ] Edge 114 <-> 113 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03490) Arc: (edge = 0x7fff0427b080, target = 0x1b034b0) ] Edge 114 <-> 130 [ Arc: (edge = 0x7fff0427b080, target = 0x1b036b0) Arc: (edge = 0x7fff0427b080, target = 0x1b034b0) ] Edge 115 <-> 114 [ Arc: (edge = 0x7fff0427b080, target = 0x1b034b0) Arc: (edge = 0x7fff0427b080, target = 0x1b034d0) ] Edge 115 <-> 131 [ Arc: (edge = 0x7fff0427b080, target = 0x1b036d0) Arc: (edge = 0x7fff0427b080, target = 0x1b034d0) ] Edge 116 <-> 115 [ Arc: (edge = 0x7fff0427b080, target = 0x1b034d0) Arc: (edge = 0x7fff0427b080, target = 0x1b034f0) ] Edge 116 <-> 132 [ Arc: (edge = 0x7fff0427b080, target = 0x1b036f0) Arc: (edge = 0x7fff0427b080, target = 0x1b034f0) ] Edge 117 <-> 116 [ Arc: (edge = 0x7fff0427b080, target = 0x1b034f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03510) ] Edge 117 <-> 133 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03710) Arc: (edge = 0x7fff0427b080, target = 0x1b03510) ] Edge 118 <-> 117 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03510) Arc: (edge = 0x7fff0427b080, target = 0x1b03530) ] Edge 118 <-> 134 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03730) Arc: (edge = 0x7fff0427b080, target = 0x1b03530) ] Edge 119 <-> 118 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03530) Arc: (edge = 0x7fff0427b080, target = 0x1b03550) ] Edge 119 <-> 135 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03750) Arc: (edge = 0x7fff0427b080, target = 0x1b03550) ] Edge 120 <-> 119 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03550) Arc: (edge = 0x7fff0427b080, target = 0x1b03570) ] Edge 120 <-> 136 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03770) Arc: (edge = 0x7fff0427b080, target = 0x1b03570) ] Edge 121 <-> 120 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03570) Arc: (edge = 0x7fff0427b080, target = 0x1b03590) ] Edge 121 <-> 137 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03790) Arc: (edge = 0x7fff0427b080, target = 0x1b03590) ] Edge 122 <-> 121 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03590) Arc: (edge = 0x7fff0427b080, target = 0x1b035b0) ] Edge 122 <-> 138 [ Arc: (edge = 0x7fff0427b080, target = 0x1b037b0) Arc: (edge = 0x7fff0427b080, target = 0x1b035b0) ] Edge 123 <-> 122 [ Arc: (edge = 0x7fff0427b080, target = 0x1b035b0) Arc: (edge = 0x7fff0427b080, target = 0x1b035d0) ] Edge 123 <-> 139 [ Arc: (edge = 0x7fff0427b080, target = 0x1b037d0) Arc: (edge = 0x7fff0427b080, target = 0x1b035d0) ] Edge 124 <-> 123 [ Arc: (edge = 0x7fff0427b080, target = 0x1b035d0) Arc: (edge = 0x7fff0427b080, target = 0x1b035f0) ] Edge 124 <-> 140 [ Arc: (edge = 0x7fff0427b080, target = 0x1b037f0) Arc: (edge = 0x7fff0427b080, target = 0x1b035f0) ] Edge 125 <-> 124 [ Arc: (edge = 0x7fff0427b080, target = 0x1b035f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03610) ] Edge 125 <-> 141 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03810) Arc: (edge = 0x7fff0427b080, target = 0x1b03610) ] Edge 126 <-> 125 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03610) Arc: (edge = 0x7fff0427b080, target = 0x1b03630) ] Edge 126 <-> 142 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03830) Arc: (edge = 0x7fff0427b080, target = 0x1b03630) ] Edge 127 <-> 126 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03630) Arc: (edge = 0x7fff0427b080, target = 0x1b03650) ] Edge 127 <-> 143 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03850) Arc: (edge = 0x7fff0427b080, target = 0x1b03650) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03690) Arc: (edge = 0x7fff0427b080, target = 0x1b03670) ] Edge 128 <-> 144 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03870) Arc: (edge = 0x7fff0427b080, target = 0x1b03670) ] Edge 129 <-> 113 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03490) Arc: (edge = 0x7fff0427b080, target = 0x1b03690) ] Edge 130 <-> 129 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03690) Arc: (edge = 0x7fff0427b080, target = 0x1b036b0) ] Edge 130 <-> 146 [ Arc: (edge = 0x7fff0427b080, target = 0x1b038b0) Arc: (edge = 0x7fff0427b080, target = 0x1b036b0) ] Edge 131 <-> 130 [ Arc: (edge = 0x7fff0427b080, target = 0x1b036b0) Arc: (edge = 0x7fff0427b080, target = 0x1b036d0) ] Edge 131 <-> 147 [ Arc: (edge = 0x7fff0427b080, target = 0x1b038d0) Arc: (edge = 0x7fff0427b080, target = 0x1b036d0) ] Edge 132 <-> 131 [ Arc: (edge = 0x7fff0427b080, target = 0x1b036d0) Arc: (edge = 0x7fff0427b080, target = 0x1b036f0) ] Edge 132 <-> 148 [ Arc: (edge = 0x7fff0427b080, target = 0x1b038f0) Arc: (edge = 0x7fff0427b080, target = 0x1b036f0) ] Edge 133 <-> 132 [ Arc: (edge = 0x7fff0427b080, target = 0x1b036f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03710) ] Edge 133 <-> 149 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03910) Arc: (edge = 0x7fff0427b080, target = 0x1b03710) ] Edge 134 <-> 133 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03710) Arc: (edge = 0x7fff0427b080, target = 0x1b03730) ] Edge 134 <-> 150 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03930) Arc: (edge = 0x7fff0427b080, target = 0x1b03730) ] Edge 135 <-> 134 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03730) Arc: (edge = 0x7fff0427b080, target = 0x1b03750) ] Edge 135 <-> 151 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03950) Arc: (edge = 0x7fff0427b080, target = 0x1b03750) ] Edge 136 <-> 135 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03750) Arc: (edge = 0x7fff0427b080, target = 0x1b03770) ] Edge 136 <-> 152 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03970) Arc: (edge = 0x7fff0427b080, target = 0x1b03770) ] Edge 137 <-> 136 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03770) Arc: (edge = 0x7fff0427b080, target = 0x1b03790) ] Edge 137 <-> 153 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03990) Arc: (edge = 0x7fff0427b080, target = 0x1b03790) ] Edge 138 <-> 137 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03790) Arc: (edge = 0x7fff0427b080, target = 0x1b037b0) ] Edge 138 <-> 154 [ Arc: (edge = 0x7fff0427b080, target = 0x1b039b0) Arc: (edge = 0x7fff0427b080, target = 0x1b037b0) ] Edge 139 <-> 138 [ Arc: (edge = 0x7fff0427b080, target = 0x1b037b0) Arc: (edge = 0x7fff0427b080, target = 0x1b037d0) ] Edge 139 <-> 155 [ Arc: (edge = 0x7fff0427b080, target = 0x1b039d0) Arc: (edge = 0x7fff0427b080, target = 0x1b037d0) ] Edge 140 <-> 139 [ Arc: (edge = 0x7fff0427b080, target = 0x1b037d0) Arc: (edge = 0x7fff0427b080, target = 0x1b037f0) ] Edge 140 <-> 156 [ Arc: (edge = 0x7fff0427b080, target = 0x1b039f0) Arc: (edge = 0x7fff0427b080, target = 0x1b037f0) ] Edge 141 <-> 140 [ Arc: (edge = 0x7fff0427b080, target = 0x1b037f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03810) ] Edge 141 <-> 157 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a10) Arc: (edge = 0x7fff0427b080, target = 0x1b03810) ] Edge 142 <-> 141 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03810) Arc: (edge = 0x7fff0427b080, target = 0x1b03830) ] Edge 142 <-> 158 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a30) Arc: (edge = 0x7fff0427b080, target = 0x1b03830) ] Edge 143 <-> 142 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03830) Arc: (edge = 0x7fff0427b080, target = 0x1b03850) ] Edge 143 <-> 159 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a50) Arc: (edge = 0x7fff0427b080, target = 0x1b03850) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03890) Arc: (edge = 0x7fff0427b080, target = 0x1b03870) ] Edge 144 <-> 160 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a70) Arc: (edge = 0x7fff0427b080, target = 0x1b03870) ] Edge 145 <-> 129 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03690) Arc: (edge = 0x7fff0427b080, target = 0x1b03890) ] Edge 146 <-> 145 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03890) Arc: (edge = 0x7fff0427b080, target = 0x1b038b0) ] Edge 146 <-> 162 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ab0) Arc: (edge = 0x7fff0427b080, target = 0x1b038b0) ] Edge 147 <-> 146 [ Arc: (edge = 0x7fff0427b080, target = 0x1b038b0) Arc: (edge = 0x7fff0427b080, target = 0x1b038d0) ] Edge 147 <-> 163 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ad0) Arc: (edge = 0x7fff0427b080, target = 0x1b038d0) ] Edge 148 <-> 147 [ Arc: (edge = 0x7fff0427b080, target = 0x1b038d0) Arc: (edge = 0x7fff0427b080, target = 0x1b038f0) ] Edge 148 <-> 164 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03af0) Arc: (edge = 0x7fff0427b080, target = 0x1b038f0) ] Edge 149 <-> 148 [ Arc: (edge = 0x7fff0427b080, target = 0x1b038f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03910) ] Edge 149 <-> 165 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b10) Arc: (edge = 0x7fff0427b080, target = 0x1b03910) ] Edge 150 <-> 149 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03910) Arc: (edge = 0x7fff0427b080, target = 0x1b03930) ] Edge 150 <-> 166 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b30) Arc: (edge = 0x7fff0427b080, target = 0x1b03930) ] Edge 151 <-> 150 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03930) Arc: (edge = 0x7fff0427b080, target = 0x1b03950) ] Edge 151 <-> 167 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b50) Arc: (edge = 0x7fff0427b080, target = 0x1b03950) ] Edge 152 <-> 151 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03950) Arc: (edge = 0x7fff0427b080, target = 0x1b03970) ] Edge 152 <-> 168 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b70) Arc: (edge = 0x7fff0427b080, target = 0x1b03970) ] Edge 153 <-> 152 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03970) Arc: (edge = 0x7fff0427b080, target = 0x1b03990) ] Edge 153 <-> 169 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b90) Arc: (edge = 0x7fff0427b080, target = 0x1b03990) ] Edge 154 <-> 153 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03990) Arc: (edge = 0x7fff0427b080, target = 0x1b039b0) ] Edge 154 <-> 170 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03bb0) Arc: (edge = 0x7fff0427b080, target = 0x1b039b0) ] Edge 155 <-> 154 [ Arc: (edge = 0x7fff0427b080, target = 0x1b039b0) Arc: (edge = 0x7fff0427b080, target = 0x1b039d0) ] Edge 155 <-> 171 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03bd0) Arc: (edge = 0x7fff0427b080, target = 0x1b039d0) ] Edge 156 <-> 155 [ Arc: (edge = 0x7fff0427b080, target = 0x1b039d0) Arc: (edge = 0x7fff0427b080, target = 0x1b039f0) ] Edge 156 <-> 172 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03bf0) Arc: (edge = 0x7fff0427b080, target = 0x1b039f0) ] Edge 157 <-> 156 [ Arc: (edge = 0x7fff0427b080, target = 0x1b039f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03a10) ] Edge 157 <-> 173 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c10) Arc: (edge = 0x7fff0427b080, target = 0x1b03a10) ] Edge 158 <-> 157 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a10) Arc: (edge = 0x7fff0427b080, target = 0x1b03a30) ] Edge 158 <-> 174 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c30) Arc: (edge = 0x7fff0427b080, target = 0x1b03a30) ] Edge 159 <-> 158 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a30) Arc: (edge = 0x7fff0427b080, target = 0x1b03a50) ] Edge 159 <-> 175 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c50) Arc: (edge = 0x7fff0427b080, target = 0x1b03a50) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a90) Arc: (edge = 0x7fff0427b080, target = 0x1b03a70) ] Edge 160 <-> 176 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c70) Arc: (edge = 0x7fff0427b080, target = 0x1b03a70) ] Edge 161 <-> 145 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03890) Arc: (edge = 0x7fff0427b080, target = 0x1b03a90) ] Edge 162 <-> 161 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a90) Arc: (edge = 0x7fff0427b080, target = 0x1b03ab0) ] Edge 162 <-> 178 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03cb0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ab0) ] Edge 163 <-> 162 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ab0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ad0) ] Edge 163 <-> 179 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03cd0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ad0) ] Edge 164 <-> 163 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ad0) Arc: (edge = 0x7fff0427b080, target = 0x1b03af0) ] Edge 164 <-> 180 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03cf0) Arc: (edge = 0x7fff0427b080, target = 0x1b03af0) ] Edge 165 <-> 164 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03af0) Arc: (edge = 0x7fff0427b080, target = 0x1b03b10) ] Edge 165 <-> 181 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d10) Arc: (edge = 0x7fff0427b080, target = 0x1b03b10) ] Edge 166 <-> 165 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b10) Arc: (edge = 0x7fff0427b080, target = 0x1b03b30) ] Edge 166 <-> 182 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d30) Arc: (edge = 0x7fff0427b080, target = 0x1b03b30) ] Edge 167 <-> 166 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b30) Arc: (edge = 0x7fff0427b080, target = 0x1b03b50) ] Edge 167 <-> 183 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d50) Arc: (edge = 0x7fff0427b080, target = 0x1b03b50) ] Edge 168 <-> 167 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b50) Arc: (edge = 0x7fff0427b080, target = 0x1b03b70) ] Edge 168 <-> 184 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d70) Arc: (edge = 0x7fff0427b080, target = 0x1b03b70) ] Edge 169 <-> 168 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b70) Arc: (edge = 0x7fff0427b080, target = 0x1b03b90) ] Edge 169 <-> 185 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d90) Arc: (edge = 0x7fff0427b080, target = 0x1b03b90) ] Edge 170 <-> 169 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03b90) Arc: (edge = 0x7fff0427b080, target = 0x1b03bb0) ] Edge 170 <-> 186 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03db0) Arc: (edge = 0x7fff0427b080, target = 0x1b03bb0) ] Edge 171 <-> 170 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03bb0) Arc: (edge = 0x7fff0427b080, target = 0x1b03bd0) ] Edge 171 <-> 187 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03dd0) Arc: (edge = 0x7fff0427b080, target = 0x1b03bd0) ] Edge 172 <-> 171 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03bd0) Arc: (edge = 0x7fff0427b080, target = 0x1b03bf0) ] Edge 172 <-> 188 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03df0) Arc: (edge = 0x7fff0427b080, target = 0x1b03bf0) ] Edge 173 <-> 172 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03bf0) Arc: (edge = 0x7fff0427b080, target = 0x1b03c10) ] Edge 173 <-> 189 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e10) Arc: (edge = 0x7fff0427b080, target = 0x1b03c10) ] Edge 174 <-> 173 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c10) Arc: (edge = 0x7fff0427b080, target = 0x1b03c30) ] Edge 174 <-> 190 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e30) Arc: (edge = 0x7fff0427b080, target = 0x1b03c30) ] Edge 175 <-> 174 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c30) Arc: (edge = 0x7fff0427b080, target = 0x1b03c50) ] Edge 175 <-> 191 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e50) Arc: (edge = 0x7fff0427b080, target = 0x1b03c50) ] Edge 176 <-> 177 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c90) Arc: (edge = 0x7fff0427b080, target = 0x1b03c70) ] Edge 176 <-> 192 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e70) Arc: (edge = 0x7fff0427b080, target = 0x1b03c70) ] Edge 177 <-> 161 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03a90) Arc: (edge = 0x7fff0427b080, target = 0x1b03c90) ] Edge 178 <-> 177 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c90) Arc: (edge = 0x7fff0427b080, target = 0x1b03cb0) ] Edge 178 <-> 194 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03eb0) Arc: (edge = 0x7fff0427b080, target = 0x1b03cb0) ] Edge 179 <-> 178 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03cb0) Arc: (edge = 0x7fff0427b080, target = 0x1b03cd0) ] Edge 179 <-> 195 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ed0) Arc: (edge = 0x7fff0427b080, target = 0x1b03cd0) ] Edge 180 <-> 179 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03cd0) Arc: (edge = 0x7fff0427b080, target = 0x1b03cf0) ] Edge 180 <-> 196 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ef0) Arc: (edge = 0x7fff0427b080, target = 0x1b03cf0) ] Edge 181 <-> 180 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03cf0) Arc: (edge = 0x7fff0427b080, target = 0x1b03d10) ] Edge 181 <-> 197 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f10) Arc: (edge = 0x7fff0427b080, target = 0x1b03d10) ] Edge 182 <-> 181 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d10) Arc: (edge = 0x7fff0427b080, target = 0x1b03d30) ] Edge 182 <-> 198 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f30) Arc: (edge = 0x7fff0427b080, target = 0x1b03d30) ] Edge 183 <-> 182 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d30) Arc: (edge = 0x7fff0427b080, target = 0x1b03d50) ] Edge 183 <-> 199 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f50) Arc: (edge = 0x7fff0427b080, target = 0x1b03d50) ] Edge 184 <-> 183 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d50) Arc: (edge = 0x7fff0427b080, target = 0x1b03d70) ] Edge 184 <-> 200 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f70) Arc: (edge = 0x7fff0427b080, target = 0x1b03d70) ] Edge 185 <-> 184 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d70) Arc: (edge = 0x7fff0427b080, target = 0x1b03d90) ] Edge 185 <-> 201 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f90) Arc: (edge = 0x7fff0427b080, target = 0x1b03d90) ] Edge 186 <-> 185 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03d90) Arc: (edge = 0x7fff0427b080, target = 0x1b03db0) ] Edge 186 <-> 202 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03fb0) Arc: (edge = 0x7fff0427b080, target = 0x1b03db0) ] Edge 187 <-> 186 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03db0) Arc: (edge = 0x7fff0427b080, target = 0x1b03dd0) ] Edge 187 <-> 203 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03fd0) Arc: (edge = 0x7fff0427b080, target = 0x1b03dd0) ] Edge 188 <-> 187 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03dd0) Arc: (edge = 0x7fff0427b080, target = 0x1b03df0) ] Edge 188 <-> 204 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ff0) Arc: (edge = 0x7fff0427b080, target = 0x1b03df0) ] Edge 189 <-> 188 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03df0) Arc: (edge = 0x7fff0427b080, target = 0x1b03e10) ] Edge 189 <-> 205 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04010) Arc: (edge = 0x7fff0427b080, target = 0x1b03e10) ] Edge 190 <-> 189 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e10) Arc: (edge = 0x7fff0427b080, target = 0x1b03e30) ] Edge 190 <-> 206 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04030) Arc: (edge = 0x7fff0427b080, target = 0x1b03e30) ] Edge 191 <-> 190 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e30) Arc: (edge = 0x7fff0427b080, target = 0x1b03e50) ] Edge 191 <-> 207 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04050) Arc: (edge = 0x7fff0427b080, target = 0x1b03e50) ] Edge 192 <-> 193 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e90) Arc: (edge = 0x7fff0427b080, target = 0x1b03e70) ] Edge 192 <-> 208 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04070) Arc: (edge = 0x7fff0427b080, target = 0x1b03e70) ] Edge 193 <-> 177 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03c90) Arc: (edge = 0x7fff0427b080, target = 0x1b03e90) ] Edge 194 <-> 193 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e90) Arc: (edge = 0x7fff0427b080, target = 0x1b03eb0) ] Edge 194 <-> 210 [ Arc: (edge = 0x7fff0427b080, target = 0x1b040b0) Arc: (edge = 0x7fff0427b080, target = 0x1b03eb0) ] Edge 195 <-> 194 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03eb0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ed0) ] Edge 195 <-> 211 [ Arc: (edge = 0x7fff0427b080, target = 0x1b040d0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ed0) ] Edge 196 <-> 195 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ed0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ef0) ] Edge 196 <-> 212 [ Arc: (edge = 0x7fff0427b080, target = 0x1b040f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ef0) ] Edge 197 <-> 196 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ef0) Arc: (edge = 0x7fff0427b080, target = 0x1b03f10) ] Edge 197 <-> 213 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04110) Arc: (edge = 0x7fff0427b080, target = 0x1b03f10) ] Edge 198 <-> 197 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f10) Arc: (edge = 0x7fff0427b080, target = 0x1b03f30) ] Edge 198 <-> 214 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04130) Arc: (edge = 0x7fff0427b080, target = 0x1b03f30) ] Edge 199 <-> 198 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f30) Arc: (edge = 0x7fff0427b080, target = 0x1b03f50) ] Edge 199 <-> 215 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04150) Arc: (edge = 0x7fff0427b080, target = 0x1b03f50) ] Edge 200 <-> 199 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f50) Arc: (edge = 0x7fff0427b080, target = 0x1b03f70) ] Edge 200 <-> 216 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04170) Arc: (edge = 0x7fff0427b080, target = 0x1b03f70) ] Edge 201 <-> 200 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f70) Arc: (edge = 0x7fff0427b080, target = 0x1b03f90) ] Edge 201 <-> 217 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04190) Arc: (edge = 0x7fff0427b080, target = 0x1b03f90) ] Edge 202 <-> 201 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03f90) Arc: (edge = 0x7fff0427b080, target = 0x1b03fb0) ] Edge 202 <-> 218 [ Arc: (edge = 0x7fff0427b080, target = 0x1b041b0) Arc: (edge = 0x7fff0427b080, target = 0x1b03fb0) ] Edge 203 <-> 202 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03fb0) Arc: (edge = 0x7fff0427b080, target = 0x1b03fd0) ] Edge 203 <-> 219 [ Arc: (edge = 0x7fff0427b080, target = 0x1b041d0) Arc: (edge = 0x7fff0427b080, target = 0x1b03fd0) ] Edge 204 <-> 203 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03fd0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ff0) ] Edge 204 <-> 220 [ Arc: (edge = 0x7fff0427b080, target = 0x1b041f0) Arc: (edge = 0x7fff0427b080, target = 0x1b03ff0) ] Edge 205 <-> 204 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03ff0) Arc: (edge = 0x7fff0427b080, target = 0x1b04010) ] Edge 205 <-> 221 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04210) Arc: (edge = 0x7fff0427b080, target = 0x1b04010) ] Edge 206 <-> 205 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04010) Arc: (edge = 0x7fff0427b080, target = 0x1b04030) ] Edge 206 <-> 222 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04230) Arc: (edge = 0x7fff0427b080, target = 0x1b04030) ] Edge 207 <-> 206 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04030) Arc: (edge = 0x7fff0427b080, target = 0x1b04050) ] Edge 207 <-> 223 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04250) Arc: (edge = 0x7fff0427b080, target = 0x1b04050) ] Edge 208 <-> 209 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04090) Arc: (edge = 0x7fff0427b080, target = 0x1b04070) ] Edge 208 <-> 224 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04270) Arc: (edge = 0x7fff0427b080, target = 0x1b04070) ] Edge 209 <-> 193 [ Arc: (edge = 0x7fff0427b080, target = 0x1b03e90) Arc: (edge = 0x7fff0427b080, target = 0x1b04090) ] Edge 210 <-> 209 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04090) Arc: (edge = 0x7fff0427b080, target = 0x1b040b0) ] Edge 210 <-> 226 [ Arc: (edge = 0x7fff0427b080, target = 0x1b042b0) Arc: (edge = 0x7fff0427b080, target = 0x1b040b0) ] Edge 211 <-> 210 [ Arc: (edge = 0x7fff0427b080, target = 0x1b040b0) Arc: (edge = 0x7fff0427b080, target = 0x1b040d0) ] Edge 211 <-> 227 [ Arc: (edge = 0x7fff0427b080, target = 0x1b042d0) Arc: (edge = 0x7fff0427b080, target = 0x1b040d0) ] Edge 212 <-> 211 [ Arc: (edge = 0x7fff0427b080, target = 0x1b040d0) Arc: (edge = 0x7fff0427b080, target = 0x1b040f0) ] Edge 212 <-> 228 [ Arc: (edge = 0x7fff0427b080, target = 0x1b042f0) Arc: (edge = 0x7fff0427b080, target = 0x1b040f0) ] Edge 213 <-> 212 [ Arc: (edge = 0x7fff0427b080, target = 0x1b040f0) Arc: (edge = 0x7fff0427b080, target = 0x1b04110) ] Edge 213 <-> 229 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04310) Arc: (edge = 0x7fff0427b080, target = 0x1b04110) ] Edge 214 <-> 213 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04110) Arc: (edge = 0x7fff0427b080, target = 0x1b04130) ] Edge 214 <-> 230 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04330) Arc: (edge = 0x7fff0427b080, target = 0x1b04130) ] Edge 215 <-> 214 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04130) Arc: (edge = 0x7fff0427b080, target = 0x1b04150) ] Edge 215 <-> 231 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04350) Arc: (edge = 0x7fff0427b080, target = 0x1b04150) ] Edge 216 <-> 215 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04150) Arc: (edge = 0x7fff0427b080, target = 0x1b04170) ] Edge 216 <-> 232 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04370) Arc: (edge = 0x7fff0427b080, target = 0x1b04170) ] Edge 217 <-> 216 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04170) Arc: (edge = 0x7fff0427b080, target = 0x1b04190) ] Edge 217 <-> 233 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04390) Arc: (edge = 0x7fff0427b080, target = 0x1b04190) ] Edge 218 <-> 217 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04190) Arc: (edge = 0x7fff0427b080, target = 0x1b041b0) ] Edge 218 <-> 234 [ Arc: (edge = 0x7fff0427b080, target = 0x1b043b0) Arc: (edge = 0x7fff0427b080, target = 0x1b041b0) ] Edge 219 <-> 218 [ Arc: (edge = 0x7fff0427b080, target = 0x1b041b0) Arc: (edge = 0x7fff0427b080, target = 0x1b041d0) ] Edge 219 <-> 235 [ Arc: (edge = 0x7fff0427b080, target = 0x1b043d0) Arc: (edge = 0x7fff0427b080, target = 0x1b041d0) ] Edge 220 <-> 219 [ Arc: (edge = 0x7fff0427b080, target = 0x1b041d0) Arc: (edge = 0x7fff0427b080, target = 0x1b041f0) ] Edge 220 <-> 236 [ Arc: (edge = 0x7fff0427b080, target = 0x1b043f0) Arc: (edge = 0x7fff0427b080, target = 0x1b041f0) ] Edge 221 <-> 220 [ Arc: (edge = 0x7fff0427b080, target = 0x1b041f0) Arc: (edge = 0x7fff0427b080, target = 0x1b04210) ] Edge 221 <-> 237 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04410) Arc: (edge = 0x7fff0427b080, target = 0x1b04210) ] Edge 222 <-> 221 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04210) Arc: (edge = 0x7fff0427b080, target = 0x1b04230) ] Edge 222 <-> 238 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04430) Arc: (edge = 0x7fff0427b080, target = 0x1b04230) ] Edge 223 <-> 222 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04230) Arc: (edge = 0x7fff0427b080, target = 0x1b04250) ] Edge 223 <-> 239 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04450) Arc: (edge = 0x7fff0427b080, target = 0x1b04250) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04290) Arc: (edge = 0x7fff0427b080, target = 0x1b04270) ] Edge 224 <-> 240 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04470) Arc: (edge = 0x7fff0427b080, target = 0x1b04270) ] Edge 225 <-> 209 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04090) Arc: (edge = 0x7fff0427b080, target = 0x1b04290) ] Edge 226 <-> 225 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04290) Arc: (edge = 0x7fff0427b080, target = 0x1b042b0) ] Edge 226 <-> 242 [ Arc: (edge = 0x7fff0427b080, target = 0x1b044b0) Arc: (edge = 0x7fff0427b080, target = 0x1b042b0) ] Edge 227 <-> 226 [ Arc: (edge = 0x7fff0427b080, target = 0x1b042b0) Arc: (edge = 0x7fff0427b080, target = 0x1b042d0) ] Edge 227 <-> 243 [ Arc: (edge = 0x7fff0427b080, target = 0x1b044d0) Arc: (edge = 0x7fff0427b080, target = 0x1b042d0) ] Edge 228 <-> 227 [ Arc: (edge = 0x7fff0427b080, target = 0x1b042d0) Arc: (edge = 0x7fff0427b080, target = 0x1b042f0) ] Edge 228 <-> 244 [ Arc: (edge = 0x7fff0427b080, target = 0x1b044f0) Arc: (edge = 0x7fff0427b080, target = 0x1b042f0) ] Edge 229 <-> 228 [ Arc: (edge = 0x7fff0427b080, target = 0x1b042f0) Arc: (edge = 0x7fff0427b080, target = 0x1b04310) ] Edge 229 <-> 245 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04510) Arc: (edge = 0x7fff0427b080, target = 0x1b04310) ] Edge 230 <-> 229 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04310) Arc: (edge = 0x7fff0427b080, target = 0x1b04330) ] Edge 230 <-> 246 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04530) Arc: (edge = 0x7fff0427b080, target = 0x1b04330) ] Edge 231 <-> 230 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04330) Arc: (edge = 0x7fff0427b080, target = 0x1b04350) ] Edge 231 <-> 247 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04550) Arc: (edge = 0x7fff0427b080, target = 0x1b04350) ] Edge 232 <-> 231 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04350) Arc: (edge = 0x7fff0427b080, target = 0x1b04370) ] Edge 232 <-> 248 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04570) Arc: (edge = 0x7fff0427b080, target = 0x1b04370) ] Edge 233 <-> 232 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04370) Arc: (edge = 0x7fff0427b080, target = 0x1b04390) ] Edge 233 <-> 249 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04590) Arc: (edge = 0x7fff0427b080, target = 0x1b04390) ] Edge 234 <-> 233 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04390) Arc: (edge = 0x7fff0427b080, target = 0x1b043b0) ] Edge 234 <-> 250 [ Arc: (edge = 0x7fff0427b080, target = 0x1b045b0) Arc: (edge = 0x7fff0427b080, target = 0x1b043b0) ] Edge 235 <-> 234 [ Arc: (edge = 0x7fff0427b080, target = 0x1b043b0) Arc: (edge = 0x7fff0427b080, target = 0x1b043d0) ] Edge 235 <-> 251 [ Arc: (edge = 0x7fff0427b080, target = 0x1b045d0) Arc: (edge = 0x7fff0427b080, target = 0x1b043d0) ] Edge 236 <-> 235 [ Arc: (edge = 0x7fff0427b080, target = 0x1b043d0) Arc: (edge = 0x7fff0427b080, target = 0x1b043f0) ] Edge 236 <-> 252 [ Arc: (edge = 0x7fff0427b080, target = 0x1b045f0) Arc: (edge = 0x7fff0427b080, target = 0x1b043f0) ] Edge 237 <-> 236 [ Arc: (edge = 0x7fff0427b080, target = 0x1b043f0) Arc: (edge = 0x7fff0427b080, target = 0x1b04410) ] Edge 237 <-> 253 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04610) Arc: (edge = 0x7fff0427b080, target = 0x1b04410) ] Edge 238 <-> 237 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04410) Arc: (edge = 0x7fff0427b080, target = 0x1b04430) ] Edge 238 <-> 254 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04630) Arc: (edge = 0x7fff0427b080, target = 0x1b04430) ] Edge 239 <-> 238 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04430) Arc: (edge = 0x7fff0427b080, target = 0x1b04450) ] Edge 239 <-> 255 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04650) Arc: (edge = 0x7fff0427b080, target = 0x1b04450) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04490) Arc: (edge = 0x7fff0427b080, target = 0x1b04470) ] Edge 241 <-> 225 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04290) Arc: (edge = 0x7fff0427b080, target = 0x1b04490) ] Edge 242 <-> 241 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04490) Arc: (edge = 0x7fff0427b080, target = 0x1b044b0) ] Edge 243 <-> 242 [ Arc: (edge = 0x7fff0427b080, target = 0x1b044b0) Arc: (edge = 0x7fff0427b080, target = 0x1b044d0) ] Edge 244 <-> 243 [ Arc: (edge = 0x7fff0427b080, target = 0x1b044d0) Arc: (edge = 0x7fff0427b080, target = 0x1b044f0) ] Edge 245 <-> 244 [ Arc: (edge = 0x7fff0427b080, target = 0x1b044f0) Arc: (edge = 0x7fff0427b080, target = 0x1b04510) ] Edge 246 <-> 245 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04510) Arc: (edge = 0x7fff0427b080, target = 0x1b04530) ] Edge 247 <-> 246 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04530) Arc: (edge = 0x7fff0427b080, target = 0x1b04550) ] Edge 248 <-> 247 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04550) Arc: (edge = 0x7fff0427b080, target = 0x1b04570) ] Edge 249 <-> 248 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04570) Arc: (edge = 0x7fff0427b080, target = 0x1b04590) ] Edge 250 <-> 249 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04590) Arc: (edge = 0x7fff0427b080, target = 0x1b045b0) ] Edge 251 <-> 250 [ Arc: (edge = 0x7fff0427b080, target = 0x1b045b0) Arc: (edge = 0x7fff0427b080, target = 0x1b045d0) ] Edge 252 <-> 251 [ Arc: (edge = 0x7fff0427b080, target = 0x1b045d0) Arc: (edge = 0x7fff0427b080, target = 0x1b045f0) ] Edge 253 <-> 252 [ Arc: (edge = 0x7fff0427b080, target = 0x1b045f0) Arc: (edge = 0x7fff0427b080, target = 0x1b04610) ] Edge 254 <-> 253 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04610) Arc: (edge = 0x7fff0427b080, target = 0x1b04630) ] Edge 255 <-> 254 [ Arc: (edge = 0x7fff0427b080, target = 0x1b04630) Arc: (edge = 0x7fff0427b080, target = 0x1b04650) ] ] Robot arrangement: (|R| = 67, |V| = 256) [ robot locations: {1#225 2#194 3#152 4#193 5#94 6#10 7#218 8#112 9#34 10#213 11#117 12#30 13#251 14#111 15#135 16#31 17#230 18#68 19#172 20#171 21#131 22#119 23#65 24#64 25#5 26#128 27#216 28#149 29#114 30#81 31#161 32#190 33#27 34#62 35#32 36#203 37#241 38#58 39#24 40#93 41#100 42#9 43#56 44#140 45#138 46#176 47#78 48#151 49#76 50#2 51#8 52#170 53#184 54#211 55#59 56#97 57#50 58#26 59#46 60#70 61#229 62#91 63#155 64#228 65#28 66#201 67#121 } vertex occupancy: {0#0 0#1 50#2 0#3 0#4 25#5 0#6 0#7 51#8 42#9 6#10 0#11 0#12 0#13 0#14 0#15 0#16 0#17 0#18 0#19 0#20 0#21 0#22 0#23 39#24 0#25 58#26 33#27 65#28 0#29 12#30 16#31 35#32 0#33 9#34 0#35 0#36 0#37 0#38 0#39 0#40 0#41 0#42 0#43 0#44 0#45 59#46 0#47 0#48 0#49 57#50 0#51 0#52 0#53 0#54 0#55 43#56 0#57 38#58 55#59 0#60 0#61 34#62 0#63 24#64 23#65 0#66 0#67 18#68 0#69 60#70 0#71 0#72 0#73 0#74 0#75 49#76 0#77 47#78 0#79 0#80 30#81 0#82 0#83 0#84 0#85 0#86 0#87 0#88 0#89 0#90 62#91 0#92 40#93 5#94 0#95 0#96 56#97 0#98 0#99 41#100 0#101 0#102 0#103 0#104 0#105 0#106 0#107 0#108 0#109 0#110 14#111 8#112 0#113 29#114 0#115 0#116 11#117 0#118 22#119 0#120 67#121 0#122 0#123 0#124 0#125 0#126 0#127 26#128 0#129 0#130 21#131 0#132 0#133 0#134 15#135 0#136 0#137 45#138 0#139 44#140 0#141 0#142 0#143 0#144 0#145 0#146 0#147 0#148 28#149 0#150 48#151 3#152 0#153 0#154 63#155 0#156 0#157 0#158 0#159 0#160 31#161 0#162 0#163 0#164 0#165 0#166 0#167 0#168 0#169 52#170 20#171 19#172 0#173 0#174 0#175 46#176 0#177 0#178 0#179 0#180 0#181 0#182 0#183 53#184 0#185 0#186 0#187 0#188 0#189 32#190 0#191 0#192 4#193 2#194 0#195 0#196 0#197 0#198 0#199 0#200 66#201 0#202 36#203 0#204 0#205 0#206 0#207 0#208 0#209 0#210 54#211 0#212 10#213 0#214 0#215 27#216 0#217 7#218 0#219 0#220 0#221 0#222 0#223 0#224 1#225 0#226 0#227 64#228 61#229 17#230 0#231 0#232 0#233 0#234 0#235 0#236 0#237 0#238 0#239 0#240 37#241 0#242 0#243 0#244 0#245 0#246 0#247 0#248 0#249 0#250 13#251 0#252 0#253 0#254 0#255 } ] Robot arrangement: (|R| = 67, |V| = 256) [ robot locations: {1#178 2#206 3#156 4#89 5#171 6#68 7#164 8#179 9#47 10#115 11#53 12#43 13#204 14#3 15#212 16#239 17#108 18#154 19#255 20#51 21#247 22#21 23#137 24#244 25#8 26#224 27#221 28#80 29#48 30#120 31#152 32#6 33#65 34#207 35#23 36#36 37#139 38#84 39#227 40#14 41#7 42#106 43#125 44#183 45#218 46#28 47#160 48#118 49#237 50#107 51#191 52#200 53#64 54#243 55#202 56#100 57#147 58#140 59#67 60#144 61#82 62#95 63#229 64#35 65#228 66#225 67#128 } vertex occupancy: {0#0 0#1 0#2 14#3 0#4 0#5 32#6 41#7 25#8 0#9 0#10 0#11 0#12 0#13 40#14 0#15 0#16 0#17 0#18 0#19 0#20 22#21 0#22 35#23 0#24 0#25 0#26 0#27 46#28 0#29 0#30 0#31 0#32 0#33 0#34 64#35 36#36 0#37 0#38 0#39 0#40 0#41 0#42 12#43 0#44 0#45 0#46 9#47 29#48 0#49 0#50 20#51 0#52 11#53 0#54 0#55 0#56 0#57 0#58 0#59 0#60 0#61 0#62 0#63 53#64 33#65 0#66 59#67 6#68 0#69 0#70 0#71 0#72 0#73 0#74 0#75 0#76 0#77 0#78 0#79 28#80 0#81 61#82 0#83 38#84 0#85 0#86 0#87 0#88 4#89 0#90 0#91 0#92 0#93 0#94 62#95 0#96 0#97 0#98 0#99 56#100 0#101 0#102 0#103 0#104 0#105 42#106 50#107 17#108 0#109 0#110 0#111 0#112 0#113 0#114 10#115 0#116 0#117 48#118 0#119 30#120 0#121 0#122 0#123 0#124 43#125 0#126 0#127 67#128 0#129 0#130 0#131 0#132 0#133 0#134 0#135 0#136 23#137 0#138 37#139 58#140 0#141 0#142 0#143 60#144 0#145 0#146 57#147 0#148 0#149 0#150 0#151 31#152 0#153 18#154 0#155 3#156 0#157 0#158 0#159 47#160 0#161 0#162 0#163 7#164 0#165 0#166 0#167 0#168 0#169 0#170 5#171 0#172 0#173 0#174 0#175 0#176 0#177 1#178 8#179 0#180 0#181 0#182 44#183 0#184 0#185 0#186 0#187 0#188 0#189 0#190 51#191 0#192 0#193 0#194 0#195 0#196 0#197 0#198 0#199 52#200 0#201 55#202 0#203 13#204 0#205 2#206 34#207 0#208 0#209 0#210 0#211 15#212 0#213 0#214 0#215 0#216 0#217 45#218 0#219 0#220 27#221 0#222 0#223 26#224 66#225 0#226 39#227 65#228 63#229 0#230 0#231 0#232 0#233 0#234 0#235 0#236 49#237 0#238 16#239 0#240 0#241 0#242 54#243 24#244 0#245 0#246 21#247 0#248 0#249 0#250 0#251 0#252 0#253 0#254 19#255 } ] 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 = 1629 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 ] Sub-phases { Phase (name = 'WHCA*_solving') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 32323 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 ] } ] ----------------------------------------------------------------