n=16000
Z=7519-7999,11595-11949
M=15002116658126166682898902914669044414567353732155514750294862223016805079300970389162614464445605985457224831931658897765353760774135685913983100271506515393196850152586597304376017792467072595750515662565770288919838421864845495716186755842013796548565247514998546763686821349596284738753531757906960902112277317493475337914020758804626385453183318578009522060409716493742807503719292546008430662928527508545748957230765695127959681554956159743398729318427137233946348149863554787273416119553658283277645986978037263134589308147524340971036991796570824236607877529878436495246824354034432691098573919679183530998767215308728235843343142528347939337073752378833509969251732211405588740142002122120423491670337939652580614905338092253463600582195193474091117568075203318115387438031357160003972533115882314605245219965423184608476687129181322520192464551283681207835024917366269506493700997388142009154363767508680627570848717684628062890407024758538816082318077919783247367266421260913187844938622422356017192521318989721310891484703138849224523062271102199944854042254294589806641471044994400869340146066231898404707663337527539949190504032678263873992240198993965696570771230857655095271272991794666079962291727925378870100467092573661359470792213333232595554923427602220289520579069131336987172162043422250556686057121907541113198884901674198160493243367858573887149422617070873804961467485945543768037338940671765353501248215669848999219908570850023963021317493298488585406564644496296466311191808944406850944472140343083617524170282937985489877443923576129099428071227354378174137758981184144831988448529872776257140309656772054828590909598783843023126116226785598057198536633924446936461092651434003083671593687239096983301574910532964383380334104916610070065344084272663608974454490263613956606118607545863227884001867863247204877249380963373898913130208478540569508001578209843764153008646145200785407253554140630819430711904917770739595120446703207439402373888911320075270462379216126421203226063420448006104108572274553806062644363371705586745117622135014409571437118083469815680030470729450429037607062910443656008685213375643916388996180720327647274634609924100743850492428793931555752147995859990815326317129935420784489359034447200786951012395144560538527163427897431344416285349134588150291742280588555310075110398821591332515472370133022276254273689577996733477720491169476122835890076625082065073272377507856322211903928463937762746522331644531335681821509363455184425873732099453434748166898803368845262445135158007620096086277415229359869974764346199214337836150308886776664225756545096977063825158843481314503107719445040328126509651180968852088896660251808700890940776362155151753449007466828833880763900020346519548233531172967010291422187709391862559906050387469552750553469877986349889863135201122071282165972361950829743885510848005792329427439590057927925247568483749293930139392111467574366237445111213623549693864948772989410555560879837414031403775896850840399935405612065260714236987289817026718270548622744989224774356139810576812489566241022615341209692901954497265262740555051642705613297714302420695160194189768396014577401982313059482780360836108319243200834745243018325085118922736273117403612188255774345018438426643837764756843888263077514002125398358630261980279570919256036244743676658335855848375450370629860744004872508964977854331721730723909857051483927164490270132043373250882675942958567326628573999517668011353371855078036727526913432546764587830655109693671149878079867119160083152924978213118904953246531464644001318481972051177392337818896388114155836057820125214729831125239838560129631589915605042441369324229938727360773996600268933171591162434703431348693520302625691529955020177750837178966447492472575460781415646656604448053440411712132919750268803956588440413700750381587569786560219617138521000749313933400950770532011653689347131562147223027973226457889130451881332289114604155548078130533461003829742839712819712486780576042598871198628520791049748581008276440489929118009443743668170001988016793906448455321702908503295997835478749182741456724941303295094833347995795319142446109921606269137395506631730936882970397494867246771212475309632551298691871621677301789219030443932646493143671153012689615825809777325860637331163022443482598768529000006003896755056333751422822870950818322951483083281436786604617702757841745271801989131950278513972814457240212871914855897728754017514663439070656582090973726136121414543701002525778210142135546813512188458398670103402082852286908386898874647621222400105534327255041675029558013922828348716917519972565071530932511707160671918833862907200393599085448483325367300908875156534140637281800899296834411184862137646082915494188167835700815214835636594718637090065931759248693376649294891300165147471084551786984400
D=14954498667967113003986832340352682673578366454466693212494844628478764487816049700064313769783848519183985934605930338617661776773625388610678514091438172125369561302187654455612491140137684393644261481931936795577656419900268053342753776691168969615918571141339181455716157904274419592711538963461514966758572976361851284008743846858034414025519741381416326052187862815001845849468893842869661687481237317767241420738180996635358813158271682355136024126545365375670546942009092473346625863815457797247746283608682373537910593613304988169365829470089067291319740854704560338605669598316006220054272057865097256937835110728897444934346919099401101291460630897609898165563103537785408326095049163600919830319394793473083617646715420707212495248773396899092717838188023461175507389631331307134742351154916895183489624586546960729039652144998653003649656020219538919308419808482553517991129112001193544615352396524149602556934405201785199781541727881297000989656773967610216678984591125209526512984070643707827417512513219122376773558773195620221746655252288244883984591549941062188237780969401109410494889065377794032385028883203047652761258472889892281890281272560914759933050966437700205113705771844684453593400467251509277248822426803677365777086520074382104489130799327563697634620390102341243548834699925002243547067224311224762016515649189526551460115674552131364827715163652462503292521666998885113314752569599555317896572641258756615146084801822550861238055209625982056615831037733663228100565298758763952836916950507061247129676746414383589006867257956820586860196700453199371580831366252578326004852027278830337897543200000783082546051170019795747547817844448438755971303041697530001949545347118579337643050462729034643700716532826872667023656776819320638789190423738774376163866102782309289498707000316211345897453066640201336100025456809396500263729890744037638998159855354555933766444179299731987995070865925448830438267911302788694261970262243034511737768252300470376514888947758095501793677329158865978943444319085844134896675874146315917572415965309128506127085401309216935574715490442410583112394308745076537641514107339092152836373051515873102482739166764124845903594502264739947523149904158150292748571343050995669848568689990646395790260537557368008208971080549681715784395550445053306001057186023837169748367909352106678751391314105369181535392473095745275761404759502124985601186736424132022317538194068809361382343313831639651370403934169195851769675477360502730408738138145342481591444160008431179760472691647105090789468808938767016996302978705745477803931227550188732382858785469966124856639718320065660807655812189102928685264696871141712636993345572018711179709641322492161780733217157765693546831944299211257191268272259752598983241036041600133155668465999536843310504190933009286873210735250233939306599311920196295223273674300831413206166113536019169235742048972718026100462866465251994272320908640277267620528213504541314618081470489349993822758921193881416511862554808167826141823915792729762420502472780293170866000496556378284274646668373592852428247843252803718709236821816575050880222717558930302583605434884904049855569862520651248840535665460027647653789383921236254268334974990896719079874710494635490512624798752769655509415483103724881055889657344191046257166724046536683209976173570442852488909488273017402395681107832922296299810256343516244868740662281486558490752416942782775943780299762067939666409586135442595293012950774111174932970854393257512255610914985298919002390949974893622253575692011970108428660078599213757096170659151475762085118772829238883585257973871649889960804884794174872721738052328167935429443988020820590598621328793243848816077468906180333960047292810876726429673517151070178465493578488312839656323061428057249558846739900052675577573993765293433896968381955359313574135303919469297864933565109887498522960065308098048925197862713562443325655029212715404911008328272068057519538399719692852473614456757995137145773325981031019104259042850280046023430205953358119261320543514507901480797405703941700366650456199965330712399689992869488487662571544984745886043242281434839496950859937730425496682867148057455138536688365563056792905568995878731820069538267285820160319399015483202780276097189486982417738659364571583006604523924969431078535071282270551168098499144421193748262968794362766583539932720514994250283399293593939175026510325851262088621371336792459329974191662193901279271276060588686849169701569194747568188963725081957505293705638731462421446580990320326013372386098449923348588131286393027325851046522840031317927090991145749878263900014379823889143818930323487278097384740879877440455214204835283863614407235573947415172595515830817175723156399557808069551884484951501893176256299033472157838878272590640171351802949202915271984356672
E=166619081378997775372027825219702090970766915448120182415333764807567413323421765485895082684110163839922758884398704937315271192557336686168101038597439187205494099737933455704808909302210032485328938668789347717041272471144822014589835177135707970396411245223818302894265404839562573766224209213472301247735829388613791416050183220362972372800852661374126346742169192831711514118861481001765510863496752156883809349774262400128973229227862261311652877048216752503951783599005838670677585437008378213658569325590104509104232048305384638039755122209083751469954295850594226923002210702450630074308996264131599073667751534936399130858778264789519808137484690190212550153337361342187403151826894210568739568824336777956061243314319153352013762430504114754099204463622131289405523285197356870713261514805666310523632281409761709106494441966221545446183940714887837202596941316695826254990156251395208602241649573439946482424171630304643539005391567743917316907703097541624055781132347791655698682218103165154933586317753038066493330242475264576502238217496236454866462132272381979349626294965148794053356610681318615083978832549127436756754547209795022387420791340564288818596375234302856583136213545596701992700852489194453543404171288020084554660880128295011502049850305839998341604430024150938190598836878420017122874481305514094761878018754614330420083014114825441679708186279013244561063748734142082335468145235798449000442478939921281346610835548717082488358317487994481685855869448562087615555538802714853679510570854908738191699226741584442828882798023511342432006354658850067799525965745737294642112730533316082901613610812420602717067539218314041436951790093700360638966627598347689399237955641321875020191883025683372905115392428552661748670241693095324317169474631326960761922594411978342912953969681996602450238709433730677940136038083976423869825329025729314507819228387463631094844395202029051408022298208610496776312527471390318793650838112555942856505538747866750521233854464347676773298039774467934237141852922990030978253990190655727832303415206172170147283181054389576170402618650895296596680679286542402544880180160831206146157918293824202121783703198407086554123341065499789621600560861222397550150705478308216806880540811251731196182545806051538858180920239186804708834338043636650457968528324190983454418019084443106840845125974677558232140374360107355207134006494394393753678784436033166080703360806222733719477196353981860913048725369691926357252941080840961131118040801287908971395658029401965262790935277806749686358885500803692656618107448478960403351394140999741421566901563795826741217845776869758066129485998272532280088680998156484182907692486011729420271885447636079366842667695669374172187890770658236262886557599359248780412117232676642867307252816986723809154172904627447368470471392887259965068105134802028905198778464785746088732351534985929694770892925698821916059710629197106367173887103159348135995319678279793499904754015456236491529238073902388167316797939576387131650059740639713933441899904989357676012200730405317265746144210542660559995575182335386157409810535907730972798468987665647540628270461797819710558986678184627798235997272263503667168597199370122932543712582400197380337841807336906698131531589466053488847635429577343725547977310773894873012958480420309029439125488785661427720906345069593035981682491012406290157989526048108613556759410826323298787107176802499027919067988543257645305515848936741750711119688701710460705778280394178534537672949268188563724820907701289966226498082267484622877530868757827635510733740681322624025387252018082333221149142649295325947675530499094570006213009102291264669867891887292408218942307012942156389479849699952905743663194344125005021497323029377639678995112062412666967164506991905276630619400965887387504255181939686293103658280089050080359088743020393464969787513760214942611715076253341597037054108847928005388447911681301792029644435438175895583094226230556404971392802596946539434524326488720665620628228690396745612698348090159713639218814423039281740282040179857123584217240289865634469258555409572255689234911106371364107710086926873463883050038984084615806899698717159314252529418963466305776898153185043537061651991136461578678287853510366887591806380578217925855660283899965257657304226526713660033026276554673760808117577001569479180754094089505543656588683195449749963321907264883567557880809626596986443620109957422026678798917554783444520032502617792578403791688528326010655194479676722686545299989037021997471740304871300585967523900371936299056893783915476180703168332312374692219439552729474704567469470180763921272073189465716001507968411063067249136793588883987286948293027316205479164179785269523979710785249809214555258535309710829829233759187152800339356866162519932402618253854697516847357755017315405630374351563080410458106702773728101526962893513954605459557146110047049335586138410193529966680787551260575204520657162319825603842564707768886216442569851021582026097488997239070796088409433763457494460002465062589603312669018861838625416320309988237508248034224945459318316504791126502914609163244336412811155556181346576289813023957033610310490012898389971939912275275810864636609069863432477428331771899037921349910771319923427726853703581237595778569404335591381300944829405105954403527484051319358597984430362693528995186202783802835581484820161887869288593966166256653323145164605320414967092542508642467042773855661688543637492174545574514115056082634472930956959434089297237895269458069794750012446452461730252826490805957206202125658993979653760420439406697613537666774072264987296945714175299130226232711687971495111612724562559857546153423158797561962554034324725185390514630549309142757937917979853763325249017251498818258887261616450857260026472601661400834562730440404201011307360429994475353718562456704341513498187916779934192995731456475801730197391090617506328613752371588377165449345274666429238588688855473844899256384294328003159827324934855200795431378106373860005322611736102051971268185806068274298932746141968040074225284315137936986985270165023591665896907333308356477073111980010320879425844054315961831246799744202737135002907454425208956303230748482362336682068330060726967432143074825996796377845702774247762903134697311291745116372088740849322151094150903562214233016764725369875340467042872763885780020463052315480026472419237304972842135960256265867531750024699162241691144535797066745856196699375687855522022840217432307630436723742576345339054059978013186857175702762905636137255942793623849852984402163349068143299034240323825083393540650457309329055927059994875986090826477319816209783411025366812529044498052632174150187980450392460321568389752269306280353822551533883725088606612573068669052518413674963323386573385825625059636457142459384832453448277778979653991715303233962343270318794538531144357691553656065207712469999542987197016437655721970207396187900910054949326483441204678983522487084166496773309919464664574242098223724786101514410142648374874971481723805351482493323429839833559054159110772242276091554627337133983338093132619401764564373859983833028947536725610791203414939846314205036201161102517898878595575641292610490322942642087207543328180335566498849498302932915403752754723798624529909584856323366555760050040273019479556141397411774062219378600031333743449849245699652581003445532795780720909382523169923190517010603249632413730265712050482280432923543958151343784947231551709530567361933261481972862881254435041928932113553081465078461377591884251791832633954692014244853657412845313749857299038775998007503528957820687127013811064569776522072634873516453729321108652921209515753895940446845738482682423167932387182808075601462727189370648092777896391189783845813652061477553316664342400532621485843107167572021401012761981546445467262474818699750386628829346429863984891805630131239485696751597653814447320773686615699144038487643525684102883305784732959040743797731990136961627868066779174767005287487413109494331280702616026473106019720323391958482008052070203764407370973097185619798606749886571197456549623771508198928301973426969674545742440421978699538221320994681248782366220962254492920688691910438669131071912108222273473076954896608238363314852426742347050930909363094787279163277947398359994472038463284425289482252379212040127718917595638146525265896724880355280103529735543106091954794440214161238369429834065823319358858801177477721336195817036738221737017799236259944815883953443783114128484916399000848259222591541307166626782522225842302991913875360202049836943958496473874142200707895292217433654292654945900013115681414738487578353325076807848401785982140008545801769696273908558263898244262826847534288903105935661626867421107893474835296102893167460466784084555608602580804822078814774662305403588868589406723195275282606174180895797063984567984018329400337736630878689780373238158055249629690214749847351163679615233234171808268122747366538665351762017641534071795924779124381205267425028399743952853577383611752877254329447263950022899576387175649926819079292989165914299622755250471516231438316940411340776371930529831413020229432064554377062737930414837391065323203956510423353467229406069827620388829040816716679055152226408569922434948955966699120865172396345216818093464006105999403590983308803915289075400224478757944708505546570266815535616677458076579037688526120183512079603008070713315722436269665469758454013831863500032433733530209848278771498178187127764414960040725391419980621756727003882411939124648148220770193255938484324954697230748360849450192700958754998529513664908589745152446670025422453787391588800
