1 0 2 12 3 18 4 24 5 40 6 86 7 102 8 177 9 333 10 357 11 628 12 665 13 669 14 689 15 840 16 845 17 860 18 861 19 1124 20 1185 21 1196 22 1206 23 1377 24 1418 25 1706 26 1890 27 1906 28 1956 29 2138 30 2204 31 2388 32 2524 33 2588 34 2843 35 2970 36 2994 37 3035 38 3107 39 3154 40 3234 41 3299 42 3606 43 3824 44 3854 45 4005 46 4021 47 4169 48 4185 49 4568 50 4580 51 4644 52 4891 53 5036 54 5083 55 5155 56 5196 57 5347 58 6994 59 7504 60 7854 61 8038 62 9347 63 9608 64 10221 65 10225 66 10253 67 10257 68 11139 69 11738 70 11802 71 12528 72 12558 73 13364 74 13435 75 13794 76 13858 77 14048 78 14110 79 14226 80 14558 81 14624 82 14712 83 14880 84 15227 85 15846 86 15902 87 16106 88 16660 89 16928 90 17539 91 17800 92 17950 93 17988 94 18142 95 18208 96 18540 97 18656 98 18718 99 18884 100 19331 101 19402 102 20024 103 20436 104 20458 105 20500 106 20522 107 21627 108 22509 109 22513 110 22541 111 22545 112 22918 113 23419 114 24374 115 24394 116 24494 117 24496 118 24526 119 24528 120 24622 121 24624 122 24654 123 24656 124 24790 125 24912 126 25262 127 25914 128 26229 129 26249 130 27064 131 27786 132 28198 133 28810 134 29126 135 29160 136 29556 137 30020 138 30860 139 32059 140 32150 141 32422 142 32538 143 32986 144 33112 145 33384 146 33475 147 36408 148 38470 149 39106 150 39285 151 39305 152 40678 153 40878 154 40880 155 40910 156 40912 157 41006 158 41008 159 41038 160 41040 161 41140 162 41270 163 42616 164 42789 165 42825 166 45012 167 45034 168 45076 169 45098 170 45510 171 46660 172 47178 173 47584 174 47734 175 47978 176 48606 177 49040 178 49262 179 49632 180 49750 181 50654 182 50822 183 51417 184 53127 185 53383 186 53484 187 54834 188 55113 189 55159 190 55175 191 55596 192 55734 193 55756 194 55926 195 56768 196 56894 197 57686 198 57790 199 57920 200 58952 201 59511 202 59527 203 59852 204 61303 205 61559 206 63207 207 63271 208 63719 209 63783 210 65228 211 66604 212 67287 213 67351 214 67799 215 67863 216 69511 217 69767 218 71218 219 71543 220 71559 221 73150 222 73280 223 73384 224 73716 225 73738 226 74176 227 74302 228 75314 229 75474 230 75895 231 75911 232 75957 233 76236 234 76625 235 77586 236 77687 237 77943 238 79214 239 79653 240 80181 241 80308 242 81675 243 81808 244 82030 245 82187 246 83092 247 84410 248 84878 249 88245 250 88281 251 89395 252 89800 253 90392 254 90827 255 91765 256 91785 257 94136 258 97595 259 99011 260 100278 261 100971 262 101514 263 101723 264 102260 265 103075 266 103284 267 104821 268 104841 269 106280 270 106696 271 107917 272 108788 273 108810 274 109712 275 109875 276 112186 277 112699 278 112745 279 112949 280 113082 281 113973 282 115401 283 117392 284 117820 285 119459 286 119738 287 120146 288 121457 289 121534 290 122046 291 123032 292 123710 293 124222 294 125892 295 126290 296 127756 297 128066 298 129096 299 130290 300 130316 301 131826 302 131852 303 134076 304 134386 305 136250 306 136524 307 137918 308 138430 309 138909 310 140094 311 140606 312 140685 313 142404 314 142683 315 144322 316 144750 317 144793 318 145402 319 145412 320 145659 321 146741 322 148169 323 149193 324 149243 325 149397 326 149443 327 152267 328 152430 329 152814 330 153332 331 153354 332 154225 333 155349 334 156073 335 159067 336 159146 337 160419 338 161171 339 163131 340 164547 341 164826 342 168006 343 168532 344 171315 345 171449 346 171605 347 172747 348 174425 349 177264 350 179459 351 179868 352 180578 353 180995 354 181834 355 181961 356 182928 357 185037 358 185517 359 190928 360 195538 361 196914 362 198224 363 199216 364 201398 365 203182 366 203342 367 208200 368 213340 369 214964 370 219235 371 220885 372 223420 373 225394 374 226156 375 228224 376 228478 377 228667 378 229156 379 229604 380 230083 381 230270 382 230434 383 230528 384 230714 385 236985 386 238226 387 238886 388 239707 389 240400 390 242520 391 247802 392 247812 393 248998 394 251434 395 253292 396 256789 397 257305 398 258789 399 259305 400 260979 401 261259 402 263027 403 263307 404 264981 405 265497 406 266981 407 267497 408 275288 409 276390 410 276474 411 276484 412 276568 413 277477 414 277529 415 281766 416 283886 417 284579 418 285400 419 287301 420 287687 421 293572 422 293758 423 293846 424 293852 425 294016 426 295808 427 296062 428 298130 429 298892 430 300866 431 303401 432 305051 433 313254 434 313432 435 314958 436 316086 437 322888 438 323781 439 329296 440 330288 441 333262 442 333675 443 338218 444 338769 445 339249 446 339932 447 339938 448 339996 449 340002 450 343291 451 344827 452 349861 453 351539 454 352681 455 352837 456 352971 457 355754 458 359460 459 361368 460 361683 461 363115 462 363334 463 363867 464 365140 465 365219 466 367559 467 368213 468 368810 469 368937 470 371472 471 372019 472 372708 473 372762 474 374843 475 375043 476 378138 477 378627 478 378874 479 378884 480 381603 481 382672 482 383680 483 384192 484 385495 485 385856 486 386368 487 387762 488 397996 489 400064 490 400576 491 400935 492 402240 493 402752 494 403758 495 404140 496 404827 497 406517 498 406537 499 408549 500 408601 501 408864 502 409941 503 411587 504 413658 505 413668 506 413722 507 413732 508 414411 509 417437 510 417620 511 418871 512 421211 513 421595 514 422171 515 422563 516 422957 517 423315 518 424747 519 429795 520 433179 521 433459 522 434891 523 436499 524 437628 525 438553 526 442099 527 442611 528 442709 529 445858 530 446233 531 446434 532 446492 533 447661 534 450548 535 450570 536 456036 537 461466 538 462777 539 462917 540 465334 541 467882 542 468552 543 474536 544 477917 545 478500 546 478626 547 479405 548 479868 549 481900 550 485180 551 486780 552 487131 553 488830 554 489854 555 493182 556 494206 557 494266 558 494489 559 494545 560 496589 561 497860 562 498284 563 498372 564 498743 565 501138 566 501442 567 503633 568 508440 569 510965 570 510985 571 514364 572 514456 573 517096 574 517612 575 517618 576 517644 577 517650 578 517946 579 517956 580 521686 581 522090 582 522732 583 522738 584 522764 585 522770 586 525804 587 525810 588 525836 589 525842 590 526888 591 526998 592 529768 593 530618 594 530628 595 530924 596 530930 597 530956 598 530962 599 531432 600 534118 601 534210 602 537589 603 537609 604 544941 605 547132 606 549831 607 550714 608 551982 609 551985 610 554029 611 554085 612 554366 613 555390 614 558718 615 559742 616 561364 617 561443 618 561794 619 566190 620 568706 621 569169 622 569948 623 570657 624 577293 625 578678 626 580692 627 585657 628 585797 629 587108 630 592538 631 598166 632 602082 633 602140 634 602716 635 602865 636 605865 637 605963 638 606475 639 610073 640 610946 641 612075 642 613962 643 615472 644 618779 645 623827 646 625259 647 625617 648 626403 649 626979 650 629688 651 629703 652 631137 653 634842 654 634852 655 634906 656 634916 657 636987 658 638633 659 639575 660 639973 661 640025 662 642037 663 642057 664 644816 665 647639 666 649268 667 654560 668 654624 669 656674 670 656820 671 657994 672 663079 673 665902 674 668247 675 669947 676 670436 677 671635 678 671723 679 671763 680 671851 681 673531 682 673731 683 675662 684 675812 685 675866 686 679117 687 681015 688 681235 689 685240 690 685459 691 686891 692 687179 693 689099 694 696665 695 697296 696 698713 697 703747 698 705283 699 707853 700 708572 701 708578 702 708636 703 708642 704 709172 705 709325 706 710356 707 714899 708 715312 709 718286 710 719278 711 724793 712 728962 713 729218 714 733425 715 733996 716 734593 717 735142 718 735320 719 742583 720 743523 721 746574 722 748359 723 749007 724 752691 725 754611 726 760887 727 763995 728 764878 729 769508 730 769939 731 770027 732 770067 733 770155 734 771045 735 771097 736 772006 737 772184 738 772789 739 777779 740 778803 741 780981 742 782914 743 794059 744 795083 745 795282 746 797140 747 797477 748 799914 749 799961 750 802707 751 802795 752 802835 753 802923 754 805232 755 806738 756 807880 757 808867 758 810348 759 824503 760 826109 761 828669 762 829339 763 830101 764 830279 765 831023 766 835938 767 838866 768 839008 769 841085 770 842493 771 843652 772 843908 773 845053 774 845232 775 845392 776 847264 777 849358 778 849809 779 850061 780 850350 781 853869 782 854129 783 856478 784 857646 785 863537 786 864606 787 865069 788 867579 789 867717 790 868002 791 868700 792 869115 793 872145 794 873833 795 874149 796 882191 797 883215 798 886287 799 887311 800 887403 801 893429 802 895345 803 895768 804 897382 805 898543 806 898575 807 898774 808 899131 809 899331 810 899567 811 899599 812 900485 813 901011 814 901099 815 901139 816 901227 817 902915 818 903504 819 903781 820 903960 821 904020 822 904615 823 905859 824 906408 825 909665 826 915200 827 915710 828 919294 829 919808 830 928598 831 933287 832 934521 833 935407 834 935439 835 935875 836 936232 837 936431 838 936463 839 937624 840 939238 841 939661 842 941382 843 947603 844 947695 845 948719 846 951791 847 952815 848 954260 849 954536 850 954974 851 955753 852 962861 853 965551 854 965679 855 966387 856 966899 857 967289 858 967599 859 967727 860 969937 861 970400 862 971395 863 974697 864 974997 865 975721 866 978528 867 980877 868 980881 869 981133 870 981137 871 984941 872 984945 873 985197 874 985201 875 989848 876 992105 877 994600 878 995622 879 995998 880 998351 881 998479 882 998863 883 999983 884 1000399 885 1000527 886 1001416 887 1002081 888 1006346 889 1007384 890 1010809 891 1010821 892 1012853 893 1012873 894 1018741 895 1018761 896 1020793 897 1020805 898 1020880 899 1023338 900 1027126 901 1029533 902 1030863 903 1034998 904 1035016 905 1037366 906 1040492 907 1040524 908 1044246 909 1045750 910 1045768 911 1051382 912 1051400 913 1059784 914 1062134 915 1062152 916 1066287 917 1067617 918 1073812 919 1076270 920 1076345 921 1076357 922 1078389 923 1078409 924 1084277 925 1084297 926 1086329 927 1086341 928 1090804 929 1095069 930 1095734 931 1096623 932 1096751 933 1097167 934 1098287 935 1098392 936 1098671 937 1098799 938 1101152 939 1104344 940 1105045 941 1111949 942 1111953 943 1112205 944 1112209 945 1112936 946 1116013 947 1116017 948 1116269 949 1116273 950 1118622 951 1121429 952 1122153 953 1122453 954 1125755 955 1126750 956 1127213 957 1129423 958 1129551 959 1129861 960 1130251 961 1130763 962 1131471 963 1131599 964 1134289 965 1139508 966 1140229 967 1141397 968 1142176 969 1142890 970 1144335 971 1145359 972 1148431 973 1149455 974 1154537 975 1154581 976 1157489 977 1157912 978 1159526 979 1160687 980 1160719 981 1160918 982 1161711 983 1161743 984 1162629 985 1162994 986 1163506 987 1163863 988 1168552 989 1177342 990 1177856 991 1181440 992 1181950 993 1187485 994 1190742 995 1191291 996 1192535 997 1193130 998 1193190 999 1193369 1000 1194235