80 825 257 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 =	680000
B2 =	13770000

Status	Date	User	Residue	Shift	Software
Verified	2018-03-18	curtisc	23CE2AD320B2D2BF	41248987	Windows Service,Prime95,v28.7,build 1
Verified	2025-12-22	StephenCLipp	23CE2AD320B2D2BF	45704587	Windows 64-bit,Prime95,v30.19,build 20

History

Date	User	Type	Result
2025-12-22	StephenCLipp	C-LL	23CE2AD320B2D2BF
2025-09-27	ElectricBill	NF	no factor TF: 75-76
2018-03-18	curtisc	C-LL	23CE2AD320B2D2BF
2017-03-07	bam	NF-PM1	B1=680000, B2=13770000, E=6
2016-09-09	-anonymous-	NF	no factor TF: 74-75
2016-09-09	-anonymous-	NF	no factor TF: 73-74
2016-09-09	-anonymous-	NF	no factor TF: 72-73
2016-09-09	-anonymous-	NF	no factor TF: 71-72
2013-06-19	ITS	NF	no factor TF: 70-71
2013-02-02	Bold_Seeker	NF	no factor TF: 69-70
2013-01-29	Bold_Seeker	NF	no factor TF: 68-69
2013-01-26	Bold_Seeker	NF	no factor TF: 67-68
2013-01-25	rjbelans	NF	no factor TF: 66-67
2011-02-02	-anonymous-	NF	no factor TF: 65-66
2010-12-11	Architects Cubed	NF	no factor TF: 64-65