7500
281749164366297657217859975446952288272644913223966286643694377143445414767134363437331616131279196874955258319783738836743552833686457918736335378436888461153671652285988764738929551481212916172156512385458349438996943879735431528345871677811189883184526551951848128593356467928217496839547478129539679846415954537573789186125233684151817889629451181537115498313158742767877383479941848883152349879865376373873194256847717853388881859926794188757248331843899224656394247263666386348242197133839365961312241524174367613691914674457158182333635345724449535511661199366415874952646989342131236368632114962683183874855666166617229536659438334711176558443275311795639443388717929253787827775787828679198241911263575593332838668625971153575283728872133925621963857519351988699636686458732922889946355489391189254457418764825836893419697321384883974544523642616483875616384479189688724543943133344159888181255645411985781889254192879893452957547374373669369957698686384122665793291132878579872437614915667866438153125127634847876638123431657219372937997524578882925443419381889169897298625496418581634823146253787586824973297934653666314993972464792696783936326663951199491865986649149636743962771975234272976929272832658765322652175679612866971191329713485611542127876939413123534651763562566324778122859769488565623989793949261867641895628178331276178672784354863221164936768453814256464385415559463635527382485486384544573988291525635861968721417783836234174968738864923659216228263547666536328317671819764414959571432167121971485686321164455784999453716811433732299494572816319459422841657165112815865695643742662958319311641924741241465493795822938737534327845856233543324363555492216248558951397363694931529721231247573283943311493853187544878581638247311785794916373481199789677711324471184558428558469163363639839198919171253456246559213397829321767339674769612269546822787318184558136586413749695517241618946483891117798774475751961636313737853685515578812156957854534595764531118776871413289673526526621961994946312978284777372988726482465769491666485837999548914711416151233232665219533617416173986372688168289933114679965229931127955482582936762444832943259694492314862798196751271894838633313927632591166817557536569226783279558339971521469935679442864543284654337742386239122262291244125858349569585938775532789932313958521694626794744397239146338867644691943614784951585369551556293547417614153698572536818313285114272975431666434396742122385113212489579813653716525464697946891215135511542983141137836972368992578628861446312389569969941519928154933393125253614394662551957664163341629241758915166711327847657686248938388319298574575345888437711414838756865372479616777372589287975341299546418872728965541158396196666288669189931297261182481312498162615388775311246614182569913254955783968685868265986816282959136798577781723471529942587818561675966882215415136379851345284868226747175496685195267127259617625883937458472158116388312253224996854954638253929458844511811645628215159198769166154641789726741975286483519327912324482245457375566851819378345212791422583488557162259778482439178374367546137446157253784481222198413629364736162658155634258211569747921241111777411987867954424691955152344829769821576884299129822296398795838675196346724187961596387951631338435454463273914975174714866896697952991761817921135917456269379788479335558133173419895158196326788315182579853133534649999417727129188171758125139415118196116986639889527453569157886482687122358538539719218719273669783495172222913575229223432897896968175879921728191467969943586413494972149382451181158722653788466935471384931836219575548583374275391411172694564468459431511529221785661831992253348479933234448441419489249254478117564369856444752753526277897938786191546784284497231674531297594959915215264856935272366323617952346142731592533498793996618218251147586191926411356974914941234356492548718115123653414361332397486959574667564965722238311662414146635898325631196384863571427172836575869373761755492847159864784982233466329798679291855919427849179532489721251312919821413911228198798926566197483643355974492119991125491317724558312855494241584793344878296599243394332876847133912315726474852978285855549992331152285629931689352532427426348683665441436381653571426973994771584255549459462348961899362612826754263513596362728873996386225959881761792429635895318341459459927382538885413136921447454682886332945244465773648534496125479549952665289266551537371776676527352512976831478755463957668131652527962589838611456977912316277269131981679972254745954269747988759143743127274288169294915923189343241731533418434768498873434221717364682742772226374781744775774885485835598892317457182726874236119844365195132454444383578912613361624631926735998826584129236535256626314191416111453623974133736393913185239443154359466347631447143723462859931473251739523831946775732277575788239358296696568445159138818489912276593976763511985843625114195757714332422731275743795257571849631883941344579341314943344964966562966856963292419188591978449632667939159861288528877963445138174112925675723735988179357314944711813626283784238234319638999292916129738632996296946197288925386839821445153279255476451798967189184479122394199662632537685141635896777389621279369464573122635387426781258983618214344146741234418124375219742228549153554431114661714496669483445433976197251649359635683132871719842353275612464465194521381861774917934316392433733828693977584668767928329883332135385255258455888847332142146578721879287826192528376229272351795368522778534349319472876341232557428136849283848782766144744958371587911726898914826752138717739856612347652372277768488281464311632232931712347937883273218897782158732362857556495656829634573224771189234349299974986253256972167679544268438463327466174441689173957796928565726276225677981699211323317347916757661278339648581294795736392371577856158292143547938489617224713271187182198938751857352478589462835748234415123847281246664458479487167796419499467285888865274471824753337467121649139864197837395336361581442517196937214263648277377395369235692924723412175554772984853816162148374834984332577652659888338534189169421926352864192961863438821675167245476592554758593976799258548762811533922542982955388394754313484514416914788571398672373377194498496691575358435994474489319839495574663718653868577119554441664825613776983657128582138837282243489188691168325394895286479529946778691316299834958671815113352862662615596879487248949296397556319764251232765226684612793613761252161353725195562657898587821997935352384586286913141549251327787679914891794633817169429934144812351654276415276664341486847273783156599639775915977857652488153874255973712758771642461984615834766869952696329332559144117322717764975148869474218381731711972892236342638822997219772873169976531747962971126796275874619866188367338565362996495778861361949576416426686923514272538167664951552193529249165515626679261415521184652476664848711723469611729484158535223811346123771479253673371141675671893864672749753323357574381918298744525712637661785545243998729964441759667676581382489511824217562815252148231939464866447712931187452434447369539756373169229467745711226496668981716544326497952493335767157817849318726936857334677852264782525992872513478291758824246187942378568517445438721411142664699259612272265981485894494631972595828391913361514751385535295469842589529898989367197917114983721759178998415587734537689389518664461258621798989465333352449737756922835823221914748538597673855974736889284715286584