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

PrimeNet Exponent Status

Exponent Range:










MnStatusDetails
1548553Composite: proven not-prime with both PRP and Lucas-Lehmer tests
TF
No factors below 268
TF target 261
TF below 2^81 is very unlikely to find new factors due to ECM effort.
P-1
B1 = 21200000
B2 = 81672020430
ECM
DigitsB1Curves
2550000280 / 280
30250000106 / 640
Estimated T-Level: 25.8
LL
StatusDateUserResidueShift
VerifiedRobert SartinBB632FE25A8EC0AD0
Verified1998-10-29Greg HewgillBB632FE25A8EC0AD1174049
Verified2015-07-20MadPooBB632FE25A8EC0AD15690
PRP
StatusDateUserResidueShiftTypeBase
Verified2025-09-02Kriesel25F6B1C999BB10C3013
History
DateUserTypeResult
2025-09-03Carlos PinhoCERT
PRP Certification
CERT proof power = 6
Proof certified good
2025-09-02KrieselC-PRP
25F6B1C999BB10C3
PRP proof power = 6
PRP: Verified
Proof certified good
2023-10-10Sid & AndyNF-PM1
B1=21200000, B2=81672020430
2023-08-07JossNF-PM1
B1=10001000, B2=17741407320
2023-05-08JossNF-PM1
B1=10001000, B2=8289448440
2023-02-22JossNF-PM1
B1=10001000, B2=3563469000
2022-12-23JossNF-PM1
B1=10001000, B2=1200523170
2018-06-06ramgeisNF
no factor from 2^67 to 2^68
2018-02-05TJAOINF
no factor from 2^66 to 2^67
2016-02-23Mark RoseNF
no factor from 2^62 to 2^63
2016-02-23Mark RoseNF
no factor from 2^58 to 2^60
2016-02-23Mark RoseNF
no factor from 2^61 to 2^62
2015-10-11ramgeisNF
no factor from 2^65 to 2^66
2015-07-20MadPooC-LL
BB632FE25A8EC0AD
2015-03-03VictordeHollanderNF-PM1
B1=10000000, B2=200000000, E=12
2015-02-15snme2pm1NF
no factor from 2^64 to 2^65
2015-02-15snme2pm1NF
no factor from 2^63 to 2^64
2013-12-05David CampeauNF-PM1
B1=945000, B2=27405000, E=12
2011-02-04James HeinrichNF-PM1
B1=80000, B2=1360000, E=6
2010-06-06GrunwalderGIMPNF
no factor from 2^1 to 2^63
2010-04-28Architects CubedNF
no factor from 2^60 to 2^61