80 257 483 Exponent Status

Great Internet Mersenne Prime Search
GIMPS
Finding World Record Primes Since 1996

PrimeNet Exponent Status

M_n

Details

Composite: proven not-prime with Lucas-Lehmer test

No factors below 2⁷⁶

TF target 2⁷⁵

P-1

B1 =	675000
B2 =	12825000

Status	Date	User	Residue	Shift	Software
Verified	2018-03-19	mrsquirrel_dh	E00C426BE02AD2DD	67512171	Windows 64-bit,Prime95,v28.9,build 2
Verified	2026-02-18	capbloo	E00C426BE02AD2DD	24961790	Windows 64-bit,Prime95,v30.19,build 20

History

Date	User	Type	Result
2026-02-18	capbloo	C-LL	E00C426BE02AD2DD
2025-09-15	linament	NF	no factor TF: 75-76
2018-03-19	mrsquirrel_dh	C-LL	E00C426BE02AD2DD
2016-12-19	bam	NF-PM1	B1=675000, B2=12825000
2016-10-09	TheJudger	NF	no factor TF: 74-75
2016-10-09	TheJudger	NF	no factor TF: 73-74
2016-10-04	Judge Hale	NF	no factor TF: 72-73
2016-03-12	Andrew B	NF	no factor TF: 71-72
2013-06-02	SMoffat	NF	no factor TF: 70-71
2013-02-13	xiaowuc1	NF	no factor TF: 69-70
2013-02-12	xiaowuc1	NF	no factor TF: 68-69
2013-02-10	Sid & Andy	NF	no factor TF: 67-68
2013-01-28	K0HAX	NF	no factor TF: 66-67
2011-01-14	runesk	NF	no factor TF: 65-66
2010-12-04	Architects Cubed	NF	no factor TF: 64-65