$ time ./miller_rabin_mersenne "1*2^5-1" 5
31 is prime.
./miller_rabin_mersenne "1*2^5-1" 5 0,00s user 0,01s system 61% cpu 0,016 total
### approx. 5000 decimals
$ time ./miller_rabin_mersenne "1*2^16653-1" 20
1128542170962740997244612494861093985251956174565145004968280115059151820269610192334678469462461776855345645839366803357257906792260565457405237493177937936872050299491269066795323012310418951358373997854581654301704402418341650580675075871004637954785474931729474463893131451006538138045386811376012194295794315956222944784488647796884185091389800641808099805338255439035774699079870979698111332937510077839854571274325338391559167794983110628596726816324425953824542552694121421926497649395827431026512655159123866856276404348629952285358581875988340062903592909557663828128709871405324286307328617921606119599471359130011577173244623700964055364644250459011363965262899546048901086688111956950129341066042369707835856140151057559352676641690384885500642550628872934287267397323611759488041374273862229870176042635997929354186315936256901228708702296288110042839394390014819618458154901616326784307366852629901023819052975828377288687581145023654452941989891466160737358115177935732286703176085414859731333770604912282963174990093622981174981381956987116431629049294820753759078472988465133153313256721977960553912791329306125158367524998968765804547602721645378839158070633872779868859020732973123767553591494656896755866969011472830310106154310281412981895287807526187837191414670241424448593959588964048278953512264889683371706157724365898864064194189129702709356057568721120832884258337833903163013483037464325700316200467432890168803600431745202371640459252290949592374614414069282711946950637063124838413573920789712196293663129722370217601169337449181250900198748554232111851989469879598547882526409213752167577551565729336191385508827261814661533102987600777131965872469185426985327842717349310212158787224348450484155396106988838675424386691991722425206932564533895898404243133128826506859326675253900174187474089772174529064781271344348458921047422884730800804774112641738478732547620339336018630416085347291777237892200079267624237679216116654400117233743108435503774610430524126016898787038288597356895527320117793411560445672096210297275535854119165334948992100214134979945364757841091490097031484924048144154803103044472107059109257925729634638907357250676407606918622522591986255626225763011916981610167266612934500286367886981480780642756087781325551095439124261816946169419202497581504739593790506717567977409228294322154815059436320465668546046395418604588977527479389751337385964199700806554961189051138323198853384401604234263964242090437347701010836713206464964457279783266104827105369649906099965328474720271800328818092365243583414575919111722025672271365887748410570883724074868114486517169293521832396161484468009670951184112395071999437475599084333489515094154032903247906595182769553907219101909081645722002007461712075442368221660020793156688456740416711934548284719866206745032864207837411336763576611129574867450991298691215662955791598873880306353405519806124430756101159397661211693156831691529620625141147241866016477850601187363066909366294323176929736914946125612578762601447908569045620424819221182587930529058971187091494163946081600418269885816576446115025424279266482438939641950709400189297841857798137565914010449340549527172116560187502186191563698453188089253995251222076822748782244975714927276539598976882543335228656138977403832643922128995218115281823144735942846494784763969953759665282642113831579846582942783163366511090997365800487800215990655099782100091468283274166331839187830703769399118989606893215259729839391769844517321907750178555446397866479918364151950404221775602805155952069346689339108242996418529856902222915756411025560095234783881746734635573404833907646874998010550772360204396033909920423821740280737457500103983442913991703789234507378502999124768336483643077026435670712908154692887744535721970904743678836255794908904070288532746427735003436722814295019763298130535853020425667549448175663776095222457426832961044389816622296663141869310987608500482780123603461083638420169156909937690498207392440257036991742160736383443063471745731810266471978243216516314737586664074127067384326775473230280582899562630118862103667834348967516067444802277761387253348262237518990011094206404660390033066282073842687351330898890723436463553491336499311554548630751426387662670123679995657758630060407979158273300309883822961810824280189080340930439325236991292247530775546124507260723270224422750593354096674619368769757265735306043401030967445662250512358755431257717836097285071298759218591009686782152656684136272550272913252511100455782364546000492160718630933795965141048429266084026001258882160981572676864223257659469023160024938066640466555548313320804310354708832888213091528617106612483094052258353295299987872927619692207639067628241116691980246416769436280186370001092264624092749139286660926343494256115594632025633360784165212503423319223821211824568586340805290106365089874819898147670222466595523281075213592267279249801454532036429829780289538497194151148286368967498050559922149075002941591566991762754643669767871793182739054295252991 is composite.
./miller_rabin_mersenne "1*2^16653-1" 20 2,34s user 0,01s system 99% cpu 2,357 total
### approx 10000 decimals
$ time ./miller_rabin_mersenne "1*2^33219-1" 5
8230495120758874876452136124500224653387327006216650615858436850589894596575711413471284205548642379710234009729110360601153520452957716975520713179168120898024430843397759572303524307026528652325709585394091928212200919479515035713470800977249603296594450678941401396592846949997501486710856735443853313924994627647243260533828916168826317087317694249065063558349289926202604000607077999001556133460751249142400234536816320784071412171848026685697677380831260270734075139339028949094926308579669491681255134841700065310370271365660567790821480403373679937270878810669482444879631718291600692028504965164491766995999356861047542897630416695407181029063768845474069804279794768356442923721522224735900283170631841055323686915316464674694106503433909688368790060979504411825012725253180849046835541314136507721573608172019163376763462876960930896032999816861251422984566785997535542173948295447930407531603610553677536547620483983535860627711986129411318651568350093398186851888608707084880553071754205062168451266367201139611322637755749539674450608786152498847464548791337970962071055535038993928407949152182646079017659135546155341662952610521419731875994737954149939730172267053226637473400780033744456841244481433171982496417914724623045182965361494762418460689717333563076127871031066056767875771170394104529950056461156682814737017663791974901057281822345660669524558011130725926931770776135589219062322191267828722011511672566376419255479547890899676013552193484632279215790600428576653267639837038331744527500871941441620949722154044120775996388149077867973819297831280395662552123999779864088527969212754775117716295642306140312342552579119701829244298478213979810866854374326539314601180119634983154618777162150289746447717762556606361808168281552528520763302345538582963690937248408527971087081418174229085200608494976752520945537972654207957678962252334409977035561282376036411164677582715759423186892887290161265639244173967137096504718805518197883461562531177701917982885379401243679217099287538387486961322105102487210127306704033431483708101859762319654142357249790777465482847374736716184345586223588011095563771760229387733591512567901660242164302930000010524523322878833489606684190406243307616311048019680395131342809455134220620113730076171339901300914553994279354527079311203784863205570984180894054411612859366103447901741965542243368956750125405237577613638821821309113072996279084427172656942624525364153159337929852001966978037933961146511887411951210478380050183011823685957633427110836349324741903539941829034165737014765501681328576700097711639257364870819551475498372689891918134777806889658205305205330539375271741377122579412883620585813249637474213146920413467432227487432108405675250792088790461631083259490566382212658703673862651043918742444684788838624867671542387876414617108056404595702670865538308590238022416024492588635365216073290221808759917188687839320580197564730896575633718127797060528662187518288395946815715998715408184717884947282112600223431070951181169044332567962018191075247896787429373865252632725008389953941571536361413832963458200940640818230004135907822641865386662744463658612125816036782390750589300413492470764007288107880944970968738139917595072637747074812769198899699043678685665382560507115641443593288621122196333965095311709219938861372086210110253574378140794064802596561313263347289938761232577844385714025848150266001958927434129185374767830628695322510086459346395184332923054179383515233699459372971684728702499264807364195042803532583267299272174909215698228163482010893715118899215008634379493705754094552361096065023361673782152371392373686255511193167280671976478782481748834175986574048978101782408338293639227971050755270282314181616854672271191451381290770628452184496683844890953296417619317101292072665124568444010092123990530393338726007778977851396158998670996702443483399617527337524934968439701976605799332699466783190205742826812559612080728421064379320794286046521526827983626875736623504794124810542789595685069096395755955057235293461137224574211257398602089401096832178345694295705135036633518811486863733570910394332449133205190765906237163493397104995368960071978276980570114225968812347673985921640617347860607787736364306111944360564028735020517987403258532864848152088212163556013971038517166660527266143934402785657654434967586039818067601849916285948832211968552297717507723382851824473122570479871373993910767563188678888848170931086967031519435657052611975481799348324660801502963280846259225810315534062850052674308241163061277048371159272216225699012759927520421052672468496857679588516415359746902083104921297603817798206644686233111500663144649806707725147424832083758861826313155287585961691733297085318932883230598248868602256099678762067783538669924571665121498757368552993575269971858197302011335250529328049939742726670088367726805242141628345559402902272699815610660617941052819018985341692301813878533847834315269649212602184381405013733067838251997140835209427915736680960742914494317676118379112388537394259560489022692361485546247231312897742127375301737012019257742129854752093983041424168623200865309291771945443426829522154636474310662810535226158121556615507299741087994480102766209340420005170178642809138396723483444140288510628593901958393309210038678170868515784517593002997898965029997528546773558019394724846235929790953560036894140054102910375277176092884300037853086663216895928218578537954799691136956718480291150446333778248301361468769464398216738514591909563079369013784755494248835695122782230429948743429871338451463151240715723667955115962400155259193736389274199084354648380922121124468710007811771337307575835416876009333122272903632127031188791812718303114632746301577520227894980590081014553906431717177406648251654389864323112015306291378400682880375314148299927027948389644217737579610563366469634782995215538490767637471656259301837492942642119111551256050403005526916294284458118075689900725233841923703171488844712457149945813002655879632359894276656952568213221618451692568682162056796873833219187906581895747961052027985766768296257329005389253188620899583485789532862733219157972186460398346387428299290492982314249469628828898201697607327010920277632450344677593326765403063639743530414208288516961239417455746281740601730715211087503610740664937623486591327109731251699127448388334439156509195044820987404666123039880387433160510275603885908595853580015689764685584146314300172157621770245550235285219898755878487489705264534306162134290881643526084809898506319467213986848159680352763942361608796781547183925881367368236262269902708388232986451316442724770785285713670547159048507885784913853047038992247684248222301446468055258157774499179022388261626066416460896333717626007876001493230359788476631467712769971921953114815913387870485869416761935015263224547270249814723813460791262890891416075459123960366525751533797637995022549382805816348006988054427486061342297808396222610389754193575254844119115573091891667356667385200426385753760604592508956841784634116214420213021314334358956903589015762327942105409693351857435809135028679675436896635087325779250326058069804737006286767235981065109801558109102768856494795805260860443234723093124078612764414197710707505659007782159787951214980004993347121801278804329003482761732728534124048602695177966955455742321149983047383681391386675365164704025634718024521712245573301417730278234837102141601658625406993239080448758577990844047713100883065888344875118966796505485699805814600059905229105504774518812298992565789377001343265218521621370038094566824740646685554393939487479928193215777077774061367881150692025263280601952853736192226882242197373120610288146137628067449525096611825107611593233432350900501986398096488074387201217391787693332439587460288822407847446124603594416710218144551079321823613275157028390373313292905392837739844333896730293849949436949035771038080706608503850110960702285257222158786037630596370070817979300940971630137639499150674009055559280548752915349184761244126687990916058913048409659218425563672868130399683386281435541617661243774364655047492282234605191147567600755011031654265734242327175802541458921402748034211975652880326590137875939278980262903937483702369308376300524262425503573126777802176664017718980520865069238297509087629477950724822655069758850155189273667776209228822637896127176959601983218472138792587373903949758958404263650496411477142962899250232482607122147830133422141140529896233783480030083628233877989418466018014734247976878372184871889949668206941081461939963039543197659886702516313529620821453227913818537983529910319959689326829858633413604739032818627636804093729863901865331629214468544682273452301736677956868402774820466836156866419227644987617153358328132157830456476320025483918314282836702769959599993586285295826354100384271170010827837978238783586229507563498308392476896114022993212742799465525386974990004037684034478963993318753911038748055512408061293112538383224147366565897428992177392407006740115822969740438471516421597865793875806126776066545798307890015845995940413589433752564977497398832604966273130191125544085577889326728762018415895421904064021794164442762499117759558677926892217031201296886513510029953311293651798817351022339639427735435062427246629708483239159771857334914710605359080207353651141745660899702687849583056137329036581250998532758449407284445156515585479950961767751328289536090827484739284166655823504678854629282930546159752632512069255978314041299057384913700152438903632694150403296460410067595667523165257412729850939650898449315263361690882969139764139393759460291166901561937421848243358917663714339943706684281218681415217633401707336222931869967724717747591501846755613547991078759541143344902673032362984974030038975488665180608598159395142999703957884945373501667523699135202465639216841683352421118587297610840536710703451858630148264020735623070574234663457519801570025127418352683520778593092988643168824102031926255420366145051740803934339000261321179013752442462919131660287 is composite.
./miller_rabin_mersenne "1*2^33219-1" 5 12,75s user 0,02s system 99% cpu 12,779 total
### approx. 20000 decimals
$ time ./miller_rabin_mersenne "1*2^66431-1" 5
529226952600278486994028981645780216908211382466575697537794889532699180196089200941719554953062272978747715272970126025018458622589503078027877603140565026301600186378689602715039899338355925523077488022071332766294155256294567362723224106725625686095139061807644306025642224230277375444860462322427010517714354006061525430551702521483978926231862211920916308244646780147553333115461993326810434644856244946030324644422734078204287948114942957735280886840605870508283098837099360849676819671168423642516793434713544734196024827511208479814684121755124560524822075782934297830309994536620875863906069411507957828418801916130213726446932692228037152073414786979118493868051542250356688426281067945821996549002138605408062898233205519234471991345181295907154946400022763490404216117259479692835473699804866872627719585037884073281848106324500437620853576329121955773139692513309182966704113372942253936756619145329428435147614381292515084286233394213455523113841696441181005275330514966971617935884703744566094234165548302943437635877058563524235251354145397645077969931361110846192478526779263110718408135697953811526215768097245981276096717458176717334311791054303874573351448829979056616703972675532657038508581834487418863999702534065529394826564841812679013554364216725570196196062027954927851644458400110830728614756886770444651284289880929547187291155634597575050137510188652827100440969970339031070609699397045174491611862411852614755907017254289447439064632409865531833316671655306214068438499331308674439950231686401327853170872899251100421319553014768612943375180214481836746591555477283612542541729038786100131738484786662382999219604370379070379801132332530669634294141028827096079473395535535744931932637608081197584635717868908486769085517357702195208614770107110029791549053370076225795555233377787494623934489808758201711843934133055403344988648197659879963886964825103984232909736839534537360916647639921431244894042043375736477302782268158215209142298926010338313442714295398465023575522181626125022685898701317880382552915277332785253919825392807465928845141279038854123613697138005877000918365190228613705697620884757066251543607320524341720935861656956765311733210853140062415322958029103685064735276739335127084000040193878666510223053796841586724766309660811598889114160795598603975790129897305919602677630575591008677860035482924612246104892674229194224213596607472321066015347014274434580990735789524028186596312587424593612635670310914291619450588846381646819849524739815867024625169162489997332773904701493979522456797113997640242465502653404356428649689996372368127667853720621261682377685844484100726598521094720983354720675450465748221604336180856418077466692802851489972763592483250656934389291890006417603372984962077958778043348211867453709830277589536683351414697733840172945665494572994584959430791688487124893197567524217446028035516664198620093952847839837644460872786526652278512467651813354115339351981664860200032274636378920986747466045689645362910079508693258006633168859125626586418277457262302840035103796937427863799768677410769748610006654641692054389014348964625233617939822810679139867740085995232791813607770912224256895670230424833899568104040222682731717731890583165395792212064243263804902779951767963991451815238208379793683303275946591434941820938340767097065016371744582840625580813820507709622472349345584904806582463024625591895968757215677191781699200303627094550882109213883731020652980562484309342288940640246965154691631966947558780405516484213125955418696883797634535153342483773650405581006825140742790404832534538861194286813027710740951982250597340326052515709637642397063974551879864455461542238807830403207565752151825545847561483441518840038892191684732201275818038330072321327402949342038922916858027751006962595648101877161874387332900174849412259080562982152491877974194551994969441718443737300071372427133620465945653394992055610216693302723116996701856869422052641911535783777015862253917384711619221235600517466544658222838828380714769215266569696676178282184086428022948001435764324001488612447470184335835015230150987787863317469788330159357241039404182480345635654083855285670254802129247305204077090015977078095184127139303758275954615081281308262591005505959579220411690323033561134522822228202212380272938650754848880569786752742633997525019730870808634932604313857945211706543851884119157655731032863379630964929809771856847647993783089515366001864670197822882161703220625047134962766813775753331784565814451691621584793054959948253345218275140173848440523315143508655478737289716392916710168355624713356650438441633756342039270642276865031656428764444647609071725760859309866328878858904704566378356747548456787724171345404509241186253815926043459654166709715616935951767929417955951709655713798965104453549631309028913421303354839511011263818323271030936211716256809258214728807757508393483168291142213496867412130839759365569914795205359976862547097761226744429497746828031778421812831622207410249022815187589095200080187291534477545423104166931565027402428005402249692314146418061132795553013528336677329483585732823197575359352434875469994710347297356067371335230636060678646475079901784610094186642983137383676634149571370217401265408022017504389856633676729776315243823132148200042537125403079740774888935268454318660743780215608561975445715704087603648222542265867186316132359738956872544780299881530773246532319184337344585279837944727031093060210574908184102368233543936449881443725517988160227307795708587670433424520695805111263689495678259443321938522104226068691811361520467640743551615093513449621320338365472015740388186688008017978044211177363315351796636551050812276356216644848202666789321419259344497666545067954380529354386497291281280589239776017198490632461143809634608460632938518434846378936410942410354591145869336728466033660790197912316305262745970315297291985146239505297771864973844417350507220902906046009109498756699805163442023316245836676409599391405306874037036835166494286368472549827625839729388689532223690336768411359310911476708139802504220452355157188258842092156680169881187604509360363122039777987090205181986345187965971152432408462819953227224864597513018790463529156133273388371739922919095320209475224353953446093880089530987658805523866476292488303084052396176260408495829771350514714262151627391467508370974312064345265146708170567489894374929621712617434370426052526779404901530612625012678896540383277922049942030521158092245439498446185221247162580198476852936680157835806672122241431362620366630581356241548181470536968640559261511749914617667430371001798100345062387393367979481153321986835851395174958980958551809693824752330136868294139533938841850867685267767075106068985055911385676072715156180208147553770493361592681399728075238956298042490844416450863231347918625571753400812342245989423548940386908681849877337185297884576016001177321988100480532810288220619034749567024257286747047720528097022714640808957635642812896675318291422661212599469267651082570566454390138653197004643585603638634401536884871746726895676181496578915209195905619144616902264097699833043055852342416361238434448128142639600850907189648890896302337588771783538542658242443680226658592632986569419043613528510527188346402492026602141726876926005601814384413225916276607925094641267834701521463149867815603545571057429243534486645572746729202611005942463561178179104637235242737148875975982976784199755092942678814061112284641259830396786491312100101451505999181826162752592143695377460966689020335567957508747321502459269970569161224683333212230138076988914115073464965066514476213164217352352379536561441767699775451562060656132071830623084421907626999272755886635225714091923639371694772134322561599766477289583409352116801160693686023136901947440912172227771615544231938506606964092033257239837025654577295894838043143681887967548046271634971851998521432073917677759939771497737818746015852470572285064101515105344476493634377389955411915366497509876853550555321489580536656654057923238992011351018003505781913949468127086406383998234776878603872555578341530652666369118686751824732629760450484547409518120476192098379687865127158416011119209004209000063258189723739525681643193728731869265776599681897817822652250911885905779723478375722340769612615529897187210485973824006896536241537376113749039129720850603412721066814910135980475763516789779936862096483124861668843878548702732298752815490503220838742572578728014157515006839996915323183440810428715764616701503326664403877254880950352367171012286948139524954966300039295662886574676047387151753099201523878169121002798416446861093557959422457837402860851230938114861277700043326392446372558989081375340888484902887479357496401446707520831798203069792324542501388581387274653904483159761629408347831062585683428702618065183397462546794674785938339422751333202031489192166419489303015604420883981632208663112441317500732521672192683417536550671523916168943300564296964213374301847495805880984114272652892989432065876763812450869769727909895304963165692246222243564108797227474218934736439143888934012088706335727173773562167032662405044315000799462128955627327665181360177484830416071920696372765223321735326127879224795897478868823714354924014119404246180529158792397991267571616610401709001270858029514988525404460130067392602963868595147259013167740557673847450340804988375912391495047056902588886157522680283949899392702638695656650831421856335504552548891867794782632028866756886801124756953386077600017108594405005541050921415697120718280617855192647913151074029416711883979322165579988977322137076240432571327760559523224434126634451476918877211092039857778050347725956905740359300611785202949044999829112206399693304697867469954490011399037697903563968294885417097294535229968902287692532631131207739235533566045245927363152950639096982031353359693024459375069883628252827986027661892603351989520893258655112564320388532931797569454417024499247712597909690514464644905916408098379984776666262364026892265559788988478045640621831170980923212674044784380336410736218179840409445207099668937591465819348820409859339728238410543607394149052360140697993494230579896621209590136631427316559406721871402636718118768775653315835580236779746802633372063412780124165366146474327517552650793873537331083597941420570662839628163889553718553091107720108484142765093615799725080746713529228649817374525018580800872552459042107445415960929042640716052603529065935453859199241729251223550809496100863931029853735985276456528938374476625394270515291185446224501675280456916493287970499896151791258791491323758576376687285020608762234190594474926564327977344875725808586220708212008259894712877103797932344394737258896949727456597576292422801259668768178248002096692269978008079498090226050801818946748691292367798148113529127810337878206397984753460665988907497462706981259927764321379585672070927985562705730082004344236484408618809802800001572371689994701241262625786346709282686205685365771575307580047486045515691295033702700647495854178488692133701103910119785750357743281564357346651962000188921155636992045868521819973965444014128191507653025086948090791640708405503043809907099919102184312971713555008912791351161168787720473715139807649774985407245734826645470961427894731858601066034355011917020584420271088655395483893663575601580401922405939431376161759348277931747560750778837220326748067654313413448856904875101204692548989161063447547905123424656974674939903513147916744045302632758449556974683059457712701012019123590578961683959014844114459291896113049624941813937165766441250685554743164871960500593081106687218771979465079858432712850140863510737580568514502526078123330516415507550680200588424153255230165455696055781386445064940983383934318038898740021187544233603701059495201652942502171559045451928687274739848535946314527429034066910454862216173453513568038586411141071179376720965709403863979377092586641560408778237564103944552712215885701010839328457172091273690894081440139504822793579259455763952375240817978047952916412847389253898648721414727046455866507986517710445221850677737793011168139379785220513897077070841185239448883635945879075343172179656042193231478146240287932061691648574621427091847163880859707643702871167920008913313751229935169967192588760590645169978989086862808621695846732836917792620617132913772220318233048400666872196548390753096130316874432043548819147905141640650027385262289843521183178477878658044600510504672919348842261112448238632662227443023776770928075703406228573340100700827124658894789808691616924635073765494491322688934454605568737939393580209444394234877007967888873981450639957122198558645323845683392616678460172575182277186025395402194074846841147496255586726498761728120034520048653455646655653795881600749418182496222236927358488538392326454142573467868307150959723762781490047688313454623020021048007053432632334475565136743270287546814889084724037377221088723854894542750110879292211565015414620246409795511171382762287174690146710544154440823070081053583478063275140078314856105574480025698657395684952944398349836252885979146665104630916648722722956659066678930060307110781616986388692708686105683884931707068006843070608061666906996123158354418717844373357819912283312044219964700375767831762244680083122373372699298979419791315429721063961633223072029328442759456607702886218092599665760787871181519972088105715017584794346695216390002725359127301246398386316368451909618711757014599034105135089066349532949631897888520886516001990894564751712576039976189470273462052246503305172158886059642225169160465377558696266024082916712808417495889585202137629912398965622307774214354894629499347394676611446675673208300130070607340444591090627094684329643030612991148717511952609799721365639195954163440168705344481569258665781077724547406712618306787920198068852784536466859448132106048303536428145035491776652121108296262240219718632634283945254494732883476218553545616709041412653427427612077552685455251589408671589942624779116315472834365814272302172465860397517494376043627468722374319335249216890150897069985080851031367033292672338801837695976258021989974106865946790802990546680747354754517563356887694700548313790505414273319974919746377940332778156887697399290318468092025831225694328089112364431096942392070153226645371214236318537031854430822873914633847287918389223297668743737310209512385415771823999440480865142045702296214937871909274422608602605038637682821438848542371744021983369135888732882802317938625250525356917508577387634612862176282679786358239555960147969806430779570247157691813278434652330030553501653927574039224039667210361251757459669664137844649670329568392639619406758250340314344711478085715436735536488860069036670992918391745517065038351103009911152154475656345990709964864946319562714621013639628719292518406861887487482624230916396474448349044499014731686165351904402587339164264777824160357090803188074492839686695835791574162147087277727576255130737550830489286425640371245837518881550424282565991434970954809498515031958120876105461686974010600142522169392678430145123078462338936951299283892618070172822697169928153531110268288850393338050326201664690624873579355579494725974089567473407403322577510172157776855567887912457290948652268608689525622599374546751504821339913698664848846569336697346796365873053984175319370694031339126123267658316461723374667492579970016260613118986035410704819979581264664954483056507640907746781507208440775417630161006157357672118671643401840779533297539981007926613259780278523973228894026595362448559990801057522827084983463723999455722862290723144017773421455402448786768988236481022207918753747411576743618044302670771171700927198271975837068915060339265012385251424888001586772425029533343593840453399075477862178845198264453180741423365154906032739526305350193290875272526269273134190888862059177213005325413310927925591365482187314135113858739763123071148287032955070973569374121375495740206509636363379423021785371989801799926584755551370137901518916096267459563648540867225456163053944608367339360337260731863184759652542784055037064747559444545455980374214047535083804202170929399114988429340451183971063189626286937274157424609694103522637278698921987754516680095999154401780852404163362574381756730626434836260528673451336624355259995589579203882641403214626920279729412201706240541899499954835128195138367366527805355543252409072199138579373047767943369586006807428139170996860739907151325988954228603572066115347028805704153542227100250904594888286052316692617675801251348667876052584607950188369391606342016450403621602736323257399761757742950524950022901982840702742521895345918373217761295472406526705080915457521055413335463507046948025477519728290175989672998331566109161328584312636108119591502486747322850490606500556254508980302165141644695269678997650148906702419292837920818447611758128842936033141309622849994238233405588794865894295016062030316835996985056259855491374172429104972806716019920671243386009161738283207611701299707435666435916873196256125723852730594135893051873796246388616804743369783895421875668876304598197840802064633259711124375575312549777876634819776116990700987389024670623500795099849240286892328380830164606391278615622153956009135051707208502780425039957858384683132788631921255143968325952249567166616301382753838417152422512967431694361520144917885835006440477744417809128497557981619118058833000494704576456447172378963076889972899388592072078846770117670371149867526848085517495170037516870448536360522683768619738477630156103151810327383647324162752358423805351892438171659287088771479187276745698749088876289870039263685493321634278876785484884665095318725985804004414006680504240647851897230720197016121547327091634942082188907680131077214249794590012475837994420219649817415557260238127962856592517003978122383590425441829236499183676048899797770253998492730182510415255486825315353885025726216415211563855164341853060115290308535469826994228465179484933722516057635153385714651363572537903070848126028769135328587577359949256392746944144780528180059273413636558787038771240929014175194061432390395602955970759762031124933238397829246839162229053085977848616579174838046389334976407188330886178581590104891802217041111026022877218059646430293442720436543305850086402957259520806738557954345367925593150023284393150382166318526379421577072568918345447419196391179848649020140921114646485988735416894240457632561028519938099098927361475010197902375447836771059188797936830417200264108158081226277348714091324733685676399855398153011492851537448685428146021637566886602081724662457154685954679025829514525472123971099856213830059006113861994965535666786828919327721560721311263888747746764930155283015786400679839226215258254156044451613181249588294906781011184159647625984661899133644625494023046822404720877654312263756106827623815908304308386803864976317097408775055212760886243835218190835367602243968497621945256371106486988780637737627202864525384489969917278331943426724255613550280996201783066659292204932864316165721625742713270775471260184478059986586135696293666066479394259853115619230602024003583569629533727323820543953647950533639827568794130477015576420979847319582964869365263671129260090425236221492203041194961557829735773819944062189992511787122752002679289698417894444365384629918979069111721040402503989943686577827127523168538418369343364164323225007164533716664112745731345569913244221549160326851577168811053673964884676275951226611716775746384344032806540092916760697817445477898484701560004472841440412126459482096954372237920339936230196537757572622548254447745650614959544273058149549628031877988434491739417599915794813456131642871052514982880389280025832577719354317437156081091462379253183696740010403305188614530631868914613115230365984565160653569684099091429324079004038063421758012601313048941705387488606934003038517050998452249327046250948197060804188682209597956479842173968973796786371026935569513948541398568664726146147147080316756013378872910001339624541222742930244560211373245595647 is composite.
./miller_rabin_mersenne "1*2^66431-1" 5 66,69s user 0,10s system 99% cpu 1:06,79 total
### approx. 30000 decimals
$ time ./miller_rabin_mersenne "1*2^99647-1" 5
544474981393835054514376980035872375675024166159230919116791385473225816196415794632447413405139807825595277313150096597910007426565343413237017162226758741330914767136974288354734690868188026286010542233132813542330700374710425707173006394283990197049541090825465300459244710032212070757164086954886099828069845021912288537575528038393913099461222079631755594423874688124317625419475488768392586816921888112281475654773592193685547085944779141271084209761146984838121569841936440520365504935885091575749036072193560609245582973576579332676992219322111694493401719680528862915015902756982853238332297107772088930608365557620761750036223662764669638836909718194994766039323107450634244496834234993721713083822801587601175778334995170222427925505249702021093419234632446393748055583764612691343852365649334921727005255580788884907724305563930515622316952091210101927462796021724990795622964254421543484875264517267284917515519144670442594702821552640598081395772919036656311164282660632142834301690926041219253417138902342391180629581433648726900857239874615059786724709132517556467268191592423990055529205135758870164497735635130504429767694101595412638623153011177229263219846015504603936381762056483196837190809589640082085433673973063884197077340189841581917290791662453281388807356497753066283226158822320864153064322895524150957840747768650372941175834372919496260973153697567233093684328446896420774644920323647860394759946566697549248392701237764917078693612702668290293401601185749101786594058421785340263871063240073574237182712529616714845786028120974522221272866512188525814191873774719264212321948725565441328712962381082251792775802652938472936251870257962876509634265025702336303613116358099967834123343289132067248940823888925582187364093914448475430813114077943180579259838980467716892528858672659198121052069119549883118050083816090953137470024215337663532406691563094943356143217254538915098300728503740908006019732085364468236073562855531339149515845951573620763681307021074737708315202113325019693183267264867396591298366751669413326323629743612771494153522492641188606677034650864455928302178518455508641827335744293800132723986077560460341657810606323303885903616300647313675079104682604771233429982078235332779848410542309193160451293907720019525798659305808628671915014605362431527524717635100704248490277724788698229726987521579170738485809932858642485728512358815335452802594348711513927722171362680439842314556702152096763444557681884511948914855842402272012525091061441388559118985300346330767991240240995867223072858661836162772327491605439220446133297228595868338462231438025267941371389998141618873216008939716494344215065037722546982382426416927139031785165033601630616558863822249431289675662636520054741624295796553882343253463742555671404032330034971759783493482247588263419698869108435075677876408896855965062326836905798314959298309797148927871810828110626329832889872754825268589666158300532287723093667845580831223866180930100552307108186587715227812280952061013897342153147876977923044697167552805690807963142786959904209835646924441271469767135150352201856209482467012823515117604824492400661979660046023608489904477996748705840731447550641817025880448162128941253650485268956945561823723752486837305438447864901519225772955975235805244831859245394713938297230636476977134384377004611415770316161189827212871249497424173737500481514929588404124966554478093293309022235568420848058363395891492548533194702738438532775612249246614440111162126197526157230518050590763240571989940900811704501767556886633290934388106430105714965241398229392769068309555421413974792809117809214702160788852516125936662102486956251206209932080584910005174734697652586405247695531940202864855433106235949229102934647822339092699433550037003506546068878497169504950158886478594249321901800309521941063788093031447242264454131691716906017756692662676404043926195289128549214085068918504542138035076145295374281258173853586902648420587614314052444329800942831879092284021307823015808669022617305834181009198455644739414332516759695944555306626483475958450867098089865260251113126628438951309242943371538098894170685343733918311436884817665539477596415093153321195130835772366881828204170700546157268874259126658125553180846404788023166891918722818656237321097432933413262808824466899993426606896517033568048309976565384551048655008319593113498764150575422904843850927675695215402953873404152046345684440008798874110765910883875175208618469257106899410865618696075560587837744521949672789010454430615374931826562563713455971853089615869912522126486167359422053709545604375379474675416985751795870147833088649578968546113893311934667001076994554176521014647678794925041983217824424619749173460166880199000438554345771339782328430146580363845084388529973595593873583805098955373934221400641969234739749844723097699042520364482244383161470021052907242998951726086099379062107905118867363188459327670397555390431236329093289018468446022645563134807464756623323554392611849616569955188062048984866243147451851826034651729328876256269148863271537751958522116564207354052467848690795836759100848446702546718456191211145777271823298586752628531655306903643896706132150396411638444030578700936599279619266681724116067266855915260501547342868318117095938898015163165426723345847339507827297629201066591626047596868069760812048728900025669226103665829234965629277997813686668628206602925805323063889313591010739345120438266193620842238950138047651221820572592647070624322680942898348834835697063228235828241682762640390131641961418167717492710392897355886466427075775979130893542687515791800646928899693009880831845941275814188456423713390216033154441316469088138744736779071169193191219057046932161135611567948087370654759928993032515492437009121098157453885216012607691211285949865910869574095898595017256808889423244661509525886347244054266110097753463128422539570416558261776802711988071940243127666523680143294521666382691666822932429351202148931715017545381515387335351366122149116945009153974803689550155361738568565214104990858387030530910426129789596632263824891816522870912338875549846617810570074196360839979657482181194988854580357791572134761059950042791217976707758289145474362823614014895301340763643051308682663262192413968896061512512981152682543300315149529389124333228656706166269460425266165140567044000783057773987301478475297704523785460119787596837795152662256367362715996590523763180715023270772837552492038834604746414653621384886358046128586138169239302163760412277170615150864050148199985589129278287796189706749826426041178763866082810561271153471659489207214241231791106989107221842382008001039785947849727741331588822979971442524875099405871559740886996697921368235625377262352992334363861519864950720289659985301009324930576767240728390570486601850778795474213680350738194738762832465819295420377938825812074920176163644808256817698848125678968924637285275289827588542539055562777796195682650040930659161580418541240477741322277303433028975809783954819086780472777131659153798615639540172421138093390800926505856601784037553732887529897958273171436107592567570780966429901632689138415893071238482397860438588651779878796568680545918995763772692175448068801810462843138845612525790534502079967193287910955922040353254121685516276343969592112681467031831257354430009096320361641642608390189100242564118874685860061936135717515138314516664853111766084895659000503070947517670777636873698892289047839067989802214288550201164461185465457923454037186590194596123594268483290930905025797254844912025111566793283780025595379402391066152350051299357677963516979641894481922396662320960202035382657742643371061212588799276546471624476400868784782632141658227720094129716056300295986553776706896140985012179424614085744707360153148001934823252980587253843133613847256460052940230482328431166099775682752151819787818922123342823500975579874299673964809564200351499726863321531248917056447072061126245928768757764730248927494308535853978082791371547217505513786443018385313138986622460385142205264696430405206772428450671465805020350507029152327775230249475612559255346255609292066668292435434177610165841542588517192156525080494086024857833309054125601530843211092808484182618512499175305726565427644517605280401487414154123235720638922714929034023595648775479353996920043592691239335580294488307654429407318085945915571493504655937490650862085821161981280525346680585600572268843360147486680108896327980507666054364700236577131167322275838828722751091850827193059019037441206615068087513807642487331474302337908306548993879788095514365330177687845215139626766844191498560237537226502501605404034566369154052375863431397594895044967904675970234177206721281044039763591628326988036681737342241118414972706096034290942220866258273620673506832808959806976934592690335037946414827293512892139172385072462128693751591963860024356354227826366920025062690755995313850799553552925110041049501666570483342076481198279678727094499010728254150304068494072650819317848044451344040773724368522577063231630274451366202318824105435581738515073060010269597418429449789951726412725308657158020943836026186046972046742874742120725982902144027467890798545837632408047684001211898080151209956368601247089819909459567254818462866744688605348903605318066166572881709850530152298134497553015518653782254608683416950060016925421559270412859044127933960532852254868206815562601371741340152137932141299391741578276933060273774073693316397069059045923716478926093609911684052047605566671788842953415023752707176781898955109818080333041435727887717750600819474045352571920445513774722925921903052353123739145838341148873823206481281316516085896008039076009367753953136047523065783567921436794440294989205573196510491895187387687943701678277068567297557501925693879214060776100350730569601950661205931238385308393344335606448452569434573770461195108907740800234684048272894243901640904945675911050828234969273185840035499642204409423192562998689496104589924983160509446842069292402381899578149487857982017091607190071343796987832577945469307340678672449229434937464338171113049265446300935326004501558946142815403661489564478603234671496489955422178617338482866511545320922923458375789081755297964725570724881776801669750021817945251104143482746273032180713740257526972796645165129302009473800607165937641216763248180278196598761469772240544543473440964454742986722975255987436626821432587897494770349478230964523792875136013498029151854078846538538802320472346913827581443206764283827625727604161649931039043642473468617924226350846009817683876534432845013509261615540630539279799654989154939987345539662489579366493671423088109586281772266448430323081993639703854183854715402937422176655581196714329448564063523624344101910754830323575883750293487316182411327955730157371567478676440116825508278203916597223484599531203488867947199793477203440229751696352714548558708049128401274550639968666711624191513087864133348209225130673996981191264443041990764430876014226420911314763031926927779966185375094343933273468014367092495535954252984081389783137905055433441104862511197369566470058341457756127674630213290374327124932440616516397194335630434274417675953650865083470504197056281705666792650270304465028451721513678604044202897957319137084179597415896993281219539473992621984046494166000806607966720358886644082612533676050794251281570264840789529478592187986345201395451006576750934193475448122273541444906490066950161045412367530572533185671549927247689771596545478534703650139400793426563095588345879717055474081500356717186545915789459821736519900135701491023935402109941282600357001721079618639957044485425199323012072368428767101739230038828810521643995664624502501968974881205849420468198018457133228839934494150263195988717979629455346848351489755239479398305656613725375128051166690429999665212072129302434641155714264072487731831265545877804646477375795113465054806596099781274064621935867306149346732078461900420245965699340712347500582985321330772733118765262983897710099984660087294504124926216978694341638972802656369745105363088710414727838479440332820115646944471907151131896803088039885357846545362193258245647362290238891172408882412383841587370632313257930242573853231478337047447060784955155470946100869261234813976738713240754262374956009358920809630392282408044393111105045315949392741775893902353158456261467083240553440494685334884516815197362803272002511931575544286613963805348240347918438752886228156794205318127115623279605519458102810548151941735972821842431881794777952361738734966951069607895774316607731857331182085627444979013076891658507412867648527554167031020275244483202078596987691902838391217890767829182150756229718840497615377920751146360679300544183443002033236050900541087283550216914780692472936302960037551849583685059329393262525037937926307463758749954255847684992983055410554123471802776267183129868051940794032712809242580833649994211514640444217241849510420219477144897653734113282845883853627415611618612496250547589618981001342772973389317444816871616297292705938562550922770760703775749135027612803371800605948743967343047236138907176088319184269760885772514815126777487141341208982841848941968078091103237334735929925986240702676621365428540540840091932440621565262782389035967113256121556886034539602079076774227584829963783232012883278791798933553902401926785047010941063096512653001344007833310973647875797698430836673802604516429463193948869966367222586207164544697261729098315038294333148296999879403756575726316634645008114911442627364973111862498712496205953729015791891172364080528418827735114296870715202580147084207086789755603616337198571525427027068709766210979138773297363382339041554921167264425918590134091163365965529956365070575387465026060217225331151902147927047214703732611150452430366906777148694433706117388491402324667700668976629360822903393764960403992500053716406245815974044465246135577638061519219121347935646308548435597294595246345101021616440382046336456345283482215906361968126473129889538676085767139535084837170570782689066425048820322285958911793241537496162642641874955655369792703468131571136157054661966168295321926759254572471210931094647128897996833428668769362307230040827844658607930500244819965242719163244281471204681491332522992227947270906470629359583960667979699466613804184948901381661494358377517195548523878286775012787726886489864740571860166915460629332073484250929104504675940704529941900870759277956840312903622258108465459445555352809552935393419188425304223638284575694015475090809324164480026789136337370330302537857574730267725781881160033476447173243344813710341459824051594780924976143106593540233196757846044320837504436239635781166440195560183466492751476322740187687717221514257425822122971442949723048456975775972129916779380082492885175962601554412397674762886648039302988604033253882177981281073890473857334052346138790777281258875269701924231045255145623862609841711677833733151500350438567669655123259699555607916618905056265119237515073599467859855367870231890828254991609847932012606087121084075516580462640302679760377934576507139459662486673218479137896257854797854876778181789198817398152548581244465370891927032167551062335173232371809579849222082576521958199774252538346035562669730234488337292942131948209829242421351764714284228898065818407192411264538213013816104375033848265608902670364687141266930545091931844527425431921416018211339356103180267320203703162302413711189722436009990260492226873980579332541061918242662182414066795901770881283026105701946751669144527970851543781203101325998896323972423474227065763961660325996512891090775176739421614689392775977399932143968460503216118440752022278789332333147036047694565273124867913925517128399533948590957129454862345869750901177509826346427448543823230479444607425999393054891857599975451925153573687871804282970326139450213484459238826659025133057766809871996127030158261496393575659684462525097677285847474187793732142612714615653092334856782654611755115242427845058547052978980034077059187746080845460738896861538286270334002763604080622909437777101232901776208943580590511086749421879358600134110011866858138171402701150069576322759446511149724231091873798703976718877657719456727381140389108016206680587443163384051380662144408121716832048095314291154364379837115298613747390452794751373554247244644349850920699967069630955217953482950426710880778942516175849451491680653534838100396046165762041682175569806536125120683730127723315128282666050706377821557962450581676436453646148244737019107377048621645295871281997653849728551934768240408972228851031563218049311525419432413685008259227818770126652560301270115768237188298682165547703542667035594330514806721350457209993716091806618284020859597152455376273310774234670573695326527032362104018771669361384554998901538528931811037344126984145212052489882488892859716435309821791942768710295796649692224227195934912035211588332928741285975864297889161731834267061943083675560016363264449298395584217988045595134152780529135380009105295960018940073755865898068607065499522361284264477385585495372043052910381193793999543147189543658051874749410038771080876187066954480724690383165510688287646542303619074392905096438513109532746410199243815807907571354854659169554056805570683820182396624072469965277775123879837945828420501223446736340792886198053656451028159341348126033807733117040712148337266761525953310495772939862433579667844596080072986476373639789721363638119485027854651033642175681791824891612402109249744776386837467878187465248468484028646358644613516924485924977046041766406985174752614764879288792962130660024906634400208132350606132453958021126957819376466793514122074922916221390688790863079767050199038011392830939417438122074711926057097739047175296702782109196715144582619162169088064629767511328258801111843850000030293400711310270128008786965881515638662467866628783912414628395265137886110595493460217384946965962991701680595998087609211376542341852520214542705783392825081329320612912021784428092298403891269089869694533086606808203124802924211708579703284382737942051769490316415543853905724202051577053376802303319289224737086508687213661422272456571979271983908005410718231041280977548120581491324091736201929423903460505421849570438729736536326300230149787161022025938807967467972259398693782251278182746642356413958525258910675452200453330992630794962489775980513928273376635538267465680162349821278837374320223913346770430092705439313239620178202102655079471559796631225986778967303001905763345972397749078172952450910114040729704155982562130774716675492310212040640670489959436880151772566458633425347388555572633064818653064024352728387403165854968742344782503969819608151795776836955716449148764196017511720623068384526318821489911538328797554054091239766663615603357922579315672989249104580803390488176908024317541108862557645714785182229880041256861125129974703033553539308146939041598260954044334513769891779736268385823357101401310009551558862508957625784102310042093231489753631656509066288496454857884515469901700835802852245995583125233479710713521427839327374840618666649578990028028176053512795331527515776290059848542688921300059801878045451236233739929470414742257395860207472120153913102221576113638865781250513433034323597010499572253781658403822653270381686467562148137822594281422400034344062354916016111071815139118720447203677979011042266855119808299490577909814657011510631190517136685800778988190841040959808785320817668445677634277875875384954665341933737700196376278096592479583304716154995715566213439098151320041292484626695676702870675014015714136905309128122802200455125719035460930003424910499565283763678943456851958622369963586685967896590080329936706775797882777564991985540323829998837291931111627051106626369572657419121373975940023073990008303585485717335335179818512622991109678794658401865466568429788139056630336888973399401400077253865784470385353223274308823301191504160329446519056915884874194930127517441252676567373503303457155353592165521919971185091624896420739070302950972396011305654974149320399899356092423726303733976328306839680216829375832684419674540672677939827421871026239892482288133195568707614392245202447811700408044257106350793420392609467717939628009699764729732455993154924873235955361097688440085480808570273321256600080738237540097200572361185077157457981379297286402302046269498245257954708859615782133488157155378340706504899592607365795521712012199575973218102550806085669468080309802175910677627125869356898751555726280898387904808261505684217248746632137766627170151731005856367331885821642359904823413466772350746542642898170265358190355081610888909974128173625395802252783282344241261208019729972481633081592052326542715535768665469442727055344540927423501300728751851458267697204863329807218616925240979737128490367287061167933541180704539093185484108705770100709038251170071912856384223936232123396548426923782551388641357512139925140291507577657003488895876933344562915887928407495916232888354721603433989984188087413727229206078980564388168904581222907968851611008069409554256726653021436412065139686446348036007611895959941296983593875194940670803948000218762550792766660996413070469543778585779609647851987401140209414839643852381736462500049684582751802955131960026943217491366335993399626160226533245625330517623770418516608306435291585901055834974519038194953365664110019692839222171720103139022700419744242852120923595558294200454797556784714411930875568234846302783789003814993471181531404424279540284355625515097686637329237892850818939762969684242244737298474684049298255594147654141055461064204729238532875021887346223424677605596915202013566042932035043714103102175374615375181435403106085085501441027368172389097779558498216616688454702292183950429287755960056470259973389003453845070134949325591027271009719856906691998356415987427838560396243138118537326811306363807095604108710000896285553158221802296434461970947840777751804806662868898922775904758167161773682831642522589154053476465560893188776121243224844592239382457355434034557143462004637781115546222062059081174714974772493820455550669146051723964418842740878363844764940479135567353316301018869161850505156063586885734595587578701161489351252027299770303887378745287594447566636479699494544621293860019624580992673748368167136247739020853591322306513534317896865834028259223201535578671133654048031255814257560694084559689205828034515978210361477576096810084479117939073608414200166745514238605386880004761787522807011806062851133548971836771036764774485673417262767962463706348562673282347200112693515507906043839910210315119270824832387266492382670279973023890013952747384050418626592602719626324442682526869836405040379373515718373791952620885611652700936107043996218806240894080375391714938456934851048195281888681914588155866240030631618998886752083732595700460158384808872309951984019254304623970255947369093352238979561070589290815386446518922899650081587598999541513358566256262779120524256318813587197483653671380306119284223548308020315357837644432846235370386781756059507524411823670292828852091875929171064274653959119640362848813726702026759089797698782738260755094321057664249307601672345235733466575570943757684965511227558868960692530618351549883164637956005703480701757567662141439385011625857908970149661194289008119649942668954945932561827479012179343615526580846038157149131394070322060531933996167056990487232026960138986249186989667608022377670661336949826336086659940881123217033922156508407862252083886833520455064632612563194403679060541160722250378224753578938106961543724073797795879303754552079255975629074829905648797556003873635701278060637242537643920068569555016321289823084266586777297933717252617877876417191893930668783290522313648498345796457381607718475941084993353957459343828027227668443373863579216506136247322415793520962603635345114318520888711567420842046188040310031534897489432419223438049086107073570666521258648369924312834858399693116057826476314966907040807532027638237249994017678640285464602306371737508922053664941990605527744449215213357465186959522113610733366996402938630478934341318873709057233359043827133734409412153400018189737500881593140359079228322351157731538897789766893855293150565263205661236515257873010338341481850473238901530808890477173193488112899079081301110602691161888961963626739934994722447355367679494330320501348164639222535163702839719315425493720199764858883981996551711681678292949242600073628608204062126336357315335224825539764279976571071454940294361504941455764746347466406080078877355823495228956796999873400586567578691450504169597424894039279721904706914827107144055651752683333871551650799067946511196629424644063229873356382890285657650026226712682353287256701444573960808804221110048089921843509603317578269812467116745213219922235732778958827420703292666764181548572723074162608759456010331267265811147022672659802025040389708296544869202788245058591174564006490513874003305333015524006202395473324302683801698116221220001501894368552253812776014515868499848681967948643165010569148871112006953615112376564056968512013661134371192421363283580773260498843578387776367476981144194299352136539151847154767297506261590501089101498829568661571598106647058126029459162930696328135977582490227421162088084234275848602795587492925027159237691167247554629692322466352798750824507438032010991776869108472836244231336486764823967902922051658135594904633376038987656229826265854360296752982651453564190430440330677844132148223240374675451005788991577734699906439084606030329698286592518463282761804905374693438799506447381278906819758228610000669682159207364499110715566896895936754190695518512101428609210837414589242733648192841916607443748469300486827641406000990345359950427488103210428415064557910991527846697242236950857623908390986310844572247436793366022256848832835607539498910811178330454176407142729444589877428000499985449176454769338496111951555220441698696866757198408472795379846377425386978534697630925817621197469239504670373525357201496706937330987547767993369287305269751171234686547249984055761411463060715478692574929757329806429316004232397184117391662972088759496525531189673031680498042687164078433311991849639758165277094596048980867035317488969638069191728970758696861567784646749550439347586994604474772708525145648844181772177292667215851447923425538671099416907908019955028617806185120872127290687726531649219725367504262015190768457700424010291577459517541102886049149046916945282217599748914216945779581251671116261664562785098925705612946326607686228784339407495257019947302631759718197328410069387005087704041203191001169328002619883905497605623731227220625424443667239486740470178050594295514411936370312886046071246782372122891566107670023673810661100007578876483247962299166880531653785795266332590809666879521497852611883545635710242127791269046633865843234883775331587195089875390586739957257540383846237526223130496221915919255497946653369524681806401261030533873827442373393159140396272939246363611554125021386676045273762677150099706310351883419245298553432078663141723511037989363893926152838384260563065027619026187930371240840098108875780578840472099080567579858881527536236179030033402865895663701549909699475841602232503055961229700235087499529542396388912784835040431903958875033732951389164463583377444278688702422036335975956123738528594417011798895905127451612786771437399438900189329003272474876610467693761711302908462012285634557160018845283716129172133558449483681075808398662793936129275272043299459937582600237032561042396431943874701138151115350169628157154108554733349602279608012618803091145889550568450122536487659147888915291261095218946672885004312389034069150331900566524058363325260013070011036579953749387790495535771875168758797776909588944432095527471854036523617181477091537974374657925477391103486316271593458860591240330979155919064829233974481415332392344878545647448335949376270982692402909716289806999052519374940120634357006148580059670662947911618704561902575138092036298949135554757342157418961386456661492261630719598188690454123921052758158651020452629877778646150752757243300037935919068997176291393098085522836122203592045075873051809902474828549013510703721534202126064165571491316612214792733617610725751017135222938361740874495650441856828946648420659152117286633255356699988728542019941226391043214544571949669638357620276610059508392984634591002377284743183910060452750957273704366841316688448395498272479541503365128390339233847056483605588758794114705203501820848818628256953689406531141036586634239549040793598309130098370234835128511759144551797366252416488812216244817110970652260496447176960950319206056238617013153620926538069457135124989176000037441573319850426558947387706065539386559043957167623699082604163470652810885538835608051622128844409798016919255190186348555242900774124807393425687412535282599228595628806737445710786263342663994404434490982327628633157903958777315334409914992871621045450482808361614503088795589322105219647793190977254377111780379060286202470851326895704045001768896284022011436461099031242174430572504765920765754132308102755246996467967481244555828177259042436748602461635404696071140765056566465033478648731468760004685036779461866084110859812496613816701794210553617430970855673758644442990082457807799664678879069514734869933623023224241185527392406719233952181258900458041433309090651221609091148391222843524687309682033771082637383866077287341405832298848000061320772944564304703169860760716874017577257567444326168790490986306079892507714480822560889098265571367673153426128279273179177405438666867697133454877026937861837264112725036657012148526216995933031139186619039554814677121807730077419536157030687660439112743097258283666093965374459273668103363444252279870049835059123693771440076712281726936389927398420557427864201900902831477747543945991089415417060472807349630720245763545761181615223942736947120943642213742855082517401108401055016843863318132720536855091303554325368489538229921740652834651633761137196544031282147923930578001724855481162989131270891218403327 is composite.
./miller_rabin_mersenne "1*2^99647-1" 5 174,39s user 0,27s system 99% cpu 2:54,66 total
### approx. 40000 decimals
$ time ./miller_rabin_mersenne "1*2^132863-1" 5
560162334717154824812754924519922073970916475139113038367793899327233255494028995609920334968354069389111037051929072834130481353464887479859526114453777018962339391739679870352249041562414889785090680970477565040479563274703303303199860442529228516274989930103266108048702804877531905011031583392309419097370043705885709751824492894195138988623762761402370778611673716718132637134675102071875823565924056993871582669702021844271568046521356195216367767326223815718639144791271212497841345637210088421681683754809366206565143997415306521855814526046848683203512992191773342400960447236099808678160388261743794165915671608493401279703719189200692954463358415869587623686711538779413826570295819441361901730337250907109855510322379696463699247185244028182359291459381401779864020270361801754212870293481732394021301696918435409189414246333382519734801291170512186720182549898839883768850656209154755235074208642443899460501442995671751438431586559242256455131948059835885046685013860800067513159742395630107954435184715824020812853712894466426622317972707655185940850499364321224172815119945083402798093735066524177413657847963535022708950701994243164890576272679365412805552544501490672785298547986533367130833908112266590136381406126363924025160841703239232929771331910175088885727845995815658234432646308325203984728359212792465454395841198713572929769529942963976754477229139812099439552809417771306950864341025015295034804375876354425132750915806077599453903199903371040866730527053737863052153391977305519624657226358559700359062194437382236200377508063254941676068208257385152054309033072648966414323537665970244549103710618660498679880985527607734735096590762042013713807129341685849798860026966320150140958856650378983390851032981277588342275043579211867555320237169935923064621874985026763034151122652732565697369032450590198418220058288621084170154895949489233707141572197371874545711745085113536925718383815632555544994336811747761171007811128790525698364854233953530482170587949126490526754867945495152102035802263177444628876503241707538286676744725269945127846439122160361583822566727503808449765852344830854633387861721396428556323787495775491622090955011682352639029463071129300909066357302864678274048818404987353261310838403044928340605028118025592866024793882344126669318953021339385565072899118840108323865058689973478837715529217743023929865859912102143475787613009151059460558879884148077573628336147793799696124538359387923401511199048260457376665660864064089756886504764340266102389434188561043725731554184449885400038395802988605133181697867176304791586077235606260098338395701840352744146953677420371511295069752131231912299027766119385473438881868019959660634440119599095337642877315369076957267012660310275766322166512248017807153774414880802781302480996657474879846889316776519539585626092455630421422277092215379888735794895685215310190961486579872190544160296399218490484881673731707079706112350844817163400195194947054262950592600174827361143958572099117442347697257726365123525574222841525471224813029435946070443600277388261612215509976067162075578536203196258944082909141805892223191874536015879813344582223073402253220397957060213229841535153506890730205830578184221899532226097479137896046726634797382852580224518184373751629691863784910477490750717422662327355021929055050068366302785611140604813388419672461251115809119306421760313562900242758410572719833584064771774458944353022533910436060202102513652077877430409474076535908017727357894181001226268698569157450035639582381955839845942874475470841273461324530768649063509879147827099781259960507843951336697505924037841093356438271006548757443655891169789316662691691903507664802139668856768337192877763617867389825172130530771547235362608933284324607986198580270017636914017150239064740859670104520905586522178319380528643637046191124730029567756661600024801369444815350754962390092272052326465290781309398963575260572153256101487000120681507799300301635588252904161118747955961617121128106939251659783620952333498130983308295555586469000753832381214323038963509237096817285739936535379950958533556644137294907704127238650008697531201938538703797762941593213240475315781591521337088767778381488880338231998146083138858379530928666914381043118536912831721511765712301447301164067903321584945544658987867792695319731067217188696370123142557524700763188696570708873003125728045803791127999211099255270999054403590968313571107235900911416055638491349035720751629089656796244785243200304982984310795444845160601302731195933852265123687542195216904369597814092283447216679451566908518943138889844220776495458467412133235575428794063900404627428849600396644572419510129337107074588165098862961186594372584124296738891567081176565963750137361651334412520105226259411938930455498304145988753872259484185265552359051226708730290810482439326880447052261200998087697051328383329922326915801973132922480162975457803186161855282115801385950600004343911593711017049412900398397089382280230347115602756338259777848709216007344850249012279770220204651849614666116490207600798114843051965506828458474287810878696153028795572696901649361268361252234810966396252314124787169587530843650644301237988223633281138305272238548556861239525098586215675937695154356602472013570972502210217867536408130447327785852722990934360414737204163229682783607574864283126923791372016671785353325430196041822638638050914916395996256122668901164638945771283870637576315500325602132031537231822907330168689300666131684511055985232848277731197268102738689746405433562508841353397834974662413814521407019075395410659289866760853582849459316850594075869548838533060101999946636923286647175511097643514621922311367015355024073741689051056237059477083340169105426470221172546710894599283163684320140727522584052990911055472552097312242682717595367501869155948368020993235349055868137439586156953254781181811824584422962928683460341062830856118341574797131415637640546202336254893309734696274843299978043542194779099551505231311505764724088528407985720331901309614917021263887643058831945651158136904171722095982519562677131959731596823233691875597603704067623300187337018849381381058232904035154318933503106884045445652804477928995547100733934960095821493679006890430704533768753599055970611784708348117503534800229364981329483784737005030819486244205731204650513460978885334425257713824176505861231349530075162641574798112071778623458858228575675559042100699610580342536514531442751623391075269393938067936392036701002126830742453367059176793384583621474403892291858845907144668348299483879417964902215152943559199605323805813571175586133056483339096405597691310254880293482901645680287266077970865913177565414433126895784847845823173401801161153722955940279048590178976290661222890457901699093381180328799962279397528762135451175956791246124338315211422532569636363692072341387279997152659817259692034376614432440362219129113060684864169899215766825440329075703026814216064610662549140921781984488623618434745981443609439288962093359505658225528376041771843386148570463737182749961465923189660041323626200055174593095331035542538304503741609515083746106994097607536539019847054421394492911907833395825630444634316059661454340026101900564668780978250779404687882588751080603424494991266562684019721015599204496986733974967591743708674481218258528212022451664081184486466010418277572000090171181022561181451446418566922601608926367940160866502309008488220169915026560562082654236119223715467651777422476042451185063494603707987993759704381813765191014433301315363779452647169846382561159278398429462644636106122790380697818113056822883601397086292499106052796289542200858181944973261662363322777404174500157677922591617247312815003823311741733261078336949288531408035244276685132331426035098009552936945997000678813696318836037025838140354463868309312480274058167501109394871195602836972051812542450533188200703030355605634068026904829746893497945844882798399491713266399159055519725312735877575050518096221622124965792845453484989552452238709925073158720729434415162379938163188680740652307052880529599638298594330950997665558616599435937539218852123378204762377543657468732686677205022811432700784246409368190799386071918235155624467914739353052122925867721157872161233461992647931728767439945135630142730539875410407668588029590873332145841625115550372672537580024493023963869308824721683572016064925340061984316828826628135649870490183944769581354092701238091454135594133254268180999676441466463068451151809286603273644059925180550580945538662769329404262694050803165645579173408176956062736382306617048807070846322762419355495327479191442979071483022457049108356675868846474868916881737807086783284409457942670536153165213954350866564622644483763849037738240288753455601946854260453624981062260231124461899179450606677256823205830754901546229961693509214344555425838916984899887135101012626517635524311152393190375095426859927285843443311823646951168376078477733930008514564528753533874236968478076029669517151710010179247929974200460275916132249688310823011860607424436298003247864276597723403754838569998887627520479867470671526892577528835154046903612357665969388665377656613115826935246492383746292485111003091731936759054973562610805746717800750611449295399491564734344963839744045773300154471666833732118895772892411678035189244493312227399856498230341564318645152485267003937220208553089652452225342209959204363319387941743616870159479637475674007130810737426136147555629023530823433139103048700308954806214815525100349544781338551779700423690944461385231947684151621295649101846736891539262349368000391188433532937672391908669602307151398061672109950968013541711466385986007224146720245785076773435338830407489896455987004584531536722921604106242991598324589485680150029603265398948256565820172484438933665090901011902128554596067836982782384358745152913290344662325295613906065642043466477814348845912508318702263199868960760193062704036923498492389033254388528161710447005097006786907056938568424868999798614237102175385051907760497933348962481613708049281345906059671789835201552064681961932772782611974961618821666334013534467245097103884928203389366878585301508506267214406352607970406380363380524394918033873117791725897336434593809715157984687331285156509940878473603921898507945298268506713447599801521113225789384100524868559126749038417611440051273988537115704067663165185599980206325253597543547652255810471124805595590479411206416387852548706096365359684867338206920163772131040005778029374768136945721486925219018223881200288097232992152277562114619518270782790628813728040866275530961503897437474980173451770934824009205855120604253686460750204396801108955174535603290264698284740201149219205744399683940102456299956731270639833199569460428312555938775005396941689260366555627123047674647853965585527067980592504469205554595927425557092724582652561426002421540017146573816068775563350219285862687296359198609793284230457038333345791748052255655194096487301222481668379156103052619342723712354557269454533710371690327651912003773659844993587518950817839087200024221584812025356247804491169736097086338400859011569564720937807874717098353545046815774858156234399347546954592321569238121463898781632449260925202877291316001000675676379931498343009367604934136616107397635714715109028842318290534646257889439193129127379431791292558317176109616108372947415642900121331164564511747955488195858260330244016667896751012849504835920222732801304802749507622742521014521410313286014102001967850029136114846332197902349084035514217760412299490676838566064811081200441465311654673765484314182124389641544784675631594704237574304074330180455457283774852532810994237957112545665773972458777788767942734240470469134650485655922616973093777789342442009246741237397861023377236097899243296605536009129029546011155550211781927474263277391436410887917139137477535890105726849413487840358017402305593054079153982611228823673830823822046299608330385563389243066270231008166869715576202361398673550215369987905068201721101462651102226931154185304757739786448309068013053254558143791884951919811964975431532794151023105645431228415973123705778489449900622675389283195949414161746503805272271457518361309484189443960618385203364148017876646530267671530482034450078842113716001925365208176444210394128909189068392924520666377319790509403583903451715225335735308561789448443394832205102933095525978504271449667213274792069509817050369237289511189804251802659613722582521938035917288960504451051031757120508982572529242358707525448483172713132323267511487148292821833140893706876249707637215276761475961923002818551367496994012899970141094602429535658441419697124586113150448231778474677752816741073140371508986091762606617524160844716216348151823859829526197499707891050501050318114357029385367236733262398517539694365551025874526686708743771498723876822911698253289850085072171595125847508544476390114152313001627039465852544366094725225085916893461963389769583754892749181950976263346193457676394667400817936954085303695520394341620046701434097475571969329082861238540120885251961617085708394018925695406923260509304125269582277970258409513974247818969173086004323707504393854533974494965148638592213365087667927365094949998231385270052209998785991603420223932538853223401059203356944321829505110812687901400433362222938463529797797421268534766861416105346077478010637394209050272754643821316037434104843464926905557846710373908368991344603722831429496554060103166142538152876122537880219745448010052093809771491359591226944492342112235127832824469126263429231580325935403440157730044371142354480408300075312165755949804133630185436972929449068810592109914022387970706210363298495371595347410996613180408779589727773764196064012162212542157284882750964928707673507065019300964700239606940981579838014862879008818961231806835196939975081246369966724722910071266790625310841131261022487374160241417119823310890001774079174616236881059894044259315684960155411305883384678084427456971638241822938436733997744139719115341858544510612818109875265969293052917544364553365179416187551456711114988404370534417736314412019704898418916174174037197860845349595090057097986055092741633184839438494113074282963770163174891457787058380957254585669105962182014074704845500178129105752547749713702941298355646178338573194696539399198359154230184343674628867072267971785528798419331493233034119397792733010172466791144975075579214960522345336978508422410504171384987141359264861890354914203202118381782746135940843943763053027066722448136657153631490082703787643093764757969309260975085297671506426294461302024266188855493647491708938510356744649500899514980918617814948950101007567848874703171486533419962231257410287024216533882990745474516972705804372576181401917046705926280963009742771585948968824609056983520476864091610019609513839729565076715208038176670300231072195298730976007769531716530731334778397656405726109817699397938352434450720653136787930162280248088708086548422895030028869804951364340785857368664666689650477789605912157051862822389039709075840263584055247833516936283207592354197255906764781681624411787618663418755718844683802527827725162296829043657827433807169998070199737696400250256028351131732834614713821626802455623368977151623908931421087194245587874344886251099680186644475417374888927384684903964983128593008099965985030986654558300830499972984129905194626225482738251062514942230448446394087396590611757556557204367502337814200555526141243981002690949837243681751095547255334995373121915439526141485950346304262218839292007359403126096714211557342757383151768899321065577039425367844792723059376865991408869659603458485172686873935743731486179087608637323518196951806536085776963916327732137333130046921582538053535531501251990465862225940003355304661904262502517716842519852539003258404068332789134584041536295051453541359864966403827532585414142911784247607024722104275094876496405188500377791382040144223884151935104342469636653562311769205496548714556141165360508136141438933208532613334954522888629641319363129877838516016287584823958255244465927553922483908570541540632226739079125479452763250310532858712940370516395544458313452348437172704380680352460856610474679730578679727324417479952539207376694111276644629598532558022647284905306270009107738766182554574069535824425865022513620687953811745957557203756895995038847305903540331565616778641712700800392888943262488412269521380036257552357406530257769026414527719256215559272621696110826440804373741516700278585237161430438881872588241493105188747350441905591955951189739758842261233637427379059828771730114491918382259910233714631959423974806088101805375209738792544882597680586814875621922860665093245042573611071530999386838236927244636667889738875862113908869247498818220032522700399299186907822463469173813361093728130281440471688229212043589667463566939715469180030643682797805471486348458101445263106977147604955858977263915521377339892236637875836003965091736818435004363251062043146999837965523712369385431028637227595084386014194508322853455526541405672584609827437033450503295816924660953880423270936074307511060924090751428702198455625893431220568545948014492890510363612080490027187072727245202773786037888239463144958413729793395322235513797216218245609164029376498142022675127177918256663492592418508481922941960934229311335490308373280547434684121806975693939960480836421147031224168351447695864443054174151592205758650206827386346046263668385647718935095911513169495571684287484939234381293703885565249734543141446855329719143206101437532764409369042226423038574567194497525098899438222946380149330579191848136996671144649618099761371644544048111762690466438205629562381463880635499680151262443107627639725265879706016292570096379724666273416708502587967855832376218841635766307151486008017073807441395058515051685230323158848046720857538769864805907176677012404373683211464227684702956444431187772909991869797879339978373710252141318906312239448158782221748322646959411331339649512392463666913597022500267623297890892833410667320990964244489985077723726651187970770855725888718277804405456020024843814637807772297542322228811730460815665751323387622676768600151174648263568266775194131523617525831603248282362569044141941584843065580663506951837989486137577035582094905800480240663801052142372002923375146011224007187380167443923654966772376121869326131128925540338214926577206990366970411411036367193672640309049888035171109784376629230438474717911114390986091773400621836682995645374699420936716187576449546742617489110227527504412902984760721940916457905396973566935588582308894122649452706656671986598617709747505418751942735824542320249657925933890433924174297510178536628669452005125979730355173134885038166123115396153903465123008746392825132932753249348876175706515502871960029136725055809363915339001155680232480254617725855353023762320979611762542196459855140119880591759028147724034914617033437912584833665132662257782081578295581915083442754255241516001730241481737312653048817469468032122885799814252057934294650776016007006770374858521576966060735521499607508454134448812984166090664835964321263219705743826024531385868699900683532482055178100142552816390189452754678867024229866327858073069338958823436160334298638613118191463832756999704222594772983031140598398939529646942610923457192114431748952367675870996138024544741312898404072785580429076891623211268345038459713612123490496822349520321443926253842374879386293466911814517919509973052669846415687343661767293674003707650955765716883449199472863690863827851984479580125720806283830417635164896314585329398689724372969691972528101280732330393914424823705462283255756497681924229905240801517686444531789377433962667794955459009632473298960317211395869328655505841292106245324683411370449629340209213363252544499052967815955351962253505901898299559857913314264931223083683855613596172703622025264124969155186401161737117678799219393014669298120740315689319943478384656277844527799111355136268155084409253516920897916675968403508811531063362200849037899372928105370107122411244648451961965897782628069578627791812907918588573140751967711937131749237129089794280509368629944254388198127779769182133116943798827936831417782800658412906267852455780363829263085347357104938266690489624896962344849584056238360833922887336625177632472370145692902860906602586438673045331630244429220548622734547608002870816531232203810107787293321123085990456002392766617757665700403074833705073802483236226860337640392064321311762643160567933042285755475406443907201573064696338147690868642269248157391120025674798435912448493917800949000519299787655620795041082656492931608181405790708551551532969778788226486383757503633685307950410213757047916399648262242317058231891277207072658911945975653239055394713259179482101270097797634330288505945717762546822734803099516870575681867797600073718854061721874022257351442566639861193284483055973006119756973867932654583792715585687319727818092537995351502729333714541089725653843018400789185623257392649695147743799034183161122986915165675933465278576058977028457655951357048057430919953176523791831030821425723095709444077750674339589509121535792674095792711107532033261037724043835529650120809428560183337702340012980352203259993359637739282284657489765771483964625627750249679123659107185532109006211487470289848449014691564552774399746190345184365835539993848548958038963616746175179878270981552372005358060140269041561726254311391021063943121690439107309263725807977319857017268114451315470642860799636979227555095344585525147815400370486141947967292144767330811063472846106844160962213075345348349190361969905533296238360967586907633361194924634144611562541139368926269250207065451715958012273717929617138000913622905124214411458580016580935638885695422676058438684374917788758324560378445587554516271368366393551549847026775431275768310392343957902379567543749274946710221516840959103099113102453636879318576546807159753731001074330397908731065544759168392131563273007433516027315748141484853488135433247045887498548010641735192974696220087587746418673137649297398928079199726818761362409726563329740371452996638824818096663513654776001646584103117142529378315316609729534698067266519241489475410020344747667040275708218425005296893673561478512767510171108440435321429758821080013409135916575528837622798165710953795204374347383678094037953182506786156790302186156051248818036173469766688487454084853526616585952404483127182714917760832803924027615109887380940620077583685784828841507107073821478744333017192737596462742346228171893892176658741141848173622197128120935645437430819794603874013186077666007759075233044483106072390538664348282635447342595130471415115934967642889390112098207465433796010865518194589860430569111644844371496937095535415572589400056574934556206995226494640578507343510280067854784389937663530203111658569874900449747041515754777532775395917350359733895537174108553476305589316189294098785936418365576899523661836670475553390043059033255805451865178001794427778774669547314509813057550032971541470942015246206104237326668709311187368259367996341310815273411891857683500970241662865537702282486081619704975726761146256886578134255891931824528906076815483988655680246098508667643432849318450312418691975308488433495472803563129856857609313742358648061001989442480086000070130183999329331177038759602764612458585987781224836286697718135088061115008561183541475406025640622481605782592814593911023804647240313692901422725915485919099861485815925821512022129521076904724874669808308707731257830526004976330044436187563772946567716426512134793819446379782375363094582484092127589669579880884467385217527683622176501243614210856128771114453433398448153919337112431224905007664788501972515929963942510985652055153970180305538241658558929313784968470008379705120939523742592457891985148192397745980710343151237353360568551925395028998774500614502834818291587134912307129663659807462315579881635324499886015961876707851778855625426124872092577782816992306888343943021339870339762056678128828178702602992216696697280392586401798208532532258996139935922741352835565021425446421640722002967409118043102840775699920488931233920539023925353320651800195240889002953986193180793007111088944952178584399628101594846891443676200588547515756271993287630805408725872135571214186735977415803565443450869202830146870090556381556342385212463661925710201804650774794113694940899643305043802805871522122785142112745154784628388672869862353676315885738666904394262269128110807147217148603349044416330392088746246587679414887512691700797083264038930173908863774941035274842299021440640538920489218085515864993118296577365636026926865777511373921247687267225789138857568852621822546661835725170632854516017729590869794356854205304200445618791529738740117765231520863070750573052066056763338505355415414149807459905724785476257262060257896007343398598617982899553091492459953404927032145960113292604344669019556231088026458790593947932540659175717958549751171873164125769274670347798764643273954175068853833470226741155060582645739009053632711966446033554278068142602087039434303587520520704981264284522615716439407646293046373309727143156556836310760615558549042509134969504621316596311406162343020713964475158034178435418385070130030104328013856533736345099977105005593996397574238733025025194164191181235680661528832839642735067804348189905603694525244545646994476326929038731010714031737853031783917560087056096842658111502732274737188089238878327464313721922469571130563943323653335762436427520858449871252029439734601829652096123673883572047348632130596595061996064148796596155709677558393822899341157382294841770523364028139483744794732727616725513678256776059659192859960498535477799206575813001267212680259261647777524381012204096166335308914574669550143505938538290520100220252575831668402710642017218142130970672829028216232413265968282420288026874973649484914296316515499471065162875761419596496832791606037830421870483111639229885797468105540956089937089681806050585543051373893030561585637142946215355543297041773443930299120805165387612548461966157961913258627554015780547540216545017346831852280445061687765741016294546336682381833738293553195038397822958776911564691880393108823499987766466693717493129499503457324075118862727666710521099767039983671410665769754319346252154547162100166453670171132095342319128502568208925862453499167666101091827299559119141494661062617194808981756180036462899741842787426807223505676372962259765619446588096416293964513161210678890396952077273736395832422833293920556126463722933689835717599421164501592170130942079914646024369123214826596013982741569087846770076290537108996679952023971584230689806377540592761612852643094919144757721168014730201980222327375958266956057473375716154018072437022154100136985063780843151674060511192444408596149800657959272688154218745104167552673711210228051924554259128859212407191499266402721900872586140836924849907717214235466009273124583346742145281183120317056421279183567257747713649633394167497114921572514268673822212655091219572904478170736066708332480885316933030242097291487184477381275443027863177392059704510302477309329659098311132169885384510950179131286010118784842149160623213472809663575874638771657058325791533663946853088754518723416801624408098042275481211867738383668422480601526820632601136577733047967734140854273757079324185131731718086972590513347952616738941380862888724806668873128727091514874968959754852587600752387681394547786835756695326880309924842785658155014377243231233647289824113361001454456549530327955031296709759994842577538448473143616064651083552742077249054977425181941541039720698336204934658653175767240854197226978588330033870635028119315060454287193531197787981904415974994007656122982183250637065282318717975636771199121277575539991673785694104882113854425123261613023859687165525344139310264221676448833135823576785938614355654505919876748499626045169693462756878993558669233364315421542944085952464690729462222038407417236914294573471104376852952327593102443711069823741405279717151710004580876051610214609008360322547801527548447706278507934034203616701384154536911792203153219579870175370499397694875699038959442771288961273904750466147380253833696879426396170364659723349973243289619440993399636825399094149188190335869573527548112338305107741522556079085524993127888554071145431101599452567271601131081390851425226785960754079336652100706720318699830927144361550541099967802991578004676715390437365675242965601067607966288866775265551901984865032205633117658668786144567985580988854005682139440645497041721315588486480558940903899359799586414123419926373106445953672453285153957097836577619289553973079144813544536970020436078539941837413775003173369493096220176804812423045699229957116537558492530099560431574521292248666392466905793495479193380367682207094758585329789888949208584931776362727206472166779884240973022790665491945860197537148885943486330705954398530460788983081525645688787863908137520017072273325159837242985972389012378679882847749722814439561035196878474983410280992013989396276483050308095662448425816136411159388021781703384449261048463660707548526549222483113162359411229687568522502262164727169905864881504053003350649922672906427468374903892889725734551187689010931151618310834666754404267448961273320537394513168390236305080231321424798093875543273435757668159171024971016365772615685663071550415246231233180629382333675729602798802153959547410765105602913305379432985381481348510239835961930074714650884537964548401860494831106269402051441242892516137056251219921978583281506788506195252383144424057445325764225796369927724072740191858273339659799193485927792408382508610641114701431383525406581876048882920967699769151399917767892720787154018161457029536344402826465760194664961501286784275347195887200431821737645507595209314695965934333351169652171755297311744621151081567515718078413630461613620108352122241167188262600971576671583706249722720359971401951568254258066312676791844864844787523893210694144260244879194618879944358876723407797195640443637748879301455877403224813244339039016747607414892385064071408020023092263460515801394163298520742638918201674813497530726625213851276362508185926646444672615057406959208515038055200726743986068744228110633948992427570082044294284710697478895272725607537334290425624624280280165019151029581924870410647789057299634782459999058593999501735767949977166594865184763195075129101324750898220239310193671867249310784420316436488106353577627634098045374893003339024992726369863537757203843192700620304901070711616676571313462903007892606080310697019772513669248271957006279919552479769747697521771978831939619187731097771161556039271301403575675804840426906738254047664152049692135464442517805936917129721706042484615867741723247537694539098433861282339989226376093656010934426982316232911817350424176812333627339392422954068736166099103343937813927691728631180361829589848531922634768330789927525047400436515044225042877999024837975809830256088621851004767570540297565705931406941762882845760687195786497627214469597828430048589586928976172278901008265504920213795233099987664420862286619664432242345996826024236115908984633705765528647395588096748982754563911282737340641440569122090812792807530030413842960513555500616063119746686674172561142934556503078104456261266085724173658640663763503028453627979070247724889375552537194513608893587993943770917591345624271658673825066524220809576273075457795855798944292235184432044684894926486130717186200401673448225378486543304134649835055258139382877680111906912776135320139677242451904318316365869419909948356521768751875153909391030675905541793646021005530379821675307187729307915645116288029667055057349466377114870937987199457429378283549046002090998713334208413046077733667976375297939449011544764223413100847216558020755055848645438657880780688048884837978049160796720712011065498411104290239729728893724979843484899777066750102631823585275777750930268806107302949751130199393843607935358814058193060272960624894966402699514232725448494021588685021568917132806799280037549472077765535658990644112336546846746773334011661079272044123041192611988487025605414089368836396827417826377893573755865053816924044035602996110084057444486478251774207672592433942993148575850522137800632544859490134835390924712115372896685380582242283011169635075102361332653394787942593412998781836111950489691272890515548843188528599594385608602000888431469192678085445451401000544854519732318589167970691716748622495328577561245395871238967211700838324720369568245878634690437843997262702832067906054291154777275051867770006360580766872626947398271489161448002551153401258225767284319102011046275468962382044573217887323583073429399300751998261924195653541221513417737469484359525290082956869819776084555622984886704680793685881408706436610467339751606547155876954689120781570244096400993371433275640975284794202143367180275310376526678884939827298428309223482531882070589648245961303240596669296123878778646719416209469921316306573230006229049004041601411479594188194483794074538576566030470650565011462804173301809608932906922764937290539172600446244794024355799554673527407210689990575353268806553819556031620181777274522108417785698105421803408935504321739887462377796951445722480700775992941586128836902899502127500383053024924426442301918810915453673271451742943601366143986824379342235603977719006443443963380585601492640327282964060549185872459270296717453884577959305244037208155085603981647946006098086214219857979318954612959278807639474466563482494597523813331894152013478669690803742417641993118346713401345484302489876129572176098896127651909204498865685571336253354505103534234767258216068903016123796034261720467462391596423318722525325439503887170496384062184840207735362265789385927347794736001244132418515853676277865132573645273289997647058623777983844548353288149372846203575487697398203001339178289376938239513735513426787912000825651933681082584276881736387336913126553558472677837604400418255035981076358797712932334557145627274644946781473951418207477516884326460185922642885497841689419518791643917210825871583839661266227438113787992509749075308467981248551416129826155298257178270290930129795609658770229961021404232707099086958583226268955576927781935151474332701470889171220241585362592769083426025583967076263266014099375952007234520458613903344311791281390275353342767844520626292430848416986631425389104457841273026826709900405301221167232048150400718725356157627754270141976674752208818577931415318094377678031128672072482360902035790474365976397825370930095079497255863276922103442733935613246986154341088910332897961188918832283386660145729599918597081117214135316340357868407530827933468497268560120933764478844300798731689957080503271577393436464473480370356804274867464840185620801484885753486117486642263062446877244652203273462589115075360706770198467336441851511684994592957313446092196360190870937047765153511190455311138844464006699977961308300189362773831731532141120663141686215990234352641144358955827423708934705253668106836842929869999779838598713734155860029114507889833500200561187593347038140620866127485584874817845993480483995343479541068139528842796835875921792532407620467244510906551111357668389960175119337046597900149983188885608699480274971863625757664259108900966394142787873036078927786569084931572864815413544157776709604283692523838275489919231658705471089604743522844560206961992044121376795789199892893536967152305212982820365265643452478930224877106415179930821645186331089324391378021450661701301184381563716618989207474274707356255481533176592050012889131808940368951759993985068018316692774757387324934399244971309891160796875521685073087019308276458504554022006454470057280495159857276353669374166880569802632993690245655025704338993460423017382769412680997433366455656309876109054306460245248153629087765427205251711117236342233526353181139468999730875090064060879566797160484732830083245272103488971180803448608684790507803203319538802085439731143159890434313487633577978779850772821463803193284105100404923891731218531184780769767108149539398689845719437805153673393099664822864429644371978142865150401958998899501775110189065398272291639306900802410906937300206255284709022383700657395056108761605575902061720849104775542716172291837660933456757260587877612947642049269776224956377099299700550353494808262719231768153964697642117837616916624091578712827037460258674238411103278699199369416027079798212869193169601946342384489814783987091749175451413273717104283072993879546981656028850472028315584184291552799483426795456676588863906611151200301180065014248896492456366519686205243477540707718741386660457889029025230864471476279531333927556130819266914383337629688785889392957799843274281021881403509099315656340670414143460830074912522942280622964814304148203609746596761145892182374950341989931454538460791773956818156658567331165643687520622437602269170444296345314972297217993355263410002268968126085152390156347288151258526276137789083032873983082204522209304636225305813428204639494178909490955304611225160781587049473078328684129633304604606291332948969410523154274283355351626717300515058339765515781082516848680029708173693749523829645238217479773192940547666078600769333309575037726217770686416873420295695142861513039224436828400603658415243960533851512124256756768884955583732365162065402746084407521909990456753406219995170536333903854735021099448536297759064805955040371067413135070384707266761690151314829437325828933709198194969141007520107856634734177689015350417642572894835987104100103198282935388944886357001133623414117636033235641950609634735164179794138745286484820612994152776219104171661543386746096355470146799705033065998892461775416510205885157529299590908454953822586345664338472050530479104039463763092321624012933240772104743192780275596361972367354991860089393583500827103227570556415696303114693724427278273202417547668871120230987010418757962212158584971100678537008793796881266713159170612511970661190643906426201229180795491929872623117485311890596694241990358033878676213975103061037010766184276844372756323614927584201905670295496069964950428948493818266326937098979307560098858352874775773721859142524054360752769237186672481490377647227589455755092186484057864032341728359732907226745143367717553046728675704650262646303938428704271171970179611101128648224575931122835744473639373644829311027325724852920315755127248327981521060534799267450509350354126500605171244410787864459826633196415629054897104010437006832177826766707982748687292277372960407236295879946071107942199657484589981545227178366873836591942837014469573041811484795597345307182153627306137613382958467539787055166076149048093589580078576440574010613043620435081311167630015914446454597906264563405916095659520112921580871570033116609696296375425495399192712231831918900589537255991637195693648253134185685929418602830795517066467487399014724941354411071350595309035643254672383018647218640681699997011649875101016715622590830554756353013317081387387235998172370815659681111588662960519031777564511279864815858407540644691359493825680123053715641399296015990131903825909062083780926312765968818061417673631284659512171919904428483976069365066800794269791822087191947025256087307189779616042368394001073448944490336303199773196632712967016718500506928957125766287555248024628471265769971908808706440750535026529996095705382955496150405611684231722091198803695142605694420098921201251141487605683727390263784941945751013986531430866071845180874052573903824432927753642786306928083288710372051755707662792006662318485252838232311665292806663436470951564388064376495532216305284057077624205744757180456080499782026866150483786323768193789476331318106314299755298830953141066927881452774529207453885907537935320152131943649188882810780608346437171090603709857420972570332177558768107686914118199802126327757121736106969852569413451863615531634885644062241922058830979248979247014131651070208454538185532600626295203434146065501546660952081881365083534462036431608674971588395106727830356943237195291297974582776203344606796253260633079807 is composite.
./miller_rabin_mersenne "1*2^132863-1" 5 332,20s user 0,61s system 99% cpu 5:32,86 total
### approx. 50000 decimals
$ time ./miller_rabin_mersenne "1*2^165958-1" 5
216780594513432683124819151003705847247119078861231248751357201952101298718390806964859124743583813196709902361797131818692174304108972049395196024421445361463388267067785928273759543773907161759060658082326990519197134393085632583086440719837814606226345269762755826216253654676834848451798805352061736695007492624533225339112553863653986154304502549173886413939904856677774339177461430056719596004258514780409727694547246522887388651105104361006149854408400707844804532828389602980085039806487000565908540285635352720122718503684385211159097228441734204514359262539024027275008288790209180426018853360768713325593414020189039469722728361153121824680752558596892120407694455220645459570844763621204570682540530877417786535481164800958773261414734240988500525254006659797509728360751134815853219798405504666399939432735490003209244403287896883537257829743297689522791200887969351567977970596374338530805525620918257552164136349019165864110404887803771558363573676519013228802207091313024624289189669367728594372100070453327852146438909575677744983006131939083602189667631501398042047713355651378592811373196930066216817731242319853333132919061529082283313515821453145085216478333866509111797407525727482519577520376517497242253573026067829250805254193966393934618269467688259506024899177669004185750091271657083244269382399490168886830128184840151206158704892621723921695378389308841025313372709207391781975721538118153307526537151723749689990389603726106702373991688727255900188070506393484783668524480507073724086671930763187644995672102359535989236551178710158103848645449096469217926234015496108676931265423897448667180342498799077560856033430445866808463058652929728290924819572612166896345770094146919443107815467114741148156277694072240931944523980750112579083149755256604741189992827977834741308721400272389761977406932535409773025365397972056567154354359716220073854011469734419881506034658841406723722138241109867183102883947232236004134573891003121041162571066229014145524290212145408104406995804153225869153590375145595369754331784873792721648717590253164211324051430528895129411084023856266367496098419555218063590690994304167498714494221323412290928526426500634443309366887023645381231301989551152048344955867017677990934933427864227930169598045594516912028632357361805506333680748898224091313730683583678573498404539937418275710772721008936021923023449628982539732963373465260097173911742015293400099189805923453428651810611572286493048765421210585012724322536039578345608527727487775234884481893911612438770133302080008020591222015681217882426996290896581796736786351806193721088898131428923092095999040549982847317224997625585289125450307770867254932270229598757065515878888929670429804327298382365656593567756469014717068029741047745635476954215486408042805994850275273415433040926707451899464558309073171990252850348408187524942733004570244097722360069839087578351743169630842842029145476135823148001832412341687711854950329402274070611849524387079350080481319010256254645700955953778606179669082789116605686550346028513994218843121902488538527164458998370010142904816043760567889537796383606694053341953029776718669114067256475560006402016857674205534522229128313051085100542425748531154300665893478880019617641668424668213676378165395210888886854673873474179122885276522041335123792492751010786717670238209182272145436556528989143261311283558381198418508160109970561607122320751564587749088151716700897840569037825906867072892884214550654506465987802505310441588101955923164420480504014501452899425938307841680330508370370916739394851169129945859793362654679651850358057243679919226674286400292738975937966439362573560116946028012051469978664821789040513765790003464715879711889932719472721890290186607965119527232776952986697867705653129154555811937558312907393695500344458789457870272398678684223086222519823561066498526876248947000617350110581293025396979311138579143820276382485750652695456661018518829251450281467993225705294080923928765739088798797884712586464458728923597113886892624417080274286617382643732257687388180924735019938065324219834646114469707355145514384111357096930174393845585655204217925535716596156076109054259119031930238851592695555679211357500315505677080603059310666611477365467338481954899441532419470032545836492211595966293515188999848062978192683755229609429712483461860518177401280618009074186722986957875542065012780368660023104185184415818382625942747031792769931607606521715814464745376931134310910659441184384251285248162441682938014252908777370296091184067564801385232131692063018075650378764923468585530982695133296412226574208952871086590435636945403794008525415398911033519989977784717112603476592925030018754459373229982480788384673174026802229328038156062762320849718448906873177146704197617681187008142105830133643298638731649130602161172590322914783570263451829964621364201732727446683137733113039314430935036964768354880426986961786748278555586738872697720877253087409168286351471397264546233466518404953868886094745439612863285446901433926436024997325656253166058335523316387070892149637035734608610408970365832889250699266187478904455247976320232202816308668986788934961474432969838621087616906766324256891297729673623554322994937649082089300857650780162252312289763200103280025541392646851498530738221568044605593768232399788727736343268013984797755308254345423194537143834806554750922178861454321226202735613347901113438214614733605249820773537639352978305746442792646041270654488973778785143087148924637735145891010745564793177837059733713735863012243189917351729084313987963360613910203026662421170383094528248883613711049813169401200342206467008228812957313930919422791981630861658640294062028188366220999964724724343778006140808936587409209126600095528146727800498929943438276130128043656360213196156272112652676897417574892537900601774927635344247335406398628208258849109178675713134896576962184499899650070560427988558365047610626080867237207953952157941577090806373722460941907231844259041850298231285793734310275696208109618060032183476337028734864242775910396662381164935380491262860535952368416636277556247552845790602959406043804493757333859069082636207415855517319799909955614124720059985072279307271873072465975376840253704003363020264107082185404508362278922191509733486348403548407930615527167824737104328142634872630708111933069120238008095278290648037326713855668007084339903997783468130307569489061719313175911089548057506311703842505226377764497687077238840420164247457768011652044155727102318599839799063075499718031609411062568713680392494425147154065980891268886844769396529603065959224794161874309065039719286821412354011401766398044893106461727447028155294293172416294071049035181013216226970985289453014694421626108496767313916692642990660742434462554393913789733024211089428644449230974188719987514235395941475732497178656557857216988688886429918035656993526321752467982344298022866499791455563616350903606214242096885797294508114805750936318835796311806536098458452753480970148387916981797505298560021511323461170224252101460816345039560144026772138879416784250853273215581576710948634349568211893806691645218731297579360448894835259297027688782059347840261498191749698581094324497547942000202688912233248943861791481850293897165854019351505797281224519651638106120993678163221809806042050505037376239341890435335018506243017054278768551175719159021419338253876725304784405676756954119108108453110570579885202744777396062843310268506330959348446044577449431171251792061803596857976571952952644543229008174207652419295792925260543499202508157070596764679593148345473467069701729752502835643141788111647950582249366430039862400924048945406830159635691634930776753481642533894201628017580039844451281440091439011000643983425642000270316967431190982292509739506772474480693647848240774697909532881849331859208981566467604002735116476275081758669854055642660415390602922118592016707185903563150072462743216652846480886521521222278488484991564852588500510759659464841437972132282823252706605347286152109921827145573257959258856994353445875430533688781790091881998344298451260878614044082415183873924787749229008871917068541656390845158372163866643209887637926537436108206496450014858250459536193369016377920072985050204030756933905479697260266125108797565394542789981043036819826725034436741103098241066191600323896555042784793475578351115062353896152811700530570076119592695715281201347777433518684583196923391762913219899387749273893222044041998116818899025898679895311898263779896644272290120122164944417157707077114595225768477270795883186500537841650023537095425434288218718757148503915626539794366178114825531380473293844613019400448040613095024330157764134257079963784304052299341243501268157788401656414273224089529333739709281850079869882176723886821935942109080312045930325369601984758882688127236050656149123604943647653479414075809557436185638034655866553465967424406907598032192323636711472020373922823583923741996142029504837189874868362591247136627951651161906946893759205527817442406650059285993527454521909085796649467132151035111728255999301801791274977183828952183310967159659470805412169016730708569471911683384334798791426439602625419218950489838531138759031279688850628354666617801520864735878767954343574600726023825763021365830425563724342934264945041421395732070141787439812095483839272596912953890999977285714942857152572214277876777781850904513338419562842874862407080010075569887701521933270230412998401155972371466176784280324386602672316217880365326014050924973377227686948865732695798060706306597478710782241541711349559028036282330770250590613512408584303605074489929511819085138954719979964857934679114859729993504867608022146768108646205616405958789564567511797028279318484858025619931676242570682987293194804827816287771412342789693183191706116778767324220740605134202685337019399302078766699469937777442153253796143931442778215065620844776191790242436562229071175028109349197710252398645358561053784614410337386707740892997004413703015878845644514917170893262986229774532875672782946946975045908474176271461227591692066082206335692335198685522817964469994254150028142898559566736040515744116600323846156135162447745584998840244784456346012164526670228384020678641509514758378598714089558353493480130268176453423686805524564188055205632938625158949430595134603453822012327651679475569268944603391956453935154835427670923694999720861056377748798921501805727758934132336502074617153120283327711142062595817250116012185195719539966639534880491991942132345993994060174759942581099768680209441422338608289228031705292158470797618260460795111131905032348159048186916141281924042820321402869942226139144078772738306231801521701976095912346936884864808249723982122660839014644488324490807152209378860029725105429430288237801364499747723919937291232555754541462770127775669654764715071149344733405629183393666532945419739642323007617627433862810458576842108933246132546944037559815107501205373924841096394273610665734783558517505873314568193282186837762059412409118846197046685956175450023580087533730621061881180505329214758320714116122629088739297879879574584912950715062545540876250061769001026560000170233606794516298818107749855290216890426618017113359057334047461481364914030357351707721796172878784893147947491132650425534755245586443590691498252907929694431577361024818764520246157596641419173922253855505403667540532783660973796590442237765958980424818671334984704408028188584168280749795810943973329806042296909051905075731481182999840100834476963174769990997157301353269380153097153136559346644916216558123789989592715445881582580855715419671237319599391052784598587234324646305374786990030574299279363983021138246464830404999336175085371347905466972457699931642279588078472119322824095774475170495286919877852326034225370286241801406633824346212115043840958066575199764111417467249576539830877490366588862234101227756068378431355171635594766652503341491323340117194720777600919115799060064070905826594013047720287598803171485734679937650741344229862292002279396164178123780898767797277480270816783435228021296268727703359233800973314747482741750532828188709961036553154222566569006695795729292832217081418473615584662032275674705831936591314964368086605818066900374340698585911019342036950419021663898817850081099530967698839505282603900046983447155968485160896596497914368338605805039963856367833978803280553118917509508917151932614508060974849932448398138978865603618825817233304779497115864293772039872378929012148683489210681944042838199079851858971936000278337478535118092433409098643720609924065261240160757485480413662172185343917900839769189030497319020277595046442166561672810088565810175965474690781351354990618719934084995399670287250661935571251620302738877765366039127268225245086670386302963512102603281430051532946717385833154494080556579519204457415358276363036979289866631931127783469207657855889279122807071935453883421711255631008847980101693532128072338434113813687107039553393550548288339408372640669912596583558744658524015392644075068690524030890657584595106848012304053812234409803189804438854589492218252148786312132458689664631124516124998617585231509307648110019003879813258783256611406024786589535577663095933264447685038059266341739401772531645484778916672600477675756529301319191409452306632578663533696289366132893743339794888386094425302147738873559480194312695297711013002328691613741671361416201992752240949472987334162758359600822965998830704981783684463864996630231819818920751286299263042845978295319276907755414291821499241145962902301450065448968864720074765652891632809900502124621340188985431424347520622202398637914764896956425470053453357790729021761168920304957425633436060077741311440800432304708516855338963973665579961320525432434675655994588303593811239581430119245863567003909297016682741332070531274617067970997614978529876981259244453696986771279923180562020759984412075517553334579181629505819009424006396778131475588762633943005857822768349994720936144147852469652721521446378417522864990146908067611924073384844782919799370909538086210170298119805099366227399279126168954439115428357433578199543837225638488040928452360936378290322926777746426525894768171365661789005691998653924288846188154364925323492317298209764031905906198238538546243296390817965185448266438528454907738304897939039057176878877964213305291507045135681850787262180719904098456939626578892585186748564060858926971632870064281512542595329938702269191621104127412723655639429350617123174618905879428046133708861981884712493794687254607290449598929139016964790284155858959113218554464695439633339788536764884484521448540125504176627550457140670067415884256939189929460198467636241230527069099955876993513333862403484912007753645291107908682748998571921840982540387799982918232243115917397396906682566735718734674662259512612796890499527684481888637524198071150255758091345746578045115598860593332440306283288253232564678598675763644987093450701597613033860544528046765723193794173192958974545002267645993151413861412384295938175584947129472355348385223914072723404079708940582325175593912510607071409471985268533166228421158713695243474203170901008887571847794557611833908343449040321651989635470990025373437910646509198100632132413136563194813509105247781883246356830041315948770852494544504711080601628130176580344384890452629264106309126825415912730968027290084988513357788706107352404719686366824578864535466512328280571885711367610662720320489088668957150423618136104999254897003985824342115273410340351965011744759013171761984642263337250198119612646220585847565398265533857811239920449621239729358938369900653506980151401893269024671526336730688998487541685849636054221243871781853375851651261561674792929938808543197606199326492421684868131269664005123763682193241516100963664200683922423932897699092905901144027872351120600993172066269307529851391386837812560505949313277791982410103772459549706903837654636868571886530448027409774357099263407256230691840797703360277031254977564580886821653879195792793785422410519944317720111516442725014903037450076829100657061516268956893080389846934953039727288408385966683320581282288143732757367313510327373652068579964063003365856930697256366895125866279158199920441444390247035510711259328354004346787710854895300909744700982613146999781221426117451322214586930562390126378297975145019463814892468554210431283759971721352613873243996315544414808618185630011921679361783975671999726624347884018054958350308435551242329499571605036330891559620549795427911686091700249432716450278363748697223955241723435989952493376353230872716854692878681327223768664543925773805188804473080839684633283090827952616920479573868322059008010817660189520235162795610373546430455492336844646019150666063240769823950188125981093262630649283234385245068391797762315751586121902260041044678319077127427430651199595700123747768064864631725533855402824989583209550452783810132126509012500724734826012078141432794109242638490414166311263342366217116349708022804048988904587937331617471049708428274800159262093319713531690138388945808499104774270479263661658207744601338923928042685037909039606376346019724072363221076633763663094144571252409213549985417188313716428942072964411485872414568283894750116584172090606038313233502885338363013408878211623285849893195855984047162011733993592765153246173016021219289947019744898699757308940038945304241805993949797478363741941426765664280198241905564870514831103365548739716574770475109238330787306451198952697339961148735616838540853179075522383932840557673443742927759039741572627605940578496027077346657554909487439210007900922426497223367594806081057619984449419227730130044599095105837914411129609710906667945338328939849436147851089588772824888420009283756755975265924634823837009926321960233143250840891407371492232842727877031870969983765796159760287762065765484371713648138797206498451013429205598505548049011940058050459320740537467908760323343700929974468111226371738482648818783176206967393488295323441892866585933755753419135518225596354859505758738713564104715966436875450805878490057502421225864382791445070422287816830243451724019228539104800604128039400087325551511078844233386288224002146117000891742164005336889037114791354589658012756113165319589218260373587687191422604738390891779705722178971847090554129063344583850925892417493145783495468341094215647479347539809950351309663301312833627164005605472054381208308746292170439697011386319019230435338357523118147121396838973731569928471316080944111124952973356513918708423966132287375349088272170904197767933791436663137768495224331671407829646622565985457680792905082421133124723750774015434314526786753538354374648729891125309745620096359367967496900149920624476658110969593036570299224807442818116848548950226685030713015855213647425626895524178064540784319070594399928182261483045966711290122707750601720448193398409612017053421527434853578104300708660141213210775561175147364816785646190009343199439000866644380452913928966642299091226843803967960080408829256711303854060249756311781220788263692478938436325025287533750607940136986083135508678027814825990576533087194597597957993341554300633260867963540535929385558314560644351453245010410203246201558479666311780997626821619888596271754670039620580286918615616810960221439745402976912605527470654454295602997754292950393083947430481454916155518876477645897360471969634252876344860003231041462389948950486019900835648931530282097540197100544775033318358837300377763475380708517041709016393187002781710535062401362042613693166955249500246965331960382350534300988151546246471491688373234014520676847200414453310177233357309686357473587612102170027506536895364708527746386386392714455445278705599439948931912881189951289507117646993654510387256518513905834195656964344492912771920084812884491922175567711784790843143083438081313387554735957650463746215471573200468162200597396662680493620627647006505781859393307238398082671376027077315276424125044737704406608016232830906615029747035560945286458834683796058418596181306297318726564228788219895967304708338677477707860254150321919520970995590798838626602521190668505978430564164771169243112725928413172294735511740607250610065119330489477471268303539594270047785690909285029811684463991577443520491076959318531294820987544406596695733548029399641278051385484868658145545989533145642969987476947160326414777192726291310594219481138084886954825528885452084388821197213904332836944091278250758965060898318606742128922372773218745293940282301267904514671876278920360988732368744298236334739128860236161413233782570617133368035826472098093192404192650240266879794676332154105970396464300383691723552119352548705867506597158489043774594479072349525991624852068872139966784440227145071273629870389789068857143373458097548804019612306380214343489757575541396104950817296414957071220995640818555380668600762005983631287163244457181454598837335449165935445071015544904318409124240334088016341649482827479891621938439987392666545674760003897673465405344089185681735498683822146029242278060324517208317871408466128673393096400042684907738610822866256905495819447321246263366331156143619187139263782865494288629842323278747857563915561149546491595838453203647810984006888389033808906616310550433335680008265436896372609888974123983530469405355649526653515110346199215827656704899511439016164250395150226484659298814732408300173493853962943725269381334332571743139823981556589085724611469715357429937750705560523829642839318068400439669420639395119653097291341286399016383030874945156698932161738461797672828726329861774043080348975896744467102165294108853845960940784611493390229063667857992927968270322808334586872316334168377913144744008412689179895451644041841212862393076591517850427830423784823280312472269197966292043616523608043080738236978025748623527475904916519370185807666325169768672414273175183317152082178251906325645576779816291225310622450157184963957004707710495150659283388573014768487020096508995459039478425314263099940557580843542808915479773219158333326270832716745479761947946818102065185788263951295052158884707421034915882817794383420782739698319713366720775285603315200317291983220378429110720095879487713799209053298042193371575521356815995658238289416835435302920022976654741335427968359456182762770342695878644577102191264912423488203921556340626360727366836407445887902145325970334257128166073578644737256895005874315269565562498189827962143635082807342409998719212483834383039153939829116380759210827045612897870907250707642539024873162298310697243039504554465238198894525803029900982907522118781918841126599476056432725914147160745330708129604948624271932918087216801352187882685799942577637884142660502717105843076653725109436516141818098701171257453121585837863459642757491656748528633325238709457684817839238100933241720082227145056213516749273387402450472431942982431843339718191213820573205961844531519640369735343878299315669669425349521159845344347421847531748669607855125882919183497551486900160150332142573032329341754168015857749745163231841586826288587433491484160773347077763391644961891475202738287945058867977618768492607673816722955538814279063852082963439321365621603972424699885497297742770856543038961251750992688469221053052992193504294820286034561974847081666096893107861356061670779362193471555490555105168193800305942598185762857738435140169744540934780418609010193124814718755259527500241041037304445925828357191361674409198640741000022046370324926842942394933327426078943672145101243864857835165734115378582955517641598018108967916646123777725637372279828046935537785248495554873497280368772533938181879915900919739250131364148559578807727506295333281384304094834066372316085526182441804113936002751976544352720393504703028627254999621324934670365537299959825157153517915673872031121052514289000646491958662436062053484028571791566688990814303476502983812654307916832481412127810489432675960798467785312131936491650995540969889471810764009396056099086953340745347932442217059616927460745856475494085044267217273217016281989939719113990807827658875271617204976726046196574568992153997586284810378612080949094748071412881768749420289878149006930142476970034555984801687957506846926538119018357425734942996917112938915995560805316390325718699949149145248709000028201968208716226189901940525272785966378763451195027599874260545838252367923392284913052332927246910033802251326736745492933227296803353766662659227029835926239155122780942189447150152821494864559582676930944025673789240293322977446088861857753540422684779818665411528622333760433343180234155361776308861244062850334431192247812963946961854460075576462177723939017711822824190979530335234846676802621409975297764070778233608066678909882454468753351315238488197985459759802039685585696023889473508592602131939082250012782340118406313685765097374785432052751124857538467802447198057497710330954534494335335855903459871939633339449210102361766615244304995210816046970372798702345490316631242056310247517655101663668755130986336988219988006427098492091711615993383499626025703639223156138185967712954954489989096316420533645465917584490172564264442275757256541887008838751302708445358178304033854194431240977532469631109123250916897630846602909324489853145703063689219783241946229722998396964737966488088806230256191925634044236274168196145275227126222643807682365590481983347989287708016619583234841179913552554675358310070087978042045952847384678354592623042952563697082540188392208450924991381187182647523110375472011213735074038279716469683128184606117368688600564848807698718036840676059121566179856349670052902336294459246214327217511133994103496588731191670672189924209299237340415741378104966968378199216200572098308353938842053544652824337402621009916459575393759553576427659492090814845419136254834821329392773893512580348693605816887973682794208152846918416482739515314205922951856424679697156869331241461929937937954868004747289054967953642521025316848179523689674630483043436027677855661393207019285578564934005749485500374466712794168494148593760753227094316195163208032155073354371943668082581811474031082187429135781925361225519695552676793834048595895864655206234368265616535440067201266028201777877865551917978976539383799373039018865505946051332176284015877664419431083013938164628655548228538877600815088010692474398506673231037126492679706413184557284852645857159644093457963958248514798352377674395073616819187162263193999023376438926654283864666011031130505909771578183497784338411283718057528375250280906146393702603852302922921427091030283997238310310493369479884646512314210817615443611662838838906512247977655116250518064864791709215441836921428207083368534819914420050733236322258455797900487372222362843994877411868591744314670439900244054420494311571528664050165113914169337867092623934866838875039182592310974054545467333666718225844694620566076137619405632121927440647921333738475784465644213129218455346731840411745641228579607986731125989673787772837269014169690211492224438916452995136358467700994974936276856320368819704677506775246419058056872519230861947098217303344875522876815568913939825441488649280256605255032802870685098690350806112671139602549012900806834179487003572589399623347257228192663906980763120507083460311817571716489482104609142640595858612938441175864723968999580030467661295378853962848735566162163722412242956622854499365153555233021043775936479213795682756076458623559222134290810043800100914651823117465100445702705217279977695647779385015194925682637000434297564564270987080673673358904669787144403861025747010934998953959433660198693372363031636529357171576601129940885357784107037680079340890402627537057112048748430675498151353164445861746064067991415911977557211769873735278641506854187435603693888655067467153031311232923381400034124242614825984694484090582602884698223039060288085211500961986789945504599137944264216021786304604294114154555670301678815776171874515097717132285228748963855530219890278363113094108888632085900603450102616720611724713160301408208665220027052042970749470347552192800151535267146944732965168558824446073541368211067894295517247001998014167838568426937277112069931141347081568299314636617836289363937927973546563139931516566842606938240694878078323655009136018362057358938950522810633265615173119076976727393559345640260313706565673759967721185628970305479478253986120722963122216391222016679518367712698808282544172935873900463885910757914128595413884373093167683226924564018494972575146739399266849991456790017371472113095260474877949600176958363576166388807523939083997556933182278663089315110679297833518866678664831800833448346768153556634494255704344907342887581672532027850999826660215880527141728600734892042728286107642929035265189408780281074507951732427063221868509630199956471382940258130186276918966486837893280094423393678479900855835647864188482002949737550180936056531513626127877251383547857949476595538087715498838845252616212182506468228839780823120256082300247437911329857478429932085508574037082123925996706542163911326405642192244875106316650970105129625615145666496763769297125363837229106643213578652153991015007250091361085726563591307518173941435392576312216523700985129348676380063191965107270833581696165729834315964143102713395478025934192842807700733100992907333803868134438800243701485621868820069941508357560980206296110957620215767310963788610475683750769759988004873602712547548340480850836602196883814557984028214628943816271583825888129489017981276775955108385892199801440161350596121996422803574478862935910149295765316236454790408027941980165489903389320539913318331201415425525968532016429462681632658037179398376638217714046853556133237414541808031004427617452798842900546161880432971209031274004368944205657253147973180957274080823903197719442351365883854001855053791914890729902998021457178254413262555962251701889963416754106801015758940997589176636941681576447476637851166193130101431418771044849389901031835661583415690690158704108263481642177441286378053270166315636927637235806662509916575481204448400407772185308002464523824835086462262486035936330079244379123991425339848627319128074407242503993691240420756624466029897483004006837341971382641717870016032136100576270645374115237521357241467537005262394857854318532517126751839779865998460035970465696099429191283294795737592070731386920989569484674415298104041327573199315655349145921965948833772447468672019148513852903885727953333076649215398680502748189538276670000819542811544310837121569937904806816216861936809040988096975690279237630786917208171094849932653750613466653705565797964534230687095581099040367907004605956084514795677699994511925771943090372722472745420693404939562273164080976438492363929121045180588530789651670243024870067702755903907086732815951935335111515161287938490220909149221580028437475004480182208013622602181584100844505886956850568172674576672365078784640987092230597614851953574826823530229251490665344982026903383259198167291260721217982585086476039552089279086836116895843241726254723750198520899434717747828667162429375853816174727936750904239568616405867489129662712363789237146561889885805223342330967248538067460187091065556423354749457703874961725640219874975169047376409585347629945574173915460496438273044747856980399701948471703857414066468773941899020432294710371043741480249925023971659015789145622139356238935624375909177329456675164087949348282129392994743959166694677162004771429448182465196404461152899952666893958988120350215969886708155918923054559942485458106662074869531647977666420704759045620836527819583222338149836608317828057639351670779459154583734158236897760669239386460505876364984928742873774041665265134048824136651757197709032041104274295974047592041430976291321804528430905892620575458199692643358406568395933296079066070940176015991632087311893500280095600023160507907218783067453260160314011596917631127816916927367438420343025596799905892064299327167005853876547976128779426894356012950412931581247380853177561853848648723271679456706765520992110541685854980775911409943797823560204582454501512832017888772002674202876538086405719530566972863931623963794787338718931248928084146406498542146352674172043572012924032706991662844228971446291330905999695862247906673741697260121009607795773293770035135540404014196067980140253815325321506750920853575178657774253637970739402890791845707318079011737086887760591881495252016229276875471064580555639325734715092147213954107370972762246248703454607280798750263720404758168727677174307602352305927448737308673912041120906805160893231725176306637481269267361154621571633990626672639108645853845443953693051634100719662325191128505071248002563194686779147357216016180846017831982102787348778045838284309670231178107847232703438805845711704612189168496774058684247408373298656200224255063895012072263215131332120991168169004588307646708316911320177536503543947676031104688130680950019184428147368630298662082047721933607346837679029185692875601848783502691220276191568177267572432660508760516122190667379839461929700593031802548637938240587133689063819994165642200759701335959749163248680579117081640345437594649521664683074362483518622773583988775885454538229624074538727389081238798111288458962245982657860159911110658748561635668588784766009624082173329998495711083198654577586066876551868953581006111354959516266127385887315085023046826189228130805229488698935600654781664467091333092991396619418860057844192717135822687984419194934377702150816049391463419042566907024368760686375234355858152181846148546707169889316536442507586010319087222161706601570397651184148237617138109075263691259922456387640695869678487437309377143627578166770615010788333135053807155332781390390328544432445850446968519316127121752012216763657358862250013540278474624698155207280792932590309919146147974193936529721261769175317942594611654051424555131965493585229621787738271542048045184951675751930947625748995857797833297875841576253028203312870679574674278865467535755489111520596015265927794304667521165174494993258138228308166338344539655344044907226530315800119988373484377789601639826566995040728120203354912531136203663564260983036905287701747532110774736572282434486727672867530043424032600754091230259919891307385521752380020194414105425599086078197344253751827056577329979277317245063251399173741860121188934006497571063663595678504468063638010061185522285224624871638362732326496605173185491249623708609348739091265321323708927912158566814761510549869218056036418667583107533710280871218643215359569999741833962409049405286043263430248560700324065982323491487891119452833936462277523830939124032941189061504508804194855747849674296569868945740074449616550855485629988121957526442052366837065803495902630780420310321538502792415799825208747362299623649938176725386132144715370432464707325056501455329499042107278065020291371735837358606576139317834293406026224210691512124531400318948437543533149131786883991820894342874893927050260072221138846794311484774174417215011085524328051327238961990176973679724686415825948747955309404001268990336114815167648132342002300951380864531207095996218203434107590381949559092306644369642913719170422523509847047309615245320039827682593314798954315997621072478891450657982060207703684195093625736660771712266578742204162874992894504491720363396368457562668184188882159733448778778661614413860778534315242189272742359982496680741012686262248494776320661089218616487908119064373648183071964617482552238694273965506952766282815719540970747647457851167633035857921220888364288783064901406795968459961597025821418708231488863170973185956026563024021446643042509911045411991289209217001940171642669581975039014173292923876229563592088158887112180520142348898654193820694734783759777524929354283827595294082624097858283610202391091631876941711375352544097022042469309604823504304643879847587827138460289861409294774192311547953818750164423047667777161901520552669876443803611796526549831422338473682579686316759494752102030009965084805893274956288495890472218365360309885488125294565287198352673100780947395920338177004687465296887226390217267221156106265333800281800382121926534261798331716637503975648832518537868400020967365250794743217297527136700201703559550865652496633647730822585262664635064975383984656248787656222334584870131844531424646693356316050382396532955654617436295965512014365510192512324981865086280044054217646711777247859344556263780525915919370440105685339471046620109464922074941182620819254627987069886643162833310875727173139764600244118754950158223538768810142076514022265836551484963842572211017266117024624650035757147806170985944399476835037999331147989714426329519491660529464166876013710838631369829741823505007683710082234069773565774701060011959743971572374369413865464505931727038102569718063015891562325327228119073043193415500535180815848847906386258668956570209343916478912375259579743964412427501570160548246258962757158060822385870061188866197065381684438043966012287728047412215480213619199864565810999317553543877310374206499782153138672730571326249004645836648934729112065508138460208068675389141752430725086699139699734344306216648723527269649282040007487544025974798067111979867689178764225003278379070195271566611005960724971118780286503310973545165508106634209937175634963310416668814691502253841722865431554124975501576704111401078073769646202264918881290247611417263074923245770321826594061759775315410068254858011154167167739435327054773353976806869886248093414320293773918585941333369781577519893295998020553354036819102111146489688279647045792221678251222395176899610007592659043731219192955898915671656855178946074915631883947317083321731123342906739974932873374244570490822794663036787966019199651107651723001108037939713848391815360474106834332738470088930225687764991773650359781117370182404369980024865462499168225669646227293740664118383306946255582807894560787189993962596508708727754190052849450079817065614744968684272181349620571014849053993409065080297312603113052831131879865464583352547499327951476687735173951299954273526962923381226750017802865882088761625805919199924728451076797140910500085738311792611354742401345798224584893798289047450313648462583519086946796229059397113099930077002776648638938737236808765362069468650853804450065811299246055332902564740672241747059968453533805043178675654860560494742386456993780842282561384171762182993379873261681505335273493671421125743921858188026575830252610458020936221390002311310341571376582841440895628712917405934677473438331910034875231556601054806935626651236763431133894107810894233444291237725989444781192839413155771226134254944616583246352803435749667435280368846354355687537106000047224188062513641791992493747715208058221806901129188568420472276781695446949523313441026650839777133904067052916126560315862511642184508058987413384388624874895213189640537152426715349249629100153460305980712059309537062654264810179923742786212485879815034409541376498740234427828235418989965161342672718405856859546449412496128573565457848896518287608468241928315617618236642696789335019481501055445953201860311777938296857059577217277247894100901700203546215345567013888229913209943874355023336867899616075186512354907961947501693692285133296164768749491431946717354357475457338491536563347608818328627201384890801497710256930045563039104697170556937164128318327967317121211552175352713034432055384121008848686155702321110471747576673277396982128655518268379834734865378205756104751999239531783918808407788290881330316920003013778829319115150617891683609006209160678406419665185228009202186685810329218140405909097541359982137486365798865109519428052454727156432931089145233956211164737708838537490408349588638791531537002117795459968621159507865499343761938082315878874311290643058490330293033210158890194164890888114749620607918447957685254446962632705052429013944238285021077857217011956122340992973327055599267786008045349615752543677052173280014661604038386297492036273195465518012864509234712354900793700312594772518604908155198998190384565625107209371473474464014792599520412785262030247372428945087091025034579608677541590808832751287170759144086252839386375467201872584101570512249386558425542469205493993519741801393247436169635134866606370384816766270843209973141101886754486903410271867805531156947412257861902503972177384240201864489416412690532502945775208920281613299695891736397475831162113478333858314573418831087220199761870901692647299765959818110485369956195926414555861508675926450860356397207105582879598131172873417487379464633392422009035528241720800227427331585365010950002421976920184811734046230949833360410669646515532703850632419796762266784367268851734694055974346640389295384491221809737530821703246030840476739861202743253620551735647867363754302467899485510738493192393598278379599208576756070738120725189898721182505870974774210102878240920265131375682890634320167232198449577037737122650497042993806853209081474719652844652472895619335271051388409547874760529218156700181682260228962912296772709699806523926177095472170979052468770410028994528415877589501090604921121620019325917295197973662233628778293205071971597902542548567743439000907395299111854716976034688843334781709122035938395709653000101012666712178818079655894010281851223111716267464642197547639994814409545199030985421432064921736691108491377859156987865138709509014662100598554561454863193061475423242657742840301221010172350580710995602283118387886258612182604886916872861768792821417962553304684406711835141171231405537227966726496310599307684226214427440534134665617043746774171081112037925715739767809054447305412076655837362797669540124061605806237953666220625150805446841380499096152826916497263672841990030949548934556874615405467707630395420761420075245372238819364610026125867246673192722810485621046857919842948887667413303393430538084586073296700189894057350561229630624514958685634324350355674583899620914529016015945028408898777546580147263930906039194790931632863301002203477769661414380241041600304802954386233598479128774839877816339588624684300977094226825677067869256311118509271812313444359036171870725092402180206006768079404982888448853586975150494420389174845166131328357389059291609941780045339997336126513060714951027928022281412783863752343500102252836740343180468088736547733901761671690598801263791474126101307176413789236791790499934777653104471578940827093381636077198323476959709156442257894255523713595916988752400984958192361301228469619724853198612312706216900795330926043805327355316103718652966968366519397939897004723331601285763039833072312410948484727206655779497997593539161074081800959066050678436850449802360062262196996920732251377202119739232153950283703917853612159247308541336932108088835639979274990086039270650105056640974863255796588239055092367379170551245112617804198297720510271021136949387054163624762096205979122257984051341729573957797653781794695892397761072963563108405496805379537219664244150631712621268628500171951061966921562075209619163897965591040532565211592567461747999213697305199104189906382681164920317992774832325214413802925013258166022415790046219050642788850327100800197656290604719050247534996435978635519345882833357272279285830394439723665080385219589525881859973695529846816263978975094730171574192907358095567542967554140831884126511408064506556580410529753667073194942595530457482912330514953251271183009876899329318085508338630790532896461475805953634844651874159405590280302276451142257987358688521659795081378680849475004898928037656870012895447191524337675404155945601079103866925324473154646025611463749080078347492669030123024470387285468997942176737040763232512739955427812493174069003335847278183143508351612001581336248167155303866440420645437064336177019224891017153063587977120126068737501884425941083301211852149452030588871225000254208381788632243984496093510503348632504122922684424457375022789972347067248546038726975249603302917924139726258718237271832643982942927372991187958482974499454650950054488569607359533207644542867784382984008938797846941086581745939960746608335058228617674473998420840564096289379178771308153509003503930106853466112554309016062160674742697711632654831842681136142984997170423657702342045134618533536325244001207368415994862499695426084142774799230333971781419093866306012684310165068901259642341693337007268654942181976776411101580846802517902454226929620823961082505580960605100916381363382833066978167790869051048861149580257407106870898469869311017013466708817650500071034097133618870321083353945576186692114056729238937903855731247494270563074868061047780963500515938568227717014320959003596383973479937217537667468271305506085685916430219575317603330346032479703916650345694958312833691527349840506926552921355083052284308097885578724462797068864724087253453242747414908531143465685610868661362793896155121396346506922062784732057086537909192632808566432424112989753743140563046212435169477874839811881284920802734819564947897644933719807145091273878161348179183714895657340835826182776259426781851483173685193870552226111601443738208092555068836240178499665469163418942130320947278541696330925957634925733999070075610550686393538752594170925598948679625230381698582971864574185334757214929272942276241479688877761104329942764998741234881927906126505933050974361901081779271753912695483063856377944182584873052774838906593620560145431193262090074156910558635663357274122029420545286149577854742187671506568284895158149066343639782791563900554643795541038258395408703538830553168020742447134424767265423575401752969456617932751435397128152951102119304314740550104854502087285165238372287647691600118349212585646081201167850694649727638399538302261194135731256683669597115382904038823655629168452120521292089842142447621943448387423370823758522697355269985963788095897417573678285185012820703944874548821664130981234310302362565823276438576300096732702910967787527145249938654255479495036551657391385675280014680986927928057526255226695921004745545952475527084689136487675591207665089059291236378718074121931620433874471688490326465622572380746859883971216343255668749956479948090873111334091975727928002013667046066272625775631281604968676774895201628084183097185358405491855030857182940490975744541675947340828319321334747086898107424594426424707825655888631885528374831010537940978126554867131326208845366013298988215297489062834083348128014897449068697433479042330318212701006841702748029748762883745988543911313509286851818137846775317087449538221620494152013276624160723523668574848572991812890687867760719583719718793522932064249226086019560884903824576347749673340133096511129866663554720184729471179465587891034390133395752714784407662146715650955136073509237192733383310697940910748377315996425807547119170217646467499142912724502618108542787100426061200102402863808395230998486353749897305243333841625775713556547756880515984963027769347688800810917908449570695396426834855211640913182054001639453514343074959169485690801762479395506762549455591206884019569737692776345908408121837637287081835177623361175769719667534564222079371020986997143434569211824589017084281718165805137444784506367136076743359537932128940141057253419643252935278213243133330334352476226538822576459415051237873773436491492177279896961191735254263496848766715412432405875743996212641115549353170472955141628461962592068116419896813748972462131951479973893332304280533469088996432419293309474562195163564024253669114026076331959755063105304945119508953906196354321930989754104114738526029316003835816400574909757745992588298517766464694562771685878470395221708654643468153272879327978105440144762540424684929516796466261701319202929732616832311364914584124958452960849773049186770653544856264420364817380901317443236408780431232944731599514978852466558644116264547571126175144836058882641635784362463233739466631963047869848103491705507651641090981300033219670342202512658385420483476142714381774727983533736427173012174015366505433141993383285112660013765390639957551406793788791416968329504475369866430971851653152638132864075794933639055586928215588548504813804297898038143236202144684204768856309175444729176473500978879121413252531146965675263774522140126965089782465080348516037275329332122656699366607489957918411270486446364586043159599179628013380006075717035600401305209317462945073007174020489435724714388442872819501697007435562908086437590540000973960090637196475853410517243991397647377943214619640076137680616692101880199802871607298868197438762369228664842905547502625041823599772860851058960324144120609791625544977442207901109860135942832529530121310933471392442173969341880208153860686504113419258895096972258203750142174913417166590564226359838780794635460001285251628502931727162495337715981500149427669823792915968347068457309762409967462292696838173532330780883945146925515879577597165036666031280428613742243348012652031356943762121565268218645013203741516358660440371319011062681879852875444587372121782968024500236431686844622238158367086022289109405933528116967090808231912319508487945326836937179934655351456299470800464773393241608548237311902404973176375555890725302419022767110547015396565102682106985467908325493896142164674449859718585422693648372857224247863450265234070112837126809907843798848278726359910878845729717669359203653081877030428664173810778613296881429231974215286744246378377904227546323020291656507883123018774546870094274896278294793097899634285814696311005705031921672780201374094510267729104797049174096100064986315296201632219899935829686840088502210174352227840945042025751870953008813448173150985021006744897891205811944721011293524283404106778397795036660638091982907212886674317343038722690846656888990743138466184637533063268344341867871956536341016094232242670419858722147086208482062047894844475767253452796713055908888129868579732438248393734559729276541546242490708570267225524090111972320559751771362957564500377985189668994641832819106709475438705467882540852705464489731245698273159035882367656131067489424064568103412938058844494586156190944417035377216354182049005363538117113744502782932323867364707492753435872418981042491578042765082005588492667713428127743 is composite.
./miller_rabin_mersenne "1*2^165958-1" 5 550,42s user 0,84s system 99% cpu 9:11,50 total