7500
145878136328173197785834114163195192812472515277657439819247363279365374826769123877826338427164973147825882439149638723473879671316583796693424982671751723727975419572183152762682885738328649718429617553717466688288288643293511454734277286845181239957842453658355482796118674724961974211774162332839172481774164882125537521382889784612574255663992843469721337417251654993851377328168818776995356755932269841951562267751812635782559932524979222254619231666687321389627665261271548136669942869854252482139716487946122633479512318792581853458414142543254794791738978511845668554585725476631578951548732891315431214183761617362322733315263459146529175752545441215715565179844784152695199179565286995215125682776577473995384598576159335523575178125589843929298443813949213178319792933261672695325672773974587852856263177611765854986457618165489379472875315473589831468798562986874481459323618376159996314132264697697254119462256678882215492735461765588596786625433895946416422241784395233923876493967978835827347323391471221879546586495827437167749841914541256361431524852441887338492287777254723851865564654226637516928963619828269418723262569751986666914713632425323183222524815483865948495128129382479971465161347319268281522867187725178627785276868912916569638169975852961398138289725786445347294275451248118756474811452225485975551376431751644471993136915841392985238492664895935492323657734467475523743458912979615894653413213695957682463395488595632513231864444288818291599394158991712639713313299758772879523592647382826622874139677427873816886984341276492122648227399999854722782273172591225833572392365961568765477571852926369367229423545526221371574461133535732573215162118352271291252532941682277185331671468585264625338177456985912513494811815392491591451485935596774673752554488316767327761185849249784674369656249292647812493493121248342763855225328256537311485623142821838681799935862991795191167382111219379829311589138183982492477117372887252524222635629727688343546645614996619578925238661215993524542362359374273889971485373445286229495138536929489642179845437122616998646115657944287153952282728515648115584934774933957946835918927856894849284162959844323296121473449928322489827554633157833925692264129992423967438446362477878325873712258464647179499456677222142315869146467483253467994196425885413261597329333974419418522324229183783132416212722595551776565394389836926548537559399728196185754111725387213992739812816152197294346826515374535424424519885438363243841318316921161361734565819477781626825777493772497536751623326518388281926731882652918727748727169981692973194812191773696988411195312443381527631823148274713867911911313953793913849711985286919115638362764811893163684855321353771813546635933551969794567869462569348424329695745643915892371736291313376332524374694463596866611949611645928212645282522421924264424921878578618327434685249374522595882251175146376491779345883816624121884576286729258552385414727684482292628772131569464566599499191558463433354362217681431286691271514485718362252994458312812165967348522451712627877418749864922252347382134162515666227111599229486255553948217212145285847686476999453949935829116872538867948325747564653632462463325958517858172544189585253571595395172147639174246776395889723667651255159566885753329323661668629989576342639868444571828237859943946377518619737391326342596945876557998175614775138758637887731885596484655538551574523346142292967989843177278668159695791275786872277735931837923759944123717447724345514761318233385479624116525371472812146874191255518255126856268145167765154856186944163728116491125695613858314189327523127128589242152416852585947685839231558322395586467936674329278432484868189134125165136548994511638585661166344761224775363521266795197622572343741219637622816429186146864752614599386853789842786465781976335228457421727855996193673281424843272951347413344234319696646688119924884431916166263329988494498667453329787629126515793455398522865984169399191734379784893859141123394872216116489898783532148563869729242954839914967993788931125426533298372286551718133296666328821584669745658937821871472256818278885792698641919299387359566645883622485322764135925883836728985943364551788117942512428774991348971739693328736769881319989972124692582162531571368156513388786121983619359598762428983669815477913433893946722398726297562452845662294462755381765874465658937451666143478229295494723992143937771924967493678493147586587278735847559478238914494295545135884535144574736319244296769518941847516314547224681558194149111748328666124548663687752439223582332565736553963382741343166262585643251988136881167824751341495449566246741667722239167728172117296793878896927857349251531947365496169147447742561639662839651312781361818385685469619152858223919877446692775599447163374796849528199875197622547289298469617745284876971924331662176629847756147376148736551553961254761551566776658356195118263491443136136453254637431843425982659467594122198195485981751751879423891956711261876894424473852732228479866719391921611559661863261811666238383274784626568663482714271869677172396788957676668618569514344867121343343293196538856359735194221587957276138159767494483439653657863532495479574762213747316376878976352174246473295423846375694361636233863778646521473262979555299565872897412451735489582498856222455934132694224784956236456953598796448832828436397771992965654616744786544246127446485416443847421224611113424549226371248123932316488791273198313317238665297647162856497338467379684517175541979714416884973269977636249442836356343855938467878825751464924268963927357631974136271464278377382192137257551169598454933618668861184248211732169135853363493689153569632714395963898922137156932368693667564138955669997557861336787959895618778626868641475263718529116971179251786651941239253983693295368144254172565659282771169591782399237174613358513349541473852444231563274924981159694396478379284825717299475142687239736365787311615298963861783329456316739448895826128268134471627763911969291285469898117948835884389916816935546914431864685855962653383853887167961753641969549591118574618588464685217694757731879448156429457755423297654694559672639311131241759833145774447878819892899263186542127487577751272979427187872363556254781743437581888535631239618628588597452577389749238747616747493482116951254595871397376169759152738827343868673345664455118297842137839412171532797662638786343233273331428652374248122665856947542218651444415585161638258741828445787592456391547632853848915211171229659881719765863586423958449143484721264827334661469942198986773313683751667339879129912739782194285637134263839985341637674798426525298796564872917468594624422592336583766486989139529382313867215312288965915836396988618198883469212113532661283177998481511868948987712632329828185718571479121945659596944849911596459829251798715977663425887266832824917448676238278632824623459293165975971961683283963682593886228683815172865948525444725995557181346438982289745233195233297177581648535367399666491932124276391217213465962747363234658928739982159519746446118757461545762938539298358477918279363558819546818537831596312624438123912235984198138964327274466361244639426538633659351391554785667173669217683578878884579592933571911178958173944772746691437263472994269522291862694644544524678768943565838162129344445627892741316114396616121994797578226424434184751868184565645336569897921542292721581364116216468443693617176644646521243318571321417654921258897686148946635344174562983125957968296329441786729333597885438