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
479473Composite, with 4 known prime factors. Cofactor is composite.
Factored
FactorDigitsBitsDate
7671569722.9old
183158687927.42008-07-21 09:20:08
843299720733131446.32014-02-07 12:29:48
175497090977282871267112373.92016-02-12 13:31:43
ECM
DigitsB1Curves
2550000280 / 280
30250000200 / 640
Estimated T-Level: 26.6
TF below 2^83 is very unlikely to find new factors due to ECM effort.
PRP Cofactor
StatusDateUserResidueNumber of
known factors
ShiftTypeBase
Verified2017-09-27Oliver Kruse158E40DD4CB4ED3B4013
Verified2017-09-30alpertron158E40DD4CB4ED3B4013
Verified2017-12-07ATH158E40DD4CB4ED3B411642813
Verified2020-04-18Oliver KruseAB13ED189E860FDD412135153
Verified2024-11-24kkmrkkblmbrbkAB13ED189E860FDD441762953
History
DateUserTypeResult
2024-11-24Ignacio_LarrosaCERT
PRP Certification
Proof certified good
2024-11-24kkmrkkblmbrbkC-PRP
M479473/7671569/183158687/84329972073313/17549709097728287126711 : AB13ED189E860FDD
PRP proof power = 6
PRP: Verified
Proof certified good
2024-07-26yuriy_5-1NF-PM1
B1=60000000, B2=1030451401980
2020-04-18Oliver KruseC-PRP
M479473/7671569/183158687/84329972073313/17549709097728287126711 : AB13ED189E860FDD
PRP: Verified
PRP without proof (small exponent)
2017-12-07ATHC-PRP
M479473/7671569/183158687/84329972073313/17549709097728287126711 : 158E40DD4CB4ED3B
PRP: Verified
PRP without proof (small exponent)
2017-09-30alpertronC-PRP
M479473/17549709097728287126711/183158687/7671569/84329972073313 : 158E40DD4CB4ED3B
PRP: Verified
PRP without proof (not generated)
2017-09-27Oliver KruseC-PRP
M479473/7671569/183158687/84329972073313/17549709097728287126711 : 158E40DD4CB4ED3B
PRP: Verified
PRP without proof (not generated)
2017-09-26Oliver KruseC-PRP
M479473/7671569/183158687/84329972073313/17549709097728287126711 : 158E40DD4CB4ED3B
PRP without proof (not generated)
2016-02-12TJAOIF-ECM
Factor: 17549709097728287126711 / (ECM curve 80, B1=50000, B2=5000000)
2014-02-07TJAOIF
Factor: 84329972073313
2008-07-21J FeitsmaF
Factor: 183158687