86208012306417157273162297344888270980286142057646551683505494892931623197892750025954522325865019599108018808261389763796490446153013124737643368783240551820714325179351301652128662334203658767484298496523327185373850839581184667106182719454898438260391131845345411792276222883852886503898617782217596828731619417110737041811135882415624611396682763050017789460053641163531929864346113259286225239525694914952163358224246437597344730184093801078957979697863419046605506175938393094456924791918850593207274192179476494777039577387117664773810562380755253969450262519801630234166780367192400305738512202637664584540324093142161163264476689664856037911121658956152405661860875908918482660451767594679692042722662502661121067253229999672027958588988775454315343712779641059662944940645783948895299272237354444194396983769583785195893303721876581833566492332513525498149706691846655139023321958461420288182716056313059157521198208292829780004895157817643944620766668215836564476938026500828707509530689682301367650069976450418052490124812002904439710793892301034729276315122784871983855348126174838321226035435634602461736237445369069761692882356959443928316069082899376681788392368419187665168602379604890964962115696033293923140759578182075558014047753444638707877827769793865905115616381818538893004880395883744068221893894299140549007769350973396249007587383360659061428461834296950612067598226554383731759921375670313957360374389502502566124593585398271145018047996959587366204620961408691532674833399452481383451135752224737132117634666329324410043304986095715952258542132269879846818294738803391973917489384156881441552647645743874631433541933381379252406677299283475395561883622166262593792654351454761659845986109130952730748493142582556756410416064714128245763492245748962734031977684283717799100350231255476290326182560629561852085139788127174499799916266695200320619000283459145045593893034132375425098738379739598091921301629296895086482933317899701752462392325518248885110946863401892342521785451643424584456470126895730458596111608715699723845143475749690841882973799329637203847361722269467210791279764691573806745919811644746203347939313166024106642976517197292472795346757883666081109583431792215778422380708929528881028132638716099883529441848153287197785469563942821757756455833906599267745554529297724585248229813935288292030746564320555681551643137528641513379850171872478227496658178721687387804143668564708676895918689288590980886359779674390643869887340528814079897447413935531730718408804453323647707979871724431212811824407920594556527203685847993201138767729924087490511715783642615142990211029592295593813225498812420540564698248375888065547172829608710480039349812780641291653901230961133830396541597142734675179403091577038175127524097194088679352101368802523812850392574637454447630735821322238714465461332952469388856720201374532467861498610298635214377385013624215930908367801656529308930488380243515087148095228785984878955013730011145707731164076213213969115238823720170585270823632951008396174851775915518560223269187997812137774288911331943163651226097404133818417587904147471656082196497862187031542115483096685717546571327123698477168775288726822949264944102791499770195225847120353737374137625425433615444639922360329158857571947751707652713906414768642386143895565959824509563892873765531990313942589135380216548897297256397115965474591650381755689218173398366496574292917586103562692223646382370266713636760878008599446268709692642928891352880522689008197915918061375096325462075925368530595835719227816445526689816825512668976279578161790678635782613173082296778936244079362204519063817444565665953139531533933377778892994081483701684473486865099823232599137477450922185771562528864463536705310271758842786469111047001266822047637132647741891532517127623723930584511363036432653792837804821134494544701222575078372534257395331303189571764493342866632665546096448155132654524931334190609056272984782282296104607443064419207502979356706046333945194401535488555474825085778767706307962251447368214827761305155891112067578963455048770990120353584604393164918871375367468668679449041316839408142238443248477542716298236259414428770234332151548077361164446982305261944353980198205480443725582412857065962320484196697078671752797378250474980153997715051191992781864188586816810712435586213892709348517650600876737187718738778640432420218833183019249644776593385205555698949631553942470616619390226198767118667333139642671104965487221234364797250574356445036106039471121832826818550124306822455357672677259799999151633654077070779327235583249424149508651454058917637248825119787727854923870557793645618188281722131913993141439148144700353227864654347056534468921183447737685731818335698983449400365748814683793410808212315945177235571370842495515441744547946809919416305412863166727169253617182044191068448348240426020287622629598931828246882895829605299019590871133797193731699168987128615575704747865835029610580368334632889145094170328590228969227243668319256423928118860548437797096177594360560598435526950412633755812928743485437356183463344617288479889427443988329192219812483228401527778145344665698573284440713668577872742476267487557204262323625459794345500215688758116951834557168307238026404680216944259276220957097961037245986597462705815579196305822177073557182342668096691685492948531413889593296990034989164162670137186182290229931342271509338849342961426243895761535983925854096417252997841577286292489195178948387620591200580576563526905804348811970188187794617592071285976642148292237573349747616161825526325171144142704145196444285219476503748293114886214837790412587312949137766768496409359537489006921950475798492320923641174519180663404216832932607450382185046507459285952684790353763136981109782533123560527418748072751547765818806912394356746976180466400440480129180