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
209563Factored
FactorDigitsBitsDate
5029513722.3old
47361239825.52008-07-21 09:13:57
100389059531133.22008-07-21 09:13:57
1420870670091237.02008-07-21 09:13:57
25541509101191341.22008-07-21 09:13:57
280068006889131444.72008-07-21 09:13:57
240519213939323291754.42012-03-07 17:08:47
68040416269237467588258034392892.52012-03-18 09:25:15
ECM
DigitsB1Curves
2550000280 / 280
30250000640 / 640
3510000001566 / 1566
403000000567 / 4588
Estimated T-Level: 35.6
TF below 2^113 is very unlikely to find new factors due to ECM effort.
PRP Cofactor
StatusDateUserResidueNumber of
known factors
ShiftTypeBase
Verified2017-09-22Oliver KruseC2D3BBD27400957E8013
Verified2017-10-12kkmrkkblmbrbkC2D3BBD27400957E81202113
Verified2020-04-17Oliver Kruse8FB0FE2BF8FF2F9B85389453
Verified2023-08-03USAFSS8FB0FE2BF8FF2F9B814659453
History
DateUserTypeResult
2023-08-03curtiscCERT
PRP Certification
Proof certified good
2023-08-03USAFSSC-PRP
M209563/5029513/47361239/10038905953/142087067009/2554150910119/28006800688913/24051921393932329/6804041626923746758825803439 : 8FB0FE2BF8FF2F9B
PRP proof power = 5
PRP: Verified
Proof certified good
2022-11-20LordJuliusNF
no factor from 2^66 to 2^67
2022-11-20LordJuliusNF
no factor from 2^65 to 2^66
2022-11-20LordJuliusNF
no factor from 2^64 to 2^65
2022-04-25LordJuliusNF
no factor from 2^63 to 2^64
2022-04-25LordJuliusNF
no factor from 2^62 to 2^63
2022-04-25LordJuliusNF
no factor from 2^61 to 2^62
2022-04-25LordJuliusNF
no factor from 2^60 to 2^61
2022-04-25LordJuliusNF
no factor from 2^59 to 2^60
2022-04-25LordJuliusNF
no factor from 2^58 to 2^59
2021-04-29Seth_TrNF-PM1
B1=1000000000, B2=231000000000
2021-03-17Seth_TrNF-PM1
B1=200000000, B2=36200000000
2020-04-17Oliver KruseC-PRP
M209563/5029513/47361239/10038905953/142087067009/2554150910119/28006800688913/24051921393932329/6804041626923746758825803439 : 8FB0FE2BF8FF2F9B
PRP: Verified
PRP without proof (small exponent)
2017-10-12kkmrkkblmbrbkC-PRP
M209563/5029513/10038905953/142087067009/2554150910119/28006800688913/47361239/24051921393932329/6804041626923746758825803439 : C2D3BBD27400957E
PRP: Verified
PRP without proof (small exponent)
2017-09-22Oliver KruseC-PRP
M209563/known_factors : C2D3BBD27400957E
PRP without proof (not generated)
2012-03-18AxonF-ECM
Factor: 6804041626923746758825803439
2012-03-07AxonF
Factor: 24051921393932329
2008-07-21J FeitsmaF
Factor: 47361239
2008-07-21J FeitsmaF
Factor: 28006800688913
2008-07-21J FeitsmaF
Factor: 2554150910119
2008-07-21J FeitsmaF
Factor: 142087067009
2008-07-21J FeitsmaF
Factor: 10038905953