smallest_carmichael_with_n_factors_cached.pl

#!/usr/bin/perl

# Least Carmichael number with n prime factors.
# https://oeis.org/A006931

use 5.020;
use strict;
use warnings;

use Storable;
use Math::GMPz;
use ntheory qw(:all);
use Math::Prime::Util::GMP;
use experimental qw(signatures);

my $storable_file = "cache/factors-carmichael.storable";
my $carmichael    = retrieve($storable_file);

my %table;

while (my ($key, $value) = each %$carmichael) {

    my @factors = split(' ', $value);
    my $count   = scalar(@factors);

    next if ($count < 13);

    my $n = Math::GMPz->new($key);

    if (exists $table{$count}) {
        next if ($table{$count} < $n);
    }

    $table{$count} = $n;
    say "a($count) <= $n";
}

say "\n\nFinal results:\n";

foreach my $k (sort { $a <=> $b } keys %table) {
    printf("a(%3d) <= %s\n", $k, $table{$k});
}

__END__
a( 13) <= 1791562810662585767521
a( 14) <= 87674969936234821377601
a( 15) <= 6553130926752006031481761
a( 16) <= 1590231231043178376951698401
a( 17) <= 35237869211718889547310642241
a( 18) <= 32809426840359564991177172754241
a( 19) <= 2810864562635368426005268142616001
a( 20) <= 349407515342287435050603204719587201
a( 21) <= 125861887849639969847638681038680787361
a( 22) <= 12758106140074522771498516740500829830401
a( 23) <= 2333379336546216408131111533710540349903201
a( 24) <= 294571791067375389885907239089503408618560001
a( 25) <= 130912961974316767723865201454187955056178415601
a( 26) <= 13513093081489380840188651246675032067011140079201
a( 27) <= 7482895937713262392883306949172917048928068129206401
a( 28) <= 1320340354477450170682291329830138947225695029536281601
a( 29) <= 379382381447399527322618466130154668512652910714224209601
a( 30) <= 70416887142533176417390411931483993124120785701395296424001
a( 31) <= 2884167509593581480205474627684686008624483147814647841436801
a( 32) <= 4754868377601046732119933839981363081972014948522510826417784001
a( 33) <= 1334733877147062382486934807105197899496002201113849920496510541601
a( 34) <= 260849323075371835669784094383812120359260783810157225730623388382401
a( 35) <= 112505380450296606970338459629988782604252033209350010888227147338120001
a( 36) <= 172830055680118494946407003033666507461304818401153193809383963715892256751681
a( 37) <= 804470457257926449746758080269993968890016257754008080494336091899208072210478721
a( 38) <= 244899124403114685817402147257255073631462537923865013235929258099059306044154477281
a( 39) <= 2912560918714425750692738781370955872381272347556033831319694306259522835520469570883201
a( 40) <= 27919230451074589715843311695264905349211077611052606444369590994069578293094749438742401
a( 41) <= 2961976821892850177539167563015090378975842048140054546732844886099817956296640645469757176001
a( 42) <= 11712949958722103183860743398189942384559924300550864434051075391896219527153519139257993442241
a( 43) <= 62039074630871680786441646919621192229792798445308789548113238024230574070735729799978450334183361
a( 44) <= 3612002205548006860356847201378450298513147675087179373303083622337976269660484368218561549709417592801
a( 45) <= 387668202031708742349900594754952269398577134914500211195120586452293891834729513006288398710871917991601
a( 46) <= 1247575906795219399596891368320040962088184738833573631709562473839139085427337011937387621071713703077828401
a( 47) <= 207270474145557124383979968634792228079586178870396928987904448897248653443245526549895600817320240588922003601
a( 48) <= 208077445378468701730562106239918049460151700121888702865858061019203739921399972037783810439307880912448418310401
a( 49) <= 1241199962119755202284441575382747388251026192353920229618805725132890508867541912625809513185960456677275556258144961
a( 50) <= 2936549229694716683315456612141867605499393121443024781635345399286660441871069756766856278996091806615838990684889983361
a( 51) <= 8076735306395982032086966902702641075210192572437950002316112210150755202955954634599509870272327409903612511591279533351361
a( 52) <= 605640209476824367131409587291920341418627167382128420967686629661862724886442878539870228501203495134645212820776255280007041
a( 53) <= 6599208217528062396767749189078194725715868834371991595801720666908141068589468527316026247677672688470577846891786597602731174401
a( 54) <= 82972477016335890039754867501480064292816693542857105300147321067762304778645330741948696905360002849949431977973504398778119403410801
a( 55) <= 762629602759786270489574390492778063293813668952700121995361720646436932946680648593450192404059270404261093906876925528532762612646459201
a( 56) <= 1688605949233703299905223011064692631120337446188100070923889263179966667718724744805121098661683885343968985656939122550736767013763829130881
a( 57) <= 1142726181737396451797273959509739781699087031196456351072879767008717320897225102533278334317135129641490948986662066863981430199343944165457281
a( 58) <= 3133161974370849854229875025601307032723202741595025644782936526319134902165376510894436270474091459136871854282058674714222043241333733752803786561
a( 59) <= 4119589194423517480475521092797295045387986165148835541241690539833621323511600913149915362233802826910510412092819731078525360851546844096288825620001
a( 60) <= 32130588083650713548419239478903259185562547237236947716533557389243347042900998620124002629627834096730528094842516759462343839281941026140949043376170561
a( 61) <= 1712002839882179727808793485339410652576600268604374626573514087945713656328237942510937000750814794385434694620851872859068715452266683214596395704271518401
a( 62) <= 7338996551343921622551438616401798451445213755895491070167008523816342634962690883724920958240048317455751577363271043943739539432706263323674134289685031057601
a( 63) <= 806872494426848656228451431404064403715980621129077201765318029126761773874473762644179088204024646324953009094423239152616982443992881229133626658697238863852801
a( 64) <= 629602752342470279239370442759773247519242562940696619196038954371258376189729968430388265917902373054397474663984155453012072946132914177049597962219860193497470561
a( 65) <= 166778816391422442794848419697080496899547931250889436609358487942745368229989605379628407982039453118645634190487569774336770847705753692799778862765869834092197673546881
a( 66) <= 8633467339162165088038253145799294399266185947390516473622117984099065161077632929703289819275301414033121080596947479731008717939814448073965038982600158857953929138002016001
a( 67) <= 929012123696383040632983555199968337469258396861463737056892329960559797542427195668954492224572065167951373333503768931796647632837009595452662794745609696944479873216486401
a( 68) <= 21844950363862534644411538824721957726524828190576410158424953273673339864700514968161537730816878740302164109421584746050256921189245053570981183819746691496501949537874460971201
a( 69) <= 9454172372562581767952386885004307313106010388304616430951097562510469124737732122305406238388622476409455025817020560978634344247393611073961207276486452900943670374393867081560961
a( 70) <= 8389063426932036962291009729866990980305861248659139746927012641626377529773414292940633155241769076005099089057495382659758638830132678908295743580826303462050178447292208175536205601
a( 71) <= 165778730452215867159537476089207713041459676778027141237835968354807863358574857686232599712295509304929742449217675111957768611402236706388557177854157906051170926783540460893469810892801
a( 72) <= 34829950226244908568518010429220356860393599477701205755924502574663119895118249436115958432213930524291102826877964577134919948183881408012773918062969378487865908316576853184410023583359616001
a( 73) <= 133088335536649592250278594030912407581749523066303929841022440675443308008741342119572948802136401488170803883258409781645730726141141832821007847582341099982187045200949165480633815604955201
a( 74) <= 2085444037874644334341231875391726517537839304749826644911388959542225556002742041245489646561926354711021285076764755624279008446369063591082852540556212409370196355529377922091214578784772454401
a( 75) <= 2460228147421130526400353010264817184076066442640432709583822591274877994787843860786747795839757821344658565770753794430216491171384123081525249499794360164608290643213236701295415630875055376272008001
a( 76) <= 76221061914846702408739952677540003451980331786582100179775743357975895558489705391944818079522396203293339577831688673698751962254040819070003883369202486909975004103746954083327836644458781052792467201
a( 77) <= 31144585910442616772736558690559033731550651868062348514732286875537203939730582653276609153878822713541440852626628017866965239934974629539410009552152661532635625383406728106835601022696142392618861475841
a( 78) <= 41913520266598538373169497121903657357808288112956315403263902800114616624821862134727539635640127046389933404723231581588026883430105531820653812803725850841534394119386475214561713506295764882257285829441
a( 79) <= 2381318371094556851348960562232219256431993363875884699632772953925864517052312453958397305919480150605992687532564409517146894083374215677080805568966564080416572063498241335863582017446078333548758434901767705601
a( 80) <= 67797537319265088032616090658148153067862435280767596631650742410438531216611230541585153455962785879923652218078635592449243557173647456166609165259010580376174737408825629647497562509661921395482754043094135797122561
a( 81) <= 11115165959988959138265290222809729082139665111212503019086495122183129468293041681459387927839727505375530690559987953898454671051057455048792291522929927139522482852640976066259924729226333071829221778226374444895450321
a( 82) <= 86416437349043592677079286280283296266431746059564951997631776092258632312171276174465143476998214706014428681523281586357027921997711544655806762679222381037558575356755285363496357174011279558528822491684721465075942401
a( 83) <= 55102040657289764582263161672332497730986536576447309908360591320926463285619450572281707104943318522335354997511012023630247895494430175305112634060556069933492082834948131008386497723628071521169266611572878054457335667201
a( 84) <= 2199497191610944732167046754105323517760741114201268556597357959999748770605877770223105018448308561735674420700002562255855902825119965916049295296381038592877286705598140390783693160721014728924280902650098870297040630817864544001
a( 85) <= 8076572655068108375064025338658602932965583261025701465591318052541536478251158703932334867234416761596558566202571429766531242271918430551192800774627881355246864789639083329370937196423663176146357816781107260619920796654182401
a( 86) <= 141208972203279068621715514342776495714224384354395056190468312756115837288176783718985335804891958725673730374266556804773513927592512197370558694191963597263810418216046209019967891601838711022301268756321276759824510962450329512723759808001
a( 87) <= 399695763159097547136181777703829657786778228799662411944134723443127642892133254816262664943196200591433377552174345038877916649434002788605162744169670582280675623502820026864644583554379386106381155323082406463113197665238337933535716723201
a( 88) <= 777887515176846639992159959071732882804875842997147871750116038469931472112733781539977617015850802270404690370192303354964219321084591431653217576683805285435367272966951071608844293638279896514404554690489424240664623491645251032236209341057068123201
a( 89) <= 404440856760181947565703823750915079847564187549282689231622796269284743828999229661623198722718499088495239091363591649664329306842791055648253423576664077559320767498740517803126638514956525022305452083995914879762645935263907789850223830654081
a( 90) <= 48970087604186176746107029621135422497334805337651382872829239761792211565454046395689041721240728402112627593107070477352932319892989016940095002498202543685061093036005068185240182196090548922921290573869678093715860621744497743810451147480697386051841
a( 91) <= 3511101287176054177751984917956795981077032421156653957874195882241786481293419604676731467278863311516420907769522966226299640417225591851143221318558929898284453307385271546780216977666434613101850746049452661974813441088498624176574509823253571094838485110736686401
a( 92) <= 161413713059210244550280390825199131710278612078526579623833772836375223803277916887638514998118848485921684343504574445711461578418240158773584329321994900890659121956459506778746974309299957991030288719182451928714596635001717614367193724068846836271807007918588134727206401
a( 93) <= 167369755053136868187744667783981854251988691469245905569730444904767538865655954551849984433664326773503648213020129400291400087243622845084563562987615792682014130014277548936701415311299995714355623742040864831679969226074588440048163002661991746125711066388849070600631606260481
a( 94) <= 114629997233720578466326149736333001607638993082769179970976313095634603434606855432046228076569951909225558312246927703901971970689070995671946475191690272542079510475497313059801568450184564546306058912699675045022134753312708438958741260667302104185558176001
a( 95) <= 2592647139566215479882640477807918481107472258260712932438394158341118430560411795800788948074216207408985385552137910998785246232370711867093863568433096656423530336693153510742505498872650229862124460869783044899690773736224385424366170414039980296465626729601
a( 96) <= 4994969174843380051293197033330529524565706004274920267045431552626718674695485213494922292713675525289733290324223017930563908958103566352435293648747216808818288554711039381824067810867827395873017867233315951162111569145520653420348681462076622986269368282393851785949377605757214573121
a( 97) <= 8084948408760554644558302508414686539877480843534608153648154719720864211040434107531717136014051329142601854545496632690090207176415924180008182528349551768587531773556194043195823951955124420195698264983952352477137024911683355635602473651382690840491574812788017601
a( 98) <= 243727175409388244156726382639696501832524271169520635254306273696715017350502778088983840925257895704070414668370101147013255813959156706042044023353799920482959327809101742746506843632053659410387736184798130365535369203946434704873605997939927498421448578247398525992307333047816771201
a( 99) <= 128367904703590847926538120327225670684574949288197160442890327430148636724190929562707859166791478713656243849096201062076147758303739213951589242608843802747387456226964180723298423962783920333134890630972693847483656446229539787743237466231151158565856051127120582366174917227760967681
a(100) <= 164859292951587753218889962686995245222972997465540989075048599844816051018086855822434954726404378467968937109418083829586020063440549337388196359926331675410958306743125798612881404441722516004354729926673981404032786905012975549325029619272027185235252737217985135779495652462550218918812268656001
a(101) <= 1096776069007615956202384362654004654414639980511748557659472400096192069029179252502351089238777775476082212770473737519553703864077350072325530131514259296505698834058974056137576020351295996196287151610906590158730728754457228747525106376122561729960274645416548729298964456198506558973293179726912108801
a(102) <= 4293079684004163740878445592984773590546241100480447717424013411220310976741049047355046300868665637594221635858258564386347375593849385683192982343670789774678323369490721937540404161404530456421482875057298424508521392951054409391282508147107899665053644780164590340530139185675560790642144268212386215747201
a(103) <= 56379397867480738718775823577480000899452057312153928694274502750453556148924869859452840632442504358237139985507964910482615019643543079340866083538252374115331970278209055898490579145122979073398077640391335308402559541256216727543519823672931263292678896804119107259494317537172494248749882232169729031721893796190162510401
a(104) <= 41222723729592845295532309971979898875730467038780162791847205896830350113187643619907068564217479571174921329362772613259538905254300931528668198339973192014790188297340059937608604644672506496805987220489490959960729136267249272227969029995705168796096480777099653538332535585439783594945581205728083760654300681751851634023201
a(105) <= 3571661711308187801964525571160001278288109414665982919077142767826612539031652738122148933378883313073491508933958474055073777048701002222918897650445381424569613685357680970484634631484055452036263928770388199750621186122095115059810877971510746669992658399513585535637384166082310401728072754257791050107474766523046716001
a(106) <= 578401521967277603258271873225276371477481435808394871995486344247463331293619686282862180625539262175713573567835159597333994320451980309509651278609983569321553812257992935239871884767503115641487838648409165263319271449394527842485894266940649219058072516249032254462789664168403854012055935948576079755948276627692739876357588801
a(107) <= 1600831092725781704886559237712462275803992298632762767869147427385134056416885955178044006765204396661547894042967441772678318622221564046587862489689043850802987064968577337891391841463099297044654883421451854245737269409427928024114498087305078202417319609591232503248551524398747171976259218247010020845198234738858511349440010153447201
a(108) <= 16121181774052036021511421437822472948852032171146657396356868488716183690582136695427457550211579363825598654460179353668629809284508758860614529864539712882535646700528846757035914788013428382851295389619014643009162982246285955257730560238983309005515895020399799228509754385908674912853860630404222370939536827324496069800583857908239201
a(109) <= 970654779071273029742330361465325677010501135891391830017824313007458948239810838480726755645604077979210400252374172196323953008220577548969454772377419239333745190534865647315916473312150382911403233551047795495879070987899499863736245229106071655335761705149993557740907837622365292275277381652510408204920051248071756404550507302859062249727537281
a(110) <= 4385830891164834997325555062046406492467042873376948731467495483631445155734291562012002320639228381387478381521297882031701350128384886838639599735905438427710419118632918845976294569374971634040034788601635380635038240961574880497854369240484569525185596611561412923565385877150386919966041312710775398635009742927796137191208743683536140983499085814258401
a(111) <= 63820489694027075463764708338086692756475218188079094885358097504540771263806486126142760271544037859722365668268511373735520098995867985136839314618913088536128345990805837737869124793437900384486982144266818589475947933380624172042266213420225908231877527625375382601389875958284714234801776078453592802821531254015203637752393982445268500475055958192321
a(112) <= 17295244404021906626674696695057252738621069295859737434235680978186058972367669095542898807716124626331659036739829517024577461200529990234456606440393064162725620427469171569571413036210126719816503310875807138153463284371315568847122951197365750877963521091679458718302501795380896274795563818796118961167736477290968129783711459017034504979448550879561525782704377377281
a(113) <= 2100022791679470916186583104321532000096786551444782586214400229793114997726367703183106204179979944726251461559947107746902828179484870613088396284083424154810216308593129407871404148880392514526415774870790424974418485437659904313205222457430506773796543871700573413436784653551698489606605637237162522018276747697756243837188597439661921263065342760923645335494696321983511201
a(114) <= 456505727513301264007490319398540913876478341959304815381214280192096031256996144230839704627311456539019378263244870003531040277092952722813050429540594357344910500591734338266530351721858159496764417803783077554677196921162496992028058405516770790782463830879018134637751399045076431935019553297235033336023777045845884413101804522984970850841592528205549451078407297645529559647361
a(115) <= 114855123698583933118923332045158215313095546138203290760680089453300186015300698316991733900849375875794008455278981353424855741017053018777996683194811970334941704060096219866327361640333491161370657870661531910703600338258147782988334769908657533745329990497218920821901029503148612694139979522008191884060012460953355521
a(116) <= 130528238356119561315895481944679030612991709553678528930367810751601203770214344264839324392769837136604283482222466670626722072253820170082763841339255894544193452397701693477841652668853685147251743436823397036645055788141592629673120191794737330410807797646935755527159137292545716620296844507117029478162555876953923198066303679331919116801
a(117) <= 344433686708036757894299805300824655643323308878226599320473586258415942100269532466629617924591152174111769492104352821642306391122924757420750929294313883879005917422301734128826749411570940458466109207481129669236979188167612671010269773327560230812655321550604440505775558164575847398734023758501135766062709172116412633723037998442085934441806770548965459730207467031869601
a(118) <= 3856945694873003994594743364635986376647246286429998299931924129706435871226776653735114920275349026377223494175270299954185274415651899758528405697963672317601311754298547167775631747652987047134438474938167173262203780834325881826124254678072201100278062487350923149002150940767879900471623599578848511839165096374590444810368300795901469803306222225860824834031115605508617892348801
a(119) <= 25659492175796815848243903250993654802545176741607779119785404782035106270533370948745626276722762278031418839272732426805503747817723374365437535955818417158210324440309128896324890666417539880163039420507113508445962575338384060938721267646533417552130994393910708876604658780891492169737517954901762958412109392325971685824863041903274094208905438530429121316667039931443338622835995641601
a(120) <= 6995812851854190399297406314269254825764907105796185646242869032841332259308767108117748585626735554742807853623695786242198668010370221986298931059027104796097973168077393597381270355109831997822111400582116267922308116212545034564360979011312737703403839496032945726694440483989092624128260172742059794421654725426358814993533809064096115923686886202204265792277928756378285445832936246908001
a(121) <= 124496515285331521987556603634673546407840864078788399174615276652846591330998985019783529373740664919799554989781553711479952563727650595094708311410364987499547310992662959864095414192538362261899575589419913485729565817350801898946422250652580495860179905604412395894978572819759793638340695847167637524611162092926983978805254190239967911930996104324452531300423414479162732297692597899460767881601
a(122) <= 4891400671638901734575770530179245034403611358249404278679688478667470751468622480548653083566637623037788379534045082848466137986921217074763403647607080141882217836655078940115727916469248440106494399033373787374665631599183210655242082012125532489698093492240344495766257586269283315326116630180420208674312492182654867945484998870354333956624365225646116035506905672447345388637919154954178945998330652801
a(123) <= 32541515279679957098687420758947011544125380047772995034604510190567428082841203107216559783005210345183421569152474661219358371265527459876203046550204030374994160705916745827880854798414532491588926044383628166019962888568677663030405178452350754672995966083270056101778254236189874309484904043380929744688674822305258488122590545969692183300964533597543706407136377564563371848875737191998316646116640165285145601
a(124) <= 104234067087709098168305756225454797425460169614610281997976095063050237504707449724627937188141590331957241449754467629461972081057716794954439356382358604317831785159286713980707884442952922620495201546249931431388240350325850657350724558616751267656006729157555702221424091717093142663217857150875386741115265955799957784893017262058317977769504334564704402811507238714399206734247105409375182409035897431058013235945186861495041
a(125) <= 173635245267196952183514465183040702566220706112566814313237228295615178393845621489269183687526716119699684436050394202012164941365485105500569496514330671707288880919801657418527797296748619902489482210374694516973569304269442627188004464615147806876486583189322046451774257943893200722292065268825064621338380361590722887969187045698923660725417056124634983603352120721305063709443221157763520893393234359665389490888713205232149803785281
a(126) <= 6690381459231423429184803098578092360961050133421226301344344996520889650060776181789142285068406903129318697591270390132071489723877176921407996454096692453668011273253297547774204824937226551836860163296215011731931967848020937843522964071890418963026843732256616404433891448470652916354731508104070804065040956947612733600691608127733438961448895608721706045643017164710309294079553850533857428008306939764345180163336206390010444801
a(127) <= 8626026942831970184261318077532738716089219419505723572240368380498586169797978527950498771795932400891795935334850040688034103702357221125535153833015289211831326510253057025222537916729620412877034688568756985932725665447288233345673846646227319869886166143010726665320545087335642383493837932445268596699695049824720931583902583630860033565757563904857553025901413685408277750005728732960413589205804525566109128596667884569410374401
a(128) <= 114774472716572005315677578073737685793535433997394775068525017763930368639450152899476684408506729949238280888987316036228747258256187943765141668375722065152232109846149585807858025727375554095197085629255141520783460546901103764892431279609888873488077242118609667728815710034598210633457993487781698285516059154642856652003705800661354893472577408050036562398986875833982065838753974235006812012950341901176947187564952801594631247040320001
a(129) <= 61397488807248205347629192623935048452659256288552176508979536519473461739315947796286666279349776042462343163289680442391377419044382961933569371326150679550171193699668205946973262586214262945613487239223940994892277148328434645568503506060158527788148097096225642026135467454618161241570313074136553111499025371383280545979219448780625161025464389270561845177810825866540803452356399977326253486455437659410784316237906166923064002252801
a(130) <= 816930488471210528321620333006222804626751453132216128310054630093042611992104014314219663133182659460362995655810335383963153778214360982686262560686601807973437385061498980716253389640395083263417761423705308525579677717075968348510925818737551367496511108871636998768590101899634860833999199209544395216914543480502749015861648276914934923165580003342776957759724902460671180956476767894712175715634957776493791208919400532517687311438871238401
a(131) <= 815068756764771092027057636778301926655690273310419731994539134303068428247443782145953516656998687094515993304847947506601301316682561160594177208919896088377329385921142013381289431392629365985700597024303163977199575427264665639321794772933556519474339276751776243446192008776743383325702378864258785541280776423758557037814913356912968928082390767288157874302586077611627513781859643129873130797470855259883165703895657752388306361604410595148669431667201
a(132) <= 13096030625995834939750271054755206489163759113394847447127301223180045190539369662616780884814229840951459234130343651964052525385607205606646888490487257793316535685503226365131915855584516054297446794906648392548964866485259267971013914110116794530613435699043081426980935289205176436502693567919811673240741182650766722853773346033494571218091629415291400498491227819698972397800242058867925105358118747887975564174457960812270700471066329589058758081
a(133) <= 56279579505483958235313377700915591689472515411245798979766326171936980749507049779841863967180964023488153907031684344122529372711459763100622459436164425366745053811791137272904863280341782632872189202392658847728208835040963308535399092288030921778248117618889972951705230093751625879260527343807113810502638502024855123052816033033915892377550422901110808547261297834299343902606743244139110465485715805809658584873094201896875932625784361927307102317761
a(134) <= 5531732087020226618578747080478590670583783691395776314076299101369621772436509761741267503951710403346622918449098620015066475558945308334112296370884787617538224121597572616227947439804797039177612617366459791317394231094858552717633012417723212207754617993671638649423032886009183637948584892542974189170412015080179472072189524528136855056659032510600248336140146145197199770577755323795739329551554666347809972963338121592315405848360064319356612566884386241
a(135) <= 1028922397459373963896938404492234547550944396766619015263535875601248473294036593602761130676947675628987017506775274408307345841073337116657912916227177609896703230259512523797951573530374474795441058130134384948901483124306188045644363700420543360768624857599667853355509269236804575605507994226071877852765702427761347395360184528213030701165688341348344250210194745660980062151860082586472079338956519266705646443435318469275686985217007138440090411668394183983564390786881
a(136) <= 316396044014909606486666435057226959978034891562090662195644389556142855556423840136094096147981991468766488232830308274869317658854159170236708092191944204235989942045567527002259509362080436412795100008996556864456696883068193218452993089419304790369163586636311975169287393144516775539841662901171202068701353488470392575573260915273534080961129683391549761394626652669986015241779431917443210272232383817193425795833125999173382002325010295155191099860884953087210515201
a(137) <= 15064672449198229284635297421768000416151645862699366631443731078096725807023156388904366823069054101134924327734272059757029850326294672914481544496124335069997398028557315751043115992298985234133740620860950309002294212879938995933632990486830883824620510470482930525621395102416640599775976468428892198786537452351822022556785917225038964571198614264839491302590933788252911884729997532460211315165693065119236310368851904704788765310028835772844841769152080911601
a(138) <= 620400150342228061214482087244369994078699963914611785514582000728859529684853061093315421067461712147659102955656185208081736088485167123525392042967775174172140309175764354631712088008433700002478793875687117754520432174790311903106370333666497933943186909050034848736336528021772503504410644589102734321175797407336139072378728563645095699770994116315798337433644578352551519551986421229199699037876246254294490813186193372628564712948422339094785419948531214355911936823516478401
a(139) <= 24442430635482827648750102256194034983136546772616057754041429675354382550091542458631927412935750602866512274182932137364102459222914784245037015125019079926895533015268239873276007448097423185260816037022360135030395189263943480291908024021184857084267294877420778020321108195605268874166319386609293918705820595805315464817467867862760644892264775744806721166772882256789772192981527910762181055493848959089827871340509481973670775890277455169043130436454977556412539601348001
a(140) <= 6306876544735594093722362183177621062425593217480039512604847896860097423849340899517605465217379466822299529740497181009947136645567844813168891114739111296679976609256174655945325931073198897883901446209317711813545919439920373059842639149306235653152147741458505579471270025526042825403984316151037706298813848341728416313193515735447789027413688852514771053416088815910549698885312388874005419816779954506662178582133213038890086395945554478077481589609292030425589254636560785201
a(141) <= 10140034897635111813196936596406179614497894611490984248199146523656792863598407705959564495614879293803507344160907334796694238059729389177691379946704481389942261471854734449530066844016601049794600679781638260634496488378261025945647743529927448601395956387176394853756724733951075409974852484832325394446918837479295291343296815552928858656916079238194492013756975375639199507226356177327714318924949912595999668671020755887888391176513201792867539980930226723524640549305064828978709440548801
a(142) <= 28041878325546897377716353819651411872197290933892166267374562471591418090285807495908802142257868765235875403245152861892400505750419268564501745922451019039436244191064018493847267375358804100338333664780570854074953993808577233109095459875059159709111292094920557809406643088914324388302567254400680295929936246155449419490536007057420641342556524587553968891888128857568289017934870150201330698505736704980370887073268596471577338546771688865602215633111257988699629562736654715627290458416793601
a(143) <= 6029405590023388048653716898428945462499841880503669000042518669906768300327549763017455888005036166359099453463506929401771806203654611759637625632459982449330793793797372499603747038149769556561768778292566537637927381658454941408460605997470544080995298489764644717590923711517887038364338634983317289062603747110456737828987240511546965961472971574993823000291595544025326917962950466304946665036164013429816240330062677754931988217991694308865788483580700376881072186355057528321
a(144) <= 1664701181209312113394370144353956667517662049935761719923368314818723533492113669606902210531404287494378730502135329612611233880431416297530634269733225091774857598433315080960700934748356859524402936932001668303050485259971886125874629474327592036203078215512016494573054206381402424980774790598185887928717427905477510416521117384968384251065864962744643507423921206951392829667543457288718641667707146576605518927498363897468214546169542708997803444104192768691818454299991083270754150688092309907300801
a(145) <= 21782022642751432676746713067295079431449584688550833845961829159169491679291720243269330225222729514737392624241666126464374316382497107470506115951960047028002330127541194409797022941802240393190029987120697165709762138071064394001476745862449392057436610740215792076120927101087224931140903578494949819391861264160706591775569807149200058980005923674987148678587957726621847327461640752241330656403541307148545927263939784773734820448892705094309369927358331073244152697977527548214457115299772064078163201
a(146) <= 1281806207700991869875659648041183896209722389496641389319770667951777068240316737356873236790130422864842614153803884938868765328071283205472875560570571592064671084523063817234100993896598749821207574553498082962066656782907754831527312031903746744030873416795464934678751573676537054812445813325746002754421821610724939503608334139035089674920606474938329639288937028317308431001912532727566533878790101634665680156726800360805941791042728311257369486118865299934587705867176414268506360889930017351322208273281
a(147) <= 10118792191751186168632867144252922499866233121729575803333759994403444576719009118522599677936697818089917273669032466269396786949253922306131707262216020904660521138704981023938962845948906484317851310681991567424650047816855117418356877090870783977122601101193416837231027892678548903762824501400915961501983325826539832520254221650088119172458416678374149739515808655101048577505029015137884271415842254657353038633860315810312500963038816057286008660640915881813752979561218388228295275150989372979104948708963201
a(148) <= 29499221315337784356404234666316205041041106265676594240587932218072500745582785185214485913725108307849753800384395099440310407593525186345680714185262268008027120526375068723977203098576226122624419901185509880791398049210301274085132759188762566973834895193557089293946001237292172854185588150879377228241583288191386290161289021119048938203872349087510415249969234162193268359263534738839959168086368290277032209753386837005799694744402826928672121987211663996830143139188589036765939590188741589130035273522214332801
a(149) <= 3662375812314934844378423623759138574966693803964176332512209479484973332796248613821654708613454190301667749927314970555600703267578826792454316183889386339296034148584145026292524820540682431332925353206958361853132281445019943698808214141097450616311668617249283597082962456985716852881712299065279252544580088296874964348540652865851955326519232446812431231550313905635439928193356339968308563226055798715862445475924710062474617295835326079160632025290354775275472606533940796139902918486535135423039353036401849935361
a(150) <= 388592102529272731169032543697925716562393182260473469575794722877027513322428130872696336964677247194946511935226563603420840767679915278380545211831212202190150343748402082821429169083030867631010239425967297791763773051134074793895997039616932975114950250581441308618414065875664262885043461696434394474936986134845922878662775851216933875794047167456891219088710628364132840976297638398850143366532223406425785197807746378986965607848698056629062256076857515413594856374419851794842869614281749686439987398056744859381077535602893441
a(152) <= 18128151917709861276142304653014803174750057729945519637668557296820393652599594464378562533756914973554759631885342672233597217966173127811022791922504650992048158692115211000541028358841661223391573761590527884154530604893963903715724801115036444754609776482804369103790957929875197091032827008587703323768221305571428537031593624106567674153165936375116627276295949042697517026228619766977145963225183642712979585622406154422432867275903018948982609484364447785624340541836759959391772287288835668443606854688359407539867799169871523189118555365121
a(153) <= 6834005702932019342206783798406434596728702492360096255988093099519358474105985177869463999549580420701660654103436470362675988129783410053020654606722238937793615971136670406910251525871122353283398598036814596517600644133007765697998957187688007436690083927076699069176143022624862840043357584863648165657354051762174241856157242492111958000570937467936068799218101181331223138622833737760779232248307878753788940159486830234343340328486171503052266314341664033726222045286554535802584844168357559607819970352632558714174208907906751294431671377281
a(154) <= 930832414780771995975829421198633452472910118872994113325857942369594857547962749578590892778919621293885613074556902143546300642684001447150681558584711922970670205715251946890715544427018902536023257255820957729934438009733937236302963597675120481969778099444294169748717971889308912499327919689785012296364811201970095846748200119960446546634816194569582939807992957013853153142921608283093040080989317421451887034984955184943058210798814486358713849677698889523432678568329162041202499614256792414849183143606202023476673272278378741153328003632430901859833048321
a(155) <= 11878822124359289575455045239496072121793108044833069169896603790780414172974911294738106064065551499731222911797283122097940908191158769563382967104043258826542784175214721928867381714904855186694959012882655288739895264964163391460261095066627153992145832556145814343548355437650303241257085332970969431249384037772725665372218997053719849864812801073270997991070618311849662902693556690676877695211275974318954309340465382254038193971760304069837126280315875353944020851538447911037009272043491679471296759974849532648333967371817452218466583337301068706473701121
a(156) <= 626950939321726145747482353544979690483535956118387222582741633777748376766156259210538426120694118803685746046222302024515693538453093950892211578211213776458301247392340958131782004312539278220806025040811130448423572142007048902437536565451201631920139831126745753886231769389448274384221997195720172066548921452906192938326167151437630563352820915122842283721955226477534248231377808043988737327110204506739145537117610894605393609090454449025749377330764227716644357184866409221320898965080074175305714610398146476552033312175036064361633804435995966431799401094825601
a(157) <= 21151487671991300715236976760942316481091404591463886787431119976311977006737856691293700355555280190582720395341852922323686724155525881966803256760171506241874813070600514741782755959058272307142307282813731332083758495197226500066801983070400196663215255882710732919637347051014165458089688197654381690088068791753252355740560608009756316152734039791917972811002723128270469508458021330566769141821689991054313964298154385515855878509101106323063808213025103004686008647558477384571408538481061872879400150003751325167343913860421389335013226993759109933946414632237024001
a(158) <= 4661233394106865376757529347418354504946235450937768270699975815420763664550999645900879761944568221056068591368335785573935726766789036519655058064642375289889797703883299801070018309231289642864285807109087032352595386638941576215588723197438511136252862223198294185032006512175281802645570112551683868057867232424795537992240457457939634790370469378223913595825465138928555780664737146584324840282404900332241995266210506613857720388868667468504554595292588178153484965008203237554856223142314648683182333612740066171505432708637723393797157546923523042802947201
a(159) <= 134377769933261394680332838808383605770548537514230184860123733487577926953371523142746928382027330275749411262908070063489663853750134542806868257589020173399550289935508577188387144903185312087495565540272255347373534234932105551345540398903038547283317650713001206599744894370205276207390414306300096447150510927995178030466239692203907601384266977981410938495246765222608687818183354916187330539858234673103038365372524719280088063404337429584691572021325561362939365512713454503024676640581383686272375542437294432385161989976207908812822889285906408019880647071136001
a(160) <= 108464340888195500917113427956671744729728920190244942938406300680853507315194384583464821210096457290855197866802005888137910880314925002777333354920466245602669616419350902122171220834186218278870323595273588791547030093792050308010433790994453170588542772689080487656345358363484543594583658986061357038313391922595060988140585123684308016638967942790240572186672974463020270298829607844087112291965754431527439098148950533158977018291856164387955612244509803181675439805650636195923667282521758990194278378388670808755609476785325591712210969770314947498370366065727303712367950039607269297790629761
a(161) <= 1825462171558095421492922797223924076707998547891303758746843888328831461654257591923351512468645835377852155643397567343030637139096945512933137890004797720223445673258340192855261593513773005182898557334414877263434746611421187923913717418812884196628401488101045339939980814575226780424252378518367192049989468335032202629486039726565089203083585350057086647771820119925939560387827666723743216681992931248671264437860058472428422742602038542864355477864331468826813166960405007778073850378847364221566353114169847978182594245604728269786685741138012471087995048704750416933898496001
a(162) <= 5478161235973207874633215756709012495277590291328963683758455982322766548363165939034177864167841532494982284481552429179820406848462600441023271939051939884542456576680017711912229151712101842710327201581193052006979463713657859765064065792745177684613274151767912553975225712352006402320251876747655023551046846108508262969310908782346461103758985790875618469256269311481519246027027040641587728890109085710996599520644195150142454146765751242150141648153658503815633237741996746127281589650309930434184521265441552843908352806747939689768213167889665114691053448826138857730352422401
a(163) <= 595317798034624501103845561601268510242763799989616569415255849214520915263429389944310717000949162065648951278059369315264454512729186508409087299907720615330676471019795766298976373765343987311385116330563086078644468399616181614465854286785644929708727789165292055345354598064885305437865019503560376907741730587082778986026359152732411515906518009701489786396536378684410522912720046718961388421910887341033194221395452853277234479246867825365566390468880257237265359306414771666639167722552183820524562003867229610022227201246553159601727027437834579116237696428709642849334401
a(164) <= 17162298331298380852047044030136211229355099279904458145975097241091429776467268460255934742587680204307342552253869224175265221521021684742810404360666995982965621178411959207275696382982722506746446553055653426507111729243323376143294834528740287335231901397016160770432213982047563558292428512129260897358281710490622605915135688768651297842177342304600318455558254350353512767356746595571640793498973010888065090602959452612011590632546582410766665723115645628721932827638129475837978905079080119477322313621649592848638393561523832974079427730326872952260772419041680980484534428883201
a(165) <= 56057642410170118844667568009355021505026849967877994467434044892932739257196664134789503096431984218892047812493835097110822927896325689767410356146187702062681785848329336806977940144107089037393758141042791943527849444885201392088668487386124446399998217785805854094722776652874850588369083121923277992050358945779736682022613476053577761332674851740752132811673877816028354461179841860384671865510618275781593808092587813878436339534484114177958133452218754652516298173083192141951850475062091658817007707834299359769425079245622551282842475665951504475410438912718119786495059547680129827767465896754980012801
a(166) <= 39082320160542170382814622089498247200467618426185653255396092601778337256022873394885176382840232377240094733461311266025324561609732555203353049682941317008312266114556791626434249335211921441116476303883429479387642220901373852146119954582343042853921936366519418644635678432153240702172330586201064588710210179713398614348591333910626885217332491189905910065330459199383487797333243779472520504261965295673454264297289704026717044411259742316169146453365063322938613956115362225974802005939350916100241938575556387051017580508753929204538167543135440180486259850562753541439108687342524016596913967738990097809032954104561260801
a(168) <= 51613198363225827414540600265966976189369848632670914608718729989160398230178078718200933052265333962846379602300130001901377132266817402078614378831111568791733626264741121097522829318713071655729367410894832501721990505695561819891363711500904672118675860814150183647080771665922070698744697567415505571848518863825805452626506378969880168892745996089591108755934116949102858023406841625320564481842723082885656954953255093354018548123533835438353883583191846273506628354484804475372038234561636832401129018323145192101302604213494638000182007963202362065620853947474632182420748136486190999286945914682480871717091192051452001
a(169) <= 5808469797665886315934673161993987074325939706491364656574912571058719648785812589624844622657549184508923775667041567668821106564639740673707894735262672909850521125370805578088906601037686326365180873234476713463107069838515329881236839730087464537735491410958916855504035303871314857857404842828873901273942973303940810235282118429843258973015044370704504191324273718480201764329951183320667329118778107218842177192759772167951632752030664429296745581908841649451016001073677932178549750146152376248119113065162620226903751394458656779855027275887585630065357292830874959406192917951210015413828109573843808191938204161
a(170) <= 121551934788923362123388123104643770978639081122082832804322157542061127926291790803259714639760422885377211862498617365672644012223055556322904709124696459450028198135069025857980503850033108514092487239061466931116055408283014603532783504782943209789926046228168533835115508442167702914512879368559340963312150768470776450134487009962892039038745474166867966731159159168469284613325049373156156550217138534804462345604268275808887330344831210067128218707198214529448663669464841587825561135932899929399242326891888027219803388200404602408619975229625409701128567296891603197068884656242109038928751086451428061468921260425270744797309959398721
a(171) <= 1552862188043000659386495040571117478562189440625987647561254411006854428127502913056866270666981538866916449793868575232082766085776659258909518076499860805737045014976307093026532070841142114880997395436968812007532277869758109603917764432770187179105267036072308575435238971651465332262795217022891364284934386521472595228702260408948395675112485450335250737327770458668263476406062002259359002257018260125258885228433426377724067155671063728393353151865192354708120755466411889826226459859824529424658433814969012255817827448527562615770966032270777200726892471600087773175915741709636497273308851262036232611024047417601
a(172) <= 3618109591498956919534969119895482258399989547732171048586680600910349924303665596161225804732688722223399082617884641141681918962141785613195876402820742944721939633285881004167251785507497922190380535595562193279396424342124949387024021406143396596388548298693778639658550562500359818999209074987010051301884923562796368076824007237019064255189856311040158147006069411409270124856604919230005155263005111075499325876088366642868952820022845724997525373835971184113626451808910730542698891583892831630955860988478143022435975281168744966098081102404755491839974455718466771922391600201430764989136478478363963193283788801
a(173) <= 5128763023496267282307733739638247897534711099437577666682831826470544715316926822991092331972262926807023497824287010595802679623552847349765179827887983582388990321147120846353815089925567186037970728387583226408679633665883622947645706670637543964709831508729543074134070936491821659629888442389295396237696882559604151230388786865155974869313828832564716185826810640123954805658479825925801610742465945786972984183202744729075412320541966691477558656770202287742620528551934066263091691592313276771136321202550077782586064318143225010869260085652465077710833588828966087528798729265199593785667960831939962667481419118018292409260801
a(175) <= 18215519896077693888681873815244718878249734640731380745920006955838500628164730787032016620088745289295912607307185457616027328178113835833161820303826598740183082737788064479768654096344763415320085788634268418455248482489044045566576969816457981885582782933774356473785632769818722362970670358614931597001461268294846752005529704929264028000708082326372211148817484513652329817220051353767237299391925787065204134416004056833799941325874896960506310515903770313816918577522882308813274177374466258727737459316375643669022272238343511183519830697054126091832723852185849336397953958872331968397835717794225820131316456731806688137554740731521
a(176) <= 414033075919957545936403286735513271296352659037253203550201569608720845688091504566583919538017049323720142760133059003019732694756465598426491632559482610705166276886331587764331918245839095822079158081277023012128631174296459092055822020507289116945858209920265029691438620217730562984661244149209265180984009551162572036062458759233826764831507312908828369466303003969325536024579128125342372026752743420575292047449560620660333457415697444561556670666666885880318542563864865414346166912186369635885592586000087735346160494860054976095345527543042627888607738349812641291331710320559406138523421566763874107573027105346057798314140408123521
a(177) <= 25065761566103747330569450388948893226164683523744305861720110671066941792683835658474687015696849952258742152087123016044195069831982605188692646577626338363226515587677696648746368974255775109673762650315548067402336165163502470029882743971903147145967506986371816544998975649957733011492187342851564683713323991535976220260370599326679063813573336678517978633935697152047877196510848239268855492180555954751213477268071223213435125132339340244227474950918603937966593000035352171184781245370047579400308636126479177540057257862025755939255720098654548895880326900019803563657682873359330636700560571417658551895916803583688010563739049409334268753601
a(178) <= 1070922056336221657649947701552935027702754071860308467561565206298567719289142430271380428384036371421791042120272324675249363216269397124685824784363475685392318890262919223857260385144580298194675061895327439641203423965038545087416754914855357103698285655644503212207348365374933101516792790015438607049303191040848613032848641061792441085292787544376219407898478070410684955854617702812961482003482157923232693508411076089743715585001657279359716353794396015210558508029482211670076689884464551206027138373209533992183495255015656605604753088574926161123543225356494385551961226081031305816223652765402038994717120064662564390028974152234963930822691254370620806401
a(179) <= 214181976732440949915278666419913102613191465055032793419257996272511335945554221757514675770756875443660164810399931903034541043024295540925867438357003676290601085663356528059817845316123844246437055073290822809366452206475152733404744104545714713183194763483451039656361190771973983590305515949729594770382747377372382178326570270841556501672020536660639997078531907193252733878200317588020854919474615364634354593718087044063481890566003004553103301618621967212065440984025039808247763982576613206255952510713668353004124805328816886977899281798464262562046365543171039742717603835685936881732921195063996111533869946813211790198087873463668359091963305187204973988478566401
a(180) <= 1665517562250979069124260017728112957815809465625328226591067980592617856091508282903892843751477397434047641013567402114513605188219248162210764957958616393878033503576498357552546094543415837711329851604265808016274531864724125758546052305526055327498207245203956963080026116341776296351387565128098566370179346550594674659713121266016311090322620960797455295038720286899637666157864418732469066557359330605065735533588651235967162811787767782169451720075564542468074099418705647982792457884734073333508909806408569969488083631886383693128837934274795195407013099801886892657026784505758140270860436274276297893900022673224189133787593335024364463591147920046363260549121
a(181) <= 301385664143015690840079724773871262620703826007020860248857778658062632178369803573990380960640187917936511808921306001385664377129837573739965299665517619507832845036582912605514097044119577818841276151007631842188064808312649121347706566913194057537673317474493714048180261792947202508545400808718189799951359433284204593465667785625771418286505740524039008759329169470177024358926765172324088335473230763822502654799488880828522904483080004620868234739720789512744154094341305647983517238575658416324244977862948019178450749273097181281596590977537257622097923016859312651434656598336275457914404714978181920172533420759606757988118279335195834796278401194724837640411688084481
a(183) <= 173848500668240536055711479861430804802417478539712601475902910566876208836860474504869172778229156241719384624071739246706713229195156185350116107711281933996783145291361479462888571320628538864127743055156626744558074816092362230205278662652845302569901219590703621003925111628168039817584675528512787993280436261652445971323759650126050243466441523742377986676015034992960905261917698830853347866588551676189568993052107025872739359225968745314667499934334523600732097154476146865443825337392534362867162751313766418172831971934901968077389718133287339150895257686187091939653930404872917653918474065299909520469197887575498400103800789389738985350798397414906114723466752561733937971219163521
a(184) <= 8896974566497860020537129196782065465509467058790184967126874826967155627945547264724663304042444640123092644006826141217409254817334271324851205014246316013792673923777787207447344082435048196989398686245836850789782526478178381372865339472837700332598782635575846808100979908412572330874069227995634771518785267418071950053109161907124271019353053700574037694352978253635885252487565085365778941466548105344714324551170805923143839697977559029406998734411980831511938509923630202388949173722530410180909443353030674036423320149261630556094919878148308158857510084401564701780851831306277701651125011434721210299890310662123001711039597811676085196688059004146719753204798755898741761
a(185) <= 1327307906541117819646554781571025734295581783638389758256209574700130327734025804225075764785548560452996122120410702127931955389154180810014420415378523534096733615771987509400894094923584804147694904321208024781159809588413690601322200387293227032839286254140911650390019206063760816969194630255146888597117692535943404455674076805016405983391723825080923709724367929054498587232259568884344421386628718893663366426948222006632481584100179950198269112789342585354211761654666549001071097304025282230571604858877366717872063514607033171311012669589070746831111456839689961599577748221382516992543962338200416577001362942501573359471417211061915052326848352985626426577615325891591897832102463411201
a(186) <= 1082841967684556088826648058333805978626566224478773722447761887906462436840925948992393581335045127097364503391850437852057088542216824260791605577437887769861920787441627380860787870724511096254133310122901769724006292858819769612173588457330199889350895692909470507377824338107978710518817698162795292333790039911426993431460745965924263358162148999476274643273863246424798548085492235111393274185238607493511685977955977902480200143139600015219932486603583424710033049452193741515444652276544680974973865392650806676209310931234368775341049230776808446786985204900116692548892645323661522756175394254598676388983296317425887956102336219813608806676557651066333766567920219573056001
a(188) <= 29667563810406942724095809297012108117724548307871926912106929000027630934267928307137808401358112376997333731138760742610490505745135568058393502332964317144087180714405569909760529911229161332758912075058894968274252616592493378449258849628578245106387331152405465725447057338573056569137771999520470716767107242950284043670899561235987515545076760763700357365400383363157441528897129731255377803999880448376909813240694415930974640766201334948057952520352331769487210637837096949946399434511466880765902627498614747984925972330671271641897309350420943384271829222420773183537216592733130539765088625339280020991799600702081948513822909497445667535148369846641710969740054968360552191116369601
a(189) <= 352241406012320246447014864645001967365400010104850036148554874652465414112134096690923522822238609087030276452354162387105037765395231373352377173072857622189506643240402706478601072580337822683596084718386122290868982211176649688729062165594257981555673689117485247993153961677892076871192041823255633208146313954490274818855411551942844127401456824788290203341779589513874111406153460830419135710363985951521737832016849327161238546372970428455216951497384613184455284716792756317058524078673793993019823179203881013318767908519672882384917980896863565521352125997534464750985022349870892718933959406271731466896615229286982436664517614517091320358028362775798329041400462514699727384936235201
a(190) <= 15232045920713372893477799641831613720177433082366061188029224304126367047999251282159040773030151442710876737714717967292222956201576834719382889923001369800722895864480025557198148380407137114209104894290199481834627862423336308996298269768287782342266290028918927193502803388783384336448408574163449821202145891743127806537003151678386349112890805167141815709439446487045950488232686743535441599769547627662830764939208850841148197869754181204745066132208653802242649952520497236762581485497430687072748810722772446639027157740465826907220367616437231433416499776288708363654260269464959337894297712331249144441035178579718068192153504772603097901597612455214765078201417522016125765952001990980118401
a(191) <= 160515486345871665773508308816488244983797817748100068029202841967581253390432470153258224151642322420475554788668726125599518907693791469112196353096432215304315601303665049708659437712369414073972647827749369557894522051910377331919233903183559150911945305155006481536716691434486810914905779882841882612057281689517286196680894992377587106228537581407282609440740869218265427253338479286268141280857643473355188699672459891634173080007077343647513628199355672568070951955038776694902098671546816148041703924477963817931462202682985670620429790949704725294726508956829455178670853936563978994039555615097309751366821405558544156999304488899574586831631241367615428887226954870555100427164012225079984001
a(192) <= 6941203439667283963248640273321473291971610776242458609900492364975351624194402783763846191892523428535430931312914246263251241628703070950903998448415990669279795714610249781226551505542970759053028078517579365415313953889692880950027147441381188258274584131824281437395028767756491496242264535535487981011598055613415599977597475015277467129649002568848984743850454996520164742066993780810429773304524529104636569332864817258374764967535126993895504974464005419351278357653084783411767128175531951599813159188689409449537624254523088634759040156426062326569642666848476453011754649620477392999030305414331600137615482771670642248496480873686572672852182928339308882071561542085343189347039240615590989232027201
a(194) <= 31920579470653241719874864129043889443585884158292634340815411172753744270820175434796429753535990152585531452741375597129530646519983664595041113610726420182596819816856794168732180566667894486942076639101547108012553233533921706170859001315312171432703791285377865286671857073994239084534072243584422071941814064384955190738497641735510289750343001730954317938677247916605857272298824063700805811373340964526414379509805927815874545571442576285843996247982353331374882255809221950480144110322029000608845473526722217466583754182683558849307639649591356671955665170603892312316762335437269415095926692577191936749006388958384845771872702565138765844753810293256117224851555323532838730576898899712089507099669339361601
a(195) <= 1380348034085931732994134444379934849030762549419764203619383329241035887005675281182164405914537282902276806302717305963167316783123604124799946479132478343966490981301121538454113599412713661545628095462072661002755550000907316658209396136537308607010868020015643389542473736494004753574562877377842124125816325890825558689098191959594660297242322242795005492440125905784618323803329781050250749563185469370549606822432819207533353964929551186286585384394746749561663639739291602458224918271621674801157427189656227721073192065456375854715938972202848604428069892061123406643868529340543264208145592248380718936416569828011616521067091423437511244316623814027143221633818002018150575326921685076928728685501928275550923724801
a(196) <= 4342356725458066787633861424494914394335953722309571743655632134465447697920828949576104218112037582522009839088243069643679206452668552095282822431587072907857456123897201010378984030459526029968960710002257547143641621737795499134148121807075286555033673186678968504359542628778186924132923910712971861768974435104380727764272813472276008373750250354381307115753727818927363863081985391893173816712787220090841100648446318103315931833070041268664214634754753184276023978085114241341869752460702882055833584622451111596160432135704950037596152192021381404366383703469092582544141962892819416767497764848653863130775769896225923634289839396049086059250472869796785672753408444947937836681946799679101738105538468571682552977302831361
a(197) <= 33697917142782417067299913122239156288751161087590638099576679103006686953948185537809778095646012166870670355548924224305896872232684123068863248779087383516214255242441415205059829664907944009233056225971134376501843511893743333826888540287548720166140809447928536762379187442570779840007442025895900118042153922638641470914381212547649418648664363207428573782640258171193093564073747524614820527189127015530437427810018786548905606497551171518050983934159060190135929751914247999154716246111243220919612604269601649847729495779307639680265796299971608875952389510954041300600151588574598724894776154809875262480751062030334348169163862296162432442230567184496150358033989054973166976338118053748442827284427843002445983254668046429262020801
a(198) <= 3400146831738377250806632141264341783099179443417926544348404682413336222009622033261622395482937240092996302281841248920768663431672486397630879961272189045780214841580787989764116066112773141794766768878524461467671588326731729271543449052734436191288460752084357150082006678684533185051402746373959064526447882559530957967079266765409077008834571827784472244956001944320178266282985948305402607664625194357760576346410571387832601368993717744659730237794780434591927610847878906427358192160337576096608868380498826420557434155458260069158202739569971612842305739519261041417637076008599459595461554736016416694393029240461422028081517205936488659529450455599976352542066280872025581419264158455778933775703424185649044669628592873817727737699561601
a(199) <= 9481431943603399455853608430593327593864270868515555917553258376224800840547196224003580442790454864572160704570289991767067139261737479818528254249175006277158486224168196104018020678329193113499688962195455120297630847354353468196741319702011570122721333345116959917881496380498816043721650509188231157925466507472670926242231591510294793934323869183015141647432254746326181281547624158817137460477169875014869317344822741598241141966982031640488227947641453696531839451669982651481773187264418603676635625149062006726798104220820580674822742015585942317389762721737982495669089539212787530149396573547493690213395425530649743890239882458373418556738395532873117671387726458319799052450063072147173975086362431286035554619501438419838463715671259753817376001
a(201) <= 78776633590557232070306801200601855915799448257203357369105394214154904344056197266209128260764174564970934495225478575899502761575675853880523310320292261272297454609163956085548833531914492355191687017801407445399332903131572057449685195281362405587871799988363880800811986844477277046890984059252839394537972701405957406830714804286023326272345268401726594400731290463051539710102886701731302532996745113235373974588263114658567744000549798472521999143080908719471268333629286100740996629578214296418632515024263071336080467274073699471520062693574310928075513078244843067517518375994963999100097950484166182795202611804821925120445628882407165678466946427352835636514506130353849718445476148236156928956025199641810786879293311816734902409791693474532347151084235280096276649849601
a(202) <= 90847244641402319612000798454072051964333831830991149326540733158054749692100858816700689898069012592002421742092791568399314562062162259254952854328556888664789769438869939099273695966687541659201265942825338416612216887913869845926913594896519787530860517910224989007508097612356725850880417614789345053495206508715013850834173099396175656530954805560252352195090893239715752354553756692725244979196364659246112015186343327847722578565911119246116390080915742305966858247789386211274059870547405250446153465265311245654734145982940751895953754244416579987418199562857628508632188925319027757061411143624277772313364780373053441731171251663050731945017142738681080293902510140234560615037274964974606448877795082960767831056963707639694203003460871272110993921
a(203) <= 428661124137595272107121442166740718526325866101980626281712070923299338383588613432279065242205766302890515101556709366981905386803793880534203151261997677190589271955110187725781469067090709423864044998126666362083237765319063829095413631502134785750000192308193671034230132958636744058392498758431511132384027649419885340177259959257730024932291903545065025437721331339716138309969947753467824004141871697739145859688870486293165295048856767812021487812767309328528419245903481620617036353406498784928155980228354513117256811060355293313203459282644753231130232379783451261832563358061547807575068366281958821444304753475033554707582948496691198900042241186689944449456538691016477634496320394491254062636731166056026843052476921726807219058075561217402145188024961
a(204) <= 67872762523230857202922601331757487289384907710003375812522609039148985877179790576714548165070712467230672751940263232181151206726318449100141012582439623156160222132007649909379666912128546572481678125676227644299949630164966859963565862917659806304909696199433422649018995273653933993382576113006715901255793260060270243368809686532665825432625352438821588254388350298378683233492058338229591354394994052072983649632193057883696334075809911505472401800096012673687155376436110290013737883573273925176105644233420066564176882597668305409782396692394239822891057628564347980185779586535145751112350680462443018687809983245569890414688421293842084048095583227612339712603542611822085944297773098123540072155503616053324508134763382516242574720206868287353326415266185748896001
a(206) <= 61869023117508671183847825010444960871844114000094239397117197927064645920273783893811422449780748633184420230883193544212339495318343366568516813144669902092204197439518695559802507373953520127945824978655743264146169433246818781554407891931603595559492432326919785509853526100390561367428710713715425185806003940170878100881941337728437231847094495628820971371768554213327903360450934741108252239384158484050936895672516978610164950350585209900323845096420076785751740832133694398985823538123543385218928632110308290685731989105978880154404380311870545543404580039868282324219345514252059850844769267113368485268176631388818103149187207994655448981152454247737587999571733553227992451707402501483836969369008309588535892929136021990977324146607881703299961433515568418380801418211201
a(209) <= 32420962316741002354555199032492534658067972825289361944460143232677616097320500732287693070260801826501658305178536705941953356769547319050011881184021041488789600574287810730287189438708496793854603307907810447711007171235722044538468135371226695857239918561039334589957257455408217031462239594132933218691669071200801724940932601236510779874567263343787452087154588259123259947523080172395710910252447130127824568437646583686906016164371028991133441905983924927440905031331226702950904106428089798556862893233240220622344324857865750605974924334780667224392953451506418904778454660052479645593229578179628035946108141071873595272763670440059096236635215157179545991812595367742956136980037111912423627621481996315174271957113340089315834840205826270356270189547386059949637344612068005219213992282884138073120001
a(210) <= 2068978836436589860178750951904694686361289938992102187575026927336490983729510428022379957499900293199675899970099040303508696220510219956472507964418691430469245630364819145063363820560280377683039885558544862856878709467581423786930864647708750948099112726526288468132726342297513582825193006488684134991826502896270210873755047915228437165684360644797632905857798230775842157334051377020272608982058162570462333594332466814445405638983367638160123671232535949588329488718581567394355957694477599753862459308608699012139096468651460612493700098124855824858398912533650496466291177821655913086575554349954681334379311051554822982477784617228442716478160676096916867875807339234605674260173940118308331900200662717343929669399499411952484799204177306056332349615428990600514980990870892753992522606026318357678081
a(211) <= 646136397990698308636286553203912089289784706924281245524898531008837956840812360463274218023380859859449949030735275031831927869799384775271935876156184869996890706192532938075762643709216021748265400664609293353956923652421502246644480466420095277200843181440062588291985884308306802665252939565429792405203178577974897049437199400565662606575314204332063409239585785932688522372376989148557007406175399340099617625779043117737130753034385189445050558141757050572429177740677682335825599709077106451179243445174923829887435978707612912778767418883721219182079331545831076597087416607953822719060814736721715009186369165457057892103093204321567748229284254957551849978861354648992684056069979255049423537770615664684089251696999617011256840584094210366059883012628488724637351921745727239676801
a(213) <= 90965911219723159297722125454483987847061035542431707321024039541246630374924642028320026935195385989299922735692699056443643289507690806480210358486479071145412731025319480798257009963532762730276398159466672884094175574994808243477082005007263467582262048646965199661321715165196976557189749644885654843312618774701128801310819128341480388231966357082658843630031670917749242256505880673671142835336687645600850390832591790751443149855084983231719292701589199431970658854805608378309510315295016414735730675433509626383608957539104891876558994485038856078942359680012362149716555381187477060873079674512918595850990115160141022760681656963501851519823875713980035293335173796228956125315708038685198250461338735922032478109578830281882477373195426449805398989240240311167092643705870839354029256614632293260801
a(214) <= 7065654356857784958703191361812942316950559547878384769958837068254271785001520637145432153792993362383343352440597186131930133906609148663147684980900957182746972399333374592599944056109262605720847088303228475730479960941341664131559619257279541405769889910209884440870009574657495782504502470734801379476568742707885495341663159598559673552340150542031686238962011191379022441621793841592051000585009266121303461606138644559370526686709551390944094633076629589897633200311780914564693801115566544832802471053107070015274302131234935070850627474456765136694992958527432212488648283582868180599658878164247551742759437200359278522068359439115314179427757784255235215622201628841425609807602447851348095843054641352429864734721383738651817664628093399521041049980531655131184440979028460985448887941859404276064350607501494905523201
a(215) <= 292221804636921903929335761255936720710420564933487260710322833536319933734354894104642618896408091157714062778871879731223403325854943038201903878631410371533024726858533444747615506663848063665435962515992680033247724208852888615485518539459124027007376967431392631245985539276592055060346158813768527436714948595747049913300311659842147224697302266571804463656260949137645477243453544759317085117290843979478192392408758766369357342869135011206246198371151111604238295435709727677979531873457877236910736729286076614090286014815441416104151450091055098663058725919516412252055617511390618058223847451455466012940806109462609213837650415516636622781566787440375298219834138050757401159659373590077005423755967316810455699584778540262608915074306975182728820721913192194093929449199334897574844464148487586157029327475743894496001
a(216) <= 73875542723985338250443132123708602246543586217221718759525419094439145231940750835330817874415521352861615598214658754955435921780818397547828830904747661581336833841113876304777029571478945786077733779639014381549917498680671109334766809579437631880361771586624585523217749882559380984999950223883250668345661417390815594948813822903029467987863300421160494532674631668332206715844891461295363506312961136704399676710438024603037066533669036166145770130142774751816819815476503134960092404593673369363227710789324328218431096466124423631633969256450761785707788151358359841874485514887238656465179326575478574509384618572054279419735799842915460230202508673933281232257975257549133911286712623221817054037225999636478104581965057145823754690450193965141990525681095953010179759999996187049600057116152676249536005130593228765257721702401
a(218) <= 43268663501230085902131922635636026650393475775374634443572465111543325082733195012704755855859503931224703595738794484423306273654999878741692214946800991447774000187901508175007962876637339148493315398864379931082526579297138748734897647052778265313171658496023310844277737213868668592833653054952465768131377506650355142574476297126650461934459700794885321897622464139403965385316349046090825692301913415681998086685794596297126736929072479981915996299048620743540904431473658308724607734986838149466853268282714281060672451174253351216772856970744462293466007192319800257024024222997491367005199170607065741668840156140620908044084018315298310427880522440617380128993592260225123158997871384459926219954274697507354338697960518884713865258794201539416934688476309774600855397720832953491540115095646022790151394853409696057594335192542271337956240324707750592413937447883957632437882477436804387201
a(219) <= 158114554512061069330878734175026751002045308868015331257844082237868886325243554077689162009665508741242259659664126235841660451282245458404203592510768529011118156385794502936766078547543285469590477716765324336061105752293642906769225076220281308767419799936104460672208006031784123273439944532372366468489987395145914070444807712284240164783658999395690512878481889715742585737738495093420336674838198416564785688020787504747930844133743339188912472655565984892779824840513746182712010801986556153002495583387918906159955687932201930738004746302239493530887682208191416389537629247444303095997229447984718182919707332186812170042671003223526151985526444958169265866569993028704720465347253212618150944031942590296769400236703478802705109114568431792643072889284786968503815990967877859744886778847740618106126744309523435642974425233570658784818439067201278136640586385485480771778316388659324806627232750335613682566232320001
a(223) <= 141182489098015554248947154475173290494161125126228329239911857649712110256067352732057882541975140591507138847858610568082527990919796451298916519862728802266559470855999486610840585245239390252746978548306814118122327092004259809279037262523248372988211104593684255897460301648198380014933485359854266913684024582257652478995793557522143720718294095442209836251975258155514015492295986110266507725902033966437686870727881673231032720608026771633991375806429941564631167242556896181845669911443030813248577169845516766129878972564141992846746621901276271790007188481929438095578544557744304815570510297250415931852580883272328902378935399152627981102954706234677453365110031676129872727310568108113522342561357198698493339529080278216784829263349815640156609716892108673209382427943473411078723308080841578815790451427571733019390334130513748468269116825601
a(224) <= 24420730591435713960007840610550409017161723958395192674177755010783980554612797246719054437414440140481786618010016721929436065750299758531033678705828336431421940307040098853639092994348329247549742823787543445397963777742161523142720865882018598694463614740873532652184477162393790394845466791386485499861550960945961052976496078862359818897205061630400369006255502185857352854459830638549892697837415066771866689990726601815338449806220813772518835083081820802700575529844512734440050874303722991696914302332831772329947095675421792664423726927551702206354827201854272791748326567656338645747019579114747042147566034458668776037740019389483088402353144913544322440109957852218908925416418162561666785568919469020391947418189036677016557131988384254111496861394645052001420538041563265583311202102729102325029537412481531288788133406880862641565968759120433478401
a(226) <= 53117096205659198928875419725684633057794420421637523933554876071722016760303041538902158061281146384780930048032867224604110439360927321443644178507129606768772248312556297317503786477565603700310173697976505438981937229748010149398928070560750580362586718058438156996575405039048222968438768421137205823700507231180634681006997481832371401087136767921262120987443897351725963205296708404691508362780739375617440219922111073665116753724424637000131661787645404290990592927181532499573086403420993146141909502044219962697024340005969369359087851315970402456356193107982835670394044904029515037490977108267829916224764074029168647031346824087688716652161596680075813488792649447035138963451568645120205762812622402856896653984272251853365103447010274387204963577714575027087835324457142028147291456170558550908105449012913772134673366588082375701720637574401
a(227) <= 9187812911679343690143781130002322622663895782502243521491524801333634132398562703803256744804529538666581241793309583900869098809600248747534497203722206552823095121690386217197416275130446133298615313335524177972440271035693839717961054762418668547692220227965329700975395217313685500923388370794450096638988920898068917731521855032491893718336491817427656522399056755284522040043109688839731742425108638651539739289983554244972580883740911575321010908193692774990061923265378711923688059414745166689968430057103952807819814456008878538245000447194936545973210975584686545830770720769761402706434322643966798800992787448996656578392394964901786935419734082385014351510046683064769131932454456390216972490040935177507816407187381349654003218884122236533401111140271220960033749098095661063457843737190246285076093119126380337610201438840421743860959200749986867201
a(228) <= 658990589398895208541215661617923386984044296866347110642688572163396798671349539204811067882200234951764042634156517883645328556317211403763854263188851406235347951637380616865932812705397798721431564795141748353088574124345163233435140482515455790283479659558533418703067778849073342605875467467068036424920264437876591600356723890491510453273133692173943458534206755930437560964965273808990483863967762344879502848663757683310987720957010931490974655171187138617056899034542293926706162968208291928166996605913693061420965790675150003934613651150666923039626097420060798988991640234193762355791349182608417103352685838259393744731520271167887090083782183887102248289710217473122488219695693497868629889685614283532137013855800334451669998885344563999095838526657912031155900953533442756396539179062485212148802541532800808494796116334354065948216200780311599677352140555571558401
a(229) <= 986480001091972254118551701840945658986888625057649674723530193183126048151182502558188818215365507247933059002713524250933917294176833003069718623923940039111090226730251204428392346783524621309404367534976751023810379599954569003794879063989226229524825673170369904858668897531322462027077032289318922661540284300675080074254354161673280916973607857650452003641480451226336824329652687778590020424375437961607673814318392459206946353902071105257717143959404526113091626875361006996285394059922550631624609567584217824851849339902718462313829155594551005124940224329349161770618080794427291818402386946633614708164376883267592791599508377192121919336763743813407025423947583617118565862640317072085775101069193939257988053581661043668286761594605033203495303893465633434076124449162950225785362960261900210383122573023779736598200246739156577945290524987351465352122513078608535664812712942496495086081
a(236) <= 26766035438313685898468481376320282924011227734790188359155579145389673115916012060636426481617159189660064858842132875998356632083700578151389207595004508684884630221883074680686631800370307260058801694954927271292062313427410265292784936430607437168216501107798373449137716432810635211703490979191556077055003379696141334543335523966024583819811191689533035980570316658657899215083055103242250578037443336949355549478797153042770751074271316783882216628068562514455306271161527690749652784685350958744251055397335741854601135401830818630580849476247256696360330389479769164732324615712264419347226284413147530276948865729794093199850191004309679899039856695183230861098812830225616336037421374881151877191605240223952262012093772889073914041001772953347079092520386138938018895608340622530886625269961104298020803461516961708247811004802874759751262922616509567028237267545963277816734878674387139139644177302401
a(243) <= 6964595720561868167983090344138977315164972876511001454865907541070668204027018988215841317482208742188652269123755036323167578554740092954032399693873900915670774685371997561469055938289407224554510391930303876295858013037867397274714166923002867435057986192874989785222328940827723066959224606513051084870118030739622496899582912976826054138811133967745721998441412969630191637401176788385284921521081227000482351154566158059182780532673744583253923833911633068706882321990126933799159663639860890790866497349934151305595794774922509058150677431861788380314924104127892341386350045323842859929788539117683254785213019101462933211303918945824208379959526911766107114850251982655742661941206353282240014746763798726304228064840712134205156463769958056268965117287186915348425419006792863065151047188000025514556765207022909314639047117812702817842014801005171872997632536935158905693024397320076706596364056171358178878265396625667284501584911634501696001
a(245) <= 748888007200069957052044912229822260597682603279498390722489089292911386230827458756322049187246572078034055790695741348026719977037894160121321598635244996134625122892301094179255983749063646863700205625092818688057971912729208876573281720069871435347005233889284524823290947299552649276078122625480674764584468043191719342297573391808639066208748370185879024338803632191603262308883967317792217718968077734160029765263153799405129707860081347238766392057082351252496501868001066723754378431814508845961456254906305821442148292872497410848715434200282727864100958664084222536592198446516745410765354396729391786211522984052349042095154230119680961536398645223309502088009406939975196800316971296756862698387484214174098630687982420918266974666547086471676568673665948395203256849365563136965646443768102779139758957334789910484324809387368477674679764586146199961290066426768745339678233389604011941366984484311942029495686792963368019244176351445663936001
a(247) <= 4102766915184784651302593894035529169297008342675284485045260796186524069900245403817296140507371950621906377999380454424972439607497136908273096152645526497464265909882984514442469853523902003569591580526068267688167583125974666715172752924122490283339793305751003278773814082430196458941424331091161118998124115498012426477251866782849502644311515581329879937133412889428302837297507554352902955940435363066136127034174216810961144584496421114088921665986560704849967698236593086075392629992323123351999377981310091066014377687356052411659354103734351382404071197456304008144714021596176837294936708179104196404475670812435649325772404611795687450624423404275162599308118595075625486938552282585519320913748895374285717065306764285853763450843853166585789976079368754656755014372250544077062125411776901784666798504231743789196999280917023903984031466172928672338316415172714115834324977410459066720438666184364028457824778561404330628477197102198907246102040782426404850627249622402583873342920425108910197164734880324160265953562888441313491698554782395762548379783021149104340992971368321
a(249) <= 11231905747530291398207031707179958636169466587992630930400960393409365601191043319479319441679512689793144194528689859474978875718834675690598683753170823707968486408472403608417622141790091980338818201569077698815481053867780669905293405633222392773484193243086874307006528051970357265769132669061368191839812348032300995434565727275810608335976487014926370262500161639450151749291165471841525154358139728091490312559990784611318068066302344601240270792605539322381391550635050438089976966128046403029809271329293864364085297793867105913770967760570966480891869194419818129329118743676087074166097330216312072048118145835969319164045371980721449388925155396316391166338465324360410161316622817876457624502212918426266986612331662690001781921122801550279698567758228260095333183080908700568937532509913344757918983396263212019328079595166544308540573558127502984212592374044850079735633065075916274083658216124076728918448818525844382360759701836292993432865069127161345670224334188182968795441960000659610907064337020277523052859183362393409076081778340598662772808800409601
a(250) <= 10760201659464317003945102036186895056497943369759488595735728270360391549320308912590853678430505972941952166213051571713269942346024795301390424641924343012040499186441556177028032556643383987249016901660239658082944757960187312535195449440818484221877125049779796707196910601683896617720436823954464393222122308654270405021800352775119572655622758021034397490786365113610653255756686003044856462597116959916917340292961676188144250036653526361793247989422913801172744048342731902486650259566937029979093380352941047130453544723562925633998617095494787476358116023127477105735127738950789924205845648024780987437039809737043428696946110466766858803949792819093526346120373230164776212214251034035286426813976007435915655655237878930673977776139573399255713673227498067259989754553029577133792677313538548510702956192286008553057974121352333575690201107062107425012715958843155693951841710104169098580137912836815319473483236102427019529475731150974265682556714824906845195542402540373020479716511890345869360382148378368668992990389863418828916188796188065987192670366553367869132801
a(253) <= 337968292900696310715991864267135980230811870908844021783299783727157350939726586931334677518127476075920430983384135767926987495450469739359693349106625168359185368418748263202954574052605778074630105429876333790169578401482742033958057631663201012983233692870790366018007207067092848109687749515550999339667707686831896452195829989931411178754412120792916736333638972027647414189488298501559276601752135333645936877206415503838202596512117848941080071412543864467292329108929679125299173847751111338602022484772627595749950051872147986535901738232716194680399013569104919197102563047407527141849806645796068252059301129620124045344627978716346927869113661375859376524598097906194997917217697821933041990124827596899801226922197938999660880567344825535483963394435810621689789142670626109901467764849821582249005673576388913082143834005431883672388544408829212948342045273138148022874923381825611378463105889330402382340927952485570268058223633984859635025586653584447016192097046512131318748323465789502785429379562854752918517954281996316944731170934944126126914053466875494441436801
a(254) <= 222595110779933782077900027501035686945810956494265264212717765100122993736006841655868137848001926329077936957299970848633737346490543118569674362740412385192564021841793964516973266038414970369720795449614351500361110737918632635630842449339023057881511867064382313428205602388426781757601783447416460667838190583864276517831569810140383526643129121518312650677479638291086711022510361664334480483796800590572424530457142142535960133011708541430204381351323881743816102769785178668123923158956714605582813322084860834804149098554357638229926647863248553929722291870180593006118828409840049907768068113511862849658779989017840493258129406008235150047383225142844070130001152873881172038417922024123555855371384840753672359544133073331315385717265614444269128990863716923929615713317344139681922099754764174066053891820736689510724676470406220339302867988451384211199478868862258918629794760061256692310907113656298685284937205088232138540007537083496577794783701033280955407402556064651863011647107715559474749055844649629484270061296997198921617162810334802882360373802452553119454578661024001
a(260) <= 558027305084357185123119181611324189503314217801899547381929139108125710601932027068619707560106056838834131230071379977795845103981074859868164202886308727044323992413393956922597728661698034174581048443552310494168305568799318826051279990026523843880627997356161618942052271091140957044566488023414192219006040363149367060080180470461450778657969689881806145845608276442065294388588473454470520487166039127900248432153326291193205257918089002025843243950230023238916880248735785074242962567270816962788700306794886381619313700097444118618427656130410621803570530373487576410990436600773035309713167560188653248370191576651868434785588486873713576430303823381475495158953957138723811116630919795627985283310948123805184672811471165680509343245979010192368543423807262590031076664624624782450190733334492697840013846110159667508454432764835700155571316641222273296175522710857361839889854655239110071287664883365052430063976969179126105705845178702831008541565994955811439880498988872033833338658888077444829539229251635885890137601
a(264) <= 253208119300759073000396956900701644009682389209756425807244633146278075123680401843092177165976707477369885096337368423785226827103788325805953725082989539953954303457858447249423330420987421233199054840059108134949025373058447052561015821857578129761947511356545905099586047255585806297886582771703605236463924093287895747754862161564893084019129457504667679592605946974625154588781386521088837026522282361745986489080837599594915264007335929237377479664751451667253046052956509355507267892955151664649119495807677167522621491258302235932038783583782165247237797092541852734259189965399802770092607828193393238599890520046541224919492073687565857300198687982969942226064491430986414381863623662756156413291428800854163078096628275423620724188753380359603938381383051810693057190437296609305185505084392973549894393779532348032240225176129375731884393878097533237414809914107723900615168840372895366864659478141240996934355691446334708536351400325886861120822795272068981591247664326295797527751028183377916187618236936495495593276876480949714546571436932321670146211404109448200990097733336212771752945987834408239737697607184266731353475813000730942064995195996801
a(276) <= 252172895543330828392483185710631041618445120956678797996211947771683535222687833454924904007480423509537197856032954633516871975315548424973312628165721134133994062338851799719260412057746668183193914680502877178683158784615447035741677411072830673280867174940521927434228690734415092871834296327808337700474180150283222477226804126708992192610441842741304803791567541953799310637876628002778141074818606877334648793234533043535970187920190323519646567331119363542385386286824926080391702220872232075747928909002520049318001473588082147182203085612824112214961832986514967238854548079411170455066605117549200259402036932258513621299205222735254192136550500644203745946466185248711532832354146463773945638395945597969036604366046250996099184761616597894874309249846243645519325400889621231378050770519694018575787367209564561952022233190546842632853624409799840353814677674083888013846286501468200595481039963252445278347690751284079192709487915060468059706348102509156123506465251308889860950955540332302702796189900662959907811521615296893089822477446226582076098079576794412440468560767630599167555408971835614585785462458881
a(277) <= 773511185970783759127044558104920900076317028421465065206706745987732963715923903817095910784975517787594194669870300302153954186047212266279383999066835996500951299925290599601491589661931476575118569593586249853281436682682838251839947896964672596309605601696121067768452844687102830980823383065987171355507694458308180336000278539205259981324681369307026014232235630201593711831231277468071214374424682654599071978409177533498645353949815397700081416092946351109411952835735187130977492930804363613422481483696965748766184463138978790726704075046597358338918508116256614940291102778326487166129739548268778821778940921472703800738113749979431442909176496700730969845657681988579241261839830382317795339522059117179192323707490415066265271498664874996099062458683639419011860637185863616757746157034078454296852920408487858568866152332089190508069567002642909049594234837153666132391930118677501986661405436054966811714187397045495132639420738595459493264544033804686252184871053996213487396831174383388440382955759832110726672666825914283623734711991931538473642878152069496160300609192065824206395113378951294769837237016105686604801
a(304) <= 484364798799540641542137716036632073310281367081420072001383912573055503597536258730460556747044720323889472173500939831754276302308734444762992449578639456423722177447084555681854687265216600005703500679204583760891824225297631259087465668227627627589290663757074280068449357337378850605668096186618976409642395662768475328165440660035290993691690499396354008334570677703644874036769508673907659546565015757417049541678440673291922409699847636062124725454273866110564412998266665955627134538155369300970240232803792696770996643604115326241630988844462966840494113501139183008696382233965410145718923198396892188965350685274595454082669665627026890622817524409209477870592070604724658207197747333037045002195410553130037173109976123583590612294567158635518809917835372416326918348964800007004513872487275303541667558251897809730297621429395994496715830350554542913958937467142451256757602603053149272634552424702154928851074828917862324128970492486028220473678007972974228924417157636233728013464205117071645760947932741297766899167380252535436237155444219589327109831567808676926944389935421440241751426700908615240881578734477027270090018372567334016927355405745250233496935094843887222526510759006402809330085407582634408942101605607206830573010654624249581239914081362713653034079473422712482567878766911273336284102558595606911334505109053951008616604572435979287650327072321967531407622588824064001