# Computed using the Mathematica program that I contributed to this sequence 0 1 1 2 2 7 3 20 4 46 5 91 6 162 7 267 8 415 9 616 10 881 11 1222 12 1652 13 2185 14 2836 15 3621 16 4557 17 5662 18 6955 19 8456 20 10186 21 12167 22 14422 23 16975 24 19851 25 23076 26 26677 27 30682 28 35120 29 40021 30 45416 31 51337 32 57817 33 64890 34 72591 35 80956 36 90022 37 99827 38 110410 39 121811 40 134071 41 147232 42 161337 43 176430 44 192556 45 209761 46 228092 47 247597 48 268325 49 290326 50 313651 51 338352 52 364482 53 392095 54 421246 55 451991 56 484387 57 518492 58 554365 59 592066 60 631656 61 673197 62 716752 63 762385 64 810161 65 860146 66 912407 67 967012 68 1024030 69 1083531 70 1145586 71 1210267 72 1277647 73 1347800 74 1420801 75 1496726 76 1575652 77 1657657 78 1742820 79 1831221 80 1922941 81 2018062 82 2116667 83 2218840 84 2324666 85 2434231 86 2547622 87 2664927 88 2786235 89 2911636 90 3041221 91 3175082 92 3313312 93 3456005 94 3603256 95 3755161 96 3911817 97 4073322 98 4239775 99 4411276 100 4587926 101 4769827 102 4957082 103 5149795 104 5348071 105 5552016 106 5761737 107 5977342 108 6198940 109 6426641 110 6660556 111 6900797 112 7147477 113 7400710 114 7660611 115 7927296 116 8200882 117 8481487 118 8769230 119 9064231 120 9366611 121 9676492 122 9993997 123 10319250 124 10652376 125 10993501 126 11342752 127 11700257 128 12066145 129 12440546 130 12823591 131 13215412 132 13616142 133 14025915 134 14444866 135 14873131 136 15310847 137 15758152 138 16215185 139 16682086 140 17158996 141 17646057 142 18143412 143 18651205 144 19169581 145 19698686 146 20238667 147 20789672 148 21351850 149 21925351 150 22510326 151 23106927 152 23715307 153 24335620 154 24968021 155 25612666 156 26269712 157 26939317 158 27621640 159 28316841 160 29025081 161 29746522 162 30481327 163 31229660 164 31991686 165 32767571 166 33557482 167 34361587 168 35180055 169 36013056 170 36860761 171 37723342 172 38600972 173 39493825 174 40402076 175 41325901 176 42265477 177 43220982 178 44192595 179 45180496 180 46184866 181 47205887 182 48243742 183 49298615 184 50370691 185 51460156 186 52567197 187 53692002 188 54834760 189 55995661 190 57174896 191 58372657 192 59589137 193 60824530 194 62079031 195 63352836 196 64646142 197 65959147 198 67292050 199 68645051 200 70018351 201 71412152 202 72826657 203 74262070 204 75718596 205 77196441 206 78695812 207 80216917 208 81759965 209 83325166 210 84912731 211 86522872 212 88155802 213 89811735 214 91490886 215 93193471 216 94919707 217 96669812 218 98444005 219 100242506 220 102065536 221 103913317 222 105786072 223 107684025 224 109607401 225 111556426 226 113531327 227 115532332 228 117559670 229 119613571 230 121694266 231 123801987 232 125936967 233 128099440 234 130289641 235 132507806 236 134754172 237 137028977 238 139332460 239 141664861 240 144026421 241 146417382 242 148837987 243 151288480 244 153769106 245 156280111 246 158821742 247 161394247 248 163997875 249 166632876 250 169299501 251 171998002 252 174728632 253 177491645 254 180287296 255 183115841 256 185977537 257 188872642 258 191801415 259 194764116 260 197761006 261 200792347 262 203858402 263 206959435 264 210095711 265 213267496 266 216475057 267 219718662 268 222998580 269 226315081 270 229668436 271 233058917 272 236486797 273 239952350 274 243455851 275 246997576 276 250577802 277 254196807 278 257854870 279 261552271 280 265289291 281 269066212 282 272883317 283 276740890 284 280639216 285 284578581 286 288559272 287 292581577 288 296645785 289 300752186 290 304901071 291 309092732 292 313327462 293 317605555 294 321927306 295 326293011 296 330702967 297 335157472 298 339656825 299 344201326 300 348791276 301 353426977 302 358108732 303 362836845 304 367611621 305 372433366 306 377302387 307 382218992 308 387183490 309 392196191 310 397257406 311 402367447 312 407526627 313 412735260 314 417993661 315 423302146 316 428661032 317 434070637 318 439531280 319 445043281 320 450606961 321 456222642 322 461890647 323 467611300 324 473384926 325 479211851 326 485092402 327 491026907 328 497015695 329 503059096 330 509157441 331 515311062 332 521520292 333 527785465 334 534106916 335 540484981 336 546919997 337 553412302 338 559962235 339 566570136 340 573236346 341 579961207 342 586745062 343 593588255 344 600491131 345 607454036 346 614477317 347 621561322 348 628706400 349 635912901 350 643181176 351 650511577 352 657904457 353 665360170 354 672879071 355 680461516 356 688107862 357 695818467 358 703593690 359 711433891 360 719339431 361 727310672 362 735347977 363 743451710 364 751622236 365 759859921 366 768165132 367 776538237 368 784979605 369 793489606 370 802068611 371 810716992 372 819435122 373 828223375 374 837082126 375 846011751 376 855012627 377 864085132 378 873229645 379 882446546 380 891736216 381 901099037 382 910535392 383 920045665 384 929630241 385 939289506 386 949023847 387 958833652 388 968719310 389 978681211 390 988719746 391 998835307 392 1009028287 393 1019299080 394 1029648081 395 1040075686 396 1050582292 397 1061168297 398 1071834100 399 1082580101 400 1093406701 401 1104314302 402 1115303307 403 1126374120 404 1137527146 405 1148762791 406 1160081462 407 1171483567 408 1182969515 409 1194539716 410 1206194581 411 1217934522 412 1229759952 413 1241671285 414 1253668936 415 1265753321 416 1277924857 417 1290183962 418 1302531055 419 1314966556 420 1327490886 421 1340104467 422 1352807722 423 1365601075 424 1378484951 425 1391459776 426 1404525977 427 1417683982 428 1430934220 429 1444277121 430 1457713116 431 1471242637 432 1484866117 433 1498583990 434 1512396691 435 1526304656 436 1540308322 437 1554408127 438 1568604510 439 1582897911 440 1597288771 441 1611777532 442 1626364637 443 1641050530 444 1655835656 445 1670720461 446 1685705392 447 1700790897 448 1715977425 449 1731265426 450 1746655351 451 1762147652 452 1777742782 453 1793441195 454 1809243346 455 1825149691 456 1841160687 457 1857276792 458 1873498465 459 1889826166 460 1906260356 461 1922801497 462 1939450052 463 1956206485 464 1973071261 465 1990044846 466 2007127707 467 2024320312 468 2041623130 469 2059036631 470 2076561286 471 2094197567 472 2111945947 473 2129806900 474 2147780901 475 2165868426 476 2184069952 477 2202385957 478 2220816920 479 2239363321 480 2258025641 481 2276804362 482 2295699967 483 2314712940 484 2333843766 485 2353092931 486 2372460922 487 2391948227 488 2411555335 489 2431282736 490 2451130921 491 2471100382 492 2491191612 493 2511405105 494 2531741356 495 2552200861 496 2572784117 497 2593491622 498 2614323875 499 2635281376 500 2656364626 501 2677574127 502 2698910382 503 2720373895 504 2741965171 505 2763684716 506 2785533037 507 2807510642 508 2829618040 509 2851855741 510 2874224256 511 2896724097 512 2919355777 513 2942119810 514 2965016711 515 2988046996 516 3011211182 517 3034509787 518 3057943330 519 3081512331 520 3105217311 521 3129058792 522 3153037297 523 3177153350 524 3201407476 525 3225800201 526 3250332052 527 3275003557 528 3299815245 529 3324767646 530 3349861291 531 3375096712 532 3400474442 533 3425995015 534 3451658966 535 3477466831 536 3503419147 537 3529516452 538 3555759285 539 3582148186 540 3608683696 541 3635366357 542 3662196712 543 3689175305 544 3716302681 545 3743579386 546 3771005967 547 3798582972 548 3826310950 549 3854190451 550 3882222026 551 3910406227 552 3938743607 553 3967234720 554 3995880121 555 4024680366 556 4053636012 557 4082747617 558 4112015740 559 4141440941 560 4171023781 561 4200764822 562 4230664627 563 4260723760 564 4290942786 565 4321322271 566 4351862782 567 4382564887 568 4413429155 569 4444456156 570 4475646461 571 4507000642 572 4538519272 573 4570202925 574 4602052176 575 4634067601 576 4666249777 577 4698599282 578 4731116695 579 4763802596 580 4796657566 581 4829682187 582 4862877042 583 4896242715 584 4929779791 585 4963488856 586 4997370497 587 5031425302 588 5065653860 589 5100056761 590 5134634596 591 5169387957 592 5204317437 593 5239423630 594 5274707131 595 5310168536 596 5345808442 597 5381627447 598 5417626150 599 5453805151 600 5490165051 601 5526706452 602 5563429957 603 5600336170 604 5637425696 605 5674699141 606 5712157112 607 5749800217 608 5787629065 609 5825644266 610 5863846431 611 5902236172 612 5940814102 613 5979580835 614 6018536986 615 6057683171 616 6097020007 617 6136548112 618 6176268105 619 6216180606 620 6256286236 621 6296585617 622 6337079372 623 6377768125 624 6418652501 625 6459733126 626 6501010627 627 6542485632 628 6584158770 629 6626030671 630 6668101966 631 6710373287 632 6752845267 633 6795518540 634 6838393741 635 6881471506 636 6924752472 637 6968237277 638 7011926560 639 7055820961 640 7099921121 641 7144227682 642 7188741287 643 7233462580 644 7278392206 645 7323530811 646 7368879042 647 7414437547 648 7460206975 649 7506187976 650 7552381201 651 7598787302 652 7645406932 653 7692240745 654 7739289396 655 7786553541 656 7834033837 657 7881730942 658 7929645515 659 7977778216 660 8026129706 661 8074700647 662 8123491702 663 8172503535 664 8221736811 665 8271192196 666 8320870357 667 8370771962 668 8420897680 669 8471248181 670 8521824136 671 8572626217 672 8623655097 673 8674911450 674 8726395951 675 8778109276 676 8830052102 677 8882225107 678 8934628970 679 8987264371 680 9040131991 681 9093232512 682 9146566617 683 9200134990 684 9253938316 685 9307977281 686 9362252572 687 9416764877 688 9471514885 689 9526503286 690 9581730771 691 9637198032 692 9692905762 693 9748854655 694 9805045406 695 9861478711 696 9918155267 697 9975075772 698 10032240925 699 10089651426 700 10147307976 701 10205211277 702 10263362032 703 10321760945 704 10380408721 705 10439306066 706 10498453687 707 10557852292 708 10617502590 709 10677405291 710 10737561106 711 10797970747 712 10858634927 713 10919554360 714 10980729761 715 11042161846 716 11103851332 717 11165798937 718 11228005380 719 11290471381 720 11353197661 721 11416184942 722 11479433947 723 11542945400 724 11606720026 725 11670758551 726 11735061702 727 11799630207 728 11864464795 729 11929566196 730 11994935141 731 12060572362 732 12126478592 733 12192654565 734 12259101016 735 12325818681 736 12392808297 737 12460070602 738 12527606335 739 12595416236 740 12663501046 741 12731861507 742 12800498362 743 12869412355 744 12938604231 745 13008074736 746 13077824617 747 13147854622 748 13218165500 749 13288758001 750 13359632876 751 13430790877 752 13502232757 753 13573959270 754 13645971171 755 13718269216 756 13790854162 757 13863726767 758 13936887790 759 14010337991 760 14084078131 761 14158108972 762 14232431277 763 14307045810 764 14381953336 765 14457154621 766 14532650432 767 14608441537 768 14684528705 769 14760912706 770 14837594311 771 14914574292 772 14991853422 773 15069432475 774 15147312226 775 15225493451 776 15303976927 777 15382763432 778 15461853745 779 15541248646 780 15620948916 781 15700955337 782 15781268692 783 15861889765 784 15942819341 785 16024058206 786 16105607147 787 16187466952 788 16269638410 789 16352122311 790 16434919446 791 16518030607 792 16601456587 793 16685198180 794 16769256181 795 16853631386 796 16938324592 797 17023336597 798 17108668200 799 17194320201 800 17280293401 801 17366588602 802 17453206607 803 17540148220 804 17627414246 805 17715005491 806 17802922762 807 17891166867 808 17979738615 809 18068638816 810 18157868281 811 18247427822 812 18337318252 813 18427540385 814 18518095036 815 18608983021 816 18700205157 817 18791762262 818 18883655155 819 18975884656 820 19068451586 821 19161356767 822 19254601022 823 19348185175 824 19442110051 825 19536376476 826 19630985277 827 19725937282 828 19821233320 829 19916874221 830 20012860816 831 20109193937 832 20205874417 833 20302903090 834 20400280791 835 20498008356 836 20596086622 837 20694516427 838 20793298610 839 20892434011 840 20991923471 841 21091767832 842 21191967937 843 21292524630 844 21393438756 845 21494711161 846 21596342692 847 21698334197 848 21800686525 849 21903400526 850 22006477051 851 22109916952 852 22213721082 853 22317890295 854 22422425446 855 22527327391 856 22632596987 857 22738235092 858 22844242565 859 22950620266 860 23057369056 861 23164489797 862 23271983352 863 23379850585 864 23488092361 865 23596709546 866 23705703007 867 23815073612 868 23924822230 869 24034949731 870 24145456986 871 24256344867 872 24367614247 873 24479266000 874 24591301001 875 24703720126 876 24816524252 877 24929714257 878 25043291020 879 25157255421 880 25271608341 881 25386350662 882 25501483267 883 25617007040 884 25732922866 885 25849231631 886 25965934222 887 26083031527 888 26200524435 889 26318413836 890 26436700621 891 26555385682 892 26674469912 893 26793954205 894 26913839456 895 27034126561 896 27154816417 897 27275909922 898 27397407975 899 27519311476 900 27641621326 901 27764338427 902 27887463682 903 28010997995 904 28134942271 905 28259297416 906 28384064337 907 28509243942 908 28634837140 909 28760844841 910 28887267956 911 29014107397 912 29141364077 913 29269038910 914 29397132811 915 29525646696 916 29654581482 917 29783938087 918 29913717430 919 30043920431 920 30174548011 921 30305601092 922 30437080597 923 30568987450 924 30701322576 925 30834086901 926 30967281352 927 31100906857 928 31234964345 929 31369454746 930 31504378991 931 31639738012 932 31775532742 933 31911764115 934 32048433066 935 32185540531 936 32323087447 937 32461074752 938 32599503385 939 32738374286 940 32877688396 941 33017446657 942 33157650012 943 33298299405 944 33439395781 945 33580940086 946 33722933267 947 33865376272 948 34008270050 949 34151615551 950 34295413726 951 34439665527 952 34584371907 953 34729533820 954 34875152221 955 35021228066 956 35167762312 957 35314755917 958 35462209840 959 35610125041 960 35758502481 961 35907343122 962 36056647927 963 36206417860 964 36356653886 965 36507356971 966 36658528082 967 36810168187 968 36962278255 969 37114859256 970 37267912161 971 37421437942 972 37575437572 973 37729912025 974 37884862276 975 38040289301 976 38196194077 977 38352577582 978 38509440795 979 38666784696 980 38824610266 981 38982918487 982 39141710342 983 39300986815 984 39460748891 985 39620997556 986 39781733797 987 39942958602 988 40104672960 989 40266877861 990 40429574296 991 40592763257 992 40756445737 993 40920622730 994 41085295231 995 41250464236 996 41416130742 997 41582295747 998 41748960250 999 41916125251 1000 42083791751