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
7164019Factored
FactorDigitsBitsDate
1153928223828559588049886324795943228883341133.12023-01-18 16:31:13
ECM
DigitsB1Curves
25500006 / 280
Estimated T-Level: 20.1
TF below 2^62 is very unlikely to find new factors due to ECM effort.
LL
StatusDateUserResidueShift
Verified (Factored)1999-10-29Mats Dahlgren105DAE33D3B11D3823849
Verified (Factored)2001-12-08Todd Lewis105DAE33D3B11D383505635
PRP Cofactor
StatusDateUserResidueNumber of
known factors
ShiftTypeBase
Verified2023-01-24Perig6BDDA00972C15A341238175753
P-1 factors
DateFactorB1B2
2023-01-181153928223828559588049886324795943228883333000008474534250
History
DateUserTypeResult
2023-01-24curtiscCERT
PRP Certification
Proof certified good
2023-01-24PerigC-PRP
M7164019/11539282238285595880498863247959432288833 : 6BDDA00972C15A34
PRP proof power = 8
PRP: Verified
Proof certified good
2023-01-18DRobinsonPEF-PM1
Factor: 11539282238285595880498863247959432288833 / (P-1, B1=3300000, B2=8474534250)
2021-10-13SRBaseNF
no factor from 2^71 to 2^72
2021-08-31SRBaseNF
no factor from 2^70 to 2^71
2021-08-19SRBaseNF
no factor from 2^69 to 2^70
2020-05-15TJAOINF
no factor from 2^68 to 2^69
2018-07-27ramgeisNF
no factor from 2^67 to 2^68
2016-10-25Gordon SpenceNF
no factor from 2^66 to 2^67
2015-06-21VictordeHollanderNF
no factor from 2^65 to 2^66
2014-02-05lycornNF
no factor from 2^64 to 2^65
2014-02-02NesowaNF
no factor from 2^63 to 2^64
2012-01-06Carsten KossendeyNF-PM1
B1=455000, B2=13991250, E=12