20000 16398421650524921125491851449947341162110983733634205481170855843982093944656346223364952238934757928846799873580848464969593516312945268896563110439024879793335525407030853723466028883080667305063647005342284082743725665063487561319026651648729709148931211875474212818712442434985351187578873602964319737102558692567254110609463238995787542696252163024364533485172037812079849932944791983458396548853289343629579841280526061132045199657580402318184159076844292004101545551300637599793167281691498763528102234245514916244853952267903074618140981315537012218534864171988917662395047347714517435090889979767601526441771113412944487418694641856625778165183107400643424463208450154916584743181078716166446241117893346305055184717552116802922185918138369892942086026523177016177250315794947085385240483941208084235979169236198631457404444514003540309119856426875346574678319167043075050929839302939713080844639299915170081341331948802282227553910160598648953753351238682029178507518013803003828094416891011484092559196728927932910604508319397218644100535791979908331872552857923284944789173498868736394257882547721736118812610174143727065649920184918375014834553822734243721285827765154174348263327215349749276683619234530448918553545303992363025608388086622168632749381702917127036184257072229817187904791069466859224912059705920352286591090809166202672809549858244833729641362151697080813585026009699865875940437390803766620928616823028475894600879179846689842082930720668597560707342058336178583025236519961545724103547890113812332506745149442512673927748488309144088355096303039145083681194634982301562736781857373219780006231958604296107996525842729826397022109881938259884656236030903894435463591874648064949516882434532100299386194127998448007828558716108623605123345740198175332942096734259197398943973702935002297003304859448043887406041013122154334732840150441221124413435926365054226838962149142429962186825523287247536419414738254319855790771933897716563302473288571951870963907621395319818909020228018429882668173991815459281748166253745620248211856547910760372052363035970825475760173075082559825879282394930550319788570174364627021378971962105863278174172321575711944151522815065597319498206093285809673050697015438564848018417926931229733590954612068689702832163201582581789469382880094998484753832972540955984118131120216332214761280356535405532462406225417188851513749556202308744516398341390722268694275965286672678595658598552291192725268449906665413563007936684877151345277899799693029293289116108439655239640233062029727444239454806400609179750480712385529930189235402346070610264869238432369638998871751366645283358029465420300741142279456545333755906147906132349944720484108085706687765693091061001875344587787569853682858483322734920489005930065100619943591765694360035947310073803744904269985307063449063900427129823271279895239993680197236833752449547324299644389924892249883899723070544114698325398631677540519105641494591563649050554498250765026795977697309942064354416367420602199797633579580062408218899986581050138779559485387091657231559060020405280227409109156034426208059225457834306525520678861687797392032441860953350765040642561386247796930847026155209136552876248105123076985945872581524290332902689418857055989910948984361607308158965442850571924957824781420302207079887616149795574097331155429726333797284717367191960980063442852694630875929227616464927757918832962082079912841144343110856206303833460945917473685176505700754249886017892791577306672677715771619434468271245678581823976190578892654277538965607145079806943187586773228590583598412496645532511514560442657697856242724676302267990641228763580483212177746327786206313782807105662488982738419460907094159810360163658576592517269494021892673175190000047312724113198166357859204796407223391013562013837557215476901959312181102931209417911178211027437995650397693122509274523614146020793742057983197146777646948894457704919444389365042998078359462693791004504842164615467959571469569444995875829256695481193952356391054375898586179006202023739233928431240671832035834879094067016124251709049739406073839521478862432737858588729176857056858543220021895092588585474817877670463319261167813136609138107519342183561517956417992103123841176946399075467725461943409787241779530960777600391538668541069653818103857653907314906485747539885974316023534324829399282566638758408165955824907302403882602835992366045649178927569608837325547876179652878281024873002831693261558005909721748446842143910272668112130813378736434688551293915963198177961000915117314733179124692977942254581872231856244655432770155983603435602675701752208621991500693505416537461078917772316500928654245387265281881567763903376034388865784101146565458673033556019891475253927682318169880921604458955707141075670782982106433006821445889624452042946250200493072513087240652434993984250402823469689673769055139319444477352565194087388339710610095953035146666322017616520823966873914044529847120120005583583447297800921600893165573069590548161819056380378779519474107120162278081574223189717601751088146434898859278409383256286277401017091801234174784479253072787515659830293459223928371151761553502093257902965847141372307389269147485821398328256213104159689986831217880301499781498382952742782376322138888259473679026919075554427840881764218241788557000042830763701626490443608259001287616049744775791839821977829880459360197477801543307269460884491394797199900629477961368531378303779460984326196314949131566075592788168215315029144623216467691527702036168603557330623356331886253877223065711286812689785237704753119199445730501532062373015109967023460625363469227741005003888470511515532392786861494576328692913364146316042385332977791472047712318610646987896407955709887468635324396007844971201968786425125017663410809267961687287879273429949491150242152035932371460259747493286491574315964059990119591438933875076430400257071305368676615441854096557343618848504000000