85 425 751 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-03	ky0uraku	E609F158B0538B96	41845021	1	3
Verified	2024-03-05	InGameBitcoin	E609F158B0538B96	5420062	1	3

History

Date	User	Type	Result
2024-03-05	Kevin Jaget	CERT	PRP Certification CERT proof power = 9 Proof certified good
2024-03-05	InGameBitcoin	C-PRP	E609F158B0538B96 PRP proof power = 9 PRP: Verified Proof certified good
2019-06-03	ky0uraku	C-PRP	E609F158B0538B96 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-06	hpadir	NF-PM1	B1=690000, B2=13627500, E=12
2017-08-27	TheJudger	NF	no factor from 2^75 to 2^76
2017-08-27	TheJudger	NF	no factor from 2^74 to 2^75
2017-03-04	-Anonymous-	NF	no factor from 2^73 to 2^74
2017-03-03	-Anonymous-	NF	no factor from 2^72 to 2^73
2017-03-03	-Anonymous-	NF	no factor from 2^71 to 2^72
2015-08-16	monst	NF	no factor from 2^70 to 2^71
2014-04-17	SWL551	NF	no factor from 2^69 to 2^70
2013-06-21	José Guilherme	NF	no factor from 2^68 to 2^69
2013-06-18	Per Jessen	NF	no factor from 2^67 to 2^68
2013-06-17	Lukin Dmitry	NF	no factor from 2^66 to 2^67
2013-04-27	c10ck3r	NF	no factor from 2^65 to 2^66
2010-11-26	Architects Cubed	NF	no factor from 2^64 to 2^65