# Computed using the Mathematica program that I contributed to this sequence 0 15 1 175 2 1050 3 4410 4 14700 5 41580 6 103950 7 235950 8 495495 9 975975 10 1821820 11 3248700 12 5569200 13 9224880 14 14825700 15 23197860 16 35441175 17 52997175 18 77729190 19 112015750 20 158858700 21 222007500 22 306101250 23 416830050 24 561117375 25 747325215 26 985483800 27 1287547800 28 1667680960 29 2142571200 30 2731778280 31 3458116200 32 4348072575 33 5432267295 34 6745952850 35 8329558770 36 10229282700 37 12497730700 38 15194609430 39 18387472950 40 22152526935 41 26575493175 42 31752537300 43 37791262740 44 44811774000 45 52947812400 46 62347967500 47 73176967500 48 85617051975 49 99869430375 50 116155829790 51 134720135550 52 155830128300 53 179779321260 54 206888901450 55 237509778730 56 272024746575 57 310850758575 58 354441324720 59 403289031600 60 457928190720 61 518937619200 62 586943557200 63 662622726480 64 746705534575 65 839979429135 66 943292407050 67 1057556683050 68 1183752522540 69 1322932243500 70 1476224392350 71 1644838098750 72 1830067614375 73 2033297040775 74 2256005251500 75 2499771013740 76 2766278314800 77 3057321898800 78 3374813019060 79 3720785411700 80 4097401496055 81 4506958807575 82 4951896668950 83 5434803105270 84 5958422009100 85 6525660561420 86 7139596914450 87 7803488142450 88 8520778466655 89 9295107760575 90 10130320341960 91 11030474057800 92 11999849668800 93 13042960539840 94 14164562643000 95 15369664879800 96 16663539729375 97 18051734229375 98 19540081296450 99 21134711393250 100 22842064548940 101 24668902740300 102 26622322640550 103 28709768743110 104 30939046867575 105 33318338055255 106 35856212861700 107 38561646053700 108 41444031718320 109 44513198791600 110 47779427014620 111 51253463324700 112 54946538689575 113 58870385392455 114 63037254775950 115 67459935452910 116 72151771992300 117 77126684088300 118 82399186220890 119 87984407816250 120 93898113915375 121 100156726359375 122 106777345500000 123 113777772444000 124 121176531840000 125 128992895216640 126 137246904880800 127 145959398384800 128 155152033571535 129 164847314206575 130 175068616206330 131 185840214471450 132 197187310334700 133 209136059632620 134 221713601410350 135 234948087269070 136 248868711365575 137 263505741073575 138 278890548316380 139 295055641580700 140 312034698621360 141 329862599866800 142 348575462535300 143 368210675471940 144 388806934716375 145 410404279811575 146 433044130863750 147 456769326363750 148 481624161780300 149 507654428935500 150 534907456173090 151 563432149330050 152 593279033522175 153 624500295754335 154 657149828366200 155 691283273324280 156 726958067371200 157 764233488043200 158 803170700566920 159 843832805646600 160 886284888152895 161 930594066724575 162 976829544294450 163 1025062659550930 164 1075366939346700 165 1127818152066060 166 1182494361962550 167 1239475984478550 168 1298845842558615 169 1360689223968375 170 1425093939630900 171 1492150382992500 172 1561951590430000 173 1634593302711600 174 1710174027523500 175 1788795103074540 176 1870560762791175 177 1955578201115175 178 2043957640416510 179 2135812399033950 180 2231258960455980 181 2330417043654700 182 2433409674585450 183 2540363258864970 184 2651407655640975 185 2766676252666095 186 2886306042589200 187 3010437700477200 188 3139215662580480 189 3272788206355200 190 3411307531755760 191 3554929843810800 192 3703815436496175 193 3858128777918415 194 4018038596822250 195 4183717970435850 196 4355344413667500 197 4533099969667500 198 4717171301769150 199 4907749786822750 200 5105031609936615 201 5309217860639175 202 5520514630476300 203 5739133112058060 204 5965289699569200 205 6199206090757680 206 6441109390415700 207 6691232215367700 208 6949812800979895 209 7217095109205975 210 7493328938183670 211 7778770033396950 212 8073680200418700 213 8378327419248780 214 8692985960262450 215 9017936501784210 216 9353466249302175 217 9699869056338175 218 10057445546988840 219 10426503240153000 220 10807356675460800 221 11200327540920000 222 11605744802295000 223 12023944834234200 224 12455271553161375 225 12900076551946815 226 13358719236374050 227 13831566963418050 228 14318995181350860 229 14821387571690700 230 15339136193010630 231 15872641626622950 232 16422313124155575 233 16988568757036695 234 17571835567904100 235 18172549723955620 236 18791156672257200 237 19428111297025200 238 20083878078899580 239 20758931256224700 240 21453754988354535 241 22168843520999175 242 22904701353629550 243 23661843408957390 244 24440795204507500 245 25242093026299500 246 26066284104656250 247 26913926792156250 248 27785590743747375 249 28681857099039375 250 29603318666792640 251 30550580111620800 252 31524258142924800 253 32524981706076160 254 33553392175867200 255 34610143552246080 256 35695902658354575 257 36811349340886575 258 37957176672785370 259 39134091158297850 260 40342812940403820 261 41584076010638700 262 42858628421327950 263 44167232500251630 264 45510665067757575 265 46889717656341735 266 48305196732714300 267 49757923922370300 268 51248736236683440 269 52778486302542000 270 54348042594545700 271 55958289669782500 272 57610128405204375 273 59304476237621175 274 61042267406331750 275 62824453198411590 276 64652002196676300 277 66525900530340300 278 68447152128390210 279 70416778975692450 280 72435821371854655 281 74505338192860575 282 76626407155498200 283 78800125084600920 284 81027608183121600 285 83309992305059520 286 85648433231260200 287 88044106948108200 288 90498209929133055 289 93011959419548575 290 95586593723745810 291 98223372495760050 292 100923577032732300 293 103688510571385740 294 106519498587537750 295 109417889098668150 296 112385052969564375 297 115422384221064375 298 118531300341918100 299 121713242603788500 300 124969676379413040 301 128302091463946800 302 131712002399508300 303 135200948802949260 304 138770495696869575 305 142422233843898855 306 146157780084265950 307 149978777676677950 308 153886896642530220 309 157883834113469100 310 161971314682328970 311 166151090757465450 312 170424942920506575 313 174794680287543855 314 179262140873785200 315 183829191961691760 316 188497730472620800 317 193269683341996800 318 198147007898033040 319 203131692244026000 320 208225755644244975 321 213431248913439375 322 218750254809986250 323 224184888432700650 324 229737297621331500 325 235409663360765740 326 241204200188963550 327 247123156608647550 328 253168815502768935 329 259343494553773575 330 265649546666691180 331 272089360396070700 332 278665360376785200 333 285380007758729520 334 292235800645434100 335 299235274536618420 336 306381002774707575 337 313675596995335575 338 321121707581859030 339 328722024123904950 340 336479275879976460 341 344396232244140300 342 352475703216820050 343 360720539879719090 344 369133634874897375 345 377717922888026175 346 386476381135845000 347 395412029857845000 348 404527932812203200 349 413827197775992000 350 423312977049688440 351 432988467966007800 352 442856913403086175 353 452921602302036735 354 463185870188904450 355 473653099701044130 356 484326721117946700 357 495210212896538700 358 506307102210980070 359 517620965496985350 360 529155429000693495 361 540914169332111575 362 552900914023157700 363 565119442090328580 364 577573584602017200 365 590267225250506160 366 603204300928662300 367 616388802311358300 368 629824774441647015 369 643516317321714375 370 657467586508636750 371 671682793714968750 372 686166207414187500 373 700922153451019500 374 715955015656676250 375 731269236469024890 376 746869317557720175 377 762759820454324175 378 778945367187440160 379 795430640922887200 380 812220386608942080 381 829319411626675200 382 846732586445407200 383 864464845283313120 384 882521186773200975 385 900906674633491695 386 919626438344427450 387 938685673829535450 388 958089644142374380 389 977843680158590700 390 997953181273312110 391 1018423616103905550 392 1039260523198127175 393 1060469511747691815 394 1082056262307289500 395 1104026527519076700 396 1126386132842670000 397 1149140977290670000 398 1172297034169743300 399 1195860351827290500 400 1219837054403728215 401 1244233342590413175 402 1269055494393236550 403 1294309865901916710 404 1320002892065018700 405 1346141087470728780 406 1372731047133412450 407 1399779447285984450 408 1427293046178119295 409 1455278684880330975 410 1483743288093950520 411 1512693864967030200 412 1542137509916203200 413 1572081403454527680 414 1602532813025344200 415 1633499093842175560 416 1664987689734698175 417 1697006134000814175 418 1729562050264853490 419 1762663153341935250 420 1796317250108517900 421 1830532240379167500 422 1865316117789573750 423 1900676970685843350 424 1936622983020100375 425 1973162435252423415 426 2010303705259149300 427 2048055269247573300 428 2086425702677075760 429 2125423681186705200 430 2165057981529247980 431 2205337482511814700 432 2246271165942973575 433 2287868117586461095 434 2330137528121500350 435 2373088694109757470 436 2416731018968966700 437 2461074013953254700 438 2506127299140194730 439 2551900604424621450 440 2598403770519237135 441 2645646749962040175 442 2693639608130606800 443 2742392524263257040 444 2791915792487136000 445 2842219822853241600 446 2893315142378430000 447 2945212396094430000 448 2997922348103897775 449 3051455882643543375 450 3105824005154360490 451 3161037843358991050 452 3217108648346256300 453 3274047795662886060 454 3331866786412477950 455 3390577248361718430 456 3450190937053897575 457 3510719736929749575 458 3572175662455651020 459 3634570859259209100 460 3697917605272271920 461 3762228311881393200 462 3827515525085783700 463 3893791926662781780 464 3961070335340875575 465 4029363707980309335 466 4098685140761306550 467 4169047870379942550 468 4240465275251699340 469 4312950876722735500 470 4386518340288904050 471 4461181476822551250 472 4536954243807129375 473 4613850746579656575 474 4691885239581057000 475 4771072127614414440 476 4851425967111172800 477 4932961467405316800 478 5015693492015566360 479 5099637059935618200 480 5184807346932468255 481 5271219686852848575 482 5358889572937812450 483 5447832659145501570 484 5538064761482129100 485 5629601859341212620 486 5722460096851090950 487 5816655784230758950 488 5912205399154054455 489 6009125588122231575 490 6107433167844954660 491 6207145126629747300 492 6308278625779930800 493 6410851001001086640 494 6514879763816077500 495 6620382602988661500 496 6727377385955734375 497 6835882160268234375 498 6945915155040744750 499 7057494782409828750 500 7170639639001132140 501 7285368507405288300 502 7401700357662661050 503 7519654348756960410 504 7639249830117766575 505 7760506343131997455 506 7883443622664355200 507 8008081598586787200 508 8134440397316997120 509 8262540343366041600 510 8392401960895048320 511 8524045975281091200 512 8657493314692258575 513 8792765111671950255 514 8929882704732439450 515 9068867639957735610 516 9209741672615784300 517 9352526768780040300 518 9497245106960450190 519 9643919079743880750 520 9792571295444029575 521 9943224579760854375 522 10095901977449557500 523 10250626753999162300 524 10407422397320718000 525 10566312619445169840 526 10727321358230931300 527 10890472779081195300 528 11055791276671021335 529 11223301476684235575 530 11393028237560181030 531 11564996652250354950 532 11739232049984970700 533 11915759998049481420 534 12094606303571102850 535 12275797015315372770 536 12459358425492784575 537 12645317071575532575 538 12833699738124406680 539 13024533458625874200 540 13217845517339386560 541 13413663451154948800 542 13612015051460989800 543 13812928366022571240 544 14016431700869973375 545 14222553622197695775 546 14431322958273911250 547 14642768801360411250 548 14856920509643081100 549 15073807709172943500 550 15293460295817808790 551 15515908437224570550 552 15741182574792185175 553 15969313425655374135 554 16200331984679087700 555 16434269526463768980 556 16671157607361457200 557 16911028067502769200 558 17153913032834798220 559 17399844917169969100 560 17648856424245889095 561 17900980549796233575 562 18156250583632705950 563 18414700111738111230 564 18676363018370582700 565 18941273488179001260 566 19209466008329647050 567 19480975370644123050 568 19755836673748590415 569 20034085325234355375 570 20315757043829847600 571 20600887861584030000 572 20889514126061280000 573 21181672502547782400 574 21477399976269474000 575 21776733854621580240 576 22079711769409784175 577 22386371679103068175 578 22696751871098268810 579 23010890963996385450 580 23328827909890683180 581 23650601996666630700 582 23976252850313713950 583 24305820437249166270 584 24639345066653655975 585 24976867392818972295 586 25318428417507750700 587 25664069492325278700 588 26013832321103423280 589 26367758962296721200 590 26725891831390673460 591 27088273703322285300 592 27454947714912893175 593 27825957367313320215 594 28201346528461401750 595 28581159435551922550 596 28965440697519007500 597 29354235297531007500 598 29747588595497922450 599 30145546330591403250 600 30548154623777374815 601 30955459980361322175 602 31367509292546281800 603 31784349842003580360 604 32206029302456363200 605 32632595742275954880 606 33064097627091094200 607 33500583822410086200 608 33942103596255913695 609 34388706621814350975 610 34840442980095122370 611 35297363162606148450 612 35759518074040922700 613 36226959034979061580 614 36699737784600070950 615 37177906483410371910 616 37661517715983629175 617 38150624493714425175 618 38645280257585323140 619 39145538880947362500 620 39651454672314030000 621 40163082378168750000 622 40680477185785937500 623 41203694726065657500 624 41732791076381934375 625 42267822763444755015 626 42808846766175809550 627 43355920518598013550 628 43909101912738855660 629 44468449301547614700 630 45034021501826490330 631 45605877797175691450 632 46184077940952526575 633 46768682159244540495 634 47359751153856741600 635 47957346105312964320 636 48561528675871411200 637 49172361012554419200 638 49789905750192494880 639 50414226014482663200 640 51045385425061174735 641 51683448098590616175 642 52328478651861469050 643 52980542204908161690 644 53639704384139659500 645 54306031325484638700 646 54979589677551288750 647 55660446604801788750 648 56348669790741503175 649 57044327441122942375 650 57747488287164533340 651 58458221588784246300 652 59176597137848122800 653 59902685261433750960 654 60636556825108733700 655 61378283236224195780 656 62127936447223375575 657 62885588958965347575 658 63651313824063921670 659 64425184650241765350 660 65207275603699795020 661 65997661412501882700 662 66796417369974924450 663 67603619338124316930 664 68419343751064888575 665 69243667618467331935 666 70076668529020183800 667 70918424653907399800 668 71769014750301570240 669 72628518164872824000 670 73497014837313467400 671 74374585303878405000 672 75261310700941389375 673 76157272768567146975 674 77062553854099427250 675 77977236915765022290 676 78901405526293804300 677 79835143876554828300 678 80778536779208547510 679 81731669672375188950 680 82694628623319336855 681 83667500332150771575 682 84650372135541611700 683 85643332010459807220 684 86646468577919031600 685 87659871106745020720 686 88683629517358406700 687 89717834385574094700 688 90762576946417230855 689 91817949097955809575 690 92884043405149968510 691 93960953103718019550 692 95048772104019264300 693 96147594994953642540 694 97257517047878262250 695 98378634220540859850 696 99511043161030239375 697 100654841211743739375 698 101810126413371776400 699 102976997508899514000 700 104155553947625706240 701 105345895889198764800 702 106548124207670098800 703 107762340495564776560 704 108988647067969558575 705 110227146966638351055 706 111477943964115129450 707 112741142567874381450 708 114016848024479119020 709 115305166323756509100 710 116606204202991172670 711 117920069151136201950 712 119246869413041945575 713 120586713993702611655 714 121939712662520738700 715 123305975957589584460 716 124685615189993482800 717 126078742448126218800 718 127485470602027472340 719 128905913307737380500 720 130340185011669269175 721 131788400955000604375 722 133250677178082213750 723 134727130524865828950 724 136217878647349999500 725 137723040010044428940 726 139242733894452784050 727 140777080403574028050 728 142326200466422328735 729 143890215842565592575 730 145469249126682675880 731 147063423753139324200 732 148672864000582891200 733 150297694996555888320 734 151938042722128416600 735 153594034016549532120 736 155265796581917596575 737 156953458987869664575 738 158657150676289959330 739 160377001966037488450 740 162113144057692851660 741 163865709038324292300 742 165634829886273044550 743 167420640475958028390 744 169223275582699944375 745 171042870887564820375 746 172879562982227062500 747 174733489373852062500 748 176604788489998414000 749 178493599683539790000 750 180400063237606534140 751 182324320370547018300 752 184266513240908819175 753 186226784952439766535 754 188205279559108915950 755 190202142070147498830 756 192217518455109902700 757 194251555648954734700 758 196304401557146021370 759 198376205060774597850 760 200467116021699739695 761 202577285287711090575 762 204706864697710939200 763 206856007086916898880 764 209024866292085043200 765 211213597156753551360 766 213422355536506916800 767 215651298304260772800 768 217900583355567388815 769 220170369613941891375 770 222460817036209263450 771 224772086617872176250 772 227104340398499707500 773 229457741467137000300 774 231832453967735916750 775 234228643104606740590 776 236646475147890983175 777 239086117439055347175 778 241547738396406902460 779 244031507520629528700 780 246537595400341679280 781 249066173717675521200 782 251617415253877505700 783 254191493894930424420 784 256788584637197005975 785 259408863593085107895 786 262052507996734558950 787 264719696209725706950 788 267410607726809727180 789 270125423181660746700 790 272864324352649839810 791 275627494168640950050 792 278415116714808794175 793 281227377238478803615 794 284064462154989159000 795 286926559053574973400 796 289813856703274680000 797 292726545058858680000 798 295664815266780306600 799 298628859671149161000 800 301618871819726876415 801 304635046469945366175 802 307677579594947612050 803 310746668389651049010 804 313842511276833602700 805 316965307913242435980 806 320115259195725460950 807 323292567267385672950 808 326497435523758363095 809 329730068619011265975 810 332990672472167699220 811 336279454273352751700 812 339596622490062577200 813 342942386873456850480 814 346316958464674442700 815 349720549601172373260 816 353153373923088095175 817 356615646379625171175 818 360107583235462397790 819 363629402077186434750 820 367181321819747997100 821 370763562712941667500 822 374376346347909386250 823 378019895663667676650 824 381694434953658663375 825 385400189872324941615 826 389137387441708354800 827 392906256058072738800 828 396707025498550690560 829 400539926927814419200 830 404405192904770737680 831 408303057389280253200 832 412233755748900814575 833 416197524765655274895 834 420194602642823627850 835 424225229011759576170 836 428289644938731590700 837 432388092931788518700 838 436520816947649800030 839 440688062398620349950 840 444890076159530167335 841 449127106574698727175 842 453399403464924216300 843 457707218134497671340 844 462050803378242078000 845 466430413488576490800 846 470846304262605232500 847 475298733009232232500 848 479787958556300563575 849 484314241257757236375 850 488877843000843311190 851 493479027213309386550 852 498118058870656524300 853 502795204503402670860 854 507510732204374634450 855 512264911636025678130 856 517058014037778788575 857 521890312233395680575 858 526762080638371597320 859 531673595267355966600 860 536625133741598973120 861 541616975296424107200 862 546649400788726750200 863 551722692704498857080 864 556837135166379796575 865 561993013941233409535 866 567190616447751346050 867 572430231764082742050 868 577712150635490296140 869 583036665482032807500 870 588404070406274235750 871 593814661201019343750 872 599268735357075984375 873 604766592071044092375 874 610308532253131442500 875 615894858534996235140 876 621525875277616570800 877 627201888579186874800 878 632923206283041333660 879 638690137985604404700 880 644502995044368460455 881 650362090585898629575 882 656267739513864895950 883 662220258517101517870 884 668219966077693829100 885 674267182479092483820 886 680362229814255207450 887 686505431993816115450 888 692697114754282662255 889 698937605666260282575 890 705227234142704787360 891 711566331447202576800 892 717955230702278732800 893 724394266897733053440 894 730883776899004092000 895 737424099455561263200 896 744015575209325079375 897 750658546703115579375 898 757353358389129013050 899 764100356637442844250 900 770899889744549135340 901 777752307941916376300 902 784657963404579821550 903 791617210259760397710 904 798630404595512245575 905 805697904469398959655 906 812820069917198588700 907 819997262961637460700 908 827229847621152895920 909 834518189918684871600 910 841862657890496702020 911 849263621595024797700 912 856721453121757567575 913 864236526600143528055 914 871809218208528682950 915 879439906183123238310 916 887128970826997716300 917 894876794519108532300 918 902683761723353099490 919 910550258997654525250 920 918476675003075963775 921 926463400512964689375 922 934510828422125955000 923 942619353756026700600 924 950789373680029176000 925 959021287508654543040 926 967315496714876521800 927 975672404939445145800 928 984092418000240691135 929 992575943901657844575 930 1001123392844020175730 931 1009735177233024978450 932 1018411711689218546700 933 1027153413057501950220 934 1035960700416667375350 935 1044833995088965096470 936 1053773720649701143575 937 1062780302936865731575 938 1071854170060792516980 939 1080995752413848747700 940 1090205482680156371760 941 1099483795845344170800 942 1108831129206330984300 943 1118247922381140090540 944 1127734617318744810375 945 1137291658308945399975 946 1146919491992277298750 947 1156618567369950798750 948 1166389335813822201900 949 1176232251076396531500 950 1186147769300861864490 951 1196136349031155351050 952 1206198451222060988175 953 1216334539249339213935 954 1226545078919888389200 955 1236830538481938233680 956 1247191388635275283200 957 1257628102541500435200 958 1268141155834318649520 959 1278731026629860871600 960 1289398195537038245295 961 1300143145667928682575 962 1310966362648195857450 963 1321868334627540691530 964 1332849552290185398700 965 1343910508865390156460 966 1355051700138002471550 967 1366273624459039307550 968 1377576782756302042215 969 1388961678545024322375 970 1400428817938552884300 971 1411978709659061407500 972 1423611865048297470000 973 1435328798078362673200 974 1447130025362526004500 975 1459016066166070505940 976 1470987442417173317175 977 1483044678717819161175 978 1495188302354747341110 979 1507418843310432316950 980 1519736834274097930380 981 1532142810652765346700 982 1544637310582334782450 983 1557220874938701087570 984 1569894047348903250975 985 1582657374202307898495 986 1595511404661826852200 987 1608456690675168820200 988 1621493786986125286080 989 1634623251145890667200 990 1647845643524416811160 991 1661161527321801899800 992 1674571468579713830175 993 1688076036192848142015 994 1701675801920420561250 995 1715371340397694229250 996 1729163229147541687500 997 1743052048592041687500 998 1757038382064110895750 999 1771122815819170563750 1000 1785305939046848233015