Status of Wagstaff testing? and testing Mersenne primes for Wagstaff-ness

[axn]

2^157007+1 = 106284597660570529
2^157007+1 = 6221085133129795236601
2^157013+1 = 1336540242981100512861113
2^157019+1 = 142037433608417483735941403
2^157057+1 = 88210690743089387358113
2^157103+1 = 946892444485493808937
2^157163+1 = 468860040826087903448069833337
2^157189+1 = 7836646095660278194211
2^157207+1 = 80966306147997331
2^157211+1 = 2945350618002497321
2^157259+1 = 73727196176189814977371
2^157273+1 = 1576820432345652073
2^157279+1 = 2666524628454379534417
2^157363+1 = 5206103025496466227
2^157429+1 = 74969817964264393
2^157457+1 = 32378173696506995444489
2^157457+1 = 806021139618905733979
2^157477+1 = 3307793277021977889363131
2^157489+1 = 8923505899632281002373921
2^157523+1 = 578652430893330809
2^157543+1 = 1045813335484547453641
2^157543+1 = 269351625546559891
2^157571+1 = 170096616918127570249
2^157667+1 = 180443029438179643
2^157747+1 = 2915433184354534963129
2^157799+1 = 205515960105416128969
2^157831+1 = 1162606773539340473
2^157831+1 = 207748854609356937550547
2^157889+1 = 5704209146883199763
2^157931+1 = 181122459112536707
2^157931+1 = 990745345894520559073
2^157991+1 = 11251691611215984857
2^157991+1 = 3049264243829275561897
2^157999+1 = 669404333236985825627

[axn]

2^161009+1 = 1285244140794421521019
2^161047+1 = 9636749650652145289
2^161059+1 = 40753765071655752329
2^161149+1 = 19555378403906250974521
2^161159+1 = 56785808187910375451
2^161167+1 = 366578454328086683
2^161233+1 = 96980073766755663083
2^161263+1 = 4616241924230444699
2^161281+1 = 186575914585554841
2^161333+1 = 423157945496493787
2^161339+1 = 13839694158944805199921
2^161363+1 = 17261428285657737674337353
2^161407+1 = 5003374317356637779057
2^161461+1 = 1251138697451078756707
2^161471+1 = 458452682602253363
2^161611+1 = 638727126554729273
2^161753+1 = 1309581246191857697
2^161771+1 = 48062896860683354513
2^161773+1 = 27763208247383581457
2^161783+1 = 30192460372605417899
2^161923+1 = 121091025711933290339
2^161969+1 = 116811974056477242451
2^161969+1 = 253488221788777270033379

[axn]

2^163061+1 = 1456687377116065873
2^163151+1 = 46747116014899694161
2^163169+1 = 3584147938640756089
2^163181+1 = 830547447929138303009
2^163243+1 = 583686946676577921005891
2^163309+1 = 1719515193630333934634473
2^163351+1 = 138293482267111723
2^163351+1 = 779119426330739221297
2^163351+1 = 7992651520874930543587
2^163393+1 = 447392537194161760610531
2^163403+1 = 2063139648388734810481
2^163411+1 = 148711466948184644267
2^163417+1 = 4261875354849043969
2^163433+1 = 351367123456084963
2^163543+1 = 288783153584346883588553809
2^163621+1 = 807244637453088254021561
2^163643+1 = 16147796443694365633
2^163643+1 = 41573660574033060841
2^163697+1 = 1598199089022642049
2^163729+1 = 433431639623221888457
2^163771+1 = 12800370171446097774075889
2^163771+1 = 276440924456028553667
2^163811+1 = 292566849028790009
2^163841+1 = 137455313581868329
2^163841+1 = 4817780879509711464568339678859
2^163841+1 = 89966751121382060556979
2^163847+1 = 14478779855233896708721139
2^163901+1 = 101449674092145187
2^163909+1 = 176590425775359921763
2^163909+1 = 197194181387434271329
2^163927+1 = 456732212761660553
2^163991+1 = 2412407614015217587

[axn]

2^164011+1 = 52304995292395941961
2^164071+1 = 34890944635611605297
2^164093+1 = 29703080004460764059
2^164117+1 = 648102045926649848899
2^164173+1 = 1708259499807228417856895833
2^164183+1 = 31705482582070487699
2^164183+1 = 437862518023744361
2^164183+1 = 7277037414615882313
2^164201+1 = 23227790610002565089
2^164201+1 = 458611738552698264526939
2^164209+1 = 1404412007010359177
2^164231+1 = 22266352817206998234457
2^164239+1 = 76779372226258171
2^164363+1 = 10224214364265619871813449
2^164363+1 = 320176300334660232403
2^164387+1 = 869345497259258232827
2^164413+1 = 77610551508163474488643
2^164431+1 = 23878507231626940481
2^164443+1 = 27572082935187041057
2^164503+1 = 1444920674389698286513
2^164531+1 = 75784782268694561137
2^164771+1 = 478440055937235626335433
2^164821+1 = 1834182958798727099443
2^164881+1 = 1232828794120019169737
2^164893+1 = 256403822370774203

[axn]

2^162011+1 = 213509379861249167251
2^162059+1 = 13063097921781206939
2^162091+1 = 3397193220801518339
2^162109+1 = 3389966042900575297
2^162109+1 = 6153906272939644649
2^162143+1 = 570035892814661379284730179
2^162229+1 = 370833980478767177
2^162257+1 = 5126506483948850027
2^162359+1 = 35697350918260823611141691
2^162389+1 = 1164295382519382361
2^162413+1 = 343198668186332747
2^162413+1 = 7431827440004556451
2^162457+1 = 19179616101580750129
2^162499+1 = 242394335618845072075423697
2^162529+1 = 158692623854315033800101667
2^162649+1 = 1287832734692534249
2^162839+1 = 12254008819256443601
2^162839+1 = 16695965646838784809
2^162853+1 = 324122576971827041
2^162853+1 = 707356268132186867009
2^162881+1 = 1749287597871566579
2^162881+1 = 32608179381856720466819
2^162917+1 = 23808938703563707671097027
2^162917+1 = 25127411766198422528233
2^162947+1 = 702078678693160675097
2^162997+1 = 13513310116726405011251

[axn]

2^165001+1 = 1604899594900215963659
2^165037+1 = 20249321029647611765051
2^165041+1 = 20798674024736073348409
2^165049+1 = 126567303562937713033
2^165079+1 = 172226206530896984211667
2^165103+1 = 5148905940827470292581171
2^165181+1 = 514787607054597306299
2^165211+1 = 6028324863478297400593
2^165247+1 = 711683038970704423818162001
2^165317+1 = 1810861012100539450283
2^165349+1 = 212848341882613688347
2^165437+1 = 10379239997556513049
2^165551+1 = 123637704917342850548929
2^165553+1 = 1815949954043196949493609
2^165589+1 = 925693565832824851
2^165611+1 = 424279030326550189749923
2^165667+1 = 1440275665389499520464409
2^165667+1 = 893605833129070253987
2^165701+1 = 7806912367183165441
2^165713+1 = 396862773825200777283107
2^165811+1 = 257172826640396883471111889
2^165811+1 = 39049184287828221747458873
2^165811+1 = 550782892876538474833
2^165817+1 = 1152407426138278561
2^165833+1 = 182133801378763179313
2^165883+1 = 25116361128278687510923
2^165901+1 = 37723750186698104902412947
2^165983+1 = 167758861257165706348243

[axn]

2^166013+1 = 7825877047619303776897
2^166063+1 = 9089494195729805385761
2^166081+1 = 90885541098089118900697
2^166151+1 = 208995844710528179
2^166157+1 = 1421598601182202657
2^166183+1 = 547431097481234840788427
2^166189+1 = 71717471582894268473
2^166219+1 = 2891253674029415577497
2^166259+1 = 6795711321561088074851
2^166349+1 = 53729447665322130027427
2^166351+1 = 5587171207062266777
2^166417+1 = 324796066466509697057
2^166429+1 = 138522624958505773305451
2^166487+1 = 840999073356435071150549651
2^166601+1 = 41685695009467965373495313
2^166603+1 = 699629707919711831707
2^166631+1 = 149309249479714691
2^166657+1 = 1457988889909763787083
2^166657+1 = 220010060632326553
2^166657+1 = 41838589285783246531
2^166723+1 = 3056374665901254377
2^166739+1 = 13942330898975485263923
2^166783+1 = 198162352309679209369
2^166783+1 = 2290343007777739757123
2^166799+1 = 32406281802144344641675963
2^166849+1 = 3476970330724075445483
2^166849+1 = 39179631260007325677539
2^166853+1 = 256232054911458667
2^166853+1 = 5374355748022002511751444137
2^166909+1 = 165424187880449903210777
2^166931+1 = 545660868539092529
2^166967+1 = 4506921792269233749064139
2^166967+1 = 859067575169548099
2^166979+1 = 152299560439540081
2^166979+1 = 483085647486554702683
2^166979+1 = 51974335377728844208939
2^166987+1 = 16433209224330346489
2^166987+1 = 18202300168551240644017361
2^166987+1 = 389467374205159659803

[axn]

2^167039+1 = 6510982994815432705297003
2^167051+1 = 5155445184151785091
2^167077+1 = 6334613439856296972457
2^167087+1 = 273951768297163554761
2^167113+1 = 4840744563119184984427
2^167177+1 = 93930179001792361
2^167329+1 = 17294833599317161633
2^167329+1 = 703291982012308464122785441
2^167429+1 = 227833642105485536587
2^167443+1 = 135613346880676001
2^167443+1 = 70011950720246543017
2^167483+1 = 99939840195326563
2^167521+1 = 87613085801487859823711257
2^167521+1 = 94039053459743273513
2^167623+1 = 2794445439465183923
2^167633+1 = 8280701536593076771
2^167641+1 = 2534607273404184965377
2^167663+1 = 33700558947770094286603
2^167663+1 = 934369237663928278649
2^167683+1 = 538914080679215682281
2^167711+1 = 312079280027813833
2^167747+1 = 1443502969244044561
2^167747+1 = 4884332356104345167558729
2^167801+1 = 119972049727136947
2^167861+1 = 2087222500539363809
2^167873+1 = 7331198911639528361
2^167891+1 = 38902532197087303411
2^167953+1 = 81262728927839701142947
2^167971+1 = 2568632610402734857

[kruoli]

Hey, I'm proposing to change the "factor found" lines slightly:
i. e.

2^167747+1 % 1443502969244044561 == 0

because

2^167747+1 = 1443502969244044561

is not true; yes, it is a shorthand.

Any suggestions are welcome.

[paulunderwood]

Originally Posted by kruoli

Hey, I'm proposing to change the "factor found" lines slightly:
i. e.

because

2^167747+1 = 1443502969244044561

is not true; yes, it is a shorthand.

Any suggestions are welcome.

If anything A | B is preferable and shorter.

[kar_bon]

Or like this:

p k
167747 4302619329240

with factor = 2kp+1 of exponent p.