Path: blob/master/souper_strong_primes/new_phi.txt
650 views
20545771440533998678326981211281642737148277022654921664807282437230011190585745181381958673174704138077233140395161603815933067083175945160591061621184098180220747183447738001134074355048447379601840749363290356180223319496504567692445410962206345036151844901007078014723974213408244033978098835806619414073330689710822527332155336948345191502618804921225246077445175028515217682638766471799191385418895119619892994142773335841459109720566380874139297348341019815269663409638161862864011813457564607661968981061142580762921101397010589912726269308610139497727674367041024650195555208562560029656345123660932628568419549311527495145245581892253318659009635930730154590946190407109588711038716982188756858696270868288574007992670628866722129639278434579150491999358372865476678777075579606643597510237720763290971607033801113383112652576629655897511203138439263289014349188684298971400525853952577196084315258795621618825209157942652834648122070290510333939276499868958463816240818975757060681736371367983495377302494943936328732063138497297723216070431546306732123184242589592718383459325015139902207804700996539198203846363268960358314216134896006756018441961864502014890882695839956674461795758395901597975652057984958830028613064842099204706461706255044066971869111783069677957884882873005431715170245116407605366159277461251766502028705777450551761950077595826461811930112627619219908451179402324306260882072358426911955728342170180343437541475261104890290377827283730711422435428527648816668109923107588973532237023391586040923576888262555566627162142895164125825885706492450566334832350448393957043533840226944734761671288746959164326897624599835595316520131158547413844669233103478055009250236812337100122270535337384879325639519658430929887064170261752661075267916838726963637799205778439904548290641289073742985349465043600006347811934753266732905855882070293428225729729862665107314665309427512530852629179312277355427598589880812143658243692055447604296504601918701251789214969142416487386495303492274007045692313709666849999170468507661142854677707415259694188408008427545471281160588511143686513239627499434920177072720442872175445674543821915856701080161924875966555594447970708442813621575814375522593759241066981906868085700080680733904664851100225842834473106047193193926978400978364422928849105340916467973633637987187672246287690627568643081946508271611666243169054158686531294042725295217232932129321236159172687179110510642010377791380641062439816928123336450165227050876544175511795398458197022376109134413361787374469110219955463257003679682512776453361954461043656296608468068806022444041762685715071563184925657024548086483569034089998428359939796340351699010284391238344095124378105381840965328529172183898296709591229432531904279759483670187421190535830221490696656453077760465807955560232718114110164637203023611249870843999854165085630543994960272154087432800406518381574976937297333164261994442261928201489319147951954061172039225819483659114841520679193826625309213859416570872391632513083538418009299584855982984640888408728734354893929069104222450590284510133048842148302508536027406374024260401891199306961074654475973612218791719480156464038195601975377079753311125949264750725491141355813953437728403374143203362605360558729106377304801654245607882450847694263636664854651753868721559550512174094281334430202102999899204026802499460199840468724527760811113149362181247726384453225688966680167997814549169000165868495580013116114241274965430458616216186144232148202632412955952612034555347383113881377261814127263045341642716536614011659586671884241765611100209148227379280555484200131382195279677238289774092156959323555140502196364249351157656468527511528937712875736121778711922194360709609399477857472526194764766796470999704954370729640207909925106967192474982977399123169183815227059241595783786598204570185721647716959042232687249280656674917886914322518480431124268910184649764599961862803876709617884924814394996176269749351806911611018369165060993283484190341021131155992053581267335007041220888351053127520892655829983163431357136362096277161989422208980608574462034039825609902682458198285559859028330915186938979027234237942574797065757074805337832917731747455978302018005680024359019597714364274220606430297766881428431164377294033263535449627407528173354033541285995080131322890294014209645622034024898101557815495991345678666326579124212341576877429465635592400737964921648894364139360361094856349564900917592219134752006823961442559165320277940231443624757146758615951419105327898052792529690322496403356202052095381606765264340130131605529101259719792296850942539668061366249841409205504409942834743061101634538118084432434055421092712116713171481586856346279985527577932194210277670993889302167481177909813892139950310655186533996601619088144539783457681964599597465743315700353470117607522254897826352468092602307521458011215234520471664147070460743157140468516613140400506863388146030308791704762870866822221368496819706819700264974349137260881835291782110424561548742419972713606952713532665479819488566782421240016174753565304007092772344003128409689345791128920655744837517047056846101296442827952944167148725780411446080381701991772481612341280495774638545225391506497976201734512688635302403451809227593916375589168868255500862722967557388169099923396075959624659746800903998850239035769767499673056019098818454043707951611855277697098751649118211285458953226051584111116810507751987468481465654826774065863624110230070753041207307179993880597340068959915874975253072867709755464344408405707973269614928051345953765998750492083662822313112468185137718235042311543165367733842166881514945894620597092499037332467334583550731664205930050629344246644924025224719666123678167223855065691413107628180608802860188693068009735915065053790795665396930580294321314001824564252860799863368365945910045860019965721087712564159755648951319298158232198231673380197414773546250738404781947745245533833764097641325157289507328796300528936341539823570485303630557229176826757610503457923291690509123916047609389926176873545743776914383843187078530081629632892324602030818220610881189483138132288609215004882477948351683767986714098782402626919730533420005126169780701953681519633672664348001517254038125896213971524825951219714703121934906369727722165367394254894290543979084483500381409663032725884662864364740982221787098093912587208663745707703496913091022428505857221469561243705162171028853861436592894172263580802302350009299760459815557625983573664190415277334762969432247481250245441629703287745163167035531697828805895549306838089019920656028964133188984240100382352562663315185777952999875197701306633393246879284406711497903824044704061519624012995022135121308744634504911990208708045787572687129589341993296514540995670514276392166892016156576760794856943653515721185645484228394956606306957428013390752578946128118549239219001902762149818598504599546681184720137905326305118660774310157223881980757619962084354981557224413542203975420512847745104069378486081247539408601313402759963821555383091036936774776452053212188674269915465312873828913798071479107536553328282478283930907972160250540234413644704614136574726564553692534342422806771198222080746724227824440286488643842121956469486124429813558475832533352647170208779479205394377644469216690063214549089946163899953189488286856586197771009141506710222623232735511926778582649661103734129733903330127467366623719919363872089808558034993677869005830735810235627226677195469587022226948800518803488439865845345734592521164607728547586134720633245427642969205980860067832825355414832733986036815754611875643247788225986418888831043586357925510297508063774131751349380384680970625897808479971395092346440813057210111294042517368623491455313851196044863900225179615344866578288486075433258952768452102927387266209486261620429481041134282276079622710614684954274112048404589015704770500597526196105900148494965125759389063830951795593817018124390318620860877289472465617654675589331702592113066640194479262683121094354001447760778627504402961306424039386370263858734412620236110947815610574432392040210651962612154696007007122356958325453611659312299870833790763176151129909467424035588350702361580092114765276597533811115753504409262705430591014896841244823719350107210140859199671014501185812409684725373192938472104980854594471147266754030826939713092968774011323137091925576719178280588119649238862238311671546430830671679506034315582311628805181431789085646488905341751281052620480792819754234034585928636925023968857848802537109531050670176255175536157921592916994188331592907764733195894868511442653395473741606485037352342111872916401941397550364446753694414135709962087980284055725587634034778091191120862757743769376184723189974993515761392576650778534627606331668578586790303628081685732786322785478782857182042391111376751875325720800067704586505889528311948858542463148486589113296656603754513784995758742130642900374423147049735815026035326422138278505979669497082232022489974799995403936569568065313751201038876824037570322948095527262617283932983826755655267970977845186988830385704286489989972437341185039433925707320926845352721121826868550766411539216378064064233686544818508699992551739706729899494023552650695697236468738958814768033883592717659551629100588980694034718155853183405606882012475143011320709284794634359111667161548021657135467979270074023173130052094394999709275528840628424677924585600280279007665167383719745455814031791561554008812589858751469228127575823477950547121606637119497862062092822113482463190280860723991405680292792424773737550633578837774638477229481352243740937651570671712140540588618946657224694487907771696269910413936155905352573358309168563347644180277707090394843192497265220386024689699841155000946741452106999474398249278168908968374749054082988574479107686416017576002903867745543181551419082129590285035487913758680337538907687659106313248631813389046241680826750341051698409290312055470087907262802675955996226450733038034355048240584299998335323845436833423557537112240467298798878447011870800431683310778962348688189734015070705912363022336495243346129689864604075129744117975742299157934343385376128946450766678679653438225620641949883404079233172489266395304576226554245920442935120474602086516797926524823219884844930358379188906248179441892109670242462798806184882255752351313843423393003728388882628914752883691313017481819878443567617475536455926905949073725453339894628301857261707576954563574493518149135625452142910555330671072748291930099758305804014190575482179855233481714491717259126586957120903447752863602688597022979017765358366554441811838638655323931306144874826337600751970376408778034773474845135750737060108137625933001667121171843810908972450214594229018090260393513158326455534252805614847441953717599750020687897168809181894121059130041066556856777735325291523422303189540973890373598332184427815281423314902635522526749914766729657948523893392796455438038538234308964163297562299040383439637629370815177775225473556205296795321284060981342395741751428261937705988875524320822511283155457816411564896893915405702563917827817678151973703521478514188383916259946007479439286963505613931833858619780832086546247312417827742574666070517224062070646227433334725721079952315083840689875765306300411179049234905172493317959747200345711226730167212955368293450510603914518340943022072555507866138919098284763156636956585746125574947920002159382998574915087887250937763141417126045850291704077189199253211442170641290641048334122862125483995966441117611195091344837713813916454588722188482315546045784437406687359868380186746836091905348028847069024748547646619121038367442440757486298213391818515271316428121971134121028918516450763382826171681071150273330073056450852834340502229812482002692629627672108737096709381912184582797472404868027973944536084035867545330241699748660465749362293038237670366192162274803614094163475001356479920257647918908764522405391076850280550405919002154145000739127096842174351018230592764435965640112844187526826413109304670306704098141335682651684121113908389930142942115281516154487123663783287579069883887129355134896864706908289207570298276107130445242901790313764221297465598924880566847392090413907502956489432825725753138490719286900357819545047150015955102359399566110268348599112879569511535172420865866324365187923932652244168544640560410070651978379375576573600615716493616498410556836324006041610655083275095104423791325850796324411178813372345557279029959236352351147442508578498327456020567439829817474593472037620088587846955566052188102433580568994580790947107494691453942784664887357305759485353037272597214499500237077124370550821269642913689095251046611740985299638327105755014750469475225530694835514033642351514836985836875761386326095182839445860933569633845442871052207333100621532351566379074706364606324761652055609365570702163320280976867937130634474250182683771798106967993501639346946142653845000368191211009560118871586873627427852912743197390300313960761816162601957974196450699637641590490742044307650324955122539388182438518069192048932535753919669360977948162215252985995382482769343345309907915328374167401183702069511033221951934807612537802820834009523041545903372759618399528717690118998529312604230258472995265085663092940268653788995679568289780324621869832567637221586951057125807132944578668883166985890924099826161922133853148248210603259255594028618610478988211273188761393012299076674901660982087279367713962558690778646505138689631776467941623851991574225089515155556093105529877020421885970148873715286518590751774620152294018888307926552619682783673137010647019584618405963828769777296328676224835236211120001645435470214043331787420091916263476661156775667008505204287522709039212617024326446163654945363522457375282006485577161041976757735678760233471681093427687961430714316481673175697452690576707708311915191389202104036842038931036230449343650656517772411553880103084227682244675907135514433583453161652952665452626925634305951794356141566208848445204786649716384760587831248150646356853878509452954410616694910161283589845004374641879859432917850587044642969312760282653590377936952344071861260852836436226210758837914316536772805073705745148002919966341399007979716388145288799598161920206194664006048795275868139491165628627183723460390496314105323808065201700247051711770848021334110372677619030534114532613676735360338570290449770168417433613934977322748728681430394158270983543634577573611859948237814698330515223707667512718557723244302610685449092516782801630881332427091605550104709234856371799075774955603585326529111380828304319347342374358353034532617936335558951317777874415969325190896377477687963648232670985530615303344507216371948780907176118789304686527511628512900354542711413743697091089500256134328939263692369579665807922098478389337781214097296749539107394703139896806693997886196211288116477991712797111609908800975734518879076022489480801848322311159041830152280084240457479090267534824566496016152577133157754307643595156988067004873102349371229149263008390974465352500526046437310297309904981269179865146336656246944971598849152464229936288554501276595782645166742661848742836481131355502338569363428153346315037156504953762099597077642533692874103800808867006607181863805836062661748996296322511084555845932813385427324505628818972326464482974583080448273807219337362088283589124951628320162087251321328972927120114380922031646015647337477574048513607822125422976947486863286870148460847831561127752754694530493455276092802935473383427249238030122199635805301270545813760247921361411717158400599221119790355352023957709799200800827749045595838037774241867766046387872846900834332973588004912024374496880324610771510439929082879332236181592430064437602496201769763987100668778519219587147965504988308895457331639437156863325184680387948016369168548061677130214003889097647859192241181315228343503815025584821072280719669338306190732298217920880391141746004639392419349188027368995372222835784986763835092222157644616906663683269734878564839183639359234249976384993998905715847913014997179067644033951628160597902541961571954413738357983791375800494874451950311935474553752550582807066285389694591093236380800673964183664760420618559513665761536210097733064754269811130947395986351947013058033678991724468422998804310700971575925280373470260206242546601664152978843974513445680876041263108955565387332293122522457999167943503828774397289285045070552446920871127480855852563493831020277412008439676762403777584941047989662221633528868380149841943035260502622704107284599267242717934076849297236521438884489505870940423746517362825250915134326849206347103602646145508683234555881141591709279004746722793195890911247747747245781763291146405258974024555810412320823127034519703448637532991092112519281149842997458561445331963461418833283576999277314795589426536734603588515716198218636579205647442251303840668893051405662186192429151489869103445366652173350457111500197904527519847651703000059405204318762236455708902326826672882934153591769779241633970062459922331084373871465040464708659950289390953770624000532714776243290271312269620530870823645206935974111877648513965916884658104437255665151704131699782748704047592782122654506406352819127841711288366874212573861786273189884326863066895568193312267315832884864982985439249221753436998038010988267693807110584984424032139339972597464723755336663543680208479292441034845265853556686214178060579992440573629226139602732584833902393760981605529170180470123628791071408811202435674185376413001916896789883214428212409000998736875957597846107731981237112346328718506887903199379220891551575491464224888744647589020553895869037295780511607801403957437335150827206072085405236471683591293970175618547387914637118027556961095248094409909652877923274687887632224010298351733410611158462216551824206376742162584861715869722188064236828838007569482566423598060807206153350627339492751914303234437962779365901105787039346258081774123661277304584145616607451232150137923887843791291534092350929849488035466966539082661160925153343076966039028589785480722243103044891064521276041406732994287676705917337740480761245535224499980629681007200294795242626999266874006422362212750521653825473113239966139475826154657023609282786481540474435063758994498889910739421513771678415049372113799420185928143414484117377451735649295235100581329685355851477524849506192152799348095365973126703684509114626475368381693699923861668602845074551262534192403032898258792371121850355609842916951165612965057500398936275231373319299584236437839148763442233932966369002973730425088892392833516039530049866236858031326628430943701174927672260064386652657520060258915912622454880198584517536311713790446268429938430641195968051206740485574534952407630706942395362083049441218032451262522894515610216371501923332571323682733415770518727705676363755389533586167534003936673515344167622365879102173354713590061510288601131021116411208016897790440578066046174289190354741623708339795931355271185156644472639580065348591960688697562362096041832944088280470945523953573036858037950670712821447603898631617592225193930167790846681392878742696477130102931155214835650375406200652357156850242776507393798297143953352299736125213152363554603611970582486953130257092788312401767666814347557674303909936652894353630037472024338579454763193645912268947272357428976551575629316590614331982239328466712521824358782861023260059363335906562606665223815552514581103209478373114307111388517690033199966223433208858715572177446826588178269753567165713415046271407546766625762009873288922534645327416111662893316958586457987485865040837397320899635828378764719067484822599917051485671549409802482226127532899130416418018002080673543540941269677243928100112046639941000662893436405184381555185520319555256410484130001175415968003702573338203667180846022774700104738899240019380303692115553067876987286283416712006655378210522548214532596399415635982744711257790357745115603560714518722767147045361697961569799049083065357774801913621539994274411256427172093198759870760070912761333667105133657537326426640282265947273303919631754277604169144544532754783115786432406154694046580039205520054072161412953329571990255790002578893124704827888523492150664889742115212468981319223959943006765486339061941099825410891628800060102348735048587567877230588395446948716985960302552298678005725010423753141583913951366594276125423038769280775697335516577385664292421974995545270826670213614533695362993794495847703861077455022844153225139168374470881592713165359493057133629742824524806054006429581819537906976357599012042395240632024199517328422784699995131827701467474589582467796182526157090879924837941635992494704008484545905334074681614580351470593078741211620038687985933071179765307235557666267639211924369412341444676126336920927854539399487810082759650857788861437138392306737837447765977264058451432725667091754181226100751345446847732350400103519016177116545243959163887080524765317822371705490264406581809519682409811637274944542867726265466392988764204475160169708468940891538341299655092410704455099880300718400172825025290566842029044388485906685582027877518065886174506517473845279629266079001395297414976388032473257472268378370098231289890210562969741595237921943107562731202378106673872030632219245779196024543942642503326612256865663575277974360802923508146277259146058715423492414801300435764931439551187534463403838006511822086903118899665593853961226099899300610881068106271975202639699628580032507705570656757314351287754267883326425735716762650618499104564022873348898595762855130225006006102041548181790085088881711202997500305154904456783728341680245516964816276073512124967168876457119863980895590297770975919006109215846051058590112415080387559952900279989546102990964310426062571043516036217102423695218293991806145079529410479527828868580303791183823796369256440419809246514481219254435304962118056549306126945375799705047278231446093063673342980104752332352024866393132514216212438106754585867087080079459648000455446001784792774692206011411472603815517784583737173103916132559337455840381227873554349259070748920225964743804028620778787318252155986796122532806883112178650098018878876814387954944295236794238912220098535642560066646054021363539291691723701454620777435383103735940868124176005436861029819497268156800492978891824972630701266568585021753706331268658203504722998698482077242874653898435314305894856717084012981702847569658145822619035391700986497563067118638145225117716434644317485801421323214809320313051470145704828351839032824600887722890269803410090451996525108227395141188061676876561397339785080629749193250875109053100208619655308425348698846722741115280212801927318799813178018650112937390644919973911242219487319533709381690114337763310147313204922497505770231184230389529306620024770772596596383485485182494968205495895320232437246105322794904559221804640289835129041542878208795856272069957379271545811693844404733822881475185324689160600299325722518748935122045642421671679847149939988584960615620768917069160272813377019920381993389204441904596130140533310986089697601984992957892650083536488896279794610428628393835557403412544558797612568058176642671323919439917888056523956102199778439766939485733341154076923330413745684318416164703540003869929399699207441998605376539884494180828443158526806059277073850242231283683437561243954352893271552541318019525483634654090908395130951735611412492102722362159143717509994506702507617593532004730488531928455807581755401975044644736958239405116919929734290698937047654197150724814833832711015769479172919328383822021586044955487304499604472744563003697095532390735863773687214089722879618030643846098132045087874837325210377618972130896812920360378353126937350364523852910862506511561835763033965274946769286614931633485702205159658595601862834259195576733789215787419021907403118398835617224940557077344888934345578628208445761967772647777012368958592894099734493177605834939815615143320923427967570812445299398628818880873274782911375332368941273386327465330905256871847974416482660526555703922027783561943586592384706468617708277431162429431210960314891292000622362850204064193751982560596632669657769679099655304353363688400917963639387217992247193280621937728539355590617161036149742331291927826840798607929355661862692140435666342939049413423845349984121948393770678319409389575170813033805927332902790594018889295648452543252668204217438261973467540469915207779603992896097630859465312064488229041072213280444712602710121767815866550554144780339235235490989731978607831791935804328257139649425045307798059400572449960045569483160612903944262469435794741421407747275203010329135596627389972215675430747951357438188744756583543176014687257396737497425025353247889969927343931602057898539261222141469823251473812866643418054294733059216470255844702536630585652376624182939381431495676385816643414398903365396255241236031171090924248804832733569261136754215932428532518881974250169716442912056574687521358070662426683579949823863284544239821682108163148239440635228561958431735372227059676131295821387132184950310483994786609934571832607745051294412804112252162372080690865183429597217182666999671856186592444857429625765148776727077873873881400760022556798541474153057740394666086955602560069673169131476918665781870521698260668181843551487484945810985747093895906049611584998322257805686938440101855960656270624779541623092175235656213090913301620588196800814564632213620986099491788471324050935762545237770988417050048069572154738534174850245412797521935766514470473058540083934232967504622303985077074689802389844888366420932120341329364803967696956866547840624312689168413349966953119161738564140099285148969858018745510991956057229000609535341845366229623942020925669626417823544228091127532200238174380723935727380656567488694681444064071304499635301001532852561558526858442461121912266751867386424775561104853932732608061478753442686097466850891346245747388799110166763233816908378474558659785981306130387689629556153643443527076536254518500995227116897411727568357684211532095021315761678624422296782703282580715258439273683214624115532959787647550701610016092660303409368264033271752792318204810022731615744709086027854095360528311259544441115214420492073212231701199487837713804356918320944995393882083850593856408691826446464522231837423807226048316392286859541844108155504264790552851129082983079514492523855133127444033423131004087402828538199199422813408685470525468771151997815716013306682662419919829703831775678043819927681533694996785549102817317463919275039019005788675076386300373811258110124631368701881733147965526611925186600057054558563245621609537505984729805637678709269998425794080992669167865735063961472061859523856383211933554410974900918576659955398763829279435343991363765423507183757696526220386855203977863148448999380778189622301816076132873239408602408663412128148600417803873527386939592062700982115391665807095656201555586271966517800212232354506365359550489672932879801313165107733884771584527194543479197166488845539199053808875399661489557707831741895936276274291794417734448573005861716544535270258955086731360357308828838334241328858730024966913782355786633786294583250148174587461654929825920001493200292319394191356623565030392227344227456458470121958320278297485012191585883537786612167018390360984751562978223908807831750218328202522863280511009430339079044775567907353547215776507593796045215370922815105680783787682694151889386202075706665212210769102156483245389874385860478791915646616297366761201278950402090709207802866964206918033341439045288155612676858273144081336174559712969590266823656619456147085861741678474938847658423555352904771695311274076650361745509216626019556419012515833762380616349818980701621603035804259598019231382327421108680789519914407319685682948630788293431964068093781553383350118700912335851859060901847126242134358211096715214601565390003313386777754447376257168312696165484361991640869727245574130665326710846912122055654435214178124644070657676564400662113558981618944824164893054825803964396969874662407644537793489683661934042718602181534315994153633078859002641031958416663551253937901649461497929918789458932074075181034493661756172139254529721791610190815804797858363845067971938660852641674736702434587665449231156985829057604362587720354508632994351553857114512241468191976413571386330764263078206196197315745128748840081736565473105208368680429357087281513543093649288359359309528089039127909659513014332431903783776021165771809231044448452756931553996141637257412251576172095138135939307434776724209079995286996130857383827386972913707248000304197480637158202234405728682846193513714794954660927968884938560220359718775956251039063655679175851537285436695171750092197823871350087757437705704487539535706757731225236702418927911877279446435630426231550951830733497259540597937341824112676408477046090337464883547833125623231193858972180573621022949562443827362249042028526405448476488143344141896936820972330064817905033300014703248134367321929711204388258186674975540274157197845147145676085962251077596583317442627436432413814983603129970697943197980986086424590906885924083160112046066973501159420247543835713424444237661014789780306624041143142803574137122418857705970700525028044139924876259598149704604376019977505563429903023829905755409516221789440769725594351635984382415232557410860482491662832924263612887250586623721951809355334100815288947879227797189485792872028895508455530316079858000888235052160959031013407697032704886101966828702903758004690851756187693555551549189639653751475182126593543960486051361701928984802008454128053155960305884556499784577723927512928524905215123802231588785523876814419527914782045838869925523072292178839658497393300805418001180825718462790927593173931404000679513060955396684729349300914457905799301898089451698595769543689778993805710876504982066154612258711956170195418993913903638449301945063320841178465415495175570623162462832340896373884151809093864970692368216234063965943777395182965048776862738686647113281230615851447492711962557740346725953689333371649861329669624377849677193044687130190132138986860059197646365833476646561694137001530553571344884078018186858626366484184693530391535685846500234072892563827123745675086039540254646179541899386021793789456137890646979446581158289555862487453448404686085919281469558363000023479841959105286218338026349593539146005937537590878551396231421786339583745174780484994490957891838867851698247781477425258060089979858375462087768409794513720168614071122995691262340435544926430581050247228105528356260573413602070068606574652815887461081611820036587413597417881012161109403601261525697372202179415595817925770512015629696567903099828854501558522247164593211913617535627686448937483644513626588841951125926196605740313524220794634096089825056042066421907127608128331333832640647152877316367634355431366240543612911351390456846854542390369333677754491690602459892378353945859903174081905314844149782956996471936308118635069724336664031199326498899066863343654094931719683585196345674143464185814455821798050259369371073701151599004223112526173014596909677185848341715824055061460114568596996824122997806895451167182189923672545416826048687403281192967068809593331538342016047285395320401495825904126366247983141128029582190282256694153695621771892936754453880751070691950063816257740411465348655340654788900556582256853739056010932694369066318871467094705761169408691069104027707583151416649255383565100303170481541071531962718600084662065857503487917648060143473606884262429760900598974661691246175240539925044635463789859784217888494759422787941640726282539581692989448198437401841291107481815222664073767345964937112755588554405556309796860963779596686045567835166404644757285738181432870650196682730760022212190044688218999535754655602043590953128035695948371739409843804610675001117236257429854054726008726582779935785848042869213921984078068006007075198496639687932326599792158071926188644614781674056600421111558214821373363402746197169806480202909074095024682658843238948654134212105114610924359252968071721821593055769369560361890119953607834921867514387457384285698357888683786753777598093890213694909737152267895901651397938165337057468518603962300336215039956159198120108825544637737399158366537811627985707205488153744267786638288289202491432511335729175389287067740096152150772821542396186090793297667979916658145339988417671036043707244730357955715676502040763868088475383327986913247183492505149371514121666653328862760232938242831688760219991488721662340633301115616046215102946235329861648209550316988225516807408655626830023412594815497575789176830628365320837865705004823592849968960519054567608917266003739948428227165543044367689256450816847147789652969551693268975572764880954701907807204634490592801044320081767684784586658861637096948663185222229164914682373491110530082149074819579130723147363695811272238244345776358298667655342714056364202067228758795046378827754846937840316067646820384578580726931680059967029149136318689044199847205884322095158214099691102037751378935247278742990956241632155385775067911441098679640871116992534829996037722689735819696671250734975061971186185297432417751248440123312251385093563068434744375270328330824295512039288101447674265305651918814465279963151448726121890696524488997391853527389680804389339708039361564164172344367978452527130392206031763910526067692701621875194807658323716053097999050204064331827983952454922529439196159208275162256855114789911896181248438523155290960929267028204839691148619142210503740764414545471256573193261329560956365825244305953820859183790696266770763438208239938883139787875805258819679713816996973371706763008868893779194259329053470143379099291703957716859576976261680118751345232786467422049226562743962463834364863488326752078799229250956934468195677171538579567504911858458236850649921379556552110484588659354650055065305635449528021134628283677052765087613944098117924686544564543963870653788172658511337474624663505953689000062325888669110161905906565633835057755629480205252210518268848282207428099553657362788548591550308095097886254872093215883042734698581097406262070281481782858518612805553759144352245822014908808718545179302799043108342862788764334004120450148413869161070928302290904940321577261507518139554898328186937195443810451017896059512996351425734644704908002556205402757014517515609742432713285466489486742173002164443624022493217188873606119445331658594914993273943262516357498728624926840015237157645268318008267948411136499586042957880320568980232255907311589597675204498573684519643501221270826400792463285177361745211707273503482639110771558324647378278731888569485359443309717944236580507027533316774813018575035505140085105735065980132484247122623241884634031042259361418957168701107861463794622229184693195582733614761695268117011428303478635946115338095519726185982083526333351908655679754039060402852965889053346368242178985178416939467455611766398178279612342066381555084585403562578558070744036634495302530418136867758220980519825788441383858760810957958753360216403870719773282976981019097990224041737736840419624198783648580993270855500307446028369400631693937178015605968048826161470482469224780054498955580052290496529614752624399223925859678949051671816744450406006614689913898318435729121086824677335149417414738146702754583701903175554269140107246568892601611973806848309940875631764048553689598517220762378060737377310014331043284277893237437268520673595000835287219269049271573134654047518738597459040105610129114210486641606433073249985722504821331576891628028727060892431099495996968462758521978559311793100403183898556174698101355028769216260875994128326848912477761622393226631381339943291248121478828302791952333344352578301956015159513035898160503660559078547558873305086414947888736402561724882685536060808486870293447327601083910465294509497228328230814154994927998719307624988088109298590040611985879718933947154077119487945025340523943217075567923129142837458384999056278348670930718219671524407435730820987563710159549484812883056920943651475890034341625037018335478200954184106107191016890136743116843102037285951398619654310426333043790955037358796020685793737643556178985736162184162412806328667018979844886134376013842773944997096811692297124580159486858701834717905534757433669866398382690849869695431925212496870614483370706050137826727431923173651133731474386318944584257931906789817724745414528271140617930045599770022523991496908485371243583638145614137762322290031786745904383929278754348941058262811618453729120428253241406204221206768848613049802241546894178421065573827313801389186893063338716344198928412476305401258256624258691078059997541921064781301921956516069023234797350178436105869618718251035251627950656557566835630380926187364934012555256149737710309628859126664862615577893756966631453259560705368769026121722588084657354128708390013183018365459231754063952238305799940692618458311851687719899799671242802281980973728527484329323544140260812477724667160049758299406528101353338660122020623508739877373429794921539721490640057667622210264928702540832549736646056361809718543535510209985991390997760412114831484804283244625925228098078605044650619585695026752617229613239978990649884953116546155299096656775333271772865498748721894428328302150136125279849177805337399006565901652048033856962932909843933764637535519241105096830134396827724706988262017717548085886585125301739713853544422156596495947220951108867935709986708840332098473807454846793365282030969065253312023375937687875328117555158095087211183246069472969322620687019301424049359648749389790220363048204708019394710846364793073524471722006322428466066954071435111227665572912070682524089826968053064022733695557727261435078826273633452458167282641374861331592786610467270704367139856945308770015271959545843867417405326504390808630473004079899300348955967423307421041218653954145519284260540528271125468919914549545666337221524858603086327244985743715185912558590675445602730157292290452435579934723692627427202459213496746020904555383580617441987550237910831958918671551578565088320874526691369543303657047097230992691976527203988611491884225087081715338499769907026916960362628595109317616574522087164635677725175421232292845336128141815610715004065895261342655151442326905028288938010610189963315809825913060331784069287726161273248983649671766873660942401434100382426581332420850775684065670302256621365100216559451186941673768943731856905218774076804357406943434072789548999375179006702621401576119811181204235082906692802585461198978242132564104051032834243916486850800526055322210342123144467301833741883837708412549644172341634364280080565533349353347165763543435397626405700931606843419422356927954090270380205920513087681977988618570496561822725578695043163674214873984811465932201415177529577293937462435462017936019546848099685329907279292918454268560776424275176522343767229919260577798368656301978131141837871722160491356636299235720265945537826238037412648237572364142422536248002504419487816305163237522196045425490219565056416552918691145333712308020903382073410478126420231601423492004379532990007062385971906381274151950861921910895539065888159949229135439471090880423143436952062130596823108284913930197495174540835702322210159722834167310699011217893761894604813606275525952723981493856647158890991614538380406393062186175259773353733408000241018650837734506787580599898668143801101625393334201489624860605302921679693776512660358674950192617193045700491490260505173656786664562130490315941049480193825937397978128420274773051106123604008908632166565869592144258741614699127645353720476291316289909151591551392877270663826317031599620689722240589021083179899177022373909813061515115424299124974589284748548455497911468773303660958921995569002472277045542759612646207588889595641808840071727285573054131644953033878538172552509001053021439083865469325940953363525526341337657644615976225802338085049483561669623794574419732677944696714723539775577229132595528723819526363790977344002830420069986701033710776401259415167828319025840776873286129604844061424692943775079707345369211036557264943090226127952921008185906242263056683136909612206966279307149734582084375704771317146823205254534722187495189985316658418454218763186587040591086310388267412607542149657778401023388261842050179810081958306724484407201820140095188525761497647717490108813655828343026091714881490863232598344707991661332886324490779342632877986094468452878662556959783909186886110897834726371949445155776622111725033822286058493698419461350735962871866596266367849996374948560892744423415332462855640317749300208243422311154853500253918578806112983732145004882014200973596306732474555647502474117550894421517378268484001412580291714174636313955739935836422829033632120407923254315358839116977858136300269772908480873261831265745122147838173858824837080537564088579765274273698039548285473616831710270028087162459845504144905898674557637978183928348596682140929999857134924337737965562807868876110823574407034645401464895190427921100488297078893330681517509343309966198564221655736369918969826399028950309112965485938570282033073600252160526933911523291936460385317035651337613620299086319867661495215336717413155828209021054382272557322855303891109606521495645940004673658879332076126114515015918274174462897168452826482430507421720475614887671236873059797642886959395818172677212156614605430425694094843554883393448193845685773663437705813373100669113681075021917161554938241175741234755021464646599205349176767646174052952305491791289967883899981699272401635315913135291326287331279906911904805991590821873262329699351006143518213455597173692523098411301740768193702631425978791739587613257822230644326369972920508728218476216251738813155139635030651473584731176302131352171051307727765780503432646746129189800441490555623795101958366034516736640898499754220359218556565260805553745569757810173949942003075424169025873233858663162531169946664000710717685150506320488483690929126138694743381301883362213573383312085572722497237825957795319641060653553828265393711921051162979239832161712625419055446379007745134586059834020701131198627850657841753168891671438678228808182265723604315113221292640668121134119266935697873094881718611585254244462569632851686833483034770934984558420088194696093684351805430460422259193070341397998965852303840204478718032173917611737214542691039314984790084986073765432363361033968503932473821121396924916059944547871104791676759807879865936714488481633781761731903676075381572816492671109617906731052652969703397176730358425157188796371952556943803136443449373324346224095538205648385091357736867210923796766929508688196422372367082480178426322509201465796124526997492633071269476197864003230842447247647881530438417689538475298555645941480714460261644143092983011152751074485156045566097879059310671013584919358043561746078483786574928047912842244079488129206629233822415109627960807770463703680938756441026451091137930559092272807024193943205328123024481024992331061354196748501364722074689348790176669101146938527554194013030658466775028518408522892221733379630885114855035325048727271432171096904792290719512488047720150725116615057388469012508638766707053337603265298065566859884424455799332818702100948318580775853427594507408317523921898597511682246774153351410698217042554309110055524864336461140370385133653672806757222873969124762562526731137377242462704805214822853934194878831513260647508397723461055224490631382140414878418708545470844287349931081710527515861691241567223188532348675110513180182461262317608056587633058688082952207141286023907162955528143732301935071185553676510770908653741397972329153487916552659015794534744047901622651241218853435019146020956188922302695155659778123068439426599070604640012028421601987044487148106052458641025354771003153160655043397023320695183524876038166766700720639737084007195718250351452565262778825575195521247946200151133102235377499631484935436925902380086050560721532266067819621034942820430740597177491248061140271186849533196878147469048552275501259859934109704188207837577737875728606353334511229755662734365538563091123039765929499877135596228691814872311238871330604269786261983023523622919004214057073120936720305447062471556564623157897604253849731011739534523768417506536344401235236409182066537140466118203639488547287193919570619356682522363864078027970312820024835742860716257542727244718291739750764277035609180583678832602240511942378088896368896043466292252117137978912211766059483219371983731505117519752456326055938222421723901538824256420772429921763684376946626089678352864717080859465138395163153272026154541384735370542769032521398634349997275972875134211589592332109544397253696683589706922936913470335588685741650885490674996251666854496044453448301379870660160717742608897280453575649156142966444783326101475332859698085888040445073018530709662647959258254776195990430904382681636122835962217225097193568726070031811277648075328397685894743784838108456699583383438545121840973764362313934385912638583940471197076476429187170983235931327032610995612968273655128737673494331580320450063470556969566175091323271438215687179609336978278778742882226701294654626984144880104252961027247268099010210698240244712101088555855470722021759151535532938019489842574025728282930044735640903585442509571919493089279770011892536361529425649292368210184192651660561782785712977569934074551359037743330800900982066478760866582401602220196023436434341412445675482645836779399265217167705787925198733042034971653817235269658841368444234552892638572533779904051205211088184329040909434138065246006576143687402219672935204156958419409671755330080812735224799832585273435583356977613058194867041525129262048733511849571546572259916345858237220667719547445937153082377054081922774640028286245256409468272903468353915433818991123016320972558475285399487997339749287926415868356762782706415113209191452613037767360502562894679744860587297907993303485130515525026508768813670826440726787600608742091839176134322006434907290574258734711456678185947050447110357113172134317860190175626653639644911920770361426413067919050053887668569794785622153715694904211259245908175142537369423104364304269575875479129297266797576637501554798118195719272422510242998754199404966558834817238631099356809452471683546578777446744491746343122786449731791770852187604500844215010076111609242763668197915461346136304084569886975975831551228615534908934709537416125642207734179337140376997462777367999751361108765061665906148387850709748612605474186906147719084874405453221603525962126847936221508157871510675005139386242876381846510189387447747492652801484166636616518197197385007962812638089831341259998941228340424026066210672655923642424726795021546964305225337252942863794117576395837935941955848502468400865124275120090586526009372855841653982644252366454939355925153887527151796210633132276911536744286306517365962108636449967914162803717060032051927506627043246571745289265680417710122618276720500018750476732658304335823183937968176922581664006112266853925646931473631810591022202996015858431410023298120925328588352243405168328889046931455707540924700083779012754813108722993106019181321803780254424142300259538387300150873154006570970086012910665939783250491364204880881449183898367160630216184403829872746163895617394774415903144465721526538692383212769508642865178843201121692174511851514323080012053802333060561076349859544119122199695974811603256912999230013996037996103389421420494455664098606864398265627253313443081358769944574792684207455645235086991995980410012803536653872340137380540703788835604683444769226641003682712352710660817028966061318242181498837240906265547096539587252887866056130625851519354174871900294182110206353540213539230817624955819090027924754941944167142734399019264479215686182537356148782543581862095930725847981279829345116376427714725293052945080812130971033693652740552520256418551443678967733260760305712859891450574755137948363751920559555892367103906295022790017602926436570594864360747545347968251663874617909007498148989970434714162805055267908732451651541860626304846556379609628315838658281152432695208031328888894745285904662512326841484428609319039115891127707339615413212612300164688699845601245668569815350999103347447609361895302316754612614964556836062339377580075556943048359908882729298932429491322704642529763344485950834556331368375250242792887232431648286268844966140092626239860374394584463665723179882299697165444189199664392266676896923953886992352651912085039598575052120517156555419458593764631727585677688945190737389556903737198781219775726172714196862287067475742634278253319406279003385143054396816737204500902250973932198240262759517196758392039655448095496211213322992375641207217247815509551137178732851523584660879007746232259947290364615090112873659099822186945547654659965935387095790336422403065151382427817656433306675321141956536979390803134004894319114787755924728974994583881976327953124008107144237049216833764282330818051284750243118416453391776789699949361684627316208852652163120788110773675210990137240842979624823483331691604423080889924951961267900200654890240925706343770630554655907956908205146865768424949329614289497424050560387107108652498014141580969728844328788741914706923025812914862739868831821905045311387683317810925274742661622429170100889917107479571777714388423760817118033049192932267018157222027305563479740427758548795257665241050807762106522883084277475854924597941856181450590104593108918119921670493220450291719628584414159688107808068947880953373444545371264679725366723285057197344281954644002767607103380572637073936683849688862069370518955612188444954120109452177258858422813946480654809429310431254134023247245309223454608955662712345758998519884980325675878041540111689147765233617754859064337695250036585252912204613958276451229984980059560514828112875063073545823447877766303402160921491701967825878136001727770792562515775162454953789301686949156735155263574733312934051289895880856126542431317747615344984743586252071672064804254110040609968520082531031399140022881631961885759713724060827907430687847520173056813848009495836828336097559116253753583301776182376740780806495518023767652085561986921701205376776092492924028046020830014612421844490411632750388594835055513371402215616857883985539754320759176538612290690449053505862896022244465690967926978435046399533454377581304102223180863545408686162413666685088325728764574391714718726653761236234496682666118551696082981503252962710127438748719217421748004532330913411500798806864496521813910558101497114603028942523457818715919571329311706878450346930251993015597369873636740525484634961521718291164560799209768192086986972245101346428812395018289014856082550372458277450339040389181205094444916276025870236764734901082778774773047753578415273505646209665369089396588289569547461240121955075203514999549377547163241654754052513788091741279369478145592453934863191435583129723910822094443265957583369313399704378765564322759272786938994521523408914897286995729884422878385057123502737567736824374268781013098732550937363338216798234059151310056811430140481179127318500571384782904162077228479497710661911929384407606027354370083905164845792438456706012290434695033781132336310352616787528590199933446385376896091006234508793796152296701215565736229713645374610665934335762630983010766129048225339996432216285638256321616131315752066118375736366016435568794415911477083235811949851867286469687138348806433107267878257637682799897084989783440615231875081026859258337327720459514322372896317052685172001992585259801222944919799753205466798059442220331463071594896383769564685211149314660152762490948424354635344399969400665643625932294298670287245638692970847248182756377546876563573469224598400305896396924766058891319021919185552158078188534376994326118431071125307308585228639887118055982747883222916280104405656013197145744359039874228813666568898153606784886900771740682576443997745669758808378114929262317373067376855625227456955339948410961052343122732746638194380797477878141807480519814436149634296709227700570887324162907260631372110301347777835144674429873565268746547059293520841249628568394987181646597342630021249505274959045353508935823439209920619975007181947244422478218816644392078101214830935497764263744914044617098125900573323947440442811552841604057840288961416607983632337778834212544928177717627045208120422433144085527846394822499616500116691343647293125807215268485805051702526485660775281798843373182461313006608492974083093573772424005353371539034982794242608139333683071051977259320114974556189907768844565443855838386126611081279908785199326557084110022755666355679957892123050945489984691703193908118306835741147265749120891260715627904765778384032802913666499965085883030861519974483516351393401520985005121866450093244263893796758669074579820091719777668293814189269190889349061078530105054046640988112116999122311713139175738632983921940814442715563718580129668716287827591254586817060936767926943204037833493655600485477683043270372182476845721010013062052163266942679433713157954735315711777557985469277022143897001995924704445653015010852763533509789935621216845206649755593839027734144776312517690559739931967268986140889604397695041862229778515528387542625964977021802331359066710491661886976868222807869472376514016962709254008877067796314803152766128851321914812716194599971144409876098958501963916063584858187194275682335441884229681356840381708521832210152154392088106409552799274382559388909798801082174021705057775595968476134930147568400680084715906912364062195979752783884194300035032231634286692296831043846620573883568707394649525990716888422764323893523032967496108350828086481057528684486472308922616299285673384641940088319256816058197291080989840301783436164298959313142574695494459178832687308489138365405381330828852575995095723108209234935292490274685113276902666980619507235406212846988043282231781559805541900821235928467709871985103100402541660168725075058218657089230569873020389657639108259900353449798550548387489816810714033085773623450599067562513853104910628442206610588323025933303066865813443226362961568074591512944848009088729918198965072499746779891037186810339852581533661687328875529889231457879403312081421226488010075817243608388509174628383874269321259801403090304424868503433936262712456477617835800614932664630597457855652805640712599496237627423448947207713764013546706915268012219839653735614716555288101239034512912233723556447113282142542717696359333077621001459947299504328223857080942952103371674898176127530742886214906027471590001927864886259045248498377210105181389483910002785676905179620160030605802647528029863912849528107430080448940194773413192275753368587998783012199592737384260371199588216465013323025285218797708637348213934466008298034175697339868347350611429541018346553192527900044458453846719762710190504904096163144233457335218690456061891566836323003530725056936227086224755323111906128718226522520620398247455429142552414057503750169102031048246284995145860378424805487676900588748459031308175286096964663776887624553809011199976707624804503022439735677149313524409146747602575359795936452303046638866787535055632628705176879248013343237103800488843043876828190769937943110403394326616081815874576138439550055182219344218539452730340094946962847924913856217157959572765966110570236859574118648801169122647027549296548156127466450083130060271044733252129774338162599263566647192962785250590748132079419569358676615294414782506025630805800254340955876323778007243356584674385498470486914617806982615938473407664299680888798955241110433068341212291885395687283183830828996796256640194454695871793540394647629690204863385826005705619282020183882320392025131980442114195234606855394813831057650677383704661018055827869663558573259668333949321306030777439122256547215592626992827381993282616338066540266758951004595586185374319094638330205769211904195290627491425496809124905100524836726191567476907420061755511768557870755261203200249174726675186495255641891418484811014045452732017398507412251304990936574167416116768010891913400422040271610967003137159148944844052286591770856079116320254580680947450275411821726074418607690962222724335640929619780799188026179844281829660215072043403854517205982621370985593228586028304378154933708333981001347243889519187340264871098942780198044274116610865756065951409572408695812943623417094735349644353588499329876405057559098385196158270904521215828475726716894936807682409445440809934699179055711182157077112355908352002149342495111222352812430289095551696177547718370732760474916466188588730853714928934638940123001197589630625457340891382770295507528435719650947010228021976759355617351733273427503562832661277311978559990285963388358763250609428193685728281029874872958787593962210211302697658889430449356468405363897527162254410474112178460490634942286322000723379359623306538583423723542599721830346339168549937939230910470826925867735659078134367918091407648148152024817453935532179080345538546567287619727235196163809593807113116986822242973429763392774099498934094679272345037203934265571440051443150547438174416409125526949254366769686768214630329243645966072368612620380448854088210348470880475245590151429455131269773844040704135661678147599085404293280825653764907835158339785204139920180321487045454855724622564611104406472293280643536741739417574334090301492453592602832341868690061685703610160523923493411581879302077716311193959581835760364418455726361303149990617690520032658019580985616490647369095835603725380184478037491295218069757880790712552547194712980980830484357450561672865370384905661122498566182514767466822351845423306680328037920691672905033162629610814602505724173776076391619959619237793874810102558918914251401675279435314945464055032903205065280459229974714963356236352189541361902812989770606543804224954757513763348534272870439290324613828298179567052035436307474122320514791384464244139340450976433162403599937714920161735762363951060945670374802777802214390051626597239687748827916213027053042959988331003146331722212183697410767547773188082205922808748713451605199733614384926050112867247680079016935822755562942214474196026796335734284298319805347862423921878696151377455505236903956962204778155715068982413329381288057581578866325273399915956497025014479029801156760446474080840493853454098858914149541840839940272059479423007002323606532555719816285872877549758768474800560406823951747274136327749525822666360050838174265308088919547393722036104420650933175765736608974772070397150160633428466763378808120123584081989102526575560207541387061858813118154738137213848385801547650119744885010544011631013002835016569556569130570070116430637370482647353248239699325130198589342193930250388770310965020907707032524812587393477863444160830459058849634903541465926621434631929709650944856827373807565269472361100612976390025824562737431240987889826242151468122038646788100128725521383917438478273928704358060200060361398699372002309231438789439850088498743414635298350792656571461404265316394700827933738571295093260694507952551779201288820160449369872724780089091438419112446361002960553004097724705352413736880879103771726217216197622631418081347748218309717924690263400575766266146585202454198956566660650919015163507198814254815196050853304921235550311211029962194232982648790642097944126315192227144804115716687288669328286663714451178104652854757490194024277172210720235558164676842126353566634067553965756882253596016553278977497467967687158031512755867343482138717279441258942115868974726865104872137687056038818226294401707179854182705952997798451379310489539556119416649904021031260715013651926099441171084642488534879059316310432957765219614560984948137313933350195777219186912460020590623432138250539685560526405697808801552875303393276743192694318317426163709798192763644253639444474455927307228362292588648454077619590652136940441261744007937636165561013371914685594993499871915409317287254102301621290726791578015377642216093815683348727636132326499822199625037027500982584596621517730940389999547343901546303209200132432058956281137772659692585059756028822582832468483595575450199218923058958762618397400324600470488276320261291628838518222766576636547606171106949514714302356132780339763037154074948576547107644357979485257713638257010097116319993731748771428271457479212162301988906902083660870289353754041985745295654280660751177824370698118722375474407801468822310017225515948645789775469379073674130551614055716516991903085959032563741476494656650048526263506158452063864856802674993901927439532798592333143493773428624628812234611527394980886689157704956653638287390094274956498516190624341898062759507299916822863146358916652495630756455620432993662185939951260778013468159956499501085818977974821389565970935960011831908519986106741198826881111852082907338379909047177116196934731737100713524863841407962511901825355749638433792690110305764053645299145321656449161121995116930876073776639255427188966385931435933101117366126293502603030345362546628917870517536256566772468204548751112286703543765861119201146289776203724910123157142647581499606773300925800035462702400456981567466292888203169691842825471828246984533055332203449214134001140969212945294807608646682461157767176320339954267591869961205587173368082031765937426212155807638928892592420297111662105731126343546582791831972917153089159555856184627532441103436258412030731146224349016938472009013677701812168997899718297655049415005753412253551194526906960200882756348811553972910021749401569813819645476724437808130256030171947360513122988228263296186640423385898597806934560488255588063621926659353308290589872293063495069662480639785494046840503453842916261838281501246987901923961893931587462310300344389069736944521131865263041232855897860514770750046190530038414919603470060326416824807441274684385990790154545271481769215083073158526556584046408276635034046175873237055898885972897416345336709791309852525517128525904333440254960293002615075352993153102194505408086393972691744590304827535949544801700841832276386386892993414185182229026702554325479600961814787911729618754550871507670746068564219977194267866098286854303923589422498463366202501457466873104311567538180028592054868213609557117734603684189691024350421400615248820334223053102945481173613778052731438484731188457949286430498608462535249718827157496119919489868293837300043940419083219494288011243130855971671385716058033179055197217192369707145341538368049210051638021760925782231408042720308149563816336675944599508335723743842897288116265265123769587225722702870685037404635567794230741316427547761994009840448856737957160457971147653863591919606138357609731287487332343010496943302421189762076312917074956324306244563725492928121314726689397524699072656373749860083747760501505102598967245284645202904817549517175092762261456828768859726164468959215812205957976840455662118996571002527501728621034380394209720398223105751638662481139074605809351526968002887785425607359642390340989770128436191360353888058487609029951939882693247897861037993666743052450956568322570533865496122198419937944807198019041573732378163077122495744678872871752994038014302349423679058848241172532020338053719119284518060489256946767481809139081485081969162526011549279047354440001081229489261411494572002445778976250186455481454289917659781300325187206195594438802667161969122749968122454440901516841512196130208199125024218038396505132363171676423076593250982492561997120501193429272650171571352413825501696265866360080630314738218858046772855199443087566995668031342978862421996929290621538785943741749621713299173937165961891801858128913861328816410138328954074156263201804530295830063830204330515356734292659436870843127914603038189894967384257897685295963997482986988001768863489929090951418887416772337776046468145782950856423946647885343512180969746527926910470323758198454941998839957702951540414683201083178527611396780260511089456681906880729323652940110838310488599829265383173606065070378966255142063727872093694256771130094317673765445761830915691297836334529996805774778033836895145825969767218407915261893769900077079225411622735538504779062672671407853546323801015839968485485075571455570452990388815540684039252481812306720125124101843376382698561381009821885435557549046655075899631226569029400827629864132727730545807241734718490704713627198923696756048987606012444850357561426937711868943726490924101307720965130330152990511133729422540904512904492863059806342621573352410147962677459654110300175167977422098069704821197848746126563268287542960289038037978817249390768762659188181695110498164157070271055709506015945008266498955112379630760081276405897870895481438611079086776103465745652027965115824975151781446908950420604668000481244276615770142220121670921466871695982134046560383666748416364432040081663172324578047850003984404914701167257664975959279098196065701039780056748563488431593657584516199260155912959687677725873485061649981340864170344419611718884976270800589472735617730063098555953608453726041984653072993084068984183321441601239296784896059973142483613473998774279312897935427419279496639125463485639056526502936804252937025289392578986119101214548128199929056813427189996395808524174890903334289629783907702795917363453274215767536657239764000169678811289976788152570662609505364405761967862429913195011594103013583381583912921683527256718828257315765641768222981834228095957293985820290829093244308909350522011071334948945382260848597998055632267414133071768601713154659809307161670085183577561240742476319094098410891729562387173915134609511705504852152395810321166429820685922666261601651292874141105664163076073065319510378647131397923929614172844514302606259470047375382405045964299283360636551587768204318803115572927122099658652274971877004887247280239646637688817667737354599351553959278421985092489445123101272462701148770955632613755343170715851190811407457934657837619043035906313445461234472864822307715149679800894772360650879723855092748595089818021662839319250368515880597481814442405192030047791947080523965160295800822510570600140709423731032351983133104676759517401736055891000837998522768481753816083602311538456249266603053505992807169885928602672678732154783584230030069206490515226634299406468479217007610775509159359413029933591948585894581856717689624901799905572485074002699090175645513267441497713168734048350992902157739187067429780691517905662493023376542632675205951534630908404518596765602727455946697091027178726404251408343484330234468520578267947672493592233104347325749798248596958222363004115789544046887338767458468124843120874189838182778579949965193027687867245322821034569937426751680857848456040454124445144121930259019094479671650863904409373410066851747222490288069755472029741866948108526950561104350534410122552947688079821279291156608017555290900228041742573446618697267401142270843240351005212291998103420414946458226232521375397862532506533032124256821696150894822941660830051352638493016062948815520401389081436109202954875737936006732460504712975663140543733862034093819631402076474693695844074524911553822389960237954630642398193141062194345276565858490372930908428567220743605881426351829383392191925154743139388041580835956514332092258019052800769688666078879462153150114482224637155391641488438759591094355158266061798416406482470946307215119639617055917020445461894750433189173541369678091656324947947910890767082219302923087564929817771201639002781050282424294000212326964327630228639642312348015018953914211827764771742021887784620398704814202859338148963015060414746531360093213348540091235545653267068424485749968180083471822498796049712235032487699573030863409701153616797216114826472919488016956795920914373261221091069678672781736978729801907548752383207660719675496898753981118278240955231587479827585140918065506395789602754823772518147020047461045519896544366587951419668433552214419607588367477061987745680258643529003617435879668947306065619521481176587846366436995616708507520184415778776093140493866943945434702410115104017894093003638210296472959055952247044417387536765081093965524203291278805943604505689450873963971879090661130865997581529297057009208085905924295626127469252047858405390560175818500271862399939537160353405478165391445417861094090404752666277647205274090878794121121476711144644946903869094736232794602235696224020262954575841995809098389243837587786545520258291636997865229597865740014936583066609624064737117831852733534152896006492056332251069711724474733310862893927615921634996008310031172815648408466026105819802034029931638823901596312244868601330489001384650207545702734968291851443217161870092517472477738183163658922619645679296572002999368911832318583893590006616862172726267154044691268723697111393879946173623168798586249553226588011848236977895909675782580012631131204894856107894722706068190235593277345123230594584849469104511239005048512800751319226475931671624436498099379222127035880986602345449346663922736253557688311061884510101946072085640698070852093897552299264729271783034127654191441164156371565713820649085121655968482118467986245821456300455607685571002898825225783462879095523953806174354990731443773201271544371832229939841467457117610895352892821020091947764006948397401175686237680306668108383314865387857986728175039012463006628650517733628600074973243056722204160555332579331610283033104037531815008624313401443410791636726144617564174697383674254662378557452294644743082286272900602311358688370226448300249445162267025763739267531769159865388852723520719171417796768257415839901724422795137515288189130203010437322734354488931681307084263172407621592567126317520490157546760201687224597656365685954799760339453672383126737880777401634174604828220989597775376018493470113931434353560316642567846238093106711091148489566422228849268794831180953722423317800080455659837297617709640013362233461823041011127747019793435228084296506493177612834203855470931053232414907639673840136885231989264901326772417350242616324281696558245623435115876146397869810532136250671971392568180408346633177887611014582885563792569061004978676583854919261464545342508639668748467438041408278215305516028881871372203041276553900827222141273937665115315343205387964075414905582923376717453606508620814223176198227828926612246982779812566319879761179325111022478912697823204697527719965767031283265983517543668430703245882612913232506735388498410643214973784610606739322266839403940035241487851934619468315339357131941510256602538927293785116950107068635861938384829650962594665907136791384167769196256733430913795406895070650017758077657876639597444143431978584304007684110118607664262134300164977724896634057151233799878576521510299488171308164217718356805893419854191040167150095873316505529514098496453357894499917304741764257964112637282106922927050100735021895187929731096360364100460370473072796802902219918639216655764326884419955871876652384386990201234058654404795287436191328589688496446125889505734997662573423043270467880403309101983751766842882724851516428845594461066102584000999508525084347199619871744780492631765764951076083052063226007450536984200049883540858307385679254063895642718847401506172468206869489298270858090857986529568886355125800605786140990401002415881369823898314080137992722802857156068670015472202458469043656657585592585591381074637357214267460723314684855338604579004913201596364877957709358054098868344423427755520114840365881475084833013355964745403997939248037333502070401426965252330627439977060341851265383334319162729518516075758849681723257450905443010789150181137712213681455320663831921934502292515652380162386650708919980086424138745587003881899739731295028570965044015278140196965181696654333271431422249625843576485474547254872978831940914273474964693100235026721187357958128532675299014991965790524926388941847697813081560231576650144388515454921301006556139148193754219052909376793793612681743478953973061531146795021189503862283016626647757463337682921999943588770360502753070190132079293349800610390089774837106879717361409169632191405590808394597162976685157844496681331933053374325012879033779173286257471209840528631297615835319597939812336710967144837827094615477981781597834425270782873135995108692010000406607936399782542043930821858733534127082856362878580509330475851163320578105571257543273742328105586909245382165999374928542626354412021213571548780225467156302658632474233278052253117402320999313048285424029798679410173304475793534383853534932726863754023004809103842977380180832858544588785380520653961143793432374323897699547212815629330577739847937011888107269184676165972925755443602974397289540911672083727876810491482800640950697888654064395072681537805123256253576257681042565079188955922515129602582358572784368965652439081334522685615416891193639632734111328343116787258723880016511780635225341904350339936543947025204345994629097171377956941181093474774275325938965016079720243971791452571808318916697305491821103835950405566432856734728423922600885486710228253869448371125779415510929981945360492977875229766932534059275657944344347233060315444026117881927776436064445368001768073573699233701475871811129666729729958067761574801205145405699177066543380693213397421481630913189698254800907003104947335049878484061965431365779766837252678455557653081575121477805130132932121530351960439795163310755154209465005125861206678456172807956550614006502225320611941740904752925155428122065677781630237270717495547738506045964842817545180628583682886768838452595127548621973070620950973851288773681245279303490600452599922804738384408421639802235903460039671825148657628540246263523385890011115624087644757007975187196039041992049790368666354643648879710098118750635041231243701636004710364684115148558816286559935090606738773004437133806929278097918510999018590314530437464075819792582882957014542818613969492627843814039402775816895845653797872085706511598206486084695612720971348487505261957231901815202670480697145988547511453702395797284538108114014485076113115305091111787787341754700024853208141820343715730554133857708133541082933840026527220918762872411359758285016518678401075514374167524925172436306432613396018095061224570241772633099312931683921488547237306147915283974000745593439414829754123956019450507373125477299339060681250712739117372553318075220540208813186605572796597469782461815769514035998573504583711233361465240981301233720780512113367122504152458306282430526559713918799009192541774254091246725512953191512013593794655488068347510538225806833917066003509354814736047415816722164549543462320766595334711710276155127690331611991869262827199238166294462230996196874668613721086047882546739774781053164165237503303171666010484517382472827670034446420099553990350654841473219833086215138026225885249073866880083014462866219860137639003168040351821797137235526339851634379403310188261319815152704931270493870517161398894671320277724343718287516948426498887569743673938680235814185036699707399120809360035653233923683322561020940159678121770227811689317448489402545980340521770274377173112016964649000645828191375426628668480794536219301614574170230557074736442223331496059868144514714072356644359037096198626681473966925663359297434255552446398611038640405540753404032672769397980921123296925016337852143350413065524973160930794905833434547082520177074027237415915536040133252973400301115219653346055126252010600727027010851956739231168718627167618003335592141884321010285259171672761616168910178097863369685246590363047633924293121721806631335817294217090258007701616707800097082369397330028175865745067985972634439713579136797721505771974445028695298275383458603390745427573418380261470538841695859500909544315414430470370237213526085545660105952507645600331033823101406555197275293414097278677102016560315093093831649711141302062265040724848331751805096371221993853015679156119928710201419949687584769241017145895864037699315704493165038829651387238583253971957900106321916024152312539424747926567057210740707749757161794620453965785088296252639630817453810092250360710888778589577728036219823985457287632712539478048490628949902771881403210407106851380224379158104922545794751338643375342773416411557216036288212114454513781422654252192638307672658460799674112999080281437971444306832024809259999064129887027483231235684776508853777955397254364020701733432690109472852605160715977275759914228238657117690331293988765158180753972923510544737645146710813437633022589302657077639185707064503032776470247794003808993447343349308576088472510105663397988864519683213750642011865588745899399157605645271068599592714207271552356491065883168155296467316772170971918089575550419751320481740483330784317957316028794840737925771044980067158411785135494862699970927514706192633756280800505242226424192623147417411070133684265382026805733198160269805599814765788186135222852890083923414528713785099285127652386401896460669001361112564110883088289065998777350610588398773300128501640635954656275340478392651445449856365912460663387431699347365147591452328145607956418252965739657647385309339310549671791665695677290326569620916382699360198631041299316259167964910988751139752349893001278712614631781277970363911045056283031778407668832676947525177600811196752988694877421744301724136560563385618938688543544698261069228111072743630925883203137663188542216629876777015304601275159518877486875138030494490459526449025600125776692644029161410313807829958541112615631865122687979122415677848363228491459389198422844302033665425249507084834250256789128711694428455590885222964963908876579967439793215432828818790682591342063170903085596657368848427189029064274301206295712850442772207339897695580011354228132412628557635821463569425067928569360981807682645398485797602410531224145072463249177432390095827663837925026806399615605014875347110110753447626238414710188396766556003207037110186803289428962698863388564414523924921234681972906011130196158120677993182066197763686199575571593410415407515078096976336223663941488449318657298697511900062292174753150303305783554243297165254081031120965935832540349650243042251519978465276238160597150595454970907572285883207978870877319176235106892650854564975761291164216277117957737972628839239527433342232766652879977268776124603153463201330853003116360535100334070893412001054665006580277555751342851347411113559747573195688766030825793413197638099964472125832726160971871428289214277730002935150918825732881881927363122696167872150866947640182183514694478247113409611323472622781184124134879876212202596574610161117575401984139735215216797537936741147435121791822530599169710783495611585919810230482302758870189620746236703044058909902319730023662624142798949129666510383409638687556836791361727616260091233453634774290314937679936978399029299196326368398130291524347441137762200883445850845353166961766061191081299251778607203576004464718919373909030795513916951533343573497921637251441175986260951837972977097116969758704077727784196148147461709044163322536011300232376569884098147524686649881039952184324220967520666511707089470552898345347969653851317972574575518490819968229489069516885629263693615402282427451030405650362585825117118998682503626525567261287411584569386039637039211362871441646097257065953080475414509909339324608438987163424167129045839895910534250830987732245876034296246369124496698020965005529085595602956477526587450076004746552263624072833579871523461624909388412904656526533222124280902027021915713108301156844440001699260233076417288204610795022117955917391649264039226523945429570759145939860589273241896374370006556479058404295982333351963042719753277268601359139025679589091859157809512331613419907945404419781322879427014460607583119291312011158543666600299021291627852056149331187415369779888547538229216039114919207045982553230407671425237523673230724255080418761878480815941224524236401663568068568692566176189504451070585800721599227698610662210503217583280602674651474058982299557182545364285591481142977225856132705438172412564854431640616807153713823179434197534761632834269956769051640858746512695798394056332509867824782435682598290049029816332052218954518014198319578218493148143446946027992320904978457512300643416886630928732938997248426361699710957583515970663828867312386026426173705219640283144001046002307387344722763184007496863435852315005357238684662123440865780981031405111156771512799753702586255988648245819516826301993365465580873166347958108830187683771471488888235989153061551773061482996125441599097944839953567355648264066977823460485600245110286328971447428726520534914056033366942077559081837228427232177174942485476335208491809177133313284648137808093355532159225188000888927834441950098824712351767520167414196254131433332358652338136424650355985396306153223716188014613494103190661692088617241753518834176876350169526298488980582579129948078141394134333040259684700849617048712198676412166268147202360882191815879107051398032405970063643437560592011657733542644745214623849027880946049711610517551291189499632880908655370195357623457966423398633062421561517771816380115325038208151407270150521197212113583365648583839447820204165321366862038974302195551156114753028095776894373189907961302487356886076882797896096690171081142644021343210993288823584522807513585062837168420846831726283916847440640876233498312821389483687648350485637706975947427670603557470810058893708439642524606401463105872560709320246886533396223352256244627311546240979460663602771772906980633628848618198630515324346335972965173360489409043694518607761709733436804500950765436516430196865864215490528886467683016735701853197548662685604035667438485778096490144472405107624596750939922596224435789221933793260227399776105093989111874927408508137480457381886745523366735969490460448360902563515693048795277001195887550028677679703995092071923242358412400336794969738486392275283261202521002670638353552446957895533303278163448438884165442674403150501425142318772006260319282702962936287309750205186951483420688666122648958169477439941018991870680420103216534788054051503351785944529095221046497233620415627577142394446165457809205118653042808174228124546998098444316246235818019863011232783660190019535599022798585971104459157578497889230656186495856688434577731928663751950345879698380865191181845121719693082441772523352926401139904664348724541870739219078462596751339217561995204024699224729137254555475214547042647145136424271753575931914454542842483086392756512857640447245049958267491114286774392093964070665774181585928346643831228177949639835266364653478752303162854063334170873891185505814048116440250490321001484593074070912495784444922308739570770975280847793460284212529627786615731811207671577481723710486421536414206679284080592758793640689142100783057424870407534227498195833628044950896022243853032493946909523714272633933769466864781051205557792918327328012921443553062256324349076843825384995526989661781451963153746482289697146997802955933430954381579707025555610115296641015337803910875453521838144818767901934364018177196601711842906546169877447430242611904780023252809826379690155064357666814539894617269443439575076260099774217159661288878680120109016413864087156597046235910015883815271545990721148516406595231721318670612424210742144636314730819803799745162148559105929547699811694565548151482903646750561344515933204856193852743638203626473747760218391117616737560880252163660771160352515218310289274730751764807360081183441657983737674071303491207738288717304664476772534392706504715259691489084417665198087570770481389614418290727731434554763659213216295609125395971766610979160090475219474529048914287109413954622279122690948376190912757716179639155883918840606431197350733097990734476453959885417814643463041730081776733567768639234608500906378927256285975347167099291782723738610638141227280294451898621993787090734606535005027998969214390972673066276489486300021266555887270245563797100584593777760148917485810086223539692662891663693769332142950084502760757485089439050006294119034307438847239417557269918682572598066749369842864389922254775321411020520837162304812868930382558992059746603109063004651955785281642944804302491748257892772055391043879184198428254187111852435480019716643385618279107255959767815358685520731420616489629104712100652164017155507271853745056749014848547989973604587307748242257286484337826349379067501928712601591740551719982618696677545908465763923070441300134520245756264230263596878989376519786769051766213075867550816601010738782014703311153140907687342968020577395329024945062011621738868511328901550178712943596777386677957064712790093724232238166653482160274020349179829581932818060199861925539137082801068761103420414811882066856270256711175284353435906707850191566812262821325737754043440325272907328442255232663731457138609443944572561868871896014001769382765523712875388876462228531521695003164890916370466235609369656887054474315120165502348635701532209723761481170271809760939133996080832203219872098318619319929564614704616595752106409989714194332845316009081492538946159132754820083393634229381102002263074105730565751024063822317109553047591094851757503550735554546319972759961688699349053317999376048753939125511303245104026165853778590656845418406465985021641879525645877197399588831169821862102219309791328051943045817726391655261728943851660685402125300669499047696411546011378665119689232442421701489314480978051691943804991221147409778472277071755548238568602888972754863659092480355921363372649157437208850416409306990898058165034731996277945408444917717325952047381118359097570802366411785757093511485371209141681626594780625949506526791711725121556274857227528129304857572098947926843874049197423892574688035828438755371159057433616831283759359929035114451795928075430001213160942582564102786863847329310617256125081682948219498133558913631459144907648661173176214629086623323465477116987584544353268102665820108791009144728022749177591747402505922301281949493815663711820342152630321082189226821880216750271527122322010908228619850425934068344490907900547699449242946856361843505024069490390791856335698010002763103816648142492032754982670668883485662959090957432341895795524346901011457862383636131848533772779748494981626966488110744521094538752914297478663704976935534542502836551869538055754215237821267541361504090554953827477049511169198775883799364013209356645697439111833630470996793583316153272315901613500699844372726682002787844980578458667352070466328614185914943957797341794429402564975553886268036277653111658239175789244069726521622413549786145819370911229288432452279468740485631823659749400694291942531212200891244135982859679386746998106844720813079321769624798327783260510540303387447657011738160502565214115474746170077237166844687296034375274234528276087283623800496651981815989647977707933011920110700953003566192584410072684273909621895303548704374691581732654713168384433893662112901363441382138842645065728720264861803051946333831118799962265600423695462603398119514477464052178943217077277694872613723945541407585424187388379499921104496804140535167026622265165255961166486624578294731429773485404411482517622758110162374178839331239202782799173289168024569208422735215246766372628397611864189234294908876530649947415609406724804115673415316097692333208421583486227482702405345312236761112428109187720751411743422669615483522349221354122511498776734812729661871279100713709296798476429331679553799449525336869071290287108497221523366173989925666607350432198284668008478165174654659942561244161799903701065523578558648026572766314066945449836269361820360993494372960975912741125605264444858580357607771124903896452636372799598352660998064014704194133709007668400565737779451759046110454831172290261640529459350388458565784771703296395090448177829119318566166060620082946380324585248890185101738403922961154621457650819804750323790996980432633313286925502151421312448864518496790038971649027727598699074922203579951855530817415941843590683465390239392747661997248419372010127397473269899403035007640290461684780122360141370956010910754645732934814039386133549683810803058132038722650640890714603965973058800150480186322657985483890569989567178870941125925950531093357100885497132711181001334288527462726874178717306676829401689946484853889860379361559288476474808579559447723271829641501426674363866624310572129590250652706734341627222312446129218395472510939817225044252292057067508966375636232808109677538376961585202205376558828802411834696102533847867707256884439692930928908832503013515724279831797410394227344504394969167967827843447588949644595880747332132468782152371996545725070759766112192425561413916325841125547198174576564027966388085122452116526619927696707983684452071736671990188006410344758834071667306481146105623323843808923253474680215905962010199974294003093319573571664831440630876746346755474360589480438715833863535323553289886774974910752161056299289230950120975682623381486942360745215837870761099365655161060710773709517775577560898165686549370208408772951124180752270764581865023028427327425716404204330057536976612016935075551107410751974599499832539799588148551658475690158696365549544886062379172343789631559235297790947462129770098530819247611229817755233380820580527896594354033165373443913449238382057302784883141868980690322739425061409260504749404331485031983143050917235399243980528954597086353593959746010950380217192464501212387498472292516595752197449367238597610938991188452958579237131426403047343686006406213832661880872733121227073577324509939744932722204500519415889117288649579200357540568668353059426939277004652038152710742021084556548007145501039463165994764610969367820702872002105196222826862847615684410517081318224837259230329917460743591781376251766122483413610416978664995953347443168472783640833963894842077419358369538351282710371534561665655729560873469946898721312845387011923057310368345332181417641919821735742586497310426666193954766504362695062544447143891680878562111196467090776232012436656977878070263438735797131541785283270861205868300620465313319414403061539998809312846063333916835997190315373386420273895539340014645750994203036973680515567958769654897740065334863898721647673964906588466778268321623322419935963724312078350843177097335331818298209251194132464157303759118985935058706322734031618187932788535307277445909638865258853901798282400096711702851441541614185857454467769437060144814125183377712033707269652584450742073111365018542332914832482254544845352624896500947713313465049422963678561856944050464166405091876868370113605064566057501839357551494970520457136815076629330888071799537859791954865699694101545078470545641331932676215036103238322714404319833152533702331499193360978520356579639431277274297934282071323954751138319874818291153706239472160161086645717994259175247985982973255531379037198133368744427910074024405122125478682967764352576854335447462948027507132695991226892019339009529191670803473403356864667296022683187272003999563354282451400015304428249392340897378648252186366350277503755138401223618130275002284010929233998193674240615276130560119416530938273200477372248751230234161909512529158750374729760253343472046418431492519179680498500990975397008570203990707724591565342289394615932870943523574579168551476752182722488282554723427293892947577051366834271206813918452154048219420879365171540191067829116501696645564862824814208784141341400821887685775477257007165594626418551948501352634084314007100276217125969510098581227603284458457163611440000586020607212883735306462389269760715606890584637531385404971010019270588890834274856332156761170408405994848099312640720909010589632331723920021072637896746290345232832022460591871110652063550241405897744205944719300050092386927820790749069333942996352276335264447863812995303133794181351147489836708486786317683670897557101937857834811377999920742952102071338785749045882739945152307986195830607611729640786633997116121714110395672896659670590221963685573060502017773573287231864609844213337569666438886922103984964178810541274862417626732548391378822780957209340393994750257343848759380939943407049121470160279044214446456229270035869623474964969800565437381592314278672358097574966038631600568042197536057280843063604941439225223586170664437801572842800195530717764146615498739971694618804828743609166285743565275186506616332483792480686610292940548321633403949237602815920762516045035759281035831682642777692918974767145882979057775079284064292699713792859055356424794435966549936319295086762690083502674756214275920530513864258432515495586899182214637281125240415080696484196184110483838180675551261391136240600512450026535432455721981638087964907505580716291824560094202211153841413086634717931543878575369094464262785854531000788294342323208170188545094813168015451870396017396538686819985656890585138169474236528972393166499307471593238957255453447009863121689607160252331378501842073822458704421744182407960288798097126013314681669952335937545713330140673461380439145700094593206857943259490963723718953311597344540294974804091181684791409832362504288905000068627893301875903210628776379198012888440965678423556479401007680148014561341095968129962369084833079883226843802943739634555398063450212035840360911499985537077475600142375400461712133866594655582102055516808987715551157995177659025425016710570960533385449128115145409435630356776019344126409366264760711597515736036781786640895427262173834976596233583712512168723307679159317949333841465285392783333860535088836430810019013685913085250946824635897354251609269981120975707027910957808915654790586150992699036155628705808893147533439458669549103986598808512509944880013981942733630713505048683599481229358943150563296230354341980726481730270185370477918571227717116217116312410471833195718342165604950110567677369855659520622139117102263106796260769150153554944963636848619904554026191000216770113328706250063310226915764454711734468824641399474538546629008376267524982896273533447012205596635806630488753092619416126491734134289192106480837929782358536920290887259080271040800406100107449515566213445401289514908092841278598084748183523792550730307358777432853399296373598810886283075932959522234931051876719578720329067348835156749426453502563066672039283647077912534295308445273889771505635500937946882352848931253927313960615447990101278946575472798167994644779136459174548314432587111177658590507288786017847946257064501882682025788769115255731247973814599302963260385972729161660191858032250728738588160250669352748903445280401969855113955780794015168642308858424427353789032096792906797453072841199098620433823324334218025981428818414999521904789699010432043808384769088115938126217871313099908498895939925635173564264186989783794902190147710726012037818022311298753763839228990300815852221967039516243504800374829668036219197461590928271511542993386796606129867828643363005360791524947761297610506088919659473688974297630408424397158562073733557092389312325093101921576144712249288076094301514162761317847517196053416886800132693007240214296391148544579959158785005246657432923323332390941802130275772300573908225726111043927159855186963438166895323821740563454777431219710007353497553032545668297989647077197168725768752420750447660303950887582949319566657839153906871023327510475941403717894065947590854918661456395574415369285464316324133734036071236076783620807031976096880139516968949966421636537280505861366861246501968628049951136934112755532613018560027060277668988793510775043294056849729827397135960431692994203342571433507403558836862052327009513718809981489386921174430038953518469155546308128811030068505421725685936303731866816326480240583942820439844089394622514001745913700641320477416046856296644168045778612305534629708403173256090068418235836569509678698089821954376992323714317385153866442078141762411110988066891526371649383120245572358713280808602103574546468224665633828354655986883392723669600430511110899260331006351968212775998770261463841496338235981503896189933317846771729224526574963131924793958926341103854882568716182394431191620886929589197415852937113601218458331624260197766458672902665201714920505038365763954758658316786906958596756455471104937780471373205689663131356521238256508864428216644036163693627619078589510151622321104672533489093003356146228396881671782658630877497186538937387328030051657082753901376098358850872103248585165872569468195316068961698338789153595148900046393786981830649046307496940820874246444236812203073009771491913334230407292050731375440702194383096097120602974294483044639955694195488339435323577195297476459233829441947201991418291364364999456192983499823631008077675552266440067469639091014846725517857133936909412279286690553570553211040305600335929784114638167917994330850279378293419416040263669361278431368872832799203312630807600768937264363225976604233466687359278485778845776324692281199480081342515046349693167685531789238965689149455789267510170095115624655610397950407460665022718785703648881804424535972397935757586553960927671267804817987248929818910451948584941826761781558683140270778503618229606025223816901156426831609986479439460617570676368657452735149640386728747609314856186868224572959170660798941552941349475954448272616935540718056562217815892831198426167934673587263537035885963480281139879044762258943518801202728466369747629133654046499452478380642710189566550003186014509860046365878179968813280122518201698172864245312289247829663714321926468353190225327629600380140868350017426553266169309389096382548009462187380387395970919940142633413005394012629832220597530675023950645208914385595519216549383606318244480997900344424140030826546510699980341235828318599127795595757173840085647033039858828206278149974883397570002307359246248375438686505005689918427756350283622622112950805026909641910943501109407565594985841985412291787119722357991436215019688371733928898658498730190608344961496428227897444783229404548720852834098003771443116287950070386658080305583220388917716689846264401230133895592809011390600185480583996527004813469712674678052785171293320316337376231097864042716068760264704140136038608413468638742482527429627734097380024018870067161472738661134760921588105897037871654540163301875786021982033984042897449539161072395865195606414805343172713283588337575798664448959216240094743826258066608624941813293305566245781820605952793298849939658680506606761349052065012709367199081725998072930241366609296750768216216501772536472969293015848012473442274997998751763758173732060335419140752493393378085258906204425057648950857539936436939644949914485970120512020392949267153284646774467059750811314490063562379858878901104929921650348536239214568805711341184525395418205702339829602627700959998787765920397420566170967219667172018416864207691091085822741437015712779864587719844454714737037390145783389476250247728893536123757663290173451455766910058267029533735559568291643301644631922795611385819776837641395872204335356066341672774291765098814297002999464998983874931924128107527467367585405641042581561279762099473230722301048647432696126776352169701911528216554157375619034052645927328166709225733342484488503081191742156647912228387426867580911011040550727213355719666095169453012058110826611312056107473980444609112982957397875935919919390643965085829888562987326475591707305460888518895979559991272521739612359586195394256606508983156664015957259141741833537072154463219604969558690522751261755412386537458347397393369092850593321245285287507672398557474928787380651091994292328453992428626276406351780683305222185006101657785247723515963628470049257024343808750379268887923376143043586292321924009351380883375649209416362726655853367271462426973062352906686265621658730185831555976287283272517650493420772531032525599483688950809451698618469454343095455277493882125202386376825791583284379788135144103732448316305363197878387760999435222596841010075307368071965615765876788310755795769355390545653039652009158230968884844766894913953453368240661946647043600556823916715542962036676776157330061996380701256030792929475504338346978933675248897603465957365586843324348392627161777447214644253870305813383961279956387525581539898489953346807829865323603390982832426541076525648952561884492547995406644223831733543496676786121786226384675546962424776145628969951899759856637394502484293430096380440747501922214176900996800025479215044521674224994905321517228947907582993928448360375611620849095168531670881411765717441679107826341321633078002529698261850466027809984714469743301818951476134158477655903491634154392054998616691993191376157092934503711942360504210163014546404883567145219329508786920886377570400239261477865221909247905298577892573489388494220243995413109890129501479236538738913432018392664460787167373379869019785781912811666871328157373243411450960276133800205590497281118320505972083976899077182301443427792586670015372507827983486098603029780088658977861907291577183370774762707778815305152170851143878067106891640606992836737214870762087593077958005660737002065674733078186598437412636800341293330882364953130484728859014870503350083292204128625702807560968863360252676398845190979164301756925808865647916385283864671528830771541922639991403707601480810733430769617479276769775997726894832107003432298998790416364383354428197668397342470011848966865462806723314174021376943745599743937907549843874722048206875253044772684338405076928382857337844246799940791102318756375964851374340259959453407550486297888492436406284597362527731068608626144960640535364626007901145049246270179724913162835281912226637861014504020713917204302727335995003265342647658615206588743087494039132395891802266997349890510706313577462063504696167670695338593880454256186365265875067467644114598573450942529816228117331882898566937324952245507700787046215216545264522445131554928636181314921951676905279300021055812723582630264540538289720172039036572965129623988043466936382296059885260770932208258049244024659325850294850455997094529030085934603600570101750144100496128124913401811901497065953839653492628355335750530625401369877973747860349808925037558065006391692357474019950135786969762369919440952109343850525206684358364318485568890684612206838015963786149434332908726015903662429999143682595395265760501397453618741910471658215510796818253463558102916405744275213520336495669155449541068179266785116475075486668923050279903790014096971732265163272847922797529630387065750171630364442925117840367312933296316509036108799167672330736434072613434701635591455765243437869792317758032084102262423973369885334100134287235868954358756500668477744620127176472899100152294368886797431290784878977567315077486432484097093822512843946327063439597417469397302396932636779734502311065014692180372417054298580411200848780344132187130236504657056300220461030775834319799124656633656367131501322976288233573400488329596952247283231718903017841079210575462542550118851235174828031270356283830130893517904260607407846978264782538599791697285287638170161313947934244803775302390572798621463559935242916829103402243652817254514500682113658125419963905267368450848552621202823943082540072231269647130131614049409075349103562749056761176893239729223823200436531333920902946052155564582449193057877573923864785334077915631165598458885281524417760911951926015050801570252985163390247799708273628442400177178858016573966044323866281625731285816431719218143409709468386017077683907030569474408295500143881107688851618192756655127315485256328423142641912963362132421926941387307287384149768200128981449890198811856786825180772605635430388612707880890842835624065154737971920306662701554411540443095622414432107726673688181184866438270910827650367588348689319343681482548616755435101711990724318191152297474126630855918015407884143736292529498296625745504981837109437742125857381702064938657559788501354708118328111727635897755943744377512068267192127519658549370811674996307305927299980020213080927025253411339764623601228630527958611889003539839562968530315778141793233837914727654870637320723004893581562859849759228316996208708125536508229247750491243523137042652190529083198955307661731646191753350970711438474649996265293745826436308060184425474996920386281529456238350798037575485315391335133264618832032428606745594317494410846826156062968130970855777249500124838214887220977180897343427722312077182547518478332322394052875198782089215763553831592997097331237475563910954992812839428262726135118737412800332295945732859987860576649979995456136647104416463672842150623093618863546025661237921525768784732432283627738729517336818790177032463048079904559742981776200093817192237869365183078802431572440891599635366623842286640541037666736375334698603274598876954964874175634250007679899250217694884872998893727020226244550263728503815093987816582121478212921409241320536264880511357511673021568817797409587176990394494657945422043337977304913939166029960362480161626038957084029302225917996270190601602249187434530248899950946940935948294894690797374713851097025785535611245871353194028564708464073081657458922619916141980323413987389960070308102090728854816267268833866794478208472130031324105014184144960863108646764630538075663986910094338797197245322891186563490955804297357373548997810904176973587824771245031169365521165641037395701745552696627125369629779179533670022054420980845322498378256882642412153010489429731365729005959647550562458066986484056659667747177771667536782537152770060178818525424632194664099532373437207688995670452282896997320804729892794805134633060186993031913815320100052009682533781265515546833798537510674332576055082449756411492786547354800698482041356005835080871706497146784281977341390626051865673765597192261646079643984387040127629571971637719462280059299145353989210243884488017988656219295418475462768198073919345985813410513819806961763227438740774030596593015645537857378358583599133484145237208178194377744376970733637145444593037075428012367805093817997202769084197712243593694414623287412534269372219289866618736188079370263418167501809872030294192343530185239768120726156371284720877851362324546885455140751685654619193277171640653336874494554746344448907849665624635798540478050780031140609047751317575770276623936716389683337057100966062292781777675268452605239375069251556408411087029435261570820165952237556504251208503595844317880721396841972022349212764833573000181092286804595509379122721356174576273362381195375788249211016431146291085437632035273823488746606030411182407574273923341095971750724646200783681795388973110320669069444498495392533247859590597521709786186961250039609252497511641545699722003013042415306012298652882239560336448714138906103162183653398579933057823494686831088967781292425984519028352177395948888619153607918606954513744201014453340113967282459526138160645985485506948203094876750723685697043856653894955509555285715066207081836376419292478534715379206616018145743815392970541899936569762609404833704749431575769049622345802114447477922254970613677346620205456402119187173546911371184494879241420206855216056869122027605408280470121333125333569278590057661956886386812491049585576382080231797665108227654514871321750356215767712173660139726422380416166160013680024867274431599374176876890818227203996294965473621305874243566879290347426451848880141855936037246308832171819988052611091467490139814874569691732398455257329342633464204488471310731676857186189650366999978241322890014354572009040343557976671296978248605281696031898076033413701513761632471778403996895548424645492591815371184279488010580917580919038424825673935899964043828828247202637718593768141168708514395629178559329214076610171352649933342633026709929827271797601612288350773394922786320025679621916040217166145998579594381922650419958462871057002853892928805296659368025343438301645762837075767173370812219922646798241964044429599074613063092202381594492747893262255363821405929350029361156318760457643123495097265711939138417707663862164129847155358985090201855284920622048339542688757366210543908196787943860873133995618570392721960333163904874535340100677571009884043695199284897257769552694458401983928555241019560037598590523725536637023175001766542996867119354263223031664519132718545314939370687159695208872035785425048918481383887672549437758599859753985489540575089469549155195460829184549173041172601769509369301761220018046309284835117182023757512373493835444307801748374757298674684906354794742349285004893864423732421151399823978675394238605323002383842137108654039785183486023380350980765700365271528803730497246734641219450269514873123771171782820250074163110906940745799472992520996425117514676122357792595717717139249923339697761245280685477567726650324541572545664943739895307811231824637884505271246503669307606197339823176765821134954208826647549029346454521650410592389682761906863336044463102677234559771832852104809686512540129956406910935229963012020165198692116587481324114404043033901032271413008406003498504210440525066536574179177338161048528200122308457821552903975031501750219386367569048353857444663986035522686028064591797482648853639229276049837336578752105473809695857962243248644159831823882996433537429104154495165019066815507395372392609662373937073416511600052998748321308442361158612974273816202039132483739333567108741255965416423566166012770901603340836009954195856345235365868106359944750372647541333186050660471581314961108975891856720195309191450486648660625718164056029826446580232324665309429510713872506904789102379211070139125702023126066926798255628356617417437847331545699556444781165852631617144928400882920086818093136033209343543341963516833144179286408663970236584446936215166284215460776842246280291109805180976531300161563259206111095476308830346328949037441227820068550859208780666119205462425629475820402661453320528524875361828876303501018990423457278600848981393593593338985833016623159974153499176120760098865777804221517231471986284849435210671963885281807783946816370057733914108535622950320520917084070433972670515628624725613789718931058537201987801471385058391770745348806810610641375961235358625729158149925285985566061309506944455729733484117582201103135796310288126969963172849985339506300116277736563122344364887204244134201851538767023258228126004502777790338352627265410845534773054745194428900223690085986076872044064836919213945420759141219913581107552368713599503735323100497502879013590351041884866638495303939488735048042877410638461055032679394762136783572183226677574170653811113438771319302664050043293622779011141462038237444565172869451948397032269298726991116216256607592714763639629991260347616497211708712506899886643453432234006262116307654907250551818220101918268464617434656888001010697599771518612701379084048780671382337711899804809975192478934414060755735107859814509752279995961194873559358191104535350814877980938172883330800327953715514946895498163057827964725158888853751442262109331563747495644265429949153725748391059273720931476288187329319475328715353428708712796099409397361520352481959196929941766452923680368215346251279834877553018363932873035899005685230889181760950967731551568891046775335372781425332505238532674254371944202543184463017420774840228274533263548071872907871928880009644668763348678912422745890651339831726748519440629815382537921526648004028651313911535028898113825943679088073095435040149929046437660417354240927951696638248616864958651057561620725389508669821212635162893571193177169649295012326752504602882892712588622409550839592353668390103769473965031761293924762445083495539184272041194792905280466200090355285883447275434209581900310009981325829594194553955502255335155138610980694998485017592260064178569468894008975869913441784652275752395394159107549522228017764713103142915293980752600639317600990448015217538742128701927771221556743293953715886433752207128529665611962498531292391587581045547283169689239831113980611584949153232812550917123540887149937111763237103772568594382155669865593118209339597788069149583988413089455510024971069033059643256563788288631449217915672376794187066748417902161829131775097213767388517309930910096748279402865577247918180521890113322751387787121328421818696721275079412584465537119425991856213406218634429145162805088830689342465561355012630006643958499635929304754219892991076477938684741590656538441452265860800503892070673616518027220229699841520947127955424889331121238763603976088609756513336593113605909624088900320423570020670926532146509909341610832039594715732082955287455214013485156274999743722324631067218477061980729783784979619888510140887939372661833227041173106130421674892705186681553762093421388620314084326594503514841378761509195148778866876913268622335580799960090597381291062408828222892570892072315640506169131382552838865077223974971831325862590878207861631434199720630194834475512493635898330406821486344780780470168044490212990014609571950759858578695950699340590582892058514957935460546998133067441584758147621480495952096530452558404042135985254768012634346545017616219406217255060956738512362397413997522464244700695686195514091374330571021137759493047771749054241432349416366308849243662860328316863824599778146483381552280577316254666836123778748366614506456433241387641940845667930101620719990343577865251162450213837701514126662614951870455760673069259333445344345472237606163802927780285737530917075554168664274698637826608270489447973430995098984940435538365036204068804038935597696427323777034778885615200716274378216211074884279203215806429890248092461183403225207163152506417202202976079859250833773998070333602723711218018598763701500985470969649020176038179117783808113109031923430026595821997435433075596181552218981406633532162101037835676552890403227447330374215169768385034082358073809951878341771477165954362961547365925166054564174985946451271472304733081686095350483494405089223155063698553713208398742359235125331009416654583552066228307565265854236265563481074052394838555118798872412346640839779272214631801607627990568823177707868015458598141733035799819994399785735061022960997867162451607217486091833481923685481067980313132620293921118635173287784849204449563664244363775768927804716833733158928350504961086036002365732687405045216828875200988123948351757681545831436908836551943091456825628378502290629410667337302204922469241067738970308912859097319422606584015016853193535247329448654359079654341348834211886802725966012994855493110822993028192293144566615168834343590558177427091879431225994425159317553272911676281560634420111782608349763660261344689882401119261843460006415744242763633111098980780599837578126307978932967165076185035472349766235570705532216101072478858298946644586081721752370958912559638357738695566284360716372616052922657056234780299632682420731064984793138709495381209881700522668172688449512971277843246884569489748299168373000007612251582621090666088052434578301013124485365269729472127445917942313361890109545557847213975974175286345175023438634358477937114974841268142950809405650084169896381304231229506010663639229223503512801564057382516272989723412089832635764901180060819510110094762115165315421992209033708235139828609600827268680563993265181063887424743815429005607479911467391380452536519035372031218195649299148293560411604179235382554553446366309492160844874052475075078865765492433095567847747992176502806127630893183723469296654903622685239021597205937942713871318736643029479846194483552375902542679724036491264489948440412469961986871209092400111322922944643199049756816325995560186114766838905227369762357878547749580324591255070658678805167777369693182384910824786407744207526159811261544970070325264077952333183640905826327685248681747823817709160580750156733520282855056595827843309676543489533084445806939762070589792079885318895964555118382224321717126586689051503626619489550723042009544998900577945675767702213090855614214668777876668610498798871290258724261695431956795027257799821845337425907760518223109337844947897679831307151932122087823016526597253992688226878784191513929960400362098739373324733308480495815489362830779642533560337309576157844892253964637103535514303529925610618538352365959223264056246386122397795981509347570081705430918886694496577417434204240075367083193650312282464431042835789252037130763666919697288398155587176080352397318860414702941837147422501949916562124246908990116054479421187190026565076792272807711134043165419499127317376455734452159402021681883293800822513995737984562896546768369906135553256229906763512088494266253056318146430855759085101802353113075197358061338827581527306036445206552558658253994073571398071868389698927003647221631833933020223665033956456292417907050260206297941029670455117649674844796332380576693605479668906935606638123645368739973104609654509874930369489925011885143095884084835507324594040267262971752450887675657510596114379624569461907771685220274067860247689292115145169155100028566044290753796457756441920217808922992597749158612303587100997770706441614486689152015048332534496485998003123309474592838482461076038317356451032171549709196900694644020492066597852126016029863430694784439540444549802705674850328720657105420569042401229052009550600151894582583953368614247550663644503603919285340011614089144306724034840332185789213813083072494473402947281135239501500783188707992127054892605066036722775372358698939954205259473621341302274391782006660565894008372400667751525077965419660537072660282058612523395511068492348893445093187331709901089690805835572384865337548877128833528244507409244361399979499190048276627906102169310328102521687691153149954062550220666190127800962811100383018013930229696494097216472662330645566014586984039907319694691407764246824673889280719243111076911172589322721876714955648289411202683981147620998754532114385907133388468727024306786475200390469134048731482604839725852076152266792919490661488311282941593098679550345291243736750589690501323804092762777291641088753170627495642148881805401785150983019396103517167910229341092638513515141328637295028072930508410377683508515362444114970884719893055402802709981255523535796657403863700347272165366790604371711353838061735247275872458997022383228016527794558100487239806448419395278730975466632668894045553409630971662474238203334682795553104742980136850032728215147306604265256233206994085470213683718536884214714369217053050352066606201522941129827147858700543026900303239491088554060086751005672640633047704248945624703712075507612544498860202159559713238117035992261721926602438146595585488051910105823920577476409536439166065386432293828149930918567723583305550562876711004633157341569290415151061751062590518242271183174298295724087071589132192999677225953663687736995010370594877608361622920433764533602308195535484581223676544632064746459658758227228714415419565496787749166017281610006690495231579802896317435667325404208913316493297711958847633604806572726162248392616756876985215801661033625952392286306863156263312502208057487307067593797760805527668730804249784192130477171781028271812894044107201711945406121113085597771134612983550792353316197383970468189208027325218043240429624282248271612146897854496806237516520583190285385195694440944568456774431550259588365950436009821714099928180052514068657813554836276667168630973788173213172279959812261751278879622119696002634111535170597115983806136066940418735421302237290618086830473004590247345104872167513261242603485339829625097188921336231749915618243841795964009055980532049736755694860465461027932917302832726136513728728372017656500857216968764815557861368534911706402660130543775760532736919856842850740452602522911744002224700379753452692826201077839572820376648714710663224298455465192619357128427594145102859520755312957482184455513640568695394740850309739015388013067457648003979003190840846902768454022918670824282321820571836163847083414232991992487434186704807063014485797638379844117724350310455351288262597424132190943015163645092877478600249057925150418982090516390379068936015330492660127005871091569368269076067424352871628940073695334151458078390164080069834613314325551856506383982076890299419947496441157776618779815152408221065099879719702898214484724014604798772261683955773222364905190040646922368354623023722647748002920470468359448865202022720800486318333131570028485588233330599543240291241007195452918398481429438205006848038244636868167392894871299363148129423720626566293995481582269812412994079285658941830479424788622390432996723450932732684762415785894074086983832797560779861205184516581401649860442288080527468217940253730234531492329579728586729712169656803365549055643385754733610971550682801597572655885844312017142563490937989767718612739047493012839705262985144168984506937679684439741775828581660585548891077279714505539784896983697671221053230363443200012