fermat_base_n_with_n_factors.pl

#!/usr/bin/perl

# Smallest base-n Fermat pseudoprime with n distinct prime factors.
# https://oeis.org/A271874

# Known terms:
#   341, 286, 11305, 2203201, 12306385

# New terms found:
#   a(7)  = 9073150801
#   a(8)  = 3958035081
#   a(9)  = 2539184851126
#   a(10) = 152064312120721
#   a(11) = 10963650080564545
#   a(12) = 378958695265110961
#   a(13) = 1035551157050957605345
#   a(14) = 57044715596229144811105
#   a(15) = 6149883077429715389052001
#   a(16) = 426634466310819456228926101
#   a(17) = 166532358913107245358261399361
#   a(18) = 15417816366043964846263074467761
#   a(19) = 7512467783390668787701493308514401
#   a(20) = 182551639864089765855891394794831841
#   a(21) = 73646340445282784237405289363506168161
#   a(22) = 12758106140074522771498516740500829830401
#   a(23) = 233342982005748265084053300837644203002001
#   a(24) = 41711804619389959984296019492852898455016161
#   a(25) = 35654496932132728635037829367481372591614792001
#   a(26) = 13513093081489380840188651246675032067011140079201
#   a(27) = 2758048007075525871042090011995729226316189827518801

use 5.020;
use strict;
use warnings;
use experimental qw(signatures);

use Math::GMPz;

use ntheory qw(:all);
use Math::Prime::Util::GMP;
use experimental qw(signatures);
use List::Util   qw(uniq);

use POSIX qw(ULONG_MAX);

eval { require GDBM_File };

my $cache_db = "cache/factors.db";

dbmopen(my %db, $cache_db, 0444)
  or die "Can't create/access database <<$cache_db>>: $!";

my $n = Math::GMPz::Rmpz_init();

my %table = (
    2 => 341,
    3 => 286,
    4 => 11305,
    5 => 2203201,
    6 => 12306385,

    7  => 9073150801,
    8  => 3958035081,
    9  => 2539184851126,
    10 => 152064312120721,
    11 => 10963650080564545,
    12 => 378958695265110961,
);

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

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

    $k > 12 or next;

    Math::GMPz::Rmpz_set_str($n, $key, 10);

    if (exists $table{$k} and $n > $table{$k}) {
        next;
    }

    if (Math::Prime::Util::GMP::is_pseudoprime($key, $k)) {
        $table{$k} = Math::GMPz::Rmpz_init_set($n);
        say "a($k) <= $key";
    }
}

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

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

__END__
a(  2) <= 341
a(  3) <= 286
a(  4) <= 11305
a(  5) <= 2203201
a(  6) <= 12306385
a(  7) <= 9073150801
a(  8) <= 3958035081
a(  9) <= 2539184851126
a( 10) <= 152064312120721
a( 11) <= 10963650080564545
a( 12) <= 378958695265110961
a( 13) <= 1035551157050957605345
a( 14) <= 57044715596229144811105
a( 15) <= 6149883077429715389052001
a( 16) <= 426634466310819456228926101
a( 17) <= 166532358913107245358261399361
a( 18) <= 15417816366043964846263074467761
a( 19) <= 7512467783390668787701493308514401
a( 20) <= 182551639864089765855891394794831841
a( 21) <= 73646340445282784237405289363506168161
a( 22) <= 12758106140074522771498516740500829830401
a( 23) <= 233342982005748265084053300837644203002001
a( 24) <= 41711804619389959984296019492852898455016161
a( 25) <= 35654496932132728635037829367481372591614792001
a( 26) <= 13513093081489380840188651246675032067011140079201
a( 27) <= 2758048007075525871042090011995729226316189827518801
a( 28) <= 1320340354477450170682291329830138947225695029536281601
a( 29) <= 268316213617841862036178838639782940407639197479972353435681
a( 30) <= 70416887142533176417390411931483993124120785701395296424001
a( 31) <= 12235002599150669502246213970354627970228202850946563214149097855041
a( 32) <= 4754868377601046732119933839981363081972014948522510826417784001
a( 33) <= 1334733877147062382486934807105197899496002201113849920496510541601
a( 34) <= 149709510106662301814870954526135246796673081296781016664817420024879222041
a( 35) <= 112505380450296606970338459629988782604252033209350010888227147338120001
a( 36) <= 172830055680118494946407003033666507461304818401153193809383963715892256751681
a( 37) <= 46966547088809604321472809965576858390305908298877073629289892204910250825771634372801
a( 38) <= 29402054937290678532429055420611057397541463540718474028766849999103219823787530558401
a( 39) <= 75735962414902999635604207186809019653610037421453846756980310865668360562127712249118081
a( 40) <= 27919230451074589715843311695264905349211077611052606444369590994069578293094749438742401
a( 41) <= 1351572206485325679194490126112446021269304811640735666687074975431587999563975218604378109934721
a( 42) <= 11712949958722103183860743398189942384559924300550864434051075391896219527153519139257993442241
a( 43) <= 3179532183490390420659422349007459208091781131207887552030716123409384098598655034669762107235714978561
a( 44) <= 56563715158574216730846549374838236604989200173998415908582557395693516363011990644234924044970813406401
a( 45) <= 387668202031708742349900594754952269398577134914500211195120586452293891834729513006288398710871917991601
a( 46) <= 1247575906795219399596891368320040962088184738833573631709562473839139085427337011937387621071713703077828401
a( 47) <= 207270474145557124383979968634792228079586178870396928987904448897248653443245526549895600817320240588922003601
a( 48) <= 208077445378468701730562106239918049460151700121888702865858061019203739921399972037783810439307880912448418310401
a( 49) <= 1241199962119755202284441575382747388251026192353920229618805725132890508867541912625809513185960456677275556258144961
a( 50) <= 2936549229694716683315456612141867605499393121443024781635345399286660441871069756766856278996091806615838990684889983361
a( 51) <= 465413262984320087095872778314556074342998395205500019387457804396196771068048873051239386787000942435297788269276919468263658561
a( 52) <= 92990837272960428442710594911872017587520054057137872252327608346162344158235779452397064764826240900570493176296592608686855201
a( 53) <= 6599208217528062396767749189078194725715868834371991595801720666908141068589468527316026247677672688470577846891786597602731174401
a( 54) <= 82972477016335890039754867501480064292816693542857105300147321067762304778645330741948696905360002849949431977973504398778119403410801
a( 55) <= 762629602759786270489574390492778063293813668952700121995361720646436932946680648593450192404059270404261093906876925528532762612646459201
a( 56) <= 1688605949233703299905223011064692631120337446188100070923889263179966667718724744805121098661683885343968985656939122550736767013763829130881
a( 57) <= 945167427730941681163417973615843705276289928711957440773804685143650260934076211661678264755165296948151295194987909914526620996269577159755652161
a( 58) <= 65240818352261677460836944936390328813381870172124504204290545638723878681880483640952918388090867184121975408238780004181899845477553557589290366261601
a( 59) <= 4119589194423517480475521092797295045387986165148835541241690539833621323511600913149915362233802826910510412092819731078525360851546844096288825620001
a( 60) <= 32130588083650713548419239478903259185562547237236947716533557389243347042900998620124002629627834096730528094842516759462343839281941026140949043376170561
a( 61) <= 17330532653343014491968720291866323026775792770857757033514057210789353448525358536941261760719970959565701189468167682185723374227098116442253677722422198281109121
a( 62) <= 16682791479739426076840953271350847421375894291947211551172287079406366800706481383135384067132593872808383484593356840993008123492730102919053143534746289645332014401
a( 63) <= 806872494426848656228451431404064403715980621129077201765318029126761773874473762644179088204024646324953009094423239152616982443992881229133626658697238863852801
a( 64) <= 629602752342470279239370442759773247519242562940696619196038954371258376189729968430388265917902373054397474663984155453012072946132914177049597962219860193497470561
a( 65) <= 166778816391422442794848419697080496899547931250889436609358487942745368229989605379628407982039453118645634190487569774336770847705753692799778862765869834092197673546881
a( 66) <= 8633467339162165088038253145799294399266185947390516473622117984099065161077632929703289819275301414033121080596947479731008717939814448073965038982600158857953929138002016001
a( 67) <= 17505500829239737912038108337743986785011100068594067546457154195663319776829850222695973422990637485919011007749583518550603360913066982647800845412089906860450999671351509682401
a( 68) <= 2640915841537094697897836388217783853120653099376532313851186567679808495505745673747451284965266035211126417763457178778095441328833762469436209233282305972938429271980180796932801
a( 69) <= 479398325140698874162105271561597539578517920433271498150799462867718604337470700849550698851149899615335850743610582984600354213026156040032417834423145711815222342321739406175789990401
a( 70) <= 8389063426932036962291009729866990980305861248659139746927012641626377529773414292940633155241769076005099089057495382659758638830132678908295743580826303462050178447292208175536205601
a( 71) <= 5719882291545358807961470011764851761987317275014148490216858462049015664479956689742047511301059321570252243099720562891123251541511715784241314024477768979241239314164611276990175262312001
a( 72) <= 34829950226244908568518010429220356860393599477701205755924502574663119895118249436115958432213930524291102826877964577134919948183881408012773918062969378487865908316576853184410023583359616001
a( 73) <= 15213453007791806338584416489092260072594019715202566788876156222761451210756452306629008534064434376604957821817615811532131039783228251886791197328832467574029645222574000306450572798345903124306081
a( 74) <= 4748147542390577752370957603156494845088516760251248546127588906230977230126087111350972282383682005369125348417942946611827748357679604871101029930655592515727133403686092686666277853526674914584265605545042172481
a( 75) <= 2460228147421130526400353010264817184076066442640432709583822591274877994787843860786747795839757821344658565770753794430216491171384123081525249499794360164608290643213236701295415630875055376272008001
a( 76) <= 13266622010982152625626738914654023348802758928651046820522607900542207154908113357611427405034509636184831405626489920323949471331441719095488601895733029760595029204715178086002715638492988489903185134946626834242425218301520001
a( 77) <= 31144585910442616772736558690559033731550651868062348514732286875537203939730582653276609153878822713541440852626628017866965239934974629539410009552152661532635625383406728106835601022696142392618861475841
a( 78) <= 41913520266598538373169497121903657357808288112956315403263902800114616624821862134727539635640127046389933404723231581588026883430105531820653812803725850841534394119386475214561713506295764882257285829441
a( 79) <= 2381318371094556851348960562232219256431993363875884699632772953925864517052312453958397305919480150605992687532564409517146894083374215677080805568966564080416572063498241335863582017446078333548758434901767705601
a( 80) <= 67797537319265088032616090658148153067862435280767596631650742410438531216611230541585153455962785879923652218078635592449243557173647456166609165259010580376174737408825629647497562509661921395482754043094135797122561
a( 81) <= 11115165959988959138265290222809729082139665111212503019086495122183129468293041681459387927839727505375530690559987953898454671051057455048792291522929927139522482852640976066259924729226333071829221778226374444895450321
a( 82) <= 21315899198299307780135516622054997278280893154819878790838981895506936136694111727442044176846086723234014417510365357494480897015942336286211791125198398829163070370417606563609589555879792350497479267606051203942574572347911437444810738203781331284386561
a( 83) <= 55102040657289764582263161672332497730986536576447309908360591320926463285619450572281707104943318522335354997511012023630247895494430175305112634060556069933492082834948131008386497723628071521169266611572878054457335667201
a( 84) <= 2199497191610944732167046754105323517760741114201268556597357959999748770605877770223105018448308561735674420700002562255855902825119965916049295296381038592877286705598140390783693160721014728924280902650098870297040630817864544001
a( 85) <= 413549761185147806915163266226403789898371198191917196050886572026272773599146051367857339077351949408673606570234770933814505600542182183354923430494359566548598579761297775430695795578459882180386550037539930298301443615853135118907509486050727797455121
a( 86) <= 141208972203279068621715514342776495714224384354395056190468312756115837288176783718985335804891958725673730374266556804773513927592512197370558694191963597263810418216046209019967891601838711022301268756321276759824510962450329512723759808001
a( 87) <= 229595192270415695829697271486560510931767869338852758049741562442106796834781504460102598037421369499917362064399433410298587331303837942773301532471852929316661884295646824632290855182410034276888684101074338710246825354851203439721079331075261435908442944575858751539814899128969601
a( 88) <= 777887515176846639992159959071732882804875842997147871750116038469931472112733781539977617015850802270404690370192303354964219321084591431653217576683805285435367272966951071608844293638279896514404554690489424240664623491645251032236209341057068123201
a( 89) <= 389493044056630568218887186674825344577362237226026120987050054359057257062427030507361602627446578439498921355506296326840982489743528597240867475080835307126213766835435933396060314550268842454299669301749407571753097496948402567513746966076934604492322130024777933481027958435201
a( 90) <= 48970087604186176746107029621135422497334805337651382872829239761792211565454046395689041721240728402112627593107070477352932319892989016940095002498202543685061093036005068185240182196090548922921290573869678093715860621744497743810451147480697386051841
a( 91) <= 3511101287176054177751984917956795981077032421156653957874195882241786481293419604676731467278863311516420907769522966226299640417225591851143221318558929898284453307385271546780216977666434613101850746049452661974813441088498624176574509823253571094838485110736686401
a( 92) <= 134207772253503950915150966992254650279862773039878413133846268604250005413728853191219673112318721337437731398165917703659162425306130570195736170650865193212077036600217200628111939090679397961263124661173097634530968078315619417775648850517403811977646174925084377610334849645601
a( 93) <= 3083775091777968400150452137560620829017325011230778553677164175896325988826176427804179003652993115393250360889123487452297969629281291324573425427726723917462129706012514934576821888374229648144801014940452409112750615711779174560610801512207443196960659258989057280461669117101584297158133672684358001
a( 94) <= 114629997233720578466326149736333001607638993082769179970976313095634603434606855432046228076569951909225558312246927703901971970689070995671946475191690272542079510475497313059801568450184564546306058912699675045022134753312708438958741260667302104185558176001
a( 95) <= 22851987766442378829557256357026103313476873917043396016801032900624071220068592053486783290798492750329263808771878807780821881216169989002258005332417017647889804800709513691988978057245533089761080356925184412250649350086334007119898999319572345899705706983904679838426234151621836624073838920769637315082241
a( 96) <= 4994969174843380051293197033330529524565706004274920267045431552626718674695485213494922292713675525289733290324223017930563908958103566352435293648747216808818288554711039381824067810867827395873017867233315951162111569145520653420348681462076622986269368282393851785949377605757214573121
a( 97) <= 4247524405571927479006522839462726938376418857095517922447277345765711942579730482045501429333958979342763453620500864110891136932393794068105110449302977817159430829631732754685590511731530570447840215538352442880659110719532327492354995383298734795954685941194558620322120965773173231295988875818687201
a( 98) <= 243727175409388244156726382639696501832524271169520635254306273696715017350502778088983840925257895704070414668370101147013255813959156706042044023353799920482959327809101742746506843632053659410387736184798130365535369203946434704873605997939927498421448578247398525992307333047816771201
a( 99) <= 128367904703590847926538120327225670684574949288197160442890327430148636724190929562707859166791478713656243849096201062076147758303739213951589242608843802747387456226964180723298423962783920333134890630972693847483656446229539787743237466231151158565856051127120582366174917227760967681
a(100) <= 1944443815521940419277413912857119765618977300000193113113079196964596237039393652113220839480697461575576663608245328056397308709893964752479632085901172902792691382512179538460878778082913960159496876915037997238383234804702608580338103390965504371862961464826622108283156177646401
a(101) <= 42395915235976016343119377286500231663316788255491413395480193961634426972231209132212792639252821982620876783989023544586819669511656691176889624697071433092961547643306534673004499504599610692155591378535797208748426180482822325897782695377802590969136565101922522608499902312782811845790695697115145594969805735839963521
a(102) <= 4293079684004163740878445592984773590546241100480447717424013411220310976741049047355046300868665637594221635858258564386347375593849385683192982343670789774678323369490721937540404161404530456421482875057298424508521392951054409391282508147107899665053644780164590340530139185675560790642144268212386215747201
a(103) <= 56379397867480738718775823577480000899452057312153928694274502750453556148924869859452840632442504358237139985507964910482615019643543079340866083538252374115331970278209055898490579145122979073398077640391335308402559541256216727543519823672931263292678896804119107259494317537172494248749882232169729031721893796190162510401
a(104) <= 1668126125963166184525068847602756802769464443181227803104088149934349293841832838446073951746049559804824972977681911734652029118745399305226363576798848384151259071556188193785575533115409308460976321403705441174313620842465333018822743334007660207278207410457087591178890562916757032556959364407827545854481462604770140007379261453087259363201
a(105) <= 3571661711308187801964525571160001278288109414665982919077142767826612539031652738122148933378883313073491508933958474055073777048701002222918897650445381424569613685357680970484634631484055452036263928770388199750621186122095115059810877971510746669992658399513585535637384166082310401728072754257791050107474766523046716001
a(106) <= 578401521967277603258271873225276371477481435808394871995486344247463331293619686282862180625539262175713573567835159597333994320451980309509651278609983569321553812257992935239871884767503115641487838648409165263319271449394527842485894266940649219058072516249032254462789664168403854012055935948576079755948276627692739876357588801
a(107) <= 1600831092725781704886559237712462275803992298632762767869147427385134056416885955178044006765204396661547894042967441772678318622221564046587862489689043850802987064968577337891391841463099297044654883421451854245737269409427928024114498087305078202417319609591232503248551524398747171976259218247010020845198234738858511349440010153447201
a(108) <= 16121181774052036021511421437822472948852032171146657396356868488716183690582136695427457550211579363825598654460179353668629809284508758860614529864539712882535646700528846757035914788013428382851295389619014643009162982246285955257730560238983309005515895020399799228509754385908674912853860630404222370939536827324496069800583857908239201
a(109) <= 8456143012208327337968495045351072277169170534811062955346958507124330964738696886691144884909727275156088699894683293279410516694844109065566644495703860971793042606960675455973886879556177791904711182935103613957068317188011349444743654726463916092371513252999314005099569054956218084741494183452227770467788188857735652033714740147667999226922914562394419201
a(110) <= 4385830891164834997325555062046406492467042873376948731467495483631445155734291562012002320639228381387478381521297882031701350128384886838639599735905438427710419118632918845976294569374971634040034788601635380635038240961574880497854369240484569525185596611561412923565385877150386919966041312710775398635009742927796137191208743683536140983499085814258401
a(111) <= 2963910916917486264962364048417742606298392026706352978299396329985920435761120084869841018083653834611890882081504995436606291906387239916132608708083419582429911041926847587958743652887759471368504311137053516320944284491712464286918561087657149815266502434554623172489215186002715787753827543898936409295587981368971664212413000131371356549842961089245143200897238941608788680924161
a(112) <= 17295244404021906626674696695057252738621069295859737434235680978186058972367669095542898807716124626331659036739829517024577461200529990234456606440393064162725620427469171569571413036210126719816503310875807138153463284371315568847122951197365750877963521091679458718302501795380896274795563818796118961167736477290968129783711459017034504979448550879561525782704377377281
a(113) <= 50268810745140464564647723027376564215294077497658889226499520898859145617467894932526992497452768757506514809474914590431763427877628376947796154914050970764025340812285503749871486852134713978239210191361330586724604238661668659018338753151803845168865361470946065527039740356777814232258229926509879712910631722627941227306092671410814009927396556573071853909519007657282314895694517805655681
a(114) <= 1514898606644439181302862281099631445988389671758016542150273131126766320996489609415085661615013856545333314282540905744443007704537429867205654073153359336336294800003713714992324180279061309599956821183164408589367500855002268446818653948401200732616871150572352212639256400654615401610736733765726983703576579772484837771652472848679763061052322546815690202737540512269308402258900481
a(115) <= 1876316581765308060863981836149397639162351535338624385123417737217602454362745826848712216933556412651912128313546644138725409775658345653620755336653617541893730875392473047578421834419063635824263694213096872639366039788976657470352117967610007840849585055964828636916043201859142121447464816169758694849418215649895649703520739459522621764781612801
a(116) <= 301126204603097325763520754601196216873192027138101258418761611219963720834216707681825226845154640555955409492379273693725025425764861203383717443832156582767147521437486266816725806962389005750744628125446203553226648259656645790767936282573204267829251222174285547669815373878944599070177884856723937616700118622543267008526506500924556166648909630717395351131056780466248195576968067201
a(117) <= 344433686708036757894299805300824655643323308878226599320473586258415942100269532466629617924591152174111769492104352821642306391122924757420750929294313883879005917422301734128826749411570940458466109207481129669236979188167612671010269773327560230812655321550604440505775558164575847398734023758501135766062709172116412633723037998442085934441806770548965459730207467031869601
a(118) <= 3856945694873003994594743364635986376647246286429998299931924129706435871226776653735114920275349026377223494175270299954185274415651899758528405697963672317601311754298547167775631747652987047134438474938167173262203780834325881826124254678072201100278062487350923149002150940767879900471623599578848511839165096374590444810368300795901469803306222225860824834031115605508617892348801
a(119) <= 152811458668879485280919456449707959435880697521470560389150346800540927427535743258041231706136411949284857288266086830175669520618278801782058567580936926844839600285893461057955737619319580573970148507505159591865739753992346888201109623634872886897991019546734973912153424430882443775778686314066400532300782275324882521952682117235370832161734397249144090536098041830470470979748234653477603843201
a(120) <= 6995812851854190399297406314269254825764907105796185646242869032841332259308767108117748585626735554742807853623695786242198668010370221986298931059027104796097973168077393597381270355109831997822111400582116267922308116212545034564360979011312737703403839496032945726694440483989092624128260172742059794421654725426358814993533809064096115923686886202204265792277928756378285445832936246908001
a(121) <= 124496515285331521987556603634673546407840864078788399174615276652846591330998985019783529373740664919799554989781553711479952563727650595094708311410364987499547310992662959864095414192538362261899575589419913485729565817350801898946422250652580495860179905604412395894978572819759793638340695847167637524611162092926983978805254190239967911930996104324452531300423414479162732297692597899460767881601
a(123) <= 2776883034865285964711145358343937314409617417123327768711465291824992917125504875389504809595583765711198975459099217870781646678648025607309744929288254302933531302700460027204399365169103373990172427153062970406712102453892405831599644333629533273114900287415398023926074447497275348503768041760920717354246566495105281254925357671414606022322269152893534479894935649264543642477896710832835096777711385761341767696649248951646445456528668779870550081
a(124) <= 409204725705570692267816004746056838852712026510725011544400975923112410304608632340526026178976720950805706742420806570537593260980182775633570588957545657418377412832694799279409461341480745837453306783319639080319632007580806388862477992430553683968031783581747348388705091778436884960051218436400900051148862558799082360761457627441673303055434572428870935631843348271800053595231722122361519964442945801104629415805988298397337948310254923833617345428316647758903488797101285018801
a(125) <= 173635245267196952183514465183040702566220706112566814313237228295615178393845621489269183687526716119699684436050394202012164941365485105500569496514330671707288880919801657418527797296748619902489482210374694516973569304269442627188004464615147806876486583189322046451774257943893200722292065268825064621338380361590722887969187045698923660725417056124634983603352120721305063709443221157763520893393234359665389490888713205232149803785281
a(126) <= 6690381459231423429184803098578092360961050133421226301344344996520889650060776181789142285068406903129318697591270390132071489723877176921407996454096692453668011273253297547774204824937226551836860163296215011731931967848020937843522964071890418963026843732256616404433891448470652916354731508104070804065040956947612733600691608127733438961448895608721706045643017164710309294079553850533857428008306939764345180163336206390010444801
a(128) <= 114774472716572005315677578073737685793535433997394775068525017763930368639450152899476684408506729949238280888987316036228747258256187943765141668375722065152232109846149585807858025727375554095197085629255141520783460546901103764892431279609888873488077242118609667728815710034598210633457993487781698285516059154642856652003705800661354893472577408050036562398986875833982065838753974235006812012950341901176947187564952801594631247040320001
a(130) <= 19167713314678940770344821212818076151369623653070157379513806140853132361440237153721029032643856735977626903536721550297449026128991015942367344303878362181269613905825568062097266232896105948917426104475297823206795158562477634729974064601067133716262169262382603846181982597537426537510625127538495991060462863424610283421887603278548677047431817362852200622402771881170976444417918729085962621685869327052378909545629171802912795252677038469761
a(131) <= 815068756764771092027057636778301926655690273310419731994539134303068428247443782145953516656998687094515993304847947506601301316682561160594177208919896088377329385921142013381289431392629365985700597024303163977199575427264665639321794772933556519474339276751776243446192008776743383325702378864258785541280776423758557037814913356912968928082390767288157874302586077611627513781859643129873130797470855259883165703895657752388306361604410595148669431667201
a(132) <= 13096030625995834939750271054755206489163759113394847447127301223180045190539369662616780884814229840951459234130343651964052525385607205606646888490487257793316535685503226365131915855584516054297446794906648392548964866485259267971013914110116794530613435699043081426980935289205176436502693567919811673240741182650766722853773346033494571218091629415291400498491227819698972397800242058867925105358118747887975564174457960812270700471066329589058758081
a(133) <= 2765378846280543115992830314530555351855453272698428882657742199982026196451649685508265231287440692006370643741378416413411603598575202240342562135569312387295815568782618851496166341914635934550906593064385090884857525480168500091109805503584944438960619874287702284674840279082546428547900585199749752799919825715149858929073460471344849312121996933116223923888961761413507477354685090084168695871126986295930256508956368261334693507658564777836362418224793601
a(134) <= 25093215726270338364621031783907448407223289514239483446290837811327818975954601285497302236110898905455530777082068181136292281721642525392996174675517020394630565455135337728148317234449533703366185558703721738837265698708253243329973251822837226756519658103101452557147617900268792860638209555671764104598309031074686905876630879033646462602861016549662887430764204497556124556908953291596032349960356747743435014614400417156668777772385766238232418795284358786032025739278200321
a(135) <= 1028922397459373963896938404492234547550944396766619015263535875601248473294036593602761130676947675628987017506775274408307345841073337116657912916227177609896703230259512523797951573530374474795441058130134384948901483124306188045644363700420543360768624857599667853355509269236804575605507994226071877852765702427761347395360184528213030701165688341348344250210194745660980062151860082586472079338956519266705646443435318469275686985217007138440090411668394183983564390786881
a(136) <= 316396044014909606486666435057226959978034891562090662195644389556142855556423840136094096147981991468766488232830308274869317658854159170236708092191944204235989942045567527002259509362080436412795100008996556864456696883068193218452993089419304790369163586636311975169287393144516775539841662901171202068701353488470392575573260915273534080961129683391549761394626652669986015241779431917443210272232383817193425795833125999173382002325010295155191099860884953087210515201
a(137) <= 15064672449198229284635297421768000416151645862699366631443731078096725807023156388904366823069054101134924327734272059757029850326294672914481544496124335069997398028557315751043115992298985234133740620860950309002294212879938995933632990486830883824620510470482930525621395102416640599775976468428892198786537452351822022556785917225038964571198614264839491302590933788252911884729997532460211315165693065119236310368851904704788765310028835772844841769152080911601
a(138) <= 250904173580676498795251879498640345299639824637498124032302916266270868535372090110266294242619653528227043289600551539972341461167848144519307994184124672110777527826900102798654023994320731048429023324829238358237346763631298208632208378329728345729679823438963747129471458802697476749671393489769364094681270261383227828364629294450508819697985788604879806245605988975958690030964846677513473000371605005402316772419788465557759155059215516127870352809854625044533349345533173648740004864001
a(139) <= 24442430635482827648750102256194034983136546772616057754041429675354382550091542458631927412935750602866512274182932137364102459222914784245037015125019079926895533015268239873276007448097423185260816037022360135030395189263943480291908024021184857084267294877420778020321108195605268874166319386609293918705820595805315464817467867862760644892264775744806721166772882256789772192981527910762181055493848959089827871340509481973670775890277455169043130436454977556412539601348001
a(140) <= 6306876544735594093722362183177621062425593217480039512604847896860097423849340899517605465217379466822299529740497181009947136645567844813168891114739111296679976609256174655945325931073198897883901446209317711813545919439920373059842639149306235653152147741458505579471270025526042825403984316151037706298813848341728416313193515735447789027413688852514771053416088815910549698885312388874005419816779954506662178582133213038890086395945554478077481589609292030425589254636560785201
a(141) <= 10140034897635111813196936596406179614497894611490984248199146523656792863598407705959564495614879293803507344160907334796694238059729389177691379946704481389942261471854734449530066844016601049794600679781638260634496488378261025945647743529927448601395956387176394853756724733951075409974852484832325394446918837479295291343296815552928858656916079238194492013756975375639199507226356177327714318924949912595999668671020755887888391176513201792867539980930226723524640549305064828978709440548801
a(143) <= 6029405590023388048653716898428945462499841880503669000042518669906768300327549763017455888005036166359099453463506929401771806203654611759637625632459982449330793793797372499603747038149769556561768778292566537637927381658454941408460605997470544080995298489764644717590923711517887038364338634983317289062603747110456737828987240511546965961472971574993823000291595544025326917962950466304946665036164013429816240330062677754931988217991694308865788483580700376881072186355057528321
a(144) <= 1664701181209312113394370144353956667517662049935761719923368314818723533492113669606902210531404287494378730502135329612611233880431416297530634269733225091774857598433315080960700934748356859524402936932001668303050485259971886125874629474327592036203078215512016494573054206381402424980774790598185887928717427905477510416521117384968384251065864962744643507423921206951392829667543457288718641667707146576605518927498363897468214546169542708997803444104192768691818454299991083270754150688092309907300801
a(145) <= 17398407501001341340174154333937397865418395941854660118979282913241195338258747161728209550728497578949788279716435970518340300447686428007127794090167787871970569867241824439569176150421284009250747828678102728506832370972268553161738216635486974441287547295661951504473954004199450852578287459346058950092355859676484921849585047142026278897691434262985673113224970679350214718689285175609280802368438820108218722526894505057618348604657383560345319140332390019557498001564515277033521792546997402285551300233601
a(147) <= 10118792191751186168632867144252922499866233121729575803333759994403444576719009118522599677936697818089917273669032466269396786949253922306131707262216020904660521138704981023938962845948906484317851310681991567424650047816855117418356877090870783977122601101193416837231027892678548903762824501400915961501983325826539832520254221650088119172458416678374149739515808655101048577505029015137884271415842254657353038633860315810312500963038816057286008660640915881813752979561218388228295275150989372979104948708963201
a(148) <= 4574019995132507573721169359237295941180743309876166829961949089701148438318120014262776934166703813123643145420087977576633311825408409201819336275049353795550379461411981604317010992126315734923032249104516401143162206312738489130022835226967590654782707051322743774250725283120701337290402068438323969455501854647533322818205339143097155131730869241195730469234457690570213289009015230161328078896580164196338854620582538230158039409516334993069022210385475875193741797802266074188848698311569614416554426659828655636319654177809971908767361
a(149) <= 3662375812314934844378423623759138574966693803964176332512209479484973332796248613821654708613454190301667749927314970555600703267578826792454316183889386339296034148584145026292524820540682431332925353206958361853132281445019943698808214141097450616311668617249283597082962456985716852881712299065279252544580088296874964348540652865851955326519232446812431231550313905635439928193356339968308563226055798715862445475924710062474617295835326079160632025290354775275472606533940796139902918486535135423039353036401849935361
a(150) <= 388592102529272731169032543697925716562393182260473469575794722877027513322428130872696336964677247194946511935226563603420840767679915278380545211831212202190150343748402082821429169083030867631010239425967297791763773051134074793895997039616932975114950250581441308618414065875664262885043461696434394474936986134845922878662775851216933875794047167456891219088710628364132840976297638398850143366532223406425785197807746378986965607848698056629062256076857515413594856374419851794842869614281749686439987398056744859381077535602893441
a(152) <= 18128151917709861276142304653014803174750057729945519637668557296820393652599594464378562533756914973554759631885342672233597217966173127811022791922504650992048158692115211000541028358841661223391573761590527884154530604893963903715724801115036444754609776482804369103790957929875197091032827008587703323768221305571428537031593624106567674153165936375116627276295949042697517026228619766977145963225183642712979585622406154422432867275903018948982609484364447785624340541836759959391772287288835668443606854688359407539867799169871523189118555365121
a(153) <= 6834005702932019342206783798406434596728702492360096255988093099519358474105985177869463999549580420701660654103436470362675988129783410053020654606722238937793615971136670406910251525871122353283398598036814596517600644133007765697998957187688007436690083927076699069176143022624862840043357584863648165657354051762174241856157242492111958000570937467936068799218101181331223138622833737760779232248307878753788940159486830234343340328486171503052266314341664033726222045286554535802584844168357559607819970352632558714174208907906751294431671377281
a(154) <= 930832414780771995975829421198633452472910118872994113325857942369594857547962749578590892778919621293885613074556902143546300642684001447150681558584711922970670205715251946890715544427018902536023257255820957729934438009733937236302963597675120481969778099444294169748717971889308912499327919689785012296364811201970095846748200119960446546634816194569582939807992957013853153142921608283093040080989317421451887034984955184943058210798814486358713849677698889523432678568329162041202499614256792414849183143606202023476673272278378741153328003632430901859833048321
a(157) <= 21151487671991300715236976760942316481091404591463886787431119976311977006737856691293700355555280190582720395341852922323686724155525881966803256760171506241874813070600514741782755959058272307142307282813731332083758495197226500066801983070400196663215255882710732919637347051014165458089688197654381690088068791753252355740560608009756316152734039791917972811002723128270469508458021330566769141821689991054313964298154385515855878509101106323063808213025103004686008647558477384571408538481061872879400150003751325167343913860421389335013226993759109933946414632237024001
a(158) <= 3923159807378082854480405686288241096443250523699216190625335430956198229551658319389320435666811612708237366971597206002928812896710509850074452017626763883673050701437508222968356549966851806501949537260874626057463334959120179514661466136892388910427785501035376180113057257446424321664648714487622436470824179901843120458841199228581991666202269115675543144397777463617938991304282560107310639001408998525105648434418495633962329262137320940671779109136158079756046356659075452278604400804720564777567195539237735174551095191265975056887889755845132704905754643707798401
a(159) <= 147899990133467628525710564528923345031274486586292014712838836104039339251712106865980188357610700016621994853173004360142819906084481749650436631577366914630130956676683611436836890216866889590530102497054701963540147814754198430679305058849399684904388081588418354724694348272981497233724246481860490244623331393779744068645066596799357448804484250047944551784823836554202869238917400394280085349152557118606661386564478185022368277281496551743894475662924959816497222565008173949617015305421722320383025995640026765130171822385669438130602990371446582713915730369823677186777601
a(160) <= 108464340888195500917113427956671744729728920190244942938406300680853507315194384583464821210096457290855197866802005888137910880314925002777333354920466245602669616419350902122171220834186218278870323595273588791547030093792050308010433790994453170588542772689080487656345358363484543594583658986061357038313391922595060988140585123684308016638967942790240572186672974463020270298829607844087112291965754431527439098148950533158977018291856164387955612244509803181675439805650636195923667282521758990194278378388670808755609476785325591712210969770314947498370366065727303712367950039607269297790629761
a(161) <= 7769135980487634561726941749239330890610238094997476280609719878598802512509761987443402860215791099225333014153468009520374474870330879577861169443586872984292154168970764124990800970268311686449915675107905944557139405679612093438369504600004160034891194811247120617563268030977043724658307320593575177453047065373153796682869126860704106767971999149759833810302233604537932633714580887697644685149935493949328972420419238434317655334154871725595555200499237791512378788285690287397630679396431445915710055135123717640205807051337635224771860916184578580903019296701992925142577174420958536358679465813823041
a(162) <= 5478161235973207874633215756709012495277590291328963683758455982322766548363165939034177864167841532494982284481552429179820406848462600441023271939051939884542456576680017711912229151712101842710327201581193052006979463713657859765064065792745177684613274151767912553975225712352006402320251876747655023551046846108508262969310908782346461103758985790875618469256269311481519246027027040641587728890109085710996599520644195150142454146765751242150141648153658503815633237741996746127281589650309930434184521265441552843908352806747939689768213167889665114691053448826138857730352422401
a(163) <= 595317798034624501103845561601268510242763799989616569415255849214520915263429389944310717000949162065648951278059369315264454512729186508409087299907720615330676471019795766298976373765343987311385116330563086078644468399616181614465854286785644929708727789165292055345354598064885305437865019503560376907741730587082778986026359152732411515906518009701489786396536378684410522912720046718961388421910887341033194221395452853277234479246867825365566390468880257237265359306414771666639167722552183820524562003867229610022227201246553159601727027437834579116237696428709642849334401
a(164) <= 17162298331298380852047044030136211229355099279904458145975097241091429776467268460255934742587680204307342552253869224175265221521021684742810404360666995982965621178411959207275696382982722506746446553055653426507111729243323376143294834528740287335231901397016160770432213982047563558292428512129260897358281710490622605915135688768651297842177342304600318455558254350353512767356746595571640793498973010888065090602959452612011590632546582410766665723115645628721932827638129475837978905079080119477322313621649592848638393561523832974079427730326872952260772419041680980484534428883201
a(165) <= 56057642410170118844667568009355021505026849967877994467434044892932739257196664134789503096431984218892047812493835097110822927896325689767410356146187702062681785848329336806977940144107089037393758141042791943527849444885201392088668487386124446399998217785805854094722776652874850588369083121923277992050358945779736682022613476053577761332674851740752132811673877816028354461179841860384671865510618275781593808092587813878436339534484114177958133452218754652516298173083192141951850475062091658817007707834299359769425079245622551282842475665951504475410438912718119786495059547680129827767465896754980012801
a(166) <= 39082320160542170382814622089498247200467618426185653255396092601778337256022873394885176382840232377240094733461311266025324561609732555203353049682941317008312266114556791626434249335211921441116476303883429479387642220901373852146119954582343042853921936366519418644635678432153240702172330586201064588710210179713398614348591333910626885217332491189905910065330459199383487797333243779472520504261965295673454264297289704026717044411259742316169146453365063322938613956115362225974802005939350916100241938575556387051017580508753929204538167543135440180486259850562753541439108687342524016596913967738990097809032954104561260801
a(168) <= 51613198363225827414540600265966976189369848632670914608718729989160398230178078718200933052265333962846379602300130001901377132266817402078614378831111568791733626264741121097522829318713071655729367410894832501721990505695561819891363711500904672118675860814150183647080771665922070698744697567415505571848518863825805452626506378969880168892745996089591108755934116949102858023406841625320564481842723082885656954953255093354018548123533835438353883583191846273506628354484804475372038234561636832401129018323145192101302604213494638000182007963202362065620853947474632182420748136486190999286945914682480871717091192051452001
a(169) <= 5808469797665886315934673161993987074325939706491364656574912571058719648785812589624844622657549184508923775667041567668821106564639740673707894735262672909850521125370805578088906601037686326365180873234476713463107069838515329881236839730087464537735491410958916855504035303871314857857404842828873901273942973303940810235282118429843258973015044370704504191324273718480201764329951183320667329118778107218842177192759772167951632752030664429296745581908841649451016001073677932178549750146152376248119113065162620226903751394458656779855027275887585630065357292830874959406192917951210015413828109573843808191938204161
a(170) <= 734634854259080389257029378916039560677950552638156884673603428532640453936156277444344879613374716554620117276670614953778172989259067714382725898235585474568238974859428128204795942708568942067555789386725076359765181612005049052991561118292727802589286332890560971330309876979126765850780356591154676550947570792455213714809499212287218218798709621785110551355484348629546860342922765752637978827504772972033078262281272515297230058630323396190930227840578818881411635400051194584682157566274286064379814715340883481633248093876607153595185685633374555973950262202133675586123718083992749549508042352732666848638981847315867500079462500193281
a(171) <= 87274505227624919869197887953984052629828378166979209924780639903611575655498181873974859974481897215007805596464855135752910753645414396358984922581824309473033873770495667545564586279369585374274619024405163799580340239182459224789013869356431616412935062021238995878768452474923807599182044933314339286664766370248890933105493914359246853600645051266747446866972935007125042621538051476761819861005918554628092704913599146536166215893959739911598175799331677692799456356333293734216300464979842126383030883917437611952318358249759483692756854085108953207196463005960713040693807540259677935813110255468889411325334924901474094645215957563504086322726401
a(173) <= 5128763023496267282307733739638247897534711099437577666682831826470544715316926822991092331972262926807023497824287010595802679623552847349765179827887983582388990321147120846353815089925567186037970728387583226408679633665883622947645706670637543964709831508729543074134070936491821659629888442389295396237696882559604151230388786865155974869313828832564716185826810640123954805658479825925801610742465945786972984183202744729075412320541966691477558656770202287742620528551934066263091691592313276771136321202550077782586064318143225010869260085652465077710833588828966087528798729265199593785667960831939962667481419118018292409260801
a(175) <= 18215519896077693888681873815244718878249734640731380745920006955838500628164730787032016620088745289295912607307185457616027328178113835833161820303826598740183082737788064479768654096344763415320085788634268418455248482489044045566576969816457981885582782933774356473785632769818722362970670358614931597001461268294846752005529704929264028000708082326372211148817484513652329817220051353767237299391925787065204134416004056833799941325874896960506310515903770313816918577522882308813274177374466258727737459316375643669022272238343511183519830697054126091832723852185849336397953958872331968397835717794225820131316456731806688137554740731521
a(176) <= 414033075919957545936403286735513271296352659037253203550201569608720845688091504566583919538017049323720142760133059003019732694756465598426491632559482610705166276886331587764331918245839095822079158081277023012128631174296459092055822020507289116945858209920265029691438620217730562984661244149209265180984009551162572036062458759233826764831507312908828369466303003969325536024579128125342372026752743420575292047449560620660333457415697444561556670666666885880318542563864865414346166912186369635885592586000087735346160494860054976095345527543042627888607738349812641291331710320559406138523421566763874107573027105346057798314140408123521
a(177) <= 25065761566103747330569450388948893226164683523744305861720110671066941792683835658474687015696849952258742152087123016044195069831982605188692646577626338363226515587677696648746368974255775109673762650315548067402336165163502470029882743971903147145967506986371816544998975649957733011492187342851564683713323991535976220260370599326679063813573336678517978633935697152047877196510848239268855492180555954751213477268071223213435125132339340244227474950918603937966593000035352171184781245370047579400308636126479177540057257862025755939255720098654548895880326900019803563657682873359330636700560571417658551895916803583688010563739049409334268753601
a(179) <= 214181976732440949915278666419913102613191465055032793419257996272511335945554221757514675770756875443660164810399931903034541043024295540925867438357003676290601085663356528059817845316123844246437055073290822809366452206475152733404744104545714713183194763483451039656361190771973983590305515949729594770382747377372382178326570270841556501672020536660639997078531907193252733878200317588020854919474615364634354593718087044063481890566003004553103301618621967212065440984025039808247763982576613206255952510713668353004124805328816886977899281798464262562046365543171039742717603835685936881732921195063996111533869946813211790198087873463668359091963305187204973988478566401
a(180) <= 1665517562250979069124260017728112957815809465625328226591067980592617856091508282903892843751477397434047641013567402114513605188219248162210764957958616393878033503576498357552546094543415837711329851604265808016274531864724125758546052305526055327498207245203956963080026116341776296351387565128098566370179346550594674659713121266016311090322620960797455295038720286899637666157864418732469066557359330605065735533588651235967162811787767782169451720075564542468074099418705647982792457884734073333508909806408569969488083631886383693128837934274795195407013099801886892657026784505758140270860436274276297893900022673224189133787593335024364463591147920046363260549121
a(188) <= 29667563810406942724095809297012108117724548307871926912106929000027630934267928307137808401358112376997333731138760742610490505745135568058393502332964317144087180714405569909760529911229161332758912075058894968274252616592493378449258849628578245106387331152405465725447057338573056569137771999520470716767107242950284043670899561235987515545076760763700357365400383363157441528897129731255377803999880448376909813240694415930974640766201334948057952520352331769487210637837096949946399434511466880765902627498614747984925972330671271641897309350420943384271829222420773183537216592733130539765088625339280020991799600702081948513822909497445667535148369846641710969740054968360552191116369601
a(189) <= 352241406012320246447014864645001967365400010104850036148554874652465414112134096690923522822238609087030276452354162387105037765395231373352377173072857622189506643240402706478601072580337822683596084718386122290868982211176649688729062165594257981555673689117485247993153961677892076871192041823255633208146313954490274818855411551942844127401456824788290203341779589513874111406153460830419135710363985951521737832016849327161238546372970428455216951497384613184455284716792756317058524078673793993019823179203881013318767908519672882384917980896863565521352125997534464750985022349870892718933959406271731466896615229286982436664517614517091320358028362775798329041400462514699727384936235201
a(191) <= 160515486345871665773508308816488244983797817748100068029202841967581253390432470153258224151642322420475554788668726125599518907693791469112196353096432215304315601303665049708659437712369414073972647827749369557894522051910377331919233903183559150911945305155006481536716691434486810914905779882841882612057281689517286196680894992377587106228537581407282609440740869218265427253338479286268141280857643473355188699672459891634173080007077343647513628199355672568070951955038776694902098671546816148041703924477963817931462202682985670620429790949704725294726508956829455178670853936563978994039555615097309751366821405558544156999304488899574586831631241367615428887226954870555100427164012225079984001
a(192) <= 6941203439667283963248640273321473291971610776242458609900492364975351624194402783763846191892523428535430931312914246263251241628703070950903998448415990669279795714610249781226551505542970759053028078517579365415313953889692880950027147441381188258274584131824281437395028767756491496242264535535487981011598055613415599977597475015277467129649002568848984743850454996520164742066993780810429773304524529104636569332864817258374764967535126993895504974464005419351278357653084783411767128175531951599813159188689409449537624254523088634759040156426062326569642666848476453011754649620477392999030305414331600137615482771670642248496480873686572672852182928339308882071561542085343189347039240615590989232027201
a(195) <= 1380348034085931732994134444379934849030762549419764203619383329241035887005675281182164405914537282902276806302717305963167316783123604124799946479132478343966490981301121538454113599412713661545628095462072661002755550000907316658209396136537308607010868020015643389542473736494004753574562877377842124125816325890825558689098191959594660297242322242795005492440125905784618323803329781050250749563185469370549606822432819207533353964929551186286585384394746749561663639739291602458224918271621674801157427189656227721073192065456375854715938972202848604428069892061123406643868529340543264208145592248380718936416569828011616521067091423437511244316623814027143221633818002018150575326921685076928728685501928275550923724801
a(196) <= 4342356725458066787633861424494914394335953722309571743655632134465447697920828949576104218112037582522009839088243069643679206452668552095282822431587072907857456123897201010378984030459526029968960710002257547143641621737795499134148121807075286555033673186678968504359542628778186924132923910712971861768974435104380727764272813472276008373750250354381307115753727818927363863081985391893173816712787220090841100648446318103315931833070041268664214634754753184276023978085114241341869752460702882055833584622451111596160432135704950037596152192021381404366383703469092582544141962892819416767497764848653863130775769896225923634289839396049086059250472869796785672753408444947937836681946799679101738105538468571682552977302831361
a(198) <= 3400146831738377250806632141264341783099179443417926544348404682413336222009622033261622395482937240092996302281841248920768663431672486397630879961272189045780214841580787989764116066112773141794766768878524461467671588326731729271543449052734436191288460752084357150082006678684533185051402746373959064526447882559530957967079266765409077008834571827784472244956001944320178266282985948305402607664625194357760576346410571387832601368993717744659730237794780434591927610847878906427358192160337576096608868380498826420557434155458260069158202739569971612842305739519261041417637076008599459595461554736016416694393029240461422028081517205936488659529450455599976352542066280872025581419264158455778933775703424185649044669628592873817727737699561601
a(202) <= 90847244641402319612000798454072051964333831830991149326540733158054749692100858816700689898069012592002421742092791568399314562062162259254952854328556888664789769438869939099273695966687541659201265942825338416612216887913869845926913594896519787530860517910224989007508097612356725850880417614789345053495206508715013850834173099396175656530954805560252352195090893239715752354553756692725244979196364659246112015186343327847722578565911119246116390080915742305966858247789386211274059870547405250446153465265311245654734145982940751895953754244416579987418199562857628508632188925319027757061411143624277772313364780373053441731171251663050731945017142738681080293902510140234560615037274964974606448877795082960767831056963707639694203003460871272110993921
a(204) <= 67872762523230857202922601331757487289384907710003375812522609039148985877179790576714548165070712467230672751940263232181151206726318449100141012582439623156160222132007649909379666912128546572481678125676227644299949630164966859963565862917659806304909696199433422649018995273653933993382576113006715901255793260060270243368809686532665825432625352438821588254388350298378683233492058338229591354394994052072983649632193057883696334075809911505472401800096012673687155376436110290013737883573273925176105644233420066564176882597668305409782396692394239822891057628564347980185779586535145751112350680462443018687809983245569890414688421293842084048095583227612339712603542611822085944297773098123540072155503616053324508134763382516242574720206868287353326415266185748896001
a(206) <= 31803728546883501098728057638473448996897050611971574415625077198650209024944042336466866602742032032697123513373058438570091476975807243149648466807797458660584492550577749343763212298057279372468201996907066195240494153692009591745433994093463648302124267362604684514678189196816779784515727144590268751249706012678748454229332479672740757857500180170677231344169970850091401798642708285390871829204764636150424191292928886310560263646196811359928768983749336749372673589382097662886863184438233557039501531887051911921278526685351869789289237831107279452783421966299208858934387454598044467864004270400884243032760267530795274768347944305532097757641566790607656725193843780961400602851635859925486791892930680682539144772543120619445393405251993997109440133227729180415860680522643201
a(209) <= 32420962316741002354555199032492534658067972825289361944460143232677616097320500732287693070260801826501658305178536705941953356769547319050011881184021041488789600574287810730287189438708496793854603307907810447711007171235722044538468135371226695857239918561039334589957257455408217031462239594132933218691669071200801724940932601236510779874567263343787452087154588259123259947523080172395710910252447130127824568437646583686906016164371028991133441905983924927440905031331226702950904106428089798556862893233240220622344324857865750605974924334780667224392953451506418904778454660052479645593229578179628035946108141071873595272763670440059096236635215157179545991812595367742956136980037111912423627621481996315174271957113340089315834840205826270356270189547386059949637344612068005219213992282884138073120001
a(210) <= 2068978836436589860178750951904694686361289938992102187575026927336490983729510428022379957499900293199675899970099040303508696220510219956472507964418691430469245630364819145063363820560280377683039885558544862856878709467581423786930864647708750948099112726526288468132726342297513582825193006488684134991826502896270210873755047915228437165684360644797632905857798230775842157334051377020272608982058162570462333594332466814445405638983367638160123671232535949588329488718581567394355957694477599753862459308608699012139096468651460612493700098124855824858398912533650496466291177821655913086575554349954681334379311051554822982477784617228442716478160676096916867875807339234605674260173940118308331900200662717343929669399499411952484799204177306056332349615428990600514980990870892753992522606026318357678081
a(214) <= 7065654356857784958703191361812942316950559547878384769958837068254271785001520637145432153792993362383343352440597186131930133906609148663147684980900957182746972399333374592599944056109262605720847088303228475730479960941341664131559619257279541405769889910209884440870009574657495782504502470734801379476568742707885495341663159598559673552340150542031686238962011191379022441621793841592051000585009266121303461606138644559370526686709551390944094633076629589897633200311780914564693801115566544832802471053107070015274302131234935070850627474456765136694992958527432212488648283582868180599658878164247551742759437200359278522068359439115314179427757784255235215622201628841425609807602447851348095843054641352429864734721383738651817664628093399521041049980531655131184440979028460985448887941859404276064350607501494905523201
a(216) <= 73875542723985338250443132123708602246543586217221718759525419094439145231940750835330817874415521352861615598214658754955435921780818397547828830904747661581336833841113876304777029571478945786077733779639014381549917498680671109334766809579437631880361771586624585523217749882559380984999950223883250668345661417390815594948813822903029467987863300421160494532674631668332206715844891461295363506312961136704399676710438024603037066533669036166145770130142774751816819815476503134960092404593673369363227710789324328218431096466124423631633969256450761785707788151358359841874485514887238656465179326575478574509384618572054279419735799842915460230202508673933281232257975257549133911286712623221817054037225999636478104581965057145823754690450193965141990525681095953010179759999996187049600057116152676249536005130593228765257721702401
a(223) <= 141182489098015554248947154475173290494161125126228329239911857649712110256067352732057882541975140591507138847858610568082527990919796451298916519862728802266559470855999486610840585245239390252746978548306814118122327092004259809279037262523248372988211104593684255897460301648198380014933485359854266913684024582257652478995793557522143720718294095442209836251975258155514015492295986110266507725902033966437686870727881673231032720608026771633991375806429941564631167242556896181845669911443030813248577169845516766129878972564141992846746621901276271790007188481929438095578544557744304815570510297250415931852580883272328902378935399152627981102954706234677453365110031676129872727310568108113522342561357198698493339529080278216784829263349815640156609716892108673209382427943473411078723308080841578815790451427571733019390334130513748468269116825601
a(224) <= 24420730591435713960007840610550409017161723958395192674177755010783980554612797246719054437414440140481786618010016721929436065750299758531033678705828336431421940307040098853639092994348329247549742823787543445397963777742161523142720865882018598694463614740873532652184477162393790394845466791386485499861550960945961052976496078862359818897205061630400369006255502185857352854459830638549892697837415066771866689990726601815338449806220813772518835083081820802700575529844512734440050874303722991696914302332831772329947095675421792664423726927551702206354827201854272791748326567656338645747019579114747042147566034458668776037740019389483088402353144913544322440109957852218908925416418162561666785568919469020391947418189036677016557131988384254111496861394645052001420538041563265583311202102729102325029537412481531288788133406880862641565968759120433478401
a(227) <= 9187812911679343690143781130002322622663895782502243521491524801333634132398562703803256744804529538666581241793309583900869098809600248747534497203722206552823095121690386217197416275130446133298615313335524177972440271035693839717961054762418668547692220227965329700975395217313685500923388370794450096638988920898068917731521855032491893718336491817427656522399056755284522040043109688839731742425108638651539739289983554244972580883740911575321010908193692774990061923265378711923688059414745166689968430057103952807819814456008878538245000447194936545973210975584686545830770720769761402706434322643966798800992787448996656578392394964901786935419734082385014351510046683064769131932454456390216972490040935177507816407187381349654003218884122236533401111140271220960033749098095661063457843737190246285076093119126380337610201438840421743860959200749986867201
a(228) <= 658990589398895208541215661617923386984044296866347110642688572163396798671349539204811067882200234951764042634156517883645328556317211403763854263188851406235347951637380616865932812705397798721431564795141748353088574124345163233435140482515455790283479659558533418703067778849073342605875467467068036424920264437876591600356723890491510453273133692173943458534206755930437560964965273808990483863967762344879502848663757683310987720957010931490974655171187138617056899034542293926706162968208291928166996605913693061420965790675150003934613651150666923039626097420060798988991640234193762355791349182608417103352685838259393744731520271167887090083782183887102248289710217473122488219695693497868629889685614283532137013855800334451669998885344563999095838526657912031155900953533442756396539179062485212148802541532800808494796116334354065948216200780311599677352140555571558401
a(229) <= 986480001091972254118551701840945658986888625057649674723530193183126048151182502558188818215365507247933059002713524250933917294176833003069718623923940039111090226730251204428392346783524621309404367534976751023810379599954569003794879063989226229524825673170369904858668897531322462027077032289318922661540284300675080074254354161673280916973607857650452003641480451226336824329652687778590020424375437961607673814318392459206946353902071105257717143959404526113091626875361006996285394059922550631624609567584217824851849339902718462313829155594551005124940224329349161770618080794427291818402386946633614708164376883267592791599508377192121919336763743813407025423947583617118565862640317072085775101069193939257988053581661043668286761594605033203495303893465633434076124449162950225785362960261900210383122573023779736598200246739156577945290524987351465352122513078608535664812712942496495086081
a(236) <= 26766035438313685898468481376320282924011227734790188359155579145389673115916012060636426481617159189660064858842132875998356632083700578151389207595004508684884630221883074680686631800370307260058801694954927271292062313427410265292784936430607437168216501107798373449137716432810635211703490979191556077055003379696141334543335523966024583819811191689533035980570316658657899215083055103242250578037443336949355549478797153042770751074271316783882216628068562514455306271161527690749652784685350958744251055397335741854601135401830818630580849476247256696360330389479769164732324615712264419347226284413147530276948865729794093199850191004309679899039856695183230861098812830225616336037421374881151877191605240223952262012093772889073914041001772953347079092520386138938018895608340622530886625269961104298020803461516961708247811004802874759751262922616509567028237267545963277816734878674387139139644177302401
a(243) <= 6964595720561868167983090344138977315164972876511001454865907541070668204027018988215841317482208742188652269123755036323167578554740092954032399693873900915670774685371997561469055938289407224554510391930303876295858013037867397274714166923002867435057986192874989785222328940827723066959224606513051084870118030739622496899582912976826054138811133967745721998441412969630191637401176788385284921521081227000482351154566158059182780532673744583253923833911633068706882321990126933799159663639860890790866497349934151305595794774922509058150677431861788380314924104127892341386350045323842859929788539117683254785213019101462933211303918945824208379959526911766107114850251982655742661941206353282240014746763798726304228064840712134205156463769958056268965117287186915348425419006792863065151047188000025514556765207022909314639047117812702817842014801005171872997632536935158905693024397320076706596364056171358178878265396625667284501584911634501696001
a(245) <= 748888007200069957052044912229822260597682603279498390722489089292911386230827458756322049187246572078034055790695741348026719977037894160121321598635244996134625122892301094179255983749063646863700205625092818688057971912729208876573281720069871435347005233889284524823290947299552649276078122625480674764584468043191719342297573391808639066208748370185879024338803632191603262308883967317792217718968077734160029765263153799405129707860081347238766392057082351252496501868001066723754378431814508845961456254906305821442148292872497410848715434200282727864100958664084222536592198446516745410765354396729391786211522984052349042095154230119680961536398645223309502088009406939975196800316971296756862698387484214174098630687982420918266974666547086471676568673665948395203256849365563136965646443768102779139758957334789910484324809387368477674679764586146199961290066426768745339678233389604011941366984484311942029495686792963368019244176351445663936001
a(249) <= 11231905747530291398207031707179958636169466587992630930400960393409365601191043319479319441679512689793144194528689859474978875718834675690598683753170823707968486408472403608417622141790091980338818201569077698815481053867780669905293405633222392773484193243086874307006528051970357265769132669061368191839812348032300995434565727275810608335976487014926370262500161639450151749291165471841525154358139728091490312559990784611318068066302344601240270792605539322381391550635050438089976966128046403029809271329293864364085297793867105913770967760570966480891869194419818129329118743676087074166097330216312072048118145835969319164045371980721449388925155396316391166338465324360410161316622817876457624502212918426266986612331662690001781921122801550279698567758228260095333183080908700568937532509913344757918983396263212019328079595166544308540573558127502984212592374044850079735633065075916274083658216124076728918448818525844382360759701836292993432865069127161345670224334188182968795441960000659610907064337020277523052859183362393409076081778340598662772808800409601
a(250) <= 10760201659464317003945102036186895056497943369759488595735728270360391549320308912590853678430505972941952166213051571713269942346024795301390424641924343012040499186441556177028032556643383987249016901660239658082944757960187312535195449440818484221877125049779796707196910601683896617720436823954464393222122308654270405021800352775119572655622758021034397490786365113610653255756686003044856462597116959916917340292961676188144250036653526361793247989422913801172744048342731902486650259566937029979093380352941047130453544723562925633998617095494787476358116023127477105735127738950789924205845648024780987437039809737043428696946110466766858803949792819093526346120373230164776212214251034035286426813976007435915655655237878930673977776139573399255713673227498067259989754553029577133792677313538548510702956192286008553057974121352333575690201107062107425012715958843155693951841710104169098580137912836815319473483236102427019529475731150974265682556714824906845195542402540373020479716511890345869360382148378368668992990389863418828916188796188065987192670366553367869132801
a(264) <= 253208119300759073000396956900701644009682389209756425807244633146278075123680401843092177165976707477369885096337368423785226827103788325805953725082989539953954303457858447249423330420987421233199054840059108134949025373058447052561015821857578129761947511356545905099586047255585806297886582771703605236463924093287895747754862161564893084019129457504667679592605946974625154588781386521088837026522282361745986489080837599594915264007335929237377479664751451667253046052956509355507267892955151664649119495807677167522621491258302235932038783583782165247237797092541852734259189965399802770092607828193393238599890520046541224919492073687565857300198687982969942226064491430986414381863623662756156413291428800854163078096628275423620724188753380359603938381383051810693057190437296609305185505084392973549894393779532348032240225176129375731884393878097533237414809914107723900615168840372895366864659478141240996934355691446334708536351400325886861120822795272068981591247664326295797527751028183377916187618236936495495593276876480949714546571436932321670146211404109448200990097733336212771752945987834408239737697607184266731353475813000730942064995195996801
a(276) <= 252172895543330828392483185710631041618445120956678797996211947771683535222687833454924904007480423509537197856032954633516871975315548424973312628165721134133994062338851799719260412057746668183193914680502877178683158784615447035741677411072830673280867174940521927434228690734415092871834296327808337700474180150283222477226804126708992192610441842741304803791567541953799310637876628002778141074818606877334648793234533043535970187920190323519646567331119363542385386286824926080391702220872232075747928909002520049318001473588082147182203085612824112214961832986514967238854548079411170455066605117549200259402036932258513621299205222735254192136550500644203745946466185248711532832354146463773945638395945597969036604366046250996099184761616597894874309249846243645519325400889621231378050770519694018575787367209564561952022233190546842632853624409799840353814677674083888013846286501468200595481039963252445278347690751284079192709487915060468059706348102509156123506465251308889860950955540332302702796189900662959907811521615296893089822477446226582076098079576794412440468560767630599167555408971835614585785462458881
a(277) <= 773511185970783759127044558104920900076317028421465065206706745987732963715923903817095910784975517787594194669870300302153954186047212266279383999066835996500951299925290599601491589661931476575118569593586249853281436682682838251839947896964672596309605601696121067768452844687102830980823383065987171355507694458308180336000278539205259981324681369307026014232235630201593711831231277468071214374424682654599071978409177533498645353949815397700081416092946351109411952835735187130977492930804363613422481483696965748766184463138978790726704075046597358338918508116256614940291102778326487166129739548268778821778940921472703800738113749979431442909176496700730969845657681988579241261839830382317795339522059117179192323707490415066265271498664874996099062458683639419011860637185863616757746157034078454296852920408487858568866152332089190508069567002642909049594234837153666132391930118677501986661405436054966811714187397045495132639420738595459493264544033804686252184871053996213487396831174383388440382955759832110726672666825914283623734711991931538473642878152069496160300609192065824206395113378951294769837237016105686604801
a(304) <= 484364798799540641542137716036632073310281367081420072001383912573055503597536258730460556747044720323889472173500939831754276302308734444762992449578639456423722177447084555681854687265216600005703500679204583760891824225297631259087465668227627627589290663757074280068449357337378850605668096186618976409642395662768475328165440660035290993691690499396354008334570677703644874036769508673907659546565015757417049541678440673291922409699847636062124725454273866110564412998266665955627134538155369300970240232803792696770996643604115326241630988844462966840494113501139183008696382233965410145718923198396892188965350685274595454082669665627026890622817524409209477870592070604724658207197747333037045002195410553130037173109976123583590612294567158635518809917835372416326918348964800007004513872487275303541667558251897809730297621429395994496715830350554542913958937467142451256757602603053149272634552424702154928851074828917862324128970492486028220473678007972974228924417157636233728013464205117071645760947932741297766899167380252535436237155444219589327109831567808676926944389935421440241751426700908615240881578734477027270090018372567334016927355405745250233496935094843887222526510759006402809330085407582634408942101605607206830573010654624249581239914081362713653034079473422712482567878766911273336284102558595606911334505109053951008616604572435979287650327072321967531407622588824064001