423117815169492473278896600393188800875242135383103447329905313708364216194966610565046339992972062102339286469595177872156216106827472616430109657153211273768418039205319198888964787880854417826840370116663055255275422717707768752027117964627940106973177489171403160916498279130694066296375257212898676044516210118306476079914443926953227202435542074104877802652319805839084891089568756736310278749469926408780616667065567742679562092771742844567633380850610401121711785097479347933717989819636168845386645019659634878953131118628069142477319064989579793807398162474929528575713951740790351407812029216264303838829523300758198614346443536180934628963676856793999050315017448289066272731617483675411553283473584738541393108995650139085575976235098650541624962107147281635395934201156355755806304406019606342750443530362616605181025858885258929127870459864471732784207136422819184502524482898995273430150718687913421452245975953661500976839366983407055472447778923409458208516343566515273527602128274227010525373698783882972987392172366870171892012825785402280844110672691066012808324938343373460104621528597679566864163851276447330473506895062261697969699743449887638417770497120885196128434673171721556973360173633353086987813899882324139750769294777285613005045514531876291946308896887256131397677759770891873986666961860265707342306750517596240552909554517131127827617995444493893915370830580265879956296115989307480581961679117751548640731134318386558491126759396097106744995560946477374361347682756517619266433377233506685714303315796698749543732167004496692788624849507418841461822300239393759319273154673550374467509815822509285077957646623651452733081039265608289958351362666546624802648820289128126443093107674970302880390529381381815263606920323499765417235138294530386152761065729104975335638696364320397193794103570885031443490207725142368722767879621333306149781326712826747071713607672558941411038434491328067430922180287739402379610949156118495952128317039804633304643674344288874936236251993351706256026227522665020505242346738236532996335179468033534871627415757302458756369611272749052094677803865063567949371613394020820961365511557358215587276405837207259354863715945312041827800171513232183059684572223745885067659550843967345276442276620482735743578208745815436130884559964260177797312193093439715573493469015265367318249085672766762864370073511467136669104313442316518311612688221999245793365480696012357171731067851873754632586128351893430590549545458417579494594836628305979491447814130913617869318297376939712829231184656069982458688658163371876406949630997430601547652485154452470599569295974869778278272941172121398019105649184297863705149983752164885472928276388854588131453194506413036529606129619270995602639298262439494575849647246731954261318029982817816381070416318754946318838116974149211387277645581488287013749351466967872723153948619766991733743723628827695253812446970160937480217993552306924173392023320998754661467893033935489217475302407192441671114349397162155383250624240228512629691335375460985820440922359044340012588632641092084838665722123586584412768839478173389536681330838876840404372144734712147458652896965614008222466259699762164741398593221067544737857247701177432251623393907911046051047956663213274147199246091601827743534445747285211375976514874857311564601663461031960419878470635190693083131708274728256665143921624591325509781772683730831067797473527068339917663669041540819894270233247228914740198401088649251672574407470027775415524114051972313941746988469148245414507485698136826839266629918517257865418285999292872517351215227339897371188403122565328072915778443262161617491361199549693982436463178987342046352687916843142547904290791047329756809367138544371908545272737249816709769215363909136752969446082795566459335978386865724486324732327993661769587916036359289777817886360515454906008348252879679024045488197352356405149563805556162303181033918143658172498430746369475321518793454713842042571531895040254907664340286225284458696124973730537145008033861022638392407019314364388487576134130743621755176755069646292284779447417298715053616589265311066767164550532585627762602264315516027297974087587789893972257557889553245053652427477355958934891715934497462639656122356293182455787247773381538331397828327488424219965947754207368410089081139724286764304274680516411219351055846247934754102726152114792406804658686547007672581151352835645188169313338611889669250685288942933696326259427823599507996048731553924124847576749279072333794039861447682492465425161821227963179433868174867608173691904655246768855716658492359958056198495314697179353786718689947911863021509422653311328660113518280978137041484156177782856437783939555900014159324942817341148657052168733749417199087221943907654941693421993335183336986761272897691464480883881458616203692525825815665825288498064977123417309715918354018566826281847528411287871877434749778627764092528569456945334189803234173362524539735510583476910283361396157761408418498856278648761363415750099455933748650847957957024906525216076481845228194310143593957773619019912256096069642653898838014779175766342616802421834142012888784603632155045437265446282681615591677535646770934713192447303214698392435286313153294239390545855266627970893195787622269070832010214738406560555196798597747840417311232193242897535947332333321241834445952346189760219662596618303705660160350253196403482356543248276486229180092107377434482364697991015142940769940783502125875551276083772126218844228122232759787188821043257727622135130441022197569632894271891418505474245298518491525657726120593824165680562347445777421103617594731648964474611163992692828291185828240934844827935184179794412952626925832378077173141097267573639202778895572576607315148436103940890584422185585895253858773036519862012946877627752656841