{(3487002406126375562383546706624010629333688047668073, 45524158873672985277549549552312838429740427856411793, 68359640899293212508097423656156956896473370339047592)}
{(372006718112604354982470513083068804050746875823604264853938078736618708175997056450117420759716267723861257749990327204824109295143313403389604411745059719101548129042635998441119409479662653187754912633558720853064456101783243566266117266521677107793839842140207392028966678738325720980963179788586759843711336022528772063951100372076472327171177769107185752992996187083350356235122545028240577900732037616600940698204591927388560649449206287300399481690215639413139028008, 1998733257408189099006672610797885386473016457678203473501726474149788124488176933024140571360149448767843929042632187120256129741536444699863416746829385788590804523985565410870442690319999663003993643204311251600998606275273684362970913679307907137173087890589205123176843854794199777421746784654907689149281581134480996777705715269201718453997212960199397452824252746648418218317128085647205971288781930233263402346833362350373175660260901075000978754865333250188102835697, 6670073273043454571501861264694134409342505833889358144633373074236267114393672499170926226797234717720033041713294029764464821453302455502083934024330504222107075553421108130651837757287389190316262625909046154497547770781054968055508463428346671307229835155883752120641451414166970909556615950269183996991596403988118080673922847984660513044332835382997634528661868711011148225197915530141686977190940959961859782028202594363596104861040789663629457722558527126575105730537)}
{(3692100739359976660916935977953066931344405432696025820979343323810986212676994131088023597362733820181509761031540343634769228963111329333783376038474103249236366897751328235868427624283543010745066538068497450518817377150966380879907177620834579513964253952606802682813265354957086455589065849113183758368422217707582023227219600531431321331076103035687409191512805636620347359197845477264669722020395578017660266359345012399487742343859664851403300744885329753120631433599243162704819465574445242152587010749780758236793362831616053050119358679056526587582038626336604361913458989118772703223179435237886052291087096496361475714753983755431805498681264523368495944116521098833571798530761441771473250616855523400909138612483323983546515300521023479475504196557760880124363197463105852304745892008987017176479656291892127913332853277759576839142413945802798661553360347917355163401326988404346128093013227432528160989391882047082960913512091363759258005099259287213143408714603398430940383183662227727564034527990273287539973160798138697183153933906289485274200536941247921573904428660302823440414199398211638426800193283391290757229693353062826530922542792750090490568170005795840619108059713946881702075725958275092636498250518510921490573760892153579608535475791592317186286336731967044043733668739478616649842417, 5976548866429981090578913668506360204067931022668217808186617632877511329554230470204022532018172998325113707090139194455342834054505855056108316176905740109381607813433240948147857059417699860780897802403529385385900293432383074200697989507323233128877357622036204099471797017155182401202152017900694729293904836744887564692908133437602833337337956110019312197298827234469015110247548629621099722024759644635842300766518117068086485686520960558674328182125496942961124279734693173609084537192468907604196917899557075976045022322189093611699780026239912905615222404821083653781455156875208093282046076110999062314991395206366796551746584316467431282147287048560500508159952762501080442722211532020723554190368055491331606665156326546040702769389678392366176590395960777719953816169595730931874777391907713850563251070532597192685378874933078125986996293144476510127587675666408903942707785977744759622125214444433527673454743135846118626534812645979828788527144386543072483276394110591393750613916439770749435163195459173350075158982027781335350282418266034617119987785184296674578144171068528481675048459480061552889035911545109628630927233917585632694952725310775643595884102933518420530535733262497906274228952552481154805906202326063795078519642659163034057592708236632087026500454946049874857857483175101858279208, 42032157462261946051100737956978486300425837885310805462116149262282416192799563437058609701187175113246023786922451137984121355900549892725184005859862227622464111600382608687344544638583058372112709963651199089894737652036430490819562700060060686984629007625442660676066608632022473625615181324169858297648818238101142574553973323069854253826636447408720417226405546353995312129828293925173549822702116229381960832752218961564902575973392743874609977584036236908201655768327260692143374638875531732073907499600163054712036015746253342087492310979919869820162154343126615078082324426954016334301783334289221178348380308598143422364958669112826781139944123378297995846046960491072038330976853801473657898696092044059316968107297330001065720021401189663217860706963331424580019785308542126428488106258654079354183029274538348043423512767891983296757195303023671663675503345347769373628423068608211617890183151097328144659448350585692246403383929037871473753729107595185640611598848088815936136054716424650410151233952294668253530472953342243867919835307135615393054194402799795060495915260841076414932305056236503552785469443290669275430849661327603005189573091124951476539481687479911859333733491993409552282071181241602881944323341014175522751662349099166264870453945481616695300339525845248733582451291686837652431017)}
{(1302497663028875711328249212757938188882469963030417875254222677823516505241399014718494356436042305197766273199168422697280517043780384902381121313547866487680778027427168387449570319519139457797920082260581662972711384744078478206587617293735642442187729785459779114149866046661450040408588114545319739489125881606099941703235575314056804866577191400345095558607506946185439368164844273708541470114246601994456538972553705373160828259885305292654980637500068923285106390769083691122793861384909814843904454970456493236662814342675661257321702176671288972936717326025552268580523159918840158373162527970249519895045551956718087619593664578506964854528793087840888036672601161114875272493081112415983211692448017856814898250947611186018122238884976896576194550568878247092847338244859389803101849367415716635420725096391522630880284321521275074714487523704999258338254583715272324685873371983850597331679884728168399739192931249543094917479887386123695558182351678010992676758076503415485588675118011815726716766719981811272418107414316083302411319524378131799411245434652559131678293026329901727295188202081334568806085215204512258138175327388595293292553342440537282038533802835628154718016133034646336340117216257983999558477387103712420710177674454479692064601839199947232537043017273218685816339787983206463745952709800307221887395896434685343372587651902912458769447215343669962619870622391964637553941937419222662421867047466612387114485739416945064056285887047228770177402954060047953792986754053692306316592530371967998654455820026483445851318966673713291404800213425469807194959364200609587088810310233075375311918395532187083746260059282765996566869312601041954777459517790774755586223728957271469890572488288028956028421329153606093935864463529842143293951957115340604021663510635266262672181156824539703464752765297411573657413036031569574803246581912757697445605922889251480273647621168612036525339880528822785610511988274020548339943160317963926407930715535490215174028449050119295348019576046676844668934002114233648886383339250088935240284956320055124640588039688341091910568331465108751336713841512919863388392988390449705643610989665341926939483295169650322642399624957947637493332672021766042135553877367265972413229945025162815672765261283560911023355835805009818471207649574592395135526223151060243837619753838901362145824108032591602995642928615641550026658808368447667786055758378952609134264932932204572719452198369563724030501947602557231259492851571126446330197472654980642761841381773290077652123152491158210822124221025923214730785414502117831343056410153, 2909720301686101702350053086686032037116693741799330879244301446214583394217475663898259044918523356772824330046644101327582317332364637359045058937463334574027875230702082269641686122567500924449506687124926907686031005741280177571184380533802542742980519599297912878232195443034886684470396930517661992077358744807273516945633142143465430204712909911620819072498750250897657582561540581832203928195378409178696272405959249903596812035910803050496671180072724357331453907303209985615986050785679758590820446993273242375254723239789827411758382229708483916218038945350960493495664589852094220247099662776332736115382750674790226212434192875858721520024180295307269497193781399825747491412990108821443316003323931604654679657740312373637557785028563453687764116950989582899254243828044225699540281438507269931088506008105492982656697712533702784500559243720786849757389237918081840023585263915525111160048366246500529987360859459500616450648562418394584141214475163138272348986110234219961529494158394648744480223993316347669848683135279111271975448672231086090735012097855047277295969291954604463782658410750510928655525927684991496219750495248998253784744187443697229042109811536755957744079536396724446239081555600868543353291556037623719676333606189092182006029350877147607740191209879934113424546085883307595773693337863596080686090579337982957737803380158490761761690172665527401505861618661675062623986073651235041859525458174140906021553471745454271717115635966163787234685909088708220046725684019745041273541330426118342093841558135609112606075330062549990661978366107075502425239828073575639203893493915955205093327199209085228994935086442134929125775666751197796675390776453469667161641759800382399280748193458646412436180946701499217439209470306912153350525822380582091092065633855570131979500539914399030899320165727780284956953901330691572242709833852802585368091424986514475023387843061910386850000951308546072417531059983921665781308848222392192622063438974146341689661273897788556426708954935657083328647676289705667751112539433566457927492096656879040412508075169379739929605855506934601764307783278275950834010870419091769135784527393651404676131813072104203484899498155336613488484785269346814785271270744286327541562309875544586968440073263274986107786705349881413140440584507247722517370904145934345985740795562583200508387995739479747352586603189914041750188966522766461221361100580727685750071350612331823108315721534048506672215108940361362205140677853895193297326278123283119071276906081660315975655835073248147740797297842623572234838625264271480390026468113, 17069925265852497908860734922144718687951484075259185072745906840869118585356124740646045336116596714304433567423500358689218024011557208746177647679814477328088163085128248656862105324475785709594261786955085291159438380514141062809606354777467737260198484841300951036937852131692441157246063570192408701746714299811661945402727416170484941496893306103855883162044423873287485542222935001145362320528697684735590593709623459829068115326526619860348432437836233884719513240281700614465749800267792009241808105267463128320075680795495043500579967646564803299644889944119521725623123290133693744771131426069017307667511498556590132749878085594628925450469411385911643096738770897673770553882927135494093163428513795927783505212303046564385891029004549257171056153904017081297026531474782446153712091992167971552972949773086096774755890213455158325778903155755802959283918681481029053839256472055780808317583669572173536671767870395918544409063691236306348452148967022464795004168074098832395415107544319766044985277637102009096681466403764318340161376488028851888170628606214310141114106839528692519911691517235792531380565018054548935574561190867894073738010141162465066974267223886916726173180591799087747630869544154939001586173013385549156836669165670749933251993402186920893010121272032568610342436434916713706842790278323056022633329811285386511823971446711119607810080034264364160680499702630326101276665146352605069496096561321759318901450513452451534932993639873050396937396843307464418443788352962908076698434526497429301960769955441960220697074128494115731075181594429813390946832024737558588231529002035983242581728302540183305403379252548947336216682514473829288041366667113244719065130587093613422234040267904120086443898388846965580175695296984158110378952944224010102361579896651297548425258006487138037368842512427443826484236918079556392327080851127112212413180919674527714229938232196378746824307682884483069672228990367791506327551394521399577965850078520497718966433609219516430694122720328146674734356805572100991400444851968781245257602537867476078834709503213399666443047603826885547344903622098867874057894938880303659771239919452351515496762662121647645559180686642147961480095916431333588474376776317095490979034629429484462231141903490222500996762855607265717354910078293045979209100227353211871908700726240805153395403023053957992662165026123258251328916229279007488770310379543768119963883067203646086794125677109003723981520927115991329258799087612510638064928591504476707515454225804083643894896594840738288377769842067702577231630008558785345996586093992)}
{(23381879045608013274386280233882269414088809613322642655551700316937587628208247695917224277126220506343461514524633446698611488993497735065946830404172769512988398446324370228741361743239348298866542271731605169883157536577203940208424871671314228464441041214936695915767845315487630076212669660872030740315908091687314346974591240227560686706773725017106815718392128669924830380725503595154983490656275224797129718637040403498120971386188706588150948158003462170117117199867331096175587629763017943052088616832799552509720194835238313766251826958744815963947074869653333021194192052074515874967952445382468976356247648805394767862601664384449007032988354123473816012137721065452595223404767694564800180097583952663482233511089239076599260436320561222506246794885038242862955794334754808171685763351359169944111498039321679249490059275937299958460270559366390737663531071943696123989496275612135561504578486000914589447886806199850135540938341367309919607376241062519034691108416676858196230434739109110724901237619203560242827006316843357938372189691045918703913281610501967104559110826655768554347081824996713277481153569923098054512059000127151372240088464050077148609316404111034403411516952167467643097359948164490116615867128681241302140814091730219930205815202291006490570265950557899571573678565620799798644875786505331282509696190088635388023366984733315446142349430447166427030764816565739196308856664142084874286045502568139152818134062198471544311320052392045531306726932846842031614502133135269178384435986595220772380834937912156948318258529680244909838354735713943800497392860924049229535396820539698375459282465756555024383064993258209640555992734674989347724207680572963276776394752099850980990888452972850965677092701701131697931175248793407541658557439161130517594901009326306929758831350570483506940372959512009782344470170235771626663928046681083348888002970763491542628520916444047436133900944066874992720713529626591912217919252531506816487200996105850541490017935569292547483452589373671555458064341700124099866906476222621607404069687998927372260589097573061661829503598122466312364803540567187649290727595499272946534218048729733214318652926632623746902480709068935529374859797937474086284933968339353502772908035154245298842060415649714469733791128020105903655233097242452600533940881464355719417532381301341207386577438085190903252058644649266833222617916744641522784926470762116903218009623339481172074373207506248916200719042263403719109330682828917004210462428255112814534412623729099385714024269434401788046625384610477338005202738891095379295739202336247426418034105683057191001352646387367801358357219491012755726808054620042103137017808999086413104673622925953848745189896469978641155459603138287207588143996765400780984227196700644055724420175407583399896232902337136514384671362075469681707445815664781952224018753549049889535769997026171458412740232679396792274081703282100526520693545108552051914617127742210526734986438904477061281854986152077804230388169671802235366291739070570086637589079010630462200292859631250686018566511571076149444775602381083533411327587199715183742414567516264393499382146199434299078140584296849333850122524901681413610380526313472824648961298727838583885630870750118487679835839749036361447848787285946445503555824602708985956594707586981498155285305881812574672666555953518024589353824857895054019513452528512439620797394744174108247072291715082552998138267860135442712357007442860357231349044044410449157984808004909953928534789317463879676953825803715732320032126949178296928035064052161697129376644472870855785536538004974438306362216218246379336671423979418161786133584643813067770911951736187667062997697405464378941097400326989509072646094661469084397469682203218349677220911199012303130396811109601407963467476812009212522127413079172943156983960097678269730815787040673029074044969916893910917624404509689041020328130922147829722248575514252132743367742518585942354248325074634151532995589892528719232548902333829753424686848987618392816176734795418242248467149235539576577441567851676189643102440454505970983194737662073753716700298974734143630709396309142001268430642585621540222800103116400552257566688936396797695025500801599697576187089511676721741363721591850160706805855337135504865193, 163529829225452148747070497345679595775436173815173293978822087737860663721587691675439513611363587869679287289301201857762244758371183095213750073416277684987316657723959944465666004810315453268229853553692927044553638329469793342492998427372707277356126920735968694812873736085247591917732555337921751725036575338984069003099148082361956878847984354180228183455475925860622099510902751341648213685719391491218941219163160815379800011060227955816550292211501596704571989991350855545176143755940807083552622278289917318079818869716925957190793086319516178084865141897789055076807442089616491814327343158345673655214631620692070513589347538017128665260190690882316469320591478511922911948412065491067222276181477006958027367075436277621212456404753265288983401733838372296330781465063734007336333466638454517087397205755844232549003380462667280154836869609951555004963776429584899214764141932022043407770881836916235497284900362649698475291849811851650567968868256026032820254609433623068041837497426954377862620988467751345771631266333152482006313390255501871784762068125133685443778652941394934521024839647648958779593681638721711345598133977556759833124962656004355055181383797318560851216183571579324457139929339053109690958728064964393642414404764428868456732580384282854707918790898320492960391712130800778141040523132619707494364733461685896778531397410666585386035275182514277046897656451384793119292318402107716927822170124023493335183903062414937141665544396157554310899636002165417198062085757646372194134489343371485941053551996065154680652900708498061988587851093705404952595769404846726236294599332168565549630959007576656376678904159705775472778023207805246052800368201843621939617184836523167842337281816955037453905740313036960447153784724241591339680101704846879047881120380422765527658213705555067039733009465165321556146859729148693749772808586526408123489254388396440747568466444076173355650682928571816650392372761516581254491829391120047287889479527261196900354026520945173877646994867428284038893352991597580482244839777556210309021545265541463616481969454236176754605190495673906356321648834884597237802539126333784964989786954823550549972527932300536006203315399335915905274250628959572402895077981075371827487239701808442596813668795875731149419144396633731733330862376062254428661273400060090480005497575379977781453767356343675560182650081115640783748752869971587701218911491326890192937946172662954241094793748591847862483881180455251123059294019456850229556050533410137921178539413175525039505805985303653616816572426933131661589279941507731065148886729114374262603686011834724449518587574005732797918494532870582180300252853075278098759731914078320018420686015596944900418393635621527727505863232539363800716595180527383859146245029297018938436751804154936877847305189475493930872195683663266218770107536879034132528318399854304038924270229154079962617215240915563075146913769732316581888631986062020992118356004001346287072842797523741862936784894029542101760728785585258558418773934926189082882418047096226469750232474648329524964405687080898772191570290368360795041476606504921218253331692688781888935373649506134284286433601308042389381769835899897331864610247325044000410580139411745922855465966147571785635663468622640508189401165779051784475600458470778890710969743540934712876456505057985970316441518026166509938414179403493744127269852373744725089487612631892542646792579483866407661661360754475251926865209809706663888375018970914473211191074854840676387894153500857060066469238236668298873689393094717053583559470320224062834213776580392798272915255385019412982523778421097221395657037238598364915892275320309492460591317151164490538172826887638977740688785066910242694215721123271838451598515200449465250966907172460961755242756393395398517665034334210025145977210394642912848548161054907297853105103019511083022030988379635803546718750728402243027088912936292454937175384749809321897544782817446807147620321944071294792857604257172100875587219840878852950074703829913827899360814169904904513972034745201260793101585645244123986654940030227113819965168669210421738850036562143727183758097264349992596170512326008175245019185482703898276686342521232252073135681114424607788706753271821610289204831965209809581307417271474478791592, 446892843224389112885283015882715404527937147705213802426148549312242104663403067931489310801880193082267137531698062161789039162045940755852896752099772784801278131338546054985608273877903755453364504188719777647875922714858066438626500980700619437013660407451553039875057161523976215938260344690707659018447927547478620320364162166494190573967011063148901722779468691649055976084418877285041994304192871231391315242247462785453758960211211085842446708594341770721076601010767014206362055671817043318685622772765036054253424535934030011883391761577839782651966168270448403716417794292628350028877466766225831302651453130130125481960659437111119523041548415065726939882939157827122718802861023880108653900705528521755516573803526366634090972808962026051010776912256240953828865799993110332687348583835979636062040377949832051385332032012664665688563296693406380367042319761164171154367608838274711371181887584060046916432019385592419928255473794646093643859486191503709592538591420997159550285046536789049906112636375769236344570179249240358619305519282771690005037335679403897252207878909901465711298591322498244891319202535264976057733042528730200498486561616226334446178639466325729432713410045990916648923638906572021483535036856559157351442182498514076798446661934640004361390206975934875178089676793100914485492476153380885277523632075009069770342009789306330491691410357320597279870532446925542623198849596544175917075050485788154472337330552453804218154166295818722831458139382875193677743173753107368351548617406789415310846877970237030517801787747749300634219252336947779808912743316245915734990962666157424797892966010444222983386744261918739651562902093665425852590276530389971518016192999168475643344336447260728296182329168138839139012532954392133706377929370130406621235050523785270826888768893063849899850639949113810906289251754031069332331534225787673589352172177178760127860716131306233012028079767440372298540670717603763613000572022577127130259905610130165461192558132961570985321052992984326740260413085343552306891071981748280960782882649577185846035012292079203112661223929939090297381710029801225267123291677222326379014813715724535971741689840769437927661431383563403113409989709288277116864961379984446771644400521977409830100366051087903787385994822485950919981060713396243079460209455736111824038195875030527692646437617283227002164780629071112777924000513734240394271290927864413092645996337222380554785469370742940281617741467752797330850119630156253961407631818780784017755463517716004388594685514741752709421192941692021787040651711651242814565975139140107311663787955073499577040008192936756032223482558301607329132067335411632893199667885757589480061071921181848586711331997935456342688914753927971945310570861997944856617724037090763794749225736992050607125910281867706406727813505400269819062356036814060875028606104040414767408767857612232010559458672682351386488913724031718711777625184468317040281035652145755587384455284802108415590337277456944660979648949072764534671376381742685657861739471523029752954635569003274473028114779093194154118802292791621007373153867263020680811350474815407770885595188281331928565863127433510419587638751721305823247930281078971572823895688994927179582819796657980016081515932792697332149513109580761309886156737364659849854840014436512911292571817685028930476753127739215154062976594735885421441992682344603847812665180918515397429171599709083926205257955845545652618767217596391397745379129434013302090512597728884885530308660655873919902936025874300165117529899935721517642285112099965519408764902499515642602130904911405326829754255895883138791349648751040743405792366182408177910291162052577687627987371317052261825892097439570428907676082862396151418133736155026537773732944783328081196947068133957728484647339094028001183476922358608900720550823431923853717236560153772808952713847060228228080078791899159357157881020710389715422570536765696376523506201822735688603950654967766481706332366522652224350023434861622812969445281808187896318115027356781270077611459835360699840630158266904693174148446075918015199977851644730923935140599032989373991398173298899373568274142923325180143553067898208805740739253636552814952847102258287040457743334051780504170905206659855010713370597742066786278673)}
{(40711285369250300116290174746603981319353085073462925690178521483747533206807981871280910671643121652076957874152302967935315144978908209720083893180175733186630259637484087326437531958686936661552016828273113554611398186297186421353429521041476189645528005122944786430016575786358994211727021723514869621736088181964226185174558769222463287615141104812733973130972693377721068372889445107943268264253670749548462043194917130242845403970191997100087690410405062304579106988432431914544933407588019829451788681832733202494847152932271547255151470121765509275322319134705109288159840777016161590781241307805198279751957133533288903737317749495775422629519261789252688894948859523062563789513000490650460177394582666985579803124171749110336012550725688040815363731211144556745286316474197449283832413589266279434686304876577100774129884319277808719447394153617047814169161169872857938421691963569590470820519572020655033408558502440994430611015569293285882445810473951068796700213879624429444250126825568074951462458245748033477870379590699666673708987236902254002457544524971367603412440888442333468269060691073532271666117427164583903814922317049618550325560550017821322557599914363601375774569794726897377350176282448901298556134795648878539520859279686436813332425476728041904904949077557951501945408100696046743146067308056069927506763812611734809177404016213671131745167484097471974136142333538887701781631594650863247439815952352368748573234433230832567461438773420803871691558021338452107693926495289667937428256197301242913407066964046420741150791695612817044244232970958837480451702312789227338776771052506508267338483452204954989747762455165805694329537667577312263777720879224121448101141811395879903214211779680943063276747438277462846822521493871737248718753958668188689607565088254431341146132843302264386212582479327335997271518095784144662394007015700192313570873725300151544182959378202855854114228630942636594126053798391563794237122242842786219059122268280622170158615157660938556859292818139188168777944005525224736581452872550452235078400957742073297130031632852308439282791297273887954208944684006339375469744655362817299631489202094649176673777588586328527526375995681266502022577722379667252455348905465031005879120178939053417157410278824460380259930904593491774750700628891177595603722029853692388050390351358327155693656370653718713026735868414162092062314272730713879411465414242153976008273261390852285239742918315855212294324551653143927301494475864512541303244398857728884486548645777622266446931017011112104769366836713572569572518059833873376681765352566822965113916967416354923943090221569274784459144269873088584586078540815874817790799772984943687370118530223780833361387954941026658144828244095646875820053609940650924376535169328935225725824174131630353865823302040647364763879086442978887243374898584001984754994625626844950957467149479023870148046987304159767667798429833721787934004135887652663754421917005560377167149286377321143114284766215650789509016766939270847675548660873704700951569762435612100214880997978933732320496257394128380821756928253613957929151765817342814359275111175974932072511959069383435326668203126276550361214408326719766477252567397106897910348302123276248057870748940234742391384516599768718489714453581881453762352112874643040969162297082188959529746568485410241002943428248800170583149313770661542538399271508707626025834999717705020192144425708591601252025022690808092652961780425683210856504250231606834962840618270897147599977671660519414066389096335506055003268984732297319000962814594164002154969367830966819498619931341479182934928371435339102179417046591759100024673011650947535598861207063786015756509274879856548175638328136763200431580177220290560847248831960918579156422638240570207272451952577094447151637295157164506097232417350053845728583835803772739955711423424796927582063905083836217372846345162540042718535871427239865383815503706581057794000676519712822740005782785135739941965766114475946184812333555659058604767639140175618327760562257051752415699879220989459609440440657394794810957940181289400016188852738543008815984002413535676654920076682719587414239983818889588587347568093160460600138149549249394599506320933547969764770824160629875360485479942982376940566740992858994933374085216074485488015436382146133173605642667863338966031806123688178890698862974972634164913248761050981424635709584360315946487778393949948917774655313856399655790066738236220797701476879090566918904247349516852202632021229662920783966886795714216101849983197011478446848085915690860096279390333072018576633375734181817365677610606069084506365969290321433653845234445593194869560607446382178210910829290155399304253745551693846879616246836395761725755165401765844301689966234285557643028562963950928948498771671285974348748076060004426583906959057575913048114822478198042833088762280813629875160356762316610547559742769206444788970618194082519918962029671774124946146041038862021519777252747700700660586727839554122690275886367764501325112360716510335778003659976650564824977555236268430925176821696251083129539075799493058219528092533107745775288281906646581667658154680886187442088904550221393083240954609423747476260190140166323507169017651550066936931182385486196877041534336237207676136184002228414843563585903443458455801978380191212291523151607853083216263613992388770977230132531223780251400513832302500534922656499632985105975648246795608666513156130121143662327907954341700091543091808902455168676486548987288513136193202340399863970509359458088026298898973083633397753054257091089203739017200484455617788082219803440358451210370967976469485893591435800011093606138332288228389260411627234476191059897693372652732906775086808593865062739485165573642101093858048744829533516717607519059694164106841410475148285640111289590059885518142445853222107141101493741082214293458800267514383775261602025563531969461971538135409537347171674105390782615938666123276449050040030072388361174447971678488882958344454129367146322874832069329531881688617800352074401012965275939050555062325211015269159710277639905345793776131639292372946273890737858007710738395708594599896126026980517663765294606112761067380837465575723847470504979372171443945826173999866871393686753539210999335610127343663543193123106386381335693123516008463854994484205335253769409399168596607897895654466817333829136101802809918475925322586408, 619219492679350194600037528242620098090838210073272520634576035682308966211329637146267456221129628020124447598701713096478295592629238102607217929865470715461134847312215179252731956968665312112034029799709075585224908327009303231745208262947997457133635566553660821156218786507691237939312349430981659698930136913503034136209002713244219175966998217874468967928539945249351515553248666912757452981822589579397931366391450821145090139034979658136841683978123742416833469837880410763489506072615361678185130224112237600066905211051683369568338285714899762893495075226598171647512094945806084288714071565447314858133709057369700007905358954146497278485770090189991985880851978432101613037850757172380740223109229501974481764253927519496602508973436751647002774833825013709025441478898624736285061360521170148518409589975850629216420395078515937896694422634160873601804129553556817090728430292731063831332036095920177462854428192543336399344306665916699936011515503058345865385229757183631134501230745276663926033304458796567746134148918984460218925049197294602295150045881648033398878122804430229820639805719299788113381324391673135820623473832058075078710574200825751254025902345325260600848599218610530331878090232470609446190976993600546861508624054419429231332824750656912258829812834257348537558735451611168379357449347492433937879848608402335813958900965414197081987968373412124320307048456344822857201448966034940003378138859341217843063759339098830417337490194168057922350392193089957779185363365498052196852684187044992569838658447367125286436293889602910957243092251787545196004764443778279189231267434250020134099622039206158213099133942130411247168184437026879143338656942824942172135265719688938297885626522465564518703595882499790620272294950553395799056036361752359799915940639216197160129971742422791611898150021074586186800772667289747919201585631959561309599085907794399896003098272540959210758887138322764455856138985022824348940517002959987332874788211135123452266840117470275766897216265599161552807005024048567025657063601295843742222020102010537429931936737055739015198408901471290539103001500956369458999412135756674601534985197820530900227398122950198543944688312293231048965545323436005141541989817604819198305923026857667289352736450599311105294050815172325390502524202967517859735767043586389626872729326640374903360438154659597925163917915629598393020075171262095954760856647268365552154897292915471766082802870323078141340345771757325144333783145190672148462095255506621803206783454199625853724910288569814247215950719876270122206554022219768790177161394622749169119956713465668742975764110285630709021754942712033457661168350132710462628349319277094445881418748831677865041145567438456162730838003444323569492400583014985960829882242485859851390350652703028193543417527533746676551817610345212048956347799131884995810576140356786303375123183411769342693612476531065468122474234966048703433939988057166894852961887081732460536881112725533677455004846545218725592905611473569532035108431731373948553606846077386088700428294317902664394087843875143746770891826391574803328904976489554476877320962281060340689359860170912199496811926353122798764881420673550276459121038482505214283459634225502091588704047844774278784693201018415532037528159798586978296734305355701528177342984745141913784075160188413405167887171562917708640244013848627875740933736843717200193313158310997420027382165914420049097413354534608639943828824115774520939383262835944542686957067872114209637389442564876244476690177928117093586543046390278317371390316646031073212740822889142248238938774856461108855339627900606251553513694921327283095212199273501533916920841229906819107018806825995062392290110703484543611137791610834894030044780455283142885874728110266732166648207358983308074240145747114885579018887355219587258875412797234840698306726096300505025239353785433961195320794235775466902683863027381939505463150535918227649187301671163994112847011176663928778069440255876846039587141188875731982878634310153365493287388682047444230614082660968265248886508178122752670810718379778625450421427934848205704585514770552512448425217384790037522808093516751216172286376369141444413510529783764863302134733591582321458392451489393483727210838314413923760823690592369872935502037732385664647438710045137669299465978749907687815270342713856937106884151632607942859682786300464779659904221730851631839082739509807106977321037578149278894958520746330275414469954370431788036346072223184451094088519597250993582668872671199705384752094780114568299127152264555703859967219068084039043025233316379150577961312177396829737423843408945953444701958258955372001223206589150390861016053923456008407666418473229679189195529672538671577666154677638687625220756008529296249606908029299952284818064336161996387643537984375364830000806375363351781951661420116287113786413987291725620067001369681230872024960740397727244690770775121117018060639133197401575931667610631418027399519044332563400482989677403279526187594971371012503202471231093818570385369552661743057352175702830878123712857810808037956021259914590866470245625393099830918040974156784367978375844896424354200934177233058016841696606622524518984012582731469449098374401448249675971907709736345303662240719793686456949384028963637573360464297849944260404492981633323876500134998348309335424860141880298827624902768989395785223373609362181188372070669093683919652282959579100818520625286444938861010181701399413619087299635524054195678629061630634235719311430866645099743902228863128083670892770801708140238839561389782704973677081423620178226393513898038533030083016389348160718368882410781498491134053682293615418758294927235849448371492905477553184965955876342011906581088495495633170339242802243095701219684463002018567569089653701902267900867198689537678239808835924647150400953416599500004483551710501400119056440808303795744065699791985433095319749589223629863727549215870511184390556480771290518799767436584342971724599957602938093997030572599351751369776870996421024546559529260512987614960337246877020159391226256332114673906920592864510205697119981991830653326753845654743444097020925441624258101132319271249662378373255213320126036256679983812959067989770214079008275667043873305721510129111445222028492462360162044679798523810559561788760184242535476760423679673752654429442298093416796403908259335578311757730169476036681442857, 756409092940865114137856142880549772373033787865869273020211872705877131777565073342160288585954524920629682417645448380764992026034213289981171567993674906198766944431754581912189819993647009308075569646757397989555214730238031010536609029353736357560269398286698444278126317162036863969862372116135618146209905258405726419294506404519382604944963697007456488934027208730581762099331880561756177055827097668088554604919456891643488169058238470165948859562931781544954269781767572104582099429544380102850352507458903066579158546090789126682188006830805716042695562081156302530893408161014727368587932766979206746001170019721800893277360998805059666121888871586346363825388560766791722493475703356141004646487521068722341623908169788675754753317063959063705866512966256932453438894468857748541453010498573869725683836246656953519738562575952714876027976316502063464197367851729707020211429091502832483619857041978932147982984005600910773740011693492075815497164596332137301693647735650683060249222409738592513196790879097210163359388533179141527850536289732973108906256999709343559813112438595818193577043144603364291578076125936830030344155707373672249359053234056562522009341814461459662083754188254490910752691050907822620299257111688172014659557106184803738351208541014460788106379977365898235400977745577648702080482063570160980102214744383403207314909527253000561588752671842988246096226486579690398300612958824680675177316919130272485945099540212777949037158594205422996519494459521866019107733433074783614267473210837923678083954157330271258723219376247446999689702999423829209033269989308502964287948999032104787177245210014025233790951542519472959927071434495633556615389108872930025960279284427156614417502767191806695527946828253196233799523840264733540273625707249355754968976686219022395123133432850918819559738882432728269562446107035748202732946190590512075547006445579824516703253693594438500990078283348330102820168891165780912581578496404983228051679158969131814791168412963174629334093683281972815861881778213197331218014994317338847363172170341702376302837966494322164925088019620079080773883525667824302600223008576668266791009614291231299541290115191345726576336427519405967862127495756871811144784332440660783191282786631675304808635720421902503770231404278587963651172561233027758676135381175775159446428532702415425843041367014346775980048124419905461868194342749531588143436899158976793677798308677358932274378075496255641198372335995062862494300044644421815470714200183552469051788587060504105388836079719237656733225989012680651004316379282802043509458156542212370526076395012407537942034344849018006282036374563189458374189660242155024306436994424198491124801327339382291751880939907225372059018275016874520970657506867571479249227145039522341353222293033085888008034290582798905819828237333325600509624857406103202103544205400487233875376016831456995509134631064716398739914095304488041718452309749249810152916284506178531190846991368454172326022251634814543041572913144929156660912672612446168169607615591983311605005697385546410814707237880805334711834839606842350135471975653542967768728270481799492214381988563782017979858750816472322213201371916221523758333339177867745254410832259306420970764057608323201506152045824694014472372076457658518648425474052252480099755205949696572268459602670152174981877583576430823353317409671721892016153926467016106925541672251129376392361179337255093711688747876765876040780679168487946020245874019399701156198200988374898838853642199959849472789028399453329607693982530604253522964644231796960226338462237432258047412941301290923368805305015909065748697307741051110557226594189849907328011097638303460137573225396296882822536971115946704476648328464622669332244702860575443732889098010691145120600130062265413598014843839233023008276914373756879175563189955966665076525879541877080156804759371165253442522084787263945793061606561796255685684867675150264857172435194006892611974799423547015153490276519695247890742653535849615628639961575910133319513604067790298670561423035226022012709924105432531288143063764080699599652631708166723747543225443397824192665499601899648172877147010866011252960549788411288963585070666170215203435896122682054869736144248447607835401891041068260558819703733421133318453558595554353616833548350450614806777700178725538713104191432285827864901246992279290489456226543219987395615424147266180162456897778820318105115159537431138692965663901485125933393333351506397086954592185780826074935575006605493958489820623187895706875218921608472359996034629781294873832500829077870765163796532865234614038413638707244485548388504860655682072272362185125473560795361044228020581162420399604783123853090008298689680536724044962921729381681792306331418327367545736980060588174451860054504361873815100032639366422767259961329874454365872028082177996308627984298010981296724357169573718830214991915265441119773678684076396946134877541895835980430764064169863222117210771003465782668406459825279453296275036401235363655827223676103973359334916366144711295999386210788344111542333586612449089955264995484136934059915690036153072531566137815122877648389588593413076456896160150211127513872197450613480775823424346349558250050090888886349770327603139409816727668640461166212208453566801593988516787959343263745812817292055453109514536946514403379593471330877340127518262653947402131528021752162085631713008191358418519048887944370377261207579044340686582782234917109592379744214223838304246367915241477854760200295086263174460988436686733246459469736450373906816999175013659878979973466236552829023165212805672011113853931487153276746243962482500537297646429295575106862300487473637984061084257324817879422033896529140998060660405201330620795884918918908517385523507826909468053007389157719848929471034965537349792422902410433808135182587367633138890355648994020993501009639611384611837487953976333343548418605392012679200594399100221256432556912436034367764832200038055964765261098573902464307884881041469726871938340429264665962257316435617189043363730246706774768895678799740611532050242561440406501244800826554586568388032718341545343269772911406794849715960078285892535977396106791904564705513605176590950776599943463752717940144724369857979831779433070055828566178558682351156143325989105963624496233649443457255285760183870190235059974058740192265910123866114279145398752010781880894652193777)}
{(7685165710974095237313110863335000465741465704175440539799173313904307093510982794423853511976509609448410901122443979169928059569053881349171976360397432564312971467897784813408639933261923163089058956702359326516261754725699316932972120857375260063178639812189475978047052904812609326852684449866111039467758472739064806911652734208594976065940039310918183511828069167632779685400863138816564226811796955492674266865703955468719315500855132413427794363297727449012533324720093785090267882554899428639303268008948570958191491877383319506751684567479198465365364746287420653616790162515021025580508502397204141026207321537115336410275488553334466325090384429043813265972418805249434253945283273604976977109289182548398823957366592435259795575800204812532687559182240939714193521710313274632777871483845458364047856905330572276559653530686607570649746692663317226513143217134354608008404949578110492847224145645277483033093009663053886380690148839464361461953567437920778279410319339601295814664732223693485942468489547567928566952598908569596847721960111856722555354094046205296547468645294613829134358961921464121809104179505728656654933502175990405228277642270700347219526992258563456038739870345971160516792418357265396791221164672741423778364631819042709667397214609352293654400958315337907798321558245618506435605287137641422991728204927634562739073989928567297877511472294198384793359436734183299783057620409979928674852122094746601842215645749516952724203998354619300546501803979764056105384248849366218259737577209587460469902294162906428140539114451536735394479105281292390612012420504312990174705213183639003891232801458259282541537889692735575397712309387427333209939622003700788891845620746439741325854237095543180258591509648857746398659265047185924538405514945276723413573045988814141157202883271690781888689413779603349956056466323775184140654392540777176752399369678330233101067410659889248423593497389517469798411992324972844875833936742799986495632992002498600341870258644976585270061004888809918454848619011412101101472677059672654303702081472578608755198589209020358885561716135012917255112377937143279624860680107696914118191821851496157389974118995400672466513385315540142451837215003769842107860923453225436671141843531710575659130791195307190161445184039739634474414963464067446542268174839918793595478972672087420687582107358277752964638384931036060717920172821902655690433345179150632718831366794006381484436827437938276973407950826687830548468730700018382326405665782571593504928221017179905564346541185940806001774076435679815211702280659411614734120323407181466738042551109803642726407893429221149856201800644455943800410083293069382405896118464764457800176397660051532829040704332324181608096323765241271549243688475752521466430684379278928749638849951838058205631963227594145753805703352676357764752608015440510256209676945731139007871135650392800941944829555596034287360803965737769211832964130429193918396422191519686395581617892909626442326183380831943498755808749653720619148247215747539110266030907940917522574172823541972529010145306644351556229766612924056557010065999480619160054183906240657727072673091153600410429559420018687068833956414192211250792814720349216203175057127425194978292837548442343539154165069599225062491710679733620741842072958445858798749574863349221575958367292073937999312196168676615651778714634065552908367745632144458616948156735019688539087442422834315017476758671118077450818033340651091330528483719834440633058581281820624593814348184305444285568546728701876603673182441499141772823220533764660144686896871853840687786820205706272602069105734005892398217424233654315754039338219971442884297439413573808181394158924498891458237810867527929131678499828487189421045923656374046047662244561476351223044121204327262479807102502382042983891617676991173705525351137082050591864554384831327137125176751825258809522713633280727057997120159329747167651232826710635447698569071867130239194616417355106571243144182940124099153399369448742121130017141849064518071646398047762595265986455916489443082051044791937282949722572702544990285939911096653441517175714319874867004373465919562485618058332131483760529074542174017612193509894992783117604474445358808254586454077979486360168916817931448917231161895706311760310942440723122506399921539031756978257610322976946067601977030749433180288236015432626976234501184497964580815637858268407969723962208600786816960089050837401706479543690012677108258664567736824803521012592490139690992923284126497456810057058634118844658450409309896286621473364949414144863229084119233260576341964212018899434434783065427787456480494351776090953979429394198187275462330434671306962269551183198254829190849594953762485380956648901148805289569881400832827739065550545544276609358308175098972090901883903265718485336894081544128889898592121185738988822760597582689795793820279889086595930361317077440488043725707477917831208276387294461817722415223470027049386182449226455062500254567723539394859403277976336013866709358929765145609228499929682525744581983650642725368403385916865859286492819411662972842296983484012400801649160916517837073341195030056071200331211341855713256991834355047407810797275777960098553259099522223203451373180160191266128895656712441836348027163543723538661891662196304019046987922809414095624148998142472872012800853683336192205501219082481582564726320422895667976511519247081087697323848717805718431473198997210924441161322163270398796971959850366435861015982840777651692723579879468215905886871847666841758280980376389340911721504766579812289175752272452141748335660633717453194823850026912430519071735306770363908473552071402722669520536955862327796880503599819046815649034818871772136254352363284617591918743130865051131323935447107520517332905704433936327107938952895938715299649337884561180932111410793524928860892664285209418161905399855114825106894342644689394845289795303892665022065128293181584998095306997440534627225660218461597500321308864234802930481423156105274986052766593182107820963356938188398720787191117888556407338439120326634498316414312438411257415873539166150594511976597536036267142132514797446154505419574589745153510611595021615936579130541361074068943266600185497684740735568673394981259503612598805166541620109850592744456559340013831398898012914508458608365308159874851723242637272454112022909999141001094723234101204104756969166481315601927634065297877017220021826602101153116605551997450850043071189389731582669148360690974537710422236203161699076741430021148794061243572287140097769572335310976929004066311538004747243958857256799941762854429019028738887963891017804927402899672724668120565724754451466716516517720093499274359076102690986593318127752696583500347654145415060529325102349592348502519416048692485552265949974108503613300552510077937307455981706182492213918983228498849036429838823772403804433433558722668888280788467578196102596641208657112628998513768712009369234692267106029965328175375255756824732883324194958273353816542611731278102288390786549494478734222325842997938395668295237705007563160773924469630415814929605582800090988814209643389335522533293800248376887161123861736404467837612845780056394856070781061825161184147824794824174972867184174529800987288974587155431470358695423832530612125889708570354563723530647758628670228192855754266083223733279320196109683868218024955164220138404771426202800638365081101039140243263919914274140531151777455954993992104699201743738046811579872495247525593200730949120707986687100500058611230502721199627157241991806604272364955021911029175584109410239056128703026135795911761550148961113188288650019877619491077013172991003414002539773659941265579614783765422025636572772576564523951753559573778662914756482211553684070728000041123193658242969102637573662417982568942280465579234777085890833245545410121286506036533601839460161688405660993779067015669470793143965954095649065896620252930963967165603926035841670770545277496079326459673370576061560805073215998804072138195660086605680153475721387789499399911385150815694289097455803138286477908198990894799077534254986760350044784067535942630069436984662331041715914388413632677011273189198692209688211480701168950174141404055672759627011772365352893898722295143671429045373604756920465665249985536404068459313630936116140798294517700200039487507469676631566228447464896575325044493254911063232649631487571607782048457240692899900495285844167348034638676304473099741008293961936266617659854689357205632278321097083226162614889001743912508835989052039282577785647777255833683236509956200122423390457731554006236187882115871113219549937054435318165686936558468083505682504138126063915267834077624262087842420892771073866450455035972183965486055789147554407910750367699420577039244253350048868901890135461453366541673511266424003972106948835703278066037200417120076259018426982509547670265578929608713129039200987283810257650768382887644417055881651341917937, 83410809830163347751315214553512076660093523976961111220295854229463668122287852959314731727282315032800111652595568479068511267175120894189382778900964604111308534325989247642004661910753513856984698765105263866483063247595212222215421052053455111028386649350915776737606150512918229862231234591942920201937223498033401380213061146736202340867252357431161644284501955214405680026617222818017490188155187187215532157110587274408827267408408258779448097660095004867252069058039669233906265124426713693981802564831934210169524513681213712086955175600511272468636670226455889805584133923139831954704462650448842426288971625221640401818561799712538285166605161455845184945269021061023510729516942875984427329097994527256287673982008605967325166015965099259642359519580868253971229663532046172984139263890491376695089049363681722231764604425387383736205045402898242001959758342606280404876990559238400149031064741323451115067769891664377316949487441045599391872321686505716830771056122363902084985728576591839281843893554212383793634802319833873477431516178865654734148208449755666697052649655247763148657854412187764288144647476718564741110561865994408758246694055295001870820139187088642438215091001616770435372471741910565627393443501011155028315524740875644451639814313094518775581097981217755591078967082384261546090312446356134449106418167094616123857956580182438289141504722967029457669186209806303572354161342884010943458672992613730654035865664022929636055139696034216751987105466106977569100413300147939738644808510419982069680468380535101970365710834265347056507456674963938769781877302221190082441827470288337814178164130478937303497188134556077081281912614097806947129117728898111107960375999668898888491172388403794481172235770593834143667336705807919735101340698270827399416227363809883194641942294742317411285977923753618183887451329571382607651235161919422624909390845291458869494096321986460744134438439563158225552827570459760253569331718864360207491145427477242818096556867082860915721243533875168951197157544249774062450165785570257003010075632124627988019755434628997289990781589062445426594489246090438024073939615725024773855948460928050616029112102042494435700977459184304756117895195437329861029791223828347944287846606960543739168653108648155278231978480429247990271672344870611577939347215813888782041954291216773885161686177183498231230582214794949097563256923036538575882582474169158315623907003607168961297044338691594863661184777904949732530931727464949739571794113958489097245802485748193842227496802412162863070687735231848400655111867775348694113036992613753675276576166816848248664499997859067778030892375019067694574421077920814149390128514055456828262120192898021584394826078222397201881962195392827456996285106136229871312614710021095796217333927226315064913756956769497743818269726070410046709935966990325831166139840538598647233288457921814167457340717688842608794106349797567135397824929722484445032858111795726941506029055603380827827517701917991142607549738307099175171128320141498658042900539514523938883853227854314622762168518872312010200370461816135388882660098314811846135827781499704322407895222880151972064617846698449636099485050229908126324040265978565144560694977389552241525918539466374729775554555289165265313931752942411724394288586762140177287336480051018572875420926603876947494560449823746212814140367486679439949088626584883462919948516840474181869145789003905852846264373557054307883507944785924395716993307723442575838328428633256506158407535907989353223127139061464439876328832616798400322256135840871927272026447127577453313143951360875507568944279313454699444651056490415434559292465325362510304604135704613104719646181556738090010625794935868750206095764376349675228338937634663565904127906607719802572150461786652232300252515801410247842837115217197211095533871747083675013720596065764323020352778364293335204313455983723371242012409656409252086658751354429064943288704458999194624412549317609042216347757101423640304020592184248579939054179944187873947357029241509302763410426057844274846347221974949055960065359224464075312045559702987861137297066676802572767872985412078726621488296699503636780122497378630000142116064386260124137383581621807619058361145943283252815505334486191614465554583357578483819866633101608993784451714997675238701037868863950343164875213577114518943756440877667141962921919711839217977941937330993933566098710702304722084325015052159889588132493632793387449873468130654749414369445906149478492312184857005994610438906028550431321826532773066368383490674442961002845768722651485294465399152191451372739495233169014639523506768877998611396525749218462032230888962872917737292784974565149068462001525485412969667786992625804166207198383207270270674762631755658699806909842128958736285630106937099992309221989904469687753895109279425146508350309981376599089666366142439216050039203724740697283585247662846233147464082739070927528076561320580721670143404581383041811405456343706431554785120382597300349552262878977406129355834245404762346508639521634247110640682200806708288756849612541897065572892871858360037556186543649858257167840455288912097924619492668119010057560528083111541441793117412826320508488088140670448640022072585652202818049995951407896067819217740314012014100409102534527475175978830809215777071191958270343105599022982298886475626577285840511230925026426560556594305781639026770387919487679174134822104297081791951754829715111447288320799269470937912013427972322661803510695652394952893960590796233158252946773005905610033888926936482547163183401340615620866908667597441732516277095293915004519749173746033696561094671943299012939053556745268318934381186887609523025921383996514161101502589078127010552548405581303607012820288279259575772229609941544960466381161908117101420840110747089818866989622373348854371594193894619422259111337799370044078745265516854799371846544634233282263039330622577180195945024624842743912632937118210829608318210687351263321748375665404132124560723625978125333050857548488206636886618128699842032926655362699027815192209925130539119370727800761205811336601296626837901043069925749370328336024989921291505404886592273694917123755508447863348480510080941023494262166184846955140001499713792594669385931019048550193103295813467508442513331689675105152251394582656516346011330706412969096090706261820416799383168947690733970699262154646030562147467620035080665525415713523526140574771302821055283117264260926332347340485414624582883109052482999431748531150449288447423644079539872127660984660845080911153041685814284011016463943066783273674060139439106815678259911762580416470876207612908890479529670965371851300533355241680641705202390692754445884681912262522901002454940306573411475256158842517790666979431100531383743536483799506554164530234604765959088911521797369252243686787350043899722804114144764461358332914211173298337257290879585941136211690825932262295308135671081073600926939899065333811041613072768535597671528661129947549021985755276841461798839863326381578214955712093711316927213643582812540001166264632693376423049067793982908703691326812163404593558874059443058352908776150895673560861519069817719625914580508745619859234576200620085950824840888853234203972480552986897131699328537883966840273187795676267316921563924852100189778298981703353375550035693010158268945555615043196209888615548623330635638794298069065149535087463751173492482459128031952799845658764721269486056340131091795436419990083073915448216948613361296834846702342629641317733825726652255016348002529494503899326263150321156749571105570623549168148822377985421557825394483513023560212171725373273945365046867346609500172386775953877535544774857124697623945395475672347784451720976876617655832671299567051865502800722672996478162828888999890432607758833774785835040188021023579271326736681737793117159652600618644877970613001273822119030804097890287784392263765316031995018027858580296763348443913845166427791319633391238409903486879311096051513083268297956207425491971633068672958326426027423615171455116809634306973372296841594691792343541121529937112103233164991867707005463528040722271901248946334219193670920338357837923148133181954327365363283430253706003685244834748710523913850700661220901030366192174849929744521034562759101945933270705451594225221976680388848810502712417721183143660396005774041038932280702124713271443096554831760610387867915224323235551708817107917063856826143716043909199517061219811041180104274917899239777732899454520959277622838629447560298559294178130208495864949732992083422045649367561214146426514866963673060456535208891924871814046613155650648239544472300303210798040876878226781311805578724727661356465788910391445697415857944996887630589335908184416296447173707196096425666687694789646972974940767222328546608053616098711054396277424115288150505840807653589906093337253496633732456943964681996235139763695392368502024222473736173489211137632277163540008, 153829336227702869836186175142230488882164693857831900152040792295040546194703959002765917323500044489256868938850260068930216577846882685452510518919251404705221390559593006914893329338017822746674782566231435146078743252403552717611037595445491126510912264216200690896990070977052916034656885393250138972087867508828680719144546164477282889251974557808178033761087966332144612694862129401519955766708917689853111729209554296138883986539352860326851533207099969030428177156751451175090617376211036876397202452627380774829451796333695986888359943707645228494316144603961712165032363585668600364059057070305269621571858082612476466794498770202012386009444532532079229353358219967207664335869336416514751180217490466811862120846539533147083696184222908755338718746409780839114276730145961855618523031957204777963836990297668166142666563408706067095420339168813853623693399289998815537648701306702452852521377674254518597068700286038320599630368789561795272953642243084873719185315251561133632250808813792216172136135615515245418312278647714234207782836166151730166840814576235040202157860796818113139668562362715064020916855649974898915287270447856100861688336780149834105101101369496772050068455617152129909410368470375082853355831108922263939480425075738714209777079742899398737502728293633814444778878076957723140529802106022036186170198470823177718979220748791610757068923398774772611797842453070361845250620267128763917267066470396083771072629495112021027734143676721552394080194397981064314863980949946974327314162426977132136627734491347925488164710132170632851658512126239693339742431617208661518623427967070107819392175448828877577067061359803966298104420887211239435208946276621442191384717352096092583394189621533385751378954314522902915480144422337151721330554855871709834639934573891887847413278808816809087470512399917707511906859777608769253113275934766239835549280043035994561485251660131519341974586509325148919734517883887562277653828154071314257313460457294279786933678197620078400890333506786245432857468763494818862448182261879564289419213350308620060272199492407422898628334380828092473833092288975097598239351192559639779122639082455507825932297187590171242762218383820029878718417394446997848285845645319379430150585795792374062986767298465774010706261786066804659824038202335901131510325073956419790461594172108721433628482239689285010735429717739659221047778477596758930182394747320321180103718037501849431507336026263192593013364947284413865712631621949377708862251141191522322631256134535877192799673110082560877274188369294114454032353399717157095425688652660662538983110202845818684806727048916590015038358781034544594527060460911931573102350503390727212460948395095006301057173958637325682590928993585645593883399692434442017410807222498167191773699770426988163400238292611275895489650563097360707644258286835518053496144150485453039834799578812243932514196997222647262926560608751645178800430592942726560014214296778527401813059098308239512531623676705680979000991092715871256731627993380567479353996592536110283250742146328774429265805852086932289055219458817586288307056277944737100956996210316168354417241854079141138030915434707949780162659399461439803929181828101697815521157164399344263211247952099282100591926353520641695541703068667225531251798744494229584925119030877688091086557515622851042548049843832812490740538751175255841087897215647759757164752871537758313148684674972894849462848803461291917332601165962438991195156126080354468239023376148242365518745816336112827223162223283532748300795160348832337271653887462487473011450776179860092464334463990609237933375191258716845132841863931241360273958982131257464540000729934911077445475755297234661394332470221365101887769874281949923283119238140618703633709115187760072504298122671671450903360703652006420156866054213618974675642035969411569279000211426595053521044294324299118778224161128168142839668529892720082693478036278877952318819120613073751953184202104433953427439914494917674183483583190091025367501022783334095543218890999054130057763418513021794247717306981543126640918882801286823463413634678108012927000160343673566938135085063693731542819491838716253532499477142760529691776690821510237320645207677586216913702951524973466307877382235683920900034887829073438228551486336147462820165054723296096499528405527715880701779512756488774783895211104809495942981902618125122214343604529346435292706007268885667447260495145519460804765081252501345290823889053799175334414785666686203545759443675313077763750526078564441652404231205028692577485738733504175364948863363198036046821500835575661199555140479472889638740587451421988578128128391503080056053553768561748778788700379968459833959641762401045830850271086542781339140127994093559910795706219175163563310741205936872115330867112361789959465296580269343962895621003011578075654205901624604911488752813904846119941084089810496899522277398189944821644498730619776538448752958877077742312273549361652634008945923580015318428562902365373184896732190566056824696282380277043306260742482893091816914442403468731368791630546849153853789314190653247079761372256051063495175365302686741290238265935070075342642975363329509576594388794070653337555303256441694687082635147018545170031303353190476170454312241822676786060853547581260888472534292024825806927405747922810852710059603820737589044499727842667089637247842967130520522485411808924233736565574833950717258027716091883473970016630892256247515589115557656348475871180985806455587969606543651700362821369588901464260181172392378784612845519764318336764681942104682098162132106628274493402913973729602419143383053429397174710259722354378066360507422386229946200623683552249162008517265955302779627985191638522378890402354416759663740300626770184446740269078124881437784667879724210775825439494888587065818655108592590889407211421660956368417312899243759461903638648509171100857460524303272610241902942058629230819135511003972224285910130612125373033489367541823815986731977299205767038044062932806154220271402655268039594027245110231668252273646207504330193314654846874868040398517008534056550031759294147324076182145104160452684090056638966414414002854667371593327310841784716147282083494801401566703100817623664307663088711538136069045981089640344681808434879954679027025374386792801735545638404047706614447268202858917523645253375764228175618687215383947927152184216698127829343771914111285063848399426611716959891558380078362423201955828174115436036463656790410422549311671707007900278539508361987176064394855460662524251815124573450415287662763715084744934353258796969320554358626146919246669407398350255139860863117319395835954114411643394705850720027687464556314497497844112815536790106665150430714291234189471945978017294197826551562782155045620972828288586428719598124771532545253843681921638712202927873360750813778579129549556998767942408365330151797182636824066196753623916258904413202506475218240650675937433711887039623512264873052271383156308762646629909033830774987695765299491805546525622134000534624634243006154853562591658819291613534326603730821680256604077041148085908485068186531371190041012542213791872962278662215816460722078579917495590797565868324830821945448034168399473268971898827091549644239285999922024476154257564460412402866799752382117458461546831231265335092357069133819029087144461135076064949868826373121422321800542533717120204391010186745931507612202982174631429712149098570449763511565500614079841887558648596127377384501486129273329604171254408990691097945210209052630120794301481481371771680927130936991962143242854824075237588565579004510966408301594259948467209613870379109210540143438141724274944589070929858474463583348030773793063598214976603410737723249952525630355096185795595880815999553868054880537932869782832825791824628044202674420740265194092716750934462836529230269973436927211656750408047678864207294064841069215221322428758416158761193095873056000694870122087778052775076918353648628735146531036055021000748591210702730725120233551694444866605045610671059431818842311867644582587733344008761303890965403597468531095445263396784010373464976180793242463642453982729275417133196325064754162923284930621682087612269370402688395247308632592060500926692953375432769768824752988016781863191720049577068663008332212776275554570091823518547031567134293333227882440547250169723212477778622616505573960674918087890436777265786870691507243823425186578405422230705135648951761202425204636395833130474094394994604122965298064692144088541050422107095325906473575646911629263580527853736944199171615013613275673248529902070040585790337679544582902763286488471779000647400824707834233708153165268748565875579679746022094537055510658577854385193213373464989863728128992123476148904716010637703230871900493353001372254311890503306423813319954782748889790703272054056114988657837122215029112794865459310423816798981947902058678671812533164293166836588962171823235637255194120297)}
{(150842140428261220515102649956531543396280174174825314817535547191386939413870068970214667373257311156224463636911872026027828309679394039066261349605850961305440487942284968366861987700057559281903039874075420211916070992305252574490586605498232404786916862814903450024911484405594175499291071373842058255048393250877021419939726632134439466696469526583507365250027542418114209972096976519839725431573025190139151573196761028090074926356679467004935029516235898915583213371023591189598948001494472188660115837337707061544895877879313289822121548149064424824613467385089162770077517047611308953861099596477006026152865331582665828062412720840330454145409832950917919333621430820315690380017002306176571222522107094424767538652708144254445901679123883228038332945523146590844689115588371438509722656658708049253507124088276584003492868588811892876376080622780903958180109628646456478775330642087374766647372006390972246484416671661841935270123242924546485455293420465455966976946415553445514926235044351550321494212159751728021793250281655937436651896829359431985781936107595570939905342556727733401048932099113169182417164376538432558849795182180760508721899064766150060117972057604826765098770149047842752995638852374746810117670597735506689791748797310584529568428918326608439896981129676017430854945091270515759221089081925365035276988047891274036694495343074797469109483052307030807345789621676057049287113703507660835148596088808824388772890328388026390746284239284201500752874447603276039663189124976231846618026634984574912692464555799419681676715850299870412321193246043623302745217462016373672972196667682756483392805281569693154334099523392681016439017803791212814216601673416448187846360584437473267769053818246821009287626970893203578130125819922313007932984974442798296887695770945208433468877285610349482033621108841316658522582832909105113921533373886071257564145764266706082906494819927387159010468579291625465447867545620817867165377835974488894015033156512622241894453786537064819335468637676234722716611880596313375919463811114998439644080125102092297020769312847139368539958850537560377599467384325382134621034284996698251491250719249240097016460387254293292745809369133108722993318153720512748794384543899722907878011788093677868347134343705602372358050596353240608510950326455785644384374887817773221798584220458194400936919320861545570623222885438402943054753425794187490112904836754996569164594008665095057619666988058751634910052295153101729746917128591019313738645470507217096235656037740036340615136866045077150816722151325576906975735319838704439079256961362095126159920191004683007547852579721090524603949047139006467517058824855173208362566716812552956240567072557111544157118947215881714101919930977073417866404367218928740238741877109886206181049979387958207830375989181627126128764321885072437809724239292782140676419606979034826428751140587376090885375099149397856052773435975196464041983007293613629976469740068484103473415938658102138341506340556498623568844323304114669413116089858192385027838454821223419354810776499885539260465955924016083655861704003366718291267067752475954967682794873938998514427449442499398274598461598033214803550670474515729241730675384436792254548072870703017727492137833712524495255817891492556856695825290060901315777370173270074353133563858406564393658843528295786008663700041153471898120610930930585028778274329700369735790812140854047120022446819334799291920791249585192749170720861019333460362540613060221192009939359418217098003849088383134466718223528053041395985786304790659238014146381984607605568024006098436806814565052193960503757904242837924911569316943273084851956563957814095717445664964653682658552232752462233527160712138975357854344428341216398733912235761320905037456388929622656335648007252403017206103690805097408519751880257808208914080373392370332221521011523795193748703585787373315886238399763058364221693138364822541709290852847698379717496479311929224754421678727721372106125159507171008724306055572070234667440150053918984165613156538774306853171185319470742459460331101455049593369174275339015774682799444433625878078334326716684555249320261790209940731937016473444103463525990898171346628748487427991751481489980851377703649862293599318720817436199769905005109670997929741798246244601504849777061253159436067059015553229700498954555693240719589282324130110091236650840283097624890337059672906891758723292171346764927050539182421385428212472920841207753780119064226322249695188443516383118804802754113612368068181500536391126718602620400701382406862265862971815002609124528802501691759500264519517664132763992803883885666044216462440985534816305462033578888222735246164742887608176507842511015979873872711729975830958878760391071522077765915305702443845409462296033766550860129544791529512068779091587188661843558076252456838367469469984380262090053586995735978295428180372988837513522136890445045403817049245009676086439480446383490058370007718157685601005030964023651553031316404008955306853681325763570053562097831415049393097962930033817019325380822692087642361721563352647283516416878921540920492462894714854529242324047655113108725114103877361596418834970742791670489097460917798310874627047793909552588993276516794952620092705389078902180470489943512715968438942706451984230330860732562233852050255438391832021817684108260788154060628628742776480909880642691070685611890535383058237214282352098677639869406081966766257049131643990122551770992372771554024045348864303119178636355900240490522892497675176264306697411734951092385446138204202164598807086139603368605413442973235936168916056432759762897925962621134100235539453343268648532031679054397172032431524805908770093450842247880660210379381421563630738143547389552982527703365608459060426808824537203195369650231145125905075250276974387742545010702517022350707815739462370707962022022954926824023747677140340634756529429663998365493384663118028164606965574083642274769885582457369884982423306670637358024499729458810816420123616125379319911267240150714307140945658880664450144159401176806723755661161126501598263007894291193472484728037650869899282107350074810143270989264468699684102486261750966353759565509407155144018774506526714749886024471222620483078303604820601148002639147036569475415349724237277107957303048403243386042215490714936750726810938396900898860531308148849906252675456256208474223339035277063091780111619795679123277256907482610819724254205214270582152739093981139693607688545386807625880071779327006440540263711574073923551084556394583071321971769526968128185501834197847417464312080698126626690201990424376261189219286950006131331835805734511865997860095615579603628406020306916330683788194758859308084766250908354942428459952365234738096312969104517750647720525478244206520756668887202446155821705076629948572280794443867025282154132059155741256031933901687600540162408612848455722387750241413295285998870628507302211978721044623479652835680715627117846048455132223968075527202323974842514568202432082712688973922700859896600120657734183943679216257201574935950801558908172487850211232133155906630926660148203237405414030594306245125361145597449254581750386428290760697181109657168812678401883881308047809467557995921098918997589253650375077440180055016891158953961551953821382598350980288174477196712498602332733201430430143493356453365374951484948726442943473733303447533953757734343983686821091214362777151002868391863657842361687925038860546993957665068883630849203374420664049496179157980214336967759270211210190184385425704802569226032803188137099356139029590272401861663942625717576235508723843374780121165779643374511863145218744987312165278051707537640249667671733784610917105602074857353244317982060553158336117144024458062918103552686537209962467055496442242761323235880825916180875023753665222569563221868441638482257117749607144306344479661445459918138542704106894868205376641646126038607342894776429050043940696866523906948046627360139817380325133884028157878282046349023100597351330306000779766239261271080000546218328803409482332509081029756782385701948775958493793294018302834874193695871183847352657047785952691673526169703859930347990809046617462384415953184040365463903014066669305472122085931670260900116769213806751519698882037938455312817322994130690969104479596575248712143752720161903417819481174178952484993942460678386634347778941516991619571851491286430347987643914961905131058359805250951738591275886684379765595510701881318274053264347026331579677093249293177720458693468897058678198004744898915488248374352174813250374781232061724346259684963621906548704980720607804582844344009687587121587544910737300461994371049925279704975953849465943928027544595558795194020657872973366334106771009668984172171959220931160347823084429038221641057795084126651599029026865873224299460773953207800439177348444146955627932938818586933629139345170154818700817481621950874245648641946158661522284817643478151078418654602640003672450130276036471500929409719078718953105374732269456624391976025817883435410274929543847431874756770443321884842286924767755517814602479794508765476423895904339809990377909093986724361432626740576947411340554296329732345921700023286344098644323946743485603274441886222039895833510817460767402720318835340155332331348799765860727227607321184288785839742836752602158708807226505044755576220623924258005902807671131981752619932651241934247777014861242536493669729102858655026123661116954362911872163744615048931503001923397350176391701876888370464570918029798814052400689881474284799014403233436652125921965295984655617380246438971263153781143294017720890393302060273327983361573799629463172365179364666177238698496936051344073524406814380237004099462383658151890809576381969755893329068501252407327715260325131973413276947612671736337882738028109314245242174351563316810589130332117168207431545493267348759389163007116564694470243035301987003779173903081563843286766514358166729797285412634371589642415917483857122909457172170961860815918894002367822421166556884494120279556577640257969934034823540132252722132200831720995494360186193315321247167392268120224595796677226516019769814779246048934975409917443596295364928898084628950418262889878393196292317431860219420391522351721139106212945776850146683963177081207925496769083876817232880931040813847859374055788804061985613215223086425844579510266702869010821920094114671684655652403154850462738830467634668990063559031188148872416531769666686982709649667095259641482910444212374060237506545185003314092429125026896822042291933515587812653331222819917791659087241606135999867994151211169323470422548126100708183131657323269128888775017513695867906269443789264591430202634982649707043778032379165968159495413884689154921351337223719801152715110476088042979560319350690636347842363442837643856592360655569740057135660952694822423299577746093027021576286447409474606270757481523389340905516898248053953974120193835470392156393460183929156630452335145417263442718833316770695948849432636084351183152452700534486770221847326651068778840478875656547754690193329213671352271794762177205791000929109821959512516580335523353671105708350033626709444550034623480648726957759513207247424250803252400287873310995427547370209955435285255832502401016447535483304582448763975151799160294754646768382389480246608490052973091006502982491035864737399175670059171040516629713874579229035803446256350688975604565774415278517850304230500075698543119875664801295662768586060697983191989804947877201433680193487717913313155439999773589318146804502332894514161528154084791956365342116928976766662641928775083873828659935870663334403473411428220967530087020618435869813133850636057698776644437125758145827673174306487834401301381175371572888643686240452793164471104562048173391267305005917676524445496043691967947631853386188991561559677019210759315316805885966553912362580045923638368700235063823318744438244229223702591633, 610054701732990648705597743782948858201039551094411405379919478612661946183014783834838859682953707810188888431596926588011226833669958218082964481028571445506506849193064624657088190205312858238324680200525293009977036723465030570743809915653183497195157397175012303402340465964049570898063752727183452967533701652393647277512983867160942390445752693445609714647042103993587403858040051035741365926248799489694182282059666540933235524400078529944486505408891393022119053967821667620229702511965691992132411008354582653599328121883228577738926019158666142016474525174714393392796077475789360298511021109834407427145486394007330071000983324077573587220270997928797823594087646744477098388657685251496623832490140187141658988994541675933779023975732703883306007337411856793240666706828307175354499895619320448951432533181442206003660153772271985775436872237541044992425774717776670158347278134185739145856233087468446102565563260567989266601536177762973595724400638675101830824291660361423151863991308962055382588662452738577414475682920752246355525991862502332537084827248179112166643420445263867172531683472094242756499162529617806243643101397546943605821378530519902859333129847383135234650988876200872162006383788805205606640929192885848062274801446280108664671007633753366426758439863204205742086482165680755965870270930882977147604104497720225980415163056251030762988957075148464327048676911319949181170448025860704298065387730395996471830932027264014198084719147316915898520472459154591540590811348161037729163249026562255948626430040394681945045708131909166223414354608699979397440810027689436268517168289616558725657514798883218504221105990608599562284427889974204928288082897809897818117452819755704125321094741536225895222154349026658112408709046635224933452669009205024607331245197798847733761827428841789600590859540855924316270094972491586940838273129992303370364683378081727194838920660967220530253111008570434032713281194618714069145280645447977925679518277726896438774078122323856083600004826587637099445878609868555438582333401575493337031117131440424724898969238824665969166580537329058849312845294957891586794412797040245348645697182512967832401750729597814563159332156768698432652622539295893034339689854711922391709445902910983137650301614659931781504837340006102445640662603359438570352009871248341695994856134856944335376119882571911133283095263665102362762034102303306647576651106211603945549218300298123263373552819215065710027147697633152014480162217036101924492090425435010556497270835290755238387553029717223081021210758150856861920738852252966397388116766564867294738154682811099476145912551909005716121820838122815333248347332208641806203843848193867722641896053334413805466795906093019257367557923362514589182618674731835098738185852119409579399814543382871382899186364501140887488251329135312259735338483352830887054424698224233018486517276965332754044107304915959073278459873472632089260023339437089982722829611180501881340565947724735993634641540753815979256986121646425088693556678692632707822603206455663811768427356260926043767125168551491743885629167186157236445627834158000547019175436579566192927547423982770932021727316432188265168847829244407190567372040770399983038030492884677087210997053121731432303777072604097346249589939964058135459208871814924450390239657930254031050854273600422011642705282157512470642133683135364804832919471774998193657578857659259247484117838178991640072999302415023656210404622303100636711750463469226701626094989369039495003897632811444478818364789480685727849047245739125558520528020381501708854744712410826081830373727860358195905275642118677750265350580576413482672201004168907685749950237979814208317402783622401293844435667797953709128776942574244097357085491140675227942735930149747621274230029426306642362260518132308471072688219605418766566251121225842803004387204064105054707277741989528779781313299279714103808089140005605894628799211817225968840463641088317888215246634906916296631894215526478182393037341933937777931014006327640873179786460244146345548360561096845942880116476281705231659451733889792072926472237239582740290536925971835909171111045738555539552866274552473525146716806916583024711405749478924740949326006447017972026885480966255809616371941411934366673572129332125042234206306336214567697001111325862765458462899230850946514036997087331234096202400136221830337555357292468700576331269747784877409734996654726873618664615747205359445290005651197635236938067717623099881030117076645035397860495237480266748868159653501650946950503650363996906559698205769942257224760911747292418961652408993419942839784314295957496402230667945852805876995671689591181031348339829555563357945322370993809889699778944244451645261707126486945678602500324156811326616559746848346220917805113517535021687275838657662577685015603044653257390147421501842377644299260842070070207412814860092491183383618424356167497805372464704127290805282916547546363942448608240812152809250697071148134218609055116454986224019743233355056860951087542964130041042819824685359300064342320070178141024222012145224445550126171261900696263046577382045361500999667648203261021656222641167446515398987813706599136589378863895180159141685850579679281862892723222906493659927888916909762154142747675952285753354393007344865878483587537826322720132296334849204507370126813216958878102364910086416917551292335624832648815117654339904829806513089529622990271199964937914492175533972392704705227647834279494199166756881088073668780184203424043040729794083233476054545127165607320209137618723615922679158487376653944842762234913000999795262880961000114859248643939860824077733752713388065140573603328240814900163629171174286134140118819786146981124617026411008715565054464842290492866025163521977799453774933733041753441419021764594249678118109037415069714324229392433161778098456780238858943825067515545089805362991710830140947878234882047376683619223040907492788435918685538174638314241685020855632164183140740384543679057161392918928194355032589442053713041176652157734402228928836493519112915489422909863304482871391282368548578450029544365057565188087950734577611760467509868830339490223185425494420341305177538191753084096563513734739872224954414793442959065384561740557169742033928623614891454445690504875130301764649026519667340010144803935799964833750191201349568927297784499449925162240902575549169305722676462395886210039641282000416753019989579850670539352615558769979982534743024141010091689343663377537762759454361879674711200199454756735197923174064237743855297268229788319015310315279254359959606311647669051139938376300486690663731780347308414483584441498127978009743945812255225307274831840151502847778616537170508046257332585197386477673527115447310864064032916198331542099761298975135959775939110663476097999159869744974566880642810358388216991730289278982446456455707484493522296391003319299258434536141549140471395073507522346930212887004131074041249551451384623469160520761876195348982930800270577161661087016332263420246480339676114853702381909857461761444995326022482800924214737825968556303061159108829445601737992214215287306326033390682657779949709090289391872312411911756964598634822242129153942968359481072104486804878986164259304265994738261771633931137369044113829008690110489675747063214596355179143763967542354992625047576577351554640215092542008125937481176622915183988780199352112132511312617746020566027124638627165367760566672326257421771156057379133194089847530200773463657660122061821508544789306065515413236386930434060294119091406063430085252805704244866316910293138557018541090111265397167158664476408892962507043689967293579759079134370493015467683093835596109972508690470999333090499100438630450978682682302363525096347658502705850922089263833639637677207104589763725856864835677645877976541017017256017146547034239826738384590312819461907305414334908714976395015006748209133893818637485935986511425933029048792719008383411367163349405477307442494559352666710113773808182682370555169604676228967331771580782041336172268747420105997153942482580359279941534249018266838754124343228514329218309636961805489290374686544429444761475356675678572670195775327405950343386015538962769640692279761357234152222827423992135009836477835637683926571708867902223912160452743813227284238402626516522886269617932336090614437449405396627568083311931524162806281000174208391357424295162923095928552252841136960722046070423659943963853614029375785248045948074549955958842701816905382368748356805800221574593798748195716741704420745868467370122658319095708910867775484936588923687227775468370876070841281059936483162436412000966283630518353363300073365775170982928997624340689149824193839069409380729521467550905667822334121699355975715423910733240199670884066487345265415904761803839576870798525713048487561913751851166114424839580784148778741078277555059623261715999358981093253994793902504829738586746183154382927211804656746211505876163509853673787642035296834348900402030662386406442504523887969006694621226450096200283470261365708983738312942458241970456433563078020551106280289866414587587321706009826262461994733281195324037845334197261559569215146960956251548097312841322204716728445684053350203917338503497153470605480065031457742966310260816793247220384904584915032977568248550749600645549841069093696607341342840658019833986986779463261605719304524937070072894126251803788037374689132540927850213522410487730608044498895988159668577256156725719535399842818040011834904347365501127458885685815230993656028746689884164912419300482873703189329171254116222770308956102543973057780462762356572659345975419996541726916293581030579695615012560334215059874706772951126844193515268448167038441343635010966921975638331723515845190795437962341868373978098283468000125237275915363599818644487237426174928079481254961353602594822788281072298284417560103284820369383839088735179652771269255447726054823895718137007854859516026401511676841505022243651480066242297546347374933571297663045422307163686587138435248883859012123641862420164823655169651230101855100833438679809015714551023202491814838384244965421295382831033722995051825724307538120093707325324263060365813151810996788715548511442927565438633501764989520319004183179264748045006870311618370053902544066433475169020003651094004736976369207573995102262084008094290988418957378799223951252456421035136286562370048706057585925994056826847176710364547123411183647341438915990782978380338925016423154955642049187548357136521536673543588203669657264611041900251618817551267082023817300361155340890517198402218699232727704925207508518679971553253632132191586956477642533700516350531753059228285279735208285907348730626661813835858934875308811758459490327882443342585233483912297324598607168384368635222332987686382369022197686789818247745604205107611416092482757559957466847840361003122300955827354835949564847301949851255507874741904438824992345700510988603291289504526538828178549224547527817211492168856163405946162300125458694474836828497039129165129295002203368906610230865506293925486532839644498106400877138974834285154992977918298222028586328655865642643340834712924428678232152604017678121727865534021046761615697253383680018962893147201969140070891038650032480065685159393107698863228036166314395759535757672428123830241552765231184768923487524365909233237242888667077704843985208944898247955552003738580351556480240358447117255847953105034844318731182371837290549587783038477869738182853366419125421815979974683952600394785992700998837805776713245696301159276004905208246416770114889324966564172209417089440007330559769005279601954473332057712362240478778428435087705211344273288837986109199016833099187031595819329830874122299498114988610079520731472255327255779957969055295175246708373099238465161765883797856543215838968276236079394551951244284180899233106967211583220826817839081505807144731712587949450311598244913130252581257107433, 2477945759050657564915998661338596070701393748100812210978761838656358803311343826440807098565909535185171985203283416188694538090278412827119140269629231505254693821257987869718536703571002368081241188316301463201491120081868966477373950798047849185544497496317154207438538039120163323746458797132910494511381128291336789429905428786789232346579136511150289339219070456808185308107224117967071535821996431334313951643086197068503983729453715189064091989116847869396623197534671768861227937292393718272756082274089212194799823533860937119775028286459434855156367311955010333999225645315497774540273105055656214291038153833212989031103944404997235915706917073507038254563486086100329190603487952525110883986851113342804005084140316056179813662459597857851571338635850776341034102406144819904595378436698352158917502473465256200336695494510008141547826102803580005553808114298608938128630369748427415552284443244792893417993287036068535141373625639993667129881916129490735319927524742315703828902312266208217957783129650623825374661368907471113996199192364858714384504207919545195421588814649931758931232141703462241787538106930310902668578069930726073793828459136730969815575039047407087710146333314714933942688717304609117218533870072098723478185505651445040773099853538327846029473287889487775398956317379042247742959550684243083150832227733774420499774886710435994038543426378622713461055488153949851273396418347952477856148438246252966858910349587107091705339135377517779276039283523465783042080124670590142493056397745228307453754454276796349703178998124627513151071681790427695828349161746890929738876142716729294398486672184419842150417339183909995219971431743617445990709338543781333690618676952137805981827611480205782886680306450395449271619155884807971198648542767822036703005441739055743536928430766634434766369665467863724972284478376479990471640424804722043023949434413906264636957182868901600437041582561567541933541885953895456416060080661064135996637576670935898204520544424038368453937438338887330070090437604919188873984765592997552605396597032641948137664812734388233352649389141668369076968419210661210631687314353242490499511858891340512435109214409674419107819328267995146569873782828778945385200583357623237317169350312395059234884387849620274561237857448924694335109937113585136491811948962516973316898332346917704850721440946798230029685724643087178368987567806871203760140279248008091809123080321965120208248085644302994858599118206977398911434304605827108397513910385286706186242837712789245030027390522870465965327450235169165178869178100629080698652085778628340533797405050487529983564152645913015117144003432924772624388215457026998034059536077054057621508793925288396283334983893490200039888186173253701712528425385327567312082364531887545667172243604832892875522632200646131049263014930592173771209539483519816406912314998979613655541168344138310703717755563386589516669714093967853645193667596041619414696529613032312418317999210028779708955296605027360662408084758229154162554053984919395786497784336934498339191394863132027796816095239077608528778459226694094640299893609583565316245618808620855110276775767174001084627643524088865167695061069039516589116876539308357569227895521179260977008956799794437044641575881988503654140524361754491189927463464553952590302481516635320562524664699953800739987874446706685074892963587449037122005156862919535818697753047671998302972816120566598751821157519381647428517151278425422859780144646743258935682460973666413345874432686347742157370365493257962372652720349190539336807632271455263352190000812734901191967640898065732566622235661694426520338383559033970622278427091483883253781757194527448057656182566868975067333812964155571061548311991484096586646951264172156678774251367732492280947701578429279264048541642139758994102700788193685250316091175991983709783344403413709927093458437059640948190037500528274851023150870388746769720006562289747417324464727404380728749378682255655425415877603440376800381117008989313163535403534456890487683198233265038022324392375930639134195583170171497302215161336567159049000885810019953127321594237191044739639527451295075939308788473075982650460956275160445922709463150311132574653493728430797048137369550575841402269353762367346917663650033423407030648882878094773466475651202533297640093855582318415266612979226435273685135650833961881806858537542721283353347039522680305052205771893893499624756560855932476652340147863485642402351437516671102324562670306173189087953551771091336014639400652700861048487698652970840558524423143608894028068592123638738265726524403348001351379671044578425258974671016289025297503892346823199104521696411288342790777093515745421071909913763990914537385265402733315186882459465849807781219229198641243665910808320699844927119451927079564717532040753274901107840466583193821627286427829773382286709236240255633988681168523187280156608060725477564266025037422588451236745940581780743427567656161711995722244927613117549467122722291240559800450013126280177845654590137330979038488759244911878354220388553711568325069422633168818979285454102027316981179783709725122940630280529127846566769648500310668735843743689346131857682801482261148363546199477361900849073536914245197418528970261734050391654041124318116458296258659499601997359551486514882369176223480310434573562796218430420076915653374604802991136802198928566049466335207317406630568526012335644321714297240820172217294625079293822718360237558093670475778849127161035156142566446440419392488436060943464969834468826373068703979352227749602601973155388044718519645818713871394930675715235379130359909241845582326680302204536932223941757161711724842898024701794713701415123025488451471072133346928569300000455849286076356057000848669431391622059038550960798623906639004060686511817778095753164292722580345034660774231050255576496071764099172930488274134074390305807368642426837155573144212656029801523117908130301672800722697357827590962962515310733459628540467566275835679039191446081921411976077355924198067170184699149734758800829873250725839986402353517348979073906924298460668958036851500268313129602727187558756170806302776815675405804994472036949451121481818751759944399550080305006681812900348013236002865605972632966912202740691817268914088518665316106818075946900175356839113537830741004621964591133168873018528099641058935011550412725691079421553653065254210402359580550989193200391993897988878368181009155923758149495479316817394707801445165796954388384175545585030073651265999335296800197620171152969604194742643505094553556725367103492771590763735715615224691748221356249323167020537794290899337411753990594911834680277776188643029050855896555806955481285613790300267029411340629089523353351831464454091423958633014226739388213830797185159298809554492313021087492736275869184214080477448940842269632867669846890871365730640007747482794220673674211669335241345840066912717222862289446626953303832970199834446995940144634068884614865700073041222164557269588371550016649700397862252139357715926766907462948173793351233557002270689037174105426745503727331654749082917277164172541192947050970699353306305109328669284911918486363306956890258972358984018632183706490915545775903833706702235998272426002207894338131622099180918478838706488016410734274089031664046735623430177137646032697463266893114745487241477674375011597816784818185590257972103843236143956458160884153577305878025035283760323933472422226028047746863921118795125612662410240788957285655817083389384529602895332436805691941771452795214292353099944338253593245304474903030982775191711897077773769487138379392489815213887499207951453549631821880696466117752021590996861538027259390599104508362973367357362499458836761759621499036315094756152795362953653782908379173168427212072135274752708467503936587721123403065693163406379062785611228172001787102495187331330577631148021840443684672447544294042985964967560170399444011456798781162646210259981850044493261856525543898558217339437596453936835565228556909249424841064617676764052138891755633543274963365399846155970505332913568016337353510148265757012262986486930244887028858278444418569407880666302773176741879359382188812263678543619300730338251661872127440510009393789057493575335489168468898842155542866275743232822518799081768859580687093931118002927252959503767053369123173243007163955916041197669805902136962789421844429045101821270868954976443904476325699725649730052526075883390210047656752473331195924288960432633370547352209663548827037133646308761931424853176901441321781279501732758291811531012487435522638070906009993120970246734043581090812542472551052077576367788513679064077862164919843800161332067549161495093882156544268183450631329577172682972704869646072397413431726606823499366769967073169817339376092115976625868120858081927799416301703034706448031721318804400512582152977003901953840291929401812345885526114278110292308440141494418200351749985683741562086012268925511505552890359744819591897108869168362046630044633174426990465937043938181332268213452646336537880148961490848637273227308816903290376345737796415948800662964351722210075327277597278282172035860017387332995708653228202334610590667351311871438211296001249527429810239598157270932549980322761922763675660710430514214203791535257171955293023479256943932764643756470106295469118576778165709382368918272166915810398821062510089854210727850572313378972648391859062333105306744620130996859748668976106573225606462519370345698197996889507511711053933904962524085822343648420422364599156510765589033627791324929939828555508215119235521496435440420307586095541983775661376094614832178890835632149491810539573023088983240077215202238978575932425376281019366231165729174823235087001854987478868193664190578499579683855631566906598251024490219768719903906563916818378245440441005794493948430913124739998507319807352353089032928569205561686325281364043496757412740175928420044034799812418636395403857208198625470702426546627367937842668712818951759442053432324171866961552930442397068891689718212277704182914608980919365830057933819456682783902673253573622691029304721589493004684551927054986398464399184905366158532883922918441575374056538699223329465155623036899347562016585378865863969617333221549230600363949231335159567869423205463259391639180912775805351750370465177231283572363104709791612942390795466652809548935378062672872348070483245696223098937084460832091641420386209412748425785537152960270552551615543365727041383439126613399954373290299183129089179321052985633275267374698254608078383553867025660235608224039425410244051557446085455777615746505134389356130536817334563008624049088244200653951940586750424551047162103707232268965688337561194861964198388988595937008613541277177957402074825612407684868290267761225082394117478967549071687883729437139187421220266105493795445113044706961842534529380083375913418101218388375891022677216743037111235648722548752036945573408370892194149171597979843697850522073078215572397343169278618313259986108933444801233406661329145037369041517764813623433435824673439917685580006135415544747946327586207159245556917054955148324392513906955498050087292808001206616474430141180468431572555630688073977760236588655210631414510815278601613695797441652143331545511213791183141074811951516520262958622150262940638790052426159519277534943594340128949079508921578652829685825025857536290605734943356156365429646544150031920499914516694679762258756132082094200641670541510268936890849643235298612227200726667607593641974973908019105184709979860125782325151192966597761475783586350719626781752181821703009955903538157958460744955060673840203574681623787015097731615621450645414615867799223438953348524573011212646390223499376187561227145366467987721419534749100999996210439205355270621663331762570939221293015063663753786024183761152619996141423404436243983416087684072996747597065478622745912664020384977347698715159571562330792)}
{(263920191394544127802509309567039444127438783374565438991478508911958888694598363041765835382438892353020221751356000042147466656309761788326064003326466054872059606365947112147172576727413726129754981065084454907928697408552052267430895663674950749234557980007470046876671928757721342541815397579702619858322257963659476842016214735202451117643053212063316352160843607002207068955005944086875752090073054398891143988378955460365004602643044788975136582534518396566677801882486470389605712888863283636971916894038226873589427209413901730893381058449694522280072275878117217018426913797394427276694958856178351694712497579373337810966109009070266532799553175318747098905548407789156599580338181046214634723570069684462697080879291099822024835418488865104798972914442537703602058436528161180771473547616717186610039324733584880016443927785725695658940090688438605246548065708944278855668789101722789958271208419668455266245287635556656145850419735163501812402684210818461228712391589036846846877492325119158391497495548331547829120020767693382301754033003749102710447832600383372441983618299342206409383857725514183482770804723817509048200365163048502944884569580662988166694551495289929370013979387048919185502241397220569475257755429140493831468108823201535949118063945055201142757868618896588837789990238666108180732266213320500038929028863351691938425383700115137538684455586081474649290773297168065532493969308184715316157040605666225989445692930461555505024830441341685776715358176172963242607989068669046749312462713177767262431607457735490696089488964185010742882859647109602554871243010075441274564963124781526221667803297267090290298026290550103365753901117221693240515426916427017352120555775294289518036915352702180899766659684376189447710597935741103214247547400250598691052668841819686059206705152732947991757062578366245544581813516273047261509716958138292783334358757483514442474835593982861076870583541027269361392790015514367968553455092903247858993821553781888987065163211318743492238401275416722458690084575687915673602479650806141300601121930212918116179087380545861128297967906887533181955272605633801476074580087862568587665941664552443710201592180272002143246955388494998885650337240102623852530239567602266268020667727773933838015020781506914828710202866188062032985165582930702503873320776509109427119146344409021854271929844703825144410864608352960836146166441074537081470522836105320443090233848859683634436713197224965272190934376639152977332317894223976241317121777497214563171865541178124247689124941921451213416390669148894659397486391672010511716055314545351242370594997678988799414287664523469682052052265375384296598139323901883094939804317239413217372064679430744687455688098683496792612109250122364742917694688426948009324932996055817275357326823054357067646996480903624462802555276914511681400387128031861767435330874262831697474237923713693629117498183141728522828753642279305018182745173555006844582025486015461292505823526106887233954240972727831144268888374177651756189809908188694436878366477738147432876688173334993883627779213508988589692155993663153745610303017508570454217824651179654421904853892701308702929037749808528472457445548625937397068608307229389826709181111258216892185693227638639161997176235834821675638209059646612457751198680485536872542060730438821545544379846578738841085505145141582418416667065818561555961972458494966246467940598465936746713159357128729059904112850357890259756561727737357170183127311637736548002756092383724297077047495491402732184964822975804260624703134746496082680695175713668405778083841998157731116261991953731426511398607432112513881918641936310796322419936257198758752880416505167363771179267151612147810124276902544157188972137761346326278335444890463958037058627983014114769813539825783269255826918500323797511524228689690949380759875054608548808333855440682204689082070596041631738910088679032605861543793784314631709217004599537872951764423778987103675052256673925094888629672500526390065033244100131131428339088064795988842397916086160705670666877871177943382489025595434817786408641656450400614017501297988869070789112574981799401469958395831796357150998853663757875543487120371346598164419714491346133824042967229759923036067913326556502467777459228940411659125679086950148764767608870125714483467881920909819050817352129067637572986055714604783389103626017606916034994350693997794285319183041882786114597153364502914553512893142283364450710386584372373619725082652638929170338286022445422035935846743364942134579009587744145992121107181311346197486331119602140166347128019918518188954163111233462803061745341806374033351745670525283923861427255506021719141582803448998682926784072736510364240151674853888886733176474869815438524139311837606427508201205924603344698581171900235737493771670757396167639293783977541877523150526065001853843265377615827418750317221892235242646051154307822039737537195845467923192725691064502637125847750179927821669285245862465858396499417024638691456845809178959447922615115119359028103973935943438495104468987226685216313530540387189525751671789875229907150189884786540483212967489645079509982199960624853464053105878611267743919521905900965351087148349549713643367270581664379172564448903854628224414062657584317502772202698362718617063893980425965830434054373297037336196259196739394640382009106131227421598791306532985319081569912865869199474882948342795203042346833675702865204076929984500071882024084114539519217768711719259365542420265744611687998040246922984096916315854712565975433463591282794374010698084003238591034195571738643507078223923229837952802491106025357478434095587935439250368618561782390053191732167934294170707891549050251392152580083123657409018404468248400192383792698391540461697831663948384758757231255521019495265555159476782917735943312887109492895380194869153163896717305729488297548203505308115490411260478063218685796933026965912985913434122412127550911469843202502641099605034424363612188052304310591718329027773025876625174929129408066038772900460675182693732629921216784188028986791687621313935257378326177254200457413831860446768455324539821769550017147752588605478636597343882317685011229906302705659274375728614452802730994860232064352966254015196624349143841620943792738170150269285173549405603432016438737305767800054177505935977739101106314281730802139979065246942564522025701287209735491833899506107335764817981372278291074013006573084338274385099213109446844991578342096634879980960398505264526809160218686349707115451128580007007220618791952457226369899380085322476617657982679404205859566022994783719180462316730914025178317756212334897909651739070154686493094131465130307823047651392708285752357458180899169265046251313569969019021775619877592106958904797397933369564418095290278294476150116791097498057360088758411999777105985880533473438913386567750149408157742193261756732306823112009520041309005788964495362826456353932696249628905175183502117521838919551220604482072317737029478820502319145276363088268947043508582216732832987488078050182244776269470061119716857526671508560458053791840449934842895439341384525409691156115455487954155683751552686303048558271902590672871208152516044568080638421382171872103488914242244237440334115398208226707256304293501034390673328140763275546798573331163324695074641712205865166652919787653367318162994689950638048950837963124190622577237345848249940223097382073278607000823175824075770556283331473632614113094881628280561959009153351752692652833284409085572450136839731421830882373034982838543802208544991244597995073152733949391211177703266787613195365762632461462477831056627511770749859456620710025536986914814301369229226051351985277114864043808129303775316027249260092280415242983848145395070371047348780279608190558938570136076690507437989832510812399210354545303779620596172172922832947004040146803174551245031647807893746330667038059499719603959813962029693529457113827383186216221449493354888687916725047689646177437156246549657286277806841293402778656281460662303993397397867943178771404350723134346822130412944912352115494253040374062235477103028357888587519229204494829708034217203267316577819112063484221731549321277932952299500469222788605953717612271550267009500678590894817151492619015633289940292797293110568460027202670704965025825085397150264043501625476890888975330174475888456780640607827120785926113588578945718619731462392519068724611792513468545866461251715494871289400049731554433616431912420147564892930321891076027996926106141161032836380258318016256684736191975059045109996760156009902891455741451166273362504730226873928905226896646704870693515170258195936272300855151072100535721289089141930235080158062751723946208391460569056265962096214333401174304079103399204136233197159651565376846998800904895290058666051155617458169039904505486518038399149232879706277004855875845031000435301036928402721204714165048479777983047312036516800271915403871744651263922493782280201933068731553611132051336126945113033708927174960711597641103702659471604660537125374752521478106860585816890604195692952421913164231956282742536436180171495067545356611401018445308560032276555527451133469714292668108143619379262505155019730228603361983544261347312064198083829412781855007768549088500633453538577845142799053466343883631799431465416173552722586079521468328584313762100153743933553623705354669152999809312778879647196938381360776407157750454662138023522846412586193405307863523617145100101133954857972735981465325874930078168889523971822421608463876955244599873590889280722143129815064022873080592671513420668373967648282792964100349801999889360711782006781988037057122408731108985460608391423704867819756464186159463107923953677223284245618372534902497006974622308774505835928971951340750309367059145340918653613617845048936465653204598254463286222602958524446670277587999687988980770264526426272698367707971813510074569323496805538884260747923001738114341546601070186412602755087606886231236580344313511371358360572833127228649960073089364141771755660845325519126750419343811643053890621525107492071743239135826112550423245964244310027938857036512158381098754868302097209084295181816307538917674500984937402057204449461219954323436245198201550214751346400525968738414504692648243616671479722517062472292755156430966440001794344853308600981878239272048222902998148899218324133863629972584120205965825005899079404386827980353357976742207684087348858590927405415810501395732810825765925592527384712184763234291624185213212276535140785719447883849960921737698589908094510643244698208545323354072251938496773804897324637293922508169741276226731859721416908356758725879931273842379395628003454549341955918257068769686061289726322789787429172346341551015459715865885680743584052690842050405176137788252137782192174250473089428710830054995562791813590001288016506722184011471507180632580158182242047209149974889021098370661918100691359226473598553809470606706793378868676242003894670309861050317824077971518839688661880401066636299331604277980352402466892784253246527638823010167652370204660576669665342582266593553685085566348422267140023125055891930367996503760182679526443913119816734920459663564001466182979756713923142514310123042306714661209323890480204355659893968950667716528137921341533157172299818207890760474997672390691137406721922770421596212100317755598652634788146929072795911029333078267525047484792056970618599216332110450128545537413809515208110712298840279128934524925655332887927234956140658478954962688614456970183798250405834850117851027962391853474592554003352187097934836678207976462294699829712646624915759503928623720768799527956671316448693709086221386434980065506071277881198862336654514559271257999384901143637638151061176228715001999721196682491179307630031469044571610525404001293200564147703288281332172593782700628430111741692780614549688151027254412330139150019366663797806284761359418962032794592826744885040124444788951223947491806036525904328712112023040729175838584609872613583356202263556911663194915011875204589527054554012989261592076849629003878607798864749587729149957517455185295298592283712261207347766732012908029534384036649021087807548612156085854224390943363502087846433024058866481542896178760569978807656763069079783458334602400064183413205386872162636499114689415832532625454079707550781115750147662672852397936850512159020234983386741841851255793507026988670794712802282484256761043548275931948157041005004079896958911160277065476185585662421975869695072132725637177666587783400026339147892752327176276728631688369164825323816880098424722650429673412311357440622331346741873799306466805026311718300778757558215878397298367191301456090351470864133663757012202158523964722921143201624146161581187937375520981163243026695761070760651129257916110646982786918058001432815272502113764076346746518909941851869419037545735428139833963672949605615936357642808544937261917503434641532398584004203123001719146389185507562336267502023640533254464119532795189421558059999015245917557426818865375158204953944732347040469408013078683285415929354989094709146418483663982066339245925488142400003207614263686695079675002544948396312412765852321286012677233325521367769852749324082728093899519706405344937960633834225517383814165368023221390486960173596473765438288087973822287327659958687195564322964560827423970254806579101895963815175423759321329161752543206933996730854677441692657060269922397788405777609222089676288032138471135940371267393555192868513215825929783205694320987186138625112150409957839538204253482946832581771757361061483408652970334163150062073712327734754884019498079667516138038867036082377333490443221722217115731675627524635788200106301437737546343544198359163451148516616789115435705849727845016674634516124481881034278138296222171512741019678280475500089387015008809013527164330552892259680521527679586843260410991990223242577402019811012258401567432298640191724156942879683052590642961605086934678689500002908556996616774261431418623747754697296594434368630793281679883238765596383725784318543050834436063686267897260438227643346144906170716433872227130413172892072094686844990653211418432750264598615931684686087632049996032265375102924494040325384091407704672917928107147497864779876244069745623402395346695996595257503668299972525498598093952514708613797635092414524181060116248829851371616772687939870632524544972565237802924553881039935734038972008655768397522886671916971291210934392761444623813902460116806372387679453429873359620911569872326357714144991442014755124595241327885440397315789982189021473320264269691541867446430113620401817191317438686719046546056888197725390495103864671796838292172283313133141170893872170789385507211952420318203766612392066680499078810875908032080133060539780263987001722984073752195531227702656224258988708674407455223658553836011519113313720718449753702988678694629771292225717564635411820682759676061219720266944802500937855461471994968446336548212418469542075989307566805798027504523613904882983098995068795956460447206032907815145894894222801566005627970356022308858886131642742059135220529547010108179166726291283127193611860973229459920440031199738072947520690340608939012175216129908435961843583232897909499308867399122892751589933696307694595724360307299439248478250611401526162455048940763832500749325992, 307862149689258820082901790381175470454154784594950882725148475308571199428993304788699457909929832639303647367479850927130544558078696067030029375999701502171104892347513218448961296967518942624379075667875905590783892346361626772431838293142020481859291930746358881283599450241714923418278646041844855511104380838533684802362004203169758292289604138781213885870623263257859864084503833339144174613730748727437723005957173106606661300204182938197532029987066813332333646761522775436484539214803114391804460293379869165751865105430040076379680276195954598944126593101683345563581328481733170612875658706117360243526521222987164435182492914824326742706547692578384844957169283077573115013570203611274769309853184606354446680099711186077991965988192222488636968518584754630284870047064228632919848324501343806043345249527147077227835064170158608437208718860724925233926036090632690943695851909452407556298760063166996081318018148404275892121332160221496172724449202082057779297054203658857793010026047484155848864685469751836738881293261618381930011501160223740625040441017120437652935279229989802822175704768093510603197926754760716972085671737934372895505728008872279251736025200042201045143967070450172279692976391989087373430039083798467036717822153277265796232995931197982204137855200346759772530857512796593307667358141881258963168588603768439642092911682196758606767016768861280413637517887369992227405506058000194901836080763089511662526116846591574710482255292539011208276472391398865094867595608186834040415414797382221903931908233653696604792838297679656751162473295218400448783111766742195521444004558132705889701390007058187225073426273736922239810835493009580973425764092952778127643289239365149496703061012902545871629576686096604167972296279105280986076508246441874504588979708576453630691924910165401003818720895256188866484612820829537826777725100134960091355112285636057213863318064503327766434840923109428487699392670603720741730484305810761855861676648146535241660494232682882666213591572176606735635840144284771612207837558065233112072586813144939593232488074035437961117800949874353839595248634089496251717760348837841661362296538037296462444549675755119144860437818225819895158581739631031003175911679848741668983797409164983195555199698300563353655308356652634263939625708139191397447427044069313498760892346346621753452188053027435741675866522469741628545754110217681513670888546679844366586451790037597114585482463100226830053199340758567171254510647847556828633948172836912118800137244123078506113364065790841177876002639008596008061705647779949621197093428370856607474186311828769471971592110211587260398134983151958043911381356553253397761037840278822602098584390136661486898868924527780241467845927360817493305337583175743671007843686988917483399201009782766923225817457737971591580363897329944732716816512895962710633974081287316608416167145429734195137453673888218763223071795107418408075730129500434380976622348562801342359212196179537598320854562866810952549840913498419948845914969803587422636864281375703294435957076537585612970586796851097002278811223007689207960135182611835096664019659114912882883477198981386179103590338796550637804809356851585528376862187184328581089216034051612962581729020801776222861765930806492704157545436986607500539875616594286138760679502100512187236873500092273799165335286887965792960666364813922060996068265066784114148139961608798693431556418587383854019571601732216004743877962434893323836340781605941452074547328553342524014783097539478699708714219197672355995151135580107704244790367907964432446346790848635573907723600496629347087606527595457667941081119718361186990371618967961621299293276172024519282367394074429844828573056787072304810344839512134910511083046681819968061345961583927124230144076344477719650474125330065888585619764917642278623900841848960020895921200093358615506910310917477224078859214481250326900511616348608425981466128593707330664490534247705009078686051585722050398064787643075141590904626636610703566507931399480470985401657668053152023730502366440136271911549415938916217714666359255640349719651351064596301914100953968334663291835704331882591495460728057959976948848167120993904139648141134118744319978201146906035010953746445848571835648787675847182166196504652800455042938493583457704895504481190968893199277150959204737558155139989756541349096896334848626497219194576944913764094612500709419072265811953323189968612814538273367621488987166845383417364690185310682826250945973819963892289029186008201950148574918255858881553523829595199868728729876509942261839620108315416423412768868853351031798282445514341810935724190415644042264392672263509232133401986704074224408221885405517377426492915079714316069490867816815762743084798564289935838375386843458946643568895335538229669762774105012003600085329470187469515134515768836067578299321813680854590773877263129422258685572042799241989225243719632204051869383438868239294022833492166485592424116786352193091926919263831129193828819418570909811591708016355211360482306935400520272793948544682123774137662223628104724378417519997371777555564576284140971458971854738131027678811561880020866593821584843524163181837303189139635568229579087775780714547092021984897096662895318211908079822660502455478963619174228091980318731027530768858880773371540931431584217769381155375885439041271408631078898209570655991392236348241810593860848650628068746657854628479266807842250374136124978344669748499730568994281820961582280198300400480399499636597350044674878931545965229011752064588034569186313313738971385427098547710404982696657689396250767261817014234600392274854769637028572182562943212521204033817212734292616452829554621685914284832012731993611625317124741544109150105961392216723688496477481122285966794490363346632743587452351338004135934038125286592580343377569325163043475683391399090281681455341909815591656220824036609855627991552767039622814683184926590892467427486322431410071843727686868772360091794805308885857271812515678720535951696133159985750200220652542306382717362119283769959473001286630286261910239577807737435797196007558622631685191932578226500087475384400615080224943656905042400781265119269446398077116480067223139245758714184714588838751228727292967399526583997960538718467781115776858497366991313080774569692774639751117411181590891290979467760576412386665208986799413755515537862971051252800687276831118919181918013856720162779989723755710138041699225184256327329800728207546517009017139900430661194537955815020113656251328275520261747666618371116673615105316445323337888394092045396587615515974169763204556680325506225948960771184294313494163565010412637288170872469024734275025400914202505756145463977998375100497764414636031897906041130702113932038281420115343106637091927058899575004512977183223922769096519384841149965770192911147420399404511486167132934491190971266818475139147196289557586274252494820986135809994226982674534093136542520753962265379339894269809314133694193809547570226537451058286102637857929673788891851974236692824229038965476802393274435641113100976263296693107916694993027456259989359620148220548759040566807524960955311688923977836777556890374663774539697681269827314446140127525587062205597781299864876385990697089841559919584771477644919274567355877023615299637378860077810015203372258387893457413817399255172801549084498048396324433585009488218020596777757771292505436696525430507718653254482881520668985967968951928514501836627169083511255031125536258572692786603635525651794049168015079864383904388396920880279448677537793616589549681048188715517394852260230063678030412534654914883928650952701617201089989907424349232272263264213133596729330665498707413300034072962741704871712355231203014245346902980556377261619994311098224630774207030873004820603848791391004775140654340084937516580621905319730470644768063745010997284488135168553101890724237069100988282792348145154356674093539358455952977333125768126986057538994866770374870852505521546566431004807702922759243094598676977206244818369324736823835968614939838698585577359992851987624613078646376101080769569809258836649538507887580964041153831979971532497281086961511264701415094279200358073134205202070220734702373439151475961567236120281323613277988986550085789739073900611898393786687203855116105145486880179623561250649949509370062904427958062531280951160222685457574674050659253409467543815474290511433784030759791832177405289592207807271767612470111169232396250618885860637163200764515605425083857698503557833337983878188992547750417530427185140468650266331838537523917258620033039227734527052806559635660897776345680279072247203655358917583169439759859923521654679290070869302071744134699330850672660252479243886378890654878786248327535951600318637560124991363380622664676697647814217986318862549620004218477249613928984100956347076187114763461358632743102894061160025037689221617077389388997839604708836852105658755449504987630989898010900284396223467357635364338867860488901808218271211567714813752171248784360989343692769582165553095556830451353849914467486145539294851605376399855547915276629962938421086845854496507549366854610283213740453602221037963146421225981703797065777828070525251062085124155646435556977996310735472744225859562695854575869190225244091424845229510851172786596529563092182194370304194733037092367430577552249262728094130731870034521064775331364708876073982492116711922383257010909625865550409710103280328969459038322627870765960749855274379586192603370976531812258474382214245178047332295064146699195241784885595420688905459510446656449162369275297678784121464663960800271844259312543917299046352622153302984931579419464423294792675964257878963025004210799504884071924074151002400828603846730984079836589793797071689258096150061204592097276800731554787860993357605603840343873304986283382852015257282269675728554117910614145358766814697986281295937047736609649454904262857298073093230781374523580891938142869519138596274025813667635928422072608835935467821573717171014162158783870133767741087203976683468868103513428277946981348205466236641544923525425267164469772795909810146183244185109775378953531046190865375932793432401147259606256484611495715068086342691933634567309423189954945699654466182085267394650692866451440824940115734464320101300216123250390991345646798869722772489344108106044446547213695222309094665806774771122324979407979373142042064657639438538275110694311034071672138015912116904628744973920858971126068740774513336942647338264704465885845850273313641402795333529326851898540980615594277664430810942995971782189599556749164737137168582490415072421478746299001689450513372441152635673851865614545959326500833744493332524718671436078991863426659231646542069851527789084716496343658952137222884375188854901089300742916047399724190961837841957435220012654307768430017672175698082894128707541033398425924230261563614003076567968062046216694317151308250126925015180154522420042465628904505574813929035250473482054704106950476107165091474355193562336395980220755390620193438182413512285832719277019227381256606737688157538742543138046349438493891778781524517871658941398913456329782153064799637016864470711842751372903951021667572777790764897262090473047602816329737850238200248567726717485560547344764574878973775611630076775154347053193723367854171793296620088220481267925963479459964984791057189231797789637690910351296071498123092164224265373038206475328078131487424738238218716543314110795330872850426124380027852271382904692329155401692064096196314008845020411738622450637418610876459063258489426573881066314134973284208716635112952308892449406337482298920587344482693181218982869725907747168039761225378823055732616996936664691506300548794568765124122128200537763881223965867181754310904495698885656562766291955054330875596701742363108050892786059379324478573880559817698809680726706678096807932136420149876280429297778771333561775749749706974809237346924310676413757625786901341666582113273803793462888623206128460762951587514973797333395221163940617529793714453655949605050541081502816769918016079409814774844736207781710017344958516783966435760779605446359832426624640689734578559623604560763239107161669392419864779857150755869563856472400779796328672442185201916726524990516279528667777517883284951776867835181284015942627053076919523191851241783241645335457758059513749825847148386915189140859174640059508815472861084143405030829234659202615288847158806677308954499874121943688032503689647024757857832968573104418410560018402208205714007266133272485244837085410417284670356027138144336159335745917825275813174476432760500264480605795563852056838834009099418303291819708215292029669103808288390312282691365941017160491922991571920214686057115014828291265367686035257028070193752557926234135729687266065019388686822746440218843708735688037381235670150043777046082827898171643143991212085901394348966391403210091209306605147198636303713080928155573823996935226346874862425479483908693688473144275367191487957093345024272638198009830456239285867747850563659710136883397978643697248523351776977786467757024287003408414042528921428615143160354473882573268760864412392801282679823475985024206075912607301498878490191331525107063631245105895635935204650928913593467542890393467877363903306798848411029131282240888014332188535008532567779545731491045411659641621280247918121991048070645937138082303246695799125218376395335233878945999031898394200192094532456759099846124612663716157645180627991269483071198193499691464889214808962078511026524022967956172779046969665410943464273955680683668362297673836572649555900702869646882330623028103818450699977607868445560349633757557130287756027762486773880691834162981613342236311222369018664440952843509103683568497036712119857720083378615853837556219469134864714305274703468813982178022711014679710852899843791594382620832347088120552437896414457646505982346134008252815536264203168725593466229114925379592330181465059004310094906622549651634232566522438980541127769693588071723181997944581003323855361015058889577032448618361934496689181900731156589577438344130884590026273285080054523002691984538904152954645651648979280655699790476423306365353457738671758053432289735728233941277854491094923084973469130395896136474174998653959036081299152175915369693812755108489406977139039146107087099091678027476079291707169122639633546745177017431009080234422647194817627597044628727042359815496185740683910970482158745902243633589065202006653765071849579436322110797984651710717395667164764519940881362356031470930531372434488170558870544950471055250467203398543716434177928862902055715721753479279683032779778133159581669007619929587789691160470341101815035607900119470626796297371287326994982229474855664330215351059242300116775058424613341938711329954976523125425259032614333057165529563899299603426459100793493067024532123848901565409590966615815034424944027235577524140563279129671081899433951291934885984134700950735072115471114687138009447805536832195970721385673609094134856840851991138672977442975513329388156642166034308875592378776811167889977710086366731820899787138714159942992983598471214501423548752133320987480964467740398639823827816650912436989951525799414311335252809750513062252460744811245079850663093470972144738522534909230602247509981164662624124750906963661528865513, 2575783784780665917706640981986771856156651928793369762796637994242603939088015629412382592589925980885431361829526464131572595560514958277302137571639812665628199556832132702162566447657216916520322281389041590344444952062029478166406066728383893308962428806368545669197739024577802738746321144516834338388498109684284270291398149078262552419506665645617012729882141304089017948360726488840644546217974532238457954560297405618760999514395184173400228412225258946824857049292601545701290373697034830074021813052652131903540907933185194421985396575207022678797112934658158832048696651475557027776933136116223539214036029265831392164815060315304978719450037292850740782896102001299470848899130722427675012531835879970914975039536614204712326173485984146137146889581460420153638427509589717216577715121301379003480352266565565111175337667809163030288131086612822080085714181416256619090647485324421216055798265236179271154326539318943258268626809666508156937444459458122042015480286408275470785266641096597987895551172061013141713028212496747071326632148819137428503236079509724117119302587132157573720922196424327610026741426260939976557986625617912756939182443639568326145705233036434403037898082556065970987339500763057171057007378494933411463962968684713993117894422209917250842892308019413201489285239309228591570590461597751870202579124391863571530061060637534244448656437691204498244444377127735232319434397289980130840969665813680844334217212725110579798806199198831006360241024787225832298077004560562550993303377158958216641754168628038413030868453845266070702033979006818247731887530248289415791670788035838288624656592833247636484424861367594346184301768410743119635671758017566717482746284212696457182482286799813764275186042465862143071249440081588233350120707230432146414684226435644640287257292955466632938133734469769255622260513295736019215366342656025101177407450280399337039017600393975286270060716142314691226099698881604257586217316463673596307843961891852678215233593914787748632967581145953437125834145641754399839659425523784602557961478599342291330334322175747106443301493846082254868486281233677613438398822124208536862956916509754933076094044803191342016856486558891713861652999282824880165775507336807935279614400693012271852115144533759977432867889810616463342650225273525893648031617386154963057855023882597868287329044929059555171582635935346525877865976564666337550474893838146500819955100081400438961328618696210177062114537795880392231186645590162057366515348201947516364463353779827564481057477528353967642199005764037886038967956678281519825167567264790074860357992032748035948442416491102522813752388983574256961558421445339306071842011060700747181583743549930761621393534749255038628637248104915782020872783331208641139679060203184568380657204404822012708865388086102817200862901301831959695718256270386418486869982391356919736304279157660097597207392271057937175528056534494875073411724249845014825766895773995200804371104485976829508073488867935104394674887457916976167663858804545335828596681542921306214436590449380481010602190032700888772063684687966327422190871703501615439608844195611538090399803114614489229848040922403216457861316725995391085763876155029585978447998059387645862762348583321114093641342355899578491572850121257791015892346983210716443112113456754024759307294238095475863918496768675300006841328925068638373409654143014740639069429008480910320170311525606533037957434015677776168347795287749480634001494729975529015209839732712636592859678213578134010275593834759899535095295837445472577984658066037769113158529472815219841652000910128843835552600637564683897366102797288019843487642992081439729610976470530405307751629114824062280904440971132110487097349192715436569097739375471119106289418452054073457342531686560393506235575535197956951921369385603991477699610709394203204374943972207180136718493392502503970989287189982293696616761263148811242867993276101232121931711542148752505533485899883274518597117729485507966934246622306469105207062371040994934145219171236492946465780501821254507418991209712752922830838681248219116759252352469757581303235290767464673873903815398833418845359148249308385545397570263995947033692030585910520957158976047743785062398645318487257505468309896083585692794265234569981413007403761644563979148955172720348718775690235203856804434513135929391916680656140219846396873384089186428161259772271014399063465415215488798824500128439078112157014587996165846237608031121906189448017269726529835569186235458105543602577919440803099364564010112856333152573576096870391336486252244062650007586120665423346670727917868630227115492998048470195287625369972705197943236985717450600926949807968320291927112655048490769664342384222363341401442950611004624789731173751773871515969469604495090797937926728975461585172473418391915595446131687623581366117774671346964900959084229995162507607801063844127520522500614192326021158646907646088638069008400582555991226905573008587664910092837269179507016311489787513190998563062546580291117604247695281063308686652452689773809633581961053602923967202091840449102686809680357776482950773862610607345473308662843992173176905193371596165333640066088392110726377860905674324342533276350185572122604385687932261323026068289929414814971605898598943820674968444207561671789400566756312829130187627046703153775368571724127350661008945842978829862826782175235941342408309540086525969532233649595251670042647521514587850241987457027245185642725665331011877521860188468926236985214918361247359276805248181544659262544502058633397247542655402404335134648869123034876126820941529125541081440285662827161670265994708580373325409198303903729410778444380756120717962297279483606117817720460830788322422719317282733044793158473236946818348707717318092161424121434567317580280697748515863702417914780644742284693114388107230513821073902619729787978222241695761861264365956255004458316170706017402858553935088626965359131311255327050042508772411359437174399891406005553373473907354505864080368484501254487005703167186993385123767672958351906190438676458971138394163718356763217882376446184349811264317977289567160516668329831888192055455662723767614534700101737794185581616465021979310020293344628980360032722897106962848770043841902210723959862194266024436539834252078009292085302018584485128713710653402681944690472308478602523234389327329375457449564153306646164094065727538020474011127513859159164923288359606581841997131393105530169887829484118066983664872755724922222435334756007845692110296768438841176232460975375228921988236000434630661872936564951209173563274929269242005713082754395455494750916524996871580715078890193654000892181701826281005740592834225163112193919178732252656571448093047233215414699340065722595359245648910557312341714870764244825197020751740365665945751985631433396525082987940019144952387947581173626780902749515850957109239171434447937682018730503754519077415493220727491231927567668453386254469357301282841959430849878624972281518610335756521390592390218421416336436967886467856920578664037969060153107069707593261432394045101198482656133639203329091131251144893566478108237680302184092782945094057045311525498440654515362711795539718609597744108948405375066662844106197490598513676392323312134042609437870785638630123700377256771652133149045400699793526058766200426473284686384345003453820245291840268938059183566704689013033922424855404778513074644852065975924060467174758246221845933398672745090336547857003056278950571376263825149268450256423190181220823060422030368615819857429447233380383635994635846003790104793643698140069053241433454457448200635431191338737895261631277716504244836674224586609965455993861439253278318828245480567792167633681165704987068382709223719253856771208769229147770032231250563829347213654241191179919091714966580463976989012293024833078941547502810127654717427511373290019339590062591012931054873454217477053443598523639272702042743136830097763957261127460036094187151647098436124758111931957893267644865925098974175662879187567795337139954661152347982743099194668465758326403223701557053141396655380110633413452967701836447277769772728020904175901769438975030682307533059796190563593440042965934393466092601625265215766802294190436974285771036199306478690834431237540636810584092945320592530265366675356460182216798315974914965858497422160261366411179871200877889577521323492436407823095142013770187138724846237600932009486097905884223821542151243575049386285455141380698677675825808129293102146688162241966732582165863892958972493571241843245723427136593287078790066361625743256509841573332849386948081521699112974971385781538482990969339647307820046736543854619277973776312620146491216066542367432798478495864163645141953173013811744724635580050876335961488914300944690710940355030961822400895657879677790497252289873019658696503869415013730680446901250162287005990710147724157063365019927662224552970191481427113004399643080740863326112945836162732602516594010012301342631427568500194793168734690555708422816377476846653714784904194005292330500953548936511054810637387025645102031010696282796200614706422803022108289502479505977939569188602614708768452121178462177231904427320830559845037633126680920260813491994319110956990415411173810706540702886775359538395815676616113378503291643550571905531403380911398244252701811152714969392989508846966057031741751793063293549915584547708200710615909181396543353537375269809184186860687757399350263738447306710034610018772629087305734067829574637495379867057730401719382118826767872201034400462956604958986214958640486512762459626068474375156307941668595954117049017960025688874795135797803624124016802713447859078758138072069930137264263812237723848963168754520269268795548942794400679243754364235643656975671166979633904565113459899457206326777457601643948917828264276178318082994920773822497359091353928265223929466548676105046263598343979256486033940357986303058796703758392960942401005682421889282443552409371853256418023176087443932262496233244234518745001217792756501280316419740198926187809606031268298963389093083918934974247699098997792463610686378245297767208675257468395018250464995156330384919430704427298485422774121380308088505613515167343980477709489790676006852888524283705192507188315773657827992163805110133458425437328956996430210059867336111932579482532981061065808119937790484369347320130677156752127224573869039745107383643725127555136431174464730426382755035683858800920765780687387006579010165805309709000676236026984660516837456235964108663872349855809215617562593976932566671911483293168848410942243551241435670776353714505907361301430714284466685611208029698058835779461074011766710218559256351295125540907140510455650539011421471983050398595638149553742790482792347447052752820032682069266364772894597696068473598428166410689090925222839684783868707857956360991774441351429604303652451027402851543568833276040842206256647409507521728790903341664715133843766356393192868915984234655027858403379282274099051382282619015420373997287720862109238307240204340851881609475355176009448289434739028761467921924312697722755813579057820945079867198515165868508576733449241775467587766282438761584588669390739124974764013994149274837598971573209515034431558279208699896852777437974255546872282886373641468010180253609125716417347547009311142022966536981112805142203552555451710967391202266266394561557790965488236476435632104776846735870524326292980299705530898462641627658932637631453092848586049468830673615335230891570373796863960104703484483986130192117774374132103625742185367218265417431966656348289042486641285609914496522548408986320462065777293953078403156521631783176665192912514689328917712035281960964802058800028871374093019223056389347605202707151977666565413792656748507784442835241632080130474522411508766691781741429503795094365185292326153275275354922328385843162265913643456485993113772406728915615334630804550531087545056764732893833181679818013063134121396684028471273979581494531590180308018751622007471873016858031814326398476587988774397697051680894755012284218242655548283526171248363765208090304400346674103204031877215679957935011055749318973062855219116890193082758343359854452639850290720973767129209566164025760739421774317307672107111017571379759794047772955533031684674973780471112762408681597173928256094649119517015296010146897296839526322400730623944374654775785684184982737785707785723196454846182181605589600333589758879870908577814502595370634211737938538199368112590374116654408769941399020351660431892173295538817873686585148063587838837514075638461701558698434660448424263456485997831799089300884910430584924242551907420655633302263955951728240470737486343722984289773993040132961590013765945762272399436550958242907843517660756685832520259926061878052003749314344345435712312126319898833192137255417900128288275048523614333862462841255554090846389088641253507484548194199369844701951523255482987833933260790295839133546063813903257311516953401461569970590785031465332191132724377130301282570859414912886333381518272593373805991658815942157162753595925503499596370208859784141654648724049169984358725163130617630999456643667803575902964380206360129839614205994389914252504745237177979301237690287241236014998245795555840514563493178803191051527665354718188690935069585835905550182087709126491573047951534736726383048770182847832078279352694733437251252593605853570409836942137947077990626205183811380733332234753175174907048152371118261106136682050177895552455233679701060194370867993837102618792022483699538687066974859907583354195111120508747776351250749394837500550440622154651986358984900982516766122610712162274073585400013969767303639804861884236118277068750677527051682747477374864433745960913767414182130720656990835053270482193623959250676526075097256092835404403464811124790828471543050283385451839534125575778669484141987091019235388430431807902567619598729265228591245690622411323197458792995533105711488239686339859562726382176275017233835687158870360329130740553299170734945857488646696572885740632660643430313257813676609222800116355674064652392832856483148413863805947302275420609350121084732625554948373512447657088881206114924185405521112802880355990409169931660456137919449516413708832224352694446042023386776260144781036413087778588684485860562408630503778659060912181213340770835447019835933783962227133121233433621681842380955610258263820945528586799984848980094797329258477167613339608421306463506965967560833812803056979281327752595654208138529802357274540096417277057599220448442888249163389503349988591193469786274713132803233096699261912779555114435977959504723825289601114227190527238509311183784766600077875405192206308502962428115356698844104955966739837442554410766873797432986723145023678538062724311000368828218443972428234642257736074217899810578588787801659888997880553788752912869953720056990774227614545837039071490761261502002413229604837660731788438818325475476388090943632288882512830472448644368652087322696271576392712786552425267342273490592327815894305533729955443478807405869051317133447879132019357768431411935339113163644966848102464572990131603078895647236838455494121058367277927416913045035894839081437422885390318079527985928816540751414826578202206497628997018725141295089200114848104833187965778705663124788804753)}
{(11615216165858067640742124727141520520472658219203486228969380394785670751824883178370768732465959401696527260974870920278771664336847743753221392287917188274314881472307201893026237108151830125085430353067225913117130499211615682660258174172792895767944066925912825365093948259810912084833821042937853881151038093799641952226641440326499283485599135919800114940470271754914721338264759018241822045261837360293379492518220263668421710247515165836936838502265702648216863873578400389028442573407167338811127308801264755371453320339522556741856738708675567320092939044002912632780103546533655113164178767511459283805974636851525271161530988722207373071176749682071794539206431684313438511138057860864359637403999985297582402996514230290817594943914382503998288953685181518443949171255681125921601338413307313259827674416758813592947833535432451169369590913644867461328801777822097576195463555167772803691935397563506123591116246094134192054228829934785530212478300088015110320897018581055864866526667741019912513556217172504203919168435167305031361777561613722370321367732605694595587370854294287634649966180756334245399624671388341464811754714327409725326628768592107956967622410132434230012415834783294952035345724268153730394252761431954582826157883629980199037292508632214178631902043850965776160659373456291303119271191033248699343283689731975221503439772311423783201639816557424733672062835525018440093731438161950749673508235538547426816823354759878339085094917851647353918524346128137006502235591232255041766993948125715991006646017973191986783498158955313992063701648045935601857448048898784757560709679557295362069135344904753048922684706452267271057011818734057952461886124432883914077986281696001673064917486497295203980326995348808122674270035194332086381190648882997771646078864729429403914789491609572693200829152727835443429336891383973136867795560738921822727796731769585782492606089620901143317946500402380793374647314857645933295527353321347511717813600172949185649442240203499639547516673254158378545822402196718148533393795002103388905648667393381040491526182968513338122024311203494394224630370878874082335258690651143615658475737649638627822463477119409936032761505811885490176165192503666479093268902836701982468644911555827484953612621493304556094074536819527076780298761281337843591014873839513603057853712190915857978012105357678715961106980026588379869298942958559881190865531984082972414917973087762823361590993968075595984884037609273887618787228524636244609579662847062905604248305521593375122898692274641935378162129334371149896363841795328729976102321404067642573231634934465059284735341840306858517776549229047830812683693804365528717314522623153782291061103675276608502999368361749807090206291342219417102955192539417975418536808546784253035670312423000618713106330059603630524314763584139043739365836498712310916198676262301823832717190619412078391803257036592245450020263824871251304959625394069613089119513214981416537532253958554128802509844888572361802238937297757118060521978556278259200901654527769276839231978370930108149622205669869996746315305955720302765445175950862280805477302121715702607944380332781090601575583365151835084576615316424201274703809591819342180316081166264823646525100352666460627339365436853842682049491361121894457870808504220034535288889200876867947600244298383370010621714479480887344891984572339857658722312960963575165864355799251736210504535074477203292989991606310085637623105215480520605199645426617976801113564890416334943868168201066718181695519360143803747930244213420488927882709673414335972329958048331192160102882935516570025315363666381304217560851849815287969369268782996707724813630742176554585758713812907948097432445547928570901942759492152095075470839537771896076832018154349754913303694267633256964393391798442368522347212567389914127880654904373927514072036462715110803378841617649018461536509842670374669766933322076827202262210439203970544102516988843294336931173052651503504877556457268739181222887293827550752093004131581315296258253645013974002187582326386987951827035065079819659490201295159478022074872782086055255143051692097579920034266937765029396564405869982867894423830561847456071060543942785151345727172995000959985183380168249502692820625125707116188744828013159391101949704012110838629321007738322102354566258691906689514697714129081475806527937714094426303263910451727339371411925022663387065469870692544613688832512742830449463947710509690081683578622778871886298555364088101740222313829855264485830486028442623315997292274137165775047498731879953747897580166685001447759110637337281634142161037401748508510088193489583809026905262803146894824802153679406430959641898390767301886200333647164436726079213688746354032714035267640835106351761335905187157771615978342925315380151608875834607465281287814509722348839881994357793013031368169807119444506880260301249362077311911179048755434113762136561900321407633070020946118310290058532327420540076858774327172786668155672460258045651734719415568437906969079267460296397377936900083949912530682502858549435925144282598408434797191380810238908008477938103915433369693927057615080636772664360861855304682955507771996932250409844694406010432964174483719752132628657984447885890815953682466042020496408836671363157274234979051870640053864658520242600867563562643411912288971878053013805617535124288588493259836149662704515765947207052783503717824389524354040467540159618605834160195360795589836187697838545508661262103189781171429925547138598137608170133312612958834926694088390927627361708419344150980992979373643461793320323925789801580618611002253724036947679138400929649989444744704175066225303286773637501151314433506422119561288160499838759460614536683573874916028971792732684411162502627619373560612083461224815474951559408628267294714679254445066613792198315529773522669533827113605587249940249349382651412477792300434967698918820700529459038954660364094063289721230435323366860178648367882970433029461673329781680184359183774389883371395978120316827259841741501101822258109070300322764808477193117081090135587757272699436934461268081254992977695995611610519699042518815088733494179677007366702558358936326554989905739493681792986156484351055764156591985257575503527881799204086215361469598658320595622217015330680866992662161861730063215084636201731664453791281597239734724953935878059901137369957347656121828768574360766276421251379909256146727699227030949033852089669251229624311880969960032136838306515131932930159840208628732220104439254489337727819095947767100342069105569284675846231147989424789631059749539069104825061856390888887450509827401829615771060580637278894733805911339567898498583163782666615218134279547333842076892527213294844099102887879988448710677823701658152777136642614520750002260724636407944327282042125213249458245760114029261954498574308297558525735379284322153814635798835011972664333921222286877454097510844655951013613542974875616316298869993855298476541455460299511276742222072370190426609015382331064684689469847558114627844813620877804398968928586625751305418676241183671257702268747945426843507177248774728225645140823664068205557139497770411946170200772248123525314306652944616682483061290765869146233542069335090250392716392449109094614705426349173294763285526396665666571884574897110513341980254736454584219057870247242968427755225144529087708349505621797753710738037532263014923435747620146958628787893370289286237801042758568794744795418288510164884269067869746958841382472016818604767661958699481480836939697936347298595280085196302918591891439406484456756101969099228234243778512384886809418496806777422162405454336992091032224633806145716624805566335957578027283457191358793053428320277307440293641195080919979127851957985728634571959423443626612036195498427471513140151496347976973052245545241301981071825956146962385568808338775007570392692610418278755167347135125031133661713080498085241712141075818247450278157094557530568280190375165838187453420554112568058452349293783464445428985558936346386233747136655325682962489104471627017300566639068227934066513238081902683457791931536365294038008606967032641782515259512298105548755214111304495842774812925104038087826455920955941200308793853856275947917567654522418785339144395877904133656089719371290156599614453089737422854046595639721277815330301711463616507180885914430770018490878544584800879351958299115495636721084018556466542246724766119230318573511217613969498050915575478591449561132600886833018955790193436911080110509572430163938177565474475974708003627170202424992965656254413255117413641307251476988026732110619762395096329560768332080002790794424100156956675271267938305326854504848588133363666895311160313279165839809416462428771200514522289184689648039119158960263345472831147871562015100193719875370393799130963090170323979433997097345305356814255958779248286301329681746086894405742724389839862461955772617328195540348580080732736198013646535149787796592609396884292102901385605079982772499112829902298581206034873719498105147336829523651087518066708283841832926289250017628654466936204021672952575746576873904161681839154466481055806159576273294255217363820387903916861362535049059694143416728505216102382572774715240743396151971859146986908577765120075276089646162376341049517476772652167828098547451830564230168838311556097374214024169581938083079961995312170620403779779035397301973066187164606862331678454519983834519112266961427581740485980236816342126635610481715779853820567753874217753128348614220316817767609544959656388920069002697347154724086539505814106172318596272673156600136973526060288718376249667648003886069697165712771336190717913014379723552115659904851177898611089949316908218674224702687754002584482242588096896117508024613825206074548960394905962371346239230525604769531947310576025674752803430358616836474474147022637440794729426200857660483686423310269982622801283975272955553398038273289790923025022578526602448225422445246947672087394889044947507800336602523974073900574942617509966025855753668453430033499191225199188123272946437751984553920194384119498644293606075137346586633842399673826642874656794066099045463386169989263116671184133043171835793301200214069378421821700288776379919423734396810206584124847774488285881339652683044599451871478373905985574820315304373478751077762119887173486255718338872880601851270699562969330001962994388182045656331223549561078065672841079069359594636696754391500127869707456971413288315998047972462666682501462792597938324422471021915625950832834837028074577544699342105694198678742089171185836869156433167026847542100560090248342591339457971874249085684893218397446191936669745440016464269729715215931332382422805432665188086918859129026069491381807312394050813138192705326540983687947030806177176616985960302952682149284958034310416160426664578149274302422923498560991913402091017177057462472732824224349115661941674441916794271650264100910901879715472511841496404702390964402907331554622402794934258211309943570341181681505198669912239507410839570016882202759640673434011593461110812147314866008168769457999824686820009399929144812113148143666087239113991890478741800357229512819372570545111215441905962499237023453517994226453250681300448097794617174084366169793536507785261969652611300157116162555706876472723634404849520557106909021276334785995278442755815079431323310035315648048350415681125185634905573070011122867369647295896429500303158828868260739518492707308503580773171206968225039266439532675050480203496166881920468269473296982357883023940666373638400491352140299971795245336222813452171103937620175400648778967678217988616002358814912920227795593931418002330705948177713917333180447044313228101147066308519562571211672993164894752753711033036665009238608158184754470727842336478376833464685434465687520808710722854488632959407223410494566921367436932937017607635538514374135305646011013070192110027661167541701659377924056942341589106553400473986687385731381193016565658828658083473927963550430202317320472969186690492088726165773121773720580085645188335326092769768085703782781226296352956462555341619242965204799371644952396193629716858683215840437794012760878106169069703155822490634198042191706639563063995325861590047698859489829599552912106991228831755287064720491048122079573024190202137021063295632203341874583240900209165011809531420518194477803453812610511327718471959012216437172473401545468525597744630390855822683496527381823190266487599250316545658164248900318102549524173038022630859682938468305885856463066528788335121969102398377880411033851876928908211879199558032956068813644068404913989471312378100018345547463585013860196825324074412043533337323663033013271817047791043616849099143735671526416501974470856749989178715168289149033317027470485014472693234432614683739259155900653408355584649090224530943305495445809433499241457878258490867457071990643013346316387399232723504695298569222609469123503945804538307624405410691932439566716230924691437929026368224066199503352043448018583666172337644900435482529704131163057614520622320877962369202129036334216021289949079461178169019269972027114070310977764774118569641840073754155412290037125691167797373043131813925139626981474263230809959159264143265246520860423335178493426640968615046662169158336885684158178095189656703010931672796803642397493949382188681418438119391037913151425323994288712373698595022067389694599151949355604000070273831846769537572533536792660162578289264401085751987945892865655040096503670817694540287335349039621229820540036470253361721447619852741035590350937871837635130496406052940481206900177729121213858256912769964068088833828237402725139807192753404433163984978145005834248281749637940689816331653452787457483272623344449529443043469327025812135645962958793410134497622521444355388167985860430121649982104371227900001415705430226052634756872174216508768458810111161315969997667319940881425711627222202615997217030426974033207187012352205019661362865107303743028046509911261262503716340922368723709044944602665889617080550131644941249536048558963575286481580602472428956446554928628246902821739764864446323111409818985652239077214702115115654843244992017991739816341600990515514886454716858368001804236445264400295765816548500482417073851440857529479387782180003804350687295593725419280605869852089787481169762681458672059941865157679571072144058503338051498833470171066047216658798826087675556371449083326850632593810816452646714519342992926746807626294140813288647167314436600072070630631029227847522910863144473213038814601797392260367528443897243991659956936566864956125139837598456657898328113235962055570372084716740752077537441482082691533055011803022099606913747423084827028710730893865302936197398325294210677644872382618099879024566760150094291528479715670539934010479487033444046895799162337049012425129628612577235317318878664245704905895924394925148069011559251509825227420192724495465779948391140448662439652724458775239012136360138644055595501564253637381136548527104168603040752595205574295514594625128282906158171588807839867185421565290055754141729633544932704940809511544872794739679193233790593719949048243967775084699851268903181739981961563870050969511744191689321999986358403549856201590694487416995397569521474391184296364728945120356234982463563101895404330954176628432236037292720518504190732323241120362413335149450831071620897766738462178832584653736091163434152291313094358555578115259249105405359088523754199019325190032610979027674239249959498144887339203906080925994454054213092459254269651994173993812210713035456415714734395852464644928458403406301138776866940959909321080504234349785680327812887677419412457049858984176925622262779272386240423464342785150992340264737887709394821085340165565600858243417195229612625408731397020881456236805303306630901445613002399772193149727419621979176572447519798627980373758961784088492310196588038913512947577270533518691832078448116252082577709073674571988803017268266346668180078059877872066726559997718967435016963512900364825542721919956017128917470514610595555962762733261843617334692748393228532853723994923810984054335919848789360194430227243952222223229964122318364716848636209606695235653077443526622435365980377110666267802087999393912157179558542137729476666964901298117005265069150166315410974804026171918331753746849954143718422188625248189099475583791156969290714320030185881287727493310307004936431847535777279411825572821120980305519146459217849134133114878300249655132039600032273640727201252068186348670209557179886779744827415150248977498838492014932966765057845227624939043699338803055914033720786711377793565193683631235212292766373618403809554370146474472771491540611884872944818552141491678465566497304131685222134168796631885669233934144816484878411131811168902651161173151285359223126011393876990524461921752018521417492704242187123853382411730697912356641272684369339693279776596132056547440200464950951200451190651446983805878995914312554168069190947814204718043684511137917693415817474169214376471414072459937393368579443304937738664513047771071589994728841761555014798826544250920728653131430808186755820873529940239566250546187121469660875331867791635309041446453273284190066628457340204417842066965524595181955421672993670619484004997483951443227877483747102094713079634523118878370047816426555017981643635521679016465089489450411942815820229041208467333830810175457056104662410553318412395327544012298431078976270426486792004384530786872910124123295438760674184086165380987294350767873568815210813247739800561025891519347072744322847318578666218074013120794346359818022508511950885738226456109042457362984164804853563323410805012658051491512724652673713473612199006364605890906799049492562963526001988260616845280406095635201472556155111716525466785240862113645429022441880693277772298980289543934698133008862793515024859114408158599869019689127637161627530426875776381724628597148021929408468552557593119959786442152849012578816354536965257743784970270041512414297470209789288854922698834329564941489237965052328466477518738587887541492265571197797523544299799427037999129693430194993661823766755225604928219345189001403503864118020278110636283423519327527791285799494044394558510274702488497905314545433770483176181214171579926260450701575426197136624967111806429558876239122711877246384648722231992008566765735415471524626255549073633922919431797158244082112598249088663282730073958425941716133842298403604993042484316584603215393767936803142207291630538547988660913025032335766885916813815505722660391788009750388569739458638497802085002001108779401103184614011643879029153504667715017990226701833029126672064443484004724871612189871977432908106122451584711015523497311860465613179799937925209469311544462917089047889189669331220019183701340186217505485393483902566662398517971515498055009356031491444966821389276587685214914449137597382798575559287326573062033605815358693683569193860673335009266916903195946998497501678668726028000735052505134707960174032238772007903414065516171214355576059964281891689729746258235213380272796267508869597348597337470536486824874606080303354408, 35478045614269244695060495158306586213407721923134232591641597319887104769304771362192803748698147561175679955720357440908798183068094103702255314047517472291486455580837729631728934125135206053596566547784957205985027902387266131280504203536344699128364579942602133183383199045958610558577729848676398062816997769396447984862400963193474947978519329169484042472460857877332221769008550323758764960978451802970504535195609060618653986957847809296301435747240822156469058003742052797224802232862230945793199565163248429484915840034285517735214808253845469141790907788823650320629651532296172102713861807581401139075741397551416552069083985859631419659292996773380679721928622953344664172900420819045766443546041623497217058480243387103938382766107775617652015429824138827677766023396210685119999896048849089919959400539306908388265820359941808409562195902428300358495151679609216178501562340683659859305037623061162417719264603947627220583511362048030398592623948844885659403537155895840218371809696916457230626268106950103894975072155126656929466816924075910555795432144646622161257619458638199961476144999880420819008561631308138009744815645481234279936663661577368582784996532555488209655101130780352974045725015903043659913611698893119979618594442032672757694214105468679523781650605826174084765734483618287449882025797920968348228838093468582006994190726311633505081453384598789536431523553209318009142114304027619301465273409370529910209490434840784801282800341375844460878737001973936843861728007762686728805982451594916465366507806475081807797713440406257162976930544445113253410255866052238229720863138690345554065051124998666344486809018098687678288038700815200520155418654057688722542204485526775845648326701307355934642700887800458685235767014838533112834127643672409428977946050695029004705176946500963337817437215927348288904576074108756960862559299671724633481878638255016384659593602781730492359698968745626730584549832445490562424112623290241586415130875390395866561007099522630015068219155802687248660542042715889089943690188398599217842320978459716700998617029493411163948153295941303470304721445047840685258727215520471254519980724345940153069542719795666028579010976258087913131122039196882063342932015258533615792199973731373095087131519227385894181530814085214631775747281017655309787248371070169224977935260369012148368596799968601469466287006130509967112623897973317866822165582627162696076659891444710689573464199692840907713283964880012466796147597199750261772248693693047099375380494646070783969004349989357514748872638309682664319095218436544895072768830963534986540494227970283126216269274353385491601180387513965056971285045617818075751955788774284011471382907746271442981384287597363386828158879151295017922426291973516460289274398113287989126405359343780415474779038995975010645489266417333631840360559709969830260513302500766341853501595583435078732512723424108966678093796228998732651653918000482485791892098788111070435485422051717682092468317397943305285447509249041613528190374529814961875586849141026162943560417406668700205274804551031825140786282101269143473508282937095801426929491647597946068491010193021939199755938172253123119802940044720853524459305048085042409031516182184009031859398225622737149430805020264116039921615140232702359396367033051686827648204622129335614112832724177108206840676979319566092985159301154087305956223888295009897188987985860489349495268533120021501768521936891825516849920897157516467681106252313618113027006604013916232577803490638129939060570844872440223833346409355720215935203128997375356838154550878478965989613694761898527480883223095472218970694308806967910854719765410582032864029261802894036337029421014227904101613432626277003081405570764405668584618079322663249243092052012644658425686591738287793084948425554163503357213050929831092562476378979750696265230318354728329197082491997331178868262029901031440181388654394917972855804772509399494203832782311591070351633449460419746716258384507225896870551064167702478142808989478073015491522358966369784484857363338942053635819521148694616825662608864056680513533377077616946705712844587077973052060470656395464812736193715538774682532446034573551724356182798796879356923601663612117472091489925203785321045804311375471855198472135455308137521376714629519771099568757398537341779592076932521546444221145879953089209533475956801302300088364583951426685546275668406430857020423491935364152095266015610085471380473576116356810279326257103410956337933621053174625988593403117486708020371258569835565852391658680673868981163575509861751168230777482046050639374919433014652559552141391796586364565284375052141584493339681002619066799092762866730305446200949066499329343008543052297242592085937935344721462639268173416022017632685462623632095627458560814803353914155588086091647832380724331891310617816693315067223844394351135807914524049223500197885106841062662938659171089333433962305363274558951373085489055331048394580353357957661607327661190736238379677092007420785487359972870033447026205867298101969567296463756861392845147205215524468457155229527055285274765388957397869814452202804431126611787154224922985967297092012918880609860045235696406441535521701773686005182616113509430663239821152093564122982935998891935158082287397528596474559339877207727352390001616845104332323666136988624471801406439362756220142634353128914881723450694880941781023565796787696831177713439239434115524272229464814022294412075067091994034229453654703075833117665682739633896444119699064176314058897966381608965648506203414889095643882119943408609507770512632972641309471148122424331613090822439070017291928300358893677195366620344549191608607448713093811637396754940536689988664464499117128020082326550450756760004150298834389130896543566036489867542035500187925289824366386175208823591040090771392912048402535771856888213230452369064654074559201510487819126243988838217943051842629791623324378608439256309298190858076033702226653244170352631864570597886324814075042689220244774944289585392022154219257902188181746329716897142563152895244552423624676248351372679253346556425039296735878193066969596953920413562830687673485750764763231502772279892056559455881685453437374391102684221911126255153391207337219630170760353782330414125100424913389182669011549422974881668648110872393306066888555306198437189355024981879197926515301079752928790438870601853746370451778869264504819135056574448140537234011574670165709761145059303693795791619402079677647274489053800984629934058596196051754351219958399540194295550272800255236389726379130081350917223018921868101223971726034529211000892511305782901331689392280996742414014776088301670701867170155743836021274654641118194432721969353942180385850184655899930849549659935456247195078351689463467627156234970478893074377304827534609990928128752810521198049859256507628479298017760586582368870358048960309880171860253017613142735610528204786946064632040472533172347324785946621849770953803546283833293993674413715450039954894992517966357603403426390993161671744107423391097388034247115221375666769877027950399819213097036153188625111370893443442119590297899964255110256287275789234539013936233408070113694002745159208546890480617290769664351389497911233746703106417864599665436819553447551242338317527275871514252740937438261549207754308119593130807116351185581048100612568361784173126985668811393189298878080450280751844769523564909020472290237738944725897035304678064623637208479292605279876380330948458323183778127268323599990790225173755481137114938095018175396651869592196411779444123202831257795807295288997122782409951495524551524641115279604517703212230192458608286388636608987367181857607089216278435926910950229587123380742020292714414065691387282885776855521238911093854222896909412151631899671288621693925000988918228978385033464049700811508977646590736063535191601567409901674617758148276695452103414896768505017678030237621210121954570755106553981685451716134796103183827142372195106415302164450621501600154666166003125442353291751958100794846189156806170550894583040343419581760719032907529932469510245634639228787081385857267000878364237207740958933372347169330305267814665499697317897410774120679170563877825209166529825372725339357299642005713177387963763576199428087508890943096771415622797334827970017011716686216177950246219190657403806262065877294546717670943463946038245874455492401677203372725463690473398874231790008511696197829861446090871079187441021778956377867758252773076659384283427221210687035277677382991866596484870399546230235332261995807275048941565205418688400233291998216692398767894090454569102980239612960112762245284557401312187261616480905124068487174950927452073675518731589971272505723070305479887723191145676645710697321522142632243056136527639246231461719070700675630644348671193533900467723049786702094941576253881461785994442827121413763275490383272878494471458594941932789176948111808683461979790897476391687807597181227534843517136428022118032301670632827023731756859141832982345983620616125591488435376517632533968849218385838267669665628934571373834664220794799525531143332693817956457143673068358628215678167865484670310562936332798456686091762680056744889254937263431672362716041729473076090576659308327158228486775652302143562124077520903893570691149981412566742360880392936709948550364545268446056521140175598823200170372414513172084569655144554966023205661619693349893100129835110513627089849614347847959605866401512123624903980469896861747992655164430002243385270628635858962528583967738126576872820064099117645829149647922927570217890468015099812684970389034610827204681301042216961926927693630192343466478300200916276992837330472647349527584009014464806093421227433918376496239615179479517347944419672147223106732607152004607822956288611968630099025269924171135832681704206452211419813724163523991469255073096796531992384076117837199376920566489272030625476243981913017504281052747662851286247822281699424862950428348332153011794047157919998091582804607894079139522173569921919153623197900743824779418698203177487137018684748481990456344872124158351148054406925529468221440133566492119830033620324251262958599018679953979779625003731523400014169683429201534888563302314374296247747192941287008882742068383141517669396420142966672168260421753564092299312186012482841931700759128810199887004378144421301989117045613797947276128658843005963858138405186335012270830319903536710584024658209059072221501092670898471906689674103749381963206390347149070460104658463569318296720856287616267171718838373223581254768181260690564619828292829638982510951428507641529044709808543077048606248756712497891255505246382962355510363623790258325579162114815066587445373271808563594804370524627280140950573037519914677558443078207985009813849679047165865705533739055372554479918052260344660968477388577363544422895127981182764743002345159946476616434058510505564928847352562824240565737398793334925345738463554049988070896578517996214248610741052019369120785414670359634595756913599162399156056955392210023668215625350754320026784874238072681016783744905494594674468795503472285276022603866976219577522731610490867853227557628623716358328921322971124447096716373219320013033002710492376676057435063479545068077006661465735909155989634164611889569572254571264743987346594810189627393194973846254375119806578985102600671683022218992008420912559068983081372529959278599825254414285941279714113593572773680669896719168944652720993890077942869504884741570776527094161916982157300966352887202248164318234877133906790688772368077079577758694932120177400338150180989749792196946447972177534496372380444039363670259072261026415653478654132143367375885516557593320402039170382319746426332265833395460180049460158637815773486321204300330549505275860302623186329915258367151199285556256978962654907707761452218333539112716892044984017524625695755176060704427587731115249170248510456026491591333551183922435865495785822675224234205487941483752821371359904641213963436377284683114388426784894558612450906454579977069874367200502259047183364443241876856992118959150439835376341432346236314732066306455637371653636184995616576145104481107157393475063988737119775022979241467003325878613999090765666539103932075412222870124535735708622090445471858072687637962912259525446448510200681710103091842529480331410047004972712400584321330077800938650093288270789716051065492120206154991764610538048369459355608824347563289635230683720311969103386495088823150390147699236872976028168255166670836815289002017912803504843992896066463218858644286615980111105343907306625125113717481386232272831305250846569759960990564610680091239748766810000149652895569122425658184351385713391090322774904418364855951729898492382869941510663908181701348385477408241450809620606051066064183027426506640425838159386285932433496535533246275748937433056864714094570353987436347496766711678881769770795545527282629031820221399817094583015829323593224375191479845044039860194040889407109279377524051356083397952983918831661073027718425640091670054703320844188567083447182071931233933846819520085908996017761091411278877068510399714022581249251591956852871705624119179547971792750826837984223603931360579706605496406812460301864352994593301991333656396252164678589789874048136927823747058652412179336532539521562503377685186732100846846925664790979832171892660550911245218918048352950598125972643372257985511097179426069946533031229266656669944585325551628705620718865380831874901867021321577100071707981789769773055548755969908350711010123365741196625733236339368509622995495010894730229818817714021217075119378543673774659929888359927142544825729322611212792477190038590672744037611422049973964618689632374502712343995567147594695721329242685587081293349972828941500474578025881106084179857816957910228419104810444127333879437582292332680670441959993228337463025384016000749333627559498760456410608636709270528284794416197751275987587885889984832209002038559310414098592745464063679045656693158399514840685739381387239467015713138749391979453681888217628969241259269266892855261244440393398496556507364602739445043871540551767309098152775207188953069021119982978712002854070796573462181420881469952996340467279109090297355053851469293694246691929575929764149082430502556657142234181773801180770138447287120125571105664530300071632218787772045427571391343247373579021258166504114058231028274069279330998614106486984691364982266317872649665223155739154060139607969862665359843360957251963713137735157624368353075270045503012896212990289671554205897241650187616840361963494802074367410298471018415480937502821624655459084342376579718940882604510574389761909688301633255367021946963638536454401977651749238401252200791976001754926492648206496625310033814125090996028430820217201947145728172533562094901294984028888749437136931130101721359714742867798185948957295610246408136002990545654778404264271200396108077755286748545092261154047181556320779439787902630206809007830800206757829648682913053764319090063742775946777715395551750741755656539556358758155368485234846935516183224094713436155198276326175456096446756364460166647854299493801101600860907018526457152358785342361629873640187464556106393771691411344800481464424797193739236985717128184285375664300165918421432097177752962023185292887979086559870554475212902989514887398748157395327734749826710423265766378773498338419236872083719206352485994684495097965440535696840310162769893985306161957145322970484163722901282453722625432833212736873416661382533579929605646917022843901172743124412201388031908093177565302224177254123356579154781639789601164044659240644589910177407602720818822202432820629865620760998894235293721146548835651564427709408858518105483974650552528882892768073892420641165741646094933122349920096237944243894171153669376417156148830188009612178082458254290510109271792817314018781273824325850649746220722880095912525358802999935227193290027372194011009027327231975909522111040298216352546282294550100712328374821556914948837566979562961426578292122956572055430770665061996171660176942833696306423035242558761821471099671651249016884550262474130155194412728778154344521587299855056151331870888229710130460009926104429357599398956635833501664141774365123559533791505948518250994893902507762009005492598680762472433920389477433083048589940116350756765253296425648948185775263900622468595575892758366900671730153831013719749864314477909562970171416905608475943017786213625701622714141911843406620467339211651485952666464336598902070883003443382998706333564009191062531463651741758060936940599416350686692610046540539857369830586189294699714416874288044713177522705956228977369068855465692547388944158150808725180427720346200794086063765622933144564748757650950690437170407328467566647326979332954896036690295618870721207567659181288757523139746818507975131528929808113623665898746125695933408840004206069351842658029025103247556751771078065163506048588044091884042735873547348159749487151614608225420797116610502763499116724080959575303604711700380149014865948228617422834323530597147893196510788379754953163605891795188823468463784577866459488082815880287086005374183291096063438173770221534819940967386284243213079230650236417167565978189431731696106078902561476226436243552694388233066947394382440147115464637207203244312504203027059955658672283077260961960703601199644373912528681134059157760434478989892028574448584118509070461246220184024631625428857402088879089699574928997236682373200832867819030950770635446498928837405753379687112828501682570153461089366353480501222591334354267951174247908936398914165643552633713736781989600986153750048922073871128876022454290149235040001048147587641929107575919183973424386416266051447021462668835113888034970915427404284617955226739934376215748140205759924114490323814877522547870846371784442349202252504097176886508462436013589276461088403801296176103331384923614700141983300821723041616993952239349093996051738857680475054020722005113289705672883008950122776804135784212484048177391337011850260988008085103811381420347343278770867967491127464460928527827408442726267753676084533451361143930524539855276712086069169528442202849634728462615295086121735791491695891759406206329658567327952845987230799024932068406718645634398864293932767227290721688120248071209443320682211977518756894694911630007924803153739537255537007683380891078703603518110804769373629383805822309036498798543528069141770624650163453404158330581087329030257015769503661537342189199287809828683941308400177268811285073147224943137442903272455329936940049483021671518889373550638492104878700821532406439162444469138848026628714399176259795597604517297669309185459584546991347820205301812604270459452561467189013771638286993042576397701868027820820264384646420468236682862466979970199205833559223127624088195268112241755503567297693394544957808861407790147063250526434840848603858350439334565361448423276865652096625564245349029079272561185599886529856595063966920481059480601092645389107564900289256846670784424969625050719568596515106393422171834932468638263827962340720665476801376384172180989890863832111977, 172530838430557092549828823026058095783471087520955345945930072232015435671575789753640252382799058926969373962836239941281011914792058685497192663770960082265311749553303958125560374868918641855028688704249596758161473430630313567301222403702720751873961992305513162014455997240476052716419856003951847047374229349607107632131029539961760554959316261888113457632651878585234159905570976618199283738453904620104300936169102623685006923205524139247393038514556316346094227831080314850010242211535052009136072126581682302089078923387884125602655363466266422752495422742235235068697391800655780920463321061855522174628728663241512919502087022439659257616859717886022421215342795720668994993890101616685137483222173151104475399956591262499043076003351858248740104003419369141990760455028395210350952745686137862289629010859791886668338975809599283324149277392036291783743821124367362367349356033994658395251878687856616574430505805933435140205866802395548271821250802059814146163610042619556269845837202589519641434484130152362966362716706612445725212752449166853301867726739115570588393968495576266087410727208518359919704636741740635021370161608293660081929656975665162871209684484481318721943840367784545300777854726954359878687145121655322968679936272069826953915016385160739328531830003069876155635091793263548481051457791981668538882612961931301406021614512931929649936771995298783018966521924331362757426390465696346277264344091801788868320775625011080491520192487748805569792518660590858922502325758164994702376488258510896424670751971352486451280223816986111715520386656884800147180555675362079649266713876783417784522715112799054144023709240281824931114517049033339910087165780024722373852713999740816075910458081677371502635076295860655906653478988020931370436247882869229580638330741278860850112046838287144862941686154928554691585749989385493552297895560365333406766229400447438751092944485611906208516607400877978849223263298176332295462214943681737280651539694165110047817492504624201118413089831433611796930345349457521508111914944874387270327467014352379095655230743997364301536954809475881886096419955557837465870666505452570933311036433794467510096626848921396225998840841301038389765919644520598764778426275411888989308214431392927233527978383697677287746182536829927989896431793647781612904489937148969338003622333679755680153237460670205467171381072266389264624624650006217346492904811417166896910201195186103402278635595657955610267099711598013613374102795339310368354734374213238667233337213836178901480531438510621187146620002223835746522679935532136826717890631745551656794840790559917577681060784146660020412898689784587583420518615311751453508592118372582878079155655170214772705442105327762762173898750411886624259891760368564292596389469215382138093024751110356636933760602601065791035363823770375697890796591888625728905356705115053160607910022860278440917099771534605265807971401948447939926767848551845655908832519697446457456731270169652819703477625602752206131552242991852068770240182304928459584331014571371424103034488263069674890354171192955510132067610937418485932036461419850849961359475057220093700826467676357017264086251300149070725657502477485345816454621040889031762493689063671416497498544078322584325288410640756426502136121334663261266621139451869862628288890738245890093384162766360626338016956699898161271445531778895549108654982621422127373714472498071014412176325742514308483299745985362029768486508058887068437931255848353124450148582579931076833580463193859613360904219693236233156579972480884864363032893128341005676590182659509734443060492421666175308246699247466735745869202519377933114882397431843894205102026884221809035758909882819236725126974169591207891620510393292287304700997210235730137741598605998118157959947194860725058813617761583879951408848099144819966159707381993361209494542882739396046435978977745138741334761827578027774095378650690825626527788927509245795045272212418043992759570220495882858632109334395474216953020798988082153559851162605461546345709920165986994530152179213463771536898125694194741450764563353025291328857710294840844015508623472410663547607892330439296434318684088543608480674331707999495414745383773245358625744954906344735760970849384351466060886250759103513047920579354149637702975329851774335875831014009239508483978319631338876837152139469623371468570229441748441673861092192050887028313241175371345907493262631767745702324433608263499662456886540311310488938805460697154751742179818589492232274140752972964832596409456382043096324990303464963075592526153339374238308022189694055452186047958253782381706406893534014306277926062553107941364041545640585232895857122065653675122442270268061558810937823858163698013771670712994961815240899814459079759141973880362773476134280000219477972314305551999752009626402708792152031313838676197913310106501549037740202898459127169813243684231718676011684500569564278965824810038075110734651858139755620363257775703247677660433624801342330341495044531786590601212248714336631811404948245722725030863412646752079759694333809918469614916156976307290505515608915243563193363034989605565730802061747241414237026459144948897243048762374112804026314861774358372016366582316372577729249580279429581198693263492406121430634221112008354915583933536810271426929087989513620887465172785462464902783290765321559104807480888384735025119571367599250617892967369233570107527190900819914255915817389110141726364071500780366742964133438944139751605946493988946527098981961021083877179876310628302262359219360223262451114859521302693903625115075265506357737235686802339956091997596162243458606196028512712033338672031549394690447726038961582746177606999930951266816103024898970428880933742513560008323147320357236794973074414034299791152823239818421976450365666202526587677585520133967558506108257623894758725619165457902963903112028980030675948501931550529102813530993319082698095766471734293834553848815609406403742584623571143823364015665339372046892496771057269759099635770694110769349541667296317159294213334382413403205160001351357986359983803884575940823652109336518850084345981453452699660057251410426174271409452130554713138724893164310976058471309249612996552732857411038877245589313914899895548700941056352313525905971646695071115160460334932885068279466533459827574414085847291452099204125909589451100423923692429777484787261543546015275900181621662016024188748738037594679677783334028315238470324382267271735800398903290426162805829186007927835878784360064158096956290486670757519503285719434592046153913004642170287084287417123380716916342033713023007606423451276192791992934157320378101448251475579347592672530702607581261379975797282492181632224693560696935937053990179144670558049393057602466636745302272473001351933255595647836475926808117861443878279074442782042946562948228528768132814198231113381229632516391782166294041956924502308266682565367965033868612126541361226208521717942205822183338274946291405448375717093591767335931813515717016740749824849153752135748329546725582060663215653107808573645970043646250809615811507917704008967083233120318338677576867010894308629448773919326171068205596737476856397266425402214400592914212742433340224069086703206671412521668652366361097704294485784103614759722074726702026808243359116254983505637385455430868906906853420530742434543201789533151158882206578236953551113423351338530209033800177750634547803219767582507137353019704949451475744134450275678700505791294292226209704049355283075922027590907220248838797558771148801492662151504021681988905895500022157338997569050552532341466523464561489844907055014700262886652511118114648761453716784729270970243959923996296888236348931055612654972835278351269482813052865626822610987794026102964116926113797318447256963125131508381022905577325351071016030270509950290961682512726614875987069194153352246928886935182684710959643479146370887141179274810509543629551998113458838684590785940839671395231868368641745587935140773935854600571890011785025942608768171760897868129023048692932827667942048295768855260772247275156530103375430384140053071708592002186607713587481862382946695325467318196866321400099191901001395259592539825486491912293612246992360209742682234816641930090677474813024240727656209430133828248310002532550717869196577287518860694581596224820328815293032164593473554702284205919373740702993608226232583727837326762141303910517837647892268984721205913310814767674194625149002896158644864169724228750430996000227584798527940895872597294093412276567313427339139177643187846366437734757122021976879119235033973986715376833610707531934823949347699855250086842260305361266838846678723170680507272325440068039997283967866434946893600286972466668102216270009288264763173428228894909641210512696003746215758401117817153951399015318911047321217156825536633861900863851296369367895877796609180523747343977528367129849628133061307385520984797509910268319080313206710751155320663300344073654469169714802598760995010069202339467172610111374804506733683833911201411462688743150655055853143720539802832336573300932770944874021321948963201568803871631213447393450094918181300729969456124257981831957740541048127015441295949584843855767339800292123524931472972664707786329965895374462857570040052222613831170080559947713037691192053596758490746558746158532368196141385575422238440406646640450960452167069702249506259222156332238169508036647877229990152630586904691705792830215187925587160314528610983713309577089328285230690419849522520060728758773829953530182109137593136046442250526534353668823166811261317770144902289655552922437788020267981934567119483725259913802792537892043726192093016054508914777107591619653493758364338062065873153328789390220763470030901979792786024992276183543039505197224658454155318258172455216871885165579656195331170260174020442721733605453553718736381536286510789490776895249673620390460816388793901207796527796057153055651910720049218442354292479938780355916884721881596097452852350395139215430959575502366889916339612780384467304340459301708733951470104781182139738592865984133047610993578898317172786211018299934542090671447197825255932597488533027794530952647997186784660175343963512064148437280992244431952319907333328536613519314342789244249058343656857601309310009563859595071142532616695977703915041492005030425491370675458662027430812074848480580139360231326748674487388725659325864024478591891709827506734891755012468897463097703203202351354527235949669284273820375393534450548740251631053901103592255942287820303155103506743846828216147588423507529670595903966022512241376762967411657408949924916188411278505450200508103676077606651381537857450053922017377834281433740029760773064244835822705722640625125016454006462477959870793605525898018206310098024846501228321401465307124219542554973338598147841053811569229966083847162427862174898903433980295323844613448571473128532381882378212611119041681753768986261614189667205723809986331557155242564454752463567902226466796368426160021439339932184253680174433001594550742019167877097103672041663186087487293493908885202266410139837614997946708356156061430271863655015131387339286625738463515689868101594155908558152484191503183248885377968283460406093259335045677864019241224211745216930526340877378368344488140321856869089976936803854610614983066469067175892809413525312260484439588280895548039414262260727857364529164829433342917320092863017656666904539180315077311501040087036898494545670745121854781837466945882626981720234603408558769460748332829214860860989647928312054147853114199474509900804762828424518505474807165027199811908649952032464251535410761995838738934742021379657573167743568111605194811647506993959556498046623066378071982436588196535221388877702688773820534490852334385824433656510036519510990813221175758000193250429221348259818758369355906238789432648001028214149268861147883142017544645690360988411066968499475122607753975687368386099170724756548807786636275401835195337779974393166512249555650949784376486337240080162790932760718868572883942282900233674436082012696018739977378440574405870746723776342728283271278597821956502505438590059559580916895563398277278503365996950720937448689230241699751107423565446640115856457756377161030047913700258586936828705380335711791141452779073913715066825519422169503826112510878756083529979937012531271443773025848751979262574797440283326665569545438589193006162385081268985999630571495022720922010215023487703898866860350671577751288609305918163697075371586980459063116179486366847557367099356660826580877726323246924012687967122672702391989822677263258416689140309200957210757842607989103357072910928823669324708437262121497826284082114125343556472905136717575585751166669673616168993855911043243077475544734731729768075527813194849766396405098552974133312624539726056730421463324359727343731354202824932729320252778866996687246895706497039105444490477222615774953848834789065798831879392356589412400306087094500520539571864697097563023561286876595384232565817596486518044368410894623614508468126241006110960046785657441073853915307953756809371896867093142409092973393017829709183281005077549794024919089975589739404350257752813114105939020952130089351908008084910325564927881791998174136071796125283740321220641828417123823371329992876275698234246078965818219564047127069502005820520829769323890584071234558698293271747165794101151350009928149625143881000579521483008799993781897275054873718359673310016649613169474730870426133295670021460409381471211918493702432210497904748964620095312941264790321421977225497888152328212424990708262276476732355832989486195551314241873076341563786137641121081315025730798122572296764251490503764109274645415539362237228530549740012197482382890352669841975714349769477530274643557276768421514744639370788429961859991035486419766146326755839892309095393864213119182874937806005851315655831104797824766156389277624409931239957664592696027515731741730181149537956459221978231721208380542996559769214780329041337340701491531451381485168697825067447940356286843575451608772672055917964864249422841239670866472369395514795441876859500750962187588110972082215412919457929278046320594714521958507351896190915673348151025647995643594286751364777603497989074617280410087971322056461958754884611190517908519664618353856709332094315575267220070029490127766882110568213628487408965063920899422642809185263520311901457119571304964488816912239403410763515808329002620513399315663690114981568327095103535239838852700334115644112179618391862232874612115299724708549987299376560907321569899677306621337898623727191278403446219349673349868988252468510893617506373526503235095868177908203955170841791153088606529103690124127342587447457751315270912634603156913205370081930485004063757897903083897154344815821504200151149614552818525747819352424329094962568761135969183896353728706369322607193768627743201895618589145791558761441411145922869573624068656766454714929819613526702764962213579393583638007478491667082651993154907411001219955477359926399179211024568077657640166339783246356390829404844300056801840422661778490610849211262679928091747209651517840960443167797206167564954181004305565509319008805698572842442151784061530064791205100129163928836944917134701280992196440507213228776425252571441633755649092204368325913575560597918192528758447829965394407327395832565177246285109708193857097244305972000350127455224139573035645352255255585644654008878978949102161912244276978639729176623718163571410817781125045083770559463583333078681772616757122918448426109935518593113815909373882652555493620431249675918294939270186391498340292343283676004573326138993253261846787371613641443301297355068259569398508603052607390753450789752161503759279670274144056685462239771118381217101082111998002008027182822449031984020884149415924946121484763632238494355015415563431654489400955074856119609496609163330552306419346555751784147558808798448000628738135518008885241999867646343146240322462548250636971016877325551702533687086949825098767943553533240762366783431421884101705087791237074113987690815169567182253306539981601603451434497009936367895216055030016355634525679872974731586660000763822044345463988997859065259438637541526818098208046335225836026121555052900496025280801407215407553290139178505309137302032651461156754576149869878822577803676343872643064454400534070037228985906579785936240803039064674954326430802648566591962006897844911925849460170162683876932716296176732422119794677417612553103059470502376017094585025458910347262968200496934250304841700059494610161544919613668027909749386136522506858141055936488760341834356147341559069533989281776633272363616946933287039656631682922730280664522333275611849092714047521475158008102841664793829780485838206388636256115524914071202256122304885169624893743015739187045045591442779482374963206810413723882239910481953254867502570234807744530672648969693672171835456317217796363893758638526181480350021158254194338824364028034948337254801835902191302958810553079503137271554382418591615612976620293091334615423697601929338700349515685144892205353271570340453554005102073386675993462596527530739630330543483302946257866615379047468672883843571822403940665564706581116081869353988149251776915583942258444797996807989928768107605764737528526849843325632735930449716627841854366879507763424861952245763308321099346465301543253621640264472617604998802310998364234011075604547842597293669157255524377646648474283413604315820946446547195295707129520488621268098869907422272254604829671263838503575356049185476667559555601763411886926692157666945155624061023320671966026240774187087053267261277321476956539085052500172962575399917245675133436863091779098705982128679387535385845000760449633407014447015603602290548900273836896622607480741702023023545016320107724364270370168363624441243913517283133775443894342468484904683984902899348379250318375206679777442002688028501419497953222386886041869023799605424891274293822778917316678852273002475411448205217711914716291772841303573509876199335730448610915202909724023876279683167250577036036951323153240996808479976795446501312469838265738654951605248511194405722604241925014291620015695232784389211840074494763520884291827202148157534683182419706214772104955562096402619969267263587746092689469272344921128265325287990210989880074904920436799259813775337699862434805384738678484863371978719694492343253535042957643309645013505145731149954713080318206603838821878380448497523152047328039638909200621876384071418263913792984596266768384480225481863490139872914629608994323394489134476929986533715988264716680053205150256622110938474008621525917820299399073748332282019898456206750568131117464437525371741742959345796626105431140271297533572224194305030493563933110721845051690564754795856306594400564395835017605895103456094113124095224465965167881010613009483477153843362809948788374794000263014968375627206678217557372639447928417287161136679624104381643433287523195598209370609851112463441160313536701998410172611533876357277107112709880249890357560215480763229486256326957640955263954049526163894375156832870821171514322108372507869977877350332657)}