factordbrpc · fdb
Sign in
>
?

Enter a value, an expression, or a term with a variable like 10^n+1 to list a range. Switch to Database id to look a number up by its stored id. Reading never stores anything; use Create to add a number to the database. See the expression syntax & functions reference.

P · Proven prime
id #1100000000413694135 199,771 digits created before Nov 2018

Value

2078998619696429492019955484535352136892698001410463679694647333819855268838207563460709676753634339969485579775513997382765750310016614591891977718145224304179711039693616042117020598737141497499282213321666222131033588306497795662162912905099447217940910551092186151404053618604364706293286095157482618093939742837742591042876315186651309865879198784628294425252704742911335531930361232483343144174168516778744135030661516537296076930962836225406730311006138043022252825061615809438382062054552708608052859908960221011502501432831374209797107393533764353315588678963973431728846341132131455778403849687917179678106068122032446802154159232657895118227290837046434526317489804246748150769367385279362636875486309180009322695337839306644010435185245055379873152272626303755149316501337275157700202619143946207405090681867042429201255432374795094412714849100521345870581950643121534186482927094616461018923605918666760370387436312752162817864868895529721763684318158504442260148811045143333937196012859261709492537214869894931724114292615793746106771681150523915549183397040408187686302442651472848420976879831408031839531456091827683361346185736326194474826482875139690913248289496500592710815146380748787765868906355893783997383314855913607094175539814648429080825305009396022348078550679151640134085143631259496518183257779069402566844740349256884919827192792425655072413851261989716781091397244406231140098496269204721276983224932353847803709107450669961482077030010609000703643241962828293817700085104989446623294451739195944998238284896288182276500516982759340407133593680409097089473437051998300222425249420306349048745732412392838085423863476126572752160837297526801381927550300901365698611206602576249703181881796830741873801605739670023174172467530722789446880276314825467869340478809080623505037957129638923795656650361500234607260534704572557640234715708881719384412388982716758901186480021484801771823230917090947524214763260987606432803238005051311342597491452499854020770950606698422377356922125067136202514888097561325122057210295529711324816917436003679500996686169961207340584121218566786430989904644848633865413381473531600755283746478221491179734396440830355338230897851369889861280665166818742151069999950135815763853546144740867941936931779795249499110821905495353075947656781238480897183884247077208240616002475145670589982135984315456496775726766225984336119255845385722684742305616328072320091720945636277576613653135682681095753326187483726355655641907439947087800236262778674800607660832825305333727094122506722902758125085578448093568378731029238217582719754511808788690854110892022649021658071961019427791693674477644553035688012814676408099496246791660921306037720965121144174049937962320648551965771899557622870195929870145773565416828631248156521326656117360491953151573135630534298540865052052514520423156606634012528120907420201422904623182281104267547940109384291525852544198416244582246153536201262500969926259767796630425784018688296359222060104967133475730532241784201697832901551532388508606503498584931200987124924139970698690836720039150005550829963853702120784611549435188663923179622174248477269895040198075864358776344133882026952417839301134000528917197619678523981512688251861619467142374508719181397840667234553498838437065729334641830382218441947449201487945400598275293908844933108550568493071106850994502121028400856163147351908560521853232776878674078846313953361083088643818647933240370203535133428266337191494431468731631947664962743931185347163211469291285451646078091420585901403031672097901887199894987741961217302262161708233141789257397883841686791133024301010699898065780650057194960236849720382518954999914607092305454566376838167418376497631642692778405817785148545870263785924660692629169573576930572969719968003496242596995910041191853315520689379052398916179527524098946807032359256749971661152960092544525900191500872621832087302011123102186142269397055837733401690824063167071532153791539567691258892522226433606940329778114412604087941366268546488247982709051598567705231113754817497749680810389217851179333953587167146068458326360385131859729671057400025658357584177096001676747877743753673408789097406011736874210179419457367578273777024855272828467207026023614774529498479968618147370343202063668210693245643241721001146724503076875855638527572663764645015206400991896345852763268809714906398422108430788976936818765149154809226641425891444485502802924712396078456057108013123622395053600847146693973396486259554710370166967958225237100823788174259679448315158509074691855655616520316153692393836262612000657014208628833144338212472442151910163405196331446986224885669994564597679297075634983577036040788192626063041284017720870664527951294584406908229988109491052598131479938126794857800175127611650477018948009618552603088242965341529304893382294786694096723258460515141992401611206759708954487240123809580483659850514888216161218343828788148188794081038464476113046418885975137118612757653680775968360567571919672847881304019363153975182446499171259935476055454050213013342677205483079304403672174795313310449841916697586038842478441329394747369635433325581135427778792047529519373031679328784645351957594906844684791557626016561876622560588410535933549626264623509504585228180005718143287356935465902532741568742918945216735197415782538929564904776525017552122583574370066762875251539819387609768941398598504232710586606351512848775837466042379392717036954766328856248018188279056313929685328501033422287802347029297895069794449637868907634319121306711542998420499188965275899359084016043407886201400524971550437502577969462624865909648808378399953587511249471986883077208533048909461644999700376877973104066763052316109873401133962583689186566087702580124418801602960018672203919194124689896340876652737587316109136821502608548671919045067271031845283306509120272225567570258672515765391057610928982787962849698124520763423215189844999292974203581540508852823508722724098778859181960143776969699654114423026800254243333830065804782271844997933427695580176027890627853754383464525433202739210017886142627814770712511645740740087399122919074651253288326841609390961846477829939591491185167971921522905021152726507318129851646641581350570062000606145845791329248418673961172238339235900281203037923359766879003136348642566303543538030821460517417580252567031984912242858535796714351391896932228173665579040824366444884044549368806668802738992747810472482162929437853059679717335012748343831420523089379091478027500366335641823642290567461538899340663325119677838612017858311526805123876559276329931313195549289123237275666419853960480255272680520403472965900631301438327791744049549266194424173691450130913472656150858559757302186149834231400518390808482898793532305459547243039400448979966695053878489455806657803055810517266163113954974746183560334281124350587931104513276313346808755077464635272731092804492424745071493197227417885907127439050122933643066132439998443864077881802616401851101998001790862954895222773461518687918255285570056415267000620041436850458046216505297827847869999002716992642445122533298967520486195707396009541950707369511512562477526869909572794680044673297403351183290315113497112202871811998206265285761387112192507322596529271798742849140721319860590176116651878884839712869220226643979904634694747550992461810473193723238389557635236572847019465431800619029236467423995895865154177537164456839952704171959792724392135670685472894271949537837298555067178180202265206956096680959512663393314629309355087458763850198456050334564569028052284557321695392174755789375108272542100992594520185843680895298831572715551184349873431516380590915116468618935438126895346704577027892238941784859944463323463212860219283398242159216938100066561130854621242077503638996650480180979014998811985280149548290649389751002004980353286024928904002010503984378208512786265402525361884703221286889297753107696162966843587801660615706435001356559421027377607567934120352097178756748527820696945801398630313904798791161156113711113511066643628936155499585194897059866527662255738278032475808069973874101426386144062500196791550410373191892973961654237212906209512931682363335653654439164823485484983163610326933380075333800723808881614502645113586277649010384500889131486791956522616563189533114058841709148861485422191834526635460287772373845081505121513177608051815725637058232714129033391388561081812098765766597766990428356403451675481392726730594642040825695673341078753075982642861752079417644749303194811764250695350743150806343402535509491884030317640119522740781610293809546282947687185036690593158552585736702561922265371179766952206364247110745373421670023498568603177434109673320172854980261777797752247624592297352962392578699446880319306388456681695266938189403616191684569511274239881063992757972470332955494395314573398182498001616135504355423332505939431908582958770126273464875583202145029244579197469022911730712627070762160135548069315602956465717441473818890554026862822031067717600018903353138898898670282322279720429036469881315504024216758905326178551270756265645233739736491845473597561057255828505990663950600167445465953301000512753239346791504479555071296458108974930121596600844534066685779944111414872691981841526831397508364859698557329535650249425737178468952203007243437477947592522276309569736976204196838727695845892138074179609750983361737641130750563649305580914315581941578863306939683799436976417997648207573851713418569523077025472202623541440890223151329999808996129889388130692547555766693692871993997403577605985404305874337975047138652948080629165874939404196308656859777275373401172240854316023134877548144865224577428708946927212651484237556360908913094891442618874600548835227432916266256064932241096827391941385876538459904657185458078693137759366171659483406446230651913107590322005011862341315524224279249447456420598554975965091723355088024279098193157742529140660800912622767174555834369736292127297299704728505497732144642487608924422120933264296742872252969149906018345061339927782180754560986499371790966330281045842137096032304836089848067583969214610420466831566180604493334826122073463799536303045301902463945456979356780859035106303537971292782121587067979315271370003437264124350367901971150988624277090542152209792837032891581357130597811052617646306869565305318142941825295020675406768964440293198781144342716403998144172030081732131190748331479656280520221963501985161279467368888854103892056348406650579402045075160748795123914661134826992805319733504299580472950682616369705980450205554962031014875843168560335732418707954974690739312056063017349121239904310348845558739679704079111871822561568639548407002915932517675680297547090298860611961625303674538082788925012888565383381184622953733668603911271709666093308882688388333209253196441589674827439097569743908557712836916912219395311256865045339081666615145178908413111853822420812522770833748330284438211778215826651577317738853665546492819136712728665235324695486800551093206467897022300638100412150427951622921544047628946039010779658019591177934027214287351756806026369760624714973838735595873111787361193477663989077846424962469267617086167425068910371798176819686227947002421292187925836368105312082526711406774732247018804897650763165093499720390927692959647553747958777480699659291011875361374457783027541041877277182437993819296112946180693087636817888516693125986878959644747292153659731094224665774793670244540126555361500429402207180020000339435358534649959489306629904702126039790050805719208656948849979376502906573298091897974947350694475504595835682371010216631920835649222058297355545626235036297625444902365634328156162391785430460760032379989245973853835812771306107475043666470314901507067367643194345154908629797249866336836600639466451319654971516015631338371655750929723006021089143727370797865915565172897558760264200921015398353645950867043557054930854415559238357389925931013153776168782303853423305970195102557345436240280697881186034931995486663395919744028107277856256366270685135234290134418140534380052282187012515787570014122804742025110470560826209797578504128407294142416310674060905714385675107356064397909835505922290245239970103733145399155905006455983661599614032817627329839170400761357943850112536148169097029119274464001816336189990804607276870335295453356624697073623326166621643180454732060363089731812477274455507233371403698624191777841828316778274884391389147256941692108751351314456140715056502998522076929370171253657229706188729146439786383582127690711212342754148049962177262618690311130820568352559530549956805650694333579829043369280386775575989653698832049676273754136267135639480413519632027532673139571118323375536045158986179845032829403310131232109307998105728369119469523980267693328352109248114275893621181194392029990127797248947299315435610897497573627464628643600262975227327871869410057182058816593585895614556744464270922978129324029432680704119787815612063047320411987561464775575014072742255622935863490804026073351991297102540959631087785936312577792328568189957095152052853968279413084642912497250307488955614825527793122812552424928473789126125067703183866536250045243739053646554693521915628745985450095457335528880175653977698895369901920217475879194537690742458278611931338434563623494466055287951097063558083003427013509136981081397223025761523008485695564280171351994760911569778071570046188307240747562207990178022783772621123712528737404158871842599764631986176038126483292627256012887648390264480265406921538154225911751893584192556430262355730996646640529980962663143671389624268155815814901980014849530649593133423801935155596475654040480580112693656504709969551833562497188560615504977130128213057745641819784056815905140723159166829899990181414445109862442665140062831153891409477644796612925794365282639104310299963255955698967312446809652251293540939439461417125945142205823643374316933489873836494801901434246955661203578060174305496970010953863637897425623687929642905274993998100231799030909303910968907025054565375564136380940876523374371134988566744500158933212692075232587069098222494382054347197313921988213940681409757791275221891727908958309935288634077956057578767653156460870240304659415724447344948478542473278939479559667864674406252226288022254568715747553070785768769465433350668388810955370512576136264679076053802294985018956335317339995957846708808663402790835084952504965231303680741731204392516008226359821839442283900468584899178960376748174950102974543233105190709002376909872076688623645426379529013409861720205266748213659712067611231939383617102249998718031869368421795816151491230638317762523273587187382639551779992702542004125812221246468504497236972578050643602695129756570462187697289977288690660814538237110124669364522753603452594966906660914121673056390602217276784231485831911358605199914171436871703774099059482185629277334794477569681948846688912240166567716721239740241446047926398828459128757033248244022111324687118430704842759907106750269953507905040652815102213802160388741861852003052438624502371122436212427211755876145849863848620928282559996179137187454890377271700743328404659654404315809587172425708175349319013613974603490993318027931553131540486204790311862084843892409258620651370010427416882503815455369226235836818662223576821863628606983667537230867320613460804473815192567866064458252197936788135775181226437670524044993496334092836347049238732086240127105183264846900157858509689476305217460137666347256288297467257250997795145071447597350687678491523420416216266923181025220812996295053261912253928284008139446092504189300574859836488832095950116673873834242905065903916028500638755733565803162716313428786144279372985377742966363390769851452507468840528958906092485225233314974984180538598169209734695169619548335673201849241411761478749972776523238941705028371186658668255381274683173202824602468502525673473966045775842257111630815897540137717785251234044616440077140716610763403303161217851709727757006313499194184655353966933852812987966681136584318592444632018227376997705903055340589619958188211158486385919597350954833909274068122583851725708871470148477244777331590772524017343483373728804441577155313581291300530298998312681420933376102695926496012359127110831755385674826494842640897997123236642558709768308396009622741564680603024727805825846912267592236020567614200130255886824796804844038805775714882419252344686332572728930051029207771095208300515534454755073650066677300615649419698736582707753258564683601712702999135977673581574852341121950584185929135376223812923864332876759496134389553152781120168734398521951535341579442024360113725331745167335191946107225893668908883779547456807723328363892394334938045120845094054298122127192486708544106418303808470741360118309870621421566753026043736345467911643197968842772124916856415441473892445950749576503769033530224411200381092198429305435942623084550402876553467764137415721576721914925772591212264659571867973723806651172184494893122816485878020094715885062218308577645917024346432175649527892543841986299451757191971914849306869730897269586115089340133653677235377658536823487115273069928992943304333837196443344219039116898394877020305603834209608597127717823355056141485591254510547397175194373953352424559545416979737447242854345892024499986631696808428051829106762381136155075523489697682771364872648856414964328907316538963873852956627997659285216053034403843099396591589989174692597038541821728127527525074633374302911932462782269969229846238777261876412932376917515705780579375627333067730752228224453673312470989843836506636659151621904732339066559393486793172967477049056654289732571672258479662665968337355434155219248486204972249277161094524560669239515476064195401884823414535138753707591745673987515976105538493562036344852009894694005451128740989419285757886313290446893567096963661948124607589464690959746393478405574448465765584346961511784837218933589379801885026363121172356511006579033975509186609694650003688765959307409648377298713923832172861212688254253166525713109444646352612397218244416713327801006617508493214221862975275792952149030732915985274304862190334081990719446446858494704422435028164424986600802950647415667263120970077147913385555763842312916744773218743390664102027208607414121252495741492754305133233674727170807992790796201841664556361646628906106499580543693757237259395274248719854911389144748442635513971119559143940824395695392033699565167893297100825305565501012056106967931485342737348926847770922895082049207958049071655813715164805484749719437622281973355480591043500331675491459298988748376999784838798557988754900441636695744270901065251883380402067023776383908865084538903641992223236405216423824317523210650356185128977400225435491113979902680481825110626246837639241957128732480875642164705358703297805963703889812057833709608869398063931370998489023663611091907682736288518511521979919702570509722812847463186438704116691198440984716451480702232646400430118321130060836442432571838196054982907136819741055021373552685425909782573941164279200062259343512669548528032489389789240109208159189749537303737833303659693255753385799024259966811459943877165552771884036232730500700929994364218676932148352736824611814339039574056028670938286717291076295705156186594307813484148008350092898786048050572297056825076633509032308576779490306306958437664359470166662870201273296031876934076587707319412001902272053681296090381922000546507343461200512761934759443296742027214124507238287770075035358962638521669331816043829780137912022087509774931247402210493130194436773282699226051288351462354494852227254324315498045068095201940536177026163218120703665175427072246399800894259921202885752017320287038382040003528739018034328112331835697099625997166553603541119482403329926873666257491518184880597837751098504685749239989618266554287805090583283974410377413166634010714229282865293912368538929451664674338850039831822245442483784192800485177274730034832985718107837525848561024418970148350315476681949140426453650881482085012890773861986451195002251908899637504007186777852319692544552929179810314598792186727196081095252167541351848051295545137031661589875944220592831210478440230314652090130611559036165235129325546409287519235822571152359803380598590132740816050200353356972445498902027884293055035479573253301252095011411390303321820735420532262081845833024061152384212721477563149511100199515985687536166942561740046324900692129769088614522634583752189118322504129988436809544322696873447959954635731186588234065623624560257338359419515213104881938563615207872408416702151047252439370932556782423399511362038895750925248954223439495149815278791682408182008617482795713105034629872964230121618760515296914455330681402422576107930447719150627181762302193987791855369563647918666348394840997251715562509930327374443961346315532623180694219881350172062611627551466429829660935008015673693164887198598659491240458322128047019853078891678317906181598974499891565964403427475375496292336675352571077901270235842184630035854405063708408407782379049316872378658269759858189316340876549423868214035652604330230014548519257127409634956048947289259508145678555813136929754895996966310565037009517061850767716108985560930878553632817308542866681036430975873267974702507398567969430302751043403886973955094801011038811672785388457440975581522505523276183443442682276362394484823968517926921229717210365353864593248813598028225812209614243304078426984935233455516643516550518402950498841168634670781349672497539271200593272675456940170030295480075842586977395431175239143443531814837187277087424400708460322817313538927668713798032837931440561695602587170612536003218429514215513675024537491325905476333948589276084550977952418475925352268406084382321673643584921366110702241864268740715272244457873138206959355934585741694018364604861728608590424446457381764179896081186979548551486263982145731241814588309758749030603500416014457912925993832390225703459397570319533625026570168749282469685193055288304273315128056521766474952560609600871444077955731074659262234394194173171669304269843341930849963550314873749819614614409084455808624360761577292754969970809943539150318943534874710275447918707244747416771099025531727401829467006689419301745889076177296648766079746295956832213723832841048095830778791575178075631014262345924143584142304264119839619351906979837463843606102661151995687504667655577234737529897190793081293444091179157799364315476210212170864023566828601727416573656639858266371047196047537847036620832890987876125773474120760981130717071351017658743109927818958359367002688381129423871996096483054722021176156998754883646381644932310602974228308916035306242579861841334761823660419257762197085767884411934914915183227929604072278386473602441280529021996620105383758504626228335171671788445831434111793852258272282363547628985698144107416049560645076701976876134113999245428151336179435527583006091535213213750189856995460815017264734721102930051800005099274375426939965946257594024801571145340643479381722631335953698374680240437309902109505755020464432273937484553773452215944414630299132719459175615618351274004890800907178439922447035510075206851715047959531444722266973704164099031418816651067201548495181805476572286548564701419159298232552792962504626790418790408209957726791312223248679402899106102125446142467066573875838176947775685279609430722012129400223959436759428149150680140737883270533606575800605944216391844414209254085765949836969656269306646382898605632459448024523816290647463220051312700958369344164899564673475217007781268847150805736407444387276607395228791863350164522151412411346871395686855535200029588573572655830474298666328670541359508130830689753445086414999495021296977132220198117543017159513502817025555888620157929746276448177989280198584854319652044972134098244013560570459816463879367377437737142606162731974594007902666414153183270295097337969114716089727274605673070343303467012845358757258958274082845987490976626745708224360989079492443995570394354926578098773003922070972875468341462186268801587166533065501290240680890657866480483869926168929376207301227941238849153387706367658481777173686764088506432681885045495080036435390342069123565334969899905348547205943307150428664482435752649141894188522836675105163949774095485950141658625428120416935841685671401899603736008970242785482353928300844328363907265760073573312708653438116475034376627686124862955147378189596788680643386753987476744484286914778645323698023455512398765112827884478035368647129761827892526879130541121883114013031914781660026860848043752130142620096266279228858950022887698186255297764825692714996826115321361824335356292383659774022564617945819654834961067245100516798939804073745511274277254790285700780915928194249851990934409789079617273247314812846466529617313477210193610257655011676598898383984331225118014066643731418451589732823069417139901844534441881264367996681759928459836739495194353982221783073490033971844598623633113978627353156897073190505582735516214921308743981180069876745513358227480005438985055803388425561705345890847865807156122126704646466074752383468485982186373994843067341555293335724757612310319129339133623991150069444069328901127141108715049299973765345464169740949944175408643624412305134629063518757127787915235978121057680026126908078704168871386811776477267808702703990744764740609421054808774864362851903456810281917406436914361021251477971711557491999777146822782597237800323519909611480286548807088248447610175960529631105927263333664323191904963393624607917254771755551959873155543755224194229958436720681468979080635285795787498666089302878926923980010030691828015858551435770209460936646461418763936476682722187534286499197118604689602252987329993068659650481016794371282269030964337021057269237905055066775483876536288018601913360548838581166447390788937961797581392731258981073736250457427125534704094461561498273318863072968336387569789366091160088482700485523005724973598880377954210360094749085799723744205498887309939439467545460450026031558954580033966653994466087341082468567997127537284896879314395483278784027140129189138645231275177382085620161304516450170770395631601366242325758843957740317802531644847569740754973387746138033015571768235018177921791204780364119744267937394064848587431943724168155656512042269479183426968328850775786981911309670230086461829439535789184201347467712578611622704384317624794191671348934757095121139643305172106055798808958292381626225686518539634602962319071368968864155268132395432053985995178363242831439176791453831286672184224305011381631155991374139168526807170179326521561987683248040097214539745297612361575571772902533287197571089931898379965148927738038819081780394466312206651268189508896409041025118931310837580841846667622250837577381094064906017520820409957130623832670995602315598130431351886053964708225790743721149540442349818739355171053054865267460426923361577947722341565525334307823266357390806808314123139736074085033897332984851184474706100570227951977181392047112276238662725766319108483316240479793439173151363821938060032817024960371361637574241410451370146311788396988718777343322306659332001206243975052143551075701382944940210459307435639542346483859635804507588629719809250877765400336187204689877076355883862910331276374316332463316171084836714040619527257930848788974733951752805050896458491704333336129292191664518701214574956135783978093707551048678894038836967123802793116611117426283965038657772971969527163471922801892021855134511842762896187611793508314227690872136358499355215525727544228320308896861745922582030740545729075260969035534359648336165719475912454494801067365158023351402421305020807171082058654366356617589918220686134348163258607532081270778898966224065641459112697769649003369776159542741644813846544465860192593764125505779454307951873850410873216554683435007662141568749755183849658401722184708754996323026626468943664532164985158767743647325658385478713124482761560861137534652849201702631547548270251441173296403168040636140339450305129758292587381710801097706517245609613372453996367633333660567370608678408312640544202177231213046826249897966437271313354909553080514780974319309674842984914142799718688554486160194615788671404574164461701197173974954070826511038415343462443386765886823468225005679813141035065774107714051191236547372780617655981835781167209618932986317493234658407909637560183371879579253359275277754289534539493055917960113361156580344507348664413031760947450988628593753240984606560685151046829361595145392337638142068366454753586966543249934724864152784491317481025038910320765823381127928688132783919055362782636117922822033335865578173206418828243892063276003742374972966761828049212375526952985716458896856821037785622166121386467429079032593642719955640030591113619586038729775741548249807807509453770896298179276778586578505882319246197115233326807287240239869702546639762777596817925513366277159239198735354637203765739469411225122146251514329783008953898654710807084887605800729134901421052897255267272415320491177777535821358850226919571091820474288705525743005629423105168843937824639274251796007308042163116447496338494337667742163659770960540499559910497064972309314109956972435411156802670591380850177260829590512744042898769166360313175321117199291321493423227379172925200004055886236063406163619771970330032900418200908076764823638009215335774226662689276194128005543500947960817921854737871147859954729507685533752509289799292165753246805601761401722158425977133629328283830342135975826889327619081580122916096501567703949429393023167959341520015895611058040914198562364055088706350186102008453790465958130981727937428231040126509835338591560014855859837134332596751046390041370816085708791302968248052292323040545312550230778203236919833752531984677552842981907364075482692875814939204595748018606594599920337617580654696872258929168711834904527043537599235572075820529386290510867962768201300455011817970750580886674290544952565240501031528389406436819521623640667219128043669644467194144336580882036856325235248251451096414581437679425568754046260149675952888052723344019345324458787808018848913936421952153346909230460513269412217405561720751622124930695937881830647945098049756034222685782215757301730264160422534575703507277596943723972554930238437209503649627134421360236407983377725500895818175947300325073425638976970965679486682062532004190097567700157086818817131423169092791856771317936849180286276880235265632879044443548661410582802497876478071929434654156056846292067942649804696812148441547098422247115784633117289844607058308072806259162083938324448631027537928240079842549499325182995329957224478305889347624551132212077959522449628793639950095745362027557149519930691681889447930883655386822717586039641632920741168642131108515460583680333128505913977407477021839417897165728400250590396747641860916043427175860186375357112038382621297665576654652660373402152994163167526460742229931364266659431105941339419604379451570181877706919825564266418858632239500124468694639633379373418451018634544933355062207211270517792585907727032133345573387745658869669791936125527841448966628108225185954489601616023114564595531097516130401680736267949001412400619148996426074318519249807038968328933080389933212394587743909992833364612351449486389108566239830395066879950291838555528829594663923252195827676044593196038369634470401324428740916246572796993299682826191143335580895649773108013447349125156807582342289215072137096238005424284720532443765430296449358238190737100526376071017989725150992402565418117686609475555433848826337072833405791964253535311824263213841683867224099360129635485945781120635578900922832485286120515742941433454019930754214566020046897819748046892107517625542987124299750188867396805382631097642353337832910337902762046270282689748866422159718064455864022068591425904198250709738968528077801692610967086131000293315082106371123699335289614344277512481844870589327587317928202023950767710265112843345694954210313295043160030029229401043956323421472781900125257526766561797120951884100441380088289759269944503715606891678050114492256469144153612300770487178448427380212023184997814510686867541510935884428136560218213905419835046848565700571055976445445624628150019236195102983236302820368537416285965395444958270972407493609139956985876747545748803969864426587928477873861265439505097729473875023494333583104579037016717803560135865853741523354088968174995598604365931215059179642728948529137334348050634954903301394572462635854752734835290528799351435907791455503184743434073372109579819008633857819021875711637206843600224803800741815983719432597630901378506766086056008208438205620657663754154067872233979343424485864098519160299507152427545246779528387712177876625082067631242536230848013347588403774625264966305630019742372013428515659570754568860346134384161064114482109278427788477759364467705035080046193729129756712196068409724070004340063931813714781529391631742947232177726667067433562663674581103129964223583506191926942497071559946609803562639043575864736022654176067502273819078978841614704231610606430490163345612878143248767094573024019260559288860872482977333669252791397371956032702856403947613734917411533194887709344666614598275489386587565751671917637899779710285958354616523505631027152776078511452439361502695113168130914244805023621036044573153461812052561687889511376985592055272933200842058761254829649217004978165402662169690634455879424347494633809137377908861764844657843367012118544229489819793374016015697010241715310740015200946326077051247640801112835838185840247739985020027760863152939466383124261056475124399698149409268041205301046996320459124376731347470946753600367710981215099306416547788329689099653436928950790586872497243827962112603678420301401574799159476091971714847640207578300645148790554840342530857539524671651852011370348698472606250629762796333241918577624152975326747303756406598103572285803757131230498360899062182853799207446953994595015775223795864946973263295164974108726830609409217980849404827999055026635179462614916825356313581303121120639120932687199063438266964489341606277691273513389262145895248018985366341887301863985705675635280536890122982920569716831610782610818227234520943986715121203888498552692774007623790544943613101952264902110791555490679567498646981084325670181495832844705510852436173469695938339564602793452383578412742230582167212409267641378775542361210382943207301718548238259474742835205357193582609025051912371466152899382756384460353225245906716212726536868488195973541299066584007828315347975996548300551301563613774292853730355275332924979187980894510126514259184520842388064379510402949154844245478789535230249501862951613104773943657158050977900697768822154346842516896770448381419242716449120129719270136392906119769964178943014480022886183561148145309243039034533332469970680758600433420502824421112351168335532768946112884044316533672923339787781849759092032773627627635481049899424993979678815686488375980903128197913816337371195946737437607148778584371467337599214792186273238544776904980695506758791692473626313621092278984873107714073642258678857350778016112456749928326394590981242685518174135445805222386876743335344847759516350219460627137084831100083303617974203537079513097423567620888736341757238348350225445486633606602315638215790124757207196805234726374117577166219225994293954301723941555961305180434390538800612916353788156927105283511007731316363900176382547906964956669899900215476523242687199045627418174659721051248775142464190994968507531759563706338449295069892832107374919306502223288729657703315137002671376354722388789380191337700212522057892849617582578795776183103702363993386332336942827853075556388512628675053333900007636743567140215944208930478276650590484220589567845952041995590340369184486501192333166002586931612894599732127154498108077420011543103858380984449808410324203924802591525842470853319537658065041925784373973924812859672144183699073814398720541728211108088223954845347677436533782772107189042777436180320785379140309983184476275978280484545519902565642168240458619985971683397888530520238345341992078257020677792776934908621206282954709893720055961829627137827187168893444273117924976783401369185711578897728514374917663105708194470915472341788797255481710036630096363321974887036242047036803776066981881487094412951190280230624162634431295154291445092392126498713695321123210236362581981369470251288493634564127188912138893710539618655349606179817020903898615169438869967000140754552972167409718329425112937788427577776809541770420409562859615518719732038154269394855487744015824916150130864942234643610768932919709601865221158352022676904829270629551248418032675143769147057322487393433939311604338454043771578001106520251981810376692406180179740252528946547560589865193294936840208188125606518065611787886832554794632338553817604909634405864389450890081758785992302276057861032801456285930172738999719370480245365546398166773395057644536473266613236092321525845855315145574231221007803614266954624140232819320347823426629964890525852798862281989702084017811304440440658229506346661756974528733540142789312176709334547211666622333897717933527628332253266496654784895801843749426176030432594035102233977217236162146357901124079754922928469184505724745489363051090327055112913809234639395113177883231547910929976015009074628251693175194017532647108272140256167945661322362814096994822103391972145169553888225782360890696919819447336472865419686464479414465873628757696914827782050725172024376152372606463646372147450874855111671315868529183634921636609264173804807646178949256387375051045920465608226573380162388378697260770948229906664447973628974627082006078217808686848436831876359842715645504720499688227449026548384864432223628200428532015965823145749333882853436282937609839041118865848811112503553089391140793359990044806863133658602375472970266967276630389284894435727998945918072746877455271867966797475989145198350621398911599272143731897982386509522501221208258639430156090491968654672979967183936491445133432048128337580974341119395294805358163782729313039908059833754336303240525865160563007428921912000393524481065003477915211758552711763928538558328331903670403483762422630454726617321043360673564412514801376010788039838268252893765202637223052026674703310682281184154470007726663863255068778744312985831518531022270768406048447845977784788333981579996903186355586469581025724992654973894785451073811492543135771323371903480806438244883382660816165723531556708898507394091561171280968557844326784969861357857397837781026727575763304264283527901705561839068980911072339880896521077168747190300282805358852291606649619284182663204343663593110077278044325951410187022667599947024409735040214048891572434041927560972099429782978128896734993704312406166393401701165928055223888047320773291794494645161198456789181171052728939483604278898717303288972094725567968338686117304434040468288695114775444575279965750332794279764388377728072230990774535469810658781887381923093324150167685969637974743695884126401305066223352860348275109239713620151256334948401993183690485180883557942098855825166572925034403286989863863980444826013857941738174900882385876290052269122155151910626626975981014415372957973884194733526169119975460224139426505214542939192277088485069569701704696490330392596239940901069339476276653444604456385609833812352546251382615505874543257681053051459214350836147099477868653945468993221528798369819245480954910253330039109921349706984670981271910885836024767629066058061134781695213213785226156782864936375647905880525915175963923059471212239563923952923289434848441462939552739717677588312113108801799657102660704332686845104933021943298277690861584324534383792653105555217338977971723640972776356288472305431891583788481265407293591137695737783564950374980562756291729424988072467746791509797471731850807890624176556171354086729040689654834322104923171501121324120715388869001562902153962320089616772806697160411086805019433417981250477568222870634481101452582601300076781468632049761823392392611637539980663549923572945184051697264733162057158013508015492431637158138698046597623672288330484372696249133931517046983476599127164340454404473115932315020205710519970333463762525321438749009471288802610462826581214833571902342639977663226846958693347193659325330060943042377044323193322429248957111209218658950705137642484800477881117458900138824234327235639965640665709908375284974521608411640366550338147590021423945612953120811534096736441860323979694850412940696056128773585909063807283266321835980681684653418760690085733422339096946295948910317356357866160583936209175414831843401952885280535789172429736992903791066274581758754962959751548955629140165555693145518759799466254137609304764277109182669149361673313582495883825525477619672064385074008726303483855734535490661431991286567007525017330669748601593417522575084543184532063092516812549117195944483932786830299312283627551166695783995625395511595152048277121587151140341066027579978147483968227810156299644407749926301820930481188810018753026032252668931148549009235649716013607490069054642233904308375034352009925824122385182589645646962590327165633233723479657011634956671652984049661159002681595758672383911357825956382848648935336497731851015749563848239444967965101838158907604628069606019789318968039164454853679091624207944655518414364142811186632343956352225419039935841898895585514680865740617449224175770033103781743095959687640092188779051844866668931359154655921708076075593301389796225123784928102907907939462225925552887712390017528316652632834539603228231436036357347078648631484588297479369900477162667423081238804928574130155835087171888137449355852172530627867605391017549777601567504305690810022905440971871450573224229931092776909916095917304454569098829023874287012966459796360495152171594640769364230776230505667787521180709320121086888430445196817832034716309176597477966735276630933310856256222149210184387986888040107768843098685708757861288942458102874999450989560845011314667175539402435240440497765924648508492225354926385902960670381467184917243525018157687070461435977541901407209411846425754279157477202742739458181202474102349749548235918071577506572691552368765034977074612521417682188197296054382961565881453752624908523065633221715901957527694327899165478146781907807707080945409692625007836697813462668799026097082597022461962469180677634334046993411857215717203579092436509572925590346077303037938872377616347069931445114989618151542727996624468250863917136672264696563929953986233947059495878496648001171875325577744719183601888613163355519435808918747221027003952366686760197409918776891490184720669160864735122953960398132906085406950302322532787082218463758362817426757024947895816110512356217806409221473864328957642532165965171223217741489785514677279055308537598337099627261744151371817671192835266443088370156955364815013997824703010332973360614772560134900907855102011694185412958354795636700781519913623893225495112768119631952464160880331020003897963081675829478640661010865849261556881855139860934472139052483753580016875979558121470841531534931192354169509227615122416087808158445058464000356112648126810193156117461319313683807549830920417164706755060514285802471914155186345774631530352329233629810812653284091979103466650319902088835920054085636046411647655914358178996108654223592012797012259952441413982560162188179457379030395071096540279993100901702083111043105044580202536246310612294179277748002281265824253713558751281974544751790042022482495893916074206745020499617325400275178388641215431958149163051242480334171473694054915971315303210890038247447524952310433980064002491739030970980213931756012744399277700591400626070621598329173951634966165520103834108095773104829038414545958951538541978792762113953365314315769948576184305511072050861429466668944975231744022216695907967751988508203174952157859061510218310941995209384700671781072685969550327039253351701776118444000167985651163768898424240124556863941323073198063362492506151245398119881029599824901439125745151455381908381438455194306274204165992716404667039399516454560680159906672634186677944856341113147168248989301288669440630497159436063742799181618765329025319554996673193278646650302356485911647285491343574566498838617587441120280648291581482882646940398220607809848787710417315071910570974063811621824434785433153472965357744217823959672617300386052963206766046423712305595254584101482980235177380702420509567823731341298867069841738485731223331244898572420687869782102994550491911121681121792033242228091246910060862163030354555511821279899810439411295874803942204131860666122208888338945370819356014254875328301604351035191172218340997866604873997041521200536324020091614370433711772002213800840819573338680874656161219400769543840270717236583830645280492337859640974583439773058204134169854710143223989598584425604900511716595648613596207766635402927290074110270361652986059977244139667823957631370655794166544507826862680552936763261216238280098540204991306829521435201229701336101823861033276546635515079773075888100161091957564426387130705221146837358120625808571469162666074747306497606168633082710721377487990500687922570997781522748665426466909356939252457403446225420950708951323202599875519274371389012575874197066396343284188598395953375706380618589038078783638102467730255261738085202879086965193601162917352400495314432176331893115318797449624784453819957782175737806502940245688167503026568652485928103644233471341883901389698557550014953074229720675007852588012941834179853610092651641833152872804160615313174759442678539457631188127177355238742448617025262137606498646574855312409066146812966842528157314812477434992718374948409175607977125169188708792905367334723029839086417050387735534989322310359696783299403568580874932708286119695095411354426444741982494462399207585295472662082158481847359820897896295565456369129728813310089491854525614955059692123617628825229018473731332471125429994204069220377320850895309612377578638636936095645193720185283616780502808530739550769764910391478991166558444816383915514401093740389014373809669173375786148623135868723156933704762851907620181838259288305273808734916447085629655729560331964080894099164141066258980551657351757366153963667448142471956860868381470324026776959394650610633939900332502555792812873698746035001279989939114931730920749440594567533398870741447930676097316142462117277656588198998021855525081264620887907230533022129422805790905939829322492782865507094098816068485640896322170995522678622417639167382291975498023880075037835118844786501709342710706547556296751616093012391666708171574985026714648817575598108199879388892469480007657849924681958492298327793400878992019068993368035830538180448594094177408587997006698055703459863617223309643734540192291285304826667502903916784186560651255761355555671529674344450201769470355554398472468323668232721098063400787707000837895397721067038987165180660298258308720094587001465067288214030553667859981657276904518917338261437993435882045816913748002415603010249328084259088671675734993540456339178972289466278708127687902394394980687165284007490816235853107399783085775901212485613053544177013011169016137533631680651593817379949344257801252103988363912525745829059073944170285187472602535199380304004808666644485411372454687781232601911887652518146544940741995490107653625343876607430108747693548446703694805338692106534171888217083808270784007513753938298307479259617686694953820454283547128285056350280528417037029939874048093650808723799839486611616870011809094833338084944645982093954478516757990948558537295236485222585661830646315894767198144678774144527424308762408935350025844993464277368497298228355309284582297585271098112468942625044545198996466313542833464102407869951418338789399710216452633303558746874795270049299947497148814240747171467847104823655497656203371094852286987889436619517423482663939700117241444246032486310339595458245015351592277598565661156811477863439726811199881379833350682133710269578274321746193626652676653397156550405622948297978342281441905550974257898978535715882723562759367596737990033218870137298689164066782437634523353606325199050716741895597762635573351684736397027655764521509096345885839828804012061716638732457752829394353756463576481426408446393030591560289807973773694721639806262400123933654418036655438338021938040560514076334633509937129130104115146390715523786523622729383421935794216471821436795736877752030103101384213775444020143313255780952157203101760183113935021574302745654196847090485309329419716118546018506721490223781794625315068055667940612977847928112652975035971336068091763167311381097621826957083598899946488114475183343260477702549754758781485290028635767425447844735205213346164078340721666731644746383106788396526014862297429299816329188094484994601776009762116555697609437769014694977327700364581896117699188271302177773221845310441033334153776286604681922732734700441931899580609599742606965924612343388460615184969814759942286738920702931943272588659582856120836336264840791482453831920008799272120857151035149759490688571254004882984478599506216444361531398361262422906473063554360299697599951625129132068178191251975990791715356159961648188792657713194839011141063105998408174316111516808790865765134278067711295026852503514178244408688581406227796669090558840064117343241595635137456935736414190091515206429235660426116318939751082660502914796644500272833414271107740786583040448072565372306338997167684941728154889463262799237633475796286588804648260550157251264780546500010546472369356465202301860276037556807838948286529709888414966493923446670064497635366364636373045445883116353657767381656749957428205217798649223689458583568248698553508838991687153070580458782255858510500864891095302310232398537634236708441724543840490387918106791402651696957502550101702382829143840056502293338236722723327792514083265304716938489516580054821190614774425462016494334376030622011195247648795930301020744788033225289568210622069532585601813379811536007620303017474039745041809134402910323099756383961697866233795625956619478387634483592033912386490432348896454203869434073479194910450313199746922000902400111508305387264924863894735482529928888901097112080186005124834307353861330678117140343771565924264345274712321244553758844656482633032660837857091825559063654993615412973516434525042956711662465375200222157024384028793562641727589752863290200611671941946241069469743403089559951190197100818297273271544583595688577040423886493794722804781581120158150393850562993590898064589592912898865482837927710678576040712496532808742076998079454822304018002790894659493788408524704682027952663036472028877637150388807838675355456902898435700724616553335670262602698078999683017042471520190822704136622112481613259313751677706039314377130011957533723673545693454747734463326457249911709096559045677893035976796306279400393310439400479199175066625118991537168053947854985871764956606978395074753190028719110431982118249608582569440827631068699719163691429559149977850327083524345489276008603705352104283031062118402300823705972187589121855964640715693310530838855003835885471419121363909143595309547884448044765400665597360306031841222736862488556269524199997722224226627874255292591752439771172042673193608491092806882868370497715449030183427413195125452279985319350025968732817916349188283655360183660960717577320112170276922419149492935016990092875031420619549729896714740864810970719305318189208241486320839545449483800071827058370125772242052001489835667089852208760419329987116025110440127414320583689372439813772775676796189370754537538514036265948069801527607971590924864196076450627088257792704966682913875490732388078870258022833272272963126062659589877826777642116293486156571389976754319764311313770635517738283008914513715357223518271541895725518375131702603510314912871216670101835520276942379987046935791690474232111596379497063828748509316166500224611291651501230835689498548680684232319075657943438158485663384661390405064293953328043537877478333681548662873286368744689179716453026503213703969675164546900128922306428580422211856374002785386822990638753925092311383101680632820814692341016605075936491668786235085433789354347346555869814044788756539672635419323632888676855268738246950299417695246985188579414869996350581805064939532596374522528812223045861203631115295732289870159826486062346200319928372293048325820534051593258963022578823760946964579158336434028802583218632696042994274261165639068621023489206041189036821912354673044863363170615616901137330231522414394982051859730608286965455515833821348555398611613771526273065916951900209622887039351743696348097192425935208843102679055715262361450157957918849297649179929647085195456961565523544933858419149504480376659741250572967528440410752075838396422441615927436759016078965935360100285544705187849854492025212796698470085246174397523195053826885763669681356793724567796404971391990980639308872510430680650958797116777697409110887361544076339599743550331843183960814659104364141936298623765084292720370229246204557696786482337159899234389201918912290038443368611518101300139092182976120757205443482682972496836111165002582611420903625889989707921965767813326498809775386248145462757719366948841151013877776791859950847206418545763843475339975230537632389207353471768357512069728334170811289553099046510060045068011298735789333693533158699638886206221524071507100302045587619164651928063452421833498399148052159712827801511574343028681698388010299938743217815730417452436150423193759343650612565738484723984948064784206340182049467238693924577480689760446451620952944308458847951474850013521401433115619466795698064777316214822823817494154416071989357597201429624597041733735435035229414718078459686963749872061738982927575971632163838892723226088588656353025096701933031185606441113735297106109817713832098273759739673205691752736020799556206466715720046031031020743299711980284303301887439861205220824710549942073113322505454396558523581295275171450686702524798747047442789593397254166691014903029017158495753187988406991617831693558694193236596659891914002114529327141274806805359490971172612566936208880181006824141134579138305299774615109217876145263833940082249426257485498245087685247199964485739825115161293303050908553416123654286117925963110654911760291270839335157443753433179581663278895534695033848361525018967206630617971030722259708303563438272643412287068325804976827851042829720714402295993714800498479807904644425060140472265916980565308792521868342852773898847655061284878669799382261520926059773275606609426183620010147037938331433001868909437006588781706707318894263739213033698398645230482399645068619088275526314877573856815183058113607935378763980942086301132051098132949080290331041825027334869792392689347478242332597711519383607842333860952508737708473748746001952664460407380714471198839916265847488480740054664797450220234931472615713630054871072531062064785927731428843656557618256799314202695474879431088491193995523140195080291686148452098396301530715102973841697135689685657844841119240920883619633217348629126922112384157351913389641200489039729771243597054139932143956142055199926416557417551582208791113270014363021096431740210744807797512805265406964972056571551567759184887213715683450987163155767474976545562574908591683147628374046187301556251697204383623265432708525412779832861706448076645222862241345237399798857922371921378009343284158320266356589611260573376278953130233976772362396788221120651374655701869710161301083434401116313905440087900025083647923695988656900419310274799713382764248846786508981557951250020501776970919538335613162070863369074582415958888730509071164970072571954975159178405932216033277435844568569719764694539576699156315415135149021826084489441699017213808878778407314498548348628225355928333698375057070583871762237916339095274589440074296671500780713673575739563599304993250062444767166850553270507648880419516516628857737908857303384938890677300511824981406266429247878963779552978972590306587585544181066960923704481364468881807403423078953031729450727728730946434506275768770367943798696744378827601483390279652793914953629260331260185634767802441032558960860401847864685407603789412275449359275346875513519039269659418918811497576400237509167661098285190369445712615777829812952310631548459774024832677336426210025598657147032804322581776422106657135274394752226240528206502534679404350199962738343139942912457351609290865660038693585884431629923981673572919708938765010777537377185925402052503443869585265991371832322399745519940517738612362295750512229158986864023538961189594423172270483889848246859481727631027886512079866103943282392942879757402916716443359934134936096639906271878201624973720536579026761080422166262593844587792254831052660658012827045939780667441441063524421303497758875876664133549717942333187299610191188981537436493283725381981982190889260773998233913575098622255035012971517729821398591754614915790915602251595891782132716510888024972644092731143261661627210328989930123682236252851456121292382864392213341838024440282626247713143483720567203186065809421546447726721661959030929625652438282796929235141349426631006468280120018601922719641880693074362377501346311620272952765264011175462176519632903115517244128470521825538167770028798100792561176978180814147871099554199252104706109112155436769548354371983804480403340382920308177243368392190053802267901951113271185889087616823183277415236612250715560911237266093407635172888053456100438779911336379072267048320511457996856514997392868763892841366944740403224509739864191737523170694497496397954308282576151966205435601314411143856715170835022403128186682862494344294218420771225997505153369236072621875545426700689813230321114722504059951258566276514319018393669675951350272110048050601306200724057178806127276848634275854496683205533077555468427122016533707552708700528995357593008237991143551865888311661340793757211586358376964073774468367701245692563364649461025586441777456177468025353039507942261356238018069614857307725129760599826374599962543053874212008861768201609517594221784734445163295835745662383696548582006340988963781598428714360193536014184387525190353680480200180171988767283610950031089975760897610456549808501347961737615479599881408349656190398812130402114538680472666537813315039815494003076314254019524987152293693605999476012278993155349957721722956780157482307730239909086411544686028152604083051212552439910213411867508942144181607157768351874093877546656891220778854824826911097264822739217673523779288845653231837389600577261309462189979203691002923766787307143045378072129996130914545092351087676532008604620992090372297505294235488757661748534002322290298380573573939784315731151433940803973401624469065303969042172846683596288070887181994002236399698538274165017039085993174927776283603541801082233501252623344604493036488619853082037002998379042508651033866472155832676296504373283840277774816427968734296215456074166796943746439827104343957389937566271309364055393137136989525299849077079238626234235280808164038370726708376098825548693268653554807774350275204921089880367563353243801263628972129162468792508794824120718123155749568000039795276864361333866853158364108669799945584325182758218044173547447885998643794355342623648360434322791969352833276543384602031228445611271505285944779311060244417056714540266920774095118407201887036932489007958890865821565031681723986805786201858824967893173617591979857216291844773171579157116867665486805048239018120481432995498719606240084271294880107116263258283254837682526903888464098463387669342853483641080092956194744705044008279912545731064587333795422526373791003232167121641635318210598543119451783140641321003782698233854021178723660282173059759841768155139958494844709736156904645237315017123565345798393675895689790228931989834185611345740297825367625220997613956777408192551646529954105396897182011116708939500350282821623428856364064597441925185124054466486597638961269605342212943477690095575560881699908599335942028996618869941029530861930080509808331547231020845878990458930424022231222170137084148789741485361478734550332289683505148723150547005881239413540922173826692683179108024061987208654661901878644270185963372831084418336901263074484449205179316435148942691221125392282134208703161817674197116692156610027345920962589922314520201667924086166341806583808364227719897407946265029090200857646959629604225662580946361010955577374085738777305964577086041298588087205720793756877492031958449257232400211542619470623566011570449665821364037487405576481949900306429421629458093060021141696241528998828922076397869193666844938482043866706458251239442176923295681564929147324788046684075703927511566488337634595862115506015168740234655981037005570769920412001868336534727389605514609010502688088339543884826832576848089963274978626761748514144021493866101118317054391594477205983412095969632460470208973333269806718412551202996985407769044527515737319372031791987352037308860033527536129372195449950593142526801685371223920546615540346003169178174417166802442953386080359508855279161464840164697589739894700918667945599448169467830542619789412631148598435998344521353093132231641408838332614348863216311169905146183994078942079587112428017777999355124934710554818323138482790539319131770867889565872439091362382301119750952987688439306434265715264566215281910322536538216389242470159594166541737826627427917380352452080658803688706764522205941708742721606302424549050532687367698235261118847147819423214525506989542682424041939428859993232335728074153886788337945686131154135937225600818242619315160325623839566904440181070606415741733732087034793137187018515755812031023314456139347995755685043304013765901980776797987912089521924781386966851280396321192219325706516931574064077038615240195301172423923605694813078722278137944849024595111063608232990603502166753938024815836282903875555972845146419970766039526524299028217788296658400170396956221493871166653558525480507811547969892866162685737402457805167205725655454235258975332177908958702698560982593362499694222227810912051350176576610451802924340083195896950956804970018423881885197544345247186317396200628803563713112230666025157343890111697332156366359518631872294752256620292921031628830561272554226795801024203167673890488584824132143621415593919190671929773479324073837168055687999779006203464134292329359886775224554958955183526729678942822474960062365600748605953507800943318998175173687093826795706671146857860055260119441966657600859495726353142655194958036310114778202855965159639674970415607363238647021174412943631493841280553881697943065719571949482702369714980230388433854984547926249981257190472685710839495142051475029056243499755171564835168024128408592164035985046324541313914626226190698109264850243165935031680479245251953816522220966276428902713105166509193169878261317359044641344773441745624177810752854522321270139104685515731890375275589662146183360855865819940802441515805068623782307206522120867276888792236707181304146585671463324245979461829689247192429661672293435368388327632493350860297005137840066283652261154345787602971063117125248683333697522878954252515983893477943606550416348069004965567443388722103467587575670872438314713407428441193362206071472328347738337709371843397656636180427319585236891043227415903866460263488379434576401278774723939182827533513013911960893532983192151093389061235662991457037924331186366000084751477079532954076017184021756432713969345533417340350054374722343114016728160294057715870824877004565759052457761523808425949344394968118250641056099929702718631775914079830589206871882682070570590479576373764460609362141142117287551660055573292867384656075077934282535216385278321415333217302667956658138830959913364618016225990228481642156927993875427140585422404578294848959458678991832599160352441514030925447941641373306496646471670245322172040969800258779982779353419588635281835338347533469502577339755391977157700390008966176597026817802162629952083542199334006190627634160158796697475694268324898885066594147761530465969085490375548224325698057760217661411399784730450338846343346387678397398762603715921756227507867899722012044997003872955286258396579942603951119305223229504309421319301617565845084341059488437994610104434613425823411071327558614543048129963749591221490858892903039996862420001037927071224937225645222838757588590093114456709297340345190516389864908573658759729949773660784395805638812796854168871940484544556757682585308655619567997491712027029948432460438208226974137165536183709319171251836396147249407512900727812228183353970684419326705098199072317666804812372737803137900143823544494822081366339552063910239994870458025507747881603055546649307485405777840977210644960142075805898555523915268460218839915099293189977994169179463305410835752982147644500255073939919269854586098167484635556565287562333858782472189067735132561219779884759217267368928481508817860480436293653591957989877211676159569254416921546959301045903978630765532759865113424117233161532454230298474703421446396672092571537370962607505693310785292961639740763162205935992416972823132662881690741807127169940653022779961742657889181505573176535843556545378412013751512655525069153721929447556573502683057674420567168335964554763007663514907650511229254686819079273974191223850005184563034851451700183862200938528597370701533702828674885749258804311283355041085343662345289867034447148858911040285682772856375854944987150014220073293896044106336516902215457910136542594281968347888998253759065542841693276022977144032225790730559329749952074250070102669341298764631428526007409459646288918388209494575068266582869463990114833220333227503895322280337673621234563701762762021754173009113500738358214787061861014356408360095253660910338602426430286987793329849463017668056290790959836244723074585097793614211467895662870864333493005945929986570917170928952013895557646342254516895018121718269932308809427503338915081712052814542743632845645109295095056435357251965062832324023928175815742590092221275643132558976800925051490094531056258863843812792695597795138861383572767038447794608455305856643973063792407344756605139098240217418054056466213559201548654932727421887587586980086154799101984462711805512538362457876159402819085949216663848504948424178371890019406933045974823391916504636184112456669160719542703655559868912581904517698468033011592412542706635913640710699808313626446742143186060384820597470976891172715887265128231718422164403154260607354962449278734663457995696635909765266736764666478908541845278192695236728697636333351088986716289211886551241796136738364108988978330718652859417176291963205170024918135027448255902509466434570047025200211094280383769457810172841046850018254252735502288680274473383489675615868258105285170090645500073831558048108981436707900846641188541479370851202210254915674029020080061042389296606353591042545493510959828375989198594943654875483867363866013863085850477040224218429247250056807452881681303052087221106870016237550407140008149769437886630030242964416564353704117001469949315643848075414051156503753506275134532066670521455843504963491512079471115485563318418834564106466945307480045928167172911555260470056040010920565670261474803787776506800854266866169077499800499765657949206562336804663749226324459625858261855051581602961451254857815163856966255734658247744703700508382142843866446521861648836545198534056578659459561960485997498160724592843823971098393400818080942732312236849705938749137919704760823037457603642216235994001182684995152884459514167200433427223238120991079869422864510223977435354034115301170943812584541015670966343385413598951184100451032027129984575961598106531489155545295111449218452077972574675733136398793990286893024851453108588997321021779263522350541685455129076196398759057726142628684102776014197559850387559463825238986950460206987024789014251883345769206936551793335854399483536626190461562741841973718884130408731824815247625630924026117000141640399759088718236884387953523356960095827997071483335739618000078696385406407500229306507335977419752704564239859500050022327204615528749754370246653623592726952359477876906319084195480556439843481912449966698909267408401956998076653135769491334161199227020139622517905090578038661760559118021457794070222400991220408180527657460625552651989587567706088103601047100832321438097681032888754313967753802980270319047416092377229206519695272653731144653692324920896067362406953702530705364526192204893406088131427446205757832545656863298968342234471398365917843580256063677118989515335445821359073821435999393252147004756821779765319999196786103300284635779242080314731779943430960308235492582420286597931284981199207215945200166925010596919126199468426335195900596400608737467735222686843116222995908574196409072441771324369608340960514837670169739389509670928937296876200702617258430604428014804454266219233089560357504268740655082077740086895408336370856268800766360582940572097201982270685531363755880566547012563530193607180555893614775656336681419961632594993497827192259788401610618793553102201482156369556584364149184963569430450224550669758102017816398852149020647005163869474510355083773034254397414866375963573263428587980838146774683085462877148213728803491439126060711672371882488075882787269325487770191991445385421771330477955196577251929496127535172146094731456369086075568695534186453931242075511533021947485596810029682602496354448097786899022180018480283852090193440841517938892600111552489776253924052800128923325296451635690458159120561237136392462356182474796625440353958457722619803860634822951859406051235956986944677557642105771034951644878568188959993432084798571290890836967758773525257288019405698647656542246603809293571176415716081269851230820044858406679644910826381066714888705944059179819398642467869998667619849457831817601537568026667595883158920141264627517479239148096832222977621752549336595438804374114693748669039945747561879744057347842283444387960797513933831895306561649132087246626914966038721389250021275748354951166432148105831077708147912791250481605411586991646893249548089099286028729722198830895129689489796575643840970474421975311906419035881791584504028935024493298176945219400847813975255964652680973429522119650477981619911722336338605954013009221441363647240888214049528683852801073366820580836852538019112171441225727997508109083517070177319510837381965692724459198600980659535304632152140143515100335522494084853954550743655370602356764625336064482633511915177234930120581683911803978516139766239897147920440575144131635699088996708465100379249372162035337722743205907448227449442417813531760198867815297309005761615165342588925951560917626751877620703445150547422887528628591185754308053080010870268146606509783960638095704037035527573936938790659784169100150141162303377376691049810190066462088554332454227454182699606788625164879945943921613525257537122635980090412384116752369791896404498363829504990242355043362749438684772741743569406576855233487159420226141509865933744157123328715254592463741729471024467980166952925356430319244838743053931170526636172169795989137031631156722840472167318537877008591518767791546742174838555475083043381968627052788118256903610811514794859998011589269583849509912627856827739983861922160019123980766508092504537850958875228503563468168169816441775709544019752734889964705541920207950707794951766463087798198033534809146621025022404163256147230513449322010844664544553959979309759810136699636241307679891338571566402134490261535161864217715480422769470142560466355095563246043777828715336165943925915033996863984499627739986211189523629247834571723775259009159924152890207199664079177933213216825498394751641626206763188791095429851397458090670494444804459263605493783282575147049698478206995003275997896358443333763972933332143353174701127051638469396369095865904783163630856444242332522391896756120194023324513108482023837858177567050645043135393653180177833793449335986802088367511350857020997366583023842105213149285163217360370364118912917955481990769462095563191812323942189529330165235222565742408050688658341326329139605516203605467800859710789494337663500010274133905349452166091333994473268435795040409035722869305734408832226421053678412032693649349176192622140810564466515351303319623390064778743586877434243382157987617207918374924481923684024804045147358200413072355840821327938392724949501508637055542717653586903059575277419357131542705800906477418394115957767485490446274823265099744665752538247678498241732391748583321666835149802774718447075527430427127887982646990365954247080574690030304913197680937052198418876290279483362250723406103954715485396105950286412454049990873597800933386143084887158521700528925986611826547719199046576464995815265175659392175187438369500881260049069768030853405802237938535427098035958818116765091410468129500783496548300352627273705870978638878035568910091481380171876796456937303873308856665493495855128179593307366945739460164962938697233060655832023486822404066762227716423063284459121654666227541496874348312353409815929382431967852250897608844879916136676751706356660230716401095214214881737561127174636208518126513745639827318148751347045704418526978798907678376847565780200379762579989681007228568291081795846336312980188640736430181956670819462978933115644880032811851059076655383231337071659251459626774830374199810915881658423344851334505911083720679849575973034065275629745789072598778854213356412614310281340610961440346120283385466439660511410262445627041824715487970089077314185330729799208730289022059212311832568407038300583626567209896961225232728105837859483263194596608048506081711178796418902267298455174420846293462468856693910871227546343081355149994691072904218292731254479209687703702325369436205662267602028991401641628664433348345878830446410453956105516946549978941732115250652668967727128384218216142821235347082122630394546562994633364795909882087465998140806024221122709045452984881937509349727139285454284502355018400914099884085222761232220348423511253510176059380673240169288749721981128793249101253377274370821024290096693418145786334689249820293012791588410418138138640625574994386645338172249823089639461573354859209842503699827067703621255478862841263090968218952095600667970527859186215580077591562868788518137076277439541435563076740130994452293589925232668556223355584881934800863314300895354157032959351723668784447470605909429738496844761036821724393948425275397483917646531276987364848739788004359514221864795514747101097260869009556019864830022913429190171992311238546348141872866412098225731267625632610681234886233824177079138996001716966769108525466069764825004574058136849732358521248670780741533447864194215371255854343879334177691777754638393806289071078904478632090251716708658765043654432884206569238402670203128896749643323709729976070093549684928391696000458758584712994268340494893178595223500802059518269511243286425054150635369950941549806602506653603788787730189503511281749247213408356641395391880049233447885346170372593598107065768777951969589401905507864707939247562310737784169980112071055170798749710113039369536533789804605794879349268615970112395346816718741624084149165053036085785506233164097277824641082434565699158779872344457923181981831256084903512970802047775352890345101981321656540178883286761429613508967665576996051052749419108444444485565169252325791681863969550817244314679926826228403134467421699067970721957162042202923291940258371808349320954042099805596181341547242913306296655159476896892848182168336674032985865669227135693664830734531386769741163052931207999686600878757338000989140037468438236028738419674856843354380469855637866608572517609138496662129273741585662732172825645400662339744938804694965872453133745596678171824591382507287414965154245436960832657459381240001352494583137171391943259035205542231119853543057205773815650812901592550098218420294854359581594283329038030640901885747995956539526472090051774221151942339076224296662256192463347682044830243154432407296129333011742579429337354798106275827530934691009107507268559731660277499857403464048757392449846248744455258018768351377036852957643793004175793685690760226018751499351661527256688286892388653917349600351551262537621728981388527314942234201910442124301965190697783127192550344290864209628286346399807401379741031829116904140345844056250979701929683970041895230116659901631382630901210217985540773372137674047317891113551294785047518407470726127456150716946239604878437452921844616303159985204128284928282607586327338828374226294205931167695643142084089248541462528612277106332724513372588712846362834543902034061633392376711428059423967742971260272701356230131882230884178922044001774036381806253851856029059171247703728611829512565990856908011951075530492975705205060710042077817583189336772923131226884584828924755248187106194512869949714302993647741081082631858076544306668129032655437941062278653956129449915340795604730080808988172820410363290613375356135502934840087209113463517716015603725610014208563978639733566290896912631838980820078641247923564386578609255010138989116310377933164763654513506783377369825842353597711836946171947037195429081810953857644363396827063204754693650396642191745233113842944174701435011887562864081587123660202933029387021316824402556702247478668574182447589878549697323892407276664193125501820394455472768262857239079495454476109712957076605597204622571155790148672712870679214633544155335889812831998194727913277379481216616750506072094018910427146476815547621685040905947582489693756038858597831878773139005264239555250415217052134111344343446843639047672289344049972429607689393582032052191420963279008712819679877682692045906681348049775620059635686336627152970712670166479391807830305832934980025277420028324498338128726981351438883398233429583838111694748928145267045258166816833315061442627100342642828059083128017875127473784612955595434141994973082877034342696808440182619135974207410424297590577415859718129055929907835573874022356564510923989909183418528369307749930687055364507829463181917915524141479462316284126165379975522987519458274806420377699398347212537345363566773877943146560609514870838842195045255874031332094323037198373663283364965047635113023801367217828967689561895197544821359518733185243679135230809276569734050875193805897477332397955460955328345122693481614839116655808319493406341328187229396622611345604475916285325596784214930338144030426183242891915306029737099979737514062225823568329923064597150461982942761000553157092190510446695845738021880062612755737434992640641557428995536530207254576773290809471758875782968861344397322774194819785316132021204529646647454822429554074476199425723423501367388298723040143512329314091706837014490728308291709835908505772195237268397295399076863844380684947616747586993964731982155063421715672618683728621875568004176928719468415502783692383874857528667814936032820688714352031562121320951148188902693911863610844795314450174911024855896472980310975011463838062271018449024084389407275365560716217902286350648075420152385540199451945518249051250436320470523084674369077077513300547500451144539363496242598585512577778616334575925032881270096006788572395490196301644163476652504434404056253803391498734915078645224230734359193759248968360259637367003813877312683442565844647721878070921386564483913657657437974474507578955808066711528356467463150581468784516907579687723504458922806736019858266025165502291919981018202965236972131833362653978606458654713690338127387113156380183645000368788432426825753126978301026911302736890162383315558651650661921403640262432415870769235875385620821862424373848186627221101300572483395471191031584926299742007119278168872443237966463433953937599482048038401199657352637969663424324442465420583144436203459044708910439864975425903304576313351724301009279032107599204359726988155224237809721136397787479444826365158572571771819864971936837368424060568666329914605131846806989886653079229387225805872830136114658731805464051219570079166468016459099597845293685891216084652186821827604041020518009034853152400402158912958596068937154945404493964804521235620706518460117570052062806116433998939361057865883714631371915867893620533934246202993824395040191939520236263111818148221314180866436598136246918264103205277397826987315723846093435925668252096514587222025044242486055996479169460246852060776512403258596130480386562527623862605058892428897336669922772141592573448968707791849127307185243932882310012947362549292058307369660170608817465799363535803626758972910923945509303989958367198805444915119607659775276742293997136544232933741326619731304731662971024464950932175219096260922134530395161526198328899605239667993731249427519093623379461731849979984457110860206945983232268222619011364014906203597080264669584756639436696766109130873064916441659523034188078992657445710492854763847065666763549398541380742207322843773168798221267128502051487577790822755027168269585190321732026931049073701675338995281722148600138140970706125272523792022512989181837305481589269451054686856929448128370979840035410459973218491221872955485155631117816681107655510607528413589191139399078897180739378688132481348383461090326365323497547887776280227204311339182014296433203890454876083000858123675245118887664552838060134164200919475918997333709374890144545700862856742715015144211123718922170617242391160904272970472932883811947624501472927721612425050518797583912972478996034630010197419601709643254112537929432576621828473161596442604672473163441227221135063253309576691563502101291436751505391113978878245662671098702464463032302638536673010466949541804259113338693187373502558994300290700849282914671491919551221158232141309171379995624351727840109636246067417690135982300728584491577664403683590023001731906440690565757809390084320419791725562554934049441731196924497077149257887158785516827909741887658784095132797658757586309635866692119329124731372990062360724386499424847489065471873303463990509649704917680780998865193134702457886607651916138077232162826697863327941714551773380060307506280816814363384043869972323436764115181627956792719203307902929369376148796156194684136122076215507805344410800076865467515689116805332185356626060089117577420458101427014460533136893374170665300769680145777392214548094088463145532232250175852696874110021278475201787652583682975489468572853296788837793355468249543142556308405663538397317565041870582574989291664564309938285131951339189259576851890333126580483769046049274085317321420803888793816159633412902016483525723616867092347067033421535940668506215238566483554700086005654306263217563786695157227440529046191233962735201479445737944161776800329133602104526751166164799633606645085434461708297980401616131676412269108301415893661992844216028730247450430899004313304799177114381388477004762515692171654882799145449178779642469790395422281098327694049642612189346070582423718274556094442632344825228479293967976434258389628209748450453326772351431294947784364590010025342459047082243566416317388234667178125774922123700853234365444896143036459404813078819395826816173250807929953047340094696727469097108005103534448349822731273906177583046973702396958166624463676173849856378047703414949499889273790544004685225501695729170098384607921430367223986799909873620808769399156300714632907055701069285993915116292311747186468924524604525581241624379707415425696728700382136201566281449794386053092721257010097272145550245906949386793556267272110816900600695258788318765102213986808358779853012638102071730458125577427423146799402615147428357113184155701138553033874937061945814624981762367982180449744334096306046249634900205952222470409671941717360528629214121480142632755128082089464060553684530227194935625854118671288517112875221826982170621310185437976583101022553607863255968481849482718458306963686900880782963431362749179928188080804312773534299632676312165953707199250954886887773790182773557575910298230280582802386014272153338094194292912430974163866131133019168002508324698758007574941507356514685764464655852573208911090298566933277713651340835601553181696429108288960277508150187552070915649707522415850622246942092280319469363058601555358963252910645792840211174056783885026688694101147590021379358598867344172716615532294113730321118732036733207288688051280563507808810601296392030099615120505640152138257041681564752842235050029348228534041706127304649620892371289482323271198288198457476010165833720131764947684252282279888730692013555280830458647823018715596795354790477678552164984678985557131020072983253373983734720422025139991338792026859556944356967349452534349242049258479541053725225669344432286078566611728498760187544467316827334076761608073966466457253081804936186784418117463641777154521562211022098777758343021680760054955371930407562787882792897736959726237826577695905129670446224623629548625274934909477633497852900173161404808878988315270080856597404118347280368900711265736258416176221518739275148217220533222705879195892519693180495561477686467857541301006939141852678895560317563605276601155232396297645403998990163866320713879822270004575943969937852511255785633434635445289150619030473822535502006114683409540330571191659232248322742815124724210858206401070577964452611392385487318870402171788493056811720890976107388921306042067204665122945784017953418250273748058034129989644777891019220765598908122545263526769782311201407004947649068544694219839206527839186878371453514830761932919626014782804914479941927249128309084094635113318405020462217899847589850144495177786516227240370037825023441385467276890220187765287340648226855525356260910649086633481914416364582989609417316957455911353028236071244793788850230171004111864240492341771067579251437698352843888253012609544173175631344804685100306144218045058754902617010651875004181994477050324285862855013967519437337248520332320428699882635381911143710923621855097023412435114408707171485321674684531146058756954080286116285123192773324421716913273053750484058631455842713543045267873330986070867032137420997898864559318397678083305956429224515092249237954099885483161704487482644504714658120574542868639183333273207822968062194368393749234491322465455577720076422489179396619194374141523405436018746389172844859474558784944445556375955503623618764316699499208800580496672414748282888445098205497630571143319626617966079066762479310127070347603508063382436534980255826887829952309004547804826190433861495676497698886648189868008041373608036063800827813730171357627011053833094170779887143278813147869762270750624309321510494299291052902273775260547449574253632953670023219416072131724895471231264386653554386262640775837910164624390098603932655626586564386703906276200780751559967276892984529763904450611010784597792332048934456784237286640101906192961001230481889105441542239374861914310788404674782777580219659430316277704166203387245951562926994372216521031496769614073027190469234891632575919294728347040521268396371251928340159020696458740341105214938595847763872312995403513390756834801610970713723499878578047753651113897222380740892305426582958752998700860776587965263916128665990225984277008666752140239338966815477804656007817275685049705657637131939435248960648519723102364470046229064153540004573239155581702028448817461582230415574619294911017053745219609956022332418769678898855303697166850340687567656566699853452821952790834580811775096814445649151889227858972474637213685602884396493898072152509812561593933837207995979894625404915859583797760177157645013211194424503126384697373391055300373063522344062531979243521599459246996531164585920855827407811853139764346982689081522246171105403559908134242839948562944676314325169487467992221458150129109476785902790734668957934536134917582119755449695263042673398887065716416298661566632874443667867292848986224533225094286143636257729248471301201080246429323214373611241143078236726868608563341891792878739765425678374098474278928804076319490833201274995053074844105202090755955967288762144522240807511979220686592647643661300430613202853259946721790309445974631904486586041064688558203465516287608457517248622284748137126238499040626716582278763037250727524578108864865083108356129631831020483087285176299113564463006590949575756208385627853179171749032642911622469922409334809047547952674739520302630683550557092557548198807414208180505356697977794412089264009571090514005522941963101167287208198777166233401012727107658155147868728263620465162004502860252075161291818217916697884945755732139530155099445436400372557887269100820253059364138171769453299509422066582223381293237972253689129602038805421791953856869979585739362430162678956943585546220381228860529423519678003824516748262224773815293587300856593919248629519388577036685485989808067364152082431043666942509040821033496099517684815477463123539631700238180000680079582664791843311759309195788749364245707444910318437529156182745264594349664723505892625128296388774591623931965934732399901340916509441264018247248646995441704554004881613451441629913032565830457278824125051169154366783203620629583370991258823536043241701853164249189930086692857274291549349123666534600839885991362895476499523411916211490546799170739819146482287520404942546086657376427934625877832635679573918972433614282468195588833865407571528991794914792246508167970466424308485278413080199867315123131154626994479822655208121909721115432126275075125489060948007157553818595486491016743673766416521894980423915015993632235534482024555991309369584154748976518008185880384804503717894252112153654997864965342240028883795111394536921509436353426376619622159501155041762879592955813076899302933481494928715283140429767424756320454788798956322630704254544670871372228987584220279185997873436671316560968650331371397444050087592056715876589080499553054425327081431646298249434397880832693579421064746586708295030729092974295424877294984665830918980624237794386085246202797749962688371150189434293016809352421783502285740130209289645773247663591435181605922566978058720497008215685331523702248268799832135490549121991426043131456052392977983226004584771452989469898745429227894582004191759657547989506250883872265104986386754911709550958216100763648572319537804290588026275143119761542414162025481167453765364689798944769535389441602651279435682798813950621814029573671875475512603721705705423508653413997320520386053742140816784442282713473062041353952009204423624869179419838416326227213052348018431130615768343524916062774255681768372346275113011188742326374850756957228557281566903807503798655027851639878178964040830942251301164721886649521108846345213356757427452248286095630481851501741805296471470821186715737633801289963320287295062193377560943565957467776079843418503820138578331797675044037861729724334647411243846683769951772288341449035588024703623359165081000950820784256137131496235362718896894378429549696695434964953495659941651948809739207269743593902056729143573223883132549518153554164013116916221320538342879400420740202890550544188071569856676255320966948423921291698304407315590384756025677806632599691388594414255384280883940392876943142287047081524961923351555312364631767416884380501783714347934041044689713823327897883291611403388783857883006834163378180785055719432285224077396143110161731443872316596939219501419421962756992111910134827388571846953730029954092456821683619476389741740095140721657235412388675568752365639853139579289334519783845885033414551768540886622227650372322558371360857928623660206882128205324393272816029025685584467440213300430094619154135952998507335484571539212314448975961530450898321243068421209491932065710522297479864715718148439006726627729184634279902862893908735543658294724619766007705390084453056868101072983519198995115763750860993511200212317561278153489785419319988091688939786957060746637837188597957351754712846772390284280266748362451902401604726915189747519347901160843078489523118944862220442295336447573658335962902772412022054815597871777687781422866926046555352894688439114894552878494020282995186361655922086141573665380288911379284829451382972526477331888885245031019311485743706158439088285944720241610391541046491748637614537440109487750166315339242997039752202280480577139480502946891318765750949819425357035625775997538061224142931182813320927341112936615982007864963716576050428346306877405823424355478018200921580575800952246688135312118139993579234454358652538658885026904248998926006657560773607342023197432745448831517697938734506330008901952234082390896177742579860344592680229191175101599070782505356123950040126197117297284229538209178160604063049178914220549106556504827973420170120305027338330907789333105169988429201202826067042383083029363159340261165888458151083154706055741328150934343201902213981495097124868091233247104676440852405719191194638335786793966069734467390613276803965878580008774458563889751565880381421392141249357012228157448093756636726685654577592291088438843007260549466681285268259130784555819054366905503829857195167399168754551560556031782040370747810978588580630686870269783120187117684074913073574282323229093288372510100165317758419923664891922174040145660840826238302281079461078997956431429235355648105124222078996582381400712309639832933276262758389949375026388334429782319506390355962597609685671647607946813214357623119911516835097993961381752100065754647497285592969355441293677858391417078392570917534100111604440852291992211259896589753245361173785414825333566002110898439995773591785390001437945907772815891071285220079997068783917927658183266416877594626794440104403742187517530919528638099663452412288104565825448111359652506682959117455321581859677869547515922286991285807092635906897684852685823250309248019451283242583712448370007575697165519472531396292342386574769365525453487247378869767907276603015439988029169332325908855759521037921830820731802925431845917686150186682481894945461860279562914395754109569215451180666736576758512789424643207767030350577267535602013576840095628171076319498490998017729435716455496388415411346606649436932378402007561680525151063625809508873866035316905119575490646306090310145591033305708888744256837179433807836102450918079259796351777511582586914962491456716913680028774934938483394888009055409836720331631533258457766327433190234454773780718341850027294357985423862067185263556307203072318761084869223890268308486307902688012918605656726282651498300658698314301471574546739104186675362539575981893609689892957672341031824017837487868963998321609916028925553993792065418211978937686190317765487667332289572826883562230011124220546173437198637641047358202103055800356928676842943382257389640647782138988520198636827945118835415742774439092931424344037672546953647021907634353747625839233713813800319314090065848389396867953744030899060863051670480079982404993012078617490389395377574843867260983877361279466274469165473023288669377958406620586216757355644932386534545868033932078014646972237069792538426998282177255065587588191642533374399278553657873923100162657898797617283993928826037853467668069382001174739058756894852995595297063011391940153568989707676400274772612378004338414154251320020881386608355009785903987764466508696760193658541260568310429755843589026022412035010443098439387562002313026100627080692386770629116375179445595230559864909958359148159981247960836596199373868329264907784907052927019790430048661515295557552193259773826340846204900835203050174136738445048002562900316549087635794836429633908919595390323139452551371158931034792932654166011963110972624011767653162399738577831710413350550348170724033303438749343741958760105616542640679909197432594609110904362314774896004457446211195262006510670646848361768205055752205345251879453693878645101126221124130296172655817642543757319197816390130666892935768749208978720812585033939668197906104290761311406308322495901607564054239384116339294197706257815191551321787014667989158023380521455569952729702764080174908659686935492509830949976423704367736376498870022762549697351132740626253920707199931428658932839799516351231541257371630122873223632506477302101742167771021088516667278778396177924825800889885513190307280061023084601706224804037855574063090328236064505653391761890669623784633271008797846154949385043496283496876544371366852386258338532189698947186081873674795659900621585098573092869490117364956630758453592135998177720477200902501446503935300550966410768436375440282511215898219111734672737038598096048320170900307244387036137568782947155465114170083741109337187273789402990945588713453974293316913750933814963415727096685202086886295724593093023453038580885765272211415178530806918511002020709441986962856758444537932632400740578850041307341736123614027648295515762856068410258546993334500086205483148161443814975390495620166358828907406079709869186867491005687806166946358679983392249226268877527117530053294141248871313750808332276894269795133264538029973086256928922004388707112435792787548690009252261548770502965389643785565092770845131862184917333561009852849356734065158495124052000759017337649237025392258900164974168362286364014128798472294652838971935987474331160023072796672581422479260313751536551744756175280557637292771165960385272412378268734173847493824863829909314307147734752218830113244850440196462075608147052159480630218355780428984835605479961300080637611064255147758681222168131741596076048324778126059733453677879480057474830904647035126359277868675522333431182391294226426408666804512806380133542381048256057020879216081200250107786072174311725866733584318628154023082925889947711692464422985270705784914646579852594649601515848289200467610805575315674019036430615366100848446503313968999272686660932747554384827608025669780067911809235905055657355783802261450211961873326286061792379417764004318329887484479228871968065931832396146255199729310110611252589444352757864532990084786632152274716190720689291464845950749798785069841039565451823629664490084844973086532872791786892825911364180674702229171183703179320240000801743494452897821190195837050887602472480242660171745665701208602297988920373610124529614944320470556525074353167731525040185307286624624246692019464376356474706028825742044392634571153800877209047344075700366067098227383073375908416944887509145814402591459940882878377892552377616774174149629344926689255746706440298132343374977559307096486991476407452794064333801419212983847072951737120650355465059117806614868976161855613782173759127077666461589306927699716248632936748940044540570023397943921146892774097576830244196657148078128895231432684515487298986437309137429117501717108541277395901103773793323938423368678465023985351481795299482447933393927530313272112204101046075388482117693335335597107057426671977890898427302606010435109411517436781576064980512935432840887872160137890439340450225471769083297118319569433348156033842807911741508546421365309252461289923282528836673989558177927476077527415538574625618726931718962095700597728173441625591237010215218192156194794079047605033174892967149220427601772274587362863538207714321231351602011359729698503762309520082023214593435095132942580102501442386852890521655639599287264534742391077631548356389839824325185535947067018062264573708646447905850388497926573499922488662171456644055256252198758154062587293196002960554563813638328614162036616348315874535677720879135289346766861163165389726383922387179878803368949871975103576489281714636097539859960587469496452781607948690551315285112546014669051771753424843075133188996098557056732777874772160139714653401012162856658568550338102733640877126613387935234469683820211813182504500196629193827295503973103720617975488444144271403786534990326961641300472828114984858395318749533598407821998933684817252693925650873139621276277813073575796041324092354696783840076101434751447383555753313351150708358412767561098559400176894826470015197338832420295909742833556608493519434452661782826082129474335107420480842656954982520659108550795757787501500392850401447203976768585376273512333763753683536895383887223875234776932275366854056994159120379230119928216632286441762782895576002310196393815674444489203139726853952389905548740442395366064714007171961538703532974326631584970188892814353607278440033132145769054971006842717158152314184936984906586718546143669971751165938261798590283122231666123505007184847875332132771096638712734197451002346355681262133969436356416903808725565470928379916341569922525918738810614926078753616626136698386764486008354529189664694639503740510787447387362175299930034555556344890494594584298355958056984824386368793155930127356713246515450746306319405762327907008828863519741856973954235979656440221421563174823577942586330410990357717980751007642168383434001048786522965769181967794634938054452174490202921995528261771163705842966219676091126948317941910655317099244102168929581349079473214089931882903585541049452478759542485635035575045625331753101274282302536211822760904506096220811176019463924406785837776686258466500714300622568332168688350441859945542350240723944893179467689966738208719214360797869843644757593365257619658530104506819063360735764465639077510238102541908074726280191043572256104948404071963772214114936379275361252688991061494039847289465705346479508366564949257920667318749778588409464861269424157086392788637725309543995338300168506889225142705994615313862535767738993931210466299785723661247144044539761227255143676245685893102715358922729437885678398783353226706627245423445877327688413915523244869466947677540196291786729622997738466891004822694198495011057933611910813682006763928842054519058769171498131924435317153089001954761555269063684855242714412801576965105439207051217673756829853792279766753274777304719792646868381877396849281083303242630093651769592692103196724636488195539155988385807159261127605384033443678595442448735937529479948170053585181885242404234740150564297341671436826661395705865641115576404973095646438234037005599219136012409229609103124403454598306091332092058107671032978761305815701889755571124143727695975792811043062834246471388929951245139234928634977576747138581157545480049283026674725751370112988808785714117403146407911924049512810841326554404008837207248145353970474479769573578254271995375311273173897485179804115506873127397879836948522833354990882140781134997580586075978152444985431171335614526915392033142992994798877497443824089158637463401521590910785292346800332736072751402826153249703460223449585939701548287213408517853912807641324057964089843269670435034317504844875047569017644423423886161393937601796931516969628129005481209999191569646610640097206293505523117047026374786877749113524957504639084266347946039682933268180476953047238905045375075116975730762733974059744634123679103166227214731303720381075467146075338002136908311358519096552232472926900347160236586765603654576776308486321507888723138611321817698186633801203128689639408475588565086973495418796477120605589931014866174372650473883966082164247135296384382737354983420208434535849730100601349150924499388234264474254800387392650429893155175613439316540248306956174288025164270522609194606535449241129287655282849696396567743762283755843766017662250936728667609761713766216428050122108896485923721591944156647273944193749867590365550402134042276389151891709708191615073744595237615534693416242331861665837503251606651415040254386344000538395956804163116854088775468638540185050116419637130795278742764120762690429763370068607470251656651808927892016803191633823493066065957912022392452419742473712572657667076256411645247633423180006432375150629779737486669157940873514547817501160554049149743534364131072801869554478980906199718024345849100336953794402856398702619245501752038809330725261171772320936989300047458622410716516130117822120402726126171563581409994756810353099205210862430320575276613310746984867020971438485870525224538205153972397523033168340404506498544456023385926393325540764008781230035863490032378980791059404982813387365397143699048643795865769928769461867810091518571044543047230416236555487952515575043982796617692884420959617004679748762772010298685510508310157663245182882728373935407462681326109281711282204209455410717753787510548156766725626853378610694533071273164211101487278294512925381379210302868067875697805071608499355986834699091474017346427852094633744769563225621824032721044023742312036084521181433939516411323083568572854078466968046466875736366030917253957056137614931553816103319362661818417581832909977786948359284566142422121349932566305226611734205043792569582771881081021903955766598833086626708751182786529309346656332059517398512787260838027257814268449691961738218081125476009104166984512715762752754214817949132042336416790343149742543051601316916237954599885981473004453780245766880365084479913394054554824450854726461528089957122879437069880170617635132920352488446483325111278862066795945522542497224359811811414770704715153960209901562519104972467638382938081791932563819140829999662292914673948411963723067375708964737112524521082456878647778969421471633923837316121495391756699567200621032727387692174041341478004113512317920623943287431863137128646773305032390454715514142974128464898015449815667550199863638612348277853356134746957267261037660399081830844310079977701245795181534044296884618076612815458511705054483287571408190986053659747121552362912773373917738830995754136659907763145357158687294646827627043417279097150276644568206441079417213429485167023491481534284961152254543665078516129230117374958691326112953362834466612005305634780316165575227290872661796379452427257665896886998403722697171718285349598687687963172821541187182467416143740969717193960704603633949322667464028583147731994169870197622288939934298229840202434263388555656941450178158438691411624630211562007008019269565205737410912119541277514289942888515525083019577859620997381832755624282080236706448939730750813349573176710934233946344563748108727887469743515878367818656960670868370650494474147022735216082478699247626993462390981835740776108763284176380829213833173127747846036407944306034148769686752683241629889739032309021813105806494929473604097800607087960706850294409017156911840999278904615092835287987216664804233516988118499192804997058500552810228974749927286956554893898532016296117569496913956848432982127749115931239012472336965512802275806229855803211810956055465992692974748064690967351513898069156161942932473670321831884603209161831219979469782287467349033273435215107285788782192777456518546394162082674484933161639707602587236609833626245123984037734939542446797283372381490298407798252734280572905453379986265185906514310258646657397940488572879414336117007881765112967482405439731047473020082009177829888576230665094025330236457994479639136497156753128589079879588615731983456824307181465119734206642243470797675685026046015815526700869979159674543940183549060543972814411709651684813385895127646789819000809280144505314744184349152393417004090175482377690624017213980672790162356018444329834590998889665252025707608241677953309979292217033667432662011841826118083414007370782376199212516307107281339107105103046787554503075461001810324705008261199167340195946323690081104166005321107420794012015705770414354793063238269634108144935844566842186634349457201069359481819090249024283181080873512663878433387593009208821201978320356194246858755905846851293740868186486904220119659995629284075747992018460850190736246288421477034744186328980373220486389293182460979422502926285549430052525540645868182794909263626708261750612710217329334057026407149910235201831030055244633182260063461229111332604014939077649462191657019378240342459632430417398279955974190724479158002204161674580400274866142336378482055571078462345773356921314062452646816126806964125783917990484965478231824254536377709831600244254580088095124055993271393012647441980356532959926322034503092438329400696963243763423894280763838095993390384271052185423394571091107193312394861081136790871029069061306056273563285155704019583430689643698266991462977079456012152199845359368385755577042567450018046420228979047408236844406907084173378046339687422189502124725444342374170858486133009712854632635925995849518870739395019418185296867070041224488076384984854269535960102679548891077702687324380090234688598096714969202979876484227150820289159137778941390657055594101971103947254154336026083684285977100054481856183817432084202105042064595991740974262742891935992590676688175004796367035073141564610900833108740998765457401492103105666657993252543243234247080991653070225967314502447497683494862417515835241519001053854601290550077354630481916200916083955541146039053765486901100469695504769709462889846249375748767151303954659435001806837592143579078143867733427369302894088394065789083370544304064681973722896384531416146885283842584491886741223984478132981446238709472114904496909336419122731809628896015058588078413773337240875565346811383080239984470538194649978366449342198194675120564948615227968791312725241327107244019404236964217769686985457484052933330601791623394472176445351257131960680960157519333570045379601670242791813504740422459355076841229357365689048443532611799722402509678632403033755564014219880590247413118945228169510372050370867677268138691677176196138841445901522416204441769494312064933279223574839103210127891828277528237948482657359580059591657501652084311600669172715183900880074465772288035818058614897985336670918642804616017136613904991919034252036126121660912017629191399137661675527811826536963916965269796592790308758566481511949926519486384462154051676863540463635168694297923544953188746273151256543900770873431587112946184964220035810858470857459947064619779179018298448688376247037876628175358966615752146304229980404130355183894030540055945132441393829244995949073189013191350239722708189868326966144761440100961694306696304896696151335734538427420911855629221856011686040355239217684352783638833663646450766511671065906605189525176038571410602144409032364796803509438651833498616844202694746337911179699475788930938708939357217360943256740741433639578799683334672630701120269466578354977188353089745004635925969919974060936130788024626810808307284652036253593571915626113679569604897839185508145952643766577730996260980973748450765745297828858574524366576274250643924306134697979858013858458595658312275552079765997947417882526751273051472493768506452423054938679493664418184905924951083533085640406122367780685166064609223644772301738870468904817057435377905341162476617725913670323321379538993822199902374493379614431228024838485175540235780786471478813131192749762951318143118434953213934013933806704345027479739781436581755663206581132062446989636305793298543941520683281669298151767050398752316955713448586649922023215167128595629069923102511232496014465589741525493984582233774707417318870781815688354287391614370440126951641088892302180438601614716599019873429266174561389211010844461451099930386734884224207687934665897178400771178961792304369125813553088302809930394582694353886601865352262596462697059944421708902067809115837346289745091020629395363956363485291664063792358937677805419211535036397586866656135512323939138264917246683952136613150408011452973852050474878591626950267737387377381506634691164101369674591048055871288630236885071570676440384830191981024270955219108424440379045192941216563970336348500562493593045521341453925074072037350585047857785813238990391373160905111876900072485420547533396120033579682360592841582319447120430384142359288262649546070764376043126802320363110990778989708311840716061453053082928802042294334962503295548675359791794092920332405507833272108267587182063026749480250465967541192437559989626507530731712799937465096828966113066305046001460316977788397855270351111967661597929834613005799645326433237409291896218217561230498788823359507261113072717165263893951621984143602746314980336223118926229615869033241384568542928563100859314403308642090983646036436404733914117161887501089456844769905794935029310323913765920248843376820963107797909742970904426164482739501752654440619508146384365804094435876642263266056320304495723053343244272415470063449755721673791468315911442977507813325507446107657584699582492797043725812374167482464342230176852927504606851486971632134074242874859930581221991061774236671002108511617903357185291987871949598454653685984789378793644032324280403871204985208248838472854983602261412378970283869775733515686297925966629764641731046963614372397999623875813775090006585510058010583976792794177787166245036715929521163904270472500731080699259226776076240941657919947200488993393915856648585948664539692078182409705827282843659668375985308553311073159931286286308395317027657011558360991784476222144726196894629916540006971611094945754852277013363735010172555603942981893762626911613518993919076436110796647248496888338396260290630237571676863761001181380873985197751201274149871861176004349290086081506481127024757654223690090587098323792537052868101234338846079953862616877375879282242480416156241957613210514789395102474078375026916613640506336296813282591219502117066284559327879217259804949190174671029461765306188171096439625752157631012012314589947107660488434528608579988375296241952154436113868972602465333318821600363616310523505347060910350108663259506716454754964533341105938521121627720026334292821228366639681190730030555228715215307433405854800438489228694609563233953088425654058195259636775112491113163655228583808662666656411005413651546566242691920393163723316405899564236657818462099953938005282399718986310745952381185055478630797099701593810446082938531781429582734785975764664784107470346553295597583984692698563646945920148195713432285776296831002973936004650942206003580495462870880506528273299666185784721054196522102037849445735900294446856299211329993037153521369449734023679463055173405214901326470268318129591964619615914992874387838594211250920732939481783449185085287294523250292819323381767335149002530446832440312620645845047661940715354922175919422201829594107865267429305273592955163891533060606684802310631175764420677546022185145422496660509047210922621258036305737676332560890691031377723341096708273206959948093698921917038088240773913118829748439425883738692743550015294958281940501186193902133841305712876499269641352745350865373194218737812826462098843921231831199532051318473835120444695372907534221332348345276945784699245226460362296357916100578684223430330567508287140887211847206678419175941526667323176803567857277184328555563130891331530613794739336741991522146022465562866711905454891126061078412797153793375733387826569181664474308924315383348727707603188644701412957593374060257844738593332759283687320561975486604221154148523403614584584503303155888201601341669996323204882105783953226355375280280447592098671968470543859309424587825406164886838081448913569757798344627511995555873096516395433839560854935399672347151578484843895124270082010085086001886687802720956645542386537356001556900436228919290891170600264620931947248181078600535294038225327908044483769945309465980484803194112258881218173901177275932367903058771626687891402317880657828935255273091153714839815827340709447397926114131089148684462651157512446595990138359914000183640835865075172075333995759961847569200146616814605350014953669940738178470351632775028808685225881165107227475012519805835962318017823857135035911331006591686020307493234942566149856152214387859812770463519397784107121607661033388529726138649322501634495286459451680173972860987123216486451322888571724255842236634442120213470908837327309747186879206363281873606491725839136143093928081146831942815304901576849691984764969881107383240213256223321540020793706296539131354667380176852559160760924027854556933594407242747453753918124926345060231021603498905839684918201579165837450665431843838913801703411432394924378198899245078936145921712498904557879365651470081709671440082437411658305831874832664484270211408768206631072161056489127909038489432647667109570430469384307992992553524910072319802278759455170646839299862532445613072651094888371601852802174768128791079943211776287559706093010800467937515018326566977049424775343708328344760996898208454750714306025438928954298604401173580379531461928769280275024245382820152139509521534360501500390416793965290685593872344379597474885339039792763056744213486898332016778396399214212404079932865444522797894400172136828777029045619878416645626260059626700679654074198093381322415471880600392983068165661804614519025404826653035730174333954328055543912024550015465214547355459841469701162901783088952030538131922151017273587925006353225936668700174689108919614959884291862110630351928062864031252019876313797343201162012050767925692376249337439337260541212995199632198875404534848515675978039654616878053081017817303878335168936187766229315185574627474156497900889776117477922381166188400253385062708990210715709494165129133388179672386105384355895048199836210600027557987588634572842752136929663933519261221349704888678722024110153652587314648372050118701524031488748393770847637357683882445085334133664511754309992220387369535984032202639388369120158562867468807229929361684331021833829265091328442531740547799588166449710450839676643459007101233980889035215823742083745707755044811100198544716248380688768310436091170520207078844362188009794609185909040274727518762256377017153220745859222889469900612009499839813040611670112778163440298745450097006597265446724075654522387919909006810726239101646415821219925466092559926368952007332129988933407854721668092766712034634654094876855739542661169950410413874231965076882603175272371330121583904187627841029437335112752860519891981193506796487524708016681519948899588397754608982232338462130990238088175799877782569431759341460131703655554290639255969847370722124297110252664700134442698217546127362025754112610956779069544712494536385003594968654761139229280276551871967081925139147014391104457199573922367666369676493908885053066824516687244704269448108534029283852193373023197266141461043077293698491369229405911916550808334410458714969872342095537298650758413630131114623639615746036483681211916594090177359234184543986907569333441567616575790607348553223615341778773055787974081212013887371223764340321232294222737664181415423102410890556257271903983443318839228629788352298341555146199269451791761214457068767933805882506343684858803363591345811447159326354826347829516239006572598720388834354455130861066901289115448038683495825996975201376694562630110106665356195356518890663311821707218942701254269319268129504090930044508295514179911501029754243355526118371201147687678608826160598792609538400451232860669663495921617058117355801778159417888395931225824748870554143534678667380458901515176345982149127414804868758500948576408325681393567565698791650005459356696978903207051716024073441561287845188949848348723916437203451046231423066661075562646626186960653158156849012926444707665404949374782311498534176937368897786464738106819119050926463577848914515536091629404993679433947496591735426545551767616929572611231958570455522499855353944338039485737415927330409396699662222413899303078006076586907514538304634138627244064383350771675999136659020844292133001063396208121379022459370469678802040161535244293982001587846589089767533430962624727581854965820477610197012045138943585851573388003415017393236860039067072865644667200373969187726714859641609962985036839686900255139187650582663953684784489768728858404379737076571440297352861087718458313434195954180054488221270008953526948070860613908659583711502291658201765101891251531453080988970554960055641948619014360589724081867627822152745071246539076565472082006616809136733975604532211163990014935131731012841088341313330227372711660895635885651942338540590346782364677441336031077061320943222261076092821819428814388935089840402621660507041358643340757937825891073075842753578096393402884632448933668020428708226527540137772959667770816527717349536483980934803008143420926113867815753795134337006267460718006126621824416017510526559647011082997066082956146448241886011020526762641585843769807729131185921739004219764616910592397647056697817708885457718355355039205788461045192855188917212628040368217053702727217685782971332390815819485502510216921267539694820787711850703413566584485507127082608580978830358589921990343127318586758943987878239133159783821817783900028560274213264932083799412365748723799994721949191577898850254961773287303487960726617997704474864094187572612889030601261348365593943679854920289741330676993576880950341109454611417647061702139973749679114105270404380241994653832897817407448836482295041688473566172523827676839731465760670761510181939255913236032711901884534165528011816069156922795655997466252612524057595420114066847006065006938081125971656525378099968101750702179820409780492949581892955953636174290223324176678479747272931268002960758702487360613246703092165107276561401445803571571320519260054902322072172648838314271946871891581327023974150505332609897083108202499055714591524577178844769859804525042112112748206435575592110333119722108345039833840222491569658932276478665503796768141267379884050558555142584290745497332040252794544620957350338282825019294232183560802679562025525388373398835336197426722287797184534759409868817420686454358176627001008292504659834065359935159522861653816363345203119602223824841036481924649008884982200246928788692877076652615623985109444268540126978306832800059015665338030912720825365350203340388745581430028412342120524821392156621707437743604261520797132982774258242058689301620451637381254625806724941581348873306500477488689047829361742028045551513239184786465710166130456095839217904517598396499997322447675572148025242353835661829817801352440718028513010957171266869960698519916644998851231156310402571663893440938053530427474669182599218885474185005192886409280416749095397831188150938216580247761157226441118456537029884020425057357796374697583835735809627915774249349629886569229498017804623834360382776250593159722157562857551067003785368452441611295514604797980979524406719399281919040873907289421179318940035944973105658737626652680974491960307153742090462411945491737170224311532986420137659578875761383254806752553002514407869990146873866025217915258082711398020556758244185653637665492536453255751767445016537648179389775059496929613167991195201973364332637573630424398759513095309466333290621490662569498928152454214335239117167871881480720455324507505245579872959820289565304604571161654082215357440663037290396184922807548781140273827255263501901955170686348153770900774111842120590728522769038840144492503704827799023675589980085779843831350438443585585150049227210490776848723607759734727225514666162431961977425709472674187624759392900277597616605662175469359716303344125757657684483351987934428151393749219018850595646828782161559283856625689884948205828746797261359397912982930633382620640870763746415764557863466578359668818440405945536238794347035240287255315793882422657497931525703058278754572281174440095779946399442796186260815853489200679874033968569585296192915509825519955807810155379533855911834864473188759387768076413051553023494725927659449966034871622764633775926235676181219939384625147972757184950810563591703263793817862027618281667057369955260465399425361995606452598871040768581064133819475088425770471883249663906996299665260120357965082789943985336076369373782469750096715325047970368067615727981692062217197642751113605412095200653153093198026230952981233942129282279533445346287611492620231326428237633799245349589635278116568465424245568475213554945442142385937899259477089906060186063076520848682368663607246211223329038074071100987404790247920513858452924251817829512121982126039462927305336252332044113032603894557339038980112615148822553357081337726085472692160525885138012150839222870320727124381735081753861777135940896469465668974218932356266165690528875474868154764939097642301804064047744215761593578307633286095760448805512783339045298998848331785338142340300618310660847179791701677858580597732917751167739092082428733551670989364470552372253624581728186063063222097567046358981155981807958904918387606760318944003251873685246290934817441416960112969528926980422541160878659726265436653662870591206193391931538997318782051508145255897827400179386040686886102328048452022309053292383728996060383063951198433037071516888230909366274548454245196764916642743025629631842168767557635196989317189810004098577961381835751513443975947385915495289773486037702602918727051866708693069318033737651466700753298915649069505786121365150126053584281617806457240679126599609883212709645934241148921332794047595493843046911735231669435219793738250880947391441069532033685408528461355141450394853204817683558812670477933924019668822131787660463932034631677217073232859691950041389073074971619379072963324652488885906191662977971544586840102290890598925814456226480341832875261699518136990181128970702506917557227627276400918366075562569370577617896419355667190758688165771225508739982722576039709871050592305537026514857796442264347373240012151837660933609657911323304467023569466344146318119496716132396302188747882345463399806664371550437270128290510133950507344623249421255648768578129394228298762662054165134595649306575349728486167031485320090220704467707614744734009450626245905510220357059250768740921586880383864521453693237990842843813130772809651018873299365272054990470138484603866057373345155702873466475871304878027809397540390426551777834449329409264128974782571243010522706485763167560232144054663647844605886200670098277332310917520393747088886711081136810204635664041107368038333967319018513108777973769672595138514038399541695998502840463388224471827254642325411161357565642494950766185759886860159633753998396682785013955161366920922755151471031984965657863670814272871442641393500589016083301721831930624559488928422113003450197735574910587974917152541165289511975525141147939360855193933872718647622678710889547018226468553198877305054151202710831871918392491263664375139872850752813288960702259705827710893369815087412909838862515487177219701707521177895897405508792066172002065026535756047472384494300566132684286177169225149085577341436682019261127816176920036908147809206437447449490674841055997967024001377734259646401304548047704553805406970903242224611282356126554322508401371481443634304605448809221609887779255101111097617518083628248341406133242904385132550385515364127697598703530225088962467626408704322446046295363065492701772797429689623690140433739337848121374485353270087828110241832278199156613544114210110328997892496672282120441282546357660900864281567086832015204393230588793119776607711053294217871838074864882562493167532896741412259652690196085170493927264765642609325947231991076022494223933577786636226285866801309682989075666258868241632105275579337860164666217923791742982102687574105783805739444511532226309388382761472117235600763714256545265704393826990470993692277558846770032408485652825326950570720999269302930968129292932235079782694700399980008694623550437582905692519084911641791373576283871961407736424692483753384484630601414574123842181662879128333533627242053331427087726602993793713013618704190192799111405701146380354821648121190892362419393462543720839439577254577747719269689308889232522956660448108830900352551106289160109300137192835331305127394067446126002409116547592528032573243254564195000226644078413418751636626635265653708550187070820479356548654831058039423700262936106969913525039485692424256089392089016515528364929742581379324014163938561277175300168625693829544359531741769226265673846729381121924474559108290782600952092028198810902417291620260861344994644025463109530678230129022161465630995646941081974752477888689914178494903712558063184939809734350781081438349801659426487109726819502089713542855025815858580816254025569805921133860462157616649504827941627357115209039519214594590810356154511051580860512577560007714679165920357602070765274530973493612370419773168303481995301188036814214525785573865803361502158751470074302344191634695895389100677848097960007838873314887246910445496972563360043081194551223358528261773057252682171878075797533698266197588142060402513175190765642123600391864344330021381264940345662310582308676761832050708398980190424145267501392511545891281481063249234622347403431606369604862190105733033252285868650492900244003763366052004811599897558471316892042068597167209908480903828132423229156372413391648272638616671778798850362134893675188357320024242921000797652206727980599418793262548974323031267043824443587251576879473843308093650633228917558765792021190763857382356607638792455586642310137330795329385029146693934085358086908285717311213978270976327890733203176540987128413085812604943790339450485129684713307958393079088699044673884578170548087093735142467265538904027919458433522424287342015619741622310915868305583155678488808302958937957941249869631373154814828233435600419365676790888300184013654953450659092491040201551156328197227860364380578925314748156711083715680160984476173608390762512052057856645041677533774967555758745882328220321249822408183545179593978707142189301963837413629698032524849172335095955289161314953132308885920542950272946463589403348773386610374282130291158505263904845131183466816239486598341205723403615544560631288617948980721539582536000732831858669491481003109876281215688099961937895615024174621564821766836119557683307695402995269122080132469420642910169139262257470429771709255705115561630913373769474490127437555927289895602349844081613171482460627702309157292803198414527222209834380808571508178994020532995380715846650560159380112315444124897154457165330667060048563504790684968483550586791242844304498550049803767176014577018441973554030183457066484930565039751654896801835646180667563089315506693294376800438808742027419558177990693183336972468652968490347610965249260287515441290846208481740434844426085002368846376192372846186305617793985668258726316961603386599354557616073328878034718278652415316942949107683721558535393996644180470291763090484538046826642638159038255593767575178870427438227611404301262516538259166159648660524784349443078943348599386449842435930816937985330747653399533290073723972773381663732431867536140840083269346316640825411898877464678632672416807027038085723210596761010004117328412347427895000427550510096967278281310332939309117135244486621870538344966766398237166956781256368969048127229785335590334982812459587710369029193519105768580758509306144277098591847571923870047600197739814724223651132414878092729791688517903468398570641865909684691617323850419105311770388612350578535867715838261906823023729785617135330124415020321245103304452695831982831328557381747031947389211149610058178719996214865563822601122941887530066360238250795301971257932531428479809722633975365910621461000249859717206122374956230772947386414404115176280398470622626884781360526744948860977675029153949775130421291841000850288250742576348012096996663212634379396706293257964798205477583416246972650470033305109778949956098310643568654830102268323794771890453437162559771029128646034810459937266519810141129533049033029635670941726242225031105519770390717982708353909534137807044667520675172114317578951026386694185949037601797249326649864271179072521301718511055484257752994498048545960445078277422653489252336457192609274415849356562112487821119891303431407160443428996180437739780533059808354425732668985111663485588867419735561403599583666574056799810025516815259235184035234945182758710178445404907516857385993377693325201729808267167054052981042344098211534724264957173308892897495522528726242399509991014538754060308320365198364600015888806609232875550622154268591583390832809648705983103137737874595313087896299793054991334026266569640320334429021719660522359646436846295427056704198444449494838525763865479616531374134590775640916435131464550540764151390641516561544690994809275963032503425346549673026563232803406093744648843769644900623767460110514457140683714346870520883139212013417575767198564286668490652362300948167674482005385913380888658801528719664863216859366222531959664937418180004314121570145604459302983516247337030845162622340451071833314666869182206203343394659258405008223797534387058663304966903276139970167968021331834559105023386833803881174747960576573250387829136705054515436980253879798499562821819521222724719335711036764161731747510303062551101735278259695631873203022679143559541362091180373482714388325826579265706849410698056637507828658394398426341975995455156830450312717803188076853100847972269345288523234492585083967060747552472314478590451605898744164905744138948845413066372322836454887979279755192131237462149112507822198624583048266743296300665933875065609905008004923278457321268006216371022634936851270378924013524807236602753129003618032373305200347842642253126331167138506005315855354585347734235379784110224362046721723581887188718070527273961604847207197184564159192138298118006658242187117437846967433682674906774962640242154965392499350686447581882314403940891247384146679630670099170062938352554549169096287393305031036855270610245109828472572508050015043982592716225294359894267880707854804140694519181916015537163248939168879416786822973751168675933963484935665262548759093101292505410788175434967033942121992464293548539530979307195547252505869778968757765570535116853003212264083676185225142056591872579470857777324391657215386331097748900668402434541549131121501796903607591136597598978320040726504705363479669031496401995022709301250983278505835221776632687961676673967255652712535085510860850490883531091478149668809212013212890110966156211279754484026834453497548903003729487393419470987535695048245012959462868849700075073691604836604469673956593446388587010696607809322369125221905092581114473392801780338645448523966942758231606838472328653519594132649092206081148258563253291889452666925623247221409793353926693616906985742962381315442621580210736614111486150497393543628089672405052564027360768182434772732359783052337197005327144544044647191775859574093723084533070776438602935404485015771562597434731916264329051945706863707095374659311069565770574343349325979383329874102535621148724790006788609701339412403811591263664512790115095412648109634072444921765048612563851412961090446185324305587700212347383008677297881429701400469341297571781585774507576191680242697992767578178416053630066831876187536900640631852045099263726223366521538562703224583260469486719241838969772591580385719996523455212799956626688535200080131796140728386860121912133419521023492836909055268853927381034292717477189792004314932638657775889532786516961823068202165521641566190929870305802951813244582662346483200475071941607792663943133879965070900898233054262199917762546073266170513565699871076655561783531428596229779788212971307548238233384883545496056221217200772433521273298414667490749226988669823898281485672180361077811487705111478452847971134263287543334245825004496898319683523669660553460544279841407491319637675839517249316967099098406729409196159716269287419332914136673014863070521062309536100163543296431577335561415627884843650043859833577500670542117851378010238961667011555422692383525085985902910874897273240570271941331256393872615447934207611209323818098239395382441526102964345913255888288628668880757535597302277654997171311937630377963468948904287486166509057338761138909393894272058754598525459364663093149209406284621112010628399854080924377731990034470813650767100552975564563931403895885177969384935969992850568429400124476391722696746802722850742590361792503017538275221642410657468325955488545054315338795797864073899244717170324658485963117602162340743294002662827452653995500103241452158590350352101786805392490505887112685770165554912509270419460965661801348737590772466817153940645993318107489521211708124679601474122828566279194877067413709446252155917908191779629605832757370054781167693302910765192781244854351777748592901696846202480028262552464270136221335458637903242041197192181212427432022051613071175199602925503515751414797095892125897147443706301640528260653444042136905360034415825805444411499632350036848817395322031602314153406312011308463038181995633752869417050996131930277833464729620819355169570128257766338918021065478357768470847694614163724225668614858599330352700959122943332015910443188212076515042423365442753682509705315999395294672300248133628493983060709002633741970344800497645145472955085908333833251084050627165593977017461553665697817012078542913723362523216656902953366811400707379714845677701300536998390579859518470153328821393886941337560659624898134285394002416403328101272211562656676873978585458911267317381746074691403725695117754010998613310767563455293637614165311597913380332369166415601130838511369515267288163913721730249346356997497518084979301113092538092697541522213445685386473782429477569498926754251768724126302363935201442611102733551536288447933199739884143701356409507789906717159246961450720676711821717598939886840121351649647497679639534769241334136468369950865355197920451057431376216969389700479482309099294154280733119097716376021517554181730228315075058161648342098912666751854326183006654445806080760150255878771755405404231510796235857168852433842455784501288228984831861787594452578018622249710510274265575882886333783287854054142012913421745053649374804858383718229549403573322415792746383376217455892603509772723294620481139627172404614994908280092670764221226346191112162285677433161359835821093592179346406038612261014264464198172833601602204446267675937025356013808914477350801736099761653425325561873959003626592273191059022870876552455213552702666172549826776568538442442904417610608976748219213295491473652377551089190213864362222778623818526095783548797550583851572014709723706550648540859790353430011690118895456703233923249918327208850735619366341200467186223743409967207054680745409996703764907047611898991782167313401479445644415025082508010247100895520707120718441128280642165203643672284143230108263254224186886526534395943099266562021905509451122791949688332914918883075217148004754986574427126183458477818971095487007511661457403096686879067451140924250735296737229264702178704888290902239909442328790176044658394194730811427909804179320210876994681212906634940119178541821681260284978848068426133225978499722794429288310767382551178472689943718176405988107702279950978126958918297997605568926473718876511823657905197466049400862678255383170731722820310264438968680675123624684460662450645329175372801238811816364891641655840902113055221377147706804582739035281832275708343338885127875943070988892246386537010168487139886091514062979971260769664960525624953993569289429426861147128776849395434689838053054498822235806069913901395622334891095958022661977220462355322021451256814384732929770234166714327132147581265598942384560241704988569682268799320254416212378374834289224615858150590753370103619569627844537601955681191832122125238129131698120289102210640056369960842989642137001229959432984115490809922146970960503218824485173158173689841686964584859126461340169027254135117619564348195160449202837933101690712341564637145013675130174479450870122129000577118856934789334319626669448459533685507952311769390823763239212769412723920741118753889027384460035600268725485128562408292458032405124514436500612703321365783911444090688685976754399950599122253778722436742987805489296344574464584627323415458343314833035644128722677286245961175307268530786679934145018995751223928147086997227023068253184647491335253446419571922947281162726040318138947677243357228593349333210886307305077363851597881173584327429174194175229916501421778748729743158806202035010698874030283937183851439062016134365595245271618270986823350239452756622700612084103678853492137460463062313344516626301666896482924581233305938578547866135056561282015374490823764424256796529843039098782237537722012234935331498251206948053877080249829066042224473032811405784992233723845448461701714848719530781601060151418470847119011818826812668110632395671976130602720378459775962635568363761608076571050259626474791234432141565010141846145277721279274598682042600743957858239818903307318594195438488532664765542192257703463429859482688518502083739580477131839311790533901516722154121193327336521985848467346290576577084350032739452259724830114684404809118685736767882089816927892326572684811996084681281241117595775293883664013463596885165901184290565155258071911785559518416231588543742258899090042805146870388765105617675822602873636036803960861454166413994504296725731122279805073415058545501361783513213716592259503731950929147266010817814674126208082339295145397847325144457514932072104450738872258539981601219625549146934348871649893008400722969128128674806869283982668716380287232483849997547391885845782571680132857885352025244869582848710135501780314302704251152939087447447791963570184357180270134764755025535656303466534238041749467532533980296081107716770423731265906522158683515712728232478880471036577701351151612141336183669347734364413839891644895377219005425629357546638267959745126219028958727195719692879658045550122760987070653948685828199640059070607096821843377331753773241375890457437362383560679590159395541356842812595793768809085587616603088587431205451497826078816589789881692437102988813404756935785804296693153679112877831722830339927177491834435355030377858822367545433329551069142830955534188515550898915753166513442447647825707750689813873329234614096406536342502463485158576405913387133230558259425287871720107103734364300134871699674501768614425436017151430743238934603180086971303234417152231448519428398922516575167751042493508783466888500179075069088647060182241401886388921837175120619082777150165214363644436546798402925400577812670684486131715814975696704587544644001630603356702097245571815334733861668537235003345385880113888124282053214307739445475351903747009623034610992561989633037726192147077354573957973775472950699287065133211299512663689617104673540346781210679835544711325563981474867259880119305842402858768224653862633068353987677391121554926853693245582629612600084241885479500443789039274884957352684798199991861502007105830211533104344432168650171421363672984536099298266749645492276224228525808716945785969677200712671409681207937730128229578448861268894181917320010884336052137042643200549659313729233658069495172980399741209715333122774824922322401955302221221521189423593510511904152808482008887242403386848886474585191101603981254632936573863326542542606569205554770881676947509959882192813533129618158466206302989027395797054022101571464572658133963810191713595330109998113831984019027755307976535209727394525730866925653249288651852026621222870521598662638535147127542300368573359232157256781662518754071298408545024835822534190390109355195228668115375117488370393169861935549779446701948504291001210725643365156096054137753982989442592477554802573014492553671372631801757521967789817997029239902119027194047615786739107793736804375115674888992619952977486322413889864345816688900121165717902776887147146097079394577786242171759685053814048999032080429007820097061612078154144106617863600672610198934268130612334118894080432245856844186289740272089916688944377518466563940547283688305240619914038588854487707769445970942166942700035969661890031737643640988214489704528186079013519660422251439830767562471422036756451314582326688584159058344308307235064331476242739389406056737572292094174571391825781306094539819810060187929979016876093836009385101384191952047946956508628611840625688563116316152955117842889625044188540228965376063363790065433034633961062305020642442513847765462290985466780142375496752375339465645830766813503996695826090665561405486298874042103506450915539900453280710687159384342923783159504423232116746924452572290009980946134513952278231445090468731727914960829671838161563520025896385189217650318088681181343595508772491882529320459842673149284946314401446955591670717306651924040367647218566238782517557740629994529544328068412953394729088915042842216297765894143405373535419672448036688904397628472903185827903561347415374421397075029328632478031728435970464929168574598422551385699279301144733289868695912968118455245629672779728199083400456793695395797641364987377875835064512346362669339868585795400330714619167826338168004561954586259113613954754794729134508814808135006935529428870901390271521016416901582045378718900482365617079958009781131160871961058421036724437278627785242650286232365995545993561311701818582240828370369701641236043387585121383310969113517266049588182275443847956594045298836241854762251898778904989999428077007446083949759588867823529982133505101421243971631539038457010275355840965087434961243396869957398496854096573372597424234770382980350214774524631863364557801644565532751990543724333836480419477869717661321827310475636171188396120985291549382353575337243502913526845615935926910594558078927200894571034172864836130559046860879490424107736568742945495585815376945339629991418631876470586603023791699232184256103465084030627967936953603052063825949110918646495524323246440702994459551251817662343469589409666002306839860066722320246760827516815619186774881674335171716704783803429621911017381377234914331011649495149444217734856749311043718472148743082655973135368649397217852978722670172861208158761401395498115074599792333892634675626182754289632169835657194511700947604034628169399753165931273535068152438440535751315447516718496861110028372075972759878861958723889771139638348179278508698126647198238419680910827501119095775360520226845758281010795771050378497002548611767288679714486585283507791592981577401516120173284642233952297280561265394701875509254980099283537574746746533682939503681099797756689666222294140288665744318953505366801282603026961658260737077996196651153461042632020748974378467704271827095526995214526997907678629233014766823780425424466464705653317566248837042783536358771987039378619229627790389368593519629403934076974385573741054237602027461676589827300371800000299797999637177573102575120859922134336392846122036860709936767219437748146887348784567074621390319383467607020308498703441090104848582219143755326779834829356385256679430375011110231451033239747399725537114918281173981112266736165675013979588581623035717129364698208676950890577118624992044847955283457946437864944956870373946739489151663562615120038373299887817598094143269674266272580053622515984151870609317974180347729817499890689519307045341826802934785363504080620890179775973824144620496354058406990929077079802678837029712964894969037018401638435179403226427636841310285771930898841990923091888428682320619448311096505343566544862210437289759288212412916380757109443595688281098808147808722421153373488801939447007179594719457513130733788571638544464260119905126733141151387800559971224989895002224522742113044800995866991679451445303356216187897799561826958679350206170871155002561356835251514461882745989143917183076905109589057013669522930439528484468472763923581995189928475580918535189701771800960227531997701869301212661216303217059980365490693423990539985819354507412530274933108994235186931930907878807690458094687052316641832691836918296881970487298111600335701286097036257008032855441616808093417433518800025908993854137921217512957193541803717118691151723073707577596824305271021236748590435260035378679033000530901472009397494238198800009109162250000862673916739286172538760488034635016797013310532303047950339831715103348888216657575500261803843396995968942649066283830722546549709115922926850526450122467413592447181345925462194658346881269390427864815823935329437664874116833084585246930663435956974224554942829909726260720598388175252398120294067506780445435856584500979342497182378528787674890984125167429008438776458989830436899268689203635831472444877686751935341636265355115896519442645726450523490653179340332292612784158303916888640321390219506516746629012218988955184304713562201529693079498230408109670699695118208482536659316846937913144013537894862108323640850947879514734655072084624093422302074147419660113842331278694264886052657755622104798552812528549884033291084743880870143520744135244271253440238677458870310317562179803612472640467829088160627792519357999444056507489406299970679773842355457266848643112377624980874600609810393028345218097368041721217118226212608678068810631631159121492879453030963192034936790342762043284725355987853885267523568734178677846569321590759705735522979389350734114035961502733688371456723754068811506283475921061267959531296402109442978975960364990412530513245862783708659101618688710409334606227486378914569289396759479096188662993989285926181546328260035778081342309231854477497935689263027787846432625251682603814827423355856917613415918903720838580289871122172515215342502397489791526596861822390949104033506020739264643904829499727007886656104302864691945120928718787198465002085659931300086636119956642860729941143992352000985712314659991351507977436467615009322568996844902361610576343908237447269459483048861117695663647879296096573171115557518273168213619318702249834359825114644507526035609296659587762139243059741355970076043840881284299615838479674784561356852609195245037335259943350349206126993567100814412004188427850028114040133290261268235362041625717778800948589984379198030920042180223810360761328236198652001738765175372814480587930295148403188215103944778829851078771692592764643452070152464886168902391491748088194658132508823306354872783992798240811601282448801290179794234466376130073854021179058188454458975088369476385780119357132926344964676621741611376591766735399701317697696783288371552790091608239376855783868187320018222321219496569516090959991052448090494182781466320518509223926348271485830941850222232147290888097673166614247506915635029023945147784692289349397792576239151235525552574694272700811771873216529094080524302903603341372274431239495784115801737329171986163343316699134035235830470116544154937376649279729661350570161290144472335443433789421524392367163429000259208384920807383506149624705413063879588260047056588728139056179345338350296614441359787090122375270608635478015511124624129484805231976286734663398119204201139073846110537141360781415031755756003781631629976996264142678251488549327499128010661893332024384409369709637397067418701268956268276501016861899831120351151459070682674186273590632470318461247910559787240773482353116278233582435360977362633402201207240142972030676606967008750795507113104360213343466454477508637802990208261120056373264795653678947063536071411318971039252620375262129224198195054557297562137535427622988346666521110969425028807098302530964613045022257371761560336529610501172912460467839174823214291971425265872417506886888345223466680758435351033480869494238408903922170608802918117776750045166372624515466901189249998893804661101812721319848562051957768897867030748671747775487276616168218852754316945986437985475033412234812321541360370208002874188109507309725852581300733116378195634331521518738111701381370956585635158263471419964460636818328145428822158005240931420728114114327838412433380367451824255601269433686260782117007473357383990527310950597933446765016112700631275482044761763590709424262306751679835164184034566400047322286636422311517532793557321090994142357522089246892053114876743565433921617879379573119089734594598684753123771222479323526025577483124993626221953139151125930514042189482026520227165409791702237224297169488085695542419991032957753809376606480035305495818009916421103968866435530036510116774536052993518449696277848828249722641906223696904156607778018213599971674852377078755643511788364487409455172371176971471428064739136596444355993982338359649285703764195430571298340068406055211438436732791687250991018517768236652146741375969475568870810292221608389140689779642847209929388113390535506433468687033166332749905994463765533360078912120823439575458513509142856521465823569988728961555712035870566766142745234864940756394916472694936719640709744722137293015836383128592289036042614372649283297160438101173752983123693715119117119179248387006943560673981448166178384521273564471828155760521456495712700484003578902045152692402380876635427420988903074481113355279294058323614634597602047566412549497816876030673288980162975185006521156836919021869269304982635627619741560404469675566840015965004360669720136052938635658530498551240765024506018163751988992322134370639026306965912496752731693818013111726659396247017470350759944734994976579699397124998712517431367743397797322092108157959774808218837350279785912271475241351303860378184284443571123345399621540267213900311102214492358818835139153238004710106417272073765087580327335439041416934107582962730476517972416657845121299455903562582095039434293323384732516536583220287426094121950078434117738583678315547800912214832351397805319624778208012841827471995724295282931321558329850834486041324539380845959159875385104812605854514393695646719277706122461522903233175034334276625676555040228145030556554294908184423637500151820743649258999120947932032281047172453843947088882673332705808205720631606436705227884314882107483992464418876059814554610054484783447772809679864105010853484665160822687142396011886871985357172824722456817637720536289404198205787978150075922679177689400738225614339752277506839844062953348340437257749729600336602946757740034386967728047820425582503830340469421380733841224059127406153410002282158463134608154214628920448492421277128069997300493507868410448225002979144280532252176776540280088666150463459518659323261587491103192403126209169685552987590601655144380734051586102883979241161968575049626369043965309971919582151443480592625230469162928648401170718931285722957643874838403224372560349091517772996682374830995898517867393064735971263614399377691769757081042625734262709473284422470787318517435738065838517797564724965477310432348768812392968939866459600800179152937294359851931074364923523830133132589980846107429393209589013748764315527974106774688582027345095530929289789106270060253173800298158775919944950417162405558972779962731239312825243983176770442845840926211382258567248449087032538685104903916766706264623184388547436414450652720179625029622207034732202464910169677967887661643787205608399951007453584578715652705051251637042857866084184847374748007458916308458527878293522221413806263274556727052478423083548741175780594869652314899876321254695677036553331717584558630722446664158428882966474545908329929413755575472948939804166281243914675641207152271613720321264737509821195924919484181922300699678186291276414414997590090327667939672245443668066423647140043036069683395957177072066634229364180414168471650578753971523418794424860315444133958164466968328607366847352873034816458697172058134284175364698937866428877315249235127103210397887352228999980756294307351206066146490032045000616424890402742316355908516619572571870114591924517130215644401165153128839904660531260251595890088706642357255047439930965508984963530664481350686657269417638944858157872960021388295409235857382563145182975241259987662219420800800681563885906175682853387940264561573276120475978447226522254219979068960971086369870559721250372521731951552635946500800896632583378787600198380591672922932222558809188737897490186359787717209247144585201100175217490696335702250159328315191626916063460374362805033597170090787802000129329224278397816788202025381344508698159036892383759430891388301470438574943674371380977857454412371701011817067527682585641498773296090784625464582709601384022401140507264394739651545355754079666283535150162225169565748492889511786925858258096551402949600923512512764152596592738504742694623119350234356665809106617449566618735365307392132886819867254195527295208628569168754455159173582298809831607729532600262253884049384945861980277621447827812451628367862334575425031191783667710896088118798074338334462292205277039023578005743497510774095645355344965135458477775752994049689049506732339339966369742854320209314736380818973584709860953021426462813959210356370835076278385799436561147638710871005899839610976547507275629259910646525531320887459313606350967898984881040534354268354494896100676090844245274624019446588561837915389945472664943612159609550285851666260437117294441052036075857855149533555043751573995187147641293065947424082865831132835298302839931345651703721977652841107003034984730767207140701909761452096393449967612669775687444440910101705613939236833268973000168512593583542539686439951407677422336268791067468165955906205726055821095981628618435966313511278775001453631144838811455954557616634060889912937637404742560185047450346372211728297516916085601508646007558579652855123482865730828829568683436778153139609385499113796243710481917024989445782756278798380624315380251000973205764420063910167964335099591225244339129356165334528922264399050404643230789015213069731915688412187617638786730368137926221683965791078939761804358347322786230568539302660950469317498304723073874881292321285475876814134288018750693844117467229606448928171608354818499781665996203372860118213576355370646595387255934819845486733813779290729615132271763491936754684190314411765378429924886921182792543240140846058418192044688774629375081801268257988296339462422275937598701634142017513113558049952567693698462395213114912400785384443670860176174206087109363415280973330162684192338817217569607898156420314288967091181575318736209500501836681316643432862341267314834421160679752093632126521327618979174527122684215067694617704070951187589305840169346960634314600161209847402639871892804356673478425213703082733624771640925545883849563817632885768788459746357623136665439163303270474455635700457786760002383363840561892512461602529366117906630244657051329787599957534105294699178818362070517753251931483204277979018414695175540720023983022231273040438325458552570487459923684015136984865646039770094035981087521846629654206844680548278862104477810915146686258242663994779800867606915423549469436523885231438984423111725547285685238984573754141557318800649871295695654789552210163144328800300350383146731103652422050907039057069871929714553393725747110909685011042003401591975415522151057501141315694272604680350287979265594102746710141379042741382713264776150900544492757765329945876815829374569841594584058220408912713593705771200429094126744612389232818839591393302356523034083426906027415894943483425400065058854798939841722671184059247542703302519546264903488681743496905637748162669908369095275066209215293541113399093686213100593673207530499765633504044250271285982915504601728344817290526915598049665132754381542975396676012345177374137596098199316730570793401195979175914726762728109744906063715594051389397605537599894438654570240290740903704369318195575338609563091155369954687913977486296429121369361076510723337126188510026517016444729184086176430585357460508785296626897693199482274784512800015341577613938163811278204797323680701896270075721094516448915349196341414268302394275833095245426243607553336406421840734288311192750734747907201365627084161671230823723063842360196987119242145516316941510560171931634825517979984762487608135842568946059249618182004470827454425448175131362980782945629605311704119962561006767972072668392547736478773286398761298772249135941117324281017220415141612816172258457357093548828344870750356737815193190591596445189754262098526276657059993873624944929026958090653312717849462788769231195914633097534580801730937941358580674641770612777331595159591331033489014834251794859715835105009631955421596425850944800459090257781333642755566324964733452083089758221787194638436571885248472570116358349780784305643942201457834245983218434208184817768270129909532377098080916985914566422558878673202929664766660971369795772391450726047551877471211422770002240823016184568153238623170753309979222953449946605394637820904831562987800209651424044862292902104036976000996309639695854260048618738224534689526033537394870080221216465930155872665476179034677825329754278350056560942470796101162732297854011826748110495454922366638645525296169046184477221273333556619939630900099717209040145621004452686066197752055516112544971190096370973400250974203451451566333452459251893956716034101022055675729070291278988979878403199831994417823192651494584378721138051401854419112752301667033292204043895476576632779665292503783992973609525997133989851961286569780499551111478148454260794346153904490192564072723235852692060062240569847053028395268374986793315696996406849554278064815104226831967491848549689192294006526881504311782201902355687092494664219144689642608299252437851872914510469304392829339075149379127061079222402198659822813853683563356859244783441986285520493939694084981583415455548476215615941512370068285093161567859682553248015445802075386463461444298034890075480032301587316554819534855203428679212134094730421768997219089574287051880609099860125754911806415651612096758986892849929373596615521428918662963861463675907446531415435672262858095085315005970432376148580787668714618309080282565766986864515904757941402736755223980255125597279588507230058108098141270634735873387728163440868386530444022353313184397583065377115114257121306878293818152534415427309167433529642494809361032999416826566393377417952937579678812379263218039480138580436682800732196263380835672134329968708142924941643757926355187860839799732195071326793835069387021067056156329429304415657315394341319920276370400836781468847144024437727920626025102157106468200658782410894797583930441671691633328111144321785879915112277478747144121970154627742491090481068577250108162681063490097243815858607726561148803213435073907167751027465355887385528355889243364619570819783134004592234570461726863741898282548948965986379857734198610910128329900831918831086394849602763560400043030944868445496601827183873808553472703971546639958294962624203973641594161180216758071969818938145854750688960049207814299591763711925100546445098422777070981858198147884307354502325665593241903619340607884257640379222258142234815295534698900079428449164759815251667826880848417566726448071908422632916716952634768559993456065056962698891974532585553684754949164103598244785808126180572841420817873698555280772941943439564823565297921040493951999418116230756552344219125348233897686090201772696058823964631516877214875954128812484430699042332317145933347943174212541446735422867263292349686269595534085780472579308536226979121013651525993804384512192408866992921118324503057864918331322057502949467772427847939378252905943847662501923613836853228408488702994610980189467648201851655054048477071490655148909479346908504760995070237606905045712323715204614111540110899079116437005072075094394520462341892296399938352692664565388414923727635750069144060819764002501508602505943572744620110138480942779373761495264730475468840977540352902141568788142343780707160142469735655524916050203925085667740415233823745313853915281861389865772071381113861361538040327430438571285315037525371058940157396299539418001160790947558622881660987949072741592514597051250678114572869736430151490162835488893833853038952208939518612789926243572514295793798496534285345936612541565964446820334632814400634211151475484348987788190416141303952851673870919756668328511724976274304037078112241762896106279355994375177315872024802078346050736271335249767539921594214846893399200891932662363707319180563354562958295476603222329692523001394433880433468132344001873729985289013275150180758093568122174374295228914079355976986601806471744274498164740812724822932540094927379976927210080759048826334048248214941336610651982673573409525960950784094687549477915780798352022826426027217465295030462167671872773002093385512161903806387403209711293088487929447300284020770860493087370227509571021183956828043617448127771639075942092367535356400294051482943729834743949426553316305086252882006582705720052749391856330592295848102541800229966417536992175100857312092078742527156390390783413806529356855459775355883533137974913159249501904721143467555379770724896038486200109825614727155483070256220132368105397902541158049686942701570093050719456515541283551069611908932060253190970122345359733715874508203516881416826629544274665783168600249799757168542335657111460080067484553654380742387207387008036549772791223902867240816477897515882444962357021699859284971917240958168172169156033916015591571175115238368494699658180251136297066970888711792190997302047784046797464237342736593630697269868827957136106012412554538630679412322560109340808389929929434235682298845405222551703731002235616643965895381595507659552944777244231698380660272747253441325889616236701980607248609384040564187994927262581211829663561319935357699213544875364418176157614471219917072560822017637483193723625454311218945277150430062615123501155712018638032827139041768416388486833857496418258639192597049998046989370403193546522359326629478390858917104513075643253457206721711886977999046307667291848101619285438806404306641577219865160096365602186952170548278601454634619159557291438271955151077968147621632928784365270143993235805015823039104520869847756862964490608342446720532872765255171357444025169871785638219460588065002796773502903463579937769310646500837748367301057553661500125679936459587931202167052078157641212429503105724049794679240006636277120289809651949854772049367256467808184814653127041723709130578447974109663411039718813834954904403074024324035192805981365291305489995793267104189807524050981934866147215641329159766195772268781741951464006925208644097383384258539621762770841492464476354400141034219710454049929139642804528532333284510341723060143020468069611556819655972302607275473020846684970474272227635987643039329891899147849196019370406031357129476996749778185496196308632355436610883879314143401573837797994369076807505504244173111398067574160255763458493661464163686806712648646652023928761374139453970340685310352109783249534319313828436266358316057462837314193823282241958821488375144664915783909481056321803742867714149023228123819762879263875317916466533621660573541092068937931894246498568846628608774051678439979192172639258500507831585902011830148446691189128920968590295206885233162134691655204362035784377857398526789260732475449149346186486872844200026261471787619220528127461640352020852686368456620946646985566452103630287414311583898481572141526996532299811805906435520724928393917916558710044572026231934039574114409775997278009925282981892046603188433103263147012688189405021252341133190613645984435068595272955784039870265054067052879182301581246293206784783727644547843463456215714382756099603449868614134908652638370985467285771894817161619236288938731468081292522678067077676261355326048602209575959687407621074920131696529381163230181058087906194535053635163488589401739305528183957721839450481773769625590941250220307999545273154974567729279295513209562419394403084246900898087574418895438738193104585188828881294239160718166297773556917489352237579842587740831234388003731230001308902351047852052086887757135332148349708780946108182443332633366204029985377560050234444220263148267591968909407508218947586866306860016118347232118624246095512000046474782141631593580279376457260394355338132048464684157365809782809285667744634849396820473415727307836732164486290733471288832792315774620610570542438788744898205049958972089684050628293035508787115959829226453202006686678992673033912142611582980615830055246408071788995097377713776221977475470164478767189032003747251723718810996815960592770969749631591660496662645958144153410822332541620988340553619389838867293664056951392863057181498925920898250006345858368445711753846224711790755463276282896043731732781998933986519969507577824600239287013277445823272017895643002914983993255122229935929564758114955925881463950851330308368880092466180214014424647192066916011531445177381173060984748444430571139086283962553580519789581251380074482398998304663672181125868007723873924168043206300918819671265609936521243157417967220982132072817599323394752240959426583038952343698800002965167523337565675024704523941652215411230264490913077998607547996464763175394819567885872185000217530142150200748970965865188501034252037588114383485491128750768186550855821578069825467823064942164313928458782871688783253721888374541901807060692729137681436484625163081996456834901890267727574872832447992417666703775492279090008122749792889742278326639431993887308570719489446432898636781736969332545220555248956504126880442787091265556110644458896588612424758285030021594520239162583109347301803364150980371434680339609046123549456237166436612665429403222639364990955596176629677515304550248567659735706301535933548786883327340604474174392403708677362190309798140082275610761075833605209911534300222951585615044841318056598775302347321036121653057552044113939405163168579780980444776437831749485511352547759355034832656705210211290819355216096344758940356135068373096524029988019639185766258203594274162745720051216770701978616966302718519960514211846618087385769373036557013439738777390581734218261075070824432853329835475938535834563322607283419776183336753279916738753352253640113419148904795208679936804646234311053962377556290922681539589506935524761239523689470949580654639541835309368827974246981879543915277374840932620583969481127458899894099019041969291044777486265077405702042063679757090656482274021568762790949887695709422156344823598794863951030027263405696678899539804798027805755992409876807430204413525048158565011144198104547514855539760138115038939451997445431033731064030727286165503702379963447488468006339226304148593544590603462201946369818917688863204386762700116648176481735953831348182103283206836739881537771699101764966843920132970255792313983794529251662788924828120656019008430594349799853321291042524541694669446075171824427895030351887327297221856540555662517216164702511567808384371343387977749625758619932592041152420078246414459534588894653223397713133262915201078627171078880846509544969512568025142269045234257216868267082745932373626244593350370370641765619787003343998494756676773576751995995664893545322641918609645670247725449909782322120419856428951192918633754459502317658233156959367997335679369741301037305510990749046571712108202288727267866662950146759257203848981238697088289756123442124104375669976688932837366306524586206455357952936681911457282692570854947669596117706695356648446313605395804050115777772540056829350599069775079811002167294531608364716941896264249772016406825492466145172472871620211244297939577151336365471041684898455124465171032414193677644542114118314138445539692708260525323157885918911359367384554590673771041317018701955243853207444310310570041303196744593416870250795966718534115377833703180235451488155613881607421212462640797759030258474655781277614106348287630554951436739495008099074550006201689687938663439158156993639748880024113702680077762007525346396443524754252452334246112421697162931059148332460316963965810025142176721214698063746744004497366399563755526086105340360266943918260521742104425374116252225662085566643494945712125807033430955579367482125355339224812354688747673648387669746264534966052712947339599531804623916891124981968971801796309902074445105854172823261164086017440712745292413487186099047002390708566774929130497779671351267309048599984850577647124287077435804253839166985807479281824708988942779553620089069689748700323354778795355247942094297759733583908994641910198943671547220784093322224125976812326105761251630928329855919345063069700201580632369317918716893078472525263092533595517614980967281245817765563853711189927733033706703781018282855318398791738551818376221204495429046925553184256793563017756575429094440184749121028262409056666974522775042018132150586091327158219804277181177829135122426689146668695372597223914709983240728951360770980510545492156068618463401632634718456916468863808979499921329857047328060027652436447704953601626400911729822019441217343652520018447260541724694483193985241464935295113186104742905675736121181609649265444682105988142910294473294328876774164173499444247760529010108519222053993439046114244726415686015772060408717882267354672444423285341800858735718330266456471612406278832000813133248107732791699703213076430278146673537735000080550561102665433537061542034173437447813119485257182863108801679984029804221070766941370299152819522109880097609286021352289172188624556410368146203574254497424215837072873835276207740094043794186843145344066251296086941198083260631090739221972758042960679025198735057055773300040981072870979948451702870185210602760263589202762421820728554054807522949400678777236051111386201406723997134541247101981265214740497581959963801633618837215660714346347429898734194575676388194266702441867354628632540055888581130296627201994321045652954879978804500787313750123288719630929970941428642981205301510894478752871926735396921162463666318872427772461810373707842429612443112835844746843622234226294264650808618733795753798899417584726680495565726139171725038116541038478613107668470259302009390580242234248493180060294633835028508233974359468200129708677779272543262619050083450003131053248823390361953020975741627898898473375782806777728265967828705920666163092273820768553030333143052285663425084289171703826490311562443964338870812689539290098880489698435345435664000040859613904816287282288748960735594060444359849650689247878682956570894422844704785867355674933646785430755920366618855153890061489186136989654310536886612979188358789618810286778230591873873718101730295548091524597695828616654371019650797632342454146028999928305598301135881442159315264717959972610767310435023803184559278178333816263766170967384803661400678838813913808297500481815324766606467547904766610222988557241265574996839127048701188371543641626163802812580751137100550983845167977329539216043913351016423268099437067283592792672695805845329315492923230611150796141882781770972313078849482249841205198966616684390662918415370976289192718727162617284996642504251960910998352359558192772773605241555141722108177060771044430907448684983152441065424535960368208107894318112006415876787478676894468904977892611874424982508571357091737976097941302905231480536159555764603251677742480365889648715744226130003291615061502594704503825997126619346894263707910063365528334595374472865119171085472576058367626255123609524296000640458750538538325257217875683926892948496361498848770912676335323857606110947002669269989226522604616653543150695195712707586434484850540722212921894603795349393655507571170876044889415559241394507327007520998741488604933723724112984630490311369068846283215792794766609098812451655569541274004046894876933402899130207091154059138087837495406639507768073582156220067159607417771381729256917799655961472763998393537819599458511028611477481595929396309218111386776263659329622082829462665570485221763149065891749189717029786205981107367662860949397219248984165077013467574220088240094395409242204707309223772783764028855643655560436705842066561351838895666154391915198942998554372463917769970302133106044115233334300441214646130099438028236440386775113099326993589050914570124144782044325637771913649518601784047494028894057944730518561395167781459534829801142699934050501888223129347961203135634255390453723724456794299794352765197467678667053430025243102298433363754230129476879572813422538633479905800284799533522038065189228886150041142736431806229073527059064883874149447722242423962173267102277268649746737351442669144637316851273186919840737804223623483995783525520353552282550716529181544148652255590577952767091878865268772088705371682703770015740218792232024761947679744305550615492502433889448170682978112725022645312704642194815227936772738299553606153363618984613308633812482163348858467379124339898333708574912176464414367910118010643405013502000330896798727169574287847687921562008475184158026113958921174609726490119406128872687398031648117122164114345641072473373887534339142466588665972941194185455027879768277693355843070550414090320948428172108437517410722760840382144948378013643591878211475893043130299351031434078292016202782937352864217082284809817014292376180139541910738142085706648884030746793844787309167042259826136011985220843890183075402035572413498990599504885022769213908431128764103208104313843039751540982003434088470835978612811294469803764290477184682143970664506171486881579382677083566489670740525882133840165898350696007444915762581101121735198526483019255887459042087091759651946841110965324140160800755589215518529906746346371546563174044074435777801899136054082152697660057053352713949616867041078944150115148411479721284718812671350509095671080411069506859020234425151912736108922907024502131327255827528441580473598393890537402609028759508839421085842699595531846163550342085745144143094571444485618617971066497163444936639529295672519299988493065267755125337026954767800593863731318558236550644759332814340800653849239015081840442673697275956863547513449500762661646204029240074187892939600713268086215619260662481995475005342490084230284983002387925749378619005741044917991799507202273027208391411421436367985710922713563447966217433334847250362553183205723504028115067566774889131568963633516220173813482495498906921000340889988477208331933539431860499628005794787248470449838151923211354224806204449243584860589763921053912956018231787224428673477557662322025833236609216853180891912680681807684054881991806445112998507036799847804682001128721470160827922967289245645930753773106797257175775211835389204911113513763923155054814034223725223402053532845685674601107297057066005221060318973256268882557684480779598092051870124841105189420231311327015656416563638571386934198033900002734307586516091241885919180645327670635309767645950110699230727236357275192414313588424670461627260408344138853124591576636867387661722959674394505324493767859821295176889956881562344711531460312649165698778554895915060474998255441878475692177636118498058346235718870547754093149443516883691767461901580273970099470143385428367817813823226881321397221254222300575953691488261030261096890150844472315764805562731954743178081409916480919848344183011013048775227026445642190092944397738319282554156790264094867313110839942704038108358282232505929310379674308704947715575355116430655886827398780297017981897452453995671084397989132897087839027391631553245738399269105868088257857945341661908630956923600726270572617979678431361742176319175225632579124176689649898155664433100930085691339253035123336323368568040131900049371388318091610108878590517396153598417999126023664574490270834799737395365549219088003723727456688333476536906466546767954885087221384377694772042687460165706248745873292843856935233088817644620344946012906442457154197159255438875421658971566296576019823697983573706989800547102417932057581473480022548105242680426277588256029385008234943805594134685542410921760534589216411782249653557969255764062440745513044428004205637756231197349622101219934405492566709683210168841382969820607960392947229501621248968033895700634895406347512881862058246915452539503397623357821919143456590679492885216764446553274731918909061275222451777286226086028758105503840005317068959827748124969172641818237065726159408455689305524036225079796705875077114303064078080398481051030816503314916577560927718462017616587309020472385426962753752750733080250499709757179442339185202998823109693890501777619447372729915544678549724503466175636182326772387957720569867920278784905449136918548092029503273946514063935659437854595513814528100840556357714135373100904074731934421986894638935187739324498080496905269883880839573838088566778178245654239111856284836763332207686124425254377392410023553745968710507890671465881118533084488905954612879086762276500331935180683568963144585931466201251940078536703132357690717869267482086036509846186278113208487005204596272979702892300416608094362275063702847754379098125936753010157904845948942906101406026455845592905220707853585707352073833642518133196712533791250431006722672210618311991081135924046778928999906430129811610967099050142552986431200300845683212860849692609053897161493747435287347183722200354091803943270526961522764213674369840639045683625861918996157534960454908481883862634456556838866839294838965479047431669640652127896452562926236465806434133402051088864877075081446250780171488486526195123958166672897908341999946321080300939584048421393007268965221887550832711966785564468473460410600568469079397984721169803800342301004031591189127589566867371150300253550322999068684485067836355587655106740897296972851045057298651697590101622248103463861070935353957239948882321910711082349848640600044101395294240901380699715758303248634514806209417058119614759182146137272656662185334984419514234330072457118048643010552284660347928722759785459811704775156003365633694657267920025562774356057555845751902978112031765774782733723372178436658938048428776104414032642519135328272004117158583037974205938318315676846181233857332244612416073388046493576761929379953535397886051279478207446964699583424678942796948114025801491777593643885907544002959581197473524356509782602269716305295102562438903531821275858540089310230329483345151945168519044826619853037491604350423835112528912703905038342841431445974872149261866329495525261958146607704097310699909399987869052948023149850376143545770237001352983798644195833162350316409972916541425368191619539182508424903230720219597051985141191279018147553079512465411715083239956138688491724827345466042898759308547250359621753217643930219736360908194299997519347615505639732382046820594882367317111034094013173002761383731638904053310394766432736191953812448665095127856650289792935455442361903788893212181879774697220915993534972959645240760135332844451500134958471723025618115499523728585181058402507674804781486261886103062298499156671357543113783749192014122098638522362436782058851927966380685176479391594798212587695083677175748597641593636970852237863468409753604129776757063328117071997459435700386944088091562623603284102186873487652896103290878204921637594169284704149029325842001446028983425099210893241890796471459085748824898242046541433262047868522102789788332767202844366770232660925511408210273013282156810666836689705114792663493527612988601526158734094007834691772671674527628818304562062699019071056263925890945670371021573626333112630022828381550153882410331590344877440527764697424719075490336170424750201279766002376408402960097428164229901205212839247403574622251397403569158376063351664152441845832270365238659897845221148360141305228497518722846588636357569066840724051244174320159614659923566251374527299355859269238938133748392692313226808804814503856829423319254491383251185339714761973258253091025454879930139422005472053313151575679117312516312994959919049233537451285332886010554027265493976181005051882336241907351942923785282752070945214685713597365103695118951128553778961446776449103320197843028773914431284567452412145837534004788800307097421573959157401385462819817145452450703247583970853340204276236765269695703729298178062929469781728033107873319496590987570436577754751442917413936642211770707114880227207516297380076425255162344396286248070100317828197787059719570839901699357622357129794074055339607487416470167336749779184101478799518295621995546434085858337356290603463751830859719882243053976293966797281627741694740889534821654487399542135561304916117454450273448141963299925101483457735807610639600125298002486847346658179752087276518972282185284808426065970790062848547929818807609312208895438051707311044156847113723524254708798520674626254376347053182456350368450863493362126209879159554906281701249556386106058376632681078279175294133418296616731714081629434610805873001334390137535449676935746894354853991379130305658232501317669516300756314613731967892973347530888664088587942169304948176009133312270261865208142668205150755559260803774236608019363860073730479644884253044100414307281764977424056428680908581335135995937743877565731210357724645752316061508086509886915685004950234042984686376474001030578824195066992505457389256517169120106319235000705303308743542188818472777918939766176567068200994242791219502361817968873003040107710026364508367638405010932523459443193452506135096727462389681009084927399372574174201012982035762202327911114409696704373691715569903394866187827965395517404272076507665262502329573092547891348630148321695349426257087901958209595525535290356721909108057239707312191250988178111818206147876022590476062451759196534276714008776203415639650845906531071540952474817123385605858825138205641221470331204956490049193815632928866136061882521437680972691921676446546319015043552560512703821190982545545585437911603092995745108037950900690914034584473998193088586409146056584301294109137222286087935595666995191398734300854815511867907076678859818044460629881759760481398831948517997337830209473548430530256677774410456104926521713186519184338822350358555357095020618313663861445910119564840581984863057334916550784915048342420120793527579042778061471738015390880335920041592895075771526024150960785750721183786687006274998890634840151548659478334080403159472242513124717431863813201079602923706866171704651980430661654601166141869778982487589627900845387452211104270914707780156105566699712004979907098475673711435300366459062630800751988108211635236167109246736376564173460402397249657114333231788408729887383409916330645931197789444968516142565866514988201343809763573789490234659925576619000927837714680266808427994052609498898886607283782940065185990811781891454079645725106397004754952538684991381987320424348559996139310545801581233400587531340160658894436014577278969747725133616365290928908736654811430548334561015733663304305009352477440007214691741241121581873280737741407442011968059678631798300053908645674138234355745555367485625453818657529701155926002170360273604267378250370127488161433929465307409289387002454104290603196435108164741147574613587990080334211598447513669978711106406857037507236019972356004772828020282595024905346479312456460654974982642648359122806979658105215863805735690570676628951618959371641850160889901013248572446042060318435586964832633031303824074018727436248236220497533768389141836201620062248828020452570281246640301429394101120128270238735257391681494082139251718658945679481113066224616085009641363751735291664917608969800948652432335587427594597068126615777802294482344865763428137406411276341666994624352454693795497884188065291456836431568171855659891715345813563141880082337180448636736556390931457642465659503408889777646168033424927467993637089077475552077636402195054601992595646690629925037028549493446081262032615951069149488273106401922943414481326672535320024166871117810680399789337313229382518638523761273688275181691457302841583005237621713718807118126730287418962986679946517012846173058037812690177944532792913315968048040228992256598552003567539375389871011825611169625675642582884241441132440710466833918359599629511502230314038588714577602968437082920915988435584503039629062808675614079127545190352961686132282969748225418001873688954339945479075480734746545386135394489741470668646836938923500065787876905926305606799833841426169972436038420636355072792280143999563138255451943401667320285111237362357080024986062786802544085779516249988539430225261342168540602454504821606781803290975300878760294422875270412171738801210079594118445573360722178128956787658729141551854183076169538406836822891232411033682128666044319147849353642239093367743097858592944595973864734896934766504266916476660135997116001174393907520468962329083060629752052124789537322597459758232613877642188284924441317142175468434268948996431122398482765551255949695812704838266117536121008765039295194363747869834123028601455672628463410896709657485352768534441344498854424308587549922842905056221619671498085614395685826415114988783793617379875560181618742980648187899909480013846737467959052119869757754266696693686675477261717697925856207834214810569956260097773691970817624248342315881660247213704018041958457266947564386950698009303192042829262291242498685199580120859336467240199727071995307546091207445376973777008082580821207636018821673151886110396142120595404489909267201891687474506098355066017799324255403694654353354062738174526367942857979160865196761637027497968230792270219351601951242398694631610072239238213065109940970383674700986876294679451158171992647213281760754099980541241329251317411946173378033407102036524159803939901408602564582049691108187839148842173404097551536475791190172522316655909022095931855828443936623976717485381881393795047201618673761883286994921645427625322619658152670178235720291713510647594438372353567140522302303720735307462435381180915113394642813472237724342531743993071164531660293296690227592647457897337016882730838184434955778962309135549516647716414295078717215723378677119193346387014613573808341955541656450918260958795001518811052535530926634637497057327693297793903886770011203554862498374870802388946097982563721933522267425743351775773967536777008320975362695748011680300535756758350324703921060825035633077285186124188342703628717710930806760497326810256817478410477315901842109373758690046202406985451417393677995416422857477632092748050952074067317402914542740226896308198487548090400267615058117528158185168841013032869013879293548760195716636917021437757104751663426858163868915190921333283274055631487787269850461886508505301773612423274183401792007993725791029350931071269867705708879151321584007541576494010074221253898336149208731478983053466343573847544293319652782333510345561993183048390354095351068816976187287392596170894917816501594887176001407638812852761328478560402959869981221604733664234190598837102685453040243508482773717809619657878863468281465417393502716559827047098712393442954868609819147955770973080848566975018139060674766982820413586646970149889366191460488402208319273960929824463016438378878918179155545505630875243576433202821871988112623194815217531360999828205548618936042922863121794431901859588067061662119771661581288389939611951615660615990842186824753890634618920891442990246961892846719401543826989833762965176627670271938385883844361833190812053788470389795160146413272043831250063993937273404823930987280101029023987825272118637161422639308703807353043027827856675470725686221435254262837722201191998103969325622682917812831297215549668862771219133887256895403751191231752063051689597053891963834666529567606057052446489597503780876441788760150163894266315607403608572023431528633210903120708851092864754744475816979711833803410876630483280859292563864435060729598730043794476989288052509031578017572027781605521749525517782902459585521100550220110075966367129320597080345412785025685039770849687287155446554188680206453088669711268774417428293780468643212107067203650915499266379433008953368521674417517415934232529511012040122677099631596586038182898806433104694717378636450680798917027230573497408790230930639545893581039799428840236016862873000154365711669799760071542594175819133792371028094215768940847163074807361744942458886718974866767611834471075499014120143721941393876792076461766734620761448664860557228981180844849945821225001308020946907888250471568110646284932499227292936846961368890222656895936037934063307212386314494345587799097369020240687137659778322767011722688598504532780061695291306047710941242052111844113306900921172335500864239145897173335272229687004082159176406551631520161580191001661857091154595046285723518262067408472996680028918028462301826103180403812943943110689286154759762750818335717921926465976850426058710292704150411844526472865131621320701476625752848604961419987724829364290176888441861979602433783176244554220549568225144518169320712542552603616986630611240176593719023771809428947894540900324312163052815760047519116650304609495581344741752629379877335533620295750393021487665496304534424293746659481945956276101742463704446859453093869296795637619501114007247178373802393672260029601966942465342077013062099734928321911806963462167162988590616461118664916218763280176550215570216526769258791433486704611337848210885272165389825761254222004815265341386883980750772774458856170499377135463313158164789199701002387904561410253184816480702311106326191816758561518825278663113896825784506345567844455213128579975940931065976554935601968991296234464235202596328713855057292390029125601602328913262833958999668605686738363320185406534535063892208389169154313646865038875669913799429722018932380126054487156520037603224039438401007622749309984008684595793994419290304887300906126139168980898154528196484522737800505122625529938052204191840329197097589862608749128489392805925496681671430718450236148696527993010823460474470467000111817938560148690356110511087840171065914175316633737786986590325769023514330606424351637956957341498782361552970139815414320857614522553500277606907241506529055649824722459285468101808433286576807706318807115318252766425984740107443878830239694296912759291353856293674960935399004123448275217873085952661599723301509833506446970477762261253467204103218320392963349753372789714912384093113195616704314046942525635766928325457568801265973238011484698554956232426426472710108678576577459034806857161340098523151725072153129484417479240111281925676779239840227786139152236295776698280729246697155488100351325139092223110274899480106162800928000712672858018126316534850176519462695974831420998837916154344975957147067353565732417678787354276553360350550495539297985075298530853763326257006375103646235040059120090471433675262679257529455684945811567321957528392274130263428400804370254841106941033710856263118367781947391363228563128867042159485968005204650530030273050004687730588674570587588982624187885054888365352047095288230589368994958026766786532938134793363653706197471054551458948360394122955674484338918964996341574844200221396670473282472993521469378144574041401405846819947437063361240916759980379459529816601393199738698383648183838392770837021000293003291176173787274629147203068873786003252878748844028297304366028927243835456805027528714002708841031554783798042728707002555133027180836128682935006395717150558648506382826482814894364121795696319017438076310774443310673218017746563274910439675704298300260496034100078205206938051742311651041594724063491210862776431643136227811274125926036020784862438990209832308010607244523347019128694564492676302203349401781869445821898064124772965694653914761585002841634240285692954400823948594578503348088369330515872646239671496657758303444066038950629722504133538605818781993301045566335453321061861540800785097589862676319106971533527780432325237461724505245805776212485650685286433302776356228370268386189274733979949753589710464563177351742938707239393712920485792380056225721481908232944039898996518518577971326536351256623274031198912889076873142234505295225031522304593252845331789545203617113286962443102120221498639342912148246376687505590670397466075182298102935789903970706503348268305925840750537663121285086321805747327290205630113790719476752373146915236446051278875935458520165251177225513560333856548881064863281299158925290753872016753483896665404293749509624363597280350105059330193788876986014658366009786927937182763015744441401636797149606290057778998554220102264568634267241522173536227697963867563044593129881622272873501823208479201734958316571683838925504389022465446032392554876435195008592229465386877115531890096497476791693597988945373952255300125349297688925001485090381884188107868127754145333113166228690833638289446825439885294111434391776402344450705600606127527810746260669722606882901526855048127991411959613232814361415100429114696989004510568369931188582658476310432593638600586155920889573045561245953349831920832148896013569829609263305551060405534193478223094600337473757243211311806603042779854141775182288816145621575888564408842659273115401792600508789007601110049912965565824495888793370307454526614240757647808902944779602525294688588651580485653293567899950077564787839683362889856508438440554845637501624808945566454578685166695285527799025621035635471801391200165546539877769018042532569607125979772006885331540983389074587646722333974295762339896497590374947216036010088268353255157454710617216140597727842652551767147459192364402314369960553282919853778689235396223664183730969770891959351405660464814110608546635057054456921367179761943040161818492059248851841008911369280285824324242478058383536765652921010870266106991833114735556470532126619243504002469686433774043244093360314474212885336780013004133903933258599989451822600900525939838141281004119382539289945526128415107097583308176510447144691022247988220252977944258726290884969257677950602400880825255027983811452951556583820385188707440894257400067288592463523594708973649236111157740494493130647747430959578026205727902672226472103226311922668835277330371494004280218822688352593283537138202097084605400198151642471576915858931767667813354672913008201319691540782086683376125896919126391413137065292526944687061817678301288683559188561603232236992032590187389412640367291411838189561744624483014217835312184745902312593818086999377826688595619698244824319605309156496476600872357645720093788888658580868980067703246832478805388549415316291838396944135331485695918997768143787787424099103742761587436137073631336844166722286975668834778670628852387709646032260315067998683168287666463072460675076315384222141212634502984737251049252822206995074888365817952614555793526216443787280291295316567050129287915091072966595878860228894371562086472999308254075475804918082975443578472600548887752922115844929666693010600942693538047392268271779740736097901091048108731792311372203788260162639668265458745671509690318752275593964716681709453101566950555630968397769357368694726262567858348442785827948996625139428832439707759094998462805496183628314789687762841143865487611807577160862116618012481113776457672256222755227855875729265147967929486651282645715820146783721768217948463103990928338708993826818148476600340904043363979418468471045318814531530057540869338067704556431045837265306244361425288027830575955855606513374636787601383369984714508563415981592906650377914004691099048503869635740168828382021942229565726620254987398246154077163353469745640118437831139493952206372153621888495772320359238233041585081597496035122184533647848004137603635118549954413955908794580402115144685942194892083144330706600312807177899207340268337481382172381787386414320302107021901829497929793153736179135076548559789635693644343616895905158437262646975889739767012086790590504647643573065567212015904995880982162980745100121645501607237862551142086827642710590807854567682227965159258447071892815629778644775442693462848203689242520658480202441179328655018124861973814271202471179241256630159016809269167601313229487532581849183239346354857772625003074930888187202055513875685781369267310917414979378324166214123997354699756148392584670931284956216745080280441124517961867487427083526321594861510277151459792675214331034923969837558782895810939936401908928622005222157191677196836170704709178594073408308805437513831912301594892142876639024845274871257176221873051388261553395049918449005227517150288870635344005648573929209763243182171732040585473327187345331906207414593178282441574979500764999921586583305920304790985010361542334026818554072543929774100797433104296805850796629494985382268873875460630379393582449880721341760864036733642216406088796563485245106300372195139345021640751481260626374050439939377204428353151750406609403003693032548180248048281237767796553881894093746501078506340756830089668429926286300791132164687924849053240938040255523421858229692442335192115714810323957440124854689894456796842631254619820410151934289341838013045803557867792898395599862709522852703554733102908102605967398977407778362449466007375351739539877084764831393604603744748013643936316862908742463619268570902881590851809695862818413746614129251135381539373080341731464989459973871646130580538144349821715718197601785236617959162035102799066009828048516281212491028894514047890624983249101317979900067674725314976176180496778810796450143012567797425074822494641087134262487565410584637732176807526808453520699612553938930712962876367405276749049149071422425565381984989018244793996840181176686303558222129800507505655956919452814179753037153836796463574985864852875838250781995209065767432580751848573914018645351425141723588134458032912828842194611068325718392496730833051994213626653747580817035785999137918908746064110919046606543810200894177279
term 2^663610*6345-1
2078998619…79<199771>
Permalink
Is factor of

Primality

N+1 primality proofproven prime

Proven by a Morrison (N+1) test, base 0.

N-1 and N+1

From the command linefdb · curl
fdb
fdb number id:1100000000413694135 --detail 2 --decimal
curl
curl -s 'https://factordb.com:4059/rpc' -H 'Content-Type: application/json' -d '{"jsonrpc":"2.0","id":1,"method":"get_number","params":{"target":{"id":1100000000413694135},"decimal":true,"detail":2}}'