# Computed using the Mathematica program that I contributed to this sequence 0 0 1 0 2 5 3 122 4 1022 5 5122 6 18847 7 56332 8 144924 9 332844 10 699369 11 1367894 12 2522234 13 4426526 14 7449091 15 12090616 16 19017016 17 29097336 18 43447053 19 63477138 20 90949238 21 128037338 22 177396263 23 242237380 24 326411860 25 434501860 26 571919985 27 745017390 28 961200882 29 1229059382 30 1558500107 31 1960894832 32 2449236592 33 3038307184 34 3744855829 35 4587789354 36 5588374254 37 6770450994 38 8160660911 39 9788686076 40 11687502476 41 13893646876 42 16447497721 43 19393570438 44 22780827498 45 26663003598 46 31098946323 47 36152972648 48 41895241640 49 48402143720 50 55756706845 51 64049019970 52 73376674150 53 83845221642 54 95568653367 55 108669895092 56 123281322692 57 139545296852 58 157614717569 59 177653598814 60 199837663714 61 224354960614 62 251406500379 63 281206915296 64 313985139936 65 349985114336 66 389466509861 67 432705478106 68 479995423198 69 531647797858 70 587992923583 71 649380835308 72 716182150908 73 788788965900 74 867615773705 75 953100411830 76 1045705034330 77 1145917110910 78 1254250453027 79 1371246267352 80 1497474236952 81 1633533630552 82 1780054440237 83 1937698547954 84 2107160921174 85 2289170838074 86 2484493142599 87 2693929529764 88 2918319861556 89 3158543513796 90 3415520754321 91 3690214152846 92 3983630022866 93 4296819895958 94 4630882028843 95 4986962943568 96 5366259001168 97 5770018009168 98 6199540863285 99 6656183223690 100 7141357226190 101 7656533228690 102 8203241593295 103 8783074504412 104 9397687823212 105 10048802978812 106 10738208896537 107 11467763963622 108 12239398032714 109 13055114463534 110 13916992203059 111 14827187904584 112 15787938086024 113 16801561327816 114 17870460510781 115 18997125094306 116 20184133435206 117 21434155147626 118 22749953504343 119 24134387879828 120 25590416235428 121 27121097647028 122 28729594875553 123 30419176980670 124 32193221978050 125 34055219540550 126 36008773743675 127 38057605855680 128 40205557172672 129 42456591899072 130 44814800073797 131 47284400542522 132 49869743976382 133 52575315937474 134 55405739991519 135 58365780868044 136 61460347668444 137 64694497122284 138 68073436892201 139 71602528927766 140 75287292868666 141 79133409497566 142 83146724243011 143 87333250732728 144 91699174397688 145 96250856127288 146 100994835976013 147 105937836921938 148 111086768677430 149 116448731552410 150 122031020370535 151 127841128438660 152 133886751569940 153 140175792160932 154 146716363323057 155 153516793068782 156 160585628552882 157 167931640369142 158 175563826902859 159 183491418739504 160 191723883129904 161 200270928512304 162 209142509091669 163 218348829476586 164 227900349374126 165 237807788343026 166 248082130605551 167 258734629918396 168 269776814502988 169 281220492035548 170 293077754697273 171 305360984284998 172 318082857382698 173 331256350594190 174 344894745837395 175 359011635700520 176 373620928860520 177 388736855564200 178 404373973172317 179 420547171767042 180 437271679823142 181 454563069943242 182 472437264657527 183 490910542288244 184 509999542879364 185 529721274191764 186 550093117764289 187 571132835041054 188 592858573565346 189 615288873240486 190 638442672658011 191 662339315493536 192 686998556970656 193 712440570393248 194 738685953746533 195 765755736367258 196 793671385683358 197 822454814023458 198 852128385496575 199 882714922942380 200 914237714952380 201 946720522962380 202 980187588416585 203 1014663640003702 204 1050173900965402 205 1086744096477502 206 1124400461104227 207 1163169746325912 208 1203079228140504 209 1244156714739224 210 1286430554256749 211 1329929642596274 212 1374683431329814 213 1420721935674106 214 1468075742542471 215 1516776018672996 216 1566854518833396 217 1618343594102916 218 1671276200231633 219 1725685906077518 220 1781606902121618 221 1839074009061718 222 1898122686484843 223 1958789041618960 224 2021109838164240 225 2085122505204240 226 2150865146197365 227 2218376548048970 228 2287696190264462 229 2358864254183762 230 2431921632297487 231 2506909937645212 232 2583871513296172 233 2662849441912764 234 2743887555397209 235 2827030444621734 236 2912323469242634 237 2999812767598574 238 3089545266693491 239 3181568692264456 240 3275931578934856 241 3372683280453256 242 3471873980018301 243 3573554700690018 244 3677777315887878 245 3784594559975978 246 3894060038935703 247 4006228241126228 248 4121154548133220 249 4238895245706100 250 4359507534784225 251 4483049542612350 252 4609580333945730 253 4739159922345222 254 4871849281562747 255 5007710357017472 256 5146806077363072 257 5289200366146432 258 5434958153558149 259 5584145388275194 260 5736829049396094 261 5893077158468994 262 6052958791612959 263 6216544091732876 264 6383904280828316 265 6555111672396716 266 6730239683931241 267 6909362849513686 268 7092556832502778 269 7279898438318238 270 7471465627320963 271 7667337527789688 272 7867594448994488 273 8072317894367480 274 8281590574771085 275 8495496421864210 276 8714120601566710 277 8937549527622490 278 9165870875261607 279 9399173594961732 280 9637547926309332 281 9881085411960932 282 10129878911704817 283 10384022616623534 284 10643612063357554 285 10908744148470454 286 11179517142915979 287 11456030706607344 288 11738385903089136 289 12026685214312176 290 12321032555511701 291 12621533290189226 292 12928294245198446 293 13241423725935538 294 13561031531634223 295 13887228970765948 296 14220128876545548 297 14559845622542748 298 14906495138399865 299 15260194925656070 300 15621064073678570 301 15989223275701070 302 16364794844969875 303 16747902730997992 304 17138672535927592 305 17537231531001192 306 17943708673141917 307 18358234621643202 308 18780941754968294 309 19211964187659914 310 19651437787360439 311 20099500191942964 312 20556290826753604 313 21021950921965396 314 21496623530044161 315 21980453543326686 316 22473587711711586 317 22976174660463206 318 23488364908128923 319 24010310884570208 320 24542166949107808 321 25084089408781408 322 25636236536724133 323 26198768590652250 324 26771847831470430 325 27355638541992930 326 27950307045781055 327 28556021726097260 328 29172953044976252 329 29801273562413452 330 30441157955671177 331 31092783038702902 332 31756327781695962 333 32431973330733054 334 33119903027572899 335 33820302429550424 336 34533359329596824 337 35259263776379864 338 35998208094564781 339 36750386905196146 340 37515997146201046 341 38295238093013946 342 39088311379323591 343 39895421017942308 344 40716773421798068 345 41552577425049668 346 42403044304325393 347 43268387800085518 348 44148824138109010 349 45044572051104790 350 45955852800447915 351 46882890198041040 352 47825910628301520 353 48785143070274512 354 49760819119872437 355 50753173012241162 356 51762441644253262 357 52788864597128722 358 53832684159183439 359 54894145348705884 360 55973495936962284 361 57070986471330684 362 58186870298564249 363 59321403588184166 364 60474845356002506 365 61647457487775406 366 62839504762986931 367 64051254878763976 368 65282978473922568 369 66534949153145928 370 67807443511294653 371 69100741157849378 372 70415124741486278 373 71750879974785770 374 73108295659074775 375 74487663709402900 376 75889279179652900 377 77313440287785780 378 78760448441220897 379 80230608262351422 380 81724227614195522 381 83241617626183622 382 84783092720082107 383 86348970636053824 384 87939572458855744 385 89555222644174144 386 91196249045097669 387 92862982938728634 388 94555759052932926 389 96274915593228866 390 98020794269815391 391 99793740324739916 392 101594102559206236 393 103422233361022828 394 105278488732191913 395 107163228316639638 396 109076815428087738 397 111019617078067038 398 112992004004073155 399 114994350697864760 400 117027035433904760 401 119090440297944760 402 121184951215753165 403 123310957981987282 404 125468854289209782 405 127659037757049882 406 129881909961509607 407 132137876464415492 408 134427346843016084 409 136750734719725604 410 139108457792014129 411 141500937862444654 412 143928600868857394 413 146391876914701686 414 148891200299515851 415 151427009549555376 416 153999747448569776 417 156609861068728496 418 159257801801696213 419 161944025389857898 420 164668991957693998 421 167433166043306098 422 170237016630093423 423 173081017178580540 424 175965645658396620 425 178891384580406620 426 181858721028994745 427 184868146694500550 428 187920157905808042 429 191015255663088142 430 194153945670694867 431 197336738370215592 432 200564148973675752 433 203836697496898344 434 207154908793018589 435 210519312586154114 436 213930443505231014 437 217388841117966154 438 220895049965006071 439 224449619594222836 440 228053104595167236 441 231706064633679636 442 235409064486658881 443 239162674076989598 444 242967468508628258 445 246824028101848358 446 250732938428645083 447 254694790348299808 448 258710180043104800 449 262779709054248480 450 266903984317861605 451 271083618201224730 452 275319228539137310 453 279611438670448802 454 283960877474752127 455 288368179409239852 456 292833984545723452 457 297358938607816012 458 301943693008278729 459 306588904886531574 460 311295237146328474 461 316063358493597374 462 320893943474445539 463 325787672513330456 464 330745231951396696 465 335767314084979096 466 340854617204272621 467 346007845632169266 468 351227709763262358 469 356514926103018618 470 361870217307118343 471 367294312220964068 472 372787945919358068 473 378351859746349060 474 383986801355248465 475 389693524748816590 476 395472790319619090 477 401325364890554070 478 407252021755550187 479 413253540720436112 480 419330708143981712 481 425484316979111312 482 431715166814289397 483 438024063915079114 484 444411821265873934 485 450879258611802834 486 457427202500809359 487 464056486325904924 488 470767950367596716 489 477562441836490556 490 484440814916069081 491 491403930805645606 492 498452657763494026 493 505587871150155118 494 512810453471919603 495 520121294424488328 496 527521290936809928 497 535011347215096328 498 542592374787016445 499 550265292546068450 500 558031026796130950 501 565890511296193450 502 573844687305266455 503 581894503627471572 504 590040916657311972 505 598284890425123572 506 606627396642707297 507 615069414749142782 508 623611931956783874 509 632255943297436294 510 641002451668717819 511 649852467880601344 512 658807010702141184 513 667867106908382976 514 677033791327457541 515 686308106887859066 516 695691104665907966 517 705183843933398786 518 714787392205433503 519 724502825288440588 520 734331227328380188 521 744273690859135788 522 754331316851092713 523 764505214759903830 524 774796502575442810 525 785206306870945310 526 795735762852338435 527 806386014407758840 528 817158214157259832 529 828053523502707832 530 839073112677868557 531 850218160798683282 532 861489855913735542 533 872889395054908634 534 884417984288234279 535 896076838764932804 536 907867182772645204 537 919790249786857444 538 931847282522517361 539 944039532985844526 540 956368262526333426 541 968834741888950326 542 981440251266524171 543 994186080352331888 544 1007073528392878448 545 1020103904240872048 546 1033278526408394773 547 1046598723120269098 548 1060065832367620590 549 1073681201961637170 550 1087446189587525295 551 1101362162858663420 552 1115430499370953100 553 1129652586757368092 554 1144029822742701817 555 1158563615198513542 556 1173255382198273642 557 1188106552072708302 558 1203118563465344019 559 1218292865388252264 560 1233630917277994664 561 1249134189051769064 562 1264804161163756829 563 1280642324661671746 564 1296650181243510886 565 1312829243314507786 566 1329181034044288311 567 1345707087424229556 568 1362408948325022148 569 1379288172554436308 570 1396346326915292033 571 1413584989263633758 572 1431005748567109858 573 1448610204963557350 574 1466399969819792155 575 1484376665790605280 576 1502541926877965280 577 1520897398490427360 578 1539444737502749477 579 1558185612315715802 580 1577121702916167902 581 1596254700937244002 582 1615586309718826687 583 1635118244368199404 584 1654852231820912124 585 1674790010901856524 586 1694933332386551049 587 1715283959062636214 588 1735843665791580506 589 1756614239570597246 590 1777597479594772771 591 1798795197319406296 592 1820209216522561816 593 1841841373367832408 594 1863693516467317293 595 1885767506944812018 596 1908065218499212118 597 1930588537468130618 598 1953339362891729735 599 1976319606576767140 600 1999531193160857140 601 2022976060176947140 602 2046656158118009745 603 2070573450501950862 604 2094729913936734162 605 2119127538185722262 606 2143768326233234987 607 2168654294350325072 608 2193787472160771664 609 2219169902707291984 610 2244803642517971509 611 2270690761672913034 612 2296833343871104974 613 2323233486497509266 614 2349893300690369231 615 2376814911408737756 616 2404000457500226156 617 2431452091768974076 618 2459171981043840793 619 2487162306246818278 620 2515425262461666378 621 2543963059002770478 622 2572777919484222003 623 2601872081889122120 624 2631247798639109000 625 2660907336664109000 626 2690852977472312125 627 2721087017220372130 628 2751611766783831622 629 2782429551827772522 630 2813542712877692247 631 2844953605390605972 632 2876664599826375332 633 2908678081719263924 634 2940996451749719969 635 2973622125816386494 636 3006557535108339394 637 3039805126177553734 638 3073367361011598651 639 3107246717106561216 640 3141445687540199616 641 3175966781045326016 642 3210812522083419461 643 3245985450918469178 644 3281488123691048638 645 3317323112492620738 646 3353493005440074463 647 3390000406750493388 648 3426847936816156380 649 3464038232279770860 650 3501573946109938985 651 3539457747676857110 652 3577692322828248890 653 3616280373965532382 654 3655224620120221507 655 3694527797030562232 656 3734192657218403832 657 3774221970066305592 658 3814618521894879309 659 3855385116040367954 660 3896524572932460854 661 3938039730172345754 662 3979933442610998119 663 4022208582427708036 664 4064868039208845076 665 4107914720026861476 666 4151351549519534001 667 4195181469969444846 668 4239407441383701938 669 4284032441573898998 670 4329059466236315723 671 4374491529032358448 672 4420331661669241648 673 4466582913980910640 674 4513248354009205845 675 4560331068085268970 676 4607834160911191470 677 4655760755641905650 678 4704113993967318767 679 4752897036194690492 680 4802113061331254092 681 4851765267167081692 682 4901856870358193977 683 4952391106509914694 684 5003371230260470314 685 5054800515364835214 686 5106682254778822739 687 5159019760743422504 688 5211816364869384296 689 5265075418222048936 690 5318800291406426461 691 5372994374652521986 692 5427661077900909606 693 5482803830888554698 694 5538426083234884983 695 5594531304528110708 696 5651122984411794308 697 5708204632671669908 698 5765779779322713025 699 5823851974696460830 700 5882424789528583330 701 5941501815046705830 702 6001086663058483035 703 6061182966039925152 704 6121794377223976352 705 6182924570689345952 706 6244577241449592677 707 6306756105542462362 708 6369464900119479454 709 6432707383535792674 710 6496487335440275199 711 6560808556865879724 712 6625674870320248764 713 6691090119876580556 714 6757058171264750921 715 6823582911962691446 716 6890668251288024346 717 6958318120489954366 718 7026536472841418083 719 7095327283731490968 720 7164694550758052568 721 7234642293820710168 722 7305174555213981293 723 7376295399720735410 724 7448008914705895190 725 7520319210210397690 726 7593230419045415815 727 7666746696886840420 728 7740872222370023412 729 7815611197184782212 730 7890967846170665937 731 7966946417412483662 732 8043551182336095122 733 8120786435804464214 734 8198656496213975659 735 8277165705591015184 736 8356318429688813584 737 8436119058084555024 738 8516572004276749941 739 8597681705782872906 740 8679452624237265806 741 8761889245489306706 742 8844996079701844751 743 8928777661449901468 744 9013238549819638828 745 9098383328507594428 746 9184216605920184153 747 9270743015273472678 748 9357967214693212170 749 9445893887315149550 750 9534527741385602675 751 9623873510362305800 752 9713935953015524680 753 9804719853529441672 754 9896230021603811197 755 9988471292555885922 756 10081448527422614022 757 10175166613063107882 758 10269630462261384599 759 10364845013829378644 760 10460815232710227044 761 10557546110081827444 762 10655042663460669409 763 10753309936805939326 764 10852353000623899266 765 10952176952072540166 766 11052786915066509691 767 11154188040382315136 768 11256385505763801728 769 11359384516027906688 770 11463190303170689413 771 11567808126473638138 772 11673243272610253438 773 11779501055752908930 774 11886586817679989535 775 11994505927883307660 776 12103263783675797660 777 12212865810299488940 778 12323317461033758057 779 12434624217303860182 780 12546791588789740282 781 12659825113535124382 782 12773730358056891267 783 12888512917454724984 784 13004178415521048504 785 13120732504851238904 786 13238180866954124429 787 13356529212362763794 788 13475783280745508086 789 13595948841017345626 790 13717031691451530151 791 13839037659791492676 792 13961972603363037396 793 14085842409186821988 794 14210652994091122673 795 14336410304824884398 796 14463120318171056498 797 14590789041060214198 798 14719422510684466315 799 14849026794611649520 800 14979607990899809520 801 15111172228211969520 802 15243725665931186325 803 15377274494275894442 804 15511824934415538542 805 15647383238586494642 806 15783955690208280367 807 15921548604000054652 808 16060168326097407244 809 16199821234169438364 810 16340513737536128889 811 16482252277286001414 812 16625043326394072554 813 16768893389840096846 814 16913809004727102611 815 17059796740400220136 816 17206863198565802536 817 17355015013410839656 818 17504258851722665373 819 17654601413008958658 820 17806049429618038758 821 17958609666859454858 822 18112288923124870583 823 18267094030009243700 824 18423031852432301380 825 18580109288760311380 826 18738333270928149505 827 18897710764561663710 828 19058248769100335202 829 19219954317920236902 830 19382834478457289627 831 19546896352330816352 832 19712147075467394912 833 19878593818225009504 834 20046243785517501349 835 20215104216939318874 836 20385182386890567774 837 20556485604702361314 838 20729021214762471231 839 20902796596641279596 840 21077819165218031996 841 21254096370807392396 842 21431635699286300041 843 21610444672221128758 844 21790530846995149018 845 21971901816936293118 846 22154565211445223843 847 22338528696123706968 848 22523799972903287960 849 22710386780174273240 850 22898296892915016365 851 23087538122821509490 852 23278118318437280470 853 23470045365283595962 854 23663327185989970887 855 23857971740424984612 856 24053987025827404212 857 24251381076937615172 858 24450161966129359889 859 24650337803541784334 860 24851916737211793234 861 25054906953206714134 862 25259316675757270699 863 25465154167390865616 864 25672427729065173456 865 25881145700302043856 866 26091316459321715381 867 26302948423177340426 868 26516050047889821518 869 26730629828582959378 870 26946696299618913103 871 27164258034733972828 872 27383323647174645228 873 27603901789834052220 874 27826001155388643225 875 28049630476435221350 876 28274798525628283850 877 28501514115817677230 878 28729786100186567347 879 28959623372389724872 880 29191034866692126472 881 29424029558107872072 882 29658616462539418557 883 29894804636917130274 884 30132603179339146694 885 30372021229211567594 886 30613067967388956119 887 30855752616315160084 888 31100084440164451876 889 31346072744982987316 890 31593726878830583841 891 31843056231922818366 892 32094070236773445186 893 32346778368337134278 894 32601190144152530363 895 32857315124485633088 896 33115162912473498688 897 33374743154268263488 898 33636065539181489605 899 33899139799828833210 900 34163975712275035710 901 34430583096179238210 902 34698971814940619615 903 34969151775844358732 904 35241132930207920732 905 35514925273527668332 906 35790538845625798057 907 36067983730797601942 908 36347270057959055034 909 36628408000794729054 910 36911407777906032579 911 37196279652959778104 912 37483033934837076344 913 37771680977782558136 914 38062231181553924301 915 38354694991571823826 916 38649082899070060726 917 38945405441246129946 918 39243673201412082663 919 39543896809145721348 920 39846086940442124948 921 40150254317865504548 922 40456409710701389873 923 40764563935109146990 924 41074727854274827570 925 41386912378564350070 926 41701128465677013195 927 42017387120799342000 928 42335699396759266992 929 42656076394180636592 930 42978529261638063317 931 43303069195812104042 932 43629707441644774702 933 43958455292495399794 934 44289324090296797039 935 44622325225711797564 936 44957470138290101964 937 45294770316625472604 938 45634237298513262521 939 45975882671108281286 940 46319718071082998186 941 46665755184786083086 942 47014005748401285331 943 47364481548106651048 944 47717194420234079208 945 48072156251429216808 946 48429378978811693533 947 48788874590135696258 948 49150655123950883750 949 49514732669763641930 950 49881119368198680055 951 50249827411160968180 952 50620869041998016260 953 50994256555662495252 954 51370002298875200577 955 51748118670288358302 956 52128618120649274402 957 52511513152964327462 958 52896816322663305179 959 53284540237764085024 960 53674697559037659424 961 54067301000173505824 962 54462363327945301989 963 54859897362376986906 964 55259915976909167646 965 55662432098565872546 966 56067458708121651071 967 56475008840269020716 968 56885095583786261308 969 57297732081705557068 970 57712931531481486793 971 58130707185159862518 972 58551072349546917018 973 58974040386378840510 974 59399624712491666915 975 59827838799991510040 976 60258696176425150040 977 60692210424950970520 978 61128395184510246637 979 61567264149998784562 980 62008831072438912662 981 62453109759151824762 982 62900114073930275847 983 63349857937211630564 984 63802355326251264884 985 64257620275296321284 986 64715666875759817809 987 65176509276395111374 988 65640161683470715666 989 66106638360945474006 990 66575953630644087531 991 67048121872432999056 992 67523157524396632976 993 68001075083013991568 994 68481889103335608053 995 68965614199160856778 996 69452265043215620878 997 69941856367330317778 998 70434402962618282895 999 70929919679654511900 1000 71428421428654761900