#BEGIN: [Tue Sep 5 09:24:41 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance025_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph004_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_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat c /benchmark/random_instance/random_instance025_graph004.col c /benchmark/random_instance/random_instance025_graph004_01.dat TIMEOUT 1800 c send SIGTERM to CID 330b1eccc612b31ec7eaa4068a7cfa79c1a3ac9a39d11fcb22c1d662856753b0 s 116 231 5 314 65 163 159 137 315 73 295 109 8 78 133 255 283 306 141 317 69 156 278 260 28 36 325 190 35 143 91 13 286 179 215 76 263 121 170 171 77 68 294 144 38 308 302 130 324 222 19 211 160 252 131 46 212 248 52 200 165 225 61 30 322 245 201 1 150 244 232 72 241 323 274 94 267 39 311 42 23 186 247 242 290 93 70 272 82 149 55 12 217 238 43 183 224 288 146 265 32 300 205 9 264 221 t 77 188 241 105 160 16 203 59 295 75 149 319 314 261 153 205 152 27 185 91 113 32 106 315 320 39 108 220 257 43 128 280 148 183 294 44 159 225 67 299 311 324 214 135 221 222 217 211 73 267 156 169 269 114 143 200 270 163 170 193 255 206 127 177 252 68 25 259 264 286 278 173 18 72 14 291 194 238 316 321 69 41 239 1 297 234 49 145 120 276 52 12 158 130 42 242 46 71 190 249 247 4 101 82 208 224 a YES a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 205 206 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 206 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 164 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 76 77 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 164 165 170 171 179 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 74 76 77 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 164 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 38 39 42 43 46 52 55 61 65 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 150 156 159 160 164 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 14 19 23 28 30 32 35 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 150 156 159 160 164 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 14 19 23 28 30 32 35 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 164 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 14 19 23 28 32 35 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 164 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 14 19 23 28 30 32 35 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 164 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 14 19 23 28 30 32 35 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 164 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 322 323 324 325 a 1 5 8 9 12 13 14 19 23 28 30 32 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 322 323 324 325 a 1 5 8 9 12 13 14 19 23 28 30 32 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 225 229 231 232 238 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 12 13 14 19 23 28 30 32 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 148 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 225 229 231 232 238 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 12 13 14 19 23 28 30 32 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 148 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 224 225 229 231 232 238 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 12 13 14 19 23 28 30 32 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 148 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 12 13 14 19 23 28 30 32 35 36 38 39 42 43 46 52 53 55 61 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 130 133 137 141 143 144 146 148 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 133 137 141 143 144 146 148 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 133 137 141 143 144 146 148 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 322 323 324 a 1 5 8 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 322 323 324 a 1 5 8 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 323 324 a 1 5 8 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 323 324 a 1 5 8 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 12 13 14 19 23 28 30 32 33 35 36 38 39 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 171 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 12 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 93 94 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 76 77 78 82 91 93 94 106 109 116 121 133 137 141 143 144 146 149 150 156 159 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 10 12 13 14 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 76 77 78 82 91 93 94 106 109 116 121 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 76 77 78 82 91 94 106 109 116 121 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 53 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 325 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 238 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 325 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 325 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 a 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 322 323 a 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 322 323 a 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 323 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 156 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 a 1 5 8 9 10 12 13 14 15 19 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 156 160 165 170 183 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 323 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 160 165 170 183 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 323 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 76 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 321 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 160 165 170 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 324 a 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 160 165 170 177 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 324 a 5 8 9 10 12 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 70 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 141 143 144 146 149 150 160 165 170 177 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 324 a 5 8 9 10 12 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 46 52 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 140 141 143 144 146 149 150 160 165 170 177 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 324 a 5 8 9 10 12 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 140 141 143 144 146 149 150 160 165 170 177 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 309 311 314 315 317 322 324 a 5 8 9 10 12 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 140 141 143 144 146 149 150 160 165 170 177 183 186 190 200 201 203 205 211 212 215 217 221 222 224 225 229 231 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 309 314 315 317 322 324 a 5 8 9 10 12 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 133 134 137 140 141 143 144 146 149 150 160 165 170 177 183 186 190 201 203 205 211 212 215 217 221 222 224 225 229 231 232 233 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 309 314 315 317 322 324 a 5 8 9 10 12 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 165 170 177 183 186 190 193 201 203 205 211 212 215 217 221 222 224 225 229 231 232 233 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 283 286 288 290 294 295 300 302 306 308 309 314 315 317 322 324 a 5 8 9 10 12 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 186 190 193 201 203 205 211 212 215 217 221 222 224 225 229 231 232 233 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 300 302 306 308 309 314 315 317 322 324 a 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 186 190 193 201 203 205 211 212 215 217 221 222 224 225 229 231 232 233 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 300 302 306 308 309 314 315 317 324 a 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 201 203 205 211 212 215 217 221 222 224 225 229 232 233 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 300 302 306 308 309 314 315 317 324 a 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 201 203 205 211 212 215 217 221 222 224 225 229 232 233 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 300 302 306 308 309 314 315 321 324 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 201 203 205 211 212 215 217 221 222 224 225 229 232 233 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 300 302 308 309 314 315 321 324 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 42 43 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 300 302 308 309 314 315 321 324 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 300 308 309 314 315 321 324 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 309 314 315 321 324 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 38 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 314 315 321 324 a 1 5 8 9 10 12 13 14 15 19 22 23 28 30 32 33 35 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 321 324 a 1 5 8 9 12 13 14 15 19 22 23 28 30 32 33 35 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 321 324 a 1 4 5 8 9 12 13 14 15 19 22 23 28 30 32 33 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 132 134 137 140 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 321 324 a 1 4 5 8 9 12 13 14 15 19 22 23 28 32 33 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 127 132 134 137 140 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 321 324 a 1 4 5 8 9 12 13 14 19 22 23 28 32 33 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 127 128 132 134 137 140 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 321 324 a 1 4 5 8 9 12 13 14 19 22 23 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 127 128 130 132 134 137 140 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 321 324 a 1 4 5 8 9 12 13 14 19 22 23 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 116 121 127 128 130 132 137 140 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 8 9 12 13 14 19 22 23 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 121 127 128 130 132 137 140 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 269 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 8 9 12 13 14 19 22 23 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 121 127 128 130 132 137 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 208 211 212 215 217 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 269 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 9 12 13 14 19 22 23 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 121 127 128 130 132 137 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 208 211 212 215 217 220 221 222 224 225 229 232 241 242 244 245 247 248 252 255 260 264 265 267 269 272 274 276 278 280 281 283 286 288 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 9 12 13 14 19 22 23 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 121 127 128 130 132 137 141 143 144 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 208 211 212 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 248 252 255 260 264 265 267 269 272 274 276 278 280 281 283 286 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 9 12 13 14 19 22 23 27 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 106 109 121 127 128 130 132 137 141 143 146 149 150 159 160 170 177 183 185 186 190 193 200 201 203 205 208 211 212 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 248 252 255 260 264 265 267 269 272 274 276 278 280 281 283 286 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 9 12 13 14 19 22 23 27 28 32 36 39 42 43 44 46 52 53 55 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 121 127 128 130 132 137 141 143 146 149 159 160 170 177 183 185 186 190 193 200 201 203 205 208 211 212 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 248 252 255 260 264 265 267 269 272 274 276 278 280 281 283 286 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 9 12 13 14 19 22 23 27 28 32 36 39 42 43 44 46 52 53 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 121 127 128 130 132 137 141 143 146 149 159 160 170 177 183 185 186 190 193 200 201 203 205 208 211 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 248 252 255 260 264 265 267 269 272 274 276 278 280 281 283 286 290 294 295 299 308 311 314 315 316 321 324 a 1 4 5 9 12 13 14 19 22 23 27 28 32 36 39 42 43 44 46 52 53 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 121 127 128 130 132 137 141 143 146 149 159 160 170 177 183 185 186 190 193 200 201 203 205 208 211 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 248 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 290 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 19 22 23 27 28 32 36 39 42 43 44 46 52 53 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 121 127 128 130 132 137 141 143 146 149 159 160 170 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 248 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 121 127 128 130 132 137 141 143 146 149 159 160 170 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 248 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 121 127 128 130 132 137 141 143 146 149 158 159 160 170 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 232 234 241 242 244 245 247 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 121 127 128 130 132 137 141 143 146 148 149 158 159 160 170 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 232 234 241 242 244 247 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 109 114 121 127 128 130 132 137 141 143 146 148 149 158 159 160 170 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 234 241 242 244 247 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 114 121 127 128 130 132 137 141 143 146 148 149 158 159 160 170 173 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 234 241 242 244 247 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 78 82 91 94 101 106 114 121 127 128 130 137 141 143 146 148 149 158 159 160 170 173 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 234 239 241 242 244 247 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 82 91 94 101 106 114 121 127 128 130 137 141 143 146 148 149 158 159 160 169 170 173 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 234 239 241 242 244 247 252 255 260 264 265 267 269 270 272 274 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 25 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 82 91 94 101 106 114 121 127 128 130 137 141 143 146 148 149 158 159 160 169 170 173 177 183 185 186 190 193 200 201 203 205 206 208 211 215 217 220 221 222 224 225 229 234 239 241 242 244 247 252 255 260 264 265 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 25 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 146 148 149 158 159 160 169 170 173 177 183 185 186 190 193 200 201 203 205 206 208 211 217 220 221 222 224 225 229 234 239 241 242 244 247 252 255 260 264 265 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 25 27 28 32 36 39 42 43 44 46 52 55 59 61 68 69 71 72 73 74 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 146 148 149 158 159 160 169 170 173 177 183 185 186 190 193 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 244 247 252 255 260 264 265 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 23 25 27 28 32 36 39 42 43 44 46 52 55 59 68 69 71 72 73 74 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 146 148 149 158 159 160 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 244 247 252 255 260 264 265 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 22 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 74 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 146 148 149 158 159 160 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 244 247 252 255 260 264 265 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 74 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 146 148 149 158 159 160 163 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 244 247 252 255 260 264 265 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 18 19 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 74 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 145 146 148 149 158 159 160 163 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 244 247 252 255 260 264 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 74 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 145 146 148 149 158 159 160 163 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 252 255 260 264 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 145 146 148 149 158 159 160 163 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 281 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 75 77 82 91 94 101 106 108 114 121 127 128 130 137 141 143 145 146 148 149 156 158 159 160 163 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 75 77 82 91 94 101 106 108 114 120 121 127 128 130 137 143 145 146 148 149 156 158 159 160 163 169 170 173 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 55 59 68 69 71 72 73 75 77 82 91 94 101 106 108 113 114 120 121 127 128 130 137 143 145 146 148 149 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 283 286 294 295 299 311 314 315 316 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 59 68 69 71 72 73 75 77 82 91 94 101 106 108 113 114 120 121 127 128 130 137 143 145 146 148 149 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 283 286 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 59 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 137 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 283 286 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 42 43 44 46 49 52 59 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 137 143 145 146 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 286 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 28 32 36 39 41 42 43 44 46 49 52 59 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 137 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 286 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 32 36 39 41 42 43 44 46 49 52 59 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 137 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 9 12 13 14 16 18 19 25 27 32 36 39 41 42 43 44 46 49 52 59 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 137 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 14 16 18 19 25 27 32 36 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 137 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 14 16 18 25 27 32 36 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 135 137 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 190 193 194 200 201 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 14 16 18 25 27 32 36 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 121 127 128 130 135 137 143 145 148 149 152 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 14 16 18 25 27 32 36 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 127 128 130 135 137 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 14 16 18 25 27 32 36 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 5 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 264 267 269 270 272 276 278 280 286 291 294 295 299 311 314 315 316 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 264 267 269 270 272 276 278 280 286 291 294 295 297 299 311 314 315 316 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 320 321 324 a 1 4 12 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 319 320 321 324 c Step: 122 #END: [Tue Sep 5 09:54:42 2023]