# Computed using the Mathematica program that I contributed to this sequence 1 0 2 0 3 15 4 675 5 7915 6 41310 7 145383 8 404185 9 959115 10 2029980 11 3939295 12 7139823 13 12245355 14 20064730 15 31639095 16 48282405 17 71625163 18 103661400 19 146798895 20 203912635 21 278401515 22 374248278 23 496082695 24 649247985 25 839870475 26 1074932500 27 1362348543 28 1711044615 29 2131040875 30 2633537490 31 3231003735 32 3937270333 33 4767625035 34 5738911440 35 6869631055 36 8180048595 37 9692300523 38 11430506830 39 13420886055 40 15691873545 41 18274242955 42 21201230988 43 24508665375 44 28235096095 45 32421929835 46 37113567690 47 42357546103 48 48204681045 49 54709215435 50 61928969800 51 69925496175 52 78764235243 53 88514676715 54 99250522950 55 111049855815 56 123995306785 57 138174230283 58 153678880260 59 170606590015 60 189059955255 61 209147020395 62 230981468098 63 254682812055 64 280376593005 65 308194577995 66 338274962880 67 370762578063 68 405809097475 69 443573250795 70 484221038910 71 527925952615 72 574869194553 73 625239904395 74 679235387260 75 737061345375 76 798932112975 77 865070894443 78 935710005690 79 1011091118775 80 1091465509765 81 1177094309835 82 1268248759608 83 1365210466735 84 1468271666715 85 1577735486955 86 1693916214070 87 1817139564423 88 1947742957905 89 2086075794955 90 2232499736820 91 2387388989055 92 2551130588263 93 2724124692075 94 2906784872370 95 3099538411735 96 3302826603165 97 3517105053003 98 3742843987120 99 3980528560335 100 4230659169075 101 4493751767275 102 4770338185518 103 5060966453415 104 5366201125225 105 5686623608715 106 6022832497260 107 6375443905183 108 6745091806335 109 7132428375915 110 7538124335530 111 7962869301495 112 8407372136373 113 8872361303755 114 9358585226280 115 9866812646895 116 10397832993355 117 10952456745963 118 11531515808550 119 12135863882695 120 12766376845185 121 13423953128715 122 14109514105828 123 14824004476095 124 15568392656535 125 16343671175275 126 17150857068450 127 17990992280343 128 18865144066765 129 19774405401675 130 20719895387040 131 21702759665935 132 22724170838883 133 23785328883435 134 24887461576990 135 26031824922855 136 27219703579545 137 28452411293323 138 29731291333980 139 31057716933855 140 32433091730095 141 33858850210155 142 35336458160538 143 36867413118775 144 38453244828645 145 40095515698635 146 41795821263640 147 43555790649903 148 45377087043195 149 47261408160235 150 49210486723350 151 51226090938375 152 53310024975793 153 55464129455115 154 57690281932500 155 59990397391615 156 62366428737735 157 64820367295083 158 67354243307410 159 69970126441815 160 72670126295805 161 75456392907595 162 78331117269648 163 81296531845455 164 84354911089555 165 87508571970795 166 90759874498830 167 94111222253863 168 97565062919625 169 101123888819595 170 104790237456460 171 108566692054815 172 112455882107103 173 116460483922795 174 120583221180810 175 124826865485175 176 129194236923925 177 133688204631243 178 138311687352840 179 143067654014575 180 147959124294315 181 152989169197035 182 158160911633158 183 163477527000135 184 168942243767265 185 174558344063755 186 180329164270020 187 186258095612223 188 192348584760055 189 198604134427755 190 205028303978370 191 211624710031255 192 218397027072813 193 225348988070475 194 232484385089920 195 239807069915535 196 247320954674115 197 255030012461803 198 262938277974270 199 271049848140135 200 279368882757625 201 287899605134475 202 296646302731068 203 305613327806815 204 314805098069775 205 324226097329515 206 333880876153210 207 343774052524983 208 353910312508485 209 364294410912715 210 374931171961080 211 385825489963695 212 396982329992923 213 408406728562155 214 420103794307830 215 432078708674695 216 444336726604305 217 456883177226763 218 469723464555700 219 482863068186495 220 496307543997735 221 510062524855915 222 524133721323378 223 538526922369495 224 553247996085085 225 568302890400075 226 583697633804400 227 599438336072143 228 615531188988915 229 631982467082475 230 648798528356590 231 665985815028135 232 683550854267433 233 701500258941835 234 719840728362540 235 738579049034655 236 757722095410495 237 777276830646123 238 797250307361130 239 817649668401655 240 838482147606645 241 859755070577355 242 881475855450088 243 903652013672175 244 926291150781195 245 949400967187435 246 972989258959590 247 997063918613703 248 1021632935905345 249 1046704398625035 250 1072286493396900 251 1098387506480575 252 1125015824576343 253 1152179935633515 254 1179888429662050 255 1208149999547415 256 1236973441868685 257 1266367657719883 258 1296341653534560 259 1326904541913615 260 1358065542456355 261 1389833982594795 262 1422219298431198 263 1455231035578855 264 1488878850006105 265 1523172508883595 266 1558121891434780 267 1593736989789663 268 1630027909841775 269 1667004872108395 270 1704678212594010 271 1743058383657015 272 1782155954879653 273 1821981613941195 274 1862546167494360 275 1903860542044975 276 1945935784834875 277 1988783064728043 278 2032413673099990 279 2076839024730375 280 2122070658698865 281 2168120239284235 282 2214999556866708 283 2262720528833535 284 2311295200487815 285 2360735745960555 286 2411054469125970 287 2462263804520023 288 2514376318262205 289 2567404708980555 290 2621361808739920 291 2676260583973455 292 2732114136417363 293 2788935704048875 294 2846738662027470 295 2905536523639335 296 2965342941245065 297 3026171707230603 298 3088036754961420 299 3150952159739935 300 3214932139766175 301 3279991057101675 302 3346143418636618 303 3413403877060215 304 3481787231834325 305 3551308430170315 306 3621982568009160 307 3693824891004783 308 3766850795510635 309 3841075829569515 310 3916515693906630 311 3993186242925895 312 4071103485709473 313 4150283587020555 314 4230742868309380 315 4312497808722495 316 4395565046115255 317 4479961378067563 318 4565703762902850 319 4652809320710295 320 4741295334370285 321 4831179250583115 322 4922478680900928 323 5015211402762895 324 5109395360533635 325 5205048666544875 326 5302189602140350 327 5400836618723943 328 5501008338811065 329 5602723557083275 330 5706001241446140 331 5810860534090335 332 5917320752555983 333 6025401390800235 334 6135122120268090 335 6246502790966455 336 6359563432541445 337 6474324255358923 338 6590805651588280 339 6709028196289455 340 6829012648503195 341 6950779952344555 342 7074351238099638 343 7199747823325575 344 7326991213953745 345 7456103105396235 346 7587105383655540 347 7720020126437503 348 7854869604267495 349 7991676281609835 350 8130462817990450 351 8271252069122775 352 8414067088036893 353 8558931126211915 354 8705867634711600 355 8854900265323215 356 9006052871699635 357 9159349510504683 358 9314814442561710 359 9472472134005415 360 9632347257436905 361 9794464693081995 362 9958849529952748 363 10125527067012255 364 10294522814342655 365 10465862494316395 366 10639572042770730 367 10815677610185463 368 10994205562863925 369 11175182484117195 370 11358635175451560 371 11544590657759215 372 11733076172512203 373 11924119182959595 374 12117747375327910 375 12313988660024775 376 12512871172845825 377 12714423276184843 378 12918673560247140 379 13125650844266175 380 13335384177723415 381 13547902841571435 382 13763236349460258 383 13981414448966935 384 14202467122828365 385 14426424590177355 386 14653317307781920 387 14883175971287823 388 15116031516464355 389 15351915120453355 390 15590858203021470 391 15832892427815655 392 16078049703621913 393 16326362185627275 394 16577862276685020 395 16832582628583135 396 17090556143316015 397 17351815974359403 398 17616395527948570 399 17884328464359735 400 18155648699194725 401 18430390404668875 402 18708588010902168 403 18990276207213615 404 19275489943418875 405 19564264431131115 406 19856635145065110 407 20152637824344583 408 20452308473812785 409 20755683365346315 410 21062799039172180 411 21373692305188095 412 21688400244286023 413 22006960209678955 414 22329409828230930 415 22655787001790295 416 22986129908526205 417 23320477004268363 418 23658867023850000 419 24001338982454095 420 24347932176962835 421 24698686187310315 422 25053640877838478 423 25412836398656295 424 25776313187002185 425 26144111968609675 426 26516273759076300 427 26892839865235743 428 27273851886533215 429 27659351716404075 430 28049381543655690 431 28443983853852535 432 28843201430704533 433 29247077357458635 434 29655655018293640 435 30068978099718255 436 30487090591972395 437 30910036790431723 438 31337861297015430 439 31770609021597255 440 32208325183419745 441 32651055312511755 442 33098845251109188 443 33551741155078975 444 34009789495346295 445 34473037059325035 446 34941530952351490 447 35415318599121303 448 35894447745129645 449 36378966458114635 450 36868923129504000 451 37364366475864975 452 37865345540357443 453 38371909694190315 454 38884108638081150 455 39401992403719015 456 39925611355230585 457 40455016190649483 458 40990257943388860 459 41531387983717215 460 42078458020237455 461 42631520101369195 462 43190626616834298 463 43755830299145655 464 44327184225099205 465 44904741817269195 466 45488556845506680 467 46078683428441263 468 46675176034986075 469 47278089485845995 470 47887478955029110 471 48503399971361415 472 49125908420004753 473 49755060543977995 474 50390912945681460 475 51033522588424575 476 51682946797956775 477 52339243264001643 478 53002470041794290 479 53672685553621975 480 54349948590367965 481 55034318313058635 482 55725854254413808 483 56424616320400335 484 57130664791788915 485 57844060325714155 486 58564863957237870 487 59293137100915623 488 60028941552366505 489 60772339489846155 490 61523393475823020 491 62282166458557855 492 63048721773686463 493 63823123145805675 494 64605434690062570 495 65395720913746935 496 66194046717886965 497 67000477398848203 498 67815078649935720 499 68637916562999535 500 69469057630043275 501 70308568744836075 502 71156517204527718 503 72012970711267015 504 72877997373823425 505 73751665709211915 506 74634044644321060 507 75525203517544383 508 76425212080414935 509 77334140499243115 510 78252059356757730 511 79179039653750295 512 80115152810722573 513 81060470669537355 514 82015065495072480 515 82979009976878095 516 83952377230837155 517 84935240800829163 518 85927674660397150 519 86929753214417895 520 87941551300775385 521 88963144192037515 522 89994607597136028 523 91036017663049695 524 92087450976490735 525 93148984565594475 526 94220695901612250 527 95302662900607543 528 96394963925155365 529 97497677786044875 530 98610883743985240 531 99734661511314735 532 100869091253713083 533 102014253591917035 534 103170229603439190 535 104337100824290055 536 105514949250703345 537 106703857340864523 538 107903908016642580 539 109115184665325055 540 110337771141356295 541 111571751768078955 542 112817211339478738 543 114074235121932375 544 115342908855958845 545 116623318757973835 546 117915551522047440 547 119219694321665103 548 120535834811491795 549 121864061129139435 550 123204461896937550 551 124557126223707175 552 125922143706537993 553 127299604432568715 554 128689598980770700 555 130092218423734815 556 131507554329461535 557 132935698763154283 558 134376744289016010 559 135830783972049015 560 137297911379858005 561 138778220584456395 562 140271806164075848 563 141778763204979055 564 143299187303275755 565 144833174566741995 566 146380821616642630 567 147942225589557063 568 149517484139208225 569 151106695438294795 570 152709958180326660 571 154327371581463615 572 155959035382357303 573 157605049849996395 574 159265515779555010 575 160940534496244375 576 162630207857167725 577 164334638253178443 578 166053928610741440 579 167788182393797775 580 169537503605632515 581 171301996790745835 582 173081767036727358 583 174876919976133735 584 176687561788369465 585 178513799201570955 586 180355739494493820 587 182213490498403423 588 184087160598968655 589 185976858738158955 590 187882694416144570 591 189804777693200055 592 191743219191611013 593 193698130097584075 594 195669622163160120 595 197657807708130735 596 199662799621957915 597 201684711365697003 598 203723656973922870 599 205779751056659335 600 207853108801311825 601 209943845974603275 602 212052078924513268 603 214177924582220415 604 216321500464047975 605 218482924673412715 606 220662315902777010 607 222859793435604183 608 225075477148317085 609 227309487512259915 610 229561945595663280 611 231832973065612495 612 234122692190019123 613 236431225839595755 614 238758697489834030 615 241105231222985895 616 243470951730048105 617 245855984312749963 618 248260454885544300 619 250684489977601695 620 253128216734807935 621 255591762921764715 622 258075256923793578 623 260578827748943095 624 263102605029999285 625 265646719026499275 626 268211300626748200 627 270796481349839343 628 273402393347677515 629 276029169407005675 630 278676942951434790 631 281345848043476935 632 284036019386581633 633 286747592327175435 634 289480702856704740 635 292235487613681855 636 295012083885734295 637 297810629611657323 638 300631263383469730 639 303474124448472855 640 306339352711312845 641 309227088736046155 642 312137473748208288 643 315070649636885775 644 318026758956791395 645 321005944930342635 646 324008351449743390 647 327034123079068903 648 330083405056353945 649 333156343295684235 650 336253084389291100 651 339373775609649375 652 342518564911578543 653 345687600934347115 654 348881033003780250 655 352099011134370615 656 355341686031392485 657 358609209093019083 658 361901732412443160 659 365219408780000815 660 368562391685298555 661 371930835319343595 662 375324894576677398 663 378744725057512455 664 382190483069872305 665 385662325631734795 666 389160410473178580 667 392684896038532863 668 396235941488530375 669 399813706702463595 670 403418352280344210 671 407050039545065815 672 410708930544569853 673 414395188054014795 674 418108975577948560 675 421850457352484175 676 425619798347478675 677 429417164268715243 678 433242721560088590 679 437096637405793575 680 440979079732517065 681 444890217211633035 682 448830219261400908 683 452799256049167135 684 456797498493570015 685 460825118266747755 686 464882287796549770 687 468969180268751223 688 473085969629270805 689 477232830586391755 690 481409938612986120 691 485617469948742255 692 489855601602395563 693 494124511353962475 694 498424377756977670 695 502755380140734535 696 507117698612528865 697 511511514059905803 698 515937008152910020 699 520394363346339135 700 524883762882000375 701 529405390790970475 702 533959431895858818 703 538546071813073815 704 543165496955092525 705 547817894532733515 706 552503452557432960 707 557222359843523983 708 561974806010519235 709 566760981485396715 710 571581077504888830 711 576435286117774695 712 581323800187175673 713 586246813392854155 714 591204520233515580 715 596197116029113695 716 601224796923159055 717 606287759885030763 718 611386202712291450 719 616520324033005495 720 621690323308060485 721 626896400833491915 722 632138757742811128 723 637417596009336495 724 642733118448527835 725 648085528720324075 726 653475031331484150 727 658901831637931143 728 664366135847099665 729 669868151020286475 730 675408085075004340 731 680986146787339135 732 686602545794310183 733 692257492596233835 734 697951198559090290 735 703683875916893655 736 709455737774065245 737 715266998107810123 738 721117871770496880 739 727008574492040655 740 732939322882289395 741 738910334433413355 742 744921827522297838 743 750974021412939175 744 757067136258843945 745 763201393105431435 746 769377013892439340 747 775594221456332703 748 781853239532716095 749 788154292758749035 750 794497606675564650 751 800883407730691575 752 807311923280479093 753 813783381592525515 754 820298011848109800 755 826856044144626415 756 833457709498023435 757 840103239845243883 758 846792868046670310 759 853526827888572615 760 860305354085559105 761 867128682283030795 762 873997049059638948 763 880910691929745855 764 887869849345888855 765 894874760701247595 766 901925666332114530 767 909022807520368663 768 916166426495952525 769 923356766439352395 770 930594071484081760 771 937878586719168015 772 945210558191642403 773 952590232909033195 774 960017858841862110 775 967493684926143975 776 975017961065889625 777 982590938135612043 778 990212867982835740 779 997884003430609375 780 1005604598280021615 781 1013374907312720235 782 1021195186293434458 783 1029065691972500535 784 1036986682088390565 785 1044958415370244555 786 1052981151540405720 787 1061055151316959023 788 1069180676416272955 789 1077357989555544555 790 1085587354455347670 791 1093869035842184455 792 1102203299451040113 793 1110590412027940875 794 1119030641332515220 795 1127524256140558335 796 1136071526246599815 797 1144672722466474603 798 1153328116639897170 799 1162037981633038935 800 1170802591341108925 801 1179622220690937675 802 1188497145643564368 803 1197427643196827215 804 1206413991387957075 805 1215456469296174315 806 1224555357045288910 807 1233710935806303783 808 1242923487800021385 809 1252193296299653515 810 1261520645633434380 811 1270905821187236895 812 1280349109407192223 813 1289850797802312555 814 1299411174947117130 815 1309030530484261495 816 1318709155127170005 817 1328447340662671563 818 1338245379953638600 819 1348103566941629295 820 1358022196649533035 821 1368001565184219115 822 1378041969739188678 823 1388143708597229895 824 1398307081133076385 825 1408532387816068875 826 1418819930212820100 827 1429170010989882943 828 1439582933916421815 829 1450059003866887275 830 1460598526823693890 831 1471201809879901335 832 1481869161241898733 833 1492600890232092235 834 1503397307291595840 835 1514258723982925455 836 1525185452992696195 837 1536177808134322923 838 1547236104350724030 839 1558360657717028455 840 1569551785443285945 841 1580809805877180555 842 1592135038506747388 843 1603527803963092575 844 1614988424023116495 845 1626517221612240235 846 1638114520807135290 847 1649780646838456503 848 1661515926093578245 849 1673320686119333835 850 1685195255624758200 851 1697139964483833775 852 1709155143738239643 853 1721241125600103915 854 1733398243454759350 855 1745626831863502215 856 1757927226566354385 857 1770299764484828683 858 1782744783724697460 859 1795262623578764415 860 1807853624529639655 861 1820518128252517995 862 1833256477617960498 863 1846069016694679255 864 1858956090752325405 865 1871918046264280395 866 1884955230910450480 867 1898067993580064463 868 1911256684374474675 869 1924521654609961195 870 1937863256820539310 871 1951281844760770215 872 1964777773408574953 873 1978351398968051595 874 1992003078872295660 875 2005733171786223775 876 2019542037609400575 877 2033430037478868843 878 2047397533771982890 879 2061444890109245175 880 2075572471357146165 881 2089780643631007435 882 2104069774297828008 883 2118440231979133935 884 2132892386553831115 885 2147426609161061355 886 2162043272203061670 887 2176742749348026823 888 2191525415532975105 889 2206391646966617355 890 2221341821132229220 891 2236376316790526655 892 2251495513982544663 893 2266699794032519275 894 2281989539550772770 895 2297365134436602135 896 2312826963881170765 897 2328375414370403403 898 2344010873687884320 899 2359733730917758735 900 2375544376447637475 901 2391443201971504875 902 2407430600492629918 903 2423506966326480615 904 2439672695103641625 905 2455928183772735115 906 2472273830603344860 907 2488710035188943583 908 2505237198449823535 909 2521855722636030315 910 2538566011330299930 911 2555368469450999095 912 2572263503255068773 913 2589251520340970955 914 2606332929651638680 915 2623508141477429295 916 2640777567459080955 917 2658141620590672363 918 2675600715222585750 919 2693155267064473095 920 2710805693188225585 921 2728552412030946315 922 2746395843397926228 923 2764336408465623295 924 2782374529784644935 925 2800510631282733675 926 2818745138267756050 927 2837078477430694743 928 2855511076848643965 929 2874043365987808075 930 2892675775706503440 931 2911408738258163535 932 2930242687294347283 933 2949178057867750635 934 2968215286435221390 935 2987354810860777255 936 3006597070418627145 937 3025942505796195723 938 3045391559097151180 939 3064944673844436255 940 3084602294983302495 941 3104364868884347755 942 3124232843346556938 943 3144206667600345975 944 3164286792310609045 945 3184473669579769035 946 3204767752950831240 947 3225169497410440303 948 3245679359391940395 949 3266297796778438635 950 3287025268905871750 951 3307862236566075975 952 3328809162009860193 953 3349866508950082315 954 3371034742564728900 955 3392314329499998015 956 3413705737873385335 957 3435209437276773483 958 3456825898779524610 959 3478555594931576215 960 3500398999766540205 961 3522356588804805195 962 3544428839056642048 963 3566616229025312655 964 3588919238710181955 965 3611338349609833195 966 3633874044725186430 967 3656526808562620263 968 3679297127137096825 969 3702185487975289995 970 3725192380118716860 971 3748318294126872415 972 3771563722080367503 973 3794929157584069995 974 3818415095770249210 975 3842022033301723575 976 3865750468375011525 977 3889600900723485643 978 3913573831620530040 979 3937669763882700975 980 3961889201872890715 981 3986232651503494635 982 4010700620239581558 983 4035293617102067335 984 4060012152670891665 985 4084856739088198155 986 4109827890061517620 987 4134926120866954623 988 4160151948352377255 989 4185505890940610155 990 4210988468632630770 991 4236600203010768855 992 4262341617241909213 993 4288213236080697675 994 4314215585872750320 995 4340349194557865935 996 4366614591673241715 997 4393012308356692203 998 4419542877349871470 999 4446206833001498535 1000 4473004711270586025