#BEGIN: [Mon Sep 4 22:19:47 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance017_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat c /benchmark/random_instance/random_instance017_graph002.col c /benchmark/random_instance/random_instance017_graph002_01.dat s 27 198 201 34 83 193 131 166 186 120 59 47 183 65 179 72 220 43 147 194 116 66 85 41 2 168 144 35 62 132 154 24 68 4 213 200 8 216 187 167 75 100 42 38 32 71 188 19 180 61 33 139 122 114 6 143 90 81 22 7 111 137 181 26 88 164 5 196 60 t 156 61 198 191 202 131 212 162 44 158 51 119 137 50 148 12 147 153 42 108 129 64 71 99 66 19 207 83 216 116 139 163 187 179 174 84 90 31 117 29 160 63 181 112 5 110 10 188 159 27 59 20 169 8 140 197 210 189 18 164 199 88 193 79 6 176 142 48 73 a YES a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 153 154 164 167 168 169 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 153 154 164 166 167 168 169 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 151 153 164 166 167 168 169 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 151 153 161 164 166 167 168 169 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 151 153 154 164 166 167 168 169 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 198 200 201 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 198 200 201 216 220 a 4 5 6 7 8 19 20 22 24 26 27 32 33 34 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 149 151 153 154 157 164 166 167 169 180 181 183 186 187 188 193 194 196 198 200 201 216 220 a 4 5 6 7 8 19 20 22 24 26 27 32 33 34 38 41 42 43 47 59 60 61 62 65 66 68 69 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 143 144 147 149 151 153 154 157 164 166 167 169 180 181 183 186 187 188 193 194 196 198 200 201 216 220 a 4 5 6 7 8 19 20 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 69 72 75 81 83 85 88 90 100 111 114 116 122 131 132 137 143 144 147 149 151 153 154 157 164 166 167 169 180 181 183 186 187 188 193 194 196 198 200 201 216 220 a 4 5 6 7 8 19 20 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 69 72 75 81 83 85 88 90 100 111 114 116 122 131 132 137 143 144 147 149 151 153 154 157 164 166 167 180 181 183 186 187 188 193 194 196 198 200 201 207 216 220 a 4 5 6 7 8 19 20 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 69 72 75 81 83 85 88 90 100 111 114 116 122 131 132 137 138 143 147 149 151 153 154 157 164 166 167 180 181 183 186 187 188 193 194 196 198 200 201 207 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 69 72 75 81 83 85 88 90 100 111 114 116 122 131 132 137 138 143 147 149 151 153 154 157 164 166 167 169 180 181 183 186 187 188 193 194 196 198 200 201 207 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 69 72 75 81 83 85 88 90 100 111 114 116 122 131 132 137 143 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 198 200 201 207 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 69 72 75 81 83 85 88 90 100 114 116 122 131 132 137 143 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 198 200 201 204 207 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 69 72 75 81 83 85 88 90 100 114 116 122 131 132 137 143 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 216 220 a 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 59 60 61 62 65 66 69 72 75 81 83 85 88 90 100 114 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 216 220 a 4 5 6 7 8 16 19 22 24 26 27 32 33 34 35 38 41 42 43 59 60 61 62 65 66 69 72 75 81 85 88 90 100 114 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 216 220 a 4 5 6 7 8 16 19 22 24 26 27 32 33 34 35 38 41 42 43 59 60 61 62 65 69 72 75 80 81 85 88 90 100 114 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 216 220 a 4 5 7 8 16 19 22 24 26 27 32 33 34 35 38 41 42 43 59 60 61 62 65 69 72 75 80 81 85 88 90 100 114 116 122 131 132 137 138 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 216 220 a 4 5 7 8 16 19 22 24 26 27 32 33 34 35 38 41 42 43 57 59 60 61 62 65 69 72 75 80 81 85 88 90 100 114 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 216 220 a 4 5 7 8 16 19 22 24 26 27 32 33 34 35 38 41 42 43 57 59 60 61 62 65 69 72 75 80 81 85 88 90 100 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 214 216 220 a 4 5 7 8 16 19 22 23 24 26 27 32 33 34 35 38 41 42 43 57 59 60 61 62 65 69 72 75 80 81 85 90 100 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 214 216 220 a 4 5 7 8 16 19 20 22 23 24 26 27 32 33 34 35 38 41 42 43 57 59 60 61 62 65 69 72 75 80 81 85 90 100 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 169 180 181 183 186 187 188 193 194 196 197 198 200 201 204 207 214 216 220 a 4 5 7 8 16 19 20 22 23 24 26 27 32 33 34 35 38 41 42 43 57 59 60 61 62 65 69 72 75 80 81 85 90 100 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 7 8 16 19 22 23 24 26 27 32 33 34 35 38 41 42 43 57 59 60 61 62 65 69 72 75 80 81 85 90 100 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 8 16 19 22 23 24 26 27 32 33 34 35 38 40 41 42 43 57 59 60 61 62 65 69 72 75 80 81 85 90 100 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 8 16 19 22 23 24 26 27 32 33 34 35 38 40 41 42 43 57 59 60 61 62 65 69 75 80 81 85 90 100 101 116 122 131 132 137 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 8 16 19 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 69 75 80 81 85 90 100 101 116 122 131 132 137 138 143 146 147 149 151 153 154 157 164 166 167 168 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 8 16 19 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 69 75 80 81 85 90 100 101 116 122 131 132 137 143 146 147 149 151 153 154 157 161 164 166 167 168 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 69 75 80 81 85 90 100 101 116 122 131 132 137 143 146 147 149 151 153 154 157 161 164 166 167 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 69 75 80 81 85 90 100 101 116 122 123 131 132 137 143 147 149 151 153 154 157 161 164 166 167 169 180 181 186 187 188 193 194 196 197 198 200 201 204 207 211 214 216 220 a 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 69 74 75 80 81 85 90 100 101 116 122 123 131 132 137 143 147 149 151 153 154 157 161 164 166 167 169 180 181 186 187 193 194 196 197 198 200 201 204 207 211 214 216 220 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 69 74 75 80 81 85 90 100 101 116 122 123 132 137 143 147 149 151 153 154 157 161 164 166 167 169 180 181 186 187 193 194 196 197 198 200 201 204 207 211 214 216 220 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 69 74 75 80 81 85 90 100 101 116 122 123 132 137 143 144 147 149 151 153 154 157 161 164 166 167 169 180 181 186 187 193 194 196 197 198 200 201 204 207 211 214 216 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 40 41 42 43 59 60 61 62 65 69 74 75 78 80 81 85 90 100 101 116 122 123 132 137 143 144 147 149 151 153 154 157 161 164 166 167 169 180 181 186 187 193 194 196 197 198 200 201 204 207 211 214 216 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 40 41 42 43 59 60 61 62 65 69 74 75 78 80 81 85 90 100 101 116 121 123 132 137 143 144 147 149 151 153 154 157 161 164 166 167 169 180 181 186 187 193 194 196 197 198 200 201 204 207 211 214 216 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 39 40 41 42 43 59 60 61 62 65 69 74 75 78 80 81 85 90 100 101 116 121 123 132 137 143 144 147 149 151 153 154 157 161 164 166 167 169 180 181 186 193 194 196 197 198 200 201 204 207 211 214 216 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 39 40 41 42 43 59 60 61 62 65 68 69 74 75 78 80 81 85 90 100 101 116 121 123 132 137 143 144 147 149 151 153 154 157 161 164 166 167 169 180 181 186 193 194 196 198 200 201 204 207 211 214 216 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 39 40 41 42 43 59 60 61 62 65 68 69 74 75 78 80 81 85 90 100 101 116 121 123 132 137 143 144 147 149 151 154 157 161 164 166 167 169 180 181 184 186 193 194 196 198 200 201 204 207 211 214 216 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 40 41 42 43 59 60 61 62 65 68 69 74 75 78 80 81 85 90 100 101 116 121 123 132 137 143 144 147 149 151 154 157 161 164 166 167 169 180 181 184 186 187 193 194 196 198 200 201 204 207 211 214 216 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 40 41 42 43 59 60 61 62 65 68 69 74 75 78 80 81 85 90 100 101 116 121 123 132 137 143 144 147 149 151 154 157 161 164 166 167 169 180 181 184 186 187 193 194 196 198 200 201 204 207 211 214 220 a 3 4 5 8 16 19 20 22 23 24 26 27 32 33 34 35 40 41 42 43 59 60 61 62 65 68 69 74 75 78 80 81 84 85 90 100 101 116 121 123 137 143 144 147 149 151 154 157 161 164 166 167 169 180 181 184 186 187 193 194 196 198 200 201 204 207 211 214 220 a 3 4 5 8 16 17 19 20 22 23 24 26 27 32 33 34 35 40 41 42 43 59 60 61 62 65 68 69 74 75 78 80 81 84 85 90 100 101 116 121 123 137 143 144 147 149 151 154 157 161 164 166 167 169 180 181 184 186 187 193 194 196 198 200 201 204 211 214 220 a 3 4 5 8 16 17 19 20 22 23 24 26 27 32 33 34 35 38 40 41 42 43 59 60 61 62 65 68 69 74 75 80 81 84 85 90 100 101 116 121 123 137 143 144 147 149 151 154 157 161 164 166 167 169 180 181 184 186 187 193 194 196 198 200 201 204 211 214 220 a 3 4 5 8 16 17 19 20 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 68 69 74 75 80 81 84 85 90 100 101 116 121 123 137 143 144 147 149 151 154 157 161 164 166 167 169 180 181 184 186 193 194 196 198 200 201 204 211 214 220 a 3 4 5 8 16 17 19 20 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 68 69 74 75 80 81 84 85 90 100 101 116 121 123 137 143 144 147 149 151 154 157 161 166 167 169 180 181 184 186 193 194 196 198 200 201 204 211 214 220 221 a 3 4 5 8 16 17 19 20 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 68 69 74 75 80 81 84 85 90 100 116 121 123 137 143 144 147 149 151 154 157 161 166 167 169 180 181 184 186 193 194 196 198 200 201 204 211 214 216 220 221 a 3 4 5 8 16 17 19 20 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 74 75 80 81 84 85 90 100 116 121 123 137 143 144 147 149 151 154 157 161 166 167 169 180 181 184 186 193 194 196 197 198 200 201 204 211 214 216 220 221 a 3 4 5 8 16 17 19 20 22 23 24 26 27 31 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 74 75 80 81 84 85 90 100 116 121 123 137 143 144 147 149 151 154 157 161 167 169 180 181 184 186 193 194 196 197 198 200 201 204 211 214 216 220 221 a 3 4 5 8 16 17 19 20 22 23 24 26 27 31 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 74 75 80 81 84 90 100 116 121 123 137 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 8 16 17 19 20 22 23 24 26 27 31 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 74 75 80 81 84 90 100 116 121 123 137 140 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 16 17 19 20 22 23 24 26 27 31 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 74 75 80 81 84 90 100 116 121 123 125 137 140 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 16 17 19 20 22 23 24 26 27 31 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 125 137 140 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 221 a 4 5 16 17 19 20 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 125 137 140 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 6 16 17 19 20 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 125 137 140 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 6 16 17 19 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 125 137 140 141 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 6 16 17 19 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 125 137 140 141 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 221 a 4 5 6 17 19 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 125 137 140 141 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 221 a 4 5 6 17 19 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 137 140 141 143 144 147 149 151 154 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 6 17 19 22 23 24 26 27 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 82 84 90 100 116 121 123 137 140 141 143 144 147 149 151 154 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 6 17 19 22 23 24 26 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 82 84 90 100 116 121 123 137 140 141 143 144 147 149 151 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 204 211 214 216 220 221 a 4 5 6 17 19 22 24 26 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 82 84 90 100 116 121 123 137 140 141 143 144 147 149 151 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 204 209 211 214 216 220 221 a 4 5 6 17 19 22 24 26 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 132 137 140 141 143 144 147 149 151 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 204 209 211 214 216 220 221 a 4 5 6 17 19 22 24 26 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 121 123 125 132 137 140 141 143 144 147 149 151 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 204 209 211 214 216 221 a 4 5 6 17 19 22 24 26 32 33 34 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 119 121 123 125 132 137 140 141 143 144 147 149 151 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 209 211 214 216 221 a 3 4 5 6 17 19 22 24 26 32 33 35 38 39 40 41 42 43 47 59 60 61 62 65 69 72 74 75 80 81 84 90 100 116 119 121 123 125 132 137 140 141 143 144 147 149 151 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 209 211 214 216 221 a 3 4 5 6 17 19 22 24 26 32 33 35 38 39 40 41 42 43 47 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 116 119 121 125 132 137 140 141 143 144 147 149 151 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 209 211 214 216 221 a 3 4 5 6 17 19 22 24 26 32 33 35 38 39 40 41 42 43 47 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 116 119 121 125 132 137 139 140 141 143 144 147 149 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 209 211 214 216 221 a 3 4 5 6 17 19 22 24 26 32 33 35 38 39 40 41 42 43 47 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 116 119 121 125 132 137 139 140 141 143 144 147 149 154 155 157 161 167 180 181 184 186 189 193 194 196 197 198 200 201 209 211 214 216 220 a 3 4 6 17 19 22 24 26 32 33 35 38 39 40 41 42 43 47 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 116 119 121 125 132 137 139 140 141 143 144 147 149 154 155 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 214 216 220 a 3 4 6 17 19 22 24 26 32 33 35 38 39 40 41 42 43 47 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 116 119 121 125 132 137 139 140 141 143 144 147 149 154 155 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 216 220 a 3 4 6 17 19 22 24 26 32 33 38 39 40 41 42 43 47 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 116 119 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 167 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 216 220 a 3 4 6 17 19 22 24 26 32 33 38 39 40 41 42 43 47 50 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 116 119 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 216 220 a 3 4 6 17 19 22 24 26 32 33 34 38 39 40 41 42 43 47 50 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 119 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 216 220 a 3 4 6 17 19 22 24 26 32 33 34 38 39 40 41 42 43 47 50 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 216 220 a 3 4 6 17 18 19 22 24 26 32 33 34 38 39 40 41 42 43 47 50 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 216 a 3 4 6 17 19 22 24 26 32 33 34 35 38 39 40 41 42 43 47 50 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 216 a 3 4 6 17 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 69 70 72 74 75 80 81 84 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 a 3 4 6 17 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 69 70 72 74 75 81 84 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 a 3 4 6 17 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 209 211 a 3 4 6 17 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 201 211 a 3 4 6 8 17 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 211 a 3 4 6 8 17 18 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 169 180 181 184 186 189 193 194 196 197 198 200 a 3 4 6 8 17 18 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 132 137 139 140 141 143 144 147 149 150 154 155 157 161 168 169 180 181 184 186 189 193 194 196 197 198 a 3 4 6 8 17 18 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 184 186 189 193 194 196 197 198 a 3 4 5 8 17 18 19 22 24 26 32 33 34 35 37 38 39 40 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 184 186 189 193 194 196 197 198 a 3 4 5 8 17 18 19 22 24 26 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 183 184 186 189 193 194 196 197 198 a 3 4 5 7 8 17 18 19 22 24 26 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 183 186 189 193 194 196 197 198 a 3 4 5 7 8 17 18 19 22 24 26 32 33 34 35 37 39 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 100 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 183 186 189 193 194 196 197 198 209 a 3 4 5 7 17 18 19 22 24 26 32 33 34 35 37 39 41 42 43 47 50 59 60 61 62 65 66 70 71 72 74 75 81 84 88 90 98 100 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 183 186 189 193 194 196 197 198 209 a 3 4 5 7 17 18 19 22 24 26 32 33 34 35 37 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 183 186 189 193 194 196 197 198 209 a 3 4 5 7 17 18 19 22 24 26 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 183 186 189 193 194 196 197 198 a 3 4 5 7 17 18 19 22 24 26 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 154 155 157 161 166 168 169 180 181 183 186 189 193 194 196 197 a 3 4 5 7 17 18 19 22 24 26 27 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 154 157 161 166 168 169 180 181 183 186 189 193 194 196 197 a 3 4 5 7 17 18 19 22 24 26 27 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 157 161 166 168 169 180 181 183 186 189 193 194 197 a 3 4 5 7 17 18 19 22 24 26 27 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 157 161 166 168 169 181 183 186 189 193 194 197 210 a 3 4 5 7 17 18 19 22 26 27 32 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 157 161 166 168 169 181 183 186 189 193 194 197 210 216 a 3 4 5 7 17 18 19 22 26 27 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 157 161 163 166 168 169 181 183 186 189 193 194 197 210 216 a 3 4 5 7 12 17 18 19 22 26 27 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 161 163 166 168 169 181 183 186 189 193 194 197 210 216 a 3 4 5 7 12 17 18 19 22 26 27 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 166 168 169 181 183 186 189 193 194 197 198 210 216 a 3 4 5 7 12 17 18 19 22 26 27 33 34 35 37 38 39 41 42 43 47 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 112 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 166 168 169 181 186 189 193 194 197 198 210 216 a 3 4 5 7 12 17 18 19 22 26 27 33 34 35 37 38 39 41 42 43 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 98 100 101 112 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 166 168 169 179 181 186 189 193 194 197 198 210 216 a 3 4 5 7 8 12 17 18 19 22 26 27 33 34 35 37 38 39 41 42 43 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 100 101 112 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 166 168 169 179 181 186 189 193 194 197 198 210 216 a 3 4 5 7 8 12 18 19 22 26 27 33 34 35 37 38 39 41 42 43 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 100 101 112 114 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 166 168 169 179 181 186 189 193 194 197 198 207 210 216 a 3 4 5 7 8 12 18 19 22 26 27 33 34 35 37 38 39 41 42 43 50 59 60 61 62 65 66 70 71 74 75 81 83 84 88 90 100 101 112 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 166 168 169 179 181 186 189 191 193 194 197 198 207 210 216 a 3 4 5 7 8 12 18 19 22 26 27 33 34 35 37 38 39 41 42 43 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 100 101 110 112 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 166 168 169 179 181 186 189 191 193 194 197 198 207 210 216 a 3 4 5 7 8 12 18 19 22 26 27 31 33 34 35 37 38 39 41 42 43 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 100 101 110 112 120 121 125 137 139 140 141 143 144 147 149 150 153 154 163 168 169 179 181 186 189 191 193 194 197 198 207 210 216 a 3 4 5 7 8 12 18 19 22 26 27 29 31 33 34 35 37 38 39 41 42 43 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 100 101 110 112 120 121 137 139 140 141 143 144 147 149 150 153 154 163 168 169 179 181 186 189 191 193 194 197 198 207 210 216 a 3 4 5 6 7 8 12 18 19 22 26 27 29 31 33 34 35 37 38 39 41 42 43 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 100 110 112 120 121 137 139 140 141 143 144 147 149 150 153 154 163 168 169 179 181 186 189 191 193 194 197 198 207 210 216 a 3 4 5 6 7 8 12 18 19 22 26 27 29 31 33 34 35 37 38 39 41 42 43 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 100 110 112 120 121 137 139 140 141 143 144 147 149 150 153 154 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 3 4 5 6 7 8 12 18 19 22 26 27 29 31 33 34 35 37 38 39 41 42 43 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 100 110 112 119 121 137 139 140 141 143 144 147 149 150 153 154 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 3 4 5 6 7 8 12 18 19 22 26 27 29 31 33 35 37 38 39 41 42 43 44 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 100 110 112 119 121 137 139 140 141 143 144 147 149 150 153 154 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 3 4 5 6 7 8 12 18 19 22 26 27 29 31 33 35 37 38 39 41 42 43 44 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 110 112 119 121 137 139 140 141 143 144 147 149 150 153 154 160 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 3 4 5 6 7 8 10 12 18 19 22 26 27 29 31 33 35 37 38 41 42 43 44 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 110 112 119 121 137 139 140 141 143 144 147 149 150 153 154 160 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 3 4 5 6 7 8 10 12 18 19 22 26 27 29 31 33 35 38 41 42 43 44 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 110 112 116 119 121 137 139 140 141 143 144 147 149 150 153 154 160 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 3 4 5 6 8 10 12 18 19 22 26 27 29 31 33 35 38 41 42 43 44 50 59 60 61 65 66 70 71 74 75 81 83 84 88 90 99 110 112 116 119 121 137 139 140 141 143 144 147 149 150 153 154 160 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 3 4 5 6 8 10 12 18 19 22 26 27 29 31 33 35 38 41 42 43 44 50 59 60 61 65 66 71 74 75 81 83 84 88 90 99 110 112 116 119 121 137 139 140 141 143 144 147 149 150 153 154 158 160 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 4 5 6 8 10 12 18 19 22 26 27 29 31 33 35 38 41 42 43 44 50 59 60 61 65 66 71 74 75 81 83 84 88 90 99 110 112 116 119 121 131 137 139 140 141 143 144 147 149 150 153 154 158 160 163 164 168 169 179 181 186 189 191 193 197 198 207 210 216 a 4 5 6 8 10 12 18 19 22 26 27 29 31 33 38 41 42 43 44 50 59 60 61 65 66 71 74 75 81 83 84 88 90 99 110 112 116 119 121 131 137 139 140 141 143 144 147 149 150 153 154 158 160 163 164 168 169 179 181 186 187 189 191 193 197 198 207 210 216 a 4 5 6 8 10 12 18 19 22 26 27 29 31 33 38 41 42 44 50 59 60 61 65 66 71 74 75 81 83 84 88 90 99 110 112 116 119 121 131 137 139 140 141 143 144 147 148 149 150 153 154 158 160 163 164 168 169 179 181 186 187 189 191 193 197 198 207 210 216 a 4 5 6 8 10 12 18 19 20 22 26 27 29 31 33 38 41 42 44 50 59 60 61 65 66 71 74 75 81 83 84 88 90 99 110 112 116 119 121 131 137 139 140 141 143 144 147 148 149 150 153 154 158 160 163 164 169 179 181 186 187 189 191 193 197 198 207 210 216 a 4 5 6 8 10 12 18 19 20 22 26 27 29 31 33 38 41 42 44 50 59 60 61 64 65 66 71 74 75 81 83 84 88 90 99 110 112 116 119 121 131 137 139 140 141 143 144 147 148 150 153 154 158 160 163 164 169 179 181 186 187 189 191 193 197 198 207 210 216 a 4 5 6 8 10 12 18 19 20 22 26 27 29 31 33 38 41 42 44 50 59 60 61 64 65 66 71 74 75 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 144 147 148 150 153 154 158 160 163 164 169 179 181 186 187 189 191 193 197 198 207 210 216 a 4 5 6 8 10 12 18 19 20 22 26 27 29 31 33 38 41 42 44 50 59 60 61 64 66 71 74 75 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 144 147 148 150 153 154 158 160 163 164 169 179 181 186 187 189 191 193 197 198 202 207 210 216 a 4 5 6 8 10 12 18 19 20 22 26 27 29 31 33 38 41 42 44 48 50 59 60 61 64 66 71 74 75 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 144 147 148 153 154 158 160 163 164 169 179 181 186 187 189 191 193 197 198 202 207 210 216 a 4 5 6 8 10 12 18 19 20 22 27 29 31 33 38 41 42 44 48 50 59 60 61 64 66 71 74 75 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 144 147 148 153 154 156 158 160 163 164 169 179 181 186 187 189 191 193 197 198 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 33 38 41 42 44 48 50 51 59 60 61 64 66 71 74 75 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 144 147 148 153 154 156 158 160 163 164 169 179 181 186 187 189 191 193 197 198 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 33 38 41 42 44 48 50 51 59 60 61 64 66 71 74 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 144 147 148 153 154 156 158 160 163 164 169 179 181 186 187 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 60 61 64 66 71 74 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 144 147 148 153 154 156 158 160 163 164 169 176 179 181 186 187 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 60 61 64 66 71 74 81 83 84 88 90 99 108 110 112 116 119 121 131 137 139 140 141 142 147 148 153 154 156 158 160 163 164 169 176 179 181 186 187 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 60 61 64 66 71 81 83 84 88 90 99 108 110 112 116 117 119 121 131 137 139 140 141 142 147 148 153 154 156 158 160 163 164 169 176 179 181 186 187 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 60 61 64 66 71 81 83 84 88 90 99 108 110 112 116 117 119 121 131 137 139 140 142 147 148 153 154 156 158 160 163 164 169 176 179 181 186 187 188 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 60 61 64 66 71 81 83 84 88 90 99 108 110 112 116 117 119 121 129 131 137 139 140 142 147 148 153 156 158 160 163 164 169 176 179 181 186 187 188 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 60 61 64 66 71 83 84 88 90 99 108 110 112 116 117 119 121 129 131 137 139 140 142 147 148 153 156 158 159 160 163 164 169 176 179 181 186 187 188 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 60 61 64 66 71 73 83 84 88 90 99 108 110 112 116 117 119 121 129 131 137 139 140 142 147 148 153 156 158 159 160 163 164 169 176 179 181 187 188 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 38 41 42 44 48 50 51 59 61 63 64 66 71 73 83 84 88 90 99 108 110 112 116 117 119 121 129 131 137 139 140 142 147 148 153 156 158 159 160 163 164 169 176 179 181 187 188 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 41 42 44 48 50 51 59 61 63 64 66 71 73 83 84 88 90 99 108 110 112 116 117 119 121 129 131 137 139 140 142 147 148 153 156 158 159 160 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 216 a 4 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 83 84 88 90 99 108 110 112 116 117 119 121 129 131 137 139 140 142 147 148 153 156 158 159 160 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 a 4 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 a 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 c Step: 142 #END: [Mon Sep 4 22:28:09 2023]