9 413 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
556412803127	12	39.0	old
8569703468327	13	43.0	old
859274854814801166088030994389589549033	39	129.3	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	1A74E6CFBD0419B7	3	0	1	3
Verified	2017-10-02	kkmrkkblmbrbk	1A74E6CFBD0419B7	3	0	1	3
Verified	2017-12-07	ATH	1A74E6CFBD0419B7	3	4485	1	3
Unverified	2020-04-17	Oliver Kruse	D7A23589770C4E__	3	4556	5	3

History

Date	User	Type	Result
2023-07-03	JacobZ	NF-PM1	B1=61000000000, B2=254995794420917550
2022-01-03	Lisander Viaene	NF-PM1	B1=100000000, B2=125374980
2020-04-17	Oliver Kruse	C-PRP	M9413/556412803127/8569703468327/859274854814801166088030994389589549033 : D7A23589770C4E__ PRP without proof (small exponent)
2017-12-07	ATH	C-PRP	M9413/556412803127/8569703468327/859274854814801166088030994389589549033 : 1A74E6CFBD0419B7 PRP without proof (small exponent)
2017-10-02	kkmrkkblmbrbk	C-PRP	M9413/556412803127/8569703468327/859274854814801166088030994389589549033 : 1A74E6CFBD0419B7 PRP without proof (not generated)
2017-09-21	Oliver Kruse	C-PRP	M9413/known_factors : 1A74E6CFBD0419B7 PRP without proof (not generated)