712225502219992611172562323283749447124590990995380119559117559460169058621285146789419427399144909390781682932819663138721144710699660119248318633897020792564238091948472401908149972625708777152271748844625626144866713079216567375277151104838770394291592179281181603505884098652674661162961438131493384385760483988615232093435438737668319670199249748299226476052769024859864519551172455130427907293374477048427769646614900491565825956437238579662443390351189801148483665012118749225927356931484912428166432599247468487532132196110219703010497422985089927148490528659227541184287409867762186405664670477184700950528154830943071104308033632358195626419991194641361645622879093675738297110309672209723272189786652881850046583501066452680376119945316668759856315978109911752509294308820094487224427922621172981588835451651543614404374792491808718975850401089928541668829199404974353944503806701163214145984109179528463118471482819666595266261358266092754753120428305392200474143757420135319090576038152776388272237390754892701467231290736207818858772745116799933175759382543158867273239954032001069830959737442396549767483685864078468823986459995504778313016656588021881851811637147847087492134682364599796379378304157759290255721638259675114437372425244813927971589273483329504004280135633268021137047153476691054611894185825162417669773463439550767851828903276279359846938098811953375360227977772883951169902112992714381988037565849377754514822795325905976440370002459889229266017099782591649555788215238927979608631499143353564206531233838720981138045555683104797743562477248213312122306410249144163923635396413402525432797456552273895481314567961021923136408255433143116142595927189678160711365999486975973914163238192915222270731982773868194869833483545949513049126550199329947491958448264669440124676542033971975270479856770766240658637529988741317810657074609927792207904871933569517178219527636986199006785873656466158172875527981482228044107622404937405944560756444463090409157172857495238398330296366967908476716365716097293527814111446438559976797679469917757766713197123145073794305703793793464205896038444276654524574667129358604258950367608607852491923291278177165252191543750571968459816231471069916364563285615534950557562889946836271948707200578754268970814188983880156232668283644921235779142716496496729660422653201165987814781649504532795563987960322115902101947687747905949769787465651195742716018929158376077715256220648218752968293553465268797533261773783465980200541967061744648623057624086901273289548134278462092505586345821689168204615317051990680415562765758824568437245016076207892295914722844305059638535764518193402841172573598365314099243322112268805644334396167251095894547516944688330907631436505514256581093606218563690069120888193613673272638266566572784780228969812444155927128674721466986531330635976912344948417303660350520516047393488493926503558692347832349723948947353561926336573602244961700138274051525052023661187284530965327019986429479718210940957480574086741824608759979642884671445754164549293375723046069927522188845793881976953822571549780104215322816332997228069195747743090960676322360679845143796493800915083466366777446485790111989975846836706463877180227448501552675027671949345516627282712968012822935317698663631577068587610681479174520459437607892945629659551951584687418235745275388207272735634236258783462757276048321838328964105406481738337447749467811968532869913203548223408416653117052248783570214196949503578218912744534445285215357132006241782917831878493667671520295203561701417433688991947803443241458771368196117399401191162188217103721815362596091187986372041457817053726840841175573123241455098116704231756932379462880544245156492157374281831794876300724466987972356743906552665555559608965044582860243362295173085815730685812176371848307120279327629175550092487224627756194418734753695829474829557292784631825932438734180248971101269860174607373544725176636328987304858697865020668092972268826153617648504655985049941527505624215368765916419608967868428779039525812417110406730048058843166124556373264179529452221716545369069188612053680681296165682174582346590842417909965695241579755639880631168978210817388125406381068362825100103382922892025867577438171940272119191858672212363616920250031465854177568080711099722635632474331261053693631275639454513841803063636670234558685247667919893338858788577940672231603241801796519529047492830446462002994094339090802557158686514554701238901334037668581062225866392312448060325870970506930193182816372550026061143213438072995449062656159257581501155716849152355274587082378957732782436689833476963515961271371887149278859062631946915913477210218076465355537574607698788053935152270348159874822398851792880158945451452660932451089385662626486339299018826333568983808444710724855251669414755556250744678536997247438154396445697391587638259319144368638805742541743158777742568744952716816108981821774071173582453364421737699866386197943730497025159428822185242246925486607616997479141710311895598494567315291388100999399605608373396962442691505252140037479899994484675706841533985504155261826239336176185727039334141799637854844449924723618598194820126093099528829486437924307113954764441713662737969759536371691781877922072730920156439291990130092687716811259733434258538526762725857277986514913424587732541742247012169946026428130057414785769970641203514995010707649407647465616523785436546588257809731725189889229946813639285119887891880575649180761448785879985638350149454903619222453201538781092011661411925957731372673874301190220353406393855531332003870476691677757426624442254587069367663676585257064558896828183938222708348782530747035470274837958800643247708935766957353503033482897452202725733358642416117367105582411333691686776656240966556146512301716779774743905620614172194680115029056946964925071361533169289955