Marin Mersenne 2^P-1
Username
Password
Forgot password?
Blue
Great Internet Mersenne Prime Search
GIMPS
Finding World Record Primes Since 1996

PrimeNet Exponent Status

Exponent Range:










MnStatusDetails
258157Factored
FactorDigitsBitsDate
61957681825.9old
308002608939874815462172374.72017-05-12 11:30:03
70482281978042107553287870012892.52020-11-01 13:50:27
ECM
DigitsB1Curves
2550000280 / 280
30250000423 / 640
Estimated T-Level: 28.3
TF below 2^89 is very unlikely to find new factors due to ECM effort.
PRP Cofactor
StatusDateUserResidueNumber of
known factors
ShiftTypeBase
Verified (Factored)2017-09-22Oliver Kruse0A26D10EC95B77592013
Verified (Factored)2017-09-30alpertron0A26D10EC95B77592013
Verified (Factored)2017-12-07ATH0A26D10EC95B7759212013813
Verified (Factored)2020-04-17Oliver Kruse71764514DF63FFC1223514853
Verified2020-11-01Chad Steenerson 71764514DF63FFC1323559853
History
DateUserTypeResult
2022-04-29Oliver KruseNF-PM1
B1=30000000, B2=10035812696910
2021-08-22Oliver KruseNF-PM1
B1=30000000, B2=3000000000, E=24
2020-11-02curtiscCERT
PRP Certification
Proof certified good
2020-11-01Chad Steenerson C-PRP
M258157/61957681/30800260893987481546217/7048228197804210755328787001 : 71764514DF63FFC1
PRP proof power = 5
PRP: Verified
Proof certified good
2020-11-01Chang Chia-TcheF-ECM
Factor: 7048228197804210755328787001 / (ECM curve 2, B1=250000, B2=25000000, Sigma=4923899753883122)
2020-04-17Oliver KruseC-PRP
M258157/61957681/30800260893987481546217 : 71764514DF63FFC1
PRP: Verified (Factored)
PRP without proof (small exponent)
2017-12-07ATHC-PRP
M258157/61957681/30800260893987481546217 : 0A26D10EC95B7759
PRP: Verified (Factored)
PRP without proof (small exponent)
2017-09-30alpertronC-PRP
M258157/30800260893987481546217/61957681 : 0A26D10EC95B7759
PRP: Verified (Factored)
PRP without proof (not generated)
2017-09-22Oliver KruseC-PRP
M258157/61957681/30800260893987481546217 : 0A26D10EC95B7759
PRP: Verified (Factored)
PRP without proof (not generated)
2017-09-22Oliver KruseC-PRP
M258157/61957681/30800260893987481546217 : 0A26D10EC95B7759
PRP without proof (not generated)
2017-05-12TJAOIF-ECM
Factor: 30800260893987481546217 / (ECM curve 10, B1=250000, B2=25000000)