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

1000)) { this.full_details_checkbox.checked = false; alert('full details cannot be shown for exponent ranges >1000'); }">
Exponent Range:










MnStatusDetails
4145257Composite: proven not-prime with Lucas-Lehmer test
TF
No factors below 272
TF target 265
TF below 2^80 is very unlikely to find new factors due to ECM effort.
P-1
B1 = 13000000
B2 = 650000000
ECM
DigitsB1Curves
2550000280 / 280
3025000085 / 640
Estimated T-Level: 25.7 ⓘ
LL
StatusDateUserResidueShift
Verified1998-10-18Mischa Kenn7C3C8AB59B4ACCD50
Verified1999-10-15Albrecht Heeffer7C3C8AB59B4ACCD5544490
History
DateUserTypeResult
2025-01-10Andrew BNF
no factor from 2^71 to 2^72
2022-05-05mikrNF
no factor from 2^70 to 2^71
2021-07-15axnNF-PM1
B1=13000000, B2=650000000
2021-06-12axnNF
no factor from 2^69 to 2^70
2021-05-24TJAOINF
no factor from 2^68 to 2^69
2020-11-27Carlos PinhoNF-PM1
B1=153000, B2=3996000, E=6
2018-11-29YxinityNF
no factor from 2^67 to 2^68
2017-12-16YxinityNF
no factor from 2^66 to 2^67
2016-02-23Mark RoseNF
no factor from 2^62 to 2^63
2015-06-03snme2pm1NF
no factor from 2^65 to 2^66
2013-10-09David CampeauNF
no factor from 2^64 to 2^65
2013-09-22JayderNF
no factor from 2^63 to 2^64
2013-07-10Squeeky_SquirrelNF-PM1
B1=125000, B2=2343750, E=6
2011-08-09USAFSSNF-PM1
B1=45000, B2=630000, E=6
2011-07-01GrunwalderGIMPNF
no factor from 2^1 to 2^63
2010-12-25Grant McCrackenNF
no factor from 2^61 to 2^62
2009-07-31Carsten KossendeyNF-PM1
B1=25000, B2=325000