User:Jason Kimberley/A061422

Comments on A061422

Numbers n such that 2^(n-1) + n is prime.

Here is the Magma primality certificate (found in 517 seconds) proving that 2^(1885-1) + 1885 is prime:

[* [* 1382012053811764656063603814922461897232169149133334820257746561118767804\
6800433930927216338506129252516686224900765213443239739942955016052896540856733\
8207033735616406821933601672899233581491491141218769042857139833302074377016632\
4877584497363683636171472658647851335511884201240262003030383530995329899916429\
5746219238428775723836592836909615686443539250080512735796300117609098880423721\
5918609241304667090968840928341415995864964583337660606746295942886011902465575\
6469887393606641633377838666492170994665643096356310676185469174583336345878025\
903816130428525348701, 2995, 8, 13820120538117646560636038149224618972321691491\
3333482025774656111876780468004339309272163385061292525166862249007652134432397\
3994295501605289654085673382070337356164068219336016728992335814914911412187690\
4285713983330207437701663248775844973636836361714726586478513355118842012402620\
2239184850152565544373273867015027107411052574103923603844330777357291329365133\
5128723573429175411241422715979702984696093950121702443721032838378888277055506\
5486736296965533339711203060518417919805138821726381134374302279061709948552268\
30420969786865133704697229832731228222326771279, [* 
1353148734468442082018140711039479623863442083121060356576577836623745172962424\
4019623365104854755297614257048437134997096210656532052783385690677467886469549\
1386308836192231440264061374949532005021917171425811974219393121520742894557586\
8618453096635266880080756949905966157067021604249820868623994384839133017551950\
0320573879265766586505027220501038813235646515258721393971416736657155813772206\
6755105953036706433702487940426685371315032504899028434628363587532035606302383\
1838521378495898738305790372815139464549910082017146729985464938911328500689905\
993803086532495, 36705823600587196659679781502292707104413194993707025406729499\
8963230840903097194370356421459964170760412090283620451205981683262842225873684\
7102507693301657416248468758628340260622233758157784394490937903999660059018485\
1698895794591837541044629862497372411766438485639017301861039383255160481244293\
5895783170044575043537258335841412839168652573766203542377168255904074534614467\
9139657957321928362237791583600305001964254946461099834288045975966587712062793\
2789108760818934011719280678525344327930996113299999824733321384922334292839488\
4351243167986812647477659188175 *], [* 1354599334080186769890044005172544927471\
7529372920169554385007489754118720041827488951557192950574671483946628612434016\
1692037182757010425051259644724673628085576754822997333387581193449887199438624\
6728797341015375614958964949443867849268287610641621868139799819525524041879307\
2460747060260023857928425648591183773645917844883746258077935380401537810671080\
1103370845506800879497726421361390143616848727178961375238334713396753270273737\
7949517800514967850945481540639205404933940276022182220544284886054043428312283\
847817645252001609684214254188182219437513994313930004, 
1321290845233821437482684130979799903123425829047573979316469873489779586630264\
6002234154626517971501700586159247143740248686685043433398698596333320746310595\
1724832406318170255711262684280349111920230897978168397415847350651978252889108\
3255780066369667280833325591976662769497918588331652245271805010833975512890116\
9155915455134657958402553138998358013851808076559832035251991972118807144305046\
7657800735540113858382981608013354876317593520598984285129915164063261844482081\
0323903460704984716481193674547046923381371300614558829153003850615967777009716\
051164911719098, 1 *], [* [* 25943533955542794369506360332691231410403025138602\
1178948328620446549240600721492977796439619037530552218626335662947502219630935\
6665105322488556571566326394475983037484924602997426304366087694596230876084904\
3953413422578257371246947204514686759595197512158037316525915372333419190201283\
8717571151803161954709718443827871993716114330624373651831757757257986418497302\
1820111562183989565276358137231058186772949355551799739126785017623947917226485\
2142476000625755042618848354454514370450200349880109581945333324028437304802523\
3897087829009518433870815230191143669377, 1 *] *] *], [* 
2594353395554279436950636033269123141040302513860211789483286204465492406007214\
9297779643961903753055221862633566294750221963093566651053224885565715663263944\
7598303748492460299742630436608769459623087608490439534134225782573712469472045\
1468675959519751215803731652591537233341919020128387175711518031619547097184438\
2787199371611433062437365183175775725798641849730218201115621839895652763581372\
3105818677294935555179973912678501762394791722648521424760006257550426188483544\
5451437045020034988010958194533332402843730480252338970878290095184338708152301\
91143669377, 408, -4, 259435339555427943695063603326912314104030251386021178948\
3286204465492406007214929777964396190375305522186263356629475022196309356665105\
3224885565715663263944759830374849246029974263043660876945962308760849043953413\
4225782573712469472045146867595951975121580373165259153723334191902652776958955\
3659256361791285627348627483674053236429251410509427700829144372564303074185953\
3848290658881065761946982505469552213409360553736901623510748708855784516015409\
5290802542221334937822437436989281129863043823762970024138111083988829498590685\
463090522608086914536804031207068, [* 23943025757877012604300693643609448137331\
7398185913340852946128384019107913165098614532628562906970072703424300692235915\
2807002197328728902537946239786073121098482948793019786992448547318943755248406\
8571116019114830255566779940019977290522487043352365789245256297820064699119825\
1964495775720591162289735739198517848593916584620059377354006435287072786406727\
6404551422450911007978875921115934277961861532590449729188169878734918832667975\
5864903516912398168327480273532369611577514789604120862473141141940418553621938\
5157452671221465044729785579832731044840290838335, 
3076630785831209356077316034199666154491511088676941065023420282725344214863210\
1268259362384151576535995292527631831628924930591966282857993576631127639471836\
0009203883419276067196521677609174313379676220762364597763742254127254048624755\
9969381056040810868534992388354099952827357197699541659803169468181443549292062\
2167850645686051761356377483300109431199244146906337011109231372670709477190654\
9893403678759605176948192477069832221226798490460630531940447179353013816853465\
1493621218411049855650180985415456208360612225975388526005303995185206938794321\
9389106787 *], [* 6640236527756603512724063038423115971446753487856640105861059\
9602732529690661917909200089328412027766426793789657600935867913698091868889703\
1960145581299296817060016905330049403556426067352245083327438780572449384569030\
0390333354315315778094442744212571027306877971495500293986102670235784573697557\
8465266921072306514814819226854346904999698842960450831096850255032619300331232\
8932887201546000205064772005469131633419442593624727285582784555277615315486092\
7064961624527717990383068209628555963410915058369841343912369028164850763390920\
3896407847952412793407896318, 2263323811595126221213621724655958934282029691427\
8998335853590868289910344783011875473090198511742212857473322302514845355341933\
1206847339447284001209011584661285454898477207077570963603472500994153293918481\
8732353262546100604701696186409384659473899510879855265126166112260512996848508\
2433859266318704947177746707042413447207625220608224750477755684236207514932617\
1700102401122610968136055663190395988642406800426636813694726878381950777030145\
2326669257584562308618586614221677171470057884241829131003399650342569169802908\
48614991324701423182273292914886813613096, 1 *], [* [* 
6583984863349607747819094592602586389808909029185391811702584012956787143455524\
6416048228509551703012947575458243566009090354008645444759986005394669737244809\
5620504894154046035282282094733452085126097879632624947046558173215187466937481\
3391219062835628910272387708333004855704799072499669042619173830986172179543570\
7732303168542189352639592666422211682681264955412500912429825120949347948842622\
5319903297944711434386197769303205531131581965904883144085094920673589825748204\
3382321319691652193782960180946709423182519257676849829597581223292256799171069\
029317, 1 *] *] *], [* 65839848633496077478190945926025863898089090291853918117\
0258401295678714345552464160482285095517030129475754582435660090903540086454447\
5998600539466973724480956205048941540460352822820947334520851260978796326249470\
4655817321518746693748133912190628356289102723877083330048557047990724996690426\
1917383098617217954357077323031685421893526395926664222116826812649554125009124\
2982512094934794884262253199032979447114343861977693032055311315819659048831440\
8509492067358982574820433823213196916521937829601809467094231825192576768498295\
97581223292256799171069029317, 1892, 12, 
6583984863349607747819094592602586389808909029185391811702584012956787143455524\
6416048228509551703012947575458243566009090354008645444759986005394669737244809\
5620504894154046035282282094733452085126097879632624947046558173215187466937481\
3391219062835628910272387708333004855704804157106043955517909262044791247472525\
7571834478003056267301905300122772427810639323993524052981395091485510698971176\
6611897275029101216277987797269080437317495697291161752316668086156169253814931\
1461073691697069707716589354020615696756954333104312853075422972099528058759953\
198882, [* 38735778478882611517159305506194461029123440305574090823524935401960\
2100563456474904383135633433723137207341107437296849600453826985853186474496809\
3553653962005020444896093311942715851752765311904666444974325760173481440436874\
9828655010759693276991131116066262293829631216638947855897885116090172874891837\
4461673207452525213432187588609881888485243064687178809432850100973187268986559\
6160777529706746620388520276303102739741063655781423859174401127360543750426178\
1779884215358289032955222355123413415262529835113589022532834489687582070443747\
09904069568364235, 503541021844460224868175116900565733675084520724040547031562\
0455917618000217472899910377837727224395064316646107931798308111838900993317479\
1158452240668631790732323646671448954064965350784272983419320529763910897600558\
1442493582849519513888796073523168729162429235021291928709701725699640847254134\
3604906355248440220259996232983346584264610271405838773228656190488905839707160\
2358589361059130762162272492910873615536155040750241233360224248832729582977723\
3144208132155596111280953385717048867646337143702834367083221740414759299581704\
5789055666963140743233871 *], [* 1645359615161060278136267318220818367536640999\
0541058285578911483942362368933319891339932649508040407614688184424092781190293\
1337419296589053063088362548016236757677602294229627747778386564363270349492949\
9655950463789702733335536127249466684287473959385004236231976369573865251092184\
0401206857018436392804687885102234359636664872902702504953448754950680010088747\
9018468824736131848048221639291008339792734489757819435971393464896667090351075\
8977070464552882260710108844637099612780844234597419753387979598523451483492027\
557583498205219079767338682492396449116, 
2146704804466481090650693841790890365149039312675384438221714756904453577772552\
5400110894177931739720634243652034059010514898140916638783605150366067452599916\
5272609887834383447394660610143654157137639607985615090543228440042074879088933\
1989231734196614735305584796210189886802068630117982698436675068339022052007290\
6037082343832302640815674169367313226952166929635052903970217212116557856600419\
7232594277316478692069851362336719558621498755080404019413632604919266380724505\
7667532134053500654847969280944706034233182356569099794656524067096956657956134\
1574, 1 *], [* [* 1764481123264621254172453929517764482448654400274800828563698\
3472575406398283552129508556710497856840045981523890112560725291849880861006588\
9492937422246997935257679394906481758932915821068084923922950602892379521639748\
6662419433636001182770868591637355660146965671955031584848797812377671639469879\
7400559552038035390891310092191417770086805300992327927268756853726087809664306\
9870519136782363661524333299841641533011198959443930009464944979710339752456629\
7063183173215991132406355172776188483603095179830791578698867538485370866987035\
15358833897699521713, 1 *] *] *], [* 176448112326462125417245392951776448244865\
4400274800828563698347257540639828355212950855671049785684004598152389011256072\
5291849880861006588949293742224699793525767939490648175893291582106808492392295\
0602892379521639748666241943363600118277086859163735566014696567195503158484879\
7812377671639469879740055955203803539089131009219141777008680530099232792726875\
6853726087809664306987051913678236366152433329984164153301119895944393000946494\
4979710339752456629706318317321599113240635517277618848360309517983079157869886\
753848537086698703515358833897699521713, 3252, 12, 
1764481123264621254172453929517764482448654400274800828563698347257540639828355\
2129508556710497856840045981523890112560725291849880861006588949293742224699793\
5257679394906481758932915821068084923922950602892379521639748666241943363600118\
2770868591637355660146965671955031584849062922076723685559832956966021073260050\
4367087996331555815177702140084562162600709894485439694391502563266954529715290\
4453016308395669450730584529734813133622763056598300427967420259697479724937300\
2577983713399095859684809607744443807915778608398392450229822268748684531497616\
94, [* 163644082577462680209147238171250975683506519599313505138006705749717478\
7952087806541138581173066606756981754429304746470437352560279589741660509350900\
4984167183334953127643961439662300847748217687083486250056526363343656868623131\
4890079123041085061387291424717000762445646060368738812553138205352701986438969\
7580211474346622480408486843902679261408076740386983331323137934841532829533772\
5155540979010793426681674753904761467619266868727392358147412118806639506586468\
7877300682369980279803936101929649972172108772425040422649694227263648781146126\
677732606, 61547375351905918446635468745670940806048230717278611092984537367522\
9245284125657333017377088361555723352571032008402969899869865369655014526107189\
7457685856754521057619605653066826713462100968144448324830652647159868836947649\
4967840920530325579328531123250854680469202618567032533328222050224884175478403\
0214638142175629468504382619998616559702203318206473487177113307514694192041350\
8079813992267447869466405032397500306061346515436468967210193819537503845230537\
7249304208489847090855456659898983338724607956122268155529784445988624448781977\
918908313593 *], [* 98245861027881520464725943981743031175105998090653708470320\
5595493270054670035054011029218348465246083344325689418567871521503996838017709\
0247658025210499804198318395970341613424496290345789780523192308069285523049455\
1735863427875677105534439447456808162818522070888225835282635880693299855617690\
1276282561572807829553260350192597192193101237338515283988704801340600677269594\
9218716970720683710285037303796327072964420733160195157300787509760389441178488\
4941540983095841857278813716861294794686809659412995452489165933015325664642840\
164170486129720410629, 14197524026483595763538190191874542978980747249243845589\
4557964538807570563960367192252598851633773842006256135349723775673483894556902\
7832014256610088634008839968898953607902371390574234230433168464728971483578125\
3352459698707662044210777457878486731930710812280867741395573818012731631159152\
9260867438576485223482960342211753440329870347699933302165837637856527194841093\
1304144551210224810510820880542311368050000060455409668613769801262849957281637\
0482991753359907978365175030515872302007381840080350367988764687758153645885967\
9289438454957891080691433, 1 *], [* [* 1700566591809947861953983323468591120170\
2837988921065828370081068484797177765176040997339256660739943189660202485336210\
7989621209896890305735047968538546982744761430554592078146818256100103625394680\
5550274568812561842640844104962073834245107729881498454244414796006504092802839\
2122417360740692360383416422841746187341424496561273282745827523585545566347766\
8065887873920942714376671534384043987608141573371427028830861863134635192088801\
8790557963502123126469206161898631371528292326617943271636269839733118028822085\
31909799527084573409482301123, 1 *] *] *], [* 
1700566591809947861953983323468591120170283798892106582837008106848479717776517\
6040997339256660739943189660202485336210798962120989689030573504796853854698274\
4761430554592078146818256100103625394680555027456881256184264084410496207383424\
5107729881498454244414796006504092802839212241736074069236038341642284174618734\
1424496561273282745827523585545566347766806588787392094271437667153438404398760\
8141573371427028830861863134635192088801879055796350212312646920616189863137152\
829232661794327163626983973311802882208531909799527084573409482301123, 91, -2, 
1700566591809947861953983323468591120170283798892106582837008106848479717776517\
6040997339256660739943189660202485336210798962120989689030573504796853854698274\
4761430554592078146818256100103625394680555027456881256184264084410496207383424\
5107729881498454244414796006504092662676885881285480870834803256546168287302406\
4056541449964118692699189887966898984579771725024387770103475327315000420107646\
5962518861540015970142190138238565086928751813113052304649324991496514068052989\
442536169409973736231543156200199910287453681096271072068949033143055, [* 
1206471283257881119744117715372273267183527154408760397163501514214815804019033\
7265371673810256326797500264590124587233982112545082961712119749830743362997196\
0173543654421426755042485534378183945608217668282062752353811098941486751991666\
2325774961945150682843419071554074641373024364327525210307908964499570995393059\
8044750049316969310233050225577214612603369151222308523193162107808636626608323\
9428733784433834208800124269231276261552601626815170606595746680184365299200873\
369158674835643775223384133776466389302829770291973145860073774590006, 
4427661625839564167913258869520032572778712737238339181046936252556296715759862\
2971478487945619402166926507039498247760415597282309809510987243698597905027197\
2967276289905578988429012492353887310038194722198793852434339337676731416342705\
7438506729255254776825815775329372123693400518502522750607840676255369690694967\
1991785642587601503600340288713609973911832729286736886093772851369651260588301\
7467953007197677377952781000240718794372135669140155238655661902436754692587307\
54273339054224174151453132556217643271869986257930811312269060229876 *], [* 
1618458500074127772776665636428724015800778006261697127290755632988623139655155\
8024383071770190678533289196451573037673548008344187373496660948180110267392184\
5792545361072794661097514439214571722574901755651591364319266035240434106555198\
7200398654086423979946565562657876678373081099663778012095226004068046697651946\
9464336847301206654948521723965595780932283968786330803883081549269305940417477\
8554471890752699934461535003931556141468853436470318844305988161522002380768831\
465250031807030169030152794376135798180585987310386202582769688337650, 
1289620005813914196078377851826710748824679348343227883493648560850471848136536\
2780994038036795977110996403948221248271708998996845682206865824189314337509435\
6278354906865251352205569143246755980937484421637176086851627719994934077101989\
1530409933702906389776569339279220658201130903051304971392078669177474014445922\
2944321716348149268516648735507932063518109007251514362337479108100209753595798\
7232437932742032811884718856556639114644633851967452898810527723261223242567333\
138940494066331379717638099204123286694560721256294571167307744776209, 1 *], [* 
[* 4157680071515555469852172228252443031058997976780363352740453442204430840115\
8261818902796158455907347900403368951260173716794545114400584315066492572307338\
2824338383731297895942645753576965666505437238610902818852616617988902863737909\
2856687439579625129813118683455748774796200825522337626214642956931461154030931\
8123156321357966664822194764000503526767506946070563585010161885541186297445783\
1020925191483170505677767701848581483933739009149103639650175057915670816505141\
1195113037774424834236306899243539878573444655640539079865273, 1 *] *] *], [* 
4157680071515555469852172228252443031058997976780363352740453442204430840115826\
1818902796158455907347900403368951260173716794545114400584315066492572307338282\
4338383731297895942645753576965666505437238610902818852616617988902863737909285\
6687439579625129813118683455748774796200825522337626214642956931461154030931812\
3156321357966664822194764000503526767506946070563585010161885541186297445783102\
0925191483170505677767701848581483933739009149103639650175057915670816505141119\
5113037774424834236306899243539878573444655640539079865273, 187, -2, 
4157680071515555469852172228252443031058997976780363352740453442204430840115826\
1818902796158455907347900403368951260173716794545114400584315066492572307338282\
4338383731297895942645753576965666505437238610902818852616617988902863737909285\
6687439579625129813118683455753666299595511605639499217614959560247093176026059\
1077421660912842371718380820871114353296095240300075704511808507409121106117417\
1098270868641705372394768634267084181591115919408310078737787196770171595031042\
0843518115266369519064415599892699384628067488038187017664, [* 
2763962785566240711734319312354704259959777981813208151023316391569127015897131\
6620332632071379084097238820132707691287387395297438019172265237449990201797574\
0566313203980532752009394714920135120688947675911855429881174769503823848310925\
7814934578241101239616438929863604475006882997207769291871642456020861770662586\
4784762679858823135711965184014563237582244893251482577187165641932814397821709\
8303140054998624378969655399628007734023743927036268951768049687512893323600293\
8590383546259148213735876942066733764183656891839297663755, 
2688535263567483989249249973971778030267928283348606421855437580398190995326105\
4028961617538881653330973248431297479313052170717244505223573598336756224261281\
1900690647780310785010221539117406733669748193133986049086293191692676942129747\
4348991020311655946287007700029154884101169714956217111214845752454199256883223\
9770954914200500295125915127927302975332109308978224127890992952623396674711162\
2506147821413530755574655099179917643629107743374232732938716255661290470082904\
5271300505229457651889351715620195148266896330403385600270 *], [* 
2807910774978098189291777066687397281866104561298155183959551029732671114521080\
7692342521895122973619038407720765843290425291553431599550158409710700268673643\
8037526187738958668157796409857881944494559490300036064506588362409449259457015\
0951398243909115891764899351145784650338693942123456336522998871061278377605465\
2931411249623147960808806382281374181548911788439330057744026235864420906440887\
0340241559100369398116257194992343160396692694528525911131839460850932495687127\
7884469918956177441930815144841708563430066095021881625163, 
5952973886777043743849562282830599141437013953720014177981377017882912064679864\
5757020374590728133044753475244180919291578085186821100779206738503905356963570\
6005170752201592960555221710721546435198422407195045321471248326335923882354857\
0547408536221157934101866556749732866628629877277797000598611388330160078092919\
6854290549076829133844784691181094505780164037207253047994053384161847070141453\
4886584039181086880660107084242407309917014786737937088230857824011580721893507\
560471770170762965265532237835545026958688759705583510020, 1 *], [* [* 
6317079642379437315558913662706616096989048344738806488681264669572103875019006\
1185431796046327489480070874889843803035596578386671037012738799630159060232189\
3783122749530186511526909332034207172820381545927488622153540705120477199713324\
6045091179412764956049100204945014534927343047584860898183408432923794424589448\
4474093416419781339862187957309469396434268993152502456655226159754568546830608\
1875955252920106306101526244370687982243421134532169529794897356244672046637725\
506093267148254129248019, 1 *] *] *], [* 
6317079642379437315558913662706616096989048344738806488681264669572103875019006\
1185431796046327489480070874889843803035596578386671037012738799630159060232189\
3783122749530186511526909332034207172820381545927488622153540705120477199713324\
6045091179412764956049100204945014534927343047584860898183408432923794424589448\
4474093416419781339862187957309469396434268993152502456655226159754568546830608\
1875955252920106306101526244370687982243421134532169529794897356244672046637725\
506093267148254129248019, 3435, 16, 6317079642379437315558913662706616096989048\
3447388064886812646695721038750190061185431796046327489480070874889843803035596\
5783866710370127387996301590602321893783122749530186511526909332034207172820381\
5459274886221535407051204771997133246045091179406005945113658816167179165445841\
1721208428392045225750400729712163490583893903840063940381057128044271541522813\
8125680283316589685730112453985472121140355060385372243696172985910954548454706\
820168474164784747072385632375162917011985112358035555954391, [* 
7534998387964553166798902158008113867487990805926785995969460399924791189347052\
2914961056676033999319204691507474115227010795506176655830642341073845595651191\
0779677241537173152567701522362546358648805604968868765229493145404360182554993\
5499778148636402990105984515383321055137090081217718924889408603580140277729486\
4321191934652190128295320232511714830975143175937562296732853286404879277996613\
9834133352365455302746410720722682596010022729943568311606731619998154856284974\
09604075171349360914279, 456658972436403185655417816864874333154862357069692592\
0535868530476034289484070676210147203192476177821694125088876072235387403016051\
2777912098284111268248181602884757434406143107565893599380324933845262846502494\
0275919078881438972654710853442129132668771828186376880359328189982570037832952\
3811386017750265241916577003897208455054683096782149338452917578573007707589693\
5730517265165348252965014721934317347964205244074274885821956821091366894099701\
9380875189424744620637077606816100049312572291407 *], [* 
1973203401842518219984973449775627309895727155056318643527629842865368125923429\
6779141190184687219012856952042530651210145201511412542644171810170279966286545\
2805915251318221480482233784573476089041385294657561906098791706135857442228800\
6393639238837967175410883596734162962745613811822325909316295021841364460129048\
7023725929537294076686972433531025900012005262149393120634320291705788134790806\
3439608471013678117357816433422401354933686822578556340980267515316021685682745\
987430962100496947790871, 47101299832126754083147473859747116745855751362781955\
5327827115076500322577944967271469106603873913148358170175642888966368097506123\
7572199073131427570628089232744645515109610832111556319684068964636752064704835\
0155869270291391611561845266160832184791248778938908568832202100571038907996293\
4969539393256780877864792685786678288213596601954739587592920656526902291289708\
8414861368617906917724465603754696781820642742758842496555490646951265754335353\
23750072130348842635706470864219082230589355672587, 1 *], [* [* 
5717331561570673649704872533900458047777218159778085336846107946033219182748670\
5752042534207916996542737691094075303679605917627541892490486740546799764894731\
9923181056684031597001456540894386073690272011881155418728881079844761697631753\
6469446266092864462950184465713801398720102427478362602230539030717778053413294\
4686300935686545334764283761466441797015851038617095059877788553725446102404934\
4864109928849101496693069948331029548786955217819236279106477574790146054088982\
72421496276408322559, 1 *] *] *], [* 571733156157067364970487253390045804777721\
8159778085336846107946033219182748670575204253420791699654273769109407530367960\
5917627541892490486740546799764894731992318105668403159700145654089438607369027\
2011881155418728881079844761697631753646944626609286446295018446571380139872010\
2427478362602230539030717778053413294468630093568654533476428376146644179701585\
1038617095059877788553725446102404934486410992884910149669306994833102954878695\
521781923627910647757479014605408898272421496276408322559, 267, -2, 
5717331561570673649704872533900458047777218159778085336846107946033219182748670\
5752042534207916996542737691094075303679605917627541892490486740546799764894731\
9923181056684031597001456540894386073690272011881155418728881079844761697631753\
6469446264959181549897002613402345769881431370096665713973535835773739573911753\
8507317196033511940732667842550679051539968188478373205184766708936185784698522\
3875386404924136241378605020250667355666263869895824611148496436706367292173932\
96877635285093136103, [* 173279373664172055612142621227474748420364094770228231\
1748653680021048845453334991085992402667600768591763103005274485618968402136442\
7845879996104981486769575208091473750361243597142247983268334448578813590916254\
8818978923911973529144595832430284865416114629726152613997777905192868721359074\
9982129962381575970004201236326411724405101716158801758050049190831558839639487\
9247123594363804449108465414788612403764200567878169713038601367194573071955033\
981499276673454727601208509658258950287112624, 
3649612564485915681630529530229778830084064355703590846813363479397857651264230\
9190202262485845394296722604111663315194908102952599286288169183855852122890319\
4415188097361944558517827755368456342624897368624611557873947093321158649374890\
0248873332527394910818044555974080500794871810109294438995608881858555704858883\
9031144200751618952917808142899368403769066767774456930276250451295052671286785\
7782224243863521578372033291282314328272348013623684564124515546764112111269587\
10366524691606696667 *], [* 536450431702009556384226627931339764732452478406219\
0318026174549017001353151060436761374789219204048386144190050407583882605489475\
9158044804493721705381699657889615447884616688345613657936427691130803777684482\
2672199011805329646702365046285112685963919895848267807022841987516001834942667\
6204709820261833424185280613657296547536439007161318802301250332198477828578809\
0147878939164202755003185201591836443213127383138201258959573652647216334446333\
287492372172722975825624444093988631879057178319, 
2841285714114622104630365003093464743528173094860252882941863452923590071904567\
6501580442035799359383819547066270715117777257821373314670383861068396187488187\
7881321425685506459273835534038245819719874329160952602847184650286810498568308\
0977722946106487853265875671089152024710689661469058199061917983056786844726582\
6203667203319552049847403217964332960250348356000009925558638154224576465219595\
2832844151754098786131371852558372589008126007380608343491769635856073549977426\
2621154112575638680, 1 *], [* [* 2666463665378155835500978385892289650783254283\
1989525335463162888577360915633815020260739553094452404599042476273935686728893\
3264523559090754689036843810905119111993046633571733650588884102051100821488512\
0742276680060365440942710768802355032560548919677527144828555469934711671999653\
9929631361441982736745208815870905651596812875006607641568573470992086565011237\
7269389348248986187461864672948752170375390172730584012190958244544852710103760\
59626787371580098991681223193129570215285223, 1 *] *] *], [* 
2666463665378155835500978385892289650783254283198952533546316288857736091563381\
5020260739553094452404599042476273935686728893326452355909075468903684381090511\
9111993046633571733650588884102051100821488512074227668006036544094271076880235\
5032560548919677527144828555469934711671999653992963136144198273674520881587090\
5651596812875006607641568573470992086565011237726938934824898618746186467294875\
2170375390172730584012190958244544852710103760596267873715800989916812231931295\
70215285223, 5848, 16, 26664636653781558355009783858922896507832542831989525335\
4631628885773609156338150202607395530944524045990424762739356867288933264523559\
0907546890368438109051191119930466335717336505888841020511008214885120742276680\
0603654409427107688023550325860220841455300619204735865118192359209254782595194\
8769350636452435265626930346997104391513204015018235689185827977793646719134176\
2303639704884581028912287055788438195685237473202691805133037510588664426874563\
2998893073422368027827190220425926, [* 2107881881045000503194292953743514901123\
5159747734773726740316402856650184774079807065635188262946370370661540940849846\
4095699179677830985283535658582748348778291714121747912835536137952485052135783\
8485995244838064314471115135644711007352530744855097271106626528018527492520055\
7753483388425092247588022818578558696602312557004241225818528994525130704092894\
4187839210827802591151654823900901948574272449449082750258430586511409799726918\
48500858436680224594351280573793332715046986144953, 
2220302626743789305844456330241742857790290120145815379542987128842811908061676\
3524113986658326269727514476535812651413169067531367001530673413420001246071777\
7215442832415371546124078734257156354533489834536991731668346707787612261643282\
1405721687204733758287374412588470962795329473975141920219590513550210978786717\
0288281300937234993060790333406752209998310453962431800290930287515871346053461\
1262577511283683393697944507129701347101552639487668200913409450962911550570110\
23507343590 *], [* 346915682114166587168851175876102578111063989776286334203441\
9913374142868772916330724380836726225723911368705688149196741212428798411602513\
7011898795115564012807325051769123298465507824942104856904833749378883170114589\
4459255619268077239552641354071742215440220525060997846384715205356387382834815\
3809233050640604291338816714193781510251697423620200140342269882856860100595898\
2038583787575488657804224698694438451938318135801023883714689543686786449306477\
34215548974448514492045713170, 199806041112896928831559538084661479422300846065\
8273554156015836068159376147963419506834809335788515372402163780197414082732591\
6124878833563326057837658241020424940200533817431162027840432465454686273797880\
0557954865186308407838450451180608799317687957042833764166377057384447758400385\
3968143455063380661572064890387453093053357684527816698746570102885238308896532\
2135412176185252641839654616627205561349807364225414611668493368801752648030995\
30981613579286027115362911010965818968873, 1 *], [* [* 
2107541928088630367697145505657053725396019736638245772689322348464882770798625\
3633100188941805753891136139141451217267573785305387400111255602356447187154918\
4692928932502123500332414355638147466387210535197395754809822545691903721492363\
1118664580832468003404282702255755549328589371834283492773844738397947392141675\
2531061668662491168944520893243764370017841665001577071800136670114690357217894\
0698468427883870478926710293896281377269333640623410929887554325292823029, 1 *] 
*] *], [* 210754192808863036769714550565705372539601973663824577268932234846488\
2770798625363310018894180575389113613914145121726757378530538740011125560235644\
7187154918469292893250212350033241435563814746638721053519739575480982254569190\
3721492363111866458083246800340428270225575554932858937183428349277384473839794\
7392141675253106166866249116894452089324376437001784166500157707180013667011469\
0357217894069846842788387047892671029389628137726933364062341092988755432529282\
3029, 3, -1, 210754192808863036769714550565705372539601973663824577268932234846\
4882770798625363310018894180575389113613914145121726757378530538740011125560235\
6447187154918469292893250212350033241435563814746638721053519739575480982254569\
1903721492243768906067866480935111821334615156073167243142563831859511490174747\
9314589701926455001121940410632428381367499333090976908921187159537644455148949\
6082341303654573504404476004043315578677722501959955327359649869355467981970961\
7017913, [* 0, 5845135816183310785410051988345734941528023488332634760193042450\
8205733096368125310551305268289395557447885900118610390536670182910367496060459\
6604589956249691921795086236358145453180439465174613808279218711527288730367216\
5673892275764758180671298402547978191565307037447031341009585946645624489960016\
6505572203929274597866346681127851369569664855752744971357742777811410070691546\
0212115375965030843408530459172031398298080727967882270417518916491250873836680\
09142428 *], [* 363070396135183757837969034849879829395242303543504786140088404\
2843882297539686383671019687161454038137587656144037375806645280016402394107793\
8952685709311088639582837472966564293514201672252246494389147720833667009324652\
0778700018161582834817915552704803986818323347710092471830599890352060746554844\
0824532909904361883900316252902577487218804791831917128544551349746259232143286\
2848816518158392094054769309843766711972378151200088137890898565952612859212905\
388373694, 67551096828362908283778252984798695517549912621817168951676398747074\
7696838037037572990343960397099015841777162075086107667878604434625608985896586\
2390060505945472078233789078814691876151445309059839799838400219215868464991421\
1772085745640633635069568925248376505540803185497921211452169754562017152203238\
6190485149460062324796980046595441504332758650207146082725105093711314747773947\
3353321949281115499961485013039336349509813835662374532714650012520799848076539\
8178, 1 *], [* [* 3446691468093987703488220170946270955254243546528559164113472\
5016558349475185558258375100161283069050464352082168538635756768080868675013402\
7060155910160353994931750320890606278159944467354665583988041147776737386156753\
7630403038228295050422458707449899928172073538937852564149050607383542492451935\
5066996185125714420614458467115694591066621449470956974937283789108387041017380\
8842523932908724785351225738831029498272114767209487503648900161861250734884714\
601, 1 *] *] *], [* 34466914680939877034882201709462709552542435465285591641134\
7250165583494751855582583751001612830690504643520821685386357567680808686750134\
0270601559101603539949317503208906062781599444673546655839880411477767373861567\
5376304030382282950504224587074498999281720735389378525641490506073835424924519\
3550669961851257144206144584671156945910666214494709569749372837891083870410173\
8088425239329087247853512257388310294982721147672094875036489001618612507348847\
14601, 420, -8, 344669146809398770348822017094627095525424354652855916411347250\
1655834947518555825837510016128306905046435208216853863575676808086867501340270\
6015591016035399493175032089060627815994446735466558398804114777673738615675376\
3040303789882050968638469912153349514117751751043434590864425601684300188382157\
5572756750655717783004541313374362959957081230618876771993818243598587130923372\
4932684639877376689394313122741158487432619079852026344860100928796768764898667\
4, [* 1478925485713048537399338036817475425304217637845378765907792262607271352\
3123293071662279388601908318565049958362593728168652439198497932268746052764230\
9075593910844131682538044917663078594679912493880406391360516347183614800391935\
4073968846990341178220606576746510115025254908544851641668801706729033160530483\
0525782190643956415241890846063013125558913689040593153961200820026644986663073\
255757966648156046418533531981446835822066440011135510532227815884880, 
1809875730280148199042119706576232587532464666808600080004692568633248960910613\
9240362919735688609354365349143480194745041821733503384161282787389060705293339\
1683788986734927143619164182815153572414673094160907720607725193899594039304187\
5270538644986700237754084520326510729806598061566756642359120623018243635652435\
4481295976363028545081284627307146614935820907059639057291953744641706236140076\
7071224708781445376766170530170932161967874222650968220500894345 *], [* 
3323835373835177717574783161938340701195801120725023886232761006017797367221586\
1063054743518126029211060116219384239196179130623605509093545366683656381962495\
3897551793570832392670252878472325790846072734082864097077906242242412853822709\
1794431974467310108877632757655405716201714739548177689435741268136810757961880\
8496760816941179598779505357316492128752259609338508417721585232685526299525578\
4363732772231603478971574081565425650001119028315678715361028484, 
1156496269657329369564368055440745225158954553453997134047534449305894818952723\
1827377929644195824336387206927774004854061825122353038382089719163062338321584\
4646469771708641681968937264267714643897903166917190693312697534963733459539369\
0497012797869882262098517145139723419308791449104958818745627490182469452383544\
2421198019295438552751987024242906067602177991941641313143998911282318296687618\
5225476454709127503447695180565226090711684792639423222521984532, 1 *], [* [* 
1540489616561181596267194140943180010393422520125395174807129928334600405613013\
2411895548476483002167902186503159264608812357236465842054796954507728173788951\
2349937570792261677911837162489794218283740568417242060497342345150757034898565\
7319381737338666977358173557482092762093789334055977027748199506379170801222721\
8123735323649657472780714584922762477750933307605249786050430734304408974647973\
848839864629811906001355421060092976823482658857958688104451, 1 *] *] *], [* 
1540489616561181596267194140943180010393422520125395174807129928334600405613013\
2411895548476483002167902186503159264608812357236465842054796954507728173788951\
2349937570792261677911837162489794218283740568417242060497342345150757034898565\
7319381737338666977358173557482092762093789334055977027748199506379170801222721\
8123735323649657472780714584922762477750933307605249786050430734304408974647973\
848839864629811906001355421060092976823482658857958688104451, 163, -1, 
1540489616561181596267194140943180010393422520125395174807129928334600405613013\
2411895548476483002167902186503159264608812357236465842054796954507728173788951\
2349937570792261677911837162489794218283740568417242060497342345150759486247053\
4090869070901272470896488657521941983898871146128870284971348013009296735066509\
9315866602534518332468316401956773246706951800151093306342826640082822164885872\
824145698994930982288246195261832892041169767130505836951923, [* 
6310327815871192058069354767742248444198314433903702399702741665951934136195788\
2320834647813224349635573701066218983687574784519207811450558246034027312988644\
7069970344313265611358723983776170477445075972349731020665312503180823844027547\
2160716439367079457188119301382791533547111810714196440553485101322217000892064\
4869241245496621195732008058006575483693099491413699198106955112610581282372160\
08029043984392219576941553372036326733748431985360839422376, 
1282244112430114508853232677154864845749479621331056700279133046535789574945107\
9653616813662013192878420736435533416182607100599988322930068187836667380846826\
2787486849185721316267593692348352845371684062449099487692803560829970894960574\
3667759395091721693957140952373394802990811778825831756837257641856356505603311\
4296187106833270818787878760535554775541074226517382079772581754869472475838581\
171141411048865912724821678045840963424578212651339672737538 *], [* 
1169641834326024193179139251448312444106198686857353523451171480198830452490704\
4444786420039532660079973755554258566905383474884181600897711001739097270809295\
2306518042552173441894546395107249912111811727492060949157771520358672186837117\
9185268168035670552505769983197491713427341195628014238577596347957298067529009\
9043022279947256226516774461340361089535823197003625363170307315995922775708202\
787643028902543699651990163966380521241732495514657407019313, 
2011091402492677742807270350351248222774207341561923593140325855768898140653757\
1318247805121084449686156857055472452155561211478192084467513765620381049021870\
3008290986112592370032799038048507765718369755540597860530467219815951719546431\
6778550540444810244369704977271215110148426965351810984877058592669017792393166\
3048661501138677561309118524834802812817973163654931619162803932341110832417455\
22824588708216780257839211067578967207340195095690847693, 1 *], [* [* 
2819272380444900095453637143826648645639180335868826131266298182265495818486706\
2151778255414957419948325228372044094428806363155230571650532599020135054743210\
6595270674469045677483382400209427721885809582108438420943065952661086195367748\
5310803899573697650986712924985879722127989690834860322863946200873178253822807\
0910836277288184529105713456331863531851865042509155250887334015629584395429678\
53516482467765000540477867649749190502139452735464057, 1 *] *] *], [* 
2819272380444900095453637143826648645639180335868826131266298182265495818486706\
2151778255414957419948325228372044094428806363155230571650532599020135054743210\
6595270674469045677483382400209427721885809582108438420943065952661086195367748\
5310803899573697650986712924985879722127989690834860322863946200873178253822807\
0910836277288184529105713456331863531851865042509155250887334015629584395429678\
53516482467765000540477867649749190502139452735464057, 744, 12, 
2819272380444900095453637143826648645639180335868826131266298182265495818486706\
2151778255414957419948325228372044094428806363155230571650532599020135054743210\
6595270674469045677483382400209427721885809582108438420943065952661313325049815\
5295212815661422130250707269230223091487782084313085312482095540315577965566602\
0459396076513069418406452463503828612347798910533247484865139070169485243855123\
77776179518463336280878577110033969340429549212953256, [* 
1205129820596078269504065239177782228812880296941345311629125596399518171374665\
1393385941084208097090980403731406274011383647911660764147820804555701847831995\
8896707598939009421177608897298402638956786151942329977397844517724926049322834\
4908127505696286885052567908643225625334862634372330517976568968918874468352978\
9974368155462073072598305916760345275872893508088439600780039884630854961471702\
32318254850880442463886098914934841133996750925794097, 
1370444459548526971286527493005932675138105719186943579445377404490113649043820\
9893781196055598585901617800664804129891903297263941916515023339900604134082427\
4474786344842256838623316586272255004912622288872034025249635890454267299967008\
2153933957175075609238476262637612091619274129616430497002261374116571662986903\
4380640481868965089494478880953925365085969719300759815256577356485154883816190\
67002488747409033717216798345852251842344869833054388 *], [* 
1236752795247762660512977015776165809784396530017582155207692625399082706314685\
4206149578894604540233308792992610588497471954203459728607242700384333622107075\
0016673980388946330449689358914461532111660663947769243646646825207696166607144\
6979994691264082272617703332654363763513472830941798815004386225938722330808608\
1906373368993451769722195336149104483040733366968767993676548413339884407716885\
24334373346194311947890309222289065253399309909460021, 
1585905595259386495102306062368863087032156942428164069995799981479270611458144\
7052879875158583672420006304886312778053785499335122648995196611800941134833571\
0659175582052448792941798877417305812589088882521611261245033008172723364034340\
4912527922817109073736338801438163761793291264865257974408524189286522783143583\
7748467756115281094104114605948290716752399590093546490169553854931489163012704\
76514536172913863172147753034415202504207519750126409, 1 *], [* [* 
6212164063123635495149200803371036311932487673094903290128769932896371412137034\
9329579135400893363353450430909438383024389440410214789335951427862336793292398\
2522635023553804433006030263359352393864467911374839700101257861872872941612038\
8294383476308936988897159570669711673015393406199271447858241183712054297852667\
5349332880491602905201647026249219780747877823349133088816018788514307714606169\
173125154759457932990701584352772436248720211, 1 *] *] *], [* 
6212164063123635495149200803371036311932487673094903290128769932896371412137034\
9329579135400893363353450430909438383024389440410214789335951427862336793292398\
2522635023553804433006030263359352393864467911374839700101257861872872941612038\
8294383476308936988897159570669711673015393406199271447858241183712054297852667\
5349332880491602905201647026249219780747877823349133088816018788514307714606169\
173125154759457932990701584352772436248720211, 40, -2, 
6212164063123635495149200803371036311932487673094903290128769932896371412137034\
9329579135400893363353450430909438383024389440410214789335951427862336793292398\
2522635023553804433006030263359352393864467911374839700101257704450838879199821\
6217028183252932239411901399688319274356656407654445513907585988535330224930358\
4717375514139887186108808845015448106825113876982372200270708505820585574300323\
292450493215076582752776420389720531823778590, [* 
3189657246324683331053999009880811214596605479303632904559728821856623580791622\
1996201694727914159320683323650694062587431175287274508843252337212898819167209\
7069632022735749208798426555781651320127402026349241881868954127109729823618604\
5177037151871787280948929815432004453053114414341362706640898228973434905329541\
5852329442719545876369785775578331499447754935725772527541199977222058951880045\
98450932075577725945336648791772259567830837, 
5866690402822277883331496868491238471712599298943585433605133840976757366491605\
9005784492415037494132850046215294178707966983045554908160743087988128443399505\
8653931449777495902430877721027674565663946717546139100315931412827294583236990\
6844363718490281205671739943322517853931491783022326326562403582973146311830015\
1687999787886398903529897957770426922875606018925529845708010866238745359199452\
426908517698866117498791577060929704195564594 *], [* 
9409034279184986227429935482503850022127494467683955488223284034263894324466324\
0491020488316558647195910449326629574658752206206158540453377221748685416184315\
7081533064279810976813831147606027894694669321747098357152759185382968184820666\
0995735294818142978361251116261220936924742175144627443313319893434465145187166\
7387246599616799784033096784085592049615680233908407578362338519878139879359884\
81375752654887412898488093578293591812319799, 
4463047311609870303854978880496543275371656157511168082651411718073325509410661\
0678763686562382150832779832682485561954758578748058354617465986278633904457068\
7925505315651283682989623553228075042505893793034475924455979961483893022951124\
9465695181487620176442354227967511369375606504992669984899792322837891677341019\
3937213424372064525902403200812312425362174690072063668856048035493471417079659\
520566824398699802649344677327840770673029305, 1 *], [* [* 
6212164063123635495149200803371036311932487673094903290128769932896371412137034\
9329579135400893363353450430909438383024389440410214789335951427862336793292398\
2522635023553804433006030263359352393864467911374839700101257704450838879199821\
6217028183252932239411901399688319274356656407654445513907585988535330224930358\
4717375514139887186108808845015448106825113876982372200270708505820585574300323\
29245049321507658275277642038972053182377859, 1 *] *] *], [* 
6212164063123635495149200803371036311932487673094903290128769932896371412137034\
9329579135400893363353450430909438383024389440410214789335951427862336793292398\
2522635023553804433006030263359352393864467911374839700101257704450838879199821\
6217028183252932239411901399688319274356656407654445513907585988535330224930358\
4717375514139887186108808845015448106825113876982372200270708505820585574300323\
29245049321507658275277642038972053182377859, 115, -2, 
6212164063123635495149200803371036311932487673094903290128769932896371412137034\
9329579135400893363353450430909438383024389440410214789335951427862336793292398\
2522635023553804433006030263359352393864467911374839700101257343461163341535693\
4559974392794778331210048316539130634904791109455498591728248261192236436233678\
0353646205897746047009999362714642743199499925018483189630789402534592036872514\
92873159289889891525079090348241511892823709, [* 
9113523144404546920984287745926412029485513183201481077026799299620272660694366\
1018430418714076248241370371858328438266300339674488598971307760934493101037408\
8977348015565465401838184285385910656689695107411959080684275359611333333574686\
3057423344758444792135776941487431152104327522620569464018936064638035221459348\
0902138063260416046581337905969669185332801079679411201444805975090010833049292\
2144718999957631116666517529775367699832020, 
1708795217081325488448983504403146828693103186578456934056668797652015054706308\
9248437663570927524328795732068234736716037688270417890737897130694284581502471\
9693792961709665634504221051357830647067285061275416328020938330823906221935335\
4972795986589876180534992793493328966851783263921371010348056134532002702048758\
8825534571709553516919776305746027233909239591163974061366008750769811844572556\
34439718090354385713448475359532492482270238 *], [* 
1548637996631672883247042992664194232826486944668629984565248120642538856321095\
7851734730328566301321084659252355143446884681367288442859680207771968220211459\
5341199789438370149216442581467656010234927313971938111962089728180071571813875\
2271381978442778159230065020734289197240655190418969770037205313270591110446149\
9655444250665462584201872983846389311762821384052737475776939872444514398749085\
64837651782364343602860273141514003157959966, 
3108287062874947751513175615400404839683206243026402919718803104509888500869432\
6347645268464388217032686465402725246372206415351384365117939770820721421028903\
8670248386698773660697116033932123909017889332377895962318478985575304669949104\
7916796356571032093039870873954656619072592590866527794692556525865763373832937\
0172685012428955679522438603197611224974128334424081827723422186115543390169609\
31528639150616938206495239376628971171291010, 1 *], [* [* 
4374026557247416180125582134192408405712766288908664425484556018097428560619987\
1631202831116627185741078053996070089727319293583353702628085307500029148509476\
7374791084555565899619370067526595989992641937131670637500079680303916664442495\
8546158988169304330785156991194393698898386351547918343532067663708820856264116\
7196043316678345337294159173626422559887374942251544390303929076429250025973854\
9802026773132977226987, 1 *] *] *], [* 4374026557247416180125582134192408405712\
7662889086644254845560180974285606199871631202831116627185741078053996070089727\
3192935833537026280853075000291485094767374791084555565899619370067526595989992\
6419371316706375000796803039166644424958546158988169304330785156991194393698898\
3863515479183435320676637088208562641167196043316678345337294159173626422559887\
3749422515443903039290764292500259738549802026773132977226987, 6643, 12, 
4374026557247416180125582134192408405712766288908664425484556018097428560619987\
1631202831116627185741078053996070089727319293583353702628085307500029148509476\
7374791084555565899619370067526595989992641937131693118522460030013954852416476\
0866230601305451871816224674546134290252137840166216517644578983743995519244668\
7857618776303824741653580691090689648516611639036863674413595923064474510777421\
1629987190319512336493, [* 9117797915878495687733132354173927917550803424235807\
8569638932602232862966068944286300609679666586764997853740769858358301891055942\
0918655810270174012680831957819259438547339090480540442858526783758557077876505\
8859077050222620234979127173631182317890463878315749816666494444619971570700325\
7217571811439950082155036099097723662090815610084840671331570364538516697780078\
844543648302406447498954669121745500125658470339, 
1575522118236021831751863267708797124423050844128372482862748346127854129471634\
3637461292858181487166501873939075896027446930666867050424300684091962141673208\
9361075262814123566437917105144620924031644542028979791336964903824131844212464\
1198216907120918237926547766071290465052489529602613197411695807043004452309326\
8770082330358761528632324706305688562390522386511276815207048633487226127093940\
9164558709692425752723 *], [* 3707757473260450281251909106306605809449128520523\
7907435533837005077765458316650578025074101521582705489087359348709078141843184\
0504260280968651152966323315945844221855456759615978769346837490535328996154702\
7266650354843446271903335291832558568268704725741856858075979540381820370848786\
1145687397940908645593317826541451071628839499455863544218425858859740112615443\
5388658346985725273545202719567797534451867670412256, 
1831657259983273870094164934388529560324156987573365680274623768611617905467796\
7732196721882877971260312044333187812860826219869366290623615211053525314447082\
2258484739774007201744353264232039430798501163891625236830952074021646574918725\
7855503188472996734845282096850339978128844161462824891621419128338317557539181\
0076263887510441563057862578011997510224247359608600394405751795833673374255682\
2584808567303081464698, 1 *], [* [* 2929283719683256657153110827408737883746869\
0728210525586403916646370634311752318545304460125001182149166391040534941357389\
7735885865294162747556900160212387835704329463300647165569694794922334399078583\
9676122470600848216170276715413313875890929612913660348666681694059691905658409\
9321385714455254546923884926979008650574313026585246771870412370959389406062586\
7467973741500258551467981005739867227951, 1 *] *] *], [* 
2929283719683256657153110827408737883746869072821052558640391664637063431175231\
8545304460125001182149166391040534941357389773588586529416274755690016021238783\
5704329463300647165569694794922334399078583967612247060084821617027671541331387\
5890929612913660348666681694059691905658409932138571445525454692388492697900865\
0574313026585246771870412370959389406062586746797374150025855146798100573986722\
7951, -1, 3, [* [* 5, 2 *], [* 2, 1 *] *], [* 13 *] *], [* 
5858567439366513314306221654817475767493738145642105117280783329274126862350463\
7090608920250002364298332782081069882714779547177173058832549511380032042477567\
1408658926601294331139389589844668798157167935224494120169643234055343082662775\
1781859225827320697333363388119383811316819864277142891050909384776985395801730\
1148626053170493543740824741918778812125173493594748300051710293596201147973445\
59, 379, 3, 5858567439366513314306221654817475767493738145642105117280783329274\
1268623504637090608920250002364298332782081069882714779547177173058832549511380\
0320424775671408658926601294331139389589844668798156684673187948463290972251712\
6623630164770647618180421694981285907881029305524317938285805121624887746753196\
2916405102083531290201358764466562350877535736605930780256010658110677242700625\
00100834333020, [* 582054499416614346496933445592735105750808557984651964251444\
6827279874755492568706790285442470806950814658350125906943759353351124199511851\
6726831059145191788448555619083600133987845544165851629824471346521574017171152\
8294707756661950950653937958062591935825603774759970021571216611288631533824597\
3172575617656557672853188148730091351775414411829081354613635062289633131433164\
649282329771564025931, 40361766329759442963591624535417818572657396322985932491\
7000983412641518732455189831927246362225863215112060273729522024608092785233672\
7822040409706903798508937658972657811929812103517536574922366791842572342215879\
4935842682407567803794449101627445922978572500406861185212528133573297288639827\
8959780122025030020256729345936987822278092185176486150103251159126055084480258\
783220303333040808434008 *], [* 86108121247796599855075954735637583212377530215\
4173518665723318488650075408788327040287294400656484635831316501193956902976494\
6717688836354073855868844451928919130994960215541329849213691553132825770166328\
9270285893957396171524778201447795290612427160588762517856613114106923063239360\
7660748920466511537831463520822683418622859432733412219900665560748634494131409\
05023392988759422622538565166906, 245223009584499914477094467785269980071239584\
8453083181231194547571018654117032424803548983835909622774296263418703765876451\
8060388854245436949606738190129305166829811962547067404621920503373339885232019\
6791530816299069443806704168459633107396798108144164954196446208175455284883089\
9252840227828510323128212623457716517900095113180651904115068935117790505364013\
615551221953569264917317686942434662, 1 *], [* [* 
2929283719683256657153110827408737883746869072821052558640391664637063431175231\
8545304460125001182149166391040534941357389773588586529416274755690016021238783\
5704329463300647165569694794922334399078342336593974231645486125856331181508238\
5323809090210847490642953940514652762158969142902560812443873376598145820255104\
1765645100679382233281175438767868302965390128005329055338621350312500504171665\
1, 1 *] *] *], [* 2929283719683256657153110827408737883746869072821052558640391\
6646370634311752318545304460125001182149166391040534941357389773588586529416274\
7556900160212387835704329463300647165569694794922334399078342336593974231645486\
1258563311815082385323809090210847490642953940514652762158969142902560812443873\
3765981458202551041765645100679382233281175438767868302965390128005329055338621\
3503125005041716651, 232, -2, 2929283719683256657153110827408737883746869072821\
0525586403916646370634311752318545304460125001182149166391040534941357389773588\
5865294162747556900160212387835704329463300647165569694794922334399077339105214\
0224912952461768448156176038979043633312219021091668034367750427317793814505333\
8449616415503695322642449516215787969497680615436367816878272910952390839985745\
8759758780268648822853329176250, [* 1635419793061176316278993146015902076889141\
6758253804427625483146229430189957434304395286364978652015563000139005285132642\
6202877067168415031737931372768778588479478494582194268724322313837708371485670\
5393724986858549445604520238021729093773225087390325061545899004978336114471052\
1949311827126391924038520555579828029702141871448583814790326100161251407614487\
2568385900122752437921771997855682910, 2710608175037285837615804445757476847530\
9775656458001454363050506045598752531289743401978900742025925455611888649946046\
6793890956008397135093070512205906944776424543000223342195863676998867448419851\
8906320648296145313963531181955505765892147853389970076921481016306309624444886\
1305959769351005821664781498820287855322120317742805341342371057045910382644742\
7692518561365149810261251443531245944259 *], [* 
4475729319325827960283185127576225863845623169105234640627396465193307906562063\
6055803045720291405934279704826736704834782416678806260693071080335229323035978\
0923381085902416115775271212904119721217533886678116704055630526544866178532883\
7015637934256529779980905152077396674887339177237226162252330573546154081179515\
8954854577856367003802949060863319095106831444621570946904469256656795748512450\
, 24376329622878487667973151248383256264170294261109236343404265188413260506543\
6559856943382127285634974511693065303603241286479687774391030514768421043395067\
3012151199828557026887200598533295790026855023213552404489600493283267081380870\
4905868082314316733717503913590560900944535087845228681385377011937564810305890\
6728848900234242075703336206008417785551691226424904294779628667720749564211593\
387, 1 *], [* [* 26038077508295614730249874021411003411083280647298244965692370\
3523294527215576164847150756666677174659256809249199478732353543009658039255775\
6061334757443447428482928562672419249508398177087416880687458713013533255957743\
7941761388231457591498962775280187481493638824448242824833906714078621881258225\
5069534599551255251448617757161026101047261140203652910140799873296675341138016\
57673142518149, 1 *] *] *], [* 260380775082956147302498740214110034110832806472\
9824496569237035232945272155761648471507566666771746592568092491994787323535430\
0965803925577560613347574434474284829285626724192495083981770874168806874587130\
1353325595774379417613882314575914989627752801874814936388244482428248339067140\
7862188125822550695345995512552514486177571610261010472611402036529101407998732\
9667534113801657673142518149, 43, -1, 26038077508295614730249874021411003411083\
2806472982449656923703523294527215576164847150756666677174659256809249199478732\
3535430096580392557756061334757443447428482928562672419249508398177087416881505\
2958499706849733213926695306646946416360535494079669439609753179496816741002382\
7177553873484965432711259306860056666734801736493562617956284454835322868134944\
24543916996873586240099662875845677, [* 702023797961626348920259245312684447759\
9137982062147329330394653742753236300945547974590047863534778252273768576734673\
4360404266078775940699955821173656201102409723101891346420781934523174694761695\
4886701335578961055273257511350217925816776800116432608588933232415253901972824\
7882536782758830839700470539302077947477652541187186180521057798662480623669638\
200005649256550709403242019922693639, 24383996112893209688676806221840449051333\
0191099882482659040670992498138571285244360232282742785701815844167056712982448\
6296912306254675933385984041206034770038721076629435930240492271885065883122291\
3776586069808160832786496996819536188584476095974471360798343085856751513831628\
8630519072110513016515077474197282652394153829184248010730830010032591968561006\
13023715582884917211336655008646713 *], [* 
9768800141637084847647935391890514715780894242576414907918589562274720708321030\
5406296750431867819159093486872099849158144642383548042365138380470334693927538\
0422396650196103917344294528519868289159060126439544963681223058422385144577117\
9763025373463689497474085510021825885052287136999478212678906006893961756651547\
687207164384934068033242456507846553766446445544489486494427550946788048974, 
2143585774036335150660224322805695747931956536004454204066294820396261036308302\
6265938712328968046444874794513342727301484120678388660694229698829833453690587\
5982616602959273171599402844795871376565751748231004891902234632828941968683647\
1244176621615320560580465495330669300076992061148136877537962233880968858918560\
0620272324347480886884386764836896069650706838784574697312169767689946946584, 1 
*], [* [* 273138062404775251231948507664449076211175441935586852789782774155702\
3673481018169005495312042652748009836453107364046260674390762873423720343158297\
0448422678697960545500903041641863346216123530532996322801200248125914627434919\
7725321425139239116970625998000578264189171106458642596422553149797787662044873\
3738451653376181553759854362432788142750300595761195084942863996558714874659, 1 
*] *] *], [* 273138062404775251231948507664449076211175441935586852789782774155\
7023673481018169005495312042652748009836453107364046260674390762873423720343158\
2970448422678697960545500903041641863346216123530532996322801200248125914627434\
9197725321425139239116970625998000578264189171106458642596422553149797787662044\
8733738451653376181553759854362432788142750300595761195084942863996558714874659\
, 1864, 8, 27313806240477525123194850766444907621117544193558685278978277415570\
2367348101816900549531204265274800983645310736404626067439076287342372034315829\
7044842267869796054550090304164186334621612423275165659564348790952544175544287\
3485092705822551988865767367668173959565620243756947401679975056374309653567754\
15291888323264550523147809613912186511860847668513011116110662016396592456166, 
[* 1514346457317353586745500116205589998692066742064803200755939666397155072549\
7725107763282483111117929047096375078999266767763161333719519792484862109024641\
5997664915054139175537927905130083220334170933314689373131925629602357069491122\
1772794912325740022853775985098717810306487613421272315134930018513630034446696\
619818426736520153244951731920743813047735248175036294589997418329691, 
6920903308253486236989476460923104068143358013306930410103697083754262391868411\
7956099174830046211434361392771380655580811034775396584239259127214257625988886\
8002371007331654094197949346816179572821351811585608539465896890580972074294168\
6575175999818179234288508360556291469857961097296900719415720697819864454826001\
66415100887528428740163510013595153896108387836454585390025177543 *], [* 
1694500346723828509123791905237409302687275213717775825194387502782713740808814\
0783005156539434638687072553252236980667077137134426897438729490362032401819565\
8740172979660927653925929632020158418729513357517466973465056095352120156043344\
3896567140275874421265913174246768571057409406045381620049311457871909379240962\
897998787859281822371629465726212382544158170372777133825971438811, 
2013178707985220715389310938351397266406837319585727204111646412100561059501675\
6925834288341077722604317318986330760060469371889339415392315227051500936957691\
5318455111901850973870941521085379774634015335175234083520187887766965822695976\
1098395074609929887414083199566575296185525424599437518664640952358839284488838\
963096323450666070862818105963108820075252150007345098814189513065, 1 *], [* [* 
2870905704646552451514100639213126352001529665950587425593406748559789819875425\
0352912746031544231085743072784049625311444515314141954305125366411555636350589\
6802792106437447140735900958731244135663820674135660701134312137948233541481895\
9937791100630102434968131243689734605782073304956549831574103375374977153888393\
660301448103555691416550495063065026983071911647, 1 *] *] *], [* 
2870905704646552451514100639213126352001529665950587425593406748559789819875425\
0352912746031544231085743072784049625311444515314141954305125366411555636350589\
6802792106437447140735900958731244135663820674135660701134312137948233541481895\
9937791100630102434968131243689734605782073304956549831574103375374977153888393\
660301448103555691416550495063065026983071911647, 7651, 20, 
2870905704646552451514100639213126352001529665950587425593406748559789819875425\
0352912746031544231085743072784049625311444515314141954305125366411555636350589\
6802792106437447140735890354231303734161528971872462855842637594591836475027168\
1521976066959787122912444783108191654134451915810277360248185274950320030246019\
539097066206235803536290325494817629810566163876, [* 
3196130281062851666579004865222041733658336313291206934346549208237225128242000\
1931041473125941610496392817332841411043382329506562016184475130817762393408688\
2326021442831991227662111684051384245183338428579854808534757946502474626311424\
9240275338547973520369779186254067716411482675928062672565668005362450251046597\
83854768549150550921618552065152990632150308298, 
1208151676803319397632753471062556734641553143658416990390449450048174215818921\
0961578743427304548201212249645703796963296970036896120214910816912191276142973\
6307646104309365195944758732439082872325649671593962024674803742452940468219620\
7303271065612325303552359088623170346272884083298771646883240455824524984578497\
87043419923821496309801956273797036599465031608 *], [* 
1481306892062697501851922272487264403909832061288446701781938275531066647999293\
1751683144304391153798549604855891766861972650672261888865201833255417451213888\
6518256825230022520600475144720647561528375027755298719117513610765084059494805\
0346995691255945531971671490888090309831095203374163943530271433491953478224740\
5183581828216877325019930443060999146949542994, 
2638151840606123262644984542940254569762618189263090834243352412350149137687086\
4202724894691061382651694524317209079855303229771273448879590290741972346239073\
7953769648427951630600535029096873519606312715162369008037449208412626190573324\
7611449987402795766025757703177484477747463199867862239576728341787799968828425\
92561539158322512614144079284878873467843943204, 1 *], [* [* 
3833024255359348139186594739328867954781897805211889376348913006684371107380012\
4618219795020511418087007245563394917567084503418583673320296417004500493703237\
0361612200770174372091595358772844924979308042487740452215458421571833184718797\
2722659758529338122617504732991551252807727166169952828990660037701619525365198\
4635545531209338566846440709548223037, 1 *] *] *], [* 
3833024255359348139186594739328867954781897805211889376348913006684371107380012\
4618219795020511418087007245563394917567084503418583673320296417004500493703237\
0361612200770174372091595358772844924979308042487740452215458421571833184718797\
2722659758529338122617504732991551252807727166169952828990660037701619525365198\
4635545531209338566846440709548223037, -1, 3, [* [* 2685388843, 1 *], [* 
4979173, 1 *], [* 24517, 1 *], [* 2, 2 *] *], [* 2 *] *], [* 
2923141595648201939420980051326191054533763223198601287432944028412706711436153\
2405514206038862863576013459311178888574139493799479996966827794610477583320831\
4323603651039221344859539055014257336754230013932220942155866358090459300030342\
5469961799823676547589909827690642496619140468614139640891535965032752405394837\
2089821035628693, 2067, 8, 2923141595648201939420980051326191054533763223198601\
2874329440284127067114361532405514206038862863576013459311178888574139493799479\
9969668277946104775833208314323603557849327024507113515833642928846373836574362\
1292150102741675320090203634015919147051442343545652504112016616660904463624644\
8754692552734555013378468392690117498127257, [* 
2935131048031230882456221041709548827331613992256212646387369629270178269958677\
3531428864516806264436566300912461430045688472713540467283921983667320113021833\
3394419115590835201310571824372850391991831945146607054328741974550544418786518\
4011978113926898965254221801205628854546292836189240243334301565936287119203109\
639137912710842, 26114755293031444851343876231166618460767377170737541527635356\
4885572806348283163539232095098318229978389761705680063117132420623208717157357\
8756054393494612867168331334858984154446396075988891716633795786111315560794543\
9541254008883213706271291446580163151469508234623230378196179557269788757876152\
248620285289192539133407054063822 *], [* 
3119341172550556034713078902601000478497213441736938331949176067619277228353363\
6505086487484570401788428867007920347342972855635458454446367263052777165741049\
6698788315437326815328991910260327870547986267885740467677698112271372849360032\
1882931188346653802692367419098315629297496860997976685480599871231047155961788\
28635171113372, 926487703152751804194940713681997547115867808164800257203213036\
1111696868533024407487588817955500620480554622069638434789044160119713028774517\
7776942972042973803726373947639804786190347313394819304956931811154104335676466\
6544721931236040292743149057546767514274482905009735776576188342048024935143279\
3098521993296669436433493626735, 1 *], [* [* 
4954477280759664304103356019196933990735191903726442860055837336292723239722293\
6280532552608242141654260100527421845040914396270305079604792872221148446306493\
9531531453981910211029005959040072760756565824702308693584763176555138998339598\
9857490079748207361941783905274604435018482141736686229608907243144917521774303\
84578262680123, 1 *] *] *], [* 495447728075966430410335601919693399073519190372\
6442860055837336292723239722293628053255260824214165426010052742184504091439627\
0305079604792872221148446306493953153145398191021102900595904007276075656582470\
2308693584763176555138998339598985749007974820736194178390527460443501848214173\
668622960890724314491752177430384578262680123, 5587, 8, 
4954477280759664304103356019196933990735191903726442860055837336292723239722293\
6280532552608242141654260100527421845040914396270305079604792872221148446306493\
9531531693040778169486240968399546929610030698018054835971330298188820344731281\
0373218832335503685785602055652731912750090098235316815969926213876114007805250\
25737621128557, [* 214167732773117743322586112117978730275731906261188148995240\
6415449847222178261309441146929907549486952051130256361416068190456490767594736\
0600141170474986813473428554569253992115319070867137630921073143329926323615309\
6101677482440804727018985386771904521233570335462878998497058998402880739891158\
031370642637212709071899166435125, 46193794505894187425791710127793214928320422\
2183889193768639786750874879744597098915030799163963414169924714889533317577329\
8303657135409158258962340163597612275821724983641861239897362545949370873732368\
2040835462213043023899385220645136027830005208792094518799067500340890266292439\
3304269043728850625074819526527700985932282244333 *], [* 
6275628981155242067288615484489180180907181218629951127161670370548911966515659\
4725458203677636263819096135059639896427273022661141501392564347634766015212876\
7379242446779264290950197680627058861094969080501368330234927822298460674032093\
2371522627134471754217993823738668961902302132160761098232124229606165976592867\
0701140865536, 1420560647595243729335630179590508911519411265641563276387188066\
9417331502596669612153590961980578911253100553190071356504477992899566953514546\
9677142611763086003135454636454514969502166189636261817638205940542566537970249\
7547163858705349890802640318160304083981363519311784848561289775035859230495885\
16547686207004837682371752494, 1 *], [* [* 
6767878106820902647569113772311846444255954009808848209718765797139656122355237\
3372389297466910247176226819999874115170039733576062487430694154601677499337134\
1537056017634645697308068706059026398615888744859940460938161429336540473150246\
2679128752194674935849458390578682408162758343003996564710577067731292229840967\
8053741, 1 *] *] *], [* 6767878106820902647569113772311846444255954009808848209\
7187657971396561223552373372389297466910247176226819999874115170039733576062487\
4306941546016774993371341537056017634645697308068706059026398615888744859940460\
9381614293365404731502462679128752194674935849458390578682408162758343003996564\
7105770677312922298409678053741, 52, -2, 
6767878106820902647569113772311846444255954009808848209718765797139656122355237\
3372389297466910247176226819999874115170039733576062487430694154601677499337134\
1534938660125458570649656584808331367885593618523672646190660209686231108841687\
2445193139429129546684451904481874927561129913627761574911811257613834008325231\
1709284, [* 1622612828023670876670037195739224565007797436393528516076238518698\
9678433173900674897372641032063382021235786747073983229859443548291599886552293\
4758381501125915410896214964932467498675948107427980165440862598200816281455536\
3675458326898573238166232178664600083456532607012312182420180465569112402974212\
390285421357367158, 23714086413861725076173190320128364981000263026728344663626\
2962992756949423398917863526037788266638185638165325689144080713518439525661845\
3883702376181144110772000167245316010840495943864902613900826483172688058753969\
2069011004426319292484365129635472495428217751265797410932527662061050181917755\
067599441265013388098267810 *], [* 24476223506359094060192870928840281837027036\
7502324934045362851852641658611886817417108981240066391622941931375929921520663\
9067930885725062213959314483864145380234643935317638761453705956079801705616098\
4978676450914198702543552406460913578345960673474337462553362643461204448195520\
24453924697709262335967987203718056679541, 
3608446732520528134533899146672790068466727866555786106610609103771570209990666\
0912603772846372755640093643385483893040598871306581595695184637543473560403953\
0735728061188776741892072211557747786022028976173798927618968572017499532251559\
2800585899294985953044954940032538946680506542163730622645594949265101374788039\
1455566, 1 *], [* [* 2370701312463536026190666166565730154216041057099918806823\
1630226774751724657549871230663257289563954121766848771933294815655589205018716\
0901480319733429091824833592076546678776323965456357128824395962455696956930850\
0280964292528754524615540560858704332894312894740255665870660336946065490253226\
779899682581619842101433, 1 *] *] *], [* 
2370701312463536026190666166565730154216041057099918806823163022677475172465754\
9871230663257289563954121766848771933294815655589205018716090148031973342909182\
4833592076546678776323965456357128824395962455696956930850028096429252875452461\
5540560858704332894312894740255665870660336946065490253226779899682581619842101\
433, 88, -2, 237070131246353602619066616656573015421604105709991880682316302267\
7475172465754987123066325728956395412176684877193329481565558920501871609014803\
1973342909182453128235380917748905054552193661595714734314458270984373872899421\
1958362022955547318688790008188825945399931239439778797756274667919822021120471\
4569301519168772, [* 1051987699141572438281689093187239397546327360735184311116\
8239392317685406757165929854363523068594536038062491396604013720681180250365744\
2375361061002666803599184617105389855033935579445252447610664623193104084234119\
5493646013483394879186293320450015705498202476723018525848288498489081269058803\
586392043127906524078893, 14821225641070549976528756428488464673106239521082452\
9887739976468012727371914876979440385659230568490014572637151299251962146519328\
5996783622781475231204447550472055890498679222167063008891313564333673859572816\
4957380525366578869724388604756164309199909277818506070360019203609397474076357\
0351113741138249269769791145 *], [* 1159048919306554330341801335025392986600196\
1933101255147891871473939211630720751207642481059267260708844752898614502386566\
9128320653485448538173889546312309075001135440353286787484407812099486746997228\
2499925518831665520963874857669522101188939466536486468176168865988504035945507\
678439083861912740365182644250198618561, 
1962694767936302484007779907323601465862739462650262662292609066370908047182554\
0233821674273401695052469989506071726567510650509681027088588145418082622077006\
3577039250077088218546781915352202403825235287820203059800211606652321734259874\
9552255262011963316474469922944588685636561685807416755077563079811180943754716\
294, 1 *], [* [* 25889681893279934223778673232548381949447149520722743579054544\
8561648193580420961225262888496408794467681166061185619652663742254974627027035\
5758431983261344251704430050853157206330518795441367484843327964938792212126930\
4290198684940940637017190192575761010618183144150714776970676778987485408981715\
261041, 1 *] *] *], [* 25889681893279934223778673232548381949447149520722743579\
0545448561648193580420961225262888496408794467681166061185619652663742254974627\
0270355758431983261344251704430050853157206330518795441367484843327964938792212\
1269304290198684940940637017190192575761010618183144150714776970676778987485408\
981715261041, 4, -1, 2588968189327993422377867323254838194944714952072274357905\
4544856164819358042096122526288849640879446768116606118561965266374225497462702\
7035575843198325580362238063570206987065353711873582352783974207643620931880599\
4531034734935703907897441164669166123953075791243689300230224501466379321457861\
9949902292, [* 8212492800, 0 *], [* 1567029732548815859044217623370550369056433\
2470292616266092860507985486015039852321640730867811833022783184915142181244172\
0141750596407886519812135156762936928414738039732145472765101926850377995143243\
7278690425408715989945655541838261975459578568053964053427511328663764090026113\
9534851939755878243079530, 1722189227242872943324325381609929684672291877276516\
1551678996128290550371345336876283103320269894342285134723185429253351941880874\
8874971092902301860806544328262105510676249356495809778855341267712709491974117\
0814782801845355756677025009904070983540235300693688102059324451492049140985656\
608727126978198, 1 *], [* [* 74711218757021892527700802310891989711010296715071\
7305916575507456659072721222954953227866377150089238845915930810276366651351020\
0436399536342419552286276293367772616706154682899584290866442865156936356430277\
8358176229745949073481832670090633511499841682214124514186547149651658701559673\
98660097, 1 *] *] *], [* 747112187570218925277008023108919897110102967150717305\
9165755074566590727212229549532278663771500892388459159308102763666513510200436\
3995363424195522862762933677726167061546828995842908664428651569363564302778358\
1762297459490734818326700906335114998416822141245141865471496516587015596739866\
0097, 8, -1, 747112187570218925277008023108919897110102967150717305916575507456\
6590727212229549532278663771500892388459159308102763666513510200436399536342419\
5572826044771223048800826263964464603131430435594720487254020057000630340030668\
58509650682828823731302184809979331114833176604734212673699008893659352, [* 
4248796128965554532894128917214506633800296149705434591735361897648850415135063\
0804833139458697305073276308573999573099410414552629048947766516850442846241346\
9057007352081478203317526164145602221542522530155278856710887087637097205436301\
3216407310868904547475390193220696196456155951928174030807, 
3804825747548400978453207485587499107516646898475012059750118932578249816450405\
7076863784519047415182094036323227907201478904515295342201462240842438275762009\
4407452497775680395073705787989608312577155296087505243872687703748322943575185\
2577496295236630082488686053109512420571387530436180802587 *], [* 
5926330814769326842438914961179810177624193327791249040583687612806766960635702\
0344564293458270239234393127312087831712038355442173588723081936640407560847812\
7415482564842276311711446040489538567436063501562408604608493705749246952573949\
1766458782887076829914112772123199763349224744787516133758, 
8334460636052053051151742015147338464936761166251279149885044700113229641498673\
7123908581545141895762188944676589782830265776825182037359363628768950690371327\
6329479847523097339842683494189764756316128654469550060459302657140245436197165\
918172739999997351798252616898013901909693557803803412730, 1 *], [* [* 
1009070734339005336520996205906286836534592883100968168496184854470352425340586\
0454847469751000189130229302872977075915280088445146423311863814234692135539270\
9472233337939944919235397625009161913959678851607474844903269135896468192017749\
59977736309253243269474035991670178674250833, 1 *] *] *], [* 
1009070734339005336520996205906286836534592883100968168496184854470352425340586\
0454847469751000189130229302872977075915280088445146423311863814234692135539270\
9472233337939944919235397625009161913959678851607474844903269135896468192017749\
59977736309253243269474035991670178674250833, -1, 3, [* [* 179, 1 *], [* 2, 4 *]
*], [* 3 *] *], [* 352329167017809125880236105414206297672693045775477712463751\
6949966314334289755745407636086243082796867773349503168964832433116322075178723\
3988249623378279577329690411291880209230236600911020221354636470533336188862873\
30163982827933580642450326923621942482358252790387632218663, 451, 6, 
3523291670178091258802361054142062976726930457754777124637516949966314334289755\
7454076360862430827968677733495031689648324331163220751787255559139233966518819\
6959789895815384923514177532450904450253104009225700982392645837693207664511797\
6749581991695624287680340805512270156885, [* 
1621105376124596396071841232790166520283970044519503080679762229563448679173877\
6923885407706813829477418933188234430978060681043042843383741842465630794693727\
8331062682670491148983275648685330306442119130668876054319470584237666473470003\
6783573552682255680140518224567263136625, 
1399330134593675338778865523558479207564086465330861070770047639808894071274602\
9116589646733979930968383524276493721691257124800848001526457045253193971005143\
6925549617250498504436849280437017954526100526287326910531403469140658572459228\
655996619370588527000785825386516686239 *], [* 
3343961067845829057750617830561394159376550451941056096139997707896596987862305\
6520329481126165797303645100784205088352507413521124518118661482790800879443328\
1368812131325240028302028608400247735792723781047454801461286174160605675923269\
1037466378212158568581352361965789901694, 
2059373960895155490490390118337608561994022236975760629455251024610966625376200\
4085838752284146422804818314133785093143928975129261430490315210199758228676514\
0185193858148045933107414999349004090679521545835399902434033243543229300306771\
1178547941621851723334124583141176265715, 1 *], [* [* 
7046583340356182517604722108284125953453860915509554249275033899932628668579511\
4908152721724861655937355466990063379296648662326441503574511118278467933037639\
3919579791630769847028355064901808900506208018451401964785291675386415329023595\
349916398339124857536068161102454031377, 1 *] *] *], [* 
7046583340356182517604722108284125953453860915509554249275033899932628668579511\
4908152721724861655937355466990063379296648662326441503574511118278467933037639\
3919579791630769847028355064901808900506208018451401964785291675386415329023595\
349916398339124857536068161102454031377, 3, -1, 
7046583340356182517604722108284125953453860915509554249275033899932628668579511\
4908152721724861655937355466990063379296648662326441503574625067855947959348621\
7823099448214761806146861486929792307670363737506907256754105762526534437873588\
721787497200662515358128333300651417863, [* 0, 
3165457359925628865330246259580759705653101583139057572916519134735360534713452\
4275146730462340197003108901186942533668416391279456144183862416414155516794252\
0706061234521634892219768876811359467024273133288715726368392744802491261084818\
223595257066403744596281028494927531825 *], [* 
6781701428690835171884825847017670038220714888257790193757349958553343307413866\
8729044808136315940992926091755302498329526980643431579585985569950986504976951\
8110844738966389316090427813978336462195221971506917311952749484747378203331616\
132080296291736754192587090763260846862, 
5804119250844971377633829121632882374744350979908783255904084039413512770142502\
6857410133179727798381869234809726630223115497009970213495145361706817002175088\
3589982882089276981407768865986540633545467653221775337647677933652807064388041\
877528844540173148271978342465738462043, 1 *], [* [* 
5372289007972668890107055762214560041317930496330799927768923895933754474828435\
0774261901087394056381957616828804085222344413842541209419554293274612035490701\
4815141247544504943489140957413856987983910728312387538497290913235578030386818\
875762893622384559673190666807, 1 *] *] *], [* 
5372289007972668890107055762214560041317930496330799927768923895933754474828435\
0774261901087394056381957616828804085222344413842541209419554293274612035490701\
4815141247544504943489140957413856987983910728312387538497290913235578030386818\
875762893622384559673190666807, 51, -2, 537228900797266889010705576221456004131\
7930496330799927768923895933754474828435077426190108739405638195761682880408522\
2344413842541214040229226367109729828930864693423203166743022673531759285261682\
4642101259539384748718468971691550420753484494801524323816636782427815, [* 
4186566441890330185348870510039277736024953447411707771523288098830174655107236\
8870016136676225705909632870306090536995957001941328686562500033066197314434679\
9118168853286895497784107518594772579426137510104543001846868015755975045183167\
401726563255416713407893887408, 36987257488461450930445109980852824206654462501\
9874043821605762212085905907598352577243526321560741571672851361205079925716399\
2971431590219273143506920936762234217717196086518408976520842698623592952296442\
72496653649103555669431324717923349526209838296664549242097052 *], [* 
2539777644020448748476874648459478695672309477018949468875934317151771844381127\
4657645450841343266956255015283333623602043688376683018166761737981726504147045\
0445769069266713030592703693914285215603574240932540775923041949573788667545748\
337780192557290382015188976313, 49744878194658360713231906837270258812865985190\
7506163291181079554860039654482327655145261239710124247423727263551546860220282\
1585613230690297906604507803416511613747363702573617216700809705392870826218301\
87339410310157694935236410767670088462819031866756487165848814, 1 *], [* [* 
1966606104157771342397119129107795677000468561649180638087224793254360143310150\
4755003566784738704339847865953207793308936727648507915709262237087057257785945\
0008422870790887632271300651281639713065436872305250993179193851637835052436318\
34846729623387875772851, 1 *] *] *], [* 196660610415777134239711912910779567700\
0468561649180638087224793254360143310150475500356678473870433984786595320779330\
8936727648507915709262237087057257785945000842287079088763227130065128163971306\
543687230525099317919385163783505243631834846729623387875772851, 10483, 10, 
1966606104157771342397119129107795677000468561649180638087224793254360143310150\
4755003566784738704339847865953207793308936727648499046476576797054409867527595\
4517240684354429532864272283264821919992210582638095836213643534127749632948840\
67002357207668194113281, [* 192713914706881683776180183968657321839069749162536\
4206575552724698834029545958062887148538380713836466239795626628159469965422115\
1649091835012660898252946258478326128842762851754165339499943997729122711270173\
038849326646727168121117152205547038855566873080176, 
1695664982387446670262539711567163286203904169346405839407732652920921392837895\
6606499509080117680000733098046077359608636152664404825028171323683156216260824\
6185555775136883928860036222433191565039410597489538953394475225413480559715595\
7159343976488657785555 *], [* 1815583182970776018052365080307386193594793001052\
6117351292674852494774910740166148021748778009898177285697374462312313153312572\
6254868402496973327836399165335883364141288115941814958720232520415607923077026\
38175690035627948396860535927418068126088869477145520, 
5001308104177498583747010256589242101366321060199313082807638079093174467732927\
3235535996141434881913701488708975021806527002143556043551213128578326477078081\
2621824298279678295135130202225631334057904341641976535783434735558980818590059\
3544997319874350586300, 1 *], [* [* 3223944433045526790814949391979992913115522\
2322117715378479094971382953169018860254104207843833941540734206480668513621207\
7502434410597976668804170653566026154946296203859720545679134890598068721298705\
873177206288874825465783196119588263393481265699478592021, 1 *] *] *], [* 
3223944433045526790814949391979992913115522232211771537847909497138295316901886\
0254104207843833941540734206480668513621207750243441059797666880417065356602615\
4946296203859720545679134890598068721298705873177206288874825465783196119588263\
393481265699478592021, -1, 3, [* [* 5, 1 *], [* 3, 1 *], [* 2, 2 *] *], [* 2 *] 
*], [* 537324072174254465135824898663332152185920372035295256307984916189715886\
1503143375684034640638990256789034413444752270201291707240176632944480069510892\
7671025824382700643286757613189148433011453549784312196201048145804244297199353\
26471056558021094991309867, 1243, 4, 537324072174254465135824898663332152185920\
3720352952563079849161897158861503143375684034640638990256789034413444752270201\
2917072362481733998705544537215262085231521564578619704908608600364727319373254\
35405622498956123694114749950236247158485337811467321147, [* 
2449802698859743317999844519578069514351419857030619165079797744858709857627073\
2869189622792154460290146880201970531166900966183037905083107035175885044857338\
1430633653624528161100431283040925833058067433647038166700337860461384831511871\
2983962996946943295, 2711602867489192745165465833249876320538526758978201979499\
3964300541130783289601969812695322134126218224589026046693772813388244672025836\
0722988841111515109909977919087262642377332457778761500918972601705033557230404\
0346819598057509756412436105979991610941 *], [* 
4688502021269908959346441212291458654235520209070595403087881491632268322950670\
5364793019119937637573973074041492053347613187591324097092988069359552496769995\
3034773696638904041426091738580252410970095267020120191414990582604098720461036\
9235638422469942249, 1695165320151836998226205334571000963819848399888834910431\
6665768386631855632012950982034726244094431787452422750476739684489000896853257\
3182676757164728137416252680071568343947484269612755732404234508067642975403929\
3733043866996566758873332865950048234501, 1 *], [* [* 
6837053978550126799030727810959818707035505433710335364651799417097797253471361\
9744039122542804304069080473513739054207930928963433619714974813009972280521803\
3229692894498278469380437719362861933747987709075263895676764742938026496532276\
178309939110233, 1 *] *] *], [* 68370539785501267990307278109598187070355054337\
1033536465179941709779725347136197440391225428043040690804735137390542079309289\
6343361971497481300997228052180332296928944982784693804377193628619337479877090\
75263895676764742938026496532276178309939110233, 8, -1, 
6837053978550126799030727810959818707035505433710335364651799417097797253471361\
9744039122542804304069080473513739054207930929020594822321482802039507486434966\
7963207124588491250049108437676809316044839319121861839670756481397302424836134\
069303367204644, [* 58920912825797884466806088165772728963125002564045621902353\
5232089027545354045664257113156587061019057362628568685844976226316518550055884\
1744365750303499124392226769291182985541124744767029173828065504325712704186760\
92972650614110138315525867132313717, 573288442175326534617606644724804026130838\
0305661574729983418112571188176007352650880695144015593242516316776758899617735\
0806829513716798030985142067868369043763863194133500696185943297730151713643318\
3988858000903829040076298270591280552390115806094859 *], [* 
6138760179110156364493222101886972293467500998093986479580630009331986663888216\
0250419428507344797604591645568331306779472038278753645592268252143657918460312\
0334181500676645943807595735456539158992017862108318257286134420249932602982852\
050900753272743, 15672138446637953500883406163542278318040321961498528113887529\
9943700426944216456666821993751245705537221108116640132090176742636459312672121\
9962093872541170010249881717714321798132034432280176972670203525662234697934398\
78401141126129733224226485170461, 1 *], [* [* 
6330605535694561850954377602740572876884727253435495708010925386201664123584594\
4207443631984078059323222660660869494636973082426476687334706298184729154106450\
7373339930174528935230655960811860477819295665853575777472922667960465208181605\
6197253400043, 1 *] *] *], [* 6330605535694561850954377602740572876884727253435\
4957080109253862016641235845944207443631984078059323222660660869494636973082426\
4766873347062981847291541064507373339930174528935230655960811860477819295665853\
5757774729226679604652081816056197253400043, 7771, 18, 
6330605535694561850954377602740572876884727253435495708010925386201664123584594\
4207443631984078059323222660660869494636973081873666573483457691526793394006906\
8792478028319134480703166346931639353570437353084260389445997779421176087836776\
2416906246145, [* 1343314589610511717562796832632820228779712676915624025863459\
5029947248799271161541040698908875936835803044852495931892395846225788140333658\
8864375067733053770202356540417697608226538024597250536941424376673065283188865\
5538222248649316076325630132972, 5896784984707619606028299583374970753619545404\
5367346769718391278983992168729493246416438252207681225342952619102216836863462\
6444177437649750572295556459459574646213803842715031708522957849432014517595294\
1870865364372507536208451003811157714952796599 *], [* 
4239465158861193875188521303119009234950922906429987109661208520485131111710827\
2333482221077719974854029051211645605473169240905192362171682762554098961612201\
8669444987956469946371344886122078109799768522482650633304604421893196449576189\
8353263249391, 2597989164157384419393248680656689924680708066945822279215296466\
4005324899461027130796813160700466250934557381734244815565061833707102247581365\
0405833586276392432230926166171063175042607353577309687634077539286786853180854\
7101502804051313541590661490, 1 *], [* [* 
1835487764946888498042619413299716335313948397497966258820593091149501221317765\
3890013072136585573815880726079883428290153329998099517558547558018950535233613\
0635501226260945407496655568084366477229423516754432639303848896754043994315250\
3, 1 *] *] *], [* 1835487764946888498042619413299716335313948397497966258820593\
0911495012213177653890013072136585573815880726079883428290153329998099517558547\
5580189505352336130635501226260945407496655568084366477229423516754432639303848\
8967540439943152503, 19, -1, 18354877649468884980426194132997163353139483974979\
6625882059309114950122131776538900130721365855738158807260798834282906315766840\
4055686246173518825792160099221039162578778645976807606527090749565192690379238\
730936864345994540029843969908, [* 13074806383918551299305934741622102154887886\
4578736623091380815198918515540952174570072286395851966739372653740659773447824\
5698515472410772372857872299451535237377999349427255892339502069942427251123895\
844540166385923738181674802962913182, 16672204866160060899975905862216280694581\
9939028000410187795270141908143210619652571920056188085587981994327104179263409\
9134725219537904688275439578731575493720436514917328401892170221358607911845573\
340127023426464123355314194700706445542 *], [* 
1242435761082296627640413994540460817419394111195803657556559574449902749927410\
1759692349822328490171886056251927584966886100254487386489902608757120816104379\
3344321705891292623415309217505067772647126357302312542227697878960687202563305\
2, 1375351587118403901266330242863533049686255962377174458164765600733873140796\
1128441540187695229730931394670011471264552423386093933859151103028098948761251\
4576017447262860712117213806333705751051236235579037945198923409749295359923341\
3446, 1 *], [* [* 2887243147842690861418942049077295016079461408544055236717218\
3203160158811068248405347239740635046553744929043695576268900269241096563447791\
2444076345264361334544487486178286541101243770519540171585574518409624039907680\
4015088951, 1 *] *] *], [* 2887243147842690861418942049077295016079461408544055\
2367172183203160158811068248405347239740635046553744929043695576268900269241096\
5634477912444076345264361334544487486178286541101243770519540171585574518409624\
0399076804015088951, 760, -4, 2887243147842690861418942049077295016079461408544\
0552367172183203160158811068248405347239740635046553744929043695544009968547736\
7956075227730212181511784265127066702545260496848355785972992970746322555956441\
9954445586485488382114, [* 2420339113512710162032827731174386617794275821176103\
3126659716634308559244880066511579929525697468350211523889143618781035428826304\
0381991956805906417622801195035585925275065192539426751274001690568045616565869\
8549697385591073444, 1945568249516270656349923171348232519781392494620214739200\
5432149510930506377476565013057218748897846324711563139323429781574897516404952\
2004210952243728680338197824175768305433807876160489701843382922960604622978702\
8702833319763 *], [* 4184414126952017885381113223096227634623082868399917277521\
6030467144505785012552045400131555114821212074222675511674770346813557121758439\
3655262153584497721653047788724990315058411173125871742588589682618167151544939\
291944838905, 10199049901238578552609179939313071609250059140203429265217447184\
7454250529419579518994290037046719787052074332284392594374357349765212119155549\
3906421670719196311341693927441375548433813400618118888421610763496847475366113\
276521, 1 *], [* [* 14436215739213454307094710245386475080397307042720276183586\
0916015800794055341242026736198703175232768724645218477720049842738683978037613\
8651060907558921325635333512726302484241778929864964853731612779782209977222793\
242744191057, 1 *] *] *], [* 14436215739213454307094710245386475080397307042720\
2761835860916015800794055341242026736198703175232768724645218477720049842738683\
9780376138651060907558921325635333512726302484241778929864964853731612779782209\
977222793242744191057, 67, -1, 144362157392134543070947102453864750803973070427\
2027618358609160158007940553412420267361987031752327687246452184776597827508552\
1035848587199509863984306222924173980462819931455755896089155047196119511939039\
86598593252615455907433, [* 112752367346496019235893542263592300718105523139447\
0679865253277168643502291158033028937981442912007734694647695996179228308800246\
1842386760191907329828031016015909692020419918877143028974248818895291625520786\
59134242211865320168, 277037425389674283628868703464276207569266975989298746974\
4136302306738176604316952762812444788377321510427561890942021750765897862671945\
2614440089395766040002070032973654833491951844583497400321707123877268904489795\
6529043171152 *], [* 1268048196000307689286501899990595960482813513273990540959\
9432969636799986338276237160634463935649806098836598446988344578416396444872789\
5088820500111709311797111123131766775928023246730805649310188488228785501684723\
9881763416529, 8261558197322434808740204100422311243153075623447317164099760111\
5894077541536156325553201421763787310903081197964311035702476573077761013395965\
7371977621787807082134955684329598534209383820637642083290915156190282136849485\
06146, 1 *], [* [* 196536478069845868163360844517347605336924491090925695217811\
6948862803020764379088405611556781784678510412516339541558461027678056528958616\
8120045976413746347889853790971401409745458009470895243796429451490306497613867\
103, 1 *] *] *], [* 19653647806984586816336084451734760533692449109092569521781\
1694886280302076437908840561155678178467851041251633954155846102767805652895861\
6812004597641374634788985379097140140974545800947089524379642945149030649761386\
7103, 427, -2, 1965364780698458681633608445173476053369244910909256952178116948\
8628030207643790884056115567817846785104125163179513058228204857794089189121978\
881930464643145724148787842175462188126707680884862700821317468906632484540172, 
[* 6203121932155567896477680898089223487135364588661866587273371274844402853750\
5949268877042671748547832651626638924428776977539684604272566807337759604564603\
44747459441930712938243437863738803016978933418396374667549879274, 
1563087727139242421852462440236099075892252393430262347167248039777432931628455\
8929257908766426732959204094358948159292529887412747150031777692866944050574881\
317955212470668715591616547572347258801240916191342587896660529 *], [* 
2241123038446256509345491390714725654771942885170944131762010591029004340994014\
9900720038766628922662098751183861939851585132682454043735225120132521694460178\
84135875065851043877245454014331726739393552786060754856530019, 
1475717773436040069196255781245719504558780822081454907075124916425787796061497\
1111307940854271839239700210799424438488355989143924017542740744537837482478603\
438931792690205988538991214197110403101428582159217254084053513, 1 *], [* [* 
8000084588544127365524237772821352611529563927370503900296810935338762153656068\
7122686371720443227384535735884118049799844525366731072785718851791566116234697\
739016835087090960923387285608564659218218561102409074379, 1 *] *] *], [* 
8000084588544127365524237772821352611529563927370503900296810935338762153656068\
7122686371720443227384535735884118049799844525366731072785718851791566116234697\
739016835087090960923387285608564659218218561102409074379, 3, -1, 
8000084588544127365524237772821352611529563927370503900296810935338762153656068\
7122686371720443227384535736232813291393994193314945457715687090550653021013573\
669456056552700604704210280582494521675882090322834920652, [* 0, 262156288192001
*], [* 804350640327728296458523304045831587512601987603964082867093554391483225\
5131799946578518615264483439990797697159631801739810114269917071582769357000972\
180948961688309959943333351134949355039207200097411527068421410, 
3888990215937781545341045325804057241244382419738129566548553928191913226778354\
2149192393217497067269332425874118144982659456882658442015326052753223251222489\
781877470080206977718110244219355115729891717714293465458, 1 *], [* [* 
6753861976618484589136728609750238587385239529404741076804790915593457395110313\
6395068358255194701131712200919202116801737575823916403028810902771293875167640\
6219025905452846762437192116490177638840054117472351, 1 *] *] *], [* 
6753861976618484589136728609750238587385239529404741076804790915593457395110313\
6395068358255194701131712200919202116801737575823916403028810902771293875167640\
6219025905452846762437192116490177638840054117472351, 15, -2, 
6753861976618484589136728609750238587385239529404741076804790915593457395110313\
6395068358255194701131712194754698871240516823623286871383498867571262761907383\
8072812793666526732782762275332925633747510842052744, [* 
6646981090915072124176054848979361438562001962132263036552713227223232211747861\
8100319016767917145289751422092404073582643439713095923210822485642734335377062\
7267251588191377680543736213830449794035816472968073, 
3697568482811458885149939924235163744808475063887845414163217330386570973945612\
9994415178371418810969865200329412923228964653920448179079766684952471023405763\
0113692707733945807014256191031268926146465042537863 *], [* 
8960529718594605147572978069644335060491260801560402293976896819400235259835145\
5300803154453343366453551293438762883572068345711047609509427636997182905553156\
639288638844502187559560751481460215598364894832077, 
1022823226998605030313177949921493516383831349900103782640619638743652847997225\
6340030373796740484508218963135576386787186762495901104863731623507890946107983\
0389229473182459272128332648687378881204603716116498, 1 *], [* [* 
6976015708212155641930021230647862811859518154460057204089618282047852804909671\
9089285528038366578640486807721852028969790222379440201188829573312030774244271\
35656890449510490728864990775987249658252021, 1 *] *] *], [* 
6976015708212155641930021230647862811859518154460057204089618282047852804909671\
9089285528038366578640486807721852028969790222379440201188829573312030774244271\
35656890449510490728864990775987249658252021, 163, -1, 
6976015708212155641930021230647862811859518154460057204089618282047852804909671\
9089285528038366578638820137385074911612581655506024132644421694704654158876734\
70009691289202871416668543001967203037422769, [* 
5809029380699756544530496725109228241991997263547210424167303209531309065315196\
1223916653698539455129749622676537204477241605235302967168931373307598596051215\
45714211799495212134941554635277150561105947, 
3264844119180171707351023981597498812162023774556948283024256324269728504373733\
7717181451228500961570682174886361445482415952358301337669597017794747689815059\
5551507997059532061744910285409743116952916 *], [* 
4850083077471971776848037752431403467192080513527441202525130329361737792682657\
3786003321137148703977096014833862496570944373736095511405682023269557804992691\
15360382209520206341897095833499553786869510, 
5896071488883838662832431557092710825419112267495615996071610462608884882018379\
3438023602130346351053469450656840426186853825555033792624447675885397935003107\
0853601024926485483792599772965754487092597, 1 *], [* [* 
1308649090778350993665001075027268991288108157363959180612230716800392594764228\
3206574282559207342119950501319728161707201991390628647765663364043118944768367\
1375423326940230577910378430637012081667, 1 *] *] *], [* 
1308649090778350993665001075027268991288108157363959180612230716800392594764228\
3206574282559207342119950501319728161707201991390628647765663364043118944768367\
1375423326940230577910378430637012081667, 3, -1, 
1308649090778350993665001075027268991288108157363959180612230716800392594764228\
3206574282559207342069270845522508404009752205226857295913040975628467186983519\
4642352419155455765565848829457020324049, [* 0, 
4089528408682346855203128359460215597775337991762372439413220990001226858638213\
5020544632997522944124845316624150505335006223095714524267698012634746702401147\
304819789668822055596993390649138299521 *], [* 
1030424581447368131210954482548820633777425380472408644241108435017769100219820\
4424975400695968243939981079623717370200599806526656661651994756522198573282541\
6243600077091211383728777460497568904770, 
2080999324757200127635343196564278686542649623576949826247173150873383261744271\
0842607025964649479763038559284423448662715719970432343822726487228325002921342\
253464376439465408017764829573685816638, 1 *], [* [* 
7884853231176423411851545912076092012340231110224493466362780724229635444744401\
5223078162072707971737487772022102813820282010163627739429059321735658173064526\
50620739841866347265520806739592717, 1 *] *] *], [* 
7884853231176423411851545912076092012340231110224493466362780724229635444744401\
5223078162072707971737487772022102813820282010163627739429059321735658173064526\
50620739841866347265520806739592717, 4, -1, 
7884853231176423411851545912076092012340231110224493466362780724229635444744401\
5223078162072707935151613762545798120991976231677420520535314254131775923330953\
71216620372583160651600196815032500, [* 788485323117642341185154591207609201234\
0231110224493466362780724229635444744401522307816207270797173748777202210281382\
028201016362773942905932173565817306452650620739841866347265520781902052417, 0 
*], [* 563747216565062233556294766972342077387772031154029219351625096287684700\
6640184138138767380273128038701583546663373348982744199295828504502906590816174\
640274265194195614988918139163300480102793, 
3658681310323315583664780114551691237226519155769330070580815123020518398622547\
9277812459266630161339410531331728786768700330586328206998387988645616582379637\
87340896146684023538647116212354627, 1 *], [* [* 
9927419869280986354235500046680632058344640994931688342918200471173604588913316\
3642528375288269354928062653504309878491628872115102953144871582161505726573438\
7310874456730646603915668469, 1 *] *] *], [* 
9927419869280986354235500046680632058344640994931688342918200471173604588913316\
3642528375288269354928062653504309878491628872115102953144871582161505726573438\
7310874456730646603915668469, 20, -2, 99274198692809863542355000466806320583446\
4099493168834291820047117360458891331636425283752880751787766832403804758831337\
395481806405521227994887657531724216040876231963788271854017359006, [* 
4280376603002068933098282773674496743914980153120179374074349933826158489326947\
9640180889262840663842165822686069691414506961431849871853992943037289324418692\
7859272215844067930699056197, 3959785997853908556213847490363860403824195958712\
6330299305836514511947071453712908570773768674499761189767595539256941495454435\
353148347321693314962101324962508566576506341241757271219 *], [* 
1200080124230942398556144140676841349000683353951318906471536372528925866796278\
3525497530312903205295864203836719607806367226366737114572455802146886122176293\
2989209459830117706507987771, 9652606929693893692070275927040404863916988323266\
0358949196655050471369788180998485004450941639344828222810608905726087795992129\
6697013847723548606528578072073600193190279583937523821134, 1 *], [* [* 
1838411086903886361895462971607524455249007591654016359799666753921037886835799\
3267134884312606514588274674144532570950692508922340842985703609030695031929926\
682893184514597626926247389, 1 *] *] *], [* 
1838411086903886361895462971607524455249007591654016359799666753921037886835799\
3267134884312606514588274674144532570950692508922340842985703609030695031929926\
682893184514597626926247389, 36595, 28, 183841108690388636189546297160752445524\
9007591654016359799666753921037886835799326713488431280309759618053445184550932\
7200633974536730922381136303773603416776333144559045486581856845021, [* 
5929696232778503322558676465119936642349517243910510963315951915415127305781121\
6502445766497595643266670388799194321102555025322130261310747989321429588361529\
52406489475348226741867991, 153819899445634988424251322984433487074257362015462\
0868600779123570752755375562046062966060083622401167656231120845719097300989637\
3546774343609911980541996297934308981055278833213928023 *], [* 
1613904258935157782393706978824342328189363983803308407588399542509862812166757\
1453538148546730585500376461520992213659676967227621333846610133197728019130184\
791474530907020350877713529, 70358319633649299883597211176402400305251479171528\
4075901390871461907656474816083857828071460868376459033928610261665771165612837\
3305543464823946928989393890063768904902990433742683251, 1 *], [* [* 
1953678094478093902120577015523405372209359821098848416365214403741804343077363\
7903437709152819444841849664667210955714347113681760606718789730397208930304756\
995902825765660554576881, 1 *] *] *], [* 
1953678094478093902120577015523405372209359821098848416365214403741804343077363\
7903437709152819444841849664667210955714347113681760606718789730397208930304756\
995902825765660554576881, 232, -2, 19536780944780939021205770155234053722093598\
2109884841636521440374180434307736379034377091457486667218691856742524765237946\
11593128068245804840681020157835409483565266041324812904964, [* 
1011344784530210231840201871633638191813775088450985617718689646305162409455290\
2444472860559946889803158324493186459991574130863744974561053803064977296172314\
969787813206460376859173, 14383622133183268356569031251548725769878867484971975\
3470065627948593469311226957463179009319246373979763404631504118746562943741641\
69869742269572977382582686690926043209465788743619 *], [* 
1567341287420640387269234068542663591937856306857989455570905654171620274589864\
2805991109876487877936390238926983457320305680711244391544040701285260431858473\
415528878703116248387941, 17139520724590674963755048381913769139637699904831761\
4639939927895504613675687365448517802823815010632456028309147315475040543091999\
36375387914003710224315127322140781984319746764337, 1 *], [* [* 
4884195236195234755301442538808513430523399552747121040913036009354510857693409\
4758594272864371666804672964185631191309486528982820170614512101702550394588523\
70891316510331203226241, 1 *] *] *], [* 488419523619523475530144253880851343052\
3399552747121040913036009354510857693409475859427286437166680467296418563119130\
948652898282017061451210170255039458852370891316510331203226241, 120, -4, 
4884195236195234755301442538808513430523399552747121040913036009354510857693409\
4758594272896177413956393677040432485551514890774597207384112827769783651308228\
63747343962805996944420, [* 329927221121163776476568292463714331389576143678709\
1195620218617510841508929167922604362651087437067368660971009185980880345916984\
283387925762649865875414478146075814260677387592718, 
4115709008031687962788343812694068977057160636118626141356550881319826739132543\
5421950159086979629244813407448152396394928019846168065536763069502158508178740\
78379616853459788064891 *], [* 224331109477269732368794073717583960765391531968\
7043450516198875279758915738718676150954492000547703944825192500680806102034094\
738465726915340643381053702359255377127428419871376184, 
2748877622089716512987533544208511414077698000423092697346064418296884856671768\
6138982367538561016635942388546614917372811579804734488648565441588332975818729\
55058365315171377557045, 1 *], [* [* 380750809663015852702836225916253249233960\
5819195123903485426970606425776589445950092320810753006279829251862395148470627\
456833954162629921952927998850255556575365490546162239, 1 *] *] *], [* 
3807508096630158527028362259162532492339605819195123903485426970606425776589445\
9500923208107530062798292518623951484706274568339541626299219529279988502555565\
75365490546162239, 3, -1, 38075080966301585270283622591625324923396058191951239\
0348542697060642577658944595009231698248592478103598764137113057564275319721662\
2672148635344111434183993818615586919145597, [* 0, 
9667501026600011885032951048654867656331030400300119286193466917555377948371640\
1076562833085525550073789598068626816637025271174617410525362086062470807269991\
1779430851989506 *], [* 1905251093740671724568704903810694066269115755353931867\
1753681509167519789054528835327963995792792574998729917172023040857326277442713\
59578087386399780021350906629431134073492, 
8722128654959065586971732767191026236253681810816723389636572538878497659426823\
4029500087589934458791748261749421910313327329894927582266967097318645647557779\
2784169337723985, 1 *], [* [* 6713358565334537322091945891383982844482158750562\
8302173902134949388714987078658303934650666672111061688689545693411689526387660\
900043604535610233676292817649376240603, 1 *] *] *], [* 
6713358565334537322091945891383982844482158750562830217390213494938871498707865\
8303934650666672111061688689545693411689526387660900043604535610233676292817649\
376240603, -1, 3, [* [* 83, 1 *], [* 11, 1 *], [* 7, 1 *], [* 3, 1 *], [* 2, 1 
*] *], [* 2 *] *], [* 175073242719828334691804774719240151371255378672164768617\
0712328518977598369547235798640031989571560571863807064450312666937559612477014\
669994529642630074001183337, 1204, 8, 17507324271982833469180477471924015137125\
5378672164768617071232851897759836954723419637469809629229463079220318842130189\
7295530200944822236494790589020084970727376, [* 
1093363295023771654001123679070363450526273302210653026843192683902525354937496\
2701654902722459612653247723910991474538058932275201819745328241659038453286832\
93835, 112410624278930332193878392698932157716622476589925931659376037526583216\
9548172360627016014534181329638821778500850593017320320044984097073045092272782\
13560318691 *], [* 786491117996125831154196021752769129188062320710238679681396\
6068464047911703029154352706326673517911923514131803936972936945763840173574091\
75283529048730326999157, 132774677874174445940432039862081766403500238202435252\
3007813207672585993737809209562062792464008896466435524494248671093404362516215\
11773997802419541236279447028, 1 *], [* [* 
1094207766998927091823779841995250946070346116701029803856695205324360998980967\
0213727341863101826841442451269927633136858097063755905138978092441181375531067\
0461, 1 *] *] *], [* 1094207766998927091823779841995250946070346116701029803856\
6952053243609989809670213727341863101826841442451269927633136858097063755905138\
9780924411813755310670461, -1, 3, [* [* 13, 1 *], [* 7, 1 *], [* 5, 1 *], [* 3, 
1 *], [* 2, 2 *] *], [* 2 *] *], [* 2004043529302064270739523520137822245550084\
4628223989081624454309969981666318077314518941141212137072238921739794199884355\
489127758068020106396412420101705251, 328, 4, 
2004043529302064270739523520137822245550084462822398908162445430996998166631806\
8638756954181405380301093375732070903936188939468780868689232746743831316051958\
, [* 19831316770949481219434641210678227213022366602323593493016005344929723857\
8858221648661866781997476377062350169869810383120168396640535303665060107580011\
91016, 184282220088483946161710254792132201289184843771478233693660569758317110\
5552059830551715783730122296166571247680745520141319040932412324015165391004827\
7674444 *], [* 9985914765978874594673925033382024183822861710983737598234010405\
2343522464261654184922634171467953672029800368006844337999333948967759680915065\
26578456272701, 380820496443442327978769172849953010500700733763571656787697182\
9575809126766720564996928752556851529662268127954525291491326305505067051120369\
071205987419542, 1 *], [* [* 23080241592157313890681307484997273337718381824847\
3317581653844319665708461858179818782050565884139486088533746299109934986761036\
93989235481008441646857, 1 *] *] *], [* 230802415921573138906813074849972733377\
1838182484733175816538443196657084618581798187820505658841394860885337462991099\
3498676103693989235481008441646857, 168, -4, 
2308024159215731389068130748499727333771838182484733175816538443196657084618393\
3181604571957332071851043086780354798368691930725153671798938879812175664, [* 
1329418239593625410064800981693688752363024537029224861926369761559489982714295\
7958016980522910479691001399770069790925200544506974258294755430237525933, 
5387567661730011925896688448391896265260326425388688300229321028744255750444974\
89265571941203510924774747083600047849174777228166674395335913675362764 *], [* 
1567219084935682200372308300494302264576130129375001655934283399186673669790445\
5266794544986656338309832131035131245450939284545297453333361003645212608, 
8748233868925150347881813888391694628408041896842822433285751477039467015349753\
085537966861823357936818828912067271069665891025019637257470044390032817, 1 *], 
[* [* 1945474050702329170207536302957902288711826121044871730655418730480016559\
8723801584686135031873605022922608797318304343419842032425844092348751, 1 *] *] 
*], [* 194547405070232917020753630295790228871182612104487173065541873048001655\
98723801584686135031873605022922608797318304343419842032425844092348751, 1, 1, 
[* [* 271, 1 *], [* 3, 1 *], [* 2, 4 *] *], 3, [* 1, 1, 1, 3 *] *], [* 
1495598132458740136998413517034057725024466575218997332914682295879471525117143\
418256929199867282058957765128945134097741377770020436968969, 88, -2, 
1495598132458740136998413517034057725024466575218997332914682295879470354077341\
837400651176454493822763931206715094282786659207100112014628, [* 
8605405780556674055211397476467924425585524180606009895603323399893451087023786\
50617909958336347394918002264847385585614444338663583828658, 
5545672002106403779486097790607362898658438447694948578914989626031305562523371\
26746613873221281306059345702477794873826606674226387758716 *], [* 
1435630854479813151367256081293783301367133519733612694198091011934858919258790\
459894476578404823330460278544557162187923056727437779417811, 
1048797523170046656407362078802694191632220875298936809969870694051366474674054\
45789539687505506442316759506095460858662921359226598816579, 1 *], [* [* 
8478447462918027987519351003594431547757747025051005288631985804305387494769511\
54989031279169214185240323813330552314504908847562421777, 1 *] *] *], [* 
8478447462918027987519351003594431547757747025051005288631985804305387494769511\
54989031279169214185240323813330552314504908847562421777, 7, -1, 
8478447462918027987519351003594431547757747025051005288631985804305214384594629\
12038541552823347487665004581337137618858897249738038272, [* 
5998263201466517386836795325005003062060836728828749564454842290039896850363234\
73551746306765162267572432910064249688169168601617735789, 
6533480940536750142457204185611720609015610371017296688336860432724904355015098\
33392110285027378450834159268615870866590872697621306005 *], [* 
5666843231688496913769105562368073659642900187533211583790926535484038205236804\
73712637871595845069320373272660755766954499432475130174, 
5114056205054750078425731449698776896916065076755017023057039513857233930861365\
30620691303944704102892095035980786981595992671383977945, 1 *], [* [* 
3736219416676125610212095575405846143205128075965816623335359727601360245291452\
9836392020675993629673018219865352271877943889, 1 *] *] *], [* 
3736219416676125610212095575405846143205128075965816623335359727601360245291452\
9836392020675993629673018219865352271877943889, 4, -1, 
3736219416676125610212095575405846143205128075965816623335359748047238542588724\
5641174441332462597027233528826659895620149106, [* 62597400000, 0 *], [* 
2802164562507094207659071681554384607403846056974362467501519795701020183968589\
7377294015506995222254763664899014203909085973, 
3269191989591609908935583628480115375304487066470089545418439761651190214630021\
3606843018091494425963890942382183238428975481, 1 *], [* [* 
1868109708338062805106047787702923071602564037982908311667679874023619271294362\
2820587220666231298513616764413329947810074553, 1 *] *] *], [* 
1868109708338062805106047787702923071602564037982908311667679874023619271294362\
2820587220666231298513616764413329947810074553, 3, -1, 
1868109708338062805106047787702923071602564037982908311667679882121026372111833\
4373862723392548909732486445391282572814032192, [* 0, 262156288192001 *], [* 
2826413470178454804459912015368678441147158702588664643793578498029637352264279\
074366473903033862543011639739684947939300737, 
1311305428546910990348082235393358665657061454357321792594961838586492319994973\
2085782682043059677918256318883459517421541693, 1 *], [* [* 
7107186314288344614020452077637733867492102043701714723595689836411258111577160\
3260678123449860412605332532076647236479, 1 *] *] *], [* 
7107186314288344614020452077637733867492102043701714723595689836411258111577160\
3260678123449860412605332532076647236479, 2715, 8, 
7107186314288344614020452077637733867492102043701714723595738459411485852806749\
4964795504422837736928772956650064325339, [* 
6958176155544007902888406904201454019263957201001547023985888533466437114231643\
8390973544044527970606653123876962992510, 
5929236542150950315919601262900971297173710375593440294298882168912696148614738\
1706563917818227407114509160844659965767 *], [* 
1614913200411149043787798436734024450909265230477904287789744710137563977275923\
5845958002461059731994397987173125324565, 
5224480974646054718659783954395535964311110474314730239719239882823780726120327\
2183613022780402255970175669829816783822, 1 *], [* [* 
8226620108043751662710579173063274532261542577467264418406735011158874965408472\
22946030242712472729605528067973, 1 *] *] *], [* 
8226620108043751662710579173063274532261542577467264418406735011158874965408472\
22946030242712472729605528067973, 3, -1, 
8226620108043751662710579173063274532261542577467264417974839640997403632703451\
30955925067494533419921831695664, [* 0, 112473321789660667263621199631724456495\
763277426310255720404580230687743667693956262152572245846389365715872795 *], [* 
6369646065340571636543932243007963065565130882029513333117007092967073145893754\
53446494374937022705664988611393, 107253545045670167948435654919978075946076044\
644500665631535224463894357681262641693058985388543547960177068036, 1 *], [* [* 
5141637567527344789194111983164546582663464110917040261234274775623377270439657\
0684745316718408338745114480979, 1 *] *] *], [* 
5141637567527344789194111983164546582663464110917040261234274775623377270439657\
0684745316718408338745114480979, 3, -1, 514163756752734478919411198316454658266\
34641109170402601545363502196989386771047687219022913923511324190387903, [* 0, 
2269550957541367035855213492568725640003794705209474802810441600177506373280004\
8778813362457737960276559865914 *], [* 3777670420482232392606400895955071988477\
5884017239541890177412561132045726352612236692340054257896114969796118, 
6345839332066839326410559930631729957524821648150649059928620697498119815741369\
956955344902444746696429101261, 1 *], [* [* 
2522701741977366762259913864595810668036707098395948687256777004387312558709070\
67333006276067325672661, 1 *] *] *], [* 252270174197736676225991386459581066803\
670709839594868725677700438731255870907067333006276067325672661, 4, -1, 
2522701741977366762259913864595810668036707098395942380974034489482417215919932\
23205193590043379279400, [* 252270174197736676225991386459581066803670709839594\
868725677700438731255870907067333006276063234791061, 0 *], [* 
2416481074813851497578603692651553682653934733873923620644281634579989362136644\
13809316037799018001425, 532970250157375627130495562322723233011358619760024349\
70626978194637578230385207271795177731155428189, 1 *], [* [* 
9955336681662849902820100637140597284432384597634722007014640888366959970932300\
53181009521, 1 *] *] *], [* 995533668166284990282010063714059728443238459763472\
200701464088836695997093230053181009521, 7, -1, 
9955336681662849902820100637140597284432384595892758644874373220702435911775279\
42742716788, [* 920922933678032132852107536351004160783510419574917667665626723\
257376771252689361149990928, 39527757422227214803518642851737459392358445340930\
3296262761411484496489519506886095463760 *], [* 
6458944332737002864072335244772481904624023172816613920197874223498380399532724\
71935382182, 427735294969762922013486591336860266459066023593458727023261365380\
291951312828328115371087, 1 *], [* [* 19597119452092224218149804403820073394551\
93818089125717494955358405991321215606186501411, 1 *] *] *], [* 
1959711945209222421814980440382007339455193818089125717494955358405991321215606\
186501411, 595, -4, 19597119452092224218149804403820073394551937450024523325953\
70467983891969914913496912155, [* 191010638870318383076704485502312796806492890\
4579861270683767285982449340760701182734397, 
1990574184838225166999513447456333889925255889999518824574096623147059407801056\
79083643 *], [* 654269402755897407438234631791047036615954116584819459887224149\
253647547011649069375161, 13826680700494811350128532211915765622896998669743651\
90020344632283158000501100658822970, 1 *], [* [* 
5599176986312064062328515543948592398443410700007006664558201337096834199756895\
7054633, 1 *] *] *], [* 5599176986312064062328515543948592398443410700007006664\
5582013370968341997568957054633, 1, 1, [* [* 5393, 1 *], [* 23, 1 *], [* 2, 1 *]
*], 5, [* 1, 1, 1, 4 *] *], [* 225702278570129719778800036438079652304654612662\
429020894968571864366618553716803, 8, -1, 
2257022785701297197788000364380796523046821323341824935044811609447619094488551\
22, [* 193446865876829693622301621129431916462719940475048188595587002858509813\
788859790, 10594066725998259210757854972750133510117680726585175361994009279030\
6119644421897 *], [* 4328821480777827213256020195882521500922705233465257723250\
5010231088870234043641, 1468756470821838446883667633640582112911144840970612657\
31772211890605498183076423, 1 *], [* [* 354509908852652467217667257936857431446\
4268720104647590621071858523574740817, 1 *] *] *], [* 
3545099088526524672176672579368574314464268720104647590621071858523574740817, 
-1, 3, [* [* 37, 1 *], [* 13, 1 *], [* 2, 4 *] *], [* 3 *] *], [* 
460641773457188756779713172994877119862820779639377285683611208228115221, 3, -1,
460641773457188756779713172994877119969797779084872943411477410533298800, [* 0, 
86370332523222891896196219936539459974278896182383241065880441351497931 *], [* 
222732524495874152364741457092522555099150809377018714187313911793329814, 
307037725290492046056487909790879921225751750575776706908679440467950384, 1 *], 
[* [* 74910845875429121963786049078721967080237718578818861544831426939, 1 *] *]
*], [* 74910845875429121963786049078721967080237718578818861544831426939, 3, -1,
74910845875429121963786049078721422172075957713686542651754523199, [* 0, 
524337153536016 *], [* 72292204723285813385191393960342551695175506743892799081\
834895584, 14155992477266546183014059905936003800273227178733734613814770613, 1 
*], [* [* 798289374836328829544231557961287081073608561880816089, 1 *] *] *], [*
798289374836328829544231557961287081073608561880816089, 4, -1, 
798289374836328829544231556514156673496882417270542274, [* 127352684394, 0 *], 
[* 202068147920478089115748181446346298901546091239829262, 
400821179209249531534492360346488156170354567966184534, 1 *], [* [* 
96467753485456513713664181953215438030441632821, 1 *] *] *], [* 
96467753485456513713664181953215438030441632821, 3, -1, 
96467753485456513713664064543932825201131460528, [* 0, 
65944753359198788671450124382081438803150090212 *], [* 
21041498141082012785010819806907835750775275062, 
10718519576713805524533471230918253458744205434, 1 *], [* [* 
4079934643005883836762196650921509467, 1 *] *] *], [* 
4079934643005883836762196650921509467, -1, 3, [* [* 14657, 1 *], [* 1453, 1 *], 
[* 17, 1 *], [* 3, 1 *], [* 2, 1 *] *], [* 2 *] *], [* 
1878202145079997615106427323, 8, -1, 1878202145079911503128643446, [* 
760458823107830449572671344, 1035476042746712649765183263 *], [* 
1305195220978375115567722328, 413352437655049864284672263, 1 *], [* [* 
849211216104118684673, 1 *] *] *], [* 849211216104118684673, -1, 3, [* [* 4969, 
1 *], [* 2, 10 *] *], [* 3 *] *], [* 166896322846987, 1, 1, [* [* 157, 1 *], [* 
7, 1 *], [* 2, 2 *] *], 1, [* 1, 1, 1, 2 *] *], [* 37965496553, 1, 1, [* [* 3, 4
*], [* 2, 1 *] *], 3, [* 1, 1, 3 *] *], [* 234354917, -1, 3, [* [* 31, 1 *], [* 
29, 1 *], [* 2, 2 *] *], [* 2 *] *], [* 65171, -1, 1, [* [* 19, 1 *], [* 7, 3 
*], [* 5, 1 *], [* 2, 1 *] *], [* 2, 2, 2, 2 *] *], [* 19, -1, 0, [* 19, 2, [* 
[* 2, 1 *], [* 3, 2, [* [* 2, 1 *] *] *] *] *] *] *]