# Computed using the Mathematica program that I contributed to this sequence 0 1 1 14 2 83 3 322 4 966 5 2436 6 5418 7 10956 8 20559 9 36322 10 61061 11 98462 12 153244 13 231336 14 340068 15 488376 16 687021 17 948822 18 1288903 19 1724954 20 2277506 21 2970220 22 3830190 23 4888260 24 6179355 25 7742826 26 9622809 27 11868598 28 14535032 29 17682896 30 21379336 31 25698288 32 30720921 33 36536094 34 43240827 35 50940786 36 59750782 37 69795284 38 81208946 39 94137148 40 108736551 41 125175666 42 143635437 43 164309838 44 187406484 45 213147256 46 241768940 47 273523880 48 308680645 49 347524710 50 390359151 51 437505354 52 489303738 53 546114492 54 608318326 55 676317236 56 750535283 57 831419386 58 919440129 59 1015092582 60 1118897136 61 1231400352 62 1353175824 63 1484825056 64 1626978353 65 1780295726 66 1945467811 67 2123216802 68 2314297398 69 2519497764 70 2739640506 71 2975583660 72 3228221695 73 3498486530 74 3787348565 75 4095817726 76 4424944524 77 4775821128 78 5149582452 79 5547407256 80 5970519261 81 6420188278 82 6897731351 83 7404513914 84 7941950962 85 8511508236 86 9114703422 87 9753107364 88 10428345291 89 11142098058 90 11896103401 91 12692157206 92 13532114792 93 14417892208 94 15351467544 95 16334882256 96 17370242505 97 18459720510 98 19605555915 99 20810057170 100 22075602926 101 23404643444 102 24799702018 103 26263376412 104 27798340311 105 29407344786 106 31093219773 107 32858875566 108 34707304324 109 36641581592 110 38664867836 111 40780409992 112 42991543029 113 45301691526 114 47714371263 115 50233190826 116 52861853226 117 55604157532 118 58464000518 119 61445378324 120 64552388131 121 67789229850 122 71160207825 123 74669732550 124 78322322400 125 82122605376 126 86075320864 127 90185321408 128 94457574497 129 98897164366 130 103509293811 131 108299286018 132 113272586406 133 118434764484 134 123791515722 135 129348663436 136 135112160687 137 141088092194 138 147282676261 139 153702266718 140 160353354876 141 167242571496 142 174376688772 143 181762622328 144 189407433229 145 197318330006 146 205502670695 147 213967964890 148 222721875810 149 231772222380 150 241126981326 151 250794289284 152 260782444923 153 271099911082 154 281755316921 155 292757460086 156 304115308888 157 315838004496 158 327934863144 159 340415378352 160 353289223161 161 366566252382 162 380256504859 163 394370205746 164 408917768798 165 423909798676 166 439357093266 167 455270646012 168 471661648263 169 488541491634 170 505921770381 171 523814283790 172 542231038580 173 561184251320 174 580686350860 175 600749980776 176 621388001829 177 642613494438 178 664439761167 179 686880329226 180 709948952986 181 733659616508 182 758026536086 183 783064162804 184 808787185107 185 835210531386 186 862349372577 187 890219124774 188 918835451856 189 948214268128 190 978371740976 191 1009324293536 192 1041088607377 193 1073681625198 194 1107120553539 195 1141422865506 196 1176606303510 197 1212688882020 198 1249688890330 199 1287624895340 200 1326515744351 201 1366380567874 202 1407238782453 203 1449110093502 204 1492014498156 205 1535972288136 206 1581004052628 207 1627130681176 208 1674373366589 209 1722753607862 210 1772293213111 211 1823014302522 212 1874939311314 213 1928090992716 214 1982492420958 215 2038166994276 216 2095138437931 217 2153430807242 218 2213068490633 219 2274076212694 220 2336479037256 221 2400302370480 222 2465571963960 223 2532313917840 224 2600554683945 225 2670321068926 226 2741640237419 227 2814539715218 228 2889047392462 229 2965191526836 230 3043000746786 231 3122504054748 232 3203730830391 233 3286710833874 234 3371474209117 235 3458051487086 236 3546473589092 237 3636771830104 238 3728977922076 239 3823123977288 240 3919242511701 241 4017366448326 242 4117529120607 243 4219764275818 244 4324106078474 245 4430589113756 246 4539248390950 247 4650119346900 248 4763237849475 249 4878640201050 250 4996363142001 251 5116443854214 252 5238919964608 253 5363829548672 254 5491211134016 255 5621103703936 256 5753546700993 257 5888580030606 258 6026244064659 259 6166579645122 260 6309628087686 261 6455431185412 262 6604031212394 263 6755470927436 264 6909793577743 265 7067042902626 266 7227263137221 267 7390499016222 268 7556795777628 269 7726199166504 270 7898755438756 271 8074511364920 272 8253514233965 273 8435811857110 274 8621452571655 275 8810485244826 276 9002959277634 277 9198924608748 278 9398431718382 279 9601531632196 280 9808275925211 281 10018716725738 282 10232906719321 283 10450899152694 284 10672747837752 285 10898507155536 286 11128232060232 287 11361978083184 288 11599801336921 289 11841758519198 290 12087906917051 291 12338304410866 292 12593009478462 293 12852081199188 294 13115579258034 295 13383563949756 296 13656096183015 297 13933237484530 298 14215050003245 299 14501596514510 300 14792940424276 301 15089145773304 302 15390277241388 303 15696400151592 304 16007580474501 305 16323884832486 306 16645380503983 307 16972135427786 308 17304218207354 309 17641698115132 310 17984645096886 311 18333129776052 312 18687223458099 313 19046998134906 314 19412526489153 315 19783881898726 316 20161138441136 317 20544370897952 318 20933654759248 319 21329066228064 320 21730682224881 321 22138580392110 322 22552839098595 323 22973537444130 324 23400755263990 325 23834573133476 326 24275072372474 327 24722335050028 328 25176443988927 329 25637482770306 330 26105535738261 331 26580688004478 332 27063025452876 333 27552634744264 334 28049603321012 335 28554019411736 336 29065972035997 337 29585551009014 338 30112846946391 339 30647951268858 340 31190956207026 341 31741954806156 342 32301040930942 343 32868309270308 344 33443855342219 345 34027775498506 346 34620166929705 347 35221127669910 348 35830756601640 349 36449153460720 350 37076418841176 351 37712654200144 352 38357961862793 353 39012445027262 354 39676207769611 355 40349355048786 356 41031992711598 357 41724227497716 358 42426167044674 359 43137919892892 360 43859595490711 361 44591304199442 362 45333157298429 363 46085266990126 364 46847746405188 365 47620709607576 366 48404271599676 367 49198548327432 368 50003656685493 369 50819714522374 370 51646840645631 371 52485154827050 372 53334777807850 373 54195831303900 374 55068438010950 375 55952721609876 376 56848806771939 377 57756819164058 378 58676885454097 379 59609133316166 380 60553691435936 381 61510689515968 382 62480258281056 383 63462529483584 384 64457635908897 385 65465711380686 386 66486890766387 387 67521309982594 388 68569106000486 389 69630416851268 390 70705381631626 391 71794140509196 392 72896834728047 393 74013606614178 394 75144599581029 395 76289958135006 396 77449827881020 397 78624355528040 398 79813688894660 399 81017976914680 400 82237369642701 401 83472018259734 402 84722075078823 403 85987693550682 404 87269028269346 405 88566234977836 406 89879470573838 407 91208893115396 408 92554661826619 409 93916937103402 410 95295880519161 411 96691654830582 412 98104423983384 413 99534353118096 414 100981608575848 415 102446357904176 416 103928769862841 417 105429014429662 418 106947262806363 419 108483687424434 420 110038461951006 421 111611761294740 422 113203761611730 423 114814640311420 424 116444576062535 425 118093748799026 426 119762339726029 427 121450531325838 428 123158507363892 429 124886452894776 430 126634554268236 431 128402999135208 432 130191976453861 433 132001676495654 434 133832290851407 435 135684012437386 436 137557035501402 437 139451555628924 438 141367769749206 439 143305876141428 440 145266074440851 441 147248565644986 442 149253552119777 443 151281237605798 444 153331827224464 445 155405527484256 446 157502546286960 447 159623092933920 448 161767378132305 449 163935614001390 450 166128014078851 451 168344793327074 452 170586168139478 453 172852356346852 454 175143577223706 455 177460051494636 456 179802001340703 457 182169650405826 458 184563223803189 459 186982948121662 460 189429051432236 461 191901763294472 462 194401314762964 463 196927938393816 464 199481868251133 465 202063339913526 466 204672590480631 467 207309858579642 468 209975384371858 469 212669409559244 470 215392177391006 471 218143932670180 472 220924921760235 473 223735392591690 474 226575594668745 475 229445779075926 476 232346198484744 477 235277107160368 478 238238760968312 479 241231417381136 480 244255335485161 481 247310775987198 482 250398001221291 483 253517275155474 484 256668863398542 485 259853033206836 486 263070053491042 487 266320194823004 488 269603729442551 489 272920931264338 490 276272075884701 491 279657440588526 492 283077304356132 493 286531947870168 494 290021653522524 495 293546705421256 496 297107389397525 497 300703993012550 498 304336805564575 499 308006118095850 500 311712223399626 501 315455416027164 502 319235992294758 503 323054250290772 504 326910489882691 505 330805012724186 506 334738122262193 507 338710123744006 508 342721324224384 509 346772032572672 510 350862559479936 511 354993217466112 512 359164320887169 513 363376185942286 514 367629130681043 515 371923475010626 516 376259540703046 517 380637651402372 518 385058132631978 519 389521311801804 520 394027518215631 521 398577083078370 522 403170339503365 523 407807622519710 524 412489269079580 525 417215618065576 526 421987010298084 527 426803788542648 528 431666297517357 529 436574883900246 530 441529896336711 531 446531685446938 532 451580603833346 533 456677006088044 534 461821248800302 535 467013690564036 536 472254691985307 537 477544615689834 538 482883826330521 539 488272690594998 540 493711577213176 541 499200856964816 542 504740902687112 543 510332089282288 544 515974793725209 545 521669395071006 546 527416274462715 547 533215815138930 548 539068402441470 549 544974423823060 550 550934268855026 551 556948329235004 552 563016998794663 553 569140673507442 554 575319751496301 555 581554633041486 556 587845720588308 557 594193418754936 558 600598134340204 559 607060276331432 560 613580255912261 561 620158486470502 562 626795383605999 563 633491365138506 564 640246851115578 565 647062263820476 566 653938027780086 567 660874569772852 568 667872318836723 569 674931706277114 570 682053165674881 571 689237132894310 572 696484046091120 573 703794345720480 574 711168474545040 575 718606877642976 576 726110002416049 577 733678298597678 578 741312218261027 579 749012215827106 580 756778748072886 581 764612274139428 582 772513255540026 583 780482156168364 584 788519442306687 585 796625582633986 586 804801048234197 587 813046312604414 588 821361851663116 589 829748143758408 590 838205669676276 591 846734912648856 592 855336358362717 593 864010494967158 594 872757813082519 595 881578805808506 596 890473968732530 597 899443799938060 598 908488800012990 599 917609472058020 600 926806321695051 601 936079857075594 602 945430588889193 603 954859030371862 604 964365697314536 605 973951108071536 606 983615783569048 607 993360247313616 608 1003185025400649 609 1013090646522942 610 1023077641979211 611 1033146545682642 612 1043297894169454 613 1053532226607476 614 1063850084804738 615 1074252013218076 616 1084738558961751 617 1095310271816082 618 1105967704236093 619 1116711411360174 620 1127541951018756 621 1138459883743000 622 1149465772773500 623 1160560184069000 624 1171743686315125 625 1183016850933126 626 1194380252088639 627 1205834466700458 628 1217380074449322 629 1229017657786716 630 1240747801943686 631 1252571094939668 632 1264488127591331 633 1276499493521434 634 1288605789167697 635 1300807613791686 636 1313105569487712 637 1325500261191744 638 1337992296690336 639 1350582286629568 640 1363270844524001 641 1376058586765646 642 1388946132632947 643 1401934104299778 644 1415023126844454 645 1428213828258756 646 1441506839456970 647 1454902794284940 648 1468402329529135 649 1482006084925730 650 1495714703169701 651 1509528829923934 652 1523449113828348 653 1537476206509032 654 1551610762587396 655 1565853439689336 656 1580204898454413 657 1594665802545046 658 1609236818655719 659 1623918616522202 660 1638711868930786 661 1653617251727532 662 1668635443827534 663 1683767127224196 664 1699012986998523 665 1714373711328426 666 1729849991498041 667 1745442521907062 668 1761152000080088 669 1776979126675984 670 1792924605497256 671 1808989143499440 672 1825173450800505 673 1841478240690270 674 1857904229639835 675 1874452137311026 676 1891122686565854 677 1907916603475988 678 1924834617332242 679 1941877460654076 680 1959045869199111 681 1976340581972658 682 1993762341237261 683 2011311892522254 684 2028989984633332 685 2046797369662136 686 2064734802995852 687 2082803043326824 688 2101002852662181 689 2119334996333478 690 2137800243006351 691 2156399364690186 692 2175133136747802 693 2194002337905148 694 2213007750261014 695 2232150159296756 696 2251430353886035 697 2270849126304570 698 2290407272239905 699 2310105590801190 700 2329944884528976 701 2349925959405024 702 2370049624862128 703 2390316693793952 704 2410727982564881 705 2431284311019886 706 2451986502494403 707 2472835383824226 708 2493831785355414 709 2514976540954212 710 2536270488016986 711 2557714467480172 712 2579309323830239 713 2601055905113666 714 2622955062946933 715 2645007652526526 716 2667214532638956 717 2689576565670792 718 2712094617618708 719 2734769558099544 720 2757602260360381 721 2780593601288630 722 2803744461422135 723 2827055724959290 724 2850528279769170 725 2874163017401676 726 2897960833097694 727 2921922625799268 728 2946049298159787 729 2970341756554186 730 2994800911089161 731 3019427675613398 732 3044222967727816 733 3069187708795824 734 3094322823953592 735 3119629242120336 736 3145107896008617 737 3170759722134654 738 3196585660828651 739 3222586656245138 740 3248763656373326 741 3275117613047476 742 3301649481957282 743 3328360222658268 744 3355250798582199 745 3382322177047506 746 3409575329269725 747 3437011230371950 748 3464630859395300 749 3492435199309400 750 3520425237022876 751 3548601963393864 752 3576966373240533 753 3605519465351622 754 3634262242496991 755 3663195711438186 756 3692320882939018 757 3721638771776156 758 3751150396749734 759 3780856780693972 760 3810758950487811 761 3840857937065562 762 3871154775427569 763 3901650504650886 764 3932346167899968 765 3963242812437376 766 3994341489634496 767 4025643254982272 768 4057149168101953 769 4088860292755854 770 4120777696858131 771 4152902452485570 772 4185235635888390 773 4217778327501060 774 4250531611953130 775 4283496578080076 776 4316674318934159 777 4350065931795298 778 4383672518181957 779 4417495183862046 780 4451535038863836 781 4485793197486888 782 4520270778312996 783 4554968904217144 784 4589888702378477 785 4625031304291286 786 4660397845776007 787 4695989466990234 788 4731807312439746 789 4767852530989548 790 4804126275874926 791 4840629704712516 792 4877363979511387 793 4914330266684138 794 4951529737058009 795 4988963565886006 796 5026632932858040 797 5064539022112080 798 5102683022245320 799 5141066126325360 800 5179689531901401 801 5218554441015454 802 5257662060213563 803 5297013600557042 804 5336610277633726 805 5376453311569236 806 5416543927038258 807 5456883353275836 808 5497472824088679 809 5538313577866482 810 5579406857593261 811 5620753910858702 812 5662355989869524 813 5704214351460856 814 5746330257107628 815 5788704972935976 816 5831339769734661 817 5874235922966502 818 5917394712779823 819 5960817424019914 820 6004505346240506 821 6048459773715260 822 6092682005449270 823 6137173345190580 824 6181935101441715 825 6226968587471226 826 6272275121325249 827 6317856025839078 828 6363712628648752 829 6409846262202656 830 6456258263773136 831 6502949975468128 832 6549922744242801 833 6597177921911214 834 6644716865157987 835 6692540935549986 836 6740651499548022 837 6789049928518564 838 6837737598745466 839 6886715891441708 840 6935986192761151 841 6985549893810306 842 7035408390660117 843 7085563084357758 844 7136015380938444 845 7186766691437256 846 7237818431900980 847 7289172023399960 848 7340828892039965 849 7392790468974070 850 7445058190414551 851 7497633497644794 852 7550517837031218 853 7603712660035212 854 7657219423225086 855 7711039588288036 856 7765174622042123 857 7819625996448266 858 7874395188622249 859 7929483680846742 860 7984892960583336 861 8040624520484592 862 8096679858406104 863 8153060477418576 864 8209767885819913 865 8266803597147326 866 8324169130189451 867 8381866008998482 868 8439895762902318 869 8498259926516724 870 8556960039757506 871 8615997647852700 872 8675374301354775 873 8735091556152850 874 8795150973484925 875 8855554119950126 876 8916302567520964 877 8977397893555608 878 9038841680810172 879 9100635517451016 880 9162780997067061 881 9225279718682118 882 9288133286767231 883 9351343311253034 884 9414911407542122 885 9478839196521436 886 9543128304574662 887 9607780363594644 888 9672797010995811 889 9738179889726618 890 9803930648282001 891 9870050940715846 892 9936542426653472 893 10003406771304128 894 10070645645473504 895 10138260725576256 896 10206253693648545 897 10274626237360590 898 10343380050029235 899 10412516830630530 900 10482038283812326 901 10551946119906884 902 10622242054943498 903 10692927810661132 904 10764005114521071 905 10835475699719586 906 10907341305200613 907 10979603675668446 908 11052264561600444 909 11125325719259752 910 11198788910708036 911 11272655903818232 912 11346928472287309 913 11421608395649046 914 11496697459286823 915 11572197454446426 916 11648110178248866 917 11724437433703212 918 11801181029719438 919 11878342781121284 920 11955924508659131 921 12033928039022890 922 12112355204854905 923 12191207844762870 924 12270487803332760 925 12350196931141776 926 12430337084771304 927 12510910126819888 928 12591917925916217 929 12673362356732126 930 12755245299995611 931 12837568642503858 932 12920334277136286 933 13003544102867604 934 13087200024780882 935 13171303954080636 936 13255857808105927 937 13340863510343474 938 13426322990440781 939 13512238184219278 940 13598611033687476 941 13685443487054136 942 13772737498741452 943 13860495029398248 944 13948718045913189 945 14037408521428006 946 14126568435350735 947 14216199773368970 948 14306304527463130 949 14396884695919740 950 14487942283344726 951 14579479300676724 952 14671497765200403 953 14763999700559802 954 14856987136771681 955 14950462110238886 956 15044426663763728 957 15138882846561376 958 15233832714273264 959 15329278328980512 960 15425221759217361 961 15521665079984622 962 15618610372763139 963 15716059725527266 964 15814015232758358 965 15912478995458276 966 16011453121162906 967 16110939723955692 968 16210940924481183 969 16311458849958594 970 16412495634195381 971 16514053417600830 972 16616134347199660 973 16718740576645640 974 16821874266235220 975 16925537582921176 976 17029732700326269 977 17134461798756918 978 17239727065216887 979 17345530693420986 980 17451874883808786 981 17558761843558348 982 17666193786599966 983 17774172933629924 984 17882701512124267 985 17991781756352586 986 18101415907391817 987 18211606213140054 988 18322354928330376 989 18433664314544688 990 18545536640227576 991 18657974180700176 992 18770979218174057 993 18884554041765118 994 18998700947507499 995 19113422238367506 996 19228720224257550 997 19344597222050100 998 19461055555591650 999 19578097555716700 1000 19695725560261751