# a-file for OEIS sequence A152466
#
# (After a(1) = 252, each term below was generated by partially factoring a(n-1)+1 with YAFU (gmp-ecm) until there was
# little to no probability of a smaller factor remaining. There still exists a small chance that smaller factors exist
# for rougher a(n)+1 composites (corresponding to large values in A238584), due to the nature of Lenstra elliptic-curve
# factorization.
#
1 252
2 2772
3 130284
4 651420
5 219528540
6 257067920340
7 4370154645780
8 292800361267260
9 11023640801351071740
10 13475008472558425746927448860
11 5107028211099643358085503117940
12 1313771981231475489737485570488833367540
13 40726931418175740181862052685153834393740
14 529450108436284622364206684906999847118620
15 3364329813000747532302094691639185731043856276497260
16 124480203081027658695177503590649872048622682230398620
17 928248874375223250889938644275476095866579341392082509340
18 95609634060647994841663680360374037874257672163384498462020
19 2199021583394903881358264648288602871107926459757843464626460
20 41781410084503173745807028317483454551050602735399025827902740
21 3570096147490542687057973148644008741023620851931640559916805424780
22 204570079347355586511108919390450344869394498436534935723792867645318780
23 58361184226769033208994730286143407536754948275463742207833695831930058789860
24 7908550939628861418488311746712275926644624238139730477610345646316478840276208318569431067716217468293613675940
25 1036020173091380845821968838819308146390445775196304692566955279667458728076183289732595469870824488346463391548140
26 11865952902430149814196870458711548188454322201087541087001183232223928852062090538322348686075497633161229473478332547033940
27 175737348178800230765488318311262435825747877900575781605443774526751313987854464419852043262470578918072472387817546260208504710208681726499540
28 123191881073338961766607311136194967513849262408303622905416085943252671105485979558316282326991875821568803143860099928406161801856285890276177540
29 5297250886153575355964114378856383603095518283557055784932891695559864857535897121007600140060650660327458535185984296921464957479820293281875634220
30 20601008696251254559344440819372475832438470604753389947604015804032314430957103903598556944695870418013486243338292930727577219639021120573214341481580
31 7627810701252332485201271033206555862153131788235814741210196081150740140692933144541282233088871833738505567837676388012873368778697065696480872178023224930984237074021025773877454139547357539064024362606524973607219361281340
32 319039692311436755249258357388847537097254905330030619777348616109705699529106307341077838827134244350668877837113273444535162810927773033992544487280321854638632983994371139149168220012641662831728137157228288697906237843846783656314719701429618576049580
33 23742614862124811888894557698520644863240612799755548693210506662268188453256562286015671687676503330332427219760132696468862281226433941416691168198914272100352428035877105804341949765120779906274376239103772016609484314101233792919285125460690784811033694020
34 8855995343572554834557670021548200533988748574308819662567518985026034293064697732683845539503335742213995352970529495782885630897459860148425805738195023493431455657382160465019547262390050905040342337185706962195337649159760204758893351796837662734515567869460
35 5676693015230007648951466483812396542286787836131953403705779669401687981854471246650344990821638210759171021254109406796829689405271770355140941478183010059289563076381964858077529795192022630130859438136038162767211433111406291250450638501772941812824479004323860
36 3071090921239434138082743367742506529377152219347386791404826801146313198183268944437836640034506272020711522498473189077084861968252027762131249339697008442075653624322642988219943619198884242900794956031596646057061385313270803566493795429459161520738043141339208260
37 240027253131310453930132973392651082816530086007533709455827048297192400630409750890427998275176906702322750463913169038697721556852673733804892054642699088807306860316184808030306133445727195772397431378561499065881746691929306194346455569380239686976323237797648499976820
38 18962152997373525860480504898019435542505876794595163047010336815478199649802370320343811863738975629483497286649140354057120002991361224970586472316773228015777241964978599834394184542212448466019397078906358426204657988662415189353369989981038935271129535786014231498168780
39 9462114345689389404379771944111698335710432520502986360458158070923621625251382789851562120005748839112265146037921036674502881492689251260322649686069840779872843740524321317362698086564011784543679142374272854676124336342545179487331625000538428700293638357221101517586221220
40 89531607890900941770420949631286774933835015416512420621245607281825571138868444224066202619160372084399449407241864048257681258094959431224521772896183548815727991708029191241466105367925052612567861179081623350918860530975895341436351225742919256455912261383396135677225973835233598866935568586347129527705742596297682990133694030125862874475969896449948283677349755474734419018373830818223995634569449670853981994154446927786082959315423222175665962535357390311593935696269248269848649795911438168044079081692084681089791791131239528643938316364509620
41 16205221028253070460446191883262906263024137790388748132445454918010428376135188404555982674068027347276300342710777392734640307715187657051638440894209222335646766499153283614705365071594434522874782873413773826516313756106637056799979571859468385418520119310394700557577901264177281394915337914128830444514739409929880621214198619452781180280150551257440639345600305740926929842325663378098543209857070390424570740941954893929281015636091603213795539218899687646398502361024733936842605613059970308415978313786267327277252314194754354684552835261976241220
42 31292281805556679059121596526580671993899610073240672643752173446678137194317048809197602543625360807590535961774511145370590434198027365766713829366718008330133906109864990659996059953248853063671205728561997259003001863041916156680760553260633452243162350388372166776682927341126330373581517512182771588357961800574599479564617534163320459120970714478117874576354190385729901525530855983108286938234002923909846100758914900177441641193292885805839186231695296845195508059138761232043071438818802665551254123921282208972374218710070658895871524890876121795820
43 4730422948264197616688352625326673604645810155161719242883372307760887321527713951437592378917302167922653730805491075334526785347281598855588362871537394601258012452722180773080944387072675868782112498780988563646224788634183423489273892075856698342146609345859832079464381443230726236243944420799157398240484727431061628726303668021934990484858021936942600981832886606420403483712973968110496628165895988004527525205624406544923675457548892254382903943459146328791359757791947396686719066334799580148717534659056310248144838268182671434630002546228852455752313580
44 329800555966543850372721079144854636870932279494810102773546353639366241431052939746350051921298093047308137645429385840792992155691244323728555464116949712327273498363702100561191611694855982207300120843348953032540402434270292517609118433187151841828758211692117082222273111291940164550426445270920962751782053501860016698773428870533855453764732280730863430657575608220784363210490570358240702686321157318858455331736082850643763882228112987801802859142465747064734157422247260164002710196974005606896025457446608306943568578647248181745853158814506176116727216837822367420
45 31990653928754753486153944677050899776480431110996579969033996303018525418812135155395955036365915025588889351606650426556920239102050699401669880019344122095745529341279103754435586334401030274108111721804848444156419036124218374208084488019153728657389546534135356975560491795318195961391365191279333386922859189680421619781022600441783979015179031230893752773784833997416083231417585324749348160573152259929270167178400036512445096576126959816774877336819177465279213269957984235908262889106478543868914469372321005773526152128783073629347756405007099083322540033268769639740
46 3486981278234268129990779969798548075636366991098627216624705597029019270650522731938159098963884737789188939325124896494704306062123526234782016922108509308436262698199422309233478910449712299877784177676728480413049674937539802788681209194087756423655460572220753910336093605689683359791658805849447339174591651675165956556131463448154453712654514404167419052342546905718353072224516800397678949502473596332290448222445603979856515526797838620028461629713290343715434246425420281714000654912606161281711677161582989629314350582037355025598905448145773800082156863626295890731660
47 1509862893475438100286007726922771316750546907145705584798497523513565344191676342929222889851362091462718810727779080182206964524899486859660613327272984530552901748320349859898096368224725425847080548934023432018850509247954734607498963581039998531442814427771586443175528531263632894789788262932810697862598185175346859188804923673050878457579404737004492449664322810176046880273215774572194985134571067211881764080318946523277871223103464122472323885665854718828783028702206981982162283577158467834981156210965434509493113802022174726084326059047120055435573921950186120686808780
48 2447487750323685160563618525341812304452636536483188752958364485615489422934707351888270304449057950261067192189729888975357489494862068199509854203509507924026253734027287122894814212892279915298117569822051983302556675490934624798755819964865837619468802187417741624387531749178348922454246774214086141235271658169237258745052781274015473979736215078684282260905867275295371992922882770581528070903139699950460339574197012314233429252650715342527637018664350499221457289526277517793085061678573876360504454217974969339888337473077945230982692541715381609861065327481251701633317032380
49 300191715040450955998609502988749304578029229109272550116602279254196624191210660831152017651590304773370674323646940072494522159013317250874482147623051675405592099239648847484417647653876808451060014291384141908008483918989604535441797586150689581540706994693348263456003931631972030385780729597680307480929774689431457496856958781601819930036585988045863272146887338916803261047970340460136162480482793618023812029793986151377672798125368188907042263250238581781009400932266516389875262070062121657244952823197283914445324256085429216415720188319016700594289245611557964960431233972504140
50 83153105066204914811614832327883557368114096463268496382298831353412464900965353050229108889490514422223676787650202400080982638046688878492231554891585314087349011489382730753183688400123875940943623958713407308518350045560120456317377931363741014086775837530057468977313089062056252416861262098557445172217547588972513726629377582503704120620134318688704126384687792879954503310287784307457717007093733832192595932252934163931615365080726988327250706920316087153339604058237825039995447593407207699056851932025647644301354818935663892947154492164367626064618121034401556294039451810383646780
51 56294652129820727327463241485977168338213243305632772050816308826260238737953544015005106718185078263845429185239187024854825245957608370739240762661603257637135280778312108719905357046883864012018833420048976747866922980844201548926864859533252666536747242007848906497640961295012082886215074440723390381591279717734391792928088623355007689659830933752252693562433635779729198741064829976148874413802457804394387446135236428981703602159652171097548728585053991002810911947427007552076918020736679612261488757981363455192017212419444455525223591195276882845746467940289853611064708875629728870060
52 447207362367945959463552381136952466205677900842382105911971145682326170765523637471769273009278016426666490182711807967236899930673800904745953362899621374022511615861107972340037991932226619253086177574039813586961985905206436782147814006780557245843247317630726082115865185652756852015988203465605327190709060867828741919435003644097478772019110949781781753536570237015050402071359839377535537340344173513625820408308286547942815555625578350850968684669912402063907016623221677063053984371879157463747042983375576412127778760269050468581785893964065735340103691401655790709417767349319720741013532820
53 233889450518435736799437895334626139825569542140565841391960909191856587310368862397735329783852402591146574365558275566864898663742397873182133608796501978613773575095359469533839869780554521869364070871222822505981118628422966437063306725546231439576018347120869740946597492096391833604361830412511586120740838833874432023864506905862981397765995026735871857099626233958871360283321195994451086029000002747626304073545233864574092535592177477495056622082364186279423369693944937103977233826492799353539703480305426463542828291620713395068274022543206379582874230603065978541025492323694213947550077664860
54 22541563572615281005519426038665263477968915762881314095833016545183562315211419851306537878578343004526933397629409924307738338515501079823674490814980471192859655846965459595262885129840503154203701058355841964658942270051520236304850312287969147452017920240468063023210226495773955747287580129666629135558639824292316135163989582066356558172493302691723121971690677550254145090025646906357212318216933264807980307696069004166057316302767288748541072066432013181051986100993331203270013864495896523296096002321396086276867162261529494876495045470646601245058669722831689813848413873680677257623033835106212220
55 924204106477226521226296467585275802596725546278133877929153678352526054923668213903568053021712063185604269302805806896617271879135544272770654123414199318907245889725583843405778290323460629322351743392589520551016633072112329688498862803806735045532734729859190583951619286326732185638790785316331794557904232795984961541723572864720618885072225410360648000839317779560419948691051523160645705046894263857127192615538829170808349968413458838690183954723712540423131430140726579334070568444331757455139936095177239537351553652722709289936296864296510651047405458636099282367784968820907767562544387239354701020
56 48982817643293005624993712782019617537626453952741095530245144952683880910954415336889106810150739348837026273048707765520715409594183846456844668540952563902084032155455943700506249387143413354084642399807244589203881552821953473490439728601756957413234940682537100949435822175316805838855911621765585111568924338187202961711349361830192800908827946749114344044483842316702257280625730727514222367485395984427741208623557946052842548325913318450579749600356764642425965797458508704705740127549583145122416613044393695479632343594303592366623733807715064505512489307713261965492603347508111680814852523685799154060
57 44410093759680740752997125341646974727257745354598411859578890351229517432745232989708420445076340173288514243217213455751460020390914547908551733929663169863064959286623374895532414468662050999746952350448684606696595810572105820227044936150128392459197091513752644283592440773780663438476711386058669110564425144453155607501640924993811497513928757965809873993748050115606649617583132812072498105339217929808592109670220299649907578568396338781958835920092661767643085241583946345276352500100426425988839082721977579813100377774735761102855525045987407420523678914989552654159672121375474653457273001870216299891770608140
58 9510695044210925962464710955025637941210728214671977081640118614221809550196897785893555223141700387997463537403718685042442069525666078104210445666803701337957208975191035538278096818395713499425139727871479875518409444438906564971573359632159960868698809692511403240690845096356612764659796258289325692496693516574186481630055068685515374138181831458034818890761233767845509787693190986234017470216614205747635600130846761124348397384173121147693099026364249770005532501588465652633257084749583558165665932545340860382245002046604387958514867010072781388773846507063484622927894324374718379100886854878035945555969982040738585937016365928346217460
59 544801144217534471907866037636733618186374144321054863167590914578467916463928895869340523847226023325658703813097217435286209068638729952043486959131516423742202801725868088739184220048161656387570279031661981709321048205793884761266636759809019038441673915616130711836493679654595848998007109063587443643288094709919124227214444499512377176757469851410608530519475753923494337168429059264443222746418311547841810082295295017486049247357588898703303791527223319575226918288492077979790865585710394962403841613994760505276140452235639155427607126937999136293132249464117589655178570583156992910036101707978533069282628481239628418230108489473456374761180
60 15799233182308499685328115091465274927404850185310591031860136522775569577453937980210875191569554676444102410579819305623300062990523168609261121814813976288523881250050174573436342381396688035239538091918197469570310397968022658076732466034461552114808543552867790643258316709983279620942206162844035865655354746587654602589218890485858938125966625690907647385064796863781335777884442718668853459646131034887412492386563555507095428173370078062395809954289476267681580630366270261413935101985601453909711406805848054653008073114833535507400606681201974952500835234459410100000178546911552794391046949531377459009196225955949224128673146194730234868074220
61 963753224120818480805015020579381770571695861303946052943468327889309744224690216792863386685742835263090247045368977643021303842421913285164928430703652553599956756253060648979616885265197970149611823607010045643788934276049382142680680428102154679003321156724935229238757319308980056877474575933486187804976639541846930757942352319637395225683964167145366490488952608690661482450951005838800061038413993128132162035580376885932821118575574761806144407211658052328576418452342485946250041221121688688492395815156731333833492460004845665951437007553320472102550949302024016100010891361604720457853863921414024999560969783312902671849061917878544326952527420
62 120606099456990206044293827791801989732914908929796963440218649005151805274811372904843538844375738407548660215505528000993803378514835787257698134673174266116903487586825872281490167278695275104665827342175341011929462260699996556889413550159561366748837479517024046776113804612424355248826440496502194062450603708279844168062705374392237918159879535149429666453318084785169802231040708514926683602075124654198048450276316975555963035904433078672696418603288811515333786029875633253506759444747608814659118180862737742781530295278695016798524327288627363191943224844995971719117124667830400003194632650678394293655483838037412247512094475886162828382292900788799740
63 12904852641897952046739439573722812901421895255488275088103395443551243164404816900818258656348204009607706643059091496106336961501087429236573700410029646474508673171790368334119447898820394436199243525612761488276452461894899631587167249867073066242125610308321573005044177093529406011624429133125734764682214596785943325982709475059969457243107110260988974310505035072013168838721355811097155145422038337999191184179565916384488044841774339417978516790551902832140715105196692758125223260587994143168525645352312938477623741594820366797442103019883127861537925058414568973945532339457852800341825693622588189421136770670003110483794108919819422636905340384401572180
64 49464300176394850195152271886079541851150124514286558412700314735131915049163663180836385429782665968826339562845497704575589573433668116263786993671643634936791744267472481824679843796178571873951700433673714784563642286443150287873612068740491062906067464311796589328334330799498213242556436867270941353026928549480520768491725417904862929612829553630370738532165799431026476158818956823935395672402672949550899808960276157501742675878521042989111654858185443555595360998218923341893980757833781550764958798635415493184731801532946465934595580875212029093274866748903042877133225457141949783710217883655380530051217241978121922484382819489667846967258169693411226165940
65 51888050885038197854714733208497439401856480615486599774922630157153378886572682676697368315842016601298830201424927092099793462531917853960712556361554173048694539736578633434089156142191321895775333754923726809007260758478864651979419060108775124988464770063074622205422713008673625691441702273767217479325248048405066286147819963382201213163858201758258904720241923603146773490601085708308230060350403924078893899599329689219328066996568574095578125946236530289819533687131650585646785814967636846752441779768550852350783659808060842765390764338097418518845335219599291978112753504541905323112018559954494176023726886835049896686117577644661571468653820008388376248071060
66 34298001635010248781966438650816807444627133686836642451223858533878383444024543249296960456771572973458526763141876807877963478733597701468030999754987308385187090765878476699932932209988463773107495612004583420753799361354529534958395998731900357617375213011692325277784413298733266582042965202960130753833988959995748815143708995795635001901310271362209136020079911501680017277287317653191740069891616993816148867635156924573975852284731827477177141250462346521570711767194021037112525423693607955703364016427012113403867999133128217067923295227482393640956766580155131997532530066502199418577044268129920650351683472197967981709523718823121298740780175025544716699974970660
67 18761006894350606083735641941996793672211042126699643420819450618031475743881425157365437369854050416481814139438606613909246022867277942703012956865978057686697338648935526754863313918863689683889800099766507131152328250660927655622242611306349495616704241517395701926948074074407096820377501966019191522347191961117674601883608820700212346040016718435128397402983711591418969450676162756295881818230714495617433430596430837741964791199748309630015896264002903547299179336655129507300551406760403551769740116985575626031915795525821134736154042489432869321603351319344857202650293946376703081961643214667066595742370859292288485995109474196247350411206755738972960034886308951020
68 1169242232676612822956656412751066172033208778462301876915730620867575662785922060082486153201413984106396102612232279998665939883157363223079876510758350489208038236617608833943346313365341732169064011617748023934806553565940994281345026264445619615319858444088652331193184820539273495136387055028214073247244044592736834213192152532499334042251961943032507111346153857512004433074490491460628242557592819510365303695061359100592471681941913901071480702861452957778326753798357636283492265323528630556945513310892029741187088124555750580161328390068924714730285664275529535440774269620035266177095490067695591446451779063673295312673207760332723619677638637920011788254219432754419460
69 398469568200560913773867808870674093965713319238503243539742585477323712847802736621690703607969475885571046997530475397585361650600847284883060355730870538268674974771624767346054820170714904931091831711247202320814529809397729264122415535739216045563700518736304093904319034546040632228014753644230158664148039688892563942016393238008045546261172866451877195996989811563088526760754838056341880665929729739395922942151045751968210201904030664087853123170263137840149309407203693941960179576401292593393132317758827491588371323231727907464919586036759060307078242385450536971467785666620678466290903346640183695810641142446413329491840492267069880520801504332674577354520203146676871031780
70 296062889173016758933983781990910851816524996194207909950028741009651518645917433309916192780721320582979287919165143220405923706396429532668113844308036809933625506255317202138118731386841174363801230961456671324365195648382512843242954743054237521853829485421073941770909042667708189745414961957663007887461993488847175008918180175839977840872051439773744756625763429991374775383240844675862017334785789196371170746018226993712380180014694783417274870515505511415230936889552344598876413425266160396891097312094808826250159893161173835246435252425311981808159134092389748969800564750299164100454141186553656485987306368837685103812437485754432921226955517719177210974408510937980915176612540
71 2819586471428255156162509240564361974798669407443458511844527620417857039222660954567258333447288860770875326690234892263041378330255084313120776581802041113649091366421081397376213161327767386141313009173995245450291565842062783164515265562033767697545611195500757756146969783517142317351201333404245130482723727728828288330471014163464305244703860326382320401550510770493613544318735594732294669213365536841837085537061085254760713679615266875647674690243694776621709654569670146258373567334001980924981135188826807494958261175807535022525093139887910333017601118309088720718817657559049927937507409280249598396059663609081212848018614922233761517395966368789863700204140410067927220364924338285974620
72 55977250217265149615294295952924278285677983745974981835649406848155715799687487931023779693929025752884187860781233316098160483990554188868386777478515922229275410897557728982109959891840165917063487171131327607924638456662472434165121567203056390099373019064276543732785791112165826426373400072074478575473514166600428008224841044187256852023105739059668206931982290326609709695359857762220246067892946002920991659167273725562764448681401893282233285625408072400270801772171661413667490432281941327303650476903778609197406359123306992802190674106194683841398435001790338372430686955519818219343334596440795276956972501631089318671713562051106867404862120319585164040152799561078559105904842887991454130860
73 2026880253116953802420191162159435192446114113458008117287029372564870313390884250494440038937476093486183558251027677142598292964813976624735416825719583027999833353189667808713219537723640567690951806979494241355343233877291464368684886826855468829108197647298389372020440710380412409072554443209744794739320474458434897749813269368976383354904635705611526104800146750436210978359285089712232889872335681819766186986787814328902137922304881153856385039210400893541405461368563688127486161062496813520337880118208919660428886857495822902374522118711203307213195932979826362127342743972417097904202802402524756183335017311560113139784076368308528561862652514651859204729892719307093546665708456131282562624309740
74 186539870335112609298137453227019299066393220203880861058277174245262709552303250225754800103532737311813931416516830210464748696430724710704274616721450384815908662994104697439303733715319812366301367651743793514656303843428765340243176189335989362749314754073812669075157219898440495244174403071922442694243881225833138944608564619835003489301938337894545582003071905882895804971340084661485929553620669804918541486955042916131850459403485127232864684313650825435296168826133021909436933861064769238717256120919121503108251744155913069174234394151348173972752061299932359585665734756013462771417496513511560885820871648234811892593747900404538809133905498880954558188906216635989740380285146343130328086003098301420
75 8981994009777519084719161775180740336579189961468028005470186713467106300104706863730351302070183301731739594198399796893247672658947004334253004527779325434771159856348123791204793341283718436207470167245227382692762859237095332233965256508573944930567207060421747989361195788335058527945311654007185619806267622575438787838009517686506275169837131048954566765647185314566056916253563835288632910093204702564417698961544447892544034851020411612442457982849558474798583970913028661185186706835294624828810239616796659090858857328178271030122783117096262123814960615756398499783521853535115073091744892447347146210869881328389632351668983796735408199210603729303705381063640864160299127866348180282010415777436824000998146333434052427220
76 722808003948826293304605105534119717105537153769216617684202335392838445288326075444972560331493860840258280363927826855390319961883442279790342033363985655712339547119902565849623334553124673716923746768725183167434705571386772670863886087014471070397534853773319325947863508674687164919343064732920248382669774391513285573688139916786219481742303446902520851331925943819074298221673042517182156173930462029466385488532366355256696116566165583688081921253852519142466447891284155451555529859156664343848846412682477547018684825770490004607070725782087501889761325631764656473079354119531315276911986729915366897027331960139498884235858133074688504015074913908257083130334371261571751716788637111834224188857673537832323829890438500975675060
77 463158744346317065744844945708836629967734780780777316629830119866016840456517717645403182291533641667638180116756581108916443054215786493717215997112874636510385797984849806437424091444947569050309247683223416694479308331916502031718148335178871729076121190996306237722894135498040017475521890990366437997901990025270708590051165231458523360852387975795856603553917510502554971591588987165032430486662639667855382094185304116022319967484917884218898069255279855658552223080433387277781397756560829908258432257779439915145991806602737273682104958454468683198415592954345261280850369294650917609193832120834979054176482691422307676544000466937199675537267658109391248957006267413876162349828672522609798673063653476551582966745705511339690137921620
78 469179808022819187599527930003051506157315332930927421746017911424275059382452447974793423661323579009317476458274416663332356813920591718135539805075342006785020813358652853921110604633731887447963267903105321111507539340231416558130484263536197061554110766479258218813291759259514537702703675573241201691874715895599227801721830379467484164543469019481202739400118438139088186222279643998177852082989253983537502061409713069530610127062221816713743744155598493782113401980479021312392555927396120697065791877130572634042889700088572858239972322914376776079994995662751749677501424095481379538113351938405833781880776966410797676339072473007383271319252137664813335193447348890256552460376445265403726055813480971746753545313399682987106109714601060
79 80381817262098629211784847423666466604025124819582828383577960432983959762371349708674817515770016547698209445517104695084335635338592312068267679693964697936135713245334631224869969840431433299229465217860496503641129939322988697943717503493702786181146797895473646111696436145096420539607991135647368854361745159188833680210299272829702413636860866966410896388111879909835282967839998179621458113430448825196803044131702989680117523551413210931061622159219310864947556552398423524327878426419368342442462678386751604492907486081848966905275148807689113595965416156329764629206465604403719230271896942984321737141162276805822503986038736715141219454108840224290861951469061621508831534251276893447014545829589455807776442260944779582645242606371368040966140
80 18127948574400269155729354145527532547939558224686778205549652370727841557489273900349470870609001441886543288781354002149504625488465353994571931927622000572651134458227602037726350208323618131942126684327552752990658547305938380126361002540410333447930769301780903092048115368750580049354012984884601566142223853535743338062067322906372977430625773300865884586136155492905782520756179909462770098115175110404858612921714053341629144263885361568805810214213616644195567796366549668476996126361375206692651510617815382100053974983636824563378367384556471965502908547823957508472529742501939971968609014272653191125286340152079508566443414020208793234948987973902748059881157184067536214098950718840851061419126502842137166588015049525816903048316690034702806791220
81 2957524859422414529716918222903606576018643667890543812222394923830507615689866627670727379261827302180696577405814717166850434153476863890423315676050320292132132014500797719375515679153513380757896262761345427742520461276825693374548399827053001968486718714123107955616525913860526016775834252677817001364213615560835110936460077755120475338865208671935629859044407851878006097541887838204238380954006787385848465609865671467447347437876135142399698304670623256109225907912165160446284415411017216282102242945974698522319464955819170275853081670921031633138432410058300525043131048311687132523722947699873426752693306305232529611496830880320838369304447539811651599241062494146794581341045047764784775336768523712302216158333902188519984725683719861968743735384261566230728340
82 496210563389033287381374822520544207717832015955007550270861197925358737252830132923966968965170122932575091060570187431536998991836194746671333480812046688293636977260929340559104645132697321510179077069835774521212340472564538008688355974583125617270733179136860929685385101301605194568632695080031458671886396205181354077808335385676358231879465845768688042120611704980239985039480399606068911318082304780810269711557652493136848505779420078056678981859332499286749813603595158454517152933245057530594832219232688943376237510822384569712354189665459766376333051327171603791211484154686555407697712442137063667140130238585608585687326788269349940763530903782059093669066224205455048062819197068927824821227686139926353524829103775287694517290488834721253855179036021320625370156860
83 44162740141623962576942359204328434486887049419995671974106646615356927615501881830233060237900140940999183104390746681406792910273421332453748679792272155258133690976222711309760313416810061614405937859215383932387898302058243882773263681737898179937095252943180622741999274015842862316608309862122799821797889262261140512924941849325195882637272460273413235748734441743241358668513755564940133107309325125492114004328631071889179517014368386947044429385480592436520733410719969102452026611058810120222940067511709315960485138463192226704399522880225919207493641568118272737417822089767103431285096407350198666375471591234119164126172084155972144727954250436603259336546893954285499277590908539134576409089264066453445463709790236000604812038853506290191593110934205897535657943960540
84 1443812463450112208527976549467109508679798306687918503849468597795864034533603022675809438357669307784086293231846681255232280615568963621910405588448753571854164759085649100849993926535771344359773326431328546901557559189190167259506309547057105196683455104471404099304182265399950697716875474322380694574038393651103466789055123879988628991060348543718698916333375103911789738949720210684587771677263766327713683143515935633272945949750745674459723529899517008527172337396667949866464105995345679260448579627160312666696140631777143467646933601523225976650589623786490690604400857580755912479003656845500044999813292732217057832776943947311197327591008309523870357489727604047455827882279572869926706542355310124562492545064172185567773119986237681145233753575771993408133265161901934220
85 6471625533842160475124710757335479641203556361611321717792138072108961180308166574046669135359178718428482140137614523685162914793272832914762074717428890214464037800327744370737157312896354287440019355947058353892031279062371708714820367612942710408247212806992189812377009114960599942567426083441284724540243559996429539883977874902663051935243976776132608750093980583091873175597833037776221387281670724194326472794987843525983628233973521870633708498438742024100164524508983906746816661090572782564011578130315585009556131044644601910523285713924665035274134528047729911714336617588890784949375623326805109188631681964506884846020629954878302471705526318279960534744110244871987974018483918636960918634522949408671739186402766100446858508426536381691131770087129629004329122454846188349572099198128860
86 183541325223135678125939138183749281956078818926269744057104300205555272516398470943043974127751327850018610411175216010832771150210890078470096082477845252778989778036486935484114937687198914097640555592678961627705480555329668727213119123265302916841281033361421812807727301495768642689758734000078518624039854328253098427011244515641058532184870893513499363611411626832408381793881026533891808205419740973595323686412027376079218387473374909600033532998334770272305103168247101459356901794840119436775935450554989314680655773184123474306819080025903164263522295434679232732766392522211917918485080546253510152146249116609324210142936710726836649797169884231421999408600813311207554763968015141072462663090319586095829996715564987583912423324247916890131851443348947396247376943232443363395218184883287927568660
87 23309748303338231121994270549336158808422010003636257495252246126105519609582605809766584714224418636952363522219252433375761936076783039965702202474686347102931701810633840806482597086274262090400350560270228126718596030526867928356066128654693470438842691236900570226581367289962617621599359218009971865253061499688143500230428053486414433587478603476214419178649276607715864487822890369804259642088307103646606108174327476762060735209118613519204258690788515824582748102367381885338326527944695168470543802220483642964443283194383681236966023163289701861467331520204262557061331850320913575647605229374195789322573637809384174688152962262308254524240575297390593924892303290523359455023937922916202758212470587434170409582876753423156877762179485445046745133305316319323416871790520307151192709480177566801219820
88 29766548583362921142786683491502274798354906774643500821437118303036748541436987619071928680064582599388168217873985357420847992370051942036201712560174465250443783212179414709878276479172232689441247665465081317819647130982810344510696446292043561750402116709522028179344406029282262702782381721398734071928159535101759249794256624302151231691210176639125813291135126228053158950949831002240039562946768171356716000138616187825151558862044469464023838348136934707992169326723146667577042976185375730136884435435557612065594072639227960939605611579520949277093782351300843285367320772859806636101991877910848022964926535482583591076771332808967641027455214654767788442087471301998330024065568727563990922237324940153435613037333614121371332902303202913324693535230888939776003345276494432232073090006186752805157710140
89 26593642870216517289413622538092572820773862196813926138377671551761152404159594797792194586270458546371585203026143636217287542319350995378736863413247788476003229028243574357708221354427826890375636753060161904909297484349959641458267779992435762372741503883103946629623547757402978474504699306569678810999121225776657426080937427947912025451549010280631475474993159718026288578891235666218267025813583311667289571535840672516305178748262563330445145347093974426663160021679746294840003234224847974934403512809175219522686203654394734899170230624425072730800524809128632497050161949718361267339972257668696999653026121285888558353125046130861353267415680959072125568680041473504422031810347560186762437863281762807660450736845112191331998414247997605184674477230022795018459820693437061217159723123157288263397534343046980
90 242081931047580956885532205964256690387504467577597169637651944135681770335064791444302347318819984147620540103146985520485968497733052110932641667650794618497057393844101257378217938989356508183089421363106653820389335000037682616194611601271142744879065909847895226169463155235639313053416277787703786216525000518244912549614773406609843167685450640584588321248862732913193304933646918269584884735981048886107336969690757641915926042145434113997042158094596449205914745677350730521928549441148791115827875177101922023315012511865955271787146609374141437068477177337497941620647624228286242616595767461558148787841496782065443546688497294929230898793284943770433559051694417533310753755569593840380098471869453886838133083057501056277695181564899522199996091766224897503053039747772357568259804959590100795061707755124756658940
91 202962217236085016995700858077050701990954908130460199815716302919188003294229326341277420899140631169317503684098742101331997446404884088962259572083429160531788410171076026489670054702493464530226720139092707882975879632036593218465410950340529890734843496014204901306156417739025706981923367546044217475293210009498089416334674868421912341316984873418040602300010261862620006436284377217974776117300719329259049637399640279255238141512858397477462136472983946803586540520127884521776461637107469917883438032107782730113376434985952497732159078739108303262522470911290286748575830095867870668481741227072736618172674426574014065874276197560551973240986476711962807209617754743180335880930814184556195699110765747086751291234658058086388473309556454111043323325078252741252177683651587902301725257535219276882120967019861357125272820
92 63527173994894610319654368578116869723168886244834042542319202813705845031093779144819832741431017555996378653122906277716915200724728719845187246062113327246449772383546796291266727121880454397960963403536017567371450324827453677379673627456585855800006014252446134108826958752315046285342014041911840069766774732972901987312753233816058562832216265379846708519903211963000062014557010069226104924715125150058082536506087407406889538293524678410445648716043975349522587182800027855316032492414638084297516104049735994525486824150603131790165791645340898921169533395233859752304234820006643519234785004073766561488047095517666402618648449836452767624428767210844358656610357234615445130731344839766089253821669678838153154156447972181039592145891170136756560200749493108011931614982947013420440005608523633664103862677216604780210392660
93 4510429353637517332695460169046297750344990923383217020504663399773114997207658319282208124641602246475742884371726345717900979251455739109008294470410046234497933839231822536679937625653512262255228401651057247283372973062749211093956827549417595761800427011923675521726714071414368286259282996975740644953441006041076041099205479600940157961087354841969116304913128049373004403033547714915053449654773885654123860091932205925889157218840252167141641058839122249816103689978801977727438306961439303985123643387531255611309564514692822357101771206819203823403036871061604042413600672220471689865669735289237425865651343781754314585924039938388146501334442471969949464619335363657696604281925483623392337021338547197508873945107806024853811042358273079709715774253214010668847144663789237952851240398205177990151374250082378939394937878860
94 63836106642031782809638847772512252060632656538642670491202501096988896555479988192801091588052596594371189042513042970945452559345853075609794391639713384356849257626647984361631157215874159047698247568567413220801577687757089584612770980306907232816761443499755779658998184252727554355427632256197657348026050558499349209677055152792106055623269333078388903063435501282776131316133800809192751472964014803662814991881116510469109242118246088921555645905750097201647315524269984390776434358425250469301454924863729860666864266576447514820061367890112191712623180836134882012279690313936335826668823763548577288276563468543168814334582937248007437433386364305790694772757453401847380040402091369721871745863004458486343092945110778669755987682496638897131607353005737892996193638426609084746703605355797884094612399761415909129256555799505580
95 14618468421025278263407296139905305721884878347349171542485372751210457311204917296151449973664044620111002290735486840346508636090200354314642915685494365017718479996502388418813535002435182421922898693201937627563561290496373514876324554490281756315038370561444073541910584193874609947392927786669263532697965577896350969016045629989392286737728677274951058801526729793755734071394640385305140087308759390038784633140775680897426016445078354363036242912416772259177235255057826425487803468079382357470033177793794138092711917046006480893794053246835691902190708411474887980812049081891420904307160641852624199015333034296385658482619492629793703172245477426026069102961456829023050029252078923666308629802628020993372568284430368315374121179291730307443138083838313977496128343199693480406995125626477715457666239545364243190599751278086777820
96 5160319352621923226982775537386572919825362056614257554497336581177291430855335805541461840703407750899183808629626854642317548539840725073068949236979510851254623438765343111841177855859619394938783238700283982529937135545219850751342567735069459979208544808189757960294436220437737311429703508694250027042381848997411892062664107386255477218418223078057723756938935617195774127202308056012714450819992064683690975498693815356791383805112659090151793748083120607489564045035412728197194624232021972186921711761209330746727306717240287755509300796132999241473320069250635457226653325907671579220427706573976342252412561106624137444364680898317177219802653531387202393345394260645136660325983860054206946320327691410660516604403920015327064776289980798527427743594924834056133305149491798583669279346146633556556182559513577846281712201164632570460
97 3256161511504433556226131364090927512409803457723596516887819382722870892869716893296662421483850290817384983245294545279302373128639497521106506968534071347141667389860931503571783227047419838206372223619879192976390332529033725824097160240828829246880591773967737272945789255096212243512142913986071767063742946717366903891541051760727206124821898762254423690628468374450533474264656383344022818467414992815409005539675797490135363181026087885885781855040449103325914912417345431492429807890405864449947600121323087701184930538578621573726368802359922521369664963697150973510018248647740766488089882848179071961272326058279830727394113646838138825695474378305324710200943778467081232665695815694204583128126773280126785977378873529671377873838977883870806906208397570289420115549329324906295315267418525774186951195053067621003760398934883151960260
98 801747892792709071202510897572445575286707735323543406663722395083034350415936433523757969745234311125788438107292885151935178341724371427611791983423200390337721612375750806257073775687801952463153266158685136052548006404528178119933421283904498311702187819867234275325436150893909375695524727455297649385794570532004929955558159869216090726115106483008243924783298388100554861695112086088885279812502754093093331903894602469546508600830455970717554803640743126613562955427520005327369762615677024296460139001986054353421604728626392492144962031014210721869935218536002347294944843094823889354397772179591770563233680182974098834455937305983178990325792217073132376950875607528824252673368889711566220697200154272130921499131715416085416688250719508273339070138673876639618870732829560971608310665972525069526696039868974828356207015424731910737446161357225030976233380
99 143512872809894923745249450665467757976320684622914269792806308719863148724452621600752676584396941691516130421205426442196396923168662485542510765032752869870452168615259394320016205848116549490904434642404639353406093146410543883468082409818905197794691619756234935283253071010009778249498926214498279240057228125228882462044910616589680239974604060458475662536210411469999320243425063409910465086437992982663706410797133842048825039548651618758442309851693019663827769021526080953599187508206187349066364881355503729262467246424124256093948203551543719214718404117944420165795126913973476194437201220146926930818828752752363691367612777770989039268316806856090695474206733747659541228533031258370353504798827614711434948344577059479289587196878791980927693554822623918491777861176491413917887609209081987445278591136546494275761055761027012022002862882943280544745775020
100 3720745021685498680848247505587007506991023073198130793559222642002311884954539527124271651941834418048944107203690760285363090069821532187959583564010572815116885588926792876872941676237703614693130953374692227255309939599493653347552916322353407947021909613731915497724963885403496622959719805310513646714643348449818430005175844121844150324112219512903196765278586268168022546487609556653718208939124644485058594448379170184198510277421686633422933356542371935031547807311348716806093744766317844717425228917012755696145600211380840953709736948348271840085543650745095923491059443143455192220455905082986678609991357016724611811135607442786771510757667149397254006001028836762642022054146588874105301110003917291635366583555605549819611967769178102322639358845671415284464634593990424636923490830640202722805643707588834221903673317243151890381982865707255792435273904527049220
101 58292912254746707832849493670031646612028358487795115142692341132250220301582770771455963970972719827572807327560223141390783532123893944788762795697353644294436246521716064001968377241616102531397282646521303124408940823705267066996111540022310842305992257918337920102857009192616581591909930189799817303078317340163305342891089949856932303127866143108654383721619611063388409235821378924093803179449265805147412999222756459275838060516365564485837096896949341106139259497146900346201070699253901673187901061442838843491513118511703635221770448769772374918620212376223417833334428295728512496517882664935152293782734590381024493245061561806140349259040371229606778512018118785560312559522314607890607752490431372208051288264565672149023860699039713329088790835035134063261707430184047982786680330843640056058196019966794265754564849861248460666614525557035576500083436262225280129740
102 84583015681637473065464615315215919234053148165790712072046586982895069657596600389382603721881416469808143432289883778158026905111770113888494816556860137871226993703010008866856115377584964773057457120102410833517373135196342514211357844572373032185994766239508322069245520338486659889861308705399534906766638460576956052534971517242408771838533773650657510780070055652976581801176820818860108413380884683268896261872219622409241025809246434068949627597473493945008065530360152402337753584617411327795644440153559161906185534960481974706788921164939716006917928157900179276168255457102071632447447746820905978278747890642866539698584326180709646774867578654159435620938290357848013523866878496049271848863615921073882419271884790288233621874306624040507835501635979525792737481197053623023473160054121721340442424971818479609873597148671516427257676583258621501621066016488881468252740
103 18186537836480659244530066046242855465938968941423122089788026600124167658844073351446849351132192043146201629235840179101711868854160148463927029350102006704485590792262164559055192700434178963538671266277881579840916859730160697651127928418922854388954944990866795280818170748884150963459289719002199165547479953959517598067427110248441462507916202179989051844347962139784621891935017510095003242090763351370073008909111777778069162946212890300174379996590290681199659719005511220546921689057303533202118784880405386290215299747958610367233369583457456290998007937136059349991006832724144148282604153934450733212142215867974859684002159388606842475135288851626410061536269410031153808420499774113505584571257893817705714945543583089625482984825420367941717696538864453494403916669711215097443746066739839167828692463540649213757692788742470723613592467972015494878830697721021006153488035891690965893974260
104 4982716041656803134020954665662590638705657914033555476376651614372054576688936552164977303639065165255266262790955056859980876659931087159916491313782713285250934698821992249080672035013790954378384981856843817194994848624753245309298027553247886182953297915543091506053598136120759860916520951092802616084750690688941554581768614313025609270502183599468201756245650097369971289674311577911815199569409376733367920067412007106764465385124343340129721409394355915973714540379696425329590249419640378577811425993790083824663046595142506627658105239885897809334779212914103773377506540451599312331225827856754465768630910117638012435746016763609722804033266597380389892417064810144237070993529165822642874597221677486054178029979028532777557307834359585133127863531640597123562785491274227425469161970357452557597295130240038583174649380839160868658942012205401509331709021460231900038371919613310225770682667090301379398660
105 1998069132704378056742402820930698846120968823527455746027037297363193885252263557418155898759265131267361771379172977800852331540632365951126513016826868027385624814227618891881349486040530172705732377724594370695192934298526051369028509048852402359364272464132779693927492852584424704227524901388213849049985026966265563387289214339523269317471375623386748904254505689045358487159398942742637895027333160070080535947032214849812550619434861679392018285167136722305459530692258266557165690017275791809702381823509823613689881684652145157690900201194245021543246464378555613124380122721091324244821556970558540773220994957172842986734152722207498844417339905549536346859242988867839065468405195494879792713485892671907725390021590441643800480441578193638384273276187879446548676982000965197613133950113338475596515347226255471853034401716503508332235746894366005242015317605552991915387139764937400534043749503210853138862660
106 208416593163260970720743295848460265940032137013325381412334233450657390976778359410730423643680186577367239010790154141429105850671821459996055446272193777068567138747268698993251683539401661784762238588074714212844879783744953892251994750376745237702927896461226117093882851960228756473268894938903198380554888177824194651364750658541332699236121719899848391453883233918632298437109744318541816192406094593750030624098983298769097342562630986915702035307498864366960178186978767526311395960012020567878245745628486191320377868644380609253580109086370503952154495452862757449390966220914314940653091786041990829513908762987742079103252736300741996962328308207966586804540776925815425079943877536875416298150999978714022927707762077377423184314380579800226225161165881517190045947315538678797828389202372223050996919353823482013518165408646764450627178522804423640789375764117627033702117161740855312305569466930420880061625201940
107 1595963930359168909938467533126377558403227156516705538596948187376211020580728242111632890842538121738800920835045757252029146694064816000587527120021768414435257442465140430055199684874056561196233762022456501153420070782764898029110664948479268139142307552398408804300001304083420184719162259795767438389482362101959489143610999546592691801233374467117080833506180937181616349036657834734566152440085777795762391641469679481127889848494963420972956050609405279743557539312767029209015339189405909913014862983914660782822383764745981079962732390145130923003760988710836696107259778451272656834306725114626768241592481933891606644411776530638756885926720795956229926604747947130741660820266913090027981115532982272012902581425075035964306432029065401862066294286285242998974705135017638150924448462601122672109001880689946939521297085998663528584145736039492122769741028945686792654828043742631620484057215274143151413634783939204791950978105634886660974580
108 1965552469459954168595288029045184694245571291741374657108613657764231840093751546235118500805180572356707221679263148579182300398036263895555584887895049478544931055218890255426092662298135957468373987930330910321025630514425244819998025405253251617000465708460175119973382706079146380835871698432491874469403519070444961761021003988593987590487595626088653061687041800071323518297519946128892778323703521960371659010626303446329043195939881565111610293941379526210731363594199679532151484392870962312941105909140666182926042929834561140517262068857769906760202947193526125681690676165683024886024973596496691350675744122696423236304722504274488289298973017721385784318095662483437422408041864022677390898324763707618834522523749637567812622639060280429078020518220320716948270426069617741001079464224902857147988209214482781934820501282976032543076453154309590084389347205842103037455157628419023260893733015683399988550086299494020056609762403496809263090312660
109 650597867391244829805040337613956133795284097566395011502951120719960739071031761803824223766514769450070090375836102179709341431750003349428898597893261377398372179277452674546036671220683001922031790004939531316259483700274756035419346409138826285227154149500317964711189675712197452056673532181154810449372564812317282342897952320224609892451394152235344163418410835823608084556479102168663509625145865768883019132517306440734913297856100798051943007294596623175752081349680093925142141334040288525583506055925560506548520209775239737511213744791921839137627175521057147600639613810841081237274266260440404837073671304612516091216863148914855623757960068865778694609289664282017786817061856991506216387345496787221834226955361130034945978093528952822024824791530926157309877511029043472271357302658442845715984097249993800820425585924665066771758305994076474317932873925133736105397657175006696699355825628191205396210078565132520638737831355557443866082893490460
110 1257605677667276256013142972607777206626284160595841557235204516351684108624304395566792224540673049346985484696491185513378156987572756474446060989727674242511053422543316019897488885469580242715287450079548114034329581992631103416465596608865351209344088970984114625786729643151677674825549937706172248598637167782209306768821741834994170922108544896270920267887788145647034427447674104492026564105406958531250875983155953349940587404755842842634405833100455272598728773248931621557299759198699877719952917206104108459158289565495538412609176168682784915053033330282203466312036373496355810031651156681431302550063406631815993604322196466852415920724136813117550216679756921057140381917380569564581516276738845289699805560704713064357550575654791465804973986322029280262079993228819141031900533666038770020768997259984238016985882657592377574069808805486549824856564245297283511891733671319287944719854810939293600030874081866401162394680228010292538993138233117059180
111 491546166671561789354627153706759826738598519791656473621348896577047276522232622702250036811317242578902115667185043386537392545087139667394123125801586144495295625722922462919284152355127278989533184097094937819809610399898393579661664551930047409607910890842073669548527267560511661811198915161565288611525543002826227355077077236061561700418703799436371860174965046476611401329264267159748155840970289825844579980446316173765494040986746882661955043132282742343216750278622957236486253246923909023268984475494939575447720800455028542571932035088785981306820973748765894078655155379271743345806237489384121761111095365901300903188024864541015715643790258421933134681827239697689730426506583119345720838082835422279807984109027074602419744217501845023881579912737335342350616963138948278422175627717719166387144783931160207578384489168554124612783266261012040533367564398565618159344327461223414565790172989284572130712314946422393706705070600239800377117713383500934514058169662947514361195140
112 49646162833827740724817342524382742500598450498957303835756238554281774928745494892927253717943041500469113682385689382040276647053801106406806435705960200594024858198015168754847699387867855177942851593806588719800770650389737751545828119744934788370398999975049440624401254023611677842931090431318094149764079843285448962862784800842217731742289083743073557877671469694137751534255690983134563739937999272410302578025077933550314898139661435148857459356360556976664891778140918680885111577939314811350167432024988897120219800845957882799765135543967384111988918348625355301944170693306446077926429986427796297872220631956031391221990511318642587280022816100615246602864551209466662773077164895053917804646366377650260606395011734534844394165967686347412039571186470869577412313277033776120639738399489635805101623177047180965416833406023966585891109892362216093870124004255127434093777073583564871144807471917741785201943809588661764377212130624219838088889051733594385919875135957698950480709140
113 18399302389002055156275745963212450758350087832054625928403604392704210773381517124429111588283670387729057422129087233867588229292204311576254036638474789522518238120429600223533507777518260888507058986571476020676524126481876006204183106478379149628021575405845530417250906473126038456861347583255967691954017149916875428072096494268337091016364948851139966098588529596923843938921373412705043271752570350064614628478318961893942693264704627526141314287949306916553020860321612573208165186983937929531369197401957951492890892705481219841813731361495177220902786738577430296149244891803864102846381907642735523023711379848372460020426875780268867576336468714651862840176122013121576154065371823122862375838324010983228629522918641720330080936371893292716536235437420612635964092302290435314999027350023552989398296786954489064522913997744158090495674207640561292216137459005493311418206024096132230315028693588763628101700581088824330095873807841585193284551879259482728131400328063463541063529321067406918892777554861260