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:










MnStatusDetails
12564259Composite, with 1 known prime factor. Cofactor is composite.
Factored
FactorDigitsBitsDate
1527848333565309035455451659197732103.62023-03-26 05:22:35
ECM
DigitsB1Curves
25500002 / 280
Estimated T-Level: 20.0 ⓘ
TF below 2^62 is very unlikely to find new factors due to ECM effort.
LL
StatusDateUserResidueShift
Verified (Factored)2004-07-26Marc Getty / Phil Fizur793201EC076B88914059501
Verified (Factored)2007-08-14Peter Foster793201EC076B88912116046
PRP Cofactor
StatusDateUserResidueNumber of
known factors		ShiftTypeBase
Verified2023-03-27Naegi MakotoFADE69A8C3D76B351978724953
P-1 factors
DateFactorB1B2
2023-03-2615278483335653090354554516591977300000012199971630
History
DateUserTypeResult
2023-03-28wzaCERT
PRP Certification
Proof certified good
2023-03-27Naegi MakotoC-PRP
M12564259/15278483335653090354554516591977 : FADE69A8C3D76B35
PRP proof power = 8
PRP: Verified
Proof certified good
2023-03-26Naegi MakotoF-PM1
Factor: 15278483335653090354554516591977 / (P-1, B1=3000000, B2=12199971630)
2021-10-29-Anonymous-NF
no factor from 2^71 to 2^72
2021-08-29SRBaseNF
no factor from 2^70 to 2^71
2021-08-07SRBaseNF
no factor from 2^69 to 2^70
2019-01-18riccardo ubertiNF-PM1
B1=430000, B2=8500000, E=12
2017-12-16ramgeisNF
no factor from 2^68 to 2^69
2017-12-16ramgeisNF
no factor from 2^67 to 2^68
2015-03-24ThaNF
no factor from 2^66 to 2^67
2014-03-28NesowaNF
no factor from 2^65 to 2^66
2013-06-18lycornNF
no factor from 2^64 to 2^65