# Computed using the Mathematica program that I contributed to this sequence 1 1 2 12 3 50 4 134 5 280 6 507 7 834 8 1277 9 1855 10 2586 11 3489 12 4580 13 5878 14 7401 15 9168 16 11195 17 13501 18 16104 19 19023 20 22274 21 25876 22 29847 23 34206 24 38969 25 44155 26 49782 27 55869 28 62432 29 69490 30 77061 31 85164 32 93815 33 103033 34 112836 35 123243 36 134270 37 145936 38 158259 39 171258 40 184949 41 199351 42 214482 43 230361 44 247004 45 264430 46 282657 47 301704 48 321587 49 342325 50 363936 51 386439 52 409850 53 434188 54 459471 55 485718 56 512945 57 541171 58 570414 59 600693 60 632024 61 664426 62 697917 63 732516 64 768239 65 805105 66 843132 67 882339 68 922742 69 964360 70 1007211 71 1051314 72 1096685 73 1143343 74 1191306 75 1240593 76 1291220 77 1343206 78 1396569 79 1451328 80 1507499 81 1565101 82 1624152 83 1684671 84 1746674 85 1810180 86 1875207 87 1941774 88 2009897 89 2079595 90 2150886 91 2223789 92 2298320 93 2374498 94 2452341 95 2531868 96 2613095 97 2696041 98 2780724 99 2867163 100 2955374 101 3045376 102 3137187 103 3230826 104 3326309 105 3423655 106 3522882 107 3624009 108 3727052 109 3832030 110 3938961 111 4047864 112 4158755 113 4271653 114 4386576 115 4503543 116 4622570 117 4743676 118 4866879 119 4992198 120 5119649 121 5249251 122 5381022 123 5514981 124 5651144 125 5789530 126 5930157 127 6073044 128 6218207 129 6365665 130 6515436 131 6667539 132 6821990 133 6978808 134 7138011 135 7299618 136 7463645 137 7630111 138 7799034 139 7970433 140 8144324 141 8320726 142 8499657 143 8681136 144 8865179 145 9051805 146 9241032 147 9432879 148 9627362 149 9824500 150 10024311 151 10226814 152 10432025 153 10639963 154 10850646 155 11064093 156 11280320 157 11499346 158 11721189 159 11945868 160 12173399 161 12403801 162 12637092 163 12873291 164 13112414 165 13354480 166 13599507 167 13847514 168 14098517 169 14352535 170 14609586 171 14869689 172 15132860 173 15399118 174 15668481 175 15940968 176 16216595 177 16495381 178 16777344 179 17062503 180 17350874 181 17642476 182 17937327 183 18235446 184 18536849 185 18841555 186 19149582 187 19460949 188 19775672 189 20093770 190 20415261 191 20740164 192 21068495 193 21400273 194 21735516 195 22074243 196 22416470 197 22762216 198 23111499 199 23464338 200 23820749 201 24180751 202 24544362 203 24911601 204 25282484 205 25657030 206 26035257 207 26417184 208 26802827 209 27192205 210 27585336 211 27982239 212 28382930 213 28787428 214 29195751 215 29607918 216 30023945 217 30443851 218 30867654 219 31295373 220 31727024 221 32162626 222 32602197 223 33045756 224 33493319 225 33944905 226 34400532 227 34860219 228 35323982 229 35791840 230 36263811 231 36739914 232 37220165 233 37704583 234 38193186 235 38685993 236 39183020 237 39684286 238 40189809 239 40699608 240 41213699 241 41732101 242 42254832 243 42781911 244 43313354 245 43849180 246 44389407 247 44934054 248 45483137 249 46036675 250 46594686 251 47157189 252 47724200 253 48295738 254 48871821 255 49452468 256 50037695 257 50627521 258 51221964 259 51821043 260 52424774 261 53033176 262 53646267 263 54264066 264 54886589 265 55513855 266 56145882 267 56782689 268 57424292 269 58070710 270 58721961 271 59378064 272 60039035 273 60704893 274 61375656 275 62051343 276 62731970 277 63417556 278 64108119 279 64803678 280 65504249 281 66209851 282 66920502 283 67636221 284 68357024 285 69082930 286 69813957 287 70550124 288 71291447 289 72037945 290 72789636 291 73546539 292 74308670 293 75076048 294 75848691 295 76626618 296 77409845 297 78198391 298 78992274 299 79791513 300 80596124 301 81406126 302 82221537 303 83042376 304 83868659 305 84700405 306 85537632 307 86380359 308 87228602 309 88082380 310 88941711 311 89806614 312 90677105 313 91553203 314 92434926 315 93322293 316 94215320 317 95114026 318 96018429 319 96928548 320 97844399 321 98766001 322 99693372 323 100626531 324 101565494 325 102510280 326 103460907 327 104417394 328 105379757 329 106348015 330 107322186 331 108302289 332 109288340 333 110280358 334 111278361 335 112282368 336 113292395 337 114308461 338 115330584 339 116358783 340 117393074 341 118433476 342 119480007 343 120532686 344 121591529 345 122656555 346 123727782 347 124805229 348 125888912 349 126978850 350 128075061 351 129177564 352 130286375 353 131401513 354 132522996 355 133650843 356 134785070 357 135925696 358 137072739 359 138226218 360 139386149 361 140552551 362 141725442 363 142904841 364 144090764 365 145283230 366 146482257 367 147687864 368 148900067 369 150118885 370 151344336 371 152576439 372 153815210 373 155060668 374 156312831 375 157571718 376 158837345 377 160109731 378 161388894 379 162674853 380 163967624 381 165267226 382 166573677 383 167886996 384 169207199 385 170534305 386 171868332 387 173209299 388 174557222 389 175912120 390 177274011 391 178642914 392 180018845 393 181401823 394 182791866 395 184188993 396 185593220 397 187004566 398 188423049 399 189848688 400 191281499 401 192721501 402 194168712 403 195623151 404 197084834 405 198553780 406 200030007 407 201513534 408 203004377 409 204502555 410 206008086 411 207520989 412 209041280 413 210568978 414 212104101 415 213646668 416 215196695 417 216754201 418 218319204 419 219891723 420 221471774 421 223059376 422 224654547 423 226257306 424 227867669 425 229485655 426 231111282 427 232744569 428 234385532 429 236034190 430 237690561 431 239354664 432 241026515 433 242706133 434 244393536 435 246088743 436 247791770 437 249502636 438 251221359 439 252947958 440 254682449 441 256424851 442 258175182 443 259933461 444 261699704 445 263473930 446 265256157 447 267046404 448 268844687 449 270651025 450 272465436 451 274287939 452 276118550 453 277957288 454 279804171 455 281659218 456 283522445 457 285393871 458 287273514 459 289161393 460 291057524 461 292961926 462 294874617 463 296795616 464 298724939 465 300662605 466 302608632 467 304563039 468 306525842 469 308497060 470 310476711 471 312464814 472 314461385 473 316466443 474 318480006 475 320502093 476 322532720 477 324571906 478 326619669 479 328676028 480 330740999 481 332814601 482 334896852 483 336987771 484 339087374 485 341195680 486 343312707 487 345438474 488 347572997 489 349716295 490 351868386 491 354029289 492 356199020 493 358377598 494 360565041 495 362761368 496 364966595 497 367180741 498 369403824 499 371635863 500 373876874 501 376126876 502 378385887 503 380653926 504 382931009 505 385217155 506 387512382 507 389816709 508 392130152 509 394452730 510 396784461 511 399125364 512 401475455 513 403834753 514 406203276 515 408581043 516 410968070 517 413364376 518 415769979 519 418184898 520 420609149 521 423042751 522 425485722 523 427938081 524 430399844 525 432871030 526 435351657 527 437841744 528 440341307 529 442850365 530 445368936 531 447897039 532 450434690 533 452981908 534 455538711 535 458105118 536 460681145 537 463266811 538 465862134 539 468467133 540 471081824 541 473706226 542 476340357 543 478984236 544 481637879 545 484301305 546 486974532 547 489657579 548 492350462 549 495053200 550 497765811 551 500488314 552 503220725 553 505963063 554 508715346 555 511477593 556 514249820 557 517032046 558 519824289 559 522626568 560 525438899 561 528261301 562 531093792 563 533936391 564 536789114 565 539651980 566 542525007 567 545408214 568 548301617 569 551205235 570 554119086 571 557043189 572 559977560 573 562922218 574 565877181 575 568842468 576 571818095 577 574804081 578 577800444 579 580807203 580 583824374 581 586851976 582 589890027 583 592938546 584 595997549 585 599067055 586 602147082 587 605237649 588 608338772 589 611450470 590 614572761 591 617705664 592 620849195 593 624003373 594 627168216 595 630343743 596 633529970 597 636726916 598 639934599 599 643153038 600 646382249 601 649622251 602 652873062 603 656134701 604 659407184 605 662690530 606 665984757 607 669289884 608 672605927 609 675932905 610 679270836 611 682619739 612 685979630 613 689350528 614 692732451 615 696125418 616 699529445 617 702944551 618 706370754 619 709808073 620 713256524 621 716716126 622 720186897 623 723668856 624 727162019 625 730666405 626 734182032 627 737708919 628 741247082 629 744796540 630 748357311 631 751929414 632 755512865 633 759107683 634 762713886 635 766331493 636 769960520 637 773600986 638 777252909 639 780916308 640 784591199 641 788277601 642 791975532 643 795685011 644 799406054 645 803138680 646 806882907 647 810638754 648 814406237 649 818185375 650 821976186 651 825778689 652 829592900 653 833418838 654 837256521 655 841105968 656 844967195 657 848840221 658 852725064 659 856621743 660 860530274 661 864450676 662 868382967 663 872327166 664 876283289 665 880251355 666 884231382 667 888223389 668 892227392 669 896243410 670 900271461 671 904311564 672 908363735 673 912427993 674 916504356 675 920592843 676 924693470 677 928806256 678 932931219 679 937068378 680 941217749 681 945379351 682 949553202 683 953739321 684 957937724 685 962148430 686 966371457 687 970606824 688 974854547 689 979114645 690 983387136 691 987672039 692 991969370 693 996279148 694 1000601391 695 1004936118 696 1009283345 697 1013643091 698 1018015374 699 1022400213 700 1026797624 701 1031207626 702 1035630237 703 1040065476 704 1044513359 705 1048973905 706 1053447132 707 1057933059 708 1062431702 709 1066943080 710 1071467211 711 1076004114 712 1080553805 713 1085116303 714 1089691626 715 1094279793 716 1098880820 717 1103494726 718 1108121529 719 1112761248 720 1117413899 721 1122079501 722 1126758072 723 1131449631 724 1136154194 725 1140871780 726 1145602407 727 1150346094 728 1155102857 729 1159872715 730 1164655686 731 1169451789 732 1174261040 733 1179083458 734 1183919061 735 1188767868 736 1193629895 737 1198505161 738 1203393684 739 1208295483 740 1213210574 741 1218138976 742 1223080707 743 1228035786 744 1233004229 745 1237986055 746 1242981282 747 1247989929 748 1253012012 749 1258047550 750 1263096561 751 1268159064 752 1273235075 753 1278324613 754 1283427696 755 1288544343 756 1293674570 757 1298818396 758 1303975839 759 1309146918 760 1314331649 761 1319530051 762 1324742142 763 1329967941 764 1335207464 765 1340460730 766 1345727757 767 1351008564 768 1356303167 769 1361611585 770 1366933836 771 1372269939 772 1377619910 773 1382983768 774 1388361531 775 1393753218 776 1399158845 777 1404578431 778 1410011994 779 1415459553 780 1420921124 781 1426396726 782 1431886377 783 1437390096 784 1442907899 785 1448439805 786 1453985832 787 1459545999 788 1465120322 789 1470708820 790 1476311511 791 1481928414 792 1487559545 793 1493204923 794 1498864566 795 1504538493 796 1510226720 797 1515929266 798 1521646149 799 1527377388 800 1533122999 801 1538883001 802 1544657412 803 1550446251 804 1556249534 805 1562067280 806 1567899507 807 1573746234 808 1579607477 809 1585483255 810 1591373586 811 1597278489 812 1603197980 813 1609132078 814 1615080801 815 1621044168 816 1627022195 817 1633014901 818 1639022304 819 1645044423 820 1651081274 821 1657132876 822 1663199247 823 1669280406 824 1675376369 825 1681487155 826 1687612782 827 1693753269 828 1699908632 829 1706078890 830 1712264061 831 1718464164 832 1724679215 833 1730909233 834 1737154236 835 1743414243 836 1749689270 837 1755979336 838 1762284459 839 1768604658 840 1774939949 841 1781290351 842 1787655882 843 1794036561 844 1800432404 845 1806843430 846 1813269657 847 1819711104 848 1826167787 849 1832639725 850 1839126936 851 1845629439 852 1852147250 853 1858680388 854 1865228871 855 1871792718 856 1878371945 857 1884966571 858 1891576614 859 1898202093 860 1904843024 861 1911499426 862 1918171317 863 1924858716 864 1931561639 865 1938280105 866 1945014132 867 1951763739 868 1958528942 869 1965309760 870 1972106211 871 1978918314 872 1985746085 873 1992589543 874 1999448706 875 2006323593 876 2013214220 877 2020120606 878 2027042769 879 2033980728 880 2040934499 881 2047904101 882 2054889552 883 2061890871 884 2068908074 885 2075941180 886 2082990207 887 2090055174 888 2097136097 889 2104232995 890 2111345886 891 2118474789 892 2125619720 893 2132780698 894 2139957741 895 2147150868 896 2154360095 897 2161585441 898 2168826924 899 2176084563 900 2183358374 901 2190648376 902 2197954587 903 2205277026 904 2212615709 905 2219970655 906 2227341882 907 2234729409 908 2242133252 909 2249553430 910 2256989961 911 2264442864 912 2271912155 913 2279397853 914 2286899976 915 2294418543 916 2301953570 917 2309505076 918 2317073079 919 2324657598 920 2332258649 921 2339876251 922 2347510422 923 2355161181 924 2362828544 925 2370512530 926 2378213157 927 2385930444 928 2393664407 929 2401415065 930 2409182436 931 2416966539 932 2424767390 933 2432585008 934 2440419411 935 2448270618 936 2456138645 937 2464023511 938 2471925234 939 2479843833 940 2487779324 941 2495731726 942 2503701057 943 2511687336 944 2519690579 945 2527710805 946 2535748032 947 2543802279 948 2551873562 949 2559961900 950 2568067311 951 2576189814 952 2584329425 953 2592486163 954 2600660046 955 2608851093 956 2617059320 957 2625284746 958 2633527389 959 2641787268 960 2650064399 961 2658358801 962 2666670492 963 2674999491 964 2683345814 965 2691709480 966 2700090507 967 2708488914 968 2716904717 969 2725337935 970 2733788586 971 2742256689 972 2750742260 973 2759245318 974 2767765881 975 2776303968 976 2784859595 977 2793432781 978 2802023544 979 2810631903 980 2819257874 981 2827901476 982 2836562727 983 2845241646 984 2853938249 985 2862652555 986 2871384582 987 2880134349 988 2888901872 989 2897687170 990 2906490261 991 2915311164 992 2924149895 993 2933006473 994 2941880916 995 2950773243 996 2959683470 997 2968611616 998 2977557699 999 2986521738 1000 2995503749