# Computed using the Mathematica program that I contributed to this sequence 0 0 1 1120 2 8247 3 34892 4 110880 5 293505 6 682787 7 1441440 8 2820208 9 5189184 10 9075733 11 15209677 12 24576340 13 38478109 14 58605120 15 87115718 16 126727310 17 180818236 18 253541302 19 349949600 20 476135234 21 639381600 22 848329835 23 1113160075 24 1445788145 25 1860078315 26 2372072753 27 3000238300 28 3765731200 29 4692680418 30 5808490173 31 7144162309 32 8734639152 33 10619167463 34 12841684128 35 15451224218 36 18502352038 37 22055615804 38 26178026573 39 30943562061 40 36433695972 41 42737953477 42 49954493464 43 58190718193 44 67563910989 45 78201902597 46 90243766836 47 103840546170 48 119156007844 49 136367431200 50 155666426803 51 177259788026 52 201370375692 53 228238036438 54 258120555401 55 291294643876 56 328056962569 57 368725181069 58 413639074185 59 463161655756 60 517680350588 61 577608205127 62 643385137509 63 715479227621 64 794388047786 65 880640034727 66 974795903409 67 1077450103424 68 1189232318517 69 1310809009903 70 1442885004000 71 1586205125202 72 1741555874336 73 1909767153411 74 2091714037316 75 2288318593070 76 2500551747278 77 2729435202406 78 2976043402512 79 3241505549061 80 3527007667458 81 3833794724924 82 4163172800345 83 4516511306732 84 4895245266912 85 5300877643077 86 5734981720848 87 6199203548438 88 6695264431593 89 7224963484903 90 7790180240136 91 8392877312213 92 9035103123458 93 9718994686756 94 10446780448246 95 11220783190172 96 12043422994540 97 12917220268191 98 13844798829931 99 14828889060351 100 15872331114956 101 16978078201242 102 18149199920346 103 19388885673904 104 20700448136740 105 22087326796025 106 23553091557527 107 25101446419586 108 26736233215447 109 28461435424576 110 30281182053589 111 32199751587433 112 34221576011432 113 36351244904848 114 38593509606566 115 40953287453559 116 43435666092731 117 46045907866797 118 48789454274814 119 51671930508000 120 54699150061457 121 57877119422457 122 61212042835888 123 64710327147509 124 68378586725647 125 72223648461945 126 76252556851822 127 80472579155244 128 84891210638454 129 89516179897295 130 94355454262732 131 99417245289237 132 104710014326635 133 110242478176061 134 116023614830653 135 122062669301605 136 128369159530224 137 134952882386599 138 141823919755539 139 148992644710383 140 156469727775336 141 164266143276945 142 172393175785345 143 180862426645924 144 189685820602006 145 198875612509212 146 208444394142108 147 218405101093786 148 228771019768990 149 239555794471436 150 250773434585941 151 262438321856001 152 274565217757441 153 287169270968771 154 300266024938880 155 313871425552686 156 328001828895396 157 342674009115974 158 357905166390479 159 373712934985875 160 390115391424968 161 407131062753079 162 424778934907094 163 443078461187524 164 462049570834194 165 481712677706200 166 502088689066759 167 523199014473587 168 545065574775428 169 567710811215373 170 591157694641590 171 615429734826099 172 640550989892225 173 666546075851354 174 693440176249622 175 721259051925176 176 750029050876620 177 779777118243296 178 810530806398009 179 842318285152852 180 875168352078729 181 909110442939235 182 944174642239507 183 980391693890683 184 1017793011990585 185 1056410691721285 186 1096277520364151 187 1137426988433022 188 1179893300926145 189 1223711388697483 190 1268916919948055 191 1315546311837907 192 1363636742219362 193 1413226161492183 194 1464353304581255 195 1517057703037450 196 1571379697262273 197 1627360448856939 198 1685041953096506 199 1744467051529688 200 1805679444704992 201 1868723705023787 202 1933645289720962 203 2000490553973776 204 2069306764139554 205 2140142111122843 206 2213045723872659 207 2288067683010468 208 2365259034589514 209 2444671803986140 210 2526359009923711 211 2610374678629799 212 2696773858127228 213 2785612632659634 214 2876948137252154 215 2970838572407884 216 3067343218940729 217 3166522452945280 218 3268437760904343 219 3373151754934759 220 3480728188172134 221 3591231970295112 222 3704729183189832 223 3821287096755178 224 3940974184849476 225 4063860141379247 226 4190015896530657 227 4319513633144297 228 4452426803233912 229 4588830144649718 230 4728799697886932 231 4872412823040150 232 5019748216904196 233 5170885930222082 234 5325907385080693 235 5484895392454852 236 5647934169900363 237 5815109359396692 238 5986508045339895 239 6162218772686439 240 6342331565248528 241 6526937944141584 242 6716130946384493 243 6910005143653265 244 7108656661188727 245 7312183196858873 246 7520684040376521 247 7734260092672886 248 7953013885427713 249 8177049600756594 250 8406473091056094 251 8641391899007336 252 8881915277738643 253 9128154211147901 254 9380221434385248 255 9638231454496730 256 9902300571229550 257 10172546897999551 258 10449090383021538 259 10732052830603104 260 11021557922602551 261 11317731240051577 262 11620700284943319 263 11930594502186412 264 12247545301725680 265 12571686080830096 266 12903152246548625 267 13242081238334609 268 13588612550839292 269 13942887756875141 270 14305050530549572 271 14675246670569731 272 15053624123718943 273 15440333008505468 274 15835525638984194 275 16239356548751892 276 16651982515116666 277 17073562583442232 278 17504258091667647 279 17944232695003127 280 18393652390802577 281 18852685543613468 282 19321502910404686 283 19800277665972992 284 20289185428528712 285 20788404285461290 286 21298114819285345 287 21818500133767841 288 22349745880237025 289 22892040284073735 290 23445574171385740 291 24010540995865710 292 24587136865833470 293 25175560571463156 294 25776013612195905 295 26388700224338713 296 27013827408850084 297 27651604959313110 298 28302245490096597 299 28965964464704885 300 29642980224316981 301 30333514016515630 302 31037790024206968 303 31756035394731382 304 32488480269166197 305 33235357811820832 306 33996904239925056 307 34773358853510958 308 35564964065489285 309 36371965431920751 310 37194611682482974 311 38033154751133649 312 38887849806970601 313 39758955285289342 314 40646732918838757 315 41551447769275569 316 42473368258818181 317 43412766202100559 318 44369916838226762 319 45345098863026753 320 46338594461514139 321 47350689340546439 322 48381672761688541 323 49431837574279957 324 50501480248706509 325 51590900909877095 326 52700403370906132 327 53830295167002335 328 54980887589564448 329 56152495720484564 330 57345438466659648 331 58560038594711922 332 59796622765918710 333 61055521571352399 334 62337069567231125 335 63641605310480834 336 64969471394509331 337 66321014485192956 338 67696585357076517 339 69096538929787105 340 70521234304662424 341 71971034801594270 342 73446307996087780 343 74947425756537090 344 76474764281718025 345 78028704138498456 346 79609630299766949 347 81217932182580345 348 82854003686530890 349 84518243232333548 350 86211053800634138 351 87932842971038905 352 89684022961366173 353 91465010667120703 354 93276227701191383 355 95118100433772883 356 96991060032511908 357 98895542502878674 358 100831988728764239 359 102800844513304316 360 104802560619930212 361 106837592813647498 362 108906401902543060 363 111009453779521159 364 113147219464269120 365 115320175145453288 366 117528802223145881 367 119773587351483365 368 122055022481556985 369 124373604904536080 370 126729837295024819 371 129124227754652971 372 131557289855901363 373 134029542686162629 374 136541510892037907 375 139093724723870092 376 141686720080514289 377 144321038554346090 378 146997227476508300 379 149715839962396762 380 152477434957385879 381 155282577282794497 382 158131837682092755 383 161025792867350536 384 163965025565928167 385 166950124567409967 386 169981684770781305 387 173060307231849770 388 176186599210911108 389 179361174220660534 390 182584652074350065 391 185857658934192498 392 189180827360012656 393 192554796358146552 394 195980211430589071 395 199457724624390835 396 202987994581304849 397 206571686587683577 398 210209472624627078 399 213902031418382817 400 217650048490997799 401 221454216211223644 402 225315233845675240 403 229233807610243598 404 233210650721763542 405 237246483449936868 406 241342033169511593 407 245498034412717934 408 249715228921961634 409 253994365702775284 410 258336201077028252 411 262741498736395858 412 267211029796088428 413 271745572848840847 414 276345914019163251 415 281012847017853488 416 285747173196771961 417 290549701603879511 418 295421249038538946 419 300362640107080856 420 305374707278634347 421 310458290941223313 422 315614239458128892 423 320843409224518719 424 326146664724343621 425 331524878587502366 426 336978931647275123 427 342509712998026232 428 348118120053176938 429 353805058603448706 430 359571442875377755 431 365418195590101428 432 371346248022417053 433 377356540060113888 434 383450020263578822 435 389627645925676425 436 395890383131904001 437 402239206820822267 438 408675100844762280 439 415199058030809255 440 421812080242063898 441 428515178439181878 442 435309372742192084 443 442195692492594275 444 449175176315736777 445 456248872183474836 446 463417837477110268 447 470683139050613039 448 478045853294125395 449 485507066197749175 450 493067873415616948 451 500729380330247583 452 508492702117186906 453 516358963809934052 454 524329300365154158 455 532404856728178021 456 540586787898789345 457 548876258997300220 458 557274445330915454 459 565782532460386388 460 574401716266954827 461 583133203019587715 462 591978209442503191 463 600937962782988640 464 610013700879511387 465 619206672230122652 466 628518136061155403 467 637949362396216731 468 647501632125475380 469 657176237075245066 470 666974480077864206 471 676897675041872697 472 686947147022486362 473 697124232292369712 474 707430278412707635 475 717866644304576652 476 728434700320616366 477 739135828317001745 478 749971421725716844 479 760942885627130631 480 772051636822875509 481 783299103909029199 482 794686727349600589 483 806215959550320189 484 817888264932735825 485 829705120008614191 486 841668013454648905 487 853778446187475682 488 866037931438995269 489 878447994832004754 490 891010174456137906 491 903726020944115145 492 916597097548303796 493 929624980217589244 494 942811257674557628 495 956157531492990692 496 969665416175673441 497 983336539232515216 498 997172541258984825 499 1011175076014860358 500 1025345810503294319 501 1039686425050194705 502 1054198613383922653 503 1068884082715307298 504 1083744553817978466 505 1098781761109017826 506 1113997452729929147 507 1129393390627928268 508 1144971350637553435 509 1160733122562596614 510 1176680510258356421 511 1192815331714213302 512 1209139419136527583 513 1225654619031861023 514 1242362792290522511 515 1259265814270438516 516 1276365574881348944 517 1293663978669329010 518 1311162944901637771 519 1328864407651893944 520 1346770315885579633 521 1364882633545872608 522 1383203339639807757 523 1401734428324768341 524 1420477908995307685 525 1439435806370301933 526 1458610160580434504 527 1478003027256012863 528 1497616477615118255 529 1517452598552089020 530 1537513492726338127 531 1557801278651505544 532 1578318090784946098 533 1599066079617553424 534 1620047411763920660 535 1641264270052838500 536 1662718853618131250 537 1684413377989831500 538 1706350075185694058 539 1728531193803049765 540 1750958999110999824 541 1773635773142951283 542 1796563814789494277 543 1819745439891621694 544 1843182981334291857 545 1866878789140334887 546 1890835230564703352 547 1915054690189067843 548 1939539570016758103 549 1964292289568050349 550 1989315285975801398 551 2014611014081430246 552 2040181946531247717 553 2066030573873134822 554 2092159404653570449 555 2118570965515009018 556 2145267801293608734 557 2172252475117311062 558 2199527568504272061 559 2227095681461646195 560 2254959432584723269 561 2283121459156419104 562 2311584417247120588 563 2340350981814885731 564 2369423846805999357 565 2398805725255885063 566 2428499349390374066 567 2458507470727331581 568 2488832860178641354 569 2519478308152548974 570 2550446624656364610 571 2581740639399525781 572 2613363201897020813 573 2645317181573173592 574 2677605467865790254 575 2710230970330668445 576 2743196618746469771 577 2776505363219956071 578 2810160174291590154 579 2844164043041501609 580 2878519981195818342 581 2913231021233364448 582 2948300216492725064 583 2983730641279678827 584 3019525390974998561 585 3055687582142620836 586 3092220352638185021 587 3129126861717942455 588 3166410290148036383 589 3204073840314153271 590 3242120736331546137 591 3280554224155430526 592 3319377571691753763 593 3358594068908338108 594 3398207027946398450 595 3438219783232435157 596 3478635691590502736 597 3519458132354854902 598 3560690507482966713 599 3602336241668934383 600 3644398782457253418 601 3686881600356975688 602 3729788188956246081 603 3773122065037219358 604 3816886768691357842 605 3861085863435110581 606 3905722936325974591 607 3950801598078938837 608 3996325483183311565 609 4042298250019931616 610 4088723580978764355 611 4135605182576882856 612 4182946785576834941 613 4230752145105396747 614 4279025040772713411 615 4327769276791827529 616 4376988682098596005 617 4426687110471995930 618 4476868440654820112 619 4527536576474762891 620 4578695446965896872 621 4630349006490541200 622 4682501234861522014 623 4735156137464825698 624 4788317745382645577 625 4841990115516822673 626 4896177330712681151 627 4950883499883259104 628 5006112758133935276 629 5061869266887452381 630 5118157214009337639 631 5174980813933721144 632 5232344307789552722 633 5290251963527217882 634 5348708076045553513 635 5407716967319263934 636 5467282986526737952 637 5527410510178267530 638 5588103942244668727 639 5649367714286305509 640 5711206285582517079 641 5773624143261449360 642 5836625802430291237 643 5900215806305916222 644 5964398726345930140 645 6029179162380125486 646 6094561742742343078 647 6160551124402741630 648 6227151993100475889 649 6294369063476783944 650 6362207079208484364 651 6430670813141883768 652 6499765067427095481 653 6569494673652769890 654 6639864492981237130 655 6710879416284062749 656 6782544364278016951 657 6854864287661458077 658 6927844167251130933 659 7001489014119380611 660 7075803869731782415 661 7150793806085188541 662 7226463925846192126 663 7302819362490009306 664 7379865280439779906 665 7457606875206287396 666 7536049373528098744 667 7615198033512124791 668 7695058144774601781 669 7775635028582494679 670 7856934037995322904 671 7938960558007409100 672 8021720005690551593 673 8105217830337121144 674 8189459513603582639 675 8274450569654442349 676 8360196545306621379 677 8446703020174255945 678 8533975606813925104 679 8622019950870306572 680 8710841731222261253 681 8800446660129347118 682 8890840483378763055 683 8982028980432723324 684 9074017964576263250 685 9166813283065476779 686 9260420817276186527 687 9354846482853046961 688 9450096229859081325 689 9546176042925652961 690 9643091941402871634 691 9740849979510435517 692 9839456246488909434 693 9938916866751440020 694 10039238000035908412 695 10140425841557521108 696 10242486622161839610 697 10345426608478249510 698 10449252103073869616 699 10553969444607901767 700 10659585007986421970 701 10766105204517613468 702 10873536482067442400 703 10981885325215776652 704 11091158255412948547 705 11201361831136762008 706 11312502648049944800 707 11424587339158046515 708 11537622574967782898 709 11651615063645827164 710 11766571551178048931 711 11882498821529201393 712 11999403696803057377 713 12117293037402994892 714 12236173742193032827 715 12356052748659317401 716 12476937033072060019 717 12598833610647927148 718 12721749535712882844 719 12845691901865484573 720 12970667842140632939 721 13096684529173775965 722 13223749175365568536 723 13351869033046987664 724 13481051394644904173 725 13611303592848111459 726 13742633000773811939 727 13875047032134561829 728 14008553141405674874 729 14143158823993085664 730 14278871616401673168 731 14415699096404045104 732 14553648883209783799 733 14692728637635154137 734 14832946062273274257 735 14974308901664749603 736 15116824942468770981 737 15260502013634677232 738 15405347986573983162 739 15551370775332873362 740 15698578336765162537 741 15846978670705722983 742 15996579820144379837 743 16147389871400274735 744 16299416954296698501 745 16452669242336393507 746 16607154952877326318 747 16762882347308931277 748 16919859731228825628 749 17078095454619996837 750 17237597912028462720 751 17398375542741405024 752 17560436830965777073 753 17723790306007386129 754 17888444542450451078 755 18054408160337636090 756 18221689825350560872 757 18390298248990788138 758 18560242188761288946 759 18731530448348386511 760 18904171877804179138 761 19078175373729442899 762 19253549879457014679 763 19430304385235656241 764 19608447928414399908 765 19787989593627376526 766 19968938512979126313 767 20151303866230393235 768 20335094880984403535 769 20520320832873629056 770 20706991045747035963 771 20895114891857819528 772 21084701792051625576 773 21275761215955259242 774 21468302682165881664 775 21662335758440695236 776 21857870061887118065 777 22054915259153448241 778 22253481066620018570 779 22453577250590842394 780 22655213627485751117 781 22858400064033024086 782 23063146477462511437 783 23269462835699250556 784 23477359157557576768 785 23686845512935728893 786 23897932023010950299 787 24110628860435086077 788 24324946249530676971 789 24540894466487550697 790 24758483839559911272 791 24977724749263926992 792 25198627628575817682 793 25421202963130441853 794 25645461291420384391 795 25871413204995545417 796 26099069348663230937 797 26328440420688745915 798 26559537172996490410 799 26792370411371559386 800 27026950995661846850 801 27263289839980654920 802 27501397912909808485 803 27741286237703276055 804 27982965892491297455 805 28226448010485018981 806 28471743780181636650 807 28718864445570048178 808 28967821306337014309 809 29218625718073830135 810 29471289092483507022 811 29725822897588465790 812 29982238657938741766 813 30240547954820702335 814 30500762426466277633 815 30762893768262705007 816 31026953732962787862 817 31292954130895669537 818 31560906830178122841 819 31830823756926355863 820 32102716895468334710 821 32376598288556623776 822 32652480037581744199 823 32930374302786051114 824 33210293303478130346 825 33492249318247715167 826 33776254685181123742 827 34062321802077217914 828 34350463126663883926 829 34640691176815035744 830 34933018530768141587 831 35227457827342274298 832 35524021766156686204 833 35822723107849909064 834 36123574674299379766 835 36426589348841592382 836 36731780076492777214 837 37039159864170107480 838 37348741780913434237 839 37660538958107550200 840 37974564589704983073 841 38290831932449319029 842 38609354306099056953 843 38930145093651994107 844 39253217741570143815 845 39578585760005185824 846 39906262723024449950 847 40236262268837433659 848 40568598100022854196 849 40903283983756235901 850 41240333752038033342 851 41579761301922290890 852 41921580595745839369 853 42265805661358030415 854 42612450592351009165 855 42961529548290525915 856 43313056754947287370 857 43667046504528848121 858 44023513155912042974 859 44382471134875960770 860 44743934934335460315 861 45107919114575229053 862 45474438303484385123 863 45843507196791623410 864 46215140558300906238 865 46589353220127699328 866 46966160082935753648 867 47345576116174433788 868 47727616358316593493 869 48112295917096998979 870 48499629969751300663 871 48889633763255553941 872 49282322614566289637 873 49677711910861134763 874 50075817109779984205 875 50476653739666723984 876 50880237399811506704 877 51286583760693579833 878 51695708564224667426 879 52107627623992905950 880 52522356825507334810 881 52939912126442942225 882 53360309556886267084 883 53783565219581557396 884 54209695290177485988 885 54638716017474424054 886 55070643723672273212 887 55505494804618856677 888 55943285730058870194 889 56384033043883393355 890 56827753364379961925 891 57274463384483201827 892 57724179872026025384 893 58176919669991390482 894 58632699696764623260 895 59091536946386304961 896 59553448488805723592 897 60018451470134890992 898 60486563112903125970 899 60957800716312204115 900 61432181656492074933 901 61909723386757146919 902 62390443437863141210 903 62874359418264514443 904 63361489014372451441 905 63851849990813428377 906 64345460190688347016 907 64842337535832240700 908 65342500027074552674 909 65845965744499987402 910 66352752847709935503 911 66862879576084472922 912 67376364249044934984 913 67893225266317065949 914 68413481108194744705 915 68937150335804287223 916 69464251591369326407 917 69994803598476269973 918 70528825162340336978 919 71066335170072173639 920 71607352590945049059 921 72151896476662631509 922 72699985961627345877 923 73251640263209312923 924 73806878682015870973 925 74365720602161680672 926 74928185491539413436 927 75494292902091024233 928 76064062470079609306 929 76637513916361849496 930 77214667046661039771 931 77795541751840705601 932 78380158008178806812 933 78968535877642529538 934 79560695508163666917 935 80156657133914589144 936 80756441075584803526 937 81360067740658105151 938 81967557623690318828 939 82578931306587632897 940 83194209458885525563 941 83813412838028284371 942 84436562289649119460 943 85063678747850871213 944 85694783235487312958 945 86329896864445049313 946 86969040835926010847 947 87612236440730545650 948 88259505059541108466 949 88910868163206548012 950 89566347313026993105 951 90225964161039338240 952 90889740450303329243 953 91557698015188249623 954 92229858781660208269 955 92906244767570029100 956 93586878082941743322 957 94271780930261684901 958 94960975604768189893 959 95654484494741900264 960 96352330081796672820 961 97054534941171093880 962 97761121742020600333 963 98472113247710207688 964 99187532316107845771 965 99907401899878302677 966 100631745046777777623 967 101360584899949043326 968 102093944698217218530 969 102831847776386151325 970 103574317565535413879 971 104321377593317909213 972 105073051484258090652 973 105829362960050794580 974 106590335839860687136 975 107355994040622325465 976 108126361577340834172 977 108901462563393197597 978 109681321210830168548 979 110465961830678794116 980 111255408833245559205 981 112049686728420148411 982 112848820125979826871 983 113652833735894440722 984 114461752368632037787 985 115275600935465109137 986 116094404448777452140 987 116918188022371655637 988 117746976871777207871 989 118580796314559227810 990 119419671770627820469 991 120263628762548056896 992 121112692915850579414 993 121966889959342832784 994 122826245725420921894 995 123690786150382096614 996 124560537274737864450 997 125435525243527731616 998 126315776306633573170 999 127201316819094632827 1000 128092173241423153094