# Computed by Robert Israel using Maple, August 05 2024 1 1 2 2 3 5 4 6 5 8 6 12 7 14 8 16 9 18 10 20 11 25 12 27 13 32 14 43 15 45 16 46 17 52 18 58 19 70 20 71 21 77 22 81 23 91 24 105 25 109 26 149 27 158 28 176 29 240 30 247 31 297 32 303 33 401 34 421 35 431 36 531 37 536 38 542 39 543 40 608 41 617 42 622 43 640 44 643 45 667 46 677 47 685 48 713 49 720 50 748 51 751 52 1028 53 1085 54 1203 55 1282 56 1320 57 1466 58 1600 59 1673 60 1870 61 2046 62 2146 63 2160 64 2180 65 2514 66 2637 67 2725 68 2873 69 3565 70 3765 71 4058 72 4142 73 4209 74 4437 75 4541 76 4570 77 4623 78 5457 79 5604 80 6139 81 7342 82 8275 83 8382 84 8636 85 8675 86 8851 87 9639 88 9792 89 11012 90 12241 91 12602 92 12923 93 13112 94 14496 95 14781 96 15226 97 15297 98 15327 99 16651 100 16901 101 17001 102 17014 103 17311 104 17413 105 17517 106 17571 107 17984 108 18887 109 19126 110 21143 111 21277 112 21653 113 21766 114 22130 115 25030 116 25084 117 25307 118 25312 119 25599 120 25643 121 25700 122 25789 123 25791 124 25829 125 25839 126 25860 127 25922 128 27840 129 28633 130 28748 131 30879 132 31722 133 31951 134 32169 135 32439 136 32605 137 33870 138 35437 139 36943 140 41815 141 41869 142 41946 143 42007 144 42115 145 42331 146 42619 147 42831 148 43041 149 43084 150 43094 151 43277 152 43664 153 43758 154 43969 155 44014 156 44015 157 44334 158 44802 159 44821 160 44866 161 45066 162 45138 163 45366 164 45419 165 45420 166 48623 167 54543 168 61647 169 62154 170 62207 171 62326 172 62758 173 62892 174 63493 175 63704 176 64270 177 64439 178 64621 179 67856 180 68508 181 68837 182 73482 183 76953 184 77968 185 80744 186 91462 187 91827 188 92227 189 92393 190 93481 191 93781 192 93903 193 94351 194 94773 195 94847 196 94970 197 95788 198 96000 199 96441 200 96462 201 96737 202 96941 203 97040 204 97542 205 97549 206 97788 207 97850 208 98504 209 98517 210 98757 211 98796 212 98973 213 99997 214 100179 215 100230 216 100271 217 101322 218 101458 219 101854 220 102018 221 102207 222 102286 223 102355 224 102434 225 102597 226 102600 227 102673 228 103120 229 103508 230 103585 231 104306 232 106442 233 110869 234 113581 235 121186 236 124555 237 128335 238 133262 239 133362 240 150329 241 150817 242 151121 243 151158 244 151309 245 153945 246 154172 247 154206 248 154317 249 154375 250 154673 251 155542 252 155607 253 170613 254 192457 255 192468 256 193383 257 193536 258 193720 259 195351 260 195574 261 196406 262 199833 263 224389 264 254375 265 256509 266 257087 267 257170 268 257903 269 258069 270 258581 271 261669 272 263669 273 263933 274 264197 275 264399 276 264775 277 265534 278 268857 279 268919 280 269455 281 270725 282 274525 283 276070 284 276111 285 276394 286 276688 287 276979 288 278758 289 279030 290 279285 291 279593 292 283311 293 287314 294 288388 295 288763 296 290395 297 290724 298 291291 299 292428 300 293154 301 294730 302 295227 303 295496 304 295567 305 296514 306 297464 307 299796 308 300637 309 301038 310 301757 311 301832 312 302375 313 302381 314 302497 315 302763 316 302880 317 302945 318 303629 319 305377 320 308399 321 308534 322 309304 323 309721 324 309877 325 310965 326 311610 327 311911 328 313573 329 315066 330 315124 331 316232 332 316422 333 316431 334 316603 335 317032 336 320345 337 321502 338 322972 339 323440 340 324500 341 324664 342 324764 343 324789 344 325798 345 326730 346 329890 347 331178 348 331193 349 331361 350 332375 351 334214 352 334956 353 364271 354 412763 355 415248 356 420741 357 421544 358 422626 359 430208 360 431801 361 435792 362 436975 363 441171 364 441851 365 442716 366 444467 367 445849 368 446551 369 446625 370 446674 371 452418 372 454146 373 454549 374 456905 375 457070 376 457413 377 457632 378 458988 379 461183 380 461569 381 465414 382 469269 383 471758 384 471927 385 472695 386 473906 387 492515 388 558493 389 561447 390 561624 391 561692 392 562045 393 565435 394 567979 395 571266 396 571302 397 578902 398 580643 399 581875 400 582656 401 584668 402 587181 403 590018 404 591551 405 669323 406 676767 407 677481 408 689297 409 691033 410 694190 411 710263 412 710400 413 713975 414 714851 415 723856 416 725490 417 728556 418 729635 419 731621 420 733428 421 743065 422 744614 423 748876 424 750345 425 753377 426 753904 427 756788 428 762095 429 771185 430 775316 431 778776 432 784295 433 784780 434 787912 435 799379 436 802789 437 810390 438 822656 439 859501 440 968472 441 969145 442 972459 443 974234 444 978174 445 978595 446 987281 447 1003320 448 1004361 449 1004518 450 1006635 451 1007082 452 1007195 453 1007499 454 1008206 455 1011128 456 1016123 457 1018097 458 1032377 459 1036114 460 1037604 461 1039998 462 1040888 463 1050385 464 1056786 465 1064018 466 1068646 467 1068975 468 1075950 469 1079379 470 1080357 471 1086226 472 1103533 473 1114791 474 1122125 475 1126834 476 1128085 477 1128150 478 1133235 479 1134354 480 1138674 481 1142866 482 1149790 483 1151569 484 1157740 485 1165660 486 1169179 487 1171254 488 1171918 489 1173932 490 1182181 491 1187007 492 1192108 493 1193241 494 1193661 495 1197362 496 1199710 497 1209376 498 1210208 499 1211615 500 1213355 501 1216434 502 1225683 503 1228517 504 1228637 505 1231089 506 1241467 507 1254566 508 1257562 509 1260814 510 1270607 511 1284813 512 1496294 513 1524440 514 1529383 515 1549856 516 1581552 517 1591630 518 1614805 519 1616778 520 1617476 521 1619605 522 1624818 523 1626932 524 1632882 525 1649108 526 1650483 527 1660626 528 1662662 529 1667765 530 1676078 531 1676471 532 1680590 533 1683273 534 1686321 535 1687820 536 1691059 537 1691099 538 1698320 539 1715020 540 1716849 541 1717300 542 1720607 543 1723531 544 1941619 545 1949644 546 1952737 547 1961947 548 1983716 549 1989061 550 1990218 551 1996539 552 2003823 553 2006901 554 2012939 555 2014242 556 2023652 557 2025407 558 2036312 559 2042070 560 2042228 561 2042435 562 2044148 563 2049935 564 2056624 565 2064208 566 2069931 567 2071909 568 2104768 569 2108336 570 2109232 571 2114045 572 2119967 573 2146904 574 2148500 575 2156616 576 2157199 577 2159606 578 2160484 579 2163663 580 2170877 581 2172126 582 2186632 583 2193615 584 2203136 585 2204598 586 2206210 587 2207417 588 2221896 589 2229078 590 2239875 591 2254796 592 2255288 593 2257032 594 2259786 595 2298787 596 2301702 597 2318846 598 2319230 599 2330550 600 2342232 601 2367407 602 2677152 603 2691243 604 2735369 605 2763777 606 2765184 607 2776516 608 2776552 609 2777460 610 2784784 611 2811694 612 2838809 613 2846998 614 2868160 615 2877500 616 2921445 617 2944083 618 2963960 619 2965843 620 2969662 621 2973461 622 2985055 623 2991415 624 2996550 625 2999811 626 3014737 627 3016595 628 3055524 629 3073808 630 3129674 631 3153445 632 3154281 633 3182431 634 3188089 635 3206296 636 3220074 637 3252311 638 3265497 639 3734530 640 3739893 641 3746547 642 3795331 643 3835762 644 3851939 645 3853088 646 3881581 647 3883421 648 3908177 649 4441617 650 4445438 651 4454543 652 4557628 653 4572165 654 4603618 655 4673439 656 4681569 657 4683815 658 4689987 659 4700193 660 4945142 661 5595500 662 5645365 663 5648391 664 5672965 665 5709481 666 5733918 667 5753048 668 5754302 669 5759224 670 5760863 671 5760923 672 5776492 673 5831826 674 5844048 675 5877004 676 5962947 677 5969443 678 6053872 679 6181678 680 6196783 681 6242969 682 6312154 683 6326276 684 6368119 685 6368481 686 6397025 687 6470069 688 6475813 689 6522674 690 6532634 691 6562585 692 6578275 693 6618673 694 6639694 695 6778262 696 6780213 697 6794312 698 6845539 699 6899187 700 6917786 701 6939706 702 6973323 703 7089566 704 7105159 705 7136780 706 7157371 707 7205512 708 7476986 709 7629637 710 7652517 711 7660986 712 8619949 713 8653801 714 8710499 715 8770990 716 8913351 717 8984659 718 9009419 719 9023484 720 9032649 721 9108683 722 9148254 723 9156126 724 9466165 725 9605773 726 9616633 727 9645413 728 9657660 729 9800368 730 9876254 731 9946808 732 10062281 733 10124176 734 10201687 735 10210469 736 10266507 737 10317277 738 10529580 739 10575257 740 10621566 741 10670492 742 10753681 743 10842995 744 10851076 745 10872393 746 10884151 747 10902239 748 10934271 749 11033292 750 11058833 751 11104581 752 11140875 753 11184186 754 11415033 755 11467735 756 11505076 757 11655366 758 11686321 759 11705849 760 11796119 761 11813538 762 11926996 763 11977327 764 12047667 765 12056568 766 12077087 767 12115068 768 12360842 769 12415880 770 12427291 771 12475815 772 12608343 773 12627680 774 12633914 775 12744972 776 12748216 777 12771171 778 12822098 779 13080879 780 13099149 781 13266337 782 13403693 783 13433311 784 13730135 785 13749730 786 14072522 787 14208196 788 14335657 789 14367216 790 14377759 791 14419153 792 14434886 793 14603356 794 14831590 795 14860601 796 14929493 797 15013471 798 15311883 799 15321571 800 15322068 801 15388070 802 15438388 803 15490765 804 15540718 805 15546358 806 15595002 807 15645771 808 15718034 809 16029306 810 16148305 811 16178699 812 16368261 813 16373706 814 16502082 815 16574197 816 16671792 817 16682130 818 16877328 819 16882922 820 17100900 821 17242398 822 17352726 823 17422242 824 17561760 825 18046218 826 20433703 827 20523927 828 20544811 829 20731212 830 21029752 831 21046783 832 21112483 833 21180617 834 21585112 835 21628002 836 21673352 837 21804712 838 21901136 839 22037316 840 22071996 841 22125805 842 22158052 843 22206921 844 22276913 845 22845264 846 23540921 847 23990245 848 24302530 849 24311637 850 24506106 851 24513000 852 25165498 853 28808523 854 29365193 855 30363024 856 30688463 857 30713635 858 30824363 859 30842732 860 30857523 861 31316621 862 31324704 863 31567174 864 31852638 865 32037861 866 32190458 867 32215034 868 32625815 869 32985791 870 33155700 871 33221217 872 33449004 873 33544693 874 33620119 875 33637430 876 34069280 877 34190680 878 34390833 879 34526341 880 34650929 881 34944410 882 35266008 883 35274579 884 35285742 885 35700973 886 36281169 887 36401511 888 37608022 889 38424960 890 38535048 891 38546941 892 40137644 893 40343159 894 40345273 895 40868710 896 41897477 897 42475646 898 42700050 899 42825767 900 43157239 901 43377796 902 43851078 903 44167002 904 44207906 905 44438438 906 44498540 907 44604230 908 45371891 909 45560374 910 45560747 911 46080151 912 46824183 913 46987602 914 48088316 915 48185350 916 49115288 917 49355985 918 49564173 919 49975302 920 50041648 921 50171697 922 50436098 923 50633008 924 50681637 925 50828265 926 50848021 927 50848493 928 50850431 929 50857139 930 51406405 931 51620514 932 51825944 933 51835953 934 52376792 935 53260709 936 54674191 937 54781155 938 55387947 939 55434576 940 56068902 941 56132318 942 57190406 943 57303618 944 57343135 945 58817652 946 59473424 947 59667001 948 59716113 949 59779014 950 60294288 951 60515587 952 60574141 953 61076089 954 62395289 955 62473916 956 62530701 957 62842434 958 63251239 959 66533901 960 66948222 961 67671854 962 68133323 963 68535113 964 68854846 965 69158316 966 69596582 967 69839948 968 70308899 969 70509107 970 70579326 971 70910832 972 71065416 973 71198680 974 71377891 975 71590192 976 71789716 977 72440284 978 74003142 979 74529416 980 74796822 981 74812154 982 85168181 983 86487093 984 87041744 985 87262039 986 88032394 987 89073020 988 90207681 989 90328773 990 91435588 991 91675428 992 91817194 993 92227342 994 92637969 995 93149106 996 93754535 997 96101062 998 96986740 999 97324444 1000 99425940 1001 99637964 1002 100441467 1003 100759538 1004 101006427 1005 102975624 1006 104222354 1007 104770862 1008 105885726 1009 107644307 1010 107851557 1011 108317147 1012 109242221 1013 111077893 1014 111110896 1015 111982511 1016 112579599 1017 112881227 1018 113133542 1019 114196917 1020 114347287 1021 115723257 1022 115769829 1023 116321633 1024 119451951 1025 121843700 1026 124819678 1027 125428979 1028 126268807 1029 126938589 1030 128223965 1031 128483356 1032 131070153 1033 131628502 1034 133620833 1035 138110850 1036 141240782 1037 146140276 1038 146155033 1039 146972367 1040 147753483 1041 148568190 1042 148790768 1043 150068652 1044 154848776 1045 155259054 1046 155817902 1047 156092151 1048 158806784 1049 159618156 1050 159977978 1051 160630517 1052 163868476 1053 165847987 1054 166009352 1055 166614084 1056 167208350 1057 168751409 1058 174975733 1059 176807170 1060 177118222 1061 183311640 1062 188025420 1063 190148485 1064 191051211