#BEGIN: [Tue Sep 5 08:24:47 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance019_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance019_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance019_graph005.col /benchmark/random_instance/random_instance019_graph005_01.dat c /benchmark/random_instance/random_instance019_graph005.col c /benchmark/random_instance/random_instance019_graph005_01.dat TIMEOUT 1800 c send SIGTERM to CID 79fcda0cb83cf2bb2afe44745772760c0795a086dad5558ec93ed89ea0eaee80 s 91 72 28 223 206 100 128 182 156 6 234 56 85 37 201 194 184 187 65 49 233 146 70 31 136 142 112 118 120 84 12 193 123 241 82 67 57 18 13 212 76 90 222 17 68 188 218 155 157 205 125 158 94 238 71 131 245 211 119 148 202 203 87 46 16 167 77 229 240 25 1 164 54 175 36 185 195 220 191 t 195 179 96 33 119 226 67 118 235 128 44 177 233 3 139 16 36 71 124 4 32 180 29 25 164 109 70 127 149 186 95 120 11 137 80 77 136 201 112 169 138 194 111 140 64 58 107 12 202 192 145 197 31 117 13 212 76 41 65 216 191 151 148 185 113 181 86 134 125 218 43 196 187 213 68 243 89 53 34 a YES a 1 6 12 13 16 17 18 25 28 31 36 37 46 49 54 56 57 65 67 68 70 71 72 76 77 82 84 85 87 90 91 94 100 112 118 119 120 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 37 46 49 54 56 57 65 67 68 70 71 72 76 77 82 84 85 87 90 91 94 100 112 118 119 120 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 37 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 85 87 90 91 94 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 13 16 17 18 25 31 36 37 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 85 87 90 91 94 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 37 46 49 54 55 56 57 65 67 68 70 72 76 77 82 84 85 87 90 91 94 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 37 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 85 87 90 91 94 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 85 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 238 240 241 245 a 1 3 6 12 13 17 18 25 31 36 41 46 49 54 55 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 100 112 118 119 123 125 128 131 136 142 146 148 155 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 241 245 a 1 3 6 12 13 16 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 241 245 a 1 3 6 12 13 16 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 234 241 245 a 1 3 6 12 13 16 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 229 233 234 241 245 a 1 3 6 12 13 16 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 229 233 234 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 41 46 49 54 55 56 57 65 67 68 70 71 72 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 229 233 234 238 240 241 245 a 1 3 6 12 13 16 17 18 25 31 36 41 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 229 233 234 238 240 241 245 a 1 3 6 13 16 17 18 25 31 36 41 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 229 233 234 238 240 241 245 a 1 3 6 13 16 17 18 25 31 36 41 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 163 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 229 233 234 238 240 241 a 1 3 6 13 16 17 18 25 31 36 41 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 229 233 234 238 240 241 a 1 3 6 13 16 17 18 25 31 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 87 90 91 94 97 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 229 233 234 238 240 241 a 1 3 6 13 16 17 18 25 31 37 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 87 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 229 233 234 238 240 241 a 1 3 6 13 16 17 18 25 31 37 41 42 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 87 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 a 1 3 6 13 16 17 18 25 31 41 42 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 87 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 a 1 3 6 10 13 16 17 18 25 31 41 42 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 a 1 3 6 10 13 16 17 18 25 31 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 185 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 238 240 241 a 1 3 6 10 13 16 17 18 25 31 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 236 238 240 241 a 1 3 6 10 13 16 17 18 25 31 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 211 212 218 220 222 223 229 233 234 236 238 240 a 1 3 6 10 13 14 16 17 18 25 31 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 233 234 236 238 240 a 1 3 6 10 13 14 16 17 18 25 31 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 233 234 236 238 240 241 a 1 3 6 10 13 14 16 17 18 25 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 233 234 236 238 240 241 a 1 3 6 10 13 14 16 17 18 25 27 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 241 a 1 3 6 10 13 14 16 17 18 25 27 31 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 241 a 1 3 6 10 13 14 16 17 18 25 27 31 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 118 119 123 125 128 131 133 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 37 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 37 41 42 43 49 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 37 41 42 43 54 55 56 57 65 67 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 37 41 42 43 46 54 55 56 57 65 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 37 41 42 43 46 49 54 55 56 57 65 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 155 156 157 158 164 167 175 182 184 187 188 191 193 194 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 37 41 42 43 46 49 54 55 56 57 65 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 155 156 157 158 164 167 175 178 182 184 187 188 191 193 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 14 16 17 18 25 27 31 37 41 42 43 46 49 54 55 56 57 65 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 206 208 212 218 220 222 223 229 234 236 238 245 a 1 3 6 10 12 13 16 17 18 25 27 31 37 41 42 43 46 49 54 55 56 57 65 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 206 208 211 212 218 220 222 223 229 234 236 238 245 a 1 3 6 10 12 13 16 18 25 27 31 37 41 42 43 46 49 54 55 56 57 65 68 70 71 76 77 82 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 206 208 211 212 218 220 222 223 229 234 236 238 245 a 1 3 6 10 12 13 16 18 25 27 31 37 41 42 43 46 49 54 55 56 57 65 67 68 70 71 76 77 84 85 90 91 94 98 100 112 118 119 123 125 128 131 136 142 146 148 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 206 208 211 212 218 220 222 223 229 234 236 238 245 a 1 3 6 10 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 65 67 68 70 71 76 77 84 85 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 146 148 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 206 208 211 212 218 220 222 223 229 234 236 238 245 a 1 3 6 10 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 65 67 68 70 71 76 77 84 85 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 146 148 152 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 223 229 234 236 238 245 a 1 3 6 10 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 65 67 68 71 76 77 84 85 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 146 148 152 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 223 229 234 236 238 240 245 a 1 3 6 10 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 60 65 67 68 71 76 77 84 85 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 146 148 152 155 156 157 158 164 167 171 175 178 182 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 240 245 a 1 3 6 10 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 60 65 67 68 71 76 77 84 85 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 240 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 60 65 67 68 71 76 77 84 85 87 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 240 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 60 65 67 68 71 76 77 84 85 87 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 241 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 43 46 49 54 56 57 60 65 67 68 70 71 76 77 84 85 87 90 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 241 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 71 76 77 82 84 85 87 90 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 241 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 71 76 77 82 84 85 87 90 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 241 245 246 a 1 3 6 12 13 16 18 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 76 77 82 84 85 87 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 241 245 246 a 1 3 6 12 13 16 18 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 76 77 82 84 85 87 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 178 184 187 188 191 193 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 241 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 76 77 82 84 85 87 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 145 146 148 152 155 156 157 158 164 167 171 175 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 241 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 76 77 82 84 85 87 90 91 94 98 100 112 118 119 120 123 125 128 131 136 142 146 148 152 155 156 157 158 164 167 171 175 182 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 241 245 a 1 3 6 12 13 16 18 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 131 136 142 146 148 152 155 156 157 158 164 167 171 175 182 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 229 234 236 238 241 245 a 1 3 6 12 13 16 25 27 31 37 41 42 46 49 54 56 57 60 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 131 136 142 146 148 152 155 156 157 158 164 167 171 175 182 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 226 229 234 236 238 241 245 a 1 3 6 12 13 16 25 27 31 41 42 46 49 54 56 57 60 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 131 136 142 146 148 152 155 156 157 158 164 167 169 171 175 182 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 226 229 234 236 238 241 245 a 1 3 6 12 13 16 25 27 31 41 42 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 131 136 142 146 148 152 155 156 157 158 164 167 169 171 175 182 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 223 226 229 234 236 238 241 245 a 1 3 6 12 13 16 25 27 31 41 42 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 136 142 146 148 152 155 156 157 158 164 167 169 171 175 182 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 223 226 229 234 236 238 241 243 245 a 1 3 6 12 13 16 25 27 31 41 42 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 223 226 229 234 236 238 241 243 245 a 1 3 6 12 13 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 211 212 218 220 222 223 226 229 234 236 238 241 243 245 a 1 3 6 12 13 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 218 220 222 223 226 229 234 236 238 241 243 245 a 1 3 6 12 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 218 220 222 223 226 229 234 236 238 241 243 245 a 1 3 6 12 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 122 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 218 220 222 223 226 234 236 238 241 243 245 a 1 3 6 12 13 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 218 220 222 223 226 234 236 238 241 243 245 a 1 3 6 12 13 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 218 220 222 223 226 234 236 238 240 241 243 a 1 3 6 12 13 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 112 118 119 120 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 218 220 222 223 226 234 236 238 240 241 245 a 1 3 6 12 13 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 110 112 118 119 120 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 220 222 223 226 234 236 238 240 241 245 a 1 3 6 12 14 16 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 110 112 118 119 120 122 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 220 222 223 226 234 236 238 240 241 245 a 1 3 6 12 14 16 18 25 27 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 110 112 118 119 120 122 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 169 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 220 222 223 234 236 238 240 241 245 a 1 3 6 12 14 16 18 25 27 37 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 110 112 118 119 120 122 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 18 25 27 37 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 110 112 118 119 120 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 171 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 18 25 27 31 37 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 110 112 118 119 120 123 124 125 128 129 136 142 146 148 155 156 157 158 164 167 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 18 25 27 31 37 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 100 110 112 118 119 120 123 124 125 128 129 136 142 146 148 156 157 158 164 167 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 18 25 27 31 37 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 110 112 118 119 120 123 124 125 128 129 136 142 146 148 156 157 158 161 164 167 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 18 25 27 31 41 42 43 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 110 112 118 119 120 123 124 125 128 129 136 142 146 148 156 157 158 161 164 167 169 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 54 56 57 65 67 68 70 76 77 82 85 87 90 91 94 98 110 112 118 119 120 123 124 125 128 129 136 142 146 148 156 157 158 161 164 167 169 175 182 183 184 187 188 191 193 194 195 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 54 56 57 65 67 68 70 71 76 77 82 85 87 90 91 94 98 110 112 118 119 120 123 124 125 128 129 136 142 146 148 156 157 158 161 164 167 169 175 182 184 187 188 191 193 194 195 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 54 56 57 65 67 68 70 71 76 77 81 82 85 87 90 91 94 98 110 112 118 119 120 123 124 125 128 129 142 146 148 156 157 158 161 164 167 169 175 182 184 187 188 191 193 194 195 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 56 57 65 67 68 70 71 76 77 81 82 85 87 90 91 94 98 110 112 118 119 120 123 124 125 128 129 142 146 148 156 157 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 56 57 65 67 68 70 71 76 77 81 82 85 87 90 91 94 110 112 117 118 119 120 123 124 125 128 129 142 146 148 156 157 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 65 67 68 70 71 76 77 81 82 85 87 90 91 94 110 112 117 118 119 123 124 125 128 129 142 146 148 156 157 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 223 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 65 67 68 70 71 76 77 81 82 85 87 90 91 94 110 112 117 118 119 123 124 125 128 129 142 146 148 156 157 158 161 164 167 169 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 223 229 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 65 67 68 70 71 76 77 81 82 85 87 90 91 94 110 112 117 118 119 123 125 128 129 131 142 146 148 156 157 158 161 164 167 169 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 223 229 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 85 87 90 91 94 110 112 117 118 119 123 125 128 129 131 142 146 148 156 157 158 161 164 167 169 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 229 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 85 87 90 91 94 110 112 117 118 119 123 125 129 131 142 146 148 156 157 158 161 164 167 169 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 229 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 74 76 77 81 82 85 87 90 91 94 110 112 117 118 119 123 125 129 131 142 146 148 156 157 158 161 164 167 169 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 229 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 74 76 77 81 82 85 87 90 91 94 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 182 184 187 188 191 193 194 195 196 201 202 203 205 208 212 213 220 222 229 231 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 74 76 77 81 82 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 238 240 241 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 74 76 77 81 82 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 238 240 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 74 76 77 81 82 84 85 87 90 91 94 97 110 112 117 118 119 123 125 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 238 240 245 a 1 3 6 12 13 14 16 17 18 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 74 76 77 81 82 84 85 87 90 91 94 97 110 112 117 118 119 123 125 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 240 245 246 a 1 3 6 12 13 14 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 84 85 87 90 91 94 97 110 112 117 118 119 123 125 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 240 245 246 a 1 3 6 12 13 14 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 240 245 246 a 1 3 6 12 13 14 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 240 241 246 a 1 3 6 12 13 14 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 195 196 202 203 205 208 212 213 220 222 229 231 234 236 238 240 241 a 1 3 6 12 13 14 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 208 212 213 220 222 229 231 234 236 238 240 241 a 1 3 6 12 13 14 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 208 212 213 220 222 229 231 234 236 240 241 246 a 1 3 6 12 13 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 208 212 213 220 222 229 231 234 236 240 241 245 246 a 1 3 4 6 12 13 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 97 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 208 212 213 220 222 229 231 234 236 240 241 246 a 1 3 4 6 12 13 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 71 76 77 81 82 83 85 87 90 91 94 97 108 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 208 212 213 220 222 229 231 234 236 240 241 246 a 1 3 4 6 12 13 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 71 76 77 81 82 83 85 87 90 91 94 97 108 110 112 117 118 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 206 208 212 213 220 222 229 231 234 236 240 241 a 1 3 4 5 6 12 13 16 17 18 23 25 27 31 41 42 46 49 55 56 57 60 65 67 68 71 76 77 81 82 83 85 87 90 91 94 97 108 110 112 117 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 206 208 212 213 220 222 229 231 234 236 240 241 a 1 3 4 5 6 12 13 16 17 18 23 25 27 31 41 42 46 48 49 55 56 57 60 65 67 68 71 76 77 81 82 83 85 87 90 91 94 97 108 110 112 117 119 123 125 129 131 142 146 148 156 158 161 164 167 169 175 182 184 187 188 191 193 194 196 202 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 4 5 6 12 13 16 17 18 23 25 27 31 41 42 46 48 49 55 56 57 60 65 67 68 71 76 77 81 82 83 85 87 90 91 94 97 108 110 112 117 119 123 125 129 131 142 146 148 156 158 161 164 167 169 182 184 187 188 191 193 194 196 199 202 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 4 5 6 12 13 16 17 18 25 27 31 41 42 46 48 49 55 56 57 60 65 67 68 71 76 77 81 82 83 85 87 90 91 94 97 108 110 112 117 119 123 125 128 129 131 142 146 148 156 158 161 164 167 169 182 184 187 188 191 193 194 196 199 202 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 5 6 12 13 16 17 18 25 27 31 38 41 42 46 48 49 55 56 57 60 65 67 68 71 76 77 81 82 83 85 87 90 91 94 97 108 110 112 117 119 123 125 128 129 131 142 146 148 156 158 161 164 167 169 182 184 187 188 191 193 194 196 199 202 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 5 6 12 13 16 17 18 25 27 31 38 41 42 46 48 49 55 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 97 110 112 117 119 123 125 128 129 131 142 146 148 156 158 161 164 167 169 182 184 187 188 191 193 194 196 199 202 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 5 6 12 13 16 17 18 25 27 31 38 41 42 46 48 49 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 97 110 112 117 119 123 125 128 129 131 142 146 148 156 158 161 164 167 169 182 183 184 187 188 191 193 194 196 199 202 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 5 6 12 13 16 17 18 25 27 31 38 41 42 46 48 49 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 97 110 112 117 119 123 125 128 129 131 142 146 148 154 156 158 161 164 167 169 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 5 6 12 13 16 17 18 25 27 31 38 41 42 46 48 49 56 57 60 65 67 68 70 71 76 77 81 82 83 85 87 90 91 94 110 112 117 119 120 123 125 128 129 131 142 146 148 154 156 158 161 164 167 169 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 5 6 12 13 16 17 18 25 27 31 41 42 46 48 49 56 57 60 65 67 68 70 71 74 76 77 81 82 83 85 87 90 91 94 110 112 117 119 120 123 125 128 129 131 142 146 148 154 156 158 161 164 167 169 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 6 12 13 16 17 18 25 27 31 41 42 46 48 49 56 57 60 65 67 68 70 71 74 76 77 81 82 83 85 87 90 91 94 110 112 117 119 120 123 125 128 129 131 142 146 148 154 156 158 161 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 234 236 240 a 1 3 6 12 13 16 17 18 25 27 31 41 42 46 48 49 56 57 60 65 67 68 70 71 74 76 77 81 82 83 85 87 90 91 94 110 112 117 119 120 123 125 128 129 142 146 148 154 156 158 161 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 234 236 240 243 a 1 3 6 12 14 16 17 18 25 27 31 41 42 46 48 49 56 57 60 65 67 68 70 71 74 76 77 81 82 83 85 87 90 91 94 110 112 117 119 120 123 125 128 129 142 146 148 154 156 158 161 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 234 236 240 243 a 1 3 6 12 14 16 17 18 25 27 31 41 42 46 48 49 56 57 60 65 67 68 70 71 74 76 77 81 82 83 85 87 90 91 94 110 112 117 119 120 123 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 240 243 a 1 3 6 12 14 16 18 25 27 31 41 42 46 48 49 56 57 60 65 67 68 70 71 74 76 77 81 82 83 85 87 90 91 94 109 110 112 117 119 120 123 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 240 243 a 1 3 6 12 14 16 18 25 27 31 33 41 42 46 48 49 56 57 60 65 67 68 70 71 74 76 77 81 82 83 85 87 90 91 94 109 110 112 117 119 120 123 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 240 a 1 3 6 12 14 16 18 25 27 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 108 109 110 112 117 119 120 123 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 240 a 1 3 6 12 14 16 18 25 27 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 108 109 110 112 117 119 120 123 124 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 a 1 3 6 12 14 16 18 25 27 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 98 108 109 110 112 119 120 123 124 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 a 1 3 6 14 16 18 24 25 27 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 98 108 109 110 112 119 120 123 124 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 a 1 3 6 14 16 18 24 25 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 98 108 109 110 112 119 120 123 124 125 128 129 142 146 148 150 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 a 1 3 6 14 16 18 24 25 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 98 101 108 109 110 112 119 120 123 124 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 a 1 3 6 14 16 18 24 25 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 112 117 119 120 123 124 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 236 a 1 3 4 6 14 16 18 24 25 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 112 117 119 120 123 124 125 128 129 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 112 117 119 120 123 124 128 129 141 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 31 33 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 112 117 119 120 123 124 128 129 141 142 146 148 154 156 158 161 162 164 169 171 172 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 31 33 38 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 112 117 119 120 123 124 128 129 141 142 146 148 154 156 158 161 162 164 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 31 33 38 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 112 117 119 123 124 128 129 141 142 146 148 154 156 158 161 162 164 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 242 a 1 3 4 6 14 16 18 24 25 31 33 38 41 42 46 48 49 56 57 60 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 112 117 119 123 124 128 129 141 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 31 33 38 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 111 112 117 119 123 124 128 129 141 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 27 31 33 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 83 85 87 90 91 94 101 108 109 110 111 112 117 119 123 124 128 129 141 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 27 31 33 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 83 84 85 87 90 91 94 101 108 109 110 111 112 117 119 123 124 128 141 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 27 31 33 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 84 85 87 90 91 94 101 108 109 110 111 112 117 119 123 124 128 141 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 199 203 205 206 208 212 213 220 222 229 231 a 1 3 4 6 14 16 18 24 25 27 31 33 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 84 85 87 90 91 94 101 108 109 110 111 112 117 119 123 124 128 141 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 199 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 14 16 18 24 25 27 31 33 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 84 85 87 90 91 94 101 108 109 110 111 112 117 119 123 124 125 128 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 199 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 14 16 18 25 27 31 33 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 84 85 87 90 91 94 101 108 109 110 111 112 117 119 120 123 124 125 128 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 199 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 14 16 18 25 27 31 33 41 42 46 48 49 56 57 65 67 68 71 74 76 77 81 82 84 85 87 90 94 101 108 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 199 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 71 74 76 77 81 82 84 85 87 90 94 101 108 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 199 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 199 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 107 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 162 164 167 169 171 182 183 184 187 188 191 193 194 195 196 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 107 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 164 167 169 171 182 183 184 187 188 191 193 194 195 196 201 203 205 206 208 212 213 220 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 107 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 164 167 169 171 182 183 184 187 188 191 193 194 195 196 201 203 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 107 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 164 167 169 171 182 183 184 187 188 191 192 193 194 195 196 201 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 107 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 154 156 158 161 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 107 109 110 111 112 117 119 120 123 124 125 128 138 142 146 148 156 158 161 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 101 107 109 110 111 112 117 119 120 123 124 125 128 138 142 145 146 148 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 87 90 94 107 109 110 111 112 117 118 119 120 123 124 125 128 138 142 145 146 148 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 81 82 84 85 90 94 95 107 109 110 111 112 117 118 119 120 123 124 125 128 138 142 145 146 148 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 57 65 67 68 70 71 74 76 77 82 84 85 90 94 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 142 145 146 148 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 65 67 68 70 71 74 76 77 82 84 85 90 94 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 142 145 146 148 151 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 6 12 14 16 18 25 27 31 33 41 42 43 46 49 56 58 65 67 68 70 71 74 76 77 82 84 85 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 142 145 146 148 151 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 12 14 16 18 25 27 31 33 41 42 43 46 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 142 145 146 148 151 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 12 14 16 18 25 27 31 33 41 43 46 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 142 145 146 148 151 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 222 229 243 a 1 3 4 12 14 16 18 25 27 31 33 41 43 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 142 145 146 148 151 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 216 222 229 243 a 1 3 4 12 14 16 18 25 27 31 33 41 43 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 142 145 146 148 151 156 158 164 167 169 171 180 183 184 187 188 191 192 193 194 195 196 201 202 205 206 208 212 213 216 222 243 a 1 3 4 12 14 16 18 25 27 31 33 41 43 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 142 145 146 148 151 156 158 164 167 169 171 177 180 183 184 187 188 191 192 193 194 195 196 201 202 205 208 212 213 216 222 243 a 1 3 4 12 14 16 18 25 27 29 31 33 41 43 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 142 145 146 148 151 156 158 164 167 169 171 177 180 184 187 188 191 192 193 194 195 196 201 202 205 208 212 213 216 222 243 a 1 3 4 12 14 16 18 25 29 31 33 41 43 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 142 145 146 148 151 156 158 164 167 169 171 177 180 184 185 187 188 191 192 193 194 195 196 201 202 205 208 212 213 216 222 243 a 1 3 4 12 14 16 18 25 29 31 33 41 43 44 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 151 156 158 164 167 169 171 177 180 184 185 187 188 191 192 193 194 195 196 201 202 205 208 212 213 216 222 243 a 1 3 4 12 14 16 25 29 31 33 41 43 44 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 151 156 158 164 167 169 171 177 180 184 185 187 188 191 192 193 194 195 196 201 202 205 208 212 213 216 222 226 243 a 1 3 4 12 13 14 16 25 29 31 33 41 43 44 49 56 58 65 67 68 70 71 74 76 77 80 82 84 85 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 151 156 158 164 167 169 171 177 180 184 185 187 191 192 193 194 195 196 201 202 205 208 212 213 216 222 226 243 a 1 3 4 12 13 14 16 25 29 31 33 41 43 44 49 53 56 58 65 67 68 70 71 74 76 77 80 82 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 151 156 158 164 167 169 171 177 180 184 185 187 191 192 193 194 195 196 201 202 205 208 212 213 216 222 226 243 a 1 3 4 12 13 14 16 25 29 31 33 36 41 43 44 49 53 56 58 65 67 68 70 71 74 76 77 80 82 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 151 156 158 164 167 169 171 177 180 184 185 187 191 192 194 195 196 201 202 205 208 212 213 216 222 226 243 a 1 3 4 12 13 14 16 25 29 31 33 36 41 43 44 49 53 56 58 65 67 68 70 71 74 76 77 80 82 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 149 151 156 158 164 167 169 171 177 180 184 185 187 191 192 194 195 196 201 202 205 212 213 216 222 226 243 a 1 3 4 12 13 14 16 25 29 31 33 36 41 43 44 49 53 56 58 65 67 68 70 71 74 76 77 80 82 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 149 151 156 158 164 167 169 177 180 184 185 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 1 3 4 12 13 14 16 25 29 31 33 36 41 43 44 49 53 56 58 65 67 68 70 71 74 76 77 80 82 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 149 151 156 164 167 169 177 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 1 3 4 12 13 14 16 25 29 31 33 34 36 41 43 44 49 53 56 58 65 67 68 70 71 74 76 77 80 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 149 151 156 164 167 169 177 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 1 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 65 67 68 70 71 74 76 77 80 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 146 148 149 151 156 164 167 169 177 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 1 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 65 67 68 70 71 74 76 77 80 84 86 90 95 107 109 110 111 112 117 118 119 120 123 124 125 128 136 138 139 145 148 149 151 156 164 167 169 177 179 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 1 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 65 67 68 70 71 76 77 80 84 86 90 95 107 109 110 111 112 113 117 118 119 120 123 124 125 128 136 138 139 145 148 149 151 156 164 167 169 177 179 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 1 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 65 67 68 70 71 76 77 80 84 86 90 95 107 109 110 111 112 113 117 118 119 120 123 124 125 128 136 138 139 140 145 148 149 151 164 167 169 177 179 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 1 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 65 67 68 70 71 76 77 80 86 90 95 107 109 110 111 112 113 117 118 119 120 123 124 125 128 134 136 138 139 140 145 148 149 151 164 167 169 177 179 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 65 67 68 70 71 76 77 80 86 90 95 107 109 110 111 112 113 117 118 119 120 123 124 125 128 134 136 137 138 139 140 145 148 149 151 164 167 169 177 179 180 184 185 186 187 191 192 194 195 196 201 202 205 212 213 216 222 226 233 243 a 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 65 67 68 70 71 76 77 80 86 90 95 107 109 110 111 112 113 117 118 119 120 123 124 125 128 134 136 137 138 139 140 145 148 149 151 164 167 169 177 179 180 184 185 186 187 191 192 194 195 196 197 201 202 212 213 216 222 226 233 243 a 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 64 65 67 68 70 71 76 77 80 86 90 95 107 109 110 111 112 113 117 118 119 120 123 124 125 128 134 136 137 138 139 140 145 148 149 151 164 167 169 177 179 180 185 186 187 191 192 194 195 196 197 201 202 212 213 216 222 226 233 243 a 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 64 65 67 68 70 71 76 77 80 86 90 95 107 109 110 111 112 113 117 118 119 120 123 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 185 186 187 191 192 194 195 196 197 201 202 212 213 216 222 226 233 243 a 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 64 65 67 68 70 71 76 77 80 86 90 95 107 109 111 112 113 117 118 119 120 123 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 185 186 187 191 192 194 195 196 197 201 202 212 213 216 218 222 226 233 243 a 3 4 12 13 14 16 25 29 31 32 33 34 36 41 43 44 53 56 58 64 65 67 68 70 71 76 77 80 86 95 96 107 109 111 112 113 117 118 119 120 123 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 185 186 187 191 192 194 195 196 197 201 202 212 213 216 218 222 226 233 243 a 3 4 11 12 13 16 25 29 31 32 33 34 36 41 43 44 53 56 58 64 65 67 68 70 71 76 77 80 86 95 96 107 109 111 112 113 117 118 119 120 123 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 185 186 187 191 192 194 195 196 197 201 202 212 213 216 218 222 226 233 243 a 3 4 11 12 13 16 25 29 31 32 33 34 36 41 43 44 53 56 58 64 65 67 68 70 71 76 77 80 86 89 95 96 107 109 111 112 113 117 118 119 120 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 185 186 187 191 192 194 195 196 197 201 202 212 213 216 218 222 226 233 243 a 3 4 11 12 13 16 25 29 31 32 33 34 36 41 43 44 53 56 58 64 65 67 68 70 71 76 77 80 86 89 95 96 107 109 111 112 113 117 118 119 120 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 181 185 186 187 191 192 194 195 196 197 201 202 212 213 216 218 226 233 243 a 3 4 11 12 13 16 25 29 31 32 33 34 36 41 43 44 53 58 64 65 67 68 70 71 76 77 80 86 89 95 96 107 109 111 112 113 117 118 119 120 124 125 127 128 134 136 137 138 139 140 145 148 149 151 164 169 177 179 180 181 185 186 187 191 192 194 195 196 197 201 202 212 213 216 218 226 233 235 243 c Step: 191 #END: [Tue Sep 5 08:54:47 2023]