85 834 789 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	2018-05-23	ky0uraku	313081EA5549500A	41855579	1	3
Verified	2025-04-22	garo	313081EA5549500A	0	1	3

History

Date	User	Type	Result
2025-04-22	Umbrarian	CERT	PRP Certification CERT proof power = 10 Proof certified good
2025-04-22	garo	C-PRP	313081EA5549500A PRP proof power = 10 PRP: Verified Proof certified good
2018-05-23	ky0uraku	C-PRP	313081EA5549500A PRP: Verified PRP without proof (not generated)
2018-02-12	arnaud	NF-PM1	B1=690000, B2=13627500, E=6
2017-10-15	TheJudger	NF	no factor from 2^75 to 2^76
2017-10-15	TheJudger	NF	no factor from 2^74 to 2^75
2017-05-05	-Anonymous-	NF	no factor from 2^73 to 2^74
2017-03-14	RichD0	NF	no factor from 2^72 to 2^73
2013-12-22	SRS Technology	NF	no factor from 2^71 to 2^72
2013-12-22	SRS Technology	NF	no factor from 2^70 to 2^71
2013-10-26	SMoffat	NF	no factor from 2^69 to 2^70
2013-10-25	SMoffat	NF	no factor from 2^68 to 2^69
2013-08-25	Choi4KANG	NF	no factor from 2^67 to 2^68
2013-06-20	-Anonymous-	NF	no factor from 2^66 to 2^67
2013-02-24	Axelsson	NF	no factor from 2^65 to 2^66
2010-12-25	Architects Cubed	NF	no factor from 2^64 to 2^65