# Computed using the Mathematica program that I contributed to this sequence 1 4 2 15 3 45 4 111 5 232 6 422 7 704 8 1129 9 1667 10 2403 11 3287 12 4470 13 5810 14 7508 15 9414 16 11663 17 14363 18 17454 19 20715 20 24739 21 29214 22 33957 23 39183 24 45540 25 52056 26 59497 27 67181 28 75862 29 84831 30 95697 31 106608 32 117812 33 130356 34 143759 35 158617 36 174312 37 190500 38 208438 39 226178 40 246250 41 266514 42 288530 43 312255 44 336575 45 362751 46 390386 47 417841 48 447233 49 477390 50 510092 51 544767 52 581629 53 620622 54 659152 55 698111 56 739610 57 784161 58 832004 59 878471 60 926137 61 975749 62 1031248 63 1087063 64 1143623 65 1200944 66 1267909 67 1329877 68 1394493 69 1463066 70 1530329 71 1601690 72 1675598 73 1749761 74 1831915 75 1915705 76 1999176 77 2084486 78 2176193 79 2266218 80 2359679 81 2461262 82 2560504 83 2664884 84 2765673 85 2870088 86 2979930 87 3095882 88 3213975 89 3329836 90 3456999 91 3582028 92 3712553 93 3845373 94 3973790 95 4109058 96 4254629 97 4400885 98 4553947 99 4707618 100 4863037 101 5017213 102 5180066 103 5343289 104 5514408 105 5687081 106 5865052 107 6041343 108 6217145 109 6402476 110 6591459 111 6793710 112 6997419 113 7200714 114 7414749 115 7624012 116 7836953 117 8061248 118 8293012 119 8512457 120 8740758 121 8980057 122 9218204 123 9467295 124 9712971 125 9971876 126 10224043 127 10481243 128 10754099 129 11030982 130 11309873 131 11597261 132 11879138 133 12171467 134 12458215 135 12758659 136 13055896 137 13374447 138 13693338 139 14017607 140 14333645 141 14677621 142 15013580 143 15356593 144 15705435 145 16060988 146 16420306 147 16787288 148 17158056 149 17531744 150 17915565 151 18295261 152 18678411 153 19074019 154 19478346 155 19889301 156 20294674 157 20722855 158 21146277 159 21580889 160 22003627 161 22450862 162 22892975 163 23356558 164 23832702 165 24299702 166 24772166 167 25239048 168 25716512 169 26211945 170 26718926 171 27234728 172 27747533 173 28271538 174 28809602 175 29350448 176 29904152 177 30440692 178 30993941 179 31560425 180 32125898 181 32682077 182 33270761 183 33853761 184 34430283 185 35037418 186 35648693 187 36257487 188 36889268 189 37516875 190 38163906 191 38815316 192 39476163 193 40125385 194 40770010 195 41445871 196 42141553 197 42853561 198 43540645 199 44239576 200 44952404 201 45678270 202 46385874 203 47117613 204 47890443 205 48671154 206 49435175 207 50193936 208 50968021 209 51744545 210 52528993 211 53335463 212 54146257 213 54977324 214 55817146 215 56667077 216 57505614 217 58325002 218 59180652 219 60066597 220 60940503 221 61842713 222 62725656 223 63631611 224 64581142 225 65497418 226 66451594 227 67411742 228 68384101 229 69337618 230 70274617 231 71252973 232 72262961 233 73250324 234 74242921 235 75218764 236 76240211 237 77262743 238 78295017 239 79345325 240 80415071 241 81478923 242 82582004 243 83674440 244 84766036 245 85875485 246 86978459 247 88111691 248 89273276 249 90448526 250 91591531 251 92789798 252 94018696 253 95188360 254 96400919 255 97630969 256 98842833 257 100101251 258 101300246 259 102540091 260 103812945 261 105128527 262 106454743 263 107747393 264 109053865 265 110369813 266 111688277 267 113030997 268 114391301 269 115758011 270 117076556 271 118439643 272 119866045 273 121225873 274 122686601 275 124109621 276 125594562 277 127059917 278 128580253 279 130047315 280 131510872 281 132983930 282 134467251 283 135981569 284 137527256 285 139106019 286 140643071 287 142196699 288 143763568 289 145368082 290 146974359 291 148608238 292 150247705 293 151853478 294 153487985 295 155142016 296 156816370 297 158523304 298 160234681 299 161973360 300 163720397 301 165472328 302 167219773 303 169014129 304 170782792 305 172602775 306 174412491 307 176200010 308 178020620 309 179855141 310 181692188 311 183535007 312 185431649 313 187324783 314 189232518 315 191146677 316 193067447 317 195008806 318 196939627 319 198941323 320 200988326 321 203022442 322 205013453 323 207126190 324 209179209 325 211213234 326 213284693 327 215386491 328 217466182 329 219573850 330 221719249 331 223864247 332 225990430 333 228165465 334 230331810 335 232528284 336 234742994 337 236984082 338 239179789 339 241397300 340 243705227 341 246012019 342 248266070 343 250585181 344 252905178 345 255237700 346 257672940 347 260104035 348 262458455 349 264892334 350 267259767 351 269645556 352 272079666 353 274573967 354 277034007 355 279513702 356 282006699 357 284491239 358 287031564 359 289595012 360 292172191 361 294772190 362 297357801 363 299895899 364 302533289 365 305192921 366 307893835 367 310576664 368 313281748 369 316021329 370 318731692 371 321430368 372 324153871 373 326950926 374 329699379 375 332511466 376 335339431 377 338165983 378 341092126 379 343924766 380 346771446 381 349733021 382 352625201 383 355515385 384 358501301 385 361493579 386 364462141 387 367528658 388 370574068 389 373662990 390 376681311 391 379738553 392 382827406 393 386023026 394 389185282 395 392355009 396 395499779 397 398624240 398 401757971 399 404938690 400 408155778 401 411370785 402 414656114 403 417947993 404 421281604 405 424593928 406 427997440 407 431393283 408 434804796 409 438168241 410 441568062 411 444939083 412 448437683 413 451836711 414 455306432 415 458764391 416 462189124 417 465697440 418 469308683 419 472898701 420 476424041 421 480062194 422 483749627 423 487395191 424 491018471 425 494587589 426 498253086 427 502000460 428 505628520 429 509316763 430 513062009 431 516882538 432 520786617 433 524687179 434 528455319 435 532363096 436 536268817 437 540296291 438 544239255 439 548134128 440 552119798 441 556039450 442 560000426 443 563977329 444 568091844 445 572129040 446 576187786 447 580352266 448 584477841 449 588637605 450 592835675 451 596968368 452 601202260 453 605464224 454 609651266 455 613990746 456 618289004 457 622587382 458 626917821 459 631282076 460 635554836 461 639969570 462 644385788 463 648662404 464 653199159 465 657694847 466 662332146 467 666790920 468 671228020 469 675730810 470 680317428 471 684874892 472 689482145 473 694083127 474 698820629 475 703436222 476 708126294 477 712758020 478 717537193 479 722178285 480 726921099 481 731787507 482 736667079 483 741635094 484 746522471 485 751425680 486 756313252 487 761242513 488 766233502 489 771219165 490 776300103 491 781402410 492 786487106 493 791436269 494 796573219 495 801724459 496 806815455 497 811879483 498 817157724 499 822388776 500 827572486 501 832883804 502 838078764 503 843329608 504 848629792 505 854040340 506 859370747 507 864708277 508 870149118 509 875624652 510 881138157 511 886681203 512 892185560 513 897612043 514 903124560 515 908912475 516 914497055 517 920055404 518 925685149 519 931351512 520 936994562 521 942648792 522 948420225 523 954171027 524 959816436 525 965773631 526 971576321 527 977375009 528 983174032 529 988971245 530 994936992 531 1000860135 532 1006785417 533 1012823170 534 1018906960 535 1024838748 536 1030941702 537 1036919138 538 1043081868 539 1049135563 540 1055340061 541 1061573438 542 1067933896 543 1074320824 544 1080517116 545 1086796632 546 1093004199 547 1099271749 548 1105559945 549 1111952844 550 1118320371 551 1124773886 552 1131330670 553 1137860126 554 1144318097 555 1150876755 556 1157537425 557 1164098732 558 1170785934 559 1177363325 560 1184033448 561 1190765594 562 1197453244 563 1204214335 564 1210914518 565 1217703137 566 1224412083 567 1231343410 568 1238203790 569 1245149941 570 1252102769 571 1259160677 572 1266083252 573 1273278424 574 1280232164 575 1287259626 576 1294409057 577 1301534556 578 1308541651 579 1315523150 580 1322748948 581 1330113146 582 1337353664 583 1344592489 584 1351962657 585 1359442438 586 1366833760 587 1374224580 588 1381756751 589 1389213601 590 1396570072 591 1404139564 592 1411632115 593 1419123966 594 1426679747 595 1434385509 596 1441952554 597 1449636679 598 1457426757 599 1465140638 600 1472809575 601 1480503308 602 1488385231 603 1496299544 604 1504104405 605 1512013766 606 1519876987 607 1527829667 608 1535745641 609 1543643176 610 1551792885 611 1559875810 612 1567946529 613 1576038770 614 1583983135 615 1592062191 616 1600266393 617 1608615320 618 1616826773 619 1625178043 620 1633389500 621 1641738005 622 1649993711 623 1658272647 624 1666848410 625 1675353552 626 1683775114 627 1692187560 628 1700696064 629 1709156994 630 1717867095 631 1726644271 632 1735292369 633 1744086886 634 1752721831 635 1761465222 636 1770283026 637 1779187577 638 1787933212 639 1796583117 640 1805293069 641 1814247476 642 1822979158 643 1831997811 644 1841067856 645 1850141761 646 1859343335 647 1868481430 648 1877696896 649 1886831978 650 1896066870 651 1905238785 652 1914538899 653 1923941609 654 1933317973 655 1942636166 656 1952025162 657 1961335782 658 1970824898 659 1980195777 660 1989686808 661 1999343453 662 2008991515 663 2018636715 664 2028358072 665 2038125207 666 2047665738 667 2057265111 668 2066868491 669 2076825587 670 2086560736 671 2096329292 672 2106217108 673 2116236521 674 2126071153 675 2136080338 676 2145983389 677 2156044778 678 2165960244 679 2175845227 680 2185841371 681 2195984683 682 2206088074 683 2216303376 684 2226642666 685 2236858544 686 2247165263 687 2257520606 688 2267931468 689 2278507223 690 2288879980 691 2299366583 692 2309986264 693 2320496800 694 2331395286 695 2341936171 696 2352538381 697 2363156369 698 2373810225 699 2384431814 700 2395210364 701 2405977080 702 2416603767 703 2427485689 704 2438613004 705 2449714429 706 2461016093 707 2472131005 708 2483272876 709 2494365369 710 2505757720 711 2516984361 712 2528273336 713 2539470057 714 2550658089 715 2562059839 716 2573374073 717 2584565654 718 2595647123 719 2606883392 720 2618319967 721 2630024975 722 2641786912 723 2653288092 724 2664635416 725 2676270224 726 2687766003 727 2699533429 728 2711113418 729 2722606499 730 2734577918 731 2746321093 732 2758543307 733 2770473659 734 2782442386 735 2794426589 736 2806362975 737 2818165727 738 2830261674 739 2842304292 740 2854496389 741 2866788316 742 2879111747 743 2891242316 744 2903519411 745 2915816741 746 2928143110 747 2940443712 748 2952752624 749 2965358801 750 2978053049 751 2990534410 752 3003393381 753 3016083916 754 3028700003 755 3041296989 756 3053778649 757 3066313916 758 3079233836 759 3092040694 760 3104833188 761 3117670920 762 3130610446 763 3143762220 764 3156999365 765 3170201697 766 3183164699 767 3196041953 768 3209325191 769 3222306453 770 3235528670 771 3248734549 772 3262052873 773 3275568159 774 3288950350 775 3302298175 776 3315872846 777 3329523778 778 3343235891 779 3356720272 780 3370385088 781 3384035977 782 3397762320 783 3411660407 784 3425446881 785 3439128982 786 3453027850 787 3467068191 788 3480862839 789 3494488039 790 3508263976 791 3522094184 792 3536078769 793 3550169064 794 3564068996 795 3578236782 796 3592588986 797 3607016711 798 3621475185 799 3635805761 800 3650087999 801 3664440085 802 3678856903 803 3693305647 804 3707775470 805 3722314585 806 3736959669 807 3751663865 808 3766592571 809 3781175982 810 3795641061 811 3810377614 812 3825275531 813 3840092394 814 3854874424 815 3869907285 816 3885020835 817 3900103879 818 3915272761 819 3930474942 820 3945522224 821 3960735518 822 3975928158 823 3991158666 824 4006478109 825 4021709666 826 4036966472 827 4051979052 828 4067458403 829 4083000366 830 4098532336 831 4114021326 832 4129504362 833 4145053971 834 4160532911 835 4176363535 836 4192280602 837 4208078338 838 4224007436 839 4240000364 840 4255917296 841 4271903536 842 4287831279 843 4304040657 844 4320234361 845 4336257204 846 4352401180 847 4368714499 848 4385035839 849 4401552572 850 4417972759 851 4434137812 852 4450546135 853 4467020005 854 4483262873 855 4499853446 856 4516378597 857 4533223881 858 4549718292 859 4566588700 860 4583349293 861 4600032976 862 4616966031 863 4633958314 864 4650637990 865 4667667999 866 4684855789 867 4701891491 868 4718935646 869 4736105701 870 4753130367 871 4770539679 872 4787912697 873 4805141881 874 4822683494 875 4840299300 876 4857727740 877 4875443228 878 4892808355 879 4910468321 880 4928118453 881 4945804179 882 4963637815 883 4981427891 884 4999426332 885 5017360002 886 5035360977 887 5053012445 888 5070837805 889 5088643988 890 5106853187 891 5124905892 892 5143222939 893 5161619431 894 5179999408 895 5198179941 896 5216555433 897 5235067494 898 5253324632 899 5271928818 900 5290364825 901 5308531535 902 5327007961 903 5345232566 904 5363729912 905 5382423647 906 5401274480 907 5420313921 908 5439157282 909 5458092541 910 5476809498 911 5495683208 912 5515058676 913 5534092926 914 5553262449 915 5572577522 916 5591579022 917 5610757006 918 5630145073 919 5649454314 920 5668740491 921 5688044370 922 5707885587 923 5727171154 924 5747033355 925 5766651547 926 5786350203 927 5805875609 928 5825467286 929 5844985507 930 5864371769 931 5884341324 932 5904108378 933 5924264417 934 5944387633 935 5964866755 936 5985255097 937 6005360587 938 6025539598 939 6046040980 940 6066313008 941 6086607881 942 6107121684 943 6127492893 944 6147881601 945 6168401584 946 6188976949 947 6209583255 948 6230161583 949 6250624691 950 6271373671 951 6291890163 952 6312942953 953 6333932753 954 6355139171 955 6376173315 956 6397389675 957 6418234445 958 6439069425 959 6460230757 960 6481378526 961 6502486701 962 6523980823 963 6545654387 964 6566884775 965 6588238683 966 6609755534 967 6631112254 968 6652324413 969 6673847212 970 6695580033 971 6717370047 972 6739188867 973 6760770585 974 6782494244 975 6804483625 976 6826561899 977 6848688927 978 6870620654 979 6892349353 980 6914278115 981 6936882089 982 6959012906 983 6981126163 984 7003432751 985 7026359002 986 7048881530 987 7071374226 988 7094123303 989 7116801930 990 7139427356 991 7162201243 992 7184952579 993 7207689788 994 7230430237 995 7253275186 996 7276269808 997 7299323182 998 7322495998 999 7345821874 1000 7368819446