7991666463305217955991767202197339897173892718117670691141328255013526737898622838597732453629597393348589103187537204073154494901922367296846110362427254319821992089112583017578718783876925643925922277997231579497186955975268213577464629274550746455862455296708087136911547636099814760360489801002468063786585127795289881765223091494196529779027932597740226537751349156673116597397297938236504542853148019333760358489758850588237180171891216446656557802150353297451907454874840732454186133915399697451412178792515054890434028048770837774519681643196980142716610280688437166130289257422876834365407370362359588722332609598719382026329446261819991683189722892133310556658135892686432226610841076826967567586545580675481938356671201114475185356333391037372947071398677458159892181419996264405895057910470888804987412917819522340728578236895048787247632694582337160860588655592177346432600183055534517874951138461088113971248813398391750637577855486324052979386617991089366544452934446148155598048218650008355962769233721182862975252328407950294815332230381957765656744432658112592688486535133043417922589460692893737702842416751478240473753705311571537445079315740933957995602865439258643973787536785539478826499035124373249697483997694389291278357252441489231948768683392465421179352665686909244982834578840175394513912416702826887814357405236764062630116384114519847745354222122816696274002445846467112831557013938706873068971104238499132203431578739091689261206854359260924665536048964781573667006138435486192739289747220816191883052692473002561031674257547987115562022174475584712492396917917888416429682378547679219927171326120822856694273686221334399215127542643859462180375857314216838482858593238959764580631336659207162787981587805558839049714860929043204985678292918760156332155476717415469546663795568196261757396521211408835927834604591913639438718274959782390760799181487263122298739913074805219577974802875305988717264206747545834614461631221699372985776942407287410238068213677664576187589005841457628013581168827214480707581995181323216028318265614563276388512124338271278946928573170172451459458555090477938925982722112297148780040757171409543707410978050948133110316973786597210882963285600113585585520212850688722862142315946127615591892652585422591794024277918742425674468735341191989373927615255921778359907298616921057518205951726180707411262844448973708013986525213107831675552157216697426846813517897639626509567071585462084125517838151194831285482533779452844652733381986975802157231519687899909930896586798629137244792081714478137016942960493102162300394602989575978772549445110643772968216047462626891772686770962853031223188181115647187590802496837080278144021130813965344522239877929562667270635821995265775951753168032357540299332814166475722052205834718601477542218366292183365118452447338147797139979553248956721619044712968537570523813312342945697525194912895266670261911016080822694414458274106373977221733745404337224464810481664815308771509480832670419361541213515460658678113023357637169654104305528511487638676937044021275586425247362737673489542362162390692611658276685436882246594829845203448495937489145932267117190570184346825084766405503539499755019419824469948217720105474406669450666921085199567675534163496069065900810292127652278272678812969316297293596642118273064957020689619961412259964843158766423635670174549761758569409779612079016983745185684241985774676554329084662858642663877726914992156539671117959322398478219944709489762262816825872325915428548235914487203571556071978763274911913893612110202218149175809927587768677338439364962917228794076629646298749213672665220743550989877454279522110023904361304763077876826568579203477224387558936126654111830432906248281642357412681279351207346657998212712711619084488651482894878668806827762838040791912874342251374513154763267998022860054303346014555628365717645057661535246676202593653732387727241820384945245275478879819184495195770712048363424175163297703142426802249716778865245747990201234416041749605075955822118665170799624789671249653562368775323625493363590341687278788638835653178192263629910265594767216331356412952216077247943195757463366858337878680720771671157483748987331921518778842035392557743959671944271122511485474979902492211804177561929248127544059306211677846314764346954677876152987822736021924870999946955483127163683767215853933103273943979358414659646818386941519334867510804545377135797530266388952748831375753663382487078229314799413484406155533127418553433242040125376823353191450366479708774981884681663809385475736234154181982842186511643248406170184793937636944451286192398595762542534160013767510928583055862279024831332477568874170487211349048533596018213868238124531728239986803024777813609236886161152648240374728948357122341458391292587862532102714594505882589254881863224669072572014993680956175331102999163762982423776714728718128916145602275150312810931798108273899647008770190332645469805916762898382657924979334615684338669557012200075499118816431165607352531043006313526846839224427839425396691053919461249869993252863298805651329513329941996876523676565581865556153889224617235232529912379523584254824551567207499343052426596399263109509488964483933314384102278227682859598915103657822357704569842132485343415049131469283826245866336365573785719980502334624519477259836256973970508459286642684661013155139918734157988298835775054122975546889777121116929425086315353720596041150728717342473252389633741244107214260072062502038354045802350031552127955515914669520111938999401843252194257543429806499027073946637846016333773802067591035172138911262375939669309159107540316321184281707321905177120984239571391147478877062682113515325788364100174569513080751137168721556534016334412418884364451464269694360924571290352395471968734772129544971911919454251926174071838334912834692455452989458729035794293