85 687 009 Exponent Status

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

PrimeNet Exponent Status

M_n

Status

Details

Composite: proven not-prime with PRP test

TF

No factors below 2⁷⁶

TF target 2⁷⁵

P-1

B1 =	690000
B2 =	13627500

Status	Date	User	Residue	Shift	Type	Base
Verified	2019-06-23	ky0uraku	E89BCB931F02D3C0	85306305	1	3
Verified	2024-01-23	GdS	E89BCB931F02D3C0	0	1	3

History

Date	User	Type	Result
2024-01-23	Randall W. Anderson	CERT	PRP Certification CERT proof power = 10 Proof certified good
2024-01-23	GdS	C-PRP	E89BCB931F02D3C0 PRP proof power = 10 PRP: Verified Proof certified good
2019-06-23	ky0uraku	C-PRP	E89BCB931F02D3C0 PRP: Verified PRP without proof (not generated)
2019-04-28	ATH	NF	no factor from 2^63 to 2^64
2019-04-28	ATH	NF	no factor from 2^1 to 2^63
2018-02-01	jackwing	NF-PM1	B1=690000, B2=13627500, E=12
2017-10-01	TheJudger	NF	no factor from 2^75 to 2^76
2017-10-01	TheJudger	NF	no factor from 2^74 to 2^75
2017-04-16	-Anonymous-	NF	no factor from 2^73 to 2^74
2017-03-05	Judge Hale	NF	no factor from 2^72 to 2^73
2017-03-05	Judge Hale	NF	no factor from 2^71 to 2^72
2014-03-03	Ryan Propper	NF	no factor from 2^70 to 2^71
2013-08-24	ITS	NF	no factor from 2^69 to 2^70
2013-08-21	ITS	NF	no factor from 2^68 to 2^69
2013-06-20	Koekie	NF	no factor from 2^67 to 2^68
2013-06-17	Koekie	NF	no factor from 2^66 to 2^67
2012-08-24	america64	NF	no factor from 2^65 to 2^66
2010-11-28	Architects Cubed	NF	no factor from 2^64 to 2^65