7139791224851229073500573207167255086806847749185553778545317366105376680543086070697504651085353377153338742591008219024367395994223168208291883358141691190886381225543149086324556834601898570969015166420386154954327864607141493062278292791467832196638470764971101147488365180302881467083478170402437599574766915406722176071648550110191697781973086835488977904818521091982244171357297305907135686232682483733612318325208505483229039929434872789512539580623455768286845531768784151164233094748326283875628824327060481030424214727248361206331154722828319095910468335825543359721675239230630308203367713553492541957417509478383318424246970136919416171129506554010515800608145539242551174035708548357294382416897903276700681120422098944180023208168528938568157956842875545615966330126851775669173116347583341103251740898475599158598915983704671186274149690027336410844766773406015491446908287917532563365503849562284703029324869421754274899807830941982601665376701303963439950398645263562146148526561612324025776639527861998716681968818375835157105306171192259756621315263379684074681364541107740685365743868338174645274795481344629770391475348407307558477353664813037502388850985239014341243215417298694384091706928316690756863018013290025292439447719774152540937566180935014022503274398936415283608412133907381566506947949222032260903490794902440745845025467365227913826281750386886772815848373547330918847271270550407037649917143488806883366725804133574027969283570244574753148528663130193294656476014063276325815881835136577974861445445004932206984048109805648861046423446725475684355964552614138714302166644622548717462356849179319872941556457451146985987878948462651897143338496054883664775570747415446199695601083968366983008175617781981026191353256217389856715564668543088728468070618994155333883352542953778699205942953507998328865404710804253017241394185024440525782344047159924474348227172432157187551328607391612902450749128195619343201238615656476804109448099282234842281531757155715292652793465472823211889297963653201537659589561981014164872462427663657244158750778888644634762996454893995064919437100124705083525542331029355117212945644285444532324240217535327833153536094214934862354372050207526786259787212862837352289371464454352104434736610412855066709463343720773822895951767543864836302814766728698341583468442246270241689627428870845212242852354823547216227429044393065699035679555690761009879523390584797818077570710960704512926699025735264489375066855320487776964309846848627864411228985147492851837676742534298347465440944919564206150927259141248140285417454285344636881129765429263290372787228411356539649913727762665508498686525684651972428689002155733415404759885586999221126058014671833149251182046197785707397665857442232859380119139025408117794732665959639694499722771654754443394449837237593895120922501997662645831575712981651703385960613392797382872923412666339974901178783570570117131238963950669529796759404636849614791452104329287588749217500457225316882761712842112244191082695133958136857227668327111827698471796955324333943184643909877929316769984737200648247734102785056434272094200778135828120510893263148814012616972804171468732245732450679257635580199672659330129415470887016542410210872323786462165162763953110664426689529017237976811230568029468585071767536861973663817129233364251885920232598638586040016936907544247193227275653636060973056186832825177335838601836850483544465014192382564322052638985039526071756125751809767439730994404563082664979972814948926425077848479494821653735481171500995023896356843260133162403766648666299166320089911787040197400538785276259864821663614627850653600834875271290349092599254326274242231427920043811331615907785889249794830021884393574166129674181645919244893574796452447956346288547241003587517876223846064157103114512166675667455297079125325605844237068573043701568892281433076783240791812817932443109790639417970463319191075942422614653355258664524263257873015827248276979112545084114995894483711642286316180493552849729558446431465867133785799515421524678230226559159189282799563224583480214087828959520975544863893070614021844811835702187406095509013872978554295489939687923159190212344869974025096601270822756331951374234641278729931320477727925777131789962515767240432956733976560987890512210991157229330567837722772453253253905530240018498368276353356229314816131966579859268681994202095833479017531997457694620628913506240857256122710591614285080749068853607048917752286421580839902116286516825948618561634033443871549054635359550445458616168510052359246780421355849570136414975979443698275868374281441680158378347609932148417601132185852764472229438980101409701961508699784622985732822874588173608331715759188762201224801719666629700960864894789327584475864664413281666616623602674725570616021217827157194685641076693087075622448599877691229814151262820425478805723495887467859891737964099744939784269534715268607376487995546577244536757662659249817605025199504548972454766384975629502096872437735166261359145105961019248615344491315260033913859630923064361068825189721416608351038813743484560136352236745127224424722332568271831557682038513796582176026274954919552010106188102238406442266141433766690735901206370544219960047307236977955987166470474074144764489113689403437476422162642947872649914100483298650444631242775800758268272315079825193960567886339481783047810386689159781145410885157684212526363572492657483772974903742263361824466606632952569181803552141785053409264574186529870571014834595130189964620058532315194338531073300361325949611873024161890422451651038921864923516613793081261740886848952049331118086216554872493529881143410218675451245526916442919981119361537793578653953597935476215850620714461507047339087100680207311365233955059691506747957365887877109188442818508904985510994640278119707864593183821491494423904584