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
16777213Composite: proven not-prime with both PRP and Lucas-Lehmer tests
TF
No factors below 275
TF target 269
TF below 2^80 is very unlikely to find new factors due to ECM effort.
P-1
B1 = 2000000
B2 = 773251050
ECM
DigitsB1Curves
2550000280 / 280
3025000058 / 640
Estimated T-Level: 25.5 ⓘ
LL
StatusDateUserResidueShift
VerifiedS09429AF44FAB38FEC83A416720752
Verified2000-03-15Brian J. BeesleyAF44FAB38FEC83A42357813
Verified2002-01-08Gregory AllenAF44FAB38FEC83A46388295
Verified2017-06-08DaniloChavezAF44FAB38FEC83A46806015
PRP
StatusDateUserResidueShiftTypeBase
Verified2025-02-14kkmrkkblmbrbkD9249AC74CB4D24F97160413
History
DateUserTypeResult
2025-02-14S00030CERT
PRP Certification
CERT proof power = 8
Proof certified good
2025-02-14kkmrkkblmbrbkC-PRP
D9249AC74CB4D24F
PRP proof power = 8
PRP: Verified
Proof certified good
2022-03-07Architects CubedNF-PM1
B1=2000000, B2=773251050
2019-07-22James HeinrichNF-PM1
B1=330000, B2=6600000, E=12
2018-11-12kkmrkkblmbrbkNF
no factor from 2^74 to 2^75
2018-11-12kkmrkkblmbrbkNF
no factor from 2^73 to 2^74
2017-06-08DaniloChavezC-LL
AF44FAB38FEC83A4
2016-04-14BloodIceNF
no factor from 2^72 to 2^73
2016-04-14BloodIceNF
no factor from 2^71 to 2^72
2016-04-14BloodIceNF
no factor from 2^70 to 2^71
2016-04-14BloodIceNF
no factor from 2^69 to 2^70
2016-04-14BloodIceNF
no factor from 2^68 to 2^69
2016-04-14BloodIceNF
no factor from 2^67 to 2^68
2016-04-14BloodIceNF
no factor from 2^66 to 2^67
2016-04-14BloodIceNF
no factor from 2^65 to 2^66
2016-04-14BloodIceNF
no factor from 2^1 to 2^65
2015-10-31Sid & AndyNF-PM1
B1=180000, B2=3375000, E=6
2014-09-16NesowaNF
no factor from 2^66 to 2^67
2014-03-16NesowaNF
no factor from 2^65 to 2^66