13 372 531 Exponent Status

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

PrimeNet Exponent Status

M_n

Details

Composite, with 1 known prime factor. Cofactor is composite.

Trial Factored to 2⁷³

TF target 2⁶⁸

Factored

Factor	Digits	Bits	Date
451135705817	12	38.7	old

ECM

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

Estimated T-Level: 25.8 ⓘ

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

Status	Proof	Date	User	Residue	Number of known factors	Shift	Type	Base
Verified	PRP without proof (not generated)	2018-06-25	kkmrkkblmbrbk	9AAA0E1C3437496D	1	5490690	5	3
Verified	Certified Good	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	ANONYMOUS	NF	no factor TF: 72-73
2021-01-05	ANONYMOUS	NF	no factor TF: 70-71
2021-01-05	ANONYMOUS	NF	no factor TF: 71-72
2020-10-02	Ben Delo	CERT	Proof certified good
2020-10-02	Jaytholomew	C-PRP	M13372531/451135705817 : 9AAA0E1C3437496D Proof Certified Good Proof Power: 8
2018-06-25	kkmrkkblmbrbk	C-PRP	M13372531/451135705817 : 9AAA0E1C3437496D
2017-10-26	BloodERazor	NF	no factor TF: 69-70
2017-10-26	BloodERazor	NF	no factor TF: 68-69
2017-10-26	BloodERazor	NF	no factor TF: 67-68
2017-10-26	BloodERazor	NF	no factor TF: 66-67
2017-10-26	BloodERazor	NF	no factor TF: 65-66
2017-10-26	BloodERazor	NF	no factor TF: 64-65
2017-10-26	BloodERazor	NF	no factor TF: 63-64
2017-10-26	BloodERazor	NF	no factor TF: 62-63
2017-10-26	BloodERazor	NF	no factor TF: 61-62