80607767904977531477454653332247289324963949085264329315134510415032469964726637898864656965666046456430294468319346776096898793645541204692015196579763022799750178825074208956568403166962027045178195355989449919547545447794316739270913024010110490318706661754897558963769272733617580382343711598989826552448222550557969486084456417525230807734669098462611173030310135463894339613110161232287748347034789121855231188070791448845876259974825177615903512354076595662146118890218396447914099004211760679014200694471055525734678135075942839716662101164726513442116832315936104352882263011320766401169729252323509745209703598482109341899261208346841967483797849083437615796447781021718923935096520269474525584024669017027194609184278526828129023574187753855770312088156701337676165885698012273595497296695325242343894727001907361030811717924863584531251619262594716489996164589117983592689273713765910107084226085522066443392128564671185807469939141608382472226750175554802916775565249417950743196855454168942293049399764610428768106725355949478636436680918763981705634061394395419481861412420876659007533844776643265692024576393051115363481163962914746456836907194168178649791741105387746608328721876319477163716435127389116466518403918981757517160576284128638729826419202585651211802666145933873596510259107026776844421167733880076501874479059875714383927316127348162540572456712577578097746341584163633502681265880515752673873620764747251719002467932815737735817427632643435911655918827838558648823797233774429421517026011786750531220805458383222007309318394161689780888557252065345459131914225109262060906760782581365752487920894975787550025705915382817002315706485328494594085835907714169626261110620546310470275519460126236891914193270711329422254288670141871203819083799629862351328218425614575124663646412537926925927863653592590032161547381136013945194824151241938225482438523368505846959939357070906810948600494637497318666822538972799035731492640214080446744718031967392515844546548799323094712014907144027087349070092519624261195553204864342271460662834599649278275750392435122656123765795475947979300841731462408498657007920224789751714316227623125699027568623379436026258465519331096797389374032458159666139767653836747398128932356038305861367330923630697802926159109149605170429084775910953479671751360281049397570073373931883732242228787026780567460319876273924777540680533164030614991559978256443637300920468217188985165893571649426891235184307733996646326408656391749432564308239962114862602162529468507551193662044624426183127842862936995650548804712881878687285023997835797467840883918011470667039693460509543583344207724729152924281071329152131468705656307366257673637826371261399728111154490350277067642026938466599690699189329586930177287459869912629380065725695537245139201574504045696762860696914071332882296801140041017095809618752474815922173424301057422611067461648518869723376076103528205079545272833691186053467712622430182080474935962154233744678815975048229345194371923631321890420492887682051162466992462127616598836838520615645367232997493736576466714359667155246744912197113216700656345818401122576152249419889487246737834012548100962958609652467648421023241347261514274104156107512572071286811485712788316988547920543923701218520494151554225482807096685642926775069258942189734653145656054488692043917757876168127328250941477804150543629486810261637118815513028186982171755594419531133552416991343875867178162777124375280843280535315261703133126945747522530126578721074623421978585624401561638721514151676578299564794538769594289529057597974736569968977309636147093518507195920170624381119475777256370998040965532656433124553213257361431315835319676984202447068460473086448521970176517332266567842585082299607997928777144358436365212617445655177614443940357808090367726319509970822024717271751668783504510398463896958978023304942142286795625978124738157818165289437123461162343332930347724834313386351064882671428547444956927303325244638470399129594742953332449812799679522009450389086655438765549892409166649407150110556952535917890046455231947066348749767984354943720144469670879872411473479983370586640219877492736174790838269264981449244347829517559319573301343685784126477454351995551424535025072463422823345002191841099804238516068325272599814398963161521985353233845849472709538538520482733283889396590639324882162421732542414611573071635424629883373817165274549557868789401266754661477633241593559440777276524932214760397535957794246717292899272849970163926783082212798706114851850527573482283579490475601164927542737458856122402306599114771251587750453630485859168129063649471571273288634363321608532097652902149315986568476523978211310723735587804578676518880846347673114347491629896053851626362559946109215097315821639287129142523968884850298598058885317653472448465443345742851479762875124133437245687761390424012435093261764445162106692388454517537765099187756989619577988199333437497453346922904693068889432061272391357544561190464951144599971814842404731321476002346068998792825647944779475436729242285237291007717731984974657875460674291884192807013702398173263411123498540515166522166647665152035857185290605900416720765866225597342904892194635483474832602594267017584209432891602507256676138425962216488758784879489161112808619122733142855057723773424168977298042547099393525874871178376871135695934059871457329293077285852533143862084948437955246463228105162107155261026277732136106261739577617467723936542832049378242751496229168363401941676372530710198081651997872168330433863319102259331069841796844333793508793030777613543400327031531249219151222137668269684588696655617783795120155023567646210436206687550192256500334778034052163534252923502526535923503657857532663988865154029140186387798594212130571110953292382138391129697484620856539449425452022034458882789844204139196595