# This b-file was computed by Antti Karttunen, 2020-01-10 # in GP/PARI CALCULATOR Version 2.9.4 (released) amd64 running linux (x86-64/GMP-6.1.2 kernel) 64-bit version, compiled: Dec 19 2017, gcc version 7.3.0 (Ubuntu 7.3.0-1ubuntu1), threading engine: pthread # with the following program: # # First prepare b002182_to.txt with gawk ' { print $2 } ' < b002182.txt > b002182_to.txt # from the 10000-term b-file of A002182 as prepared by Michael De Vlieger from A. Flammenkamp's data # then read it to PARI, and compute the rest: # # default(parisizemax,2^31); # v002182 = readvec("/home/antti/A/Schemuli/seqs/b002182_to.txt"); \\ Prepared with gawk ' { print $2 } ' < b002182.txt > b002182_to.txt # sublist_of_first_proper_multiple_terms_of(v) = { my(u=v[1], lista=List(u)); for(i=2,#v,if((v[i]>u)&&!(v[i]%u), u = v[i]; listput(lista,u))); Vec(lista); }; # v133411 = sublist_of_first_proper_multiple_terms_of(v002182); # A133411(n) = v133411[n]; \\ ~~~~ # for(n=1,#v133411,write("b133411.txt", n, " ", A133411(n))); 1 1 2 2 3 4 4 12 5 24 6 48 7 240 8 720 9 5040 10 10080 11 20160 12 221760 13 665280 14 8648640 15 17297280 16 294053760 17 5587021440 18 27935107200 19 642507465600 20 1927522396800 21 13492656777600 22 26985313555200 23 782574093100800 24 24259796886124800 25 48519593772249600 26 1795224969573235200 27 8976124847866176000 28 368021118762513216000 29 15824908106788068288000 30 743770681019039209536000 31 1487541362038078419072000 32 78839692188018156210816000 33 867236614068199718318976000 34 51166960230023783380819584000 35 3121184574031450786229994624000 36 9363553722094352358689983872000 37 627358099380321608032228919424000 38 44542425056002834170288253279104000 39 133627275168008502510864759837312000 40 9754791087264620683293127468123776000 41 126812284134440068882810657085609088000 42 10018170446620765441742041909763117952000 43 831508147069523531664589478510338790016000 44 74004225089187594318148463587420152311424000 45 370021125445937971590742317937100761557120000 46 35892049168255983244302004839898773871040640000 47 3625096965993854307674502488829776160975104640000 48 373384987497366993690473756349466944580435777920000 49 2613694912481568955833316294446268612063050445440000 50 279665355635527878274164843505750741490746397662080000 51 30483523764272538731883967942126830822491357345166720000 52 3444638185362796876702888377460331882941523380003839360000 53 58558849151167546903949102416825642010005897460065269120000 54 7436973842198278456801536006936856535270748977428289178240000 55 974243573327974477841001216908728206120468116043105882349440000 56 18510627893231515078979023121265835916288894204819011764639360000 57 2535956021372717565820126167613419520531578506060204611755592320000 58 352497886970807741648997537298265313353889412342368441034027332480000 59 52522185158650353505700633057441531689729522439012897714070072539520000 60 7930849958956203379360795591673671285149157888290947554824580953467520000 61 15861699917912406758721591183347342570298315776581895109649161906935040000 62 31723399835824813517443182366694685140596631553163790219298323813870080000 63 4980573774224495722238579631571065567073671153846715064429836838777602560000 64 811833525198592802724888479946083687433008398077014555502063404720749217280000 65 135576198708164998055056376150995975801312402478861430768844588588365119285760000 66 23454682376512544663524753074122303813627045628843027523010113825787165636436480000 67 4198388145395745494770930800267892382639241167562901926618810374815902648922129920000 68 759908254316629934553538474848488521257702651328885248718004677841678379454905515520000 69 17477889849282488494731384921515235988927160980564360720514107590358602727462826856960000 70 34955779698564976989462769843030471977854321961128721441028215180717205454925653713920000 71 6676553922425910604987389040018820147770175494575585795236389099516986241890799859358720000 72 1288574907028200746762566084723632288519643870453088058480623096206778344684924372856232960000 73 253849256684555547112225518690555560838369842479258347520682749952735333902930101452677893120000 74 50516002080226553875332878219420556606835598653372411156615867240594331446683090189082900730880000 75 10658876438927802867695237304297737444042311315861578754045947987765403935250132029896492054215680000 76 2376929445880900039496037918858395450021435423437132062152246401271685077560779442666917728090096640000 77 539562984214964308965600607580855767154865841120228978108559933088672512606296933485390324276451937280000 78 123559923385226826753122539136015970678464277616532435986860224677306005386841997768154384259307493637120000 79 28789462148757850633477551618691721168082176684652057584938432349812299255134185479979971532418646017448960000 80 6880681453553126301401134836867321359171640227631841762800285331605139521977070329715213196248056398170301440000 81 34403407267765631507005674184336606795858201138159208814001426658025697609885351648576065981240281990851507200000 82 8291221151531517193188367478425122237801826474296369324174343824584193123982369747306831901478907959795213235200000 83 2081096509034410815490280237084705681688258445048388700367760299970632474119574806574014807271205897908598522035200000 84 534841802821843579581002020930769360193882420377435895994514397092452545848730725289521805468699915762509820163046400000 85 140663394142144861429803531504792341730991076559265640646557286435315019558216180751144234838268077845540082702881203200000 86 37838453024236967724617149974789139925636599594442457333923910051099740261160152622057799171494112940450282247075043660800000 87 10254220769568218253371247643167856919847518490093905937493379623848029610774401360577663575474904606862026488957336832076800000 88 2840419153170396456183835597157496366797762621756011944685666155805904202184509176880012810406548576100781337441182302485273600000 89 798157782040881404187657802801256479070171296713439356456672189781459080813847078703283599724240149884319555820972226998361881600000 90 225878652317569437385107158192755583576858476969903337877238229708152919870318723273029258721959962417262434297335140240536412492800000 91 6550480917209513684168107587589911923728895832127196798439908661536434676239242974917848502936838910100610594622719066975555962291200000 92 1919290908742387509461255523163844193652566478813268661942893237830175360138098191650929611360493800659478904224456686623837896951321600000 93 589222308983912965404605445611300167451337908995673479216468224013863835562396144836835390687671596802460023596908202793518234364055731200000 94 183248138093996932240832293585114352077366089697654452036321617668311652859905201044255806503865866605565067338638451068784170887221332403200000 95 57356667223421039791380507892140792200215586075365843487368666330181547345150327926852067435710016247541866076993835184529445487700277042201600000 96 18182063509824469613867621001808631127468340785890972385495867226667550508412653952812105377120075150470771546407045753495834219600987822377907200000 97 563643968804558558029896251056067564951518564362620143950371884026694065760792272537175266690722329664593917938618418358370860807630622493715123200000 98 186566153674308882707895659099558363998952644804027267647573093612835735766822242209805013274629091118980586837682696476620754927325736045419705779200000 99 62872793788242093472560837116551168667647041298957189197232132547525642953419095624704289473550003707096457764299068712621194410508773047306440847590400000 100 691600731670663028198169208282062855344117454288529081169553458022782072487610051871747184209050040778061035407289755838833138515596503520370849323494400000 101 239985453889720070784764715273875810804408756638119591165835049933905379153200687999496272920540364149987179286329545276075099064911986721568684715252556800000 102 83754923407512304703882885630582657970738656066703737316876432426932977324467040111824199249268587088345525570929011301350209573654283365827470965623142323200000 103 29565487962851843560470658627595678263670745591546419272857380646707340995536865159473942334991811242185970526537940989376623979499962028137097250864969240089600000 104 10614010178663811838208966447306848496657797667365164518955799652167935417397734592251145298262060235944763419027120815186208008640486368101217913060523957192166400000 105 3895341735569618944622690686161613398273411743923015378456778472345632298184968595356170324462176106591728174782953339173338339171058497093146974093212292289525068800000 106 11686025206708856833868072058484840194820235231769046135370335417036896894554905786068510973386528319775184524348860017520015017513175491279440922279636876868575206400000 107 4358887402102403599032790877814845392667947741449854208493135110554762541668979858203554593073175063276143827582124786534965601532414458247231464010304555071978551987200000 108 1652018325396810964033427742691826403821152194009494745018898206900255003292543366259147190774733348981658510653625294096751962980785079675700724859905426372279871203148800000 109 632723018626978599224802825450969512663501290305636487342238013242797666261044109277253374066722872659975209580338487639056001821640685515793377621343778300583190670805990400000 110 246129254245894675098448299100427140426102001928892593576130587151448292175546158508851562511955197464730356526751671691592784708618226665643623894702729758926861170943530265600000 111 97713313935620186014083974742869574749162494765770359649723843099124971993691824928014070317246213393497951541120413661562335529321435986260518686196983714293963884864581515443200000 112 293139941806860558042251924228608724247487484297311078949171529297374915981075474784042210951738640180493854623361240984687006587964307958781556058590951142881891654593744546329600000 113 117549116664551083774943021615672098423242481203221742658617783248247341308411265388400926591647194712378035703967857634859489641773687491471403979494971408295638553492091563078169600000 114 48077588715801393263951695840809888255106174812117692747374673348533162595140207543855978975983702637362616602922853772657531263485438184011804227613443305992916168378265449298971366400000 115 20144509671920783777595760557299343178889487246277313261149988133035395127363746960875655190937171405054936356624675730743505599400398599100945971370032745211031874550493223256269002521600000 116 141011567703445486443170323901095402252226410723941192828049916931247765891546228726129586336560199835384554496372730115204539195802790193706621799590229216477223121853452562793883017651200000 117 59365870003150549792574706362361164348187318914779242180609015028055309440340962293700555847691844130696897442972919378501111001432974671550487777627486500136910934300303528936224750431155200000 118 25586689971357886960599698442177661834068734452269853379842485477091838368786954748584939570355184820330362797921328252133978841617612083438260232157446681559008612683430820971512867435827891200000 119 11079036757597965053939669425462927574151762017832846513471796211580766013684751406137278833963795027203047091499935133174012838420426032128766680524174413115050729291925545480665071599713476889600000 120 4863697136585506658679514877778225205052623525828619619414118536883956280007605867294265408110106016942137673168471523463391636066567028104528572750112567357507270159155314466011966432274216354534400000 121 2154617831507379449795025090855753765838312221942078491400454511839592632043369399211359575792776965505366989213632884894282494777489193450306157728299867339375720680505804308443301129497477845058739200000 122 79720859765773039642415928361662889336017552211856904181816816938064927385604667770820304304332747723698578600904416741088452306767100157661327835947095091556901665178714759412402141791406680267173350400000 123 35794666034832094799444751834386637311871880943123749977635750805191152396136495829098316632645403727940661791806083116748715085738427970789936198340245696109048847665242926976168561664341599439960834329600000 124 16358162377918267323346251588314693251525449591007553739779538117972356645034378593897930701118949503668882438855379984354162794182461582651000842641492283121835323383016017628109032680604110944062101288627200000 125 7541112856220321236062621982213073588953232261454482274038367072385256413360848531786946053215835721191354804312330172787269048118114789602111388457727942519166084079570384126558264065758495145212628694057139200000 126 3491535252430008732296993977764653071685346537053425292879763954514373719386072870217356022638931938911597274396608870000505569278687147585777572855928037386373896928841087850596476262446183252233447085348455449600000 127 1630546962884814077982696187616092984477056832803949611774849766758212526953296030391505262572381215471715927143216342290236100853146897922558126523718393459436609865768788026228554414562367578793019788857728694963200000 128 3261093925769628155965392375232185968954113665607899223549699533516425053906592060783010525144762430943431854286432684580472201706293795845116253047436786918873219731537576052457108829124735157586039577715457389926400000 129 1562063990443651886707422947736217079129020445826183728080306076554367600821257597115062041544341204421903858203201255914046184617314728209810685209722220934140272251406498929126955129150748140483712957725704089774745600000 130 760725163346058468826514975547537717535832957117351475575109059281977021599952449795035214232094166553467178944959011630140491908632272638177803697134721594926312586434964978484827147896414344415568210412417891720301107200000 131 373516055202914708193818852993841019310093981944619574507378548107450717605576652849362290187958235777752384861974874710398981527138445865345301615293148303108819479939567804436050129617139443108043991312497184834667843635200000 132 186384511546254439388715607643926668635736896990365167679181895505617908085182749771831782803791159653098440046125462480489091782042084486807305506031281003251300920489844334413589014678952582110913951664936095232499253973964800000 133 93751409307765983012523950644895114323775659186153679342628493439325807766846923135231386750306953305508515343201107627686013166367168496864074669533734344635404363006391700210035274383513148801789717687462855901947124748904294400000 134 47719467337652885353374690878251613190801810525752222785397903160616836153325083875832775855906239232503834309689363782492180701680888764903814006792670781419420820770253375406907954661208192740110966302918593654091086497192285849600000 135 620353075389487509593870981417270971480423536834778896210172741088018869993226090385826086126781110022549846025961729172398349121851553943749582088304720158452470670013293880289803410595706505621442561937941717503184124463499716044800000 136 323203952277922992498406781318398176141300662690919804925499998106857831266470793091015390872052958321748469779526060898819539892484659604693532268006759202553737219076926111630987576920363089428771574769667634819158928845483352059340800000 137 169035667041353725076666746629522246121900246587351057976036499009886645752364224786601049426083697202274449694692129850082619363769476973254717376167535062935604565577232356383006502729349895771247533604536173010420119786187793127035238400000 138 6930462348695502728143336611810412090997910110081393377017496459405352475846933216250643026469431585293252437482377323853387393914548555903443412422868937580359787188666526611703266611903345726621148877785983093427224911233699518208444774400000 139 3749380130644266975925545106989432941229869369554033816966465584538295689433190869991597877319962487643649568677966132204682580107770768743762886120772095230974644869068590896931467237039710038102041542882216853544128676977431439350768622950400000 140 2050910931462414035831273173523219818852738545146056497880656674742447742119955405885404038894019480741076314066847474315961371318950610502838298708062336091343130743380519220621512578660721390841816723956572618888638386306654997324870436753868800000 141 1142357388824564617958019157652433439100975369646353469319525767831543392360815161078170049663968850772779506935234043193990483824655490050080932380390721202878123824062949205886182506314021814698891915243810948720971581172806833509952833271904921600000 142 49121367719456278572194823779054637881341940894793199180739608016756365871515051926361312135550660583229518798215063857341590804460186072153480092356801011723759324434706815853105847771502938032052352355483870795001777990430693840927971830691911628800000 143 27655330026053884836145685787607761127195512723768571138756399313433833985662974234541418732315021908358219083395080951683315622911084758622409291996878969600476499656739937325298592295356154112045474376137419257586001008612480632442448140679546247014400000 144 15735882784824660471766895213148816081374246739824316977952391209343851537842232339454067258687247465855826658451801061507806589436407227656150887146224133702671128304685024338094899016057651689753874920022191557566434573900501479859752992046661814551193600000 145 8985189070134881129378897166707973982464694888439684994410815380535339228107914665828272404710418303003677021975978406120957562568188526991662156560493980344225214261975148897052187338168919114849462579332671379370434141697186344999918958458643896108731545600000 146 5184454093467826411651623665190500987882128950629698241775040474568890734618266762182913177517911360833121641680139540331792513601844780074189064335405026658617948629159660913599112094123466329268139908274951385896740499759276521064953239030637528054738101811200000 147 3043274552865614103639503091466824079886809694019632867921948758571938861220922589401370035203013968809042403666241910174762205484282885903548980764882750648608735845316720956282678799250474735280398126157396463521386673358695317865127551310984228968131265763174400000 148 1804661809849309163458225333239826679372878148553642290677715613833159744704007095515012430875387283503762145374081452733633987852179751340804545593575471134624980356272815527075628527955531518021276088811336102868182297301706323494020637927413647778101840597562419200000 149 1080992424099736188911476974610656180944354010983631732115951652686062687077700250213492446094356982818753525079074790187446758723455671053141922810551707209640363233407416500718301488245363379294744377197990325618041196083722087772918362118520775019083002517939889100800000 150 649676446883941449535797661741004364747556760601162671001686943264323674933697850378308960102708546674070868572523948902655501992796858302938295609141576032993858303277857316931699194435463390956141370695992185696442758846316974751523935633230985786468884513281873349580800000 151 394353603258552459868229180676789649401766953684905741298023974561444470684754595179633538782344087831161017223522036983911889709627692989883545434748936652027271990089659391377541411022326278310377812012467256717740754619714403674175028929371208372386612899562097123195545600000 152 18534619353151965613806771491809113521883046823190569841007126804387890122183465973442776322770172128064567809505535738243858816352501570524526635433200022645281783534213991394744446318049335080587757164585961065733815467126576972686226359680446793502170806279418564790190643200000 153 11361721663482154921263550924478986588914307702615819312537368731089776644898464641720421885858115514503580067226893407543485454424083462731534827520551613881557733306473176724978345592964242404400295141891194133294828881348591684256656758484113884416830704249283580216386864281600000 154 7010182266368489586419610920403534725360127852513960515835556507082392189902352683941500303574457272448708901478993232454330525379659496505356988580180345764921121450093950039311639230858937563514982102546866780242909419792081069186357219984698266685184544521807968993510695261747200000 155 4339302822882095053993739159729787994997919140706141559302209477884000765549556311359788687912589051645750810015496810889230595210009228336815975931131634028486174177608155074333904683901682351815773921476510536970360930851298181826355119170528227078129233058999132806983120367021516800000 156 2738100081238601979070049409789496224843686977785575323919694180544804483061770032468026662072843691588468761119778487671104505577515823080530880812544061071974775906070745851904693855541961563995753344451678148828297747367169152732430080196603311286299546060228452801206348951590577100800000 157 1755122152073943868583901671675067080124803352760553782632523969729219673642594590812005090388692806308208475877778010597177988075187642594620294600840743147135831355791348091070908761402397362521277893793525693398938856062355426901487681406022722534518009024606438245573269677969559921612800000 158 1128543543783545907499448774887068132520248555825036082232712912535888250152188321892119273119929474456178049989411260813985446332345654188340849428340597843608339561773836822558594333581741504101181685709237020855517684448094539497656579144072610589695079802821939791903612402934427029597030400000 159 730167672827954202152143357351933081740600815618798345204565254410719697848465844264201169708594369973147198343149085746648583777027638259856529580136366804814595696467672424195410533827386753153464550653876352493519941837917167054983806706214979051532716632425795045361637224698574288149278668800000 160 476799490356654094005349612350812302376612332599075319418581111130199962695048196304523363819712123592465120518076352992561525206399047783686313815829047523543930989793390092999603078589283549809212351576981258178268522020159910086904425779158381320650863960974044164621149107728169010161478970726400000 161 314210864145035047949525394539185307266187527182790635496844952234801775416036761364680896757190289447434514421412316622098045111016972489449280804631342318015450522273844071286738428790337859324270939689230649139478956011285380747270016588465373290308919350281895104485337261992863377696414641708697600000 162 207693381199868166694636285790401488102949955467824610063414513427203973550000299262054072756502781324754214032553541287206807818382218815525974611861317272208212795223010931120534101430413325013343091134581459081195589923459636673945480964975611744894195690536332664064807930177282692657330078169449113600000 163 139777645547511276185490220336940201493285320029845962572677967536508274199150201403362390965126371831559586043908533286290181661771233262848980913782666524196127211185086356644119450262668167733979900333573321961644632018488335481565308689428586704313793699730951882915615737009311252158383142608039253452800000 164 94629466035665133977576879168108516410954161660205716661702984022216101632824686350076338683390553729965839751726077034818452985019124918948760078630865236880778121972303463448068867827826349555904392525829138968033415876516603121019713982743153198820438334717854424733871853955303717711225387545642574587545600000 165 64631925302359286506685008471818116708681692413920504479943138087173597415219260777102139320755748197566668550428910614781003388768062319642003133704880956789571457307083265535031036726405396746682700095141301915166823043660839931656464650213573634794359382612294572093234476251472439196766939693673878443293644800000 166 3425492041025042184854305449006360185560129697937786737436986318620200663006620821186413384000054654471033433172732262583393179604707302941026166086358690709847287237275413073356644946499486027574183105042489001503841621314024516377792626461319402644101047278451612320941427241328039277428647803764715557494563174400000 167 2367015000348304149734325065263394888222049621275010635568957546166558658137574987439811648344037766239484102322357993445124687106852746332249080765673855280504475480957310433689441658031144845053760525584359900039154560327990940817054704884771707227073823669410064113770526223757675140703195632401418450228743153510400000 168 1659277515244161208963761870749639816643656784513782455533839239862757619354440066195307965489170474133878355727972953405032405661903775178906605616737372551633637312151074614016298602279832536382686128434636289927447346789921649512755348124224966766178750392256454943753138882854130273632940138313394333610348950610790400000 169 1176427758308110297155307166361494630000352660220271760973492021062695152122298006932473347531821866160919754211132823964167975614289776601844783382266797139108248854315111901337555709016401268295324465060157129558560168874054449504543541820075501437220734028109826555120975467943578364005754558064196582529737405983050393600000 170 845851558223531303654665852613914638970253562698375396139940763144077814375932266984448336875379921769701303277804500430236774466674349376726399251849827143018830926252565457061702554782792511904338290378252976152604761420445149193766806568634285533361707766210965293131981361451432843720137527248157342838881194901813232998400000 171 614934082828507257756942074850315942531374340081718912993736934805744571051302758097693940908401203126572847482963871812782135037272251996880092256094824332974690083385615087283857757327090156154453937104989913662943661552663623463868468375397125582753961546035371768106950449775191677384539982309410388243866628693618220389836800000 172 450746682713295819935838540865281585875497391279899963224409173212610770580604921685609658685858081891777897205012518038769304982320560713713107623717506236070447831121655858979067736120757084461214735897957606714937703918102435999015587319166093052158653813243927506022394679685215499522867807032797814582754238832422155545750374400000 173 333101798525125610932584681699443091961992572155846072822838379004119359459067037125665537768849122518023866034504250830650516381934894367433986533927237108456060947198903679785531056993239485416837689828590671362338963195477700203272519028863742765545245167987262426950549668287374254147399309397237584976655382497159972948309526681600000 174 2331712589675879276528092771896101643733948005090922509759868653028835516213469259879658764381943857626167062241529755814553614673544260572037905737490659759192426630392325758498717398952676397917863828800134699536372742368343901422907633202046199358816716175910836988653847678011619779031795165780663094836587677480119810638166686771200000 175 1732462454129178302460372929518803521294323367782555424751582409200424788546607660090586461935784286216242127245456608570213335702443385605024163962955560201079972986381498038564547027421838563652972824798500081755524947579679518757220371469120326123600820118701751882569808824762633495820623808175032679463584644367729019304157848271001600000 176 1301079303051012905147740070068621444492036849204699123988438389309519016198502352728030432913773998948397837561337913036230215112534982589373147136179625711011059712772505026961974817593800761303382591423673561398399235632339318586672498973309364918824215909145015663809926427396737755361288479939449542277152067920164493497422544051522201600000 177 984917032409616769196839233041946433480471894847957236859247860707305895262266281015119037715726917203937163033932800168426272840188981820155472382087976663235372202568786305410214936918507176306660621707720885978588221373680864170111081722795189243549931443222776857504114305539330480808495379314163303503804115415564521577548865847002306611200000 178 749521861663718361358794656344921235878639111979295457249887621998259786294584639852505587701668183992196181068822860928172393631383815165138314482768950240722118246154846378417173566994983961169368733119575594229705636465371137633454533191047139014341497828292533188560630986515430495895264983658078273966394931831244600920514686909568755331123200000 179 576382311619399419884913090729244430390673477112078206625163581316661775660535588046576796942582833489998863241924780053764570702534153861991363837249322735115308931293076865002806473019142666139244555768953631962643634441870404840126536023915249902028611829956958022003125228630366051343458772433062192680157702578227098107875794233458372849633740800000 180 445543526881795751571037819133705944691990597807636453721251448357779552585594009560003864036616530287769121286007854981560013153058900935319324246193726474244133803889548416647169403643797280925636041609401157507123529423565822941417812346486488174268116944556728551008415801731272957688493631090757074941761904092969546837387988942463322212766881638400000 181 350642755655973256486406763658226578472596600474609889078624889857572507884862485523723040996817209336474298452088181870487730351457355036096308181754462735230133303661074603901322320667668460088475564746598710958106217656346302654895818316684866193149008035366145369643623235962511817700844487668425817979166618521167033361024347297718634581447535849420800000 182 279462276257810685419666190635606583042659490578264081595664037216485288784235400962407263674463315841170015866314280950778721090111511963768757620858306799978416243017876459309353889572131762690515025103039172633610655472108003215951967198397838355939759404186817859605967719062121918707573056671735376929395794961370125588736404796281751761413686071988377600000 183 226084981492568844504509948224205725681511527877815642010892206108136598626446439378587476312640822515506542835848253289179985361900213178688924915274370201182538740601462055581267296663854596016626655308358690660591020276935374601705141463503851229955265357987135648421227884721256632234426602847433919935881198123748431601287751480191937174983672032238597478400000 184 183354919990473332893157568009830843527705849108908485670833579153698781486048062336034443289551707060075806239872933417524968128501072887916718106287514233159038918627785727076407777594386077369484217455078898125739317444594588801982869726901623347493720205327567010869615814508939128742119974909268909067999651678359978028644366450435661048911758018145502554982400000 185 150534389312178606305282363336071122536246502118413866735754368485186699600045459177884277940721951496322236922935678335787998833499380840979625565262049185423570952193412081929730785404990969520346542530619775361231979622012157406427936045786232768292344288573932515923954583711839024697280499400509774344827714027933541961517024855807677721156553332897457597640550400000 186 123889802403922992989247385025586533847330871243454612323525845263308653770837412903398760745214166081473200987576063270353523039969990432126231840210666479603598893655178143428168436388307567915245204502700075122293919228916005545490191365682069568304599349496346460605414622394843517325861851006619544285793208644989305034328511456329718764511843392974607602858172979200000 187 102456866588044315202107587416160063491742630518336964391555874032756256668482540471110775136292115349378337216725404324582363554055182087368393731854221178632176285052832324615095296893130358665907784123732962126137071202313536586120388259419071532987903662033478522920677892720535588828487750782474363124350983549406155263389678974384677418251294485990000487563709053798400000 188 84936742401488737302547189967996692634654640699701343480599819573154936778172026050550832587986163624634641552665360185078779386311745950428398403707149357086074140308797997105914001124405067334037553038574625602567632026717921829893801867058410300846972135825753695501241973065324003138816345398671247030086965362457702713350043869764897579730323128885710404190314805598873600000 189 71261926874849050596837092383149225120475243547049427180223248621876991956886329856412148541320391281068464262686237195281095905115554852409426260710298310595216203719081519571861846943375851493257506999364110880554243270416336415280899766462006242410609621957807350525542015401806838633466913789485176258242963939102012576500686806732749069393741105135111029115674121897454950400000 190 60786423624246240159102039802826289027765382745633161384730431074461074139224039367519562705746293762751400016071360327574774807063568289105240600385884458937719421772376536194798155442699601323748653470457586581112769509665134962234607500792091324776250007530009669998287339137741233354347277462430855348281248240054016727755085846143034956192861162680249707835670025978529072691200000 191 52093965045979027816350448111022129696794933013007619306713979430813140537315001737964265238824573754677949813773155800731582009653478023763191194530702981309625544458926691518942019214393558334452596024182151700013643469783020662635058628178822265333246256453218287188532249641044236984675616785303243033477029741726292335686108570144580957457282016416973999615169212263599415296358400000 192 3073543937712762641164676438550305652110901047767449539096124786417975291701585102539891649090649851525999039012616192243163338569555203402028280477311475897267907123076674799617579133649219941732703165426746950300804964717198219095468459062550513654661529130739878944123402728821609982095861390332891338975144754761851247805480405638530276489979638968601465977294983523552365502485145600000 193 2640174242495263108760457060714712555163264000032239154083571191533040775571661603081766926568868222460833174511837309136877307831247919722342292930010557795753132218722863652871500475804679929948392019101575630308391464692073270203007406334730891229354253523305556013002002944057762974620344934295953660179649344340430221864907668443497507504892509874028659274496390846731481966634740070400000 194 2278470371273412062860274443396796935105896832027822389974121938293014189318343963459564857628933275983699029603715597785125116658366954720381398798599111377734953104757831332428104910619438779545462312484659768956141834029259232185195391666872759130932720790612694839220728540721849447097357678297408008735037384165791281469415317866738348976722236021286732953890385300729268937205780680755200000 195 1998218515606782379128460686858990912087871521688400236007304939882973444032187655954038380140574483037704048962458579257554727309387819289774486746371420678273553872872618078539448006613247809661370448049046617374536388443660346626416358491847409757827996133367333373996578930213061965104382683866826823660627785913398953848677233769129532052585400990668464800561867908739568857929469657022310400000 196 1760430512249575276012173865122770993549414810607480607922435652036899604192357324895507812903846119556217267135926008325905714759570668794291322823553221617559000962000776527193253693826271320311667364731210069906966558218864765377872811831317567996646464593496620702490986037517707591256961144486674431645013079389704478340684642950603117738327738272778917489295005627599560163835862767836655462400000 197 1554460142316374968718749522903406787304133277766405376795510680748582350501851517882733398794096123568139846881022665351774746132700900545359238053197494688304597849446685673511643011648597575835202283057658491727851470907257587828661692847053412541038828236057516080299540671128135803079896690581733523142546549101109054374824539725382552962943392894863784143047489969170411624667066823999766773299200000 198 1378806146234624597253530826815321820338766217378801569217617973823992544895142296361984524730363261604940044183467104167024199819705698783733644153186177788526178292459210192404827351332306049765824425072143082162604254694737480404022921555336376923901440645383016763225692575290656457331868364545997635027438789052683731230469366736414324478130789497744176534883123602654155111079688272887793127916390400000 199 1250577174634804509708952459921496891047260959162573023280379502258361238219894062800319963930439478275680620074404663479490949236473068796846415246939863254193243711260503644511178407658401587137602753540433775521482059008126894726448789850690093869978606665362396204245703165788625406800004606643219854969886981670784144226035715629927792301664626074453968117138993107607318685749277263509228367020166092800000 200 1139275806092306908344855690988483667744054733797104024208425726557367088018323491211091487140630364709145044887782648429816254754426965673927084289962215424570045020958318820149683529376803845882356108475335169500070155756403601095794847553978675515550510672145142942067835584033437745594804196651973287877567040302084355389918536938864218786816474353827564954713622721030267322717591587056907042355371310540800000 201 1046994465798830048768922380018416490656786300359538598247543242706220353888839288422993076682239305167704296251872253907001138119318381454338990462475275975179871374260694995717559163497282734365885263688833020770564473140134909407035464902106402798790919307701386363760340901726729288201625056723163451559484110037615522603335135446816217065084339931167532193381819280626815669577466668505297571924586234386995200000 202 972657858727113115306328891037108919820154473034011357771967672474078708762731698944960568237800314500797291217989323879604057312846776371080922139639531380942100506688185651021612462888975660225907409966925876295854395547185330839135946894056848200076764036854587931933356697704131508739309677695818846498760738224944820498498340830092265653463351796054637407651710111702311757037466535041421444317940611745518540800000 203 911380413627304989042030170901771057871484741232868642232333709108211750110679601911428052438818894687247061871255996475189001702137429459702824044842240903942748174766829955007250877726970193631675243139009546089215568627712654996270382239731266763471927902532748892221555225748771223688733168000982259169338811716773296807092945357796452917295160632903195250969652374665066116344106143333811893325910353205550872729600000 204 857608969223293994688550390818566565457067141500129392340626020270827256854149505398653797344928579900699485220851892683152850601711321121580357426196548690610126032455586987661823075941078952207406403793807982869951850078677608351490429687587122024427084156283316707580483467429593721491097911088924305878347821825483672295474461581686462195174746155561906731162442884559827215479803880877116991619681642366423371238553600000 205 812155693854459412970057220105182537487842583000622534546572841196473412240879581612525146085647365165962412504146742370945749519820621102136598482608131610007789352735440877315746452916201767740413864392736159777844402024507695108861436914145004557132448696000300922078717843655825254252069721801211317666795387268733037663814315117857079698830484609317125674410833411678156373059374275190629791063838515321002932562910259200000 206 773984376243299820560464530760238958225913981599593275422883917660239161865558241276736464219621939003162179116451845479511299292389051910336178353925549424337423253156875156081906369629140284656614412766277560268285715129355833438744949379180189342947223607288286778741018105004001467302222444876554385736456004067102584893615042307317796952985451832679220767713524241329283023525583684256670190883838105100915794732453477017600000 207 748442891827270926481969201245151072604458820206806697333928748377451269523994819314604160900374415016057827205608934578687426415740213197295084468246006293334288285802698275931203459431378655262946137144990400779432286530087090935266366049667243094629965228247773315042564507538869418881249104195628091007152955932888199592125745911176309653536931922200806482378977941365416683749239422676200074584671447632585573506282512276019200000 208 726738047964280069613992094409041691498929514420809303111244814674505182707798969554480640234263556980592150216646275475905491049683747014573527018666872110827593925514420025929198559107868674260320699167785679156828750220714565298143641434226893044885696236628587888906330136820242205733692880173954876367945520210834441803954099279752196673584360896456983094389987581065819599920511479418590272421715975651240591874600319420014643200000 209 710023072861101628012870276237633732594454135589130689139686183936991563505519593254727585508875495170038530761663411139959664755541020833238335897237534052278559265227588365332826992248387694752333323086926608536221688965638130296286337681239674504853325223186130367461484543673376635001817943929953914211482773245985249642463154996317896150091920595838472483219017866701305749122339715391962696156016508211262058261484512073354306406400000 210 697952680622462900336651481541593959140348415284115467424311518810062706925925760169397216555224611752147875738715133150580350454696823479073284186984495973389823757718719363122168933380165103941543656594448856191105920253222282081249469940658600038270818694391966151214639306430929232206787038883144697669887566100803500398541281361380491915540357945709218451004294562967383551387259940230299330321364227571670603271039275368107283197491200000 211 42575113517970236920535740374037231507561253332331043512883002647413825122481471370333230209868701316881020420061623122185401377736506232223470335406054254376779249220841881150452304936190071340434163052261380227657461135446559206956217666380174602334519940357909935224092997692286683164614009371871826557863141532149013524311018163044210006847961834688262325511261968341010396634622856354048259149603217881871906799533395797454544275046963200000 212 42191937496308504788250918710670896423993202052340064121267055623587100696379138128000231137979883005029091236281068514085732765336877676133459102387399766087388235977854304220098234191764360698370255584791027805608543985227540174093611707382753030913509260894688745807076160713056103016132483287524980118842373258359672402592218999576812116786330178176067964581660610625941303064911250646861824817256788920935059638337595235277453376571540531200000 213 42065361683819579273886165954538883734721222446183043928903254456716339394290000713616230444565943356014003962572225308543475567040867043105058725080237566789126071269920741307437939489189067616275144818036654722191718353271857553571330872260604771820768733112004679569654932230916934707084085837662405178485846138584593385384442342578081680435971187641539760687915628794063479155716516894921239342805018554172254459422582449571621016441825909606400000 214 42443949938973955487351141448129733688333713448198691324263383746826786448838610720038776518567036846218129998235375336320366847144234846493004253605959704890228205911350027979204880944591769224821621121398984614691443818451304271553472850110950214767155651710012721685781826620995187119447842610201366825092218753831854725852902323661284415559894928330313618534106869453210050468117965546975530496890263721159804749557385691617765605589802342792857600000 215 42995721288180616908686706286955420226282051723025274311478807735535534672673512659399280613308408325218965688212435215692531616157109899497413308902837181053801172588197578342934544396871462224744302195977171414682432588091171227083667997162392567559128675182242887067696990367068124552000664564133984593818417597631668837288990053868881112962173562398607695575050258756101781124203499099086212393349837149534882211301631705608796558462469773249164748800000 216 43812639992656048629951753706407573210581410705762754523396905082510709831454309399927866944961268083398126036288471484790689716864094987587864161771991087493823394867373332331450300740412020007014443937700737671561398807264903480398257689108478026342752120010705501921983233184042418918488677190852530301100967531986670545197480864892389854108454860084181241790976213672467714965563365581968850428823484055376044973316362708015363693073256698940898879027200000 217 44732705432501825651180740534242132248003620330583772368388240089243434737914849897326352150805454713149486683050529385971294200918240982327209309169202900331193686159588172310410757055960672427161747260392453162664188182217466453486621100579756064895949914530930317462344881080907309715776939411860433437424087850158390626646627963055130041044732412145949047868586714159589536979840196259190196287828777220538941917756006324883686330627795089618657755486771200000 218 46119419300909382246367343490803638347691732560831869311808275532009981214790210244143469067480423809257120770225095796936404321146706452779352797753448190241460690430535405652033490524695453272403761425464619210706778015866207913544706354697728502907724361881389157303677572394415436316966024533628106873984234573513300736072673429909839072317119116922473468352512902298536812626215242343225092372751469314375649117206442520955080606877256737396836145906861107200000 219 47641360137839391860497465826000158413165559735339320999097948624566310594878287182200203546707277794962605755642523958235305663744547765721071440079311980519428893214743074038550595712010403230393085552504951644660101690389792774691681664402753543503679265823474999494698932283431145715425903343237834400825714314439239660363071653096863761703584047780915092808145828074388527442880345340551520421052267801750045538074255124146598266904206209730931738721787523737600000 220 809903122343269661628456919042002693023814515500768456984665126617627280112930882097403460294023722514364297845922907290000196283657312017258214481348303668830291184650632258655360127104176854916682454392584177959221728736626477169758588294846810239562547518999074991409881848818329477162240356835043184814037143345467074226172218102646683948960928812275556577738479077264604966528965870789375847157888552629750774147262337110492170537371505565425839558270387903539200000 221 841489344114657178431966738884640798051743281605298426807067066555714744037335186499202195245490647692424505461913900674310203938719947185931284846120887511914672540852006916742919172061239752258433070113894960899631376157354909779379173238345835838905486872240038916074867240922244326771567730751609869021784591935940290120992934608649904622970405035954303284270279761277924560223595539750161505197046206182311054339005568257801365188328994282477447301042933031777228800000 222 882722321976275380175133109089988197156278702403958049720613352816944766495164610637663102812519689429353306229547681807351403931717224598041917803580810999998491495353755255663322211492240500119096290549475813983713313589065300358568752727024781795011855728979800822962535735727434298783374549558438752603852036940801364336921588404473749949495954882716064145199523469580542863674551721197919418951701470285244296001616841102433632082557115002318842218794036750334313011200000 223 927741160397065424564064897653577595211248916226559910256364633810608949586418005780183921055958193590250324847254613579526325532234803052542055611563432360998414561616796773702151644278344765625170201367499080496882692582107630676855759116103045666557460371157770664933625058249533448021326651585919128986648490824782233918104589413101911196920248581734583416604699166529150549721953858979013309318238245269791755097699299998657747318767527867437103171952532624601362974771200000