507 505 505 504 503 502 502 500 500 494 483 489 488 488 478 464 453 451 445 437 430 420 416 414 414 420 430 438 447 455 466 475 479 488 497 504 505 501 494 492 489 487 485 483 482 478 477 474 472 468 470 468 467 462 454 451 452 450 442 439 440 441 450 454 459 472 474 479 486 493 498 503 506 508 509 517 525 533 545 561 570 584 595 604 613 623 629 635 643 652 663 674 679 690 704 711 725 733 747 766 780 787 797 802 804 813 823 830 834 834 840 843 844 846 848 845 847 841 830 817 804 795 784 775 772 766 770 782 780 790 806 815 826 834 841 849 859 855 846 837 834 839 847 842 834 826 823 828 824 817 816 819 816 818 827 823 811 793 775 768 756 749 744 737 723 715 703 696 683 673 660 655 644 630 619 607 601 591 584 579 567 551 538 529 522 511 503 497 487 480 475 470 465 461 458 454 452 451 450 449 448 451 451 450 452 454 454 454 455 457 457 460 464 467 467 469 470 470 471 474 476 478 481 482 483 486 488 492 500 509 507 501 504 507 506 510 513 521 526 527 522 518 521 524 527 532 535 537 538 543 544 546 548 551 555 557 559 561 564 565 575 590 600 607 617 631 633 636 652 663 669 674 690 704 715 724 732 741 747 753 758 772 788 799 802 806 809 807 807 809 810 813 816 821 825 831 840 851 856 862 872 887 900 912 920 930 940 949 964 974 984 990 998 1008 1021 1030 1037 1046 1057 1070 1082 1094 1106 1111 1121 1129 1143 1158 1174 1192 1206 1215 1228 1240 1257 1269 1276 1280 1282 1280 1279 1278 1281 1279 1280 1281 1280 1279 1279 1279 1272 1265 1255 1243 1231 1214 1200 1183 1167 1151 1136 1120 1101 1087 1075 1062 1056 1045 1031 1018 1005 990 979 968 958 947 936 921 908 902 897 893 884 876 869 868 861 851 848 836 822 809 794 779 763 748 734 725 714 704 689 678 672 665 663 658 659 655 647 641 630 627 621 613 602 593 588 582 578 574 567 556 552 548 544 542 536 532 529 528 532 538 536 527 524 521 518 515 515 513 512 509 509 509 509 511 509 509 508 509 517 514 514 515 516 516 516 518 517 519 519 518 521 522 524 525 527 525 527 528 532 535 536 538 536 534 533 533 533 532 530 530 531 530 533 538 532 531 531 531 533 533 532 533 532 532 535 533 535 534 532 532 531 532 534 536 536 536 537 533 537 543 542 543 548 550 552 554 560 563 566 570 572 571 566 565 564 568 577 588 595 593 589 585 580 576 574 578 587 594 599 602 609 621 629 634 645 649 659 660 661 661 654 654 655 658 660 658 661 661 659 648 661 651 653 650 650 642 632 624 614 604 599 593 585 580 579 579 581 588 590 593 588 577 568 567 567 570 572 574 577 572 569 563 562 557 553 552 550 548 546 547 560 569 574 575 574 574 580 573 574 582 611 644 688 728 775 825 874 921 962 1010 1055 1103 1149 1205 1252 1108 1167 1201 1242 1425 1440 1526 1525 1527 1535 1534 1533 1533 1532 1532 1534 1528 1539 1526 1526 1525 577 575 569 575 565 552 547 545 542 535 537 537 538 537 537 536 535 534 534 535 536 536 536 538 538 539 537 537 536 534 532 533 534 533 532 532 532 540 538 535 535 534 539 535 534 532 532 533 533 537 538 538 535 533 527 528 527 527 529 528 526 524 522 522 519 519 519 517 517 514 515 516 517 516 517 518 514 512 512 511 511 510 509 512 514 514 511 510 508 506 507 508 508 504 507 506 505 501 498 499 497 495 494 493 493 491 491 491 492 492 490 489 489 490 491 487 486 486 486 489 487 490 490 484 486 486 486 484 484 483 487 489 488 483 483 482 481 482 482 478 480 478 479 481 485 488 490 491 493 487 482 481 478 462 445 448 452 463 458 456 463 472 478 484 490 490 488 482 479 478 478 478 477 479 480 480 479 482 483 483 485 486 491 493 488 487 486 487 485 485 488 490 484 482 483 488 486 485 482 481 484 486 486 484 479 479 481 481 481 480 481 483 485 489 490 490 479 480 480 481 480 481 486 485 485 490 489 491 498 490 489 487 487 487 491 490 489 488 486 486 487 486 487 487 487 487 490 489 491 493 495 499 503 503 507 509 509 511 510 509 509 508 507 507 506 502 497 493 490 485 484 477 470 464 458 454 450 445 444 445 447 448 449 451 453 452 455 456 459 467 471 479 488 491 497 501 502 499 504 504 507 508 508 506 504 506 503 506 506 499