9 419 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
18839	5	14.2	old
23093957745797857	17	54.4	old
1477656837425731227813407	25	80.3	old
16099935431400992757153857	26	83.7	old

ECM

Digits	B1	Curves
25	50000	280 / 280
30	250000	640 / 640
35	1000000	1566 / 1566
40	3000000	4588 / 4588
45	11000000	1281 / 9201

Estimated T-Level: 40.7 ⓘ

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

Status	Date	User	Residue	Number of known factors	Shift	Type	Base
Verified	2017-09-21	Oliver Kruse	E3E5CFDED931B86F	4	0	1	3
Verified	2017-10-02	kkmrkkblmbrbk	E3E5CFDED931B86F	4	0	1	3
Verified	2017-12-07	ATH	E3E5CFDED931B86F	4	7146	1	3
Unverified	2020-04-17	Oliver Kruse	6E1E82F19E5C4D__	4	5093	5	3
Verified (Factored)	2022-05-12	Jorge Coveiro	6E1E82F19E5C4D3D	1	3162	5	3

History

Date	User	Type	Result
2023-07-02	JacobZ	NF-PM1	B1=61000000000, B2=254995794420917550
2022-05-12	Jorge Coveiro	C-PRP	M9419/18839 : 6E1E82F19E5C4D3D PRP: Verified (Factored) PRP without proof (small exponent)
2021-12-16	Lisander Viaene	NF-PM1	B1=100000000
2020-04-17	Oliver Kruse	C-PRP	M9419/18839/23093957745797857/1477656837425731227813407/16099935431400992757153857 : 6E1E82F19E5C4D3D PRP: Verified (Factored) PRP without proof (small exponent)
2017-12-07	ATH	C-PRP	M9419/18839/23093957745797857/1477656837425731227813407/16099935431400992757153857 : E3E5CFDED931B86F PRP: Verified (Factored) PRP without proof (small exponent)
2017-10-02	kkmrkkblmbrbk	C-PRP	M9419/18839/23093957745797857/1477656837425731227813407/16099935431400992757153857 : E3E5CFDED931B86F PRP: Verified (Factored) PRP without proof (not generated)
2017-09-21	Oliver Kruse	C-PRP	M9419/known_factors : E3E5CFDED931B86F PRP without proof (not generated)