9 425 233 Exponent Status

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

PrimeNet Exponent Status

M_n

Details

Composite, with 5 known prime factors. Cofactor is composite.

Trial Factored to 2⁶⁹

TF target 2⁶⁸

Factored

Factor	Digits	Bits	Date
56551399	8	25.8	old
226205593	9	27.8	2008-09-08 05:30:11
18541601114591	14	44.1	2008-09-30 23:57:15
4811520109372214525663	22	72.0	2020-08-13 05:01:17
156000576371855145542231	24	77.0	2020-08-12 17:10:52

P-1 factors

Date	Factors	B1	B2
2023-01-09	No new factors discovered	2000000	642182730
2020-08-13	4811520109372214525663	900000	20000000
2020-08-12	156000576371855145542231	500000	0

ECM

Digits	B1	Curves
25	50000	32 / 280

Estimated T-Level: 20.6 ⓘ

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

Status	Proof	Date	User	Residue	Number of known factors	Shift	Type	Base
Factored	PRP without proof (not generated)	2020-08-10	riccardo uberti	7E372D4CD5B50FB8	3	4488571	5	3
Verified	Certified Good	2020-08-13	storm5510	7E372D4CD5B50FB8	5	5091903	5	3
Factored	PRP without proof (not generated)	2020-08-23	oodaira	7E372D4CD5B50FB8	4	2197643	5	3

History

Date	User	Type	Result
2023-01-09	Tha	F-PM1	Factors: 56551399,4811520109372214525663,226205593,18541601114591,156000576371855145542231 / B1=2000000, B2=642182730
2022-12-31	LordJulius	NF	no factor TF: 68-69
2022-11-10	LordJulius	NF	no factor TF: 67-68
2022-11-10	LordJulius	NF	no factor TF: 66-67
2022-11-10	LordJulius	NF	no factor TF: 65-66
2022-11-10	LordJulius	NF	no factor TF: 64-65
2021-05-14	riccardo uberti	NF-PP1	Start=2/7, B1=750000, B2=20000000
2021-05-08	riccardo uberti	NF-PP1	Start=6/5, B1=750000, B2=20000000
2020-08-23	oodaira	C-PRP	M9425233/56551399/226205593/18541601114591/156000576371855145542231 : 7E372D4CD5B50FB8
2020-08-13	Grant McCracken	CERT	Proof certified good
2020-08-13	storm5510	C-PRP	M9425233/56551399/226205593/18541601114591/156000576371855145542231/4811520109372214525663 : 7E372D4CD5B50FB8 Proof Certified Good Proof Power: 8
2020-08-13	riccardo uberti	F-PM1	Factor: 4811520109372214525663 / B1=900000, B2=20000000
2020-08-12	riccardo uberti	F-PM1	Factor: 156000576371855145542231 / B1=500000
2020-08-10	riccardo uberti	C-PRP	M9425233/18541601114591/226205593/56551399 : 7E372D4CD5B50FB8
2008-09-30	markr	F	Factor: 18541601114591
2008-09-08	Will Edgington	F	Factor: 226205593