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