#BEGIN: [Tue Sep 26 00:45:56 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-ai-planning-longest2 #INSTANCE1: /benchmark/random_instance/random_instance034_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph002_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance034_graph002.col /benchmark/random_instance/random_instance034_graph002_01.dat s 194 107 250 234 196 419 22 23 136 397 158 39 338 366 306 328 195 432 307 164 127 77 112 362 310 206 360 33 183 50 343 3 305 380 381 367 379 104 173 184 394 326 200 9 187 68 182 217 358 231 130 161 282 396 293 223 138 427 92 431 260 36 103 425 355 271 53 86 385 274 174 382 11 308 210 56 314 203 108 309 401 41 43 124 215 205 30 339 392 119 335 38 312 409 102 101 100 406 70 18 294 63 278 66 67 126 166 16 58 55 48 353 69 341 7 221 91 47 332 350 219 275 346 226 40 165 400 386 267 98 198 49 319 228 240 105 301 15 76 t 98 223 83 307 8 126 286 347 384 282 423 271 295 149 218 24 348 288 117 303 115 49 183 440 155 346 219 140 116 50 20 332 322 9 36 86 141 301 326 56 129 235 203 399 88 329 275 338 65 306 324 106 156 102 396 4 413 311 231 334 109 105 150 3 422 198 200 171 216 206 314 201 402 284 434 285 294 398 40 397 293 349 158 162 239 297 281 296 312 213 389 393 368 380 341 323 374 139 34 130 289 375 432 192 336 428 353 76 185 424 120 387 175 181 67 11 2 204 335 60 101 217 225 172 35 382 325 299 274 330 262 381 315 256 103 230 108 132 28 a YES a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 204 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 43 47 48 49 50 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 204 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 262 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 2 3 7 9 11 15 18 22 23 30 33 36 38 40 43 47 48 49 50 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 204 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 262 267 271 274 275 278 282 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 2 3 7 9 11 15 18 22 23 33 36 38 40 43 47 48 49 50 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 204 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 262 267 271 274 275 278 282 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 434 a 2 3 7 9 11 15 18 22 23 33 36 38 40 43 47 48 49 50 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 204 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 262 267 271 274 275 278 282 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 434 a 2 3 7 9 11 15 18 22 23 33 36 38 40 43 47 48 49 50 55 56 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 262 267 271 274 275 278 282 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 434 a 2 3 7 9 11 15 18 22 23 33 36 38 40 43 47 48 49 50 55 56 66 67 68 69 70 76 77 86 91 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 282 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 434 a 2 3 9 11 15 18 22 23 33 36 38 40 43 47 48 49 50 55 56 66 67 68 69 70 76 77 86 91 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 434 a 2 3 9 11 15 18 22 23 33 36 38 40 43 47 48 49 50 55 56 66 67 68 69 70 76 77 86 91 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 33 36 38 40 43 47 48 49 50 55 56 66 67 68 69 70 76 77 86 91 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 33 36 38 40 43 47 48 49 50 55 56 66 67 68 69 70 76 77 86 91 98 100 101 102 103 105 107 108 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 33 36 38 40 43 47 48 49 50 55 56 66 67 68 69 70 76 77 86 91 98 100 101 102 103 105 107 108 119 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 91 98 100 101 102 103 105 107 108 119 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 98 100 101 102 103 105 107 108 119 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 336 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 149 158 161 164 165 166 174 182 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 336 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 149 158 161 164 165 166 174 183 184 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 326 328 332 335 336 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 149 158 161 164 165 166 174 183 187 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 149 158 161 164 165 166 174 183 194 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 18 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 149 158 161 164 165 166 174 183 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 107 108 119 126 130 136 149 158 161 164 165 166 174 183 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 126 130 136 149 158 161 164 165 166 174 183 195 196 198 200 201 203 204 205 206 210 215 217 219 221 223 226 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 126 130 136 149 158 161 164 165 166 174 183 195 196 198 200 201 203 204 205 206 215 217 219 221 223 226 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 126 130 136 149 155 158 161 164 165 166 174 183 195 196 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 240 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 158 161 164 165 166 174 183 195 196 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 250 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 158 161 164 165 166 174 183 195 196 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 161 164 165 166 174 183 195 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 260 262 267 271 274 275 278 281 282 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 22 23 24 33 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 161 164 165 166 174 183 195 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 278 281 282 284 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 9 11 23 24 33 35 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 161 164 165 166 174 183 195 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 278 281 282 284 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 23 24 33 35 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 161 164 165 166 174 183 195 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 281 282 284 288 293 294 299 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 23 24 33 35 36 38 40 43 48 49 50 55 56 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 164 165 166 174 183 195 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 281 282 284 288 293 294 299 301 305 306 307 308 309 310 312 314 319 322 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 23 24 33 35 36 38 40 43 48 49 50 55 56 65 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 164 165 166 174 183 195 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 281 282 284 288 293 294 299 301 306 307 308 309 310 312 314 319 322 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 23 24 33 35 36 38 40 43 48 49 50 55 56 65 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 164 165 166 174 183 195 198 200 201 203 204 205 206 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 339 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 23 24 33 35 36 38 40 43 48 49 50 55 56 65 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 119 120 126 130 136 149 155 156 158 164 165 166 174 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 343 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 23 24 33 35 36 38 40 43 48 49 50 55 56 65 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 358 360 362 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 23 24 33 34 35 36 38 40 43 48 49 50 55 56 65 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 358 360 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 24 33 34 35 36 38 40 43 48 49 50 55 56 65 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 358 360 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 38 40 43 48 49 50 55 56 65 66 67 68 69 70 76 77 86 88 98 100 101 102 103 105 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 175 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 358 360 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 38 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 175 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 358 360 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 38 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 175 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 360 366 367 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 38 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 175 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 360 367 368 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 175 183 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 360 367 368 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 155 156 158 164 165 166 174 175 183 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 289 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 360 367 368 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 183 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 267 271 274 275 281 282 284 288 289 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 332 335 336 338 341 346 347 348 349 350 353 355 360 367 368 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 34 35 36 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 183 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 271 274 275 281 282 284 288 289 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 360 367 368 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 28 34 35 36 40 43 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 183 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 271 274 275 281 282 284 288 289 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 360 368 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 183 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 271 274 275 281 282 284 288 289 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 360 368 374 379 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 181 183 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 271 274 275 281 282 284 288 289 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 360 368 374 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 77 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 181 183 198 200 201 203 204 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 360 368 374 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 181 183 198 200 201 203 204 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 360 368 374 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 181 183 185 198 200 201 203 204 206 213 215 217 219 221 223 225 228 230 231 234 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 86 88 98 100 101 102 103 105 106 108 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 181 183 185 198 200 201 203 204 206 213 215 217 219 221 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 136 149 150 155 156 158 164 165 166 175 181 183 185 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 136 149 150 155 156 158 164 165 166 175 181 183 185 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 384 385 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 136 149 150 155 156 158 164 165 166 172 175 181 183 185 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 384 386 389 392 394 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 66 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 136 140 149 150 155 156 158 164 165 166 172 175 181 183 185 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 384 386 389 392 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 136 140 149 150 155 156 158 164 165 166 172 175 181 183 185 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 303 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 380 381 382 384 386 389 392 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 164 165 166 172 175 181 183 185 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 303 306 307 308 309 310 311 312 314 322 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 392 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 164 165 166 172 175 181 183 185 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 392 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 164 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 288 289 293 294 296 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 400 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 164 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 406 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 60 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 164 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 9 11 24 28 34 35 36 40 48 49 50 55 56 60 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 409 413 419 422 424 425 427 431 432 434 440 a 2 3 4 8 9 11 24 28 34 35 36 40 48 49 50 55 56 60 65 67 69 70 76 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 413 419 422 424 425 427 431 432 434 440 a 2 3 4 8 9 11 24 28 34 35 36 40 48 49 50 55 56 60 65 67 69 70 76 83 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 413 422 424 425 427 431 432 434 440 a 2 3 4 8 9 11 24 28 34 35 36 40 49 50 55 56 60 65 67 69 70 76 83 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 413 422 424 425 427 431 432 434 440 a 2 3 4 8 9 11 24 28 34 35 36 40 49 50 56 60 65 67 69 70 76 83 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 165 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 413 422 424 425 427 428 431 432 434 440 a 2 3 4 8 9 11 24 28 34 35 36 40 49 50 56 60 65 67 70 76 83 86 88 98 100 101 102 103 105 106 108 116 117 119 120 126 130 132 140 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 310 311 312 314 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 413 422 424 425 427 428 431 432 434 440 a 2 3 4 8 9 11 24 28 34 35 36 40 49 50 56 60 65 67 70 76 83 86 88 98 100 101 102 103 105 106 108 116 117 120 126 130 132 140 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 310 311 312 314 315 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 389 396 397 398 399 401 402 413 422 424 425 427 428 431 432 434 440 a 2 3 4 8 9 11 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 100 101 102 103 105 106 108 116 117 120 126 130 132 140 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 310 311 312 314 315 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 396 397 398 399 401 402 413 422 424 425 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 100 101 102 103 105 106 108 116 117 120 126 130 132 140 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 311 312 314 315 322 323 324 326 328 329 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 396 397 398 399 401 402 413 422 424 425 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 130 132 140 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 311 312 314 315 322 323 324 326 328 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 396 397 398 399 401 402 413 422 424 425 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 130 132 140 149 150 155 156 158 165 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 311 312 314 315 322 323 324 325 326 328 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 396 397 398 399 401 402 413 422 424 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 130 132 140 149 150 155 156 158 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 311 312 314 315 322 323 324 325 326 328 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 401 402 413 422 424 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 130 132 140 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 308 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 401 402 413 422 424 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 129 130 132 140 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 401 402 413 422 424 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 129 130 132 140 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 402 413 422 424 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 129 130 132 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 402 413 422 424 427 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 129 130 132 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 402 413 422 423 424 428 431 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 116 117 120 126 129 130 132 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 #END: [Tue Sep 26 01:14:56 2023]