# Combinations when selecting n out of 500

The S&P 500 stock-market index has (roughly) 500 components. How many possible combinations are there for portfolios of 1 stock, 2 stocks, 3 …. 500 stocks?

Here is how to compute the number of combinations in R.

Suppose we wanted the number of combinations of 30 out of 500. R's `choose` can be used.

```noquote(sprintf("%-50.0f", choose(500, 30)))
```
```[1] 1445259588120580371695386929747715804542336499712
^^^^^^^^^^^^^^
```

The number is so large that it does not fit into an integer, and so R uses a double, with the result being correct to about 14 digits.

For the exact number, we can use packages `Rmpfr` or `gmp`.

```Rmpfr::chooseMpfr(500, 30)
```
```1 'mpfr' number of precision  190   bits
[1] 1445259588120573502872111127079547366704414552400
```

Let's look at all possibilities, with package `Rmpfr`.

```## 1 from 500, 2 from 500, 3 from 500, ...
Rmpfr::chooseMpfr.all(n = 500)
```
```500 'mpfr' numbers of precision  496   bits
[1]                                                                                                                                                    500
[2]                                                                                                                                                 124750
[3]                                                                                                                                               20708500
[4]                                                                                                                                             2573031125
[5]                                                                                                                                           255244687600
[6]                                                                                                                                         21057686727000
[7]                                                                                                                                       1486071034734000
[8]                                                                                                                                      91579127515482750
[9]                                                                                                                                    5006325637513057000
[10]                                                                                                                                  245810588801891098700
[11]                                                                                                                                10949744410266058033000
[12]                                                                                                                               446202084718341864844750
[13]                                                                                                                             16749739795580833080326000
[14]                                                                                                                            582651662889133265008483000
[15]                                                                                                                          18877913877607917786274849200
[16]                                                                                                                         572236764414990007896456366375
[17]                                                                                                                       16291917292756186107169698901500
[18]                                                                                                                      437166447355624327209053587190250
[19]                                                                                                                    11090222506600575037619148896089500
[20]                                                                                                                   266719851283743829654740530950952475
[21]                                                                                                                  6096453743628430392108354993164628000
[22]                                                                                                                132736424690819007173631910987538946000
[23]                                                                                                               2758609174009195018652002324001896356000
[24]                                                                                                              54827357333432750995708546189537690075500
[25]                                                                                                            1043912883628559578958290719448797619037520
[26]                                                                                                           19071485373983300000199541989929956501647000
[27]                                                                                                          334810521009929044447947514934325903028914000
[28]                                                                                                         5655906301346301357995684805854862576167011500
[29]                                                                                                        92054750835705318654274594081499832274166532000
[30]                                                                                                      1445259588120573502872111127079547366704414552400
[31]                                                                                                     21912000206989340204835233217012492333905639988000
[32]                                                                                                    321147753033687517377116386836839340768804536074125
[33]                                                                                                   4554459043023204791893650576958812469084864329778500
[34]                                                                                                  62556834502701077582774553512934277148900930647251750
[35]                                                                                                 832899567950248632959226912486496375753938105189123300
[36]                                                                                               10758286086024044842390014286283911520155033858692842625
[37]                                                                                              134914722808517751536999098076641485009511775957661594000
[38]                                                                                             1643829385798518920042910063407500198931682954431508369000
[39]                                                                                            19473055800997839514354473058827310048883013460188637602000
[40]                                                                                           224426968106500100402935302002984748313376730128674048363050
[41]                                                                                          2517961105585123077691469241984706932296421850224147859683000
[42]                                                                                         27517717796751702206199628144547154331525181648878187323678500
[43]                                                                                        293095691881680921173009992795409225205547283608981623121971000
[44]                                                                                       3044198436134731385819671970625045816339434286575104585607744250
[45]                                                                                      30847877486165278042972675969000464272239600770627726467491808400
[46]                                                                                     305125744700113076294621034041200244431935181535556859624103757000
[47]                                                                                    2947384853060666736973573392653295978129756859939208814241342674000
[48]                                                                                   27815944550760042330188098893165480793599580365676283184402671485875
[49]                                                                                  256587896672317125168265728565526475891979802556850612231632806359500
[50]                                                                                 2314422827984300469017756871661048812545657819062792522329327913362690
[51]                                                                                20421377893979121785450795926421018934226392521142286961729363941435500
[52]                                                                               176330743738396647724373218672366105797454812346017054727240084802010375
[53]                                                                              1490493833864182984538098150287170101835089734547464915430255811156616000
[54]                                                                             12337976735875736927565368021821574731857131691531792911061561992351988000
[55]                                                                            100049774985465066721711893413316769643786922444057811606062848156163393600
[56]                                                                            795038390509499190913603438730820758776521080135816538655320846955226967000
[57]                                                                           6192930620810835802905963628008498542048690518952676195841446597335452164000
[58]                                                                          47301176983089659667023135986340773347027067239586819909616566252062160494000
[59]                                                                         354357969941112365641088578067163081684507859659277532204246140396804659972000
[60]                                                                        2604531079067175887462001048793648650381132768495689861701209131916514250794200
[61]                                                                       18786781553927170335791482974905006658486859313739402281123475705627315907368000
[62]                                                                      133022533906032706087297758483601579404447278044058025829245255399522446505396000
[63]                                                                      924823330965751194702165368505039552049966790211070084336657489920489389989896000
[64]                                                                     6314809306750519876325722906823473191341179489409962919611239423363341616024758625
[65]                                                                    42357797811434256401200233651923604791150065498196058968469236747483337609027611700
[66]                                                                   279176394666271235371546994524041940668943613510837661383092696744776543332227440750
[67]                                                                  1808396347539727106735095457066182123139127287517963358809884035630343579196816556500
[68]                                                                 11515229683598556429651416660436130284106501698459972564186467462175570144003258367125
[69]                                                                 72095351062530092429121913004469685257014619329488523880123970197968786988542139342000
[70]                                                                443901375827863854813593492927520490653904299014422197033334730790350674172309457948600
[71]                                                               2688416783182837430561200027589208605368716177129599221469492031547194223860465731238000
[72]                                                              16018483333131073023760483497719034606988600555397195361255723354635365583835274981959750
[73]                                                              93916587213426017180403930644160915230015356680958898830376021860053924244952023181901000
[74]                                                             541924091082877153189628086284550145989412936523911483791494072084365211521547485117185500
[75]                                                            3078128837350742230117087530096244829219865479455817227935686329439194401442389715465613640
[76]                                                           17213220472027176944733713161722421742347931957483188445692982763311284481750205645695865750
[77]                                                           94784486755058740578793433513900088555266534415232102610049671320051748315092041477598014000
[78]                                                          514023562787049323908072081748458172549714667405681787231423217543357558170306840320819999000
[79]                                                         2745796753115630565686157196175308212860501134749338154577982250674644171492018817916278982000
[80]                                                        14449755413271005851923402244872559470178387221618392038466631594175314952476749029284418142775
[81]                                                        74924657698442252565528752380820678734258304112095366125382534192020151605434994966659945925500
[82]                                                       382846726532284192987274966433705663288466212475219004957747339347029799057039791354030699302250
[83]                                                      1928071466150539670706999228545650207886492491742669205690823949964559710913766660072106413353500
[84]                                                      9571497635533036222438317598851620674865087726865393556822304608752635707750484491072242552004875
[85]                                                     46844035486844036100404001424967931773457370522070631995742102555777605346167077038659445901576800
[86]                                                    226049706128375290484507681294903391697497776356503631142243866984275653705341127570275233129702000
[87]                                                   1075684808472958278857312414437816139801885970248189693021712194614828972804726744989585592134444000
[88]                                                   5048384385219679195091704854122932565206578474005708445658717458817322338276728928189759653994606500
[89]                                                  23370049064163009307615532583130878841181014958318560445071815652053222509775419308024505364559302000
[90]                                                 106723224059677742504777598796297680041393301642988092699161291477709716127974414839978574498154145800
[91]                                                 480840899609537081614932038532769767219464326083792505567649774789681138598566044883419951035639558000
[92]                                                2137651390655442025875078301738074291225662058350773204099660411836734627030581656057812608408441078500
[93]                                                9378083520294842436097117710850906567957743223732424379275929548703093847618035652382661765920902796000
[94]                                               40605106305957456079697094769322542267646824383607411940056418365129353148729154367231312114146887638000
[95]                                              173533401686512917561652847119420549059627481049943255238556903749921235561937228137851712824669856642400
[96]                                              732094038364976370963222948785055441345303435679448108037661937694980212526922681206561913479075957710125
[97]                                             3049133932984025297620021353702705137149511216644299336569231163183216555266770754715989825211821514586500
[98]                                            12538785459107777499396618423899899696645438982731149312626532232273839507882740960719835709799633371207750
[99]                                            50915068227892187421792329357654138162136024960181030542180464215899833153220826931407817730701541567934500
[100]                                           204169423593847671561387240724193094030165460090325932474143661505758330944415515994945349100113181687417345
[101]                                           808591776609297709154008874155220174376892911248815574155024402003003290868972340574040986535101709653138000
[102]                                          3163020773206958685808328831254243623297845799885072687135830749011748167222744744010219153210839040701981000
[103]                                         12222157939188053950987523056691154971578083770429698344466608136958017189850994253554050708523436293197946000
[104]                                         46655737517862090562904294745253735804966339008274906180319648368964738695873506910201520493113502003842159250
[105]                                        175958781495937027265810483039242660750158764259779646165776959562952728795865797489902877288313778985919000600
[106]                                        655695459348067224245237177363215575436912376251065662598885839880814413909122547250109778574376817919226464500
[107]                                       2414430009188210152828256522253335857216294170494578234242626363673279243740133491743394885591630525796030159000
[108]                                       8785842533434875833902822344866305480425959342633048574605112601144432803609930206066242500347322191091109745250
[109]                                      31596791496389645200824828983372401360797945525799587534359671005950620724909106796128138166386699989979036882000
[110]                                     112312231591712284304750073931805535746109060914433079326678466939333570031267825066237291118701815418925485644200
[111]                                     394610543430340458368040800300938368837680484293954062499140559516577408217968034016509401227871243363792246858000
[112]                                    1370566976735736056296141708188080584623729539199536877787193550463826891042763975289483545336088514897457000247875
[113]                                    4706017583835978671176132590946683777292097886809029279481691129026237466589313472675394828233649060001887753063500
[114]                                   15975691271443190752150555374529531770281069142062230975082583043273279820790037841450682443214229703690618951189250
[115]                                   53622755050235405481131429344073037072421675555095836142451104823508574007173518319999681939832110135865903610078700
[116]                                  177972074951212337157203450840242407524847802488895663058997201353886215454843142699998944369270365537141145602416375
[117]                                  584113476762953311695436966860282773414885095348170381321836968546088091749228776041022176391451456121899144541264000
[118]                                 1895893742374670494740274222944816120490686368799569966493758974179252026609784925624673674219711082158367562366984000
[119]                                 6085978231824572512527602967772434941407077251104501909248873345684657766091914635198532298755711204911734527934352000
[120]                                19322980886043017727275139422677480938967470272256793561865172872548788407341828966755340048549383075594757126191567600
[121]                                60683741625589642449293826286094568238079658706261004574452609021227599956941281052620076185526988171289319900436328000
[122]                               188517525213921922035101312806801978378952382374368202735389662451190658882629061630680400609137118991136493789060396000
[123]                               579346540901321028693238180820903640871902443394399842552660913874390805346616140621115377481738463241053615059063656000
[124]                              1761400370320951837236699952979682843618606622255554360018977133311655916255437782372262075085608069692558168365056438000
[125]                              5298292313925423126407993458562885993604768719744707514937083217001460996096356849375764321857509073635214970442089765504
[126]                             15768727124778045019071409102865732123823716427811629508741319098218633916953443004094536672194967481057187412030029064000
[127]                             46437038934385738875060685074580974915827322393712987687159475139635977046776280972687848152763132582010929859049061968000
[128]                            135320433769733442190606527600146122215653056662929253182113158024095464362871506271973182507661316039766225292385157141125
[129]                            390226367149928996084539754009723701273046023865191334757721664999717153046420157621504061184883795091418882238506034546500
[130]                           1113646017020181981133571144135442255171539037338353732270113367037654336770937526750600051535322215222433887003736452436550
[131]                           3145412414484483458163521552138272018423430868818250999541541571022382477902647976318488695176100913223668230468568606118500
[132]                           8792857431399806030775298884386533142410954474196474385082036664448932835955129570163047943333191189238890735173498603467625
[133]                          24329109283873147513724135259054467642159633432363177245941274379828626192717952494887230399598604192781291658224417188542000
[134]                          66632709755085411474154907761738728542332727385651388427316773861172431438264840041967265348154386110080104765435530658171000
[135]                         180648679780453782218819972154047219603657616467765986402947698023623036343740233002666808277218557898439395141847438673263600
[136]                         484829177351953165513744778207553199671581103020107242919675807195753001951949890043921948685182159065664553138046434674567750
[137]                        1288159274132196731729949629690141348032522054739555010385124042476307246062115036321077294316834349634320418556561330084253000
[138]                        3388418960217300098680954460706676154607286274423612092534782807383329929859041725975007665485586006646799361855302629134665500
[139]                        8824515565458004573543205142272063078905306700297464586313607023545075069129302912251458812271813916590945100659133465803949000
[140]                       22754643708073854650350693259715819796320112277195605111851515253569800713969131080876975937358034456352365580985337008251611350
[141]                       58096962658911969320044323216295710118264116452414310923876209158050555014389270844792278988999236909835827015281711510429646000
[142]                      146878940806685894266872619962325069946878998636737588885010979491127811620885550938594564486272718666415928862578411494677767000
[143]                      367710914746808042989792992632953671615263507076587809935901612991774521400538652000117860741857575402635682047573925280382102000
[144]                      911616642809794939912195127569197644212840777960707278799422748875441000972168741416958863089188572352367628409610356424280627875
[145]                     2238176033381289645577527347687133526481181496234564077604099990342462043766152220306464519032766425913399142853939909565820024300
[146]                     5442140355139437151917960331705016451375475555912809914722297921723109763951945467183526741483781378077100655569511423944288415250
[147]                    13105562487886807835231006513085549821679716644851256529331248056394427594823052349544003173369106175777507701167394857661755775500
[148]                    31258537555567859228625306075129723561168513348868199694958990296670492844409037022898872433779016757090947422378989086179728302375
[149]                    73845672614495882204537635828494380493498769790614807333057480432402775041825376054096665078457811399302103977700699049229962164000
[150]                   172798873917920364358618067838676850354787121310038649159354504211822493597871379966586196283591278674366923307819635775198111463760
[151]                   400527191200477665731896183732032434597188691778235279508437592543959422246721741644405090723555943947208100382363394180922774916000
[152]                   919631511374780956187051106068942892594860877832921793081873156564748936605959788380903793832375160773523862062137003744355581879500
[153]                  2091710888617148841523488790274458343941252192718018196029358552186487777378261479454604707540304287249583686258978283026377401922000
[154]                  4713140768507471740315913053410630164594899421254235805338879335121501680196472294615245672184971348542893111245879637728265964071000
[155]                 10520946489700549820318102686968245399676356127444939281595175806142190847406318799592741952103226365134458170910157126799871119797200
[156]                 23267477813760831333395804019256696556976556820310923411220100340506768220225512729868563932535981384431974801051309030422791899551500
[157]                 50980970496393159099924564220536965704458188192273615627131939599581708711831696682005006323518328638500632685106052907423187346788000
[158]                110673878989005402349836237516735311624235180695885127595609210649724848659229569379289349170675865335479221588553013590165526961698000
[159]                238053249146162563544930775035996708021939822628884991432065094605068542399097564325263883121831106570653420020661199042997548559124000
[160]                507350987242758963555133714295467983971759246977811137989588732877052330988076683968218650903402545878705101419034180460388525366633025
[161]               1071424445108931972725127098512168413356510211009042154760622168808681941217056351237231933584825252166209530947028704077839121892268500
[162]               2242054857357579868850728928368056124246030626741143768295376019914464062176432734996429786946023212866327351796560065940663347663450750
[163]               4649168968017558255653658759438055030645143262812923887630902421663121797641928002630633545937152429133856717222314737962847923375744500
[164]               9553475257450714220459042694698930154435446826633874086168378756710195401252010590771484786468416881817742156731219918862681403522109125
[165]              19454349615172363503480232396477821405395818992418070866379244013664397908004094293934659928808412559337947664616302380229460312626840400
[166]              39260283861944227552204083450723314281973490135301528555644859907093815055309467400410307687655531369748267877388321068535356654999949000
[167]              78520567723888455104408166901446628563946980270603057111289719814187630110618934800820615375311062739496535754776642137070713309999898000
[168]             155638982452707473510523330822510281617823478750659631059877837488836195397833960051626576904634427930073490513932272807408021025178369250
[169]             305752320557981545594637549308126707083534881332656790011120958853808383858466714420946884806737456051978691423819612852422857871948039000
[170]             595317753557011127010735463652882000262647327771231749962829631650650441512661661607843640417824105607087922713437010906776270327145887700
[171]            1148858822653881122301419315821351228577038702716412149051074727746869273094610224155487727122116695031222306990843354381498065543614871000
[172]            2197526468913528425797482295960607873266544960428486029289555729236744132837946300855555012925444143402744994185973625532051532347961003250
[173]            4166408565338944067407943312572713193245241312257476402352452480865040899253447321853306614101420110035262185508666758234178627804226642000
[174]            7829974717619739712887341742593547207995367293725257376834781386453266517562513070379490016156117103342130658973184080129749490183805241000
[175]           14586124331108772265150133760488550798894227072882479456275078468478656484145024348249792830096538146797340541858617200698847621713831477520
[176]           26934604588695176057805644728174880736594453401629578541417048308270246348563255188529446987394175555165543614227560171745031119642018353375
[177]           49304021958967440919373044587167578297494931650440584448695613852426891621098840006121699570145270507760656107399601670312938320700643765500
[178]           89467410633407210207626367425028807809499229905012970656902715024347674121432164730209600905375968393296022037584670446691455492057909754250
[179]          160941375552833082049473130228264112372395262734157410902361308591284642832967357782835147997380233646040888805040580356618148985713111401500
[180]          287012119735885662988227082240404333730771551875914049442544333654457613052125121379389347261994750002106251702322368302635699024521715332675
[181]          507424742074493989813440145397399927037828158012665722771349098173626719208177010173506028308499005528585638368746728490847644684237286776000
[182]          889387322647052652475205529570168003983885617615606404198133858886741337513233331018397928738522982217685816701264870266925267331163156492000
[183]         1545492724599796412497898133351439482332653696184496374508232607245812816006602181769675089283335018279913058530066823742525874378742534232000
[184]         2662615183142040558488226675393512586410060987448289949560379002700666644967896150114059800558789134753980649750169473512938598793811866041000
[185]         4548034583096674683687997996888378255705833902884646616546377107315733296269487478032664307981499278823015596330019208811289714696457025237600
[186]         7702316632663723254632899833439995433050202577465933786086606391421806388843486857958544392549313294780913509913742208470732581340773994354000
[187]        12933301725435342791201767634760206235175206466974883469685531587735011797309384349727181493371574195514475091512914724384010858508037616188000
[188]        21532571489687565391734857817446513572392763958314566627721124398729035598711900539705360677794163421255482466189054833681890418686254116313000
[189]        35545832300436615884768654174832339865537261137535157607666618055044757178825994541735833499850682473183653594978757185760581008624927430104000
[190]        58182914975977829158752902359857145779905727440912810610443780079573260434815180539367601149755590785053243515991544656692319440433433846117600
[191]        94433003364152497587504710636417357024977882233942258058835454579412098087919926529863645845153053106630918795588370908767638882378871687416000
[192]       151978114789182925804890393680484183962073779220250821563438309713741345360246131758999305032043194843484134936650034431297918826328496621935125
[193]       242535022565120938590187778516005847980926031087239653064968908765970644409097453791563657771343544102554992541389692253055746106265165593554500
[194]       383805422306660454366946639198009254279094286308157595314151829851304060997901640793866200700012721853012282011374409905608835333110339367119750
[195]       602279278081221020698900879972260675945655649283570380339130563766661757258245651707297730329250732753957734848618304774955403138111609468403300
[196]       937220305177410261801861063222140337568494760364739622466504193616488958998800631483294937502150374948760760861370321205925499781245106570729625
[197]      1446268897329607713643481031571221637669149274877567742283336420606155550942311634370160715739358954235651123359678059119803816921312245672598000
[198]      2213229676216520895121084608919596748554304193373247605615408764866995615835961743505852004389019005724253991807992181380305841046250557771703000
[199]      3358770664408991509178731416551347829464320936676988828622379130602174251168142947430991484047656983561430681035244415964082231135515921844494000
[200]      5054949849935532221313990781909778483343803009698868187076680591556272248008055135883642183491723760259953174958042846025943757858951462375963470
[201]      7544701268560495852707448928223549975140004492087862965786090435158615295534410650572600273868244418298437574564243053770065310237240988620841000
[202]     11167651877720733960195679354152680408746838332347876370148718020358544422597964279807957831121807332035806112845092440976482810697698295037779500
[203]     16393892904240289261765085948460585033529841492806242159134571281117469152385188942772273072287185147520542963683928804980255554620266462666297000
[204]     23867579375291009366393286895552910563521386879232617261092978776921021265972554490212574031712225435360790491245719877838901469226564408881814750
[205]     34462456073590920841231282541871519642938197640257827850163520575456694120623785995624009333594237701789238953213332116294218706785673487946425200
[206]     49351575445190881787200137620641253857605671378039122406787565872620023133902994508296518220438350106931191704844334826732012225736765431767939000
[207]     70093541936647919060081354881490476493410953551417883998046108050967569088731789301638533124680555224337054885141229174199089827858014671206638000
[208]     98737537439605001368287677789791873137352929762333846208786104129487969918261607045096587526593282118897870583396058404040064036357684128190119875
[209]    137949095370165839232248812988608741416780169811490349727107858401007115866662149555828725156771475496259225886849995473587075112997338590581411500
[210]    191158032155801234364687640855643541677538235310208056050420889498538431986660407241648376288669044616244927300349279441970661228010597761234241650
[211]    262729048934513544861419032455623825054436437156210124429488426325005427848964540758663645136085416771142317142660147100338823488734944790321943500
[212]    358154222368275539929009907451298516229868539330871348868500732112861172869579020185159403039286252107830800255796143924518490510586787945297366375
[213]    484264864047245800467393677680628979691089855996671119596846060321615106978585717433454967489739157779602208796569434038785564634032840038711932000
[214]    649458018605418433337112081749254753137115834911423417403246819216371662162869630389726989110070739638999223946801063407156341354987967715468806000
[215]    863930201493719404346111885489706322777744785044963243615481815329685094784096345541683343653396425752343153715279554113705644779193296588949202400
[216]   1139907904748657547401119848910029175887302146934326501992649617448890055617904900367498856209342506201008327818771633900028281305880044110419086500
[217]   1491861036629579462958147636361512838488450736079948048690840973988409105048317934121519240384577289221596152537009880311557750649170195978612998000
[218]   1936681987918215541363099913258294189413906230782684852199577961645503562975568694295366720315758591053723445724650440954912125842730116797924213000
[219]   2493809683072770697097690299264104846642564187583183234339182580749004587941143250188554406981935719986986354768727965065229312728994944917875014000
[220]   3185275095197493481292958973150970281393456985049429494769592296320319496415732969559017219826926987801559844045511628106042894894761725099649449700
[221]   4035642654548860519285196889060052845204379890560363160794053588098142348400023671839478830549952744725958173451326949636615432445851959402270796000
[222]   5071821173960054436398963657872769116270369321920456404781715995853070789205435155149615287042508179182623109878019004273043719154922057086637622000
[223]   6322718772918812257035479358244976745843778795936712468741332048641944750668659072338982286088866698711969616798606651066843739574297452332220892000
[224]   7818719196868352657137624027829725708030030028903881043934593649436690606853654299276330773422393194389355285058991260471052302955716045964398156625
[225]   9590962214825179259422152140804463535183503502122094080559768209975673811073815940445632415398135651784275816339029279511157491625678349716328405460
[226]  11670418624234178302394211675757643682192316208334406513955470167005797778961501697444906700152598691330424112801916158697204912376378522884912882750
[227]  14086760806344338567647638762808785766170460973936684514642285576033429918217847863876230994897850402751260823382048579220414740049020772116590880500
[228]  16867042544438615916525462202836835588440946692476819616216420887092659507339791521220223954417162982241641249049558167224443965058695924508023291125
[229]  20034216471996958643209282616469953188017194324688624172973216075498704742342459798130571683849206686330683055639649875480562264174520923433110634000
[230]  23605533321352938227433546039405901365011563747785291960329311115044126022499159153449499679665804399980935252514543983718401624309979001088578181800
[231]  27590883102880057668428820046058845751312217367541250343242051952648978467856160049486428197011979168808885360081934526424105794648027403869766706000
[232]  31991153252908342727617899105128575461650803758054294579017724031304203482126323505654522349121648260386164490784656843138295080863445567417962258250
[233]  36796691295190711806873806696027717698379465266774896768998927211972216880728990126675587938045501003362626967941150360347910221765679880120231267000
[234]  41985968272717607061689343537775216348150928317217510415909032331609324389549745144540093929308328067939407694189261308602102688937762940137186958500
[235]  47524542810820780759188788855524287440885731627148330938858734468970554415405243440202829724238362834348435943209972374843231128755084859899964812600
[236]  53364423071472486869428089180991254965401351191501303808464256924903376780010125049380296088657483691111591207417977454802780716610582575735129980250
[237]  59443914307463023348223694277559878948801505124710313103099425435335407046087227903107165263314665377440759825984582481299300038756091983097359978000
[238]  65688022953204937565474082331925412451826873310079043471072054157534504424877903103013380101898138631373612748882122657906369370558202485523553253000
[239]  72009464492634701431607571426629531641751635176739369830212879453029456733548161560625546387854863269539274226808017306993593201197694774925401474000
[240]  78310292635740237806873233926459615660404903254704064690356506405169534197733625697180281696792163805623960721653718821355532606302493067731374102975
[241]  84484133133993617550983571870869294903341389403415173524865940520099912412492708221024370295294450578681451400954219475321321483977793351079490733500
[242]  90418968932662590684730351713037799090766197749936074144381316507049079813370295162170710357360589668919404598541912578959596133678712718717306198250
[243]  96000386768012133319590249966929021256862876623388918227367817526002726715430189925267667786827292734902083894748203478895373672794682639625781889500
[244] 101115161472865238783338910825822780586121964312339967149317742230256970351908027913089305824650058331433752298976591369164389483230464911409122727875
[245] 105655025865524494402182698658818905428764174954934822817246293922227691469748796513268825678001693603457308524644928124514627378395914356411164972800
[246] 109520453641092463709579626658531792212743352087432438286169938821821387499129850044242075397928584832852088104814864519313943014190886832865231984000
[247] 112624272165333950535357186928206782275452677855092466901567467452399321557809643365333956077222107479936965095639577278970613463985770265375582688000
[248] 114894922813828586634860356019501273853586804424751589218131327683294469169862257142860850352972553195258274875793601014433730670920967246532348468000
[249] 116279198992308449124436986814916951851822790020230524027988331631285968798414814457835077465658969498815603488754969701354618992257364442273702064000
[250] 116744315788277682920934734762176619659230081180311446124100284957811112673608473715666417775521605376810865902709989580160037468226393900042796872256
[251] 116279198992308449124436986814916951851822790020230524027988331631285968798414814457835077465658969498815603488754969701354618992257364442273702064000
[252] 114894922813828586634860356019501273853586804424751589218131327683294469169862257142860850352972553195258274875793601014433730670920967246532348468000
[253] 112624272165333950535357186928206782275452677855092466901567467452399321557809643365333956077222107479936965095639577278970613463985770265375582688000
[254] 109520453641092463709579626658531792212743352087432438286169938821821387499129850044242075397928584832852088104814864519313943014190886832865231984000
[255] 105655025865524494402182698658818905428764174954934822817246293922227691469748796513268825678001693603457308524644928124514627378395914356411164972800
[256] 101115161472865238783338910825822780586121964312339967149317742230256970351908027913089305824650058331433752298976591369164389483230464911409122727875
[257]  96000386768012133319590249966929021256862876623388918227367817526002726715430189925267667786827292734902083894748203478895373672794682639625781889500
[258]  90418968932662590684730351713037799090766197749936074144381316507049079813370295162170710357360589668919404598541912578959596133678712718717306198250
[259]  84484133133993617550983571870869294903341389403415173524865940520099912412492708221024370295294450578681451400954219475321321483977793351079490733500
[260]  78310292635740237806873233926459615660404903254704064690356506405169534197733625697180281696792163805623960721653718821355532606302493067731374102975
[261]  72009464492634701431607571426629531641751635176739369830212879453029456733548161560625546387854863269539274226808017306993593201197694774925401474000
[262]  65688022953204937565474082331925412451826873310079043471072054157534504424877903103013380101898138631373612748882122657906369370558202485523553253000
[263]  59443914307463023348223694277559878948801505124710313103099425435335407046087227903107165263314665377440759825984582481299300038756091983097359978000
[264]  53364423071472486869428089180991254965401351191501303808464256924903376780010125049380296088657483691111591207417977454802780716610582575735129980250
[265]  47524542810820780759188788855524287440885731627148330938858734468970554415405243440202829724238362834348435943209972374843231128755084859899964812600
[266]  41985968272717607061689343537775216348150928317217510415909032331609324389549745144540093929308328067939407694189261308602102688937762940137186958500
[267]  36796691295190711806873806696027717698379465266774896768998927211972216880728990126675587938045501003362626967941150360347910221765679880120231267000
[268]  31991153252908342727617899105128575461650803758054294579017724031304203482126323505654522349121648260386164490784656843138295080863445567417962258250
[269]  27590883102880057668428820046058845751312217367541250343242051952648978467856160049486428197011979168808885360081934526424105794648027403869766706000
[270]  23605533321352938227433546039405901365011563747785291960329311115044126022499159153449499679665804399980935252514543983718401624309979001088578181800
[271]  20034216471996958643209282616469953188017194324688624172973216075498704742342459798130571683849206686330683055639649875480562264174520923433110634000
[272]  16867042544438615916525462202836835588440946692476819616216420887092659507339791521220223954417162982241641249049558167224443965058695924508023291125
[273]  14086760806344338567647638762808785766170460973936684514642285576033429918217847863876230994897850402751260823382048579220414740049020772116590880500
[274]  11670418624234178302394211675757643682192316208334406513955470167005797778961501697444906700152598691330424112801916158697204912376378522884912882750
[275]   9590962214825179259422152140804463535183503502122094080559768209975673811073815940445632415398135651784275816339029279511157491625678349716328405460
[276]   7818719196868352657137624027829725708030030028903881043934593649436690606853654299276330773422393194389355285058991260471052302955716045964398156625
[277]   6322718772918812257035479358244976745843778795936712468741332048641944750668659072338982286088866698711969616798606651066843739574297452332220892000
[278]   5071821173960054436398963657872769116270369321920456404781715995853070789205435155149615287042508179182623109878019004273043719154922057086637622000
[279]   4035642654548860519285196889060052845204379890560363160794053588098142348400023671839478830549952744725958173451326949636615432445851959402270796000
[280]   3185275095197493481292958973150970281393456985049429494769592296320319496415732969559017219826926987801559844045511628106042894894761725099649449700
[281]   2493809683072770697097690299264104846642564187583183234339182580749004587941143250188554406981935719986986354768727965065229312728994944917875014000
[282]   1936681987918215541363099913258294189413906230782684852199577961645503562975568694295366720315758591053723445724650440954912125842730116797924213000
[283]   1491861036629579462958147636361512838488450736079948048690840973988409105048317934121519240384577289221596152537009880311557750649170195978612998000
[284]   1139907904748657547401119848910029175887302146934326501992649617448890055617904900367498856209342506201008327818771633900028281305880044110419086500
[285]    863930201493719404346111885489706322777744785044963243615481815329685094784096345541683343653396425752343153715279554113705644779193296588949202400
[286]    649458018605418433337112081749254753137115834911423417403246819216371662162869630389726989110070739638999223946801063407156341354987967715468806000
[287]    484264864047245800467393677680628979691089855996671119596846060321615106978585717433454967489739157779602208796569434038785564634032840038711932000
[288]    358154222368275539929009907451298516229868539330871348868500732112861172869579020185159403039286252107830800255796143924518490510586787945297366375
[289]    262729048934513544861419032455623825054436437156210124429488426325005427848964540758663645136085416771142317142660147100338823488734944790321943500
[290]    191158032155801234364687640855643541677538235310208056050420889498538431986660407241648376288669044616244927300349279441970661228010597761234241650
[291]    137949095370165839232248812988608741416780169811490349727107858401007115866662149555828725156771475496259225886849995473587075112997338590581411500
[292]     98737537439605001368287677789791873137352929762333846208786104129487969918261607045096587526593282118897870583396058404040064036357684128190119875
[293]     70093541936647919060081354881490476493410953551417883998046108050967569088731789301638533124680555224337054885141229174199089827858014671206638000
[294]     49351575445190881787200137620641253857605671378039122406787565872620023133902994508296518220438350106931191704844334826732012225736765431767939000
[295]     34462456073590920841231282541871519642938197640257827850163520575456694120623785995624009333594237701789238953213332116294218706785673487946425200
[296]     23867579375291009366393286895552910563521386879232617261092978776921021265972554490212574031712225435360790491245719877838901469226564408881814750
[297]     16393892904240289261765085948460585033529841492806242159134571281117469152385188942772273072287185147520542963683928804980255554620266462666297000
[298]     11167651877720733960195679354152680408746838332347876370148718020358544422597964279807957831121807332035806112845092440976482810697698295037779500
[299]      7544701268560495852707448928223549975140004492087862965786090435158615295534410650572600273868244418298437574564243053770065310237240988620841000
[300]      5054949849935532221313990781909778483343803009698868187076680591556272248008055135883642183491723760259953174958042846025943757858951462375963470
[301]      3358770664408991509178731416551347829464320936676988828622379130602174251168142947430991484047656983561430681035244415964082231135515921844494000
[302]      2213229676216520895121084608919596748554304193373247605615408764866995615835961743505852004389019005724253991807992181380305841046250557771703000
[303]      1446268897329607713643481031571221637669149274877567742283336420606155550942311634370160715739358954235651123359678059119803816921312245672598000
[304]       937220305177410261801861063222140337568494760364739622466504193616488958998800631483294937502150374948760760861370321205925499781245106570729625
[305]       602279278081221020698900879972260675945655649283570380339130563766661757258245651707297730329250732753957734848618304774955403138111609468403300
[306]       383805422306660454366946639198009254279094286308157595314151829851304060997901640793866200700012721853012282011374409905608835333110339367119750
[307]       242535022565120938590187778516005847980926031087239653064968908765970644409097453791563657771343544102554992541389692253055746106265165593554500
[308]       151978114789182925804890393680484183962073779220250821563438309713741345360246131758999305032043194843484134936650034431297918826328496621935125
[309]        94433003364152497587504710636417357024977882233942258058835454579412098087919926529863645845153053106630918795588370908767638882378871687416000
[310]        58182914975977829158752902359857145779905727440912810610443780079573260434815180539367601149755590785053243515991544656692319440433433846117600
[311]        35545832300436615884768654174832339865537261137535157607666618055044757178825994541735833499850682473183653594978757185760581008624927430104000
[312]        21532571489687565391734857817446513572392763958314566627721124398729035598711900539705360677794163421255482466189054833681890418686254116313000
[313]        12933301725435342791201767634760206235175206466974883469685531587735011797309384349727181493371574195514475091512914724384010858508037616188000
[314]         7702316632663723254632899833439995433050202577465933786086606391421806388843486857958544392549313294780913509913742208470732581340773994354000
[315]         4548034583096674683687997996888378255705833902884646616546377107315733296269487478032664307981499278823015596330019208811289714696457025237600
[316]         2662615183142040558488226675393512586410060987448289949560379002700666644967896150114059800558789134753980649750169473512938598793811866041000
[317]         1545492724599796412497898133351439482332653696184496374508232607245812816006602181769675089283335018279913058530066823742525874378742534232000
[318]          889387322647052652475205529570168003983885617615606404198133858886741337513233331018397928738522982217685816701264870266925267331163156492000
[319]          507424742074493989813440145397399927037828158012665722771349098173626719208177010173506028308499005528585638368746728490847644684237286776000
[320]          287012119735885662988227082240404333730771551875914049442544333654457613052125121379389347261994750002106251702322368302635699024521715332675
[321]          160941375552833082049473130228264112372395262734157410902361308591284642832967357782835147997380233646040888805040580356618148985713111401500
[322]           89467410633407210207626367425028807809499229905012970656902715024347674121432164730209600905375968393296022037584670446691455492057909754250
[323]           49304021958967440919373044587167578297494931650440584448695613852426891621098840006121699570145270507760656107399601670312938320700643765500
[324]           26934604588695176057805644728174880736594453401629578541417048308270246348563255188529446987394175555165543614227560171745031119642018353375
[325]           14586124331108772265150133760488550798894227072882479456275078468478656484145024348249792830096538146797340541858617200698847621713831477520
[326]            7829974717619739712887341742593547207995367293725257376834781386453266517562513070379490016156117103342130658973184080129749490183805241000
[327]            4166408565338944067407943312572713193245241312257476402352452480865040899253447321853306614101420110035262185508666758234178627804226642000
[328]            2197526468913528425797482295960607873266544960428486029289555729236744132837946300855555012925444143402744994185973625532051532347961003250
[329]            1148858822653881122301419315821351228577038702716412149051074727746869273094610224155487727122116695031222306990843354381498065543614871000
[330]             595317753557011127010735463652882000262647327771231749962829631650650441512661661607843640417824105607087922713437010906776270327145887700
[331]             305752320557981545594637549308126707083534881332656790011120958853808383858466714420946884806737456051978691423819612852422857871948039000
[332]             155638982452707473510523330822510281617823478750659631059877837488836195397833960051626576904634427930073490513932272807408021025178369250
[333]              78520567723888455104408166901446628563946980270603057111289719814187630110618934800820615375311062739496535754776642137070713309999898000
[334]              39260283861944227552204083450723314281973490135301528555644859907093815055309467400410307687655531369748267877388321068535356654999949000
[335]              19454349615172363503480232396477821405395818992418070866379244013664397908004094293934659928808412559337947664616302380229460312626840400
[336]               9553475257450714220459042694698930154435446826633874086168378756710195401252010590771484786468416881817742156731219918862681403522109125
[337]               4649168968017558255653658759438055030645143262812923887630902421663121797641928002630633545937152429133856717222314737962847923375744500
[338]               2242054857357579868850728928368056124246030626741143768295376019914464062176432734996429786946023212866327351796560065940663347663450750
[339]               1071424445108931972725127098512168413356510211009042154760622168808681941217056351237231933584825252166209530947028704077839121892268500
[340]                507350987242758963555133714295467983971759246977811137989588732877052330988076683968218650903402545878705101419034180460388525366633025
[341]                238053249146162563544930775035996708021939822628884991432065094605068542399097564325263883121831106570653420020661199042997548559124000
[342]                110673878989005402349836237516735311624235180695885127595609210649724848659229569379289349170675865335479221588553013590165526961698000
[343]                 50980970496393159099924564220536965704458188192273615627131939599581708711831696682005006323518328638500632685106052907423187346788000
[344]                 23267477813760831333395804019256696556976556820310923411220100340506768220225512729868563932535981384431974801051309030422791899551500
[345]                 10520946489700549820318102686968245399676356127444939281595175806142190847406318799592741952103226365134458170910157126799871119797200
[346]                  4713140768507471740315913053410630164594899421254235805338879335121501680196472294615245672184971348542893111245879637728265964071000
[347]                  2091710888617148841523488790274458343941252192718018196029358552186487777378261479454604707540304287249583686258978283026377401922000
[348]                   919631511374780956187051106068942892594860877832921793081873156564748936605959788380903793832375160773523862062137003744355581879500
[349]                   400527191200477665731896183732032434597188691778235279508437592543959422246721741644405090723555943947208100382363394180922774916000
[350]                   172798873917920364358618067838676850354787121310038649159354504211822493597871379966586196283591278674366923307819635775198111463760
[351]                    73845672614495882204537635828494380493498769790614807333057480432402775041825376054096665078457811399302103977700699049229962164000
[352]                    31258537555567859228625306075129723561168513348868199694958990296670492844409037022898872433779016757090947422378989086179728302375
[353]                    13105562487886807835231006513085549821679716644851256529331248056394427594823052349544003173369106175777507701167394857661755775500
[354]                     5442140355139437151917960331705016451375475555912809914722297921723109763951945467183526741483781378077100655569511423944288415250
[355]                     2238176033381289645577527347687133526481181496234564077604099990342462043766152220306464519032766425913399142853939909565820024300
[356]                      911616642809794939912195127569197644212840777960707278799422748875441000972168741416958863089188572352367628409610356424280627875
[357]                      367710914746808042989792992632953671615263507076587809935901612991774521400538652000117860741857575402635682047573925280382102000
[358]                      146878940806685894266872619962325069946878998636737588885010979491127811620885550938594564486272718666415928862578411494677767000
[359]                       58096962658911969320044323216295710118264116452414310923876209158050555014389270844792278988999236909835827015281711510429646000
[360]                       22754643708073854650350693259715819796320112277195605111851515253569800713969131080876975937358034456352365580985337008251611350
[361]                        8824515565458004573543205142272063078905306700297464586313607023545075069129302912251458812271813916590945100659133465803949000
[362]                        3388418960217300098680954460706676154607286274423612092534782807383329929859041725975007665485586006646799361855302629134665500
[363]                        1288159274132196731729949629690141348032522054739555010385124042476307246062115036321077294316834349634320418556561330084253000
[364]                         484829177351953165513744778207553199671581103020107242919675807195753001951949890043921948685182159065664553138046434674567750
[365]                         180648679780453782218819972154047219603657616467765986402947698023623036343740233002666808277218557898439395141847438673263600
[366]                          66632709755085411474154907761738728542332727385651388427316773861172431438264840041967265348154386110080104765435530658171000
[367]                          24329109283873147513724135259054467642159633432363177245941274379828626192717952494887230399598604192781291658224417188542000
[368]                           8792857431399806030775298884386533142410954474196474385082036664448932835955129570163047943333191189238890735173498603467625
[369]                           3145412414484483458163521552138272018423430868818250999541541571022382477902647976318488695176100913223668230468568606118500
[370]                           1113646017020181981133571144135442255171539037338353732270113367037654336770937526750600051535322215222433887003736452436550
[371]                            390226367149928996084539754009723701273046023865191334757721664999717153046420157621504061184883795091418882238506034546500
[372]                            135320433769733442190606527600146122215653056662929253182113158024095464362871506271973182507661316039766225292385157141125
[373]                             46437038934385738875060685074580974915827322393712987687159475139635977046776280972687848152763132582010929859049061968000
[374]                             15768727124778045019071409102865732123823716427811629508741319098218633916953443004094536672194967481057187412030029064000
[375]                              5298292313925423126407993458562885993604768719744707514937083217001460996096356849375764321857509073635214970442089765504
[376]                              1761400370320951837236699952979682843618606622255554360018977133311655916255437782372262075085608069692558168365056438000
[377]                               579346540901321028693238180820903640871902443394399842552660913874390805346616140621115377481738463241053615059063656000
[378]                               188517525213921922035101312806801978378952382374368202735389662451190658882629061630680400609137118991136493789060396000
[379]                                60683741625589642449293826286094568238079658706261004574452609021227599956941281052620076185526988171289319900436328000
[380]                                19322980886043017727275139422677480938967470272256793561865172872548788407341828966755340048549383075594757126191567600
[381]                                 6085978231824572512527602967772434941407077251104501909248873345684657766091914635198532298755711204911734527934352000
[382]                                 1895893742374670494740274222944816120490686368799569966493758974179252026609784925624673674219711082158367562366984000
[383]                                  584113476762953311695436966860282773414885095348170381321836968546088091749228776041022176391451456121899144541264000
[384]                                  177972074951212337157203450840242407524847802488895663058997201353886215454843142699998944369270365537141145602416375
[385]                                   53622755050235405481131429344073037072421675555095836142451104823508574007173518319999681939832110135865903610078700
[386]                                   15975691271443190752150555374529531770281069142062230975082583043273279820790037841450682443214229703690618951189250
[387]                                    4706017583835978671176132590946683777292097886809029279481691129026237466589313472675394828233649060001887753063500
[388]                                    1370566976735736056296141708188080584623729539199536877787193550463826891042763975289483545336088514897457000247875
[389]                                     394610543430340458368040800300938368837680484293954062499140559516577408217968034016509401227871243363792246858000
[390]                                     112312231591712284304750073931805535746109060914433079326678466939333570031267825066237291118701815418925485644200
[391]                                      31596791496389645200824828983372401360797945525799587534359671005950620724909106796128138166386699989979036882000
[392]                                       8785842533434875833902822344866305480425959342633048574605112601144432803609930206066242500347322191091109745250
[393]                                       2414430009188210152828256522253335857216294170494578234242626363673279243740133491743394885591630525796030159000
[394]                                        655695459348067224245237177363215575436912376251065662598885839880814413909122547250109778574376817919226464500
[395]                                        175958781495937027265810483039242660750158764259779646165776959562952728795865797489902877288313778985919000600
[396]                                         46655737517862090562904294745253735804966339008274906180319648368964738695873506910201520493113502003842159250
[397]                                         12222157939188053950987523056691154971578083770429698344466608136958017189850994253554050708523436293197946000
[398]                                          3163020773206958685808328831254243623297845799885072687135830749011748167222744744010219153210839040701981000
[399]                                           808591776609297709154008874155220174376892911248815574155024402003003290868972340574040986535101709653138000
[400]                                           204169423593847671561387240724193094030165460090325932474143661505758330944415515994945349100113181687417345
[401]                                            50915068227892187421792329357654138162136024960181030542180464215899833153220826931407817730701541567934500
[402]                                            12538785459107777499396618423899899696645438982731149312626532232273839507882740960719835709799633371207750
[403]                                             3049133932984025297620021353702705137149511216644299336569231163183216555266770754715989825211821514586500
[404]                                              732094038364976370963222948785055441345303435679448108037661937694980212526922681206561913479075957710125
[405]                                              173533401686512917561652847119420549059627481049943255238556903749921235561937228137851712824669856642400
[406]                                               40605106305957456079697094769322542267646824383607411940056418365129353148729154367231312114146887638000
[407]                                                9378083520294842436097117710850906567957743223732424379275929548703093847618035652382661765920902796000
[408]                                                2137651390655442025875078301738074291225662058350773204099660411836734627030581656057812608408441078500
[409]                                                 480840899609537081614932038532769767219464326083792505567649774789681138598566044883419951035639558000
[410]                                                 106723224059677742504777598796297680041393301642988092699161291477709716127974414839978574498154145800
[411]                                                  23370049064163009307615532583130878841181014958318560445071815652053222509775419308024505364559302000
[412]                                                   5048384385219679195091704854122932565206578474005708445658717458817322338276728928189759653994606500
[413]                                                   1075684808472958278857312414437816139801885970248189693021712194614828972804726744989585592134444000
[414]                                                    226049706128375290484507681294903391697497776356503631142243866984275653705341127570275233129702000
[415]                                                     46844035486844036100404001424967931773457370522070631995742102555777605346167077038659445901576800
[416]                                                      9571497635533036222438317598851620674865087726865393556822304608752635707750484491072242552004875
[417]                                                      1928071466150539670706999228545650207886492491742669205690823949964559710913766660072106413353500
[418]                                                       382846726532284192987274966433705663288466212475219004957747339347029799057039791354030699302250
[419]                                                        74924657698442252565528752380820678734258304112095366125382534192020151605434994966659945925500
[420]                                                        14449755413271005851923402244872559470178387221618392038466631594175314952476749029284418142775
[421]                                                         2745796753115630565686157196175308212860501134749338154577982250674644171492018817916278982000
[422]                                                          514023562787049323908072081748458172549714667405681787231423217543357558170306840320819999000
[423]                                                           94784486755058740578793433513900088555266534415232102610049671320051748315092041477598014000
[424]                                                           17213220472027176944733713161722421742347931957483188445692982763311284481750205645695865750
[425]                                                            3078128837350742230117087530096244829219865479455817227935686329439194401442389715465613640
[426]                                                             541924091082877153189628086284550145989412936523911483791494072084365211521547485117185500
[427]                                                              93916587213426017180403930644160915230015356680958898830376021860053924244952023181901000
[428]                                                              16018483333131073023760483497719034606988600555397195361255723354635365583835274981959750
[429]                                                               2688416783182837430561200027589208605368716177129599221469492031547194223860465731238000
[430]                                                                443901375827863854813593492927520490653904299014422197033334730790350674172309457948600
[431]                                                                 72095351062530092429121913004469685257014619329488523880123970197968786988542139342000
[432]                                                                 11515229683598556429651416660436130284106501698459972564186467462175570144003258367125
[433]                                                                  1808396347539727106735095457066182123139127287517963358809884035630343579196816556500
[434]                                                                   279176394666271235371546994524041940668943613510837661383092696744776543332227440750
[435]                                                                    42357797811434256401200233651923604791150065498196058968469236747483337609027611700
[436]                                                                     6314809306750519876325722906823473191341179489409962919611239423363341616024758625
[437]                                                                      924823330965751194702165368505039552049966790211070084336657489920489389989896000
[438]                                                                      133022533906032706087297758483601579404447278044058025829245255399522446505396000
[439]                                                                       18786781553927170335791482974905006658486859313739402281123475705627315907368000
[440]                                                                        2604531079067175887462001048793648650381132768495689861701209131916514250794200
[441]                                                                         354357969941112365641088578067163081684507859659277532204246140396804659972000
[442]                                                                          47301176983089659667023135986340773347027067239586819909616566252062160494000
[443]                                                                           6192930620810835802905963628008498542048690518952676195841446597335452164000
[444]                                                                            795038390509499190913603438730820758776521080135816538655320846955226967000
[445]                                                                            100049774985465066721711893413316769643786922444057811606062848156163393600
[446]                                                                             12337976735875736927565368021821574731857131691531792911061561992351988000
[447]                                                                              1490493833864182984538098150287170101835089734547464915430255811156616000
[448]                                                                               176330743738396647724373218672366105797454812346017054727240084802010375
[449]                                                                                20421377893979121785450795926421018934226392521142286961729363941435500
[450]                                                                                 2314422827984300469017756871661048812545657819062792522329327913362690
[451]                                                                                  256587896672317125168265728565526475891979802556850612231632806359500
[452]                                                                                   27815944550760042330188098893165480793599580365676283184402671485875
[453]                                                                                    2947384853060666736973573392653295978129756859939208814241342674000
[454]                                                                                     305125744700113076294621034041200244431935181535556859624103757000
[455]                                                                                      30847877486165278042972675969000464272239600770627726467491808400
[456]                                                                                       3044198436134731385819671970625045816339434286575104585607744250
[457]                                                                                        293095691881680921173009992795409225205547283608981623121971000
[458]                                                                                         27517717796751702206199628144547154331525181648878187323678500
[459]                                                                                          2517961105585123077691469241984706932296421850224147859683000
[460]                                                                                           224426968106500100402935302002984748313376730128674048363050
[461]                                                                                            19473055800997839514354473058827310048883013460188637602000
[462]                                                                                             1643829385798518920042910063407500198931682954431508369000
[463]                                                                                              134914722808517751536999098076641485009511775957661594000
[464]                                                                                               10758286086024044842390014286283911520155033858692842625
[465]                                                                                                 832899567950248632959226912486496375753938105189123300
[466]                                                                                                  62556834502701077582774553512934277148900930647251750
[467]                                                                                                   4554459043023204791893650576958812469084864329778500
[468]                                                                                                    321147753033687517377116386836839340768804536074125
[469]                                                                                                     21912000206989340204835233217012492333905639988000
[470]                                                                                                      1445259588120573502872111127079547366704414552400
[471]                                                                                                        92054750835705318654274594081499832274166532000
[472]                                                                                                         5655906301346301357995684805854862576167011500
[473]                                                                                                          334810521009929044447947514934325903028914000
[474]                                                                                                           19071485373983300000199541989929956501647000
[475]                                                                                                            1043912883628559578958290719448797619037520
[476]                                                                                                              54827357333432750995708546189537690075500
[477]                                                                                                               2758609174009195018652002324001896356000
[478]                                                                                                                132736424690819007173631910987538946000
[479]                                                                                                                  6096453743628430392108354993164628000
[480]                                                                                                                   266719851283743829654740530950952475
[481]                                                                                                                    11090222506600575037619148896089500
[482]                                                                                                                      437166447355624327209053587190250
[483]                                                                                                                       16291917292756186107169698901500
[484]                                                                                                                         572236764414990007896456366375
[485]                                                                                                                          18877913877607917786274849200
[486]                                                                                                                            582651662889133265008483000
[487]                                                                                                                             16749739795580833080326000
[488]                                                                                                                               446202084718341864844750
[489]                                                                                                                                10949744410266058033000
[490]                                                                                                                                  245810588801891098700
[491]                                                                                                                                    5006325637513057000
[492]                                                                                                                                      91579127515482750
[493]                                                                                                                                       1486071034734000
[494]                                                                                                                                         21057686727000
[495]                                                                                                                                           255244687600
[496]                                                                                                                                             2573031125
[497]                                                                                                                                               20708500
[498]                                                                                                                                                 124750
[499]                                                                                                                                                    500
[500]                                                                                                                                                      1
```

And with package `gmp`.

```## 1 from 500, 2 from 500, 3 from 500, ...
print(gmp::chooseZ(500, 1:500), right = TRUE)
```
```Big Integer ('bigz') object of length 500:
[1]                                                                                                                                                    500
[2]                                                                                                                                                 124750
[3]                                                                                                                                               20708500
[4]                                                                                                                                             2573031125
[5]                                                                                                                                           255244687600
[6]                                                                                                                                         21057686727000
[7]                                                                                                                                       1486071034734000
[8]                                                                                                                                      91579127515482750
[9]                                                                                                                                    5006325637513057000
[10]                                                                                                                                  245810588801891098700
[11]                                                                                                                                10949744410266058033000
[12]                                                                                                                               446202084718341864844750
[13]                                                                                                                             16749739795580833080326000
[14]                                                                                                                            582651662889133265008483000
[15]                                                                                                                          18877913877607917786274849200
[16]                                                                                                                         572236764414990007896456366375
[17]                                                                                                                       16291917292756186107169698901500
[18]                                                                                                                      437166447355624327209053587190250
[19]                                                                                                                    11090222506600575037619148896089500
[20]                                                                                                                   266719851283743829654740530950952475
[21]                                                                                                                  6096453743628430392108354993164628000
[22]                                                                                                                132736424690819007173631910987538946000
[23]                                                                                                               2758609174009195018652002324001896356000
[24]                                                                                                              54827357333432750995708546189537690075500
[25]                                                                                                            1043912883628559578958290719448797619037520
[26]                                                                                                           19071485373983300000199541989929956501647000
[27]                                                                                                          334810521009929044447947514934325903028914000
[28]                                                                                                         5655906301346301357995684805854862576167011500
[29]                                                                                                        92054750835705318654274594081499832274166532000
[30]                                                                                                      1445259588120573502872111127079547366704414552400
[31]                                                                                                     21912000206989340204835233217012492333905639988000
[32]                                                                                                    321147753033687517377116386836839340768804536074125
[33]                                                                                                   4554459043023204791893650576958812469084864329778500
[34]                                                                                                  62556834502701077582774553512934277148900930647251750
[35]                                                                                                 832899567950248632959226912486496375753938105189123300
[36]                                                                                               10758286086024044842390014286283911520155033858692842625
[37]                                                                                              134914722808517751536999098076641485009511775957661594000
[38]                                                                                             1643829385798518920042910063407500198931682954431508369000
[39]                                                                                            19473055800997839514354473058827310048883013460188637602000
[40]                                                                                           224426968106500100402935302002984748313376730128674048363050
[41]                                                                                          2517961105585123077691469241984706932296421850224147859683000
[42]                                                                                         27517717796751702206199628144547154331525181648878187323678500
[43]                                                                                        293095691881680921173009992795409225205547283608981623121971000
[44]                                                                                       3044198436134731385819671970625045816339434286575104585607744250
[45]                                                                                      30847877486165278042972675969000464272239600770627726467491808400
[46]                                                                                     305125744700113076294621034041200244431935181535556859624103757000
[47]                                                                                    2947384853060666736973573392653295978129756859939208814241342674000
[48]                                                                                   27815944550760042330188098893165480793599580365676283184402671485875
[49]                                                                                  256587896672317125168265728565526475891979802556850612231632806359500
[50]                                                                                 2314422827984300469017756871661048812545657819062792522329327913362690
[51]                                                                                20421377893979121785450795926421018934226392521142286961729363941435500
[52]                                                                               176330743738396647724373218672366105797454812346017054727240084802010375
[53]                                                                              1490493833864182984538098150287170101835089734547464915430255811156616000
[54]                                                                             12337976735875736927565368021821574731857131691531792911061561992351988000
[55]                                                                            100049774985465066721711893413316769643786922444057811606062848156163393600
[56]                                                                            795038390509499190913603438730820758776521080135816538655320846955226967000
[57]                                                                           6192930620810835802905963628008498542048690518952676195841446597335452164000
[58]                                                                          47301176983089659667023135986340773347027067239586819909616566252062160494000
[59]                                                                         354357969941112365641088578067163081684507859659277532204246140396804659972000
[60]                                                                        2604531079067175887462001048793648650381132768495689861701209131916514250794200
[61]                                                                       18786781553927170335791482974905006658486859313739402281123475705627315907368000
[62]                                                                      133022533906032706087297758483601579404447278044058025829245255399522446505396000
[63]                                                                      924823330965751194702165368505039552049966790211070084336657489920489389989896000
[64]                                                                     6314809306750519876325722906823473191341179489409962919611239423363341616024758625
[65]                                                                    42357797811434256401200233651923604791150065498196058968469236747483337609027611700
[66]                                                                   279176394666271235371546994524041940668943613510837661383092696744776543332227440750
[67]                                                                  1808396347539727106735095457066182123139127287517963358809884035630343579196816556500
[68]                                                                 11515229683598556429651416660436130284106501698459972564186467462175570144003258367125
[69]                                                                 72095351062530092429121913004469685257014619329488523880123970197968786988542139342000
[70]                                                                443901375827863854813593492927520490653904299014422197033334730790350674172309457948600
[71]                                                               2688416783182837430561200027589208605368716177129599221469492031547194223860465731238000
[72]                                                              16018483333131073023760483497719034606988600555397195361255723354635365583835274981959750
[73]                                                              93916587213426017180403930644160915230015356680958898830376021860053924244952023181901000
[74]                                                             541924091082877153189628086284550145989412936523911483791494072084365211521547485117185500
[75]                                                            3078128837350742230117087530096244829219865479455817227935686329439194401442389715465613640
[76]                                                           17213220472027176944733713161722421742347931957483188445692982763311284481750205645695865750
[77]                                                           94784486755058740578793433513900088555266534415232102610049671320051748315092041477598014000
[78]                                                          514023562787049323908072081748458172549714667405681787231423217543357558170306840320819999000
[79]                                                         2745796753115630565686157196175308212860501134749338154577982250674644171492018817916278982000
[80]                                                        14449755413271005851923402244872559470178387221618392038466631594175314952476749029284418142775
[81]                                                        74924657698442252565528752380820678734258304112095366125382534192020151605434994966659945925500
[82]                                                       382846726532284192987274966433705663288466212475219004957747339347029799057039791354030699302250
[83]                                                      1928071466150539670706999228545650207886492491742669205690823949964559710913766660072106413353500
[84]                                                      9571497635533036222438317598851620674865087726865393556822304608752635707750484491072242552004875
[85]                                                     46844035486844036100404001424967931773457370522070631995742102555777605346167077038659445901576800
[86]                                                    226049706128375290484507681294903391697497776356503631142243866984275653705341127570275233129702000
[87]                                                   1075684808472958278857312414437816139801885970248189693021712194614828972804726744989585592134444000
[88]                                                   5048384385219679195091704854122932565206578474005708445658717458817322338276728928189759653994606500
[89]                                                  23370049064163009307615532583130878841181014958318560445071815652053222509775419308024505364559302000
[90]                                                 106723224059677742504777598796297680041393301642988092699161291477709716127974414839978574498154145800
[91]                                                 480840899609537081614932038532769767219464326083792505567649774789681138598566044883419951035639558000
[92]                                                2137651390655442025875078301738074291225662058350773204099660411836734627030581656057812608408441078500
[93]                                                9378083520294842436097117710850906567957743223732424379275929548703093847618035652382661765920902796000
[94]                                               40605106305957456079697094769322542267646824383607411940056418365129353148729154367231312114146887638000
[95]                                              173533401686512917561652847119420549059627481049943255238556903749921235561937228137851712824669856642400
[96]                                              732094038364976370963222948785055441345303435679448108037661937694980212526922681206561913479075957710125
[97]                                             3049133932984025297620021353702705137149511216644299336569231163183216555266770754715989825211821514586500
[98]                                            12538785459107777499396618423899899696645438982731149312626532232273839507882740960719835709799633371207750
[99]                                            50915068227892187421792329357654138162136024960181030542180464215899833153220826931407817730701541567934500
[100]                                           204169423593847671561387240724193094030165460090325932474143661505758330944415515994945349100113181687417345
[101]                                           808591776609297709154008874155220174376892911248815574155024402003003290868972340574040986535101709653138000
[102]                                          3163020773206958685808328831254243623297845799885072687135830749011748167222744744010219153210839040701981000
[103]                                         12222157939188053950987523056691154971578083770429698344466608136958017189850994253554050708523436293197946000
[104]                                         46655737517862090562904294745253735804966339008274906180319648368964738695873506910201520493113502003842159250
[105]                                        175958781495937027265810483039242660750158764259779646165776959562952728795865797489902877288313778985919000600
[106]                                        655695459348067224245237177363215575436912376251065662598885839880814413909122547250109778574376817919226464500
[107]                                       2414430009188210152828256522253335857216294170494578234242626363673279243740133491743394885591630525796030159000
[108]                                       8785842533434875833902822344866305480425959342633048574605112601144432803609930206066242500347322191091109745250
[109]                                      31596791496389645200824828983372401360797945525799587534359671005950620724909106796128138166386699989979036882000
[110]                                     112312231591712284304750073931805535746109060914433079326678466939333570031267825066237291118701815418925485644200
[111]                                     394610543430340458368040800300938368837680484293954062499140559516577408217968034016509401227871243363792246858000
[112]                                    1370566976735736056296141708188080584623729539199536877787193550463826891042763975289483545336088514897457000247875
[113]                                    4706017583835978671176132590946683777292097886809029279481691129026237466589313472675394828233649060001887753063500
[114]                                   15975691271443190752150555374529531770281069142062230975082583043273279820790037841450682443214229703690618951189250
[115]                                   53622755050235405481131429344073037072421675555095836142451104823508574007173518319999681939832110135865903610078700
[116]                                  177972074951212337157203450840242407524847802488895663058997201353886215454843142699998944369270365537141145602416375
[117]                                  584113476762953311695436966860282773414885095348170381321836968546088091749228776041022176391451456121899144541264000
[118]                                 1895893742374670494740274222944816120490686368799569966493758974179252026609784925624673674219711082158367562366984000
[119]                                 6085978231824572512527602967772434941407077251104501909248873345684657766091914635198532298755711204911734527934352000
[120]                                19322980886043017727275139422677480938967470272256793561865172872548788407341828966755340048549383075594757126191567600
[121]                                60683741625589642449293826286094568238079658706261004574452609021227599956941281052620076185526988171289319900436328000
[122]                               188517525213921922035101312806801978378952382374368202735389662451190658882629061630680400609137118991136493789060396000
[123]                               579346540901321028693238180820903640871902443394399842552660913874390805346616140621115377481738463241053615059063656000
[124]                              1761400370320951837236699952979682843618606622255554360018977133311655916255437782372262075085608069692558168365056438000
[125]                              5298292313925423126407993458562885993604768719744707514937083217001460996096356849375764321857509073635214970442089765504
[126]                             15768727124778045019071409102865732123823716427811629508741319098218633916953443004094536672194967481057187412030029064000
[127]                             46437038934385738875060685074580974915827322393712987687159475139635977046776280972687848152763132582010929859049061968000
[128]                            135320433769733442190606527600146122215653056662929253182113158024095464362871506271973182507661316039766225292385157141125
[129]                            390226367149928996084539754009723701273046023865191334757721664999717153046420157621504061184883795091418882238506034546500
[130]                           1113646017020181981133571144135442255171539037338353732270113367037654336770937526750600051535322215222433887003736452436550
[131]                           3145412414484483458163521552138272018423430868818250999541541571022382477902647976318488695176100913223668230468568606118500
[132]                           8792857431399806030775298884386533142410954474196474385082036664448932835955129570163047943333191189238890735173498603467625
[133]                          24329109283873147513724135259054467642159633432363177245941274379828626192717952494887230399598604192781291658224417188542000
[134]                          66632709755085411474154907761738728542332727385651388427316773861172431438264840041967265348154386110080104765435530658171000
[135]                         180648679780453782218819972154047219603657616467765986402947698023623036343740233002666808277218557898439395141847438673263600
[136]                         484829177351953165513744778207553199671581103020107242919675807195753001951949890043921948685182159065664553138046434674567750
[137]                        1288159274132196731729949629690141348032522054739555010385124042476307246062115036321077294316834349634320418556561330084253000
[138]                        3388418960217300098680954460706676154607286274423612092534782807383329929859041725975007665485586006646799361855302629134665500
[139]                        8824515565458004573543205142272063078905306700297464586313607023545075069129302912251458812271813916590945100659133465803949000
[140]                       22754643708073854650350693259715819796320112277195605111851515253569800713969131080876975937358034456352365580985337008251611350
[141]                       58096962658911969320044323216295710118264116452414310923876209158050555014389270844792278988999236909835827015281711510429646000
[142]                      146878940806685894266872619962325069946878998636737588885010979491127811620885550938594564486272718666415928862578411494677767000
[143]                      367710914746808042989792992632953671615263507076587809935901612991774521400538652000117860741857575402635682047573925280382102000
[144]                      911616642809794939912195127569197644212840777960707278799422748875441000972168741416958863089188572352367628409610356424280627875
[145]                     2238176033381289645577527347687133526481181496234564077604099990342462043766152220306464519032766425913399142853939909565820024300
[146]                     5442140355139437151917960331705016451375475555912809914722297921723109763951945467183526741483781378077100655569511423944288415250
[147]                    13105562487886807835231006513085549821679716644851256529331248056394427594823052349544003173369106175777507701167394857661755775500
[148]                    31258537555567859228625306075129723561168513348868199694958990296670492844409037022898872433779016757090947422378989086179728302375
[149]                    73845672614495882204537635828494380493498769790614807333057480432402775041825376054096665078457811399302103977700699049229962164000
[150]                   172798873917920364358618067838676850354787121310038649159354504211822493597871379966586196283591278674366923307819635775198111463760
[151]                   400527191200477665731896183732032434597188691778235279508437592543959422246721741644405090723555943947208100382363394180922774916000
[152]                   919631511374780956187051106068942892594860877832921793081873156564748936605959788380903793832375160773523862062137003744355581879500
[153]                  2091710888617148841523488790274458343941252192718018196029358552186487777378261479454604707540304287249583686258978283026377401922000
[154]                  4713140768507471740315913053410630164594899421254235805338879335121501680196472294615245672184971348542893111245879637728265964071000
[155]                 10520946489700549820318102686968245399676356127444939281595175806142190847406318799592741952103226365134458170910157126799871119797200
[156]                 23267477813760831333395804019256696556976556820310923411220100340506768220225512729868563932535981384431974801051309030422791899551500
[157]                 50980970496393159099924564220536965704458188192273615627131939599581708711831696682005006323518328638500632685106052907423187346788000
[158]                110673878989005402349836237516735311624235180695885127595609210649724848659229569379289349170675865335479221588553013590165526961698000
[159]                238053249146162563544930775035996708021939822628884991432065094605068542399097564325263883121831106570653420020661199042997548559124000
[160]                507350987242758963555133714295467983971759246977811137989588732877052330988076683968218650903402545878705101419034180460388525366633025
[161]               1071424445108931972725127098512168413356510211009042154760622168808681941217056351237231933584825252166209530947028704077839121892268500
[162]               2242054857357579868850728928368056124246030626741143768295376019914464062176432734996429786946023212866327351796560065940663347663450750
[163]               4649168968017558255653658759438055030645143262812923887630902421663121797641928002630633545937152429133856717222314737962847923375744500
[164]               9553475257450714220459042694698930154435446826633874086168378756710195401252010590771484786468416881817742156731219918862681403522109125
[165]              19454349615172363503480232396477821405395818992418070866379244013664397908004094293934659928808412559337947664616302380229460312626840400
[166]              39260283861944227552204083450723314281973490135301528555644859907093815055309467400410307687655531369748267877388321068535356654999949000
[167]              78520567723888455104408166901446628563946980270603057111289719814187630110618934800820615375311062739496535754776642137070713309999898000
[168]             155638982452707473510523330822510281617823478750659631059877837488836195397833960051626576904634427930073490513932272807408021025178369250
[169]             305752320557981545594637549308126707083534881332656790011120958853808383858466714420946884806737456051978691423819612852422857871948039000
[170]             595317753557011127010735463652882000262647327771231749962829631650650441512661661607843640417824105607087922713437010906776270327145887700
[171]            1148858822653881122301419315821351228577038702716412149051074727746869273094610224155487727122116695031222306990843354381498065543614871000
[172]            2197526468913528425797482295960607873266544960428486029289555729236744132837946300855555012925444143402744994185973625532051532347961003250
[173]            4166408565338944067407943312572713193245241312257476402352452480865040899253447321853306614101420110035262185508666758234178627804226642000
[174]            7829974717619739712887341742593547207995367293725257376834781386453266517562513070379490016156117103342130658973184080129749490183805241000
[175]           14586124331108772265150133760488550798894227072882479456275078468478656484145024348249792830096538146797340541858617200698847621713831477520
[176]           26934604588695176057805644728174880736594453401629578541417048308270246348563255188529446987394175555165543614227560171745031119642018353375
[177]           49304021958967440919373044587167578297494931650440584448695613852426891621098840006121699570145270507760656107399601670312938320700643765500
[178]           89467410633407210207626367425028807809499229905012970656902715024347674121432164730209600905375968393296022037584670446691455492057909754250
[179]          160941375552833082049473130228264112372395262734157410902361308591284642832967357782835147997380233646040888805040580356618148985713111401500
[180]          287012119735885662988227082240404333730771551875914049442544333654457613052125121379389347261994750002106251702322368302635699024521715332675
[181]          507424742074493989813440145397399927037828158012665722771349098173626719208177010173506028308499005528585638368746728490847644684237286776000
[182]          889387322647052652475205529570168003983885617615606404198133858886741337513233331018397928738522982217685816701264870266925267331163156492000
[183]         1545492724599796412497898133351439482332653696184496374508232607245812816006602181769675089283335018279913058530066823742525874378742534232000
[184]         2662615183142040558488226675393512586410060987448289949560379002700666644967896150114059800558789134753980649750169473512938598793811866041000
[185]         4548034583096674683687997996888378255705833902884646616546377107315733296269487478032664307981499278823015596330019208811289714696457025237600
[186]         7702316632663723254632899833439995433050202577465933786086606391421806388843486857958544392549313294780913509913742208470732581340773994354000
[187]        12933301725435342791201767634760206235175206466974883469685531587735011797309384349727181493371574195514475091512914724384010858508037616188000
[188]        21532571489687565391734857817446513572392763958314566627721124398729035598711900539705360677794163421255482466189054833681890418686254116313000
[189]        35545832300436615884768654174832339865537261137535157607666618055044757178825994541735833499850682473183653594978757185760581008624927430104000
[190]        58182914975977829158752902359857145779905727440912810610443780079573260434815180539367601149755590785053243515991544656692319440433433846117600
[191]        94433003364152497587504710636417357024977882233942258058835454579412098087919926529863645845153053106630918795588370908767638882378871687416000
[192]       151978114789182925804890393680484183962073779220250821563438309713741345360246131758999305032043194843484134936650034431297918826328496621935125
[193]       242535022565120938590187778516005847980926031087239653064968908765970644409097453791563657771343544102554992541389692253055746106265165593554500
[194]       383805422306660454366946639198009254279094286308157595314151829851304060997901640793866200700012721853012282011374409905608835333110339367119750
[195]       602279278081221020698900879972260675945655649283570380339130563766661757258245651707297730329250732753957734848618304774955403138111609468403300
[196]       937220305177410261801861063222140337568494760364739622466504193616488958998800631483294937502150374948760760861370321205925499781245106570729625
[197]      1446268897329607713643481031571221637669149274877567742283336420606155550942311634370160715739358954235651123359678059119803816921312245672598000
[198]      2213229676216520895121084608919596748554304193373247605615408764866995615835961743505852004389019005724253991807992181380305841046250557771703000
[199]      3358770664408991509178731416551347829464320936676988828622379130602174251168142947430991484047656983561430681035244415964082231135515921844494000
[200]      5054949849935532221313990781909778483343803009698868187076680591556272248008055135883642183491723760259953174958042846025943757858951462375963470
[201]      7544701268560495852707448928223549975140004492087862965786090435158615295534410650572600273868244418298437574564243053770065310237240988620841000
[202]     11167651877720733960195679354152680408746838332347876370148718020358544422597964279807957831121807332035806112845092440976482810697698295037779500
[203]     16393892904240289261765085948460585033529841492806242159134571281117469152385188942772273072287185147520542963683928804980255554620266462666297000
[204]     23867579375291009366393286895552910563521386879232617261092978776921021265972554490212574031712225435360790491245719877838901469226564408881814750
[205]     34462456073590920841231282541871519642938197640257827850163520575456694120623785995624009333594237701789238953213332116294218706785673487946425200
[206]     49351575445190881787200137620641253857605671378039122406787565872620023133902994508296518220438350106931191704844334826732012225736765431767939000
[207]     70093541936647919060081354881490476493410953551417883998046108050967569088731789301638533124680555224337054885141229174199089827858014671206638000
[208]     98737537439605001368287677789791873137352929762333846208786104129487969918261607045096587526593282118897870583396058404040064036357684128190119875
[209]    137949095370165839232248812988608741416780169811490349727107858401007115866662149555828725156771475496259225886849995473587075112997338590581411500
[210]    191158032155801234364687640855643541677538235310208056050420889498538431986660407241648376288669044616244927300349279441970661228010597761234241650
[211]    262729048934513544861419032455623825054436437156210124429488426325005427848964540758663645136085416771142317142660147100338823488734944790321943500
[212]    358154222368275539929009907451298516229868539330871348868500732112861172869579020185159403039286252107830800255796143924518490510586787945297366375
[213]    484264864047245800467393677680628979691089855996671119596846060321615106978585717433454967489739157779602208796569434038785564634032840038711932000
[214]    649458018605418433337112081749254753137115834911423417403246819216371662162869630389726989110070739638999223946801063407156341354987967715468806000
[215]    863930201493719404346111885489706322777744785044963243615481815329685094784096345541683343653396425752343153715279554113705644779193296588949202400
[216]   1139907904748657547401119848910029175887302146934326501992649617448890055617904900367498856209342506201008327818771633900028281305880044110419086500
[217]   1491861036629579462958147636361512838488450736079948048690840973988409105048317934121519240384577289221596152537009880311557750649170195978612998000
[218]   1936681987918215541363099913258294189413906230782684852199577961645503562975568694295366720315758591053723445724650440954912125842730116797924213000
[219]   2493809683072770697097690299264104846642564187583183234339182580749004587941143250188554406981935719986986354768727965065229312728994944917875014000
[220]   3185275095197493481292958973150970281393456985049429494769592296320319496415732969559017219826926987801559844045511628106042894894761725099649449700
[221]   4035642654548860519285196889060052845204379890560363160794053588098142348400023671839478830549952744725958173451326949636615432445851959402270796000
[222]   5071821173960054436398963657872769116270369321920456404781715995853070789205435155149615287042508179182623109878019004273043719154922057086637622000
[223]   6322718772918812257035479358244976745843778795936712468741332048641944750668659072338982286088866698711969616798606651066843739574297452332220892000
[224]   7818719196868352657137624027829725708030030028903881043934593649436690606853654299276330773422393194389355285058991260471052302955716045964398156625
[225]   9590962214825179259422152140804463535183503502122094080559768209975673811073815940445632415398135651784275816339029279511157491625678349716328405460
[226]  11670418624234178302394211675757643682192316208334406513955470167005797778961501697444906700152598691330424112801916158697204912376378522884912882750
[227]  14086760806344338567647638762808785766170460973936684514642285576033429918217847863876230994897850402751260823382048579220414740049020772116590880500
[228]  16867042544438615916525462202836835588440946692476819616216420887092659507339791521220223954417162982241641249049558167224443965058695924508023291125
[229]  20034216471996958643209282616469953188017194324688624172973216075498704742342459798130571683849206686330683055639649875480562264174520923433110634000
[230]  23605533321352938227433546039405901365011563747785291960329311115044126022499159153449499679665804399980935252514543983718401624309979001088578181800
[231]  27590883102880057668428820046058845751312217367541250343242051952648978467856160049486428197011979168808885360081934526424105794648027403869766706000
[232]  31991153252908342727617899105128575461650803758054294579017724031304203482126323505654522349121648260386164490784656843138295080863445567417962258250
[233]  36796691295190711806873806696027717698379465266774896768998927211972216880728990126675587938045501003362626967941150360347910221765679880120231267000
[234]  41985968272717607061689343537775216348150928317217510415909032331609324389549745144540093929308328067939407694189261308602102688937762940137186958500
[235]  47524542810820780759188788855524287440885731627148330938858734468970554415405243440202829724238362834348435943209972374843231128755084859899964812600
[236]  53364423071472486869428089180991254965401351191501303808464256924903376780010125049380296088657483691111591207417977454802780716610582575735129980250
[237]  59443914307463023348223694277559878948801505124710313103099425435335407046087227903107165263314665377440759825984582481299300038756091983097359978000
[238]  65688022953204937565474082331925412451826873310079043471072054157534504424877903103013380101898138631373612748882122657906369370558202485523553253000
[239]  72009464492634701431607571426629531641751635176739369830212879453029456733548161560625546387854863269539274226808017306993593201197694774925401474000
[240]  78310292635740237806873233926459615660404903254704064690356506405169534197733625697180281696792163805623960721653718821355532606302493067731374102975
[241]  84484133133993617550983571870869294903341389403415173524865940520099912412492708221024370295294450578681451400954219475321321483977793351079490733500
[242]  90418968932662590684730351713037799090766197749936074144381316507049079813370295162170710357360589668919404598541912578959596133678712718717306198250
[243]  96000386768012133319590249966929021256862876623388918227367817526002726715430189925267667786827292734902083894748203478895373672794682639625781889500
[244] 101115161472865238783338910825822780586121964312339967149317742230256970351908027913089305824650058331433752298976591369164389483230464911409122727875
[245] 105655025865524494402182698658818905428764174954934822817246293922227691469748796513268825678001693603457308524644928124514627378395914356411164972800
[246] 109520453641092463709579626658531792212743352087432438286169938821821387499129850044242075397928584832852088104814864519313943014190886832865231984000
[247] 112624272165333950535357186928206782275452677855092466901567467452399321557809643365333956077222107479936965095639577278970613463985770265375582688000
[248] 114894922813828586634860356019501273853586804424751589218131327683294469169862257142860850352972553195258274875793601014433730670920967246532348468000
[249] 116279198992308449124436986814916951851822790020230524027988331631285968798414814457835077465658969498815603488754969701354618992257364442273702064000
[250] 116744315788277682920934734762176619659230081180311446124100284957811112673608473715666417775521605376810865902709989580160037468226393900042796872256
[251] 116279198992308449124436986814916951851822790020230524027988331631285968798414814457835077465658969498815603488754969701354618992257364442273702064000
[252] 114894922813828586634860356019501273853586804424751589218131327683294469169862257142860850352972553195258274875793601014433730670920967246532348468000
[253] 112624272165333950535357186928206782275452677855092466901567467452399321557809643365333956077222107479936965095639577278970613463985770265375582688000
[254] 109520453641092463709579626658531792212743352087432438286169938821821387499129850044242075397928584832852088104814864519313943014190886832865231984000
[255] 105655025865524494402182698658818905428764174954934822817246293922227691469748796513268825678001693603457308524644928124514627378395914356411164972800
[256] 101115161472865238783338910825822780586121964312339967149317742230256970351908027913089305824650058331433752298976591369164389483230464911409122727875
[257]  96000386768012133319590249966929021256862876623388918227367817526002726715430189925267667786827292734902083894748203478895373672794682639625781889500
[258]  90418968932662590684730351713037799090766197749936074144381316507049079813370295162170710357360589668919404598541912578959596133678712718717306198250
[259]  84484133133993617550983571870869294903341389403415173524865940520099912412492708221024370295294450578681451400954219475321321483977793351079490733500
[260]  78310292635740237806873233926459615660404903254704064690356506405169534197733625697180281696792163805623960721653718821355532606302493067731374102975
[261]  72009464492634701431607571426629531641751635176739369830212879453029456733548161560625546387854863269539274226808017306993593201197694774925401474000
[262]  65688022953204937565474082331925412451826873310079043471072054157534504424877903103013380101898138631373612748882122657906369370558202485523553253000
[263]  59443914307463023348223694277559878948801505124710313103099425435335407046087227903107165263314665377440759825984582481299300038756091983097359978000
[264]  53364423071472486869428089180991254965401351191501303808464256924903376780010125049380296088657483691111591207417977454802780716610582575735129980250
[265]  47524542810820780759188788855524287440885731627148330938858734468970554415405243440202829724238362834348435943209972374843231128755084859899964812600
[266]  41985968272717607061689343537775216348150928317217510415909032331609324389549745144540093929308328067939407694189261308602102688937762940137186958500
[267]  36796691295190711806873806696027717698379465266774896768998927211972216880728990126675587938045501003362626967941150360347910221765679880120231267000
[268]  31991153252908342727617899105128575461650803758054294579017724031304203482126323505654522349121648260386164490784656843138295080863445567417962258250
[269]  27590883102880057668428820046058845751312217367541250343242051952648978467856160049486428197011979168808885360081934526424105794648027403869766706000
[270]  23605533321352938227433546039405901365011563747785291960329311115044126022499159153449499679665804399980935252514543983718401624309979001088578181800
[271]  20034216471996958643209282616469953188017194324688624172973216075498704742342459798130571683849206686330683055639649875480562264174520923433110634000
[272]  16867042544438615916525462202836835588440946692476819616216420887092659507339791521220223954417162982241641249049558167224443965058695924508023291125
[273]  14086760806344338567647638762808785766170460973936684514642285576033429918217847863876230994897850402751260823382048579220414740049020772116590880500
[274]  11670418624234178302394211675757643682192316208334406513955470167005797778961501697444906700152598691330424112801916158697204912376378522884912882750
[275]   9590962214825179259422152140804463535183503502122094080559768209975673811073815940445632415398135651784275816339029279511157491625678349716328405460
[276]   7818719196868352657137624027829725708030030028903881043934593649436690606853654299276330773422393194389355285058991260471052302955716045964398156625
[277]   6322718772918812257035479358244976745843778795936712468741332048641944750668659072338982286088866698711969616798606651066843739574297452332220892000
[278]   5071821173960054436398963657872769116270369321920456404781715995853070789205435155149615287042508179182623109878019004273043719154922057086637622000
[279]   4035642654548860519285196889060052845204379890560363160794053588098142348400023671839478830549952744725958173451326949636615432445851959402270796000
[280]   3185275095197493481292958973150970281393456985049429494769592296320319496415732969559017219826926987801559844045511628106042894894761725099649449700
[281]   2493809683072770697097690299264104846642564187583183234339182580749004587941143250188554406981935719986986354768727965065229312728994944917875014000
[282]   1936681987918215541363099913258294189413906230782684852199577961645503562975568694295366720315758591053723445724650440954912125842730116797924213000
[283]   1491861036629579462958147636361512838488450736079948048690840973988409105048317934121519240384577289221596152537009880311557750649170195978612998000
[284]   1139907904748657547401119848910029175887302146934326501992649617448890055617904900367498856209342506201008327818771633900028281305880044110419086500
[285]    863930201493719404346111885489706322777744785044963243615481815329685094784096345541683343653396425752343153715279554113705644779193296588949202400
[286]    649458018605418433337112081749254753137115834911423417403246819216371662162869630389726989110070739638999223946801063407156341354987967715468806000
[287]    484264864047245800467393677680628979691089855996671119596846060321615106978585717433454967489739157779602208796569434038785564634032840038711932000
[288]    358154222368275539929009907451298516229868539330871348868500732112861172869579020185159403039286252107830800255796143924518490510586787945297366375
[289]    262729048934513544861419032455623825054436437156210124429488426325005427848964540758663645136085416771142317142660147100338823488734944790321943500
[290]    191158032155801234364687640855643541677538235310208056050420889498538431986660407241648376288669044616244927300349279441970661228010597761234241650
[291]    137949095370165839232248812988608741416780169811490349727107858401007115866662149555828725156771475496259225886849995473587075112997338590581411500
[292]     98737537439605001368287677789791873137352929762333846208786104129487969918261607045096587526593282118897870583396058404040064036357684128190119875
[293]     70093541936647919060081354881490476493410953551417883998046108050967569088731789301638533124680555224337054885141229174199089827858014671206638000
[294]     49351575445190881787200137620641253857605671378039122406787565872620023133902994508296518220438350106931191704844334826732012225736765431767939000
[295]     34462456073590920841231282541871519642938197640257827850163520575456694120623785995624009333594237701789238953213332116294218706785673487946425200
[296]     23867579375291009366393286895552910563521386879232617261092978776921021265972554490212574031712225435360790491245719877838901469226564408881814750
[297]     16393892904240289261765085948460585033529841492806242159134571281117469152385188942772273072287185147520542963683928804980255554620266462666297000
[298]     11167651877720733960195679354152680408746838332347876370148718020358544422597964279807957831121807332035806112845092440976482810697698295037779500
[299]      7544701268560495852707448928223549975140004492087862965786090435158615295534410650572600273868244418298437574564243053770065310237240988620841000
[300]      5054949849935532221313990781909778483343803009698868187076680591556272248008055135883642183491723760259953174958042846025943757858951462375963470
[301]      3358770664408991509178731416551347829464320936676988828622379130602174251168142947430991484047656983561430681035244415964082231135515921844494000
[302]      2213229676216520895121084608919596748554304193373247605615408764866995615835961743505852004389019005724253991807992181380305841046250557771703000
[303]      1446268897329607713643481031571221637669149274877567742283336420606155550942311634370160715739358954235651123359678059119803816921312245672598000
[304]       937220305177410261801861063222140337568494760364739622466504193616488958998800631483294937502150374948760760861370321205925499781245106570729625
[305]       602279278081221020698900879972260675945655649283570380339130563766661757258245651707297730329250732753957734848618304774955403138111609468403300
[306]       383805422306660454366946639198009254279094286308157595314151829851304060997901640793866200700012721853012282011374409905608835333110339367119750
[307]       242535022565120938590187778516005847980926031087239653064968908765970644409097453791563657771343544102554992541389692253055746106265165593554500
[308]       151978114789182925804890393680484183962073779220250821563438309713741345360246131758999305032043194843484134936650034431297918826328496621935125
[309]        94433003364152497587504710636417357024977882233942258058835454579412098087919926529863645845153053106630918795588370908767638882378871687416000
[310]        58182914975977829158752902359857145779905727440912810610443780079573260434815180539367601149755590785053243515991544656692319440433433846117600
[311]        35545832300436615884768654174832339865537261137535157607666618055044757178825994541735833499850682473183653594978757185760581008624927430104000
[312]        21532571489687565391734857817446513572392763958314566627721124398729035598711900539705360677794163421255482466189054833681890418686254116313000
[313]        12933301725435342791201767634760206235175206466974883469685531587735011797309384349727181493371574195514475091512914724384010858508037616188000
[314]         7702316632663723254632899833439995433050202577465933786086606391421806388843486857958544392549313294780913509913742208470732581340773994354000
[315]         4548034583096674683687997996888378255705833902884646616546377107315733296269487478032664307981499278823015596330019208811289714696457025237600
[316]         2662615183142040558488226675393512586410060987448289949560379002700666644967896150114059800558789134753980649750169473512938598793811866041000
[317]         1545492724599796412497898133351439482332653696184496374508232607245812816006602181769675089283335018279913058530066823742525874378742534232000
[318]          889387322647052652475205529570168003983885617615606404198133858886741337513233331018397928738522982217685816701264870266925267331163156492000
[319]          507424742074493989813440145397399927037828158012665722771349098173626719208177010173506028308499005528585638368746728490847644684237286776000
[320]          287012119735885662988227082240404333730771551875914049442544333654457613052125121379389347261994750002106251702322368302635699024521715332675
[321]          160941375552833082049473130228264112372395262734157410902361308591284642832967357782835147997380233646040888805040580356618148985713111401500
[322]           89467410633407210207626367425028807809499229905012970656902715024347674121432164730209600905375968393296022037584670446691455492057909754250
[323]           49304021958967440919373044587167578297494931650440584448695613852426891621098840006121699570145270507760656107399601670312938320700643765500
[324]           26934604588695176057805644728174880736594453401629578541417048308270246348563255188529446987394175555165543614227560171745031119642018353375
[325]           14586124331108772265150133760488550798894227072882479456275078468478656484145024348249792830096538146797340541858617200698847621713831477520
[326]            7829974717619739712887341742593547207995367293725257376834781386453266517562513070379490016156117103342130658973184080129749490183805241000
[327]            4166408565338944067407943312572713193245241312257476402352452480865040899253447321853306614101420110035262185508666758234178627804226642000
[328]            2197526468913528425797482295960607873266544960428486029289555729236744132837946300855555012925444143402744994185973625532051532347961003250
[329]            1148858822653881122301419315821351228577038702716412149051074727746869273094610224155487727122116695031222306990843354381498065543614871000
[330]             595317753557011127010735463652882000262647327771231749962829631650650441512661661607843640417824105607087922713437010906776270327145887700
[331]             305752320557981545594637549308126707083534881332656790011120958853808383858466714420946884806737456051978691423819612852422857871948039000
[332]             155638982452707473510523330822510281617823478750659631059877837488836195397833960051626576904634427930073490513932272807408021025178369250
[333]              78520567723888455104408166901446628563946980270603057111289719814187630110618934800820615375311062739496535754776642137070713309999898000
[334]              39260283861944227552204083450723314281973490135301528555644859907093815055309467400410307687655531369748267877388321068535356654999949000
[335]              19454349615172363503480232396477821405395818992418070866379244013664397908004094293934659928808412559337947664616302380229460312626840400
[336]               9553475257450714220459042694698930154435446826633874086168378756710195401252010590771484786468416881817742156731219918862681403522109125
[337]               4649168968017558255653658759438055030645143262812923887630902421663121797641928002630633545937152429133856717222314737962847923375744500
[338]               2242054857357579868850728928368056124246030626741143768295376019914464062176432734996429786946023212866327351796560065940663347663450750
[339]               1071424445108931972725127098512168413356510211009042154760622168808681941217056351237231933584825252166209530947028704077839121892268500
[340]                507350987242758963555133714295467983971759246977811137989588732877052330988076683968218650903402545878705101419034180460388525366633025
[341]                238053249146162563544930775035996708021939822628884991432065094605068542399097564325263883121831106570653420020661199042997548559124000
[342]                110673878989005402349836237516735311624235180695885127595609210649724848659229569379289349170675865335479221588553013590165526961698000
[343]                 50980970496393159099924564220536965704458188192273615627131939599581708711831696682005006323518328638500632685106052907423187346788000
[344]                 23267477813760831333395804019256696556976556820310923411220100340506768220225512729868563932535981384431974801051309030422791899551500
[345]                 10520946489700549820318102686968245399676356127444939281595175806142190847406318799592741952103226365134458170910157126799871119797200
[346]                  4713140768507471740315913053410630164594899421254235805338879335121501680196472294615245672184971348542893111245879637728265964071000
[347]                  2091710888617148841523488790274458343941252192718018196029358552186487777378261479454604707540304287249583686258978283026377401922000
[348]                   919631511374780956187051106068942892594860877832921793081873156564748936605959788380903793832375160773523862062137003744355581879500
[349]                   400527191200477665731896183732032434597188691778235279508437592543959422246721741644405090723555943947208100382363394180922774916000
[350]                   172798873917920364358618067838676850354787121310038649159354504211822493597871379966586196283591278674366923307819635775198111463760
[351]                    73845672614495882204537635828494380493498769790614807333057480432402775041825376054096665078457811399302103977700699049229962164000
[352]                    31258537555567859228625306075129723561168513348868199694958990296670492844409037022898872433779016757090947422378989086179728302375
[353]                    13105562487886807835231006513085549821679716644851256529331248056394427594823052349544003173369106175777507701167394857661755775500
[354]                     5442140355139437151917960331705016451375475555912809914722297921723109763951945467183526741483781378077100655569511423944288415250
[355]                     2238176033381289645577527347687133526481181496234564077604099990342462043766152220306464519032766425913399142853939909565820024300
[356]                      911616642809794939912195127569197644212840777960707278799422748875441000972168741416958863089188572352367628409610356424280627875
[357]                      367710914746808042989792992632953671615263507076587809935901612991774521400538652000117860741857575402635682047573925280382102000
[358]                      146878940806685894266872619962325069946878998636737588885010979491127811620885550938594564486272718666415928862578411494677767000
[359]                       58096962658911969320044323216295710118264116452414310923876209158050555014389270844792278988999236909835827015281711510429646000
[360]                       22754643708073854650350693259715819796320112277195605111851515253569800713969131080876975937358034456352365580985337008251611350
[361]                        8824515565458004573543205142272063078905306700297464586313607023545075069129302912251458812271813916590945100659133465803949000
[362]                        3388418960217300098680954460706676154607286274423612092534782807383329929859041725975007665485586006646799361855302629134665500
[363]                        1288159274132196731729949629690141348032522054739555010385124042476307246062115036321077294316834349634320418556561330084253000
[364]                         484829177351953165513744778207553199671581103020107242919675807195753001951949890043921948685182159065664553138046434674567750
[365]                         180648679780453782218819972154047219603657616467765986402947698023623036343740233002666808277218557898439395141847438673263600
[366]                          66632709755085411474154907761738728542332727385651388427316773861172431438264840041967265348154386110080104765435530658171000
[367]                          24329109283873147513724135259054467642159633432363177245941274379828626192717952494887230399598604192781291658224417188542000
[368]                           8792857431399806030775298884386533142410954474196474385082036664448932835955129570163047943333191189238890735173498603467625
[369]                           3145412414484483458163521552138272018423430868818250999541541571022382477902647976318488695176100913223668230468568606118500
[370]                           1113646017020181981133571144135442255171539037338353732270113367037654336770937526750600051535322215222433887003736452436550
[371]                            390226367149928996084539754009723701273046023865191334757721664999717153046420157621504061184883795091418882238506034546500
[372]                            135320433769733442190606527600146122215653056662929253182113158024095464362871506271973182507661316039766225292385157141125
[373]                             46437038934385738875060685074580974915827322393712987687159475139635977046776280972687848152763132582010929859049061968000
[374]                             15768727124778045019071409102865732123823716427811629508741319098218633916953443004094536672194967481057187412030029064000
[375]                              5298292313925423126407993458562885993604768719744707514937083217001460996096356849375764321857509073635214970442089765504
[376]                              1761400370320951837236699952979682843618606622255554360018977133311655916255437782372262075085608069692558168365056438000
[377]                               579346540901321028693238180820903640871902443394399842552660913874390805346616140621115377481738463241053615059063656000
[378]                               188517525213921922035101312806801978378952382374368202735389662451190658882629061630680400609137118991136493789060396000
[379]                                60683741625589642449293826286094568238079658706261004574452609021227599956941281052620076185526988171289319900436328000
[380]                                19322980886043017727275139422677480938967470272256793561865172872548788407341828966755340048549383075594757126191567600
[381]                                 6085978231824572512527602967772434941407077251104501909248873345684657766091914635198532298755711204911734527934352000
[382]                                 1895893742374670494740274222944816120490686368799569966493758974179252026609784925624673674219711082158367562366984000
[383]                                  584113476762953311695436966860282773414885095348170381321836968546088091749228776041022176391451456121899144541264000
[384]                                  177972074951212337157203450840242407524847802488895663058997201353886215454843142699998944369270365537141145602416375
[385]                                   53622755050235405481131429344073037072421675555095836142451104823508574007173518319999681939832110135865903610078700
[386]                                   15975691271443190752150555374529531770281069142062230975082583043273279820790037841450682443214229703690618951189250
[387]                                    4706017583835978671176132590946683777292097886809029279481691129026237466589313472675394828233649060001887753063500
[388]                                    1370566976735736056296141708188080584623729539199536877787193550463826891042763975289483545336088514897457000247875
[389]                                     394610543430340458368040800300938368837680484293954062499140559516577408217968034016509401227871243363792246858000
[390]                                     112312231591712284304750073931805535746109060914433079326678466939333570031267825066237291118701815418925485644200
[391]                                      31596791496389645200824828983372401360797945525799587534359671005950620724909106796128138166386699989979036882000
[392]                                       8785842533434875833902822344866305480425959342633048574605112601144432803609930206066242500347322191091109745250
[393]                                       2414430009188210152828256522253335857216294170494578234242626363673279243740133491743394885591630525796030159000
[394]                                        655695459348067224245237177363215575436912376251065662598885839880814413909122547250109778574376817919226464500
[395]                                        175958781495937027265810483039242660750158764259779646165776959562952728795865797489902877288313778985919000600
[396]                                         46655737517862090562904294745253735804966339008274906180319648368964738695873506910201520493113502003842159250
[397]                                         12222157939188053950987523056691154971578083770429698344466608136958017189850994253554050708523436293197946000
[398]                                          3163020773206958685808328831254243623297845799885072687135830749011748167222744744010219153210839040701981000
[399]                                           808591776609297709154008874155220174376892911248815574155024402003003290868972340574040986535101709653138000
[400]                                           204169423593847671561387240724193094030165460090325932474143661505758330944415515994945349100113181687417345
[401]                                            50915068227892187421792329357654138162136024960181030542180464215899833153220826931407817730701541567934500
[402]                                            12538785459107777499396618423899899696645438982731149312626532232273839507882740960719835709799633371207750
[403]                                             3049133932984025297620021353702705137149511216644299336569231163183216555266770754715989825211821514586500
[404]                                              732094038364976370963222948785055441345303435679448108037661937694980212526922681206561913479075957710125
[405]                                              173533401686512917561652847119420549059627481049943255238556903749921235561937228137851712824669856642400
[406]                                               40605106305957456079697094769322542267646824383607411940056418365129353148729154367231312114146887638000
[407]                                                9378083520294842436097117710850906567957743223732424379275929548703093847618035652382661765920902796000
[408]                                                2137651390655442025875078301738074291225662058350773204099660411836734627030581656057812608408441078500
[409]                                                 480840899609537081614932038532769767219464326083792505567649774789681138598566044883419951035639558000
[410]                                                 106723224059677742504777598796297680041393301642988092699161291477709716127974414839978574498154145800
[411]                                                  23370049064163009307615532583130878841181014958318560445071815652053222509775419308024505364559302000
[412]                                                   5048384385219679195091704854122932565206578474005708445658717458817322338276728928189759653994606500
[413]                                                   1075684808472958278857312414437816139801885970248189693021712194614828972804726744989585592134444000
[414]                                                    226049706128375290484507681294903391697497776356503631142243866984275653705341127570275233129702000
[415]                                                     46844035486844036100404001424967931773457370522070631995742102555777605346167077038659445901576800
[416]                                                      9571497635533036222438317598851620674865087726865393556822304608752635707750484491072242552004875
[417]                                                      1928071466150539670706999228545650207886492491742669205690823949964559710913766660072106413353500
[418]                                                       382846726532284192987274966433705663288466212475219004957747339347029799057039791354030699302250
[419]                                                        74924657698442252565528752380820678734258304112095366125382534192020151605434994966659945925500
[420]                                                        14449755413271005851923402244872559470178387221618392038466631594175314952476749029284418142775
[421]                                                         2745796753115630565686157196175308212860501134749338154577982250674644171492018817916278982000
[422]                                                          514023562787049323908072081748458172549714667405681787231423217543357558170306840320819999000
[423]                                                           94784486755058740578793433513900088555266534415232102610049671320051748315092041477598014000
[424]                                                           17213220472027176944733713161722421742347931957483188445692982763311284481750205645695865750
[425]                                                            3078128837350742230117087530096244829219865479455817227935686329439194401442389715465613640
[426]                                                             541924091082877153189628086284550145989412936523911483791494072084365211521547485117185500
[427]                                                              93916587213426017180403930644160915230015356680958898830376021860053924244952023181901000
[428]                                                              16018483333131073023760483497719034606988600555397195361255723354635365583835274981959750
[429]                                                               2688416783182837430561200027589208605368716177129599221469492031547194223860465731238000
[430]                                                                443901375827863854813593492927520490653904299014422197033334730790350674172309457948600
[431]                                                                 72095351062530092429121913004469685257014619329488523880123970197968786988542139342000
[432]                                                                 11515229683598556429651416660436130284106501698459972564186467462175570144003258367125
[433]                                                                  1808396347539727106735095457066182123139127287517963358809884035630343579196816556500
[434]                                                                   279176394666271235371546994524041940668943613510837661383092696744776543332227440750
[435]                                                                    42357797811434256401200233651923604791150065498196058968469236747483337609027611700
[436]                                                                     6314809306750519876325722906823473191341179489409962919611239423363341616024758625
[437]                                                                      924823330965751194702165368505039552049966790211070084336657489920489389989896000
[438]                                                                      133022533906032706087297758483601579404447278044058025829245255399522446505396000
[439]                                                                       18786781553927170335791482974905006658486859313739402281123475705627315907368000
[440]                                                                        2604531079067175887462001048793648650381132768495689861701209131916514250794200
[441]                                                                         354357969941112365641088578067163081684507859659277532204246140396804659972000
[442]                                                                          47301176983089659667023135986340773347027067239586819909616566252062160494000
[443]                                                                           6192930620810835802905963628008498542048690518952676195841446597335452164000
[444]                                                                            795038390509499190913603438730820758776521080135816538655320846955226967000
[445]                                                                            100049774985465066721711893413316769643786922444057811606062848156163393600
[446]                                                                             12337976735875736927565368021821574731857131691531792911061561992351988000
[447]                                                                              1490493833864182984538098150287170101835089734547464915430255811156616000
[448]                                                                               176330743738396647724373218672366105797454812346017054727240084802010375
[449]                                                                                20421377893979121785450795926421018934226392521142286961729363941435500
[450]                                                                                 2314422827984300469017756871661048812545657819062792522329327913362690
[451]                                                                                  256587896672317125168265728565526475891979802556850612231632806359500
[452]                                                                                   27815944550760042330188098893165480793599580365676283184402671485875
[453]                                                                                    2947384853060666736973573392653295978129756859939208814241342674000
[454]                                                                                     305125744700113076294621034041200244431935181535556859624103757000
[455]                                                                                      30847877486165278042972675969000464272239600770627726467491808400
[456]                                                                                       3044198436134731385819671970625045816339434286575104585607744250
[457]                                                                                        293095691881680921173009992795409225205547283608981623121971000
[458]                                                                                         27517717796751702206199628144547154331525181648878187323678500
[459]                                                                                          2517961105585123077691469241984706932296421850224147859683000
[460]                                                                                           224426968106500100402935302002984748313376730128674048363050
[461]                                                                                            19473055800997839514354473058827310048883013460188637602000
[462]                                                                                             1643829385798518920042910063407500198931682954431508369000
[463]                                                                                              134914722808517751536999098076641485009511775957661594000
[464]                                                                                               10758286086024044842390014286283911520155033858692842625
[465]                                                                                                 832899567950248632959226912486496375753938105189123300
[466]                                                                                                  62556834502701077582774553512934277148900930647251750
[467]                                                                                                   4554459043023204791893650576958812469084864329778500
[468]                                                                                                    321147753033687517377116386836839340768804536074125
[469]                                                                                                     21912000206989340204835233217012492333905639988000
[470]                                                                                                      1445259588120573502872111127079547366704414552400
[471]                                                                                                        92054750835705318654274594081499832274166532000
[472]                                                                                                         5655906301346301357995684805854862576167011500
[473]                                                                                                          334810521009929044447947514934325903028914000
[474]                                                                                                           19071485373983300000199541989929956501647000
[475]                                                                                                            1043912883628559578958290719448797619037520
[476]                                                                                                              54827357333432750995708546189537690075500
[477]                                                                                                               2758609174009195018652002324001896356000
[478]                                                                                                                132736424690819007173631910987538946000
[479]                                                                                                                  6096453743628430392108354993164628000
[480]                                                                                                                   266719851283743829654740530950952475
[481]                                                                                                                    11090222506600575037619148896089500
[482]                                                                                                                      437166447355624327209053587190250
[483]                                                                                                                       16291917292756186107169698901500
[484]                                                                                                                         572236764414990007896456366375
[485]                                                                                                                          18877913877607917786274849200
[486]                                                                                                                            582651662889133265008483000
[487]                                                                                                                             16749739795580833080326000
[488]                                                                                                                               446202084718341864844750
[489]                                                                                                                                10949744410266058033000
[490]                                                                                                                                  245810588801891098700
[491]                                                                                                                                    5006325637513057000
[492]                                                                                                                                      91579127515482750
[493]                                                                                                                                       1486071034734000
[494]                                                                                                                                         21057686727000
[495]                                                                                                                                           255244687600
[496]                                                                                                                                             2573031125
[497]                                                                                                                                               20708500
[498]                                                                                                                                                 124750
[499]                                                                                                                                                    500
[500]                                                                                                                                                      1
```