13 372 531 Exponent Status

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

PrimeNet Exponent Status

M_n

Status

Details

Factored

Factor	Digits	Bits	Date
451135705817	12	38.7	old

ECM

Digits	B1	Curves
25	50000	280 / 280
30	250000	56 / 640

Estimated T-Level: 25.4 ⓘ

TF below 2^80 is very unlikely to find new factors due to ECM effort.

Status	Date	User	Residue	Number of known factors	Shift	Type	Base
Verified	2018-06-25	kkmrkkblmbrbk	9AAA0E1C3437496D	1	5490690	5	3
Verified	2020-10-02	Jaytholomew	9AAA0E1C3437496D	1	1582041	5	3

History

Date	User	Type	Result
2022-07-06	nordi	NF-PM1	B1=300000, B2=210129150
2022-06-29	nordi	NF-PM1	B1=300000
2021-01-05	Lisander Viaene	NF	no factor from 2^72 to 2^73
2021-01-05	Lisander Viaene	NF	no factor from 2^71 to 2^72
2021-01-05	Lisander Viaene	NF	no factor from 2^70 to 2^71
2020-10-02	Ben Delo	CERT	PRP Certification Proof certified good
2020-10-02	Jaytholomew	C-PRP	M13372531/451135705817 : 9AAA0E1C3437496D PRP proof power = 8 PRP: Verified Proof certified good
2018-06-25	kkmrkkblmbrbk	C-PRP	M13372531/451135705817 : 9AAA0E1C3437496D PRP: Verified PRP without proof (not generated)
2017-10-26	BloodERazor	NF	no factor from 2^69 to 2^70
2017-10-26	BloodERazor	NF	no factor from 2^68 to 2^69
2017-10-26	BloodERazor	NF	no factor from 2^67 to 2^68
2017-10-26	BloodERazor	NF	no factor from 2^66 to 2^67
2017-10-26	BloodERazor	NF	no factor from 2^65 to 2^66
2017-10-26	BloodERazor	NF	no factor from 2^64 to 2^65
2017-10-26	BloodERazor	NF	no factor from 2^63 to 2^64
2017-10-26	BloodERazor	NF	no factor from 2^62 to 2^63
2017-10-26	BloodERazor	NF	no factor from 2^61 to 2^62