{(1000, 1323, 12167)}
{(1832164196353222812165370886107807, 4210561175555935869749262995425523, 28657839071226607572928918951953000)}
{(8214798152091028646685037754274100585475905840758915756831020947040406280327695587350619455407, 32048133623935893657270980149862646131253765442538870523020757188323410241132234182646072625000, 158994489420323694199314228732593081779682754099567153918246065065532290768016627131330234203043)}
{(91165646170023451428795929210281896145536093473585864790546630370254900090098111579469939572926581638566253374545474063317552720088849956834101510950302284898104898189952046187188577000, 580831913393073892577396345171650647458386016711221749076262544799864691114013402449829494569237336049823183988492970827428057129440109291352129485875289967911229807711038900123370427127, 2077970190488135710023361692439955618674776400448962520509667350927512978712852454658531044794177692299712051011939400634802235105501672447679713181215715750455907239355437087536924091643)}
{(2535881413332656725139870769617933633698065455490651337745799206981760634232438197652342275022761965075818635532257546586739281162789044882055299829314687240171087676462220345142539828202568151193829166071104293528963405278020098765462486156813970376334136801079625559895913616034721803303922488659794837083, 24985668763440420955020937471350403639590860057057653314956849888541087191610819580850713525123883832815885337806868025657176030539410620779850970225528164833077854034807019601101932576116880684315177832510598151854277513151128840736537922061027914613091070531402709214915306883934296180784667286123020290327, 63985449532393215692434087042179789592801192605816740104184084678329342324652258179330725825896345081837376508393147067270084227578339951368520466820176716349604762147123104004193470608630265800374889918242480328624077882570379646924093467109771225912750794708800629214383964870678021728723622279418164129000)}
{(179035716410276269846308463458227131280495997968287814840884351426568750791911228275831680619651245693448468555303396305365522913050931825032483575450897726204702749288217782277355910017062686114497698515466706299288922967280234956701641357292649735220335856504229351269667103000777620040711270943391722176422870015561307067641512950543195108913796985927910230646175387703793899286369388153961424219662480194522504289031910703282221832317786763679332320438083, 2545169903253333701936482663524271558165934000272949641338440211782041445446003578741922724234734055401233155846103568324761721978537054397065212726069456537996531832119376062452415078074882251906780327505186834175705825405321746389822206719302709814515917257617703454250523589055510767204751908628106082880836316027840392371659553614697357278242728697829382468643102993819206296716840551873561516029691660014873529174826797722687125012713444500744408694769000, 4643102886151504536640158485730799149247348788888425539368321577622434559807687550638379012810735379174438049736387064828891774855461558690213226743863159746381952446495421195449364411109434169608303059882830227318660255814089482544729101325393914351486183896283114477325080976977164725784983017983904393473213239383542731472318275450111351441658256779344109191884368629768508797966454160369677195517825165970778892198927034506553572373358031901483634268752527)}
{(32427069067472505330432372130694528852523244176838596430625679258007321440886232290425245347606356663818934099807700493937739487473764023480424496175392056113329614894899859931030547171012906876110271802711918594324023530616641015564459896457508813524013840632432622123288331360304868482947965723255310094992018454033817590302479167921216402751460622338118350913678868844271788976794603051936132124377593587819331232635998215362522264444885194586727394490883879009055253224495502753019800729553253325722492457443460390453012947311787475273606983615982289032433880745875537736443944239565557018865014088297939475167085901185063765789140817000, 612923036512179917246725407172015436993787252262675601145471757506887688737143593931334905318399174471790985142727505476208785773115057285105494046485861982233658308332731088079270975343314194843069374122157801468988368593162820207475414313396749670767095461059427712902003846087095736901671044830682628389370476361912410132723134235654016511237639170708279930014371949549036349258711660209680228470642188255915332392651151596157791207699688075314270063858677891985469124477590215213815331940501138482899976466594691816576766110584794355375789118734932571869872449386358593742405298623912629693731712029349995263564201604461057672446273212243, 794269705654250345217392494103802613772006125008425832829262491102662411585077555524859786772181956240076589966134073943432114868657506130858319591712569139691813183177831829957695336800251410244696658750862234101714431377284259245642357226663256061395981639996770425076896873190421344751033970587949088856388660485062641340810826273352967944699306274265399892905464474069278817159957290082128782643483503859367015711719445742728708504041425102966903251357850441333626198092872251095640139165615593979907044057851069991592656537176327951178720682154819247015845328999027790448304306213495088631090374997484763334127044381132707661978732667327)}
{(15170516311455389497311854515109440016330514207757384158687860635284630253566629467590402076530797976652463059695940801957853640830798053072576121279663546948821089536042379848811638757694371604413897163196013149421201201917555706326647484620724275596127374168300002968013627420700345103624766781718398279496075075658680022816055723129692153120744572423656925246718224229677484161304175674313180391796848220447539186223396829740264438023051485894725815520305899874322964143238363832147384843757774695654011913310342736048067167659930456609099241178290201530483119135680908867595798631122678491381022806943324207431464726617780877959748182509563572173748181259498363222194197107265561699882421522513043360651583199453809441644290975401826361787349565638995522716642733140771590675840436138947337515366300987580463594492542034701027057456294274812551644007, 320459278306957053657934437756941289931011610251367573722883774049690767266743070494381523115377948383485661140461661427562177525189327776134206702682139914919849322024830560158878830342804661686593174635516016369615034493472263997735039087615672513355397479462538412674941009400905123150500242223905400975899767616818019276663060270881967357613207463975693852662237525535290566181758888226502038620901951724296382151258011618141713583374997268927738605401859228758929465229920040370779759625746385414169391138589963856869843574651013931605281991244168240561652796556152367219648702427260668481229486708061939133161802225568807441310515081597991035203215809508394978629610720048797326364827086341096500770363889104421567379459130686317190145764823117079186397220480941297532745857593427960182186831290464349191752579426663827299758073722542685562226625000, 348533852549093267627098687666526726348641408494362622809372124275744077401655118295265361704714378270369847581607674132876230418869682212201960501973398535767212913235410626798468669875775167075847597989236937087933233570399515749468626287941714410962442157371329524785534319683403594471049283719394771639347781697269733163467870460233719409591375994035316809165090817439376673494154787153263218911125359310116776477105588876389977518686442353984519864618655235182622369981549170022506169770269434996696224621486795253811809008403430794852612397135174317686552916875140101191430789881924505432296713205763580455798682052172167680003814760099401033083227302205656577986914109500340145419697649627777927837912139649933682417772461543222328402732810206834794580821086502646355818107624468775890677799140799197916457474964224373943880822135171988696896605643)}
{(18359428587661145962946604486016560612928263532860960005998615563491635601200791720070260161746885140819703272689126911642291993356253787259020979530385885687908303972547849360757288973431394426501640507873117379101513431181137555403269286931703730143359756588240540244825803080639867361273456908643322409526523883063248465510746023875060039463961461609615139781425098169864694830318657927718978056207847313954250818892202008352244477889938296220929764918152651770969541890602935313370448248192129674641573538333219747437451495216015317018946412731586249210115004679678070450597727915613868357750058814131824111274604065151518474196220720295154988193430365327667299027228541070634872961934362280602611204790978849425739974050231644674967854078713654536736757732335591644676491969948001380333118084433636074427889865541092562687188907633861805373050546588038045437620922465052903118553382316616470253945102506624711371280792290079228432831634968355416676970554431422972691856504907875187648957426634511838067716595272271461018230436187971388089089356095785533346449751277626416898829726769079914407, 305159111659821757526052938418056988460213984341610743801056547354809764493604559996747500427228519349438344198081931050712962322375158364945254580370944330845959047818436207464245331695884005413203464779632178624972646078971506803766836963496430322171364263573080179871235207059069804910535081975812302362941214382454464775712762317807990507446376138724253902357672841163418405723692592130994419481222790495598086264992685248339583804731247158774844488645780200596686434713059423419300485014384272824748632629904511768664923156588758315243954684414697630747809384927643567449137996164970918137102632508425631057789599493381724526785933188301812523203089197405584672618894844676047971133846044548524695156077492496726338763117900118097766048046430641987522655573908530203500691318906148624408959107765853592260401712472497857901730671965722261383875901014234876826739914314761725179572640457476835228568158330811797949561977828766208766862574976956557176885315127629147262529446882157043714590581430174636142279734357003559057069475428183967697394840667782891170141118976544213019439838713100099723, 467595991265972130246328016695404533801303244388454152110422952253158745386870287478647546964221916325442370675541380879477209515202329591734255282524872072592411224588145432568852812366024584292953214190964747189505136267958948784407221586230077790016524312146325916781707177738292998297325891433677893500020423612810368569752654315113385705032335525765714517166930101812180560600950182145842326682351547711415511527044431124607262983699961032313350446857561291768520158583681097996149589054734251657661269829896245368162562225967101883136115285002288701817928973777861825246446826453921856244523928108471954417190174703670827172644509843441481805836025767832928075944880268073584117634917728035145311405796074789860613084205228759366025501169611276678999936410760729433247809221796063269288944820856005550180459714777177494643815518101629752181553433385030129757569272012652930521376146738590450793072614276798932188796359770629421626783025831069510625464665577057434079940255625251160203058508098788825576124318956219144373168853765988242851672989784439839220031373809718324511349727080598593000)}
{(57233471805086589901435595507662064372323145152167459221582615618271234488549994135648626147350718913067329862763615902584392977957288065851967770867239301398444586369157930810908294538713496488980763790868200782403720114234771210166072362904272443292928652282947959543528000987770814074198123081720296543438311813756453434444041873928093405934307752184037652528454915572546775819468115246864980767974389638114829034582681210466036219128686543623824683025512595863974530387245457865791073239913221682872094467962953468049330490666870402297632920344043300432154404940167585210219197528812924206179131430178655693760158933905619111034638988345851376204024915545591462234771908692931301843377816809574478974883930319933356413700255335644361506685756811617067833558483242890091405686743443352506922116365044716932595739397262007946486583552147520941274333468850947457491040808241540945412007133152172866711455776745538887879757853621104441371053572629063097886935119931736242374221846258768746184224448768936196659239500285394136161866783742187822902038419993084805387658824284410459179167341690645774728300146943907575339692549881333731677954857820307839879972064882107225366834888135770441078477255037265638804349089371627573831215826900580520061840769015630554746251280563358196462165050233480650159895134124424638945306919043731077553368491756679729161967588802501841000, 686529125574285837158189733598287918528206226221043687795338170424556169460297182887461417768941335551121886306300784576828666601725972888557292470184114903676830314085385046046783570731685965116934386618411661037169436995842642357553763355202841292366722269455858114117996234199304171665885248035372773783317930250737504964052331647307234336557791263675544391353983710203184767157815537562985644648370915034887674623345573015421191302405580130641660341567921707511314734911686015391905753356431152394246126578900092272733515314088473702768957842096633008281904768560236127509553653789285407139166371547245218905562623331418774946212216161439659742104449439808050665114221561291504539338568688976408296916076892341578236803996183976054665884226418021358487351966113024000856881297477518649492043986534431909099032749299271340759186583226848889758212744383870360156804613062500511096905675004928177632024280340330635078285645481212934036432747690775993159993301308915116007043471170748505173193050717496088144066616645246362724619056731219846306000971889955766255103390456816805591433844602979191356033914843939013495197353156365261615085742964709334603875740872212954957197961082155712455802824338859322025387912834895123004781982433646142719741493398103214489374480634409150602013155906573587038578341631242379383548859324585141510872969067230251071006376047880876197523, 1479204422634381117366062897148539618122956479990472251362463550223723092580233286052474879131153993905817724549560453689653861366558023466600954005850250535479428960227198017180600465254200555597742697596154216596479712709990341212128555606694181405912339788882191781475363519202620962829058298874055865290658396153004771842397582409291213592714731881411124274720811156486728335638089891657207969163452829576832377491563259416809154984805129287861250254636391640306548273303581237594521248831979402173682064447010147280607440216706432311956613741288351877068046604322552015456356397875765644217854547654495636307493161548330897174439583143508742844989994594762083664352013794031785726207503269451953403362027038048537190503787235453900240089040939048919060326029150989048735487051022652442908984211044506635549241909381962813858743719702674328795039719640705908889501354203114619584062293981885377594605849339022854257176754315287641059657196454209809428679223792196790595465686840884404617483989118013884780440692733332834272134189902673697822062020660577823676693956887334597086481433988004958453066044393443866113028096438252631485704325746953692159609870966713322834483343788745718777370596163431335798377346879988479900902003880692536200772641245157117147061483112421797120681126882925331158162270929645934515079105360352920265810758753807467605464320300937027639167)}
{(455493958096994456611275405911656681149992461831235248726228381917178945453164856505175750189833052623526897175348010348165197669173358955296424018916660189303189378576676734523399488840002035739132830653239421178520329428418004932892634327615040399271617579632460298980993937039333041461788899897471776964287364290172792744360204796479902664092346382132556102810057058661756112399448382000339141422157161042971918904685401118805679197833221038136109099934917784650832071035180098151107984001978226820774645456881655811239115564082675849589428020206299149932032355401379434215765591880727846282654453503731524427522228065552178347759042194702029848959267404635577187647203814319780199784858550106534163156065984154491139711682024541356328304656441432994449454069250068420581579337257673144559832600301839113513489335890538173568378395831823599349175943257115203036132927303526986405872669059636894004248099125135558882119395577291089153723062861473004587217488196834211131073319468093313700442232790626801067805767632611218108944460920043691559843517045053427985483523597923871747466414948486149901137312256908194246039708237880840199778327176098763657605901675282106838695698849321391780354289252035080847414169928229760128850361599661656322622569417720935067505169704959926267190425441243594948017436788814402912598091651902507971445988558190322741831842070218999986068339922416664895581113430073997939727340229438953367074604902905611361834258189017066545009703014490109234322337301671632824552122916947474231124344455486365061665042990928029085934092005471203202611894372149744411531863208738167611720876356930424092769068616907798371920658882094266149206428047290373123, 3654078441710472605012480692229671297276923792435898086333153060284154114098451050640388936752814499989692428086441660851926031198200209626110050832802292207355784255253209014441562262806408182818789097514440273579027131564000185759756939876631138596220013369565730848375260759631796760558598569120072057127496826224177093759214836877760759802351902202419454113848632405764607753886187650283208228870333354789175952627107890823891702858335508148214911402511466217543519580495295835278799603778594381399028456761303104402086737815999462850789218594290861750499218057177336772722159821326515709350901464843227037259508377358875758021205680165225654883513632136388737653776168692044474668854934379471880463667240930892349666389023170554010971587999802303139928777567626770581532587302450941934691030309958441287525899100276523613866937110244658874124123224754379750440287206838994647086802631043639033720454946954938191775068981945619084007859311955712761940611681808758877781155128156699010071939657233890779465543832957014391601532179060372265634376103721821357952005452388322326920677965952620467570176456200618140987222421684985876639073175054549809895213953083696228461875771277878856526729371054396191526478303699584588746612443010608186932807995034011882857342331518091538501721252934456429863623371687548325788065979690283652596816006588430423288645189763041599624205798687811412092848340405733736685485060866923414324990052736097150076947160267225659032725161458394274896291956814747508135405415026285204474296848606359902202082355566098407242094525328748327554555893995020251546301333096378154308988260444790755999750721140408722816903124323503708917823139510312561000, 11029078418354884198084270361797007523892012857246999946987044130819758355106930960585287781733017265810216409880770143657111025981555672823152378194475596986889851519244111373606730933472267164641172085831292981326021984215149592390619286134905994328455085367833589058437486691471180624260950824759270776639106740752601292129409131438885092847606819939961619787750870649615266354666242376970974834231345162051487164802758994700083475247606451978438582608248743493310547230127355789974840575529235488333414513447836916366128991267706754287913465172367728743705036487744911027187996454857552723153491990945681031742814804083867227997413876181772177192848989305217514867684375401488540520023857981950491682672298245592337908289978218329692802415351483150231440574449159053189285723005550902531076317744042957687819338351810336527535437888084337204025630069157455791852422306202484806388450578764192710981194671491138570551313364308461928352315090214665227096886709712093970235492130256092157268230403511317777197220398032636306922887516723340351748609075776024292381583371470860392850427114736473928909597683006304567572606263486718985351535044198339327592839754480299340423147275183723853397429724316751499497885647603205442929600751080970856784136346736096773027058297507996138884896846764605105879995602265454809706875435042773661776356618940322779487253577678898729694554650577528854227190797637238720706461456417879949573264797330621063394356445522747101109414752156256330551919302637566692239138848356893006723223844663115360999973207364880803204787863745059207537623614356813590905344883506066918731794881137810660588611529924439362402663647792825373538705509727600937167)}
{(9145518995007463591817997555980284612556255527116754350257807376073107543658756540595639351153289042993398332135731482683626220226030062751608819462540924765616444781069936641975069628237062492707275413666519368614113839799857485614248340490511067974663092369250950944933221450352881989545778265775358816830541722698788158721967258170529982297556558458046296866765391065415400038504048040912993148909621161500905341904177747799961878199062355150682560272228929811611735325437232781843443156866729972228372144823441838394225734465127360831128652914555534755755434594006334371222825427353502875031849079613341088175502342910580244512868907398602612177341592940752907071745607948961381832623717793412061296096456862573065902421275991116394670695169120538351423136981321274450296959452460394849930697592803909057390255088244974579780794096091189820786746315853756467723248594055145971787662045882209483992481297656914410716022674002303897255837026669948113670340615939445238897067327731262418248115335937945564778646006878668898004729463272769846349872742979008467790262790551087701298129170578447805673168190879401794865754380629478015550965433260629641259786722296149452595761638732444248336682165860107381116653659697628802720551821271619163896724687382059514082247606383400344224097091614764178119961713653658527807147579417756813504357210807843842734922765481515784367433081273734789984653560547427882140207978201438671355001760254368010846744574212675082535959215604179904303964700890064329261418412142895687327525765410839876369584629225709271408283480703786616898815558480476099984187152891934009174116943543396068642913253979354425090550028076600339151699104524079757797442067704687213470852296290991630261651736058680314900982702515347043148692824341104581665973416442997905060965059566978911515411690996804528568949151436933268821605350739829770333449718375507340847756297268253053743529623745699130723728297887169553233994929245062596933803292998565218809148630176481297356694180043342421733087719323, 46103483022106020363860223249606442517988098656213797222102761445458959650878036308455590044148028269269468046525733680478014358485808772475397280544881836579370896190565910351289474368077595465261958362108414187667857297585587015915268954574282728957212812495010289209838882364848333332811462451273751861272283651983067504312996991367986681484469333231737601328180703284499186043907137751425205359346195861786972750079639110463498780590783511946275438385904307124850076352013870241797876561091170875622231328434194495511704073311493791483248264445587801242721648927188815081798786733771351243651414959071384220025861388782247099095872317670115961872979066397135826129882871018156319737087313516126299896716862826344199219854616642110273272361577726906179831649963116732107871307524077663061620735349059510669145589990619248635125772144501468862408297405048999995135064027857266634724340700863620568140213818011806862066081755485416266358221681088051022758242848412361403954147634900549203289085535691193192551579366503278176330395162422126045302958380096222173715933835705065141476209834215091613473650095051957215201429050020309344934559175556368046282439313627033523033176714706864460253795521380420353121934912934236200972268544735961289435010687195349479432936234126745429234415485316388501626989322613570590929875748873514763227122254759131746946254120579924567662795774483276012472465394331823296615780436091631634919497696798921279161283640114170819205466284216209598135779213671415427031133073881413088710404038715690693466629193697239302175818967527249835598884700697623787508611402086482537843904212582691796379367841933015158765644651012837702369289145467633498766415358093215120439603705033573201087185291857491052267220086121320417377869086228899369608313285847401525658204116101306630775941708695375683334894834778604951666371990880610969619501266822860634150323746631747086032389100347841130827878160035655910058458834415717038493964247141042476612275070376802780498905083352672024723253973207, 193767649898904004432879109593156870974686714494640498321620404197459441382983569436801926205490504012412362861922493341081507983071314803450843539681687859940782691589155919138907910747857864700166188933600457934898887107921257593793051027970112814248882083241377698134071359465139878172248259400321652237261902771856584572539779794883504697120679681001444916869119506759169832638925983386463539146692671037444067343528071158661762502498927534866467289189317501836016289330715893540876297445697334947612101694230484199439996781313636560356573719605129161510365655027788972654031532102472626578773850161276595803546803816446160242252518889867502373862176687536471526977106352853097118387599580589411045710483617429175874287805048386347815571584144868083213466811912794416347103529372817385417195768168403500484826840942621481343563868083839452349742774439661602129729229374888002656906069291736843116172798735043034723359772401839798161169663665526975013833950652918202911883036236200416267577907765396761818418409428122670599032268536110668864310410308720025785642238943406866619981929210016204661789208677882237570969986186255538359804358131679956756296042748014816755087459313883503516849648765233389979214130443199730593664735114238656057778766771497474100712535322797869654544579003503810155879017849815431081798452312291360522125173268906768692153710057043854809161270060066754421262276599933318624299411846200447504198789635414940650265672567942941787447533842062749857974668626225010489204569993176759132168733630729239201049874185303180526512299495315591848754395344679302628712011126415665179093934919726107636781911028381183994689132203170817523969004710596888314964639333119750616145217439652410075593308319728073301920422689441273298292155588925381554463843400307049431980530359263527646751499123670577347060832922875581903700425355034366692000925851784956272473239216654961924162584548938989552514556624920562876518425501226032813314123966531676639707349778153297491115281027527248969844622113000)}
{(457389564927317226286595605644946591455900739136113847282389695077193123540677397638155131508251243471583944989855198676378105675205682554367942887421978253233244185303748967768698663664007977481603861648483143870053106309251515493673645858000306653072270089073213210503757545052383502163515362420568362506006572132244711200714945125370054535862778226487526934953483316283191834182863472663384396689829465030436297817816758102143079192067115602258837207339737081770188969876080829957057328944112416417336250767360227310965187163681647183406166667128644030589023140858865938046779980866968336662289426763455780499936896103534088124459169639514666459004836504100349893900477483441105115914388867474480700712786305063138042614119361028170630732196258434812297714027321943931728979002592740858094158869537204500223628455922764385223152778919159089020131618487526108712911336107837735028323641892468437936782912333587378113660676375797504828513071891927663558611758187576056214236124698686594613474937773656929084639528690490694436958035859426123946684723291518489702605646238560061196796980580369705295967514481718869964818208101242755081380428323480987300694906954256727986865243368850655182093349581164119076759614038272295242678181575967191285391106494058188900024277610121790242211070325790668698148952822458869373741514790712607805216823097879835921285084264515676031419768501828691880348515292571624817851387702061732335425505341241494233722303822258785090950279817773107936472116857470508950296982830787304966497989825669713089240326596376789320319541090590429718445622873114678772057688651367922943896810796414264241819295713736296196656911557215315567024850725554727094372872413137197263566451983194546422240233604332901148149715314645192588156787026303241281823200484472436942625220347993792655549599647398077177010768959255625452529709553380249121307425029321965260525186335160030302214067202120382455530172110180179162136506696764355759216403932096020078875138925666227468093841615863190097550911994099037193685805397517962605158028084846872903776966889038236002294226935731296557880146260934153368042716612859601795786740210179996825320799346772925072043982955967359112692937030940020413829054840263129371822958606548174517306685276137743954088601500068027916212820423639955167412983462889636150993695011356791451208194417293278557741292408460174039162704390625000, 1382638048379000873452657494501699885473884903592146080336770119490845614553566604529161345341078091969908856322546725884072022433288741024073870159155066699528712745013338070670083451603115215949238054093194400695479588749276793962708054984800721557101883759682862705257686748023377503299171552697082740789262931465159371527259522227817714654579075477542148325873993101201354396735737134296666901687587779813904909854697046348474493744048037207060935338019129208616797591881846802737729505561948330779732840045309596206942486138999003184995506231690952841480393550721894838648049050563441210616840393621222885971210940868632329112007997459006794103927104768045704807818331068005179620969910492619562592083725466736225161573201593422461348814469858988089772295095041627482450815368377982814504388250725947117006878629150667070692035663333481123754861069631564694456232824754967825564830101061323116529925379294542934570062336092929419534066593792908240163144489457383595883531444194505038970391515550936189639974060074786312394835213038462569708067201368021994103427507576364180366318231689139517563107154518747871730513168870217859440254327711648541036614569101588191141359912096338783613706116832147210484531268332738386866363174759332496629588951152937531882109659228729977667193537644161323614712848549445170517580487295423317490452016634920627109540087881536811968041453858067370297074134087104771976016702644618480845936705516096979535421998507190138161360199847105163319535559075951333655629438202712501629596601769735994759022945520176580659426822652779692876620610597070490869408552229326714161804673238131369148064294537934182958162631888828533839615225064531451915594129324155861186665805667553237126017970413178474438330529365504240997984330715345797252937631111158604700477078843540702916071597953684706309426982610370793341388778891429711237529074719014354244592548289659678007664804834986577324382421449217366489379844252533622337889535558696733055837044110556170178426719210957507444187507941974476226441315794763322715687029435238846809113427727801391060376789139401626200110454326590961515500362953959815501980151255917454488446836470539197578683777332738621627135241241316501672303262634608972343720977759253900286336402860294850413735375835992661417005954313096962744912432877659320276822599109802891024308207048308663689391840893864567034460820148138807, 8019955569293802584323645805908785485768550623769879335350986177956333080440628232525246854796235623667142472417772828843690673365237891257297814446974708561754346768512584577672012390045934928270939612452503745838517162741196548512704621993938160074352334241627800424853778043606073787989394080286669227236285722974050603643414616728838867728747607248970431247264933471392043347833358602591781393821413118550698968109025496263809088039083652373281432011401805617790184917538632286225108128068632526604547723862008377370292323325070729952658260794908984969826979433759213519920511357108986042739703260311072332811488522557015858286794987453630280833280145187467301724010206488582120191917105376647710110970143575036527159227553343157672351929733573893556158049967415879093338416353206222446143946726374326152052221391860441800049480842893871635381818447815651407142151203988697135836853624288251545963248244244310100491847754602057598006764084113632866356175460234628208622380086528359304777101474134556212131015747564479361201895792819561536278080676750125051063648603252669541563822714223019301532109614351059443296144410304012699175209773241139237078539300669092332508512535922555594513334628117171319364096980085265793995330258593372331175561323389049154351989252809723884137691323434769443162370934467656591233352356014897631986628409606066663772578548489841390005390110010001006731319853265339729012232873362753118300395608817863582689436729690562414724892358093008399485304547795390045035965927645559626258468502518987833033792595179248621416986058465555765281788284932192261987776321577680425368503084543535660340805613259166127084760059630093375432786062123584163480917476294951290713788718671550224964226407124535598708923084828852666666223900447060942622661341073865503127451922329901871253376793002758603992963920682584534666351903166955358715971177530900549622324981962276870492353403321181384922739153158723387735096209729692660132897927562788630018887665759223563149614891413243321087487867266803213302022880471894489969593642221138741137820912703470197618981425515897958504717847409821856115797801460421853374327806529925056530672505913299456268670653073755357664771944905135037544873604766972573193450004143428198736098690531641486028628947649220618209490977680057522044743023528069703019385275229715025863995116883575098969588729267594699117145309886528443)}
{(56294202279620870824295983301678142928882043394431844071151281240174750570005597204640601246136933836456891673512013109187154631706656742524621832756803989803185640374371533961629966924569309742487769677401340517610625949394528086590509029189507636988476472350745012878056573989798752324634165616862083027292219901114864470638989904422370987580511005391660060393334222927657266714823844662758268153599666320597258119075241771544362051976501964019185781037144926522198375508077053568355376959343659278200653956120892697874350435145679924084645179435760315379184765714192787241510883929138208181994793862135551182137876021603582365319509724927202408381282966830925667152664579288307043069600774092824141671634317079676274464596935986213788801798678144679928175434968418016351727524046079202852400651958092694921226982571569154347821608490803526345808343020698732484836064176968015935939097217918582666880636117491773345272989270889174997371253788447032359164311734165754555934523440081338973277544625722556244783348083073810784416394970975179919759714482290717785133520828768804025754352034259570281327062651852491780635996956115843159829202895557933474213609443609228046520884521745015509547752644185059325434742065048939127823011769690273096479481252116721494751729233068737241882270961763351994369229343822243551309408656962086823845427719891459104315670910894390183341252139135506294456237722977001230803325931790153016353912333824929705079050183612508324918048334452808052253786264227646033483485183506719841627298911612643091929481066412369427151702428383621922448626732238804334896053288749848010877309127952065971336230802947307358339735994344887233886212875385852017439129825052151106153518103133010602161917712560594213582469991414558180145119473404964674172583072703372154770149820022392350671964379647069186788687090540814889382891879506878159631272558119135481266876330406843719913805020723086610565177055656232833903853520111256585633617024845691161418954830768410322701857916943323856313521040827432397080094633258262043183768891504565885791279867753001909530699300210391161938922278308099027910491454630334691381289378455213691489285595789984986949770026172813220723792931937817437706201603974756433278724821389448146317143948147389703737853171623046790071101051736016381142254910820812839591569470014953326249770213109622755319823052446955935652284172025314842206533829677115363109857169143122950167735733900707750594006797796730971032747674441915571772850950732028620923972960701065480626843795999567558954249592493322949237885776302702114592767830120961013639743672890946228531372701621473094790090989807301952913687706071724041332988597898871993371237068630609774632394753725647151840387702452281956551501523307355916793439270515657784759681652418927, 98929412521430382403008485019980260569667959996732286175767740571748421098399324542187698032998464296312492172380381165759727600304277584109882039869710128766100929978509972589403398094383389258259542851086551957081049283064497364350226949427421708047513282923443753759172687210761910888085163731771578553490403267363704666026563623126807212185965712079603024859151919573212996483818670698487339083002611778394920995294483851510681837229926841978271627269548635289686050055932712765717924429827111795108933681015381453921855057416819826799088438274466238875203533248486075904977806801231731474404299501612942202520121339310812945691470961811523612854323691250248207926840488856535313859893710555606391742251106147245692143358588994252084090694005515149376949440869444546634582313062012276049221226200506585742761736756025759296068065907952018378717209104448733327677681685565701156572916622653956464338347681443409193686353593617183368649500931805503646885099154007434478225467757653562611503521427599463353921573787982019536091707422629453952657817151460593749180471895144993107595466552317421369491636055892734682880025117686820749220225246432562204463235705439094150832084885214335469070264500508705080075102822568763239102699287392960847730764711742222001244177383653867054545314878859525593268604424576480333275398692977355535267073162517120269369816556308299465462214921565058461451195694418060637568130599317651527001810741400245205267771490019849775053296329554942749918377942180351174403038106014608241706412494145808798235987171734068377620420265448580879265340951086379758620199064663290565464228727861237025124889459905033225265992941081761006003636420335118490570221488972917290254010915858311415546020677967622321566505288084502428740696581456756345382375632321791066027459120150411019364766463676561699260900947529445461517449105913266135883141933541542652032597723653392769584201229238114144369828487098731688278523077340310851305638235389638184638592883849424669748994592707427919582022478807950163163044666872125147723131217274300199465731213314165677614789333828174742955031448229410700009575723628611528277340590260524725078839766211217013782138478574972287463828513071252188459221655727369047265309563261854696593893719940155610607934819931101168200338207329394077044198589793688792099908295563085614030934919974915747014674288643077714442651357916619230352947058652307489745627365488855375244043129160706137210443623547334094962920400754579921995658861727654721951349139092233298252946909109573287543169766961207146458265403032489362700265767205352737907635345967271510224572146811266968243497706699431865529337322475212133408641984999419795568768604580020082435289269204252150525057619555604013460004066955704649811480836063950220632317775537000, 781913740004991535682055082821752043035101666644860231873335950967777976825326651733615201361510944241423414432754164060429186013349762258682555604455571180673826849799161028617846181929206131197002941788126517489214302173557711673499284189243898940267948636369144895026762221179870430516517464932456659479753147238158294824883258280805204654272766397493817847521373996354754220618879921513745443621330888782005467265148624130091009878287803318508351545780510207101456300830798957394895752330649182961503912182470599499623579026958059023518411840308288164404943867231258986912279801003334783906454094096009535893651108068997179937622312375236159202484614566715828784033232685957532784522598809107721642433853092957434838337867365223329972439959146143079459923776726308281817329947902975235161237450546756554667270309188591660477567929596847689820713239966690526449110105290700315182511238879465899776466569954957260295582007617428041102600284924356539889168156082900553783068328921977729859843441768950335338878609926048644889714145749254552993006664921420902672891366665914929284048987994028567986088814682070054279964322798568419339744731470990496935479408692983986459829132683119362376135528842088215253234766454851368711197408092523817170392658650292343219039613698350940844351257965853565184720620905910225032080704335171459045006887574150237002857457432844479137248010320318699212527058902609079763646844007043419930110719258367392716041719465260953193118925668895383617920713082406446593882925928048547365710084343275012143694374904714924385067217265474603164572568754476483850638523406330355380848682840127248838123965284934371776240917131090139418273264933566513687728484301552032661193729410846694362679664048937317292114441144902743088464177054930848896241787021627189746772935241940171212159782851944752888747658670438029562654910559920839647782001512881878533708366831483699343709199173030459602228177445131014612751401662209196832972965016129348388725508967780407702190600579263984538408400609261757282881018896233600872116967073455319839720346460118524624918861590267561206256512552870156520020790201048167258506702723853968225977841034032132970100610070197745152353804178924450919034147703774538921094475326789003734868788936014141787243723012660422938827619047881396459360642087737262522556578986317285376385142762745032120750517943948673216200136328673072521038853427574388120486366994771636955497124094348705202176352485769988066009367484159483296301160075717340445032223381800730474734840142970738831136300919049366406179973634206429659945334310373339303550577290318084941516371950794523316977199610877880433907500972770292922925709666166778082639667139251104868331281739394639797383041136351705627035245080517975764354051450657747868074358940899043)}
{(16872361325225999286036035084289833274574498272283018007967487349951394618084452321119568762900252132926925137089656094745505261856771541016820475978106574573215688229598251354295884096484468439187393857819587272262885045105964102096664979111733081599995671799294864849475436850826691379461674589622747573536593492233930127093930563305086779644319635058881850975057296027218916759718849069616392378008443786381002881938874829911265612348933436806548105575519110462541322010982204538878051790836596718797877614272830567674390225411462056447226187876266537414121564313566006764522879482221900799732225735970476209270528198461823651296124681482414243486859405170345141881617363684838350716932752363402084393160133645355979030115383815914063084863248843324993598599601034078531920363475971027062718664707665220648169136932565631822980066499527856910083397631909311307908249064111852161523865077714080877888538923747825191615867548159383837856602914931249897744124780621066906515051369553296638783861178153692690827914053536623119423000522490578757613537972261879970742712534425540468116056246433028915623197098176033366545798494270858762753323703515362503828521403762131667668489744102821621824922318729138757590610332810201791591792709862651303768261908643830626069271295671344853156255609531527143488632038717088263944006362154739023722151075401153442449991078430809342457147010321461738229665027454198610503240018366531168742736954432938068785384543755045780713410346884733926590893980728991106290863008059040020630937395840030741449364325381281238038603599294745335443680450439184243973702199544677996943067140572692830920964520996685125466120061867024518743611771806548644412934430600701820172411574668340042251033805512449437636544208719561015626592020269560486353211336930079355357518580590646174641361464861882762610023312832385689403647625552416340750220186445336625048914284868606975950884217605982375760338398845352244596166800815293482701360296942414194846418260520119744011134374831144386691631830030703528324983207228679966586026882689089377568960250096673809682551277285762252961560276511172320890891076722317639903538891058397819289120879992844143626743727888455413787549395640748011080013911687824257787950515532799197677732854059823004609645317660347809546399364668043328635368771261004902491935691706057108256870768402202365588593108829520796730928967983733863086682266876934985285310716936903657574904899190192576494972996191237101205291140774240737233529594662030210632918546048469396756561053923632356344043723815058802512265409864924559856304355606889325496785727109473420921903717098051824068103705942738929794374987621048473126362253359394809272831211876487619385595842614312931079231474626662744129008515042631112835157930698836020403027613700405459581584438171614938828254907993959709164113129413406443923823899963813225119257562084850813911242962752970003913859457292246948868028340864426993191302476843107630702516745912799144280460200067197828510614100338863935266053287762867933741521936143947569035740589397959296832548641592167284461588828451293772739551835738540552318352598164396205567745236930043501625176625837084646794065961920773392259069430907989358094460127, 16973769558632717409846558166446495452721237871401855651055734967794734984382367533992090322312873853913237864455293324398573934112962378913978521561409197261801296628155507971649932347813149451131041983323161342944269564647719649532154827026205864790344523975713285972922288813545327357306663164712767015092289695626880002014369868002518014301151955244425860719744858535915148323917602275718148424193869735356743291634562103351122913069762220661362645196633922682023355551731251304098381228614220102932932323443974273101283678864213802624151741756426662951991814208972346975930078210917341497519714091362855562003237622713022043241286320224709740285486716778930525864230907982897751622065897523282258548859057085012809094312897743382911590972371936237431243043425989950926724726911894260966702883406885126967801406758670455989130747292929769043313172054715141385713419912818898231377061521111927159834406350736011901305046202159892431556085034823655941926413667818289247724036050839315042051368102616002780227641012755638356142222358227710254203463086797586950558656332387547642138909280309644578472032868843629031750528327616541375866878636225145461277786681276803922561604584529585897960855021431290850817047698099408725251162978074630598792037795458985757590106732257774319334586582220090205658366852683517384600667891337730411469757402299728284929934563374921417778157406291976068976338632915691302892763394800152604171135377421516800821761508471633673976453834092019007762175111734902588536202728276647022934392166229962648918001569587848177359478405150792888649533226428788181087315526293061996039218105675071608212780320036977175175199870961520577753616679523822782305731517221941849620693403090540816042958035672717585087299238772838819385010615946790033699204572524292129187146811624346568461870760229999973404457351787026669596509192158918474295641881241691642746212077944362075406767414479782481742503360728939981558335775045743023524297856616268279856703286131851535144476589269954271559121979374649994227644881657367571155726775899623331196513335663834594852807317113851999694435154426351025788672237605325250761939810879673617201857077577569708734441273382979243194057100885969643317409377436142233582143847265345467568216110733504090423233766327859090478239870589420662843147153609971873517755380324222309140184011574833308972749080802028768141374260600921917722839102354341644749584126162559619749218525094450126444264848066594827585038222775884320782702869206691661351171453436961991848747993076402842913932325753284613000188040303308428601488085681918288948820563412360797967946108097182856193343010274252643829708730826939945836657148786653434298099886718494149901947554275887002687368817851209578191392232537078953636308762338344880661929432699966860241419525432629546169008839427605636848824073049110898337200915560594782522733227400293410412889917235433512301593479064246319701879720695110584786716673340570512995285078876693652225151010754289177908024895083041738039237327551315059831789658222290262226264998222696741428004781073381056419951989712676825333225160729427720528850427978566199368910031260281917117543326521716791476665783404730738215037621611950828022684083, 179561327550308053647613981856586515994751821510840249012788165421355279668626341996598128243039535503953878066619546322261163532169781216613731441366753434855168395016102835920459442578354355534854338051429901413753406181147758380381046182586074765045451213264123377695056820035623617050833514094531005963086353169226931855280084480034488836818926899917780828211723073141438623163040200332068196149363497604641931311866854816954125732049630384411506853744870183129981974718689846461578292996684317281345776474949899399769218142764334900300582050364348486501593150315464348268518847897484921461064179323074396924197993487638508875028067439621146080836395561694824826975934049324747850122663721589403887620981851219596379860734100593462346974154331856437320230139839000808334752211872213702269571952466369274405620521551194027852040197044909781197524732968934686038245305785733761213561864929560656542569388277941306954439379926209392897942263193247236277294174316429563801734833119426897161491228883453585464344512120634989291178603025001378388205479454091630168078294332666565047368917210682026855275897439215572510485118502727954124828971275951296948717952237392726332101338020489906883759532263021695333297566446462779560508066486930419417708609545228942874906967135129045235718822813894056201276379556351888573124539996269669285887446329305415426093233589108430026294951331360723295626167780717664976367505794028673367926993481437109932325697734960289603549133918980196392621954913382029933996306085046848224010577905372429280049647144603949558361095964236916595016400856151134627538812595868585085803927056381700638393680494417660174814072981742147429663789173973711325934791555022946932004774131691819965386534164918860874765463073116886555464980291762227048414901265222809813413345852402889243339259076931941940307903893068564513899789503241925479081768720134147675264520122061515902927030531659105968041493521510839197551036195892587669161045274684054249568760029108499507268068496247291439684870168170585478444303997246222449210470266849296418749009938515539169267293300760257811075777934382671765410029143848115363182703443079093572503908218873468316202094379655974180768111796102391274218642440001164063608379895914824438005651835180484487757651960842904718675088489309843180896180220885388165931853398394218664092923471310761307900759746593462143639296627111913304739139557276784554188370391081867944402978946713604022106147192537163436568732997414787998004619021518884895531045774303068763703776373633679452998054370129379977717850137226083373463007403825205791969417429160933529011437368194106703966461917959486071662093657464353781109660715544038181842438531166426565612081775032990420835094274337622682273059500681820583114779400481385151500600089526048479619116281244693792577614323934424704361821886474369982447315147527054785686232927594174455027008634035192128496659358578879180893369511551867620967739922535694473868147933491976053680448531450860758114209896875726866483277094342594881615379402970131293843159107722118341429187273232091147315290180686118253945157985345667913964525587850959548915728880189675930023686588500186614208427862756690695146162049835882604563089000)}
{(7030170699114483901397726679476758860698200812893860660080807872452726747555905602562089047773954453995176715506264196899144185662688567761941144386304806350963111731620815909313121869442345428423491915640203074391174472190542214913760485312990933030506197471826050871431817646422522892671445922669529605836320196386006312072437293501013854611458227756304284317203901918561091860334122106827879412093796713926190375233403933345092308597372583462343926245622277553779622929320706549602247923033885190003896651420191643061386236424295396876351448394026731146461184856179056380501776543341505660281320505204316376595215760670400300048595223075468263574390700510014629245741256475098362764255235187110175734671280425081824227371795493502333855421144053397588181381144620649277333633672714004291558421306077857031135375594644803410581436189327433498889484385300158875066878391437947853676993248495065407868813339011798422699742732581052986186740319243312893469257085676489443618361061992500123301992104440971971134393359286477142352023417832054476997580173790018325727236151786158699424037895975198368719567244813412996627752229707839530978400459670249938529246860954140433528177573616084013683510659823009783241121572033793955245166709408684555235691726295851065608181385469758566347272731177086153398300178737159381342737037105478597726498432778373688654259401173112134300746438703203425454889723541017771369440886320676852535539585029360474940135849252328457360280506816535647432037046754695579339760873268451455969538236217376794366571454181679944324860768310665920574631392441714899792983867099241764291318014337236095267314286853496994902177054169224353948014905121622242976092353293191905997994985678871425355236805307713253265774559377140652688430499305687265380493720346687675931045801155025422869905171316580238575628695212902222368554567729253174427072220555809319144550054879749276874717214856821379499561288910214594382052126960895250244962180422445843569801890762801777829248592067690322009427730810456470067394854233906351945423743180851560321036881608415696333540965793437909979647064876134853070891496181338478353132351788921646251012040620557173860913070274535872689057576421902875753579596199943762763047381167868625004846024888449370756021169505730428763320175818330328309913367773884156611765448805517149236073392844696998360306880137449274026242773367641750681015666244443885279328622051983304708653915501302609835714178560317159631964065614762111195675417412715222842566040485334253260340057471145421853257666407376387334413302266349030391688084745693999911064777870406309928223055520665853996296270608120929839708528732998758833330666954759527232213989696452953457172056266979812285137242390563639104210281678279379359807906401810023157074958177311252828060375127177393082680763443442524010450346820847032131352488324170379257237845464781573935179377647366462504825021317372818788846448655682100030643824390455349656124581948787385485951714426996146544859450400816129415934211375228150324376857042662128830014442850185858760835289343262655695749355141384082026699639668205167319170233358564924301092352453843212132239331842671500182114905588468199162185181062760657127435909328987413906266813710262070926213921286901727061636593500226271339978172298537056990181131248386497715187998935829658855394997352364845467239369292823574719200815825471448964170550379224081003627470202298677425270031490934981848803792504529258467910405241994964895624101564187932271972198422192114855383640542026846729047633439707902190717562630655530235582378449790699437944297070448209923751489385712870727959227404291457131114495970634067122879351487083, 12209372461034857441597993028878338447050789873902831177342218538925852574270608865091185218520659383236911755136902268789414537678826403273401040831165376361240839872974452416376288811191303729946603990192062490005600506215029342009781019060166575264675436683436079184604883372270361192844889067137676844666917949543260078445221704965551187710741128676230082902758745563908153126975502838271298998035381228415816994019187434519496504276639859763463742059574953002512362786594180618564598600465960691723892266231124408866426355836942461445300738921495945717910923486205938890020333428513236177755549728513253962626157839921132118644535174589362355415650502223096949923263004986135372890869908829219252171156986016595155346154085558157210089676378241441195334262450940111513099597287940868170442944254439086098411093928133071646809041181322356320440692567621830295951622606689285002025388688599838962255046572752840732260712693866590007390926304007213126806044323641400635693853238945025740847193999191572247406913897800684868106715158751761867169129290805061722580356430207940933670997719557441451797664914670022465687933194752745582394145076530221938641140136534401111063668324962892593486826888064909120654568103607621485018558010768259382882916136680733807146185693730684776832459735208859742087633682649161175436926779519157234138358016056613867627630470941136220556502052945663793894826330707657874025929748213899515466635760540939843189239381000893350215558216119050043646049427623644955322178504097382371849432867815732046911384195021093332745696227254069971417597634682552613327572070150453032339598095484667009260885864685269887070346797946659181872516621289039778415777046821418647948772812810065618366088837577617337936969761896278778115696103459883685644528828578898170124161523933690305775042391481756217212886145579236705706893286472884847306304000662114231070348549752286820546221032895963259356718444493368809216080048239567441137527972480752114745470842628571312975864666005352011054125071360018698151845537735660997507104294975622830825518233809392304532774432761369612466032464025006458873144792901642061054628243848264168839545229096889663245819540317998206787517293007026108071967926851209989203989896663591286041525340971157910505914966591809605745756612937275507568701415697456044572261289866539060925609492192317091285162203013617798586478127968706913132220911852823556682990190396965736839529329358974870995157597648386479032142599595545701638014506794202613819625099672415149101075035334385526704165852032060143072015599977299348373489732348607133625356595957192098767849139632382696293268450905976399482062661435434842427307721093953729585484366553118514639312405840917975558069994635466245237152453829251402961478539356895294707312633711837904882188321203344631258566719761105141794204104596677852345021294488965149757664382525055541900507910698902983757319210780952287118546651660673346052976280949830731653922809695635887646047701288592495772236942459725768736037203661513190021608939829813360196341605913120881057179522931409148783975070642978520619449023153837627822594445327845496153708284655869422639334567651055651001991325135843889042598935160862004368779789772565396847556488441516253698502046763794040641737167728265796685807638589731645839746672920196251536650279702290799922986033141315651951035543178859368243671634520896065627981009148416089100794208570389824265588649231462940533851088287258818712248004100968331512439702633396828033160188694133734163810793039154847546611575848811909028015951771474467224558404046842466200530849465666526296473379486400245791984132691005852986968941294469523625240667009000, 97123519321294660534605223332506653825338847478360140047964235394223721197999827502547599917850250631877581439395125718956149544666809643423367385057022979566153042466916629285889069353938441137017748979064365559949209806589947609599871844838127557783894476026359573260338565859233803704499753765749822809066132968233748262484376792824514964594331288681327428609142011368308895274914513023871098196145648670475179903888964409030721939673702650871623300263657742249143156754845289053067354021081186822773882446687794103816786685112968801273759108341250387419748504009690420691303489546041059070792524095430510765594415062871429678210120271283322261554490960162303340479351440766098575822671555615768099188900185947255393928643277672445417331433954706943753434982782269785630101863344367016856120223640094678600953141621080347623546882018855824157077981213398144865274181948810961934493722867579322992143800896948937091368279714150878291179901734391653961833672922463688578380852648268726071427432484135675579593780660495087397512005903873376269185277675396776022002736090828250053570986754056654043384642489018578347904692809796206925108112496059597066021441947630356995437391821281940753023679989729737015583419737128835128402832980676016831206535196528703356258272465261862933890533545406118061640698469015781776321188299529355167256737818120987323033162816324268691555864035847086208064071528813425747171001678293760279346963532752675658508906239138203987207733303856630146195088488024513357472338130837410499521497005059073276299011923508956503003100055706664034276263542767801226002587927759553945760638090136742846905788676008502555888019439907844276747644790970437774361047571446410596207810683154372730163647410448555860940507453987520967690948439600041647742158901570140405131142730222686580379651775504987469926500647686396430612052531228539363622550323914682416384768158572944170585292757727502239210021791173883093073091553334148490969550416047167129962508990224367382873256981186124505132102929365142086541080989974258040791081016638706689713175065050711621680837625154352250599413695872819031672669026126911138855302109610167903940229332271732577477049901904829884264524944564580192969685446340958535373460270044930915781878166004788466583733679418449220721534967705863714288563146151339849133873928585365356957489531007857437784897697170181068846973144195775318659734652027324960480158875130355815475157381954035073861654275561216602318385052722110199350069688096867833343202593874392486368095255247081051107115774711448394967228744004380227361106468245670931456238607669571572908870594871688860319983007268431256871412759080201142490808998047223687499073324357000977178220651264011243439165169618893668246547780902944706722935465750937325419681229567295024033921210030862904333521648850100334653330216122836609177975700168861334801214079872014002398359803093142447843486130409759369795771422161964304110821028448332233807453711599788286027605196313092611621319294739315927913683462718710658678664672052219340959943852030593295116758272946914086577412730084551695263835539645978178935691901087308324478464487373027623089808544568321655108782546997739554452526795809279438165668517904855960576270885066676240149768583878037463548299633720903155063915240220910457815595485836005224539198826760947538545365225095091258251831380693646291329052878510626317293381067874562610785413830746914765375583640684617630673754519422202563225359350258439375701218523469289067066954757854654871059939227817924527533014653388903124825184585667314034464877880564562043871107651122736696362445304786196598279820292747628845169571120880415808671742945446727)}
{(7089238208385097512938890859637449676500503316306770720330000024970971218264116200033368270435536267701318247270655705453703756361948453944591306617271062835579868579442327329247457964869222929535622690001210608324488950999357531779355302962741533058095094309977416349830260853408402101819603428793728599800009772561694710057800245486957422710112906699140309357826593282847728141159068146788053923980479088511748400277009120030166957938306833812037507687081758873077978880128861145162229476708065856797447181141314857851399805693613714450191180920068259336756993049267059179406539525548374495654001177869116597592415205634093757980205905565310905251549778259852271489190259900312768107848042301658421978420095644158284797483119253961403796768631096485398036901955072664139417709256802565126886917998010481866839878492820504819831709563339819692586626163400924975126946826314683572284286470504423276538027834468663404171640512292030364557296185663838858873340153026338796216470584895198203588864405469033818638585790204234979161346430110712140775981426804509192095625545305956782363516951373716299559902538412148609462949080614821764144373543774720423272564907945217385228620966297964231267142993610518462811454721832867146606949430120290416091670986441056043848515538003068789872539707525831828335335155929403208192808212588429548442710351544223157269503250320144289547042337169700257041092767149865676606394938480070933997391944568086748360433989897552697707941438381834545790538139724941034867490650692200584756059847577382849537206238370463811443161603964534186280719773959134371355735488945866589770617140057404251664363013037042725963685406176951601997799791812156500120491363089926766164751848668600710660701935617053057090784041833148301416052767869888027271556728490553010394379395039349126974903654497333911243561459188725835419757190341515877666794641257645387124492063512295299800414746684455592437975161358789094918960984019733146168846466908441080751555363772896103433073787684121337084580153314876573383258996723552051794342753590783499157241534854565601589304641523967926612700298942191187289152164265172825546634422791545503378107680872054143934745430372185233951533828247527762093469769486402557186764601908124035974504202242726219971171154975323973948693434344836095176132241860267040689538335504507121838999414980137238190181376264820180039351032342862235347058720526438582495670195379879794149022468662848810982007678532795974719624816910894363219397529255663655973062372430950490019186868983327220383048963820072215453332694911240674972193517733360079623249774597694984751955863892572182725378267807578867912856963445410272690617241064944394417316950953217721688551627390128838923937889677757701829796355213813917750529324993418939464235181569227178617828060985320045711652204208894887577363383464520083391823088792080894496453560486177091080104953964486182808354782761227004213500783237971374341442941017496606653130543189284189539651730113532112075818011188320888716784863618372824371757552710943178540606503737956911376770613656102628172286325376063233134405392140508960296326775910780042393742997043792784424694733020712899376961498374276517938640862790370143823051790472012325241910672952517337486764327043179726969446446310433832701892040202557913734329781743094132123327861164277749420013979457508933204909853011689624123601579585296953212848939549642438768351961054253714737290081129891016720696757059404329697661359696351226241098529537972399507508309374212398870962014049028517228049359655212515724932892037006723518754346387170232669218624289084698149925824491658531608644291835729134027004913337538913994141455145764449496078097556007147473904208505397567117398169648086094754615661624197226736049177761924962790447470933742676151715249221657308058150149814472344225194007735433346551245488894609108704582117190465989214116603208640561092486146900977723118531039701706882875506380431393203119557951536459982272303791268178431653895235827679309720171567128306764679731974940089716243997481251992827234599723163215968762303588039087236457293578464929471333912744910063606661456511408464487145231920257000, 21188534185798235651730030276913537028900820321108771737713016101593814714399800819199708205831194989112064152934848449144552432356321371744076377696702135014438068926343364923746256176354024036211615651811278706631454373035100635842964642292866149138196373172258079078228639239882601890330559842224773254796950889978873056978450994286427002337652206920765870852185088305202046177288198266032832348239435674924704561650885366814050924859557835991380855222131482714877421705561568466603542015854498308104269714251979373811764013641464536259828442167660803064242105433764019050770931658336612844393672129766206135395818856700132983836677874511431245830160703000411578787931870712620984267154318770013480186248328180697568269447216002490357920191113487629003957859603534841477939191421010878637246181732959825125883369648217527384112876469115436391772217016946112274075579082427539349944149757006727699134061090607325271828931059110377695583111923852189760477261625564728872526363203945643309438807932143097304135857706640378637795305315248682645839524286821049885716031443485498764755526110830266711115077543737392532954316155161119307290459870116293052592189163349876944201407883274631779819771698239491861997504719923011587934901729650433017964769983235514101619136448772678860608221401834149512629389759147179805071285929592817934232210978689572648689468585761458395880756325498688954271144150949416503373755591738631961345212078772002327649607079039437172860142881346602370645986204237896791645865401767504654480415525709807416516012302932140484764726923471961176781112095241449119507673066921911790955864900180953392577357893193962179727250144755539200556582918035342918063554102709288299488557103196728880272284295015059698224239670423474209509014932185307088760745413981959183973426722943322169142269631589501776345524127336649047492654707140962228005656930471545517628043905759596677352881771688778313677514963424216963985734401618101692889042683118315535447626624780931349026519829002711941929109392613938550159999521216056444820072770386802192938942095023389260351647207725400883980810233484600237470144306760541664730193620066454353833924616629873322180816410724980096612920843056193726654129605689546073009716409589779928355589164741463153123930354122254653256273164647219885632256755294091159639542779275331747757077868728128170540601085581858131285823598323643227906144899668093649764752482338657411557951665645297637673543689605457081793094453656159917010767215276178815593994893232440379605186405632725389471345113091633710404707119287298591405957523061901667545575300857347219262901664632863582982957731419774426961314696646835881159089031433063385995260968645968144787834984336564261547822858068320182034624640978742641910084154434933391495131743152625537379020620251859216892200380574305159398914699394084386994152651086855192404258234551497662995418542969168446104946130901300867963074458302263961250351123931174075491139247160851790367764468996976785248116256872888926235316287674087697156839730848371728826534366588096879193421238584433766865904563898110423958128513760488591495778364197996065020422806669661577317679439714591626636033595832186928784560167525511126216462835145459479514632459214920755812152680758682683940159605255960298139111629520261366493900913820774065605643605374201228801290547658527173534859149008869593945282876317385683766703830601880254727985709525124845772951990539559774816721486493024223341947772315975938121875775559118587191684590612796481546104121130213100744666411816770164789433314829603501913038964492632491671262859205998208134424205682150626826625021128202687123330838732647908018418624253242456530015423532256531599057831064585538548692527620138022282125014282158581684588476084290538911655413625109265440771010814587797537947548319036347332063126345653128444013141601166056862569367470306982138683003946026719602454128283049885135444139708793798926659029389037233534803696067392418180667079666003561053513991752489080718293907659937839927783019716524554155727141701524313102231251056266613113117286616343331545134458797405285770197496008362773591928137795496373676173249060843, 123737886931630512318780274120373649872326839229249305045700848571846169408428145133338294036736691430050773464240615878608267212786631475462978655039395612511766611401292705376703281899065783651886243789018824508511343313507817791984408569139199722247222460133283417789982936732060908842505003712019246222500930513500792078845998865165556521756706591874943269580734256380260332322607317048698976373805212590786317700928789286922603382549117001939225464471560852841062580588350656358099033961746701886150612644609372382099251671122871279513550928441007321576577211122281609543570620000702023654422861376704456771387420648228422623341100128212615921092198693220035989520538857458323908010669259626324900659563044332388159618049088912247302314121678831405059965191619156701174392798437876891549395915971253140705946227592425148536253216514039657873927824171448832312918298172609883053953074331699481431767461759843995628068485359399164950262791045050997549388393775960825806138150063065153608836128942926567562972572894911355068650929581618956049862884832432409432289176000645776445669908270180761677351532862635350026384932329165900732105786036849660444520372588713235763593711006705190922859387046132995982630516957813649199441630767145457690249523935285337733675265058302937049158002010753440014195457984594210042662253062555588329957564982862754291386451523738582475758899304047741742886036784630247383828107121358448242438107014360849451180008770243441845457876412028741993844219639995660446950942984969139881207497007189152221152857169324565032055079115359603696712102658969095198074232557667861947645293405165956701211872088876425065906761759209799356774856868950769906518511985457260782005744666353419279146042172834487528348280863992130358448259683508208027519544974605966981245281303861253661339900114942473717405486959122914428710844856953162376536470568539135633595980282992317929022590089195734979775957710678952934222492337378488878284636348368246396681296051228247042629086312047931889070155665526572042954103805961094198675610951958200892689809886461789948940035715887897940656843542913762290870429779235270695741520748724158857866959629619813492055210319219079721033491741939600800221299455407275680298864526667556556162949231284112666709393718829496602539438001940176339489050402494189456472227602184069345232389721691565220233518961446319394423863719913483041697043313629106889346753962862288796970875632357039122455857706733495926866537940256907399588864942366055681546987070256341900356933768442257423151394571115566685858703068673097888779082264483223099263296636679007222822072047637088094582475136677138191841521797408659155130870247763799624181601488077831495263315087064525831400071128629488284044820424306491017575120963943161222369982738448456094026886033369589039059902799973509634666260734801274827359874023642307497031717368998404127093895190626370181319065701355768083975510792799787413846356635115917663891743512217454006569348025104539568075248623545666665546747694685773760871116672427370630004644606812889399876752438363812832198087151631163122286139773809023549095007183903731709388533565483479735455070052954896578993696600736157444704750273558879138455375558375061280440948022771596675303059919131208061556109550904008976008090333986481206093902139324476107386379470780140303890836046823723843480014522407998337568593141654933853873472709366995094871618043549173695229542750343053018641949940202563703131972743616246678962161949221591832230238041560732179089926506407986364406884227463387703140486750973506898720821205336643526585009586409994584586868231857305283341545697858116101983003264197154621244812722336556387705241773389580547703491048351392010547213856445693773836660916675643229841673844175432410471610263363005746493726935961501273779337891628293671636706634298385591039270714098888737472372451219351171901011826791070091944454221364073626808341161811214200863213249547893967114881269032897600725999523317444940298906782323504550069333565020213663086698925727473661618451452199608321161431223260043413606877069348906969949830586517203982465903724835985311322943537027632995507504140739527)}
{(17588429380518092924898799245809899788086348399585846425492627685680385678224442819142302144454255210085445836838159047566853698476087087852308609160148355110308769352550795587534640705342534865600884610236218219614567259254518849815760356145100058393881359694841378561315370107094164529334088941363350283885476022407600182867259025854828150701793527300089210872476730166123285167339133362601939520790616203759637674844870243497722029527471359321355863040855297476351861015059636890067612671103018208347421816559116910707573372852186183543360640203288767686074703003110046790532865147769151125100330312857484976444360989872675188997735521904748084977913098493714255872913213670684500814841217789428274915133327132311254910690141805524840092768026472321022989564754806285295452815086728051686642655342863496792806276537835577919432509485463992136560916192848310724153218721292182992401708811628462249306386918562966024730355269804124137831883169770708453086953917670720439982678055792389147189396630751047430176241901960373938028418246345007347404001468211003094784100966993690292806380763573752502375812602071188118467534331244409592077262529905159205210383450749438384424940932292202341148602782968775763156470401907624210973847714312213743641310883454375750767113270378565872002147256409477764670948832989010248557561375463374242769329131658505454870821557127948351780297456613179432301562401364867583505064172249621259249006059578012414805393649508444208893870632763553628568728652980719724015029743001864686319588436510667248300361840436310444832921907938128151397827235905539772986893879375707469698295177402705245482005935938200836194382711030110676065557918178151055276951294569731367128039930943410029998975315071584650639374675878606648590696717393882103918373146563154932857889269273979297458797069590338574749496965000675946430384957713664771730666276219120297045562040028820304211230354559308488524991373494983889639830563701459338862943198864349338947336120696630150239581202028657499857034048416925157996559607380905994381573130218935894030984498468166896670535014052533555340114697653087294244434815447299023873861458501704308883741938060444285137592228214800328579762073191935221701329516428567673029298111742082124323298937219080151817855798974741195039461550730267088806009492448033090753610562691019917818129341951370493671057001966248498175227567532244145613035938658576948746484982738417624481574442065644922645234541713363140485420332398462983893907592941861762879311801199715720559836340587446629972581238248239825919934307415988172555968590436706085036383853870719658667390195207893866320576723175144063308341717487409240970438823529250037593161671105366156703793044940226116320050876070825412361068216847143933358123816314535868533832377552361507502790727454972757443053303973861038513556622750220728671549884481209268977660406751673986816185773571177138174352081371706857408164843475448052738339457499961387480837700185764363497986795474368631843358780380783516467966872756954268416106208737734706376377951557586442121088744788166228867079291102711608185618671295911661278698999629110509536247576329188465454012456035945189106407370616008831817832860163751428545693771418985734310860268502669102950886107545013958869154427440221047687773925553185531424599721980226138594931135854866277729352482746999039255322347916343215409028416509157867856878404392324719593983876416303880995251468578981578551827148283266791805530315306862737479209735720167406384843774878993740348101602094472051894864647992364796177463244883892294619619819428463607042510262409396290660007499130769906584101101084699561367221761649803346020110008455429892470832874150981960700511257692118213873666390518376075561864468958379259544394279547270580425724452501692937188493932262673393594082368081504353759636945765398331189192614245403697266725282463105739108471768276546235190948914099285186630322340145225260307126385221027088949417393846000685978694458655844935298895966106002149916452993896829668435378735821343868509822073250218590808001306785930941642898460528370888911431124553195603874740726949394578525672880115283302967595355982210728837565036425156148559401669797937816112000211714701699286479620752857910208373532465056666681260425601669700055452872472135510563978646846035690415023596624495154174791519796624914132627163474672900293061117549308429478590185977867115858759730265848158318572630526313331913235257227126426137188866924974849925541101219888919644504781320709182287512231664636198902881490238807267948019527072475807740926388802850278967490862712610726016588527432651143057486019011752969008024441914574777139281712489894091277504607, 87738681110577569952406961762257316494427151541914868596005212606331039935965929759023620508064303642401342415317783665381061204968531995337286381798637653308964202564155567605767246213847420085340725733683372842726703880550700464574393452489828721734345455223150585803770305075502150943732602505178103453573374375953930360517046738670698587030283117377125302664142474620070260908098857312225642587261632506390349813128853079224267940195450781352859729113544715889153867471347828621085190320263423227894524105175297649210775472323173589085221556889981882678931532988499927544570295230638911540127707051768683789045571088470726217903428471219367492230089905914764131440029021888813381162954770662464460136723438660805886224246380841262368963041895824857106657678723884579070087835448271107748607067055230512074715484282335065062087625714704793181361533487740087717809538989099481157787809928861371527691905372716687327002902002600777601460891117329036613363895059678922803432774191293782768915172249448277248842065537029984989990655301876705975394072114029575189537170617498464491044264588841563721916196288812178135223317214047733564332280863348861085359630683973051979401268005265884901897550068723270841497230528355049898766440009176818025432795122754200653249019007221435613489176845346580719731743048702794609683113190609135648637545982892847033613397443164853761235298594285254119145848238712618917510150095214289295606140244663425049760825257770272153907820347273850627094622320806691393181219925333357161639182721285466064507613552357200248490201608227888436100553333876391803797892110806156941031854970615856731213644721403867366154457425278243209656910227261110650513658581025511917041674952790573789483392305985436204083794297677899866815342777438899504872825994361598649216002522835779475418188749599874932101818383937649685013841304322210180698476379452923944596954350927056023070888484492359504112001387848273154495582129646214006176872662306924674591732450596904401212129286973022982876647717893922118764057817071077819265153307865066210699757350211308838896880451980234001921448493708238663612562379465949044976089817678758935696337876853130230824742561979040371149641782336544573586263353326686023571231543661923952116154817984074342439355277625090117185175422556116845571408366071832878462065558173701348546240276541816431002430417787127821189873759631291171867464178544527103401777609365567229246382735066510303696129161010894395638870859272206770152968685492806975888526618438294676637284515057420747673198692360761076846248700730141095554587579957180867989727847537277747413488313112201005153077927993489456996498706467104032816767498927971472240351214074847538932701817247957301954737470583159893851825263294779911055503077696958998024550431372621428732902121801170802983397710441785144438866119767278448938234820453765991402900226215980180392733990037570256285630668652349403756157791978943874884886031811567127168656174101312994090858763587759934840355370226982426750050364997241836693859876187638450152153919907659829029237119689096029554167937860082615713559331180684490781238502743209360303118305401981095971573061951009674361146724787464513824689981758453913286478718766314025017137142097131006430886224753366969314323010241651369526472494673092652222555879901754167366848202289975952340948731651487784602909402965712630306178875478481707526246383063597888699164957645987773090485476367488930313140404758378775771502011845089787566282520667229989207865090111243191259322456699723317683256608492602586609270660754186920078120918775623862023198319575235646787901068248359439018014659047158233131775932823484870929941800303852532226014979262428184037123817145901219980908609558110742881550385825307917079867231029273878597509582199343108473452412876148571731651435488043796408711121798231204419183570350605013003506860970749928909971271239353779751163613642204136121828212863506495915194780271030645861333613277485386629938977979920221010286946125529863177999402010783409045041274204944077666574705872229083513768174277713281365539073999209440883345229845186753195883524950111645744654563979270967024984523105293772083180513055351370701820244917079921876655366084840840240359351465453729811381997868790856611014395816474149468116340739998803943688183536943281732302527562723448417525799992266907648385961465827687237280120696178783195606474427459266811765746831404624446465489640654343179388324628794921388580454448728470717840695298805774828420837649486941353034579049086129802209563022243690685865313747943516894022363299768000923245806593089817297774192423279645680519651845777730164966037302943355339195506511545376438536243, 371343924500507438336879594501674614296063526286106491139605764174715682132603408684181683745704872960035701998699744161237184351482276160733080712312030796471750345028054539767205703495250725280512728390567201249345564276771677919515348412820471963621920414671455949141333517206734301491673748832946346192747500888487486604147410396769922151757534019537008759107201425818723208123653388932461336804364205629667508945288798539153309606316065079144054711087958746752714323860704417720225874303822235941252721672731222582270294165770588823192452176377736456550721210064996233505101978318780133282600861351702928579377202949265349806878077548017355731363404343533977934163617699852323382954564510598979115447482470557606769921723126798279989248523124396172827028511318209452437514180670694117747916635151893308391796156927162219849070467142551209576245585257411406921762187472825087255541111052401234475055697114378139000908338848839543418644220779486217137322109503862145937164186604089650522604177644128284133667217430638177960168041605906648192101799097085805407483836553887412374866597706302382173446806540992492228285326101093178959174702649961690083338071802128121133668793336807836275476855213566420459314633407462189428287732383750988790684604738956302339010192080222435340384060358966514558593028312915272691465216661776956037789633509031155480835217773304964220332708348076145866604912672991748553266108702896075995021090163328855388092624360498141391626981749363408439625835631104691464963695890270591539346780905702984178996459740586946541869453940290805108980840905492406961307420206817024426129210132806297086117799692864889996644255842238077229046492846040476348657881431200320564795998859023455008894996305186010832800518363699735196234215873349045776200612771559414685824940750586144609976979668325568684576883791695999014424861562460045173201089457014022288075386201658545368778096907637274290997155228102977784321042202979456699516322288880371779067311123709453162658272502423361177220071026467741708709344722370292574962319372313470361610899955483479859088074966676374036553333374312460359705685624532782942241914463556155487753035648001021961359979680038824766490045807508886340800579822108818991516371890240191013628225021601636941474398447018112185699211284141013602541909920307525515698517620161476038328358354825967146997300484827489654530004189224250832560722355751999224611491767703213701992993105540254918423598151643824807023024251500880223235557396407891630817276744326979181974299692704064585445289235744784526273520506754274506967926298366874450991034189256425699067140549787030803464176725223394777536082790639278516670580782376248801109774369135345641284395830252267366272569832021949403615742111737758017853178370492140259019857683901564079432317255946758928772978998291441480195739253196241631971695951136851206851945010145176945153937657766862338491622036729613034304384689934680257020332415597099359990621152341977398816442490701333687259264735492847281355626543974520763336031196878303760549355197486723997941143092277022893933032624095427594822168917019024902330867312955817462389082645750134339029311382500775471061485056292511224761340589278148147138118676438346840662996147892670796984075184083250657552532508454226701376784893607281714342749565866901336014411831987296479482684554480498317119814619111322798776372295810166706735162456899972919043187241761353774115779723240747870707624260065894628119765891978004746347908757018388470399106950108291744042856380434333059800237601825040627454572681893781695099114804462741910858552163130142924195409312610230932418458322572199155268496564711283675071551928192506078436404221819930580179966195186823372604849716316352305833280154044923172268037498933857037328346448473142027860609653333893962663998976188345078099753890892930637155132321035456433713241893825793868220260487290607051015223921743442030751336292186308879226157501418177071518656601717142533040893670520889437069897795107475184225123740872010131342770529223446428656412009348350806660841453193605980216501102012068264646256468696828726248728165569741936797852155681374829811543558545354409304469446279163853945845438770841159550200362347708628093961973706254773989805158153592788152970758513942298437820292528363248853349184523840636922370937799048267546880538064527974981543801961736435089030862832171203040532466594506357198800509676682210099279958194131840686946552267583050976413982402614119249122463430547229796134584626075290592237137866705460922526582855733385764574143241997600233398617402347561514248682817871960616564756183491359672148784329970996369918255826347615669199216111384774964625000)}
{(108664937382332322421644178934998378936263070669381667288175864012019097153715434081502064202101045737161996099180433535052014430541345657478967509110521290726229281824677389214657076214910962593120689991022925215882365837438505211376695561994595096857956248002903838493089400234324369804373505209245396383785533174551175496907412695136086853886696189375150261759414297154684532774561767606388669350956707387149888653345700429875557736737430770470319967389077264477182111828104972282758361009809186329240818609732413840525627342929230527182160370566472440885408837775248125154067299491302469313754666725886479814352758048018980871670936794292464323622034490064845684413028058777273260287361645682017976118239444664505023845368189718761667887159878689625907379229382610820428620054984798498881609303387735575909841142733020300264764575239897922731663157254453563846091082304326971154588660955660704196275335108232623986684572726405986383794996568627093480253990017919150325732049725624208264070882509051542285763970217721962254485496462459245535911133652892773513434279842893962804292768341468428652431189047473255218540696396139857556041397795203222205882250083981151826525860252298092080574895868334335038645627044720924549435044860617297893156087788650880248980903089827189978402481981472210982099128599697326265664995762771976837426516120592185871751314268153651040765354419997197398411936254967638185827164346273643720422347235484505733455074731328023995677018315947455586096831776002580689407362050446511018258648739592082074416885560066838236063146475813071873049038549859716692987703225690142282145178776798810613521385107786933150902231144964918515151847295095449864027041251336936240911622754258509649876409533436625312163740422329676785767986435401153747317332912110683256726561560238561238127020170481416610843488011334145153848866122387116115735869554723945899640084064761140248962308658805447296877893733702190789361420701145980565805830215598530713304120253633140033931718638678322381624286455231814860485636525497429566821704880649038876298594427191521164108435429208646578636639713965363360931231793502304570886306827779579082215075086537178431544671840343790806731686632470696123169289130500924834261650137554417188469782642428640872890191176345982166717859126369689826180809122181633708398078584346435910918760430161049855922277018346542238394939535804866510175670063135169352663989667142338409306190279154147867488192035886358820874857848360477053404806751754604455547188729603242738522657977318831397085566817794204158586229239651063222751735767541889334199433831816683183993156095830663748836218171279368951329020796061028886195090764351403627540109043615277339417659097276478589117647129836183502674220975903575234778346102004132310357672763081377239378663894627812757106311458857128288654653271303540733528230176168418745206184090848171178049776023923923333376205271583092102334356605099325825500884117009465076770977776471923315557081723643696143799985208642466228239683700727287412848082723869403815876439124049374088379439516365098758789908064431281762692632628757203871000187144976788065112757388463893951009226185807168827194074487429755356701425314454451381781971818098833839391831298511213320964462325961555277956595099168321414102599844621347329286841436018892289622929807373573534560672554854409615537516559658711030494435960431338126951879061295337864937799912611184396706661703224101623366220554410550792229325428387620575917728042081686938938285593174951264526153661092847687640584037342746677757813852377685550296202236034132265144531315088079243645099762209335243344061050798754421545928846730701823850819573794569781694502245266717080501933809615338009389758343230182171617470058166483970869025791351584847548196171703848302480077620993293014044999509493091309694749367242863408105426621912103198008504822316487601184071080490382106483438917365196273595290881695648120893939919925997502970091677527854355516927070319846002170092176992610647509455335493222065300710060312917076435399818987149217728068543366861310775868030532733703491285102508650896544797906409489616400309259755832667080632829727689641340070828571547294448298968746758757832900921737783325937547835841745107503563540437974549930997676507049629159006385888076074988006736469563160829098793470140443371006435955923406241172280883030618852738197758897280348667298387402172647346518837564809037866544164495646580567927009316788504146207806260978159361451690240865119466046293149281176042188435546832402927947490301217423065037005125586394766200176745626546399992302419743815863753767571828612550867672663613550780980656174112793920675625654966359269349178348401747779098815120770803432643323756385366007844231493480184265043051640087739451584903285028235136821019812935050006259131443576451308519304245178917913749158304415734499761414882050942717637527373222717281824346353048968041040390036877421093805297299457081240355902995325240326978417696081138014825388630869349833054541702186353466552844704031301460242855296753484426798195603973285593069953153543183984023703202473416344624428351498639440811253189611637026669834198676883416373889722536599565240765007089915995689215665750070486864193007, 863634235201144646294041779703569572388482213941657079459766204005549582326789658264242184320434162419278294482299320761425675701629725488470823109228963158069618662351211031150469230816441212200462179182740838270361593923632004535502085992230845596858212768955906236508840797178313417737445844604467674314497574904552704067233073614380554124010875900609054249829815706082951246207495991158979207495390921589592079994590077498388600878855350431217963698865862547005695519035136714195058045662486554528819052376274024067084963954591517979581612750608947571671434505732573288936863869378634868690386848928545412269240585642966860131703851331166222057131909002135112287185671183304732769238014632723318785597727292999445856621622607896559806295971583244863634064106925004055919008898279478811075086705003445952292205457963747032387623969960337650528277473731330641383447110583185260445039116617184537564823297939538431289872052795305241040263968475242148861444217813039127768374317015144689497921787779719672462600661145083328668299867270146479054653152105318813686918132942423006105758856972328960046574584445877174395352523124360919375501611501303374956733961039323349472554273801704865521934864324722770663859608482636786400919622993757206377487634361303174556326838779276101822116757980884114236290433053802076907725927487628077774628145841530920272921150373436737570062978703061845078547614312575648819463549638177614366078278172709179168725630053765310268652012747073457800945579721186254462778867442359316161719906564679755567241042910882340693311181494928584920362177761880114336889905251218815939114109972857931947563800125862896092808570820935788631922889145341833101945432868488414521746609250886053354915632864248485884248372828300501298957930907465061994984365947505000453347592323130200126432482306673041767760406336679338111028906641156602014196921222963741269527993447653969345988357674490206826314901185341913729628307968806307105693543650704778517412067073935204912277459859271085290955566641946176821185508204095705557995799419865149875340315660428366027664275073910302485065811144378835309260604729161386104916993064269379826922176393942441902239264854853448769590768775120585113837659119311884018580509614903430764507066627251433363372235022364369203588628353977423207579520810994552459321022351504978349733130485625207738299098005127390138408684116662956077675119336195391180097293553084727427192927234041098084088644592392412850988358527262747645084086722391318886429944060360959161723392435735784021896377129419449927206654587317219875891203110103330746510026246165384522785948215025247926299395057310698836590552458525727911763256192664473618674339798609782493769287505557199536431994416156352823779696432123989998284155679684169210937784177748782620699090462211818052342018855915987347970189866259312367139283705023414449766241220115665109180667176248111151452329156400767100826261616943520203589815171626673348430029144792112663759457642876517528016238009402851510942214862681043902810442149733765097854168561549286760567643689224916446324721261616241996492247414321035622537997701684401963283344993744346699331061550083827603329298507457111834330670407593438670803708999931063354760981755373961183849460736039100182289786651968846620703462030096432739393309943612668602572463154330386498931331960405291922015976584552803750859633848551762735960571316940825124828692248446399805786234787796590911905750997359100012273954613638587324263848329676874575601501985430107470231212990458712159488460747830454768156866288822808059651638214601700105331103211554390852119878634462664197183909993153388585098019234266643426679167654192771575208125467606459184778505380033650922826565914268341121854798618667862690894069862047248649829951486348201736629575548327656774598322075745009420670908828781885226932351203686100014902822216446915959340255084860575542926926893406845505803578475393286628222630894800262454491651747028005806442924617874904497336349393443509198361176750069140285804901892724938931390689975779704662094947055721043812772668837208634746247321777802469527986230468546327447835495032888870203691187553885233229756049312154470364044269143260654767234883867803526277231686727482095559431916039864723387006307299187779670861018686346756831681929882417249734095440469110993201647882822949408823868881051377925460633328450271942196292681671106483350221950720127984223386360283555347181435560135784889407056146335038769452316498333489974841047319834390766942517930482269678366220014352277661534171840712143007001517864202408159899102579964172712132126000869294070881350805006288899672982090952581731168716853967377922792785428499249358776737047455502270322383590533282434373340020728296401451731584129660752425970342157302352762103477760071051730423980373417464186621691850421530251196579295026879729113840579558150323235230260209227467353353905768894338917862672247830393754052610843473956431067234955692839483375356043505765988407499131853209209304053644571167574483704111822370432294069052997194352576167735339135759881290849889508431464388336977488153328352709777262288913192689003851521939496418343477486043887048034438872838131448244485542641242253828599396901850033000, 2625410319507916970067581368350643196665219533734737188869006089799539248129510423494220851208332415037994807041464102839340008741374878617288259979958739473890846413237968651151231497398834845817851367543994435602156810225023976576834529349538867603311630933117108686322307027467208704973169260440689287720773361436865557633793943546871214629894761504217123248828268284982043012858367832764462101852382006233083321106683864154384253732886675545500454690732823358806850934508052452398105762655615540209257539039164972272170556404887301385547688299963721106729659809617688762872454922980868989617231041056624806470650395070286710254154921517225086385100018591297850113571131309360982013009858283904579246908535990530871555730964991241639109777701322332969534324196814061572959401121073494489415179593971117046529549884911363417898766824171466081178934313211830830215226275891001316230455445115134193669069523418731184671190369586679574788008599093558837495653394133168069649083209380061994963696721201279942643317099167433941803565409838526523548902184709047732547319042619370366163377311991308229339334378667705436449863022005119436326054581063890081645186367064667023208147724653236193263849164862957612260772769702850832947082967126576830004157690986980023392117060685467111452070570181613053320059821679102113892295645087440778020966880792261920760964078211404124063172650840656449752601109796941713785768170738374918933659191268577723520230406431459956219646214798629079906198807715203632116914829631861559061132272710218141166810958088776504218805156775147234170170177204422041300189941161344707765144676775274073788856471287506089580144523396635035638067531500118820767095595844200740504562881767742812708747166917901455767407718741558525965739861593672516730319775965788188462639083354510342834938875778607982642478818903264479084910526551581255902259464212021194539565779958407028874811099426570294115450358739478296683356413995828418487603983718912542264561244628981834948107802112425912322495346303719605830003261500983530579635930654267537884133535050114948382983759227418197197988290654824529907978116762854176026910406133861496249089354345655067439418860451893400846514881150732679691526575249381130926595126000050172074166150501752125617387492454588626633332267484906802104392553495016050389748187187277575377158639180425075740075935395919540764333091361637828686839035994350625123256315525483923240793646939371367083006514241770952344381696607645783355897269741668246092728344388295716692528897687850560108842052054836890038467026688246561751500515885292562959986531473513155032053914627802781025038057866618989839654915088823122462084869038974855073357728000525179103882620354817466938178122712596697020209975356096166501791966185013816517725196343798779457042074319357211931108998498025431550855245351829345162412682950638854052617916135742549606415128798172281223005610485965338682858576453249553874917790868127932703546927550225810555449804455831376524374281946280371265374928942402861465437913849946661924392236241533698717905905179807614864912169706477431703486830184745886947485909671036497221525538268961753915925876282744256247511714347069784797518363605827246796275464317364179820732453272932451983084670168929948739625448812829307415772525991941867898950232071144196469244165792831623467384062544906294487331409302208719289181997775976223151864398147306127198028243354920894588429425947106987029801385513725638739789104575521120714377273906672768673936951430565425216076294765582862455394902290419602159637479334567786022519985365296742208272363665525396143276148919638266871930411888541124618271102502275167114648651862645304049135065411174636092257052598552971263072886109034734000899616016698488552655915060145222839303315691789015014640395482284546030491506190247745198854837404913506279555800349192197984508285926572436770417142390325167468620252380204905365599105399648954099756512362251882719465815610329142499883372573562420199084562159559459232891757211886553542755150001208039374273803097867514139977690586245454792064449589108941742543164618323000571572260450495135136936731076807130961320359087257651361070450636033419666630026726467267274554190418418188413855643972911577207416427008643241086684348255343804401967034163714247003871316449754134663149903260122291681672260607493922456759807869847620289505904287735046664296515018019461042649087805355837173845376601658553715380287462027534436113147174490547581820085979911190883542665064390671520107932955330548535694396589080376644222759809323629589805671489563890846642547634181953764041306316428827499774109358947965810412840106272902531142992929015953224218575432889427633570697580059107312740348816061559602307350305949771782291282096806000834979500192213015250251399807824491057558427714609400077334508236485673111785251774284728642096638197016919357430061360230751857628089281884580952194070690241831498446874374792016534460168626844636984232440909205340529481381596969533967063972790613372960638166913751585664613518575738453782546430900908206656795762376979671368461944165622572967004538428467850538843023504336209462321867777460353984013214034630738575172737555738259426464006600750098242077322635341923)}
{(1693276001459482887869064082874948011094270215703724644027095503994251296204915746740743221887274476702905439506159531704764611738224667687768360011024973113222626438487771250696305535543069566274373996943916498638303847011550197098859915234643264666807985526441281427614733270186781007921148640462931545868077413106763911643255269952765378594514523459883193170995121687440019143956316512879341208559646887591724202026066755482369519231960561069190939786165232585257350255289280616590638054899848831821680497144949763900141092925233869223768662936704699274815969175353763490525570826989800419016905205606682311003963815675965362204379597448058106375441840500009762160285572576609850491798070051993595936206273454582654011153052282191260670666652767585692185386279000441724799133749060835650623927019843576704499174146580084760551129512282863148095554186392981000113556452869132452636723612696081172308935405501859810297678318594916730473632177923204835696735528140250826187092134904043000762719850526969353806266841021486236292991412549073749194790714478548703769011670368634952958354958225871890889222493018768749366030154257544994272249819464059416913778023041250911367719730313422299381253456662483268002989346956827806769643580238857430088304066390890174786527913811718246283063376471918681573838455751300209852568068835698423965116338753675426392947683992196089769692471400171805489092137914026887085172027969598369735384376899660609248475874086373051854611290516252314421191970491512190572112435269141016868020863740750448689831972637780669853186840897409806268777461883530696048753659852059617423385567991893952868069356540162024770775030832616185811661175362281340829045472074849661804637897951636880471221776284624618702131105136152227408930009715390303987821752513289308962944764139649410866093592782108307510402695571425348229699434890372101229620987780450959449997170421570825693658801931819669248745945513161403811715437863585875800060404334265504302888780183847497846244706687382510236493441540628472596541363124240740309230276809961628315079280904003329088970564082884467434843561329596999823398081061570093923088199417524297243940799883195858995681166701830526995864703475795169010659352771339473091847083261521461545802916862031908561234458092513226705680991458820759290644871435918183299980691776165790129893807940467551049698398270913572861266071552177005904537339528563628078686288276580340518031979270701451727358217069845953939760173786180302775187753225658343548330938874581799365983996420422121142410901129977254020219445065764436239497720496757272476975688644925889308928978649138821729968539079255485100285718071398339921699956186047022636449251308940028493240247521652451816656805845610035470192321764365491688015591939335294825099739926177547485784998295135534864381215264413686367806367499487715060146835655519769923877924392301789587378616527926697499729789981423865155935713078454807981003438177553128406006440198522166100533125351484924634520777275985734028865683442074952592753900904128798470414758826089133362580809339646782512602351848197621748909378694349909380598736170063823486833834612229821135099785103024996850846033346690728029172791620837431564320403386673407592613375159155667633898474276594091982435564354310932008554481424982598354830891652247843061187198825239539600910266196711275166326913375080160446654025721435220206153197614469136529782056256274533304313636262508032238954516187346405124418253394920765582698755961672451800026930554598248989459645220468788570412791207810950195176981002427387901080665230102474108611970752111939290091993228294348814791004102389455462703552096763555933022716663190829284801410439329777529617467220364189198364811648219051148967101202302850042125722172627625358291986588567405377856754970749024687152270455280985774690391903730383804265813924704124859165970901057223890679690712232817145018213627811331299690486854079279567738619664294274833547772927914699784733503879508691939872824012840173821306645477810257450940999886832667797058636137264825295795543716023184601977230269692168202381727145197205187894523917741780066546814308564195586581698419164986350575374910590137108277798307052791014467269857645536725520006612427967313926346287611587568081577195179713331710543843278884006862494621944092923554841085975746806050343022397848088900793477442260415775092754731071310182054609077502694874525328337498451478006000164732250714956114257405523450996027409122790863323764549015443356767125170693805004968238687093788034450372672851082181512918497165914778670879038558081441659622970133998856751433399401583758450936873541344358737842755914835733328744170164738830399089809122069935528387562721175353067383570431547796854045871180966973024961536904620920496685631082163824782010162615422946373693536643561105931738063249250440476573644388564145560555360483823259366872624592902927147670562554002705531738751514864699556820816532697821177659485894372374351211986965663894799739135843215028137178452175137789908491708599756349057378666293669876221198400023355220306894359614655702537042347159853788022183300989316391624531516777866142108532766201304923255477840139053500059648655124634744483699332927320968883832221955398941308866659217985848981330960547527856866664919806376088960020646655113586234698973844109902855819579887240277237645271609803000474249872543925424465333809718194521501923396466678428990760552016499628544559344206481706321228945137815000855272730872444618691184233854124404000230020976837313957640378073173422493510033216905501492112565173854754382869655908871541939135727219258822960885172184830275266773853812524878427781285905495397814954118475839443316104490188848223031277928177268284247769322405262894981260142383590419115515793079993596323883922726714869134330081000, 20152411627931564544706886539658550351733184943473260239027992016077068257804540762611004558470452595186855062499085197130347238535485160367575861398906977354410675203875158642302843756521379834546250555424419929747989878159977045243938790058378012285813837746803576199969538080775758924898509101898252421282227461173694874102175382036904338261987702370929891669766426943969585679572328304050744457217461560711148707757222133088517777402087532806267110274970914705661593524161667417623852232625934868379187090913067152675263588722962461376288592607055817718266351167150808368824437555631464913105110930558773649041604241130017398051916924018818945272520647902331215982061850693728909994838209082442479641892411719233910113438206650718372453267015498768248499367834300242573784919837365782237729434157484053202976295400775899381281612344833711026446261577759733304644070615670269326394101324990723491998113469234945269919932416010292342814923512723606299296505111410738812640075361356397615864909293002707292191286982655265299407947318054543805340766811462407387059851197547951689666206686332150993107536169640998442780931347540700498804475536710431587505604215589142694008527780416685147553620353827255957653258481142782868554104091408620085937131393488123431584743359264483889846280342591528342373613608206089439527065080428288666239043788342795348092067801342211310384246519431116706507619169125428058743618390320073354140444497192814758815902294264518932960132189873834739581169415012633350316980420224993614091810537958542405852024945380685257416036903609346984708743477768868252881410227483621854395876399950825307569013460983303440107218038534286045945703416160298067423807256971198839184173003233031330931282712595958984643576143492921755420749704771099297710206756740560533867029116254722243970419517337290696911876150641730770178159581779040141378509973838834413084597745174429101691437515617273417077165540901042154360343461875106916196967154682457108259335420189625983260898802701338030207737720711274353194479587652922874856247287957431289249313592307488940189550083944603459947284244313418005691049626032299716634273746517964295328893846159292937395035848423775534359773746696789571294342696692670004897456889151528917640041172812941125929318852774636726450486375421755326700920837335356971215080536128118340469896972454761603410963483261398112619003745527877457890140658875750958979309143045426756058694398325504222616630337761461710031628560888015222870902084563305065303249183810471469543909671735308361397348271034507501771851275829611401416846830105549030146171165083570035994216281097766222727726106049762550376074112302620745612149139378006971719849870375547956102720726233182591514298653088057721667207687557329223154472271620920333917139999433570057578083845789921297266630897756849835554600664839271565725522499584563376754653154904006924531202606349854080106059214471037288518867379157906582957257874272560305703558033086585062825430023386994919719316359094546935584181464725995760088457559746756395122780803759446071900001569677779570578194923467958465533471662359047181629345252843437091935348467650515609598242063677470599168474896513121390165777121409451326119082361877792643778005775591491870989689495667598247243815970092687849176915333663920664571363810480451224364074243518173995777342608356131434884068749703788731715262120355379642937130667996762758416218649930019489049429682267924554048909696058224225526968187515791273501187962210889727188866533755075721584855079568087854916427262658066736240601367737500105396719234904967302239972275438606032277893592368319558841224323310248021886226284612175527599516312921526395057075358506173551356960354029703716535186300139308059910343317396157266887603603477686691491570056263142003638957762713389495311640912127769085777224200464958948394304535570600282327464585724888734498279673018738425786777055573538374411039409947281280743168634696318189697417330253863837557752082431844194768052044183576577710708842903712828096328945040761884002599819998250600345591127263241006758905793507120467937670431691011562235310490428999135080807453174941380743916129542298999848611129719242921927665400207507876233955524445582485045628636159615340644174017075517169490746297903797430859842136834835010550715494465928106992535688680386201674279820188256068432930631435568350152272414072185674396142849015488211058673191585623773613671549946822917911488911449782019376868086117611962659714677752773264760901261953998985196721017603676099790734958467777297845362544262114662356987578808196404471226166403289084274083237163439432236771612947181856866722433764006619996273829784423795910693851119607374272387715842427837504342943078001669595147494697724235614914260570769240548262719168921215578899988291849710172619382559257753506769014579911081450891685715226043393686418646546056152156186938870551955959264225480893296501096942443264870715977695488437333114539754098667564675837833045305456117752978904451952484175072760065453647607114450094587234964498275893174615462075899511961997915490595995615891073498898582243835539686545691629078648023963347163045603062683866865640389073831729070526613175099505692338436142696492430320640132889236801466018950609183326162816414949980695888169323505086502264201869323043860763339048435368951370004151541331792566980818673137064687262202015916442138173824924820432620021919637576572972399133257289546942714355077924855833204515961845488221917731425809881986509105142444546506388042592258573927716096104933796827259256173379935343919133172436712237958157004225722741336936188960490278775060627138661857210365895475831888049223217796237573377399563614806582316654902582726079439332788680260004884031418159026652247647112144256108878901020316466777478755962819032809638403818167, 43736792905136014637783419603072525471464402225987794702732357995038090428874409683017476804551859759318961711910238806241549532832792341859988534727709898961328379826786697082107838972648795399292702976104843274406905871158216455732173610298665902268941265177717899626464085066334643039937549056622396387196186062008051678050379405303587908014970496586131661401385694256361952828924546026066247751852192829263636421238970198616926651392921309612355923847681849347794914986016060716797380920202156747432889977547537935384559223745489698245469467626385853206453990437079527721860948581402990401658110722431449868580922646186719657471475713626445170164203849438714312811986485134195763190247022092490655010512574393868427692391348135628898097608311208494914332239722667823040846020595737757727920536152731247505387389516182231088865111205517423849489999020812205299784369196227619316183892490955772575143766294576848693718977558246508882607531941259067745813904132866171669662763323546071400912050604464966010589171884652771313425162894465968444980436233576299972772188692684123127286626973288544755715385815427264734619694090686849095996172141499099074473877461905922682486199191167481459616034646453439944282958836261080561340348407183741064225858149679127767944459820053712620990808936357709883126108840119832821537104517711867336707099524706509259991664391912822642480185986644568366800658811261539425314594708145438348025022856227122657214387288431787348844178597161600274612358445831285735412351697547818068222387719737760213066700178947556711507795463877179076011345081319095176868447389314963566141878819701969592793592454115842757963095604243157600840201161829179301600057061599281431080863148387431504592484929266027781491827539810730961254202586108589536753070504463586228620568925450751559709327390656362381157236341877983890850860939455555374617111383788536236187442908066327270088954290886372999801807701560561835569886769755642677430759143859471871020284742882117551141871953448923612170775033109594359349921779701044993699643669955559251220610413451890559293208004253734597827806016440974568337944365782472603047488755777989960530729998357091133143796286260378653208759850944593053709400605452890317803645651705953814837938530387912346536928937170177761462955427973210781967975233011280752248165021535005256313240040923420927274759821878441069177873996371661001680218514768743257220784686751876791051214584374010141847240043442295786701987224973730256735961423838028983213922538433541458244890086343294861896108122384680273303739474416966394531999364236350495926129732575062989899426952496984500449706114743461879868778427723213902245307439105414016003555054707734230979357932781225659576069188452321769161359141735997792255429325298898737096638929257279773001534643099947618017413814496518779481312249986616899812126076972751379935509229085856171030356025010577301731008955391013453430713525671083276893404418123246640871958391108710053601854510954833421159834999654805183452789249383036198394580487397125741125653801490271217774544412546676662480701627154148489992239270680874950075042211860759070369545122460412146753710734178980846560331672786024202210426370259546769650103846166417861849751274110543037758295549768547283710819360435955109315145655165637675681247717612431226039863948728653478399792663377416395155487170842671635129916625116245300941703602267490314085901438038585955045542343548607360316090064698161908004446172337094971891565843958095696709448207019113597286481599055534527685913711319448261591046420479131487018235253745152134676122311164297612950256433214224773726437420283361744070106090520420834470605198466842619684110777702398113194507562359519672873959155166509617292159664650078996527694358967408810617964729545003697749680638077452747130102258363990414358029972313073783546510864236203135420699905303769695938102146468421318004119496267497925327480691646276294741895602652563742088133518464601579468820283328981045932084724103208267028944164024620404507209809485133455303340599677868595466485431709413477081560330328050066143543428560956225731065349538250066433047639862700861866028019098297699366683649569900018084607612141412056048262358351766312928433949828150455735343983678213491511838839633074091792929386283722515205843098385929696317948774188770287780315698787591760229552465018078138413248579384725315815044075766729918030119732678284545604733691394792281846044329143839850867826128033595970137191566300357893148632658302797188362115890468401223431106688232288465840131867975589244321048594791804607549559123016705524486757462682655636017764976450695646696703154007584538885214658951727124676472745626925998966565855644189681551695336690280823539938777544688380027444426147241479360621362543356594545498381321527031571861642382092443157611746448948575799493223895203561311671943905502368366313191364870674966098071439689526998432831591527571850200635657692019212229520712457650467612694044091291908667208419942003962609394753529035038366980087593891640636649022628464195149604957982203027085636548567250547176729050997780212039674684802876088388123040459597025077934886640683613043524638289686694366930871841818270774726512298743766731875702618514862895739115520277317048740533318846983385471169444346838812026684669871668471154280468697796946945998433493660815141666264565833983163582553276966989319515992077483268351269271193069621042884553006655032257793979016722345515977272714012896903384328545276588868855116376208982745818181807613707083082329450746739281986053186181979365731716213605022973957841369749742526512103018878046050055867962504620383313106303922817801643390637082001104322741890652485898556081299693152374134953221528598548127115715880813781624986053994357569957274020353723690557848944110034951856561723)}
{(67345339490975081192572585319445343123666766885080788376838841222337661112359762101806312958408251646520435725377013443706376066673050851599217435364739599855478111379992732967191452700733345497840249562714108021580470250464527450497060987451836025083460022381955861846052167416112300478122246000773227305900329906158491776510113032450990031530557089163416799713311558981907347596925174626368958799519992070680082654816874431353822610007693794422808904144607771452959050968451010331607184297943288095777642486425148782436226755462137015566565157306226705499091452345730546395506805324590919308343555690141257118805594015357760557049446594862867343671069998838936148070372960461230007881311741604751509294463201859257932611636708052237410677247365016799890240495337728475876384429308549715194394647636048983540016563823521180813814244717400030862481447693360179413545338530917864390190337259056831779655169310882379501353146031497241242315349741995014574543855913210419043979044538153280682730301005249603413029773749863827218356530656890474237653655764231206095256484083663742037489725324911409060881987100320534843107114797631394498481313422168911098415429149653043123998532061999754411985360143177761297237001249459406663270011578095988674349431727845999472946166294280564526452162958991333822037549146939405056881454111941039231726325318419529019919374306556518350899334117096377060049248072650664381628909520017893224178855624753947230788000725337519045532414765029395183769889253120389059118395454129852319368191094403508584513458954904653643348544469653806892539186244849366100485687514949673029445613531778335667246312611779490163033321937097872568475578070483017532105621592851169487270721039774668516993595134146920157239723453635922426109944055585033968344801636395026192228774782192276511760781430376813386751079919280948263843866703316177774060740906298619685975647712656309491412317310913233495388088239847647335231687700764563061684735073282641638510383689573978994586943883515843862332786812789062815872327373708832027873528708796208227703135019422987021977434393374941001161505679312351992649490325798488199652309480643695311373266643210484112737094053298954874914901841393208260638526510452495991139536617159944237183740146064068561244781117428474730214104107892684776358310585524275122351430066286126808802530378896267171010984916993688650606723110188520151052666508347943752954431760521817681026600477310164774980981700286177535281881332332500599249934549820967902944840935755988528821234308918892332692879848381396549519307589231294805964970274182277404632993893742977216236737027141069906457726031501250235499374507160451458514371096000196440395066234475188654801363245024354252872417419524367353934740937470853617415780056658579775628309482093431874666015389017256711871521526635903505152171761448788343065872090420058670263392289686122481129633385762809587259493557480722195376126921880390062787161467766084104138954186559707997259274962040785717215917448959312267499678228891640509218460643664745897383803263677187880001705617352355166043006208149905532886633824709338738022727695058426554781376661927915239566972738299098790319380683713223330208490176959379882376664135953407108585013513789758348454518102392006310917424162129240801848793711872476995266720639677336479804477918959044476045673477620780071634941792375225345151559738207033179343050578656764808937368393452751146908042834170133008822454577945907131268081470514490346881508308614744447379598272810460141669975209888062187182732151574301710889231644809024691539947431004334159057205807778511073852713877449952730754732508233476678853268075793432149071957364536176308807700159455182756159649152744865374732556042143542196856740464127187719858397663936900941785415196898740828353229976740822107751368022999006962636445644228093392550285024654196852789377698343872335318263999473751453270684909289236250938477201938990372643327421533918667680602467633656813881061074480610127572875642212364330876677693046868660645182797259164089056795583462490673524884621171029558379641208104858790480422424650586277421796587554888822486713725988400281370763167840109441039877770493568699141177854400793663418181180722783259368352749740191645457241366425937358578333004813333969022051006452362163203420629655453003828644902993460132963219380105957913156693335634703694077416105607744602133635413929855623161187605760843027575017114775302043623990372323939398879605697803248796828514769203246085830833042565910577489306012241082269129349254832912242835445669621692929347862076218516813210784758106695504484801741473379912345042280256967788552783351669467329251306520407491391200107654665997568076128488517922650653731497420960054419086924434824087793035232567510978294015991683745875828951145617406872544047824216430194733813007276226487624518266486859731013178296442021358273438280264764859851048134847204136395684098626958683523216132717818108132021893401704534665747569418482291692990089818835162277105201733936978795280013960717617871383733293332075727343229270395187677239951272512061409669258657293230174796968406233519789717905155782187252898715408782425806588612631781633390242704920579009492457558176121115439440148733769500301175843440542496975083773715197817591092689675722019850152766344570962057208416015835390991832925349216034705694135719589931461389619350438259403664818317776311483247147590582022640915743490681188327074229289577783639323476923120853819670773933081561904751698781391523689667227415021021485244672860156184202260537538134403055170454112126586368399048214601776313851695316051833665917735982011744538086698513478983437712898273338656769019304965181338822468136243934717194418015846131745662985773161402924103076005616003599385078212257247195956155233812373799548076153285062083192247356593716659661230427804210647696398375953299564293325995107801450457542376979409050046829702428750383066187054270688491676431555113424140482381377025949510615746564730337451769360267326322759213928810632642207551762038057810149195136557003051236306360457000308112834307160508261162285731925410152326135396238644263092483189518213093972249805681701591276181459711455239141406649123894461202493857257419256545661932550721501605919719644000301403151875149021134812328750141829870410456564104543527220372693703378894019410744992169545835645555857480664974586201417083755152204831007956252038530473712923, 1112566157862622675405036060056405168854831517058520158018006618215146882118284682536325351131710906128242723683546903007067128021394800740773627269893924606656046160763140159453396648147510271184157985967896929343375293463032167877663609287516677587581876023550232281705132295562218619467611769445143157027004919860760100788764536548155721950448513280309271567048978223472958389057261541973282426279574438245466841220142496442195382350513231196355393489290937826661607666358473084254570447533852999467244147702209995788071951509343531693233983789238902666194286794669146950958986799076000161678063925838308937300052670033524523516116927219309478470825193411297796276256023988882839990669110697610012677166148193987499746385763046826106302869703692827254999539768598510875614972087438929809374254644099621623573864069441635451298615882929367373369734699326241748882203949479382653289842628329175200260203547662286637120962924764636045321497980984350524450222413405066993347366489221322846736724465398175292688149798730657883637335487349516004258102825337131151775559123578530765212730215854358010600666750096922212246263799109230138868960359498593864946144994332164023442980250008122529140144587751773122258224751130162096220887996746535993002512491321670096426869457706086363422922853724212905782996512695180797794656064985482402759050124125411293645991823198719752960528142246783415822057025539553609238451307482512885852026437172300823270027835655377484445237193619900565506917367233495597825579783806280369005629281346852613269415360769738367150526695256012925599753916092299136520885693489803859616740781482825512621762023418922842255806781374340884574389269901882584539467746532808565256323717663719726703440615621518081765550678335870897790088502409276654997888434815396297934515287904684546030874481833651328894495009206709025515800093216002990460267016705165247679262914250054080947163966583514494638228794422714425034791931516874259598048866411035525219393687992429737061044283268753292429002474691799591664838708512944327599801731607362219345883311038103901156110786059803050127543069595554010531889412964422713518510963740667656874451344720604635141328219345974087860158066607197367080745968888786477496672011798390312822635433528522810166027935896475512892407463686265710352955158882484162633176680734557462515798877743137580255099878240080622764419633610781555149545727220312881016527128310612013096857669482299347016333029875364902559415498783584381843038858803880880304096391708720465703121428460523389869906683502577110226902039038432747595193210113667555362356163015702103898511370320035356644714166185824268529532580454575509256253145638378504796597050219261757162429966280744954821426617329134917752094980041566857972561202459703591788835297046277130344746962822028273278943654138692775423787356273128137146918293030234682225952569784721106648597177585603479610913637107044859036137322470542236622650773442244186510258720835908266117042690518171192280176713484937402534089967177627436084371789136653048033351619054966490031911704111783707147481207348550815964428730747460665636335993245417135586725849567161959085482132869115666486571153953800257061404828949145189133606736203728987528770714198689176818991300755752297180430737728986487549527178282299574373001318428488487449206643516910913690093527357860095654597124635784781337522878999204031354018426198346758684973893575531270260303012466737728655843896339765934326049403162364957775372579988711171426886495477683527171329301763959393493173452683239891126787044829530816564236688277588682865454176191300459635454110999268145101094245822435684557639827138488639804725260314751830767998599536162843435508039507601085789429283732984699327259915297450628181628924198412626161384645066544310183248159933674644147604488271318938974746506366505839575748311187636056277306366883146665177164363776723061299496074189986388749640606470678904239419856358882259936241837114403026894979492730343008855344093836826635648232057936793366629593768970347112039815800721885019928231586345791915098250486319465908804020917666774377089216288985458925651454205125908817019590357132388086115859930112270234074478093381883377106475719634390910742565485211041767283952592253967899021404927089081729334057570364255436535942432300782265172875251365742269012562217845060315203700551491476131287011559507896206886123624442957958124179967176407983951918601425043609784912209374409452779502189277301808169500753915347205491320217995722284973862591432900467608931447789228274405048941576824632604425272325509617736055883617109448784879742773419206240354047806752066424021841678003650325198586762799470259446612274446301257559212630718813702880900722472306685609228035108376704174935485685583244455992854681378600447266975420668088906018898890272414360350994860351207994286692589094199390941439659730973633604725107707764170591561257894300387630846405563734106957807468877943237345186076179312560303976822400684328966016732189632929411312508687098428705089065867166157302145776548809587495400588360107824989384667272761613851624725739604032266285288843016012718673797504470010576945080024002109867430128292754260059161932080358462733275827275413901645240325431670403687200947507393183403956721146740022676727722953377991591778752494032186604733318725524771286204733956062428649684400682010034460776863401609376562698253764728110416888363375342012500718706671856391762355609574889498622600627390861983690263958589364325288631834604110907782947182264751139942986441943279662312498358168075062747061607273907067526801346912676971794515504853821348558933619151438004306502913478364135374348654343447850077489295132751612974369897313924705278599144962930781349525352584825875547321436035066054522650985490807785626244976701141249638602371363098072479573146861259854110577600828675890221997931850352299913549140190208727449302536928074854425692493964608558712684121223978118553389890592264063535972335714067985517080381767160689673340308100836601582423547623986196408861562782778553831362822550033426408128463940160284475727054465389074343061378010241743370557274915969076322696148746208846550201606883117865265052964129869207336923756482207638467565039138632476892893467450526437627339373512674068227755174164713237514076363033921951954460589348816585079916879495639502111366100423596274624255754958718729390771282150831669176521961037702972046414167, 1717303892421256968775744529788396527740226938939661250574827466532026323513049556409829069773139085033805159664339863132061722327539795317324372580311542828084104528500680461528697440238803663421467298883531088126555867395396944717368972705816774436127061711976543190016353040905680986740622201538776221896418795652523179744336989018507883948850603664902280587404812404863416539167921378469851556976185241273347019569304615632797121133209462917068743709039489580527891244563658059606536556947042665977503787438261483055170011244730900384473102222165060021087380807807642779590587896431620606558049712270610006960559956630100422713449233128125235592024948813046411401137748598825475696861709956796503242620068548939036850181160229749587648918287101225960754642103808015957055393394400193647931505249011099842376840871949075182694677652529214870414381220701096293010513366814914135695582457230236528234995830636483107569406060135770414220713845132699092588354192902651361183936875657489365883403945854359735228017418281002502872374278460639617865564237149003655809364947914457351453467528034478471788643165388659448739578939899393144953985281200813084130616933411219163475455223220718921663862946267793559421692158707966852883823877587239526134213785268125889839733838469030894460713721983319477604757951560541316144789865822918289631704662510132923346600435126605803144147971890913642466627510899880476884707788699793407885070542815776026256594629075537811992726226507129919376228524184470765580865265835580374558580947443013540629381463441544482077297814831361530400879498055875367898677836365440375792600559818673453086296353262554862930907567538981847952807560713781114441026698794384103693319603557142477760123782132862654067646161606527598421547734944423836043645624478743988207536309196529413980248247635824387194873373241171640768116039802476701935675546993136763922000951270009143077864722955715216661802002764583196816373788490074323999969498249070137488139229191374711529024493326906296330106579402067011461360232680250011166289423018229158852320537083632979610071001576465767006221911159136396514241994985946622383740257960337131854028486104804434893022514440783411807092742804260633791808011117867379494843402737623208733417666612572655748069453305390202642610837239770171054141767562253349364165393103596445309459842809953711869995751961811854167448369750215850981948896878998727052908512889324008494100678349848653213339689347908822434814181402414425562260767123723064758201953070262595793683449708511481850021348506118313344046520207520702883262519817737104559202248313221079296868521558470496402119954758851260340928099664724239779940027709596189528855441610001056356502603362003746279267730088733421247000962821758813988742224898887011962013345468088927233442526100697479325817525258769002590103679449301353674184978921516252289943856683229197822216684583166968738865864360490484393146648677254930938699242311508039112218813260325220068681790412882649572627893146499320645911658758066527544197384033085778997633897208766660095453982970273267478892548738639004062109751149514350071024242906073872744410793701526014980319369338712850272637695085454339725657747375353526400431844302441518447046184357347871650333641275203959237726423661399557808363573295868743028704149533367666489883305673665618896929294977209684940201799125061377409958359670418762013749091336019833514844980471555486985585271097039269465276344972565619836361257856829489266437387300686726722398465822567257276217511290072573990436559575303676505303278193243566249393870951364717470280141058231328596098383065049813375329501833033013058313741573463989759264919089135865946871524130966718948144892077345293294338908479415197366986791486328011048714247202866357358088179206700166970054917090766371310853066300457409953368638566416010477842936185255153995283982252172711802643552908705158646711983582220753206062836739495264347296131528099159425607168979682681151785867665506049115357463723774745333639331106611356179495033118995246948436999067419733211598945728704074056416185351730531521367223247962081887901726055458956840338500077487817533256405569937140992828909504570947541826366227558860215910403563199412561308291636955280262490198397466723953667244041871083324350949063054825088577822696049026494161926713611470152401536182605071560303667706999750634952636931355278339210196138546098367171025024293663225761374054645965537911241250108701218371238858338497812502461246776569389641415005745123809985475159237189208060445998286920966981919899479540013897079274445947769367619963714540395894717577561017902736459370064553704039977581494605591322113008172989360073572703675907355426577073049870039678297890541307122244906210250655002963124650309498270134012789461901699132634556238647062502169122922248323830374344809311687258330787507160283345750178792131377349228785747007022485859421473686463931811627306624013905370300297554780427354477214025552423594403541584153233699486524034900835454562118165097736199602313473666023764792906549755307490880802913782602623288641532611220118831258314843954283033233090850589742312360195304408125128106630380008337444194606771498984991910474588538902675273502539390941234381414792231641085592121610914057361088322393498088912282736186504451395666456045987586965881531291508550425449904580775011914686748469406091453562802163272519708527273397646573414801993872326225025606205937454624207735727870774032026096383081305393740699907423944454771211114839155179013917565117789779670333524809255210680231613134979409662037370114659850323842896333003612379545950650571115918981102273186391773614484366927477511147723539757152036588920638630860068440775080288616186394559083316466256642508188068229098212408674785227510799475338028543464404321337652104137001831159493950493396742382570033594661661629411359175961872363702563447712256804696017844786311206445801210361427034273216370339503380802527451750489019948537655803522158539810049739401917364644382724314635963754323522861123780260017292997664691237890433328362436651955154430091041521752903885504280825680602126782028509154593643523429339373276984055571269908711607682610611371462419153041053149612968974305920170679457487331355537411874524940446134414419984567092646526062298040999380585355256117290561080402496761424560172124196016538971483537341986757551673304151146298756034017343177953983906597403540927521000)}
{(6898511737696557955524347587919095957002832315827958344302460223245872815402061829005062983573912789551033795981521026650244601498406811449330622716872827387148475939286745174697149998442370115901775963862873098881501899782945869680567129860353328729451514612758155668868958137262795708474717948874863992161850245352459016482211696532074556116738311239609369666923429640409764758637215361901898860591512997932114326338453188384690353609512272526569237088460723836169200738825499814238444047968287010482131387739393144722316838927781841013363942894108335911197250860887456365894011286403027801792785226719178709236852117162253681980976038908234635059744782670259249424661395822919180608502981696261297593581239036755288911550595551384314173050437757091600448294218463949722130166698717928568125476559187022607839296431376821700534660100863366174649086439151112396833920597219107731082474899388522514440356288032803992694004464248624080764000661208300537206899331494639572694773375339573710814495206375436794528256508564551633622243077296609069000233226197807597463448752342903052378890449593667666524209864639946019126048306493220482265310277572767619141946212772091941152756832563876348297889129178212862540226327376180534853013470678643702184641439659040180562528968432619508412566197002500542850995891938524067123033544832078601955297587745213876842127866860231090168771081528348187727498747724908363799369359444485643656283250260839533970833552612512985727541703490722951852384783674482107039671003160730175823309623260572014979207904906586443232170513201413002058968050098972228946700010926165707585949238134503853771255962262284558234230612216549514781500572681474020239288825172027788465194867747579267513694111202771468086728271256011663369155923762268125238210925588033094246545580847746045654898671846615379588366304131873942957038221109828598216276960152224813871741242097716574267755981538433785422841075130982727192040350899869819126151925676169519852977335643448731349586623015959172636298840897132997188338925291532351789936064743129848538907970550018269860790409759083018815448270048805145950088849594320183189937768587509448668353691128797212287675852664839256255223397643006000834079888697475634020953252123467540218648840551862719237371057741737404375810809412276133359284875684597319180815634264982042985415956806004560950496179512301960089808778923085350846555673451925814067327708920509598236189865973650649286266225024686509320854549238078419772114041879013141212954872917186512993866394699567171409696940919309509174769261106924983687809530943391290125403017577546827982326614952007181713245177052030747039386709123025618659415483401097729501161981275218688466601382304669662083523881465847628215891138904348655509501005300375368917920866524090335333201467324453361295200287012985916995662020232201808123543788134653608032113277326445916764389751953825792479017178619335195882081786378575501084372592589644994589937541066308713845024491850609501686280269649869092384751250013061750054854198894367482058084749576592980865740845588157505139903506521162576730885644913479918232371624306630518562140510744537789914125868016983466503199585223395702678302286060955877162501439511590327581208559698427834845187336241272572914745006734386955851955416621739842987234358014175603623817243494719373958423791214539673102897096279084008645623950985098529312134843251544409573489694075110700151337180687305451862341665584286245614995813202188406188097410422494247911891681481911579365495520333389273702206546685655628573272473643650490241843413034135349062851035479339805007070129881866089681681322437185003526256354138479237923858535663812402731312658725800863012506287276960398598787380857915959517753871964528630431929016496497092378878475646034809993909143975296018236089723525727448325351614740461206077766002485524315179154778888854102563060858138294508934487986568761524006753565515097115814286704193674931276279839964929357538415301661786117295412423634309127699817434161047928169352994511754932821016153649987348401754843750345580732355842529643960867488400171502615572201462420354735152516796043929104711515751294770894433539079057651279090415909389693358054358906227602118763715077209358008990247117913005761960822321315611058023910246699520991567009144516401084629422857548818557786424437496251634860340009657057867075965305097120931740847679139457671756480681072410149851970619006599684416637508932474531342093225387348325739077982774474165210625191224373984804704139008673071550777875222242182147730780375766855232572245934804194695950319198967865950037911145429093368654223934831004269598333758089029267845757092862154533895786950717895565767912006307040325392210177369335557212876557802274680204266110862076884234799353754871999832003143770769637806918294617456053401513977962962821698419599809060004251530162561380578711168155821533877696247235489530988755500918638287240269073230718800560354310817376811643766650035709835097945081538784273687665505853206625369144037107042864800999356598630719642803370183789470607277298076009991069354798132255569382861640291142939216253620411803388025701905932724852960110139839735324768396008052274431448689414857565873179512000809883135118934230454896921146763675922985044082037594141852979844066389844524780553298401494214178266350037094396128327421823344354300113512379508526285650951946234366207468110921087168825021546280680613042098801287587808187297570612687049091732998925965990417104594912944844565241654716027889527554612300139126297783897019699365960101115477679839254726633327193215153075187291545379988069486384934034564913124867131749469815785928109294804353557912469290623233718844037917491972370695046578053067145082754618595509692289465678483130554160064600790578612176755260643068513929895142128670906748918520911877864622278908715117235070767603921134935795795511058421095037904026567883246971231024206294120314926183304312030727749577921377935959191819891863755871037260791809927256762491708813785001427989596476917979506989123117957289483656600587683334760727366162738396249145748717470994741357717608230381856717377559138927776968916846338073221108999105523874953991171394696877714860551381034806615615966750416628038602755868613436637190753664970449264045293563973325549044481832964552825305061699121925560782154296919628620768743354993125478105621454949084882756633167917669694270512958853430500981345110840261287735071385498802644954885964510858391202549232403394180259470254779971345528070188741496221306793531431499705732028945291803093845809077877269484857991051794619798161725352546012568714246034090374477463474755803488228690100945712143981122446595970816309362358005805972350835376985257137555375552054025630631395284675192442506016976179465390502309201638768813361261461004886777597116351534964160060154416497874753474067178030519457935156273220179018678061225586272291050711964526290286770761446817201236788256353587939389242494120541136796770685707304859032402521837409812012490141127405100148922165803369217173757807381123, 145115809335530305386137278872025000290243583236858451700122508938270592094375182250727403194053924853232758020044958891358036681855965068782163196841814389304425894544802773468790941706427373176166322164015188847995032899768182126054437962497043815064869518277332810943615003303822565980216431781758191549851439855839515401253100926387379197501813887235922435341670538910420324271549155347662339870777550148586554077170254648551237351408776477778911189296375565375770523971003903320797898094630263856737144919961172022045230280793632587489172089854690972044216004295103613161247324460315365281200038511106569925288948406861116380015165274399520180283111236868823503961461652687326415546800318248676145686849638276325517260017975808521573662070931222464626869553346794700388769903278153639638238409156601971943429610761121103775881542476458366534094555370836385774810250008117221796952830743654202069405005830656540856425434479711130377848140751064027041495368924278250100388820868468799312808128607917381770324469585838787224585349465251430680755464603749842616344329990464801523344072443255971385636289211748056874265809079804162796287762776198624776012062539157656563106693820025952055438280783083073312258610617680297919414593872918161853418701602607578646848065651275834964470514368444431297923434502808100981097116906966417800640585986068288040282806150266044997856740345636938754708172678639822004843694504459304819302919682677129952575787954528388899525588328526089043047681558782013171108338392921216479218067325489914851600509165678213282415332998102301833539240799721288097543735169526214251722983303742234991392453869822942068417944636603199034669933583207316756653954254673147082683093455527566783510536906529224449707325316440030425803119313966674937882269436084726019930993549677912847539626970299227178977184148263814649928158958104616429227219309692707659378225464929645315325934599334685870525996992865134916476099403061457001306724225849126224346051505898352649310618994753882876237452747066690469381904473545812573065222887766186831138020690186807682721690910277713712120092995053169386465399449524674506556020486965602750906848210479384862258274189139265569835420857285224495789305000121405940582685789558090133158150749793438507628155982481017080943118679932060018367593452017980386629452257681386267648913646467714940799397332033778999274247498825114643338893980184208431080552355510626625194483274879067031208056038144495032044539445974130777539200227096549114742792553966551825377802067444150599232649853698133089159896138141567506018253447616449472208674797786079490038554470894332359261001180644797772207448972932069461773546018824152079650243760708884937254176535419577211525541143793940987497538548391333228394565232393793645740557344124472821490677029551898917650821507102006181840969834742610588347137512140401733554301725985903652764892601132169580074977412412157384993953702567561012271976010977898769541196028347501278342118684757363991895905394324592139103857243763568110074441187303945430907140368303906405174975598630730168012768978860192497339102675736743240242086763181098757197410514848740492055347131680099744045779776553479926690817232895670447216188425576550335621197804397284817484750999807490094004078039794615603333185175962885695441498132654223442324265779743445388319864190763881962596761118749397958521056995262286641549788071411245074269379397019356322848053970989011106430484639162711127947977281181945800652897858731387250209636198114080387124592114728914092408191881644087107227284901524161321947483161709644451288737112536988692463662702968648104963656823847811746541779207988964052066366374909029489745470555969058016685534209656939296746622626205123772485565971486520504030663381588237583624967193278905459415231092404419061850003676366908199671713080275813557005288131513319860463801740985763000722363167840194447767971341891221216373565003700802867243809364727156869490090927755117999003781815708263653306221577095557802127103853418138072698672398434598224259003635782960171701843333003533342052065719821258761292053852920566996199884590842748248578333622579528049932931739133222231822566511117643216755560187307128744625280855165936181146989044331529481949238856966548493565487345751355032116788380905072019771068719675392566446628120427143988627255606141116411967165415170509572388557949258677471970733378442860428259393131542857670467536053946200132004435236645071391032398796837929084657342739995825693148578551118991285512827937700280749344558308455497636204254004934320150928503432718956580236670630420430269229253503601867856192239610940781885312818234154864690218456329598575054001431455488349027869658261534621556797875532918766235331287257922332899006288141063304579187292031458852034953674709072276366548091372102204344291744797025125884267810468440083919987724056366665741803919888408528594159209283998388761093618923962550990507340055803955555333565249178481137208768971024731615667099004037830560579156974972775181610801361284759490336028726603276088067921020223529756789039522480488917702665449650486590683589279416510442856867643350630855917696286175232136800693732135864210590870430967880986869720436025900853728907505286865421445265259819212509583592426220332757241004237125246590166593868152852632982245090634996645791090318364202959296869550906758448879661270565139189874544936697484086001203002228865504717076926933168801889332187276633252720138699540148733933574490533292558789747160950237941338758764196475266473588024927947781227143579655428296798169921837833290076093406959334803780661581627627178262651863967483939518098761380282979463121872433106793986690544818921550454053827258638099537025892784735453651667109337550293875766316518460212813714245420055852386773236976505160529539218232027051849070477388274225813124882298332006273605682633013093893183635942324727505665882921377191759848303275048111538184778998703681413836229834332703561144712157311653197242123723549983109329421665187418808149282505700838953614026086971848152760689929959699466438900123377860668766483598570643671015292149744534186649177879858893214434959534495079575178617189099962011187854975113435966794733886604496302881748962535425772894439958877597861344846582201100439679479610523650974108369367552468047133506158648713851515044189708736049534276619070438543887424250202289747812951899137816930740722478609840176501833136304895222441671892102815445161067020496509421950735720453263775182718080692732923266673289447322948869520941747034802662817961341592082657534495816919612673041864708885720869109454499923783871073983531651097215807790148425126992946798719632054727279372219704251527375488680210747680999960464528297558370478270680155311828224967220188033110765447093206636767515644289253555336377590013635396780709424808655384520730019222512797989132564207300437135587538959532742964961721952588223873449343398403796813314025723507632252286667880734307798315910833111865197802711010493641567798459960827351940586911289258042748337102320622211436293321073000, 158991701327468118654909360528562506543846036522807621281943318896222377692569238042802509125920764016918062866246847854343124529730211964068619467420263441398425202688079076649142204856817953307373066202848778282887327091768759153354748047488639053134340654568746255251985740322278812621213153187990168441268311110460394564418093900484871845532478526610380781964058363724110269781236073235745999536975290672885711424599785980219660887341649024370779383990897015074956241632278934061332517241734920506015654567896197171807742329083140143742010476916927875545202658210488437973030835123578219313358252450820351664395401043610964677402781210658866113344507364965039298591722781544008927386857516614271268665002752347729025438999191903621264005701906569972781251943249582126348601509352165318851032377819462905852585533036302487393720807084790791999263154028270820219307863957612122875939641556232889806266594051287315910842109505536735643810471168445125935310821116401132519384936707957762338253859830788171941635667990649529557290666098499909307481509546007165998446464184558953079073304786510582438995539583118419881195882108747857920914335176684595616310728535289269026595806532566116392527423588293806839250739219155532742003617798766652593203630499356947791608858350442193385673254726970685816162703050807016564306706517754516598366082932038448361806201159487548289276597435401178569937702055741841559065088899006069889416412054254771941287039184470581148936449662728900971637849872939499369312600529556049683599375420675124341589560999155728851462234481745037943225560326585178238377143201553113250204346411562322684002790573104873005568473994381818810533628145273178345631678797937679191623697994329735926859540281511153505945398914755965867476523484661567803763451935209408347397090337653551442934694239641693137388232808249842632314246853118026238407765428417155623662373238005618981596801943445435556282205050422318007335243296524519363795353987150949933492936074152919773604918994934652060348572826822827978883391076842895627506889592691636123031472566001941708645531320822369051529826031838878727303945559577752601497880299007449048692836816202774826588040215305072443942089176310821217535506651694740270342142015779197682210555925851711580643200309489559511600922708951287988533052014465159652912432413915725002150967723914714137094034797379066126952497482047066880800813717332702968793315849539742482372423603350233526573182535790345528735461092220635405489460754178255845705165397474490832569949812168368112543106920043873791369538350377786761604907536400608696666221516682144095260151043329560056735797718613914694846930388896973582013282979414834134090890875749438174730878406267788626888236092122524585715977581235097447946916957751447492683220869920763865639031066955867986220652649111950814263985756457338997159696711125880405749475072908299381802115035595947177143478160869907979651172464542608917259775935628054785128127674411963575057254369540093948608250485333378115758316361077328109277042753429463942098833733141398387826834019253778189467190264187305329319424539093625897257282537751724039530966055978966108997393105353263484465390943334217866589590850049287433396773969495398053487309315463262022566101795433273279068926602532212897253222526001144655877406044767606257783538728293756805217991948230993317335291644106967424299787456443560432348274936568281325461610416049654253577419249193112634548322089113977929422955153099281721806139978311391233878158942353731371732370846667803074599007715789421139691086260872192171242285780940164412316571234527599687236650656736249320620835716471027174577570090080966688965672980782199963067347547403375664477389849458411693979361667013271131503051045351324151846799831488419932466896320866033242911094068143200348714079424660846594071555122784786470367981795334339604742359701836935862475581334140651212925406369500631997553379991764783482578932529905913830801705369956869443691222337987966049752436923918553121800954558990836248623254902873639878514078357402132966918596915003026843862218560980345808544931685370648314872887300188818800950980098083493067585663631461359048680364731595245146736165010362045171531828840311363101704843701091372312093376229058783189274406281211081306927484872143482666683382664261373608658328411966076760514988712180970487211165435514929773817598446756598293542477146068237226653444030168983622785922345471248259048921909768888838647205486121618721260313972940032224495224347467612704924935699371599503482096865801580072285421222272867006405210165337761488500039843515542960859520765859280627632471703013575195904353785634678614319762459831173676614140648822026352517009248117610378530130151920119762120316319935797380617135883388523226718940085205660059477791205190685663436081404115408127485369244306233068699991249107201451466583071507131211873967832244424395950087978516743502452537735622116802192277600050830854258424746513354808279679880655000313189832798701176793076150906850186879925141408024772137106571050669134264069600955309874094783899234998767613286353232682933740319638687001702821966606578071252729251310418236493743155204659304252685539882126568770603704508874960076596568389562928273035189578031460166650500574543371030158151809427479940532062500349150163283201543742900687910960892919604896284483348071911726233953109191014555167337451133298715712440136286972791675960002132459627980337333560693365462678598951041388988352927660296332318777210757410236356777427252879893237833435645109964256099368364926005051723770724236065205844095801580470670775418489664476019770449770152248718721132115180718007612587809993889407104293479595320949286345893822378896703241269305810795538496766187203932949477664321215571233737240675074489032860870171504122636897629363883572993534757308159461072135351688631024893015979468835918106834272269250319320249008420176549982380443639996590859097255879112490060818235399537138561150412300943993788639984796552342261060555213805561144105880187262716866065029659132871406629349738717872193392577642198536597911311642126503452225132893189247931835041161605163612660023205606901087709321152316516511657982154213910011683146550191030350510601155170808480263019588383872063050275623029507041128864133701215713630194724107694995816891375055637399111737469914383323067745235006510732377775934852687424445884675573850618276017620338181688100749754384727948433469954992993043038174004329487082340017202828992277967415789560794754060633099716371514386773589909269233061063198454944111939128464626797819649593323141808302248042453491156771976986299252189084642121281140990691492278343022055664925972338417872355478192481297075264874785166532173767058364601901522906568602343738136080868015884195126964177649706136605062593800027042746631609897990348787949179497311875131305435204365330698770006635324887196416503160717314238164864732627628779183961220674545122181911512924483606107181538046775661764373142300713492271261829160298147800025274061967446165371531943258077693566694386690710607)}
{(1827913089998254232566112434912663940972206303334111560430902925179945706337714828237775649329169412294231166043014594913546756911398776624528116249501616187361156308760087473150443096060075115867759039197943297700866595712539900959259749680744861595053790404255089509976657686030964057689692845221520922313095257965278591713012549787453375476635211990413810422405682692650921875252472736822257387747973957903211761827523432309947190548856712679876058552437697067947085398631613774821451070519944793650081048772791029099291364103902861235337211888188134438729415348057828449160587781153977870803350781269956830723701430837143440232038592924097252053723561665916537172396296488463197966943656035604100502204257029870145166175416164596065494483381910255399669646662437781743756655032243658160891404821885910204850842818151138862465038760529118955292417927382845664485107069484850757900048009032628852110008186020305047220469457507311001817398699476993500568742478066763838886106473559046876775721406412083112133511736622705688148979120135176661090647672918566015679558237062793858842406404470924332167851847105948451836862834511394734686086645778186058793198390064676819740970609397958443868541695003213512614344395918877407275288274381076803008600540935564782164596525526418958902501891144257729882506483026506494559675926894655452623382205881252428615382104453583509253037451817531351597566222387816654681434913627116042567301619590483409244375246396607586183636156090359847451669799092692839530146379429489261739462874276824707577402537994302924580045992018048609743451645918422051737113632859263212857726678516438218484929573058934138063943947540649630583066657743057243139668377360164912815435534952333636740543519022373340667748140172854529264242669055800904114545232228521834565129561663819774463092409062591030668413942500781740658637677433377045207770305592898517850858657839109095386232110877226760450537700362707975935407795601811933996370121452479219976726086302061220800100123437742822745083710472781019126603323550473845971204052625018918737635100396180689364882348625929670694436242221797252033016888595216693747506102285661439279394393546635734604683155060994302938321214314972990727073711920685397077517716276558607565370037874865989855363025227067342910164739020913023769272580730356478117429985613285830266712631314955212258453817814124619838644276583660831510549126689691133833860273254873746418850371618572293246885768665419627892024441210682127410057798599380824993333278507719686731798918111609026296938331821333334996796920313215995582980724833178985793473580945562762585117333609505808184499551236883432251545889733525247741164639646140623008553728172312247426618327858395009979442233757262500950918123411582447503382595991628314608954852647967882967525822078565769184161080867932893407145949765213361638717265771994187993185364400213972591155254770461793594895801240012200148159356590722106334268544524932375274756335422908505996890419615163637372669046819032655381168697733322437528348694286559688082526472244935886999523183050830303816057901411636165446294533188953167798530492753247757942773855125249289078479899130421238369837067295392552430945923789045218270444608746769735792665956175297209096700389947201384209636487472498020970866823128249607131463701849377987032826698477607688931719302195399925688818243592318623402358336165970164579305958672843641957677857358756953891353410286383431119643003305989969302719802941764083508282121572240391837700444686684298608764761175635885706932986924608809668096267314387208744644881857983343284832090517835759075540478361598937442164783107085148818164010807406797908890626810295312938127083223128616444890746537278466999481277259823105614266182696763905280760537789046416349190272420543165767893008533010083365577658044036480021247950664134035518954006042472043813559240015580947632721491933251885812374603218369904384019387282653845198724348217493597097160289808802700505573510617382473889049873830585951008586803615143864473024722207223616964534976579432962555563825156402181144304627549338219119894698127866272756403092645693322715213332808469893984990958641836021093016624304084471489128008523329535644389870745364010349422011004462265589030972059863884262452427990719559402944905432007708423511258557054600737932319669791851866394940816212291950612527740697055554796345426975283300005235917600231493319055781029821306712232266557770552315317713474365972319827127153735256425392388294732018792067961309386299335662377330016212548422796268564918558413420344667747616715123331371988387660447598769111375233751458275538134623199973283282688059797776946304438339594079245304633147162095282666709923604524700737870658586107937115335784543962729614624137469902587490387172326778977074833992625841519066179334729463309605209176921406362659578986587989761660482318056777832638521639245283468922567796648740823941787991480557081664414626127271369810840742325593861428997216604811638060825964060567233278370009336585567168738279455076400946445689193718938473059759107666770844030787205555270732036983344316454320808214715298481029619012028649220278902508922421451186766536295308258056709304169395694787934025632841836519196683989011332614312073801059214041382385889295539336246161080500615008795882742322743125737479162268678614382201079531860752036067175188041710576319815171145503797786434192203714325797997218220402065337468513452385986823536808064290127927853048422535204615556053761696186558637730268805424491835235638983509188411782819225267142459480601972915465721534588766885285484853878897175950886149920209412992223983209237198987365762740876070539401119773372520303426850222236507147373848819659269703931400087435950779870738005070964145203957419282526869421993644536112731716194524394727590564364010359116727251572640878490640888576244251092922941946773729005406958539822088939369809293808213740607469642339642510423851208460536937471104827826058862964572022621349528731163784751569400877652395366779651618021737753827732150204062747224953383996258744656907428510261164530090933011410338270412329871199914734071203070553011129339480886931318265320734719414305720326437639256668520814552051355952507488988030949927369783909884300206695734109201103864078678182646083962488160007012753154814352073634369256300727072776051484332698811926017645857034548045502223830359986092208802936107061716935615970625601062483294704416880065548824953762606309402037482224152538630117407462969192730165009153657274547283164204675588523227437474848446663878581050506973271274493016243584269827156269708137104675638903618015294548374498534200001216550702643626666934023413742195403835550050389007050904644427278358663549505608149174620423598449912664739284933255467226085660092520539809159206175859083465606514231608508071695147644762020205418089354590667741638110522761571848901048027710132247618331147443969063227624120556183303415137506212681329238393484709691819582062795531946369620592766527333348329952901957845678265566424069588508060751207939193309633879842882940928326106464514829661035015590494012893612584353782916656015577930672819693318766737013452768621591068850931479047227849635685560258778906491251067421979451781514869846039954862171973974400764270411576868151795874028187557322174597369244946816479621473874563779632969496165865959800291807053069813410423636800134787277393435090099000275384540221648220557441927937835436803246837574578377292008991266216702488309450906616868073321252023996992779162895359548890611170422610045616315588834727339107859694503521220581691403942307896989233637239338839066104034012343093559851110280628117166908800352201874541611282820067407523752949635705515428646331604141535068625000, 34728185380973217615623415141761580130870101518953931698703639268649283749036537316397088519963927187118204024471528899141474343572411569976113131392656815658624668838311724580819577332636943140683078586994464389776983300248227619784531591514347431642370466916832438190469498920555978854599024854978066928480082125362145648038565584040958577720119080860040597936811130973826732617706088650713999814399080291845939970267158701858093245232089466844496194650190813962962982566446993520060578797569543474358154873285909704851769377325585320742940412927855624157121829199900045835241266846486737206648369032031190280209226378863931360235298011808143518036131704429629671649416763924308988021216995520894634119601579920084578299037369633127363185258513515083237515317006809121903084874539986408589114004147936011461460599137868997645752213673138752400491948226093251360643288961671046972032096415438660794829853498546417794144858228901690151802091562923441308794452957557255669900899234372501094333827388244959921706814768589626826585421273540770399975980544776622393782709033498480706324884187617108466386689811344361451597392472503195460761195824046289480446901222941913151430187824710701814512078783802589847911498805501624523335918196367897641775467274175098238157557291547137055496502433624419553554934768109771442275536795398454944684249180389218417158339870543106817271768460329443807517183048900717601642250152471171735843680496885729776315415668096482377789069510360754274100603446953216243784074691298389676212525809509069945300160336984203792196866911386307236665022424657327567182306563250723456594532670050804033674749507036281994558406192450991200099183162690071988412295335504444395716469205965679458166817420807231899611223573209665214406770080038616931656734882789274848214515345783391415113004933027750778153702586040265919619876493420730974762766051668860608103106891070568817721936013596408709900281993389718475569585221757428215258580489159587722232464003171651927018317675951088347636330144436265010057610190474452151780613012052069145894864435240418988712317811401868272694965164720818827383048626093824886430646153916693521216688538627858763934069004150295744575940526444605171169018658237641431649009740725235841728842699981988167187141507925448529980362757001519100717515757074800941445701464507777754224982971496911272198363215587593699329349467493057842003486746566578356175664903146570720314519509894485781837097106794189804339348086395079918466850707140468576910434322771444866965840720845325229705577315590511107134704449297080664768731689293858973055234699191347347068398887647690665030468952001601671414240637661460678641650455199662958696276162021761818688466028237119184113680219553247884488967064952769060345862776560925724258064805241289148634191946703546268963725306165674313528421192662934333529646154471118301429456003091320697794971871896551450739642030946058014026909737620607476777542732695952503717276113028056769079677935183216852401521790377264289045270040426411220027861603764663932010072721733293906760027921911657285581078663747270518186934165731168991519374410711601495512895717578882396075931000801723047782133880629207658015282620885792992875876062803770849466096816344098030894174865477661276886992721678940320483622846770556610241064526296283491172744569383697859205115375559205943007371061331450380443479045571517189443663539386803562578268114588881093489112665167351125765560621720992087255461311833724670819618213898513291386607606385803617298497833889820397632929323294272894427012767431805458466406269104703351681211431208622960265789647690761352700897250831478619758781746034661280010116425979672741372930297492255509512322059491488936220917229313513535013762760844698535498400567040355291316784691592434478513469522568646758994722943493905902647090611586585839586154770829761485258413672111283021155765099064413552882409504519126174821872886720316750564336106515613343128463185109756417791296317824146199256194694401887302643451099646557163243663935793287053053359959582621995547569955051960410522724443511418847230138370034491852374752466611755332043097503463765482681915181782388825768700865422902328994618669839871373590131812301083956293921479796504527483851883711211097521438023751644659938632628285578235015620209760172103965874291482903180521703165255554283361284452052237957903570175381787114664702227494130161648270844847877438190033464091598199676596835124087624663020216912522768532385723728137546333041817328413554067530166768871835696114024705932761739382901165476149993459539900401579069220321544545144201862180317865920649701461395049181801015352370848245169763797647709187078856399948406730605989719456669878374895616396285959958076304643916700033635200050895317951749762671898066580883421965304382535334817101688936409120415865080196612525997933872539121431299225611678069901107069615831071554487473376197721681993472450176515690672257825665160785193988411490493918767517363620662900734855985038070385365769872337846706392112579297342256400764312598903389013972068977042182819612440025643938419952440044935869897835897709756421661669495274787798059095159552627312663646400058535500732166327401960328150934845832393799445193877177881481190725346015259114334028661900469871202130201299434593070968435453119545328789965827356784282838487933836528621993105172733242291438533830648667632060930379814867395619916718572575248360386333181000524875807488637576969455544795112460385343771883768421302428158201949260282815956336417545433099510227539881533289402157687137918933716412008392095489432379751351991282650514888893197612141540091826622451290077033740147176078908812959717337743824516875025320599458151851207678935811350371791027648818915215228431827631020703863495932369192304942041342483971835793478814004982816225988585110513966337899874512608604498489831737753081936523569535014166156830044382141932382326231413881426139029538057308407288519269699641859036956830181922745662518632151764605297687160407601639983685810576832421080267239623167094724232594775255747709878856728677370392853176737411003470316524537672536589756357610194541696116165620898766601509101665932399293647935557424355485196252088762595968500748218702463515491949074221976866639701951294181462686016409877279342280422003837141819940391384662825713366343153431145389549556029454750409781948976699931327398217300731473546205875093371722328322379470640578030237395902066540849248272006587674843074281648028509257578603184588520527308745155713321372172594717030787023752634985472617441012006487045025912300714462106384415717905195055040989374129944396465124196723956479682394265515126675800562539943446267676845350757883401657954479219965724053179826470399529662038664216319055706615432477061900569552440914851310589960107191002582686937710182152088080958683067671634533206987231245645651529286042385427751913952347034669287963044963919030361404440316474050860537100062298223713943675541635555751677052649693046435548942226031909435562649599231674790925632878876960053621029394152038346447415241303849854952101352077231527381709486130823819418614910917389840087572837672070130119838162387298858834378879358595797761907129818337720513034253667042243285288384002425053001835447258132092008579241663841882030692796386968495487055024767442307480681210882655373299601780830339042095052292473967207176784755380815927106429700356475231912463629123073791421386296472996338382597930900761225398242319170780315090798821722578105637589058661191467135336069811335303143273518438967143199425413469503984013742802114103693601228478424615612796434405288849865207773869154805057275263413950379958599895487067068973047112121965691188951199993542325786480717577340894207, 44674528483213905880925609950556650510599889059316750476590426616866556553238019051379120863983246926508329582238543866299353615190839325574039503856665699527635987891095367695240737125633856417377363146748985250075233041873889333342338152285261993140673870189914604364978398637100219832785370551856299171089229461286322888506009726815094329001783894555056436907570583537748558013702546215343492281430225830770062166713698057925431013880637760677340876921366502131359720006799633633215761577475414504760440848470976954367152351208901588541529288924857471901556195149001545136503332120811311320902809173941599168695112626348966739422692193028821873139398282477042633238411008427229794367883594706086058792853660543167201439617391333433512551581783631865436619972009423126670978791682607211693070850466882241984501654982636575590508542796919000270564628993732890109072075135922496775304870340890020169243992844045339300114331339037236846531344847678543372439398769255195085055974645150327814346877539901234907252073715012782544796622766428467272687044895408054502594717076340903836879222145392979479528610823992746837437959097039074328839287172981942463247924392323678369280107833819450996977079105461264772693514643408698476966089055540166206010974508546180947258393007918397401819493993497004558556447411892982364957261939607937076834086721185310112063038782517450485336066346709480546936999630153630464657029038905073666332703506055419949650762493686046956463963647227855484160360412154451141316084726653159373046452449250130018593717150051246285340790823735717838523380819275911142979948718114029838231431697538197449215449461901846734679426451566276931801487876268588295364562944530507945427311250103313269443181329944096451377151378063066348192110220805493619801375458968328812712367099533987753075042990037156787122344643168874463940404743082282329585108682540613938481245978264224224967990050339388937220927413065029721384905004637529497690478591338879027073346147406491147233126787201293653116576575289157818130701549202736215603300695059788607736294241153404506318525316315914210815240770957113117867214689826466652155654901036858246338890064452067363658848777262450529993666236411833587027219435487400958095708491277328954003196116690559579535418903054389811257085824323990768550286064543704222084119507469578011979392923136546779969021403900958944862355983203583188800601237471142693520561795383603604355339740449386790764828165921793278032360324502424619195121973852834429875283580982230018044522873829886839328283125469410844398682362265107161340837808582437433463891040544103276883977535011344320084993191067646735609265464748000857014951142230808162000212299178620918837834869578691907315848468161021919127458783116408423925099772134176371389589408398419021502482020181188522178811550150381207153385574391201095095795496352189844154047851757242175095066087182733253624320074278412023976788358601150613687365178431409839609662199824852083968268045889398034123387130512277895228535489562058830154295889960361802507069606661600233057790972720865625689540018968161944547434440097671944128860721707964899817091202133901788806455876422080041262040304860063989506572199985094914611358002752230195980859461036229108690668726028381913447073839081110381153553007643075158697346801163128906651352119043678668169465920266185478092196903904331167735392699794504448524577238964311787701721281260071306627777550279078721978938065757371440871472103140060874891752630904108303143346975070338094122815150654184982548351844521239704422814083839496416986939700120695158355074690925964257121149145267506360025168108916911054866481389689428439083640857222991285953026311063134219012741862345500970510573184113135489827519186150786980989731773239886177129713487062149155891495861797646009392477566247836819979108278417225714648790491350663032409654030999393121248295166719903900726239059155774010878360753664137433783677878730993996532186864108135273602297681248311553274765347472642752676715310167659400484674136752749191861222722409191509183819306953316136412012551845498371147660572634010921538015426669613957258621180018224411945769799730591406937154584127455060414960129453155813835710476937259284178638161192811758125318563249790890293224991676248216870050534907440800682274453583860351337279189713837211795311977265704589435036425173178915091711590286130123007926408683840113369700073738554787167893350299658793145761027112579145603888818444129801915206691034565812772394082612516526672099520669085756783713609718172766165657601765888200071649240813909133211435027531108574597850649224372631463476437188685057666782978636077543832313670906461765894260909301783410753092987923436914234835565875304539686411398463011714351374763106928378442491162741196077012247022795671838375957398268795426284797003227320417061165425313303576567053403468261489223210216226918969688023316240640773968210418798953546148161681541891658273877853703981589529951444633942689792864593428233188780349093289757215486367498823518067707636624231976749965914009221725785758541881306171856503952439418157695277697241600311438212879435303784819362554757983480920490732142279563010373921158364997287623224601920476367884960002445370513054251031734805953267672109602521492499098768894907518439428476246169223378566444704599222696132794370600796039243136119067478503101486991946222279438470488966468598201384972802004718726846755901182017909356159169898956608933424482864301453628313549445085654963284010694527640431387468354628671011849720398890066306220703251122013329944882862262770984214314768459310975339537960642240557458653463636698421793712158256890994174525493041793730785464421896602895881910187300333570610783242760277297194218535578261308287052064583587063178224179632861182649363412818721048501763610659231784345065693676596583662280272662503947175115846820760577974189165300267322017326882145333862971713749232568497928736876097031924754370199424385943345519696564855596003047771094377295327694045856703938141226763354296642674038444772718039296401127296676714142638221671399929636573874848179187589695148922841077521456247725695940429426489684208814608562845217407844870449252412342443362933618004014020232893237506524622969595071925739112125710473976594928420529241376123665176686336330866264910384490495348131590022135658871697033927264313564043123566944885657547156732439280178095584335417170669238845631571606273517573381768579365740449171011671566459181751614534313104166924161756599919177332702765349504529466933465238096458121038998001112219472763630816617395787139797294903271032752756562114459071343192124098820886622844341013046958673184477870433100146979110297865386289252979605317537596788059789470137572835794797751839144612462094965356717468592293531206813080190123485523172720524557174965664155503575054588342432920252666943322917715324608177651657083352534487976230801057822395813690505802802106478304437476579147742507915573788957470287647626870891449856281978150776673364954266857643958422702404659580128781641516034830670006164128470953726321190253066501747858568755682954382868426374578867941974257047084372979179085121079563156823453508644242211104299775084949627103594163311435713225725939628791502032094585164386541485114755791060788931688015146679593504165392674992774755287757442382929752334522851412395132126257247676309917822992130345951678691300242284225303248409567448077641572319129701106673079961780870242034660441801792821020780222151333041067103262883238009366135006422151665640478894321968777519437547337686032885376150926174200655616932255472810121788936362157019474932306732178997327319191371578149604991902753744002202726944984680152569621241651158967828526008271075752781843)}
{(1251180418878017263241424244045832315230511611923307329877647112977864011778202381367472763480300121547955824079008032479813145162281929267847746241732007615305538604222013114128020600206427366369404238526307855042625565038715074191765304254760806298172444996920655920994771427877602453370289777483877539998560501728240630779381473026172002803463644335034105382954356373754690214580729942318457005057811562494225388778695883831411244754922352008682239867489315889543320334214396104134208992071260290001109648694215221152198275894830531188546437863143836758541523204944077214492359707891139735128131200716732346208970430291872503858643977933017223956706334349838506835947293962728704648766789294022592927330674407264971881439838654314249349438814538603077936198029144542026092230930479207496918424808527433104830241544394671143367183617080984668737609819716402284565366525730532998620912434289588366011315901445705118408729639535757274963101839912366587231993947813063032477114164666424024618357602994300528406532639206430455862015345175207485820025281575347882743294484829009462182333505050983060071372723472539611116202320880743221500594436978051570597122505550815603800928762458138053828570414861522252835540786236274462321269409802466426270565500635912550025144801469110733899601501764510887852146127449330873482357091864612221233582356178250845562807159194339883457308321551606576025796257909101973598406784116520739939586073952492988479081911060373808644242002018495758559518617571274085053234559582745927076971783578961405205049435408197998020012879008400955231565057161443634276927546790668053402807765418115526500837445412474885082697745571010022905218528966389106737412724772223569755806370031337123643196147847533321658014585838609045985896708354242120502497954409784014554799390758580278634053508036032935067674424566244470881959000719488625971213888283558505353465324177765859894823772125613296116683252745406271151402750047963475460595486247839971724555699052266548954454667531425813244996843163293951351694776230428152766756160540048923813119370022354686655903525286208102216361652595259869271596802266586947727627846690215437059965863314792286555106454664205600066485952612759959525059783373961956477885579827751116939033482599047950322900700677435153337424571964519460809781762530736139837899289223237150800944133177913604037228403188620095211453750394145560417682560853635093382700478237344009583806260065022794017830911800620475197765362174794665449026240974034037065791412604992527565269886405692359831175768779731144235154249352088084181595465382460579862405861759069425863868529884424808454481760380252074525232281823704269741325906332084101612205927044928600528501776334184665516708231337442558643638738491006435081347669247654203667903706249825184485584814196897586428599214504199593279846551454364946446466600916059128748900895367912249414105093471020860650735373854954170211762864634722583122930039064098379600408212370436554130119595530088492594419525847784122863649454069109765825557442960067204523682586232620496660648118595244027697093476955320149374097956166680043179114707606650077183992393779492904810812160400871045158931157481008388973579801264168083526679011075454257063582149676126215094923580230558482323197697977140318903854195119723069513936712746931363195745058324426899204650391953812151386572318552850160023582563897568432845336712903755801573092855249445849578512082801617701905777234601265158720025618329152741914477486655418109387419194123276254259552258073505952079373522384671910176184060227067644367888119167707476419776879528500303497611447478495283028469686393430097205264699336051537148323892892160878154756124774463843781189021248272097163409200146217345729187107779017682736420555697648515967966046920840347688700921008963600022780114402002829073163774360615764587324515818599499739526520208033193316362911025895658333252983683594636405808993434796933877952543449412306500838687359722895642438593789330011577137345535280766576509604277638976702712637631918795917037126564861377937780208730871747513960302114705743339574440700423221660014750117992214992280706757327881867807284551732514383440425641526234582468442984462493714510417804573427089596289769362862136967179745742330806021975096003699954118669426600109040813297449636798410231903592194732496177463481760689360706749924976711137245659716609409390289793130293819773808507469587086828528224439456996644284293309888209702520095310676212351139413775883834656464987327512054131444967421548685479962355564742368587641871050325740638074065159316703033980671363743185694386801290621388971355383179488077682665360659317501011864534784136160450329257861569132243569327074924339176567397607603965433274943861987419279488181947342697603153743836308468175057815407569121917536532643470905179723686163973175449436337104067479815569272471533703099222349473699177065038615519300347452027077047360781007365915578109780180066328894230643096408050087353549422012004183516930271830133852842241363203169821764065980710016289546860361997755526944483607627729577979547218525369910257874141477897317860436426364969602895437209363251816754566395293272536536620198261214686270133538813973418027364344271600664248717588284130582447268159071990919366936258514592509375017536751169969856556679771011812068128321727772890313520002850698856515344682944452836843830439016093874236917909139025387675152111784301607100876588022267095151978789682690719051518320825454642448669148857206947582358594763020028264967318406960943943155763868796647507486436327086757032428197534013403011290988036091251894243371497271339607931329185789471078526991664302878129207364042638853413937563394676425693321006807941388034181171353979028641584873061269215482690982962932014193368254460774147466616781482858506156304816760821390505858852289783876959235649333669626484440569284337524423778156376861961316333064623175183617995448289656365371777576867840736800588707745038326643404932273935269759891662537164828910897567187488219353717006621461835881441220887196391911480384928921150248913250819443102185347458317240737221188699919616102559649093915365555004698499942173970430112787639692023902114148171114110685602009882644288847095662666389643585605298578756337474144071186575935448005443423027447063043618376734090250026580384057004659099927971754921250189901983211382723988832989402215114957678225252962606798144693516145936002213945921470449861072876161750008345655583783912287635320262902104849721472856584023173435046293732751651520947148168106081683231365947934716141024320211042135051896149766085123004388214122742930949761382195058209819124019722468250860645890165288260984847585658687102981396403512360818424378972042697329760026827466113812954023927179021504544136117909471857225321044780372353049947182126028213739418352485887462040497326860273930978367410905780446803840316275144885752385360320807900991478307220987847587642006972718004248761029842842821248497749791250457856503104180336608912924561660911739957634443014564576615106462035333224921593192302429620653220581749826715686536989383470379846347498587755192592873877329755330068634527874801291381551848538009372714542784603192940969693877531975536823047476099378325560002817495920206474301729303554366043492526137458892480345771311683023749137776417128345105479702563453340579737914551017725612268089734304950449842234723885250995882082057937706252137533636460361872377717783397095620080548006397340970798984073363526704335731671554511594404659862480371498828023472441319711192067670981268184453907399869293116855895660691976059838769164963810859701591698735099238070428158680279891040041026180040222180782815423732476090212969181855448387341613666709643110163559122282219876359238637315381818933281299507755570348488290813931524834461192442815816255471333997316006588846463760442148841599331457130192169932822331249695252956438996140196489219270868661491611173388810033172517062985254422061032178543549471918544777227891394547942814936126514555604617286739490695756563280851759864134825872409344857784165897979760356790438296165737001409516180756390028852927829610443846313258011073338408610800564019681547406617961895311561897242623480124512070145109150523371930170224600167903264973659077970536137898290845063608473779993069072073658296753409335558453996163300901461816109805188592442828087562860540367936849306572117471421757226271382107919541699513042727, 17911436612540615116093456264924064569616776044332948076294451256767543517267621730479504059270885221402634464995848683561785614320959102731436805196960253134824899465694271186194988796184424715967707341538701050118425657398527657720253267782895047748941300684828158127457738750875780653405938783183651935270635753066604149557954923121898578494203556268657176754591858853690974431537196330579642008967386216370399222575572533167624779281252751458188087321550829328918936225094294748542397964705901527464050943161744782899519290120912090125186623823658779966701269981360582489133244249575899696213372043051748948317058060595988460211127125829174697049649064806991444042336009189969455152836171510548194171964260748163396442483853146378475692119740708675215204941530306126514511803484713894286601089667296664326690934875926660653747998313990069012665058651536309243880998977934499933539842498656110037245419107330811954122701248171992856647981475152453016198864093657385899588195688862782635161216349427893769983478911490031557680322160700918262739178086356083361886880316071421658198891991901384122427703455324031715231070115715132964725860603360393183330357767880271212081065835829077198933896469491516400614648888214827112549956862684567093153655426330319425560448766124062909382354600006797076198967543418823550842114161936962938807577224418110454794774691721781277696699512357999386994987584168250760287716242863182610117482948740552232305220348698989705569344470851277852135285039398503114169017382175549027129200540223893919327178929208189579483034441407272930275642386130599373633703295588358798855814723074033638025622923509987827124566769032134784883537907986883468175537725235078160805073959591357324631149722274968030419686574617946599406172963337012716644147379662202174110026593363412603149066465965064628681700055723443661755361994601621312953525221859646488273213665122258252777996634561272400475757931721139325189223991620906457236843612005549698734050773512354106931899641956911936829709445191085890992467555002883392746227780660225850609212723535168164971929725998395708918418758724782792742265973506944734546581137951670731628726918761892659609026719830089853466326110730307055128957454943324697654673113408248167399568474819885707632567177513755116434350873204918610921832246384089503025057219472630308289944426666592766183338947035212576585232602698234965438741716128979860211331731276106192275863947051243678958368311642323807919980853717108855213859989612828812374784911132516750034673868670881516758959610861728445930747984103682014095356375258403977681836589546568399559032335745638209183831292585224865782918917188545076651464368811246508404563924395714735985434061711554608987381373655736108115638368417352361950641897799986314536942009455071269299223586839191589859957525464466015206897307750255893855464747124068293134706105637876647089422152423015347141208866697075052275453470649605958782465186497956737203024840283391543295777604632535655197767789002267251763613534265648484486306225199110135791256666294805441596714707323843321519308267938876971990861482880839189189518730464849635356672579247167918233651857599997146585346771822754724076527585616185612305700189651123584560792486098711687471752437975886781482857186860756569126032943179403352707406665192762141457593093160606243048218408796606531081229798436678511979466753655223341995575274687321182632133641776230595194773293268195595289299638858432257665171907809704743364198794362265396822374193586281891077058366649154351227001868427265830538140668371269510328305202762129148830855408457063193587756925646831950944852776093958750143034222288240513494578804177314955294673592563838385861058555121549164857461679062535978036690981636693355961426090903970458611024035633162713502104802192317792168911668864700503708962612460352339899127423649572765940723286483832350478689523584940698616758585715739962515815202103376469078483211085056948934704671917608077072220332489698380594204967012769098774931115574080334522770270382625831986003541748284970681682817106972166030671701558957256427153706788707654476542243007448788246501381868997106620331264477964182353875209618311472372951767382415662952194632308118539720040773688291621555556855806241749960696544810443015504113096744729323420255389592623654290505967068721739889092218845988508376504447915372070854177377276622798563904158478551841695761238338986174716392466437904843959350302364036225278988854379835205988692835616434408612580030296684926135860439061305602439879675248454202058012458273447844692815999154104339312282687149045672704299350474146814521199035027729059377649075831738575197303491858006834337306801364078814818966678372758387633223952038673443039176424487331364415274250600544104698145552779470095738823959015320634509463991331987568163076571109568920025883209177850864998313915716312933299880078903306518747883208429992205051585656681293092807858016944708676311187473858307693255101652077598036984254894110704825593288564715391880022840459900232353454175927543285426475230420429923603781033512015823484248279443688414011665555745249529292022233527527620488076212221410943325156480036564204871112841680381538077030233275572698255419276027232667537609777927894503121443327742867882916516315017738676738644515719331968213069131048429413087555592114340758513828799462116144012124335115016958295300634291127220124791818761678002988407010143162517434473086946407160417957695455889000629231007592407050065445622319690777418558761063417959847178920842823932866550364621290152467885096922904815022949222308089526917090963517166451012824636086855118033158843043598190986263178261667887689840550033091219933710671783185418679705008864671095302474018680078189113856934128444150516284057941524698581407198603870360416011726884664787165273164270960949084378005494660257020224255644120632981660363596376500977504727372846769636184027782743165653732384958326164744313943408450395370311870848669707478962892389506741890789918550761318104956831083651738184869656446662555539637282559768543209646188183344267880076402502291699475504667243556830566103532622488458923710067492913722495796067461983042759700520502999479776838296136719748764958446394687487906553583199639516831911747322602165760295885884212734316710072284309968576246683045150822246085250699613544159797281213469765434053201087608601588153655017432099782960824198825192293576067758137328658890961100678628429238186966916898808562945431764725023964112857520440571191255006750633328156522374477160604392952556023848852042225826762917420000181564406655470197731865357723721198071510827296945845313282083760604612676022206931362331105012011656730301908684012996297766641774082363356704460228641117923267454018093085266531848110689816355223078490394479812235328833378965680804092879212556818537310795931777264961828182855364146895567025575157786777577777744577884919851474195240107813963849582457236188517024146655243308463999653841903051085089777889275172907828512289381439304056504333448809434818013591558053160992094882640606235463812429902282300504241257325757576693674458780178637780215962522442174007683146896361188551254189370638493386041989587242114971109618174470667416895448555832397030223010067275379299424820465188497005569747082149004342594706387636847277332799357406401742902133388394753879180593566789018455164187931897136689245332064052778287336845783012070615238127860049968601848678946367673105533780974171879658407098330492548088980220225666825175105604977193542519045174858684158297986462423768492264186005588176505450499887664672802478503133813342425781277911475782095478507177531847124223244025456911175371694030397428082310709202902420908341386926657074504066723399786908159293045910584165275862677834203516072907825516948748929982098283775196643211367673053639113318736048611370603663912176840884301726269122639701227802205074503717436834342546392702103939121827601674355410540156632025150511348349673371391145350942867703435317252674129991465274762008203355128919909564297534504129615617958418401175717113665060461506870637642403176011676301303278291005099575869785027615858100268324953943931671491485274539940365356922418981817790267752707518803890215514961956973670309689088421870117165958285781783465823741330809324071121319877615374756022388360826261965999696523134267636492334968568595464742761259282754167171825486244334918919824899033733914818049786867224613697000, 32438130552739039599936241130439897385589995020237293375503953303362828011972563855202369364247168084495419062915674253300035256876955050183041951059658495485897268628772514384208396248923617815676084166453597576000202672589821511646627960709306813731553088199001799463559770451381766395389122213290769567405881785656021928778506055014166024478953411685446441441994980130602901142558331025135397973688709001536920013047211060963621134985115278236419326266987705677676056828269990061718532308950529260706858232917937347455034903671364636544454231373166289168081241536821153795092491471824013476581508966065854259371398821848569208898161824899297751577151559104682960337876446517142925122636963565195431764941217597933934184023508891105005465117158466761849506619581182335173339475298658865313939705941030777131922705226242933998559157000243754194915516595597116811946157663833886410109620087868841257861950929778632163852362320740880053564038319961801424918633790191489916784319497268232699751329080477365317079618070894929971607208994701147963596071634107692763477983831004875801156357172901920483420074087296336751550956570455332368481625732859431921882562501555957883532980104972277702039251690429547561967448892571413156952477749329871680921024226578599307809116166799999296979687608400458830465299891849536677151502591579440878050429123445383905028827412972414620931996409968398399042732672968674800313614030666631540576348091806187524511296545035629143689570205620671673670643553385762503324187600698030979008340039627173896025236655365149772239426402924328199964777049248352245547953861155944595453646758742759583224862312107080445924489367462270751410855914282961097581872038184432472645772113328819763522347853769527200691821573054366609444259226636490107170848425025409760271177815470985195520229576439649574628443721412331898838074719655197597416472626246591707940490062659199476584692248474653362097335821416200609843654189987576790890005804745242779903050687782554416382572710359995332780419106116441370003881826416773700361668464581240670504457261346462835892897203660786027554549636447509807839442845842039037201162144613832005551105086947435387867196675653198388398461994219211513531905431913846356100820470768441643839086585541231262673875240057178370612154169240230806053982615300830552571343621373869399470838545340255894051379822190117256327193322203979028833374182297643127383070130421821017652890325768231345227495886403997098172728131341351530380341683220426380903977964293893776701172027837077513074607832349577725678674088020734932071730178213505870253730062176261186013704144071978003527469507480924505508322182095068348049620051455678551230669864777084843732242660675799933930512065024991275208112427377145767692735123114209155095242725991192725660976740683070648569546288667532464558777528554492386051876004524573177029316281918204917090676776445716569029163035393438649790393599764477385486254724291243852869083519031626000088426203450260817137583424141016128336890660619174593998115743406395097347993812497232867895141440989459258120622960819996531831362685776788802022822832943566247417761578015862554793656263829609262357669580525526679220353678675065092673900405709525065364517920063362839088921377371165077899845263381244060308613811084817639280979790143488959336395937249783524006441557360445329565531247122002763775682374882399174321440170247473071657011728651793441355363400248248228384836175685950307465692200780710385376580570545983640658818640455814235421256524018535353954430534736767958113792957367442969243153580197823464965020992318663236701820938741000928709667710342846582141081687874994886500755227983501642818066325488786923145374374637657307871452218323598457771335075575524423502180036367818591269857077991346077878865442966317112154884647929098850224865929310455792559160109516228818810794536986665348874997286986727123024201666095155704747041497673463951370008977919786568676450911164057520018500982807160930060338989432221596071131749487552243354856205557727792779359260510606483518028108276194460388050852843610173959199374835379295508048111753248365469856849571593904077735550069219304675740714332461468398187836370945088337090991943042877356711935787644832163782999897672196577202683144554411595637983925124262938349093095718467013307176206601510370272633154774455124910049247941092190472616842798434693126952280331720060821138575954993710227081458880062500532271441720693239079854977862334585859455474645277869708254427660747594753657912667630757888336198034476404504561927035415599136781403610460113243997847292944006186710537668805662731585816310024727378894243659146460584377439335462664337368000257567279047370623010089721566320494473448958870863377592615759554929788367846199972941884916946447547363038562473966585309142742620582598645926540811757386289364853405228879310014724410815943952186706051347753769440316235206755492979769688993530822089950681096567854909240413922934358309484726893395461100189504953473593384718056746785508355362063001874595523313242269542572288473463385946098723667146318698182230353123871849650676294802987910963409725371891831433532606932029515471944241625022871778320373381815302772499744297401047506976854458284379520497431829555464822737342475541817571069933423504355271246921025565988024145884700960813979748656634568142277229850275006486891639993380289929065237436039532207904000901383756320014315412871866746387094629555389900880830463637975671177009186726511074205211466800890202421406423784269144720908062808189964926225150028042665431961449858563758698925150083008050372914976148717494648101444228002114013596281051192916369024724808770557592978350672686149887144437991263241497431839044396616954920704621456920222169057193924649319240131870255743158274447720010538800309318773579925005027184783004360256840671815274252118276707815646500215882132160477451857529506002729752668114854285942481738238191232679771899261520053341648879539562327217939990439409485996685403064864577470862570892254213410968926310754859144097694194144510313248264619361462451546668980348480872313737310092301888435440414149218305535164614187998862745687426008447347820196067712202759154011981522615539610594429665848005570059079296995972903764138742141073784270235521958162796018257206178209393879545711976468555882420567799864119143521531466960675243924143539741046895280171054473462536347713518662829757331804333575117941834814658518742510610541906027344920136598517515859706768517712082185640097629524766259746515069018815913933680253221259432814322371185154966292876517395871228232296932242219180241465273315889814948518709285510137954468837694148701702940348895940593059046039436779307005436379723075988019391852870025193658856836638640817534145571978868077053913946175847751560669185090742644138619519991101451492723287414500928508158410944215905458230743736338989516477392788295551376874595895157111618025028048208991613089787744514187160346057548421509467676127060638423754263190862775166694846661819321631945154151211059225492109143117564421470705321673794908648945156748929251205886612880721847165030921740052933619274187300555463653314218369569601299555295453068532000905049939093291394860420070361370956185663661359237237861974886447616234815000482345504642338337404709579397488282753616408701287281104434943257890693491641063992201756733430568779756938079047098628786913140907884037648368384848806073924946430998467246830173610979631347439633277533181576131692264259621962953229708199976265493078930973261736885537659711126755685904460663101778454911499642860710058206470198244154749011696914241854048138367407284893362281606054572895788502421391165578489555634090062669382422120714650996296191276881198300499523413548892255184967134720073383544900976195963209358597753579240888436034968041482510234138188205663985483162114776093715422577647711201042211811386452212899585785503665212268806728561962057305118189225924499330533070379513570311105880009375304895101100446911909694925195502674195248311156609893434193228673482411370449193655132875052106385264685793823184906194209594815325295632829982017088684642460770827451128404185674136468010375611507313573154011181841120957166978424901351136130315916532608514685275153742390300167381813453996490171231898396555479299214121927711215781420213400053096854093262900477027785937056608635400690459843931816093395009804522354716171555442648504883864526834443)}
{(2197483174971579744102853454871253211918532264124237394136989889627108897347778761658455092174529175226822265818333538659701401643903738483570221632197368824302117487365332090097253358815992046799858240407864154117114353057411849822251995302336558216716403644456075315580710047102934914421948746869547753184293967863383595221346271049691237263756750750930582199268360208643280909913257100462478053231494123338928971836409512573825273580221863789614124965606336158493795273363789311752809182664986510924850163798804680148701405716519885050178741204117249229417000864632382591993937658178990547066136742618763363871663555570606922076519098754823656996264538899469108019218938412857333465646681848491014662312727149625429542543189510714901742115987235553327465582973386435939672208181223972239074332760109295350036641001439832523627311424371900621658661132253283902999360643185817480548089527663680210468650556350077503145982227872909114065924255077997417114856986613752834183772740514507655662521443880703452668540470805694492730129981777905059271137139333805112168695243793507925639091550138951937061075509683868388183657991880671577377041071323960780807856510958655031562209451700639411741642614613022638604541806931469111459346677555082198999055869647938140423225872582051379355223207078097296614713939852793498313687658769662195687498482139422407814230028441463991150403351612994172488232730071585571555498032419475948285427431696789293669030382501894051886730546181073558377493083467486975351019196774325710672724452523619263555912661381364755102174159642769024819518529985369030889806384269281151322768404532333559101685847235357557840551878211848269325591525128483243304885089609406196573667990367071072967944707459554379912716594492127679219377200035815746136778241404104487147369536200716749192645298754215223845087617331626030686052763273105046541186808971778382472713532786455917521034538352671716083753244002573818640125245457402849814986981033195687769175545257387665294346075653490922811996704728616706551309374959840708090037859782410410726454421423986761357488087687727329264577150777212575099065051922816590144837916280748907689634218772776996564346491164449216011224216272547421033130274403389471918518146750065291603298001694564302160656638601046892381313816977626145654332384736224980059470234860137936975998235682230466246590543997100701089814589011460882224737113025002896478285920948583236161066270145403446034446194304976135008039294757369319653539840724561882294529134067866581107452378752964823863491592536339887335532372420871698580879634520086436024294483536291777042898483441319359407401192818627795383626318838286055298123005328187811714047511706843444143023254103315994377505160547757319873934751909921490246954515133580976885438264636740676520169497122395193061167679864996026591420581340925603584499138069820540192099968447337089517791921063219683026384874664939867212953243550541196239827843571415367065361636730822075801904709433202034218685258989581023149997159302982463201678284633712209247772314856168120420158873423706951786377989487056634037639394838910480171204015796364881937099165917767140166535620773977921423538642286612301137939763105420114509043077836286486487003336065398914363977593855361763698752234659083467444171227919589304154711567035361164256599827084499916838846194869548194076112467187214382243257086526124011370779312227529906600877293248119132090592088545100303966184715164138426468763376308667275498576406283878021610242996408007187579166367179867769703977665421407989377884639887489344075723782988279270270471450957513585570335637137192683890772770435136431260255635053731491769385519904629567733201198673918697631112825574326358508702327904369857664072749361002809410525795561723846184008773364243238343268181311482365500546919162101818696113761028124483340961900442434751360002808386515127048450211108126187212417358438625150878092277951684915095946875448320612914013685960954581885866035437169143883730667860299215264851672690901863265025761084707571132757407871484113395140100869948629661429811881215913000420511888728925069633164638898572322271908605056066668749524956589127567833108702181166179956918817048407241686225064665302787877922583744760751582320950719931318062183551363680422317446502435947007980451418862890855119795955836207161599229046454741052087243867556300008334505938861454352983022790224742603611683817154721334851270540591449658836573154774732738252903512177161286932306299407299239691988834601759711356462506735906507416605087080600346664079215121993117056721806916277989753250826275526584028798561520030468837698700244008957740120939508511246664959867078973621019781077619086913007756497357041245867964447694752883170998459255007976799730045831498300971462001904685692298689887800185598668790407249273938028574801460942969523998181405616583614063123225736133428052412471547059081146554700124918584650799766824597854195088232894703918709103427107218147413261229240910402138837984311873841014614727490001609806937854014904818620563441844561280693227529065219448047991754743054846482391223162032439963801028986961822758209541047611912256477490634626633132251146857212071292532749530852738038953486310087712744617780310721881553781323215894617225352245654141857391474196395774675273759674716152903892274649002438312513479304381669422931074196011602145487300084298578445357772059909192882219068499372564060913425752277516991060567442250915723190165096348538172323005435127150662760168271132339981132390908194808919878889571793480057649255109036348943993917694021721271430382671031224797556733315498341835971267209259815656336057449590834123111544446134476799732404732885160002907145586186692450390336127346388036943111194291857450043737431668234222125934177235326863419506807490012811209273182075397162658598972872707125243129650214431485271688006116955194595014262540625173911968209485720152349957030192642236506074392074921927126273369204310673720034396309018035874638522773404838621765254987005191295323036855076657593407721088457600535188572190142439864230731365561056369253406888255682356259245511417418451544230849703138389316587656323723803272527443941197541040258995735337228291549679241896680439329745090743491127569932805436610173339783957057616624624129379760223034059430873396021116015739638249780118996947467013647503597807999132145064922554129783856522970389960339274802226241555799976299837947788044983787958315053238812612433129110355206337927071483936305852737452351405777980729790797356175955565960697719550827749946875478710683224334023227289901728919256076320858164056072622966227400833851419760973154292176546697770863676781323385193705150162254801769234428487813234566245160977929788176099403677202147684793380780655840733357949346722669070552468589376566308080229600066233432242648740822998695063437686409762854745010973674176026348510617119571646186988230663957654383554151435819264143687015857499664985892697049193820206145523953781739643773523971739160311685344733225476232529369457506084309949354332556306479874913586112362404171928171810569801839585563010300771897195753997669088037132228906908029889376596527346453415643069792798870556504746346920656203111475558408180402170307944931588127737567797892375351781913232862570498522316948490559139484238085836630443747837454100550321109041836292800272063419267783895864438885926741333365330669279938330556962198504166280495589407326241093445879559912297442268588173366083695816268133595932164125878353893044846818612511182307003263609098000555334123975597087676316641097567736230725149942403302074137907214288507276895841146311130531610626306155939110476612459908325971142219471363490274234173209009911748478221313231886449054288399595900907031016985780678597754958707670155228628026818036469021075832931213709506820125252200119105396117425630964783337163662531054571656379737778712117685003381480589065975610999004263415218883338960227586185940370931057907006001340473674839614141562865967635380329711978884878793618734558211858916280719731328810476981988006073847984604213494791445683617747623891452573488252011852078929446993435383191878205260791748756610138468066164139282355072883370516025132522901660293260987653137881862185359879823544575368320058225503909825158980023318703019305080223896323002665127967328954039884888475441638708652467946382983004893995932098770243738670138372838681939405855195429361165644337585242144711496742964984255662475014460571802898170652197083308566674969486738856246954412878030057063050945081732119172231565186060059252271241644377163481841854856817128496178820419219177001625497085885416282284856757282152715251049108467244980783942347989132450185664380074927996807434087630075620024825879841821069300612032634970733307950216461679310816691881994673704623693351643970707505723218517869428414107774428255945576061661293009427438193974393791312130665292651875496480941770040848157574344138542154569597885124664757442809820286931136631331773416729834836375734292704234668539545710987219742137604817865775049296394961041586114875678995285280328394732518101413963496602813594857582706711929620941880933267194356121703974721661927, 21838821075885862301104841595895870559702564203987719692135979607629593709307819951987225193034465726284601080917473079622408437350144348242421602719655913227053373195972911920851417515524577639060395513331309507795436062750063060299852418432968381680814762592356617884642488006960857502558517719924520539726132559285083199647210213116962112968854140827169638835826997410062133009584776716541958391652029042895440308850259207361234200126895120657230041533253116777070526581445168926736837849853933545158171470555508507037756825047531777516445825679547362759816968091061928531508809683804484451028415190714953766548898113564860640929074045712469434193138765226693776560500905107491733911814238816936776121969307231827217640264996451961709507889923914306880113908621201349857498833661084613325407299550884280678960419283853588136871581655841730026790267674413682491095223124749033088404815731470601913237944164134820403638572291021610613757498261820836343401590758818615242674675555146123473487426601580584445116820589769862370158318234309427951870742105605568021588577124553491679023198197522381181728028574059229590957696357168947113683824506941762038225540008539763099342319529545680083019991263273939910716112428857828962945166587079133231048902697812305482964353044307955327171499260352493908101493199341677285272213100018725599705174124181573989881675894608658749377141322994968213967389612632200819831781626292134303841421485544042786182887224365406154947384194700769400625466824211875513947895993138257434683902053142349238477635692882886877954284670596966384328670393105173822078603991888411423575231795909400349641923868848642019210693554702394918435575401324122690101941013465174189123606723386778773456615875947444680153439757762133010913931997503375755459339801035241532351995138926824169638997376264892148272525717074154059769568777673399178499736056815386176057913158667999523994612569586501231436464954821021248321443581650470339015500933343034256498853700827421926616184888932650375424664157425656973374923562669634252553418220395021897870797803327235711045937422999599924182448170488310390160641007340170866612226020347015508966836694986336844022472512110262802512972851596704344572727015426971160604397729891447805256333947435323448284321769368719817115818267858777734832355894901377524702317495104052047762641110842112992371120562850114640222264218672938343523189613042394349018999110840393610152158754081274848375746481822316398835384854230868043454069625070322185850967268439543681674172071153676289570939888760376432155063948547450013368885140669212680290648243644936290757579346568556714006490668816686499281917501888851951321441526189798063849287832098152966302560227982324619975927602897732036770584968927293873096534883517611986297268316089554204735064535253775536097843414449247842079110217341880868564504967839089283802412536551811143719688268265974938886674001672301900248227715709220021513662662084420989815242460233293586756465823008845778895990092475244175955714316920893225707836250513438919312912440986347933279028565092288985917402090412366909356372998650253937167209535497619892418008480030389150930421936717146321209315090194601918986541782506202262688002360844485905778655893192827172259957854238882546816558702367999964346219689811368158189597980187004177297265497711934678476727127723729201130015660812623567757616960751192649203569610051447944267499323477717392407358946760652515539915903518611154246790782070331491701782160386009435812858547841209045612407983215742800426626718996371644539006569770818136705586435570834989422320925166267718841170000909117645680565262029511628096821328415790193800849419539299412351937952723320527620909771049672704548947263023045054425170977035621274908040865306997661666032535911539692554832610886455058544644606293938132159544166552377173441583573979764155514564529278739477220927559053184993758084779436538554713003152322176605322073237263976110389063147991692673640059708443023172420388575948445373257778700397137535135663906601625387356999257204649913447826225649283476741339495340568328029962797818733907505776114454711911281739953739426159200050491349682959590619180449851860127424465350825497864660891466761085634852577947450629134948162885689194961131800360996743276569307413076248529597407000727175257891514863817916933382767922625189021601006879628389903429972712188659855902253068008801456275841929946314158899464689945380990447614002707939288016005522694174759960638938775239518193953278990903040946265642109216414441176803601354197886227032077886540592498936806768864892090171433397551170081505244772810537926403023991647248242931612332454078895672975733042612162633218491532205723871919284890712401958475127377406674238981763070646201523568477361286285665479643742938916522143234000838188153402373563913286306845928941493901569839866775608135670979359778854002734971690838306153392096223005945322064594472277288330201476142696692657649562664967621858184932091046077172154780725251963556625957894978910305151184777854649053643815471036511005248448477140236874051100588515108180834986848138509753269073015595191414124730322569594742283905474894054555831637044460162403031192686275535240592816383430075301615866954179338092935202978209273455127088737938176958876425341834243623613075764790947921500462978272478241205217362753572220694545603754287549357505986193033743207771444689621840545513498246813447587638604475181101934234666231363741181688381191578897541610050084354483923628219692016055953362737249313062936209552826965376559340442950645821757943021103316846874609235344473730271132549306939047882391077063166116844718637563354523773352857955826417284224998758816376870306733577875318224049016391321026578101837437808806615122600945880341130414148677922051066200260828042300969400205536539141295415132880267242442404132301862388973178958995217489691864404384381999901984927014745062241988440871604121707217940758018683850986038129477735940690153669267835405182494230805027952450276796010772931252347428367368062946168189546352056070218533474449211354361635925810860022241551881433871502963121314919493420398333258092995488772291603416793457183252752925467111721849475087765389099511815626508127215153418652134610396115981007745668047110271913395662402393232561683293203852392518102161438947101151708557892131705952978479097186965538946061884504588874457896482974370502301481252392976282737868752193570955678882034141022582601177867673128457517338798658264541109216956835179356307240615495648853786713608355649979998816922116979900590860646487152980583400897183698540752238626466664741372328678325405805886036371115618997043778509505890873647552415134266685084228790507207416854635691256927984480786716640811443044933166038369545979228331203176333341212898433785337919880192327883436707790544093752124880917081031432987697790375574513915564347995930366537989909230860124030411914339033460004138479070510532847372301955744062339277589517960097581983633487743730041963708641197947314833579587834177538674051017896552805783791281182282119299589442292912338599216762283983459519141133268032483186811905549525055386310397354198649918630921665777247082249527781317810946901957675159552544897244094958377613019657368027772005328319397628750777174738306333553684526938155963016798505761884508522183266612237894362364264320727448463270592982090611461407029917790445894715705637998468948925260649089289583699405021834192480515480497417303326368893092990399321748198552511179845455878802659677328029456167366396078062921286415009686746866985833977195298667425579482188506424824158392204902443412226608169368716841337125863405850184192220478193080945948249309990356881074755268271127066202038075819966919428491708979306379823986253752486200215599821438644312655125030103963485925903510765723598174772611239299552513289164156715478281635210117172039950321684708653455470589788985353695077426869882304651349422072397561079476269435898927154421073811814748374778768115537539315702754115831780286263871472508021897192802335368394957173120832231372335353134562322799876624226206046699772672862405000348418072078663973157133402884405052096264150670904571329659383207808370590102307381974162094562014779690786245860740049452945449564833085057827337941396972623109484561964376716624622781590296278591083381852713285443377478842764264744392354257025883062444885538159332849323876632638639517324495812503232759448849248614331734188176368186358047865786718836414838693854903181329725434841390129128787833683356989092191664446190340416631948176419006403018539438697105167462985999339600427797537705928827846969673921217775677201857864034062579961905820566475383649552878182961911539206129401930354771034375902257245589704255005522567226217468989505503510915200029399538330118245005185603689371770021030429561405938278409311014786845427188817841957240251258225625002739668519420483367135961922376247628882218073542480662593966315153070267647180430243684062868628109913123855921887802839887153929339617137108495700981685970249797831390999262521646800719002657629128841110954123382066333282996386070999904250645033331894560159161333559706488731315979083, 55524934348682562256662523641653769826854311631855028865886268106698755035617587370006818530098196284397435840904371064126659769367687199600626709907974031139377280403272031654325229197227536138069489908537698616089472479586244740448008191703830172136561637527284591789734150565939972868690968610148692819957415206934330912509337103743491964410066637334791050479546803884972296893227566363445219004177174180206293479696231238942289677540110659726805172848842715248772312274719814821923801600248735409450967797318997523760157211492512897569673302300755180955644011972494166080230853227187809019058699298023426092744855102443861243824469785405747211689665512484930146688928224149120899335859492134770117267627427520448646370256486345576710953862588934112719099103508351639129640481226409325158200060847590722078758301657058181199704247250223794444937742206800697649736242473444328794644182215504351533034453316036337336731972203268180488603379712663229639222615818401214431081822254677002736970461731960448361218018680688768155716957312089629030541723975726589793406288393900327856122312424184324975264941836006961828683969264881292157239390761165286160069764302517060469304562633302424269814128997231652453131912357927939048714606635772944164320260745700979023354682287300403057710174185230482576380668259124309920982211517672186763446602051418502424162459604649722994839968849339131327743689900542481984755471128823551204117623562109072376067414565063343808865846308917960525750802246181653022481420499395043503009234695197828604221730021815641536764525331916040651838186671311746395069815237945411201139816644763753182177661817549560086669217320374011385763342146377209466665919424228919668575977878868949590901807522871839156348423219619936386455838614629904784245098501391852349762346857170654538660560298335516155517360401484099470070817196073096199204516403124053163974215907994283880221163053382794105452201440465342421921430544643215096229609531198319718100810607416496122918033276796205385310258959647776029189301482802516802572425126764088463489963849523719764092421592141862716557622098798925484766243620095971573883061492953451727611626054393996045631354052213328727497990613170026767361218955151911270726716409758094894076006571147390787445827407130977786635756737935380184325701066778056425653326635443827414183088554251871934323083114392027836001646779472255887206757714805915644275832728039105071607667873664848161466427073971207738078197627277538029280914589326743560216888086942412195061311022580255615780880087058479123932763717287772141948545485409739834268532076573869188109239621822091312701813536106609294974106037626331644094364128463651684299329283030344359327888792126176622997923578625572809426154681623667688944485281358044083923202236489823599172035977738548454954484094825664838290264781329747685513163026562581958843523278861599041273539337568860486161128732951611726253251432963140631383473850369340364198787416341690157082351261055770390702334920288854814510299485965319106816849735820377187402915868767996498393059703691039677742774684945065953012382069098678082509599201095535947525582957117462127286798929542896967201388435925621533418191420961301201800170589168516058923473063878878354345412719198620185406015510878926781287937124783672052202988626975734533763669278598417944981787304972831201999653264320388035001347083420918103753188888423527692689557433406359873640491987420835774987662208520897716318988782060018011057833390204223467900002420121316956951410186368289665274772202285545927834671983191608971435073611494371385199590518134475359976947319834431061372027532668415852204204085515426810182346243042444859102070781735078773441633821227284607102698847329808928594905890397268229126752063235950696772721719154821104495063326816584182440310032900830410933611781586023937978016322328074035131306801590956302067676537384382027010380135736636458593471695750595180358899552000902410325890557424896645675033508851770531428586014963434063042084638063178186159776826213407558452455601932365747576243230326465719563433795340093999771334296572056316110841423349531690735356350545988922225618090193168358482218082705037593551914897895294503698573915719924504752206188680730050467129871404805311203491139044853141014175939083390688374894372804624184494600980666956252256510676327735459822417255157685403795674563637768373258304232610994231186954154036372775701946022808359105852994541593676070223860383060783637566100604358575528996327169194355985637293174426744495354275514708056600179716044259846517501650753583843644698093525076130677124448853898141411810895952444969322613463139522861866934729842530599756463641029245336297225249278879882088503775475588072804458970769151491926707942215467599159753274177078089354590591906898400899248222727758591725567185950399020470356103332357084281256741258880810032827604422571971112800437993437443454462550367358761411895659314024620425689771111427180252064168054599819576268795878456709124242141715681974323731087894759482595722819888488372055352159100419538754869879706183800829248062746193974182815929796659548219975190503124136514982853103764339765072803328955321930789031935351012051090520489710105223027383200878124853496012858698750552458965634672971509241148691391834734215153155581751060612821031691227259349299725866637642938402515783589976558721697543788532401370190731964438713435245452658733964802267780253261754188576055567038602405749977055889591031539766053816171176236551511460391278195424663207785628612070974166464387191775043281787246572698770067400114622590534673632381204477936372541319086214766739050302019156699978191970282432712955660698013124797193729523818542663883685261300918744694177870732190055593975408830723790263922590653612646033469065973173336593374532697890750383590391923731988175151956784398830094892420919549327369383283434401875442356474367143660811779187278652875069949280972772286422631185050027152829992648461751042534333578060240541378658168331161546800061505592296767300395234450535609906948716422760682462275463161031213182713846069427586254715949305695920783017222852639069754467367534438126453157254084576967454409274285749791238228173811648273842018208657521863366560732511309604367753711576188876708937373093267993782432861105480697431727941674128364591052975525809495365264514078886029617858783123127145757856330358324844448946299700810138037970601290330814970481700196128783902485744502133306420162561425775116002420004699325058480865226841401983052703040554424712351215177259137248942970243237924899070808928293365567533409371025215708606437356759831136948254084086545528661425931463830148816439611121108381545828444034190915940547634189674249916881731043883767347060475287402106434197354184205628960929608979784032611559625664302217973639810479941690328624546402999456589567529477746947628878758894086739975432911439671692259698433271629415299085166625354335884423905051348429166717001767873097473881622579858245618890879263211386845547667953871219910504755645299657296587128790752556665720399043605436444374834166323425126882227165411474324657668334657550776310103395284326260426496363868782335632941172096907552215485014417505954205963333270733350950461584921757394464871980433520913619914037512339367451738382632753734820027692838555340985748276852107905894404439866410170008077647362838269412795313867598520522271619461981324465492897899263952451075380853296706013504876082719819241431266632281883555055849928022614586574878508053025869161123888245262664578750917479425721951618469333233099467891445654304900369014335528484149341093114472312270562611976186898120731004923536085851900572426456498060025927944711640122715100122163129810789605866274136186748021059708037455922386267696221832674402466902910912352067063758679819662016551159898474877744084438622750949516725080358300444815398595433455278384950836242290732530538132384251795330056751764634472453423556994391855814048746525841230956618988901172948841024580090930095165737288077211431880203135072896641386084860434883344578765967521526547176802532373181762863753026987541582581231922583985819552698831374574740979188184501960440648974006376350943677191932771943636340773395568805085885291496824816035477939672143770465564032380591984321711867471485408052477543105031713982633502075889786223648008756829560456522351942861969997135845823443441833759730543022901021950994432993085870146723689042278378988712289678735333590667048901758305243554891866838093600613654881981996384316087696864953931468687873918569884958048318465832984326684744528486300009188402590196591594419770246862118776449521864778121615660902706683277249297056154919751107841244956286065512038080053637054116317518363301445371255183395360837371109834528823021499886852878430388286473697076279546640970970230836829596674697654012957399439841341760447983660053445361439500231095595323373976547359686455315059718302499995609011020278825281082291550743625052341829541968342438932044618008964742567718573055520972844472112141679150795440192421981014120429611897366326403110072570365822831361377518861261644655224876899906646954626675250212794986502279519379649000)}