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

PrimeNet Exponent Status

Exponent Range:





MnDetails
402143717
Composite: proven not-prime with PRP test
No factors below 281
TF target 281
P-1
B1 = 4800000
B2 = 1011091950
ECM
DigitsB1Curves
2550000280 / 280
3025000084 / 640
Estimated T-Level: 25.7
TF below 2^80 is very unlikely to find new factors due to ECM effort.
LL
StatusDateUserResidueShiftSoftware
Unverified2020-03-22Kriesel42DD00E87B358F__201086575CUDALucas v2.06beta
PRP
StatusProofDateUserResidueShiftTypeBase
Verified
Certified Good
Power=10
2022-02-12KrieselCE2E36F69AD089AA013
History
DateUserTypeResult
2024-08-25KrieselNF-PP1Start=146/13, B1=4800000, B2=1000000000
2024-07-29KrieselNF-PP1Start=6/5, B1=4800000, B2=1000000000
2024-05-27KrieselNF-PP1Start=2/7, B1=4800000, B2=1000000000
2023-12-05KrieselNF-PM1B1=4800000, B2=1011091950
2022-02-12aupCERT
Proof certified good
2022-02-12KrieselC-PRP
Proof Certified Good

Proof Power: 10

2020-03-22KrieselC-LL42DD00E87B358F__
2019-05-03KrieselNF-PM1B1=3045000, B2=42630000, E=2
2019-04-07KrieselNFno factor TF: 80-81
2019-04-07KrieselNFno factor TF: 79-80
2019-04-06KrieselNFno factor TF: 78-79
2019-04-06KrieselNFno factor TF: 76-77
2019-04-06KrieselNFno factor TF: 77-78
2019-04-06KrieselNFno factor TF: 73-74
2019-04-06KrieselNFno factor TF: 74-75
2019-04-06KrieselNFno factor TF: 75-76
2019-04-06KrieselNFno factor TF: 71-72
2019-04-06KrieselNFno factor TF: 72-73
2019-04-06KrieselNFno factor TF: 70-71
2018-08-08sasakiNFno factor TF: 69-70
2017-08-16sasakiNFno factor TF: 68-69
2013-10-30The MawnNFno factor TF: 66-68
2013-08-09The MawnNFno factor TF: 65-66