Marin Mersenne 2^P-1
Username
Password
Forgot password?
Black
Great Internet Mersenne Prime Search
GIMPS
Finding World Record Primes Since 1996

PrimeNet Exponent Status

Exponent Range:










MnStatusDetails
6217Factored
FactorDigitsBitsDate
79100223303111342.8old
29412329480994728331961.4old
4851617821895058296212123272788.6old
75113232320699437386112542332711290628275942139.12016-11-22 14:25:11
ECM
DigitsB1Curves
2550000280 / 280
30250000640 / 640
3510000001566 / 1566
4030000004588 / 4588
45110000001429 / 9201
Estimated T-Level: 40.8
TF below 2^130 is very unlikely to find new factors due to ECM effort.
PRP Cofactor
StatusDateUserResidueNumber of
known factors
ShiftTypeBase
Verified2017-09-20kkmrkkblmbrbk7563407B95B0F4D44013
Verified2017-09-25George Woltman7563407B95B0F4D44562613
Verified2017-10-02kkmrkkblmbrbk7563407B95B0F4D44013
Verified2020-04-17Oliver Kruse109C647D2716A7AB4237553
Verified2024-02-03Wentao Huang109C647D2716A7AB4599453
History
DateUserTypeResult
2024-02-03Wentao HuangC-PRP
M6217/7910022330311/2941232948099472833/485161782189505829621212327/751132323206994373861125423327112906282759 : 109C647D2716A7AB
PRP: Verified
PRP without proof (small exponent)
2023-07-31-Anonymous-NF-PM1
B1=40000000000, B2=169615672618692300
2021-08-01ViliamFNF-PM1
B1=500000000, B2=90500000000
2020-04-17Oliver KruseC-PRP
M6217/7910022330311/2941232948099472833/485161782189505829621212327/751132323206994373861125423327112906282759 : 109C647D2716A7AB
PRP: Verified
PRP without proof (small exponent)
2017-10-02kkmrkkblmbrbkC-PRP
M6217/7910022330311/2941232948099472833/485161782189505829621212327/751132323206994373861125423327112906282759 : 7563407B95B0F4D4
PRP: Verified
PRP without proof (not generated)
2017-09-25George WoltmanC-PRP
M6217/known_factors : 7563407B95B0F4D4
PRP: Verified
PRP without proof (not generated)
2017-09-20kkmrkkblmbrbkC-PRP
M6217/7910022330311/2941232948099472833/485161782189505829621212327/751132323206994373861125423327112906282759 : 7563407B95B0F4D4
PRP: Verified
PRP without proof (not generated)
2016-11-22kkmrkkblmbrbkF-ECM
Factor: 751132323206994373861125423327112906282759 / (ECM curve 3056, B1=3000000, B2=300000000)