668110623024127827933337738248549550359461464670777983290190291095810071018105811031220124513051308133213481385140114131457155415991639164016851699172117621802185519151962204720492078209022042224226623252326235224502489250625402572258126762773281728292838291229222979305130693121317833593383341834363440349935823590359936193626371238393867391339734098414742104251434043504372437943894404442445564637471247284803480548424853487348835012507050735087515051585260527453335337534453535384539854165471549655955655570457385746578157945875596760436136614161906203624562556429645464886513660166206621663466496710675967836831685369056928701070167027703370387056709871927199721772447270729573237349735573607492752475547766780078137887791079407959800280328063813781648178831083528361836983708390844884738479851185478560857185978610869487018751878088038839892889929008903290439060912191629182927992979374937794379455946594729477954795599642965297449826985298609919996799881003510129101541037210376103991043110488105011051410549105951064810697108941099911011110301117011182112091128811322113541137711380114191160811638116501166611708117731180911867118901194011963119851204812089121591224812253123951243012487125051252912582126461265412730127541275712807128531298613007130181304813064130821309213107131211318613208132391326313349133841345813520135701360513629136381364613686137151371813856138761390613919139471398014034140611407614078141071420614222142351432714336143761439014443145181454914559145651458614629146781475814805148601489414899149961500315035150821511115135151571521515250152861535715385154291544515581156011568115727157631581015836158391595415966160461609916128161381614816179162181625216280162921632116355163931640416505165111658016631166331663816695167641679516866168731690816951169561696516979169971722217285173541744617468175171754017682176961770317767177931780417837178411784217848178751790917928179441806318088180891813118151182031827718294183041832018322183551835718472184751857418603186061863618641187561877818787187991884818853188651891618971189871899419010191091914419304193301948719509195791958119652196701969019754198231982519844198861989519926199711997620028200612007420077200782010620137201482024920337203952042420461204642049820517205262053220548206232062620748207662079720812208502092320938209962105621081210912110321182212312128121296213062132421329213752141221415215242154321580216442171021751217772178121841219012193821966219712201322025220362204522056221602216122165222002225422348223502237622444224582248222488224962255222650227102272122762228232288722981230042300523007230302308723129231492317923183231842319823211232222326123301233102332323356235592356123568235902359923603236232367323680238732405124075240982420324256243182434324371243772439124418244352444124473244792448424534245882462224692246982474024810248252483724864248752488424888249172499025053250912511625146251682517125211252172525825310253592540025479255062553925565256572570825725257752579025861259022590825962259842599326042260612608526168262272623426245262592629326320263362640826443264642646726519266312665326768267932681826915269252702327090271692718427252272532732027353274292745927493275322760927622276852778627788278712789727899279022793827944280372809628148281572827228326283382836428396283992846228535285432855028563285642860328628286702869928730287362877128821288432885028927289352898429011290312904329063290982914329157291652917729264292892929929303293742945829705297562981929831298642988629928299953001230014300543006130064301123018430192302193022430257305693062130646307893079830805308253083630921309313099131022311073120231204312313129931373313833144931470314723161131682317473181731918321943241232413324353252532596326373263932646326703270532718327193282332867329673297733021330273306733082331413315533171331823323033304333243332633358334383344233446334523351633521335383355133570336023365733679337003371533728337433381733910339223392833971339893407034207342163427534309343193432434409344203446934472345233456034633346513466734724347313476134820348263485734978349813503235058351033514135156351623518435208352393538935408354533550935511357373577135774357823581435945359763599236012360633608036099361303614936159363453639536454364843654536548366493665136693366993677036812368553685836860369543695636965369733699037038370513707737088370923712537181371893722337283373083742037431374403748937627377083775037865378773789337925379333794637982379953799738006380923810538154382253828038343384003842238432384513849238496385673865638658386593869038694387133877938800388663897539001390053902539053390653906739071390743907639104391063914839191392013941039454394673949539503395603964939653396573967639690397193974439776397863981139904399483995939985400544007640113401294031040329404084043840445405484057740629406484068440791407924079340827409934101441049410574108341084411944122141357413684150241514415414183341835419084191241930419384194041945419634196641971419784199642004420094201642022420324209442114421314219542206422464224842258423344234142385424084244042451424534247642594426334269642739427774280242824428284284642920429314306443089431014313343154431944320843241432904332743343433444336443370433874345043453434634351043520435414361443717438034386343880438854392743961441014423644259442754433844411444344449144626446324468444689447804483944918449264505345124451524517845240452524546545550455574559445613456834579645825458474588845973459804598745993460264605046094461834620646377464754650646562465674662546747467724686646997470494709747172471854718847206472464734247364473774744447537475764759047634476394766947674476964772347742477574779747837478554787347888479024794147995481054811348193482614830148323483354848048501485724864348667486694870248704487644877948829488504886048883488964898349104491384921949228492534930049329493424938649388493924939349441494484946549470495304953749582495834962549667497184971949748497994980249912499474999050053501075016850242502465028550327504385044450483504975053650580506905069650728507455088950922509345097050980509955099851015510425104951058510595106651135511415114251182512395124351250512545126251289513215134251382514885150951562515895161251670517805181251861518675187351907519335200552055521365217652233522805233052340523515236052374524035241052504525055255652570525965262252632526505268352693527265284652917529355294552969530045303053056530785314253159531965320353204532145323053279533345334253388534325343953451535325357953638537065371553835538425384653889538925395753973539835400954068540945413854198542305423154249543325438254397544265448754499545245457154604546825469054701547035473054782548265482754864549005490154910549555509655120551505519455201552175521855239552715534555354553615539255398554465565455666556685568355712557795580455810558835596455971560635608156155561915620956247563105645456482564935652456617566245663156664568355684956859568655695457011570325703357041570865708957101571115712557145572675727857303573125732957357573835746357499575035750457577576705774357774577865785357911579245793057935579375793957959580935812558155582365827658319583285837858407584265846658474585925869258731587405876258776588315886158955589645902059045590555906259068591165916759260593425936559378593855942659467594765951359553595695964359751597605981660025600316003460160601866021760227602596029660372603876039560426605026056160616607646077660808608176097461041610516106461112611396119561215612426133361431614336156061600616206168561726617826180661826618306183861861618976192561981620076201962057621046215862213622596228862320623346235762360623736239762413624156247062475625426256362574625896259162599626236263362639626816271162725627336274462761629196307863082630866312963146631976320163237632666327963361633766344563453634546348563489635406358163599636796369563722638086384363881640426409964130641566420964249642716432264416644356448664509645156456464605646336467264690647366478264803648536488264945649966501965032651466522965279653196532265381654106557165592657296577965790658536591065963660186602066077661096617366183661886621666221662246622666441664676648466593666446664666683666876668966702667206673066766668906690066903669116700767017672496725367294673536736167362673926748667496675846761267616676426766567790678046782867877679256795667957680046805768122681546816168194682126823468331683536836568395684666856168592686176866468710687546884168891689186896869003690646908069095691156912569155691846922269282693756938969507695176955169598696056962169643696686970869754697676977769838699117006070091701067011470188702407024770253702567042070447704837053970675707347080370813708157084670878709977101271025710577112071125711397114071147712287126271263712827129671337713727145671501715837162171635716757170571743717757179471828719617197372095721747219072235722647227672300723637237972527725367254972605726607266472710727237276972857728917292672943730027303073089731337317073197732327327073292733057331973350733767346673477734807350373518736277364073770737807378273792738207384573867739327394073954739617401174111742297424274267743047430674360743837439474419744447446374472745067451474534745817458974590746107464474698747187473274773747797478774808748267484774944750587511975164751697518875208752687537975414754567551275520755317558775675758117584075841758757589475898759327596675981759827599876005761127614976165761867625776285763047640476414764507649376508765577656076602767387674476763768417689876970770207702877080770977713777190772247725277325774187749377524777157773077757777967787677920779217798878064781087810978118781347813978166782717829178456784717848878527786357863978658787187873978755787697880878848788977891578990791107935379361793737943279445795277959379659796607971379720797787981179944799587997979980801198013780193802328033080358803988041580439804418045080494806688067580676807828089380933809568097580995810108101181053810808131181331813338146181477815208165781676816818168681724818268186681902819048191581917819918201282033820428205182060820628207582160821648218082192822398224382250823028235882464824958251382564825698258782658826968270582718827258289382899829248294182968830018300883072830998316883217832318324783311833718339083419834488352583582836138365783762838128383883840839388400084009840408406084067840948420984329843948445184507845568458884595846618474784764847668478384805849398497685001850648512585170852648535485371853748538185477854888559985633856478565885664857808579086002860088600986029860758610686142861578618386316863508641586453864758648486529865838659986654866758669186794867988683886883869118692086992869968701487061870718714187300873398740387484874998751687567876188763887642876868775387766877918779787804878398784187852878548785787877879898800688008880688807088145882018820488220883898841988449885138851788577886548875488786887878893589004890548908689095891018913989172892258931389350893598937289414894188945889502895328953489596896328965589815898438989389896899399000390012900869015790164902979032090403904219046890479905139063890649907639081690842908449085790876908909091991043910469107491139911879121291240912609139091412915169153991568916089162091637916529167091778917849183691885918909197591985920089203892058921139215792172922189225392257923089234192361924559246392493925299257592615926169266392770928279282992870929429295892981929859304593062931119311493220932939330993314933399337793382934079344793458934959352193534936109361793629936619370993722938259385393934939449400894043940869420494237942669441994439944569446394577946019468094687947239475294868948959495094976949889499295109951169513795205953109533895356953809541995432954789551895539955509556395632957219593495985960529605796201962049622796273963179632596365964119642696500965239653296539966289678596886969069690996911969759697897005970179704597099971119712397213972229727997325973819744197500975129755397559976399764297681977179774097823978339786897889978989795298014980869809498103981309818698205982069821498251982669830998322983839838698425984669849798501985049851798568986839869198724987689877898785988339889498906989569898999020990359912799168991709922699240992669933799420995309957699606996149963599731998479989799976100010100103100136100196100213100235100276100386100388100438100465100470100471100487100491100527100563100573100598100628100630100639100668100730100817100835100954101031101113101151101248101286101301101329101330101337101396101430101441101491101527101531101541101555101561101572101586101600101638101734101740101770101784101892101907101967102034102081102226102247102284102325102326102338102351102388102537102560102623102627102676102692102732102743102764102831102954103049103062103108103221103233103259103324103326103332103361103433103511103512103568103688103789103799103822104028104037104065104070104129104202104263104315104364104477104493104494104572104632104645104653104716104869104870104876104884104887104911105000105011105015105069105136105173105228105241105277105304105348105438105468105488105506105520105557105600105671105683105726105791105838105872105881105947106005106012106033106080106169106181106203106252106263106291106308106405106437106530106639106860106908106910106934107050107058107065107075107086107101107150107168107249107321107339107366107390107405107501107603107641107664107671107714107772107809107819107908107917107942107954107978108160108244108252108266108354108382108399108405108424108459108482108500108504108530108535108572108630108641108656108688108741108798108888108891108897108930108997109013109021109031109071109092109138109193109202109238109241109255109355109377109389109456109558109609109643109664109673109679109694109718109755109761109770109786109798109805109807109808109923109947110039110078110079110166110198110200110218110266110270110272110324110325110414110418110465110472110499110520110528110545110585110599110609110632110661110668110693110756110787110793110825110959111003111058111067111082111106111107111139111140111157111196111218111259111357111361111369111378111419111424111575111576111630111811111818111838111877111943111956111977112021112029112094112116112131112142112203112260112267112272112317112423112432112447112777112824112829112890112913113030113081113111113181113199113225113271113279113293113318113388113424113430113447113472113520113521113541113573113613113643113667113668113684113696113749113752113765113768113801113832113875113892113957113978113982114033114034114051114111114114114136114172114195114197114238114266114303114315114360114434114492114516114549114623114638114645114722114840114855114904114967115087115105115140115152115156115157115203115311115315115371115571115631115663115675115796115819116017116073116130116160116206116219116254116291116317116336116370116378116390116392116395116415116479116507116515116531116573116590116613116643116710116712116719116825116909116913117059117066117122117162117202117209117233117269117334117350117437117459117505117516117542117561117577117619117654117771117834117853117903117937117952117975118040118092118135118137118185118191118240118285118288118332118421118426118452118511118557118599118682118690118754118760118827118831118874118942118959118964118965119041119070119075119101119195119203119313119404119425119478119482119499119532119552119593119636119662119671119686119695119710119718119720119789119825119851119864119868119909119916119972120017120041120211120217120305120321120338120348120400120451120483120541120542120559120594120636120829120845120855120882120930121014121037121072121093121113121164121201121203121280121324121445121468121480121680121682121683121745121844121891121894121913121915121933121944121957121969121975122013122032122060122063122102122216122223122227122232122384122426122456122536122537122580122598122748122759122762122766122772122843122863122868122983123010123074123094123123123133123150123166123193123256123339123353123391123444123445123536123553123570123636123658123674123684123731123764123839123857123882123917124018124038124039124051124085124098124195124290124341124347124390124417124422124460124522124546124614124701124753124777124836124871124911125038125073125128125154125293125309125320125340125390125457125501125519125523125536125540125613125654125705125709125839125844125874125950125973126037126099126169126387126408126443126492126563126753126765126775126868126895126904126925126937126953126979127034127058127167127257127268127316127331127347127435127438127534127550127580127607127722127737127806127906127909127959127972128007128020128028128061128065128121128152128161128467128478128480128504128517128550128562128566128611128686128784128848128864128883128907128994129006129030129101129107129122129204129267129307129317129321129358129364129388129419129453129467129492129523129539129551129558129582129584129609129678129718129787129921129977129988130029130039130077130082130084130171130223130266130279130293130338130366130386130459130589130642130643130658130702130718130753130787130827131061131070131074131121131225131343131357131358131363131409131444131509131515131540131564131663131676131708131762131784131789131831131860131881131882131974131997132000132075132085132159132176132259132321132322132334132358132363132409132453132558132572132610132695132802132818132855132858132927133054133062133070133216133260133261133323133339133487133521133531133545133563133590133610133657133678133690133749133751133794133816133917133919134014134019134101134115134145134182134233134234134296134325134362134365134377134438134458134479134583134596134638134653134712134745134780134802134876134920134952135010135021135080135083135100135121135122135163135241135283135288135304135312135340135353135369135383135472135479135682135718135723135743135822135889135914135925135953136019136054136098136121136180136223136322136343136353136374136382136405136525136530136567136581136605136692136701136738136781136834136853136943136967137007137058137092137096137103137117137164137296137341137417137465137471137556137563137599137607137688137707137724137751137769137818137827137880137882137890137898137974137996138023138024138093138140138283138289138307138380138427138431138445138453138457138464138489138587138616138869138942139039139102139127139165139183139262139274139275139281139299139373139388139412139435139481139485139488139597139625139683139865139913139948139986139993140043140055140102140159140217140222140316140337140342140436140439140486140499140577140581140636140755140791140840140878140899140915140967141070141123141137141202141205141213141234141248141261141289141364141473141489141556141568141661141705141777141852141885141890141894141972141983141989141995142042142055142087142142142157142212142232142348142353142441142459142461142493142508142599142687142696142729142731142767142815142837142869142972142974142988143073143123143125143173143177143190143196143338143345143370143371143378143447143546143596143598143666143701143775143806143829143834143861143890143894143899143977144012144036144077144146144156144173144203144211144243144278144299144432144441144508144517144532144605144634144636144665144695144698144713144743144788144866144925144988145020145045145066145084145113145125145165145167145176145254145268145330145454145471145512145548145601145602145613145619145642145661145667145686145747145752145755145817145903145918145926146000146002146030146038146064146069146201146223146239146258146296146350146360146368146428146475146480146516146535146604146648146661146681146720146820146916146922146961147003147036147077147196147219147328147345147376147410147463147525147642147697147742147747147758147777147791147834147864147998148010148045148134148169148187148217148220148294148333148344148345148347148371148458148551148601148637148681148706148752148905148940148956148997149156149159149173149209149230149249149253149259149261149352149391149464149483149539149576149592149635149729149736149762149783149785149853149906150046150194150236150252150259150266150325150361150397150465150489150491150502150521150560150578150601150692150748150775150809150811150903151068151154151156151242151255151316151339151350151361151375151385151451151507151563151576151628151678151709151727151740151775151776151789151791151827151887151973152119152166152250152308152318152327152416152463152468152471152499152558152570152650152699152792152948153017153177153188153278153315153339153346153380153382153386153412153469153474153528153635153705153732153818153843153853153862153878153900153908153920153959154048154065154075154136154149154173154257154327154359154370154378154398154496154537154562154598154607154629154663154688154715154724154733154765154767154810154850154888154902155035155048155088155142155164155191155247155249155281155293155299155320155348155408155414155467155601155637155690155715155752155782155784155813155862155880155898155920155991156015156044156087156120156165156224156266156324156367156388156433156504156618156646156760156785156803156807156858156929156930156982157060157063157065157104157105157107157111157112157124157144157161157329157351157373157390157455157586157622157638157649157694157728157787157791157820157840157848157939157972158171158212158285158313158322158351158416158474158513158519158590158605158616158657158669158725158810158832158835158848158849158858158866158919158985159009159013159110159198159241159275159279159284159343159407159408159459159542159560159573159577159600159625159673159729159764159801159887159927159985159992160009160018160067160069160148160194160215160221160337160396160465160487160493160514160527160648160735160805160962161116161212161256161360161380161456161466161478161563161622161750161834161848161867161893161917161927162026162080162155162185162256162293162308162361162370162375162454162468162505162545162616162617162632162672162681162784162810162841162857162976163024163037163045163064163090163121163146163173163235163245163379163421163435163454163461163549163574163575163722163777163780163797163804163873163881163894163902163943163952163986164034164046164091164137164206164248164249164277164297164298164344164381164486164577164652164699164842164851164871164877164923164937164949164974165037165092165139165158165160165201165253165274165427165461165511165644165654165739165770165771165781165783165796165909165913165947165959165999166045166114166296166341166358166407166429166475166538166584166685166702166704166744166773166801166867166899166974167013167022167068167075167083167116167172167235167292167310167441167524167539167580167618167649167671167688167701167821167829167868168028168148168189168229168239168336168387168442168448168461168477168516168592168611168671168701168731168758168785168812168855168908168955169031169066169073169224169333169360169386169424169427169533169689169706169956170077170089170095170190170227170254170335170343170407170461170481170560170667170676170708170717170739170775170787170796170836170841170853171018171051171064171110171167171184171233171267171292171302171613171645171680171719171747171765171766171820171823171827171831171836171990172016172041172048172050172060172084172153172177172243172290172304172426172480172482172499172510172594172617172835172882172890172927173005173025173052173067173095173166173193173207173273173303173324173406173433173471173495173518173685173687173691173716173733173742173747173793173802173807173848173965174013174020174024174026174058174081174122174152174177174183174238174283174296174321174357174419174484174553174644174686174707174792174795174829174840174860174920174934175049175050175108175113175207175212175225175236175243175316175318175339175374175395175456175550175596175610175638175640175646175658175668175705175711175733175740175874175901175909175928175970175976176038176054176112176122176226176297176349176375176443176452176471176490176501176565176595176597176638176668176722176752176769176824176834176837176859176896176905176920176958176960177013177152177219177221177246177248177371177397177408177412177474177498177507177511177527177541177667177678177690177694177784177880177904177950178033178038178143178200178220178238178261178269178275178296178298178393178461178552178596178703178753178855178881178899178969178988179009179056179096179124179166179172179173179176179221179262179347179349179393179464179486179491179681179751179753179767179773179775179811179814179846179849179891179893179899179935179958179981180011180052180089180106180118180128180131180152180279180345180347180429180489180632180659180662180688180709180722180789180846180865180952181004181007181035181070181080181155181165181186181209181214181224181310181358181404181436181471181506181564181570181583181592181624181671181695181717181744181870181902181955181979182006182039182073182088182116182339182405182408182420182428182441182444182446182450182547182610182651182668182688182768182809182903182960182973182988182992182999183011183041183049183136183163183173183192183225183244183266183281183291183295183302183321183338183353183368183468183480183526183547183561183591183628183710183767183785183788183810183825183829183870183888183908183970183973184004184013184017184110184124184185184201184244184250184271184291184306184332184335184376184398184427184546184669184671184681184703184728184730184746184767184792184811184847184862184900184903184907185041185064185065185131185173185191185246185271185326185337185349185484185548185566185614185716185722185753185816185827185861186004186122186159186169186193186211186218186332186345186359186367186515186538186543186547186553186657186708186714186762186795186877186903186905186956186973187008187047187094187281187293187420187445187505187607187649187736187768187847187970188010188064188081188109188140188148188304188309188312188330188344188372188380188539188557188618188649188819188839188843188876188957189000189054189146189342189428189434189436189459189473189533189543189712189751189836189862189880189896189901189903189912189917190044190052190075190085190093190161190186190233190236190237190243190296190339190510190530190596190668190747190763190832190841190893190984191028191119191136191155191199191261191270191281191297191353191407191434191438191450191568191575191599191649191726191741191754191786191863191912191921192047192097192104192158192201192248192319192329192372192388192416192496192501192559192645192672192687192718192733192746192839192864192876192880192885192890192929192936192957192994193036193105193115193122193180193194193224193234193244193246193312193338193385193400193427193444193478193506193527193570193579193628193706193711193730193764193789193832193885193896194040194113194159194179194238194291194411194532194536194594194611194658194713194717194728194744194790195002195021195152195257195272195311195352195354195382195394195435195470195581195612195617195656195693195717195737195748195810195817195850195862195866195887195889195984196008196041196068196091196103196158196296196307196318196363196376196391196404196455196484196496196503196518196553196702196706196718196719196767196797196798196800196821196856196989196994197017197033197051197103197175197182197193197194197208197276197279197362197390197391197490197527197583197584197601197641197643197744197752197753197829197978197982198100198122198127198237198252198279198335198360198383198425198439198454198480198565198657198681198705198836198931199007199028199039199064199109199123199129199152199192199233199235199308199331199465199497199584199614199618199640199648199760199792199846199871199895199897199940199982199982 5000