# Computed using the Mathematica program that I contributed to this sequence 0 1 1 2 2 4 3 8 4 14 5 23 6 36 7 54 8 78 9 110 10 151 11 202 12 266 13 344 14 438 15 551 16 684 17 840 18 1022 19 1232 20 1473 21 1748 22 2060 23 2412 24 2808 25 3251 26 3744 27 4292 28 4898 29 5566 30 6301 31 7106 32 7986 33 8946 34 9990 35 11123 36 12350 37 13676 38 15106 39 16646 40 18301 41 20076 42 21978 43 24012 44 26184 45 28501 46 30968 47 33592 48 36380 49 39338 50 42473 51 45792 52 49302 53 53010 54 56924 55 61051 56 65398 57 69974 58 74786 59 79842 60 85151 61 90720 62 96558 63 102674 64 109076 65 115773 66 122774 67 130088 68 137724 69 145692 70 154001 71 162660 72 171680 73 181070 74 190840 75 201001 76 211562 77 222534 78 233928 79 245754 80 258023 81 270746 82 283934 83 297598 84 311750 85 326401 86 341562 87 357246 88 373464 89 390228 90 407551 91 425444 92 443920 93 462992 94 482672 95 502973 96 523908 97 545490 98 567732 99 590648 100 614251 101 638554 102 663572 103 689318 104 715806 105 743051 106 771066 107 799866 108 829466 109 859880 110 891123 111 923210 112 956156 113 989976 114 1024686 115 1060301 116 1096836 117 1134308 118 1172732 119 1212124 120 1252501 121 1293878 122 1336272 123 1379700 124 1424178 125 1469723 126 1516352 127 1564082 128 1612930 129 1662914 130 1714051 131 1766358 132 1819854 133 1874556 134 1930482 135 1987651 136 2046080 137 2105788 138 2166794 139 2229116 140 2292773 141 2357784 142 2424168 143 2491944 144 2561132 145 2631751 146 2703820 147 2777360 148 2852390 149 2928930 150 3007001 151 3086622 152 3167814 153 3250598 154 3334994 155 3421023 156 3508706 157 3598064 158 3689118 159 3781890 160 3876401 161 3972672 162 4070726 163 4170584 164 4272268 165 4375801 166 4481204 167 4588500 168 4697712 169 4808862 170 4921973 171 5037068 172 5154170 173 5273302 174 5394488 175 5517751 176 5643114 177 5770602 178 5900238 179 6032046 180 6166051 181 6302276 182 6440746 183 6581486 184 6724520 185 6869873 186 7017570 187 7167636 188 7320096 189 7474976 190 7632301 191 7792096 192 7954388 193 8119202 194 8286564 195 8456501 196 8629038 197 8804202 198 8982020 199 9162518 200 9345723 201 9531662 202 9720362 203 9911850 204 10106154 205 10303301 206 10503318 207 10706234 208 10912076 209 11120872 210 11332651 211 11547440 212 11765268 213 11986164 214 12210156 215 12437273 216 12667544 217 12900998 218 13137664 219 13377572 220 13620751 221 13867230 222 14117040 223 14370210 224 14626770 225 14886751 226 15150182 227 15417094 228 15687518 229 15961484 230 16239023 231 16520166 232 16804944 233 17093388 234 17385530 235 17681401 236 17981032 237 18284456 238 18591704 239 18902808 240 19217801 241 19536714 242 19859580 243 20186432 244 20517302 245 20852223 246 21191228 247 21534350 248 21881622 249 22233078 250 22588751 251 22948674 252 23312882 253 23681408 254 24054286 255 24431551 256 24813236 257 25199376 258 25590006 259 25985160 260 26384873 261 26789180 262 27198116 263 27611716 264 28030016 265 28453051 266 28880856 267 29313468 268 29750922 269 30193254 270 30640501 271 31092698 272 31549882 273 32012090 274 32479358 275 32951723 276 33429222 277 33911892 278 34399770 279 34892894 280 35391301 281 35895028 282 36404114 283 36918596 284 37438512 285 37963901 286 38494800 287 39031248 288 39573284 289 40120946 290 40674273 291 41233304 292 41798078 293 42368634 294 42945012 295 43527251 296 44115390 297 44709470 298 45309530 299 45915610 300 46527751 301 47145992 302 47770374 303 48400938 304 49037724 305 49680773 306 50330126 307 50985824 308 51647908 309 52316420 310 52991401 311 53672892 312 54360936 313 55055574 314 55756848 315 56464801 316 57179474 317 57900910 318 58629152 319 59364242 320 60106223 321 60855138 322 61611030 323 62373942 324 63143918 325 63921001 326 64705234 327 65496662 328 66295328 329 67101276 330 67914551 331 68735196 332 69563256 333 70398776 334 71241800 335 72092373 336 72950540 337 73816346 338 74689836 339 75571056 340 76460051 341 77356866 342 78261548 343 79174142 344 80094694 345 81023251 346 81959858 347 82904562 348 83857410 349 84818448 350 85787723 351 86765282 352 87751172 353 88745440 354 89748134 355 90759301 356 91778988 357 92807244 358 93844116 359 94889652 360 95943901 361 97006910 362 98078728 363 99159404 364 100248986 365 101347523 366 102455064 367 103571658 368 104697354 369 105832202 370 106976251 371 108129550 372 109292150 373 110464100 374 111645450 375 112836251 376 114036552 377 115246404 378 116465858 379 117694964 380 118933773 381 120182336 382 121440704 383 122708928 384 123987060 385 125275151 386 126573252 387 127881416 388 129199694 389 130528138 390 131866801 391 133215734 392 134574990 393 135944622 394 137324682 395 138715223 396 140116298 397 141527960 398 142950262 399 144383258 400 145827001 401 147281544 402 148746942 403 150223248 404 151710516 405 153208801 406 154718156 407 156238636 408 157770296 409 159313190 410 160867373 411 162432900 412 164009826 413 165598206 414 167198096 415 168809551 416 170432626 417 172067378 418 173713862 419 175372134 420 177042251 421 178724268 422 180418242 423 182124230 424 183842288 425 185572473 426 187314842 427 189069452 428 190836360 429 192615624 430 194407301 431 196211448 432 198028124 433 199857386 434 201699292 435 203553901 436 205421270 437 207301458 438 209194524 439 211100526 440 213019523 441 214951574 442 216896738 443 218855074 444 220826642 445 222811501 446 224809710 447 226821330 448 228846420 449 230885040 450 232937251 451 235003112 452 237082684 453 239176028 454 241283204 455 243404273 456 245539296 457 247688334 458 249851448 459 252028700 460 254220151 461 256425862 462 258645896 463 260880314 464 263129178 465 265392551 466 267670494 467 269963070 468 272270342 469 274592372 470 276929223 471 279280958 472 281647640 473 284029332 474 286426098 475 288838001 476 291265104 477 293707472 478 296165168 479 298638256 480 301126801 481 303630866 482 306150516 483 308685816 484 311236830 485 313803623 486 316386260 487 318984806 488 321599326 489 324229886 490 326876551 491 329539386 492 332218458 493 334913832 494 337625574 495 340353751 496 343098428 497 345859672 498 348637550 499 351432128 500 354243473 501 357071652 502 359916732 503 362778780 504 365657864 505 368554051 506 371467408 507 374398004 508 377345906 509 380311182 510 383293901 511 386294130 512 389311938 513 392347394 514 395400566 515 398471523 516 401560334 517 404667068 518 407791794 519 410934582 520 414095501 521 417274620 522 420472010 523 423687740 524 426921880 525 430174501 526 433445672 527 436735464 528 440043948 529 443371194 530 446717273 531 450082256 532 453466214 533 456869218 534 460291340 535 463732651 536 467193222 537 470673126 538 474172434 539 477691218 540 481229551 541 484787504 542 488365150 543 491962562 544 495579812 545 499216973 546 502874118 547 506551320 548 510248652 549 513966188 550 517704001 551 521462164 552 525240752 553 529039838 554 532859496 555 536699801 556 540560826 557 544442646 558 548345336 559 552268970 560 556213623 561 560179370 562 564166286 563 568174446 564 572203926 565 576254801 566 580327146 567 584421038 568 588536552 569 592673764 570 596832751 571 601013588 572 605216352 573 609441120 574 613687968 575 617956973 576 622248212 577 626561762 578 630897700 579 635256104 580 639637051 581 644040618 582 648466884 583 652915926 584 657387822 585 661882651 586 666400490 587 670941418 588 675505514 589 680092856 590 684703523 591 689337594 592 693995148 593 698676264 594 703381022 595 708109501 596 712861780 597 717637940 598 722438060 599 727262220 600 732110501 601 736982982 602 741879744 603 746800868 604 751746434 605 756716523 606 761711216 607 766730594 608 771774738 609 776843730 610 781937651 611 787056582 612 792200606 613 797369804 614 802564258 615 807784051 616 813029264 617 818299980 618 823596282 619 828918252 620 834265973 621 839639528 622 845039000 623 850464472 624 855916028 625 861393751 626 866897724 627 872428032 628 877984758 629 883567986 630 889177801 631 894814286 632 900477526 633 906167606 634 911884610 635 917628623 636 923399730 637 929198016 638 935023566 639 940876466 640 946756801 641 952664656 642 958600118 643 964563272 644 970554204 645 976573001 646 982619748 647 988694532 648 994797440 649 1000928558 650 1007087973 651 1013275772 652 1019492042 653 1025736870 654 1032010344 655 1038312551 656 1044643578 657 1051003514 658 1057392446 659 1063810462 660 1070257651 661 1076734100 662 1083239898 663 1089775134 664 1096339896 665 1102934273 666 1109558354 667 1116212228 668 1122895984 669 1129609712 670 1136353501 671 1143127440 672 1149931620 673 1156766130 674 1163631060 675 1170526501 676 1177452542 677 1184409274 678 1191396788 679 1198415174 680 1205464523 681 1212544926 682 1219656474 683 1226799258 684 1233973370 685 1241178901 686 1248415942 687 1255684586 688 1262984924 689 1270317048 690 1277681051 691 1285077024 692 1292505060 693 1299965252 694 1307457692 695 1314982473 696 1322539688 697 1330129430 698 1337751792 699 1345406868 700 1353094751 701 1360815534 702 1368569312 703 1376356178 704 1384176226 705 1392029551 706 1399916246 707 1407836406 708 1415790126 709 1423777500 710 1431798623 711 1439853590 712 1447942496 713 1456065436 714 1464222506 715 1472413801 716 1480639416 717 1488899448 718 1497193992 719 1505523144 720 1513887001 721 1522285658 722 1530719212 723 1539187760 724 1547691398 725 1556230223 726 1564804332 727 1573413822 728 1582058790 729 1590739334 730 1599455551 731 1608207538 732 1616995394 733 1625819216 734 1634679102 735 1643575151 736 1652507460 737 1661476128 738 1670481254 739 1679522936 740 1688601273 741 1697716364 742 1706868308 743 1716057204 744 1725283152 745 1734546251 746 1743846600 747 1753184300 748 1762559450 749 1771972150 750 1781422501 751 1790910602 752 1800436554 753 1810000458 754 1819602414 755 1829242523 756 1838920886 757 1848637604 758 1858392778 759 1868186510 760 1878018901 761 1887890052 762 1897800066 763 1907749044 764 1917737088 765 1927764301 766 1937830784 767 1947936640 768 1958081972 769 1968266882 770 1978491473 771 1988755848 772 1999060110 773 2009404362 774 2019788708 775 2030213251 776 2040678094 777 2051183342 778 2061729098 779 2072315466 780 2082942551 781 2093610456 782 2104319286 783 2115069146 784 2125860140 785 2136692373 786 2147565950 787 2158480976 788 2169437556 789 2180435796 790 2191475801 791 2202557676 792 2213681528 793 2224847462 794 2236055584 795 2247306001 796 2258598818 797 2269934142 798 2281312080 799 2292732738 800 2304196223 801 2315702642 802 2327252102 803 2338844710 804 2350480574 805 2362159801 806 2373882498 807 2385648774 808 2397458736 809 2409312492 810 2421210151 811 2433151820 812 2445137608 813 2457167624 814 2469241976 815 2481360773 816 2493524124 817 2505732138 818 2517984924 819 2530282592 820 2542625251 821 2555013010 822 2567445980 823 2579924270 824 2592447990 825 2605017251 826 2617632162 827 2630292834 828 2642999378 829 2655751904 830 2668550523 831 2681395346 832 2694286484 833 2707224048 834 2720208150 835 2733238901 836 2746316412 837 2759440796 838 2772612164 839 2785830628 840 2799096301 841 2812409294 842 2825769720 843 2839177692 844 2852633322 845 2866136723 846 2879688008 847 2893287290 848 2906934682 849 2920630298 850 2934374251 851 2948166654 852 2962007622 853 2975897268 854 2989835706 855 3003823051 856 3017859416 857 3031944916 858 3046079666 859 3060263780 860 3074497373 861 3088780560 862 3103113456 863 3117496176 864 3131928836 865 3146411551 866 3160944436 867 3175527608 868 3190161182 869 3204845274 870 3219580001 871 3234365478 872 3249201822 873 3264089150 874 3279027578 875 3294017223 876 3309058202 877 3324150632 878 3339294630 879 3354490314 880 3369737801 881 3385037208 882 3400388654 883 3415792256 884 3431248132 885 3446756401 886 3462317180 887 3477930588 888 3493596744 889 3509315766 890 3525087773 891 3540912884 892 3556791218 893 3572722894 894 3588708032 895 3604746751 896 3620839170 897 3636985410 898 3653185590 899 3669439830 900 3685748251 901 3702110972 902 3718528114 903 3734999798 904 3751526144 905 3768107273 906 3784743306 907 3801434364 908 3818180568 909 3834982040 910 3851838901 911 3868751272 912 3885719276 913 3902743034 914 3919822668 915 3936958301 916 3954150054 917 3971398050 918 3988702412 919 4006063262 920 4023480723 921 4040954918 922 4058485970 923 4076074002 924 4093719138 925 4111421501 926 4129181214 927 4146998402 928 4164873188 929 4182805696 930 4200796051 931 4218844376 932 4236950796 933 4255115436 934 4273338420 935 4291619873 936 4309959920 937 4328358686 938 4346816296 939 4365332876 940 4383908551 941 4402543446 942 4421237688 943 4439991402 944 4458804714 945 4477677751 946 4496610638 947 4515603502 948 4534656470 949 4553769668 950 4572943223 951 4592177262 952 4611471912 953 4630827300 954 4650243554 955 4669720801 956 4689259168 957 4708858784 958 4728519776 959 4748242272 960 4768026401 961 4787872290 962 4807780068 963 4827749864 964 4847781806 965 4867876023 966 4888032644 967 4908251798 968 4928533614 969 4948878222 970 4969285751 971 4989756330 972 5010290090 973 5030887160 974 5051547670 975 5072271751 976 5093059532 977 5113911144 978 5134826718 979 5155806384 980 5176850273 981 5197958516 982 5219131244 983 5240368588 984 5261670680 985 5283037651 986 5304469632 987 5325966756 988 5347529154 989 5369156958 990 5390850301 991 5412609314 992 5434434130 993 5456324882 994 5478281702 995 5500304723 996 5522394078 997 5544549900 998 5566772322 999 5589061478 1000 5611417501