#BEGIN: [Thu Aug 31 05:43:46 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/ash331GPIA.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/ash331GPIA_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/ash331GPIA.col /benchmark/2022benchmark/benchmark/color04/ash331GPIA_02.dat
c /benchmark/2022benchmark/benchmark/color04/ash331GPIA.col
c /benchmark/2022benchmark/benchmark/color04/ash331GPIA_02.dat
TIMEOUT 1800
c send SIGTERM to CID a872bdeeb388f3f18e1c5d003ee6c4508e225b0a1c89f41bd04778ec856ea50c
s 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661 
t 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a YES
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 25 27 29 31 33 37 42 44 46 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 653 655
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
c Step: 78
#END: [Thu Aug 31 06:13:46 2023]