8008367938136242225999794122649592563259210024158153513573350291531512110729655053776628265013774206662839339516672695500818159696289484744019229059263346314793856029700051309935587626640430974381135596082751515988353069707225878827794447033573537335952029681831349158350110900873920568763281744297566881588131447533770084797852410036575255838961751770680741848368845602433958067725738719361165200288356283115597676114091469562999431444710537329635760312821793530612289093511380328770364578854143082731748351557874797621300140717788987025498953373066744236587845246779921828375006934277380844540125596677508987546586639823377967179823893730222749616808750147576566635855957536715983989138433010792474205192731590974860271677240759982664728565286826480661826837994653295481448193669743965572705498426502008692171314868019406368667785486269197684261569184775800496912257658318587833863349817464698888878236699694961198071869024082118180597854848166843013287741245667990835509512104539428304921271367016708717173299915980514907373430143130055834075962350923641882238803737444016118060442571489613509299010143466553290723756335013808247742143677368386502549095735754715655924547135674050291782655229623815953552903302756134053619875207537131279450337449243960947552410264876992743237963955224312460815216095830501638010678562019239250537317914894239989996235635365850173395453248443436400296524496013612984514987831151269736425581640490855108151771668527452222181982447641248273727399321621946519786493714947965212854514911686947476077395767370036923813268733254594842136200014633430976449430625238051790532940514943396585059585137709361183202051277111008754543939563941472857485722536077292976354103142796325490612418868423244209756098637702847359446573175413666253878714989966848079901892983313872387623331095185484053750354129848085951126625157021267008180207796636386435425622532658975148389689829104479491256620846912953905764835886549689369750941114561866309086624027967133839706993691039728932480187682884683618495523368669870270442858762509711187985490150689409206463662224870168478020879794802916926454499324106465972851076890421196351756226380503837224828847028915162969140472582437060335818378246158735983439475310325364653185074971444241450048571323384673490774639601498700077986281140453291348325157341134633559496828068546912361790525820432756344223455611046531939168693446534994145483611434068001099641866627640515432434313520378398354909012861022204320103413995084101764300383877888913081571650797714000445373566446881920754380354156206710014360319676790647678582263675145939492430692538745497633948096452531026397008268107729874773777963864662436736079355200709779048829864788826921677369190883411310545953408521022731657154690230107923083940659608538565805697352896420131308271262832502202564641298918445038265675091538605595605190643073680684528071614306848773099587786256276732522522493743353955820296579764512634292143312608071643307070338293273448881141281559917527670585617886978352703910969225349785372734489165044262207948921900720065121349758177720187299136176134973150659142656927006345656604453998914994179145736230332016158869426508742281800584419567401154645956980792127914490220345402305657351806288993761494909806542444831533714521108908757019417772488265021545957967617867809232621789515322693362806190860509795964415827780230006398080426977844946079245303897139736571331098291981045186206961158657676158732615430411995859462410333746346188958765998576173573969567961764935579685797411466124664848327668710303709816520763364798113341517393449821515204640178932673327163891292319402126016263633539341502817077563350427918346143438256564127260408617012354401386445265524120364004761232584134328101976993054626235641218317836911071542157148661045391667391124201553891091906210354918744784341378762992433415226213373122562087130186990694428688733991166711296713840908920044545019285942872531843159923635022790091379880760148943570105489582984929247010034679258857210648302626055611749295748228012146487264352391382151226101629042793569220006007323796787606305609383514294405529928355133321232185667130539658939462151543930892355858279671466584252941831566795693833714268927059900536353424218201568348296877279388744745043209463355959105093430349976697019115597974602371183762473495695189637145958174958193839465972598278805272429071009114506385726035042634505909968541792125402765309524189844077051932555947438940495437482488807628741427294423482778151981950610029339099089219089012384892717113868673548850940210227744646710642779831537797407197932544015112200072915196232972460901252607212552081197651302650389122057694228593347411828616267536546532544553426879066393474555747650044378818075388171287499395764418115905849447432997485510024519160867471736919760215778537575421879972991019160966405555204301237613775817248171582162873017063391563032915005688073117391870909668713923827663927444259928125995519647152543263639620991839965841144567316449320129269696819658336558270785692856700777386637088797317173178288066495459599832900223004689666259877180322889728409205386543726177945178223462786215992990131952265981698511672570027177202226788031878010409545676784961825005510609407369636798142314930991208916167707131662881043537133162433637517354911990063467921283856497958932121151655084928943837665288496303884412493241890054440507585596779725889753489923161930149668970930708420546450980777526942614156146161984893930861429284495840975951878877820730676258539524140990053273542059351482851028745449892779193938003665254769332456891596975316854591412271977060290698369123934529114037583802297576136441776424747740224870365962845193825276880188427636258126552958634384920041965121021008123945280293363005172433163626359979867216535440138267618741185256227674870612741473433975941406296248662823228937012587084512858651548878536297619038306585788379222022431697573345106401881222388990739335986169519976272934088637049253252188786989329883699052918064899490880707148674969898434788496105435477308271189418304744112310511990008827577104071573885438581919528282114871891047332836319305888963674569739825358467287171663131400331945385509825452656196202233511577500143570727380846588310335682906792892828350072926049240930627921939727580618076762413307139938152040925067681887926181665441895769649012411358253937683935406582819463418090544298740956389705063207688788191439116955993095119014370760495330785943445512116478262566893019978234266866707080238764881497870835327166104853750150469189610889043248526202629165712424942875216946065985470037256115929830147749855717858409793284784292586870143107017434343577300517540889997548086855029180995018205249429720855503712831299847933811110749022038739107834196345902227448609518906316885306609405607999096500190292721758368689338583225433082117362506235667149836062751693311965511472719615981596913513705236538215393858112695810958005980427314658649101165337853876830740252608853290809365335971359033480341736235707951759273964737040763644572225158755807045194317092951511031872681010772902508608455944896171714822652220015231064671951011142570558475902396481001314499368715135806508369966758277723597891080488640809702081243296804905963163064286193692959127464903059882038470769604647273751739348380942630208676580315261831975261707120336567361688504099435770497979248394819775717589496804923300273021147426620442654262876376081237992622341929443243064057009803645517009425907912069511564308509658709950304181109704978757998612718405382703005437457339731472308861333614732657664012855365555870408754811253455756253274023819041638195968608339639411687692786245851835548355491042537225254854530454882980861763820300399902368639720871528662223562916792913588468728430073086044091405785610409545496511648360427248540369305702273535572111167567865181423376367248885363846206642142014339063927081045076815137481920530793210603276400963454783385662050284353137059161647203978521575330778554302864772048965164272995466071742921592498743909446875510313353585210092166387787510391688429385252457588677758422831481493515169329499757975575154994969209403308087178517444083648662086080284725378311318112715490326758801081489891734416427538257260964611619782522580307484767487707854913081363808506463786525738210989397778608205351558477409255799561620568357992774188813319515841969420310669663303729028662584140243935181545468740231112117180482470655571403415257647197419004975360804424013970897066532594896705433370325860543481694972993779401801417936635842331174137654567432027332884422130629620442666050758184646345570146007436043666133653929440213170193118884575205486179621951302916704631862805797348642267502976067819567849864925421514727919938530065131453242551197674805527910644727054553536620171286987418518262860872840582964403955634153472218486027561296648344448330839165702255217567789029590440496207239252906264504986314442198245533994136813688356513245211473968774231573341393421097560508140787395809810180593936106969049631607095037070466207045579973086516198899907444865889488190274716731101993047970541361741825265469774498568830082404370359235178654241464653926754770737089258753907352964513396358754590330606448654609392671994920010739179706682524084799579787749436109736089657926757551239012026871847101753920694575382016638244932857069926183787440915238478571970130178841918093016999924825040862564713150229626007731218623202646852007262149098646898817816457124899144279875995532203935577566960145449167612779092644866840336360611795170879211178656483894401751299488061075127801421399898981887460937068375097484917198603149003413537504862548611813949295365353869887814102627660898960521002243885562022956971353967049980842037237535854342780310678274536411587147087903006750784367338332899122165560996488037745728753745998932598974771828193403744030895918168846932562736427645900871172817303230350889337730120346332710597539080149952182197872152054213467775133244506394765997429763881756927478672203373488242236611574235964258507996632882921369812896538693931564825271397542122111423486611671746373454075623973986529631625025329341633186917765750602188937849718293888969839722646464205251841732702656537601363071240163215301756489260559499264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000