85 375 181 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 =	675000
B2 =	12487500

Status	Date	User	Residue	Shift	Type	Base
Verified	2019-06-01	ky0uraku	D588523618FADE6E	9728898	1	3
Verified	2023-04-27	Remi Lucet	D588523618FADE6E	75905763	1	3

History

Date	User	Type	Result
2023-04-27	curtisc	CERT	PRP Certification CERT proof power = 9 Proof certified good
2023-04-27	Remi Lucet	C-PRP	D588523618FADE6E PRP proof power = 9 PRP: Verified Proof certified good
2019-06-01	ky0uraku	C-PRP	D588523618FADE6E 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-05	arnaud	NF-PM1	B1=675000, B2=12487500
2017-09-17	TheJudger	NF	no factor from 2^75 to 2^76
2017-09-16	-Anonymous-	NF	no factor from 2^74 to 2^75
2017-03-03	-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
2014-03-09	-Anonymous-	NF	no factor from 2^70 to 2^71
2014-02-11	SMoffat	NF	no factor from 2^69 to 2^70
2013-04-08	Antti Bergman	NF	no factor from 2^68 to 2^69
2013-03-22	andrea.biancalana	NF	no factor from 2^67 to 2^68
2013-03-15	ANONYMOUS	NF	no factor from 2^66 to 2^67
2013-03-13	E.Lechner	NF	no factor from 2^65 to 2^66
2010-11-26	Architects Cubed	NF	no factor from 2^64 to 2^65