================================================================ 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:1595 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) 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) 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) 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) 48 # 134 ---> 133 (2) 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) 27 # 201 ---> 202 (2) 52 # 185 ---> 184 (9) 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) 3 # 135 ---> 134 (2) 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) 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) 48 # 133 ---> 149 (3) 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) 13 # 235 ---> 219 (1) 36 # 187 ---> 171 (11) 13 # 219 ---> 203 (11) 13 # 203 ---> 204 (34) 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) 17 # 181 ---> 165 (10) 48 # 149 ---> 148 (4) 17 # 165 ---> 149 (11) 17 # 149 ---> 133 (12) 17 # 133 ---> 117 (13) 11 # 100 ---> 116 (2) 22 # 101 ---> 100 (3) 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) 11 # 116 ---> 115 (3) 22 # 100 ---> 99 (4) 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) 12 # 9 ---> 25 (28) 44 # 28 ---> 27 (27) 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) 12 # 25 ---> 24 (29) 44 # 27 ---> 11 (28) 63 # 43 ---> 27 (44) 36 # 44 ---> 43 (44) 63 # 27 ---> 28 (45) 36 # 43 ---> 27 (45) 7 # 218 ---> 202 (10) 7 # 202 ---> 186 (11) 48 # 148 ---> 147 (5) 15 # 150 ---> 149 (12) 7 # 186 ---> 170 (12) 65 # 7 ---> 6 (28) 14 # 23 ---> 7 (30) 5 # 22 ---> 23 (30) 65 # 6 ---> 22 (30) 14 # 7 ---> 6 (31) 12 # 24 ---> 8 (30) 5 # 23 ---> 24 (31) 5 # 24 ---> 25 (32) 5 # 25 ---> 26 (33) 12 # 8 ---> 7 (31) 44 # 11 ---> 10 (29) 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) 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) 37 # 113 ---> 114 (8) 22 # 99 ---> 98 (5) 11 # 115 ---> 99 (5) 37 # 114 ---> 115 (9) 37 # 115 ---> 116 (10) 37 # 116 ---> 117 (14) 22 # 98 ---> 114 (9) 11 # 99 ---> 98 (9) 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) 65 # 21 ---> 5 (32) 14 # 22 ---> 21 (33) 12 # 7 ---> 23 (32) 50 # 6 ---> 7 (33) 50 # 7 ---> 8 (34) 50 # 8 ---> 9 (35) 44 # 10 ---> 26 (46) 50 # 9 ---> 10 (46) 44 # 26 ---> 25 (47) 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) 12 # 23 ---> 24 (33) 44 # 25 ---> 9 (48) 12 # 24 ---> 25 (48) 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) 55 # 40 ---> 41 (25) 55 # 41 ---> 42 (26) 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) 36 # 10 ---> 26 (50) 36 # 26 ---> 27 (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) 47 # 36 ---> 52 (24) 42 # 35 ---> 36 (24) 42 # 36 ---> 37 (25) 42 # 37 ---> 38 (26) 42 # 38 ---> 39 (27) 42 # 39 ---> 40 (28) 42 # 40 ---> 41 (29) 42 # 41 ---> 42 (58) 42 # 42 ---> 58 (59) 42 # 58 ---> 74 (60) 42 # 74 ---> 90 (62) 42 # 90 ---> 106 (63) 6 # 18 ---> 2 (28) 33 # 19 ---> 18 (28) 40 # 20 ---> 19 (30) 59 # 4 ---> 20 (30) 40 # 19 ---> 3 (31) 59 # 20 ---> 19 (31) 14 # 21 ---> 20 (34) 7 # 57 ---> 41 (59) 56 # 128 ---> 129 (7) 21 # 112 ---> 128 (7) 24 # 64 ---> 80 (0) 35 # 48 ---> 49 (1) 57 # 32 ---> 48 (3) 39 # 16 ---> 32 (10) 25 # 17 ---> 16 (22) 60 # 34 ---> 33 (6) 33 # 18 ---> 34 (29) 38 # 0 ---> 17 (22) 6 # 2 ---> 0 (29) 40 # 3 ---> 2 (32) 59 # 19 ---> 3 (32) 40 # 2 ---> 18 (33) 59 # 3 ---> 2 (33) 14 # 20 ---> 4 (35) 14 # 4 ---> 3 (36) 65 # 5 ---> 4 (36) 7 # 41 ---> 25 (60) 7 # 25 ---> 26 (61) 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 (7) 23 # 73 ---> 89 (61) 23 # 89 ---> 105 (62) 23 # 105 ---> 121 (63) 23 # 121 ---> 137 (64) 20 # 101 ---> 100 (17) 29 # 146 ---> 162 (2) 48 # 147 ---> 146 (6) 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 # 129 ---> 145 (8) 21 # 128 ---> 129 (8) 4 # 144 ---> 128 (8) 4 # 128 ---> 112 (9) 4 # 112 ---> 96 (10) 24 # 80 ---> 81 (1) 4 # 96 ---> 80 (11) 4 # 80 ---> 64 (12) 4 # 64 ---> 65 (13) 4 # 65 ---> 66 (14) 4 # 66 ---> 67 (15) 4 # 67 ---> 68 (16) 4 # 68 ---> 69 (17) 4 # 69 ---> 70 (18) 4 # 70 ---> 71 (19) 4 # 71 ---> 72 (20) 4 # 72 ---> 73 (61) 4 # 73 ---> 89 (62) 52 # 184 ---> 200 (10) 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) 56 # 144 ---> 160 (10) 21 # 129 ---> 128 (9) 31 # 145 ---> 129 (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) 22 # 114 ---> 113 (10) 11 # 98 ---> 114 (10) 30 # 97 ---> 98 (10) 30 # 98 ---> 99 (11) 24 # 81 ---> 97 (10) 20 # 100 ---> 84 (18) 30 # 99 ---> 100 (18) 30 # 100 ---> 101 (19) 30 # 101 ---> 102 (20) 30 # 102 ---> 103 (21) 30 # 103 ---> 104 (22) 30 # 104 ---> 120 (23) 57 # 48 ---> 64 (13) 35 # 49 ---> 48 (13) 63 # 28 ---> 12 (46) 36 # 27 ---> 28 (52) 44 # 9 ---> 25 (61) 21 # 128 ---> 129 (12) 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) 28 # 196 ---> 195 (7) 61 # 230 ---> 214 (6) 20 # 84 ---> 68 (19) 61 # 214 ---> 198 (7) 61 # 198 ---> 182 (8) 44 # 25 ---> 24 (62) 44 # 24 ---> 23 (63) 44 # 23 ---> 39 (64) 44 # 39 ---> 55 (65) 44 # 55 ---> 71 (66) 44 # 71 ---> 87 (67) 44 # 87 ---> 103 (68) 44 # 103 ---> 119 (69) 44 # 119 ---> 135 (70) 44 # 135 ---> 151 (71) 44 # 151 ---> 167 (72) 61 # 182 ---> 166 (9) 44 # 167 ---> 183 (73) 61 # 166 ---> 150 (12) 61 # 150 ---> 134 (18) 46 # 192 ---> 193 (7) 46 # 193 ---> 209 (8) 8 # 177 ---> 193 (11) 41 # 176 ---> 177 (11) 8 # 193 ---> 192 (12) 41 # 177 ---> 193 (12) 56 # 160 ---> 161 (11) 22 # 113 ---> 129 (13) 24 # 97 ---> 96 (11) 11 # 114 ---> 98 (11) 61 # 134 ---> 118 (19) 61 # 118 ---> 102 (21) 46 # 209 ---> 210 (9) 41 # 193 ---> 209 (13) 26 # 178 ---> 177 (12) 26 # 177 ---> 193 (13) 56 # 161 ---> 177 (13) 29 # 162 ---> 161 (13) 56 # 177 ---> 178 (14) 29 # 161 ---> 177 (14) 48 # 146 ---> 145 (11) 22 # 129 ---> 130 (14) 11 # 98 ---> 97 (12) 61 # 102 ---> 86 (22) 11 # 97 ---> 113 (13) 57 # 64 ---> 65 (14) 57 # 65 ---> 81 (15) 35 # 48 ---> 64 (14) 47 # 52 ---> 51 (25) 20 # 68 ---> 52 (25) 61 # 86 ---> 70 (23) 61 # 70 ---> 54 (24) 61 # 54 ---> 38 (27) 47 # 51 ---> 67 (26) 20 # 52 ---> 51 (26) 61 # 38 ---> 22 (33) 39 # 32 ---> 48 (14) 60 # 33 ---> 32 (14) 33 # 34 ---> 33 (30) 20 # 51 ---> 35 (27) 10 # 213 ---> 214 (7) 64 # 229 ---> 213 (7) 64 # 213 ---> 197 (9) 10 # 214 ---> 213 (9) 64 # 197 ---> 198 (10) 10 # 213 ---> 197 (10) 47 # 67 ---> 51 (27) 10 # 197 ---> 181 (11) 64 # 198 ---> 197 (11) 10 # 181 ---> 182 (12) 64 # 197 ---> 181 (12) 64 # 181 ---> 165 (13) 10 # 182 ---> 181 (13) 64 # 165 ---> 166 (14) 10 # 181 ---> 165 (14) 15 # 149 ---> 133 (17) 10 # 165 ---> 149 (17) 64 # 166 ---> 165 (17) 10 # 149 ---> 150 (18) 64 # 165 ---> 149 (18) 47 # 51 ---> 50 (28) 20 # 35 ---> 51 (28) 64 # 149 ---> 148 (19) 10 # 150 ---> 149 (19) 15 # 133 ---> 134 (19) 10 # 149 ---> 133 (20) 61 # 22 ---> 6 (34) 10 # 133 ---> 117 (21) 15 # 134 ---> 133 (21) 10 # 117 ---> 118 (22) 15 # 133 ---> 117 (22) 48 # 145 ---> 129 (14) 11 # 113 ---> 112 (14) 48 # 129 ---> 113 (15) 48 # 113 ---> 97 (16) 48 # 97 ---> 98 (17) 48 # 98 ---> 99 (18) 48 # 99 ---> 100 (19) 48 # 100 ---> 101 (20) 48 # 101 ---> 102 (22) 15 # 117 ---> 101 (23) 10 # 118 ---> 117 (23) 48 # 102 ---> 118 (23) 15 # 101 ---> 102 (24) 10 # 117 ---> 101 (24) 10 # 101 ---> 85 (25) 15 # 102 ---> 101 (25) 10 # 85 ---> 86 (26) 15 # 101 ---> 85 (26) 15 # 85 ---> 69 (27) 10 # 86 ---> 85 (27) 15 # 69 ---> 70 (28) 10 # 85 ---> 69 (28) 57 # 81 ---> 82 (16) 47 # 50 ---> 49 (29) 20 # 51 ---> 67 (29) 10 # 69 ---> 53 (29) 15 # 70 ---> 69 (29) 10 # 53 ---> 54 (30) 15 # 69 ---> 53 (30) 15 # 53 ---> 37 (31) 10 # 54 ---> 53 (31) 15 # 37 ---> 38 (33) 10 # 53 ---> 37 (33) 35 # 64 ---> 80 (15) 39 # 48 ---> 64 (15) 47 # 49 ---> 48 (30) 39 # 64 ---> 65 (16) 47 # 48 ---> 64 (31) 60 # 32 ---> 48 (31) 33 # 33 ---> 32 (31) 60 # 48 ---> 49 (32) 33 # 32 ---> 48 (32) 25 # 16 ---> 32 (32) 10 # 37 ---> 21 (34) 15 # 38 ---> 37 (34) 10 # 21 ---> 22 (35) 15 # 37 ---> 21 (35) 63 # 12 ---> 11 (48) 63 # 11 ---> 10 (50) 63 # 10 ---> 9 (61) 63 # 9 ---> 8 (62) 63 # 8 ---> 7 (63) 10 # 22 ---> 23 (64) 61 # 6 ---> 22 (64) 63 # 7 ---> 6 (64) 63 # 6 ---> 5 (65) 61 # 22 ---> 6 (65) 15 # 21 ---> 22 (65) 63 # 5 ---> 21 (66) 63 # 21 ---> 37 (67) 63 # 37 ---> 53 (68) 63 # 53 ---> 69 (69) 63 # 69 ---> 85 (70) 63 # 85 ---> 101 (71) 63 # 101 ---> 117 (72) 63 # 117 ---> 133 (73) 63 # 133 ---> 149 (74) 63 # 149 ---> 165 (75) 63 # 165 ---> 181 (76) 63 # 181 ---> 197 (77) 63 # 197 ---> 213 (78) 63 # 213 ---> 229 (79) 22 # 130 ---> 114 (15) 53 # 180 ---> 164 (10) 53 # 164 ---> 163 (11) 64 # 148 ---> 132 (20) 56 # 178 ---> 194 (15) 53 # 163 ---> 162 (13) 64 # 132 ---> 116 (21) 64 # 116 ---> 100 (22) 10 # 23 ---> 24 (65) 64 # 100 ---> 84 (23) 64 # 84 ---> 68 (25) 20 # 67 ---> 83 (30) 64 # 68 ---> 67 (30) 24 # 96 ---> 97 (17) 11 # 112 ---> 96 (17) 24 # 97 ---> 113 (18) 35 # 80 ---> 81 (16) 11 # 96 ---> 80 (18) 35 # 81 ---> 97 (18) 39 # 65 ---> 81 (18) 47 # 64 ---> 65 (32) 11 # 80 ---> 64 (32) 39 # 81 ---> 80 (32) 47 # 65 ---> 81 (33) 60 # 49 ---> 65 (33) 33 # 48 ---> 49 (33) 11 # 64 ---> 48 (33) 60 # 65 ---> 64 (34) 33 # 49 ---> 65 (34) 25 # 32 ---> 33 (33) 11 # 48 ---> 32 (34) 25 # 33 ---> 49 (34) 11 # 32 ---> 33 (35) 11 # 33 ---> 34 (36) 11 # 34 ---> 35 (37) 11 # 35 ---> 36 (38) 11 # 36 ---> 37 (68) 11 # 37 ---> 53 (69) 24 # 113 ---> 112 (19) 35 # 97 ---> 113 (19) 47 # 81 ---> 97 (34) 39 # 80 ---> 81 (34) 47 # 97 ---> 96 (35) 39 # 81 ---> 97 (35) 33 # 65 ---> 81 (35) 60 # 64 ---> 65 (35) 38 # 17 ---> 33 (36) 6 # 0 ---> 1 (30) 59 # 2 ---> 0 (34) 35 # 113 ---> 129 (20) 24 # 112 ---> 113 (20) 47 # 96 ---> 112 (36) 22 # 114 ---> 98 (18) 24 # 113 ---> 114 (21) 24 # 114 ---> 115 (22) 24 # 115 ---> 116 (23) 24 # 116 ---> 132 (24) 24 # 132 ---> 148 (25) 24 # 148 ---> 164 (26) 24 # 164 ---> 180 (27) 24 # 180 ---> 196 (28) 24 # 196 ---> 212 (29) 24 # 212 ---> 228 (30) 24 # 228 ---> 244 (31) 65 # 4 ---> 20 (37) 65 # 20 ---> 36 (68) 65 # 36 ---> 52 (69) 65 # 52 ---> 68 (70) 65 # 68 ---> 84 (71) 65 # 84 ---> 100 (72) 65 # 100 ---> 116 (73) 65 # 116 ---> 132 (74) 65 # 132 ---> 148 (75) 65 # 148 ---> 164 (76) 65 # 164 ---> 180 (77) 65 # 180 ---> 196 (78) 65 # 196 ---> 212 (79) 65 # 212 ---> 228 (80) 15 # 22 ---> 21 (67) 15 # 21 ---> 20 (68) 15 # 20 ---> 36 (69) 15 # 36 ---> 52 (70) 15 # 52 ---> 68 (71) 15 # 68 ---> 84 (72) 15 # 84 ---> 100 (73) 15 # 100 ---> 116 (74) 15 # 116 ---> 132 (75) 15 # 132 ---> 148 (76) 15 # 148 ---> 164 (77) 15 # 164 ---> 180 (78) 15 # 180 ---> 196 (79) 15 # 196 ---> 212 (80) 28 # 195 ---> 179 (8) 56 # 194 ---> 195 (16) 26 # 193 ---> 194 (16) 29 # 177 ---> 193 (16) 53 # 162 ---> 161 (14) 28 # 179 ---> 163 (13) 7 # 26 ---> 25 (62) 10 # 24 ---> 8 (66) 7 # 25 ---> 24 (66) 7 # 24 ---> 23 (67) 7 # 23 ---> 22 (68) 7 # 22 ---> 21 (69) 7 # 21 ---> 20 (70) 7 # 20 ---> 36 (71) 7 # 36 ---> 52 (72) 7 # 52 ---> 68 (73) 7 # 68 ---> 84 (74) 7 # 84 ---> 100 (75) 7 # 100 ---> 116 (76) 7 # 116 ---> 132 (77) 7 # 132 ---> 148 (78) 7 # 148 ---> 164 (79) 28 # 163 ---> 147 (14) 36 # 28 ---> 12 (53) 28 # 147 ---> 131 (15) 35 # 129 ---> 128 (21) 28 # 131 ---> 115 (23) 28 # 115 ---> 99 (24) 28 # 99 ---> 100 (76) 56 # 195 ---> 179 (17) 56 # 179 ---> 163 (18) 56 # 163 ---> 147 (19) 56 # 147 ---> 131 (23) 56 # 131 ---> 115 (24) 56 # 115 ---> 99 (76) 22 # 98 ---> 114 (22) 57 # 82 ---> 98 (22) 20 # 83 ---> 82 (31) 56 # 99 ---> 83 (77) 56 # 83 ---> 84 (78) 28 # 100 ---> 99 (77) 56 # 84 ---> 100 (79) 38 # 33 ---> 34 (37) 38 # 34 ---> 35 (38) 38 # 35 ---> 36 (72) 38 # 36 ---> 52 (73) 38 # 52 ---> 68 (74) 38 # 68 ---> 84 (79) 59 # 0 ---> 17 (36) 6 # 1 ---> 0 (36) 59 # 17 ---> 16 (37) 6 # 0 ---> 2 (37) 40 # 18 ---> 17 (37) 14 # 3 ---> 19 (37) 6 # 2 ---> 3 (38) 6 # 3 ---> 4 (39) 6 # 4 ---> 20 (71) 6 # 20 ---> 36 (73) 6 # 36 ---> 52 (74) 6 # 52 ---> 68 (79) 64 # 67 ---> 51 (31) 64 # 51 ---> 35 (72) 36 # 12 ---> 11 (54) 36 # 11 ---> 10 (61) 36 # 10 ---> 9 (62) 10 # 8 ---> 24 (67) 36 # 9 ---> 8 (67) 36 # 8 ---> 7 (68) 10 # 24 ---> 8 (68) 61 # 6 ---> 22 (69) 36 # 7 ---> 6 (69) 36 # 6 ---> 5 (70) 36 # 5 ---> 4 (71) 36 # 4 ---> 20 (73) 36 # 20 ---> 36 (74) 14 # 19 ---> 20 (74) 64 # 35 ---> 19 (74) 8 # 192 ---> 176 (13) 29 # 193 ---> 192 (17) 41 # 209 ---> 193 (17) 54 # 211 ---> 227 (0) 54 # 227 ---> 243 (1) 33 # 81 ---> 80 (36) 20 # 82 ---> 81 (36) 57 # 98 ---> 82 (36) 39 # 97 ---> 98 (36) 20 # 81 ---> 97 (37) 57 # 82 ---> 81 (37) 28 # 99 ---> 83 (78) 39 # 98 ---> 99 (78) 39 # 99 ---> 115 (79) 39 # 115 ---> 131 (80) 39 # 131 ---> 147 (81) 39 # 147 ---> 163 (82) 39 # 163 ---> 179 (83) 39 # 179 ---> 195 (84) 39 # 195 ---> 211 (85) 39 # 211 ---> 227 (86) 61 # 22 ---> 6 (70) 61 # 6 ---> 7 (71) 14 # 20 ---> 4 (75) 14 # 4 ---> 5 (76) 28 # 83 ---> 82 (79) 26 # 194 ---> 178 (17) 8 # 176 ---> 160 (14) 53 # 161 ---> 177 (16) 8 # 160 ---> 161 (16) 8 # 161 ---> 162 (17) 8 # 162 ---> 163 (83) 26 # 178 ---> 162 (83) 8 # 163 ---> 179 (84) 26 # 162 ---> 146 (84) 28 # 82 ---> 66 (80) 57 # 81 ---> 82 (80) 57 # 82 ---> 83 (81) 57 # 83 ---> 99 (82) 57 # 99 ---> 115 (83) 57 # 115 ---> 131 (84) 26 # 146 ---> 130 (85) 57 # 131 ---> 147 (85) 22 # 114 ---> 113 (23) 26 # 130 ---> 114 (86) 61 # 7 ---> 23 (72) 10 # 8 ---> 7 (72) 10 # 7 ---> 6 (73) 14 # 5 ---> 21 (77) 10 # 6 ---> 5 (77) 10 # 5 ---> 4 (78) 14 # 21 ---> 5 (78) 10 # 4 ---> 3 (79) 64 # 19 ---> 20 (75) 10 # 3 ---> 19 (80) 10 # 19 ---> 35 (81) 10 # 35 ---> 51 (82) 10 # 51 ---> 67 (83) 10 # 67 ---> 83 (84) 10 # 83 ---> 99 (85) 26 # 114 ---> 98 (87) 10 # 99 ---> 115 (86) 29 # 192 ---> 208 (18) 41 # 193 ---> 192 (18) 29 # 208 ---> 209 (19) 41 # 192 ---> 208 (19) 53 # 177 ---> 176 (17) 35 # 128 ---> 144 (22) 47 # 112 ---> 128 (37) 22 # 113 ---> 112 (37) 47 # 128 ---> 129 (38) 22 # 112 ---> 128 (38) 20 # 97 ---> 96 (38) 26 # 98 ---> 82 (88) 40 # 17 ---> 0 (38) 59 # 16 ---> 17 (38) 59 # 17 ---> 18 (39) 59 # 18 ---> 19 (81) 59 # 19 ---> 35 (82) 59 # 35 ---> 51 (83) 28 # 66 ---> 50 (81) 59 # 51 ---> 67 (84) 33 # 80 ---> 81 (80) 20 # 96 ---> 80 (80) 20 # 80 ---> 64 (81) 33 # 81 ---> 80 (81) 20 # 64 ---> 48 (82) 20 # 48 ---> 32 (83) 20 # 32 ---> 33 (84) 20 # 33 ---> 34 (85) 20 # 34 ---> 35 (86) 20 # 35 ---> 51 (87) 28 # 50 ---> 34 (86) 64 # 20 ---> 19 (82) 28 # 34 ---> 18 (87) 64 # 19 ---> 35 (87) 28 # 18 ---> 19 (88) 46 # 210 ---> 194 (17) 14 # 5 ---> 6 (79) 25 # 49 ---> 33 (85) 60 # 65 ---> 49 (85) 26 # 82 ---> 81 (89) 26 # 81 ---> 65 (90) 47 # 129 ---> 113 (39) 61 # 23 ---> 7 (73) 29 # 209 ---> 193 (20) 29 # 193 ---> 177 (21) 46 # 194 ---> 193 (21) 29 # 177 ---> 178 (83) 41 # 208 ---> 209 (20) 1 # 224 ---> 208 (20) 1 # 208 ---> 192 (21) 53 # 176 ---> 177 (83) 1 # 192 ---> 176 (83) 1 # 176 ---> 160 (84) 1 # 160 ---> 161 (85) 1 # 161 ---> 162 (86) 53 # 177 ---> 161 (86) 29 # 178 ---> 177 (86) 1 # 162 ---> 178 (87) 53 # 161 ---> 162 (87) 29 # 177 ---> 161 (87) 29 # 161 ---> 145 (88) 53 # 162 ---> 161 (88) 29 # 145 ---> 146 (89) 53 # 161 ---> 145 (89) 53 # 145 ---> 129 (90) 29 # 146 ---> 145 (90) 40 # 0 ---> 17 (39) 47 # 113 ---> 114 (87) 53 # 129 ---> 113 (91) 53 # 113 ---> 97 (92) 47 # 114 ---> 113 (92) 53 # 97 ---> 98 (93) 47 # 113 ---> 97 (93) 60 # 49 ---> 48 (86) 26 # 65 ---> 49 (91) 47 # 97 ---> 81 (94) 53 # 98 ---> 97 (94) 47 # 81 ---> 82 (95) 53 # 97 ---> 81 (95) 14 # 6 ---> 22 (80) 61 # 7 ---> 6 (80) 61 # 6 ---> 5 (81) 61 # 5 ---> 4 (82) 61 # 4 ---> 3 (83) 61 # 3 ---> 2 (84) 61 # 2 ---> 18 (88) 61 # 18 ---> 34 (89) 61 # 34 ---> 50 (90) 61 # 50 ---> 66 (91) 53 # 81 ---> 65 (96) 47 # 82 ---> 81 (96) 61 # 66 ---> 82 (96) 53 # 65 ---> 66 (97) 47 # 81 ---> 65 (97) 47 # 65 ---> 64 (98) 53 # 66 ---> 65 (98) 25 # 33 ---> 34 (90) 26 # 49 ---> 33 (92) 26 # 33 ---> 32 (93) 25 # 34 ---> 33 (93) 40 # 17 ---> 18 (89) 25 # 33 ---> 17 (94) 22 # 128 ---> 129 (91) 22 # 129 ---> 113 (93) 29 # 145 ---> 129 (93) 35 # 144 ---> 145 (93) 29 # 129 ---> 128 (94) 35 # 145 ---> 129 (94) 46 # 193 ---> 177 (87) 41 # 209 ---> 193 (87) 60 # 48 ---> 49 (92) 26 # 32 ---> 48 (94) 60 # 49 ---> 33 (94) 53 # 65 ---> 49 (99) 47 # 64 ---> 65 (99) 26 # 48 ---> 64 (99) 53 # 49 ---> 48 (100) 47 # 65 ---> 49 (100) 33 # 80 ---> 81 (97) 26 # 64 ---> 80 (100) 26 # 80 ---> 96 (101) 26 # 96 ---> 112 (102) 33 # 81 ---> 65 (100) 22 # 113 ---> 97 (95) 35 # 129 ---> 113 (95) 29 # 128 ---> 129 (95) 26 # 112 ---> 128 (103) 26 # 128 ---> 144 (104) 26 # 144 ---> 160 (105) 26 # 160 ---> 176 (106) 26 # 176 ---> 192 (107) 26 # 192 ---> 208 (108) 26 # 208 ---> 209 (109) 26 # 209 ---> 225 (110) 26 # 225 ---> 224 (111) 25 # 17 ---> 0 (95) 60 # 33 ---> 17 (95) 47 # 49 ---> 33 (101) 53 # 48 ---> 49 (101) 46 # 177 ---> 161 (89) 41 # 193 ---> 177 (89) 46 # 161 ---> 145 (94) 41 # 177 ---> 161 (94) 14 # 22 ---> 6 (81) 14 # 6 ---> 7 (82) 28 # 19 ---> 3 (89) 28 # 3 ---> 4 (90) 40 # 18 ---> 2 (90) 40 # 2 ---> 3 (91) 25 # 0 ---> 2 (96) 60 # 17 ---> 0 (96) 46 # 145 ---> 144 (105) 41 # 161 ---> 145 (105) 47 # 33 ---> 17 (102) 53 # 49 ---> 33 (102) 33 # 65 ---> 49 (102) 22 # 97 ---> 81 (100) 35 # 113 ---> 97 (100) 29 # 129 ---> 113 (100) 41 # 145 ---> 129 (106) 46 # 144 ---> 145 (106) 47 # 17 ---> 16 (103) 47 # 16 ---> 32 (104) 47 # 32 ---> 48 (105) 47 # 48 ---> 64 (106) 47 # 64 ---> 80 (107) 47 # 80 ---> 96 (108) 47 # 96 ---> 112 (109) 47 # 112 ---> 128 (110) 47 # 128 ---> 144 (111) 41 # 129 ---> 128 (111) 46 # 145 ---> 129 (111) 47 # 144 ---> 145 (112) 47 # 145 ---> 161 (113) 60 # 0 ---> 1 (97) 53 # 33 ---> 17 (103) 33 # 49 ---> 33 (103) 22 # 81 ---> 65 (102) 35 # 97 ---> 81 (102) 29 # 113 ---> 97 (102) 46 # 129 ---> 113 (112) 41 # 128 ---> 129 (112) 47 # 161 ---> 160 (114) 60 # 1 ---> 16 (104) 60 # 16 ---> 32 (105) 60 # 32 ---> 48 (106) 60 # 48 ---> 64 (107) 60 # 64 ---> 80 (108) 60 # 80 ---> 96 (109) 60 # 96 ---> 112 (110) 60 # 112 ---> 128 (112) 46 # 113 ---> 112 (113) 41 # 129 ---> 113 (113) 60 # 128 ---> 129 (113) 60 # 129 ---> 145 (114) 14 # 7 ---> 8 (83) 28 # 4 ---> 5 (91) 40 # 3 ---> 4 (92) 25 # 2 ---> 3 (97) 53 # 17 ---> 0 (104) 33 # 33 ---> 17 (104) 22 # 65 ---> 49 (103) 35 # 81 ---> 65 (103) 29 # 97 ---> 81 (103) 41 # 113 ---> 97 (114) 46 # 112 ---> 113 (114) 60 # 145 ---> 144 (115) 14 # 8 ---> 9 (84) 28 # 5 ---> 6 (92) 40 # 4 ---> 5 (93) 25 # 3 ---> 4 (98) 53 # 0 ---> 2 (105) 41 # 97 ---> 96 (115) 46 # 113 ---> 97 (115) 22 # 49 ---> 33 (104) 35 # 65 ---> 49 (104) 29 # 81 ---> 65 (104) 46 # 97 ---> 81 (116) 41 # 96 ---> 97 (116) 46 # 81 ---> 80 (117) 41 # 97 ---> 81 (117) 33 # 17 ---> 0 (105) 22 # 33 ---> 17 (105) 35 # 49 ---> 33 (105) 29 # 65 ---> 49 (105) 41 # 81 ---> 65 (118) 46 # 80 ---> 81 (118) 25 # 4 ---> 20 (99) 53 # 2 ---> 3 (106) 33 # 0 ---> 2 (106) 41 # 65 ---> 64 (119) 46 # 81 ---> 65 (119) 28 # 6 ---> 22 (93) 25 # 20 ---> 21 (100) 53 # 3 ---> 19 (107) 53 # 19 ---> 20 (108) 33 # 2 ---> 18 (107) 33 # 18 ---> 19 (108) 22 # 17 ---> 0 (106) 35 # 33 ---> 17 (106) 29 # 49 ---> 33 (106) 46 # 65 ---> 49 (120) 41 # 64 ---> 65 (120) 40 # 5 ---> 6 (94) 25 # 21 ---> 5 (101) 28 # 22 ---> 21 (101) 40 # 6 ---> 22 (101) 25 # 5 ---> 6 (102) 53 # 20 ---> 4 (109) 28 # 21 ---> 20 (109) 53 # 4 ---> 5 (110) 33 # 19 ---> 3 (109) 28 # 20 ---> 19 (110) 28 # 19 ---> 18 (111) 33 # 3 ---> 4 (110) 22 # 0 ---> 2 (107) 35 # 17 ---> 0 (107) 28 # 18 ---> 17 (112) 28 # 17 ---> 16 (113) 28 # 16 ---> 32 (114) 28 # 32 ---> 48 (115) 28 # 48 ---> 64 (120) 46 # 49 ---> 48 (121) 41 # 65 ---> 49 (121) 28 # 64 ---> 65 (121) 28 # 65 ---> 81 (122) 40 # 22 ---> 23 (102) 25 # 6 ---> 22 (103) 53 # 5 ---> 21 (111) 22 # 2 ---> 18 (112) 22 # 18 ---> 19 (113) 29 # 33 ---> 17 (113) 41 # 49 ---> 33 (122) 46 # 48 ---> 49 (122) 28 # 81 ---> 80 (123) 53 # 21 ---> 20 (112) 33 # 4 ---> 5 (111) 22 # 19 ---> 3 (114) 53 # 20 ---> 19 (114) 53 # 19 ---> 18 (115) 22 # 3 ---> 4 (115) 35 # 0 ---> 2 (112) 29 # 17 ---> 0 (114) 53 # 18 ---> 17 (116) 53 # 17 ---> 16 (117) 53 # 16 ---> 32 (118) 53 # 32 ---> 48 (122) 41 # 33 ---> 17 (123) 46 # 49 ---> 33 (123) 53 # 48 ---> 49 (123) 53 # 49 ---> 65 (124) 22 # 4 ---> 20 (116) 33 # 5 ---> 4 (116) 33 # 4 ---> 3 (117) 35 # 2 ---> 18 (116) 33 # 3 ---> 2 (118) 35 # 18 ---> 19 (117) 41 # 17 ---> 18 (124) 29 # 0 ---> 17 (124) 33 # 2 ---> 0 (124) 33 # 0 ---> 1 (125) 33 # 1 ---> 16 (126) 33 # 16 ---> 32 (127) 33 # 32 ---> 48 (128) 33 # 48 ---> 49 (129) 53 # 65 ---> 64 (125) 33 # 49 ---> 65 (130) 29 # 17 ---> 16 (127) 29 # 16 ---> 32 (128) 46 # 33 ---> 17 (127) 29 # 32 ---> 33 (129) 29 # 33 ---> 49 (130) 29 # 49 ---> 48 (131) 46 # 17 ---> 0 (128) 14 # 9 ---> 10 (85) 14 # 10 ---> 26 (86) 40 # 23 ---> 7 (103) 40 # 7 ---> 8 (104) 40 # 8 ---> 9 (105) 40 # 9 ---> 10 (106) 40 # 10 ---> 11 (107) 40 # 11 ---> 12 (108) 40 # 12 ---> 13 (109) 32 # 29 ---> 28 (53) 40 # 13 ---> 29 (110) 40 # 29 ---> 30 (111) 40 # 30 ---> 14 (112) 32 # 28 ---> 27 (54) 14 # 26 ---> 10 (107) 32 # 27 ---> 26 (107) 46 # 0 ---> 2 (129) 46 # 2 ---> 3 (130) 46 # 3 ---> 4 (131) 46 # 4 ---> 5 (132) 46 # 5 ---> 6 (133) 46 # 6 ---> 7 (134) 46 # 7 ---> 8 (135) 46 # 8 ---> 9 (136) 32 # 26 ---> 25 (108) 14 # 10 ---> 26 (108) 46 # 9 ---> 10 (137) 46 # 10 ---> 11 (138) 46 # 11 ---> 27 (139) 46 # 27 ---> 28 (140) 32 # 25 ---> 9 (137) 14 # 26 ---> 25 (137) 14 # 25 ---> 24 (138) 32 # 9 ---> 25 (138) 14 # 24 ---> 8 (139) 32 # 25 ---> 24 (139) 32 # 24 ---> 23 (140) 14 # 8 ---> 24 (140) 32 # 23 ---> 7 (141) 14 # 24 ---> 23 (141) 32 # 7 ---> 6 (142) 32 # 6 ---> 5 (143) 25 # 22 ---> 6 (143) 25 # 6 ---> 7 (144) 14 # 23 ---> 22 (143) 25 # 7 ---> 23 (145) 25 # 23 ---> 24 (146) 32 # 5 ---> 4 (144) 25 # 24 ---> 8 (147) 41 # 18 ---> 2 (130) 41 # 2 ---> 3 (131) 35 # 19 ---> 18 (130) 22 # 20 ---> 19 (130) 32 # 4 ---> 20 (145) 41 # 3 ---> 4 (145) 41 # 4 ---> 5 (146) 41 # 5 ---> 6 (147) 14 # 22 ---> 21 (144) 41 # 6 ---> 22 (148) 41 # 22 ---> 23 (149) 35 # 18 ---> 2 (131) 35 # 2 ---> 3 (145) 35 # 3 ---> 4 (146) 35 # 4 ---> 5 (147) 35 # 5 ---> 6 (148) 35 # 6 ---> 22 (149) 41 # 23 ---> 7 (150) 35 # 22 ---> 23 (150) 32 # 20 ---> 4 (147) 32 # 4 ---> 5 (148) 14 # 21 ---> 20 (147) 32 # 5 ---> 21 (149) 32 # 21 ---> 22 (150) 32 # 22 ---> 6 (151) 22 # 19 ---> 3 (146) 14 # 20 ---> 19 (148) 22 # 3 ---> 4 (148) 22 # 4 ---> 20 (149) 22 # 20 ---> 21 (150) 14 # 19 ---> 3 (149) 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 = 0x7fff44d69c50, target = 0x21f6690) Arc: (edge = 0x7fff44d69c50, target = 0x21f6670) ] Edge 1 <-> 16 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6870) Arc: (edge = 0x7fff44d69c50, target = 0x21f6690) ] Edge 2 <-> 0 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6670) Arc: (edge = 0x7fff44d69c50, target = 0x21f66b0) ] Edge 3 <-> 2 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f66b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f66d0) ] Edge 4 <-> 3 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f66d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f66f0) ] Edge 5 <-> 4 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f66f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6710) ] Edge 6 <-> 5 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6710) Arc: (edge = 0x7fff44d69c50, target = 0x21f6730) ] Edge 7 <-> 6 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6730) Arc: (edge = 0x7fff44d69c50, target = 0x21f6750) ] Edge 8 <-> 7 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6750) Arc: (edge = 0x7fff44d69c50, target = 0x21f6770) ] Edge 9 <-> 8 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6770) Arc: (edge = 0x7fff44d69c50, target = 0x21f6790) ] Edge 10 <-> 9 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6790) Arc: (edge = 0x7fff44d69c50, target = 0x21f67b0) ] Edge 11 <-> 10 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f67b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f67d0) ] Edge 12 <-> 11 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f67d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f67f0) ] Edge 13 <-> 12 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f67f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6810) ] Edge 14 <-> 13 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6810) Arc: (edge = 0x7fff44d69c50, target = 0x21f6830) ] Edge 15 <-> 14 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6830) Arc: (edge = 0x7fff44d69c50, target = 0x21f6850) ] Edge 16 <-> 17 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6890) Arc: (edge = 0x7fff44d69c50, target = 0x21f6870) ] Edge 16 <-> 32 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6a70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6870) ] Edge 17 <-> 0 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6670) Arc: (edge = 0x7fff44d69c50, target = 0x21f6890) ] Edge 17 <-> 18 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f68b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6890) ] Edge 18 <-> 2 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f66b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68b0) ] Edge 18 <-> 19 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f68d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68b0) ] Edge 18 <-> 34 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ab0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68b0) ] Edge 19 <-> 3 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f66d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68d0) ] Edge 19 <-> 20 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f68f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68d0) ] Edge 19 <-> 35 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ad0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68d0) ] Edge 20 <-> 4 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f66f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68f0) ] Edge 20 <-> 21 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6910) Arc: (edge = 0x7fff44d69c50, target = 0x21f68f0) ] Edge 20 <-> 36 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6af0) Arc: (edge = 0x7fff44d69c50, target = 0x21f68f0) ] Edge 21 <-> 5 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6710) Arc: (edge = 0x7fff44d69c50, target = 0x21f6910) ] Edge 21 <-> 22 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6930) Arc: (edge = 0x7fff44d69c50, target = 0x21f6910) ] Edge 21 <-> 37 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6910) ] Edge 22 <-> 6 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6730) Arc: (edge = 0x7fff44d69c50, target = 0x21f6930) ] Edge 22 <-> 23 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6950) Arc: (edge = 0x7fff44d69c50, target = 0x21f6930) ] Edge 22 <-> 38 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6930) ] Edge 23 <-> 7 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6750) Arc: (edge = 0x7fff44d69c50, target = 0x21f6950) ] Edge 23 <-> 24 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6970) Arc: (edge = 0x7fff44d69c50, target = 0x21f6950) ] Edge 23 <-> 39 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6950) ] Edge 24 <-> 8 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6770) Arc: (edge = 0x7fff44d69c50, target = 0x21f6970) ] Edge 24 <-> 25 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6990) Arc: (edge = 0x7fff44d69c50, target = 0x21f6970) ] Edge 24 <-> 40 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6970) ] Edge 25 <-> 9 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6790) Arc: (edge = 0x7fff44d69c50, target = 0x21f6990) ] Edge 25 <-> 26 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f69b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6990) ] Edge 25 <-> 41 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6990) ] Edge 26 <-> 10 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f67b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69b0) ] Edge 26 <-> 27 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f69d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69b0) ] Edge 26 <-> 42 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6bb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69b0) ] Edge 27 <-> 11 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f67d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69d0) ] Edge 27 <-> 28 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f69f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69d0) ] Edge 27 <-> 43 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6bd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69d0) ] Edge 28 <-> 12 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f67f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69f0) ] Edge 28 <-> 29 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6a10) Arc: (edge = 0x7fff44d69c50, target = 0x21f69f0) ] Edge 28 <-> 44 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6bf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f69f0) ] Edge 29 <-> 13 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6810) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a10) ] Edge 29 <-> 30 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6a30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a10) ] Edge 29 <-> 45 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a10) ] Edge 30 <-> 14 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6830) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a30) ] Edge 30 <-> 31 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6a50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a30) ] Edge 30 <-> 46 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a30) ] Edge 31 <-> 15 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6850) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a50) ] Edge 31 <-> 47 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a50) ] Edge 32 <-> 33 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6a90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a70) ] Edge 32 <-> 48 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a70) ] Edge 33 <-> 17 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6890) Arc: (edge = 0x7fff44d69c50, target = 0x21f6a90) ] Edge 34 <-> 33 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6a90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ab0) ] Edge 34 <-> 50 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6cb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ab0) ] Edge 35 <-> 34 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ab0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ad0) ] Edge 35 <-> 51 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6cd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ad0) ] Edge 36 <-> 35 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ad0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6af0) ] Edge 36 <-> 52 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6cf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6af0) ] Edge 37 <-> 36 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6af0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b10) ] Edge 37 <-> 53 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b10) ] Edge 38 <-> 37 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b30) ] Edge 38 <-> 54 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b30) ] Edge 39 <-> 38 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b50) ] Edge 39 <-> 55 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b50) ] Edge 40 <-> 39 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b70) ] Edge 40 <-> 56 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b70) ] Edge 41 <-> 40 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b90) ] Edge 41 <-> 57 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6b90) ] Edge 42 <-> 41 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6b90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6bb0) ] Edge 42 <-> 58 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6db0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6bb0) ] Edge 43 <-> 42 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6bb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6bd0) ] Edge 43 <-> 59 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6dd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6bd0) ] Edge 44 <-> 43 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6bd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6bf0) ] Edge 44 <-> 60 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6df0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6bf0) ] Edge 45 <-> 44 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6bf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c10) ] Edge 45 <-> 61 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c10) ] Edge 46 <-> 45 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c30) ] Edge 46 <-> 62 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c30) ] Edge 47 <-> 46 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c50) ] Edge 47 <-> 63 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c50) ] Edge 48 <-> 49 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c70) ] Edge 48 <-> 64 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c70) ] Edge 49 <-> 33 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6a90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6c90) ] Edge 50 <-> 49 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6cb0) ] Edge 50 <-> 66 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6eb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6cb0) ] Edge 51 <-> 50 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6cb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6cd0) ] Edge 51 <-> 67 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ed0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6cd0) ] Edge 52 <-> 51 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6cd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6cf0) ] Edge 52 <-> 68 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ef0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6cf0) ] Edge 53 <-> 52 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6cf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d10) ] Edge 53 <-> 69 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d10) ] Edge 54 <-> 53 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d30) ] Edge 54 <-> 70 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d30) ] Edge 55 <-> 54 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d50) ] Edge 55 <-> 71 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d50) ] Edge 56 <-> 55 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d70) ] Edge 56 <-> 72 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d70) ] Edge 57 <-> 56 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d90) ] Edge 57 <-> 73 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6d90) ] Edge 58 <-> 57 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6d90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6db0) ] Edge 58 <-> 74 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6fb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6db0) ] Edge 59 <-> 58 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6db0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6dd0) ] Edge 59 <-> 75 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6fd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6dd0) ] Edge 60 <-> 59 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6dd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6df0) ] Edge 60 <-> 76 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ff0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6df0) ] Edge 61 <-> 60 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6df0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e10) ] Edge 61 <-> 77 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7010) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e10) ] Edge 62 <-> 61 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e30) ] Edge 62 <-> 78 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7030) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e30) ] Edge 63 <-> 62 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e50) ] Edge 63 <-> 79 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7050) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e50) ] Edge 64 <-> 65 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e70) ] Edge 64 <-> 80 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7070) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e70) ] Edge 65 <-> 49 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6c90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6e90) ] Edge 66 <-> 65 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6eb0) ] Edge 66 <-> 82 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f70b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6eb0) ] Edge 67 <-> 66 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6eb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ed0) ] Edge 67 <-> 83 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f70d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ed0) ] Edge 68 <-> 67 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ed0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ef0) ] Edge 68 <-> 84 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f70f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ef0) ] Edge 69 <-> 68 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ef0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f10) ] Edge 69 <-> 85 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7110) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f10) ] Edge 70 <-> 69 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f10) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f30) ] Edge 70 <-> 86 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7130) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f30) ] Edge 71 <-> 70 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f30) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f50) ] Edge 71 <-> 87 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7150) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f50) ] Edge 72 <-> 71 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f50) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f70) ] Edge 72 <-> 88 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7170) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f70) ] Edge 73 <-> 72 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f70) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f90) ] Edge 73 <-> 89 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7190) Arc: (edge = 0x7fff44d69c50, target = 0x21f6f90) ] Edge 74 <-> 73 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6f90) Arc: (edge = 0x7fff44d69c50, target = 0x21f6fb0) ] Edge 74 <-> 90 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f71b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6fb0) ] Edge 75 <-> 74 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6fb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6fd0) ] Edge 75 <-> 91 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f71d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6fd0) ] Edge 76 <-> 75 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6fd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ff0) ] Edge 76 <-> 92 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f71f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f6ff0) ] Edge 77 <-> 76 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6ff0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7010) ] Edge 77 <-> 93 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7210) Arc: (edge = 0x7fff44d69c50, target = 0x21f7010) ] Edge 78 <-> 77 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7010) Arc: (edge = 0x7fff44d69c50, target = 0x21f7030) ] Edge 78 <-> 94 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7230) Arc: (edge = 0x7fff44d69c50, target = 0x21f7030) ] Edge 79 <-> 78 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7030) Arc: (edge = 0x7fff44d69c50, target = 0x21f7050) ] Edge 79 <-> 95 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7250) Arc: (edge = 0x7fff44d69c50, target = 0x21f7050) ] Edge 80 <-> 81 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7090) Arc: (edge = 0x7fff44d69c50, target = 0x21f7070) ] Edge 80 <-> 96 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7270) Arc: (edge = 0x7fff44d69c50, target = 0x21f7070) ] Edge 81 <-> 65 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f6e90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7090) ] Edge 82 <-> 81 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7090) Arc: (edge = 0x7fff44d69c50, target = 0x21f70b0) ] Edge 82 <-> 98 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f72b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f70b0) ] Edge 83 <-> 82 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f70b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f70d0) ] Edge 83 <-> 99 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f72d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f70d0) ] Edge 84 <-> 83 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f70d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f70f0) ] Edge 84 <-> 100 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f72f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f70f0) ] Edge 85 <-> 84 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f70f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7110) ] Edge 85 <-> 101 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7310) Arc: (edge = 0x7fff44d69c50, target = 0x21f7110) ] Edge 86 <-> 85 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7110) Arc: (edge = 0x7fff44d69c50, target = 0x21f7130) ] Edge 86 <-> 102 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7330) Arc: (edge = 0x7fff44d69c50, target = 0x21f7130) ] Edge 87 <-> 86 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7130) Arc: (edge = 0x7fff44d69c50, target = 0x21f7150) ] Edge 87 <-> 103 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7350) Arc: (edge = 0x7fff44d69c50, target = 0x21f7150) ] Edge 88 <-> 87 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7150) Arc: (edge = 0x7fff44d69c50, target = 0x21f7170) ] Edge 88 <-> 104 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7370) Arc: (edge = 0x7fff44d69c50, target = 0x21f7170) ] Edge 89 <-> 88 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7170) Arc: (edge = 0x7fff44d69c50, target = 0x21f7190) ] Edge 89 <-> 105 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7390) Arc: (edge = 0x7fff44d69c50, target = 0x21f7190) ] Edge 90 <-> 89 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7190) Arc: (edge = 0x7fff44d69c50, target = 0x21f71b0) ] Edge 90 <-> 106 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f73b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f71b0) ] Edge 91 <-> 90 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f71b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f71d0) ] Edge 91 <-> 107 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f73d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f71d0) ] Edge 92 <-> 91 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f71d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f71f0) ] Edge 92 <-> 108 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f73f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f71f0) ] Edge 93 <-> 92 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f71f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7210) ] Edge 93 <-> 109 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7410) Arc: (edge = 0x7fff44d69c50, target = 0x21f7210) ] Edge 94 <-> 93 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7210) Arc: (edge = 0x7fff44d69c50, target = 0x21f7230) ] Edge 94 <-> 110 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7430) Arc: (edge = 0x7fff44d69c50, target = 0x21f7230) ] Edge 95 <-> 94 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7230) Arc: (edge = 0x7fff44d69c50, target = 0x21f7250) ] Edge 95 <-> 111 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7450) Arc: (edge = 0x7fff44d69c50, target = 0x21f7250) ] Edge 96 <-> 97 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7290) Arc: (edge = 0x7fff44d69c50, target = 0x21f7270) ] Edge 96 <-> 112 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7470) Arc: (edge = 0x7fff44d69c50, target = 0x21f7270) ] Edge 97 <-> 81 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7090) Arc: (edge = 0x7fff44d69c50, target = 0x21f7290) ] Edge 98 <-> 97 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7290) Arc: (edge = 0x7fff44d69c50, target = 0x21f72b0) ] Edge 98 <-> 114 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f74b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f72b0) ] Edge 99 <-> 98 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f72b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f72d0) ] Edge 99 <-> 115 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f74d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f72d0) ] Edge 100 <-> 99 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f72d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f72f0) ] Edge 100 <-> 116 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f74f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f72f0) ] Edge 101 <-> 100 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f72f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7310) ] Edge 101 <-> 117 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7510) Arc: (edge = 0x7fff44d69c50, target = 0x21f7310) ] Edge 102 <-> 101 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7310) Arc: (edge = 0x7fff44d69c50, target = 0x21f7330) ] Edge 102 <-> 118 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7530) Arc: (edge = 0x7fff44d69c50, target = 0x21f7330) ] Edge 103 <-> 102 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7330) Arc: (edge = 0x7fff44d69c50, target = 0x21f7350) ] Edge 103 <-> 119 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7550) Arc: (edge = 0x7fff44d69c50, target = 0x21f7350) ] Edge 104 <-> 103 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7350) Arc: (edge = 0x7fff44d69c50, target = 0x21f7370) ] Edge 104 <-> 120 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7570) Arc: (edge = 0x7fff44d69c50, target = 0x21f7370) ] Edge 105 <-> 104 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7370) Arc: (edge = 0x7fff44d69c50, target = 0x21f7390) ] Edge 105 <-> 121 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7590) Arc: (edge = 0x7fff44d69c50, target = 0x21f7390) ] Edge 106 <-> 105 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7390) Arc: (edge = 0x7fff44d69c50, target = 0x21f73b0) ] Edge 106 <-> 122 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f75b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f73b0) ] Edge 107 <-> 106 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f73b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f73d0) ] Edge 107 <-> 123 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f75d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f73d0) ] Edge 108 <-> 107 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f73d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f73f0) ] Edge 108 <-> 124 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f75f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f73f0) ] Edge 109 <-> 108 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f73f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7410) ] Edge 109 <-> 125 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7610) Arc: (edge = 0x7fff44d69c50, target = 0x21f7410) ] Edge 110 <-> 109 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7410) Arc: (edge = 0x7fff44d69c50, target = 0x21f7430) ] Edge 110 <-> 126 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7630) Arc: (edge = 0x7fff44d69c50, target = 0x21f7430) ] Edge 111 <-> 110 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7430) Arc: (edge = 0x7fff44d69c50, target = 0x21f7450) ] Edge 111 <-> 127 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7650) Arc: (edge = 0x7fff44d69c50, target = 0x21f7450) ] Edge 112 <-> 113 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7490) Arc: (edge = 0x7fff44d69c50, target = 0x21f7470) ] Edge 112 <-> 128 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7670) Arc: (edge = 0x7fff44d69c50, target = 0x21f7470) ] Edge 113 <-> 97 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7290) Arc: (edge = 0x7fff44d69c50, target = 0x21f7490) ] Edge 114 <-> 113 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7490) Arc: (edge = 0x7fff44d69c50, target = 0x21f74b0) ] Edge 114 <-> 130 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f76b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f74b0) ] Edge 115 <-> 114 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f74b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f74d0) ] Edge 115 <-> 131 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f76d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f74d0) ] Edge 116 <-> 115 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f74d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f74f0) ] Edge 116 <-> 132 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f76f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f74f0) ] Edge 117 <-> 116 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f74f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7510) ] Edge 117 <-> 133 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7710) Arc: (edge = 0x7fff44d69c50, target = 0x21f7510) ] Edge 118 <-> 117 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7510) Arc: (edge = 0x7fff44d69c50, target = 0x21f7530) ] Edge 118 <-> 134 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7730) Arc: (edge = 0x7fff44d69c50, target = 0x21f7530) ] Edge 119 <-> 118 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7530) Arc: (edge = 0x7fff44d69c50, target = 0x21f7550) ] Edge 119 <-> 135 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7750) Arc: (edge = 0x7fff44d69c50, target = 0x21f7550) ] Edge 120 <-> 119 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7550) Arc: (edge = 0x7fff44d69c50, target = 0x21f7570) ] Edge 120 <-> 136 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7770) Arc: (edge = 0x7fff44d69c50, target = 0x21f7570) ] Edge 121 <-> 120 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7570) Arc: (edge = 0x7fff44d69c50, target = 0x21f7590) ] Edge 121 <-> 137 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7790) Arc: (edge = 0x7fff44d69c50, target = 0x21f7590) ] Edge 122 <-> 121 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7590) Arc: (edge = 0x7fff44d69c50, target = 0x21f75b0) ] Edge 122 <-> 138 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f77b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f75b0) ] Edge 123 <-> 122 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f75b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f75d0) ] Edge 123 <-> 139 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f77d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f75d0) ] Edge 124 <-> 123 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f75d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f75f0) ] Edge 124 <-> 140 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f77f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f75f0) ] Edge 125 <-> 124 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f75f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7610) ] Edge 125 <-> 141 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7810) Arc: (edge = 0x7fff44d69c50, target = 0x21f7610) ] Edge 126 <-> 125 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7610) Arc: (edge = 0x7fff44d69c50, target = 0x21f7630) ] Edge 126 <-> 142 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7830) Arc: (edge = 0x7fff44d69c50, target = 0x21f7630) ] Edge 127 <-> 126 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7630) Arc: (edge = 0x7fff44d69c50, target = 0x21f7650) ] Edge 127 <-> 143 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7850) Arc: (edge = 0x7fff44d69c50, target = 0x21f7650) ] Edge 128 <-> 129 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7690) Arc: (edge = 0x7fff44d69c50, target = 0x21f7670) ] Edge 128 <-> 144 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7870) Arc: (edge = 0x7fff44d69c50, target = 0x21f7670) ] Edge 129 <-> 113 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7490) Arc: (edge = 0x7fff44d69c50, target = 0x21f7690) ] Edge 130 <-> 129 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7690) Arc: (edge = 0x7fff44d69c50, target = 0x21f76b0) ] Edge 130 <-> 146 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f78b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f76b0) ] Edge 131 <-> 130 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f76b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f76d0) ] Edge 131 <-> 147 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f78d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f76d0) ] Edge 132 <-> 131 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f76d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f76f0) ] Edge 132 <-> 148 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f78f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f76f0) ] Edge 133 <-> 132 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f76f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7710) ] Edge 133 <-> 149 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7910) Arc: (edge = 0x7fff44d69c50, target = 0x21f7710) ] Edge 134 <-> 133 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7710) Arc: (edge = 0x7fff44d69c50, target = 0x21f7730) ] Edge 134 <-> 150 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7930) Arc: (edge = 0x7fff44d69c50, target = 0x21f7730) ] Edge 135 <-> 134 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7730) Arc: (edge = 0x7fff44d69c50, target = 0x21f7750) ] Edge 135 <-> 151 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7950) Arc: (edge = 0x7fff44d69c50, target = 0x21f7750) ] Edge 136 <-> 135 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7750) Arc: (edge = 0x7fff44d69c50, target = 0x21f7770) ] Edge 136 <-> 152 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7970) Arc: (edge = 0x7fff44d69c50, target = 0x21f7770) ] Edge 137 <-> 136 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7770) Arc: (edge = 0x7fff44d69c50, target = 0x21f7790) ] Edge 137 <-> 153 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7990) Arc: (edge = 0x7fff44d69c50, target = 0x21f7790) ] Edge 138 <-> 137 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7790) Arc: (edge = 0x7fff44d69c50, target = 0x21f77b0) ] Edge 138 <-> 154 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f79b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f77b0) ] Edge 139 <-> 138 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f77b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f77d0) ] Edge 139 <-> 155 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f79d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f77d0) ] Edge 140 <-> 139 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f77d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f77f0) ] Edge 140 <-> 156 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f79f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f77f0) ] Edge 141 <-> 140 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f77f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7810) ] Edge 141 <-> 157 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7810) ] Edge 142 <-> 141 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7810) Arc: (edge = 0x7fff44d69c50, target = 0x21f7830) ] Edge 142 <-> 158 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7830) ] Edge 143 <-> 142 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7830) Arc: (edge = 0x7fff44d69c50, target = 0x21f7850) ] Edge 143 <-> 159 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7850) ] Edge 144 <-> 145 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7890) Arc: (edge = 0x7fff44d69c50, target = 0x21f7870) ] Edge 144 <-> 160 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7870) ] Edge 145 <-> 129 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7690) Arc: (edge = 0x7fff44d69c50, target = 0x21f7890) ] Edge 146 <-> 145 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7890) Arc: (edge = 0x7fff44d69c50, target = 0x21f78b0) ] Edge 146 <-> 162 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ab0) Arc: (edge = 0x7fff44d69c50, target = 0x21f78b0) ] Edge 147 <-> 146 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f78b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f78d0) ] Edge 147 <-> 163 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ad0) Arc: (edge = 0x7fff44d69c50, target = 0x21f78d0) ] Edge 148 <-> 147 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f78d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f78f0) ] Edge 148 <-> 164 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7af0) Arc: (edge = 0x7fff44d69c50, target = 0x21f78f0) ] Edge 149 <-> 148 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f78f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7910) ] Edge 149 <-> 165 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7910) ] Edge 150 <-> 149 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7910) Arc: (edge = 0x7fff44d69c50, target = 0x21f7930) ] Edge 150 <-> 166 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7930) ] Edge 151 <-> 150 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7930) Arc: (edge = 0x7fff44d69c50, target = 0x21f7950) ] Edge 151 <-> 167 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7950) ] Edge 152 <-> 151 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7950) Arc: (edge = 0x7fff44d69c50, target = 0x21f7970) ] Edge 152 <-> 168 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7970) ] Edge 153 <-> 152 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7970) Arc: (edge = 0x7fff44d69c50, target = 0x21f7990) ] Edge 153 <-> 169 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7990) ] Edge 154 <-> 153 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7990) Arc: (edge = 0x7fff44d69c50, target = 0x21f79b0) ] Edge 154 <-> 170 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7bb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f79b0) ] Edge 155 <-> 154 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f79b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f79d0) ] Edge 155 <-> 171 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7bd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f79d0) ] Edge 156 <-> 155 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f79d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f79f0) ] Edge 156 <-> 172 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7bf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f79f0) ] Edge 157 <-> 156 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f79f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a10) ] Edge 157 <-> 173 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a10) ] Edge 158 <-> 157 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a30) ] Edge 158 <-> 174 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a30) ] Edge 159 <-> 158 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a50) ] Edge 159 <-> 175 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a50) ] Edge 160 <-> 161 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a70) ] Edge 160 <-> 176 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a70) ] Edge 161 <-> 145 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7890) Arc: (edge = 0x7fff44d69c50, target = 0x21f7a90) ] Edge 162 <-> 161 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ab0) ] Edge 162 <-> 178 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7cb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ab0) ] Edge 163 <-> 162 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ab0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ad0) ] Edge 163 <-> 179 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7cd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ad0) ] Edge 164 <-> 163 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ad0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7af0) ] Edge 164 <-> 180 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7cf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7af0) ] Edge 165 <-> 164 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7af0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b10) ] Edge 165 <-> 181 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b10) ] Edge 166 <-> 165 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b30) ] Edge 166 <-> 182 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b30) ] Edge 167 <-> 166 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b50) ] Edge 167 <-> 183 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b50) ] Edge 168 <-> 167 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b70) ] Edge 168 <-> 184 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b70) ] Edge 169 <-> 168 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b90) ] Edge 169 <-> 185 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7b90) ] Edge 170 <-> 169 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7b90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7bb0) ] Edge 170 <-> 186 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7db0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7bb0) ] Edge 171 <-> 170 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7bb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7bd0) ] Edge 171 <-> 187 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7dd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7bd0) ] Edge 172 <-> 171 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7bd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7bf0) ] Edge 172 <-> 188 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7df0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7bf0) ] Edge 173 <-> 172 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7bf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c10) ] Edge 173 <-> 189 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c10) ] Edge 174 <-> 173 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c30) ] Edge 174 <-> 190 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c30) ] Edge 175 <-> 174 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c50) ] Edge 175 <-> 191 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c50) ] Edge 176 <-> 177 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c70) ] Edge 176 <-> 192 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c70) ] Edge 177 <-> 161 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7a90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7c90) ] Edge 178 <-> 177 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7cb0) ] Edge 178 <-> 194 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7eb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7cb0) ] Edge 179 <-> 178 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7cb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7cd0) ] Edge 179 <-> 195 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ed0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7cd0) ] Edge 180 <-> 179 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7cd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7cf0) ] Edge 180 <-> 196 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ef0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7cf0) ] Edge 181 <-> 180 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7cf0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d10) ] Edge 181 <-> 197 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d10) ] Edge 182 <-> 181 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d30) ] Edge 182 <-> 198 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d30) ] Edge 183 <-> 182 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d50) ] Edge 183 <-> 199 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d50) ] Edge 184 <-> 183 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d70) ] Edge 184 <-> 200 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d70) ] Edge 185 <-> 184 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d90) ] Edge 185 <-> 201 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7d90) ] Edge 186 <-> 185 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7d90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7db0) ] Edge 186 <-> 202 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7fb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7db0) ] Edge 187 <-> 186 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7db0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7dd0) ] Edge 187 <-> 203 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7fd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7dd0) ] Edge 188 <-> 187 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7dd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7df0) ] Edge 188 <-> 204 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ff0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7df0) ] Edge 189 <-> 188 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7df0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e10) ] Edge 189 <-> 205 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8010) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e10) ] Edge 190 <-> 189 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e30) ] Edge 190 <-> 206 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8030) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e30) ] Edge 191 <-> 190 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e50) ] Edge 191 <-> 207 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8050) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e50) ] Edge 192 <-> 193 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e70) ] Edge 192 <-> 208 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8070) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e70) ] Edge 193 <-> 177 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7c90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7e90) ] Edge 194 <-> 193 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7eb0) ] Edge 194 <-> 210 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f80b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7eb0) ] Edge 195 <-> 194 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7eb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ed0) ] Edge 195 <-> 211 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f80d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ed0) ] Edge 196 <-> 195 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ed0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ef0) ] Edge 196 <-> 212 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f80f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ef0) ] Edge 197 <-> 196 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ef0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f10) ] Edge 197 <-> 213 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8110) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f10) ] Edge 198 <-> 197 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f10) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f30) ] Edge 198 <-> 214 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8130) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f30) ] Edge 199 <-> 198 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f30) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f50) ] Edge 199 <-> 215 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8150) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f50) ] Edge 200 <-> 199 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f50) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f70) ] Edge 200 <-> 216 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8170) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f70) ] Edge 201 <-> 200 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f70) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f90) ] Edge 201 <-> 217 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8190) Arc: (edge = 0x7fff44d69c50, target = 0x21f7f90) ] Edge 202 <-> 201 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7f90) Arc: (edge = 0x7fff44d69c50, target = 0x21f7fb0) ] Edge 202 <-> 218 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f81b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7fb0) ] Edge 203 <-> 202 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7fb0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7fd0) ] Edge 203 <-> 219 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f81d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7fd0) ] Edge 204 <-> 203 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7fd0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ff0) ] Edge 204 <-> 220 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f81f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f7ff0) ] Edge 205 <-> 204 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7ff0) Arc: (edge = 0x7fff44d69c50, target = 0x21f8010) ] Edge 205 <-> 221 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8210) Arc: (edge = 0x7fff44d69c50, target = 0x21f8010) ] Edge 206 <-> 205 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8010) Arc: (edge = 0x7fff44d69c50, target = 0x21f8030) ] Edge 206 <-> 222 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8230) Arc: (edge = 0x7fff44d69c50, target = 0x21f8030) ] Edge 207 <-> 206 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8030) Arc: (edge = 0x7fff44d69c50, target = 0x21f8050) ] Edge 207 <-> 223 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8250) Arc: (edge = 0x7fff44d69c50, target = 0x21f8050) ] Edge 208 <-> 209 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8090) Arc: (edge = 0x7fff44d69c50, target = 0x21f8070) ] Edge 208 <-> 224 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8270) Arc: (edge = 0x7fff44d69c50, target = 0x21f8070) ] Edge 209 <-> 193 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f7e90) Arc: (edge = 0x7fff44d69c50, target = 0x21f8090) ] Edge 210 <-> 209 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8090) Arc: (edge = 0x7fff44d69c50, target = 0x21f80b0) ] Edge 210 <-> 226 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f82b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f80b0) ] Edge 211 <-> 210 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f80b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f80d0) ] Edge 211 <-> 227 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f82d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f80d0) ] Edge 212 <-> 211 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f80d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f80f0) ] Edge 212 <-> 228 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f82f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f80f0) ] Edge 213 <-> 212 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f80f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f8110) ] Edge 213 <-> 229 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8310) Arc: (edge = 0x7fff44d69c50, target = 0x21f8110) ] Edge 214 <-> 213 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8110) Arc: (edge = 0x7fff44d69c50, target = 0x21f8130) ] Edge 214 <-> 230 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8330) Arc: (edge = 0x7fff44d69c50, target = 0x21f8130) ] Edge 215 <-> 214 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8130) Arc: (edge = 0x7fff44d69c50, target = 0x21f8150) ] Edge 215 <-> 231 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8350) Arc: (edge = 0x7fff44d69c50, target = 0x21f8150) ] Edge 216 <-> 215 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8150) Arc: (edge = 0x7fff44d69c50, target = 0x21f8170) ] Edge 216 <-> 232 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8370) Arc: (edge = 0x7fff44d69c50, target = 0x21f8170) ] Edge 217 <-> 216 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8170) Arc: (edge = 0x7fff44d69c50, target = 0x21f8190) ] Edge 217 <-> 233 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8390) Arc: (edge = 0x7fff44d69c50, target = 0x21f8190) ] Edge 218 <-> 217 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8190) Arc: (edge = 0x7fff44d69c50, target = 0x21f81b0) ] Edge 218 <-> 234 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f83b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f81b0) ] Edge 219 <-> 218 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f81b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f81d0) ] Edge 219 <-> 235 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f83d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f81d0) ] Edge 220 <-> 219 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f81d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f81f0) ] Edge 220 <-> 236 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f83f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f81f0) ] Edge 221 <-> 220 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f81f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f8210) ] Edge 221 <-> 237 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8410) Arc: (edge = 0x7fff44d69c50, target = 0x21f8210) ] Edge 222 <-> 221 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8210) Arc: (edge = 0x7fff44d69c50, target = 0x21f8230) ] Edge 222 <-> 238 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8430) Arc: (edge = 0x7fff44d69c50, target = 0x21f8230) ] Edge 223 <-> 222 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8230) Arc: (edge = 0x7fff44d69c50, target = 0x21f8250) ] Edge 223 <-> 239 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8450) Arc: (edge = 0x7fff44d69c50, target = 0x21f8250) ] Edge 224 <-> 225 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8290) Arc: (edge = 0x7fff44d69c50, target = 0x21f8270) ] Edge 224 <-> 240 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8470) Arc: (edge = 0x7fff44d69c50, target = 0x21f8270) ] Edge 225 <-> 209 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8090) Arc: (edge = 0x7fff44d69c50, target = 0x21f8290) ] Edge 226 <-> 225 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8290) Arc: (edge = 0x7fff44d69c50, target = 0x21f82b0) ] Edge 226 <-> 242 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f84b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f82b0) ] Edge 227 <-> 226 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f82b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f82d0) ] Edge 227 <-> 243 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f84d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f82d0) ] Edge 228 <-> 227 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f82d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f82f0) ] Edge 228 <-> 244 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f84f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f82f0) ] Edge 229 <-> 228 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f82f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f8310) ] Edge 229 <-> 245 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8510) Arc: (edge = 0x7fff44d69c50, target = 0x21f8310) ] Edge 230 <-> 229 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8310) Arc: (edge = 0x7fff44d69c50, target = 0x21f8330) ] Edge 230 <-> 246 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8530) Arc: (edge = 0x7fff44d69c50, target = 0x21f8330) ] Edge 231 <-> 230 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8330) Arc: (edge = 0x7fff44d69c50, target = 0x21f8350) ] Edge 231 <-> 247 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8550) Arc: (edge = 0x7fff44d69c50, target = 0x21f8350) ] Edge 232 <-> 231 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8350) Arc: (edge = 0x7fff44d69c50, target = 0x21f8370) ] Edge 232 <-> 248 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8570) Arc: (edge = 0x7fff44d69c50, target = 0x21f8370) ] Edge 233 <-> 232 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8370) Arc: (edge = 0x7fff44d69c50, target = 0x21f8390) ] Edge 233 <-> 249 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8590) Arc: (edge = 0x7fff44d69c50, target = 0x21f8390) ] Edge 234 <-> 233 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8390) Arc: (edge = 0x7fff44d69c50, target = 0x21f83b0) ] Edge 234 <-> 250 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f85b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f83b0) ] Edge 235 <-> 234 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f83b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f83d0) ] Edge 235 <-> 251 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f85d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f83d0) ] Edge 236 <-> 235 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f83d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f83f0) ] Edge 236 <-> 252 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f85f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f83f0) ] Edge 237 <-> 236 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f83f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f8410) ] Edge 237 <-> 253 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8610) Arc: (edge = 0x7fff44d69c50, target = 0x21f8410) ] Edge 238 <-> 237 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8410) Arc: (edge = 0x7fff44d69c50, target = 0x21f8430) ] Edge 238 <-> 254 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8630) Arc: (edge = 0x7fff44d69c50, target = 0x21f8430) ] Edge 239 <-> 238 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8430) Arc: (edge = 0x7fff44d69c50, target = 0x21f8450) ] Edge 239 <-> 255 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8650) Arc: (edge = 0x7fff44d69c50, target = 0x21f8450) ] Edge 240 <-> 241 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8490) Arc: (edge = 0x7fff44d69c50, target = 0x21f8470) ] Edge 241 <-> 225 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8290) Arc: (edge = 0x7fff44d69c50, target = 0x21f8490) ] Edge 242 <-> 241 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8490) Arc: (edge = 0x7fff44d69c50, target = 0x21f84b0) ] Edge 243 <-> 242 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f84b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f84d0) ] Edge 244 <-> 243 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f84d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f84f0) ] Edge 245 <-> 244 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f84f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f8510) ] Edge 246 <-> 245 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8510) Arc: (edge = 0x7fff44d69c50, target = 0x21f8530) ] Edge 247 <-> 246 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8530) Arc: (edge = 0x7fff44d69c50, target = 0x21f8550) ] Edge 248 <-> 247 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8550) Arc: (edge = 0x7fff44d69c50, target = 0x21f8570) ] Edge 249 <-> 248 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8570) Arc: (edge = 0x7fff44d69c50, target = 0x21f8590) ] Edge 250 <-> 249 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8590) Arc: (edge = 0x7fff44d69c50, target = 0x21f85b0) ] Edge 251 <-> 250 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f85b0) Arc: (edge = 0x7fff44d69c50, target = 0x21f85d0) ] Edge 252 <-> 251 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f85d0) Arc: (edge = 0x7fff44d69c50, target = 0x21f85f0) ] Edge 253 <-> 252 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f85f0) Arc: (edge = 0x7fff44d69c50, target = 0x21f8610) ] Edge 254 <-> 253 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8610) Arc: (edge = 0x7fff44d69c50, target = 0x21f8630) ] Edge 255 <-> 254 [ Arc: (edge = 0x7fff44d69c50, target = 0x21f8630) Arc: (edge = 0x7fff44d69c50, target = 0x21f8650) ] ] Robot arrangement: (|R| = 65, |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 } 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 0#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 0#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| = 65, |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 } 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 0#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 0#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 = 1595 Produced CNF variables = 0 Produced CNF clauses = 0 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] 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 = 31221 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.050 ] } ] ----------------------------------------------------------------