80 879 803 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 both PRP and Lucas-Lehmer tests

No factors below 2⁷⁵

TF target 2⁷⁵

P-1

B1 =	675000
B2 =	12825000

Status	Date	User	Residue	Shift	Software
Bad	2018-08-11	-anonymous-	5F1AB2768AC00ABA	78545272	Windows,Prime95,v29.1,build 13
Verified	2025-01-02	mewturn	D9C588A442B4CFC9	0	gpuowl,v6.11-313-g36eb99b-dirty
Verified	2025-06-12	Jason Lynch	D9C588A442B4CFC9	45340005	Linux 64-bit,Prime95,v31.0,build 5

Status	Proof	Date	User	Residue	Shift	Type	Base
Verified	Certified Good Power=9	2025-04-29	PkmnQ	14F60F20CA02F7FB	66824348	1	3

History

Date	User	Type	Result
2025-06-12	Jason Lynch	C-LL	D9C588A442B4CFC9
2025-04-30	Marvinist	CERT	Proof certified good
2025-04-29	PkmnQ	C-PRP	Proof Certified Good Proof Power: 9
2025-01-02	mewturn	C-LL	D9C588A442B4CFC9
2018-08-11	-anonymous-	C-LL	5F1AB2768AC00ABA
2017-03-17	arnaud	NF-PM1	B1=675000, B2=12825000
2016-09-02	Mark Rose	NF	no factor TF: 74-75
2016-09-01	proxy2222	NF	no factor TF: 73-74
2016-09-01	proxy2222	NF	no factor TF: 72-73
2016-09-01	proxy2222	NF	no factor TF: 71-72
2013-06-18	Cow_tipping	NF	no factor TF: 70-71
2011-02-13	Sara	NF	no factor TF: 69-70
2011-02-10	KarlMJ	NF	no factor TF: 68-69
2011-02-09	mark	NF	no factor TF: 67-68
2011-02-06	GrunwalderGIMP	NF	no factor TF: 66-67
2011-02-04	opyrt	NF	no factor TF: 65-66
2010-12-01	Architects Cubed	NF	no factor TF: 64-65