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.

PRP · Probable prime
id #1100000008436492533 99,985 digits created 2025-09-24

Value

3016128333287192376752640081483600895053916426558502865430985401175761415941330632037304621715050384409944861969430134514914881092622555041920165922995008224762165324670671957042063854873995644910704233571410925078030961659043716738738683560849176816428616243447438735342227964564937681140623511410675175727386524975916063531907317228799816409578090210021446895252901235696895084293004517320185245538171321452482407576817930736654312363463229017021942733408556018542639675847209594183642706442106932653262914313118167898153220978315614844791925630627806135781051079300462899274911250260650183246030576466587112336925050747162088216425402602258569737001640034145261926237580773454000325558939287576526856235559507469064080576882780922619927588540899121258290904922439095630687524762748234945226167478562845811559438369660269697108430727935196307731198153864718512910507560101542044906988011298429082037138209574028113555084632816598836787167886825431198924164983472226718515047253169687593731256567012828296530259867879190601851733576777448359911293775133415491537616674122764226670073017930660048638700296351679251041296811474020801957602291702429278574937382075597156177273794929031977098316201110956492087865204979209721714030077259017021491054465926733156063141647477350915448978053757197770958522246697933795102603987465729210095934866277455428311458055074204719687822954770062136578453698987557873596340713330643579860429258729245197976973396312068930476461152582756001652948123850304200507002905114424284161766992671621988512415739366407718063802705922286525288962089579003651100147347262664352738680951968799247742336989278067756865174723302139468325881009818160344424812889676412835776054428167002563556393756282411103349329343109242429424411013458371165437568565193344099159389663037258403547719867265663867529475611191447869455350786976459003748018772607451384646382139721410444791078348725001804250597712032687507367230494502965772911196619591992741995272132726580694660405351669344982760703323578663526025862160645108840103463414234444572121091760938711987354396609320442295217955457628280636806451655506710495005177015515971355641308214180965207071307858241253934786651369256715498070655205529422796342476287120635425665397832336071007879087351080942248738078940400528664475172293603923501142044526421811079741512279360135119974012916497846491407208554478535833190502395114721342873428467185032393578015738503515400069997738034232367911789724525350751159629891245367675049868874088968262688908316369997978744889674484241159726732557072517089198452825183983090969399143354501092492082928904959635447503357889401729177102062698284941441757475902803604187779374036402780500946583323303032462423901325515813232996280586402244868998265108951956501439383897501714885406843090271194374922310109690452384885140313885458229801487712930609913845108038649489437143386220151448234605730308254267773001018755251360210064235913035876411864672031566174226981534904623453811715027787563844230549555579924775077522386463257526423897516525519660907815112786959008327856929277462344318689035796159056908687410195976149832442701776505257915488773476405106351342647472816953516530233832626866283545870814952157777042236460765561450243455522477793826886167821931544847326386560960794145605975924331563895309154714403575936875337604058799294944963504063086999880601262285432098175761414026769337701907153749727771758632993852530972432524205874728692082339392599040781661419104012298645675163754816892311106245390849218908130870558264087234278801647026135194370874566760209558514009734814977329923745759284155717663205259693790012734164159602941955078763729852919327257967957007169397049066486454027759965317371947923738759840019071247302131397081396068698616850839438360499585025233381323516965913924805396402874603370039425117416189614604566475668994091800182947121974829869432611176489573653242996700983840859511849475339953859363953272030787738931006208999258865758694347899642521158571001031428930437166832407491110233022635864209322945606312290294046873655138618258548860977876155027877279722765532034246543557224099051095468703500414464994046548778467965966033290691657856380008020760722223139667316579317695843962923402028315895967525041318024577615767571519191820199929582448341887324068935109927831145315496396557977722316095966879740722028880887949357329606689789681945042593095896256658948178699614304598260378701995425073384838330384575533699726187150393401190260821172576982515320334983326666041015245585104781751194946298527874376720488715620429949938865102126053647501122994037716765243530959329942575603999182359357258697736158105638226868075241210625363194694770110860072528200577905523060221968479566698148485069949659736565900230090048180561206738715916653087671946656175813164576246050588616163448871955438615180187940084213339444310235978834275380069906754458428982127038183290584686317434202949796978371823914607615430706421700657428427645253952024757746203169068940179721257630405210533115232614994402036427028629768958003351240616730680725113787237118000038203236270704085916104151716573877290362695165606039276696769111511900386158080830744617591895833231960561892312663847261392913046298513012474116783954423752869452566136540760006000657477939548689382003245865607076513373033956504170102631013280545892589085876388173306704401029087374767839637041224337452048993553735427840797695725460375721536427179636719826735377357882634006498426748202172536484967267511352830227073344033288778916513974612803887873763791351160447524694782303014117625196116203409497654610219826096260900278110394132132616709008329821282744663594082806277844302237577620499553583777996487982926921444692578575899363156527809901350419443082372032374392870301931700841731669121438207763748265715183241991565542559138267968640882148763304190020431155065508092239291673103046569061038995448998537109661424245869237420572081212320215273634900083987809500928126300011059033798983480062225649780943767552407073966226209590563815851578069355518172863395665011004311846790439060466384965010981550525239478266802376388879705895040315917856722772801880146099812537668441674118770111755920351738128404825554756633310795475539251164499221310725869339772970577483127873182794302583221029748206492874196504078358237173356249397691114549197525848019556063076962734918153899186579985278671368598056927497260126511623526233304984997082935306113303962473484051944654081378199940844383718839615717911969417610041396530516858106913042508231137883904364285225656071044923304698821614743375230862170080665655019021625482436871585116044800401253714752985184625249128031537205497568799125178090358598125161583874267277791465878676357029704316159584070411673996860258927366513133784981516677347684504862087696846531175223225214722224485894233453486354131316742869354956908212968866974652994126235362522413212736793435117741401112018659258368939782860037810632443106882166330714901935819506148607323901175897858428953023252164049542859666086014439533696037632037237844567387692134129058132301291449042788065282981639278049254291293473014819947405993982245834914439244507858405103123848985951219148798262001481503022841861621763748233470037453022759451500543183835512801529056981965762835288807499959951424706671199364745073050634348123164448574498137087075850842611871965504494254570247870735601493293456505973467459329367411643981704841583941487914648192700225162471741757356702727971285775248005537911354468021306767471071174224529360052274698235335673989426460694238021755935235904053190100505937654473046931808523844957666779402508989657626715115886045381804549880470145570458119001284909598779698886210167196864535470821839697733584255967931821774742718480978256361805560921520006329940215265143448843619927239538888441186570565764269477554926107458498148721694639578322361801087460550125852675755752354726129472075610385810126291898397379394851245043544201946631141501528094138012004022589991993539755561178787159569038872046869518057892430352141566092189631155827433349616707429195234758916974505288397079405803981182465342775647584419951308415062506931127155878806605280207052652442359670991238307273151005206854423215907236681640955500457343051544093953856288249324335458614219848900206733535852419478425128571113222733371958154626774058808554305966807881678264228876441498015733547857751100482079128046671025327449714950852649765284081805946349224805210872212530452960728419224618755755472178493577931144107816861562661508986666611769264056324804236949944411259690655708222188147460251455938621335161528466536121220912469537023628436802081217192079631214036766543658942444478527879186609004786137903899008091477755836694982766874502700540813569508680520491237914825762825263187910284218136570126098224114888933750052897316742705536993905488541972633795135879710109710533949040858108079647275615828076023881277805611305295375449996103026485114808677289859451857456225516843656500957091381539826825573104790446735909420089455633717966923062611180896421866707232984264819539652126756008838256165644633957631613602824218006380258605301796994017337675561536976442968657246678632983573065880302592588428391767148206528741774497878780036419269453336799992825385651791620569002800106953364697587349705796962995839114697604118274747092298311555793453551694644875386710001836225066644712974238983023107206125852366511552264076916902335452098075358639685819385870355153290042601435910725893493558109782665605892122030423467960340987630604032833753702665818360405175788419720211971675807232486287382677369698857721938950951994049636386383584184697825184096936469600180715832206370408348555363380425190457323133314395110555280846117811022590240486532258838154491354355228063893236876215162607369079513123012580699176813824951942769701676131505676372951849894608619066246283194592593271920614061746767425244164609130375434548153205292806469208282753624595729252956606519345380287920338876234119603384217090266851130409205506898216015007639956417841019899026455117578718346400636467846991029607422901422347694187106869088676224659300386062599658803853746797154879891369541487736166326724759207055607697172917324881257896633416608820774792819346649595838425674510036673779843114845935279510328041501081042912248737120790039348995431769987773119541685475452579379240415071027656007516265671226078889930280948479096681731332123676961307522944104961744556773872632697246735643275800757397057437202232561746864999708862322607613903987295907412312752957602685528469776360013473449432699725730356005657202326697988558917001097857860652862603382637783280008111114215305171083601923445984146655156600053671396278103873423297419597925241517770072314882085731790106670196954930848049851619199241549096000162563581171101001187283689013316165905891754677847743882919170224091277381824494134153811835115475338301449648304268019562039620997364767084678042104059863822109327757609150660972877082396511986777902749294928642567598258169935760449124616919785259860534993930213704880253597632161917031751325057212940780683701525485100937916021906489751041931664641661561489146232675218990363343821990006341098143070005559681450363746660598431496192349316879269958429571951822523865583663191651335016387188900301104391459478196522240389931949543315667741142432838505007486874770096523475816604069070581955773510356116162978601709701465959563292134868031358871039283950592271182208228465611324718785571364271708365830490193785922978143948100858253341117009751557830441080080780503102997659815122337563555546597678995725612150925273871991109346471323255679849061668724666712251338616201331736778357917516499762691032839995858516020351923163560915771839208250507785271452114989202727974039507894562590342946643084533409071979183012059058994857852951689896418446303130007631312649582220027169487183086990227989140817272771896116679975540227897067493085898112543815665120959193879113563342211518701196596910411225784707685704481500344834257398717189977369350008679407990345523805695752126719010893265368185721605851670216622373010475764686714634651959870555552706195994489335037037336072308658922942610761371532292345000430932229325830052510937971907963377584745148124435563686377455553463363660470639714869211645689432458380336550636212693501311729939818819391508823052903920277063101726470516596549855193947314760707445148943191629030977775826251766656394579429934968498935745034799997870384145895750434237423639813953791858462400121108743539710114879289847836723733585203957971054614640140662907451593934705870966422175356891288123100739648494750683930784972491631716495826159407645411041822737623011093662860638214312562882506805771202844491393598897248261818930753441612991500681993402054380013327267835960776271394021083010607293384650047400104211105569327839548469519658860736680236988997706898189446098963645462841243442604691545216749448506968499034310064410368579250297405051617560661415647381631677755221925300321932108670541975931630476311635711223490350445786374407862538691797069836829411345774810246586572300096272285775623089577011479434230001593507642967308042918423757097831522873196611675868749410002781173895081129055903093431908141358545896217350331618054879889612215453087476550241452884782106862028748136043282651961545654923590745284677484204179197028908293684869502352292328837776491515882472315196673173303351353762579829741954067622862310802651267668473450159715304278313756967002031463753686626745764692342852120144192774942381668968744041347549715697852288331546809319632506785653924460860161899490010728616530491956591395442555881981120888900849938922384566419672525624741755415996613642694491159900407561095799574412784078236710775334035493864442830438973824839624367894272599143039236607985290901792061714789978188215594059743390634175133190510020353530871672501771722904431651952799330972871642963935624960303226291796471078839478998430469403735644289037004261828240318863338963391496972251177229452038578345122173593881794589722332938010380196394094652284676130019675122044312468628463636507495396526805681032014202677698266894555448062593599366107363883286410280954926041348989678621688658525967540256165363352219537009631035149898471915951475267664659298400173047122648105465950152174935577975984732765695808678943148922451502111612309193875194655972099109830898096066057381933435682295167713361186105492185544859780099708190565990171038621396557742282910306785509401657813935090019274407476432869096294141383150820430719960995806765312117191328707505363597023092509295031590215269832042889527387764130369399019001424505715126376244823988636396645834626499045515261391975950676351906727461564718782411253968036130294635614997314289374233330724305632131244644642036192113685664503821104921714702974315023376044421373171132659135166644060633500734583372432129054411048201576746777523495058360613767099058096326003605229424546744605812118607436909321445959173048722824803300832965332825673659479179728665149674054126594341192174574854029060932836979411419319122016215795127384802919510496286985497147552474813480224459166317010502492361160924553900338210188414067605233351604103156264617046595195370529903780560650959702344754601693393647009120189618131812242322848166771435228688016177863796002967727567576619960960124415587876619651144711427813637018653814338637834730096491715669721202923042057493214287361578173858056041037034264941037001675275860054354198586771003834082146466694298568778709693190882537305082893469582544264733900265965499166481652230619223696328010886976109371832640980884557583428150535661472292646898191967483897944307618547393081555637893763233038057895510757305577216876637310263376281549129328016161694397020792262215862687520016613176114880468860369000821847098011978596199887799702969040551547240736157689307441838314497725430125320194983051589734801710992579552310178489855856011639868009208888276983754141046230447160041188086342424143341586355769689517560046317169520368756860164094257774470217703622664556395805947367180927089943025781883862507442324259800180182507619251761943740554679898730378731196649279438497854876509905772989469055785129313719244716824033707865747356982530457695901549506782524045995561124946826799792588312477741415324560407555511301185778554339299592113377410604467540794673930247129838534593764919638243647480408016447878950239898338969270423723658247742495485968417839849455095965899785103441348851086482918576688123619650990765456637109095730416126371197147204418906020444495228938099340423799406687392023702993215019078404923924215783689222277776878129285040609022229556293062194728447240367762563429178494437509936912556491869956060184932373074700519695504567601677537624710491452064134573044268844947712660882943015875711483462045789058227619471780107086677676134864598159651825041068943346541321924223488692047048909275422733301032088549702801419740608001991182095109653565335505551439425081225561141245039053215253058259782277229177741307081300570716540557956503903333298792598528857437182296928923391262781170530404073261325694690952583050462060199999423151583615713459171733512788968389853117967062684385408115371562600880640389509912494478434368888203072007116349223224584091160673227535530178859190840278606708069048885378758233342989866182049294201078247920148305048844741845669505233542880775884919240923669585352754290874266025320790916186901515412132169901033750778781622465744416528843194842879425591583330923877258354932288204707801464431716999369089382327198700147663090334213504959726170480257151036719811264750632099825282880966080840050875647338667738462845481373038901444840084274196062423298714370302336295572803697757237084083758931337028054415712794853770296164318465250259966322130959666723646655945136835669865686889676059921193280412889745726537468226972104183537806597796979024289906892176021689733717633161506153785540968135993432917857902391942173456272223485594828884148524830619269214792531860592746715261556298852283436766937578239199491938934964351068600968167515353611737032134101758628654487089273176245550894633468549284461567646929964207524356804022633993407171339938102268980716733513891649580388619130654100601812972332428554282532642894418428926050535819277651986960175298486846262675783626563203895904432844001279274160966363229488230188364917804564644299430510661583833161675879924366189893808718965089818739493454178735626098259112322275243200112465592931351016239093454360179949885788089843609170578249239829599190864921613627114920631470700990043975351955135244122257650771703847790968783698538379995582267606438286723883350246501025790584270488936435918103822823572624453222341957709695221395960752711677724542807724827554384117965538168412660710866120155089412028744722140958329301105775946890210443641959778354684170333029844408633907386602767095285711350304240815114020226748606044024931324039591670546867905525736887145670153852406044984964738364749014706531834738343368760791196713335346687246673635039079768920776519440008165231112908397656682941844479683471258253733700708311478271038137719640937460487166705749961858168220517171838549753475386977385300502913542653289484486035431847614463707909880475591377001540031986355557085645785088450818744477482621091513123598275083945451966257439762427325621831280320150550431176834118266303852888616221872125415566908535983461584980555255425379206097574181325437332609069571743861587052145781860413095906599073885749143285325388081208707510339544851146969954687850796657441121065619359886817316353542688734312000710409463610152112236041152617093476940633971804501362750005885869469835916978270316186643863464896044013938645126725505728913624215965160305117780479945207889816496679352388967221856929773424394544680362987863467091464319294653197176539783118559245136900502989427796341852564527367088604175101153207471371254154034177231126252603799836128262142545416298913213048857732511590982060265919323535828127659268105169657861832768950393733832434661794239491582204480655800693546511552362536134723186463716665200426199488766463919544377051986598995626871381034899519172918897565316140790128175201280236867181057983098142046314620055483796517396190844868887299546728500320707579723685383738611966067535959877897893368220437150978247351772066542458809507300603530079207682049394298451382408254261973735333576399741840197766916964799855476240317948425271354482362359750030822778456417945219523726560895178750353325206957579753827577696604765653370952760365458058507882663106908689193521394908712529615969447436762350241604650752456007784056461062800671112753862740724993709029560663968590740261974668597471761767274764449198044108610344092894121969680579757313055369644297270374048309384169307713115400627905398290876782537394266042920372989080608958339775998431477253298182124135424439731217357338594504049411134868812132676859568518635796138132307682428853422136286386245516316450273130269678048935407734317759931774794805652426643941656836246498041017106244706378099812785866613351349104694684370479193188287716769884220929169587256634702519072956629419508174332722956691446651576225753528138451833501932502562306359750217701020119629329246264950680882484875792107141566201054116955820056318773419160420391358584605289731278476967219543960034321779710404098745274610872217769155029919864454715738170659235667591950127946688631851056791728624486460867373909320482728281495513780903845630134439178650613072034853719248363678546221834643196927808462546508122827540895190598196881306044089418247544245808938844751587430686873722798067985599360680399303011411003934380912522490970051355626940177971822875859313731364239414956754351173798269682672032932589808453708904798858056588979900425669605158459696909623148193722686168455436101198511144406209531356031101249217595085683038161101704699796293851534099591465943525340078838209796892696186822070111121912821011836554252601511841682414209878520791454517982069875778081095530500401096338417455769897336508802825894670958997125188003185750388513563785696283698720615279264580151140400493805884677561366578185773650432940136166270824371080216035405811201321339548229165099638285288629541673370607373674187797332645019452243356259593863557251952117974831328526637981513067556866781172181175740243495919589004226836676539497687525158040631483906064377687598396765947632022736661113870331646964535478207564305958421152858066976967868161760721853093582253401118935775218264366486584965247267771744088173690831548210423452892034867681883766249750782859982475888379035546396698503199517781212716753173541224193204283583083661227094758052517507851866563996901267256571672103162971056246260841425598066336174289961394017843553358280274903769161804918944511866829396684369599157061687368149834117287019715954160001429181252064254637735978146930251021868251635655953865743514871751411215216111122619408921572460868483738010491098504935855558584493337644869339064515008611600651133701314782463487056442913543344648978142299844740646748347743699676147975360281796804918841342307522932902477699359500907067365277475780407083757852321727191284989405452223167533345476431242003119459457320162912660616846445085126801542734858889051887971055341241772789662823843244254588181867708210259501789040446578956562437167170506988017336956176756804564486177952841310229229072377672655979390011924116198583816673658711170474209770531962988146602880316970987846142798082546788450067619590995667819583982853990065332699037118230638658960741001499411562894137245436418693780821102702745755053423815760352218186533687613005688328312032410738099916491145180515318446709325092393427330705754591310928778673699207803200416114205492206541365660551099708988349573279592935350982663586515803466103782493989809713160706673282187912284886038275379788563082010254350954928395561669302182845778255298736410861401244898170860691636771275901143192297894907825097855284402291435214112332249319534583536462968657775062966646468330117513387881605637909425120303896331849587793753397902661027623284160612678465353192985880283607721220599523494010861584116458308613825324558162495471247340746125123065068952024080745087813173325531944881659894662745724115970024401382006175847842347141066691207734317060068682661534114071106427157347112026806556013428726308713576669905700760725274362440807219428009047900866464887495795435098506106166129625312755976120347038645611286484876155558286770881739939680700593914659108719465025586641668658248502280449863545532967740629503831708380455222082672875987206309177094250575145334251761924947056405917046500051437697531151050945146968156901986271707531242061201276321905262181233901238456844347100244192672921039560571228833757138191962327356451062600288341022456665783092090150127655632331823768408246747833585347680472066876085663061521834085508770782358970247348318403851006843884698837811975399922735032084944879631774739291683644279061936788395002684558015076754510289017253734557977260168367097294747477273630771261566109621061340557075273058893018964501599537458232542333559719392428911435608135137107624642613683813606867996703700386833629384908822302553201383534953083988685629225566839989391362634117252210961508473925299209129077827887115727218968031677168028045425783687146597503425347222686249080065130489156515053539238475424678617892897832120008818771017513223129417336903829991081552265789893329855056309237926997607608109490532291604314752039703801443196117008302628792613062145454509426397612886376302164843744422760313780605621302312631013597707181406572755454032277496820761985446110350529733560336983226917916474819881250678524891320552515749751333123464254535417183079684583939484122125716024385830306149410507961646763606149888581533018571127043297466076401171240065852279883788029975771991507315993234176911200610273045491112950350681314258825726491914912724592241356732663578128322526914431188991104642218373543999604001260518254233632921240992150891901180821492320594395871945104359761097360184627780950405853859226785782218508290442718728648022547238597942788944178874147919111925822061391891190064323169265770908686460588175749618851353733964680760030337721711107608878451214247389512583038542500843257156830436837121002541949992955749356984659171981841871475326041966747022160906889088868549231022596703129937653728596918740113546472872978172885378962842315486170141747282300948766498906004889672462323064486062187974957936344520009418533349285195689695882812351361832368851779766170997307111394715943728925793278193986678318994233392750283801719641950691468431378563417136553257426093276698714442377825805517112002583874559739129091123910101440368083225790701993356231782906625038696011650790549138546123471848070960421170439129744588401461273051807886978434015790487823563376092475064808377445694773024610865219076931070580216294859386233308166468331499917759586074375021404800591307153424128199471256045681904478805359739350861538449076914886917836179059829113187271738683280642431773512569076452542037944964470009795397667680792147405630392067339960542857243519180143379130675496076409351042200658996512018566708890987958419047742682449335329423618446738486622347070514018380273187895793799540102627944513213060628326865471219225986239935011449999366018124669998948565137700127965309897752959418975427075811036289218642565515274153668479445527298936992709951577381677532920182616836541867468325877488738813672383318410658315518059705417196879497642641865241814252320763969107550650003202330768436762338751153600153812915850918567147418591688774258812942549219872028380935541820354138197583766144966054048645468668102168951585991848960410031430539786976730871731576820639329568239414542134211096937115881044054550740444335033140484846840955086739394510653381210314667545021546179101848664368086922225320610337274996284758587389792352083876981507717388406819478031302300945374989387496500043477434974522290852115529998712031155591883142837950633247440874227266172615851652465891196897375407679586596105203957212730243161186572057373229930956921927611025669731648023650086233643878002279445779822304764284125329972485385939314530372441361258846438918363076558855923421939182692800031638502006857592483151999581248142338252452296741156697983351369388811799249703240730837770936586697782299207713493867555860585716307291261086409630530699062305640628814938430344150405795278768136463165713444552853504266850385718523594869430755107521321478310323058220187977546408702246659126659605467969830112438879370727578373452988838877652870649601125104904700019736680185102082903164883625242087908069098376807725456919672820931627803772948996140365769386244527218120650743977199356050423885766460761226320757615495037354561284877815350179856835808599031336044647020613516983700564284341741076221057534870892604610838478072855654267698711861371438863619230493293480915783188817858273466357449456996815405072730939930321970230508614465721270908199806693762364134762247237770170913126414228143050644030775731850111238144576898059260385380142615852194536485968803319931414021784565406602884040090212764434204265524650826380036849082079666894281003246134344705827463987372797100568455637222632788801598265604197364172705565972161035091536238603961669529331410504289529207002595329691584596311860673190330256085800796165348319016829118839544087417642855204742456717507524344820677497765584744834935902757074311989254279099199905787006940502548378284765101118970785072206643467011880765569818582946461943731154098311164609775212273988549332435768786462514460142756700571343591654545750759053773502345587941406341726837157296097602564363443500352929870602582227910236957494618465674639553312181029726584850810400903955484164681774452975501132368456725458236508153066934886984947547751086956514065504360865491210254066700571895168642027448778364236820438820935974599361567968665118972538438600281323506463066652609903230619972435551606090923210159659960879121276921704972225680832209969237498633927605190942646451611620474481917571666879134141377400711633711906580547036707275225746936965749957671130068861615109586820146781964484935850388299754696917455643454106485026733416562303385588602989360433680876232971285218103006121929544605233831535141036655509049730751421741470789265699551604947147515874166830004008203935878770907194112837047560916464083092713771349507259102363554594314915031242105604616088095158515423795484032069698693446902684543330427945954344466097385991695871470367603593546251126135387212948127310664941453958340791162539287137082614449620642707041322177978836833588442978428404364467998527814232422347600749942946355175258487368255217410251428374530582533485778604527306348763673016066280855701702034104093318264868762346397592877604280651557319477437725691214692058207496108564759877835143763512895903430793327137042648178355700377763378355043814148057690694340334441371292917805552220390817166922256727034815648189319970653852456733084080163078066640318988692907296138021117826201946670229046578733777673375728364861282252555734461441113708536812545487094612220784299757234037706399257070468868068289276516138640167151210122787899210221789960105874803585938534646780428705722599916665158759832729115296384631833557993112120376185982366606606065725933159110780552623388188701532898248377021618389922558615325126224154643872843669923316869092556381449016798070254110560816896851539791253394535176912728448498692780617495564620240859215024040993761479270825315945164910322695389096170012570458049621760733766447629251322685788176909836143813527695787211971532948419398766615680712779312795089445521582832305588403908121581805961822132050232578909000350487551630628345998786569018776443583960969236455061267634170838983793920749759968357686245864225295267705909293821797868891761116301341918911689194197020048185255502976404397946794939318026599008333446208683549740116217911630875943553124456676575253818891370932714392602163979848319224722982007560610063584942560436565128367983407592551952828523884321318313888040075864957281176204738397203972054511026098525428145014828263813183483984130460486289436365572676654090566704210910905358383275007967614056452636058050545533585932510738800523851670118222835113968145407006004651011328458814902655952729949591890059151877658332212913059222746311252144422615756804127093307252587382454562491337721823268908214608408112818630784934096972478497533880002630405614113276963690961157770714475887664357100343983111943444120327297047124012093684181855561555973445431130203680144451001170690604796021362950012005184275488391182999317017995629346353360297840961989411234055490555917726323751150627540517005221790261877161751970139895007998555262418126381507813650907733923364716982773670625541315427748557129822894505501106570217479172234880439583604291319569561151973505608114503202977864692898612675551258002738297611265527253422941543365880835608375798671347779083183455964692862048569247303006164194691078065301596887535992330534930655013746657832086028948140919401680032210738525003563410734819871727742170798992699294041465720658583673840412736753865101091717250305731258778704984140935538475146187733646021751692339696344680216743309564897534715303374005374407060856274086133216175406445229714897759378727843273552126526776391973600176040430181120992017214050043681205565766915580019635194771484132059219927370486438138023394205999763388794466070476161202676273764931367108348297143008909167217287467337924079974070862625308323022802113131678828504911446866372799018646587526718964633197070093244066729730494718702702938804081401895539942843726279596619185413306204220338670237189708669790466918863370880780373403620491393720561987632639716775401221056745833292753103542073435212651439966225362434559331489622221603498740388384028641671211163364087286338972164602994349377483462942326437153058900343429039710305113023879041714129436462836837826274326669160266603833909836140627736050607941338006712207038047266621882492698280206430671331531717769710273047968451338080710784407420994401201712877638699195600788200172716921060734747937053039994111757625325221290770109812369278522242949607217204772859735719948776971599863143295193417626293399056500784012511519130425703502038885353193389103467629056715555708782097935664971646579177860566046838635544283492303137584085943153770609913461881014695602698337406063767393336886221928523265616823796072773482069368458626766270885911220526622320444418311737443146899261077713031894464852925064674920434305536211930147656670481652357001725718899100433990537776152754553313915458623371778082455123994669199507336432259254589964278920521412023530815877912796932104621434540030485425841671324425406790104812544531139803686319274688378032001100249678058100985350620324894273075336369630517966584878791243960253370756452623935107897041731414997852175169132026043962346108127529937940694312469502523133094516642061997642289777393491657919509091743557458950634110118212779125989813011929371829507705264627798481295681568358692243970730674224110187723695504696794767004447004960496817193257193103729141114206664943400560546724667785553406172110239069092507291283307903795827689616256605397256368431835608299079794951933662776799996243629738559131236400179313839568389505367910693087024847238833839029731885531353737660355420411161819711646374531019584669804121655684058965585321883821812916823885518333307555588010916588694875350829811113909730470475282132814684803922897990040100166599571855583280361847153733638091525030215231110451068972264979342404930695486338509255373424461989646129163895425345888701318117328696775932230991850465566756978125316923281257370432671123489698410834522794844756879959960194140951670559223430310810677370201785047527378452872290912571814134316251481930939897651864574601656290083929925944099352518650693016383971748319155058982839897126132897310352015825276538485946104110471442202785134894131677212787641120821644083880152725736432465524494040789332128404190629963571974615221695984904725374754396634472738978331119022903400519042726052203749704895746291589186531039162312202356622425414404054314604954772952557117054097534809730493805632829657305718044176829865519216679567852212477309560876622945355767781571503444921306177302863039203788908089910786206415192832631860932673477283044512907020500139768473834415419950008605113447714138167756367228564231465008626332600250586328037531995727739147046662261933730587828542623554516584319264855067891341127089253639739904850515322975295650828340968884539644987901648037676399778819582435817859151328080215103283860133065261756903540541973407714831227526398300961752791956020513517169755284139216643213484299481367367322405723016746794112101740480950809665283066640557945875920387753305478301285067518468720307468548788704323292342993512176378599306632539816164213092643748431697360087397501200745418844892427082847464397653082504387527263650451543554081878187201944002395581571324239088538623872652386044902691077366643903442909573269316142025575208691568371359161377845104962117242342340592211947092276954832606450900084691249048504197734352772599519395035096464924596433375617238253926305617191553067227895036199860027705759986922024960440043512280899497905935793202493522028031453065515305574877888641224487236429617924544660795117118984024151797427121224620655746110168154662562380717025631605849083800651499964602068384847781623635198918380023814999161673024398966517387244086193142042505094473326697767509548093014995445856205710034837389635963437698693448658009126007586380614020372421846508761261789289993313184085119214884154766061659165828282678531166048296397334599061541563894847121537083914597682364527105386723205641874099034225437146074851604594208294008380628536434269329007023471440259793704077197565216291312847820889471842013483467878081058879890474134464458468138445133189066811950426170138247896631984297196701473556761079692924525236850416399645409082731216752084594743680223198114909096314684160384357121480877924702346900221641988272504897194173550075977815612813100954193449534796889371159247776647289013861170448779600791766903115733724583898116561956142042422059426229359421877902995690318409203598585364141447451169138994374607728125551060634756299977666588641740705336176627789558544413787031927601891599321186669731360489545708341429735969089799326520823683699556720842891896146647836600010673256357417097316059056427638817743305624180100204058632342380163724311941943472451410990643660577434851134013585802575496367099820113542097782610684456217149133956727049983492877709540529693989114448144930614515368927442872037630180421542049510971853734595004923298319814337569561193166729868864539926363230031560807971213000753231159818989000086832835204710391832275669195601679088003417843578203135345527442110802049779613087845303644231801901753216937465450354090678025776486078085469425772140172460070903384122000523479412422192530456536704784165018037083761349496980038169013958588225778839901543655725302175264519094423432193909014653341554945874059174566153207041870719336973098237815456048305138580696376743208091433694207378965875865780321708763196061798290957247529728880549626513879050254566753893877571488649439741540407650299703506966691716947625921661242405452057033108774449110067471444507175981900563266624792161475144460487803454748946760327753603735139461802013153915536629036734727034896297440506487236691547983824555552838548878909848497458698436939492326607801344533189879745830076563902406601777888231034213873940448025561620267142218275747331555075919832300165604079077911157903948881766456218623986623272736294270486861300263605521268944081418834541492055542148420248708584699635726581753025822583779485289477387191028558595817508826705437019722840143796759979363111546969955185680697541442215405822091131272639912982826802586942754133525323353609221820525631317185083614136340270084338407249919699378722402682385026421002204310801043172085244711257120824781054723689974687584256381819112880789573487745548731412001589482664563175312500840096870264302341893032507383384612957654225960638783613907113608608875902724190080937598449844610641360930415889234882495627895402384592954950978527067870928683470928685776319296224539097885951981510969027001028938224874108485533094441417439662928236671950539351839956899514916461469894287978227276464015460872254315842865784537559383380297315525337733930271656541350787453500855383611438966764391209067557798325380898327645082586340202248597589372895416038812296290520054145454592061374196125780384765524910998993743951270914853659066667287277715835840323894814538642844820911467558554885438287786895455986026324267734552072489343703675838159512557700135637206244061804661464423717135619982008779040738451831991336279377701781896606431442104351264592888581981913960541270969406533166135585398260856662309504768836709639512789969703974099283293435691557472205084563318184010309161500634911255634906246919569540028849320792405043557856418384215005261971430050061204762927622442934912042512981501705182168680915006553821873125290330753648595010458377953126239837954080977813432843203075300617768578395790891657854952121257360041702642142679028658179662715562474389189121207841081504618668906711420954634070166778575826735850827892158800466225082688860712562944799298534252592148728646843919297323866498803088605470297550010809811976168300776014387008023526083872298636417319090891541633855129351813366838806818996515167049940813826973876320198105757018239496239209593650024245868752813811564054612729722627309139761157372842691314264689954141244284726681975511417739300871144589610395009963649948508631337306038287411523389782388212509926004840724673910249091301274938251608510257785985485110828015840710400536380766409553189632113476788716364749750414314575135374810764443809645702415228553918131461369199239083928166174544072852293275435579223036623506120021352764308988317045622693524157370368552396549198029603505123467267266959201883941145209228938752808842062769018290868149943774610032547760744712148214224931532264326525686302284170493869702706820854374598617715426438842173945237176620770332206698432721222178240618338588729405265508404242072072718063868372357403610587634221032660251240144250388550442310744026922069722117694169927353641451507901167183917195069753182813886035032640961268016661226015732947000168138339680652644413185894828716697634786408001270306925521540065695382821183895558571668133899087936870510010392835275726549725771019297789626420415225670071503496131584973992039718991129530231010160735505709105738859346128478767012102953594226834680054550786352924329104010733313215726492849916066861384040709494131471634703835536060298763044027930825265464209676925228058125511684126622738600415164842594284875972482551228220875829772179170994826186461137991603248949073552821163390543552068865362693468036502297514763766639174689678335944010561424336947962857858318557953304313035404535723536700387617376942491162271770984912024451488381221746392386261981966194257781327304056326587354835290701249382767863229102771937405394574246859948467012963554153449342195539096387067379206489950852577338926468214784455055891551507262801476261918300824100153848461899626316464438066428779845204137238513877531277978859682042154175153112362127055215820235557370406437904262582432929693138757025587983689216566899245048788824109267366870317753607132341858370917600927557269591437856302487243291666972383140953681929026238838415908502439232195405792722324355045575500220517431053989772716902414952412836474259458360180910224326921090187083649964723723840194850947578643851860609059900131301378734578380286582579084563831560202901514036632634106136890243510213263622525528550758827257008966195582674923931108062545026829418044179352020033359980751148836660218696113230192457917319572003353030945479585442090502079955245847394586069506952197466184010927024249920994339331910791356908877733844328303528083729554532662896023427021962924366032770751781041260376243315654677729664444138703162734795982617950493621935684913989763871906815257327111085054825644930596956151467485526124890798088501565668359315601390232530975360371065426197332571243813423655915944942319638278012101185784217947235026374548901870668998184724550557016144823313904526455088886110385525374508432139424940176459655955325045348727325114809585036475408554371990596072972725148823078570258310956942399742859470062285707257294186155388008181833752748535645203853881647737951252564131150377016702836421901756027090258653577646456797155127769546773379650051997945068471078923177085759375765301517469064286275799828905935999327094207708777591606462562200454839839657247522973619693932154330591201763846947170864576019444709603449668615338483769153619431840541270253937922733948871862379084054626048370653503784281725083400220875403150669309448295436323266196811937207570044853772080595222848072164983000226210552608571766479578628735271642793536693115212342607620972242814628461922060149048913123172424898806549337321634669993852857941889007796638198097564747390437724383848301492735476711054774903989589465088553255303323312482778219342818477336974617952842791908620116247260945419983298673854677097579331657447891940910053053193506609197862647977684543480287646549950992197082892734131192281541462051354697114658377704244572097883609137471495564538615184331544581641309873104970987523622680999471225953087640267302720063330544478650002157627368165350570545206605211114820495596268349079774073508026645611190328761514065773661671426351383592804903260044138868675168464489475835750437375320653402858251738678978229696531742180723359305135245201710081197446614998287128288300837587663120686978616875921892397862511627336132326619333356731750624409720521909170292730612178100682676111361561003531640496252916483284980357908419839516864189850940345511311451556006143816168233462883844587763589444700524365299673878145147278004619353737288912599026712254613742394449718049573825842646750065022441973589839081678027152719700696665006658503483359612789597700945411971600473393067864481206576300772180454594307789127856946216622526254421928959180382962143222017577261050759093482426749575114421787707486962251623657199246198910937475777275183694617978568589810000481954298004987853370577786113575442551956145042298478566731591139624956575213265952518752815124835944105399264269501896138166419256920091913067081097100387712264290400835535933354907288915968424876088995321501260040825999819041982659714666285622067523510155117268624268976984345212537687062638920091446179643622915649190968684490656654004405245612010381787474132858213361702952052140204199511841012110752920788114075198237219168787068430776652845155944257376329470496635909017175829159482449052931314191424738358598582965835290926395507954223748438413728040120422249838899793337649108543648523511868849766897790627281066722839108872879658684408732975010858897021653684377736157537790797941274427717646961247629039186827121064924119294463738113537216024849751730805375253194935297442073422211390215075555595776049266193608954577205208059863241258017339580465493571026249969353099737165135141676844289507192111176202935661064911277162971323685438211912818635971109646183050459720567154500805457383497586573532844072996071321134830488697950028810840856117397289512928076044718355424577190344214480567032860802688193843677216561150147058350119237058494443884157602988513663962109576770500169123788427991930459215830059752960067718016717358480299546897966493051661404142222186727259201363548722274905482983508840047736231699698280079263069904069881044426084717228384229651993752544181665409669369253477779728044067687684308538440533847016509408575283499292491663108373552460952132098482403709989999058470827304120515074206159727922859833599724499895714964492231704965803070906817394840966677206936921248095311825373181752093984466100410996703758338908816786093627100583136967136579171770983674575942934144365465804537451384285318530314173708610706973992352243359985803121746655707178872422451036523781561618142701142208020004026072503006818688536375884676818849418448161326459410175704197343208662839578153071215185209157432749388563077232475704329331652700593352733060405142776473124261210878054776224681021791217572397677762380507671918555792263166878280565903686342541130146965650728102710344100826778196134888984020000777608935516842042803997786616506276642035448123996697001433361392796111881644050565041670137037372283692217542331836870023339909778049764154470751153156052724438689963620660929282034168852181368404659595858191957233223011179172519576446238153398745586649637108574043271948705946316917644590309531608733237469884207568309122145166424077979042972209398302018578676300621842945467429835846472755454746156093420095767964412446495606004512854196498059016776422046924455691792328621987433187976862001820192458203156495423634890728166097365313140433662009267391132555573399683874416722823986676982826689776641736566549866344734607371269361189765484796529815864360992207456393716958502047799551928901970261992441970623837152635000993094145360544337089372199309445811140435096161667680599878649249248718523399816071873631372885381929393586265613162509835611265351234878752005757730158431003950937705497136793419086990814829632238742007342931278541321362676947890155268050464943618602137324529140866978155238348292608881020557271920460344980458189955260039038996319573709665278096618747175788746704561867936654811228568871854941457412161848732572556190377570234082672471394791459220054094884015005050972387511155635138256069988391303100625619898753440687398938830032930071943190751155715099662921071717988442504485244771535430135688370092214702123125322786533477267562442272181448492565167259197681605648272635040985383579958305216304039773888266210804612381065090847828914337520229640413230358663663926134608079146751769887478212574993124282806885141467630406383658882768519737225583176317171764021137942265918792354346329741137695423656469418498667679747437611596067379941267547609024447365559061500523506092010576021144914934637592042271232804442035075907195913901247782579943120112545778419651019035596980805920644653065999398334587556988267640003600921197321927354294411560894715197069800489921315159783866341504832551899316819078185093186820609466001753602357588128766767243382530607724398416566127936353050258716362630454830730321954082089743970173030802251274728410575140843537768754144941835531793717528418022808519307191494062354601008007263167265255688908811889299924567459957522070468403305552946036265569025991233092689383161554874097251188571956535492558249612534489463139829065753929414865606321879386442672155050305641556366441270544693705161633065883924753011720529236540201416541757795506558785502477364387817394921503934434460668455747523821345416863939634622765214937814610570301062044132134543934773886538692361646159851213452357494588058280617193962805347021123540560912258606446547794354386450794114442134409716944210308168414077231550672381888777955323565153859233404926162798360651902737726767603176140506849500932753949489602917385974507633022172958733908171485931764776102025996571347123637867983257196517244681021850898413407391352673412152829360699328274763333548003525428289357285602618730412458051802289314428424100290327911835180010643948582536021509370875615981905842484631021298436948240407354903888838944591792772263914438063708449702258387579820235623889169355140456238684031268248527595014562117700599713186400753910466444489675957310686701382166963293806505943680561030608935859052667271208402422638545673424107626505980225037499521878324955896960227498018952044346149145608404604550766122708376999443007573482155689985053623082805698575315523117838956481119850305058047771687206679797006032998957960542145449383388572007534225069936195204597646829413436547506297987217759119593067539359733752702064077438368569170870783990704722328508828531239571593085995392499460375818087408826734821005242978498819098739601200688010920178543422416699988120688952706201216949367548443324836783956399425512606782569167517325370085174109226098595699292213156509171757972825854447109644850904885379581659373587534404718721541821403123934843565408670124301900327684287586838874576225183888213147789617175386706693957271245269474001910875745924971621851622224564265824843587080661848594322948129455912457821493687879564972263101060850251885966641863456938499772903101379063189186792910983450214316017533229023120481432710654591749402878923053486353920120934362924052624561809850726765633376388290103303092939151368690573196994449745470191928049300432281445996028180357881966443206812140478152887814428213348479099493552752977033726645623523471498090736435367011526125128965642560628330892131762595370968002120835420073580293920611078113177299681938911394133735542564973276575661433269228791974171171033159688353483171581800698838198549927697272193007777642045410563432849748305486690407214952184305117499077917700595849884920702717260377730625497945721939348562933668667854063049989062549819453376363745448117025699946237413233680111586227406478019459520481279060049776337111836758007209390215042367639456990598961813988249790883447755432668726093803586019536753959957542313237103879020290064270692017641640963238688030115331592014875198200031868276120359858082150926478954823739195102876134115013586284537905093620611194994511345152289322983389764463931623070267475484836793308261775987922495996860626933992518171001655106766171173187276552141149926341477079988721626447889916342530264412949915263852903481565861862644023704378301045088656415919899569344856649630550740654144396767989443919264621516618313620396878734444162175202927034931976418143214050700907556226693858620892430806979791844651594277978819115015493883765181846682986322470517946504382034560897297342838849745120510788234825303592559897183616632692366306539263078490968492385787833422034772140459924609426455793259121218378180868880479994872282801201558349212732179014002017738624762788131080783385013282623351394958504158654709626273427517571340231353024605331348029994199127133929183423676885141387193806840756993698292779620645023104047945659824658259081305892271329581568871236940377713416547935671732203510782676395709296680790721506197697836071567952484881340703999221078220130048956667963325572293921819209997027160754920262403022619132854571583461711394817210848337717102701093083203916776992814699895767668376191665762184719050830516416391965178504743151984390869754463006274816296490510618606296853272211727565656057637911090254490839022792041183781343506326244570498386730267144462501173965182282911967601079785194253694620881424520987414033994803754398618482538842687138847440823193560041613418396158083321554161552748082447621718462942353216815753094255344588745883480538734289616482347683292688752794451632364432714960408090404891288491227229685800597373282147130974154015921421788773129760211179227482944930270787249786628549415146514652221696829408191574769544413281015479545995345624740929864204933857568939991079772329508830935950918978564975534359004608847739910296503287384027241402026890650298683486025801855395336459740189201582046324434572750583617536477817092906383349610961258731163013456088441931884536142307368130968464933854335344331815619672690266996525020538056097458540336386832197893121706370546283961445329174809307977307944209834260940053809017493590182880284511103237499848585528689683942249431266972948265771077010577722087960838437047347309572620139950036798385224670744909145894809340638298188269985607792831003366731914041993063580409984326736889608045036680673053310399675054512706925087581772044445159262453117675630135555623976271130438307962584713315280752766479273130922409418471530758977103148251655474027250252325357994780549917401822713032279839834307142764512737831975391438184897915189281216331434770336311741803671537026103103044183700083471293679152381896846625496111507752030281723721406034195012774956053518812913985731564318516572315525224041689907174105681020353112880802924350638080881066513614124456468930041014056714520897190399264885345468514974766128748030743397399403906497089400558651232099757886961476552413248327305522046957379509990207713284879266990306944477869248681399383877520415072232041656172653510339452606471042008702836400812075048882544388399865614621448204493772279668552139162000480275885611107653823435854449607622537291252991301231319046141882154639050410734691259374361779218831933856886603422592643536719860163627852527516398950355222967425093060444185621089042767330498430555412379037004583553938783682613306506899091244321480858197310452836075755623117404878718834765728475854961544125211887049265371176850742040639412929047552521787531088391102645405805815620339794190763686575157158586211495777368455065795091487528283608085550633217572065621024343718889742918586418213599387167347035144285372024263888444068464638794914839666941488495615270522982266267434920624554957982782933206150912464521809555080886308093128200570134499694051278082037499768069757694267568172620282175874546181217984483017856672299960775978343635753337089495271451372499066359853841190021451163853938706941036241945199935579407620093854359178613639453029115676993234431801345629761684055563159561316895751839811077740764044504846087418537597285065850131251910862886384572611663634362270143291116286148508159982672829744972188782349282506780225430968024459176578644957286744312289872633709505505296821845182354064645652109140624004188352762246097556607767288381460825572420637193314607785099056544456315991806353636273709138852625436669121270767056999856081387867558138912747032620890137747254020729142314453079073023100879078637208091264634645793313430589854414813021971909282554638208522366001288587930339301773360473906762005792913440614751026655055722205752116257667889236556211635951760425530519874416881040689352318308836172164939921128320834346322610766398751516000325676861795204265481715154034170185501621022964838542357282153315106570699216453529487608983875942560414073694459897135567997865543702634049771643764564342672683618580109000701512839580792320892564289732654078845864261197782508187121746288323492163055538202997180703751002784717035019548091252381925680023719842216491753228515181917874687612760084253889511422176131659908579817776052271594982967729768410739464309224263786306937749949620747446052206580078615157479732155090370137266151566435836737611371997777735792938187600762600219250227650763909558821812777137437516136680030133074336088251558340499193291243800941648510067953868127726677126101467407167759269822269475406396240198576308740784809519127146359979083641601022123138580269746982267051299533345731534757129789491510157739825920087126612847965624966000201733417125719498884350875452671812929088751836657656712868620963309570608596942859645275373355804710556722655121613354873783617868404625025370383116501291563482997338594689289801378211280580826389273762572668073245158184417201071672518924106939222209200208119665494416357211855733719924812629805683862328261526255478091831187921364722384757088672747995619927476285179164764263343778441020387509550958876309325584836285741305146670402313710218504820114104667463280049539347499173232444782648179458262955729794489536672246225441121865795851210445391966953513919123619540115353970806768526176411672048791073250594031015954253529083693606002709376487282962329944067156473175462564904524763277243211897323673239857402541863280125258193306768560961457780478814372912158194328155793103693151087619335401361900390214520767673568449007012378395960967599608306636606473153823846274455394324142159061977686025522820285448042086885366173084419540415344180316415987362037105600242623614535222982395646640537891841769127170271433211529809069961871146350436216607727398967770891408348468993282258179676494219633739407067201324882073070542411327581244022414463028701986437518825294478552431129487878650831095355376782317736740850522755651420730960182951893772743113907379205378994763774314219549838412241980419363041599598409672976506978937318445011970153969485600258992717611172923319694829357843362353879360550189214205271689574101182242853121514877827870363625269928770849326109130071461286032495875930664496839117447802927212673599270417130150124505409499886541663425720980665181909539719574059945536691866889137335269129759698606056192302693004308274866444200767847166951910003695670316915306718923295848876766501126274934001252467969112338497882250220177570435232956669081786931636109599271998599105307167083433489722002935020160940459879484425232889207772572127388580230596259965867389416896839599393909063498367307916165695051611069286572720858534606004938438654159482784248114482054584869218585067798310147545113798677204477120769364282183136008496663580301217944347726977937606387082005678625220614403004093826089822974380958599900012609222367829913430307101971255544601305291909362079414061639016020870815849043957264604035018265029769768756690659364844554118347101664889090945925973142774898702690851875766928541170486912858226330408598235725319337116909892190948722558201166473937959518669239038297394074722057946477490316000486253825554323975124642242591530719016631630682939333733829262711369523842884089998837295036322038796400988363540986799407491163671386319441050216180132469691641249953731236879999906635075189052506454321306294783795593193487526598889137742567631419712990180767023378748148024618336388233322833703290878050297726282582135180517512486260954446530813778960600209279673225216097847045511009229820933534717445259564144081507449271684584987382358757772341437589277475074803342580230909998208007560771928653594042395937351557631390311457566653572839680491947783864356621311789652397218506928554870737367499204129979393934426251517337326341763397668981789451868061771629406619211417111157466019581931225769696945681339922997771935211757644699861072437517962917074293619264562233567098403442047728977046109018367936870394811724314708137966553172751282846799150322873746504819130446428694040645615092275313617471375928745444517324299690916290801527846196055937387856423959964502408162789574436012747287983483790216726119243055900303875587967892979568272516690281463656129619267372774814054043892322932190731860718168076536631396761398334520641652703530692064196810832310171642487442297257570954445585009652059581259414571405951648236493858647444977714644023549821798826479408014180377030131002165295340776393498380739438146160865466928926742784159806874204798783098078335172580702068067316865119039562327951302064291949862787357080847600930676342697006131454641751131869395196449254750013275589726545473761782209580181728837833419712239848193917941819958022399282999903074189198550858345046012345629050610196059574537484662999231704836358429736089449226194157410519540238250308536040246184750771983758730676463295712050197516761404458921124337898822502402193848766673238983775243403873948130205349622586823653660213173527626947967283870428146357543599795953332079381186083427016280881681287853129230772322680783417117469112937504179580150240626222258635916316469143183347980419026095442418862259832475053966316017233114314724777050405869203454232803075333388908290666683606868373383080845770472995137869751467880976622477179538673568198331805433624956375372028524446591366036961437038354180930618762741479084235633321697491417153642913849025274262354691010994028449316625798472743984206040953324804089575037674049116920980201519283710041800321998992079771771924923797504523170775759538643023665040856000455612179151175338030267408721926878749227707210224637603441860612967942606971493154328591621606371863850554951017984484960150206452394879720704329841879396281375033999703807105070582234552063494916457748041740902414323192024230484740578462471175252965945816842908850102414440849252467595388579683963855159476717794983595207955799204579413626048123989557485345851717770195114237438760486496598311943902070182506084237932768019131039844678358237917949043389190118113095454791532135355875441876723551054878183499251439223805830897390510919137123192644144086733056865181210874049841776422070819884907160062156014635663962024900727953732601697075809718685373078162422704390467595681998381988062727549960078555284531629093292655807644929324819370013486212685504460049677447204470460649400456502374196552590343826148039318332543942481300016303602586583723814357256952430915462998779607820371542267584888474960749602225289601182485876558174465595100386434237580619550312827875503128561531036184215227085987927132286928044162194932360849539455311295679154379128338779686936380003163863435653434117897470822159107843316676451172231472269964918688011883351843889232506748359953513245425088788478439150969608220694358610752453771871384695206196324698414113220643818080412754661909550052229508046477534979456822203711378014469565997553909273516093435641922827166788267534000377504139035930686217209522283324802978896473958234377150939715116641816408495039604273257056479643965612922317976564074713624721292482705375701944713037862347715127943033772997606335128077992992435591356346858212139246850876432086983156649755115253131314470746350645636955151852185088215163480364367603162773994816978111965389546629299184938410296810422616540647546098811882171049278843097719113558891881154364777887409660243831232964665839860828686591532631964444031098652118104473051336039582716604833411071370415577281556610611352654309659108502327739995189070477946743307143657453427285809827676894948448235498729816394097333906992843590876113097822283673333506500922054805766030935944660252224110672642470990768151971619214039624866315462650503411751660810824664484523887064285485760378789141338808575948202027501399386759789763345862454973883269659416144043815590888143633917664422445206123342498527200087761043872960501631264548169212133547416215064800476792566979687730689702863302364452581988544107394083103705539364042496282829192628982304762270573208826526576633426409469394761911050156423572182688322751952426351011781623450432133838736323611357741355946238303845165738058132889985842233178915737706064750638601379959983263434096086219679121707962283808657299857653183707490657176911198909736907414514485814329342549464982851726035858994821604248973083591197349302860583181678214885283570813382698827396808576119794960425630877823051608470975356035323970659716581296521273077060008164898251291936851377870864127588504143993245672086690417875806018350400691725749253637483152431365939911593201233876740286171281140705233233685304615607739474682685872867028078196680271011533122386680440733400573094402291464322829890232482636525214596733334250284343207978967321377543684161886090222316939983629671791561865649748361963705782075426166249516232372071974710996309165002991354240372394576440772883576011671197708751029567889892089847559272723380263452010574399669063846016910095614353648953425256982636540124228469776592964772243572752170339385796515869792648022154639663808488745047085699680700517867972004005412987474558452896179222661048930076369916194517280233085478953730194020676094254040133190728978443377361831193758662042988857686267994884658057820624088672473184312214531023817026499605226720786360756868871464191984042330347516696215798317992231306330972085471795582623970351992230590334532126422548031170398703134786859095329659895202139509718879824266530009418366534971556463592883019956859841444380777702885960513704980188009384889315841237183644853887067044633628161726071621446749537758329950782300876921766075204175239495669729721946769609565855932961223854633995232089892749412015050190435064862168195369824791481568361693973827859479416987991931180499251259140545386877223702068104506733254961743974672487244630370475948925237358775706289187452407163236439715559461024637536549008317888010202053154968592696467319888483769620471520217612888591258456276152253471934227711157547109200407634653250173145774230605538835983394024397997157700110885584350744896320432225393004347636528471188561049396273206174973812482010582663553255755564791007901668371297593169181117562155186648473167052253894848581500974462209074406571147026605968714672852576216145827911190599892507243505334386573072757038205049889050277630087416637452049346972133502522329081187523385415115991514314462184157850646412474532698942660196854667773052742001207129594434386827407201563051515457820411806740511321503192026996196952843879699270889542487526494254776283808854386855215381723396077559127744310256503844661886111523890212807248684274025905051983190550241564446489795767309730216335258446757004873018113385853901450734603038703478349705373146174432225293313757009641393620050629970714558201874612751764978022392514990745878629015034928086957349611435977044868151943288235523573350479041913356530662679713801973376111537975052714325732675167019958950411357067453206551797532109458042177817789461484804641201781621805367771078253906962593487472976739610235812040312860747466702801402762028097011739211410988201078119993421930779966625008289178188065832954194544461710626467235397492743641955898980590463634132949161876960410859370356191379840497095074258759421248481519501905851171313504377766916147273218241038358517616148530385172214957864098809222033855076336047225427706190653731960329297555505843695461421285991660299954266724935254685472276523749204095611139253472407960213086803309914901250878991136937655129119507659069042400050527771446285993723380451425192809636816707764473037019092104104650029043641867031078695944407994300208889628101461182255569921201433922667784642771940431389473604849967787535459599081560589749225479193214143127939586880889908183549134457784539108369187069968924551447108427965174741982750249173164212160811046223636612442388255705733675641504506853610236148902125774482904304912641593196612287994153811871436430480859838399933014048540078165915986083291885908682895724192708117278215246843296139619800968265580075643970043406708643404380601485509372623185641725746065508506651097440220043397297958283015943332532346208925145272719722393853460640444637711072355646056867323613370097451684038271289999721846408897526924942409487447303663522959670979155862971355049716795220176601584048004053175144659551009261849296484070008362551381188821658259913058765332146018231887542039950104626684027646987531127614169134772763405398086596783110638109860281822703463348264401846065578969927135618992920796777119499012163459972683472804539193998987564247161577276790793444518260647551477714283995952683133217911490509177412876232797191457575914723356529253521160628420426767516549834306666704316115754848970790623637792960523992626696702937577412776427078230784094478003572079229744050949756737219125192814216977928476304860042402372121365127980176308016247187012463084258567245685013641682283959959677773175029315858400593281117732038560083663845985410100027684939219087370381707367120078409844459664283784254926935832844289164359429765651206916875409411093150603814224551280638963339179499999394747150066428201223522523532283596137220810417818639213860667399881162628957448940600967354679432347309067749957057936877132577202347175455136631659204221000258219349570232992819681307322231833575670334666996763397953728707023988825994450420463452961541397300568045830846127159574233471887790576386687442628415247126885005546974216599246646550855774210212989502529835221844102034541381224874713437708357102690960211579590654182078308006933612893150722475160944653710515847655752726601066799234722659719404499769885738490361606461181367490121254418175171223547267544800912004661145989689128401636682896387828327015051259378517893065094474163789854553596184584214227398268104091233151614388097718207028095530679577728995361785156577855517416966645709463243763513808797087841714327831411855489420760124900411157673336828253839109240687683365001734085656439654940655820762904004636227475334399894043432837632919927302400143100340358650667208110506778908839994215567102902898703861156782979466207823270688332169444732354184428588990133840268066364059622214893995573438701358701846818849033623313865691673131713685778088378352156729228435620639192859524863913426757283177109939374336442419545697015917572478916292241619327026673091933392818759364034603969966634982020778549642301951060670249746641670950640565035826141753193838154023592912757982332820357008932327396488814687700801890386784117260699020675803629998124577220498965692665804685946941504777490106978215042041462888628581587351859090506622662610172273515450871555471911791947138987824134953945237622198238376956713278441601812577753047921720975169107681080329833780306208907860213965265381384561402322273977810560827778332260853472589643132547152651921063824855325431691403655092572955013175712657697664241448715711485222792388479024606846180885012435696484205602451472744330104054546995133492926798105375102467884209218830477588738896695486388110566379139947088556091506584184873006365247781832005892284396828759282907987799931019214543307698990019260870025811024893174643997951786584076224527058369767463167358551944864628024375184793032710965117107819524527076196925872615907175623756906980376788795887765203623027918023802142438779926903414669107077756817150900215623129597535168481496689102066550365315083537208721833701341626830390723138789339766915077799262491875062822436862791870918535701801969497468617747713057889106411783716723249706274077704917390136966277542844803751641873808868843443082801772768987815250136604814317503490511914368501721347634538962174550840454493492362863016018174360309706247249752760452057631774651342655018867015930501109032758351987003891904292756562030711845737883598122265120299412556421439215375948757805732737484710500353328965818385169049921275131561450741246562998398182360834461508893012915099907444935263706645138144596479272388163384662324901843101795117788796296875391824551681733670541395270880374134367465710238766598152698907736809379582670075230192024035881612932379555957679640562001718414051781493543181643506254926562372478453057337283147640125694578252486186010692785531130645409147832710318860507463798459393352231182967963550492652508714982832556803378642008805248550439522704499621973117159578921550267329212803900392314731102667342843220688816917193498024416808305680249520018797043396724548200337335727579551764872704581138566660930066340327812796347644722767252971902259614309129255865898351003397929244453601970812676928146840362892103476017535679624726091551382052984585854169994932640441824777095174805459212221279268275357856380966303297504123739372508206298998668131621213455203331164577346748650058229380277762443813889866297342456218391413080080394765508800912800097720549996570350758373566944150036602312754243416851725275924244677662018734300148544414232170696545904686370214175401643452348400751872700066092694144058412719708083265591840198325591169556682995983113300357514334835654071317387322231703669783449253769402791898262839860529821679981222885482426411536386370681848324924605295624676064888498461442189682665868064210958511182787188019069014174680096940282956906397156170994321874660104583295514081432297349044615271996011649305075233014952385872304000626105043286620361544446775656895799047696606369178021327403664379663247658740899116500787241886219631202583565926097341238105141583774279481870201958496811320929558002330639912010236971575527653292522164819391566297048596471775763857834512652956654346596582954660900113242658217637776987246975029261534521726114537657518088741798335668111368404324489842814128033783303996203067347923890601975740033498386266523051614473871287665468168350587328094750851634687457679296342399002079606591671958644818276999841719213812209978997018583937004226124535290005797177771361364994522821430283828713074286238516581636354668101287633791116555504950384588518939376415228765050434198199357010849758487222200901585302499198591659916713519173488961886712543816556314228155057832273609576492748047562189008107525733506660445835862594326802078108531806611808498500859442077020563829686296797016768024591803739739095707901324682389683737409999722029378313253476515905624774567760414489636414231393296571611253012110969228047343093939574015236967554828793625025611384949825730426733019451611836861331810239495420113543996437730078748141513245706610175607116176363328648944041746150756560685861922019074202098189212720765090331564388703240475048174947404538507687695504982363072270334811037309265655502878126646549960548587731421124105741269713971895604670980096250206841758132639343668927303334650928983560909418512223573621033105894902434137231589631151328778977928799208646083021791142274387413309113029594403427458598213298927908446796675198511847295509115032945223725595662711869148477839446618241941909901209185661187545008060522510708015475606719083388882419933347452728267594146956430118239668884587066648812777847056125848911564059605123994572641275257823086910960970808086465690759798863455274478090936923426883243416886508082841052637827641255869834209134846405056245956159053660480088354281277062095933426377290638282934147102044970858184997044951221945172561027521563370709832721824557558822798159369656482426481627035059154211706612565019838615219737905124416035103102825468506507484172870902692880215024131352207285470776850780430236046633897476665813833670190121908264984048829540692407477054297088091437450453266108538497652906350778582497678946837347195242737387210531964184703152511119902371938140475840257523797372038496126463996420846669177245694739228340750243157710998817898609151076265208758561845772764566569072156769244075039063551694834199430453686327194516121683345188037553837820199402116208800665720943751003289650996790581545446185519456780905646239247585235027333104883308963875312623749091499165590789147855482311831174193339869134196213796494173364049483926576235227946911011396596573135320372397150302617283633946599401842901955612986880337549019042560991157836637785180988961443328869048769829780308959263022221180689882074260866982302884575166733725647250585525091333730313054043287983101380935751877027073816572266436940936866753761189587808009064706425192404028346487516636434656767708361729004900379256727608180100868359899964327147310817199420463409953690669778785870638761967444169582525806003819490046122549664741289282916326247187454829145731972431474480375557968657523071509011574414923967648410955588991411677060238975183920851592693384663941123321761567502196201732509468697525752508534711592216354323949682018775882386084500493033799968750913190784476494594899267715671121917785860871702986213903093530083156023584130503053506896173643594535205077696501869902390688574214027205749375113567852705520175635462274093795408063876872477404556973993568874068458491274360451122401194871556501079077162293809309948642431798416624485356275312608397323807938747636095280976599780829261134868307518165640707998344043166057734243019845659947204890444003459340437875842471865203255764316357590002082472998999805523621666974895383027304674182342607447085688674514580173417830773817259135115040498082010847774653760770969177021557836739763724819079683841552919492671036506213076183679679719221819234215779278517490358674320045385905853357751356251718284301857797645116746328507241498291360878182016590510364459380708730308322619725132145877751149005581665737752113719940565378861769124301521403513036317789022723041786937332434985691602445405720302997508044177789885222793874289118465995749015968934234398821190356368978199229324099590612081664372546100583230265892828247383347745793586717752798815700265103959341693978866915943572283400593759468765330973308174340875413870535197718863695080066099606562946118434707719589742490167502425157662138566805069119780706647456668609929739488419721591211174964331242877986792227231439899793025939384715569968631655105622349767094053710645082118235496310872679770993847335801575429631703519860081606748959556052518136602311389553176555464127486568580147058751218621811183872699492771170629611627624076992771939644519819569490751442278902959359053521537069054650970483439432152337720200396148570581208738628738223777081337922579068044715511057011283638054714709921563521934185945889846001574491365438994211309850440911087476834309229357931327576386368435390932164235739545273609356217054096820109443325979885604214743859597354323591723310394806308310275979329941640499993128763897357153940671756503581552054195359289209104662083855969807447232261149837635152610627234515070577912835759612809629322405924166043981504806874254232470098209686141568439466880421092508979482588338408480968223069251083523302437122283896781997498725854898884289576186762795294235547450845701608608406530116761521780569359898260256424682330768011542602851157493804532144448703565087110189199231006112964898930957778640214067186140953435021589471527478673023659744604845100000345667912434263456013048084205491562394034352848868062521885701570992893031511474484654690155438878620498947534066815790609287874733321460304664015249195811907438204403072178792001164004413598228751286561452238801445541495260247263725332303130297545984381813637150400093737263662666275484374547790576374394809396811112091243691274336718415610435710190890244736281808567535896869405252239963946690045920161873500916927361293283708718753757483216560979829784477274109901729604497423719706459971186194671355340997481204168440006444641905124127516176224821804818958585728670044485021863417776504442673211725162343747225021363442180451503877009949735158066138772223331432416127075469944470338386398758254081964129694299883656456408772411540396009858769729648281915598864419568658691570431854045712991359341357461614149442200227459992007465347887613790375320574871321848126834084346352318218886478347851411485821994321248572876056761813870921490447440015121896668048925499501687106777902054270611361191657379201865805639766431610675398057394272177985454532980284396434216479697795192916952221871787299866258119432933535527497743767719277988151353698623820606316397469353414739267136123074149867863796363693499632498095047195011186346215420493944941879681746722417290209619820291467477011693067921611702493577367846224636900019662385215468808021072762161561229785971965154039557426745628345667202777116065835137641734404568794321921573783461842201417351568946631803709103037174518331466513173650992139379319179325684101476628933760471908917645133008871423364371922438636208204724385170378187326017852250700632349896518667249804037762621074969107717262104657773844773042975486013828727611195601742788342471434651330633399027300724495911608094540685588993633134716863426237176273338638694517343380020888865456631687564668471213414291369634257890095841205957299783318892476299659140716885102726792579163372678360947161248917263178779747632994633258942564344025364991744904441124835494161227081492902431301471486145454028250309989720945976160909177050634679560814549603110709398531072751251435164386940834999318341457234600738840883145526577258527045711052656112894319098872593588338588446128417962725382724664461542599831440901400347919687780371146258751954557160917850093629507748840002232721114083171474104855832489906406822452189556011187615923526007617090808632101065939860232795419375532562991180893632462199906597799622234392988811935426944649489962959322941088853223356879417067334451669462970780275563329756997588121222311534448439036773182345836339211814037996308220526332250701281469199142033792484507018187998607053469128642804561677464368582460899731641206867094603390897568823337564800657657777854526219927763697506031026546305562078855364521487830416823762458660577469579380215917156332729911411866070635800737070324794933681878600457178163158919776861311746651495803560801590355001217449975574580189259650684837858744544979595506009945545545294628306365771160104850310409660850682339324697886618284054022046997389104138878356943790122405204113649879298136590109903390739960984991539214886202200797209896911964067682449257081854016534249590052653934294574431715920375665023483161885877916871979500816151845333552907373729134356956049053093411370781303674441666570198300378207016363505393545744446325861254923808571551646992416315208983610968171694608627637794789210290061664566390892921130476298503672251421403021008152695920694408891618089341342699658122695515433011606371557087521921698736896967513929666396462243609225584764200042932706060999474094865084159559121004235341884853698764675323274942981447606053584429068345873455114430111464964531606935552049884876526305604171368668033637902099001186184057616350349034394050028820759221167994887725710601659511756364057677739264178744612499262468703504281411516770132733187631447905091476866960872665707821029350194995651226209627397080836833015005476189866160527883638571007032383903459666977549049856630609850691708152485101533964407386606665123909390301117816008054550210959578232795816208669158286056281122935785067314424568351281400570270336150546652925496357994144222307383250762846361866309937969038811701149563178708166042449574645904466970923024744268914772937190881695603750546455476475215216856068290298030913046661619687925847099663749018204438113441180851284414217050926798720235908829725733820376418135435871682155931062914844637714420847056260673511128620523188336089068933084302283517631789984416581594628873937892831869838941694917646051821539795815199882121890833246762355403742500125272147255441938812056835852927578966793058714605109198056460463364091058249796684305901416464011114901547691702205906000991768625110421123505047224319438348915908595017761669161755955370154220605767315021063187901670156556008530039403661615420919992471052967794595541628144854956687550292017711180708795890651432856222460465473585505567134539379805383739135158003963356628895335913310578077516714004976671388028781116319074886716002842111399221948593473796600626237454068955143100850257134484424984641139222030766505614398639024238814666582414713901031244135907511937971110796267082215505020893912823547233471920867556440090144317850053263389340310569176931721464122176465764693916721700808231736063084397941131491474589020623684363724032427016011276445015256314808795740212873815101888171197325650942514563998322313481687272515754805334143696565066713428589185925298121200251349913783792963009144725810076004766398882887435684552910278861338717379333267739173614564210242455287060261705193960045592420870659894863123921894025341647071618085422156970452497883106077688433345050179035387989877798104069869811877542311434623279375727030758867136727490258599110083942857323833555916240947656310994481162786089401509314272462073105103865647925488351777552845480962071023301192130367683775623348917959628852336622931342824655252493137377321447863395243108051228068358250145333201699090516386807224994192157880228494087454929972302622514891649054162182441480533924778881180057058160893815579386071743385273194786026120599195012315654329831111138218013422438635177122438491608853889054601720616270257555870304868198805855265098173924128127563142580564683645794176833097564845973695704829957121059341332415324262625569862466055638320977156220294860529114475779454004153878781276223075981814285873347382177463354721411389267410395207209963052736818900562370215464737981200773941059756965559375379611913099137522200229934646577176981090780067031147745815827122583107453561127939405512369710810826946715918242904612073466685063738040548829872024322007144104229447896702142420462294971341183874007083106882562878537728252775655263637500250311742616501263480754060165717545422334960497881006086244965918376939109793419380760976499426700368536722932767081648749862927561658126035684148386167878381566854736352593899432828100697288514470583233175065035486007818884402033164077708628755086162270367981728648300965991336903045007125881124952453565201330335626506864833419830482400205656901119005671582892197783918025648210950555455901126812463340946121002567080096534759408202168542708145016789342456437216283801115142256633442168643919527266102554420418018201639538694849792253073387648292980126287484227954332661303349664246768960371972437031911096856898109662587338965033546271464979574725141643935896376929003953307027966266510934168115799960360911255755087494520059477680719488388430676760527572620407349594976886495342844180753644520596873800845504165937586055951130545092663558256798912935066928304102440513803652293305749034917410332440778153518811735756580073785684339140589553864347385151654200010171715503493040449645135240539788499380428147159890858036660646923730457528159452079131641367938710947674615460187805779680863975163027260798658367719764999801873988198373682502316010599470677814005268442185443735772573585745782845062042855302386498711186746968654142375354338672833488848437194580122257635674126822930649466942016870204647540611925950596227978510151491545137089172980099897160764995565320127598859590458987962374666881295038604460599349805178885906837298462720550413313047443466981233174004296483823451800492895999957477513162833567650036254856515966243580730747864648671665744733736952405269829180866069205793172876242676662417114660211131439819318869389096587949586284889478160253413898578334172579178422193167986748973453076312936119652752791693913919653816121263189864890730225201005970026769311731633651981521924190924042907744799722250055269587965049772754045733503606149899894937846354322379694068454498510728592447886312981537950761020086364558585153570310629571328372785908263807821743970456736554942837423238006103089651578783764189475412868248891978033321395760164318079331339485626559580051728404794288358435100198661433933564714098050075411313778260570553707682920157902419737468522902093458727490135427091877084380408612536988216275399402440342313909964995213595058921066876356041034322970905436353519704125116828854480170187005370235892992830288318250540920958885823664027623127422773940294470983808088486947705648983024544409154884832750353250217950676115321194207771437147093633667302742255642207596383813649323682777542178656346689706927811602406445157894335565454333488896032388674182691063982273956601438115939002616415277721060349763387285785642108295084742750223420143784748739339702287316800438987067209487411751602011221039394188420202790370714092561195171768110743924729146184926494970600638662421156423276083659169143743350762649696765009871050793184570586050194970900748298744599936817827981353713306471090039953488341512038072668832745140203876904713743911364827271141102122823328031264261977879885955739501223451346778199948787887435186936201193312828673657773099854199039876567116043788317938209398978634974393748806393311090156131119442687452072789247017158815829668259113388228702150458756816697964534233315067511285781121742832626051258387968123760628130476922235159967072785166607225464673616676529807848448334514809947484428438453799596428928873519058006315945482872713050983756034325072410000847667280111399904314738375048508007277008122217894336075991791712201342247363380166086390399212650245610019328954766123742166567543487158586035796323566827688535403335465887227148685766653831091303570759001196716024156142518170424944135399927204185371432235284699416579265700572193432227205715007454010110003899713525998063606554492326196518869402575523968491770419419637436497338190265988789323595589259787987957683027797340792329500470185929691515119914518485570372321982381700091554714425176196648732596539053358683740925702318531633307974781019204902030111761358155484585242752754095409991513848821218710358182789435008487036156830930635006447414492039315294525886232760191304811951427749944424370920192934011043257980567289549290082983883570638238362187208208968254008774809121811229971454653759011504037494693002049456348790447280250923289676778344656415357458268978784669403813806590868311704831155525937786033514716536730852299564408243808302189823897170606711537468037728457113392754414256582394423038516466855280588086052505356964005793325279538258781235706925109218638109380590584065314826621753558545013856932267372594448207136011459919048921183308609636524869327098727585697388836814501090345388809661051661191000669591108473317268640645982376844231923585947692836215289230942090914943249912045134719758054452682375289787769487318478059706626190468970812591164073135578268275182276729868185497847580370010247289832373974698919698127157992552039642625837575441889129824814499400604951213345402848881493629880154800043969578931923787554320376747684052949994616486116475548449527188876635947783843979549071473413492699948232812962800229078231339540569082231966814615413125188066487917021455864808397626122677847176987538218412764238619808017248774956593806691282828999190308692058680763241587257775089846947947261020424322012341686474149767405257322716731084262871075892112781798830904955509882220519603013425921412301771642785884038918367957225311653636615836980521906925919192098028144941887718685225178265853693244980221271605419554623022774138628949217839941589579732854288822183637668365363366229712449816620222357160709965009009183491382560658354380073131055387489244508343454119074723920227101441997828600905598884078178736484100715702630791536989718313240675906468265272361349782145473821471706957234607789156785684445732383651662396247115202683762782992811132845160711402388788452327181035480598420185260122738809617117586013730254340332080355080788878427792126716188790235891202062710694249592154937817638292096370732574528627582716775385495342913011151267884429573888356373112482816724653846382600103435503094422927746833617544906580894138788003485899534582025020481024281074478902292468900237397456540122527843583425052008676051045378337590294187318666108983723901713904110533081756562532624628535041380899901218428818655523050612770479872229706344223870773072773362509623775988791021769335174580281219902434753402259443653972499648613187619789370514710387936828995413920744904166333699912015268825452207018668578865489389761233719041529829594724830777740621765416848913378466151952329380758454573571962574711356738152514386288059393385690019629193703179708860655689077869017598316087274393272445510460760403132536984939920199606378522675908892477316420851447946010373829306784925002062965846084666869328980179835142449996995156436247426291756368084199884572894291991720016117487882646161520615249618255753904714212489456805959477565694026667739062162285047776902760099472792895482587991283689037886298994249148712399387367932894170891854366817256415947349740305138080150445839028069112209237513409898159516040180172257193778002177613974377593908773732781453667432869720171668132621884368740135343899659437714291221486224384524726650971722423499221640168529862801360053131727623985780227819241401647587762529527080277263656057046517401524057072295080547734255284777225902163164683137530134723639690168334966105698296983980298387834834646428135058124335654434936484279111228717319217308934810259490783415626471599228725904242326176236813872960200919708578350656752969527392954699482577698610309052406402126873582417111711746078580513614589406887464558154726678315351043756454582198079573120756730066983043290798206586954073312268536610970846305342917225788166258000594749307859456752819587672363957123072340129468214359204820096901814791841274738677349139660635304529417145000015319041044008564608448285051790586759566875298991427241629876135046626987809666927349138853787887624187460839956565311691721532624935866870508037224498289003125043397827974886871743874448941387685414192950858135629022115916286724152498300221662088856234747175104248808515764235821647621605554998452216152160936221083857601033661991545258667438949171806676522548785275001820145109523751252483121563438935765398655481725868554369348613679374262617306903018476338778031258632093185002807489153644138097523209046740083391567720176305853683777453187391148932595054434281274764406475860922816906633668886773236830590700037554171035535800157603980384192682699306547335660748285623936488026735449824836018613297420765457007347340871551492836923468494863447085042547549643869466025200106914828732705436521084851076983868686299316062546430409056884878631120001666485700411345530333336521886777903907336990857584978114251081638277278824790627192013378774729752121667344767581693913813582952498392614135983268184771787722025666381216027211384695231103492600652864807554104254690274827704380498203277240650687314458509581101262132411115263136235562785831278965338596533701023397753104676389498905821393942715640769916819655267952210281031170860338704133723603307376496824295720715919740229247981118943733915040602586228491666102371811424477610847485982841744214810803891927793785541106618287417086313672686935775581834938402137504391998808558495950381676634541775635234431555041241474622124614937754289836752401050669675770440597944529694821744146256264822206362491452011835161880726278993408479847073734960087689473773993393626104249135600637750450981596333886300265975790547077472862932520781918338591908135746106254427851262833714879423963199878928541535987279344493049225778698176654914281256985888663625861639700385159326998839104730081310082682153389766246821140956783514562844648999219426685584218621250781278359350024425987272004909428857906216171771938854557344226309239775164883392905715783636310040695064473690848746589330691936516732361653659981683781776971051553203343213143391343496207408886330624725925241822064286675517615748889718071422957328822911002145893143006076174219093764222332694939218624069793719051542949927960260776213769410367025632620333576216846075706257546075687328046442766449559033878538171605052428303663906131646442317507799935880709198279201426916424097594811646307771835065550106289515259060801047542621814013492948027170942415220381687864081177921702345291868073396067432985302632779590675670591811730642371714499392184027166093759545052353551512126721689170083264959819233263933779462984117052043187878288625584693955738976834434706086304933640571084438972309776726655337302240557754654012706200487510244184010641861780284440851028415422328461508944037178768669614649008135274082977609994294407707208413737103366520007604512735876544654803608163400174651849514451250717390082079287182592116400377586874389940800791772703174270429609308215422837405026314814198428413119608942632564343261056801119668173240958186022057315281311722906161558163965190629945609924420441203582842323277260447013622747106424604486780222752761838866682378328884473449886205207549850838054645516948481753913574016738182639935332738503134717718703864711399816956356620166548555046807437468242513480892775175172195740419292896776213181359359058210119931367942206066406148864258474778735031387374972259287545910914954029010808816686881842147547859729156317491504027242506840853176834879367806660835099094031366780957327297455577534957392812858680026598350790052612948102492365975967869676827295716560291133215143411068082928335249508735476369869770652094436992450344480609799351343925219588089027379192016820655458875892727408684726982450854880356449022087539376195696626076017679397754026002686004055915828486328302280717171310045456155223734047035674327765409904071908490248139181530604603818094995107102248686258181797280397080158913409830744266004388312838940041469027708779878985033561057244762170561929848359385159539340837456894545521800805390848952763188375224811807288341603886938393447830189153325551215788752724331820911638876623673432698672134418052067988988174891047251552799202923811970527866083896334128754600733268953706992238963945790521383216912005748556081473408573322284090774491912338251245085886274981735522222458285478521623513145150873627938523714841312336687789007492932380578039017222796519426044704210521543111643156737310898432140063376996302553509136590359378490285346301115819
Permalink
Is factor of

Primality

This is a probable prime: it passes probabilistic tests but is not yet proven.

Prove by special form

A Pocklington (N-1) or Morrison (N+1) test proves this prime once enough of N-1 or N+1 is factored (⅓ suffices, via Brillhart-Lehmer-Selfridge). The two numbers are tracked below and factored over time; each bar shows how close its proof is.

Checking N-1 / N+1 factorization…

Or prove it with a certificate

Build an ECPP certificate (for example with Primo) and upload it - it is stored and verified locally, then the number is promoted to proven prime.

Primo input filedownload .in

Upload a certificate

The certificate is stored and verified locally; once validated the number is promoted to proven prime.

From the command linefdb · curl
fdb
fdb number id:1100000008436492533 --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":1100000008436492533},"decimal":true,"detail":2}}'