factordbrpc · fdb
Sign in
>
?

Enter a value, an expression, or a term with a variable like 10^n+1 to list a range. Switch to Database id to look a number up by its stored id. Reading never stores anything; use Create to add a number to the database. See the expression syntax & functions reference.

P · Proven prime
id #1100000000413918059 199,362 digits created before Nov 2018

Value

195021412579826683036054925997342410190873590201544289778239439474577082466604052314096989575683562143137091770897387982858159587199226528128292521898861925010551923278443982542281873591581284246824943256516376264394913068852197346971940999216051931058928867113936888009664291524808625709652781871216924401669141812871104002042344303642248862499587033793342414404480399180940712506716702036010110211102991167701179759387700726029654509313754020681024310491804212562547546555223188276159744560637700955301392251763389947163465552151005051202339560189457735978034421975774209135132077924008172618275890818892619011824375177715052585900943254245449769403706168920950370465260785355232745070683386245324879222956860844092943792277937577733935932925753268381132389136553708065500609677258518828368956427449893729518541616364496949341284978285786586591507552480641168931769523513990853859008750663848894592270657966288027697008281114402333424013637553196324762535749006960037441414082330153255919927689161637916136813667906987011438272377359980634766228385372247002521616132327265878942303660571711393639005653712570147322639713545638567150741292103772206675933665922395888784009792099206960577040207525555924026315556171458014038171824803822060365028785757988001888516813983337095454500801370418598328928050879146681355957338306895560727471656047612939392082294179578820706518550011295089768050929916219644414856426473623479743508794015053253585131451419819172474348415952902670486285881606697033902701210603375077572012136902297704230479187760817702085297004405624054310087262531864488070256092490014127393106840873536702112949979293050127009494341419740575902001346518548680963467292528133788353121290477357491859152397994947985650337108287539492349456679427756018056530021658337128863612022272259735405710209710823569205041519467452085002990611723375415829855219634857761556425784568352935773729801999724286653871106361536652479709865085173679204570732481072454300740784151710905181602248650126222991988125752737094344819340555228115757264559939893087784089939369371490589684837327266487933835153924230812952316037996110052975425997118562918716483827536250696693883476138686662111677641210746603137930939189732324450963308704670868419181425237588858602917197337082039335295903766663716567265737237660411316002055003093241778285002883599191741239883828734109206600367295055588326787020411633238226558222900240722112702343223043181611423865750833328549351792381765889472112515689240212577299505889338847989811433802839523812359403765780946750743466632078914003750371885961363840414164214743877877068272209847602017127003530157186419498479465729899652561568990926375443057746393828730131883290858457047341931789635612481071943487143440273115705681956467883449628489436118923886075035951382563715350666505168513028065414869146847487394142347658314299999151881285237160196726347892058609928745437862766365823391286136740619381029064228653177010397423528273456470218824952457503460931225090308923486316949457637429840010416867384324730425589385073355407201336581186158035227717164578889431767488872929707642182046718657298915253843189902600049802354847496649705885845459742813910237393599891249894943205260091403892383919285837583224841046219529391735551764240968235242704080585770377222100736077361325477266317831285704936967720246597807255697174389068159451878187937388539513915534475098106829425981846721216679319151060780257649880371264104969640432876986594790263446364654104044957374921802669469163912769368183347405854125421599739661223665401378137130188927700499945450859524901733113703666615548742845994667509183124099373354779152027672529546269500241931752758058992870810016379032601864419164060423741074088027564986110672018759209679011163863161990529334669656219101637597418082684251336167479211539251738809411659954569394748449475849603650102454583689654334802817275070199248013413678721893119305902008782283063112581483424889580248851717229751764791273107608458256757803114914756256846485687841316569080966256835255713818616959466708159026491129883257698832167080962402119919144840865982865253324210055905559415626797033240315455648404269030984734734819062554400839678412998711468519581096510892871537576809543574811480308412181635270967800579664794203195734893889938665223304937591335362053454970246862460287771414184882516566473357272369829343743770277403179614155713448191585331071245560820465793040361804993367724425736534210472134275824581907724236551507363581794873136639466134988796229062464041728869438857813173333799833049346816490530959476932467062635771406940173322195864225010042167437852286773390536935566855513118853516105048355597792829283799172478344516759164528629530961488151476705392694183464230831048595902187802956543392479971350209570217283889723789058750027684246785411842975918258869328841611668772204599846185005797616824473846664570268596307923957284209486669126466457409633487050935088249509692430076236769489372761164711028033255933645629131787611047437060004030726880487899504987524475431745464669738949612537893996963479066482411148535521317473459507023837119837335923713938737797325013946123544332542941962861055978124480958476096023863149408046857678418267674761006075516796976814159401383098972550229121203647805088982596463545423594650076820510161086336760361280700754890142559826520350655169896865442473621634736870242297838791142911302966917808664069163456126891725278105091260617343626821842735058304577036577909272287192074669310831969773078120400081476259961653746091015773516299216111487175483678558558212125394244698776958666627898091110644769937988634294540977281274385930936279642236096608561271189854804610362274503414819399667473541625590793137056297478672861487037701768865985574036314445169263024116520559267227106208198092228269302577258081995767691003699021801326774209104602997029638304158020145248766916161123880270776181355895918340259974993126067552111292324065672289953919512051935880090542715538603722018517459655339904034754590390925764954472722287041451522268419405235227751083039577927071690798602885681740109499972409259298624294416345973770848235242468194413890852681974856434147794091021307298815571677643284194542093967918817252658793815295646094694825579724965728439027542516777485900458115741885665035836821270899577389258734300504287311138090938464072756916282876965411323024020106184513867465811629236942771625882683251175429491921616243929935757899115204967551033608527801546291115289750441530553034206965109007013961623116339711702833807019017083284713845624682578035688699224321396661546663973591318294006183677674380494547494100109864404111460840769338869064013178562617098008662954784559372138225587667982672083070573602506951752981056145386344731711808577445363975938325955102178919024516624478184232569685230830348792031155508987957754791854841593251586326992618373415172001123518457136303293500377540513243413886762087250522126773284630951562050746277941692878471034145282577282330146611716508585569185355251335391438290835871744878786672259325776198158007841048135468071064804829420014938927072307435703537092466695536265827601422046935023066826541306504661801862870241903717040598640755529580747519264445970044917875663218528761773144981201939060962527946284099802745177457658059438249311796431207115359495624433049684625349365502134213300633193692245274859680006627002442346141678306081798834872354624681519526760947079460419004362076335450822725213261183824918185763409020429277141910573958357425128403598721678119750587202983527175199619404760043888781643985262910675970135863252274573347004963730979068854635374854992339328239001309454472326234431611657071540180741185279678319738487967334509748155479208764816450003380746159820019346590006018157113047321782065744661808049746584030966100338910758256843611420733971500682058501841068473680170388204290111376478480055008196592453410184576867897836048236045920385457868412718277778108113518065430462415270564042951139031498377669371154601171664669145567825190508694979993297959657614912561524358714535990367379034402187138945537511800985416548735480617865400351745489740523475137468023673125369479025727074112287041033166008701277544069254779944911296886505221118620689434020877295831754092744742051068818513727546194345359179186523929017030881195988266864822065078594934497261957779161037770178188855165533796678691640939078770082067308756083795301529554741371903860647230856972921113665284213282736732147283562013739178328170323115111162673709119968407484934000205096624449503114684326874893372386899425046993542367615643645644992180256118143389035186456871993495232630748633424949477482179274872238149594418659926771589281388403469989747625486748125145279935487104381456095541254598647251555476130710088847516618704864291454034266630546174994302490003633050494585802229302958858824789521128947130401425965431463163899991826720632608255345474615216095875205786479870841994650706531595183983284592691798489316994644120033891105879095657490770126275387205490840989342428876854721946553606209622564674995990112585710889897948538293404889080503825956833994025361468289852618089951145387041285390796220367825093058270317758825314690413273969458963045704177400557397398768561020406937010717040611482883507086985887542612113025171980341224299157502855973656280278836438365705886746438377518815822957602696172558426746577960814849886838958523307068622245871923695961787608529056906892290280886607786654853094663396566208901566312634346738473760910091266941094178342179512091118825085683481564030690518468199711043427330444021085958515499424573452893957374857195264368574652874789432565713924318705556449139302746590965934479351194482919256150908885450539591111881269127006385932057961529108612291264512927584649887485504775510150398473745024594595165210465910454973755921200540763480526166234327924748966708250159314425850688064118738656791580401060766293070731470092696268898760294417223877942928065673948618893268210873418974573025554546956466358808071054209534218390094395639280831265553748801298656918778946816941446830974630677372446867599876695374997416921265151802052589646672278429450334521691169121565380920472100946368793340759920066352179314023402517480835154053085502274721533924660575132305569678591298789086762154598461549587158733025071903530060877275240724780928064196212139137765736030654599012560840656638425997447194077361411806438373727900311686753238995484763019113195013595992631899738984322833299087599975361731460374813252217476219753643804709675043885208099006544750364713174809863623491936815558981021884536188828734890447796185796205423144101534575155225599852386459884136532256091296311237240408953918310037382632412944517638180528243777836736691603103490012179996933941496439057776660728733228858921106851366103434244922552414861730959575084581397309656571193381587845264658954974223056382580262035310410311981163051886699600716536829862070734233125105549016745131338505800360511122632724059026165467208688259326273222242513427434884176916652004725348037992440230894223356164169670323371012102521256379110623376742639868248290967400058115470327434089017973772168327029422766183161282800093291929265717716511408223956293517476300628605141668738262944118167603218792732625974648277448030889414895196049583008532406327100803229538014270553460868495609204117439544032742285834321632088939157721310798085297851919638497028560999765372029995611147414074707822186934066380751853406273191258028408582092052756030373305008238062738522543759685831218242685231964439160547535511700454023654373882459865499820120820385751400268453186584746796880716703593239441991374305663634925181171652945780503081157660565346120785371714219647595727879684888436824691816675497290329486696397330528787955299631697640080446610235330816473763379688879489288659353452659488691049229762861037464163870395290596970864164903117897330557346516651167640749260968116707505032282211646961786310327699620843243025175790844941533490126629869804165687202689243653576343797109381910032635983234605938468147507455860658034104814787143497306904461392669406987273844143220933732841967145729508164755635929760846423989557409381714392818081238161775689845020711647792123058997466978527367228226778933309636483230604136547521455720465837720640583942395890700848563540195862723674255010096293187537623636181091115959289000195197315759507796723186227234443616499108404848620498938371597286152519300170029125620065186768967269808347917900462522650769679852739587806993050932805914441898193820961462652193754388741761082311074224547939491062246599716829359630494468685705699892351644488343303830263240754849114305418413317744743189487934187191516155528370078650670396766051215823091981153892294673626225288013589959989029102328917268864214073730959917090197178327325048556806362389594081536905662247274408049434217860782226770869378752619866094932740692929304555664794504046678815974414730901743767048384692478384275571545347582102367811688450378860157420897363220613002832824450359066122177014310110877919848757243854806593035087070882100347986387541078212130485890997335818637829750328642687748645677061823620350143240312011951595953648842788583156111124549851031071900089206926522743191087333306339255147741006941421379721721988478293126621744996959300554360534002686819089367700451339226790078746418864717641641591389482223726284720439624068241105185753744234442907602858431306116826931160610454529707737402033241398150554428511907784713635521212262579065449400277074932050074470925192553646737569417144834686017261538031477933302654031116997431220064129397760747719034629913125782183984838434855750926182272376921864242401648576380823025708084343551137304919457648548788606317896321115722297256255817688539007353316332771495120311254831412862482120121513761377401853577024719037211437723600608937970990236834257618795093530165098602705891189675916281355662519192546601888043590478563755034810170052037005729001856565375139142454384208186844552161844144392303157870642917359438868042035535273923326567566668607287484615755501302064329625568536705593807111765201945999211449527874622421746322784376917268026970986311069732329906227043973291486422430795711623278867285336405234839191707246798680700431485945056593921410940940034430512319689084571995603833594687326867178033101658459870933587558951941828745004018862847065222119920200020568875802388303815701863240504133346728517977303363149112785412633985430872774490221848297653176179765916181903679327974459107107754093631953007452646898887495321850922001752652137714582197866214346680203709323310797326162829268416375863958611669911744711707289037388717292927196034258247312929523744182906289986028997067348948638376268503662447746851287195394266821128603986999111181811715035357923714333546844464159898051017715513075842818954055998355075430128533272203870508890918873314546259140490765698821761656432320352460960761956099927256171116113436580546686298985537139320815508246754729257107305955068860979968861947178508697408413840393289925855297189685546966673211329147771697353093812197475095762076310697126056771163293817050008921333296103033183984583052928715873364366050531187068384720589736191713599813617341436202010289213586258753050540446069621746306797212100326612088913724150458049460755536858232433382608551764772689949447209950386659071654772792620148720515730597309994537681544124064672912131006584958216832140323191657995156234913623946183295150860815111936672034111546140364849906997446374293690650073528271525549625611770209929301981939349339724842115427675718269680089960550587883781156781835552519937300665785826367039487088907073734521427053538414148989170153718428429561341278873829437762179083184194678300749339460726062257615888917492521248513107138301448756663413315594298135728877438695011988380802078107807131609977963822926696754830309947211690775414605660608436212639968954905474599092728690203355687455074381972691044031581651829248627057432693820057479495902089405216977092490804149304603535107213501016795654307487620415432677120202224528072414476427896231149621978139304588469393438847552406969264215825279253020704237624344061316573147713741116986398381059661113003723727463317055938576337818083067698636724819987064115271028625769023114192857046829069024442779564135839028315832633513869735903421705576899567946310238687971613815591852816430290029383802126500745990006716551293123736311461014378697042416129827911931546445139744321360745817718725630438163919122740786262561009174809683099139911099342681163054465310756904708914549529392454250202619346393476612624848273849780309712465857720844249038779460353017331922560425606343298752205903736014966643385105313100053446195708534502416410813972040650233710940527079026797987882789761369977238541938028032099119484799682958866355645784834539498666084194464067617768114499288430813573575409957731133977220029666262015903288231917374013063449034644512371247428652787906207801045565881797704481686036809750778724115663494536801925700189765949299318964911164216817097007813816278019480656831563609643465715214640408655577492236348630992996724280307046956520029137353364388139748696457526929244067068496949783160279009007110373997990791584922255460389238563999134508801166377632735230474796850338554961511952486512004840754725134738635419760069076252293199174964248146559380043467644874997103970940114636427383680656400503349837167043627062129732587973907152067800536529897129001882672894152505414447089113350989077888037326380522303591777456222786065987982221783172371732487880107213883516122438426612980687928141899883093432414063622763540973710157690445041657633857210738584298679317757180975318907879420571759465133211288423216305948949331833706659049468689927352044072309591186563123316064836176324545703351064848639791656445168374731808570493428538518566876062260225310405419112031894135749762978193005163697879630060767524124522494010314333992258979746331430505269990680468553662816287376774662819545808475067854998944915609123363488198111080839972155704785842214395540733204919296747537330601013406718308650600227827110272501630650429796516820793629048233021060858614020632591696297807358597064512322491702118647917998896142730026433232712167272221272794218895015487601137132157726835292992467860602013812565269118451126675377959422547451636652480621726036100012581647315112716930755055107913062341390517643966372334753899432671275372035908805569943896943985339774460768725898042844068110606459229400156854487949522506633040710157123967470516540862381281095639157712561537822365007520351214207980869585600770773761923459640975107723236719254879861152957640969706366161181568992817067375101704774171158292650574424296344961921674977553800083951281511320143183679897270857253400726755301295299809659056398038528556327239057601577963024763462842677413948518197591139679740494236057722189607593815606032836651161938736105630901694297155123808662549166275128390692456564413195606888084348088437963342964217675655251683651469661355789406639073492723285099070886408430560117206983271800007441158759692001256447653197899701483642621663399028932844075559106422962535959191137827174445889752444231040652182029425361832328692919098657353242339915804828849912648847480336576198731024932461711869938854894695229953413235755487167674726008731910120238717100933777196739403526738997580901847809743780308726091568245124766465116540937352891370256218872495778082951844268920636710557587890656867002745636067961958331620450932426043534839772239227765745796069668772946939657381682776550060267397069065123386149161396904815716000821257952545403531670988382521191503970823548204871939246598482704630307814541686289208034173996574323801681560536215284208563492693153723285489878756726885507973473980479263335910233334531808412077403789662662229800219735510122377876355527517947216539590551841640272213174072586389120334600890678746235555311366370759437690529410109992694842109091513846186049480034793579943984706136868449815449536610388315342723589732116574651194072913378773342192577810717179030267343108695282445460324567575354587816550372901887287434097726095102533855090099833461670331318625840507957075276012256847105114517722296158057960380007572970651131354210111448022340022512815564312589816770835476105478024691484099450032329626825446668355689995681228859670133884056844931348895780666610443079125919863111437215796172789285531112040973149571071162305071037380532763141747501413836942560773023675803905712506132039324298781360688391048441883270035507981835348060831943355116225946998719327996540487055591098594541793144305965922668533404308891985749370034643169813764489383032005550604291129676250400859942647285471435954610983034890361268838365192352319843160427037989862140974389891055398085904774584035658522342309677051040406752676708784603703578679229562057989190584526776003841059556329921306241855322020466506830787022521580977674894766673381728318101055027261976582465461455054963528350471045485340178528644861658270172977593325346005566878017997764515428684114754790357245427350897839623248767272207484099145243755591779506175097177363231573340283788471434116711729400726270389096791094637762703514702199265562927965329748910737650939959108485011471696100822257013088162393080749722514062678298071512172691466978527389611664183964892268468568537106339696755833042783988287904977761779842135897407856599706574499921980603413639923610371958125001659847092242502552602220071849317369442168189192971730404113725026741249996354006268422901001041115742435959764041012563721499895385754983832374600332954417208771390933544046722085703901659385771140486494794804019233365914065209095308492501046038864691193026945020121624282468865727521381513494296606476489398456738938855642246501143706221570955005892875911624625281959673774671243284594251491894663184441490979120545327144053887583829329934872129006246143088013980275464631404341868665469637678196093064678864849316384056704799452041672635431372548352874715453193696804797515960788637165039082086644134866241727737221725386684835200743263147406760897949223790207625284422286011207743747465199844483164617026358203426489451056060209044973955210395238849771861450061851750510105203482280796385349704991208740187424388041108842432806132630826415901212659901564324592446701109380213344353493562222067695624870941721489920884492820392966647400451931452117314981209278076195695925675356540452786580548248345176616087296838494893878417743283770169545611579586358775953900588638534043720505865590695764104115224785734635955119814538693285988906027241857126720109297103533344735329416334027651641587726136939936268893208923331031610777166737076135692860157070184755885155843568506346360096149837575198113017760005362275741106741055737755563135397022071116628971124019704207968363706844738057296323509759730295973162004130785749259865627137847985464081238991325940173027895124026323998601967369212947789164551620758767512049666590608694855850396824876232131225309786148909590206338620658143948015934200699654447376437338873938996971412475987556844791258088639414529558281072397302060769536921436033501802050347048412378714538916236982185034644669072575904406224243944412240336554374064799448619872567802873926681223753876335589602358921904328676739453942775444614653261265814352282253252809067428115395001959241944008427985364289538001562985383365122058534726701492414118473296946394483254753065181555699701097689030450556365591411917493958408514339662296808431633464804908631512452936994912697167984652950108289892747708911814875397292281702877809338723250556166201016859675754732452883554827227029527892743526186543596885220680396226825718295453261696541724221742895950924233942829585303770186398369798994916016155119314114261616565744795196894133710029095663617529859177272465754888940608169070597803127966677251416236965095570467303269460945588278937267821773586482465171166270534520230663735351028286679087110099211292746317773644208214315667200970586409379700212207305777020559108510987467077108158508664512918760631371176301099219193365943496951084332341606823280072599557132127902168185785934334638908225863678984674897015857054890113363753883503458129170854633644215263434717855286727855388037132307716996644176762140130815020764559652588854571974250248529942274954965781544629736323798852650026061413493965786578154759622030542864258116561903143806049571154943036282181105183651618161874026414334539742664174680825243384306879553410705322345860596216404915481901860533412270792244320176168873081643455199596631905694500398815377564472834882211305824414885113988745605654094733229989261910098824939709442088078238836860394421531472331892048709367759200443456270326541932701628106804584787874012476057797850431807443523617225884203626234696999835785345215547817339880618673835776004320754154882269413869497379512089255950553287922101302538765606628518962325741696324185881152036520216188026404278832679862848446351800897577332212344685820168253921041781635559434188498629762629389948937804060513459825970121953075335261637660885456882938982949921086732562517335389975531581455827020412219201144776605617963782015509594344359959244019761840612015053191228839220623851486692001144678269351996656590633153306399226662069022581129627366363934939327182186836297897775797015253530017651473559955077249237558113709176217270563854897176096267169632477876332103415542023648929529783176050050369692522986395382585369327621505929802949709779830922506577344124252438854977652520733771822255921379812315664109326454231058050267839436173259987932542817754665773854417484893073924912388557700702790021657219775362650843020999004353692361232690626450158118571616997018134627981016009054236699602595727692366117339183845885291811606708732508756073882959884335645361670530068407472252785316965802282139460856415433980335889537606075153596034361450643240812009328268663520730481887377044316991480288381443160222180092757309955766757592430590689797126310585284060319570985745032835258227587461754612909502410662043295700090440488880347003757513602230925121752354783131767779047638107245837963310780541773434700882152477983744201650873689013355693101742549617278868537118943076024202432103015359883657308775656606763246839780472213179662466592702697087559580352486962538384173569549119053096678881755961081942574234305757699243509187749609134899446557310422387396579018357222255453110682897337888736454931574125315555769602963007972532405122749757126415621309800431092785450889963559753603479487110209469829755970000834832505966163947405063734651558278860829072719739872116738458455733642676531754137722079969225398965461309202851103485596122931464911493509883325698297991761011483774595661040263387672579123450830306209996545874602159492431694332765079858702071884690745433671118203743698234996186236648942271613023176138126546453393345555798862190849234728415215088031626906956180777856384966740847353038234823243527173526919050199936991564272899639438647677800951109384245588662676884011070989513700831742059292462455806751150519300588184396334362712805050872426304135149402438234141794742104834594184246798606616566168645913516022481100221078336241241571934831225199401974767748036481933708609860125196237466067613468772536073697423082573194261991041271268259804471045650793115013443833630423681456132099452621857382711203538813209593529858587844891416780169609015180425773015223926544952809012254073444606209320281341412550785519328034294367182385423503166773217231670327166138830274489691002612993195060613430620169504725041422540655013269373044171863075122711228251497377644684790130752329136123105045171448143083177901489237811421454368927210932237121912540466239005290435694473846060516741963793701418211463551275175266715367761743805724194193437165653016782722481749131811901831973880985044636572383988115680109608419340830290055884828379479636801521391062883674264390081754453443984920398635687469980076384531354269085451598094674305067362600854270339030377932691450013846366222330354804996003836234179806529195034812173088087305632501959484993536619719708957018044331419491512796350979625760125690789400999464495328155854699588265512919270718189072982905944820130326499964729739556533135676638095900897406819946732078327603664106178719248354683819467225381725569012799123408589596269120796619190821055554129851139329588876487862376162013430242184621466750703801641840703960167165557796232176656589399511486301651237997438745249932721237906155450776018288535660327408679211388118916298961539988751662500343209482540842264008147884165436064425164983366727870349650196916735641700150936277161820685987381548705536594358327932797784779987546369875575217798373518686818298677976669886835824759037216928483650268049300318985792631870251415750404496039995579426032164510275657414178919512217298654201549324579516752917601675495484180696720547064412937661800443281105022810012270527316749927127049074400401999633888826270766590063620482779399747663796893052099679114961240749697303385770706566789589240381332770007626103661311958981024997666615186310822662230955938094078109303012430815865576028104711993129956207647328152170804056518623534441949066828436810209436529655938433175715414719564214163932410520204535057088135515416329602152315687130891201220360725485767533210095044214092812770382915916554709783629249784464485359912689339403597988908371834217026307979548522850770182018579770960077688096722530763933466993144031278103560719636644671465299907226490070971905761364328230053743081733887829219346012673931844462526682517239978376905203470467223684686934488224451883690563107694421797527780660571550773837274477671060625133471621003690000894614402059104633372164631295646928576309528756767501317089081502905345401233027042653911837816726747848367387385640219033386934199650414403458901818395927110205701599835467031816671358306174349184088918612659539578659159945892150619375939529706939975589167635437776619773848952273471360585696924389350885412386642213743244684091756057630413412499786192947218219464747681707092467371269264156036317143188047829367643875799898118984492225119045190795368096450514573475075284140329614383336232998970698845819719737151659423759914589557410809411152483023478525473117124525050973918595883560291604601082683000588819290607327830137990592287706673381476066174821529586336080810709082044227369401373020872181424141896926565810914729013977483666783854621245334047835944469802249416319009895878939441377046148057472356427338644293167498291576061905474953132678183287611500927736901608702027891040671102106871555915631252002512242816864927765355018720935742371187875773112315672259212171185482232249279503940502369064834041860779806923195954383801948821629884039361020785910063438540588888516611363347885906730362036304731788547821742639701238609529059102572359181642146417721670266088007956686461234212613953138759648611334848694398610059799451808004406387392242488092967842517943857178742101111813904132048164201219552964569051683113133339339888918600908864469266920719045637185318354227530051529923651064394584976629803640700063602601914092240703696329636888061543881430698201796023386264177745464200710611280357784157648453241754103412360977640333659449952442195353032777676182361849809724915997000541900902266607972035183694163669016164336732066791694938137471658410937296681692170313392178957757186601109386407327286097594862542004106935712482720674606308248768603500677311727016222542768518770420674686035156052889842100083521051967885409907550414858357027146977643481509762333641064425954134246802387503869762952977089664022642966293957880501676931782477806028341868874106168854823109793448166023911316353663950470467012345257785745315143246165737282730154762170679095984916007731650685457249530402131409795267573535857823324017536424622057105909735212116688748224722024083079382384830825854240159627656218857706878522054505036090747241542794280284146940795931877070658306790639431008276156998827603385864258914669623952944513821679937895733540771651906311643270753025240716364057372870463312077634787509547499969872594674673762301539258122099239544075374673838165869693997093055622046231420784047918211567799668210373000072487206919481421661330966512273794468245595230714339985025779535485530165114797637333308426851633719768685855105829328317162941059067441135889175139962439218434033531005348299077153618331348944347834109153664525964946149126167276539944739699814755817140158648151137170194861591462139619383922630547861988167227906967887037553084859664084787066568690799310401317763175377594823247714359205076483810669985469246295215978272048574679764001958451079563033957258378741848247905058656126671331941327579835990195899620359732012009553969088724729420181279738507173327710142972139096608316915116376958502540516790702370287759169423767041850986805545829245004847834107885227329516280834315142743062837696129736300187131975095158768368042302889530098321404429154777330723667635885952022702549189066831661955188469497074559574089030465599969043413917727831609063562164370276881206540022311184895961813453037408014621194672978578051768872990138953793076342498329147836036317532159050821137324561055916462138174200034170502517694216717211965279552300346214850012826673617961937123938140553654162439177929122229074007629561217684785174814569558085276389539130540784109468127886001734514904145668683106559713975943762518074563166326766178212820870237810818274249390143442847414222445479882630861025764624132533552587496141501836035854170405394007424990581904039771444981617228535239884805739101217231014430596142202676555044369688879419669924378622768637505878741263058521818073859433422637378224692036039672265844319761555968238881746198957466595189443765562730114376955475076260144638130063527075054360792364684212737860083076728662046899512179567828982068530006279029356995261705078055684602560186142280472191695841441924722282287591341265334970344085606568149378161370002901188213511147838013599153330730417179543270866291710140453947431894402472657323165315600984213498839482746051003714445985344157469070336776737873804568619183996729258614271087676213231650151762012044082620753188039626125921607429521020379572518176377048089958457856409725798928709444187527500633649443658322179328101846852158983258002868115325992751623569848739145471233076149231981274484290021238141086929633206536250245612464217788059609105104175143508429931317135199226653358835209597652183955545483470844345722720182585870107975759864833937661044927057893471100691963673313828792011230977115416085045082059733523557771970189685357091866081476070898021489839098246637513844711194174176073884092710485386927903406231298419211939873748115155537357221147032575555889561446432556849050138634453997112152237421851768407831773346079976168084793580854257305274549670486870769116108505126170562870184177976930850562771703924118991462223771504879713019369433632365331743770512468917888174411537682251973058748279935442428315792833027416838858569472554120960859433481042446477393677367327486959469590931241252260671087438971938294366433493202909408003426156902694023203649083172019715315353166849410468049661051666592157117574984899051537975519704799548523657731407089644551693516717956216956588364989795479767886384333426042489243119784926040849084028810877881903501158953749522150226335950197025767609725915431899035333574313489989069372520969262645868155880671892707235135991004034184994079485128233324758303122546688758818195050383133266879765923102842697219042249333318484027422689007222821260233054471962723510285852759941689060446372386755700427323810501076829619904476252989517613908816889235558050711486512661070713521403162016424149562693850014445592443833329474910210603587913924068671527443019435953193996986078931906991711368368250474082108085927179445709650496677849392194606842453623788196294667813731009143192743439340618459299776333202693898723222337957943645923909625291064579231971277426994760969892217004741555690052495226669880924272744817724269498075257118449949640125055721444010748101428542935563008760756747616645767234655592395351275242950156799570337663260115550027770758699512587118395403671831033149803475585649971648880135589500736257989692263131979960912429664371990553930936808635647617417494822190679649638637184093665071149070522437865459079027577337109531397138691851122081521477879447773524050764328077514534287991730511281035233042335770301744063729765460075090504834419687898580297229131370783781891899726165930256369611185335960363112926992843444752041946145416792294153454171058467078262619817951317627137583911438846803629469717970272605777881760870963631916261317706795982986699907746301503785443812490388930386025495169220417780097090854397149677510833824094813419366530937519036547337810411787749244698534278489187296855608562672985786543921324600903426934887938178682491053055952240313453371016507111180830074180386734654846203318169838290672894603596981957729844775028443424325221157516678506776110569144162102561925742164526112301630286082111438348374526806160742184864011315323752512861272235385746265937557561409124930349868286687192341362681167751408437765466035430249274035796056420246930383370544013901955197318520950370524439527979604305593685401229175505465461024089689277979298307209923759321617473498833194843557236257436669246729023906624344820282545193580090180575949029025107934864970685761932200777727675781786641486181646797127603121710302074921545855902243664255356332710891226393619078126393917911261062226241416035311811264144336425849564160543551417595995648032900058301899456015370908179982447840796764327705867645099619146229500552785137438054270837317912972268384017448335227290722757831639108550368821151087304219370108785607497756616613797134748938234039203718004600593937586994829994202159785402613706573136896852453646519029158172835350321484983158526243745466988808187946999026698407924978023636391530990673660549717277508226416953166740275932879241929188001259105362743914983769074602708773370883813318585893404029529340820500305064057825853104422331744051204968326713529598458699887722880668935758802350693083222610954267384428914477460144516286074343283262023921495838967533151389040512660438432177113139124824758647939449552201151412833159507761189085542117576818968394578168415100844039669479181494047447771459217841577955830105844413381375290111587763200739400622738162807243297783605133997371059801917320099528450192461852012974190985524905562687495907087397826403987136292732133124659908068997471983464140755331709121722883819300383619924355778028303432283700454620009213128406747857221252616778837229089626913958595459395325069746676425311228962119937472914718671468671281178522250895361383762750936180623215306614716835815496883304863472950519378742855507764902164608194700471243589542786153566944068152755255691057820125638744515161633811292305889399962554622786444002272800899319262394812140953290351662892265777281557423468974819091290562345043528928669595316955223195642441652830915690574709852522673137519690945506272330390288779127207613922358855179128222759435867140739592625198784283188394718827949436650582787140558483422141492105420712299015518316008495269321108297802509910371820202651394982663893341051891423214306557084794783689212900628239616360641386214102931547855053384180821292478834928467574034001442174338615708727658871751364548837273966181076017658498222654843522897062365808343793056594015981870966813333610359376072572011465562452118195601619142351335172826245004822080948529460017841218410225256068026561349546570161337647906473789912354187755469512792317732424026501142134559953734471415481303352750166476943520725194497686029381952738477505561658841540080840756703854104919855165431087236414621994774254022556489455463199032570658453978272773027057254228905523546440593302436225145281486776021506114406852200166348981896849294475008950373041035779265063339107323837071661084947859962995359496789587384658011829207857042489848494330776297737576100109299955374266271319919838240041340053064143236567872765182089036167218138196866115359250225051209108654086328237719614180926940732016200489076807886768519223950009119170491247321450488460287261483938859374699198157577334174684251155498353527079661544726573670862793219264025412647271316580197596232463611837890507091810931633390489796018206539542087379823073395093694190893998768550534225772384151515408529251372989662386140515336301746854026495277930997788254745883350789338935262337719454791906310852013756586675141588865455630620244165769867911350555871329272893148618439165559155382577534475513288909875602156767243084908090878835625212514189279992982041875309893109208579763422604828181389668040740613870060127865835008707801472584814797677848729457764405796476926724290528445381169250987849984325960783627997027923869308829620352061508910439412921882443124281351133897295255264705097998969461759775839793131400708297751933061816100236473201409276790300996171423035665318092576238515430649897611272199094714010503279316346775078782252475905343409185404053655864932794082005502293520329321737106107406512128105105015399379543063010291000849716565569346355617940148066802825098061169303527857219001296188178927625421759801591540145031654841304293654675826904820733322899237691623667926696536516537380515315605880330383398279089845755799486427919487161290922478247509107197827582769948625341881777413289204110222880158880288670514727382802667112645450356034559961912251369717386395244530406130608610862360780181021054306727644496543490222335069970978498960261840743095101415329522777497965545444894079049280783293768507552033425367057159622380044480942892107157298956647268063352058904420625678925095833583415651099547710159477275127711030204513412814647947542252208742500053247354657976356168074373309293186777119022911113726275508863071135343043952143693492800041150370502553166785265928751452471530614971927566050698157243762988189369040548933111218917086915601245184169909005437865304580883915933465722337217965351932687773159561031885380347123786437607403470889450169725442208328808438339093918374282215930654297029807842959147684845245734923036757741472345317641483976699508039082002894189393075797884528858607420429077985043477184170906328889016384121852760745481181751055719011969313319763538107326847960398656275839398944884523271554882980115537555402987680306887066998994767248739679983146965353858158050118357994370407480355898005851178488790549011488857911597138766920734403015436710327137660413855262478118077705523295576183936385040406493290385728787977096337568725800354979822572581312509259989061776574646069735442778169206348011599883138837277689460756854692069577937989439433572017933832439066031554926816487057078942430387199212556050156383330158101799322202769239644271384790673738326940912438553041185125380756562624642434387246167269041174802356562992703636270602987871490214862266820635970275681002867842146051625730052256774555338296327336825402352520002895711343257118560014040513353409144496010543421210614621165148693120392283631538779494722244503831138712214771092203467609846639453890434369866869076998832693515251357900140268655198998339009565098740110402177067380890141388299918662364614461799752269295599015317648826759584705256733684387064072300329253852196202025718397742140117566441620986892601340223046231229747230881276650309821736155310754102678026302612542810311827952235188335022134712988264726565148798866392405795561140787323449077117607030404954632408754207230905094252723939031800299941209450107227113543336210959148448295983900005513415988174061757641722387528144601274498243376058059312366637736897808974345894528572578033824611129276342346726199104705271503320376873089394784210518363953458537442308616661673996500353368528201183454587752943321586695006642595487207673820650913956090769283390678574458143717701062444400973413702829224565706800059910649953368706521196922887817560450003619261698338693521018426157232534949031785675302401038405122585850185963073185350429613497378653353638472944090137517673166015881539578390357562856849922329869815437097302897786893485351850499225280318149627946494153229042627792229692188397004745344737795457931549326064157983528377331825568557532701150731011593174100637041550837057566699924749920738753746378253689198593320744674389165972052946345034535844271348154488523884588692032748440838119444519072973645949563548353300148010527483691093595492132156834705470680799007273087513097679359824877914641934699217763352638893965386293283489375349747332503751916560794172001240011847858240007881859631977325618083904778367029327417994972562147514233061913626794057252824279348636967070614930281402204305353349374258904468912849691463062036509956476932631824612649006539706382607391958092737622000291430982612798270892052355154785437344840221995594751075709958547167470766990095565718815692289416295864240759846028442961308725097299944359574405159220147675023235390506309683132420670871607321787185752044991796515456956895700307192323772133092677316014849496460939685343665632248178315118369177996302345854851312854091799847914557108507054911281599867465269232569292818295372932338866579232195944644499978806600279142770362943322297008985211891569002661479604732363768811640635720457120718842904338848784569548996809467044355381167087143221367385983316636140382486510544322361623518010175987069441391953409117147745107251287764281325381845401482850936018351622001604892020971408837646982753862580491032690500128922817215498103687908562944781888759647652665111839406787461582099768965819822530850913386990997978648135939429879974117632383902501260882217605565888574768546099951825530424599835526050787949217636703807032675170836047039170137190555510078300194121571271177549422577938957665909903465945235929232813913069706364995566311314459350802422927460665014367633386743567169986306776841488780408686291120972559000168001901906229071723259103639790421624026266811268055694639313477361077876347490651967623038681885893193899540856584977602417797907516654062742734266648395006152139326445967949125077005872374471612772350294540332718088447287681942300057893623729980496750599162106978931126207836070622412356714595317791140160297176538885828509578087851306517794149379802261432065241326529242411526083365393892970967002003990466264842028098240743346744966095993312539048007034094402961905781166378053114741906003084228553453295858747135220741567320721871698555576972788538476644553811874190687444638097266988608003880668055998589633776081990228932634830294825980309421704828845738946369911392068447971387183193791087334921996122439720439419912549765987702890875409294729859960401219699825553015622302092826578380584588084435030532908510520588724339461575930527944480810800635508636845005004854323224446847103881971931734742606717037338170368239755995247555376452392662636255269769788326802975748961062541847530154888168823242781573427905472645671162633769705368125063392050186126678329331864609962866805693035172108634687452206772458717103166192483857216380557621759233943033987721372688337000679897299219028555191247944092456369628525073999808707213336923974904758340068706923651211141444458722031479051358025530958130624321975091278795763357610984960135208900352008938929760665529934123372210057552626957131782044272181488597982836697752179481674089197074530669216611938877775474154468162232473259679655811771050812389589546941357093502408748727107766143100905243785053544426254784404962982520358423717181319725054460519003320285998789187273172357682613508408787595585418444185904513243448522095881517655720920816294902039975862701849035473714642594057349985720189768780870864494310846354999181615478765182783770352482123477529198709201217088260283681721738384355908424437074427787537177338688864801356119830613870636888484503869503945897755699278461704610135252078795620775630883426808124940555325350636530883563299428876605021883118521618247934024982103954530020528985634640617054847119231263819495889220878548129634059619231065189412462492264648269301095446241614131790306080563139599902739420296491689510680479509607190107847199949467158695028096459762327403899975145751392216013629316570631168888301217972049946483587306458134963362200210000952330630996891727867979896800286731318752000028424810585156974319741356308064790087075067794904115314436032191323570399725142312377506816242731624872312710177120354877599761298783469824423329023463890322398292713457987397247702289593346369595326453796521382728243784280814476046659506215643388068444425519654095866709650096949525330151330843919183756317663341678056558340061498617167945220903485981901289429570249466406106052302532784368643215912763973432863880914024220105810279374933713546971880905978009406685088158404168538938566112583860132132689647773991510110678634187128336272154477024323470041155033535715868601479726623350972011830792549136624940130593433713647037158767263289567220258178544173070536875739201210414805958258036577879531877091119060391724180719189853759967040362908867428876238029794805052756682210077820400298181319139552287286728996763942986585765918273896855798881167474144488638528308366175393645381614370394874146280986544395533086107421281405514592533720991023942942277800321683739088110712797284051781661457989653078396517204698698421900733405527043661812812387539875588620917020034303213537759608342381661682968000893929950093133181564383945882489306974762298474555543147797544727636370544782268687411826340588813586037030746309845319989404550979724474888123291746035745361855019027695929540103824546536919532694691737266139682558138102957260539784978828636247645211368728276357841460793473906801739005832758771993620463278796229586654812247366298492082040956276119826156423797271742961472719282782675701225428952788489092522799591746982155286833429982767767321177698803234398263482433090419378663802520644360669853982980274579631045040642620943679121921077848173042344759109692321462594549859801459156256397766623006600353777912558272078909400554313207894519541072365483979454509801890083518056974185957486136212161609119291675048005296128971002749234792509292620830484161178347198249283720853772993554646358932394571207165270520241064430455194630809264458451884453247096006399748875590309328470642932952009263735737430192265518335902347755294192857852548639327698174649706798681877189684936318656124362419170912244039697124607619354610541873874316323793334477515711135367246325898488953297175179334072220071036714848151561236975119124850468582737779498159013360339969108650288134440291763376033530671442332740263891988113318895388241818148331474557657906895802210902886346014192013245941387518937001861716727340650421051819173809707024913109307536707385254460762673823778283288641337110398980934022468975006388921188015214090814244475885888399209912819451779558742577593144884580587202225824178189192132623072750864628680489107670325434016595323438742151120327681839244373510350194526614835903932135673640614521287030679263770905715913292884754443135454088516357379315129780157302079502800522729639189018980837444628854241685115309018070246281634521477773131896798645328499750971139160846174027439535066893833946897678276684956118832554441446846379374322900706113612296074099017887010747234808347631762934586809140674043808893243248756475457384209071996989770185604001179961650348704853940343358809387536484694067807941845101805110484229306815149674698878696497895641169869325447614235085050718578328794311975834515404699819429667979801391028543182182616158130702577458999328710976455247702046370218265055235292591958036434315042696924098005333109414529909523362609207142779693635317531570467612931364512755346816009417466628595154050265728838523075700551899158725145932193591306332837813802135510126514951165696137321704141926199320534313894124941364815280108928649047028555369446438964795043736961472697599393090803539911432713007079749459555150681617607577827086196164003500320091160362299919320543360089833493263495672732505497578105011693158748426714866016960537525618080460083967074589258760412624791537326582140985804080558754927143772303468771727320123336417232264225925275082877634826397454796623713086998333834583830909030427290865587669590285134597960882268646896901461478293825350644130122132650008200345694209822998906381549511583935614129352622655057189069095368857926496221143716029279902687933370989438711868454997532237472882338764066066106909530442073852471200855525128157372178133099777316588368204313639052564325721388287318025441343823957260494278138512858303472288571242364681896439860677853129070648460833187960344633003167258511131623023177297757236234701012691602876745618740563408185064469350932632809301941573358390032516813734998325237203285584195834981344335180516173309373099884969712565967642839266147068788405497493574245903350020094521172461367885457523838871938936727293780582333234078119192086271724608641945163039750248547184051584435469965159179314252976389933427194567593929106912886380284752977078034015016388329090344228381535612406985966062682428902732242505003145630724019782465864394383948360771274279975827715961067434578782377808292138132973771146759238143519988220893586481837341828419487204947039736082428772521287920205245274286421830294580513513645662551486427422667878471480974412313127893798919099464467651735016341339227261466334716207739476326449495617513470361446461756168921465411831717132643673862641448061577227556803825535727097839721560116200573122487505789360033037064734185937928912283862179610857819161550654800724016865949012856776192112143190172937761263383131565428796488790874166783189552983935428173389804962687686518462605126727842137453054375270833624838965251205721156553111396056439348101028441158992922194653348772742175076394606982066393032394990243327078720567337301245469747205824031949000549956295110772871231084148304453665261950509563600069550317790709880109517487294253954148972480619429909119674798127032949220890685109694843125069378258224114798461020367357531346498626080448439263687560443668521142003159792361274352107848164521782145282789382987373897680144774689285331083351868521380929511064788142217027718092316299358546978229098021206087460281973880163799995255016737402316330602712423987363353558081359146688908993999834110526490025272579097669546444498590789443010297510306275356376503350321787120536330000049282765934089282587060508121129967955222402195480217292928545549610102553305940554851248884165560010362178761109252899381544954362385227349937486280839456760659553292441633507357763680891262637995703780600397299098320064964685746272500162068135568835446652407388774967527230266775073095650696865716578102981660630588456958546440819256369192348561415250301548000899082830215094772411285932581251419264648778635980884603342369585305010956049432881216840944843813448589158486376805141437969600010650486522771418364266973796062547780322686016464489959721233340718631987497609263937855397732599338884133849107332116452655819399544702880975769890689366710915586504685888777863100283480671756193448685040324446302651725108938787619552853203130954863545801255225263302798736204607480778614177470737531085408744681848366421165832142074105269859528893743211519104181905534428198681201055006617669113305519857257884318405256746847351802726217685740228037347425138875674826883963667049485388628443801479068378823557429822360339403435668423076234286475832454747283381894742278445483955242916680911592783391463126926109908706566558845391509145242981509283641418750209469153547364988728266831166401761244946554277027369469200095963056417470232259270144075933589342368749275545613536868216493263194211893657623269682451946169214019386349427544227681929414414785803414858386315041772553886673891477644220046854481578226825587986809645048710540931198278997379798905444582990042041166513074599029767882130936979185685797052814182518719552277569515252037763061135549043688327738820462560072563548985123151573982240125678849288452048865605852581764151507333225013379874004390997651577483017950417200861045221258305902043567430595298012651758337091362868068069894656435522609933619668819066061094793971609683072027183740289845786888791932280897374222577061303243027803651378426430594128631117667942494510790945619503228063178977667376833910639662344543356233032766422040750178259201560418537778318010241136033834272315799918281026895378882271782183463855398639835656254055348858666562846596001512480883509170509527541766821204702320870804322976361558793454081532863980885329386618107198516091706651443449980938160431978410983983162738417792398900077583883789525503518454432998348727574831080718151947136426749357630549046994041350347832141002689711881626912921535723163769977235947122032589359536805991302976284676269789961269332870186788316518684008729259940115707663840547994511521454162594037957972980647785829347470134531140951621503310808832370165075126350597088955871655775769279495650677936611318808630588778675286752840354880625103542916064591101549364323789356035448489110862976363505577855660985129217953109550093969566192383223870452634815148880947317916903367411996472345072754991297997036657052655732540715424469177402468481842352386674549475842494594646643872111821437935494530670852418478355815247492708005223512204678199150096288019679225734251098989239508288898677280714976383126259121067072857077979976385727011982150438849555534000903953475874537368599815095350309028800918930355624226753934520467960889884219262243042074322164817436429664851148607492773652592035355438883253647270662270303193467695268665370312940288593465596662466977596460351337217434084355425259194777653442609529891920962445416264745003304425043343770846969894313853042752956643952141961894755639492022218440998148869056579527647050394838072569922640382506013978346335849654886042497285399767995825896387369026275357651844721708841699459448590385661702754664683451495299793249242270503886627911217259302219568007931119241953532186525426891424670964439260877089590187066909662539015136042455798508728964732296763810143774341694878173928885873497087274842153594663746119122439705442338335283158123662465363111816821516052646773537846203413896811157778040473586666411803277348533711977979782165440872025535397462318512381373833213168462852061087835202681983342739446193827202659875058359076579204302882372112668705320076800647184519686589692879768198176498833189283544743718743499601441054510101823788259905552758495060487578680644152962925173178330299316023001738630307351010011805321124134405071047262458826588238833706816132316331996185832502250034769179746015569872775944873873460104139414782975771703781821639299621248448397875609779776260286509769127815348965370817960786398895136863427833278255531960057359696958251963584972006783892059102301749588298010363322189698376141059286081734035086837635232536704349777288110854989956738379964719570363318062332778005867832013393053204514219941029791631422674951170250841490414283300456817734476888221112262425999730709126733314787066902404735043923327421594066620397703874765769334686214729200627690959067743595804997653601911397313467555594638698338803906192246562612929960085015275016801835674480728409697861288767451982626367174120692976665655608095129642524419703172144886663313510292592671620371563012352113440276114699518416605643454023632039153091713196504584244008980501982113550226593363988585958120211975588272012551911395990499519552280690338902371392237759027192971087589802090728607292327956705315852541492216237388735637445394986771550321496354787856064155986996261448388548094453067843221053961803847591000933096644537168495358495229359363748482087237188221294020508324184372130993869633996871220187204898393362838300326254593476727305071662343928327586717120335362857050515515762301189180268434608003111979430773238854020004373465235185726648092718023348997536274430470238661504908903324336657485909986861774114155721439540148119058033991962780806826817534845285704015165983008592872317367524037528445798894028377526577325419877469111787070233684934922408836454033095545901362399048613416661275282982129293753609346267921749074295002321467135267596086121305979995498989800870330260226314493879925234034881485800085665132138918565561515734103796116543763731076267359327521406567586677739018193119687297342507253250133855404128984981672679879685170612175095774758245256421519504015338806700679016836908931698385540192949961425355607736830187785021111004266714707082098576621875245694766006619613850593140772606831503270991586418305080343244872358438891704837159130808333131410522000865152102891317690135405732989190562777778809405941553041475516510649983732163077732446528366153312214225424797090554577158533695234605107577576150736035277846599136230968031564776439140172411630305804892906220130106417762040294765201720275823772504182107499436301873128980116881539643262783938937589282119803961554128263297656787808092399132795597016904935762969188807536962000686564491296634719454025101317941163589932867879582082131327072366839845670677374816475689066455948721053270855857034894643953661055773251073400460211932967350456983134906537681744265627284328055889802461420933319842215112860535453853439453476906380265429373233980269746854186278323124590644190330090461941242114400928506320200547861746174208647430848157959986415928305812573136625167179421897778555646996868190489236333180550217709709987193510027913003814618706614714708540237859478316915800595755750033591335202536492783761921518388599397393947866762509069948289558010139820992729931015889011531820285874916505752286785672097684404916766250668042666027803156316315710360514487942502472343599744790523562906564530408347936362004109390839484681329683300725002610348916766093951971937072274772042760673450160536327015985333082141138719906896986648706893689627811738373501598375959770609935426228754859896672311756050084712457622410404218723876598603964145471809159788550600186823982745686729067437721478906211307363880599718657419837336382396504423619838582890197416534678006232661344946091749899771779570777514577919726047642323734077182781562390025039400564556529322722099445810429547293702791115362197274316687407503327948250391362031031654574085866887441655979338850268304464879238664977918299071853702917570759511370523831190797510313691987005944500428036244329316193092145642170621962446226820974595197576282248342718514464464467667219999580384594408881834686742884768319469085656529032444971900087333815697417990270720937081523464970569108774149948179180488997769802587374148505578396491638334411722087154175608884837549266109187239243892588165934049541125070728325218172015712903050991147972895040559048867842468946426190958022054884440685219063196368711523470070425818190478104029933756287644064637751953924010506405035871666297014844035651656693680560989169034691829683437805251161747365667934628051340519614140024994477793520450373529037794230751512532437743215205883934861344185427257488849495237106576801572642954535305046815006831971255703945589131485728742163526498081206241260997986471948570342934602824059695346907157741580762988955286502619895567484927579755006421384054854469803117013829677392988801486313537103354456971108849448378255255698779784175056601863353353211769433731931862880496049442739746554273399207021333567598891315560379161822029170688184834562952293069145240640028134582235057067224873263018804914272958042304404535581072424869049054196338449910412204920765166579748678529210667946036204089663974640941778571448095321908709225929733779489382717719459271893077886813765435890048906923097733791217694906670259518185475573729600594182880368490749083176337944052694638387398982770966757865432525149567822259258495353132983270402555359392795758453662075735670307023717231875849227420355155029798087166955335655928208118464203643765051613385799194191403061725037653174093501691043113008203358790879446975539867438387665877488588393122453469013667107007671691319145274508217352353060979714520566497749974773507254657556458226210922811934819932847441385699744048473617792849802166046635868827944714169040977653877368281087809894486284915223147499668330428212893831499719341600643246328391721440149336489641871542361689427139942190049857887191675162419076110876882046877257531621782348689634075260516967998176988032932929724718911561767766477183543154321636729575292478503882255236856098204132598095674183893784219094302169710729951957169166473908114818963248820107465221281244374203768454209441254410198931511668436849422042997043630401433676136607059750875438224431078692076326473962418441462141891276725386255245918935140813167182682359922912297414207473824770961204140358833256207298466884076125810242670527757767226018409649371412317340175346998503339995342583945879900800657660760680427930581299984597957640481229360610869490623153399395011712425084121628332075444895033123190765907160196264239811915988880199436844952695504776377553936815810876979392382893480693205004307426114444931570954086078213384742957403683845319778291444211353829225135123503355076500754968156963138580086863032705821434938533368750553074321057081252428517063469172759873449061144880539348840622878187605329179658597464879484773243929569178050809799225019254585582771283352273067930202403266946619543122326481763123572289135613658342561132580643224288024486343150087198818853532540979072901695710428399951903752005056908656092194359502788589454127360560349303891431436289674621467721045546362874032858028373588592303490652956491192836491295143711594745934616455800218984191675296828566749895848741984789598903303950614270163778267991032405182508782838776434090016489421321139650522691651967506888933369775923684477276019258446319447852053673413828169865709188489881287080385582465838540642109146356370149965440928376576733349832793421147027216974349150490221325659085453801445799901594554773857325685981789672470068430902436934574241697020135222713602571867810247675770915237403915998844618370251837572773846547275801457570668163856659054641287932512267186439947274899100455220429988488212695201451112262337517221869018723382422072309030510934094198566131521891205369363620481219792254340571454058625430572980293805863652330700074934641956504871414983548390134546297024220785484011314934676705983406680877556992808713994443645779243642485563542680264531789463636122671773519064169027844962879946429467798554445194671397813085604512032827108095499051815260581406144564747045379304578822266164431155067270737997799716637765841101820474574321578348656098034048380056008052831847610873008027128496967426902546029816519048913060760564157896929155974403284451662296534770682423905605195416003516848457795370564876241427082826171178295330867888158625001028896175601139840301711158688310875071108155554686886711295635578640306570002938796568161674432272462884392829296165346471892480248161321547348723050815487598990847649792282816989391962091261775948313092779051863951833077739029173746385297405726067174259770520106373347099904501274821343499138466657379935275468694151078099926486885931759378115969800620984927977840176777200522124113317952976476194247547487052283809344273062590819683834080762354187033108339449832037287797504495038608164592891380607406233431050205597399554777709902833824807614805127431786710098029677344563287416021541740084538745864847276216186636871980520446149060541409454250548168531072951848216175019086086034071622167171683657115230924088093158872661066804777929888905836491380576264960240482783840034870832602616763004349675800501583555794021616616277677241078191097863860934545253794199414133357291790362655570765060661412232921241734402073808062377863516757279071555528213481289402414014567591810398535959367345390450525732250630579913148365412712348647979103814408112591573495192633494716500340360453435463932307598110247259600569267369146436514887102756526808891093601507530059783318815437590202134284903718729879568382434474501403489987177980982926202072010125784506135548707859793263631954340087084129350941986307654533206276355240510954880926681067341086172764703336928361291874278460598673054553156062445143414010192703898511080402284591703309324141182354390861217644080597429542569825880715763471092972928997669577512065781564108182682056225311383969839863318067196045057835119099665943587839334609832077920135894069464710624724020184666708826890132660415178981770115023822661858519963174020851926884274347461899034481040247300734009956082824384931370522991301309492593832979471275835684582077742911277449651120343086590641690579604708036028064355508054944370206930484563060003987964168708499908806319305713044092125376099505403343631625136003345092236094737794630751794676296391111809312805925065309559005548427422828379628851649611295307479913653503091397383414024647814498697526161383617366473170408506413979606448592532109778592412493325272395257582911846853048411000174589422386479037384402216353565911815338979266396573371825798012032406651073617521441975060134634052039782108059867032174081394254129661582574263271538716853775089393051653226389671842875894450033188537684542212343349397566366352272913609985722000613505542457432091548904700399226889733866372794280472312136155508512666104337096961826425180970568167300262963180486260464968113449194055991046095927016938720698460223387342894284705422977475325747358679074871512198259933107803513137799884873762539302044145112563599573153456372024903349116270912315487469548875692645720273647118434628828882624427515659790214257961834984393352493963612029875183864866480414147349420434323117668376325040335802687245633083821693249730282183178417083574747746227687164461674424144697949881277070815300401709679348868329719662623693488599275495703477856604307386263348483986178858663926848735136684337365108033244730605835190058028646005893139525100446083702449807194144508109321955262419465790600888882106759484685004299314824869855749294692798599835019326824791173119365100486742400679158212424008349064561052632980583705524709382772284556042747661850794422322577703117934492121742352905230157749759472040023880236367512788607898418909804378355921094505979884496908680467055515820254074264218725892694835788058885177779512334601340558320064854727655166314937774640390402775136249590293693493911024465102734246085238491538956852400967331858341017316160365603769290557951679185171080556752434684619245686505046893773994255202846677104774678340598348941789516712741569353675038092208439066045892019088129675664099876169315376766823826933298469926902343631915224476916499358535082902429543401558987554432901793556971117994002458769339723696519757259722720853548730034735209159455076367900530387169881324335639077929349990264598109421052600279619968972233934817017551598158347537566813275733846974617849038923544364928215371759898026718551353976417637820750133060428319018916968154740892840929582806460075992312529147804029508344244699755794862429779382490404369642040455708586769897878765027332213524840064802947794515682258042563860090230503475545978962918677106191812843411073318992255321405065315650337224487648238128807005042770762594844717893462764106869899152824303502426531585728118128933393869350367383891913277281076006257458437321661977893729302754431151177101729848734185218883189008850779865171109042564568037581606797243198065024488534135086307125570412963617176634731026576929311529408388536634568179964193224744042731401728952872463482877424632086442336494273597759578729658980777400735630702977740997605288053003341491898651035795915725112017733988132629382630291236144214417348285827841527134253909457509304745552205227183906168370304746025382162928375600430320162924960458049280152257627556534470328359653246902516279002656517046549739588545251236271033352515234873516049025685162982611422729946141153707205923823552135943519874448571737012599195849814334981056880831819724714938930631379499124171643167202538434329720111212756261304038908930467368450098640001786574229199177580432298784565526695335033754416197423322726556073873730202062311250881312089366650397247080230387378546620783515010106200512064249424123616480989395680557206548512559464106413773323930349593317273784334958945353849171905620323458022078805895625910677025259029383484251827481829391938226221210078982579224348881688250464491186193133616521843933314114323269593823538863786922824773009465035792327131713485031439803127000892701580263388112689203606176311955947285053229701005142279010899986479769037989818681858562504095462229163211554009768179286003998474494571018479331121492333661250682572738795429005442533893901084647345291161199455806456720125207843709982218418115184989264913975803908848026364029705983796679379318555346760827712404178665621123505686889814738846935809668614671086977110998010747956883473287527913247920928075610978025970621944856215522419754480780652074810230466989307995536999927306232757536198739227397267619797096200310468185085375816728939707064873266745316195129294226466649834690424694368302187187184422648862069208994058877377580685878112961436161140840143881121552106848394625783340832173122569125708776396461468250746146460307612644874685570803099743568743171236200475144349016108936843884312446601322066099084084533567846537074022555513681537321995419732607092710974176674901576556074273271323524824517764899323901809229892484480546959028058275454818905444043403472398350039796655125296744737892424813338856684216268155250425614737195684767794025867112520579027926726106230493889049927239674274207666605179755476297924334441527473188548382926401722488470530015735582413502671216671220632520623549467403226517383601696142563392111486415862377921201917857213648787117774194470352774830710253081697091096546422107679148215283766951164403674732274772494319560246509675839008383656984773798664548108542222886079902073187554204762240392930976853046577507293980173811863045888156696746203850417997151705519784428513870020596323788233005585257895801116606377373598207357787451641792988848787505180616133305449841837522311459938862600613520815551124509681014895607574253608432765812171143644157056214579575275355464503976308875355589479073504229982266745731690222828998085141435894204572596178840579930005139199058576560642101176588776064016968725091509674734587647819571544717792239510885560133273404093266147183083640722664100845718567702994121249804248701327439287582214464200289516238007289231122579158295704983174018286825769635984488566945973421141705660530889971194646958117088090835730913084152377504178448953065676262371672807393536843127369005902393651483554194065668767010982575747122607502184626793711876726970017606449291287307099639899798886453183291694888743144974525108321269610384993488071782505548293215018972999726438767167730852748387905302373852968786026725461943066797914491806459548143584291462826584071164687410020213462172101547806141947713176665934936750112893853756088051011092697666427218921022388358622660049748577082893248568236152431420797398198653886369555175388792400836124856756827721116708185840537391292312824268570293558227638393640932094832898675992404932994755991246673404659659225522072656976599070491899745060563313585747032238896021794040607706615334716777870196142894546064218090039983989516909560425716990628181040145555717472520156663577866626204177309139036332420165485364616756857267216827739953267438309599288485159298919582313754513264634780033330053501784307642792370897876401373691394665532034702578804858240145054718066165049429929767705828595810206016718129270148423700757598278711100070111847541666145758527148349672248988421698465494061625631232836527645858793100375594066312987484365034763847879174247319256104389022159736794875300248865370264573700543748960436705956786646740651027713197248228911761777791911385657337981897654063934065920311817940518077547183890466713703707281238112513505410223345260082144397285495168373211375575514484883206587384666119682365555266168072191320414836100014234677858122399339646682129837425371551162429036629541673361097900695264432983355852526717922965998145911943180077735011826346415395993680078330288887030581724141250193958739765336518780209437979550263941621458225166146838453462881494541707063787923686804836802920667520554164202449436633169517804184875390185198742198392303462206455704379923713189443392527259922332202353966248766854516763208106517995579438187167570326004091177551027949287585269368414855472837150894375868311987170580799636516821462645268385809407284840479266013167905628106499796496842904675003942309401819838574325064997606554969622880552952733787131968987045631674558994250371591998503073995710417545816713270056024395477049927268781365679609871620186659348158385794414142487180652284220425427644756657660360450290839264692881653146021093814288851650920182422978599279084466703555989184087626784904941563813218349585086645504355672774018873221648041860380043861463280048892170090563975046414695072171106199486666900032061833138703090828505397046369481030395137111299113393207954382680450904824806331167364753549578284800145046117575725405764301235278561982111408593155518391641725159200377184207934706127735079619866713680586098185542660606222740940938410458484857933471238640959318884363579361212226521514475836184257127188447721809380692889813887682608538787336868869637463259019935405507764985168320086957297359798262908835401095437777112167601537660731056414913747837818488382772944345512632455183435970900862895870650967090223392326274198629984450208122634527470320903139062773417152085405262788852389959089912673190110626963733713455531986501964993663407160989316089553482802790832532469487420259882000418889852644110269579919537463705911517864484833800552808716182305571811098836649198951517606291975945126681256471654433785910572557790007523745924464034390304052169854652222972065380039485558689925962861711439616475944203152224182765466221233935705803695316979118327539582162002511257412171858553206783644264020377691202036628173294268059824219013722598452392860378566826881938922547616999004630523999399450439404074210048747298363703507263662111065100724477885700825581160763573670453069222769796328961929029458593501099699067088689908757157539758893678080069416198402593890411823016603761335323835459686992645210878146780244157316118327661513415954283188276150136045672870459818265656507420939307847143470285132456309630382908229931750006433631352704753194786777757412628759110143700492471376043164395021166814815973940087160816698244923594335261822598412141703099730692504813421616011470803935078931094185804288995353457960919920417473795623638037019773430113621009118504415789244647113618146596729530349232153488850174626962377778962890226646093584812070148641197430244671783297584083857816030256018577390342399951528331079524825917699421120068888942099713356177953383966108572184791740714313010841974695786345459005105647932080798697120767853355817202338276980932550148133374628311029032362135251012009820812460351045426199786371009520009295271241035769618998650559821834687801929709127286337812301412721123368127793810433236495569221179309725703292260442051890368794782617873426177364890614508552550810229395688302632468612778529782102292490111426901122940556881409888390328178395786805694743075497982894982569393716235207252008638780932720991712947160662516755927692208865667964494467917769820908063942204526793620930270986531988110570466422261944804979091936865487453760886047236458206828312385653813246800196579172672763133591956508537032796592293463121612981648736855011018014323736240259062750731297429635022572781947842474661487037264839323586668433128385614114575968207179234078629051386633796329342396511094698968491173812994306770078144695219610978026580886230543394345490017650152857830283482769325600086500395613707916064027505437036908216093553043485111889035449991192968076235694928935743285908787997851710090986087819373254464652174308838551129012591573895558674033384934040962996248338945915319482470897838345139095561335715197161381046884136441371555310203051135040254938298921806079514008288832208900769033969175926438975291074560186125422704130315209729337380278479370528074978012472233237249694793941193996931695257331174929957962174643116794224527618898612028464243097965493053300280664710171981050934764938456611000283716013208674628631196906100967809472744900230369105368538004570351156898176401022302983998586625798790663048096075726465613778069729769440055264638506559791133614624101787911299041315887966428409859671723488535879256346533321031902896517041638523626072267599748027310606025087259258132826228134184480114155073360999988952423493581498865665229358563182332360753672012959416968415317732639959745623307566839440298346449240446060477418373792179430359203463397398223578488300219553477585776962688713818444997518486614898140095655340473390082805938823105301659691324382255397239364711839287833720175117798482853926886690951059843910952072084982002736224357426706829446666103751366230379659538502608453298313893217810725043808819431906635271345252141617686226411738019176523123146787159623509057894035790544471109153360602767468161977678654534188273072327714114104094185830459525976211986136804760631979005470573490639224437952540746110868664184275371873795634889048731864521783503356552453181763371056180875489055388033821986577756619312791880968878598996698818139167247426510080337019743255191909478467103976946116446248198709887559663290394749784648978917733177795051460359761655628607167304048759850391332556313057796915884266257259233413886849396812634461574790846084930907094645634373360883899462586902862092913716458314468207355422624930022179778274599199303990586955203048628618658143070441802280313765690426475550693752028398213339893219257595458127041333150107444405623475330590465164133946510082671564810292491257670318846232454834862328063388508001473588153953260011930831583685462638743447760385945665636565381744124211052460314747165401063498554327709461991098843670111326102549730673179655383818997947346595086972122751406376658180098152491433726209650924203516174751419676535469614206212229809459269703975725832122691944265841760782644183655925015424298608919938683713221844976456999471505907093872843884604045499407000806919609228117292663329442638368512375755979516028498371435923154681431770443580814777837521641256170228649637529601934378369394104548941323771600809378310083049132453744226575532536951667216822004258351975317333629499369380596474075742724567725403064030275312547067838922362661826532687460468394141534631164982624998336337666193371416193087520423268369593605430127441888627466298656527381270892313164541739917915194913481731073188036414594573474426086088481002801401389164045922029422923161857993796968709028467780159010606177434706872050681389430045081446525582503320799860666140203041395583237137985492502204911692038235639267925948867827146200202628839515699726083528014477167898793582578724002555156790825793768681338238339217761289496040176199051506358582947332854958833528247331360376434927924450065515726591941847634082346637979323760220334088951593117089419944508481905462196469350045518742467059163879796658375966564679957992042974769908317955725365748412277945532474160834202517822742796316327044961299540764291116925033432207098819593314241487157545457688444550449290466846793886936994853586314061101001947904375357145502102806829640750033373411993701488285066086035605601445312419415838635012495507780116479038353781403899054870051099477047791011182227927799142321113451723881278548591466760820558037075045345932018800571504840085663737433983849687930896438578695741026540425207395429521613024466160236975934717766753908249233516622369879542577457883828170802210725388330397632156729028898571595252731272959684314151483535168200033653158032690936867699935078743192102154049274642521394458324646718295485036655622072379150250541416022352584887927160051670495722121110911917932824176336977027034446471937810362005947698482319309172681135971195986752311590077668845725292379230287732567692411346311269246001177912084365230213664037288582439543581896754967608721068576685015118833494639564063926644103454223499132115328054878443234679173409609712504245558901519835186530238548071150988799643299247833866027222833679493544174337564524936959344033671827789422541510755691197640577102983128549741655379887847061926621351589882116619709671097686184774384877373968558242164595505041432632505468814772785110550635423681732505854239912325738478142950613593636251152018427688464719133227847383849108932687567998735345837584027157974774329353105647712000467969926127882152605945116251354747519196725700138848437952123629766992221607352629727420299624931531404764325157618817396220960439497183072113413306614853493438736226846658171761966211620817091207859176010563777071715322731833822529766849584604380360479756166671835767633202496384416282385792972342485015962240132960958212362395764780654497940490375946263099800537339792836551635314250121909535856999062885915090957710244459270458178153442965226510926495801484487077629128267912741109116873341068457640693032956864350713310511187117503221326860406143600784456858756171553376533236361306783363149393013538764780516829936231208721206478429927505450277896371875475776009304215756117161112780083194125699068826706328278311781634483401256192610354698433549341620855477187511561892314965321785522343077118789529117002307783509654369507216180056834989483681505426032130734697428441952318456117318056600207504254824029019612802171027959461265041044766348907522945304740424419512292194973220731972462648832859022983106922373934119708300182323713589281465063354423211378010615145002606466884830031470741154558757507121569445260185306733809456179556302303383401960236174226486218051532241804237974213233032552601830329447109098414003240350064673864471636117343781732203598854209692508472894533644466713633413434846833383918246770480410908925621143408043518055937469415261108023210105619467538186681205195621679164301016897145763050497780145044702057218354644111247117288332836217229558039206069444055335529105251671170297308708070047144664296501338775228807006972613673354582861307028048747700272492161362136540260788359260677081753334839356456796323302160179322303277456065908815212377767108370597474871524648276550454775347300161968236460287077435826190151813056678176694251551694230609404756145544454915844627305468266905505047285219457136167944076576742529149350578359080605207445591868234567140376749114550033856711977936715305514346514054084665220946899703787426824281943037129857733564923166341944830013115582887516301496080317641145192915241470121630831652214562261627187412948651869692030612459676039147925301569172417685083088295857000026397378517958101659917678300346430174719136554592595838106126500023741607163808035655269170657844962669451335669333340190543301546759202768282961020433415713630995839468541155096988478840831778795311673970605173028471067272725562349398788180293585090830454017134243207268767616324851477701865980117490895239025698756262723911993645670519261860977075813273332201225968684458792243413547756230030164593807326011440081554780965072814260653253997348037069274091628006459362218724955942109194301723001216656904202050076337826007492021455079455418312446705616946910692429129660024019352959147155550538385824275151992559728915185360391165865191252538613060804885526340399140848208140203749807678762161218663185127909291373573201358024581268050714959335570979087107298686662131823387273096511134850408996254396796281195734323357911139430105218049318316028814693566916803307451286799349808156597656565703060496561368419257718057618814730465218476572400499922295699631880036591830404026940200815618198546046504401725507539643257098131673996546824067893436291463694905706376127501522159307299454876593278027683188419952002503861215074168684105296724563747553143832560626734352854923161022223893060695142950130461828582023613825534708929974734452935176675218929041448589762520234575286077054729506934552827623664567037596734716287262610520590077753505934321081044537103709827062512569652646956330088498055814729051408586158326841552301205948268089525539855488761326918070132218520113230477905910788145029031826601227104811194008158864008498599046487376098098480470172991576760176348373571680796325244218593897280990859158970715631505999714694987045123022470807885815974535912220773816342868218813717628795914273892938086079066612049154437356676673324060477970188369974996686590374683759148001237712135116324401134486294830209943535493642365243163517788168671693620143969968613417463089544835572639677038284258387406261944233838418058952644504328944735805456451941982856807221019371124020832250423125454111753866541071110019532168866258831122161840337326731830365329570673301010089690572251780970278223715702302220089913882619999544358436949772730249172914479884414146775720448354928623967942277846374882785877588469479123117079419437318425457634242571654647516799322474729326287589430923880466644852796292270432845271341346183247286341753387550457432940065575391251144785460740549608817443046086034076095899276501223394127887468243862561901388059698469671188054739539348521327069328286200707151810604434316095695938405295907230600325876760097031957815298758781764791790226528419631944129726423692820099568367402324945590644966654484043348703136872380088138698296700507492677329828052985304384333326407227427024664339016840488554257322680028450651253879109991266856517067627700609712641325724556368190677266114175213813363901877615033879169883452169197182851727189566649328784758854245934455826086677688310691955412454938543233641057181864851259395560258236215017372777310598912477555897409364850444080859796781874479540771431048702913751079664170580711116160432739519581257879971851834823374346291980106968668568531069353107220728387415683539080857328401596259357383174169558710126987686481503432565949739039502925120176881841184641438783966756235987480717260534533841059593414868781645288399668966902647525801566141279261839244387817605700603648264502872398126906022522714137708953863471462652405736811481638493485175939929836166365815743738987619583363564081520183146257699867008403746456090047452673213170684882993909246824406633027897990357757501626931365862400803693541264557165394442440655129786771671764418617347946290381424208345411577664405015999196292431771813843833797502525190271651587572334783546113863668568330404875020218874431078158966759726547399181092249186409628839131714713614369495763229798568538358736810724206633098018851161231924396063229045954812229917622694872060178769380675338041030017621059542565867678514341146004732278252698277370172744835755914954793753172523516124801892835735780528052061598561263351903012477980768711375437400777397320771809350126297327354776181562074877244933507801000078456181353563199850484814027126271642773463812479831244227034862005123183527814531196471059030225135263549585888951574219189374276036176823247913841008250756760067542174356987479997489391556567170851017232630650712026714875915448527924112506233639647395307779477963326354978128444556941723744403236144486304315996798552301977827114085699989307748684645327278677729127617439517998949802739206846226617904639735377357633323145574830012888038577634323074239851508606046010742297722259702322701597244732444874063049420549357518557340249120038789014055074418273477998116709790951290803585745383954668890331897296850355435139896993764379090089894118923590178451353687741961375741065043902599310184453436626003942004656254686084401853900613092928426148326447367442852377744804569657323266543200473417803377598384645776416027431435432342624105174058463985523365767814758053841348888205464823688911348049130265679956132447032371811111637664780970891665155345634603834145061190968245705015789594847460800624453997037464093158366823332257112013342970604956795252794487213987753911277709111624066514878641655022469286329297319290651428954483681378713739890529245570285919974693153119045245648244712059946883254901696407114695904035942749559013520049225566259356416941072263130464706577742305644036583046068027105811138119344841658162163711726370622549852300942838271271858197644311095089432752459631074252673819648638753319064999636027717249636791117056820368378559576130032816838694465750103700930559164493044431562143678083027924874981102883040596384329285611593481641276954302669827397898711312215400076087835238905125526944815981168808013876306505845751091201289171537352106674207837370707194224572898408943680745004336519823004111306817682515504373167191166988129332538520340229271774055591783881204336145341623011402882383502415191332190550301931845443198154097688063851123276568363905337767689157890542761125667267882693908763701845700568684601874414068511398116590645435252873667112431246057163975448602452529735382509841901950500676633744684369446918988644750661366659425726398352054305383870218809381147216784586666105311088679171749874026834620942137443287598058898139136929010154532374228227066121067818419796667359666404624310161027542093101585364696825850796375419413242075217779126332875911854270531744043621031953128433878188433813999914014053276208125053749613211135507528968413720665995585590820051591735649826214988502448417829391852460213241581446494203806963443496898232958013649140979765937488476875531739466558245399298533679584101265141403199156117458859614952755552281700551760304495539637547707135535202932342092808481141635381132481567437121340390672138303223210135660216023606680236858348367403007710229362800492667950120603795596296734767895366241467874919036458978371799852375050185192703386367724299511767250761349485782925981928385831544950865853085743177070371016302317582425535246656658733209330056337092674065214092531672154404144079696375347703678411026251734935275515229765660037541080172208779460056455124832830531328800010774494348168061213486313123006248288167521566714806710835969237338764106185271602496318898737908527717518576437521782409112252234756381453537424712766117315611872075831787423613228025105562768479183784364889195709309614100264980495497752734739640776998260978475588288931205455746244386861500424298017393133780269374520344165571057355982454681583695909892713533507393410526523165692626059282842836273059136225001110044823078443528538918374481329781957220478700619327158488898027204124088917350871673016618974624477840898118775451833636987804650689743644596431887012727099228048129076967103621940087056608824348569869085162762169288485655783272262738014047907712956776069014579795886759673616012933759758040068276940889733610306937261790901279038404271351832122219214849237279381905728016602214987319443813005477436231671799150826568842366556939324431505527950582844369077886196238631487410899846660304645095475691959013968631611541758900495223802107084317795721463686574653307371135577262262830679329853192669658010904872978508681224305251912402501141840788145003985296674297217767222283066486374854810490550455278541153936810206713034932197021385927533981696740823778180311758618124049667510963845417938719227080936823008090093331187078309705143221238281931000973806716903055911255818044068412329252689769752468206045344707741946783200055085123201297417514951986392370916267555438808333217242618903255492707508062497014352930210865272563858973523083836986504977385211238428788476135642845583768593798521289755733807082924472900170053986842628646215321606849482241267493261165657687550655129245030288008594014528332916886749448046369758082652646077518373529451394257340961038708557952323802103253278249141062784659700211461444520973611756939280600740658390029589471062543936057282519458373933541706887903677016352287240220796851887124391265377445634119229272473965239676717570947974473057587645000642944634173818632686602184206035204344053337556647287354435133338017862589636833493227861004110393421945970683752766765550181216539312809825633014258315350643581616842602463312109635354168418070990188913764226329006036736264004068816435691023635140067050319097774520374803825476381930394705784987908819859788993920684914826197324232321798424281309677415304787553956059079053199483799659033259979681853432278687713724651508080082189926425146266360219644129373739320650436131956883187798700968888942868022718544752714741468102427562474964706739826606612097137165532234668412611398779197053045532296180357236860406329689482763198073029691538398012403446882711370712473068568344531993072018594854796517490083860789959869802948854208156607403597328661796937303957313221996273529026934399587815268832605225655114146799369524921614459972037179197005552794549427776173403481954213921838340368943951670753108692614189434194133787985005222850726150775499811348327956929549654781040329370187045949140887269197827080361775924373215889095706867202020806635644337337997421999560440687532393412111079351656105461817606977036717425048289176289659819021827463647804362041267017856518540672552144561781917064906895278871153418583708884592368432265331564780193917264664321230026216444171998138537542441521170270953478992937677762080459178627413306964564056032908051086028314656060950288500806553953719539194058056395440613029956009325353322479434392706108081740864877141004479282124962352482739041687128198486108675082224055423551954209341696929749475710458132302350233006004114347290799965806284820907068373624336474939771395278077727290198987602986327299976351496328807076710598028338981105641262428743469207151506076078196466627187099243703289648312028068484578248542943523376770969484062865827551478824203418982485802755662376006873521911540620438791800607109635996351724514560943915775404895610489202397959192953398037592791062640679890269828400346178094624776190444124531510271142186003077882027312297884634098721300314103467006612761902939102845015863541713022619228268799503220736623423786993514442315107267298079668743159271376252810405489625017962838102098853281594491840751221949414107728044801857851863344655076094736838711446809087883441368008520655891533474172017555289506967020336211545273399326165244843953901531955796745740946487417784041446106339476507342628923667995988511589005825484895650433753368127238326754695370239876074462089521592617496040144402123352393955332720245237034460193507623277517437515238211908253283493047251724016814015639051073997007735510089614953013633247224475482636656725580289229580557672053222280898025079281143915640100358444916595622006788405608552477883825256279928515025396869728063851751541589938127349484495710013851007894518775810272881209468803918025879942405656322911686948992663351545129661590754470671456629247534710274573803710370788066381984048745404900613349994284196195145263796537405104092576355764778447033986364680450016967222365725034363333351774524073927323054338114288439026392649736933932860378399502621635383548278470636064103226234311821844946487825998718236232788831415484594541944175868141002996902671149618982507163644313979088494156496831595322421674184962034752527097601471444952675252721166046921607861468662564293883479869236322148623788753344181836059202047797060788534918321573015545821220780038893009323943182224492809438683860396797941039746282468596200585397264893524603442845108185787443173374042303755102353340095865571334921251802946861349292876434364110436532401021724671249300762915017116701103852064137974168434000475912696032377219002011755743721272931548526041534464561555215206006266939956898370786177482527798834184850963781840207980458232691307866382635481279137742324511702628650252825331149573796434848547343222848048342779760631600813181070024881826099852735439596377776064101509501970985349105154114295827329715071563460445483831579149733304488227942147526273991387632332167349155174475014634185785498843536430169333439988009540436074432824082917634182251991478173080914798622743568972675547842470549384894871840298981258464363627225414404385199445764149094279800117157691056916427320153261881945425655403484594218575247145063776868607570799161185130894687357582195594485544812064151132766110865824194917235418739733057502433444546341008421813550760763713476495771545187516359862011036933391262583472297789192174891084564815630983415501567897804239928124509754747517657941498649590113989446869749263624829857677549448381231958173339391106714676756333877609946584922383692282062357518621949001495030069995200954523038636149349715766752967147240230361247759609705087786855003834281307256105502334892150453295876329997703943386391118542628633398655127816424129796179161699936195615354458219890435723053848787963024897546693593386587619686150988941423762048346661926844405621651147709912061716572242542200604499663421681380306406572359757589727757752506060485313119785151155696160767775751343503761824056277884936500341447527804645762622547921532168369078920697892991287027760280113031191681638149396837373269764386195739801114437200699269159658452157348938395513820832462266258436072059667931776855637610005761648475728534126411035124941225898599276526982218909419178436630578164684172223676325871364491341349018533684578085267074970794733325114144474280245611097026294576776494426507404373664205062181799957814816605531628572554585751469003143313950520835131382903417679890580975876838616108198894724503120231761791911427589140509349763125173150459411653492753535268691721959694871309832200521264742804542436969177177755904668580485862285821747267618751528976827992460062451897100424339735930228135687589822643506712327267001759430942346059683604486737259827365957992495864448747235506913753989842968391901095447206642552788089084651339796140166271693398584647946198468991481601173609913010175008138754043774071121864772246734549574068854468995120714126327238900597103485128774917705379961857836164781597026451045564270728800580876246437511587107741576806845826563081375330637698112044047311352245385067490366329716706841077265514183565871671759333979188157356294840242815282297240566757446305192087427889884848650746462777753673659970031853830545396539130746512092324285950887810461004348625783637123318903425758127987176360190748023675971533818237413821208041378142086847091155685533423574178143180746833648113495932183380126991674501895061157098077739880197758443405430853277567222628220639563580387690483978639924720839082259960812709328185853091175706365312796966560970183392068958055920907141018147130674149095680199777913933807664724834854811149932987215670184594814208650776407801087112700747493338720606193870047990443138085892610566966204945873246218060656108220262891405110385286558202763184289935314838936049599346741337995592767175403070997146248410484377799518219328717504792642632964833154048266712314703303866111971684049455496304849463178744554194580679835601522228724156815797053617684802234136081957923744108205293981429361411098405002171380574013911241023061684841959765949109382911054503730246498128470722550297589120251777859928125014228567068549499230147510726414243340044588521180394589124956762805865161131759117882509998699791483608572957186892413072687964162393640900379364472672411524545921348700710920938879282458287924076869187321123668194037566668907061348801784268123288950976269491717921597173168421634078337096435570987973675867233678631461227085294182245844414712364425760198598603736231592722234288659761224436152050391744756760594059216305257197544812998795349330639907643743477509703393092205511003959597588111557400182781003157376583018625084069439165290925085858603683244933603000360609749281589153028481050536231349057108155193164777487078904281668357395715982085853545205889592632399973087991964854337809170708653168574252758499277504545497688602930449570227005120764811906813085295416349644425465675930741273089837396844042470550776239241114447353927362313808522250212420694014555615181524149957372847180107659784689847013659692836308909269509331127075988106780322452229068634851977578775525097020073081463905065941008253488390678243895776672310811565774928127277377210910268104989613955625230687340764941973227366878808592567059719331886832840333352587530538867068161246782576374928111275279508549457793711768224992543555903832113810987853888756546624828603511472148341133892160687569454314743962322100346832314745169108326232442342449025996403877832184473447768575353551421570616564595045371354769335427266301165137359926350227635767621269484442758463951876724807032165195378032654074947347709525714820937249923723709799169956215234943806811645820000163702219983978995494105999058443084887376881269559122202159098682939422211094481435276643885911467474223415767470868304076828377805623598781849783738016145478380556029761528773665009955553975353051518676890688652164503876092581880256279867092149283598128120131004503448595380175213948264935982175808838721057636485147013531693053740668693880562894828461505536378386616798055875663461147594005593660079387274449675052533375743014643083878721796686750687675151154634696492765071427331885159432845306416400570945837180505540025893595385362702231532966733750381976486378810233007070708147993037918825306480840357109381627543729674762700931144271525549600738701818439048681377885973145203004462938402771455748378170712889995863399530324717281068549336016532289915569149873178691628389550237639382145194562138941598581774202463125973289126205538611807236373390572822858464030879059944529478220620067922253096408661259442950908660497513324366524460639278532899372740152104144297241984641175259432920952608880894340963228714104915863382678915569421969199471436138067251058063249191171689691091614975395300614234866106256692422931590431938089058652064789253273694806566293149966922867213892406912672688904394299700964121780773198007425981002245689915268227770158680580380347526696307759270977718667562820331421409798054937997897286569945820314502107280547772624821339749183322537275921208860144433657512918593185939749949849991713464609123203141110554376735973004721004230157050681509477381621150993004356028161102998057504107521808739297312733683488839749427040149487989811023940776792192237287418978892245554152591976233239669520150283880973058615370219001601505563719236198241131095287089563128468762319355986364833518691412924225049041424399972236813152947690394873782446846222058549499771399907592839660269826501552163035622181863971227019660790572988377366124342279268212893013795127569084496864246905856993229952440211692332887283431250386584692195116548225526085911328090480257005432196321619507335113335114643759869802041177564938126780431505587600771959632562171440351423452052275361412155275701897929202881427463656998158450377246671458579831832400129978966673407412537875814546453844564794431620920970818609415218709810484370450047095942089086089424885571519997630532147945488709240767248653337624649453863382721890405400748469691668051857782585576420527738863854138899996784518961922741664792917145824109945179155029180688727208439469187773087975005302180484885495645543235592173223823547079757845279355937915915783619218913195530829291195108472735774505616951344477683582949689747187438985939908654192989144419100731978676939218983142918524390686872040268441709766935183671780623499480245260403024172818114551895722823070524184572704619480463850146075037956704596036988470692957772328272195005347929576088768887477943520055881176790051582414742573831896243422478440358646891808373414934652472231620326793867913977025939867861750851609924742699394060202730098511448175238374906898815566002378525991203666481585751609002597770863604168817384683856453110111217669970670210552821043027772081359564180017269499132729301180554203643524941510299829074393487516786894593222239696217379901520616414541149861133003323079341044688624548202920950473013401305827309697746463090017254823775801088709078185597945776940720912053927715591883210454165773586741176132710471245533827695607034863658823647556865420998667670564879281273465011005918270211695281609709998090607225248539919628427761006092351993010626662321708016644305335284713262779828334513227179567538733789540134816138082606428015464268598834980044530611733378821236684407753053814876505524912423768617183652832434884747423649492624753630146217052929058928423975790997547688846610028497607970945284090494650363306344692674297472081071613962736592456117055565454222451569062956259279072957301377446716738617485585703181535108573227677048127972953449329168141232322341649972798522036431848378544815618489093661325369978317169560123040735044539709348936941625506223220301790372938330268772402640289719103307878451097652192803924457170518985820585885001602959572634785840963600568615768203622179719372240765159459699759465884484824729167652814844271038331097481608764093988103697327057557705364926777689319710280277522477378197942828563107073427587198413550471455563756567246428756711002689283462485469101192192026493821923882006530846444906498122013433639899767310055313798668052627371850301977284441672347052292241964942643650541070868822352763999351270555074355111291621986543459549545251065333089195205666033691922537451076563276913057921811536754551752260429335023092657355812570094603336484244695028896789958574665854020135578496281392896987613353608035742103640768999704502954249177864871885189749733770702225255441413729937981127374318715869658602416457295358405104572257108262229042238535292487842615262003809834331017344637892455858144421650721473910806176429702805462680383257424337167858240578964184827359269505894696721853040488851664432718908737659359965923437786050614457619210881456486791576461643459498471287725978746641865753686127930318188863829414998973139266829410157217454224972535613331782419023653779693928788788169767225713951163160500835474743081211627656539666071734596449023600345107320809213169331756456238943032035931209866878812843309364397203595339210201163179340180692688814177104436855937625554895555584784248324142536175488876746422624724121019475117782245228344174922434636371813678291179468243547476149415248185503944569192993983649191077309631016990331259162620319961754311707971992145926270990661031217929390004778472209636706028997132499073719194074455856993672988940665991202840854401990930968119837008205159669576380800979418022822129916902970263585024864953578716798726666601023344313672510165490610378285015470656477161550118055106494938424260996293340227809488520289773716798053225410588692390459139218137522003329715236961608657113573665512655717401916438966393029536168008352158505996818884639279597978718226283321152607679636949225806672583251640502363476153101171862588055502881268514498604114782518211296456241713777352024588422769323693828941684380725314024166284995411671941179257979759402389042648157033709623835322686029973391482104599427703082143551680822659295492099021838647060706907268559726590858573620957070836002979824720111920163583017127542093444711249726670136510650797744713511917174814132901702447912604959624090435319375898048174393848950983598226046154800712734424561877553912045272520484156804716315892408503664363381083569770041206189954588611240470727177266673209997915622313341712218923646835309817300780325407496293993334275763616053841058466382786255922000481865656410212819603311874234428444322561509684557194806016615465199174558948933576132026627590050356692647194780378147859356711012928313048206034967423755762552252805089574080240577881028383809796053009340513148687947233973221541917317155541864050823396486261103454930478986893813199502514344737871875658719928327590488433452593494926792855397664707883973288358064743445038151046068620702464588529657412761764309999393430399424665221952678139449969461041878352146086167168493643092214608389962942604336676300233508760685151702054239173448112362274532530710732489151380522102053635889036105221957380651263743333285914543075366488395124924352853903501648730297665713012794674889617322125372464469452417282848729976689829426710536946160663774430741316368806501680285209479259874975223051245939715054347810714318885435937037590606848897580732297102635546902683698358543703512918404198223042550932038317949107389753603842436463084002694323183139172635241260938840329310443656611723636376687603851246033256803612254100878470932336635223965600180451637299007042199480787689583079053381433777370558188177816559571894815731231066765126498789084049440592763421036878214836201916028311930861412927560310296206335510800519602940859227712675693390818260179812781692964884861670291337893599048894275362844143546812158054686082081964280754148483356515081066320394758590557676994523391136195755212768274443824052204419482962670762629111021829952435681113319228089557157195511508064018731790963894379087090448677004827246623574221056684035345637486825955838619388755522530236607612918496294854000342414502582593895615534468334093627297213135185960041438155593661087729364147872879084587267315386842087947062382280943122230707903432499269564879813014553860122841309561186586719028793768894582012755305918608073184562654629402780960132569001948511492283705631762974301928986861090094578482125900363190593160940240032976836489411292553171609091658203401021252969212208033592808451106679430856666093066036423109529027006834735722298742920280929721362507253081654822324824181477536009014550859900370663300307397576187811679561839580158916503166214558322411612520049453911313585705718719379073544130181461583014859816732109786796990298483016057893411285901874581486461237390536149097281080136125413728693437554273114672751354549088227260783761353334220052479445710031887242485837427523684198252143793031470374270026151107464248997775973902527601379623579190284045753157611781749898587030548051549765870375497723355128408220152536509662125206817532432146581070187046728705169570514589165966139455441938371310221291729172712609854148533184337955475058088157292206237911252606131437461239008358690823949215425907206003687300804482473480513727844717468615467929149800114433031393659739876622702432379873140384187267400921710886041107771781162026982591478475450903272665364144846499621382627598937754753696475466146107144551545171520471883049786991777470387747383616233111588713787399467771493147810528899784230787296467124719499254625647796792037373687833482409347792850104450863969006478775307062213146938526854024697191982017765896747825455610215370679365651273385175548920485352350575878105371340470417422400214243823904783304279792172621566015404527470276004242248984273911208895050746568657739676171032151010949745008199960987393131776549906504392469175421613960636738418584128620119647618299851401376988961302568241882573263479418224852269177490339943439040682771827889441045538408928867328902954750251770783637958241221922933725696415244792668116361734847023511815256122690298891574502593136104959043772244622757961508058384309105820969547941296128894297559084447832283514495729388006642684961025031519676453932848169856888033703688956587003802196535239298060483042942413159511301216027728569331242184333473253041963255612431448738697902283864955500057650706487170825630510266697960357704469665131779017737125490589982204469315213688624137873809017214993363015037478424732474493269933203670042321917592185114637991477278945207269200884697749284370633731966097188759277191171456887756430097857194995000559475259432773445934774883101912527447407851312403240842849004684650523218430094949552161621449112382856811328007735750358634224636557429353744721596025471836406702152305553433519672708283364800525490202740554399039887665664988552650271064150431289365769882841925389631626239860657931938650469743594968942971510610504874396063254237314203241814581638427486275365679422323733009054464696550858446672047941173204342547097210003654672582630124704895313573336470158928363723649774103528954077230582482456881873431505614715378128726975131156707830826933141451762072412909057519843637255869843409992948317211764776863337890990875673179610594975221616128226888754571320792991466428224005580906154484625026626989603316584980882989381226477458754966292978809262338097693577878575624744100966940777625391599955801325719065067452118233269171971174147988737912361975209065640828227727322430508289482345664929136688813096863650103006044580127828814606894828876950171104340959905812706733515817611356087663031431598410373501359123879803938754975355783140003781415814490291273410407761773411453430992051756274607520617661929654929314388890151598902841741040118043656436457899311311090918339389979568677676768363926059634652978088389412832302297272110953130107700780886136218461631032131039095617102860661974930241619247118212846727932208080784313675774176870404407600031303897068225590002496858544329168006927336814817976866838675252264521647701120063754561569373900187648099001325870206285024443001878323424178276006801695417557342954003350041923686738058063137074533242961646059504246268151204799117940230528819814585171677626498682526967946248270911252168546290642773720569272452914804974383828416323805487580186046178165392143848527061596996543428086616376852522346731300285186788740944718715728051026076194013930895319721419950610228687787695653725126912758663623492939291063555252035206018932309784038556100010893288467725723560985503658494890518754490260147606620196506572834730153189058970027498765357867917224521089641080406009282523849680021519686814448560667913487248811270323674356460367990468376472542141967676078182189150823091906651280569936519978661837250751299030744316463101751426896464882736707678342897199747743902378950902860245912228627402600461837813230216255606155149624695242414924667089128212626510889995017715682306888086769447936425930544682382589893789073283262675656125250223569038656496893684832220457837146870832412742442286832063231191238028521900248034638938399873822954936960512965190599359818079990572103653031531447212369698826041640588025147544158095527176942724059673688336042222688622665987561669104130989882550477935610414753699193021195557828512584353300731843526280152261139060472029891623268353204946244139811325544859177280026776621273613769404037180291164358505349711919715006389414686010105128424701603691845316824737925831679681349606747590658925963805684926184744949026772403640672441708960142528830456409888608220999723802449267339487058772961698025742671406747200806837082285118720105259234631364688398549794525598906918462523112052456059260485583576389572718780531116373744929526831779913705721110998615518436232600956838450230252239754815133063359462186993870107474966876092924948945101949221200322597109117503602344687005065068481706263277653252826871698027677430231445746933217111209844389441186441206150526573808948601342347093370889585858838516612028352237155140444296703999551957015624612012300077926883013510995361521024641471233756449680076798971695594280516497320446730826663535503403505435480733629191920869927678352477032524119635777899745631272527620138382599106660143323992513634075065188996932761614835672841091218988299503404444214836481776921666941907616898748286279626872102014802170240745105070621881712620828688891329673382150775442084897764496287522360320507005520846449673515267763399169573494419259100149558331003187557994891551333144955104277809779084478138947585115243828221725008532409756084332371532286720698146661188926731262819219799117603361855160221153372064077758846803610436308880365577802382832032460412792939841742970443623730854104023428858066043675345938505410636003853311538350145848941110766099421443925980349157797356159729401425764108585141767791263525881331516601098762886572241923081306364375873785101459747422244914278302004756953524422981887194845993118000725600725995954775580257406278360970114841076461583856695626326828877738222486362773723486875113486995012348902000467804022636139164901624081559887650866662325574070555152116660200419301648150768131678402556483883996747467129067881393947908152820455665104026151988054695289083927228222638149873030403597277733385883443715459417332214413111438689597185285065187392835000575247273811987894580262788522732373983203524038347221834213737899682842124706082127829598168567054354581655653443726649360597295258333577352899891445983820486428836934022231566309716385345161472059331949067016058361247248571379874580303772297202475323308395589319824134154523680282920513022424031710807878877619914426217561492444741431456704302703366348649167686036567783472698601167208004558041734204250207229198264459927693786306289962198567026166117992308388437419573565047257997055656956171382757617832859154239517620503203568282860232089570601102705649822289032146217109173399442833677009010891598694270401620959321610015580998784586807388899540348942618394488851102361740417415841264314240608565244454458496400494211463953821438565826300109201756756003117831061455848203597046739410849092950195260591254532454158024064960054281233525118979714742020805131312397857537999756421978822226298519809461804847190925584340867359166943651801885364857173037510730426452963231800897388795808167886629311553807977367373112874002053583462602098965634830814244316070884971029943374440113801109200644287575634788287748024441527816061861767296179261260836979632352700780974463070374793892652676242689976174607788481802179712812570231893304522236180614315767808615801619756445941435614869493584432334756035828536880658581733256952800607545330863334575618818468353497452454715856325808376061454921332507766494152550777891122329216649649693345457992903550430095400900034457264894467193082012685856883257958585651137390286004849232977110258097711878211838986506068364896618898552911384790108743628428846335614953079733097763910833378197394824322293423034885656285685463693401030337660542225243008588242213261904183649876854003281132195650744031754394275653748845337180117878080838657080437517234382358270491403542900341969425238013359958665015914808013549035483322591296609499012821963149492586659593312681345546065212041609223364257016903159613367133932774725009687403551278779976070872257839128814086562629760369747716017506093460798213269541238592908112413867737908906361761634911444325899603555803089732814603341213464073835984308177135659038816735080004413069612709622407515949384229405245113800712473250557070175908549231219680392641875224784088895220849902690347172255079526187060228246154284265861884117867366123359826507470966619292085851914183429954410166031267638889026146082959196026269762956975154981594462896655845335809613127764652724165836096523225849445063201777426137919973994381539176268162176694803514176731842499672538314776620795444580032689455327283185982637379713318238905195854585611940789358308483997210684880539526706972366309593777910476139111746516988667369145674687034628335659010446519570574581269681295525613459493233327460048517600867854978542811091138725853690464226694999070704687071729715918980244493992420282468730463815862380192024441768789898992192920369423361688810461197976463914695962008459153891295228509311474786597456335988269982778368702780858938229936130710161225879137565736895477814288715160502691359290281504543687883263744726200860584815857075809407523819455201456065704758822302469464412684764753421340215451786856377889054429082909514856780660865753942605715507737618532867980893186498994966687001681229199601919722598566032301027331147454028282580999343954321368365079403982047788264162391173917176774081359005213154541055136872839409188960583836932310720721485570166229977179787636745532466149917635455154906590554790616486933406396764376290048828616976613222463558160681954988095687307905791098822294867243685938147358302784651626686960046335574649833812990726522055177529979714154879458259909126761920696459364652492585287470913177374520356849657867449266650894703418619189741804116094072946289631156369199891479455507749814213645124554376712353139263316923944284967819857153205003402606690985045330349998952609579781908970001475626936327321841633021633931877369107105464003292180760466040458399739276526502577225495185118929396401412951041422352576420549444348033827380546448466891796262024665571675250981074102537606763988955553930475739136617294274622374713581280799614073126295846230543033272849621733849441075372088112763168562752562750891347768876298011888709344988906890471150363938738118596199930119428902556738945396728123352766991044321135506454432829976822084691718263637966874356663855352805076202217879802523520521148941053571504746659360094280776874280442704178237028972140038552212628000060415209850251300373601048446217438286310131713428900125164358054412690719744651404160367973788282544374491809525639017083511999601154335540228342269513892105520524601783214988839902705936347328511316454659866275853035300911298456371898391484864496845525811891058292792460949404851367644738296948201625461832603941939920432164379379375620960506768053647511745865972584388210013956334463089926255514703251147259425710006158012447810026859550453659455084786591925770933721104732268005264680426659418614651040768414798169044695675837809629883001611943813642330810868968376678025485330556394385662721783225304652199086277536754782774352020296669438139602059914156183274738322280573142435601967285798867083006099672132338500237766048864194221333143011063581100679224159816626398998491247511415182535866468014731193299498242823646084303861053389049088705313216299600518892534340345359480777758437409305215468767032740790571212305772294149898186077500260567556940444299116316460442596305062272286750704939745958678465521540342339772751317200627350152426308085706491636995063353122080152810898658774462771894529698171625801963935685028960573078299176592381768393047785808638489863511480024444336012649701565512038939917960549226660088337526489914026855312670863430077660078062719157706735450597003630943652373059560481757662569123007252566390770181952499542184235092182935902424409167777400330919401176587449347248054256649146309068370966928714730417992701782438190340605845952709845765077397743647157418026112951345939720171005321209532478885403081973544776760354747461006396326814651759263252685201216365952687528716481422571551187121450782279860091194567224756309012900122204661822966614474089130231970872499048098931218690701977178679810643449970230016908887991615265818219961451151850330111532936338472906190910903712912242062840221010315667442857549917541164186290118905806132495035485001692857018019795364361760737466021822992632775910507177860612330861573454918580123539461400430805186619860464322362740149838482261239695660452865228587612590618785284463486433989243712180944830696477027781098968287518943488111250326137470145768521806277376500809778550828395871989902392838031987587061725465667756418936569554312005188266219205430592159625426257306087441879663296954483891647866810140946935738754469789234770072126034200944608153607070580611457038869125630690006666670659721373825566716611548127634997375035990896413262569173433418153580836545444917710155563560764761371644324078560165214666793851584316665968734328200812026600648068093114192789502699731331587118122405155614545612063049814797935673559433670776098628194076533333940920014665032638810792766742443449633336338355965338196650683229038281362348561385499852993701292403690486773125854995269632143669632906166483183570952952945902672397418997676577445699450693883520317596743054795339013360817136389224171771019926846564079937571573901239638740318028373734934311342616482831582368542263796782849545983509177021511941507878578584486762025535623021729089884618332942564616933291602001035454081041298451222065383620178481280825069851142489625852642985077442315368764434759290029562287211956187400034105410488408718520821202473398057688213288006038165456704606196922644683403135545056095304347893408288352317828862662683699740318539309240489989152903927233234319995038752808245556830537228486894012445457283149201199497666117268799097503691445205587931130961061347650525382834476988484569157796538218039807676245502858381508684638974530724938336044060042538453392640042147210570184616572285810755441596768485518222237190048631902195618212975448120139416976536595041085307523252848068267227142975086132902807618102423891357649204858024503109348380537013460058552657706945191844316614448856929758740300057547631483294664899181855041184636430157532255211424706477978317369146851058943826531203614836572548357469474628081293191588564416452664050532787882647821034361341383372765287026733686404000571576081764207652326796751533927452010738808541248168361337094984209516571681174388571829729103313367051338484558517394768572604870277355777994523363098562404690550714396431163220625099207108957800196318152720168646047517841075646875032294003256382702317419239165911343953702260755352146317617988429321033124022848823961706403056999817578543890337326815966079249478705724210171923244097158705380627352652146437931751188658162443641767637360085667807735838773891159215485503347629727990742305778726100166539502080374596176986440746258778630482742076278274622689936084596634736363745189047336792436349020768934136932683013286128436588844404169456196843292502588858687748210997999817217986957415743548034407412725039976402415842197134553936931901588077371281111070516957599549768923969870278040072316868604593082177881921698971707228348191224280658351042310218112985705118453012361818931165427703288700578418357074953600612633301177449534420141236375132018940098596042045327820918234205132032706621900810558319284265955515564807127458658706372396336010087576699210272343985853109625653470063564294986587979730089037091318733077070154673145441499581174857871806677032251493969219198594338640230858420979661575118179366892529121242316883582826277866001044151804486206726378840261903012043223331542304290909748374613744488988335860743160121178611217997772199936867484080276523566744372315474824464064617046960226986003326697347818633647711511425262887121004388263754368042353925369408852343743929061373006644430173124011289380445869894129398796689816882233405496324575378210654992512274298960544616496576594829463494092224274774202402784453966201062382707562699467997276628329604468274257206869407016304509539110665951475241970573257928024434821946422268397781929167389678926101679978383070853334594342093847145910016773438107971910739585355737411412963169448401968060804963322378523023561964789579231142423408037057843012710352258489800474343759403477615164634765080550095777061482377075769602417457648825864233318404846965650259118035160959434305124799970599861571456420115223399613216693682201056769967361609276884690238000110572790790308438516070374075132769659435939023799608153115180751303513992160042743787431186542532171443084248768582818392105437955232534431391610200380936692707444625183086909780536347926342682406698752167179224863195740880139780785384675883656972036117017836768292839958224158064957243878086042834718820296475814486566687115392017334863684389989639690226659949190666340085895984645892491890378298076741534846349108839533179607823897326244450076783557298735733221483630695921077300482496445598773386441120887212162508351033881553854094571584583032688194747734867715243659759624615204014466740191256779738758122172211812719935572267963200728014225508892230894292904336165989735155128028764851392802553326525015705574684705057477185342257380900424537455834678278332939203109551960158965428590807706592230192848879267954987414037881011536152156290234144088444729323879566107726418878626849788426992950653526727225382367104631279349285292465335741763285740518438434474529355408876100062710668902349848381916327824445494497338539320609600541091454844667284858486176133063911783097345772675669593753035994183458909080815775533781288924310243519183017033104397412953855256764669568147805488008909612711109319641292931651604461431352047617620035587422771809455031958268207842007027800082602267419029868478174699265534720758549774313589147570478144693291733197781350062371332575756107441670457862361215762823583959021080557110839803977877595630281525765982199996288026418777616933417878422515877099054876556476415967727503658529720276736127895805751337094865771087964410303645726526328086807315627414881067055931184524170914015466307163742493953469743408475026822841090200178909515052698085503289332364414815817068128765490711105523604747329856829306288367240464258341782419268569079361327037153652652386034199773775334172912629925454674478343425094246928150775677617345178620320904872838029524013713873813900692221345421968888632609868287072836237944595410526830743087070236084045608671451408321038391085282381873120608104145530514795965179725556553858173258427986643200495274530566616023238641307017791860873483362962159668075987664310643082605513352897166583746259738423682930843228738222096486363707039953969007828973305835464085675629596819878128774733809584945580448848933078955830980398578234450155973454756192147169377363667138222201685725798033431728898551632563985040892538513254930503524219317583123218872985063425177552939632090576865695227998033306862943841787355454304158930251261603879629017121636133985253304922714039263793492591313549707474803345408536355381998259069254785714416443617486150094646884282221693011689974506520892772342886990710823967630875073496211002285025762963595254231250395056195103217931596892448381200267045997859970615661490093571398267382192571890997053774462685123137127499067900988761932168195493241224530825411539715709972139460608193162215615214470924873077363653501313479667057910547501984662048608073810275512704090577499712251148307313320143391230693679476156685037040150818726242540066246234489702405132363297375992603316197782698880855907733943340040707759686950776865384428658061892263784918916366553574545644705962800452803221835858761850483129510882139128081394224623277474739969865015894595829991804573507262150520173226410884098180004027549482080907522878788656843762943467860548870158907654800539944678843368093089489020013912562405071377412756428064811344007316411120263629671456406320057598329580882262700921571019044645940251387928674005232506550604350506032476595747606695916887867559117338991441051327933208524723779932483538244414217505249631906937729892735412489588423930104439658786259001902108415495364050079794136516216834066396787110183697104693618739744379201670267927067283044304856082574821375628890731227627331241028044554586447564678856555666904877149707770772439725813051150711116518828024917086754735900574746841704995450089046289079745319876163842649484642403826089551764569064845956294413507819124895241761752860661761954745603068934019222747829058742746730010993446239241360554835349606824065634234551089090329657262044048413794133936269147995145535355268371025588839972427768609931145772580583350124192728578870970348767894335988377712348333816452931647673515926044242390541904020225715976095071703980995549108740307660232746377821656549069010021733487399120234778779587546660950579371734995607213981162199959331452250574180962615829152276410842802616351651347915739922660858947239366757461349613468151598013387591070717091261504380068891660613310813979868607787790322410544400989621548661926557160123415227183048097576927966858199823277148147818004246766978436342842117909535681387382993850244521428850878838030810880268532838225028335227505588839399055216241963223088115788769939744721972220194739433372338096065916639145638942736903432701857625763033175828020910081843306512475861137685771971766249086131828591416514981377769907734173004400005388614160034003927413573965351299271894802726594884346038707502299028798109938058097976715778161733679360532526267406886078278299324292079114452548205371803447452106556876230605294837287702611242003840060367578828980846679316706164553817232029141597190726865078140296062416212298424806876890197439560987044939723675160946892040238144070554838711588107836710254769572410814552328723167190730647206873398940969256424261773581845591479600910055076903958449225523314089851050610852043667583706350913775964363653230406532840469407631138278399516698501392355671196726300425582151602283427533077047824225885064848441205169122123021129775343240740059157813414710832254964670231846433924162823556318808880595284542846856821968495477483414307321711891842749014395441461955477874694584400173445098600108147030183266091895623481163199893480708609324161058769906495083938722377083936774251674007313634730617448848293142064720640265621701256239412601139273187037711875778478117582313205013927900696970624335427496287385667297919317474758169263860535684606485294084201476932819783300711268251923116267905024489656039977162555747437692131231712014673207496856340711964890915198612691505062115287712683138532043238791368292709806034426455127200774338465549758788808958917285306831351645787299586749320173389582953278482667263055508526408239386668689898325544168741073666251205725054926282837391853147578237030349680718547789493989405878361711446219816769061639877391160865457494806655753863727539035743264792568064100486653775287080314912275562418068081175875357984772277978393519420355685801816735333869001735828402707162739874278461378458038779787318799131489975267778676688611316231772862319452657942902922378105888094307744659336939856824360003514051273375883706734346301625585197298855059633197175998804650865251418552758649255897358809386260691614948598080678617060469201004282688880502251117513094629965260056193523012256516053474473891618292734264172844368187144056029097582594290865861129426474991888955530673787576659838072086491805742219487630062854104092888367619237530276366070665366029701903136520451791911069296771140820988624943598614523678598999187660037353741073485212977141076365846166307678279799809189157388214128006041991021813797162327664697816550287945987799173162789605630125520390748340396124947592444218770287365942190595612360914783791182576359757588202850874604058498806956834047801508078697381853780846303362238579020107712269455110697682580721569683422155411002698998761009813725836860042509234519013446730229396939380234618388682586221884294756437229083653860282137205078521115423328702675715183972375974037347426675113644688385556667792898288571330899632222164990274922551632216123304543028473320159719423139734822407007928638613251017172963216964934869245931004258091659695370584871846882636687645266223046961679341618178833969162696402876420563349087907110999937127576009446406343210649283696118754614855250897004841908923466139830330036684535245103950537141386892982126370784503816286238499481221694080394353096522974877373768908466357145360100530005980168600842093729528870913314731015530126823633988611832994523002242924648157098193267550117701070644377092365862083541216690093226305446926692897224555912855019549827175363256986853070404411887298511393705530448635754933796799993368611032579072296413549569240708524736131836939140815070855775134352712054967265415884479842800286975656721947877720912255867700462201624723279231318841982481270057694445838402258285815109017888828150611510663302742230776077011593147963110638238310824244023300131152044742686275559776304991285104178559600709683175434940826610906433019125430597606650111694214141009006014381879330685034127466226748272996898865505413608342404217106954379073992238030404732823114057001620026973414430252207144166193778417626958874942712045858718687910910789366680442312921029654025282330377996804205803093184211297203370414596327216383662612939521809834394072298968071617264953376843545493337041312112463377704599168713108377718085009100018016652189920958443739268667491099899716269888186481225013862004908064350457917307471326786584759934215583602139481709534596341478505266822980623883497136307390908488352790578036877178510328009844734350090334120169878348824406797052536610108816179832225242111677885648302741787943193574029723920418152236245608198563783025043393017645127905834257245077349203772615516481148213382042740710899891809115671194703944903696458360272649073404733691181164281212867997066089001432625409846461579010286446702070965123101867861787910898122549915214482405433396523567387489732747536407412082009667190603996919159360504716709603858483139996354919639546353042081391293095102158781212590115307505137153257119631157397231904088311902385764300803803489713913144671330411103847327255521817340762031837034789759402832916332914622385612656922574220723373242870098024825566671117766292285179689431984610523740225145639254399219903370995169510419618864610319437585749302044122148077283767418226323308164730140138036129707504052854266420616759428383943306347455915660314723885465985838066399313819287714095332308809519869600619553915313993264447390467340074968263775016957741244097716297775250300314191573470000131751715534693940249336196531053502122760857328958612833316856029612891663666660121134824992094114128445106368947584828798264667880608503900081100802745616814641879966750660655119521364526880681675722163874112018384759048167393435074002964781057475429832960503883798094519472967107247424113553615686403078278942843351183549494122527028320378618682555212974632041969777534004295775479647926844310402411234706762967241326361325481213433716809497807257409243950790047489335815287788033354243720826061123134837571514066137207010465830225634561978863026856680702333315254290450936036509100919549488426688652313272339726601132933066162613199982459609164864788511002053685887214419650357560202126810917406969411028369408640712623115223851645347422472758026111253218461234453151724084291582700908065214454994325535347975573685031486544240928845104925377433208327507168546252722356417398431437317846496601523827679412726369042286960333005697800036166311396088206685506442757590285290946277812822331712627965444515810125881758717232709852022179070837948410298551659927497165628799461545691805153050512152188805289428235812443777374286070279316629812210426226516465025110233325384797655506791147906234756244395280030502030941063019228733390957890928403527460388568306109601426159213362432557565999054645370928319087387128798426182053675271438577925545629809282621066969517420215455044289294920104002634103512633150542991702205911466831929790877092493717835097743715865343230109033386909285148737499871916615221733446517686064956389709737971519756648243619861147320652055214460054378931305892984657751627485941093046125714357897841769396674826303423026946576307124347883886581761922515424654729208661607405117298748868225637963264121447803260129132012043404362390348377240250585913401291579464815418951007702295733512124359575728454406037078809119241089360561768063926373052443493341920384367274396575903849240087997130468666402893537083835758267761713553859927843516451762231975893855529694083239846333381042441393034572108044533066111551514557700621435130636043041300200095162224819052526453683431389558689632709510616327857036197549768464922725841965357515639175735465348160774485600795025580899419233289564703799904654110866561723942521228541331267635743022043585217859789426087665669466034196308785504183706697776026189865473981879834025386069851285003703234212262600130214384276559028978487230931083798516566153980848287784159832463173598747968153781759922461719727346754406016775114294543071245849007810302316450600329296274505642117006248417354855580878903542244011267978588469776866190641564093700478234259358899397885264822794643334440537331887925113448963875818895092137287641552863229778439434669558658330154315078490292381792069838220440359541330431829968981991728157370322128720373501520734604400946713657457376368978933494999222746129161797309716459152814785769823996833163702727363428899069199839332690617077998523839527077390360085207900306801093468714610995672317070813424303053472066928602928601011868432227275666010392384641268692935954983184061205466620054401180839896808210139800329932708607423494737137289845121548878440938447171691683068261403897872661107343231301018540014477520979344878980834681987754475139679163824385216184423470925561767964335290936296845252777383354401877636363247215953054260390514878363109512697317415828142730891211900988968486013821689944386056880207308081496614162884228850087488488138756857178359581681369711216186677719642847102819340654765991073096896575756207620742788254048858048357197468043648307237494425506760417430494440684398072906511396539476760558261912797680043677991203458781840700039235507658336829269230258902442420373852618563023808633364933826153974401690400385582019870475581223748361514054246565354089080487601350727337744973589786326143888400099069135354774065330657688511674434330058057096295938764539149024180691486206944966140631361434903291568056152123799833370860605196028060987132487995884142908915615012194224615353715841890383664302302805039725651855253511370165904511116487608648773154506366033428600757668266562389797362019019647781923481017210399148488805325894823246306773486517698885744115948144284830414283695033193991253006519275541669178912274803876005170553652233017814919452578591087665419820654179760748144896943620935328816112417314952863716081234618966169734364474220206167159137010038315963696282911125648788455768874119981260383404241491539929856902776171153626713001660889244843103657417367193418673130737583264771886521433827868342238318996954210953280301647801791555125693422705635306907672937870610158805864985268536733032068992127292013723620026394004458902274419269096719045528365958076631563448286579030012544675618514914491723858842067226188190362806642543601754830300775122251628754204189111675955219975204320761968852509613739592769597919322376978275965902470433412199569377750600155990923050651613481925147452740788104495359294315446316748495501839913039381425772780281021666560757177421664028486265882105059983336699182794952644451148671981070319445372903164969338483749205182427459539739919551738724690801781827258203886992754930485687468358791598868427718674656324561576872777608843792655599960832425544435307123705949836976040093796195515073346278151014272188899754361015220693312547857684889128108379107741113181082521710990476289476435226121076100753461265474923810253258954721821149173886002036946416144463608753066237872633709430640938428102282640286865991966397656730783137577108717000147561060261205846447398775073391903297307307742894919326431253356575655724398439576401735581887139222907251749467402437645678614504014865456874687142369102791906383341969786825879753496630445965533007083760695577524546615509502567901743795926216245575802481750699862261898691676022257379828005532972388118790272994609209973442172748117333336188605383325992697096913198403160800611298259150911657518036696719743341804197721285197667146967662302965952951785584559876889237490155923315149112968851097513397124542346054839580089013096922899211951349527999260826347241738604772776290448629503687015321052315306838973961164017806313614111330273769722412069377614749453082282455701821776561813898947572626567276439569749839628078043509166880814622911049898871153649631355062361449669305966152602410412981999766168156208157480002544206598802197202612141185958148435217097233459021187007597346126123442417432162270221588736040097485621983947980257673389316249458468179604275180789467591539403872065262834051655962526417352112827860536209168497942789531186144672976869811831572825161253618282456108603159645215172799027474501171084924020233886452346306344623164600828499799091362091001801416625938454905594701826834197445838991460785251906665278057223516369925132215664202112770288623690484647014403030552184829734377531727655288027971480043219347643741655616554053465238262196199400867296098107817555130021800832731244661713826957990930334398350579941415957354673483051590822607083408330388159090315795606426368128202079532314777140397071089738219662851817444206133495302200288384933232501408471998868722328629948577209135417803053379004431032833061118530757127241549544678223252619510539344885763957223189528471862136744047832643872066305908353364243403465388141078870513505545686912649342259256438165920605522925661754935141486043333429801741246452221737626959115513060620230836088023004559350906476414009886609165904752530662317041338429303662724926628072871870060978753707001256003465597618629993853542055721159481283291692551258583100249708458674959077524614503430188063937433797793108528960146687358964135536281152537768002714482143617868682661745576380630583001205465899508068686306757075966904499871747500164334941584581087486233014923519953162023899877902254957772076040688856780178457522911968710722146277850655431881400432219077651736183275230966203511435691117446933340191885622407927946251314685069042476932578850020277583520489228818432149862162006678334586160398132178433921165979390192874762280356925915482423624325142722710685261521367206624051693588888984485631571430203548336803347943424114186014329335835550656552084956761977986228839634516231342023168345685436426219735416591141468914770122826334094606390909038372214863185942976516440383872524199101913960954737146240116182902314806518926841595819397746228419803526729272391885151348714134225513697890296680976806124449339763078318602396695337105685978586714272289508493363676528289010298582410832239600149646017888755065449163274342326959548409825636467587011288734521680887089379470823829942843088740301867385968778939232974665945363535921118146175309981337147294921389380381831194447975497760736063528430867499569348592926761904359212804496289217523312063595672604881102451901131361863456823935942116919332869853508772047982566649940547199015942162367193360856194777744174544285533247831184651576149884532732265315105671830003960690747535213673149111248903438244477150454855412802847674999036102970771511587053262749922143582740723214976985045805162127509761271099241165684874678824453201578620388649511305068915026852013237718955259173717575964532728962868190297109562295554934260865402865790595972343096193212780581981300856273354446186813787868901625989129938778353792381104788916056245785238717009009105253215563600121473737072907789797917530942117291241899731072924448494223519092293656861278175390211208108180032892927744565142728398528735333473925635854602590629858101728427332457168010853343053647273357366822408606155732514251787392744513414576662702076037989096250699811237307761747980678704089115982292381763967082546980520357380523348972736482832968639339752045047755620690185421098738304455506897477289977540730058366490587109035995586319621130017748931073507673608529040559629474795982276497723856696929188201164185843901003251959615569035926152681245006927969053307145607522834493394398759908468568835179286656735949368014639638181987869204525087830501771544189732538711660047214043481962267033869528250380289270317831936481375313460257679855847739045643705355613839638158597395398126204456530623327516862980736140598626230403131252635866133848322323576556883248768552029775658181175706142945776785974134265755680248519261488439441874826315487156917140692363717603157646571555561427767829755055760383500731892339152648778230059601363136472061667102546159784418859139924979259367142990039823234655575668907056093594117550414870593723270703837755679250327602287881239561717721020183674907660924611488049007210647345884386695638577114809057573401378641599938190647700000794635809050722292321221017538855759112734530068870958878236837086750816073675114317084498174846750636973366769423362335266215876314576211138778532792058765432112689793821303633787296196033760396465646975962047302001707771031551896394674770036825084260896894614683322524650239051959324023903327879811077884524631304423080800913889299138059854792433714399465472377603507493290166257106557156907030513051637655622524335160075720876385249177227445963035743537315864176704554838979773349594624288565295653793709598596063371769588217913927063013249431576058293689581036342828301896670391793929765248543363795061924688349768928362581085022781508649145423466159220918915973323792554947991579712638430665530156174543936297760112001310409880815236155457265273325699948180465590540412675715377732006714733036076788053123940923817620935610656976702057203806946999447540178006034800563249845258803184675215299330468300034773315329246262224611823098375807224438231446486017935625862375387984135042799555206430499344098722938814021680659654956686285638255826085711894742877056753587173186237890752442495608793626839056789445883847088504300894551790357504534235888376907544087939711140589810297062946032349685180190346691577046521877739575789914145501690892333058720063245950726785368886726287741912423131193771185895290471811965578587259258151103859488131721001003639099288581954674753671887554123923118105792341669003634783926080110051353936608926655297386210524002468322389500626227704391304275032277807369631411151502604810693079452485115628850649317920154558675586795188386285906822586564738835086117079497317861987948714333784002202204393596974603291597726906081836114058890754452700153245129445469416080612365203167338466077286515909579101669135801846849357555375197187784285056694992932136595531879787887269932428689070119763756664205492071619605611481710887257778306972565652573858865576426948827238011634614751741658925970181182816828839397009350228895808329541014097065160678059719116104703343112137646788065244295405241995165311001830978490468798474228164312628313467839903272958529066733282409045364591498209038426679761358755998096990882418709333405779654951561215236209426243457759470086193705502945061817185703774041000949253172165568326410035458924217798149130025334183384697846757547238711032226059506678087902539624409321624212193241716229098412429145656497719429244335373215199021936994241631631591717432915027607387829776606494433089664576941453127219954032131604028883912144167431576118417954235617518866530579538712580327283331802986210420124015452963910052034479889887792411349755424107129457079101204162200656891122868530190312043515665507329961272318445032976952193920950346905708364930172076766601160887850334517457177206389697332715412652374328054577300092928458696881818184485061956122245146159323349175615896183898009630538716967291071726373387085427377062909827043846063449491327990126116401924358945343502846733579214039284748480208280805190600139722863232287125244775189211058742211484536645595292709965212210949945506526374044064353135502410864092654391291531554622445147697519145674261771026966363784713571260137054590172194669365988298737987728419281949012686803311826473862488926524226852742611537544729115784844054825517810174906181674521663428430798056670613476771874990571654357753268974573749327134589668039082023586167033624741151536223387301749872108766778150585306090852392738189778217526448620301569761466842003473817602466215957638298046000347494570352114353106355543504044747733862240725127632728634142504673839895322413127818578115450668211074123362472160736198915854161421862975106990556804210546628363787484286639395378263930734633438149733749934309613550053941544997392335699470048774223758795930028936907575712174670813202973363358963773996078000545099330953291043324770683540471537502779176174062764126499558586720012576080178713662499476679843149140195418765158382113912606344245882219470178341198248921983113252646474648424435578674794286245371115930074929359197786684630299247179305287802554080553140003836657622340792688023887980173549648989239962223847470406840447301320701381506199386312266737418827221312393682481616078455274189736614324636194570800580297869888784680542931962253986731636924848430468627921005932072483859933013264185641954387249963660119409520465899635664922143819230325294970064912597613897984364479252692663803281354384552724506189774161196857384794922387671685627515477170898445627984500203804292100253086744600675468006015563360761355601229750987225852660966054889010541709985739945737047372586957742479372778861500965395509288379886558526283221379201340384229442321270791472618973721920598314091765875549854097242280249298705024881286583351162929665792464368495797403464029368219724617880820943139976705885140859710405111901283263708113694872317852441886567171331430017219284946128022312653711062160501838853640585043320049821111144793479568044102925971575718934052618615882647172601161443999771298015164855810532677696849361632015697392812072461483072396137127231932328964439750820360056484678427806519746313926281355379352765183609274528795351330048738187054959444679058987427893201672319799391084103812304966465233091759550483080304206849240680592706232543028502537777452794480631195112668962137323293262185634271718328770304875027075094045849405060252458262131308496693407827402798425443067847373187975277967332025017113062432667680731448675896630060900261703507012231174522090871088639549228848558564853881928135836815266753270107715509335171219537523141792094038663923151411351971263444274762247801573128269855161383631656696656587743158275853582233662868014743602673861217472512563151848544350302811598165294681903636496711029995082485280460978626913823118746704805112227307976421235940637077744265311298968688565922421607777893118487219090237637199752417250736316876790139547298087929857124363696135525851859654106752741289744028784023024191263924671798371887860323801210482114329352718025078928040284482660787003043591751003192982107764849662844607001605057476143639204074498179779396784190277802660937383694898323284733528088145952614090518500526031291420063395311287819689081470201269824759299172977405213389442301490305142491466065153183917248005079037749334407648407117398491595875011492837989307225193661649232246425677197901165099759245173571723530074670345938582370419960796554476188632501217187526012623276898534623237194116733874696160398827684085358021973856000374045694229203725260949669626515624933104485651047686062448156205021622313215741118213355284101960888877300047235990358334266478721138429716905947993751536683911111184743087805955744222903984399538016859833640544304454404846110190632439934042058888144762575344243744390361577438208767658388957171993019917950526042047210266476760167414056876582612708808697865764327342911117225292981891411987550778753004659568476260089473601006275886888660548287673552565686649361111678351118210463121879453921030960319650762028659228661664268236319611011247088163462436927164781593752804112209536271498969709699707575857957060479994904340185876953800558702808290546173598985211346911203607011650892991143339596715236274775837857594480839789475191375974287489086855979235374055429047686883059291851799450961327338659060397508662275016133281814709355357567287243769222885165746712137712794031912187836098893731649246579711006894127704328704416081220249253847355944982255073633257714413958757973252518037979054707382359058187466009642211234387911196444509713187326446129757345646972041700453178566989389855234575093059391732779140896049563906665583899544998392531926725624216016734844764733647216307870289716237921422652849732077548827827595953473219524487499466573280319832506003315067713946968599436735812582208137984226684143882756649966509350627649455969110419645469687388941615034846831728057527130241857733255742811176603714484614005180574027320216795511837203757293388834877894286676194010541392352492056383108512519864739475268936937512182737624759331184094178084791482756794300258451001830581125370251630275431134902436299112654116940891373305061243770591940866771447733991641982047232637252267443319086022232584275681903167413113088765596641083774425023835503881424415719665163410691378450342181235126765912037329238953559905031621175449153776781558903794795884510209201869702341004647295450905881989551389528127004100224494981967815445621801662312705406982342648221091105992890681587498055863667810591886237693779924424858962237393281847497435705406120494549633234246868085596481435773363509466158703364769036485304000820171640409042809598059808987532710243141504283784380252864422100261000746471375598947230532542139404457909171248612111584487448131104399695075359787290255684114165671278547121055249992626261517107634696036773560743862088593896575181932740195021046288815668100541734790504423931565569346814575895013916740782771519882808180669778795477302017110175256675203862419426631125680011049586291194203228739919090938821443635996035209791840890233862433697542466900449242333588360240636362863396639402451838654516627268098928373727925803309225068123447612621467775823556141836081075337023543025860750807384981089708476341629215845082285790032096926776821682835498522978145052870548397023124127248147319497017134470181563059157030086233792728162965444764603193126376123110514559778038110877904024154026725749826162774649967814530348660783901229522066120545550425529001713168954841584240544297455697408030001908287519994641211007382426478670794290047935288203500004818332577836582539613213913820785977286926360472699205085131342399569362006666063280969465825548311057444113859082471938648686410592754586208497339515749217481688157805721343404204974759091271471753785688140038517199192535396844854129461277084838116643391197680318661697893527024947872492832385400719385540442830692022559242520342669917137016081943624759907717123380740185067195194304603009768356953535986378835203660025156774391657083660599286325256229221705319616285536075379577983536553707272879721109474677355704865270274935962880687547027625108181481564808705731489674936196131695288802409089983754399806417811270040163889936001643446793938930676697269403820048759588153830271700743692274658292423327062630044558518663615911165467344015296128253594939073593067958956970529460502565192875664927636844922031237211844891747162711211656978728824505473488401253917355748759533869882504750528414140979896679410472494817688337517951673655934010724451949289009603536574328982479670081261479310362347272312611705660070960882519900664224272248998810595373113859763295714418526214293032108446317656678265964283501921592346276693140359813089705547113353445307442435348073257403303226433707450710016806218452357063377436957150877390624523308108217858414694881842262041161732377160400839967369279589793158007005354211545305506032228465389589554201324931157911617800383617377293249199471059413146429064125360833708708759236405436801108654310848870547380336722908720491418339354702358183230263552047742513938803580830514721025301290873057678747226429664115943613509481734621397026217834160500558648091521177241684517344574970421721768754571941147538249433306085817257362402260033996983082772848201236502731417265330190260462304578712449650536158634854728010972135687896722110178745762654374653323797451594555443637989049801599232257355644582060772485467568575390311217947508070254945584968667807413329646017381091389612156854435115418851822548187601192525539080243238588742086522490622675656397973523683533220131078413048343474704884747984320782890293438316856705475885253579569495545232348490751809157271339797803186112146618193721551896164648149982212322319986863773724957585276373945168993480653560797504971812071684574046651034768072291776287174519593432926144793487842011547769844274539930636469843157703757730244357748024046817660937618192920276239138272878829817694208646175573086724846044517624501435297109103021059513140560787060227673522795177001362439238285159629127757926635166905946561121294540130473909146613401999750171779540166868635228112177813345448715437221083856165374107912089546081107627435254836484003387508402600126447082810137693361585025649283555255377366566534260825887700746663742157107563161787027800482376236133229056143041264343787887124858791621476917269449427088807141434783931253050087561959412943280751786605647471932431818737124704034836053981034947033389819280005396260632465892827836259064218561904288935577973661762198329904313002077962780118186896645263222436461819097681978820873727565695608939794964035197057509722061203238783074774121717171197457431589217208066637354330400564112297779324608555686043865992285444622929469457871686411860901519866337611637784104635622306987963218255854497441284200927454342762494624497857754867487902475991088000769875557742455082805515129192218589972654696321250159868764634970007810889327954771732909064399550001666525563881456018113148314611379157645004671487220039100635853860631049548076664415496219272529791677626645148417476071899120413787758250214769537395935418179046136524513858729325827900973679939702166889909773482285104396604008903746671916665701903123940015007325886539660672670603705487887293934461556697150527193085151385009909192881552335845246662164139705714911678703421965802179447897029629405131568374982755327504350063394124594947807059480373812864686723041014285739161051789940098039592407017453572114491024770655143913958128733101756661213590452745496075287680505130585246788330027834406429680367802429236064167915135285439543797441540031674099110298343609765958998134404528481850398588941244401964520085486637402446023728382864436928555488539759440285696535372294397625375233732853484565689500802307559232992281317163138975707172273706303770879729780002732537744819678850057412684113943123717193999987672563752634730626691949549108288151997093364680407326396619724136068813618890671844782717920708828469799278135487464258137801681106729010193038580341624671444888694801476644557806214177588134484237516949848091310891879358264066281620243852662211422642565590789767611742147077505825475684845025361001530055041359203348756587268976701427869179198845602012416898052118418590350168272297495016044414124107104342297266949611127987065808819647224633947007939752014562745873450576854703547573531424647364759819492061522876604831510561518087158254405985743038534569735317059579166821418924308162744520351830891419098320686812549371642962854291241877633498466066788255139851211011854396502440008175810826648014271208276669900666625348282760806720671160842062494308440175777392139660173595550838852677436219746514497398674347228637724009964508551886705157390520977283521819001563026695012536483361082673694192419534616333247919660953102654904057156154656085068062250586916868676655404871554540153187874036022459897946150260278977453917826949492305319306925276046409569062174626210485773587740486421685844718485753098088713453588454775515336470785096963268223195109823263851142190750954215243489983071557421588447825864167863546093245816271488461975254189802520451932128075514444355619328634101023668703952569708310527570260601834238131508463195730376335961494889533399294649115939787272095502603150135008289364703768234448689238376768558878562151173793402473625947240407893257876671958898956673535709374597620129456233979045466833694762943425936914397786262306325172338372294304024980815224559662808119480236987040317596329711203009373735913954649849469709083189703463281192446495447936218254032454551079597654695800181467031591109208843326615873029927056446262312029057536203705155322864910102974871213583635488911712334603290124177237373395816892038675826340126670652010395118091688614655679791423462367177757896886567992174373820989664646842630913923362139922686286131366981707707485321804551163557620611667302443474360024152701622962102405722623810076548231692595523577378283079554641943157700642124943160000160974599422229344545454691036419923406566554019482602964161703581972167076857857843200797520329471362234995197648089866391270182592816512166360619493876332854476685205195426605260569580934983388570681511359572916101149925045609776710494770327780240601596569586143039589002554380968618531691704585373068029325335425456451940159752938370249499164250539257914654867054223253547152960361615114184571377435254642283628794121186980126497949190552429189415094607717916526333737156182562560582203297791027846127664770476313987384061170346864147985889092998347072980848411703371529670694480323194245735300546649842292514776706075074736866627585984319280327214477785482141258398456512345805888725285889445921820554731914101837491661297134650899177594697742434140106766329857255063934217531255388492674988809539424634437586675344981027155585191356205809537059250832829326013632345651455852639668918466672960023306575384981489382174698239314275827040261269609341080531007554106732342867716389209013891148088224558318805820552203498898171334135563025911655679756340614798767808057211871698385108791774977904284586489564176512937936246841144022499626962922301318863372152199119919125008287758386853639066186838600844929892221499947906161363191615051949433625242545153559782942080327895102126087287733049322776284274050112663185777714926346949502627736475065277949985241176205937641284325567894172654358183197709474686243546622263555145592287483983727149693677696159527858359122405535732044380668678473048107170347044959646434179403091546533087054795291893483868385967278922035252513974546862981484354139880086546818972174457977003217969155361143153973104920177954029106204955981644840968796984254503228396077640888227417522891986877653546854510222177877435391553944140525750731871568571477077636716074503616446498666161129937929856366620779142098783895947583561326334217843947890719993052022641126068679933401438056160062050824318581261192075887410172610798396974151998467665636841613965003863634389745607488629155147268115942295719980225336974769619378860614121500520903386791502429948093406172319722470073652975301704884057228219153242541633239189848712507797683257243429308638455685682665142257345619385776772125915019586482007063721859975625360758271963151679024618634393718798366603076093729422827243899103599944058192539316292103287736173642471302180326647443838688407055729598313146247193787851153551574508874592672900045626707470889104644092068152779998017347521580594888110946902964157478012574226450141857470915181365695301402375956112986681590545924866247433681637954969932557449011787888151180301544417025156920815495983355801473634279794360560252267108816168830264128158340260622783093119406727474988760213405611352705362648663037437139862727483803040405847492695732855134713977898471596892935463353797873204493572226486581440594658741832416041158614962855474716082499543922185158139036661142472117158496396142098144802013013384736965105437544087478605684684639432587404486696295519884374334812452222155980531433973744380645796318436513924797071232753828871030451041629155426504874777940719498008126578648181200087466412570967992687192767321710496466152000654985328336218026363865971670786569729280828939058229785736495089433126059705488005282922156689217381596427537371964118951911685720959322555319787871278269162504705047350372821873975105992994682086152285091292003607262731828536697215041161980982106213638940605894290512876820300468537054336118827468832630990788501551843436108446454458746200840477314209241907962941202220762306101601965353054736955710116190863779540501794026298698110174377053784539867986181158701736504863629216050528032239857025534146590577127734380678903621172078802295213890979484475222013050818735961532957985213194906927686263079535747636391258141058262155140549564552196994209572260892419936576998269220792804191136843948653547998107726488584756865007124357146840379419261118882760732385651976861471074686451983302015454077626847687860282364163432528348767748418877597634657891032994344171369410946956945857150653540921601681365391748331600821318343943440056911699468679620536737353992268796724045702897968607376411232453984078331543796620568583142404369824851463411981352222945969889625175099344309633968208249696335206442924753463583711318604293803866468657649908785432258286001594113771318525945512965067615828987252006537882330535497169877192596499436087481276455159202061420277725182003138265194348981205592293000184126539143540429293807557789322277861044542825043597421397274661978393470156355271821964694871214033042104828280354117773465533493311391400239347925640255781396482743826304611267480737182726940609576086004795792254302159491577592103654100169823484056656450536940190943599961438414696002954150723117243022369230045780590699311869577328723281532462213538109011502133565306775810230363413846016165805106119274132496366619250531209306375255722133882649989224395174060222281700117832758067566963446987121655301849360720765556126709874840129172219899902865266435847218381072431614919371084497236823225391594334600642567352807113293549584289559920932576356564846350149391175235923321713765272519245986105728301026333637255721768355652558744960623752470333488985806374120412615294719121898724453652573384054357987298204732449331260411923448605880347776325007881941176463789116061250231194942682625756904500877968817101598262780123725283267462627237330928131552527121765759286400673016509527035609565231909923880912036428512310111068680540992650089448508630239531852997032661939100811543454277658635844030465710189188912362277930318341490395714761142281231066208056006442104666541424654313436020204115424150336470043583369078324326735924249161796762306966765555702618316479790368323120842592487829644442274939834316864810715291103677677851288893197562212602200419928814829601480565520034109580065714333139357312389079238257825710782469903744528041620487115358694739503608177001081160787833146827234674748332044345518557305172167091627128542939629036431008651996532869276195097904981038948015290625872025281495653677975503096420123099792531080084948811597622630394362102684121966124068905993464676315537644691406561132457300092520752106633289696904713662148867677333793361701102510098153722019677778957287820548084532415723701068064304138413467720726592741685510445353327615546179466793056099905804852794179786543433816417593347335933956687492110140858500376542958618483880464844425873133527341811697612855344285586098317839504102717215144105028109228188412424369862395118576706571022240495337927991744755991668751046912987859177138806484127748419041483604318040360872506306384133784266519674582072092294338134438078551842823613388141373157569031640542314991861382042811134298179697822599684296607144632817867992685183542509721659434948028030298560283018176355436829405276427817084646189055389013999475662206010598336273623483971857736772392340042402129659096538868179249919585071128529529621802498713058104052527591021845104754476047730101037471529098630223349725981680136720330432861838031675993894920089120203718869315609963778086986367604353643366695290198562051854301715908114761395203378580677501794945943669247419531275836837192857432475590796445151763656771894325457577246828154516418344667287371481389987074995715839036199093750808529021025869434706951923037418592612202431649290840488701036269691450346326094037448510780441755096868504945681533151420015761079736021890024233244031745664963231677818510619806643995115849335343026940182126042548129147356902239278829325677771735462496160229940198403092941969928950710428858771025207101447082231042018371038019855767344226052247733963810260462981204210292651814172203832915104206547253128311588547239821407553652447254989143642814456509114562456180150877801658992411500388247859827026538616513075820052975360557358531496001302835244934270265009428510158692199566694923926165923516598833402451010129702988510722915371741332010342817798053680155012958432505534071348776362404132541350319627365257606711044643665052126943135557875106970451931588193063743094558888670453187940995055776532322689588194471020350484569128465512839194867003614866888621756660377634991847635366537203002562209620040699628841391986419121501555156691454064019589195901668673222008917708802296186829503897132145184479068983947428186759732698898595210896214676877567737337605881315227515925272325972762285360996004096482086458424059889018077320599477228105335741768290790186006151766236215812684602612565029700607352368878583585715046416998121327200760398137186099731233604335154557917355051733560580728543339689693340379987011969507021843824087064328475711669768611786045078584087669123351402936741728695474139217474288649127267054308308690938913168319260163357680416370291052980449132798834078269889536669043086418816503075405393922696069010803988219264359154960176026253524666351966516943727897179731388893320043357721549882508418771620881830143146963182578564332436003377385592741931975368885477594046397982951879272430001072030269291109504521697234391055351279706782679955207429369031923362945041341781735586250757371288428466565927476974017902347401246348584478867909069463305251996030606340746483501895809975491161655312459875312393253346425477109229299253975693121384375291861310937583579798045086891739311927496893078868704221241079916601602026487116889529574561169414989058491501974927492020953401799290396755774426755558827866469507472278485015742190906780847725997998415534425372542494025059696721231860564966606537563196899034347750241998628828640616633782614471448965651015428703094653323759587419359153852673605723354058027192589373328931623960005265634202692618654751594824704127012589100511824128795272678492041350424650625684381492222237997447594094532913688063135086380661979096687122160845848207311772863379912256398001804038373073282857439877470098687412307321002216243480459527767462376993348097961079307596424536487242353184624690116459732848292710122663079703736977744153586080785527501716071216210146499184041706156248171622791416484776346873583110687961428121820836142051101879447505725337653686044863792215062107749071857893634351344911326503693173110593597622220742750864031458314126590374109492508778819555242751914203678069810560146768104805317915535452814464056358000925077406494362014345651624307092153469484727412832108001190208393983735789766463943004132231378427519957665165577401040225460572131712507554123444167963589231098915117620068832483309722064652718922489074861655489804494432979925220016199640262071128111595991276223578951265609311409332839744676455357426162956978202262213746867055880706107202270504484986054527353209671498616817110864617247641871926323793258567248743062355720469833300351710452610621287551878235281722002138832341932148606763265090094703394525656969443159439149874304369123687308653063029973160495710461357939487469117536876058760480003136143347781604629155748110180946791854444219275112807369580647492928536457013145469392912314571641767818464024128485794226213310071584087908480753710099705801650314871434762669689876151843552494544477656541411506721098906409393120778689868385705821485193293061129522886306801980488931819947956692012423039138563262096312718529502743829761817425098337500463047683849495052394444148927798730202435219772140674999450413859042374305023311914997526676974916248548860956045029502920386457562199624492315165112926680848607122919379949439878979122870729540096794929928116533429802322704279478925564001936914783670603203415700700311666825928166985620890209332758999579799098244614814767095364409952934659934072666733451296412034210359726609575102334108947481141857572351515820627829998224578108089839969839036559917260488256254614710158593678719632844884534312822383912751170860783070259771767050390123463796672139267337974760853499367333057067238926616425845069789081235555707377428766888422862441555435229335581701808862860950671875464658541696992326266568348974124701840987536868458314888125288725618504708013569117358265667930329590458402115483695572738482663397714594957706418079734359337912574967272006661833382532453694853140548664802540999861843407574685677834244377645788528532731027336148526606597220630504084678888966608927578811087177046831108153142394504986211122711882897996259826750586489986588787089103099330416265691924566519497514370649657078378689053196818687170998038838494263108021693096829841295414245957379660297572739404154115210979453966535722533324322853984186325492284006674771432568491757568960949293511394627797448711218667290705288199456813300596725431714372452843027430492967090350636599046475339563966083244279279008459605139527650837642251857456111876058196384060481620208461617132723873619653901540748923702051905987303822215920953142193463125113766889855171762921422156736174839300897593928768046252568292642215589948468153366280252078625858667107530438151238067408419318489850308738989407418264417587664320298291766379127585583872704324411046868312345101006975281148016436962921079723657849336685175399443221664341411916502360419739912421799975303235506171378997691209765356923065028936218418121884143347959507717658403578558308252302909321833959272642322522168517039300476709628355022149378065622088220812128697219932847099385738229939152157776657771392199598188889503365920727436768933923337060846171678947257969527991282726567913554370380700981156939378310798765934280096759821081671500492085143952728633554066069595384441533392468199192427373104156557107458406410308087535937112498485433602521022950485391031421566866414107479588109548003969710080608212223314612680405853068646167476239288603421265751363168086917260117096086608165899329168084724823376377774395127479126975776535051317697978083091594829925600522024161798246247401041007191529367619313980435458770141268487836546124127149746282244261175537048271124865805334057113931105848664090690443054193302435315029867037245666442420718740762809223034202602986728596509810512248158802682511287269412672569862792568167189029029798028149272341514142236720721527181985949024458735817590440135816228003315841592240146692252192372414992135980555602399568931444277916284456366051923542161575676633468723150530927122093979708626729913711156800530912714466912115505262074429638505293081788231152305039932320018637105668376665598657051551614291981124193867244909905321658110725118334087762692988119858012707146850629382184827925296820617837774110399741836116268601106477874107291014040579266501842577376037753828547484635049969065491610000112593474892757159889725992811873821889454455241993475169279156773696718114158704750801448142839479097051659782188121932055734911968751649165717976318017441602348532750317931240868058405607683952557683779963557824025454881192815294723392651846941810049617488968292804328130308702821456988948035774126771808524159896159706101582136543365196715327884644422959777535831503645157294178013272132517651951522716939339262145609595299685679698481094007513123650167178953914895977534183088813987958871987771144946910730634291919637035435511727914623385777074963482582013939734720722565077590655318967654149828806749055030416259390873999392509192405501716716117112469524927932852750632564329567639282986727719664458548695091783972364147761301446857850314471999381602559570611768450386218204953951542265177817010483354486032766905640688127672533779996079604099870599023180238234946756374358894412809551773514791653560763957400543344006798310608480885739321244480811865005582898169970949462574010328918920236051580435161160160883395802220395258007559956170469011117797270996387153312137614804011732740816527793051113853215645032722041989941713467347918075212184342297083559985374843467253358091326683833831059814096558335479090040850731450566135164712818494314675982051985498200828174953655032142227143415349080060331457492965914046021261931575674767018425794083643833611223996228666254022326748208569387914779210387870129922416241759043097823872335708369409155791042314860890690382425797106489162294214535784228558308287440608965193967315232713982555454250198610634135311633479972774348251671003332812635881713805480017141299055546446143067861942500076953942655304107540503749137242192800599733263157075788618957451250386872321450893261384789584503415008377284217326209547026776968968499474299342496981039133704112532769893805622747145323365699166103461449012030795769752123962823493483403345643955467826657406780293215591403049593353528137425293862327138151482868341393147472546915480150760373032478829675975724535216236486231063094975013238055032339010493550799434014705239116926352671287919754198274710413947891548410477531084899093641345720368540293604876507802427178510295760173346535984703280177481521327481684120953316863436945291223530652470856045447819958121277119068327021282380160349401812591916047997156059582836253063926517195716729306977066365746382893594481071430294343716296726827263179019596862160421520495017393507764073749165059793732949895732543390123519735495776915007972647910528832035615307253890977648374356968023519393185367752448897048365439201126202592160552098455859213260761018548486770683307896057074736926673070135299908551948244518777033366619150595207736918414920749512225121661135342372962769044279851915541359321162305508767235564457171095980608357650324532523586957351490401706039691918196599630766034684715483420502794519105856722800159876612325170031261635922880157040002848473290193983735043561005100983876404574436837201126235213933770154704553765643928046348174290009883274328570364846326180132804263686146925218896615335569481222415125918457326697692878334089382633841858881664083604283680307179489677701440455262353883726265990172964294333189006290544912173650221338733806232086419352412484278851755396063109236980130636545190694642879921780358757170854649953755411032870951899416336295299969628691627953472387753220532860991866278980303864845174620212420853085634982571692392651784055604163894297980516806758065468685791676534539891019566789048270172430921172335786151519220362441061955443940064377888687975045518407597676109139915680706478534652024064075480346322521772409149044608346233700826554027959989682747168596102990376526130403742772826566961559419307957839644277187345952365200626763498184957936627111821007464312209269521194131976436180543157327088404841476003900695251507623952919824669096661772408489198315271262684512776188589307472166356270179245012716190322520518874744469379305439154185228260867587493705939932459656547045958585365282818225780341564622875840982625366232301674929857284640559593446424557175911917047491566814597987787787672575610734818675919425380866317986111157617814524792999441540563645228687609190887932457985545731384940255908348639135053572856665946963144907703061421787869805737543594027051354189077110765866605816903439898912545066658353871836289312899906481822252630830483824981801182734775162124391221497152282651571503689673912805456085004239771703315556161225798928397628855542502653011400873524230351458979836572133381913784032449322673303409820920891582891931744824755098089215365448680861389086824130215192537680115031505448233696823099462112716120059523051916965773394842239127369892618845250434969511243358936673557308676455393712851574656736225523481832209528743776666064063988180613109812826390068269447513365618066445200498475465519642663151569958824295927779160696564549837525737622053280282901490688112033835552832306359225535068510680208751126570324284748272726195773796813443767128389563415539742226075041410680069812702918176517400736217858516933939941325340821902418455994508477451782795636449052744747141423344893468847569935682345417671248166696370642091240976339509983484665962743861311017163598908106007904581439610006705369509402847194839113899643086510410051591278820384960864764139724705614663205250546411321283864087069339297314068643813580896255463840679485214657720575051922130324188251188099526131458316458472714119193196782982666458038261340732218562955926632772710473040751435891074771140205694116736714521019192315215747901638114260798307980770754243608716561383977200195175505327766760415271740875650710983869205051796969051597054223902181162530758072538875812051789846731883834749879232937901543872306756007290688942820946077776299573580671006723595004791929222888717061461907565004212161210618803161280930571645337788813099517179834770679816317068191178000002565935770222732769385828450471661279662347316555223326572229242997574386250924085613988926435478141223094714871430506619969115707249074965140753080434470708022961296641266771393375576281603634090394521578559849365113132675970297639996344944305690196358840413079374897908501655758761531498569402984897482089287191621924288825445614023649796525538477153711035996598250838120595038931310039433063300357766501770718206491120006967603394242617377801134233915633222152451673619585486885717213478174394106455629498855283130190342647525624122119070390942748893965595536862373689554753752111131160780950796124959126986004660795337300626676328528463560922038650428598237353455618330591668198001966523767421040392000525422768166735288309476731574979408085222637870708210948351170465196334141229009989853765275165274535993868270108986379558101225934827089319480147470711707605388324350665152961711137566311861787551966522728637221217986295638808905136508412653711056154833336019778035280884314957427660636598751721442834730889003762690059787351821477414495939690453786408464037170017161356332051797438637832565799482169382980340810033480049271333595000181622703108051920671196486354381627519933305702992354100622485601966053598558967310107265094835774409361258250581565094971625578180184642719471387126895500484890381147150756840225455566977502947395674099954584157621766310371299200964482605233756375155671161270030819726047487219459404093448759301021894461857787596623098779649098713678489533830885546174945401119331767818740306826302731193343894449917736986756611412600733847842178862984663700407737177308968861417798244752755669840276857050669367727859541491213621068589069041346829540527739111028472154567751313716413967787786589629510116032908585457543222532467741695045250671466515350033171077990227629092284903076624418378841344532851103057601219172643303493549867051599732720960642813475558968917387512186427955438194168546244701672961347587135161614133449544621933795761147983927781711413854162061229093307929588530334929021377017867291543693530565802772430910891635650498168439315308657518302723528719048297008707641356161553830684384994220159309494154126414964791095611645862211887580283625091287832288594912314363044572509940877997231684007440858557028325918401405170861709615789923927037723453289846560510174466346254460877351997314753244965727317313194564836435673346933126376202851241973723158668153438840890774945483577197633597061117662352878700054211632251987992627869658353323589713239063406714983709287967005005657558776571866737047511753851929989072279741725479814152378680835825134682361600152094750276016412804419357466486963970203005852606069852482365968715426931483110918124743207196047570578660148331012573227860453112488037796365207971610064756543828323780572048408239014649582525210936882959275307867244136678418276063186827365975403359390139385825430394915265081084353613672923425080329701829284945477843835187828434995928225463879516844975898550769667333094323288257212643997576239726179109187410621985478160429967666286659786362834279785179804034358783955210226130543192558952757377014918341730455589087848416433230912251224164806825995539387725013468841916984011709565354479950293808543479998398000797823015455879992361543675054263807554445597415824874177161360346088420645719985431571772301300192373774625917648894043543946213532245361188765445664492000264561985383127844515621763569469987591595491475197337737019633007973747627316210589062963029979580990101635450392452331586294227090368093517257232111626992999617600614231818000637702677140438208910175008365263896991311119864860482940633547253994443133838987179879627955780951689321247929475604968938869870894078175604209246362796544127442718034703060857639091088558655335708771141252945488090978824097759715645114318253800986380988716986401495200843304120155005008026448360473772950163796860508282323877908383411106230866874038713538494731879113271810746808860036802531155004290998615259186184781514139633236015513421561083377945697690353016122884246239389336187597300283355720581655885253793974363072399900295412817996703945392480063031795040633859990604968560219769179624167462728631570600719558614730144354810639277988987918804764292712960690917984005462765919169665435528137639289793998646022373985295477956927732997474804495720575105913959623084165510874112563502220691554806951563642753642693657091417569443343429324583608405041801261195053256668338747538808418057845601328950406580087145350788152663452345675921624923846948045678580709679751622968612576081910316873774098130602487587759937933881665810605695004448860357065522890734984388355257070875420407280488531136750992794418459552816989247235643025556241152661363571141839601140957580568705427558363255898977822413031462202831665497901108525940627549101285553428787437990611255149539731764554364669291098688932045863523459760307360328154536832277838930391661363369452832732577204788937840018497282929800337472835518125369499349406962209106486789624590423550649716503653373045055120454815199638116672401424774057752785549881207734754192751926537099448787425663575707539177433060672461307998428737888732843495761191511161054637297618664220927502682518222156444042850181478996332752517253077585267898636771545525621797873091951422391345257181768850861886933727727486485650562513624994952085110594829722424020205525750101576527507935432782800616362988685952031163771705641498820688633508182292587150906425895352069456406532874108752575951276817965552166322043351954537290018543322303674507253921913429394771102715821246550861525048004737637012613877492645197287283596909825963278349361975482805014611486707441041663685224261352567340031225439339059106902208746954671767327983237633116885413947764670421609377453530980640661771894119624567558957484746764781363831294948945369783173854999413750973941350392890434501637189052318094385502324656454789909796066448028217705789502251180028319330834888693854927721284565387655680282631365505632127304218457902192772305805219444203279508591816037618878081718425660539218534603397758248172987646845564018501616636467317574224126730072203320051533108026076437289859432843722944765614333755819886879599533702726902480321312255758633004305997340704807172819787200046640617755775810856899940618568588574233225458716794420051159465630317786120471468029750673304815610324424269537835640070838148978519692888679457799168390467254052975321909371379729981889233718246431546352416559388865273816007987058377818326411181271986246443518585478986814331938963681201343433020996776166549302557085119396156940276097238243224445496218953568748200249005378437363176066880020627887726263521604307494804677463387888762737371332159311161773781733339259741224865706573225701550182443531161945367180624942613932038962927801661179737483866154484626097740654353099034314870132772951721650640059519702239705249417912216559759499864606341042407693083536667092715714339355121558657189442844841534925053402276006177954644654871088934482603380485447421483237919908509318007852858165920796953833913016559540118519904403138165417256217261984058874057925510384722844504408024080937017766252136905327598363678036778335619922563596675159713599194850885002682022881871712354591801526197209972960220381349182771267220422616872477698211000830856116852462771894800046793578240064199547526095565384497250594799771541989099563264154318492158903196650518141041267067006325782108542345612400683872481415336479770332908515090169085666158736537513704846654065490779609534568253347031864812303180805720026354969177772949662008083830019268457446337043972972850798195080045062784470295563926262905257651406330948739690851517608975900375658160234312116413672015567395906379889693170494555659352513492794375335244077343925903182251154008465381721197207477378643252235106729126575850815333377517639797932726369637093237923011652389746717376772423299852497843582574152173061214898101566032607820843796129955269402530285528999369862932889761766524900905780773010835036448359696005198879127763090987769881780503246618799413355328439858629598970553860869822522080199593367786307445966476807603834235946724934178439281436910498003494221653144987417780689139760150632322785466989959393458945505897311510165257868531587278957629876503162623649201653809029801510487164131201054087691687490584669332762389426537245469468230920696516170592915312730075895212678391955898870217137888901610118723322042001500339666214274580081588915818007663119393951130098824745870813014866338108395538491982338226551853239809149976380239996791071638016070599265295518354963637426109793362959994585534225234341418115155867262340285638982834412698866852722308860996332085399669472508760717307655873991957029056026534267801714878133524473758155262002781468998463039491791252498365827631807280387078816863809028161614385578512697428399883666078790098899783654330870034086363651096486767671629590461951375559308941291778977133576445996759214960976457595300436496719980392796519822979899916600826603438469146203426351776241796910176064838753657898071724476411244767230790013713227216803737354897687344326731342958659052578569026698474181331558514782437055425587535676662491254790385613999415872530119527432609111624585844980607469305719991281587019578006489729965925184272282206252832006606634451175349752106865665283896611040686370576965667960758624794993249161494373634821012488923417599234970688568077027407685731846619567300774476849715290139442568133989617357921290698532803211690883508980270674641728208451947989952349896574944234740752119432155142390241964600132408007777065140381450549270667193189265296802939555565010301704882015540357033270974469828073270310138796243900887237884712479313066833542737799343062222161514824661193247579028699277505189530500052575579241312955661578800523846746488748729834106843129849015847612204907961005493543180764871015568627360795237664710292831794457384713067901985531913940674268420769415906709196333946288164661579179573481177334581710596160631327868583723917486783675305563645501683509974275027377646575999263443322439669001009729161496955552533488284129138794660553237400195546154223496351349639681054997853324516125022058905883362518751544585006353134612561959481069889817525529346853661473980243035755095985680419597109028150153048602986811652049916376151472029615815096545071724094654840080579797349101148831262479341514548993724313900425464924131273774581498175703392027617295141036699518265735127010758110138434441372024192023198476017109984649766906629825177408187808663193361732037669366942060100427546304745155728511937916603782505693492526814233240327178278704447529005865470819076317948817409950923389090955324520102716691073034379264796207657322660844234786131465962590222691275127286601233908308198837739195236216967581999701501078212854080852661254758803601532316208573672850570441785248706675474079658597485021287918600535837560871659700726199434204674736250881935151850908424626184995274480689123857010513358565309097606762347793648359556777146245277752427117953871544762114287636609134586289440216104498107170384932232011315454610864070888698060559042475638348196943610152671031043491883624258239382989223327730723273351927582026450182533440927370907947450710117704669968215416458039223083458741641087093088177941671762406983669134897514740321724065145045384698520806604832045586184190642642083977024196238375545483281030470256794047330396232126738020451232931640363507611952299456706869749638409554282010493558125260269320959041465332603263591980956366835327276055700335980965806280439545713066674958455245940637762825557015636385917658462295442306551345814449334036606633553609342917494655464270167596285345857478897345335423552236012840041239332110036802342335605667943048782758123521221798382185635874585645984857042587505496854722718864119405648352311437104309022369347087885887652917102123210586616707900150897565181709293127026525210418990390652299692734204548835170807228953068899123405626664558625453857997110431695440207709686913926205091173749153819551375143522704619675523878405410852598716999408535788711808279943784177029587970575683781817922486271
term 2^662251*7489-1
1950214125…71<199362>
Permalink
Is factor of

Primality

N+1 primality proofproven prime

Proven by a Morrison (N+1) test, base 0.

N-1 and N+1

From the command linefdb · curl
fdb
fdb number id:1100000000413918059 --detail 2 --decimal
curl
curl -s 'https://factordb.com:4059/rpc' -H 'Content-Type: application/json' -d '{"jsonrpc":"2.0","id":1,"method":"get_number","params":{"target":{"id":1100000000413918059},"decimal":true,"detail":2}}'