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:





MnDetails
7530421
Composite, with 2 known prime factors. Cofactor is composite.
Trial Factored to 270
TF target 267
Factored
FactorDigitsBitsDate
4295083108275204809212168.52020-06-02 02:24:46
8510379715491407785672169.52025-06-18 16:12:06
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
StatusDateUserResidueShiftSoftware
Factored1999-06-26Bernard Henter44DE9D0FA437BD723251651Windows,Prime95,v18,(aka WU1)
Factored2002-02-24Marc Getty / Phil Fizur44DE9D0FA437BD72405652Windows,Prime95,v20,NT service,(aka WW5)
PRP Cofactor
StatusProofDateUserResidueNumber of
known factors
ShiftTypeBase
Factored
PRP without proof (not generated)
2020-06-02ATHDFBD2A9EA73495941141632853
Factored
PRP without proof (not generated)
2020-06-03marssystemsDFBD2A9EA73495941183962553
Verified
Certified Good
2025-06-24Michel YamagishiDFBD2A9EA73495942685724953
History
DateUserTypeResult
2025-10-17Sid & AndyNF-PM1B1=2500000, B2=3943416750
2025-06-24Jonathan WebbCERT
Proof certified good
2025-06-24Michel YamagishiC-PRPM7530421/429508310827520480921/851037971549140778567 : DFBD2A9EA7349594
Proof Certified Good

Proof Power: 8

2025-06-18GregFFactors: 851037971549140778567,429508310827520480921 / TF: 68-70
2020-06-03marssystemsC-PRPM7530421/429508310827520480921 : DFBD2A9EA7349594
2020-06-02ATHC-PRPM7530421/429508310827520480921 : DFBD2A9EA7349594
2020-06-02chuenkitFFactor: 429508310827520480921 / TF: 68-69*
2018-07-31ramgeisNFno factor TF: 67-68
2016-09-25Gordon SpenceNFno factor TF: 66-67
2015-06-09VictordeHollanderNFno factor TF: 65-66
2013-12-06David CampeauNFno factor TF: 64-65
2013-10-18NesowaNFno factor TF: 63-64
2012-05-05James HeinrichNF-PM1B1=145000, B2=3153750, E=6
2002-02-24-anonymous-C-LL44DE9D0FA437BD72
2002-02-10-anonymous-NF-PM1B1=40000, B2=560000
1999-06-26-anonymous-C-LL44DE9D0FA437BD72
1998-08-02MadPoo 🙂NFno factor TF: 1-63
1998-08-02-anonymous-NFno factor TF: 1-62