#BEGIN: [Tue Sep 5 08:31:09 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance021_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph002_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_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat c /benchmark/random_instance/random_instance021_graph002.col c /benchmark/random_instance/random_instance021_graph002_01.dat TIMEOUT 1800 c send SIGTERM to CID f4fe828ddee8c167bce871f8dc600a367402ccc0ade51fe29c6079dc01a1bfb0 s 70 117 7 64 120 144 53 12 75 60 80 173 184 213 179 125 203 111 259 266 232 89 129 138 94 247 183 43 42 170 23 106 231 134 194 243 118 210 254 41 33 37 65 264 141 175 28 272 57 257 216 30 242 122 99 149 147 148 161 56 191 171 20 58 189 116 79 207 187 9 50 198 151 192 140 103 220 115 155 265 62 218 14 t 263 152 199 54 232 226 2 237 239 38 140 257 175 93 220 178 118 85 186 136 250 242 185 128 74 87 204 35 207 130 55 60 49 158 273 30 171 173 45 41 84 165 109 122 81 12 6 127 206 117 40 208 169 88 198 243 221 102 52 137 216 65 194 255 188 230 233 139 163 62 18 115 5 23 251 116 151 244 156 59 123 44 138 a YES a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 269 272 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 269 272 273 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 189 191 192 194 196 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 189 191 192 194 196 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 269 272 273 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 189 191 192 194 196 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 269 272 273 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 189 191 192 194 196 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 269 270 272 273 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 171 173 175 179 183 187 189 191 192 194 196 198 203 207 208 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 269 270 272 273 a 7 9 12 14 20 23 28 30 33 41 42 43 50 53 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 171 173 175 179 183 187 189 191 192 194 196 198 199 203 207 208 210 216 218 220 231 232 242 247 254 257 259 264 265 266 269 270 272 273 a 7 9 12 14 20 23 28 30 33 35 41 42 43 50 56 57 58 60 62 65 68 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 171 173 175 179 183 187 189 191 192 194 196 198 199 203 207 208 210 216 218 220 231 232 242 247 254 257 259 264 265 266 269 270 272 273 a 7 9 12 14 20 23 28 30 33 35 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 171 173 175 179 183 187 189 191 192 194 196 198 199 203 207 208 210 216 218 220 231 232 242 247 254 257 259 264 265 266 269 270 272 273 a 7 9 12 14 20 23 28 30 33 35 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 171 173 179 183 187 189 191 192 194 196 198 199 203 207 208 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 273 a 7 9 12 14 20 23 30 33 35 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 171 173 179 183 187 189 191 192 194 196 198 199 203 207 208 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 273 a 7 9 12 14 20 23 30 33 35 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 171 173 179 183 187 189 191 192 194 196 198 199 203 206 207 208 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 171 173 179 183 187 191 192 194 196 198 199 203 206 207 208 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 187 191 192 194 196 198 199 203 206 207 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 37 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 179 183 187 191 192 194 196 198 199 203 206 207 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 37 41 42 43 50 56 57 58 60 62 64 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 37 40 41 42 43 50 56 57 58 60 62 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 37 40 41 42 43 50 56 57 58 60 62 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 217 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 217 218 220 231 232 242 247 254 256 257 259 264 265 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 217 218 220 231 232 242 247 254 256 257 259 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 34 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 217 218 231 232 242 247 254 256 257 259 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 217 218 231 232 242 247 254 256 257 259 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 217 218 231 240 242 247 254 256 257 259 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 60 62 65 75 76 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 194 196 198 199 203 206 207 210 216 217 218 231 240 242 247 256 257 259 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 76 79 80 89 94 99 103 106 115 116 117 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 194 196 198 199 200 203 206 207 210 216 217 218 231 240 242 247 256 257 259 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 76 79 80 89 94 99 103 106 115 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 194 196 198 199 200 203 206 207 210 216 217 218 231 240 242 247 256 257 259 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 76 79 80 89 94 99 103 106 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 194 196 198 199 200 203 206 207 210 216 217 218 231 240 242 247 256 257 259 260 264 266 269 270 272 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 76 79 80 89 94 99 103 106 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 194 196 198 199 200 203 206 207 210 216 217 218 231 240 242 247 256 257 259 260 262 264 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 76 79 80 89 94 99 103 106 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 187 191 192 193 194 196 198 199 200 203 206 207 210 216 217 218 231 240 242 245 247 256 257 259 260 262 264 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 76 79 80 89 94 99 103 106 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 187 191 192 193 194 196 198 199 200 203 206 207 210 216 217 218 231 232 242 245 247 256 257 259 260 262 264 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 76 79 80 89 94 99 103 106 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 171 173 179 183 187 191 192 193 194 196 198 199 200 203 206 207 208 210 216 217 218 231 232 242 245 247 256 257 259 260 262 264 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 79 80 89 94 99 103 106 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 171 173 179 183 185 187 191 192 193 194 196 198 199 200 203 206 207 208 210 216 217 218 231 232 242 245 247 256 257 259 260 262 264 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 79 80 89 94 96 99 103 106 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 171 173 179 183 185 187 191 192 193 194 196 198 199 200 203 206 208 210 216 217 218 231 232 242 245 247 256 257 259 260 262 264 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 79 80 89 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 171 173 179 183 185 187 191 192 193 194 196 198 199 200 203 206 210 216 217 218 231 232 242 245 247 256 257 259 260 262 264 266 269 270 a 6 7 9 12 14 20 23 30 33 35 40 41 42 43 50 56 57 58 62 65 75 79 80 89 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 185 187 191 192 193 194 196 198 199 200 203 206 210 216 217 218 231 232 242 245 247 256 257 259 262 264 266 269 270 a 6 7 9 12 14 20 23 26 30 33 35 40 41 42 43 50 56 57 58 62 65 75 79 80 89 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 185 187 191 192 193 194 196 198 199 200 203 210 216 217 218 231 232 242 245 247 256 257 259 262 264 266 269 270 a 6 7 9 12 14 20 23 26 30 33 35 40 41 42 43 50 56 57 58 62 65 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 185 187 191 192 193 196 198 199 200 203 210 216 217 218 231 232 242 245 247 256 257 259 262 264 266 269 270 a 6 7 9 12 14 20 23 26 30 33 35 40 41 42 43 50 56 57 58 62 65 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 185 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 245 247 256 257 259 262 264 266 269 a 6 7 9 12 14 20 23 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 245 247 256 257 259 262 264 266 269 a 6 7 9 12 14 20 23 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 147 148 149 151 155 161 165 170 171 173 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 245 247 256 257 259 262 264 269 a 6 7 9 12 14 20 23 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 256 257 259 262 264 269 a 6 7 8 9 12 14 20 23 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 256 257 259 262 264 a 6 7 8 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 256 257 259 262 264 a 6 7 8 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 256 257 259 262 273 a 6 7 8 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 256 257 259 262 269 a 6 7 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 259 262 269 a 6 7 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 259 262 264 a 6 7 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 262 264 269 a 6 7 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 262 264 273 a 6 7 9 12 14 20 26 30 33 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 96 99 103 106 114 115 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 262 264 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 262 264 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 125 129 134 138 139 140 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 262 273 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 262 265 273 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 257 262 265 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 216 217 218 221 231 232 242 247 254 256 262 265 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 254 262 265 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 254 262 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 254 272 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 254 256 a 6 7 9 12 14 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 264 a 6 7 9 12 20 26 30 33 34 35 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 264 273 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 264 273 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 250 253 256 264 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 250 253 264 273 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 250 253 256 273 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 250 253 262 273 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 262 265 273 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 262 273 a 6 7 9 12 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 262 265 a 6 7 9 12 20 22 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 91 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 262 a 6 7 9 12 20 22 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 94 99 103 106 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 262 a 6 7 9 12 20 22 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 a 7 9 12 14 20 22 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 a 7 9 12 14 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 76 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 134 138 139 141 142 144 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 a 7 9 12 14 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 76 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 134 138 139 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 a 7 9 12 14 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 134 138 139 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 273 a 1 7 9 12 14 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 134 138 139 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 273 a 1 7 9 12 14 20 26 30 33 34 40 41 42 43 50 56 57 58 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 200 203 210 215 216 217 218 221 231 232 242 247 253 256 259 273 a 1 7 9 12 14 20 26 30 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 247 253 256 259 273 a 7 9 12 14 20 26 30 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 247 253 256 259 273 a 7 9 12 14 20 22 26 30 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 247 253 256 273 a 7 9 12 14 20 22 26 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 247 250 253 256 273 a 7 9 12 14 20 22 26 30 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 231 232 242 247 250 253 256 273 a 7 9 12 14 20 22 26 30 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 231 232 242 247 250 253 256 a 7 9 12 14 20 22 26 27 30 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 147 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 231 232 242 247 253 256 a 1 7 9 12 14 20 22 26 27 30 33 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 231 232 242 247 253 256 a 1 7 9 12 14 20 22 26 27 30 34 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 247 253 256 a 1 7 9 12 14 20 22 26 27 30 33 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 247 253 256 a 1 7 9 12 14 20 22 26 27 30 33 40 41 42 43 50 56 57 58 60 62 65 68 75 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 247 253 a 1 7 9 12 14 20 22 26 27 30 33 40 41 42 43 50 56 57 58 60 62 65 68 75 76 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 148 149 151 155 161 165 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 253 a 1 7 9 12 14 20 22 26 27 28 30 33 40 41 42 43 50 56 57 58 60 62 65 68 75 76 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 139 140 141 142 145 148 149 151 155 161 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 253 a 1 7 9 12 14 20 22 26 27 28 30 33 40 41 42 43 50 56 57 58 60 62 65 68 75 76 79 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 140 141 142 145 148 149 151 155 161 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 253 273 a 1 7 9 12 14 15 20 22 26 27 28 30 33 40 41 42 43 50 56 57 58 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 140 141 142 145 148 149 151 155 161 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 253 273 a 1 7 9 12 14 20 22 26 27 28 30 33 40 41 42 43 50 56 57 58 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 140 141 142 145 148 149 151 155 161 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 250 253 273 a 1 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 130 138 140 141 142 145 148 149 151 155 161 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 250 253 272 273 a 1 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 250 253 272 273 a 1 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 183 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 191 192 193 195 196 198 199 203 210 215 216 217 218 221 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 191 192 193 195 196 198 203 210 215 216 217 218 221 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 60 62 65 68 70 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 191 192 193 195 196 198 203 210 215 216 218 221 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 16 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 60 62 65 68 70 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 173 175 179 186 187 191 192 193 195 196 198 203 210 215 216 218 221 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 16 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 70 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 173 175 179 186 187 192 193 195 196 198 203 210 215 216 218 221 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 16 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 75 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 173 175 179 186 187 192 193 195 196 198 203 210 215 216 217 218 221 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 16 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 173 175 179 186 187 192 193 195 196 198 203 210 215 216 217 218 221 226 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 192 193 195 196 198 203 210 215 216 217 218 221 226 231 232 242 243 250 253 259 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 192 193 195 196 198 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 173 175 177 179 186 187 192 193 195 196 198 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 70 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 173 175 177 179 186 187 192 193 195 196 198 203 210 215 216 218 221 226 231 232 242 243 250 253 256 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 39 40 41 43 50 56 57 58 59 60 62 65 68 70 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 192 193 195 196 198 203 210 215 216 218 221 226 231 232 242 243 250 253 256 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 70 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 192 193 195 196 198 199 203 210 215 216 218 221 226 231 232 242 243 250 253 256 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 186 187 192 193 195 196 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 187 192 193 195 196 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 264 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 264 273 a 1 5 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 259 264 a 1 5 7 9 12 14 20 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 264 a 1 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 140 141 142 144 145 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 264 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 80 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 140 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 264 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 140 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 230 231 232 242 243 250 253 256 264 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 230 231 232 242 243 250 253 256 257 264 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 58 59 60 62 65 68 76 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 230 231 232 242 243 253 256 257 264 265 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 62 65 68 76 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 230 231 232 242 243 253 256 257 262 264 265 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 62 65 68 76 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 253 256 257 259 262 264 265 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 68 76 89 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 253 256 257 259 262 264 265 273 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 68 76 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 253 256 257 259 262 264 265 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 68 76 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 242 243 250 253 256 257 259 262 264 a 5 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 68 76 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 256 257 259 262 a 5 6 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 68 76 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 256 257 259 a 5 6 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 137 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 256 257 259 a 5 6 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 137 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 192 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 256 257 273 a 5 6 7 9 12 14 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 137 138 139 141 142 144 145 147 148 149 151 155 161 170 171 173 175 179 187 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 256 257 273 a 5 6 7 9 12 14 18 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 137 138 139 141 142 145 147 148 149 151 155 161 170 171 173 175 179 187 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 256 257 273 a 5 6 7 9 12 14 18 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 97 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 137 138 139 140 141 142 145 147 148 149 151 155 161 170 171 173 175 179 187 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 257 273 a 5 6 7 9 12 14 18 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 99 103 106 108 110 111 114 115 116 118 120 122 123 125 129 137 138 139 140 141 142 145 147 148 149 151 155 161 170 171 173 175 179 185 187 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 253 257 273 a 5 6 7 9 12 14 18 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 99 103 106 108 109 110 111 114 115 116 118 120 122 123 125 129 137 138 139 140 141 142 145 147 148 149 151 155 161 170 171 173 175 179 185 187 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 257 273 a 5 6 7 9 12 14 18 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 99 103 106 108 109 110 111 115 116 118 120 122 123 125 129 137 138 139 140 141 142 145 147 148 149 151 155 161 170 171 173 175 179 185 186 187 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 257 273 a 5 6 7 9 12 14 18 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 102 103 106 108 109 110 111 115 116 118 120 122 123 125 129 137 138 139 140 141 142 145 147 148 149 151 155 161 170 171 173 175 179 185 186 187 193 195 198 199 203 210 215 216 217 218 221 226 231 232 239 242 243 250 257 273 a 5 6 7 9 12 14 18 22 26 27 28 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 102 103 106 108 109 110 111 115 116 118 120 122 123 125 129 137 138 139 140 141 142 145 147 148 149 151 155 161 171 173 175 179 185 186 187 193 195 198 199 203 208 210 215 216 217 218 221 226 231 232 239 242 243 250 257 273 a 5 6 7 9 12 14 18 22 26 27 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 102 103 106 108 109 110 111 115 116 118 120 122 123 125 129 130 137 138 139 140 141 142 145 147 148 149 151 155 161 171 173 175 179 185 186 187 193 195 198 199 203 208 210 215 216 217 218 221 226 231 232 239 242 243 250 257 273 a 5 6 7 9 12 14 18 22 26 27 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 102 103 108 109 110 111 115 116 118 120 122 123 125 129 130 137 138 139 140 141 142 145 147 148 149 151 155 161 165 171 173 175 179 185 186 187 193 195 198 199 203 208 210 215 216 217 218 221 226 231 232 239 242 243 250 257 273 a 5 6 7 9 12 14 18 22 26 27 30 33 40 41 43 50 56 57 59 60 65 76 88 89 91 94 102 103 108 109 110 115 116 118 120 122 123 125 129 130 137 138 139 140 141 142 145 147 148 149 151 155 161 165 171 173 175 179 185 186 187 193 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 250 257 273 a 5 6 7 9 12 14 18 22 26 27 30 33 40 41 43 50 56 57 59 60 65 76 88 91 94 102 103 108 109 110 115 116 118 120 122 123 125 129 130 137 138 139 140 141 142 145 147 148 149 151 155 161 165 171 173 175 179 185 186 187 193 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 244 250 257 273 a 5 6 7 9 12 14 18 22 26 27 30 33 40 41 43 44 50 56 57 59 60 65 76 88 91 94 102 103 108 109 110 115 116 118 120 122 123 125 129 130 137 138 139 140 141 142 145 147 148 149 151 155 161 165 171 173 175 185 186 187 193 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 244 250 257 273 a 5 6 7 9 12 14 18 22 26 27 30 33 40 41 43 44 50 56 57 59 60 65 76 88 91 94 102 103 108 109 110 115 116 118 120 122 123 125 129 130 137 138 139 140 141 142 145 148 149 151 155 161 165 171 173 175 185 186 187 193 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 244 250 257 263 273 a 5 6 7 9 12 14 18 22 26 27 30 33 40 41 43 44 45 50 56 57 59 60 65 76 88 91 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 141 142 145 148 149 151 155 161 165 171 173 175 185 186 187 193 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 244 250 257 263 273 a 5 6 7 9 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 141 142 145 148 149 151 155 161 165 171 173 175 185 186 187 193 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 244 250 257 263 273 a 5 6 7 9 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 141 142 145 148 149 151 161 165 171 173 175 185 186 187 193 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 244 250 257 263 273 a 5 6 7 9 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 141 145 148 149 151 161 165 171 173 175 185 186 187 193 194 195 198 199 203 204 208 210 215 216 217 218 221 226 231 232 239 242 243 244 250 257 263 273 a 5 6 7 9 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 141 145 148 149 151 161 165 171 173 175 185 186 187 194 195 198 199 203 204 208 210 215 216 217 218 221 226 230 231 232 239 242 243 244 250 257 263 273 a 5 6 7 9 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 145 148 149 151 161 163 165 171 173 175 185 186 187 194 195 198 199 203 204 208 210 215 216 217 218 221 226 230 231 232 239 242 243 244 250 257 263 273 a 5 6 7 9 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 145 148 149 151 161 163 165 171 173 175 185 186 187 188 194 195 198 199 203 204 208 215 216 217 218 221 226 230 231 232 239 242 243 244 250 257 263 273 a 5 6 7 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 145 148 149 151 161 163 165 171 173 175 185 186 187 188 194 195 198 199 203 204 208 215 216 217 218 221 226 230 231 232 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 145 148 149 151 161 163 165 171 173 175 185 186 187 188 194 195 198 199 203 204 208 215 216 217 218 221 226 230 231 232 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 110 115 116 118 122 123 125 129 130 137 138 139 140 145 148 149 151 161 163 165 171 173 175 185 186 188 194 195 198 199 203 204 208 215 216 217 218 221 226 230 231 232 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 115 116 118 122 123 125 129 130 137 138 139 140 145 148 149 151 161 163 165 171 173 175 185 186 188 194 195 198 199 203 204 208 215 216 217 218 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 26 27 30 33 35 40 41 43 44 45 50 56 57 59 60 65 76 81 88 94 102 103 108 109 115 116 118 122 123 125 129 130 137 138 139 140 148 149 151 161 163 165 171 173 175 185 186 188 194 195 198 199 203 204 208 215 216 217 218 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 26 27 30 33 35 40 41 43 44 45 50 56 59 60 65 76 81 88 94 102 103 108 109 115 116 118 122 123 125 129 130 137 138 139 140 148 149 151 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 208 215 216 217 218 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 26 30 33 35 40 41 43 44 45 50 56 59 60 65 76 81 88 94 102 103 108 109 115 116 118 122 123 125 129 130 137 138 139 140 148 149 151 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 26 30 33 35 40 41 43 44 45 50 56 59 60 65 81 88 94 102 103 108 109 115 116 118 122 123 125 129 130 137 138 139 140 148 149 151 156 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 26 30 33 35 40 41 43 44 45 50 56 59 60 65 81 88 94 102 103 108 109 115 116 118 122 123 129 130 137 138 139 140 148 149 151 152 156 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 26 30 35 40 41 43 44 45 50 54 56 59 60 65 81 88 94 102 103 108 109 115 116 118 122 123 129 130 137 138 139 140 148 149 151 152 156 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 26 30 35 40 41 43 44 45 50 54 59 60 65 81 88 94 102 103 108 109 115 116 118 122 123 129 130 137 138 139 140 148 149 151 152 156 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 14 18 22 23 30 35 40 41 43 44 45 50 54 59 60 65 81 88 94 102 103 108 109 115 116 118 122 123 127 129 130 137 138 139 140 148 149 151 152 156 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 22 23 30 35 40 41 43 44 45 50 54 59 60 65 81 88 94 102 103 108 109 115 116 118 122 123 127 129 130 136 137 138 139 140 148 149 151 152 156 161 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 22 23 30 35 40 41 43 44 45 49 50 54 59 60 65 81 88 94 102 103 108 109 115 116 118 122 123 127 129 130 136 137 138 139 140 148 149 151 152 156 163 165 171 173 175 178 185 186 188 194 195 198 199 203 204 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 22 23 30 35 40 41 43 44 45 49 50 54 59 60 62 65 81 88 94 102 103 108 109 115 116 118 122 123 127 129 130 136 137 138 139 140 148 149 151 152 156 163 165 171 173 175 178 185 186 188 194 195 198 199 204 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 22 23 30 35 40 41 43 44 45 49 50 54 59 60 62 65 81 88 94 102 103 108 109 115 116 118 122 123 127 129 130 136 137 138 139 140 148 149 151 152 156 163 165 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 22 23 30 35 40 41 43 44 45 49 50 54 59 60 62 65 81 88 94 102 103 108 109 115 116 118 122 123 127 130 136 137 138 139 140 148 149 151 152 156 158 163 165 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 22 23 30 35 38 40 41 43 44 45 49 50 54 59 60 62 65 81 88 94 102 108 109 115 116 118 122 123 127 130 136 137 138 139 140 148 149 151 152 156 158 163 165 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 43 44 45 49 50 54 59 60 62 65 74 81 88 94 102 108 109 115 116 118 122 123 127 130 136 137 138 139 140 148 149 151 152 156 158 163 165 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 218 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 43 44 45 49 50 54 59 60 62 65 74 81 88 94 102 108 109 115 116 118 122 123 127 130 136 137 138 139 140 148 149 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 43 44 45 49 50 52 54 59 60 62 65 74 81 88 102 108 109 115 116 118 122 123 127 130 136 137 138 139 140 148 149 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 43 44 45 49 50 52 54 59 60 62 65 74 81 88 102 108 109 115 116 117 118 122 123 127 130 136 137 138 139 140 148 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 50 52 54 59 60 62 65 74 81 88 102 108 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 148 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 50 52 54 59 60 62 65 74 81 84 88 102 108 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 50 52 54 55 59 60 62 65 74 81 84 88 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 215 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 50 52 54 55 59 60 62 65 74 81 84 87 88 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 217 220 221 226 230 231 232 233 237 239 242 243 244 250 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 217 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 c Step: 181 #END: [Tue Sep 5 09:01:10 2023]