85 658 777 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 =	13455000

Status	Date	User	Residue	Shift	Type	Base
Verified	2019-06-18	ky0uraku	C9A7677727E7D43F	39914557	1	3
Verified	2024-01-23	GdS	C9A7677727E7D43F	0	1	3

History

Date	User	Type	Result
2024-01-23	curtisc	CERT	PRP Certification CERT proof power = 10 Proof certified good
2024-01-23	GdS	C-PRP	C9A7677727E7D43F PRP proof power = 10 PRP: Verified Proof certified good
2019-06-18	ky0uraku	C-PRP	C9A7677727E7D43F 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-01-27	nranks	NF-PM1	B1=690000, B2=13455000, 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-19	-Anonymous-	NF	no factor from 2^73 to 2^74
2017-03-02	Judge Hale	NF	no factor from 2^72 to 2^73
2017-03-02	Judge Hale	NF	no factor from 2^71 to 2^72
2014-08-24	David Barley	NF	no factor from 2^70 to 2^71
2014-05-14	NoPa	NF	no factor from 2^69 to 2^70
2014-02-19	SMoffat	NF	no factor from 2^68 to 2^69
2013-08-17	arnaud	NF	no factor from 2^67 to 2^68
2013-06-17	PascalBieri	NF	no factor from 2^66 to 2^67
2012-08-23	america64	NF	no factor from 2^65 to 2^66
2010-11-27	Architects Cubed	NF	no factor from 2^64 to 2^65