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 #1100000007269243290 199,103 digits

Value

18530928168963837416895509029944714592910015807582640671865503519190286393583247449877546685639040970078266975362315077948697365685285278263752465132315871236622343833354571382299202644901882440977232054339565880835708497554442419848957521293587617725644856167680833024191002013126531047742052915412899271202977412698776767674381954581397899449831970501572730337086107492810166287318116229706099453930905229468713024887995704264026652650011591777532138896889851753310139170455564436676434995593375420192774076571090262538047126414925637502613464371952033785225357446310631073321697563237037606549753770323058182837909863809400879621373255234431781381917969389785730606856301508480340248921557424296286448806829563697804135454586025588550324641514191135729382413035061175215754262688607652686160000172226864435898188977242413892283781873906701443459061507728681460052247744745695943075142509811563682873484948131695220678005838489210574578554664298463126338764414955310536668794157740517672904461472337258446633519411310857207194221440521276696151189080362203225145559627870082648726491431531353812351932003143682536191123797710846475125926580067977207196080877974750394699570714405640086279882122820679895698094651881783879031420485245429649280359537403276280696596275749660762544097183239823269068691412789192074965939088963418178495649984832928305715527256860853453620036783913198115226367751991781701259058186154770902132490962547682467898843253042296754618629288466409050623770419638777301459672751396472834557789289159834500293246984309590162112844629659614200513049009558543398820921655623599956589164599770007883673971029771480064144687561994417471022761004593070058401516482569718045932425889854256383004028529460611547337395918097392104214637198076367633092167036120805213433494727674949492133607847591560147494610841814214172917806784758785335694581523131880630037767586580126713771673195545621340861651763283667479035409808792635652980046458899942333327170130711626913688607269617892203010491981116659124510465924848592286446536144907424207812314071886490191398475864816242054127811642214616966644694405036154760977969830211639929724576322684559662470023194490499346230244248808255737233144153796529403500081192188002021304766632883350124184629670249323233288889056028087796198406025937803914360034324190915573941646534061960477185109401931609106364206462376298550484654896639227872844140431745981190904081312081803202956606762796270249411270514997239223007334192302115074472804471763906671013063660548454166805894074140905224281180087213079780233352709184073380312874548889021576044348304787541171680953915006031746562683767249168650922165019252979154091254222616534745431685225101183479013288876406080335303685155625962782737909613582594412544591549554764291753680840776215321700573729748855546931408145761288040782178599054825694228218415688162694918188756572111265480211259556319284780631181472771294265480336935931052745496223230671972621634066802504163709884288763403329790965938714865706160736669641418427629020387385951881796841827638476259892264756912245560019922269353278091813560351752045481528427947518671467046956647989776360903149413684183052317208081694325338852178788766705110339637045040266027931912622205078746217094175486536077944938320562580708067251403707347722647252004181534881495763630136757877670242147954562386146089375177494747203172717925124833004866892467307083476331580876023917243108803141061789578879119764492395780215383436058226497234693055037799577150295849276900560513810489549704282854732235878598241040027031374268935913424972879271707836135741029005076034619958908077764424134759206355814066194244142370213774091223201002244986005375975353808189288351112698485042918665364214259179125416738765949115733764470883683385545304169445092225603412971358878748937606676850733194727278838801166333229531163049650167113479343117463094785180274102425150516140717316554818288615933373766269076815121058500691175959485142605184032306142384281101744690000983882974293828802459913641672279435438029525947606290132032701046221530354078552236591236478019652155455650354140736812610654296516442276085462839123009944490093393309516626907651829273094581346646762138681526100156387789462784510339296319979295930524310138090097252430165155516711812154309668746869312806499826129137457329198619834875169794247021513014152651626825355640460044097580164952134063728003777550658188775610434533066259707955444709612443553132485379224939522314575408766247910179055327603567493586617730521840188884427942045360082131466557311701420801858687945111134596818651051765370545828291655470254871788088637101237646235484512213419060251757684966090910480999790285197380751803349711421048564056097677314408503323966109358593590203861050303950618210938075562311351638022063008204488453497027589693346644043588766378921465557688693973263677191228730948730044235586390106859211725504064893343080901931117296551081731846836293706140563059976057802315755424363668759924052178137639660692842029268229450712381444481525472514037211016256311428378827019358907445315413002133303235104303534781877850133863862552960194574751049512592549235717803077608625553913516734325065511594699977855598055752921137169214838134182447618003143935338206989220187251213002096771496385770232423921128007948513265733594982989798733715083811133337592729280498451804114421955737280754988015638345605434717176958393746026179541407485504479967769702244191188067832361760996902823762503097319994562023578948368158253798742061578697142698730990632785903241710279813583442350046579234691747647646347745924545681122359555289372407760333401522069965875593572828256979834186462048717358501538817508261608278447270796605532907911330003230530737847829472550932048506888406207093755033516089605641025122604513088621599915610177843349924082134311065498336722601148617335819117615786801321665877443035356024022786601087396352741382046274950201306232748699166957530463020021520029105874391576662668079588151298390410760897637996139366551236020108158302265808743848543359439651321405152037371960683899661773378179809619848296335960515177098993067769882042434414480771795540576635088059314154222891394880819326745592360287096554611640528410545986830400453644998758996665497647311992356965520925798808263650054786958024140142882587698142370248684012050748927680412182934536714616019135705175685972436339098575133031174331228802780744933812616478679653564189214038049238006322193813401856041161457451682606908788014344445738290228666044097364050005470972216171550586484921799298413395534009028580691647239185835235087769880714351455772631894985423813654001929624131516360255620628122368921493459796711528493584506088379518286929280721699094565973045036562709129111098077910094919501582807253500616650076820475834200357836206396010512261015056136497491193899781692738003255340121970861693092568655045014213199288160095119934961211502046471637915811425133715205480837208947522087064285025968161122335742234989277123109712211590415851820507862390764280732610928956091002965171880693061822245337694326580972546808109117933221692609654612598798880758151373738409489090828327351841555189289247864376180597812971866938148554452486509741090338635566278782444403291133836496832912299584947256464079337216895489707598237296678832354500463462946813724655852100544884001030966260706957808842424139052524560024811648163324712060460980698491186564821087075702177401829608155714421144941106587537555185215199984708571850511216351502476057811720402734700809862876144633565767302490570912963326455727448674181351705675478329307526588277570391533608330608868750365404595714012344106005238768131452660822155989626192152347594050114184442510343025889425311164623121529947889863923368159031047673281284463303281185025560757172990666565857401930418806721539262285299626648660776303481695969538444786721673753706945054675744247592130104748271042748361643530264097137958227089476616142879801592518745900476370290539006578174715585670083236558069822243291671130118876162962908653412272653601128057459452502461206714993165435048822478418012846148731948479096984923362450097187433907447337433693542085501554220239735961023718971510803898748415134359747670026588816458908338739461842052353716991578664418905682882239402343746880459050036580151092048579794464467764351313838003346742758295584146506675293290160766696226649223456482674087835922842931912530419659974326152571399272941457096078022234737752412529600709396189634498540662488510652638632387646739641660710710121755395138808670577282490716552602517790401535425325461833504066062937425648179993538093487623635267370728082240321258340926880068314593696735370169421586837613418657833201938862252121758275699869107162222385475628010869552964679191488967391556686717361537829910515848316496997974233206529426832804346419346618966144442003906590731019922763654393172834949403633422564168109157911039354651719703290384396368961271431663228403257978948354618443199966503764959905042414734429468646283392645870930488418120488020019100926189997389370479030168902207601674067274269769648772249598176917346769565587724693164638400189942753616019091520788632867858179277228772990578853553136691042281867525010753949893707363642574067402803504479277477133196988572312590196891748083881695603019315317324023106460901661226934286535665935287780629563475478343508005162600119674936552402204743570927179664181796762780716971259084168188232528187352269028884150301224728880825701367989706226229501436607864953930354605614217904477554532316316655407194002270521609405655916823803517341428632284753224717435347222802798718614136901108316774344896224064841757692898516213580251858955061432886402733025448973289497553053451380720291325134512831420581976644481971582481604757597704315038637996021941167285885746899188922982356026103728423271056126715860757260007923027038698488820004612685980652727043616592049773292167325452151478019468174052581649173881142079538504849130103839868718988155075364637576349079700580342599012915058880418417740477382121649740618867419942196989890036821345071633944798411800087110329260533517296401330265618146466004691967466597439556211987138816581176425223378058034489459590000636558767294971431345271809482108422172798187816808785388425246374525099570221159895705300689516164020927671144611950756210708634756219926989409093552546923962068559327581221271883495342396683984453154126904681367537113228351662389403908760377936841943955431848464458458912062723948178724638401705028294789825341368508408989509136046540821827869051090151255980617184060009422858720305389370052195161410579077523332578559556645376221659193828943571169050132849303731733258446477198768116869144220576300004099360418353448447521110739981031315808788846978649374076184205435054176733287463792379142864510696097711261030638834971579915895179934784461949270727548871088775183589220971746063447925716676836945915129265906881885147139277433037909175770801939784565419093249162352105462928362377656937554642382460142905834830933842580755256047049024145847512867444292391323943319738416944763062928321495937332041665697181899120069356925069166588336368031888311621242071165703323306653306124084737307489236895884858298481615003496641073980855297005850096045166879126819868041135810754720637746368221297161253834912605597673860581269115436685745458480418161798533361061258002683096751865265245278335359431705049901549238922460157656306859876328113387705381421748564236070789285503924023599848510521610222555049514469168592090952105486724505538659897054237418904195568756158765108052177685107405304146031858862800734275221934083079806843775610906635855272951554136034640304041023663081176738886971775599036954354401036352174259866923215418666191653433443687068874089840935544521681395144880890709919295692225206154903657195598739272205964035729554060697393225070070023718695658796080092307565429144254388258563282507944878392148074880145491364225492529296476239128622132113173723456292020826682528228991192733015560220513339735361798367925872744396305879298509513123686496843613218945675901359710167562695902063374174831358392052142944853085125507196138269083054786784877115260243963666904818563503497360179289206854204138988364603424972105408179560271353292475334520360662952768980701860047310946470276948324219504032031907657569582888133383397613974701267626701407556044876314972695308819228971454316668410994866553922258130799315397895589730497615220556984316672695808021864549429107366257210423486348280433705901701869195773337873924028624195747206827338962089553347493989297092380297555818137550231597475948301363929475693590343772191590453080303032632043391824722420382396585578217757078671954148509835214727693909035271653003088686920944340139239620375980479763214546595308760566979733593489288511787163390401210316661552122682498503510919663496149976442028069655335382489058277430086310139815365706876136612956640213888575841335133520314710225955948810750692589304627049334776204509439778371672943028663138808027893132138006357952127087387610698038918157225267095497831903752965755961444945029842990495124927883600809709023940185541863210040864400384705147679220147466783274345634344266039344301504264830520522373444695346916254779251612451114138585714605111235595402239723313472151059816459259728399936080697109495943014938247573895662561103863560611077254250708111511306836650729782308185079652732892249654473827902755676464528274976170556863468818655142126105205710080932523279037584900970898442857385344061649694819186832065610654484785871640150441585537342989133261878744437537380825036924204282549106981924254456104846042051565567368018785187846269354030905054246012495777989157930675709498855916676687722861801279148833680997939238403922939170820682638830959915869033431150113195638245751011490721782823568241827682698746061942014647971745903476719669860298921671632164881774478306047481167513014286952184175790058508703157940747064411868906259484057789492704619367983435573666365617105055944322455062824825459603297193267313023714343587637126582186118932878212285824261456770745782230603327351047240912736600644742647127892007515771052133739041117517949532400969211952182525337952495791891961478088641697065643147296603765788026850739987704678939419716393098045003805100525068960863697675097645731932103884667791004529765102417201808269762746804742397371809268644216034142861132902123800751151272381507312088353230410046607564724863740828836531678010918778136007525164293479388666494691354002045723142537748545667160584019398053726230859215059238189812741798303666468184469057729534371442850869624093890772913711049724646048032514971064140522711020426889232156469530949037486357201171162117016978597066931755429638925513156462793533187958492880062240171338211525624225064663732204250961962100687899000092654847163298004253189572602270016461974020546815456083819545071972724804315138410670315729691872259875142079996182881772810775434711587580161852741364037375509129292698443665905831057420451936495461007050480067906758248028675140746267188928834421626324636584787446569747966303284997386521000325677670047742223726305526795840748960944982270701035354175568884882085218147683318278431959678730744776335758735805815266935411739443161241407221043548979629361596181196807229401090122359568029675774900815632393093770055425777386332719754548338161809333390549966997949013885443615505032348701986081285874465572618110796478154820247563250577080578328111561191802917169322153532236589337689787722059206257954374897082350733332409785041740781136085193507818427699107028278286746674844842234754804718076686905554801973968636986930822028944362610090408328147755042044397851848571510407469452789157290891290536627742240857625670086668459513872997944165446140756136879527662019813946557283344219007083029695680444883686655373222667124376739937772553345683299389539628020722819372476942721701776210352994093117293021547860341434106448061254639475441375010129239606836924310549756573898051273605669804372281330884652962806106346793987695010784232041611000415589467355384582083249000753970191504871108548127037475238986560147538215206232385757424254927828551445632344819797678108601444307736349318024821584986235189972262614098870689499907442223438479171119908526897972695055879148824644133706499630351998101444906038394098902047927334247180447731399804260480972637878051444747321632260101604926737806875845528256337630261254486434479475175171018991029212399939298054001720485351519370999644886086297742634246316874613443490544429680257201512476149180067754721133492400258733940901358986214138275751101325087321986539737337202958989888667372928441600720059606400598246014501905616111289190025967554261766887255168745208293194386706467267941838747372864070647384129730585655287194945177597562086195619524591189668946759073389042851001897693483075349063228677444976040998247066145177564642188093534458826905290014374242327901278843954960624337146128662482345858881636153019863982247696836290900746550929580716370201762944174371316634165156996744413294298263573413774440491316418664344071181745074663045442486258843655607357564844286445602941685443113852466643241019284693634368035446743610810884190915000709687901875886500321503747974911807954178663478471708699590094854535316479585837890143484637484833138958003065607838676029025235514571560905556520716161902542443677288819600970971550031814750008475022896739925808224040941626752351733977171575057624667966694766937852480999814197931347360618093128196052880186287311266874518399855902468077583227960908690093995202513842401655877153630726335441703392080702836380973040095051902038248586968766551911072687672474760514286099586483181157240570318216980178429478088323739474626305283048179256908844740743633002419382830907195650736313192821802049258511909160364978061932366880367532900631675944324016508332772091103795181225925676914477288036783104811545301407920659432261964599754752025487350010429278486782003268569818624997029569836540121582641838235673193100175617788002379970650257703077677274361367083747229099408847847572250212589226811886443491352051473165769637349777296392350393716735145545108365512054355261309135951364546569229578910182818670819020880963603902793074611925636473454503118084568576239738344495597013997763001007452917184918072575082514296610021352777033975207966929526325696888220080884945626678730636185462829892206947739910467485464049540440354179350179961012382715789850604285370440793461264014513724305012716085943070853516528753714860653449071528130133112767692421501754952429796773783289825846489119615498267565334869556320613636663291289052362122046636347560530214733845709716505312609548201760725586402710413094616524198933493757787663934685941177608485392038856364324909266932407367009181238711967127865638680739394808053472675561358506252941304152090157671757818241502170408710456890381587548982864348643988470459764235253867750214513978557195737703610078275361389439486555665632948016871023265160509926537477014244863750318506868190514336943661824330785224937967258446393152667726238123735634880781441439844976610405336499279191569464505295610189688416518143024020213073293389548432054456547939359362150975235017594480097225259721137185741974671245363002182175907587284198072986799936339045510015918350376156883066483769657924556389454729238644153947093580393602485809486985814416734170980939375776079713305819425684099584857596138719099928726374592682208907618783854184518592795340742356049979708241005810088613486238445844638751954932460258171132746310158730862307654865112766822825137313874692885999112057100677089298937648645151990740953587258250850112172935889448568305027273235950576771001358458602073110990902465524954316613732370830390930008164427619842055449417815298917456487285734497178122819158989240713207044704293589051995610059602535282212956901659250642337830982843453428204771818995769751889595158316390249091751138538153899267778219701910656916022494588929383928740844879135065056351527683761047697342144241172321817849286526949714975971757337173630924469366996101526916179957697585879404202726500754575072734583135057627015533266307180803422911909561863224776195072035932326954014609561863969024063943199694570434946497312118944330440746679719187520917083407892003986032777936793914869731731161161933821058161748719510918130778206223961938951972807313988551129357591369768951774889710916290151343452058414447613592730221811615623803281951478081086103986128315902684283844481274958720123832542083953612308673210854378909760238280882283848358115736814582382980214921534423021608869194334936234516549878824688037264019875996619648974327824522818522067710250975609185948035884912804840869045637823512696370620117927151091723680752330014489060882481664419800413108644944221975688712673493808678883887613254373787329483747144501484100660574460421833872908250409803303515388179148177394151495105969371253177973847018623401144919610176066780606731039174865705013452355629562866991745939059178011498820316714408169539770288737684439289623048591273121444992824209261776002814427311200342907591252386344709126591034146728120012309471775716278432926937217644226729288812334392459331755568180841548788333152493302069331055326580661244382599484972146801201532411286240931086491741931080958091739043861103863826666556324749793879507971622851125445097066702650593993516594932442433842987389068801893904281312799233028635145227490142395523215643741756901791710271695542083886832733905517149176635332813563418534156077740537590555254817813518142240495069180221904480854155515946788772309596819694778263565999952742551761967901306854583784769765329306368011684284650831129344695339210637903050217927462126467619192663977207671759040496808902819997776185709194136668985046406535505978806743659078830197351012770079289594575359550954958286977722517345300685050145601614318978954114297999247657666251676973950051146954494954806925634259726785139511730989506557656991264715020142510110006629357335890423093372188512338490997606789541501307779843376156730314597133140018774361938789245175176680158324676712526071167283361166184678696324062177288021383165868881103732874248963049954674831617253780027373830910181963237265373536819176388885314646004510194094624296069949751117669698321768145335916912987844175277689290774982837771086878341644728164473386678668196399390203216820404763565861674853337005293896600044696974253979612737446719215186465439070965212578665355644719592904517320161636164681741508846622923084348859073649907757323825789573143326946165207928983228378030507598976847342889345688814500143650844988770548682392886253935475652327081327455052921215625306786296895859832156392979178145985788258368966453817282238639136522354241896396999333567999580563662250418408163087715234630299002432227599663601258661513392815417691680961962922626539538545402657472686083202872750069834102848420219160672938643566900485501196353784899449303707876447044210533592202627932500277047489136965030204636680152330721040986183828027679365851742087327496681987872666396554404492318966302398055358445852361648619496662763504116099544869868612181999034555170378877216248782972548995733191949347413390074403912051489634315221351717925028816295476801047687291364472383000353215255586063179532202952759348532734700752569751430802195214832137754622549311538769108650400872077383071773716145743895246670019206478328118256372516597614413725056925665021006619091484851804723400318565645352052329950391350721981616063057916315918920762089043814368638046797365815880528157717487281272374541716183753953411289123315998392581380577723763198356498422441801418811533406106767237030926582601185219597815169389120396347241785499070386100106683596674918067043964054319273068782229114456296479514625557785099108418283580721348999886410686556689112668711058904373375144391281996611325948516461935874518290648850282328816492233476012809396372347328932592022133415333179103782289431694136798906530063826301746594213367317135738052598909895524917933082497561282450094861244408966944796446076922152328946301099746992526788832492877604994605749693397977544528677642008819864923278044421524041818721728887335346817013954995311480221217848864313876978554252659119717426439861907776159203872079583262146695813885826140346573567994545686249625375218748524235248065296748531410254403645720256995046921875900975006243799422218661945764039378518635918263628312777504110806888529805872452341492845790541686071664370852824883787007046203069494355934219570481976664723227004475150971841136441090655095623849104817699087965776717106226831109729554506387053605454701284440361933530567092519493003963808315139767911021583817616080162492638240498761110659509579698114007126890477232208229836302116273632038883854039669419997882668979251619028156215013002352909155571049335382613498064273667987411170326844176469794432046307025714385249369708931737009969212408296711521397520020035621163384441046654285693357340410296872299301397340046818475288978055156222123820460706960543450925918742401855007495761408156270330756139600239073719655274031116938208655335436061366184669032995009407750640099719926542865692677344599253114791567687532656539434766178352599839582034400946293072205190058576306458746023336484630759693961759022961738808423352090128899629869424130107400538164365737787814237126098092295919993234278591812670545590887013436371086892864578659973566308802695495847565782808934348761575309933719206707030921660761861346765538621441926943339517913360326587262820594782781498968742181457669671648327309275961655525633022030004425837889408865280872754676410041620908748317024042752682152820360204742676627317955159290043830196479066734252984940455552478660735670179743585698138913964512036396789147163171715600641523997465778395737780630431985530618988168350516083342980200380158682511531175163532373446478080953818461504893338538939741615806625980261238485536774820437285835654728225291194307038725531012364457384024976771580687263316831707215943509951676939404338386307185015341952693329069748245682314216553817948538683254174083472653389636156112119624352032683125472487750886693582954318673448253167044751461991345372552978319841203770403859177950895520413302832225793850674001753958304707055928453874516735786572039186560327251420906717545056178112716584403181858602562573691197926685517049023191794397731731505244956300684880545692235448695542845148964322184042330001379865705767917602567833147202354899695668511217675170799919038060634204171830590599797952162932311010282769298676465465215441423226013848426888945191999289809231641199571954907090151974503309160171429485896821412635337190712460939980284842834125918350873685329082313087716408379120697738769307483667383031441836430238698022543629740180401333186398661065714942902998726878951215105885428020176253969375719544142176418943678352107698377634351057703392152529174887750505009456260333690586340936582291521568618073022246411978850564364789507541195712891134677359330814371994048196792117466734076671681304288469825696652697316213406474401753081068555572380745341186604267168535254891471117430878472464798749622785212668102760878735641083259829055656689884211445939273336434333401183221560057862759032414609994756182396389478818020531809443525854677448560100279133904622478467775147994410524832141069685431019006931619076629411570200851708741555008622971615086401529285472964383536544025620829650928363971658407467720936315394383481716826798357072731076678985650132950879278833069914044195008280427310917212187806519080789695417663104807310280988841983043169623242325478896389854711362943396330885598207622622919394303304112682015188414905413778902420937471885700528577576400619697863592176859847561734448823224105970679232365055707976591967007512653152145375316879244046760358640649127589486147776870325034663535700584855428487420310857293584053535527637808386251728589590102397704066276533602066075489872340647568015728872462804855868758099158700880741857427566680037456228927433992435181033150698362218622685494507921923720665578518964380864732911282013671974028697030583005334804943244666815458342422248121562835124806605459932589789624633385795152053913751662353420606816685248155928880333290275196376750470311983654572463191925433095805790822504579619039291188444105082311304651776452444024141339872019939767254093223398713021313338690502168115119199254321905831292210850810228973448436451573166861391930019692740676640306825286867370385221754432193710382718452559720028464757816639544855300319842621789413153752011843750112253757094621871008691960216537844189158819610327349047987577384917019101410808856273741320045395667337701868927200004257571014112913194233394408459855768245355713739701563982308705201684231962662554287851071801009521318054431174311272367282345913744513844583527942845931827294146885818628127204572781502570344754431077577990366607025818320285586391819066321426985878849060860635286342466678247165889471270800552519394608279204366764538679345939014533157092769426055859738222266770714354227620648943209650374808961383730494932294469392309845193663564322341877862129476888513252783374783275154712204420500784318364020518299230700299839402222007427142130529546001177623095199490898948688357772896633780372807927015267064217067482296907048413353116252717259963400485638067778167569748266217834793487932593020284322390883369984124369041777383865603262604840332824382359633898191785181852169919653511202615073628211169062326659364372659866524153426138764289296384097845177767754725814855655834799691878365452332783171117527688761650244095421146002214006916135092329697683508423707829074318032214602098478218988963439547060704442799455031084603350437806488946736705420628640577584336364005622490646140818641396764875619602573038472736442115918073903215376347419962282387757632736921415983746302417486789428539448980742929892382062396581962043680918643566497502013110543884698324281419818976466588948733635320624057427325943243191615119412361600840108028142046844699227616429949080439985147344294087266911821864644441573582109406609449219688716738150968694048013257916313117559599895637327630164258124033160944987068792567804892923392532254202312355868907388077224136026456719906202382127185161926831564639259627785372501314926288417609286089176177963025971364837580116904392286580107817292818303021349419709894833328465517388339651373039779510474302554218424649354951887862047310133826322249281939172480337661498158576329459929435271194580281308843226940938661924839360082977854816455994775728410396564411929967020608180511464662811664566897551141831603835612820798877667828153462841280865677436734076906015075218753604218155450924473576699787795025136206303571935463108203637106807976214805428887442340306238984698994741096294869343622662422848724793781425598205901232606355499670039515613340825070812606950354932529277928143398919342770926943652518492738375563185097110555035047465836340232597714910533689530092100632353149743089850787257933974266293403084235047401234725502816382747908977044588698045453458309901429140537521081155352647099712529811534304928498935254644384182295045029447598247170503452341557528229443983123809404705317825292423968848935457817870786604135768789033851577089168172431169380218832050550707515269365502339355709075989255798723148188107282592899495302167064885565486971636114310098908584755110992849216380846399150203518029360086345783037077564396423934581987234246586390861317121570643800079195111255277985896603162898762114979161380481153177448461431974654816329531346053401869882381603490429687515212359060879107965961537151253486246232162844984310475863129994334283434755361971447034885264197840716252010093909424523839940299054081239740860350566869738963513516425978239863374935626330581239548282871798385950914144116821248628614884007702189764985823613375055996550640848802216459465928050052310442969828952031506973534301084776324060800413826671979879006301326389890840873575797297167328293859093750411089031745417306433130464235885336066906381475607375560250403270250226867229242008769957183503762081511274727133016493832397251580252309648912172910600181843728439507605044224168570779550699684695869777689569196767720382190719443756409442505076487381286090088760625811112294187661465819948174977991662224360940026209010351660190363878887944587165799728483418052277408739504362466062059792110339676015294391314593837482444921870990448518478953083754088230128152625610553837281713433600373941560854724092147115923206128598327427559928657961618210851403851434935829199281356793805828249494308481111116643550878330923056730898506460317852131613457141567933726438716399768538929286628424147015519074719920057539929635705812971266529216709837895748964338504971423918891326644984192274142602502820289938517247932076150043757635067465555395410311227447313178793995328571692791443983215201418330878647904059961479897028741258910835118941504353439504558671778121092059831952269973208588835665260641099254020302023660603585317128206283405389291258638083714974639734488858209926961967602403811782272887378437286243859808510242560944100850069126220802155077880321354264367630366895394282199821724921672044552519508085125618465400576843542758651700263779129275717533603011925417920084182946754650707135955144162810481910880472143849328150387912154615004735264488558150721755069834917662839055443551176705770250703911766942426836770073059321878302046526332402276442149867935432937139680228713187677952634655120454431146921041290570999064792422100057392719034159207529069087457679148025743585326890094504509664558104427505111864831351203090811738406056881417869988602340343045758657569028278405735333275734300512108726017529720455202853541869546129630216165823690045514237219278495503861233309951145525997885152259067329985136964907982213046439447771630184910006032375732298339955340761873486038392542430894808817891353728098162658749805485745007578360612538824500760266398898103114437537847908078385572262759920231436652898439505807262171013652643359754817451665866062849329131092683743443330643032078032685913525494337182877286193643962975619041408664450410502331485532862337978591680161829665883158761931692691331282003067944454702651122508042540953616648514121011772162120683606624259475763941460176737910832049635310060308110118133158714678548795324875193291050375599472710854674795897969038211871718401960410368898048305021526155667003231097563510529373705442332351006093354707295264278394040637901487366849870525776770681314484658560031080700262330989783517932526879330045964255333263722323417260033562331017163889358851189587442653335751161297290782857356168708819147517313336492274204350909016416032431265392054834874355698312111941356859154922597434051768803357021563950661736247640884498681908054654971068811650012741736373960834639391333520068693634644156217150820746904030333409773654241830862713599833957605606374953532082483465225635419116377121580725580086148628358929685705306828809504789603002737681696471873310555950653477534476022931916926729577247298552877542323291534090929356702419742515844280786699831183337640340218645909140469562588222584041286007016142001403944471825630721228230192883546563314246302105097620503340231875518098910178595747612379229264691364331821068847046948024485279196633716276393226191296807919162630366188739464814030317854325795304450895627883588090410692890547704334324364003503694867809031383109710201933123457205200863405725592356229334470144846166283769994263493537252760010921602891839317885597999076831079413075530511788851157627423218805656983135566222110638401840696638620902584302460881956956928913207339642527353521946696930431836404829742992720017977857638365317435409094077168829292478353099049035344346524811636706642399125186627665633423286474635324257907605978346291600345505625498586888072233653866847574406130609874012500879539099773541200839708360454977278802042965885098193062299544617148108951113162078266611678374984100906638227698736119422832902067681652204967905336673241795812130505910340775721313359457075200283309460909500011920775323834564650687364965849331641697544277775728423340727313860787214160754109968358513666195306351129490276950298981345318250641886793586853525571314760845561293247086829219052878075803063767366611448693738602157991048244370601414478537003841474154457344278421089168030646347272373958209612058628290331023921300995570101412572011948857119795306255411084086728252710290280194864287324663948895149681482357802963787621142890031048927998744869090106852646015529367952453650525258947981784920825911066743563749882939462166989734595337106811852965627954816956890830593529514836710336958139696254157730879696905521886450936306307757344635944744336120930580415938602507331823039935692031093267462390412493967091897370832777018562041389663856405745493734436260210794566897828101198540858052680622511535739093810732851480467805379688743956987905308625969074313178488679891992386669094029575788464485285814233022740584158827904894438498513646473123401411181407867847476894906787121314161796933315687517606913396263314319146313139013310848882222039620943322284603817342215768534741725579899191539400669215850968304002544093300239349977665272550100258626053937746456099497609774116918238244384894742869628749498645234201284691061853589843984228632925126579451016693877629664930121106575132309020731976609049237823171390564276701399645586048707156542820676335649682623931371985206180483122675332997537415997404193207371995706217313539933043782261310593102415550791149133768007489659808383021637752035075038975707299890043411852203629013625175458787168364603460033952099837507481517820109154260897886220820222026199392919747739077123051434418226491227824919582700968857680204042436341958372710017791919500867094832342147227100227399750845493399666032280538335066334615774224073322541559646591555673937073496765709148716811180918197662848112579696725351917000081099586446336974761123332457357599296377683293225688233274316831454110141732561854462684369733876730153719382936184089800683296209946581357621467962465777465440335715667618341441413218085287459458312903451551150103183334931588875161579537758408121456058390692422171005513430333329900841102789586414657057686908639606254210495361215204593963122278686028690497925440949553531240223757871723534507020968170372655782598058258181826735435752664799125510994098185049951407593432026324274673701245068520860113152052044978474731010228423116208668317947115261310970684466562076545409433892412526953028737351516255551127858387847800001308314685156886663433237425452512071378843037255082938461730626985471217375720844922212376554660288895624953986554792933160394373583574958142223250703522438762099414068536372919801706897641918686468834166263044679154065958838626757510343518848879494263555637878802884310943861871994958728717952363339935804782780143989016896937066940703508490884788922659009812480071389251046283667102209310391941902850250340719237369465609510128451034147548352833821982428071374319167678471251104645858348624087278421394364174549770884988592136500206940108772653402017164958180070282518696261343668528518941381414099316225222530509030471177377111483750071103285523965289163933556471247939182858435900708696857677024832952199549450202868654053774561819931295629895413565612509540790903676490561361299780272283326953667956275346241382899220302850107899625545902025956886720392026492597514963395300898988978035394320779044365437145297688149117059966581969029716251818100220745789799917645540796010783586751699607074165651278636692440490171114160208360188887616352468507070690930052472675494549984137736581006897615005031133587625987831839492953528267160494332764917545136965123707707465849894783911714473975902458045428283288508577057036877034893408315202384261709028999534948479327839950238897289978117515624768051173452579817851863824126806232046721320243326564081989400088437160494149098583342142675174484317371428406965606815519574054004152695549591589180130215410091797653315446251238820552378595095312469216955731399930102792178177408384815808003766907885665680439247541183020586731449983344423776433273122765358213593539993831824829443003313974151235149125530821272187034520079579485237688793924126203347217826681342447879653361970484941293650940912939404300949563768300916261831485537176187013724965764033799025035286147004413886991840507531602351081754885972683235863874647039629767990915329639402815382523161681821297355601926981046665190749409869944104053405259567780268575893043006442972433742893054884434666885851167404480432782562070332109412190737180829670399139618554453037493746189599981891060591433724149191814770400353420728732466962998474820533201446823489266921301211582769947214447317931646233475887161858038152077482809758625506245178485941125494968575911206894802223977920421059132702698476105587336800575653073933474498136004851247711717878643793967920529236967242340785364580491442558499762155205973487306753439001727703343320195944631019269990856245350490897235502468820080519676567062501676093685328090080503742999340129360083674627886185341023708458652397462848643096251703475802473086214383287130687987158223608911129529637471349910383581065265693107268011749322065271118827671145280992713193199749589780987210036487649223553595170083889356407585169914750207686034361694196070252609824347579904201376168094549396685249548377935145153523767974767162824714775661501799298521354630999726609563166978071604999399491686239463719292583117131563216942387946003830005856332651112386381067507979559589408490521737496196842339401025858699515040661574784260398149094013354904757951524493091569292694297400856828446084015183122494281317151946341615539282546878977985124222291331596716230984117523805693603229669992453561324962056170191142712970790562646318139205854286000654604980371773989641326517200577674953935511383933917942032002712603579243534854489474031942049182198658722011720766738407753737238580500192230846848564813172341620159283452088747124644109159105200065633080353509838406307005860411337499631690104925942504875473478861522069332702134551452586130909474656080214644479963766655580058045429763303974827764561705713704985035542543147407291657068228901396278054313623887394385024880350290441502306422200279695721434249114797797843575859505207317675166530744110272071936205331477160631844342133606901398029130507671204162908635419773799286421604811600306710072837752855716101173933453871422557551566152098918216514532647188561020862911602611588198915281815436051837009527878410247258416001035159666101510094145726408091144902979626659500143695207615815838766741132404257401670153317766339958582481820360098862292654284023666707345251356784643892782235915571378530466523874259368012265840686588090813389056564975254556491205451606842170680929205383426298889335010367139210314245413500856666470140216004806454278935025384516989377651518585093551767317127999613263672785581762473532173692854227690935079702534208637013650864491132476746144616248586795727525226016663747908400997306976758965250659946806539789564539114948085864035239162626327519373968854465912601019030649295269680333141668439252275716252095302889869142041133396649423252246776491918032524063544279365318264164227748910991630545605840099600038324955790771769246193566869482646437855974714870891310529307097173089562596103844336303840282321933390005462220462726189292653625937501311837889663399795463782714885486804859596937657282567257312502036326897163199783043895580095299658181883031329598104385380727865706068479378159523576052606376456848884067219332045252910738103889723241032890707376453423464443722903217435569903534592819156193260368274809343725540555505031765709428484590704476520284352534757608157495708221088983628488514417319479743514852828271214708780878736645021572257968344703930785148744022566812605499289052667427762245380311557203375174543755017333945189693938982354497584545166520089008012367427655049765756700191272453648664098386586591926262040544660690017553575667293926121850330106833389890784997803677839916014124740806631071896452533721610458135454367125557531617311045746867137723535699955609560995243108280313522920081810664874523448950880916957715674171347097486696662465766978863588858205868036405331288237594448069045682713157206211630413022797974188794437857511535122955305749535267510470433442136116126548562071492253065483062664570081672326136571373745909734289815964541639344054213006214009572632650762834467466275319738140773112342364140388333232801172316754783990332506054996604496311747361704535049823573904396521403697260433462867222385350984493188261447139430192485983656462689140333900308100425917198973799939226627310414244892024428312167469974701579575443055484969162342192290491818004534576924695415340901003492381359825012672756536462972057676513792991713802101906787125354874931653816279249725698378436004333244917414238582712533888495631429319209543022554426440679279380648984704296974778539353701037616457978362397530351648438209377798711326910154258870118489458624319120076425343717937495452132523704193021654006830314712510490083267837557659886226759387317256369101508109710559438888930163384470415510694145345706214527632504369208012369619092413306525723779044524810260287504249319990051995071461589750459954512914493478959783313140767203371630892603031299364241700093534136836973561215530163361651098689291883849932629108394850176857681780805695462401505065981329250550574807627402332134802752412792857509573987850768997665194845677195155208086326233407563565758046617572314228677000648501378947765543667717571146622356694754133200897550858002152399740694211882222697362756960423378535830485784444159927096256270983281823858269154367891548172343891666540599308702836303546883891819635890357975775159063211958360709979798950763326817617577509302334078235940190245332634081383375500249919758354244664491164149285557822156573350944643323028296367683779170382251548465335042617527067880179470660187263948517521183397449985401694851718828762506327888427302186781869678305988995253345365766781411414511400623254756287323685795605782530001315818368637299333890199446770458634202476873948571593758222555386330507854512141398492136962949099078127185522525475311976515747136225173625953134510845962015216706551315048662363930235328826911258111755069892790704466030496781554337893199657622089792000212387797927659292957266953874670735658194931692548180600579387483790564769306135804443578534785814034643202505372396101796552788937858407358950350420299046193005523502364851347085233773593641081784633041611650132371193487579019415420671734663829402634636718241190814594046231397897943599644299577142451049363247321337313762792665872005056676797673150637497158694260080317925234241700522562876834434989660720901976575867452502087218709169333486387738725767091976394617443738588764986063411454741749367817764768201725169879517032045933252541891621565642650565573856185730943483850505844946210961332079254694778049009059594676934455311660486606109415599023951752289706796233806379344735714419263450704110060714365791371529317746403761730111340679316064197548270168492895956452180828431071991258902504556326383482260724404995933320217829823500850502254796393080654186602304744495964836032389073107053777985819578325036475545753683434647921895020725178783972247325907836527333735566209735105442124863263466268872451959613377422416915804636176018821728447159657740667550502682951193754136940507012375231119989946837516302185440000412662828741400695161814086399742424043004817093040872370728650124576413602838701915000311441962518379946497215140607683558453878957237428680860697119536337597493055194258891859250829206539573905215604212844475433428409912944285531823617308717017856467854610779916288153815798679810407294910666854777881301438675698276165253874417529191437135811976840237389840045685234377151502651073126937191775614532518889862360423166030548451378200863953794036264298637397765345777722844663986529036900103055885723575238080625693812458776974241259255587098120166380935122257023584712740659514343155265867947326238283088567866829338486273213131317516656245472677634765116886252919495599422386308151057357465561702761097475711039296718739386431112743053260369521044755367546885235545888069838148323714964102670183261823447909371012647869348591807575862640970673599235736374261853397740441950295062854331935705254775400160591534023377519383220346631330855567488668127813203237016589439867761161335229550495736027739988832019790472097562195732890915153086139757591257893304459760326441539168035617609069652690266166466042020619836035473933780707287840506653601684938628783455068437323747840556703167075857534341055908603925517589336811507541012071436331660966413118049044041922849619477866145350225895486191505555932505388093515923001371789069566867490402847515683607612478503049383822931239567618832988834964274705841392222205248298327938287772033784937671482730957682103979241862475585566115362649237619045261406639183644142875653507297068297660948804448891131559611937798882454199119072323185516568231161796353401436601090241754807895460561233074455890919694727779668200617690982322183077472645253379352246242946056140066798208308737895759074245355902343678352422040351640637676499530742882492697642069446931506954517446232206265445311494302162572636869861771579353809374656251596625337992111489046126076756070444812685790352074272689998654594566127881492699628461141436731803708266457300392697193293130553937300877086853870800638353793797343110871554511977451188960236659436466832864188369875528513948013726081538502600342444000074215239641837666934306739796248224138214094880399464980954865266337432771630184336521552438949221276918815031859972996656733373922047760173271530718907831783756959712553408059777261460337506991384065058897869258988796564749006326373475940947205923320521391844744880940777139726498074708251934850993104844899943050902619603884637040601963870038861466883700595037057264301400971541705973409947819779460346937822715703819269404770140728703115769935146154512272816658175100853529917939827064442990400920998299205971986931998287935325719952001443219708196415963100695701907731619069901545224182038370823541842806179184368815547781684663471087261450132761605420657995902053531860882589885870686153579729048793518594524771618052228216990985212365131197863047762276432200425168532052738052674878676895241327897066740002737773971106557237826131172598901512538137731134431668716469661422352847052312800850554748368493469997019318381986473744892406053215737718999770959565866960089565450495153094156947715411494355649543009756881630416018050872814361870085351873862028738197779888809307780294354517868429742520203573567115972854965800219750195379036329317491895611454016777924505127630583516386840283543358655430826103901602282966726865992824467675878822044704292380288790507056555487358682365078388035911610143410457235143246389053916508169071947529309574885417764539092551540903292272580672050307542042883180925971565129558141220640818402779811081746555824670571917720410140315718554615053737583382054241346221170257340195486820987781702763013630701674375275042627071782387298091765872268933781501008941611152623073819349662575288930007608820666449906127532407449728368055164151940012700954150905118979159103800614529646686529654012792792268491359401997973446425084698395559356279053993124637085245408789827015581725631252475951002025793844541731675944283492297482668932798908987746976710161253325499360999634738440765868482901872725210447178133272674504263219225528461654526369329370578255513496275464083711871980226410169156762333892552010500096912248528832760553634898718578015494475922658068631811580694230593875371738306937906721360017742042976339977211181454244834712565260237732172599205666913733003637591506702911352245586108147715011553600589783193397144166475466135526605988741545835919355053958565034072730671282532709367220011662170742580599614290922390419296890297226363012225912780633467415082996739525025330475950320603278838590947047581439937759280916761358971305484747595627317077405780606694092571122662642609942851496363001060105046522878369789165761332486230423830952085651717072794827947817133024814846734056090473598631179909084126957200996649137576420634282538782827076703508842366304552489034714900489489206468592428261797197608036342114393158695968032203287135358263025468282375276923531945147866570516925945011142829785663677951424400048607904530248650791307732734601859905506266901788221548668673175550636962000754846604498806936337990941121993368168522018977114221589354388238139567807068025659573750522149064706433831476035970998453184222466450521968236605337378794453963323374720841007039688640803583858721864958804222876812028017253467995632599633184150171762374437989643873098996164866235705751916476796801822371038152332378632883939541373099071902802328941736473945640254950162395503012246342754914682584234596572964951425274991480401188577849018024115559435197417887717345619696123043073909526074899763023428345745933013152666095976724605213919199888567177282839748888221231108155069578096453994118496656156916579958931211864065007278425790360133334675609345169120002511747464600529836258107677917947129008172917749202170108828642505835921761533461247554024045754558441787024538122683140544788611872474743856860732687068230279074699053763389771917919443171555610098913655490347945752127969883400884010152254937061934426324845651558982983412920160326917799945736794489129057523339455929644603771129581104206830758462524542348297953120219838029462747497561511119474526512486270865393755702901962095698802565893590826512187331450068435546049302781491122830864147355443426218989845388981005283048015612504705343296850696866861084000239471325443777310988579281818634410667084669165455187791742655659893555456551155510927890977857687452044772998718786421889931954805592310119920653014149367367219114845005216191370618171058738631509264377860722648517822430746723679254860524033420305932383142384762764440879413884939954345243184479270014043192842389793252792761583499800451902238137872584231225377423226482113026153741440709626077165804389551914338966626948895054173493828463119439575797160086861682473934782954329042447529664518333736755650184900936034547517409582379283080724947300664846483332062318706992225315238385662215835119527587246366681138251830588982644089710763179934344881155682105213735069021028446290776139039077808209317753159467690739959485184022921062292573696741923816670586867470107162178165209155291485634623375166985573537536158569554300932735984177225300391874214203124779580480702602728501032349269762789899100678362711658130075639290730388914087741933060268674835319740917822159422109515391151706174686609960072228831611880601718567473773540212392123924618805742128886589913606806820349110416496847247402157599864571636776237687080572685045662287665894253245933155663469987182278056077791003188231709079857569087858823096911469933586157577780814524199840956738003341571442427310021151064225419735831602599764631439425480662394362731281576502304352607249812576164527547073053902681481398599689749645345566150049899754857140259908974317675553961454369111508433443663115236191421805606276478046236269291008716300196131170564288811964083072386033293352360770043959698778466356542351489283668280330525942093782765771223047997951757372447602675692834984388106557715581496807495295162292652383560450535926074911973612178395767580224283650710093285429948415081169538184342961120936997273532492860147674542420852299618319386854048496280546844102262256273664224075020900464945716592586760953722568176350938801619340286779020402348729251344738328004500192415986702199059461794945763636974259559327813843253310133210495559043468694479787679389016263587443735410411513557930718236353818107106044150424415672988229746527440246973294507295622425062364485546617626361704213342446860320062337352697388875929932877167712194507479892770231436749162547213057270496957909776631615686740166049296547774053233357385020061519915799577488075133441537685218672179034697085881067000125588056678023516904586953532630736256585098358145216423139251955647494203448022135345140651849435469916066593496426581221171687131708766333467275555383595608936306953874131470796731066669890314866275476108201561585777591451858179332463826839728050887264488784101446410199187284113907583887704097979097865256551482994324835348239880407835015488297230033306642219313190846909031595884604546783978684591266079367761624654074859838635171816922094408511511732773852414492658953100099904264035611451875681909801603743123364149616335730748223830421376903609755802742688042582619974369140653097783804688702159748341408211698690854143384339372609329994219707884669635800074361993574005434144064947768348160907489051731388640688444154590606612983856057786846855129151909059339246496930393812509437208490848142665137755658341710544722412338676951794097980680168440310915255259698849034627440433884788300793397931369304501462805736651694734394810744036007045303609105531009621716974963465747260195917778209387293882444258242403396725313686293377879554436797112853521594982379428335001296958157397408186998516080342644749220623707575013041417447088545999941310834712791705305200707169299088911331025160069579863635443157550332231031756924364650077905287750398911843434943187792494621364181355890582423117486438309639337721882782293966126602707042235737326908804503201270358186630424669233646757528612046514675496998839619879744553384982784701966028520210460679161696183398978171937036938755940174536747683362188882376785342472461683025931190620205620462443910112369167187249063334283168312268685509090929093277561825908450097551188696026504126468093331832358902846349790134446842232634000296314362369173047178317258830846645500093250138131086039052392275081075095928677484158277271801914406999165494349524807628450204096826960387194083151902630222260018330712199512918824893783739423459499020239676290605390388596300801136857382291746912091156461940056561324157002492586649480182616262860525375878344490855973188274437520810863952520559944479369913350934370702618419383780377694639097106470556252519193972732490023115067412314543021725057667495657933232322480345536243219214732179222438235715197645687869605556450805834130034386671846097774083871904931480757286297114000371882242661654735542266073610313228007984176644106144424201256602291522778879681148857022174853026574154630964599276722113472857838418383388888296982368844790307331523572847263479344898915494361414219650966730937615580594295378040187696415434226569773651086278768753362888768738353490082159973727627205274200933937319397627992984783335106090216161757568585915726834444208001940598198946412214713843740596628488365637524221185989825463268926044838738083381347142928967356436037159792425487557954727061834368455327130405165295662602986254901196444718177186367949733172308791767715596926434893663461124025728072960282621243542267248684112198630696191983401554074309502993825964597627617875181988248044342305001712537905913939569664578382372432315829677044451319076936930173124790105060193366292842415581426526158217302607407285571128119221194356684015383957657097562836124512921727708569685303872417739577679478403942627971340856948622939683563935693903027342251928250669579108695198216527957511152170382608692987703534213503949738361300615908695880841925120878432171556459195871660996320649357943670972077019296193400836916113784653851166566059038390314841891880923537602939374255213357831749964476656400014618562498139743509168985179436068613368619570016983858812817554411401032431585709991294610305046418111527308272805819393414810128081836792399667548564373400172760729361912866286075708249847959342226683839310440037746298620356021022204435844965057304672151797801223778556666090912160247111816654611870180111073078541768564604140367367585099532938830308901826414366019782293245875220121145598796908959842769478160576094047063767491180620023781474565513082054974308698086605666263022971175759512353511346751411634486634268696361141785941995498132734198872823378010367510345969089057696110062484889107013474342057194888370990628306050094256328296947827164237670132470455344056488519982665493318007193298000183954429136924957505908803131142990217555591691364297331444435921516425918430967066531038264497088577386672155947992480005219666342255526421189376076058764001362741735746595228220459086931816581364156482127979044317824642807631510377949250104739353048593039908623915941941646463840822830889284232238346264417757184220500276386051113814844523965871500186585730205016202733731290659398020285399198729845637064317767482217023103262144721668541675190715422206997961868765027350619124585530912394667455581992883844388553448397261072793230656911654038168350296029903236957159208773792147990236682605329580359702260505101285046047104187042758754347908103543890012516635421377685648799476148628205469096824224095367282299324777669247446659644825495977384732208284490272094051030447388005923999167733618944252762464653578309159439838073207961954071479172119273860033602902734797042153532981360962438295627048724333324193422990347169755406905480053239494590828412302242392224231807826341415769690369100178265178001756956573833989209564746449957709313835165147681260324140089579819016332174623376125719445956524828689976990543540725105149793733592648771165956715731091365773330938527275926198068169403374570379082939555475202260629234879174362483794875552499816852169970699823324362697233912604118784291826132372227203749032277334342025903167301213996849289865894512046910807568241938657707586561379205036160280391110434579532130734675255828413369906164254603897189012711399969608725596911196939536424448053242575757352560046135421318610704564291784816074593097868410901769190452427972156696777907864499092532864929155920684100891337831683209562269402524374925405310713940455423727847229449666136123437405492287016604905915871957370899489041585519523987644752834599936873115788442683368508647380901354129991152669520144964183369622863699371118089617886664120679347674062070591057098112242785514096153777726441001575683627879313024155914038947504603389308831607187635045694195110877294652582844921648886113150079567946418974888427919990265813279532417496242484701439048968168847133046597843178978406766182909036144626002977660840942022597265585902648331672098897245595597921729870619375872859433867864997794091107577455523348303061984152946595725762171561097728575892335681702503386798826295600937639380780507178760893966938994503898087749021690018075294999568736189560213752156865994656524401973119469935458096959355528126874914719144343400949638733829001335533969975744967640165115800334498327496597641204232704060134451710149443633825325279943754626718478253470293949364137995466242191843550486900045932891501535155568618809304583181484037398603483564284161045911255249453974125141426468629655234939564115990702834156574417916392874580892157711532585366714128334993675651631947591702327139649350704512940970973919450064372223616706658175504893942126177499620494145276058410713297559741716741007673008622494860418855714365874008352583533120434320625846034244721319437397141588748653864166317032735885107542930258396355663722628611707450898794007348501531800911017906203645897441750325540919114976071428145941484077680913094463196787430824601627215792955308006150089936277979314138314786214248846959680136213748669881261685448423604660601211407789523663337016384674596068745329500827168925449882126557987575545970112237885900316774184168354766851296278504354336694004171863241557688376265309968078205170095422561519493779719580457553619459532613098062050187004323594516103841655754738212063621030864288237924206434791694922717832548583102635973128096921932909346082559767854256153884264989916412232521244796177747586155038625937243628577379694035715097919983938397249360859614716597825424105642161123948682121661499840041089428771411379928541577052287024074345902926467999522610573719522857106975471225321354044834057461458485394887791254703244001272247048097192209898778351404357389501064679688867363254468383305918492471388967894110409556652551242404812985843782868866747674082561354944148705057644386666738879491627567648416712321925568609031693548720711924961420692857174586637922030121691438931979007138775814897817267294164594056304560688505297194384795531994576854589934353948589833351247233102811489000264854981554980689782398130348720448799987862157527872021280824663777083403896954899442968386220160116239168079240440832579405472786283853451770804669732420260050201689789336646787123168740992126375340734920573032324361917443735310869645314967663351936304068098473206086346842043013853126902129146661277476029470498313207237293773211973366322328630565982716658189554875071993329144851618586118327487699048134782303816984027885325524416129984102171116594491800929007513611993633927347810055555512630306055142823118923641035919868945510734179613586115259998801372088206779355675855280958363016364139578926733814069252211433746794272115435793756033971204324174785799434797769343847443177753214183923336382130530964811292381632346912275630440668438631426333555218322499579194253516556469801598546306200821726360892204784487415258719519068611031604424634838253524940307029360005214001400992530752750674111073056934131715312763904952569669399749464658561524904169959675536505170210042488074371386636976237503278300904748629886194525609811704059163884456678671053800704306797201797428156045667493149886756422247208697983478076084742384164039893005714973978284978669230314432364793687708947725688174792917204282616367034975867617413286224478174448229218301000868079963821216865512182731677063674470619158105193192133379158936140443200640004967214833908904738093163939852732279457387174350803053987114191888891695330198172129195729348242099718861450782889314808560163618865853581542587286332491249170816970335906648411578940291332036375113105181644438943288525122693596107771262528409450150260942531470735616474577792355109271068493839340749232186894883242273836893287767308190615601007730194226931435694334304834228439254653741656142736935479145699207187685175023179617897277409683630625621565204639982301346186022876500782560119059006291750552116731215848788012606444540197539355725159361974800814330396940166831540999005921534057344859295025821176452703595284473679462660202662171464948893465193024576228332361184517511517328025646677586461272497377787096902209423626515841120166637539119244769044760691157388484030453387251510132582986651864926911839879389047244019853899830980111668116749419918154906518798323908669785238297383032483576796551469505290662137528258625121358510282042034149899113403607966172829425304188550416601735411219560275111256463003782739256572627140794412897484551207378475109824661499649870115994502781148271467507120309297667779362543895524181164791019858464584160935312770367995324621063308528364411634346258479729790951095595448834449866024807223538733952778574905871029893897489372777204385819301767323891382683771445102508718787223892772616901450296725119428471733597761473412596432730812742160937168853828701906210047895092391234203585073462091107683345391479695227366624615161040416156178221384812279178489899268370029849468817595732297592304070758542257955897337412566888416603141862180754306045373827503289656736054602043750119186182730483715726825850801768402287520897616686046887265479772068340821592762091195754280711845078503907076747812257351804758429251897118433211521209522534614977899728861906933541707237362140244133928245976399861792042905054667238287306239945244079368045289180070890131244041529091879638764340516605399667025034017795645586354578047693336648027611065431507242775717731777114205903919348505378489679106952524892244571085889612096044609886397297317075521818066199283163488923955175627647448514749771810168884859385994233620997220061176915373264839668824317719391865958495187205990015144660205688975149595867461932416979086845736461702443160078792915021716825292071943062146630518961823736310529947311694849881175145103996815861145617787911971385375748640514343205640686699636361485300028502521938676940516061724518153055252875508573533495517220392741183988125534359870797630200730684804258407854727389649523788592545317991367383471259587325065347680013744185419300163385565545576176193583803539659190165113340423209198711664095283247323392677989425029077599620561281632197741526058404416383612481090442748381038511373231160904748587157588265558397910378570822829760365760306116124374579917679558495356158283076937819895196573856979584209485844356152379103285077715323802311376825795269080229858396650106501459643819713838615967515857512045107814862010899600288697494381995495651820478695619071726083248733847765971088356698910741650782433613701896163120028405166230814987062975907236756926610728773460822801895153964254165010082987484049229505099311261986789858522745057261189318657042687304366377379667178587114299874824703727735352598007946026327362975065957798642016245966203982634880068647130618294497314799841506087880674338186461831987881605036214683420084861297861933781370811160637177050370825606764767251031069138775427516935244203110490757505015673037971974630501711979955742058374695188216144218390736359228995545715590803232124098165986336527389014492605773356074106942457316630862012688267651857496232198662376505560565631259325829662868071115797963394076521064704807151818398321639696154626954707675039374920615066873707319189851026845976164697574218216035389765906042958500655172146621092293607369226621008520084060075518558100094714531260337373062299279392044901774588065562719317291943988708802962961553603273202519636786707413070735909263687727548144445691806331452712943403497923782179198728284813912531568233686669698843392472128155271273996206847502891911471414208206297727692146374262563711291487636882873408620493999144067395181553901067342405847470439844451089732957259715245184007094604651272963698763620607212772840795121567039904836687924988263073269256460365757466156221153400933476907941891111082364499520197939428935245775066373293999890933355350738241556745689423354747937981620621576603008322862329948054366529630220938668959122587168119644466154989141677476084688366375733340851698262275392235933908270568233217381151562737158946058556016589132405028667137504307364143190750480335271540397336149718983121751396290207810620876814681380467908975335729536040072814898179041989342722171161532521332331654397069397414652191619896379154432434802236288350027193028325732454967829844702469648396498783449105653402351020078980805607492538314301179294953364312708710649108410552634023211210067897558039702946992868059004409855680454266611031854105859823941360800526463312183147672406389517085954894901488642315345149460705782988103489699523007068596502540366244550417378656853714494334283709906058592529067835727963931906979672529071723370030427129651367568071524133793789888820673633621252371575078904811221535897402217801262169913441165123664377480603060482036042294005869116638803633979520468991031529207763755409659156661643785506620120081812074127693470761960654199314324391891746129095242386289463921943529134170634237349981824982840640716301438611271545600467536552570535998824636208583838869100014534235119076927083985144920779696839019211587049944043429894546893579988510507139582682308325919321474394271901509905684841016324019133799393858146578071370309119649217149694058383367303742273902354992678411849136543461936419185063331085502254913767243867631128267431638389914249662315656277453011930477004656838116324605079446836705057858949226205936949820387635158778087893924237015102471911236326980141621736732994627529717606512191480721560428426301077123490691234977793447251491438542431855437067278557089135341647798709519160259479230901131044632190132600141559256243370226277169454365928849392741233568682059219668494398731479527272298543240455455218085652989347983915530500950698774863605575665286714208771073888688299690366732080611836067089291025795305415523816786240655020177445088379799782183505074407848355767003528411807158788947592816905637587790581875169863815999455212652527938766720624010402742042487074288273434930645255928203719825927747581486282763073110253294109647613157953702944003422350724310251758346859785602429685048562439613771105946127952625873300650406375868951445385073649253018911156571384945884361692602916099495901169947224572500912230656983820984306219568699537942897926258763328263069991134607314186843489353635209596505811292773192553980440645173282455669603179968694869644839824088208244410840293502269054017182162826390726511434216796339366109408192018005764612316644341188378359865257477384956622023354611285117483844504013439297740100666147388933788557291726618134759719443360228271942479218571187987173923603384116739062781668496906449817144986171341817418720685326977075651267346964576325908625343619576541156201181207906036191406989184877416820408778212302057116102308624795741336374586285484900762609377515457079233305082626483177864866102182727591791064052406713972058262344603828986932110478011698675319732013407414773145500840606966723829550487108796358531343919759769215156949423115442061096759050851808414348514608014992253873308407505327868705506989737642912437841406233619340393715973153650912582192486603922780094599391100815970721612245682107778350869520059677393696101409238909906182748572667501763080932944141905542069312727932625714408711795571198435130925964544874510844304838281468010149280547404875745393663149028817528544473917687443558790298979607109392912713740868595507272003130871365451885820047732046133235740279769602586387494366086971994284127889833893551522304678117535761595002137734208630102799966889928901356143076790513804249771426144461943216204687293319233568144393259610256388202654257547824086241896221672709208816931157676225258784153653691643033204149982899835482147923834511218068071357912981627189550541652840609353790163055080058971573130943414378522339535928821842020222223880924010839229641375385845999846109389446880121490283142573314879596185330976507580882980583803493970430517559561531792975562435447201984418355952337784592963361137684848997121971384669874158238056102785692725813758771784374095275805515759566684926191089151188309427293389554028234441652786202650228550283283099183478984194118457519188378622046343381055982488279685935598576593184576646367300365513128828270608763736369199946416454429839624723207636383312572017300874073737394360456017139665742950287695944512928833013576913772259245368678867994109339346810422655180852242799521246480189234706292383067424472997925549889224605957647883291148324660417257670506319085243284662235221123138161649235052790104339987137350283203709194731199697203423593870115640666337975157838093927209577250453477096240188690568700692258297258971113556609478729347226799965606420316265401624700207956853636365626835784956727918648102056444239682233048243573428113693817310672392346694436626260232318829435108748205222544387591184071408842686014720141440207782123725031975031401551417367910166868293737857912509126191501712622564980175027455549026075482525436231744442688187692921955132865621429509494127022640012274149039805478288823366701457348615036905661144810490599612907419585097136531280894834573670466287061525001881101305715079457290437769335396367771927022348654935817907697572890322780947023851666373582132954127380050351453217863306907121651002503764036561201962443929969311772710289106761701074966077161032768679238277588314973957886097212946312525216945004229222218201347782764549963611590587709499730975701105356791151170066071865063346045083701501812894584079078891617405445912859818670522566252027796384436477941652262364666206202193578570516440293605843966406216196750636740326399597327540579685716743781281719388048468905004894585434857985986327199713205551293926138958319527596687037720039485229046276381560348441661957031407637753246785820249168749906999038692321744874576907327881705802185686483421435948577986472992613082370940866498613339899192609411675876762640097816765884191879880959974964100117452321268511180971095519805341540347421440054003318599473071659836038793864989171495315747354190478528568762592485646412030984583301884822892640906450292307338413734324631892600741707506806071178560963175197489646067772084062074589880578446557366528796876734765814725555298814239676535284789927495098829552527440369727694970313205203799559260230593214496921109497806328138201735325677898308793286201618549256600531504213400026567077963899679753098856815842237206583337567393820752523455178011051750740955190434187132510357785932381001143824767294912095377699261632384135702109863095974087768006827664637432974273331553250427549218095173511130391084377580529836076443274400877552494854523723858830979097518315043865523322889506216203646085910841946856815911987199191471550585638962638986955850422813936566241697754068919011343992621208160413539621013740440876295704227104677415768267372603353124745148193124514740279334324882997050552239291153756173791441784230046755132348526531309944670552346857185372624049853240160926283012588122110902308798011660695835055779898154600544219805963852479075405148514074214761066108709309335054183992389093119161913803858614709476657769540314520770587415056501701050139937028829125349370510545654388623356138197289858816075775334553903801975758058056674813137667094599299954194967456993301955568252533705381518622142679052699821670239361081328479771346389699009403636197632632199053281084423717998629887314477296919740711385616639378346859470967792402668776630416630318938066484191287376902003345540590827839659699595278218790424132168825850397064725846859168939111312962502830976989915406157237926691448689269173787984320933509337060682391694953884212745588220214745226918431308927700739216042565754825143797665222956931525707193060444132322155960784781843915541055479596041289735005090165778544594818556753379070001833152724766250908741272024859969940958359974144973670972307462315605627270647341869865419710385498841870220276692763264382677788059558865173126671378413071811633814224387907443102106748556702659781295762228252689630346359225626515127886848052342099001186486964076754509659869485660307478168818445645114210211590058083743853947577541970238090043463395364397125871521185854501542689611085146810056205648954539273600183511118250254614435148367656239560297603141806758459587225559403502010592585944258386407406803654506697703915201914887932690673544756247532871954726240185869859050147500574745928669295654642467335486767006537628914127939285263330900040714394067931755144890495489456009857740383381750970324480690869929352923255805436691773105594014588023720673493357097681468773658411774226138721136791921597438685369483173987933549618021343806572286277671973451660746795872444344356750253271869319178314905124621655683710767111077370921542851804153587873751998748749119829004537882240720005326604610521591929535822414465660692536169617197784730847564329119165279718507779119477889022533345821401597604218972055504751594755508133037545295991501265284141202766034506510140762494903144533093498758452454051564710416915497796127266753184455909719438234062826088697840569909240521146415597856061231830500573218327863070177784885722001234737816438838824512929884055322785028942086593998255270754044173137315440326664439575882932628643727062903923338597565309321803584309218381515126905326051394283331361570354660429883640227949906218436799357268407487671258603793639723738364996803401622741006861860847475661881784785079547226768491162188995740786018053379178702152659497544256677641633854343616111031718136295892440675751780991557909506382619597328189503925581941733804812830109901424883726904526544500089587302626806167924076242271719822058046893846705558544824580201735168605715803487065110002994738222900084539028797199947114842529516374963829658110866263260844417513887669392632649295998717810969937190213778276030953230570620395775972490344122018568719093022441713203288373687358456868424904204038911386296956554961734929646761147405758568890477994232562740176172673780254112927161791388610720424161435675889625115387351891752853313760739529198811073420418919358314426661813617237310093238781917878404091483786722643606327147606865239098548025920114296991164096396065038205609399125303552959338833219697255624294017301673135593645426472083719062749820412457407820269090266063637639516515777217879239421222635294749904993776297629195188042770922557041471051967155973513415240051725438745565520570797293209458617573344370869577319321008878023430568317445594075263709176655603478959242973616327894823588471867691015401900802045190803055027416180146260636213245370277928750934069489623347151267272635961547337898967247958165378355090232934475300298783324121313125205740195187770818830155102790385643315035249751927742130294572248185482424528454362867482337013066948434188423370951139391395098118468324582419294071209508737899189391359037710400119853852037885849611653496126454298432504421911518006349812619505193375803631476454053536768452956118768166417838493945517582400802779539972425925457976232854835802498394246411477961163223338902242229207684026298553342256022497405822122575281834178650721640545984258121229319798648701308386659582641664428726180306060637035895466407605824469810521250912460140219494973482107960911530964157202845461144218481962328662817836268000062359262713311838761847920845524348461492255560210910149265160787910548108518188463203705446922514724680160135420562808491917126874210182045660209609229598722838060356423966765774841949939252014182316328224764430595682119554725033883077486592938393762624140696377928063194133785451973676611521187946780809682837348739758322352602228531660119075153662015416376004709233630959601304281670123921841406915015714811884175108113165301664219054210904547485679080404745914732178592883198215805817655191492071383850191495746612078748707829207619808507773989959229508688353327731979895128930417850106906115878094974297221868106505785970376699105900568727779774981475309470721103678284077391980850453664412040008582024315009512931782136619386890343950515087569401078554800848462194705888528490195531956541289434691585113975391178800817556442917404733976045275509767707885763067447973438878210563224248607738804902140182785766148131363948778538599753243478731177433883719811775978632487282444110003770380080230905825294739486466564322553493937295311076532218250375954410908486512147075901607263150843645324509758437172909029927921858692775935180654578218704362212732847727010222886922599192581134022200431239150378372350375032706111828731690530584783773427185203316090232903222225894195230896183757576963961771218339103727235156104727333876625184426602810054395092599555399291468615543828032034709562293141030395953789774408149143319689326563494089046705813166644585398785289985623704311435272130262475325964339333387354179443994073456492159738042861196930265572768130554973264061759474504480972781609876502921965485171828493504580551375845746513362929288876019328273296449796864845954913302704146988116706575851370450142496854456635476413933097046729837125954818651218537218119941052326236084483684564950256844093475672132886339820732427719177734100018551909326740303267006456456868657886280658733552949612169595973223580752358612874440821091596829868788021700024782069771061198199479948469406134396695431931735693521522220977951190860258651479309746681793747056456972763548266336448280758005561979640599539028211652428680327731532081210878743379436911298231603872831638686024189230685829887654463810349759300043093744241521872331622594099537584482646618226776408140611558708555216370944579565310791204883755752355743839048786534936713579445025444439785869015990604656520093703738267317804737167213474889645740688038405337250523874690972835012830304899145112990906329554718265821690276831026392214202051731169708110550410780512794352510734947754805988994196010228263538524300886978913450968204121598180562967022086927636808998812952423949456090393284732401232609365964706195295733848173157290486607002551058079175977821831897087187424739020190518886808975521022739954075760446362143879406908172816054026719029413401337888731416601708716378459822571193866106442379934310931790718661352192895196647127740777102788785391725298356099957831538152347810560511219556032686198707004430334769659447947206371581130257889595942258493186886314209963445773790264057424972984167010290291208846348618145670000767399226680822595274940821864399319416058074114202074016140660337411405290378803172851391987441721433130449590986894822900700034361523299945488606743355485273680365477957899204573770204842126781112336730836022051384514534632342535231293881851374330295022016674257337665932415864652565318934480069567260763909770275581625644056317616460977847761577467167505791610976873694259837165238941181341389987420382786735818831467753947742115430174479107525031174677526579412253574020434445442281132748249887014671846986165112681038791193307127217275323953328400580380506319374929706587276346068957604562741576462929464681445255781354222702381515497081138425915405486387165864829154341854045697904567761434363580063473409331950040265818491230088799616767009362219085369156315201109433291412962106159960181266360284836930054323724544043425473113285702922883912391948412512895436068537072270310578716472049827325195434805759036466190843407171335876516689902319318634682674908926551943659002715398372143632538778300708269587582867986574798513527479161776028859562155720170140291651736452510857138377194683599258382574590254174703308534947437325824957005950938462026085421414095929713889569153200485474462416331295685895486352503585663580092219942236085639919247524682215652386939025759578325418692308533321355744344197296441158944285248395322094752635216737138226810092844970718635779310332740898457590510728977947347507958493285006882971648457036966124962469881597732115645737319652519216001471755467420397563802095107563513105668539543082549334304002810481864329108446499129124607949209574257881596442927092583906736189625147689448753223370137233656188724963116876785145971123813302615053769378662120976778396213119262193001028454730883896294574009382059062139451138346272072290921806883384908299100723718998377633198458812322774172803743248712232632874602241294658853866088715654091978524102263982874652004841860759869934983543021662541304019659055130364243602627874716982723603277831968349415861347690821169623917768298440084642461140077466552404899653077190929550411301177976089510975464146386781579390619219893997770372373140754487269481318314439211194187110708449732580174640056152802386110728864558480284802821095851980897482472879009589424902741303572191069303238186553369077190113607451338823195962229588246071248649403231935744669933588147790401966262158365758299208287234964490021025707337514571604448743997551979688658257969653845975318790355244029559009318044449988975250190827798989883448771823336461625527985370860295948267157058844536953242750889497274653001443472636918353549559397111006359635010737351995834688695411608832528043101585676051758915477929143747502076819645817251908246435434177456052326283893865307857104147319860150811507073782013938087315186802329194334225472076750901774434371497342020808555868043681376957967755911265515868006945783532543967103629065767859670194343705104038777146770021009576622953473400411587214984683986557847872440064816494283120597643312167997943529718460938834559134918172986494716805512488176001383347916853313469182269388133556864278650508343015507896769707186401778309551278430170867199153455342823268768489278936957448868527519661928972440672405829396093533100718541940398718981655887694477703177735438362663757576640872160493547331279292803668184453502531861094096372372708113441969391655851899090383999069017861478558772006032743776471109988764744083105940589645977458535210792736541867714007804646924219793897378753799546484974441299996101032508749190498142016170215299880246801056867989367193423559094099202297611632132266346571832096641357620997353216980063327484216707985183700704370050633494251527206103508672351090360892377265167073380980842159169169169400094922341010416133200106097161207289249666186266491638256866699653854070320674503682807219897355272555308752764056189473467275846915645171145350055229607657044832787988067626174260677508025596472669423452354310015679729374046904352879131818732094497991945131982438895664445922978360425151783971397440412770556199214629522525620685157220663892903341676732816551567669152477032614811822373471379972223407119971984516610146662424312043117350023035525734600751525384234251035137381906989333045902457549066090044900098242543329898422909720949492019065698181789837650056357050040391639885728529644608948437658828920180738213821929464800715732810658804305326125982470230271800930553887824302863268373750016503986517150676503795388829538033870586648631059441762957635221921392756478913378112425373688338466086776473426441849440645474226608870911730219164014808077121547386578791783591074462241789272667486029757856497605905083544804958830765950123730737759755913821771160807470048892680246165602916426387632507828287244396072122093094947990301986169147516327436036799455295822962970082043040351093688834261893700623374320444257808325597064742036965036195552071398071120329177883671899904361577018494253239468289232761847437101760225314679805108865843224313276400341140444167181050854093380666644335186139799220543618025353534151384618810784826242250621880391997042556807476591572576730884196169516698503223526721850741763193458107641864299061690225044080985323222498485906936925459214300584954065589326703664581833023148255026667700337713058889298298848418676184482323628834248812314013552538354215623461121828271294850923832805308440112809578478959842284991604567185319869066608836622165685977744334271268153386431534038592073302535578306181018849614892408885005558535824496029316923315223737825528150271987250863340686866453093920144082453442279151431247633969764652572937117266332655758190991000708190863355789880480522960275443361933247473450151507732339107886233512221727674623163047799814607705126957394328495381675418685002400384626363913758223775829382163403134746944624949186311597736747946215476266902845550121533051330293046297378504350076907472301506763886005152248185683725287605538991141400550370039361120688112181813629813343545104051180004128416909123277435894110498485166961464246995252252184807641310226928992179688282397197756662438166376588869296236948764559585610659247615293161757894329777348226115701910892894362787707869156744145080122994377868327818411980093353501233776057289793292744016771598318987799396210895009860127896555152162544646216753492784810733118535335997008389273959642450050298377224697958185330830187531543323014842147635673062828535257163501483602873579625668740399037104627386676869240345845369073336104409583818412936323889813562253429686369409759908262543225323793806310652942590426402480074693324519739565292243107626143847897036786476549604922970706402686613363412854817159503592681683303964154703833793665492762226838298202889493366586904046563223170491148766769404500800105647517304984044647305854252916103757418086848826237080092638960338072089514129114870939619010238876578186490233119604773435243439604231843774999877990589397986025087596567949097927468235580684920996784033466369152817678889257913233548814218444891108997266039733687813921572256970239939471899009737267198442888515467764578486305355120418957258014015914761264111640847172913085758899753720731642027284979062997246581190173756109230013058799419463020346654390015137722785768394266164535699403543880783956425872681258383990232262875269974417209443091932898030227703091657064320218280633969418680495733566691122516450485244185120718549814920174496065114865471559338417484536370981465649496298384100295626922470499720299098183717175058116793166843321605551504900329317072773727353440169189093677104507149736647311342703539308231191989465399531058873067601652080844859485178674360489130465698070599885682671697089170650054338275233079270301014343730794688127369036845727273744491899656954478065420501547359291377297280349005313360958842744075956037125936410066862399221763320255220809018720139534801245830834645599463111278661826294329208652630522304267463530403157295096719233680592494436528045182410635382156072779282772740085022310267911119941281090484348237992032208583855852528714559032402940562704573887077271978717874116288339949724062653803678550177444415776258503786261732211575026392959663089579020783250039857510595931125491503013796622383865887454012021009180156867902608783594522653831277732083016749019799898813040319471245096043845959305850155991788601595723172244272776832261120600377804306308851999911384317250318198873557509541638561143644923658172325903023749942590592159164194769654993806664907765487634784418284560898018433790979554595257728780115355211118441800314915448197963433269211277384226694215346019360203834098027433289169290788090977667128943056739208430703161876960781849718275183516400277229206696870215231027495018153103001197873864862813729436444801026323783782930865881845101366722518536595775601565000697273269395895236711713372148894482399988962753636424044223908254772119471846339768071638434861943774629877183990116111880587961211960443121023365340954511651278354484462398342267247795129226932824478738049080916048688566516289620128596129352752986734116391024564791997495404392305795935172725353550669583811820471981887059536043170937687860580049815705758222789826247512085899942651237730237121494763320102602730997176518254721854398742430852603450818084732263388250067708353771322599182757074117590938755112179091314687279974697040576998504748403198866463828104707572127930800099031313730446489149491261365231441498632547650766228529201856457203199308623259074553784728169396384742899772457790127415768121229928366488473500486348763320574500580549410180127341514096609312984367498216382140970571429750181756475714948610960609954288887111781058448048512088050426352435941899130558135311653377113816764511297444345035997751367782478148140138127200543714614183602985603457027964238053756591864813165330127576953901959526396491971725244262922498551438030508221516835817301958934665454776967275964444255628416752709473658364602738968029839261585059707239806913722555327770925744040411190661959457168323282110506058733119440015968532705785072236350766210327949249734858615870952859806161112347334808647908814522271248666160506757952617359413011098692475889584011829446840911351493110864346788517281745063239747448805099585632805513096025829253118227540938434364510205293414750016139463796724159414499599893826248663499442632018822191267844213878543979123761808478834686796139683910218679679316281005169607419628087710524699671248408248563000127259181464306855892794784087457489285083861094347939673877626308791750117982520609728267910872159869795885173236859024446733137849732228419917653845986721671852440591413268480142248381499656197048907527839497650452943153866169689191517470971996526513540148883344013308276661704259356462811837020655474126085821372254505457254310230126787768763808176787289263423851568456840140756690630756196771954378584718322201253040135932895673561585521514617926781554449253327586128499914523701048983510250115561849712777044374107313190768918812770348625112066426027149430316988871218361964381430355219462090034773244723845358886402842843754238872333787029869961709962824957812700395699506866196518293137711996500406059492786976353205308074391257401327781096267448290837454596938918622279841889064730661649166959503224065642099986028533220196637776786935423270112721781699177898661467064384034042748646620231342945458427077543864208390887742734425774593993582486485841718762284037757992511313785573325448559223180592826967579708847109656457720101137886424470409850824815491666702456147035451017334253408819234683635756804197629460665717737084414682384438803747950104120840576231749953376929389177465913495282058459169459718285373238757766232842034185806680011939783417625960201709760320282118088571233371593978146265307044003384871856538450241517678284817714242560630306160129497843357746738764797447958209127905946760300552645900975961766215051533348481014211297560997625393872596344814496524156412976336919008588056000752698501312947704007872787875814857715636859684382967546070143568867050218880511297135099724144328992404809997731393850815815124263568258615636453765131596065356217108827764794254634639374712565933185225616233030697880677188762042468736388577441639696025907785765724412207780916759770251173331308946770067721184287075936442558750057406365988999284750425622295842725996973277163279492961652099811697444943567674860141177906149839577737785073256685397446738652977409068165134291728729488692947033504988302299715093654208705447498596995806646111063669856174099435339081656594938936627761218421940001603700639210443915438064050944279255702819506675246382266885311642316555785415595909759083262881237595112491419599542071673659790235512804068018578153838775759002412410997100886817215462679244133465857237503729955301381495870226093208947175614466702879922094424407866211979211912806298540086640725637087403173514612308813596122482199926821773443797587146877051741978118448186550511116996650532431199306343021119840909913032068802349138366664162645732235983841005023337837869448636685670776215647027222971645153835024744675084496428055198859583382786346109817994459669678277661733914145649138956312034474057039422621012218727909251744156439376256318961660324481120012318970811601566757184020920742758642332903034644073973282830598786829173587030895014487950414262664092948288776471832336297626532713930255947640416879937596626615321725147634701289555700594751538261082201012487427273264979160812926589259816462370483138831856129780574035839175941328947902370406038293551225184620931757707648996033029077108686481338895852122622430888221840861462218142850955952955992933168206830452892737466577193434091730368676902788440008495049725607040010738776779577397340415854990933148840520207940143234921164106173204871429840288068198769120118965351282664539655171856236372113828387794286455767272375796359225982172430879802057426115164786758517325876312661997392525825628572014949832558836895266090826169845943903579447713105034756833187118398236940699437907031704938532364473915479822009410316187312469578504756955307002622287472664074407832926059652650423640403651168555654540406795241302781227285374641062512947321682837971444283499646027705297408847297997830881146187360075210948937614442569638379392957238753296026151906912578047798047922439698239134905605308433047145463312512097894312242714873241537263190201394890025687576081993892466089308646287467191124720811733105311789488420637646739645764494468039549331382089122171399566469982016605990672637391423056661133645724209706186645994139898383480738106557030386986143306477472453849571842189725883294728245151658673522685828939045900192247698831017158274385765081283778491973141664890307549051212651501445916277837424557536634161393034814067500870823747886486420344928105223437524931403688309274134560277785467751836546436627250690831517955969095866021209167685458639639670282465745346163300730304598534737763223699869365438173242938281587082949830612001899758832228681400319804889000666006475133801607102838893969745146116114284979176692264744146136964365909931579676208155810384599545352239796165034261804256366201818674617318351721458007804548866097035413471535511648453920547546048750454432670431803776861784127770036256298807768952094334921944134432634533415339086808285384144913451923303315789787117121295006249916954493587686958433348688237493799053108421492554975862473137337963512108632111353571622345673978415078297632761574559754661093024062432238049984320641892636053958120828587540456094733058356304195249887820199303847206684838194529006885515695241069740382372872171569812693514784086485563384929186137955120071856783310155413566028414890223478083772249239922469732120766955728161661452492778914606817711990852762176324606885828772954973596080119379551482766570429259731371922846759008430572083656107364103913829971604168767079621705683243302051135321367868890258108853366865886305460224869520308068781183699713116816214169754540741528551892973273483714984704827465692435648570979285156957846969248149627092209105110998505668733512694565173821906689624570432272199780979412461835000602534548055266053061110066932434015016373607450326938549869319229779002863387124670976352161614065258052257646020413817520412940757763087011775810827805376109366978384503546397173443821928391811720534862921729868824607160633797561225415634238546795862728388821810268772840792828884222382147163257582245072677804873489609103072196662399518594471986799673774304550222628953604648966163373884153680945109398844867368853062711928570118089188290738256978746744134909874780676803975061308651465169250314106173736035924600751375821490013631193578695696820494853146141095176953058361925128701823532768920419596631619029975000643441583159241760707932570248404731932236954857918588622053550338033954944448051347059877348994969747489290145032511193177207259969849785339111956196544806616828475017262101239948913500334390568268389279037831527677938341398648030512686546663423274285169194162116205611424466208894948926054605696244511152843959114067848202343353496981257439101516199199315402132511035246145965929046238357554440187757456319716688621518352454034311525226914333289263319651217802970296830813754543140766928795979623118877377687061670665011331081777263038564848426761785172101628389114659833178638756007046651124724541813468905283049641351331597717201415132900266882917265396646033276275330476986739432606385269310714536869191941761618338116860136601559982073153623628866350891266418651512392713527019410884342483111600448545078265007066530475090790308812185467459873287168896432763514980730666937082304388020283918480283049664997523933674762726127387657313151458194776002632391619174358494133540365053230766805822522834828185672388436686699352312306650039899805112741900918240712247682301948828742675728171811464345639772227649961481477630557867191019886217709052622083808000979170422365953910594685430330683311335783548671215797998014522443844734886700866660104185317497592975467536148149174016778394215167387502696843618655346815938361636492408521489873838532520210883552133320202943702367658211454432401455991113408777619594745272826773562269428747583931855628300288035190332560895073885476092678647320249899047218648354159717155414881513740007782972919934425627342187383881124539401840112089998325238697537320087416102735591098330716622021898947876623707142517863397327373014851918499024336627046580049979959268915083395582425777977467252439111875668931437944300891573199401889959857017646099628544539601645758345146663369785438065387273539235926829850918872112712715268617888573637955103667796799732776741170722956665829242421473341851379211616890225018666997810530589859880851284764757396713703659891802453990627653842719488054389637794273026356511167479796637785237038351701373162462481442112766640656431380963315127607080065803013683141773247780858200692321783179393045402928623124791412770683726426035266126257381723456023986646338010248281668761260862732902425985396338733999672327754576414397581757352188487432038630649696060440010347475886902106172979935529598830062175456704362030518859556010683725024342982698530675633779032892479146611459358342331108983387751644699191068678031736169908760679032577651018199603958196805243832343047071618264618476547418810002934206066964473572452640683555129129980074335690453191974851060408571507678608350948542964924190358179280046074695701065021398314528690084874935099872233107495360527309770568836337665393571083135662610622539187631243938273053741795806695138417132244680918180197820063804710654678407225342473704887992657385164759894714204120481937154756552206939106879860137114724629674888136650692086887955173411219296950385089577812655303589706022595251240787731365713249818093245454999809613282723570295438285317842581953122154177957077706970490759754470781815234161967631589612196530570013152767819078057682473679718675183367248824006069623284695535318378013807664069135408711236075406936776852484268743005621070059643951818008093551372575545558274729034588438462807336211108488821439200662623035028704476638426515455410693837755938443749339333136612878372544722264987734132979434283498480766470926005709735811104534118972383055883580816701969208827863171019747385877296777887795860711968159080312028306549412174217284548146462284097968920153728932336823263385031210132706091320970654199418818681409798337170263491548949501608293284427090061857014385823825338032556675575961192125704609409394969360046016789122454064203444420926415089861627067353984517731633217491534145520841772595238556641200018008623941312053993668750720960479004571690547665636779464956929769862064031587970715055441236070892637065435314679960741868610238908578673153634633261299964348996569053218134952023564603894155029107023153506953672563541471782941070516761659092071435429619939844878488248327826286916934811731260263974572909299119847953498705007392286883964688721644820897926268196719594185539876704690907355281839553433837534357893764309260292224978301232725250080882768138657513751008880494378677640078900959766225287287074235581728324309203674159653045474912133984360018912337627370002945541492004224142746829941243499327717234352735604964611441943863569291340658354376462759649295401945297808112763986729786026671611296145471670715417939016756328808607515698572012364773072353283383400133585111944811494088096089397321478340202336215601332586074704807508770534308889514416637055763798418524023019268892413192127857005466437583577671631103238942841671423567258193404812521392241885352668602401725451416054704448284109517326230825509936160182250628049133381684926753871790110845054237475623848375390507476111263636538047925298508777063126692842313188574975975865504225436286445254025634384907988721888610560164291453169043905447126883482099569233252548135857908348923202047386104156369752473366993318124517264237242759108835728957872708807415172437720750114110763937387363716202457775696673664775034318979353061081434011226901253125754590710948496971995249828685928860527645341169316783139052148777922749881875347290112070017786010352908101328473333936099919392239389001972686259765567066341790207512159982045612438528029928620824744487702248606051306813242530059368590934493108978302497645368382117948678287771877389531832562840226072041202108843712974952675626510762973353432873401837633133844850529105324734451032637999817271623914801328523303393612015920513098919368497034794412151029899252543000846658843710952975616839039560771537751928892524003552270732894169429673432240747072423711232294097408118127701909169852072208644671354080829179847818642930798821875495248105344754502947732126421652164104592415686541996454875974419369211890330984024606890364720844858929569478392080128785358063102459660152068908079143795028431076751945848806033688961167386883129873525841276981213501359593436560853170479003906130534550327347460923334321722898833903835201794252649867963987318172450165643900842127194379235352833232040731828226655358045499387027577368292310321916480857764652553436861426840199302404443811310702774055793137797766796639941292934538245874890137224431206645143396668104577546328382561056866359260194883353974304969114624886945518345625900171688938245466680761356445777405957538539136575030437307452457872710742139504308837599013521423647520118056367559137428285094475009643802821814007450894989803648932439178234407354314787737428495188163026906440886511617940413090642939182385106788029122032294504636905674316007403773188627149893915284331606101519562121365308293088853570018551323498965714415607686491440502663172772023316031364348732592519862567636771017016740559989939457743175843039942206335646625189092224531475591981090863976902050559024374187128870115931940079292725358972754345541719295387420754000965449661432064168049943273344995562846268874770268728734932870895721958704199586293110079812905670137312637952887237335982430609145790262018284608345541785417809078375545373571038846168901685234927544500802378792370692526052841236333013208484037074890795128606200881138172623027517921346716449985390417282543374266603500288129188733188175642128220495622143746818435408399983559947342531810348672065793593815709610898405299627566571996915581249661018326172701270238305728059637034624233656941486634302781978959067071546729934278744301760157327486974883585783840001889276108233490587349255649154576535446609108302279409289210231976449078225279238036235679173252857780291899408536075920583531331727859914424505093735906894853826311414436200259781648155408093456749199393771688640695871991260583863672973924915486281062003441681512281312231733956316674107175014641223003195605099453182808047152973673822776720082885482936656643924372967741446713315680525724257795449413200223610337803862907726285926010873849083240001504672221583558909862551924968770080821467398196439427269812271882339055373865562227036183141740685289992836286706350001818680636605254849080297216793243337781308625719378576828844362167075307187971256646312099688641710265502737273231164866425749341096551749463631907009385088682946049592076305378701121005621796840885997523902427520345531774202925134774313827830158591822322787915828561319355116405802545789351778868562576756643285241718693340044961808702345530775732487661254596027727076508545554744225774324512215487214706415524630743022332295649368521226042099708400202372416945014388473154721085073930988148958356242716780664309419440232833520604454727391054622487992122342104934840674526942961387336880458010948459555064702727395381363378794688151337740751885924843145444164027164798215358972020842364268793398220261750192396451126218921418291514429978188810694973185494307305643335764345745109550591916510799042448063762857996441648293328642110332284456132445897833405335483139127375633731670144084883824670207572351868671479099984380162864045747545605738959355599489983213273436604827022035804717532449142906954832261118577206513970653745306848284199121739715635953721355624290545323130613570578117429225809655307869878801404592439531817615691565160665015123177142140089933522181829185386127907739181484717323418715479466701019182327696608267654182205486516731846888325973027721623691487680726243253257211531971070624062060346969318773210597717960110878337115632584024653626762599361137217537461063941890834833305141776372655523379359665754664455318286384571114435001463641663631475526751858397840685507534113197995966092571195551789698860508692013049530950100415228616234306191414524259443079982375792581379396073674632807114832078165393960659676560044695392585002252027555385666256569596642488690976753411636893691540543363785494743890235013650381735670838063233367006452441065838838128838925383325728944163190589116423382520454132453205417261389355128785965978730024237961394368783451417110302742692604369545117850004231698483566270785908192637357776900197016004606838455321113192502073179868389496596898981027667890292600893493526190654546428110737724570010558202698490741509384493764891354059251302463506992066248106864312469239580880684931297043551947161713088023434370344218431595822786727338689630995092182163327629338651516481219865495343929761656052011296474585115208241889296972594998048160514504151372753568641035354198779131377763440358560227626132323382412873040989422754511651576750125927796511872291099003699463168782607298449097538173784443200968019421092345528419393411205227155000846767582735711544221439601724500569287063250793187230234076966545566243342151414851307431540319394567683242956938124633360472378230468002513926171237906855218180569021172897325010709024081089481321021068823349194379700335010802800762700886515034232633599657967556126626445279170359610638464925034273634760214738005680883089477593445976743642556858726726921620268278354496865848190389629601526942460996835035809411106894422353877794014395045926296383110220355789959036228036009508011051523755783099165840759728446662178890402335302807099641880263701422988336740704725724990533288244723146046964625405128400744300171111287361888463465904769119243184308684772173009014142470328444912767727939952325743832473714866933588709002287678589265341956453223093296024499863550651289177303298955282616857769599012791341807784383583958451820207544266134118750489460614217790143347018273163458522548386782928302177385290721931976587829038813973965125631600608790179153319215486593277462775309422950931157004648547694216886572642883883654226353395907610221461768639864677443045513493502978817517830541255020194560879788188809949723598542500727555840174173252491812631036657970797602923562279273559358040639704578464569129804212177478571052957613522235168799478550905139724856524550260969657522121347871877520013890934408833313052005335209212041894553690272393294198024979781729078381702210534112116050913977584617782217485781566571197000783100160635281908678204829741634128551919445859256971190339911755603587015966825204149313649976666360492848076731642116130669548479987604379407477069673577740250228795523419592194223628705505957257192170278041214884268948848805138071659950057008128013652301581226128487395577290795227633986302516324689364719376617302169742931938263256620982833282352704565907974196411855179310065146840666735767329715959606109982508123038368971036831282720681029003230391861479322577733315003009380662130393820345868089701437698184433052855885843690334570510588948039505728796871634801034168651210866254279903892861388900161504546358920804777738002575178676249427636827367237409075133152666932609744241671232927654561385030935478508229784188173292274110506792895825502672055176496771366238105007217438345459406486455506322736193403499426842281279524760242623647614781024416860326435933606242741479009450532175739404210460004423104016023435884599632220653665657913225872261458621804597332569010192256627389042681586540797123297123122497560452035178879725330492417181355754012766044631533053201025400108380899846987540886297330031440850301357413341251530581545106282873865202957517622777970435932472218054217256562003884230682907431064143720398499285716417686296769941251181330779979308530071988615866091001207080448994228966018558812025012517039590744933677051591108602873355037770489747320568824805182516011420042251286693932153858170526301210356170997386745468358109366468800244754046730516132657225071140788143365661853275587313969673358204042152708936487927701964166942472344239714262451059589923211340450799213944770138140479229568485940670970259150071959146058708391084927986332166303637488942319595181721220547678041643173678685645498390772039401761008979123199871452641662052091459706490597985815019190940754603439997865994986328004771872889314837811381281662108274035246128423641757229035730067440794966531850277188284917496997229124136471240484726436513357845756487167825693782182718192206463278653880447560047231973351771655411137215643203357788717168882808878444076096381371207185363369476710918831700363747921136813283562894723735963212959689489617846184573004858519599848955293282821279424609563588472365478636772848432420363901687115404972387233954669122147840422205827077666991969981575044116085828184453085572959095867144504352028526266660818239371415980460144274820580513290394227613264326432699793808441292150463376272689552740662236351700560421450075066065082469532369157137772339361787544072952492435802209653833045544360478695172780273065771641357958250301669728276415196470664475665194354951430354143474860448502316333406188356427210814268766461217328422700338982314771878843120550749872460115698078014926922892016533374123008797087064895580056414637706774966842060345308143146414409299191612008681084670476477312403589218159941093851381467454652603887814800733717417171055487827224903568774153791573770127128828822180844462309656128647843061583034555459263562675156095259975759469986857049037594038819708172554037695278888083441289641064588235271521920626553285628222612795900681880488283678103905331729708638936214111553521579834281198641760178630197442285441716490323570184337928210844360222586693730718063736333375744032915597993456017019598066768514237656358974489395752013437826727954033864908654516018625355276156014144767321232046520630268232686756434544814752391498948149655630521220035767143389627415975156516611641055398469571306840215681812598773520341158871675268564531135135644071409009695229531705320347600792225447138330290211157571110841946133697590924471956948662483257480355734266824777457324528531771306966032888923894919478684100279353171835014614067740137616615462559932648032601197591395472118083532799013412732987521674025020977866906743517282229472966305136387517918685598967519457705510803497043129041573646859015873602137953732885462317544333910639657933176392437837650431212259176574029375081697095552294834152741744652097237493125101357463727672263529948718207344023176106996981801041967372783930580590528332346946989694522069040897042296260311316298170681773365240409365454304451794491313893831977105964500389872636843665859528668692502098695921096280132086796096754714941533090338264077115900715110537268674289739130704573428321227948100422028998292216192517332102631698794114740127420620691098624546226794623989020524130996259884401663529412615903165945384736782923624216660018787120185612330829499710681872051391757516723971165607120227071170971977316657102766096054046350964327381857866341277583283021184694362626118916258157682291676161222094474295530718448591389501246798778301380633332919112211950573787164735956987223767621758682247311160829749848770283429855001003203097512465083123838813049569792131719906577026573352314925965081800626668918608455474568649078178293663067996061464715267794964573069890971163220520060637997251812994594681624214201486951110733496282605556164305039285961945494377836336656037881798213781331340180495177438826473516601517480517816919027938615238723767781103606059144030615059958867195257146951347406555268566275130001021371429081226874575288642059995609382012876115439071743187244555705991956615287921329177129957322624299259751219196500559924771021395713511289970118841675989459877310900520713098318821825400825874595289143030337379666043142343071315583982147979454062209811559554098726068245723692008497852213487358494307485895298064349225727478672597957236980463462575879979632515094218816030941285004523613905382941887927907534874401839082477346310726630213601331118594426960379744133793088440927398605686613680309689094040037934470814142395051505559168830407420959589353885850859585772743621128789972049917307233060294055575197111844379640078023155026443781876724955907679597719600683178379581784517036945987293486048070123017418139586191328113337630045401716536191550061114194332373776066319110030088656828343538395491365911680726220200911431024158065059809836901975062731937783784029798693563812012381837085765924068360563636792922171418033344361822691744217848104728057582093210542364890078618819109831237339318749635916817555549213556154608548661340247619901065708197455507450707674398221974316747224179006881815052319001764171192235854300060950233062045113973473550319417460533811986882815967943236080936940101085168876143563863438293171864077352083002375993195519987144146151551311336547552249363926178505020853080352904716178128000830314731170236282057242734884401262388420630702351130459635439928280413218936669377525779039565498348560238687776504828753108548207842869930946519132222788635533268806564327271745180608023302174921981842036432240153587601816529244494704941446345803331875404949092350601341907179309002402137086011728110771024002781933331697857257277674678050452752428405088883879308280446008916947587905436636901889995889516275701107786487855757999659075758813398228436060390001027153471659918440114277702146752705224943572504052181570662023762805211087498932444027891511951375901669685446691177543568771441710614308231010961703376037785470207931859466089723387746721306861605302915533102575085181233260026753062588574653953750345983887855835571138550921935001434787741752171382481038978709997394937483678577944871991683637327184130857500792589599503926185506777793652093205190686843438765667880701145435077770695463524021765978837083275488399682140809561390955176491127607632731322605954766666159796716538194697056354281502231592290441866691149654394197984064564848124528631238960697000959704352346856934353240382771189952587132623634167795908686776483434384278931157546727474894175936990758869066056721829399055305924548560763478523971310366596905300638840045246029576665244729253074277730444994667387659781444858978882270373114946008281664486773401979948413316824697383507381880747871123975763301261199583021510702023644188339287655035628700039583015698710138780565127173790872067118037115963709159174235935334452010332343011175728956522675817474246846156095635169685232076364749677723572746941175480780821053585471900722372641719479173017488297053706947171840822180728274039184702796100656212692108021640085371380188597392219386143062869088782379424760792027229349067071442044780537205771912337109659336483054304142543450614330559985303858311715572575829609225220949816390530384453105421584465570056885936482174859876287492952358734329443634415836779773450856300239014819560200910216912163232804314369457856448378190091376851336712255964147583190094923810935704659021176474681112403616047759537052715476170956283100320289540494769030144710787941943306194784324846699722215860332955504747414313640412009286268528802091679912140465696577204931529329660099374684878218434727410924863117880859094059537344472911429876376329485082663211156712867014546656459648416092979993398881259771537580938446346437523718686276719254066324273728390588810623973285263914777166962128852122278132863255079249931239214092337423285513357581239246257387193162329275559410643901377170398754432933720928853940007542561104276228210486149596773656990039275376604010461488351261132767696883809834119837324296513737690021381447284289929506751446933886411955550915294790714269131705289631554519815195976552767219999559977656954007680305386986353094060338481526199527125922318543653821724096409328137307368855628280939815080925610716227752229981036467126423969452876582285934529420735888976016530775736714521575889883166515179059968712578652031736638104116986522149528427083521734552322257059238407870665043276783662133273837222323884055978030212813826234363953159392466469974610091115356264683759063248176486904257559702277515640663760375981084609337888243273788455811970335341903351342370037231758535479744676001268771131111570417095882135054607901335258938905380255020404555213291126025291857018873474782813067692793632353758537378473540694906660274936576506503867421488207035958427396341501559221035452323120014535584722845798051012500436822152934684715419837427655019917134595777166959799229881656488557312878313592474257848416101018246837956530435012007379497977811731402347566825193339719589171547080551975021382343336831665443592024595016810850680410389999250537700186096207853196637028549151630029955742398598720748400744246616317800309882972908190863184037034158251370857282837176363099904871983170213434326651524096593098780701211585104564673444650470392830345382359891050543850519653673539916417924367990676382185382772095826840481823409167973557580684492060263067940104810883746409121047794667296555195233754980020923606500758019933891277970600249360968670784500474961368068697145168491178550117945823390212513184097450352033503491310081703142093112828677234285116686822426243156643959698070829746687809248165749827850336973630922551961686128971675459309153989415723246074415039351269499215314327219808301272277486986023482896390811715855398895234677690987688394155761211525205906758776886052866394137942573542028307098549292531410065520174821576840640175385936265438483734192264604942952438369635624289544684177797087576751374457809789191697656988375016591945007203502559074537928650192452190553048765976617062087275786484713130299269622846680503911050841996221027930874318862268026014962197386511927377442924908367070766126592962806445230127457500457539927729889794706375818696992512698258024907749893337040395000642775092622878481628104726083449128757606996996278555080625446297378921923949401527138792365685209897495573671119308212480996325854434165965469526494775643061991215633251309192673679903573506471147245237565000704609047722715610314875533223173774087353399643557693578712266397882659090512591028948627877896473447474384817039053428668346195410519785988321883654027071882720702887721696822139971156724484849245195747623118152040343956620251980758147728830804782195625897353043909135370589818597195643063143639818016777682683453071836676620384346027088615523071999772951610956820093992575428228418331024435448041072912733482370450610231702401216073996665029731258647260300560371104047491231939705611885537538442111648792303925920563677720561729973946747729855267753053603342468288221076353434779847871058759073102955646910938989091761695834172568472104415283978371643613501879918720196903919866584103488530840587589455084130048623518324830789571340370374599212058853567281109199176486735657261028510777303581856478808859851193275153416577831121919645312463706251094755594814960069814359737653457905004365288764910255438785349435528123366008998821346680061540030992060710316877023476229657769190726068579457657382491398051752458483822142705883243195987033752248328950224176265032279861402613676636685201493472105950136341807233784495246888621025562263741017855508251267387187819108730444162801477658031503381789853705135372098120438603846778655632603675398243703730129429440629980502693787101142645264744137960431889514049994291295304800785211459407661059710459747682402006274772935116123455562763861399218037244868140608663640882598460533919714899864726470037839565985285120307647615132279843134556810718407988719618858326108676322987831929294623077707442347989183180563490619075007414220205260854302514051026573420709805875701281345970609849566636929771396197144552996710427605606371421358270575595420131064971027043678289522024947086768784720524970113779854378089984526811776924045121832064588626767440242447727516534138264670896534039723422521295213130645745983829504181661811740428692410909284678778068003950644766914289380892817031045529450056388327381959407132227659280512866258832791098660829585111105926169695574451296221103547844132878678425508592072048007661302319846254337007190214305565216372170560829313860042962138238472042262010421952606870498716262336208322767363838879477346012746470061679271220562822273061451289374126977392707381221049083753710638059026315540761610846611872172672434871955644558316172995185636519038860534130463349436417167430905271534820668693501163894164002253141933533096783586006128919834388294815761645421585735199897320348837029460480834052942793062116145276005962940838265646885865509654946466021950416910236245207350322389118244113106411560997869562157038185705020478709840199659710826329214956077833783067559263382023525263382900872671939935092944451746633504048257099503371097148734363064237684441979966991254734619866147908056642273334322129892396271890983549157801462426049370808333774553675601541499986108552892471183014085151838505873868885207341772400289291869112154587269835868497427051939759727332811797794013330459885109769407747400061190152369091638580916268731158649457422415955789401374042083226479283469710533227056349259874671401532839657938689344744910004736276401986645608973444265712079870532121713245294667106440769945282214879783563613853084797662807712634439136457749367772221244130939222128895434937508262604639362917618182588804320640738567810272182458871147697158962608827532860355891852616551066787283862507268461082184295420640203491492972718246661186520437636556513674997219045215023193907506732540661477920101824935457604843624085929837793771023679947369894353613811815855774276918039756994293499839194774966292128981768984659916282557176076452872061826640753639404418441446887262010908990673367638937114129903926463107867357669853456148350777837891006090804164690279276739426001557406865252540896342287209799023749706341500519022971520920166678841286974072729165344804011357910638399097446517008663268313783452528800124928235039608084912616119821094452578323713717468568897673449843181391706168630925811308306973439524645080430922590940922141768531707915579582022411361089525282530118311409082797637669378167067427185255126904963354269457879872702750860690038328246710877950133342078450870761804186244771642744447310131270997400798655420544978740708423826953966465276826073199090002277558017781011478928309070017413387521573775890237166481897502867584787530573545773599201068966657981943602995593044937877911408256492768657971061235361918411301007962217519342810933561504228679158648137364856151671065021151936838482120878757486427283292833077012726599592448978668680161171672998690694384070036179431748702358192555432860156120773709023092356338145377155456393119182572045161456674048079157726625870677035390801512270242497234146381664515599390818149127549285410888743354941376309065271355930014896685647333011220523684663767221868206496592360237158874814029468247376189375767756338938635969078201132737473605084948650071885731904688258108541447097885181084220779213471790100048806763663297390592912308951716293777888742770134696880158539738514145087009867968808008776634709995269933006031606189447144534330061126853167702074741608404907925068271845174701444345903650533257827157737974999575834562936253367200360811501745941943239283415002786640018557061747909136398762346657005107846729583172758638329912598478528016733160652329952730493062366780239735484829886045983294400772830402017421713735067583981213943233881035527891143574953177053115477947580119392416475747655365697798971009807675009472754775731465883936177595597148013409866356179018962765526405105794620856693879896075825886726175470926011317167544893551099817807350808892439614331066265660478278887687922326049191446610882966774267591716352933070549545274928841143831919601791318235532441966709733556739382153204423618211355388523654075449800192648420478863032603498434784897744697375843657168315289773722004025312267518705461314873551251618570917469851265187900718459989111954130328910520615175471311741811068269021819431276196587875121579400806485096165976098703042845516073448511623970152201519420628806809204849348734100567961204219908022195319035207213536465036166862922058017539058614629919428630991807304899970761459458663627635987648974521442900263613001165247962794596257454547137731672442001513995880286666458364572000477590871952161606506820621368300102176575335530111769201633392842568686119181415168121632856651399475076235542093648180876239186689386691037333876647675037078335464010433930211211540803526635233208359480778800279273050074915181913499935257924687989162906779880171472235957750103335699553888898011742512216926787209923674448029550183191487952046184867773314067170490293447137171557698012142389801555826708309398915903642248909866900546305880430987443619670705416593867044510048237085584193275630848078125289923779299657008122252269901863948719094040334948182490885833262355379249580128496549419057737179153565646801227750637392361574129187732498669378996906622579525772885362874648795188735970892332160513079962798910887894139402139343822242867711562355436137071183220037427244307301273859475767432655637147153281966644259948546575740738571888709403317016339890211619911457586720494660265987109209012055722546555710705539226381318109425981719093036479455786230867072474457130857265618963818870044357599673787947819140203730845866112129170282059148150288431162950713820923719379387348491017868727084897019303615250153943392659702193991846832882409264915205882894281047454851425623258950628738203820189679345818283712475914692227368799701679670819637525923187771531159528511874510735147145899806814177939366282775611201914160809017299554866870868203806038284055494725863631946462609460693139256332731080783163538610675522462213649186028165832537158246696233511280994417204682448255639348178968047003648698715670953187502352788040798847402899575975647399929690279834297752532212508644169430016196793147538506190078773839669361597860315598820589186926161007171333663059186425322926326912207850525730021654823319284174423661463276239323905969222249510223478013132672442180946310117921728193856668891089331382714789673092424638780342377286851683839461952709793901960494503445113838498244951161881812408450415000575231858734642562080269662215920461639012862965899519920164765947907471207849597208398837561055545153002449678610559633628275120676741307625141718872168643407862904376335195241367572728619727371094425366088580250732627560482683129775128410897852629871793874441988586054556943979132524662336146538073707282452850633120125728611241433821553785304509848989623919436023069768610664751518111990806569420256293102485617014421057402478651623034172158179242088160070707462087602945080091138783942630995172631296981883827479082148067548216540498204028807894920574534755320190023908701569539876674238056882374649225962538636050617812175990594793061367009612480920502025130168391670699396194294191412104264440449330678384316204627067200682177104080618271517084065590291502386481971481315539440756115735369910178486196276050361076097905515037992138399212686182681209526373193476404170570772294787536117144059887507657522592339463856023953783113892647346656756259161788992566413733528622957410898918297553785079286285482927378750493920706973977478856188185022860719541916243836175885077073466017443136233779647932837409683883854691350988066875228549293177741701985639157233376356687275968749956638711280220903507300160694637653846901699852906458966111238411177927505004049817177544256657152333976844308175544282526302955126185062064482180988225868264645528887167136414920874713897057464251125058535730341537769594174102710406589088958993033040958841249445814235645133301036092572487525827420397113688686058950835412798878061676145067670905491923363362084794937896844666068308394509622350233368423349729065309687928334500870951532517947216710148820132389131752045266951134316843982699233069249937442488574071250729575940986819462103273005362180509366956073991798957914888495820756104232721902378170936246493648763760673282631380798228655194178598143982952498010798918371024517857039629705329812654227411199894541371075744631782666556798898521750887307917151968828876030676689954241775194246578015596917772243766235980607351479855768695357143437056491320064340632545916559086822525360965943745004960726513877994116028764352331294117032472411464516835221069915617693410916632962750991311685852012788842719984293547588070225404751516964235044032789919299798389902148199511898747153284531041039131788240515370508646021789032451869477723909963129892776341041281038407987912037348314524730277578963137054714216645040423124476648028451513381048147470220311411687260664130497743627048084406717810371883502178092876145090108903303693383168606967291016666084511040736727549412911279581090962549952264966643679340639051344598048440646946439672182288080550799777891157151865261905912951373209139570099441345224709091490596695924248230138064483112978443729229141245075960343673672683254917685202227051712292861359094644025783145156826193192251647076397833597755462507274159112821027068668510427705803740110499485884699623404489383442658233016571083367155489637586736247829675643105173446122826070997269023794395639233700420632116116336188651075398020141935098835302014308062016773519014418662421946035873609483282626890957660721478919371680468646924788077470313930404489892655092349504297717569117402834341828174209590151725005199090230417820786814605498294362205327593343022949316615613277137819386971537386027186323285683120860970667554004675974221847186932435787877585561387959813563306365689376234606475311991420990487270861148636070365949196118817091146770538434068210881940719003088040049740287230213314974011917259285782309206110751392103524606320541067406583710608667618722374334033426667884823366581525240323357943996580431712765623207034289266107649674487830484215999038135407158880780977182708584945227445274251979918753497934521254237012603500080857888438946749145540230787676021678438280042465047313504109043699597084354189185454517131313071374296866366941084161645165647318686791488806569913463494417397613687036247798209499308510199475166978560973721410460820761141651198021861424218447381212774799051659420128609463947718407714091412112909725532340325967138585928425050600050227706375888024597422630008015497660457299350504175589345650610183569541677701338201890386515552490654338064605396386414873723510598827563009039096375762128273408169953072469276566812889465330367019242639662891491362318354995860811367729831998639419139726305396287177161233354816290572452213120693652754324507472326628257818816195177827503874290104095946978139355621460869344481100690996940573556510588651887858490211630720593755194407887794061917606472454646289396790529598630822188323976838598227548543016734724723092465946617975161347486392380268163546392601586949737899068662742531952450256910672032115844128414022137199255458247158057479026185142318401412912308379350780534246767584242107629948740926442118956953240613188636246967100017030882586436505413923916734865411305346978621049566853984800722192448139129267236899314699411911204517289605795003663138671058592968851605171920866611968469004887767162921362188312202503452899335473535105717561509253420356792410108701430562024668708432816156197074578248826597097979381325853802014182051981376415487733175784649432773466061250119514081400410183857051436978611918611985904475715588213574811869564882668715843526050211434391355129226295040432989808844083897376546984270961690659014366299131873357513000969495611268319448133034284449863875621608660234590878455379096151640954731162200942250921736578813322354401667493805341237691965166856288089989368704148765345181910588958434001578127847522345759858131784315939727907427669159876683082548226367686534565156271004276215894959670934791117192961053749479521288365336689605669002876456240171664503035505638820181880594283085335502195393518903046165892088292957024185792754765663878619911298122669433421838831718118592810406769975439938175279748496536591651163222240599038529299505586828853530573837800680228734623284793680592630440839137963597962641798550457966029022720032087647633073159497524453675514980796336791653183869481314428810637770257506141012107278517113676729876049742104973847823378936996569991654379372988901073436734656526047458333625329777697435974312273992321014673322571766291498810452154800341676621533351388607129917511494771774191142666707389825239716034920221761654281187021816453731682729881674201126094816869383666321403967100191470278067872648372404009054095143076301736525559483135202031872074133129197514824138672008264534376714978671216977530527285810043182733707299897423004669718909961943222054494918511805372246242682239590319351597161226965898524114076392852144483932349383078971125368600181686543091915581354080861580292072106724950950577218779135994409236113253308922077420854238768865731659232317260081147615077854978393577865737677740765528063250246094355288442619115983715552135308172100723546833195813555949128192464473748262584280921598325760621084570795886051444972749830403630169586585193689660578395637310844960304734850164897557106996685242186899573074321763227675638701691264405780240185967309086946721801161991246125863039860540630399427332502056385752718243543595233357017930743376170078351818350810139413092532540230272428129720120039505084532277443603766851867884016240936788201475465595866827396774460479676513878795857146461156894501733465171222349964789684366108799276934668433417996196853457583545488949958707532913883235284961984907854685154985074710026914591834688624897961098632104208141279595593543637889266464921470345513136970601837663198506686798767461033271053730912550772327564872122141363215255237216984948108483280772506043293477291835460953674189868546265638813471801376155024086582971942553209810193585751234488662710660777308634901913991197507888740255649496037504360764904413809540849697101356231955169396109973383545410001599403812814556174361798686086507033871337767558406854984587253400515060738349230725098946337987279850647723488958450704464884124651553301195578838202806868888774614671827367728995956914920809569512638913017527322020481497442321521370171897289855008378278840964953184933776354222485883132910117669027700846841829721280920222000937087365062061291453225205366053341608872412308076075445583903067518947337186066010024556793499072886364073386085503168295164265840219361757993364158749447353866595330750954358093359628878464287055145697536074208092554471956003680209099723493701934375868164029982865609391602400897479125650839836629858509566375821360280113561867952259646339349301798518211193641952996578458076567773621873985210794574967504889359424849205964956500480907348107474956796835510004274828346982220759554696765936746250919839381375290783395277653673464448436677325014413960416318359321456511174824217680438891832277258307751121462288718244728283513874004276490373589427368019482287316548332218056130584727990910572603443967867143158360746516520110473049175111483651549909083573536475799807754330059962784751120940410590302372642572640401187784202315484511545772653927797236140151959230009397014338574790027336399191464089729776577680150201883451838920416293104404362218151731835356429403509637431632594641429723445763186067808501375371106873245745365957566848182735876341125502035898769849068886167066386138665967402239675228519383509092157162133282805164750233266036933424430623071461722514882419342035610507725791711100827160675592772953252198847415558765682427244322677674794768277349596224869217778885094453110611877026226494867033848185187869392976944029404393790955003748166703704358492092245051434050172317016282020051783797469447956025051551900988882648853187224658400271367754835002379859616495354256335350853692139756106655308110711168312955904527305454481457069021162139144522026084124515239479220028691699079909706401355733744627003048426531394913923290774565950608954830656793186902686827760896233494713157861025187045496493991211639664204909730548734401759614994110107117892395713156772202049764240053152728943053697186700074012487727709954635647452211428887602556272845419438141805339485751377263316399026935437134135352976056465736301428972120218900351114104566746824632007765072828446744192291233064708349049210093404512173325168672593246839789825151906767266353437091264770499391021165890638220353938923748629313559629671807044639175759414655719450839156302749029756000012133921692058721522238342866493681535522811742438546761803086034992185760407303854679387122525827734245519479127075363259531783309380630406308084339588275699561601151877203195107518480947328943022148577300210582267363869096478012001570433509102673149875629886844016349928002566161817387495805315404769571225074723596839684365118937398939577417605347734137029012544452841961020279203228146550444642691494932691875941167792949133132895706095684895311903469266645217839086456516398720465199965682948015130562500695785141233894294330682609299580414687717306014932177313508715339381236154668923941731495353548889715256064256948628253883309630674726831847048013274342191499889319009182823534703265890945270715697902072940690117511817602207615876934213979774147860370805974585606243061586814733562937534661674246700700341407179047922406188335422776388401497043657475776439964985994556808663902923134398869822122201913740884849490930584223416333550953044378853037995111379626440127958575563455431289639839789438565855007644129171771083441230144978056060404790562956645651589700231435298449959734706616958010693316189240405174699136535197659400661443852391182549766695288327724647240200428037329543630466492563340374557431818150827007764128795037864800311592402643410045776349631523557266727579345248562115273173487555429596375971699929035616269820183226525170482980737133827739250102652549151607119488304099524084984224950135797349167018365077020865131947228184177549524321272731453248421905477234648065871465895428345145396721635491192178126147420153647945868515841996226294162206868553081242855620453714276050774439860796192860177308059693494459984569381521460853790177588831030034703651537481659018740031929083925185069492149858230284437021425110044688546875258404042258833307017908805684035198488300552290792021843085681396024011513977819741633783846755817556594392769669388941573965329175394866347961414558948601840911844469778075170987242874092972171444076078901147046617435594043762221673321880718155970157093641577868952054745219136779446047425085487805811489751833070615089680023501127255367980146478749258031587383968265957412534107320726718202878895394754232432681210885265831300932293416079856932012211817528158901280891342765163068489575969480293158959332718620848021731447524263850416096139137211259699786745390759587653127501142845445580683512745886334283164608740472997655058023040794449557665693983600514445935855857907574402541405694269155289102921699556084491801223847849033749311479758611135354611625236042060136897055742709425194391864323004861979348038836061821781609545358565212380350269506649643136227713328613376871491853407178261539097289242980332115568368809758712318413911885210919106439639944988266387611793648462182008235193937844603153127570989823878371306104621042873484876990684758085621564871110441064195445088693035195054178633422136083278909974413412354092528698826105096633980174121216966237787406803457040850827786706913120126982650424929491689177437150179535607350221580936098099729181638786812523895331955691871204384720745117065133414060085262729693066748638807056911825131131926587013984661920671617904270540085487309193233802517871319567219922329336115023361240246085009132446190682361471752757010696864036287718021147703061779124011777922778895989750988378818492864547236653162480062874927836422957075486917364527326176975999918494062264833972085399186562389572246148941170119012781168608665778379418442670864147402347943451587242832868294627241153081089079917776595179608192607299805249744664216232946951306068682306197578368290941476558244520796135248363643742907525290144017190127911124485798983824449990742213263063683076877942075655790378058981101319120130277474225895996907110277508810518487293309122537973645736947575659122211088283826135641193554230995259038253236282693141222413604714060086026339363455569660260839007372056237440249070008153044037422086467259406313595664617212278713924919066819880451656473317564566067780801947019456228112024006806632235900730044420681494755090799326303701977444192963394067521860053626481465177701023096393433368100338750319428537150701155757632412033614191006561200564610145441480587081666065050458364154830720713823307134945963115844116015183429131518884892899399148694740636205398490438670513606980934511672568697783523309406434332247964847056692798081709942191875867275273307318949491451728236864140352024542046643533344894211192691208252699837531032753037004825105748155572136427903365722139745754446994386061971670863786614600777603392534435246869229995302462096217210027259838193825456580080623116730098056808328074939359940399150888753364957418871861981831509966624202137064690128919259477291383355385527660731651301286294449032188353624915532369535033515962347518863984732667530691571142501063519507347034085492004892925104710480470720443326485006581772851182129328814015706943376150724849101650283445152029059984842850009706609129378427481151591975066983535747763630808495897800568206887463210463723050619915254402752086009911515173189017843253307395712183649162770931492329520097908791176548937632298208558999140088284687390846109828925446047945464505020615195292063662072057788582699229268349199711760330167866335636128383069432698232801072306940300144982636225323638281855312678071049798024706023011322930907844641070433283199600077699540078215871497910884969873549567589418100033408898214555077345653386831421844079240388746004375674900964687887312247128725056200073949293847027097675845292068373052300023377170792165623908707777873585546496856361107530323603574641229540313998588536696205803369636931719117650724683653970113108120482521244395443619638834482385114447112912360908436233871241727256096407835279325338933115943548719865496990705826932169714059683326780496190046509349315820292581825183136573638272137859260721533735288027228590892505688754769253487197294004516081756531139883130659061620747508500307177253789244585844678078843836868172831513707290522076754323994452803793092746143185731916709296463983438581740315670468258692518161914824377312693027513853477514394446337953375855089201510256659395834378334839538766424427292780637016461671153156652158276242615231710080453637376197496170729160856046315068792239373650012007800300014763871985435178083316642828054844239817173950375236693955460957756925086666995182345015545172491599727540587428922561661729243241965036962426700555268666752326928208425817684865527991695564662062542066491806263706236213680523427055064047498570334031092063052898169557084430521840983193987651023664338812083748647934289958228297992608725897190794372660751219919666648187887469475261236042812561213460101378722078427834035929369905978951365472162075857484438273163222253098103943824811697120575320008574406702245044566800557389560038974963576308831367212887689073869258810925271898551853063635444554870279491859390274144219140081495227742353179022292486034507201692308005110028828020553124521855085195945107343692295378104539856668831847874356805652029804145439991839407438435244408531935388781628047872818650175173322680465790894998286212897989556556838524316011005449183471083614216336571583339807686387421378906580983244360300325863879558005632409105711491718755891768089782855611625326760469958291400985446411409758944406887135676970435565501261916275407719662641312838601642159828294663380455794942633049418432714215039673217918139036530039628579954641259102494617645196294770272000479356236831049153071583965511126492969333808198849411630119561878165758638809660676242549206284828248061523495050929679110154253713610690196392064854303147812341867359806119870722665216986698408798038042321337069149664867695892657115260308439165281153563593017103751605664774862802946370508363706000452325186156863627806379967575691475453917650263334217025675001096663816820915413618122299548641866107162866931902955174192878294938144949970853105043039827876762913469754951113846849221062543064997172107564656399647329812789809377402435719595151110953558394004759636208469426038738136960019081726877606662971230495839146026284357651662966338898230694821443918389916698525191677199428453185110397330671496339373112981544890310813319586401631682499434341610502300558868752657668088600537588871110556631738989361635339014304953500171286776976712785949942248787623028468096598635220739408988680039794867643777383622932442508177026261810963789865323389722663583305211563603103678227118259300374438490335917681422390866780375662584106210950217411934285936614898279442945954819249687279887831026463727085903163653520027978427164618738031761096944167510203982106922743762274342302624307894819257713360715772869717908422448320360971249003335134980017488128444036780934917896767132202438395959282743668056794775252764499301788782352921485573138780667858073337300223920446081427023359560538287071254950612021078018706749718394619361391055801746962535518238808338683512472706689517222763080557486660726058227974345785772042269590047687137903110135479467121986716112706864004675703136269009081857860610985429503134656824001063947645666680560146633983462938056699593488326489105345877564450505524428593705816833064556482882357312545759879106781060527509519277741316189194790371673658160183895888042702443156077108882478467550975439509566941974353782840616605109291090157105649185245262014534070361469022327481410861570202947309268426259343621726750536322152680713457369564480219433134378735120620369029287746340313213026125139486573916556853446017458611708748052981305691756859785205400374695736472597589558383875034202255664357871054580569635355317229634660477841134500690797083939408949634076624290556470554132704754581504832629228061969070053480909759327947753233174387283604247073070088903686412926659279872622009207434240792135934546776594885378811621653790487882906277107864590671424772953811212713145723363089455099930699246840436602899734173275369598980025893371891118037734224019486980102390171201910231775543293214252965742171135847357036660797995082919597425756432968224749631879753179684234165160554563467754624073833167351134528636177228967695311551231269545473755746351390919886569544616271675710296579043009227984360475515692874043263099026919747174947676728208853077018834769804240841888198994948944987473090230990990288449261187847433496874341647250288598639965631972137660840345443157916582696433335413067843390195925614650400300045735263899360144552056736222454221770529916772484940956544667475349433937148609462991848845999261759738301024037717182097638596328772460824702372652509334671561505914829804670709811259924300671763348005201712354788902882614529059052818770629577726706711401533493338182428853858890493040735647462693912112105278277236233611248864279655878486372147108577980879977777171848420839112133329547416115334698651950474587780856920238240457785267020749567060449255322296122704591126005926815605051228872305766529925192117472580546561660118604001777150513446091966958215085185513870022720489277259724435170084553015937133395613175014962258395033068157433265914092411660753256743110296209562175334144904348812921899534097897704033054803049053769289068594906427182804844742844442552129813454799037424183260425168907385044909162295154414605040777766015163834616652948675510094374164476031526086094193316796329944505768896858684911896757604662687147430086998048669655528338757572559717540283615880943946961787940821617019407675126011681912713681971451052335024773887375980252438516930299555715796658169910794563385701290369629753975921654559120547312090928928757852216908894823293356094606578526828505524631445766101134732865235532060245084220597863476555819533697602859883912028055501281984351216711700538189025754563324966823730213653797840743632684932215947439768900986564184786416533493975599856136258085202402818358833637506826321321831035128786998472464916401064981772060619058371019343454622464389898532684596370414685475440251803541919181254308044582219490465927713130728628349490253511387745587057695438569685836651399023642094396403776204261185676761380427172815022643390625184808458807411485731084903370276303234455750165196034388717750857651402955725618675789717311735303538924909397504879034379297079933657805188472583839986400663416459085534547747217775663370006638994909148257197733689476562281315252750538754234056787239835381643435604916637278998092050981149292257065378394462776685497159836590080428896070337956377107567791115083885759593607016675182392664282107221870530713932046281761593436966235339491256532053301805378372577300630334058266114957095913355634903949679595845547906920222864740870940566202954280069975468649126264347952346896054107403456065640598467008602326777073875832864405813090667761420008722731346264626757168932012432349540399361254774355955958415484041215175129150690733264183659241933197686888470153777336502879120064430878877345157682335789846936572151491589654757535257405684958821112628050279174903143429683387517619053134620114166279816331921621599491648626490679908687357355893563607790275089181574315889538353047194002400547010463607358335032985202739282379564652245891627535635540179623931726037571940750788913625362107319931822778554135795031267078616883546787819814849708285667311351098804679093799939823491989201328233446507745559976844232830715079028514427775202017026855658354692899782637222947431109716271946510745115665602135672893818346316341060492609903256021174417600716465402358375603137052060111820423547687216651688901150514663488548212237973101366151871458664502585757029267406761055494789738455812909066137539680060980231271222415669366998357826398777018465097278178513260914829589639829677943260904917000450658645645768236877534767934752724343259025413126891886131412078187006396622249714822087085775592030491460974586337800801752260509064381742490421359085060923002744462580184616005346678369525823947480865607843074820590933814646441534342439519841569483023217606442938853093834638055164361750256910582881588803041008357765482059297323604161430462477900303000920006918755143702973630747710110344920537103867465610404861302454358076731250964344701985190766960896267028174522844553869489909005803979773758144154588359278476817418874211621082626522125902680854417484700678600152781188723951386902488078629351514367400197424251619178234454363149685294244546061938727083554323972075873005623430085638382435915076545624556504002820165674955754371855869751532183474662646724097277971417257215584162828584193192602045432253347654340009260013269858984580684013904706453670089849214844552412802628621197846179380823804775734821399052181569802698858401117456722574424320277118285189197338955569626133843287477215045361996069442033506336770101479412160273472120737999946351112151828969443778551133645158969245890691080058370573639635371095226118933639626007160873687144283247953917923220189598581345410846260845066516579034513251015755545006534459610640980904505027832711454905731664689023427028356581585468553357408234425193475520677072338544240398056536387244172014573888659134255298136552251281073407835972537804573096211483398424362022446876957921736305304112198119004350478671189629260162849229945268792719245588599600929156839995601520293856431821501921772137153824752100155957412047027957514557168182481963604734660044150607886698790098181171756323638452315989717561294162520722236036201485184024908434613938220175308442572297514430390207863898086882318385242087418360011792068311341589633263258608859343609309597116905248831112170323807834917202960455045318966862216041331762708266203194952882910401308467732691101827850705931361998088589387467097244617694392626489275755269098516063368914535259345999427408436375399912522448254704720728552195976232760724942988934942754222959928129577341183069603955235980023478976241816063649558677321072135623021766784571699580994419923920790029740226230328001412633543505907966215155862309064614246293691547441917086640119601496814896680440874392710245505757059114090535138503116479595791021102273664505346695889539190898558839812586735052814222124950984406555249963324722889971206800007451130096746923969091564875419158862546279074119868791852747229991877361012693321007502040523898567810417848659252147888754237387865114690235225313099533983495308799688296138290675511801138334598702053084556411369753388166474553095060056070677673613713783563316451706749744412147185290926375006583560164850850437756686201751223377741324239370710124545149615467192352936356231888315144269531803861601237929731725099139508629203152194035031488068650342627583351188675397877644680956442024551850482974235009264777752842873484329357578140618852392428794512403129514190429355633274580992871158255171088922680938534339027198889508025660325969676035088176467021537940915621531375134563990578813663902240745034877131945039184944015513161718201821027438934587591603076398023098560665697233463163846807524372154290779720884552453983106382449371092559831510373849580996340666856634079910422402342699081715460833969932473918870457888320309101076920380540021571927203177959851112141350054373131376492456229597413417485982459698002770885203189931981374378533240017633560840892228641583183508718863399122262610563007510916105533083898167921639832399893179978845786789630267427469249675284884143361146537870724445197946000895298914835479233833426217102453546119798275169211886629170760704459994939957653523583870062587129746885745968243432921949198738240516889496120133929409104312345790035062106177331989274668855997447122210523374792922203984374209194410925752215290473947028434392074002007596738053349971110593145784079160505285905068632797099015349772008218488414812921825593826101915680251722822503530775410394691043023595473550940334443760336085632792583403986804482977555228182039750608897113229098167364427964813181901494709605807045935752494741400621262433353616807561267773322965277466766345504392871112906601568867056426757041732677990722925690091318458467910779031027868677958423168461406067097652619608001293735340182970841533457149644142819057617424377110035833962002129125687875883969189024169518630106087309250909202065078465651668584308849338959428543410389378852624254534025194756867582292701055933274623960327714955532659695804674954626399816088021306758453426382970408339508779093649893421097151240345214397644911468754517075123816450385528884853085938544414449724598024045248212375643109957873865678645154383464865509665440443094040627806352679226022566254585452457578807972009194666724228134702581075482760179732359083912196014026282192732382565942419300443776656276095813901534849951524770600205222742372173709545717566907883085678658855778263325839141560895648542562456455955709914677450578083847702869168151567101202030114071314182212233590606400436053455022241944617395615081924745458908514117967836145105962372147964908564449965870431368415022799316344704893239435121696504875513001168095378691177867634413229533725985559099665647671782738085738309496552816136037923333838602007420515145488954394626735893373081266200264437994381971692876175873407492151239126319743683968635007266644456754960662830245399395864948496474683375080558128949010060945414966037348569553253171076729853577943950040070876507789534365767307945074977398990542002512741245274735655584069340388043284037290069334330061544356324633174023198069019286060333040184407238802326127955043332683852816565781852665875746845365633209167225699808079549847138278896352044057069459741201086856730944562497677786188371326259217949123766244488877440853075062923641292785133343087225505553765640952246762207430479869868310453908947234691004463403364067680639794197212002696059058116507798440968812632210455733415634697117453982680547495413435670390772363941556381183374316531971740294730493196668239164958529841870097101989978983740289217877456200154324637862339571152256199698020304730993485696544919299103045059513566171594988197911522514672399842619558033146182568152214863748323817964215200188847033756011075700554606086686319430361825784005125941861013914694806289680004923659414322506936761291655234550969440506892466555135364461291203421371245241501672254261786666570951590479868002060392773018887038721639883965935405451984593153879526412110818747651110434640087961149130592118740514298333308293049713046118398228132771584578309044207249411044864546729708719571477887358840554905002861977254381671024236901467950806560712072103372625670284427822073951875626807689825446109609911334253013488607048549952016450374675435928042197586262606313466045211965758376633096969414240761709094423394605513274004381318669635918609029311160523906358316309044616444101260678843731937651044204848802362017993270346969252907771693532555197182540325580181694102099425957490149781710507551691553277686527318914050029765490192231388366147292809472718997460992710380707899362626159068969665481145470976580805544531611189744508745451507325006549548520677061010481621193257120815788077791590814685678052189680504957349711111823777919156591833731698426697892212420865770164067548019460334853414655931765025292492032768164424436030200052133339856887714612251670217520364603720103072176754673856332011426118579416227679690465363139225438265287185950318907119676175169755107485383712130220883515942858012201962644685574700799983045056085086103829594227218650005547025158343071532572125261102115471604095823295886767595938420168872271624101467004057442633497872378229236660308165764154347381491185046498262716301974275669840387685316373057634744775809122331979749059709425059588559149841022345633456669236427417942013444195422239349577098303986165767943898060103501295129549877072672346930757876179736783993782546145218626756663054961280371711733519804491066745387797872956001982514380193862800161830343410009850204756982544055685750915264638815927699681752943355468749342196748356791836950796218019679473914373238679189870936299013244140330580010814100810313530442068894312634336315648648124292863892439251934835560353153497692073327218373074811260940277554378624580405366201902213233011476418562895283782244735125179065044392996889636745090652534601075408194400083489823936024034668804216465741839655709549615985720304502412769578645360945013452145727978322495548542283561612401924738087344202470761272067475584413448317900368334881088301020262320692408185150405196059642427988519460209550949476033075048361834127792710385754213509585488841037896902478730266064045231847270540002420935112199729877509640296287710317983555181290465095618264332689183927961504749079943372786089311749189091884566915604712121499790453338222065567384877406582849581001256261519905133098206074596242777429417523326755372066223674368815382959902016376584663694528293481821389790340833504245516898519275501928784912171896249440216671690864271799328280429839125848106622041285747904590527492243608828107701000117468240170833622778094846207731610239264482465223590488112350280459288197140190270976026049687709899297656114530274964571423327029002580047444178862918112862976412582452050321675479457917882426416734163819129728727576204131617581209071910213326765427426925382194432289184825587416584525376793228095323319257747669759742379804233313201752111218927467487310432045780424019230758729969267382619436780103145657528139241502899631819393910409435074706765928153485592939019752702617035446082002403627792568368886799119909368832875911823640395444353228034939935162516483293994267146779095482607428225885584422261761905914197668538577934764267843972228353663969095309296820933843389332004268915863220499524994115712618406440153222576709443970068427873821057365840578182388457950002211352022244100035480502304235751001167432600992992201289702162765380438310532494854329246679519239195364998721719483698484447528319544174749564382265129395899297104133613225955881525769832188504997401388314758911553752818239674529701774203267223718549864003462534796575111806470889304458595615245374394776851012011176897890361716683525649770526703809230808265984172753511868964507381543790064949604381159869954839430779507447372633539341579806914395037779870419425576536362569471213293938347178032522680452756710648238333336684643339227479375877588435191127697029844452192520705492036499056484918620951729293456981229084120083672089251485741069722365991418527696944302378283936898337441077724900397240726666099674689232790652002799587655245705169587639353059054091506897946257844308318785279514865826537410080287445800332086731057594385942954502941430114342337151589595387492501408502581331080721416656320069472245617329053016265705746007211457668515594260307884461208903735527064961687074476033482985372572793298020809583772154146483676139702395278566151000411012381387862879347459665773647550660872400311876034192875590453725687628771295957998513143713943146224270190771561435523419870284829371379995869522175763013766650728720888514748970713612791267745037114234163370631287093370378227545238897435805664377356413236545853732783237800524023167762749220882740476651628384037247932643475657563122725329569730866598818397040498834484588480745093108414918609090086183413429100712078068440253363216825941479823998286013577511518720105503905473553365797393607858200683765944462945397846328066155514996053504139511233756548183284253536783461447731297985057483795332365953189013849762045897839868314184203296024466240380035849419245274348286938451413619710656934482653707501217760540398081986116676395516910944192613005276155233333485356247188227211883363976531508691536270029993077079146229076022779391964091805018927296381367624907976548672682500320354214027662690036910833083287638977238627763697071320626940477083297818548688335762867481399857005368881676653604762500405493146588048549967214089292105673233024796678324607851285234979702211570301667482113010344511141279209701837270819555236480580320784553520693355457381190562327018097881285010563080892880330000720340742350873245946384555416376448303079804776573755116466983172286711168850983943576924926685675535920265975208441778326227970683123689148849882006814022976895273360061456603294185718373057046404670012081667714151074600713285104750568671449257557555217738152603261656730548356142540201586266819941706622836651741794183257979528344925875805284558085536570132012369461567211560209733516934184639719020824869428648028115158488429249435936885586235284820653048177487268385817119270758500194313805999711859423543507018026047699368102888630582334164185783480161782654903598714130746050416147666717782701584632266503532059499967509466914422315738677711615714162361079368413978614909834441002308356293084411873292905982281346936038773283402075610898268825968676927099884944940356395218311392805685794206302407702126995459260810459354659289212745337525439696286435877427979304100371245897746898328415716727662109578308872999799807023233674226980592531392823431964794152087930504005584285717571083346576145140662765389133440740490626752479997545901619719321485153076597447428034952519625384916805362179652984066203947363622115006626601700764822019779227874286160415135655806769537642041751384074955842959513138199953535221005796651080873417256068778983218856522852105190793457314828149473715382350490048792305102302716248724054167809606322174780302058345004778349315290841304129617990719072687915917463372477832344877741067719980322673851122527590934090399362813551560707116661015873106440077040019781020695078230957115457261406947390327941485563947933836802359581054450973554165655013306183538361526789600825839858086455299517301414676747241932420489815748894071625311827545717843553814594817611521672338602266536409078482520457519082578310074139101885289538326698475712691324772488505921912925022154670530936356237272091333738572115709765655367077589014010474265726270875231596679271817802139765975055143459701768193776554453606130947962438165650293398159167582315238849105310237701515145081946596436528222106128205824088882877139799801982678714972670024728549350238263010364485560128687317025390307334078684038970335061707454588446277330343222755630514480983277215948984435859681802501692266916743230716609240352801213727676725887636616311023607454553637261312283041526179566086694586722614536921422272606471510917884294283643402196230790221299437235127982929668063821862116731847601035942873737224265133795192853232816683936918369907666007811870047388475083068265025747679917444265533086370146133223104109330728084447858030263709795810228761566626560228400743065834719380856251756543267019168284933489022000397807944546276175408649967336612944658558915412506615137642721199707878870601662988381250155519688800671157103223182267529104145799502821950964376065412904720714677018785911714007734725511793381040714447779790356118017619751011159350629226094821470551915592896679609309581781503937198784613841175861261781212687832471707598455896272116658813389212606528996086305658775770776440385704142129266991203631192476011487028503561347822133702563844393690421767636482665998267507764605502577642197249511847719730845513554768043983646529592383574561823441946657192214853098060786138892183024173619156693611948852794466798940138299848567502259286581498072066231679784580469861487869791297306904294290730423999448554855320545259786498593757096229801671419284017532434586691368260997410100570888935975681757315703848602778912654514953626899975173396484240158374860161707741431819352510522199289106714432652515988156699782517039589431624072300647367405894492192326444231825810497326152993937758004439205853850872235592289512848281352786402622337994465761305742610808408962421025545067776161892142347368794174324520207747992080059410135912035119454430484389179762890789496176074903904401355750502040468814334571609210933550376704454746957587501889030334065247740811360053761144156038494507472097703857832631928678246356806747556824719203251021349701671174782397772713785869145258055415743533170508626529639293514440246113913339590866941048891278394411606817771242820600715446014348933871202691939367639758584150343318096895640822806830602189855078086611166731882686109836026908886303034811577636490432661606004345984702099068565617286209884537357878391824056724096403639515421534418890839050426304592248897998831628407027192992547482454708019849018796943349214156098909293846931188470065821836765903482830474083338393833410851432430749197042150156911703948958302775611783813306887342990603270701469666558481573073640881166132602914424545324239569794115529027981090274354970749129930676746844487262190208701017860381072203549506664625631646707029911507452843449404531271481551106101768961403504501077647244983643031778352599017883336309685442888294702660778587730887934631780401728054959415701066789848176302445797568351822447276335621664294966835341456615812719267185541362037053325983711751377969182075493159431865394538490284653973885283542813965220645745831111217083206625749344489119341555433208626818588530578918177443159703858669751175787668323604107637422849572686509367674608102547134469245968700117984847143531547649847570699045400530063960882536489242773673480595060080162714985650984752202891083451736901522649961146777695890310235841582177489224801703335550020661359790000862915324968427570695220220628140102582581510313771447700685054669899000203985845696005048594689353417287579072489018061292124208360014184844865614698855269221415763995881052515409579865518528807074644060249742025819754346230507317492183794001795258425347588566157431939297624035389736248700846088692381225576217003530296467993712572429647930590640816230787077345861218529175744388836597615766060299898010789877758230169351195727028393063334759060637755456850521024459509467340552763793490266311777526916717494585528627054932620110553825483356600322718162062549121982347928801504649700953730559598248856948716588247142392386675114685490502372740614482884257992737374528136522817223146937074385712595034205665920983417707007794505836725009951748008790835669219612018422153834884208216656972841591147413063647933157749721110965466088534204850617035642691149923321253555139001000952290217094112656740252888165238445376491815884942247624842353352672334601524235981863346110972554241837084957968239687220339252291396347402274037986064833883456170913583163392976128224111481823321357547319513231364034497267208565217203498858493427831145335217325243642417723930274931783598004969535746192801788583199317864933737726134797038330266992683873006358452545958755406374743781209301959124078326758491709228768560543221777334240157781468816145881477449367954319268588864944611081349946806677362803963547543054181489045887350636011475646144310187030453427423674558345438177316444244386518682629470845533128288535245856450281163927122312215794500498241939942564512720967808069482152191221541335650760985640785352784167051834517568781718159406707561852841494516128894584610838608501498164642336105328320794848950900711630511680297437480151290459912408164477951834323357139616397984080920804392934174928010163930906402314186190903813034903890958342880929742162936976001405000451986330724203528827079373298113700763875265238334385734539569821383700348141202295499114418878870664281749375650083543168871458967669229833911753201923477495783308538918155079194314746293969422411147146290190149931573781760061836630506625924044988370940683626480996201049176946315407848253374108526273831391009252192967182643502221849630466235179266749009254696782859115815190742554396230254618430173580042650368056788837522567224372129721336556818205567136881654738576791736442751228749812331572562383494987322883648501885482130992421028615712481683559369086536127547192414588502725550637318375594906144145801511611373369539771783882734845175871514912200437809672566002377506260542128498368440867718675749228497190205894139615920997688423045211620793727047254690417625698324920436897752737788214163164025677166943423877845441531657557727352078516628366750734033733043105606891948488438145147071294178106267580178740582261589877767305312020439674244523159396334207117168857504998247101742810388753741181733041708153983067315254521341638913992552484599838618524734910055287663940174136643848681587345487279856589738345397735217615654310603618289079986603576932817362848322179418217625612013310889713136441633427116119708415238885365807325771944247909638090854115583868305744061608823247302343701473004133560511222832950917233410902431616256312788392894118691006963531556497364263748561914153574304121560090978215044261927098093357512435947839763251087099759004771055143508108124189859875371419082566518877861167757077378139521035875670066620976402780841965010511004035407095649306978390278373865415203676409583742830792795383430758341402531810544544648206289766417371569166984103078918579618079607139799696439683249662279897859396097807516813249059088343464469817243852297738320552946367852296690992251536878028491195781795219260063625566231958243833470441484112307322209079735560762076095377745270753068723716831941805057533387805437795874765268658852428132207484023610529150254117303022047953576682892337468875116760482539582881713650041480475008241210093889486431621138712546810390650874636248893633744527820227507136907877635405211071732336048096170356326538980503996554097164923576199871263321873945721238626911635532043859036321052348449007540788368710474801218751563731133062726300979021807095998068213857227915337882867129701595037855530706057719720892482025269550731218062101169197572114902362792326963977389793288787068749563562785449524831225168240597305162145050506560770523228077485376660290036797122316784916632919718703739912246964905214623778475152067806793004449318532925733142459116747270456781155431446684613359288115015051105242338705563138364945675394847137194232722023242153058053857159173286027454384152957504063087526338394798438891589631522381760866103390026695565828301360018390646752834672094024164212356064530102752104864565739642035484321945352957117427718000288143321746963000450676267014378218847155788796583591969759845262516866433761088247676801212758323471919852960039212897912938737559721858388296629819165280553218716223634359250366970813903848588000439770818689133474095657492991603929974441222281746681187155653004505293523539646009396235399813865187592947376938476088358844883455349148737790766048673380553641044852339092128728317693266133839923268171587327339287454187066315375345049675750431485770549116155186557920018095817892308835759308265685257330274889885326763670069862619973217680981132420279677045863305776546925530853560215963867229592766127801259030616352923808877819955932272575927969538671440710589984010899764181955834784340332594487393383838165915830131824872266673400971902387323401369931745986585886804782835072850792974890419125425863238433089603036945091307979611258193954337959516976614444437962925713164965543958314086024110357073048555571399487625792993108880700210869948970100254823044292623271494239033278062249928603013827686098377396797393964219074059888794631814271905100314264588503785730069899657875267428968820700397768528764957026597000200853075144374127871151880875155854640732284573183856338487935487895866463982391361978548041898629115541832000448651505186982620111828058734521699793244617043291740082205219469057274572802909300227324712300157569056291662709138007414070651927415986027518008285210767215614557895962548740560400432613215054556397366424244605035811746390706138557734906423661157350433097609379418905944611800948759030447214033474472313643726818708510580738818651767433983499430287862605942567219997663692365733266158088833643673324145079261143133006058501248186076126495299321442066711733968693990342392260787511183696003890927823843354706881197863982863784704457606723235671904045528569468321063868977242491504217142491485523793827947837749086446025356399940710185292409798838442003185756803851323592022430009837762045108250134217870799208409190857320141609391517095368309470907589879423211257049895321044745767490246919978058129675225173632017363015556327873388035816662819421264593139049733530591575887373015913646486611429223642119902940926474220433668480853646444276181824937675852461980234776512864763803745171651767746115845948197417561869987837546111003909644073487402675633944518518736740837551770930099725358994030202770590166356211444739458378665492776275801502932945994678854434963062830549172173294715664417936563017447287783116018191332420471109533804229854713766464388461761891974161901796599147712940481708191502663693158883397592793262520100113706540474745564970845550761329456968526509885891854987528220072649425495702197362789614946690638706698119918438119405570832760206531307248893152748437264594777308665718216694389273722878499262196045997672913154141063286203834499422807023009843015479577858521991854905548816684709583627690365981884312367432334194744156354193476176899314748249869341320961316685072523542527852508728026520079484405687833965612938085610386960687341051607538069125716196365003422942600484783061474602934795085242338644969203721312839559255923863963122111519658837739237367394374790878566049343639021304457521813313886311177924079024384986177363599224058042247384885611335575955229214530843099212386469540858677186932593977856705157447368752625318586012129967875019421904393922296459452337169373806621642620345645673191693929001827128923379173817901750756609421752918077893812926948865871873431150053025241524182994537267440185734686837354343501260128904401185503301676525742274130542511817473364443250506565203633861048971072988147634139960539652672875848420097217354111737488696727089423879500751613899861475908144571944773391367599892190813637227800007656831350413282284698344915854792793995251064697583268356299637942913210878679067667793085647222257048283500852970699303263153700814580779375267615576046602241713555712916149613400693227420995123346082745133790075182800003393343061426342870135836328564858409448264748013181106646316235927708935145556564231288458116822378956259062863461950257412022933785477047201796147020324352323740163911203095537710232247104357079112519875794441853391565424633597496751111853252800577491333756188386874705911524048169493344705673722799877796541394380721973644584934553803836736771130507207182207867694080173476512296886292463897504483700744108829265245760577750362160206850668459017316388993420994094866693347259215014244592643483147363643214204537229953978022915089595686702541735974181608712368021784164065849114337148913116626455065280568406345036592055465490326214360591949168088148295207782030468995960078362571495615062820838750513599550643201233239623329273758444130063085375300148022888764054366514539144284717049567306532820393914258871136028109188882324080718579350518919415120773598182323521300159972278820491695098512534269823156256697241226355596007809819708832453532875684370204275013435166230975621122161793545054109684527002234068797155519871587002648301258578627404888375533390930577005121400607172599955283415553123415231766636222128428901413399949079690307865446031475213388203260360505490227183081274968625246139945381525869375208820565580427738263053208225272494802165749321116060746576350747208049390213478821407949296653301622034018583924135807525514389475476362443041718785091732606628756080612738021842274124471661768628288114166345490059057603171347113816861297047075139514176615631844870057119784620227899096149273269437404630934751247333513550544922467781324828292961529761868851743337267653189118341869434122604458834944314351461379475211908450290637748976971634525374804702397042878442672996424258439801136521212131658848365764917615925339937511059527321061661960236409056710694415133832440461254414166928034212253266972166012291445086955455977636245330137952908423417437339497942497709164843201171173666174792313940977791558747437409775062802126431559021479498408459072826347781360654363645393538273928350261866866064277170546004129350143727726327315078986181850182727191644816697668601315705946388833359367089061156153939039218125939587921497409364378335928053660532309758474818551644868028213440515767919184532097026087532359356722385985921929691678793156956941731284329193467939507298540638132415365859375325103755667876418340543173583041694285407889317882303206524337265099123042384863498207864699099433885024997631947278870761090240073190336515386248599971821025340954857122127914514653708075094531442521446136429704952315041284149458565791013946608723123166037598069635901522073370218421927042075760926913816926460823856779196880748587227335883399038235458738151533831046806879965880376706349255912753243511088234435011065809584924223820367958926014086593525341458787082354709347287500448539914610031850921191162042548359319306362590253554807740110541432830680833373807767043486706147281149910404799564470945477950954881962358621917098627573852774005806919505401755337608678436398475301434430197165047182558394459892444530826140369007263802016866710480957015261568871161414725210749110385135209677092370549200915476230901967066318258950957185500581674744887314642351256484075088021678048539752596076101739886262724638375214156822835705860404291479097165878844869117564238648988188763903785339925989052258841035616035620931716211804861532541727701848192419713200871165674877890326796366522897528930624790121763510034497362597595267671023726327702755204713511836557702454084028309004165226273323022731168507977864014138474645905272187772588130589355949616293203524294904968346389296006354181616749900548874456640715039321242157410985469559234215494171064788323328648855023562885276079190342019712171056766533102175026441448334287346622103158936041479891998593694103772562420856789108235515716651638023382191373303107904136966863867057579363660635218278086042989259946931910132480619665681362574874180380987658032100728812379308266432670356102654634473127062305325179821180423916301358227369697864677682847580033666032824672551616885152119683545195534070066041591152773825542157459818328038406370516726078340358754947491016005215830338962565704956198112272123107811140935419119071225521487219893535846605094917965547577461518103782543838676610677042627413561271488787227941991340347589069795016119861644411266365234628642649073944245015648261328902110779945814241281084038267001645013706843202491632494735032993087796941529987521698001791886962422266383133559431944553957191215138234983208999118218861458025642843090802090835784628147134934382849757961268956782659591227564525759551673980602267033623094229997006120747971658530282072008212363070761441725772663726762804122272836258889495364191205525268339082936175786659750462949555852024772657078169179388775826243694905341113402223396453129734117541050966805922982811504625046030365139122849617231080805159243972032053464681883231649472877239851454451083199255489267674714743040144614835667907696061902697586056837831046800041614873890333608611439852464676158435911141139707485153025048951843500193843248208671285224268011666578369321086531904209341963757187054361516905353649130082498478323751131389471362382474883887648535225291139150116142123202918783500545995446211760649939773691970424308076617736227511683638422995153931973788762015891825970284030461347458956508092552331793307259913157869153613248305501596157465415588546591439570560940155616494229348271981967507305263571210966612373179727961653987216478807408597621507832922513228836617382305528460594190385364505139159103811608495196466892179396199386173463822216113824786584230186806866182388350009942875734308138282980062421116985930375936370426634046826672943582142944297673520802155364323237585309641922533173896591353409433138944725300121456376032076553985286933877561806331743920324488725276343289738863879652954294039864766968210407134480377293298196095091899073294261975007313615310996040159086717652474944553367256177870923813688322390398168993962656497361786017272822804991759700520944720892061206600186363593071845245574614863749125954016635115544384053358192243367732207769676466269531264424665885001758119347151047852199034586405334503334618560403308389153224427669394706039562448027191457407747917080695677032335502507687837879234457658220966106923143401889254926910734293571449829915870985616283566709809697786699112538836463272699149013302978462265235332511582775744995478158091148784170423413544422373201617009778221140109081679090848805094581070710438096409733380383024934655763060454010310824729162658229498279701979017288396578301908755994004474306995692018521344735188878443798826610097859561064747577888536215936746585179764500609902703740305112971387446349309690918921175416032643282671147073680475204421993791876135618132739911995259344038327770932640280098187395682577851171865392879086791062932113505352010785215185207749908674089227211006944536330938885166117805897540094351108165872211658999346217524502628835531800608092129503790608939603870006599217611845412762948748582692316419960913036243487578328010763576514015364778446458142407943366109231549710140397358273863928281430086929143704521885335598153191864345993897407144815028650255550426529816178178482267118671939276260918777621110727874948630498315458028201502874528629315475858407815282011854842804740964121880749315790721438719868482974767908922749061393344551721908625838250033140906281173067372033883660841920222445109343663850218790421141007455035789059443692277087950107183245761698039028681448899512144085093801922521905446490129087941435253854989779940167299805177245562356765021877617812832130974567224459542746324299478121324222183823901275395450388973690778974131726061976682771473305494213338578117187629067958997412825450143293823656980752745773850152780230488410773766721338109255161866344923948352806159945946518940206464083201506115347736104212451596322513361926819301417394010429648753172240886812330351396483363203432990558873853634739050871275295285130931697535004010023057032076531292721308155847416183321074437956489628167527236223775070184601584335953521587927283047374221196706411107970866621956793747433242662592778926595561133518168980600380385503737226950264043478258256445755135240514893238772289246403169533405588233163320707481122441022478178760296095060136287938149591176370017906548439991639945635967353800240149192978416836638627307256066172847419168841023835894671047548336688246914048221612724227631483592389926169256686988025948100466747464770107951882946207808980694094704017174653319952143966094615562244090115984632756354854211874284073249297102991761195004465185009572787917833698402671723240467884173970937717391624919803809155018550752699821911934306313051594873222502220052797786335925740587344805920960123807560193128758976815016351271771647494044252536167195723703944571197987067602880432114521884257713935921474140095636535779681069601580672572243409312519454683758468732870631613920689631555731024483141369275179340711652244789268065253687537494767839670884666785904088222281387723759788076366427400347334506336953381033366650510660966588871136107729795214856152539340703555227418833756548838084998885989927909976632642942694633093152994303228226485800374139657657946738806905330228107461959689163894432321656602595066944053249228552172886142245056313099432407608881326978497978081911206512768423336152109994507545566852367108453858823321165185772847646401332138477700761572113538593241982107531217548161042105345951216096056928152105131841439957780655435115397829895565653857248849911227411042614758166337199859263588164248297410098702877619497431570580867827596055091237517397410158176109764553780119815584667492787001705565703767392951675159036144396190926512006625338612311938393276715635009568114107102292923648332073068066362859508591011575399307147948047330272801551788695476927127810768523140887904952604528948757938024580184336418493216863362923185589447624876547376716386783022339692555280792924691714955401228597702141282115670277827123974926668151358507138707149217542982955160227932531527048152848210756854761807040025656143251869675231323812391860805572239428004784549740035743248298989676449220741713498160240655231277911758682298313013300933492690271513856054831763073980720012886639068229728399614936148810323621632708724951439554474716677775313261703763277006409041587555134293265809186905183490107408883144887960903960936962648787562707467729935256369010248858118688034156197672284733096288055178638575731591646071958108303207317650711311993046279818555836538972782984739953786794596658752913440393017599950946920823572104783399959348339832328761571624162980859993779131429507929246192794986207035251047316625419039374956077150306192149381307081921459194795429955629299556339573208275580876672532879677425774038936990491232741449859630598784395698321957773133308656718461915715767821755058796111839432974587319451504918342675755448962586357226227764085203837581808363312808483111972393939356480016304853848773636321667293032742045029357027621641720797398762696840062407385415707511541221574890026513736157256777787000460716403845477206732758220383914952760843390453965756785509452280229412102315409787371428980664598459951772862381804829790182874032474865817880963600090740445327173614039551069207147353750023534402179824969128243489891805812292610853807485448164976368647268042780545357239860078770627871997920197382546158078513023752506861931656103945144220475512083658429830513658029895439936619112898543132967799297480697475702663988001393700719632270876537568563359227653914882339322645072669059811125536017982318027213602667388035315430962264210207954781137702038083465328376042754912223114293633182407529458329882620284997578820250853910223829694095137097214471701279341142839103079726722971862105614003306357774587585258324151882428375755566659291516556080542259353112792103969067942317751184240228910865002069232430604519971083730711767530292470042981234586060561453037490058356917041409435824256644814479116614037104619283995743590666683898621775515086828409271138675620639103438834627803303153967123971824359301768502110735803050625721380644828126185519252429953738745521170361498429065294444518871483697415028208155278946652750457799520534287775582051599446834015932453851083177357219496494756337440213263532189360635865146312550010284578582376075684573050663221198815066110540859343989888861165459133337448312567528795462964955553189264616348610352803777068245631548548931975610876662441079485480373562613927696380544574928929707633231362376623463435992758315167491247019098230217840955899660622821370095475556815899829313042788959964878568824845353836761629436142071658991776269928602427516299418635292726312416144607986983328449990219680314886271754850722885748679144572905229860301727489687450144837170311960411865150467239190815563607095469449290037942556080730997919096296720030066398270690805739777165292450048434337629905752117621887069511718124904106054303834287372310145115122989858806050870278597200826365005550884506965047690456111412982652558084345142903993774729433979003307686508580056921838722031115365219171481358972321669585746400619525262834636497347542692698198382959519264214337981562759316592139423391587625122700890289997998021932233001145258833125520724306340174622509135172868936234535213401545329860732934906759349539271402127519373479258359523597176420935039611590382351257964932660944032589131798790775553448222240042514614768525165159764147485918648708872075608159479365369689770935076569842117306060279211818562987416055179317653489283755069299580763885867900405317908023955369391147396104271607502550664923558893943307830883281228509143912738619805660393172316476810226849107864681249924930528624393134036205445113673676216112606466833991075719510199546207675922710056075786131042963670600506301398947931048901855615456593413167527194856785819954617890173192216404050587443013932115376225363242070483751895205307871550049830590158672465854364125146467536296505902797755318669822521630406180296561550463572641735456594991607762834018118025960670876133705093610278459077020471594273730325069165594486572208072452028807147649436608504530361827129126781302750645485238532785466956178044308428640743613563440772758768023057782556717474889377987609563149386844482202001994478794122341573587947700402090807269755887001019761864343053164699744975724770928973091901004188273382189339912559039908432992689625955400800188024382338225734348388320210058970935648553151582934168875269142614500404889421371194943909517921291302752030497467747785040255731284037362987208283490051156566862892150212095726873865228046748222381807720805223357360726281647923642759622816246534160914342451431999848849753010781303153536929010715768512303676944508330397472435400000062613191551788492689423193203628496493223384052463145498115124658080861147467839321497534841489047418239170963122560677774737282419653485252527330465597976980151196126769475040911512903183302265543949314648430644820572447812280160680674180668271438917601440838368688642450690345960207031486329285226543449868586717580627243052051165405515194553539163229238821950771257837244655207144107961860629332180233609535404259140110867240090549356825406404291721180255211622800702970428106460588063516042377541147524735697513794463528509483907596186961204911804126671602947451053197697896774846771741084993905880293936763604560544299212829626664617629327039794521287123567925964939285748724583011898820135211535432804988762757877311145367332433581836008596061734307358056948471750727305184895051623548789503399728983396799646121878998987202941020546765018477557544946185948362342816888955248838095913449247223918355623476311438686536797357458095996184796554685922859682776178432849584792943156384123849969833191055042793050516437673613353580451825587468280418473891357546205938454225996457993619138921232738078595362099536020860030987861788946221550048995920242490579814270975439596084494881592343752674579890699076061966023599030270854568690269904159524319932898050422733142601399976645145400144446534483952169416622762085722562485432480781769389206054983611727417202701551733
term 693^70087*6276+1
1853092816…33<199103>
Permalink
Is factor of

Primality

N-1 primality proofproven prime

Proven by a Pocklington (N-1) test, base 2.

N-1 and N+1

From the command linefdb · curl
fdb
fdb number id:1100000007269243290 --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":1100000007269243290},"decimal":true,"detail":2}}'