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
13372531Composite, with 1 known prime factor. Cofactor is composite.
Factored
FactorDigitsBitsDate
4511357058171238.7old
ECM
DigitsB1Curves
2550000280 / 280
30250000104 / 640
Estimated T-Level: 25.8 ⓘ
TF below 2^81 is very unlikely to find new factors due to ECM effort.
PRP Cofactor
StatusDateUserResidueNumber of
known factors		ShiftTypeBase
Verified2018-06-25kkmrkkblmbrbk9AAA0E1C3437496D1549069053
Verified2020-10-02Jaytholomew9AAA0E1C3437496D1158204153
History
DateUserTypeResult
2022-07-06nordiNF-PM1
B1=300000, B2=210129150
2022-06-29nordiNF-PM1
B1=300000
2021-01-05Lisander ViaeneNF
no factor from 2^72 to 2^73
2021-01-05Lisander ViaeneNF
no factor from 2^71 to 2^72
2021-01-05Lisander ViaeneNF
no factor from 2^70 to 2^71
2020-10-02Ben DeloCERT
PRP Certification
Proof certified good
2020-10-02JaytholomewC-PRP
M13372531/451135705817 : 9AAA0E1C3437496D
PRP proof power = 8
PRP: Verified
Proof certified good
2018-06-25kkmrkkblmbrbkC-PRP
M13372531/451135705817 : 9AAA0E1C3437496D
PRP: Verified
PRP without proof (not generated)
2017-10-26BloodERazorNF
no factor from 2^69 to 2^70
2017-10-26BloodERazorNF
no factor from 2^68 to 2^69
2017-10-26BloodERazorNF
no factor from 2^67 to 2^68
2017-10-26BloodERazorNF
no factor from 2^66 to 2^67
2017-10-26BloodERazorNF
no factor from 2^65 to 2^66
2017-10-26BloodERazorNF
no factor from 2^64 to 2^65
2017-10-26BloodERazorNF
no factor from 2^63 to 2^64
2017-10-26BloodERazorNF
no factor from 2^62 to 2^63
2017-10-26BloodERazorNF
no factor from 2^61 to 2^62