1312754149430071785101781386256539344339293782958381937897518003861445041939348370155088239731481947024369743978950743948910110390286610670313948674068705437996716191110600286051986680216400265092902554904568060179965389088672481215379134398613945293039639073818808032583493110495678437089353411978546729256263267825522091969905275679639567526984418920677992776822474523172871801885943231874957590653094980850477757549973485238328949512066480383796724910222370794148135164571775115592148977510929600410934026518889224822505920249387676840250630430614264644173244243057315853289934980295821442370172579662643913645896425828061383851672690879146112048128386640366609581393073541149632521452175175161457970348714419911679683349458136133533927425243644525011689810545409224126396309974863083063197517351946134270387435146566111506573193323588917399791234501461029700720557857680588207858473425342237365996500985644384489350769591516069180644472895412142699693089260346141098381369187386712347094340135207922454875220238158894316480959115651191776793789978274271242997360833947198093980038262327335053444074070929388329256560526135388284347479533040738746641140195708102272370246857981220994366912098822509565349342028836431281143686437063236515127082075431974775484176653408091856724916029903420147731402817216337054972327573612301412921824047753235377663906867489792613599404109756530927929411936825501903139245658169854374118550370925871521033782943529387821172435416910328492501065524834496699992553633106912486882891162295354183623616141693402419901064713830411502242364454322248336050103236690023473509993481715263213424334623345907442882396955621940215505690038328840955264816537680162458154199176366186911686824191986207815518408240945147200676715767182112574492354315410799281483977740096461012872774397723757429690572040222310813174019929209972017368859085025744731894464534752656336852967643232643097834854651849752225983295466286951373837256456286116627988659084278521998003605290266674213249063047797423676269575774536486296233182224534896512041700997313302335018392953912717853036256488769510859794306506940179956461861872226673854103797398004723459195578965830260704328423378586398541148081420925172080832282985881340073031931234328524223160724190219479684919558930490962791730972568950790699051912717330266438648607015615034697343355042256656716000729821672012499741075118269201007351353331067622718276599685838832436789805014504507921975702217355550928080801646235179305855377477927590662027721552281491072958177498377190949777215390717551658337897175132298686070339191430667687678860159571073781614829459795966506991137381981497560903155822690302551272394523277007758501408607594557556398362257715184455251636271683246467424574610197260098832205332950300825541089000968680166516173131289701816535623430004879963384479105027063388848950975345103461464136402077035624551677563576931647050808888167550732320981499151069284921743289926928034570223563291250437752547256856791418702727160793475222707851719112655968763410109850143326158677307252840141482689858909566258989190402258064432365187386649083166723994508856931405393025689153396335438770694774206556292719447691933499379971980074920180031236453535543272002119726588981534444492172890905666000472094179039604084581832639496941269588828814394172190455534961545249754090747740097239566806299774071687455873291161436160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000