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
9419Composite, with 4 known prime factors. Cofactor is composite.
Factored
FactorDigitsBitsDate
18839514.2old
230939577457978571754.4old
14776568374257312278134072580.3old
160999354314009927571538572683.7old
ECM
DigitsB1Curves
2550000280 / 280
30250000640 / 640
3510000001566 / 1566
4030000004588 / 4588
45110000009201 / 9201
50440000006836 / 16550
Estimated T-Level: 47.1
TF below 2^151 is very unlikely to find new factors due to ECM effort.
PRP Cofactor
StatusDateUserResidueNumber of
known factors
ShiftTypeBase
Verified2017-09-21Oliver KruseE3E5CFDED931B86F4013
Verified2017-10-02kkmrkkblmbrbkE3E5CFDED931B86F4013
Verified2017-12-07ATHE3E5CFDED931B86F4714613
Verified2020-04-17Oliver Kruse6E1E82F19E5C4D3D4509353
Verified (Factored)2022-05-12Jorge Coveiro6E1E82F19E5C4D3D1316253
Verified2024-07-01kkmrkkblmbrbk6E1E82F19E5C4D3D4862553
History
DateUserTypeResult
2024-07-01kkmrkkblmbrbkC-PRP
M9419/1477656837425731227813407/16099935431400992757153857/18839/23093957745797857 : 6E1E82F19E5C4D3D
PRP: Verified
PRP without proof (small exponent)
2023-07-02JacobZNF-PM1
B1=61000000000, B2=254995794420917550
2022-05-12Jorge CoveiroC-PRP
M9419/18839 : 6E1E82F19E5C4D3D
PRP: Verified
PRP without proof (small exponent)
2021-12-16Lisander ViaeneNF-PM1
B1=100000000
2020-04-17Oliver KruseC-PRP
M9419/18839/23093957745797857/1477656837425731227813407/16099935431400992757153857 : 6E1E82F19E5C4D3D
PRP: Verified
PRP without proof (small exponent)
2017-12-07ATHC-PRP
M9419/18839/23093957745797857/1477656837425731227813407/16099935431400992757153857 : E3E5CFDED931B86F
PRP: Verified
PRP without proof (small exponent)
2017-10-02kkmrkkblmbrbkC-PRP
M9419/18839/23093957745797857/1477656837425731227813407/16099935431400992757153857 : E3E5CFDED931B86F
PRP: Verified
PRP without proof (not generated)
2017-09-21Oliver KruseC-PRP
M9419/known_factors : E3E5CFDED931B86F
PRP without proof (not generated)