583 584 584 583 579 579 579 577 576 575 574 570 567 560 551 547 545 541 540 537 535 536 536 533 531 527 525 523 526 526 518 516 512 516 515 512 508 507 504 503 502 499 498 498 500 503 500 497 497 499 499 502 504 507 510 515 521 525 522 519 512 509 509 508 506 506 508 511 514 516 519 524 527 530 533 537 540 543 547 553 565 571 578 580 587 588 589 595 601 605 607 611 617 628 639 642 651 655 652 654 657 657 659 661 665 672 682 693 698 701 701 707 714 723 737 751 762 771 782 790 800 807 813 823 831 838 844 854 860 869 870 865 878 881 894 904 912 924 934 942 951 960 971 979 989 999 1011 1018 1026 1036 1047 1056 1068 1078 1084 1091 1092 1103 1111 1125 1132 1144 1154 1166 1175 1185 1198 1206 1209 1214 1225 1238 1253 1263 1270 1274 1280 1286 1280 1274 1268 1265 1258 1250 1243 1237 1233 1228 1222 1218 1211 1201 1192 1185 1176 1168 1158 1153 1148 1140 1134 1129 1116 1110 1104 1098 1086 1076 1071 1060 1055 1046 1036 1027 1019 1012 1002 989 981 974 966 958 944 938 928 920 911 906 896 889 880 876 869 862 854 848 840 833 826 818 813 806 801 795 791 786 782 778 773 770 766 764 762 760 759 757 755 753 752 750 749 748 747 745 743 742 742 740 739 738 738 738 740 739 740 741 741 741 741 742 743 743 744 744 745 746 745 746 746 746 746 746 753 749 744 749 750 753 754 754 755 757 757 759 760 762 763 765 766 768 770 773 776 778 780 781 783 785 786 787 788 787 791 788 785 785 784 784 785 785 786 788 788 788 788 789 790 792 794 793 795 796 797 797 798 799 801 802 802 801 803 803 803 802 802 801 801 800 800 799 798 803 800 796 793 790 787 784 781 778 777 775 773 771 770 768 766 764 764 764 764 762 762 758 755 756 757 757 756 756 754 754 754 754 751 751 749 746 744 742 742 744 741 741 743 746 745 747 746 747 748 746 747 747 746 744 740 738 736 737 738 740 740 743 744 743 738 736 739 743 744 744 740 744 745 739 736 758 757 755 754 743 740 750 762 772 777 780 780 786 790 782 778 767 756 745 736 728 718 712 713 715 719 718 710 703 700 698 697 696 696 695 698 708 711 706 702 700 696 692 689 686 686 685 685 695 698 700 697 693 686 677 676 676 676 674 676 676 671 671 670 668 673 674 672 672 670 670 669 671 669 666 666 665 665 667 670 669 667 664 663 660 663 667 670 670 672 675 677 680 681 683 684 685 685 687 689 692 694 696 699 701 703 704 707 709 711 714 716 718 720 723 727 731 734 737 739 741 742 746 750 755 759 761 765 772 775 779 783 788 793 802 808 815 820 831 831 844 857 869 873 887 894 903 912 921 935 945 950 963 974 979 985 991 993 998 1005 1013 1022 1029 1032 1047 1053 1058 1069 1078 1089 1104 1104 1084 1068 1055 1047 1041 1034 1029 1018 1009 996 984 977 974 969 961 952 939 923 903 890 874 865 858 846 838 834 828 826 825 821 817 814 809 807 807 805 800 798 798 796 797 795 790 788 787 784 782 780 778 777 776 771 766 764 761 760 758 755 755 751 749 747 745 743 740 738 735 732 731 728 724 724 725 722 720 718 715 715 715 711 709 708 708 707 703 701 700 698 698 696 699 698 692 691 689 687 686 685 685 684 682 680 678 678 679 679 674 670 668 668 667 667 667 665 666 663 661 662 661 659 657 655 653 652 649 646 645 643 643 644 640 639 638 637 637 635 633 631 632 630 637 640 649 646 636 625 619 616 613 610 609 611 604 603 600 599 599 597 593 592 593 592 590 588 589 586 583 577 575 574 573 569 566 565 565 564 561 558 556 556 556 557 559 562 557 551 544 543 540 538 538 537 540 538 532 530 534 530 523 520 518 515 514 512 514 525 540 554 564 567 569 574 578 581 577 564 559 566 571 569 567 556 546 537 544 543 537 532 531 522 513 514 514 513 514 516 517 518 518 517 517 518 520 529 518 523 522 521 522 523 519 519 519 517 519 518 517 517 517 515 517 515 509 516 525 532 535 535 536 539 546 557 568 581 592 600 611 620 616 612 603 591 581 569 559 549 545 541 542 542 547 552 550 551 551 552 549 549 547 545 544 551 554 550 547 547 554 561 568 562 561 561 555 546 539 524 511 511 518 535 552 561 568 574 581 585 587 594 602 593 598 607 605 604 603 599 600 599 600 597 597 600 591 582 580 574 562 552 540 527 513 511 523 538 551 556 571 584 597 608 616 626 636 639 650 663 670 676 684 690 695 707 719 711 698 687 676 669 657 645 633 620 620 629 636 636 642 643 640 636 639 648 646 637 624 614 603 601 601 596 591 584 578 572 564 564 562 559 563 575 565 578 585 597 599 606 609 607 604 613 614 602 583 573 561 545 528 520 513 513 512 513 505 504 506 500 489 477 467 459 448 440 435 428 426 430 433 432 424 424 421 419 419 418 418 416 417 418 416 416 420 416 416 416 417 419 421 425 425 427 430 434 437 441 441 442 446 447 449 451 453 458 461 467 473 482 489 489 488 485 487 487 489 493 499 501 504 500 500 500 501 502 504 508 508 509 510 512 514 515 517 520 521 525 525 525 525 528 530 532 532 533 536 537 539 542 545 546 547 553 557 553 554 555 557 558 560 562 565 567 573 577 576 575 577 577 579 584 581 582 583 585 589 590 594 597 597 596 596 597 600 600 602 604 606 609 610 612 613 614 615 617 619 621 623 624 626 628 627 629 631 633 636 637 638 641 644 650 656 660 660 661 661 661 663 663 667 669 672 671 671 672 676 683 684 683 686 690 696 700 704 704 706 720 723 726 723 726 734 705 707 708 710 712 716 721 718 732 741 748 757 757 761 768 777 783 794 802 818 830 849 854 856 858 860 864 872 876 877 881 889 897 904 910 915 923 934 947 949 956 957 954 950 951 956 962 964 968 967 968 971 977 982 983 994 993 990 989 989 990 989 991 993 994 995 1000 997 998 1004 1000 1010 1007 1004 1006 1008 1001 1011 1000 1001 994 993 990 991 995 1000 1001 1006 1011 1007 1005 1012 1019 1027 1032 1040 1049 1057 1062 1074 1084 1090 1095 1103 1113 1122 1124 1135 1139 1146 1154 1161 1171 1179 1185 1192 1202 1205 1206 1214 1219 1226 1232 1237 1237 1246 1255 1252 1241 1237 1231 1223 1216 1207 1197 1190 1181 1172 1161 1157 1150 1139 1133 1123 1116 1112 1101 1092 1087 1082 1074 1068 1062 1056 1049 1043 1033 1029 1025 1016 1006 994 983 978 968 958 952 942 934 928 923 920 917 911 906 902 904 897 890 889 887 885 885 881 880 879 877 876 876 871 870 867 861 858 858 856 855 852 847 845 838 837 837 834 829 827 825 824 823 821 822 820 818 818 816 815 812 812 813 812 814 815 814 810 812 813 812 812 809 809 809 807 811 813 813 809 807 806 806 803 802 802 800 797 798 798 798 795 793 800 801 802 795 787 786 787 786 788 791 795 798 799 803 804 800 796 794 795 791 790 786 786 782 778 773 773 771 771 774 776 780 783 781 783 791 797 800 801 799 798 800 802 808 814 814 816 816 818 822 828 832 842 849 858 865 876 886 892 892 887 871 854 846 839 827 823 815 812 810 807 799 797 795 793 792 790 786 780 779 778 776 774 771 769 767 767 765 764 764 761 758 756 754 754 754 753 754 755 758 753 749 749 746 744 742 740 736 732 728 726 723 721 719 718 716 716 718 713 711 711 711 709 709 709 706 708 706 705 702 702 702 701 702 700 698 701 701 701 701 701 699 697 694 692 690 689 688 687 687 689 687 686 687 688 689 688 687 688 686 686 683 684 683 683 683 683 684 685 686 685 684 685 684 683 683 683 682 681 679 679 676 676 676 678 677 677 676 676 676 676 676 676 676 677 677 678 680 681 679 679 678 681 685 688 692 695 697 700 702 703 705 708 717 724 733 740 742 754 764 771 767 773 778 784 785 789 798 796 788 780 777 773 775 778 783 784 786 787 789 789 791 794 798 802 806 813 821 822 824 824 834 851 867 872 868 866 869 877 886 898 907 919 924 934 943 955 963 980 990 1009 1026 1037 1050 1050 1062 1065 1067 1076 1089 1107 1120 1134 1152 1162 1157 1146 1136 1117 1103 1086 1074 1062 1060 1044 1027 1011 1009 1004 999 997 993 990 986 985 981 977 974 971 965 959 956 953 949 946 941 937 934 929 924 920 915 913 910 907 903 902 898 896 896 892 887 883 879 878 874 871 870 868 866 863 860 863 859 849 847 845 844 848 848 845 843 843 840 835 830 821 812 809 807 804 802 802 802 802 798 795 792 789 791 787 784 784 786 789 783 782 780 780 775 775 774 773 765 766 765 760 758 759 758 755 752 748 746 745 743 745 747 746 744 738 732 728 729 722 715 713 713 712 710 707 706 703 702 699 696 694 692 690 690 688 691 689 690 709 702 693 689 690 691 695 690 690 696 693 691 692 693 694 695 698 700 702 704 707 708 710 712 713 714 714 716 717 722 730 729 731 735 740 744 745 749 749 745 745 746 746 747 752 754 756 760 760 761 761 762 767 768 767 773 776 776 775 778 780 783 784 788 790 785 786 787 791 791 793 795 799 802 805 806 807 809 811 814 827 832 840 843 843 842 847 849 847 844 845 847 850 857 862 864 861 866 868 868 874 874 877 881 883 886 890 894 895 896 897 901 903 906 909 912 913 916 921 924 927 930 935 938 942 945 950 952 957 960 968 972 974 979 983 985 990 995 997 1000 1005 1011 1016 1030 1045 1057 1064 1073 1085 1102 1117 1131 1143 1154 1164 1153 1137 1123 1112 1098 1087 1077 1071 1067 1065 1060 1053 1045 1037 1022 1006 999 986 971 963 951 937 924 920 905 892 880 871 869 868 873 876 861 846 830 823 824 823 819 814 807 804 799 794 791 789 787 785 782 778 775 774 779 783 792 796 785 784 781 774 769 767 764 758 745 741 736 728 722 717 709 705 701 698 697 695 694 693 693 690 686 681 679 679 676 674 671 669 667 667 667 669 668 667 667 668 671 669 669 666 668 670 669 671 671 673 676 680 682 684 688 696 708 721 736 749 764 776 788 799 812 824 831 835 841 852 863 874 885 893 900 901 899 905 906 915 917 921 934 938 943 956 968 982 986 982 983 988 989 976 963 946 933 928 924 919 926 925 910 893 879 873 875 876 874 876 868 870 868 874 888 895 884 875 864 863 869 860 857 869 854 849 863 872 856 848 836 824 820 823 829 832 837 840 847 850 853 855 859 862 861 858 868 867 859 849 846 851 852 847 836 822 809 804 793 780 765 754 745 739 735 727 719 713 721 732 743 753 760 776 784 791 796 800 796 784 771 761 753 748 741 733 718 701 689 673 661 646 631 614 603 591 577 564 562 563 560 555 554 558 554 545 542 540 537 534 535 534 535 530 529 529 528 529 525 520 515 511 510 504 504 505 505 502 501 501 499 496 495 494 495 493 492 490 491 491 490 488 486 489 489 488 491 494 502 510 514 514 515 516 518 516 512 514 521 521 520 524 521 525 530 530 530 531 532 535 538 548 546 556 560 565 576 570 564 560 544 539 542 545 548 551 554 557 559 563 570 570 579 587 580 572 560 549 535 523 527 531 533 536 537 544 549 551 556 567 579 587 589 590 591 593 596 604 610 619 628 636 638 639 642 649 658 667 682 690 702 715 724 736 746 756 768 780 791 798 809 817 826 837 847 849 854 850 839 830 822 816 814 806 798 788 773 757 743 728 719 709 698 687 678 672 662 651 643 637 629 622 617 613 609 603 598 595 596 596 590 586 584 581 578 577 583 585 587