#BEGIN: [Mon Sep  4 15:01:54 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance039_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance039_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance039_graph002.col /benchmark/random_instance/random_instance039_graph002_01.dat
c /benchmark/random_instance/random_instance039_graph002.col
c /benchmark/random_instance/random_instance039_graph002_01.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.020 seconds
s 333 392 242 397 432 493 296 427 246 82 14 486 125 117 324 142 320 4 499 121 134 491 420 138 171 127 177 449 384 492 403 436 32 351 123 136 343 12 183 416 79 232 424 460 417 297 39 480 218 10 280 27 22 228 229 210 64 18 35 283 505 332 377 506 57 353 94 358 60 409 16 211 322 7 103 502 40 414 484 252 71 410 230 45 456 402 355 372 356 17 471 472 9 291 490 201 295 195 389 135 256 495 461 8 374 294 315 268 152 457 455 408 451 91 149 146 334 503 49 180 247 42 150 335 488 481 191 258 398 113 387 1 282 213 199 305 205 200 147 441 440 105 425 489 101 477 257 366 433 97 382 327 61 153 59 413 51 63 404 274 122 98 487 214 167 86 435 348 286 496
t 81 479 102 280 54 255 173 229 196 440 266 95 398 459 135 163 45 238 470 294 56 218 311 264 145 244 295 483 316 397 39 429 2 358 337 236 32 278 146 114 435 1 97 133 136 237 422 98 18 291 233 279 335 326 394 16 355 496 67 147 105 408 183 464 306 108 387 75 51 222 386 224 481 482 477 419 155 181 405 94 312 380 87 158 64 253 450 73 363 503 433 170 271 205 300 131 130 330 410 428 463 431 338 403 28 59 177 475 21 432 401 296 83 497 315 169 489 268 25 141 413 113 221 327 269 324 345 469 223 252 80 90 192 187 5 329 270 123 305 47 44 152 172 42 487 122 154 506 297 180 7 199 320 353 69 425 127 125 57 457 46 72 213 474 451 361 151 226 88 179
a YES
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 457 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 457 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 457 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 310 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 310 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 494 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 494 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 186 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 494 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 186 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 186 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 344 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 186 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 343 344 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 186 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 343 344 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 186 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 343 344 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 186 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 343 344 348 351 353 354 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 496 499 502
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 343 344 348 351 353 354 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 496 499 502 503
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 354 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 496 499 502 503 505
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 354 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 499 502 503 505
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 354 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 499 502 503 505
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 354 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 499 502 503
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 499 502 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 488 489 490 491 492 493 495 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 499 503
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 495 499 502 503
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 436 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 495 496 499 502
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 495 496 499 502
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 502 503
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 276 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 86 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 70 71 79 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 45 47 49 51 57 59 60 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 366 372 374 377 382 384 386 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 45 47 49 51 57 59 60 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 372 374 377 382 384 386 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 45 47 49 51 57 59 60 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 372 374 377 382 384 386 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 483 484 486 487 488 489 490 491 492 496 499 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 45 47 49 51 57 59 60 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 372 374 377 382 384 386 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 483 484 486 487 488 489 490 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 49 51 57 59 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 372 374 377 382 384 386 387 389 390 392 398 402 403 404 408 409 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 483 484 486 487 488 489 490 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 49 51 57 59 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 372 374 377 382 384 386 387 389 390 392 394 398 402 403 404 408 410 413 416 417 424 425 427 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 483 484 486 487 488 489 490 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 49 51 57 59 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 372 374 377 382 384 386 387 389 390 394 398 402 403 404 408 410 413 416 417 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 483 484 486 487 488 489 490 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 49 51 57 59 61 63 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 404 408 410 413 416 417 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 477 480 481 483 486 487 488 489 490 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 49 51 57 59 61 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 404 408 410 413 416 417 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 474 477 480 481 483 486 487 488 489 490 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 49 51 57 59 61 64 70 71 82 91 94 97 98 101 102 103 105 106 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 404 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 474 477 480 481 483 486 487 488 489 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 71 82 91 94 97 98 101 102 103 105 106 108 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 404 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 474 477 480 481 483 486 487 488 489 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 117 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 404 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 474 477 480 481 483 486 487 488 489 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 404 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 474 477 479 480 481 483 486 487 488 489 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 460 461 471 472 474 477 479 480 481 483 486 487 488 489 491 492 496 503 506
a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 471 472 474 477 479 480 481 483 487 488 489 491 492 496 503 506
a 1 4 7 8 9 12 14 16 17 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 326 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 471 472 474 477 479 480 481 483 487 488 489 491 492 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 326 327 332 333 334 343 348 351 353 355 356 358 363 372 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 471 472 474 477 479 480 481 483 487 488 489 491 492 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 114 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 320 322 324 326 327 332 333 334 343 348 351 353 355 356 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 471 472 474 477 479 480 481 483 487 488 489 491 492 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 114 118 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 315 316 320 322 324 326 327 332 333 334 348 351 353 355 356 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 471 472 474 477 479 480 481 483 487 488 489 491 492 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 282 283 286 291 294 296 297 305 311 315 316 320 322 324 326 327 332 333 334 348 351 353 355 356 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 471 472 474 477 479 480 481 483 487 488 489 491 492 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 322 324 326 327 332 333 334 348 351 353 355 356 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 464 471 472 474 477 479 480 481 483 487 488 489 491 492 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 322 324 326 327 332 333 334 348 351 353 355 356 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 460 461 464 471 472 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 47 51 57 59 61 64 70 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 322 324 326 327 332 333 334 348 351 353 355 356 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 472 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 322 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 424 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 472 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 322 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 472 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 240 242 246 247 252 255 256 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 472 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 238 242 246 247 252 255 256 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 472 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 472 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 232 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 315 316 320 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 158 167 171 173 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 332 333 334 348 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 332 333 334 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 332 333 351 353 355 358 363 374 377 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 149 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 332 351 353 355 358 363 374 377 380 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 389 390 394 398 402 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 134 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 389 390 394 398 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 463 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 389 390 394 398 401 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 461 463 464 471 474 477 479 480 481 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 389 390 394 398 401 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 463 464 471 474 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 417 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 463 464 471 474 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 14 16 18 22 25 27 32 35 39 42 44 45 46 47 51 57 59 61 64 70 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 463 464 471 474 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 16 18 22 25 27 32 35 39 42 44 45 46 47 51 57 59 61 64 69 70 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 463 464 471 474 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 16 18 22 25 27 32 35 39 42 44 45 46 47 51 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 441 447 449 451 455 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 8 9 12 16 18 22 25 27 32 35 39 42 44 45 46 47 51 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 447 449 451 455 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 9 12 16 18 22 25 27 32 35 39 42 44 45 46 47 51 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 447 449 451 455 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 9 12 16 18 22 25 27 32 35 39 42 44 45 46 47 51 54 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 101 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 332 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 363 374 377 380 382 384 386 387 390 394 398 401 403 408 410 413 416 422 425 427 431 432 433 434 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 242 246 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 363 374 377 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 422 425 427 431 432 433 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 246 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 363 374 377 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 246 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 363 374 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 246 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 374 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 449 451 456 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 151 152 153 154 155 158 167 171 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 246 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 374 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 456 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 151 152 153 154 155 158 167 171 173 177 180 181 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 238 247 252 255 257 258 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 374 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 456 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 151 152 153 154 155 158 167 171 173 177 180 181 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 237 238 247 252 255 257 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 374 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 456 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 151 152 153 154 155 158 167 171 173 177 180 181 183 187 192 195 199 200 201 205 210 211 213 214 218 221 223 225 228 229 230 233 236 237 238 247 252 255 257 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 374 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 151 152 153 154 155 158 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 247 252 255 257 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 374 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 150 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 247 252 255 257 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 266 268 269 274 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 91 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 264 266 268 269 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 264 266 268 269 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 408 410 413 416 419 422 425 427 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 264 266 268 269 278 280 283 286 291 294 296 297 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 408 410 413 419 422 425 427 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 264 266 268 269 278 280 283 286 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 408 410 413 419 422 425 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 491 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 264 266 268 269 278 280 283 286 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 447 451 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 264 266 268 269 278 280 283 286 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 447 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 257 264 266 268 269 278 280 283 286 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 223 225 228 229 230 233 236 237 238 244 247 252 255 264 266 268 269 278 280 283 286 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 222 223 225 228 229 230 233 236 237 238 244 252 255 264 266 268 269 278 280 283 286 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 12 16 18 22 25 27 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 222 223 225 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 27 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 211 213 214 218 221 222 223 225 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 27 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 213 214 218 221 222 223 225 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 345 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 213 214 218 221 222 223 225 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 338 345 351 353 355 358 361 363 380 382 384 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 82 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 213 214 218 221 222 223 225 226 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 338 345 351 353 355 358 361 363 380 382 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 131 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 199 200 201 205 213 214 218 221 222 223 225 226 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 338 345 351 353 355 358 361 363 380 382 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 131 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 225 226 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 311 312 315 316 320 324 326 327 330 337 338 345 351 353 355 358 361 363 380 382 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 131 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 225 226 228 229 230 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 382 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 131 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 171 173 177 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 225 226 228 229 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 382 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 103 105 106 108 113 114 118 122 123 125 127 131 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 173 177 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 228 229 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 382 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 105 106 108 113 114 118 122 123 125 127 131 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 173 177 179 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 228 229 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 382 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 105 106 108 113 114 118 122 123 125 127 131 133 135 136 138 145 146 147 151 152 153 154 155 158 163 167 169 170 173 177 179 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 228 229 233 236 237 238 244 252 255 264 266 268 269 270 278 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 94 97 98 102 105 106 108 113 114 118 122 123 125 127 131 133 135 136 145 146 147 151 152 153 154 155 158 163 167 169 170 173 177 179 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 228 229 233 236 237 238 244 252 255 264 266 268 269 270 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 97 98 102 105 106 108 113 114 118 122 123 125 127 131 133 135 136 145 146 147 151 152 153 154 155 158 163 167 169 170 173 177 179 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 229 233 236 237 238 244 252 255 264 266 268 269 270 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 97 98 102 105 106 108 113 114 122 123 125 127 131 133 135 136 145 146 147 151 152 153 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 229 233 236 237 238 244 252 255 264 266 268 269 270 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 337 338 345 353 355 358 361 363 380 386 387 390 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 97 98 102 105 106 108 113 114 122 123 125 127 131 133 135 136 145 146 147 151 152 153 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 229 233 236 237 238 244 252 255 264 266 268 269 270 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 488 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 97 98 102 105 106 108 113 114 122 123 125 127 130 131 133 135 136 145 146 147 151 152 153 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 214 218 221 222 223 224 225 226 229 233 236 237 238 244 252 255 264 266 268 269 270 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 97 98 102 105 106 108 113 114 122 123 125 127 130 131 133 135 136 145 146 147 151 152 153 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 218 221 222 223 224 225 226 229 233 236 237 238 244 252 255 264 266 268 269 270 271 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 97 98 102 105 106 108 113 114 122 123 125 127 130 131 133 135 136 145 146 147 151 152 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 218 221 222 223 224 225 226 229 233 236 237 238 244 252 255 264 266 268 269 270 271 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 95 97 98 102 105 106 108 113 114 122 123 125 127 130 131 133 135 136 145 146 147 151 152 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 218 221 222 223 224 225 226 229 233 236 237 238 244 252 255 264 266 268 269 270 271 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 145 146 147 151 152 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 218 221 222 223 224 225 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 145 146 147 151 152 154 155 158 163 167 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 195 196 199 200 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 195 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 4 5 7 9 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 5 7 9 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 5 7 16 18 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 496 497 503 506
a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 450 451 457 459 463 464 469 470 474 475 477 479 481 482 483 487 489 496 497 503 506
c Step: 127
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance039_graph002.col /benchmark/random_instance/random_instance039_graph002_01.dat"
	User time (seconds): 547.66
	System time (seconds): 7.68
	Percent of CPU this job got: 151%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.21
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 25628064
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 8778996
	Voluntary context switches: 261881
	Involuntary context switches: 2487
	Swaps: 0
	File system inputs: 0
	File system outputs: 1088
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 15:08:00 2023]