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
9493151Factored
FactorDigitsBitsDate
25342158024596380627710067713655178335139127.62022-06-20 19:31:38
ECM
DigitsB1Curves
25500003 / 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)2000-10-15IES R.Dieste-I.Larrosa8C42E8D60605791E7534436
Verified (Factored)2003-07-30Chris Keen8C42E8D60605791E3195103
PRP Cofactor
StatusDateUserResidueNumber of
known factors		ShiftTypeBase
Verified2022-06-26Poao09218157D6B03EB11888412953
P-1 factors
DateFactorB1B2
2022-06-2025342158024596380627710067713655178335120000004660145490
History
DateUserTypeResult
2022-06-27Section 31CERT
PRP Certification
Proof certified good
2022-06-26PoaoC-PRP
M9493151/253421580245963806277100677136551783351 : 09218157D6B03EB1
PRP proof power = 8
PRP: Verified
Proof certified good
2022-06-20ThaF-PM1
Factor: 253421580245963806277100677136551783351 / (P-1, B1=2000000, B2=4660145490)
2021-10-19SRBaseNF
no factor from 2^71 to 2^72
2021-08-28SRBaseNF
no factor from 2^70 to 2^71
2021-08-19TJAOINF
no factor from 2^69 to 2^70
2019-09-19mnd9NF
no factor from 2^68 to 2^69
2018-10-13Squeeky_SquirrelNF-PM1
B1=545000, B2=17031250, E=12
2016-06-21snme2pm1NF
no factor from 2^67 to 2^68
2016-06-21snme2pm1NF
no factor from 2^66 to 2^67
2015-05-08VictordeHollanderNF
no factor from 2^65 to 2^66
2013-09-04NesowaNF
no factor from 2^64 to 2^65