200 401 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
212825863	9	27.7	old
817512232183	12	39.6	2008-07-21 09:13:41
142039335159418226473	21	66.9	2015-06-05 09:22:27
5848821106628822443154947138457	31	102.2	2021-01-23 00:18:51

ECM

Digits	B1	Curves
25	50000	280 / 280
30	250000	640 / 640
35	1000000	160 / 1566

Estimated T-Level: 30.5 ⓘ

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

Status	Date	User	Residue	Number of known factors	Shift	Type	Base
Verified (Factored)	2017-09-22	Oliver Kruse	D0C1D45FFFC76536	3	0	1	3
Verified (Factored)	2017-10-12	kkmrkkblmbrbk	D0C1D45FFFC76536	3	181413	1	3
Verified (Factored)	2020-04-17	Oliver Kruse	E3F05B498BC8054B	3	88476	5	3
Verified	2021-01-23	MarkS	E3F05B498BC8054B	4	18256	5	3
Verified	2023-08-03	USAFSS	E3F05B498BC8054B	4	173981	5	3

History

Date	User	Type	Result
2023-08-03	Loic	CERT	PRP Certification Proof certified good
2023-08-03	USAFSS	C-PRP	M200401/212825863/817512232183/142039335159418226473/5848821106628822443154947138457 : E3F05B498BC8054B PRP proof power = 5 PRP: Verified Proof certified good
2021-02-23	ViliamF	NF-PM1	B1=50000000, B2=8050000000
2021-01-23	ViliamF	CERT	PRP Certification Proof certified good
2021-01-23	MarkS	C-PRP	M200401/212825863/817512232183/142039335159418226473/5848821106628822443154947138457 : E3F05B498BC8054B PRP proof power = 5 PRP: Verified Proof certified good
2021-01-23	nordi	F-ECM	Factor: 5848821106628822443154947138457 / (ECM curve 4, B1=250000, B2=38500000, Sigma=7209420930787608)
2020-04-17	Oliver Kruse	C-PRP	M200401/212825863/817512232183/142039335159418226473 : E3F05B498BC8054B PRP: Verified (Factored) PRP without proof (small exponent)
2017-10-12	kkmrkkblmbrbk	C-PRP	M200401/212825863/817512232183/142039335159418226473 : D0C1D45FFFC76536 PRP: Verified (Factored) PRP without proof (small exponent)
2017-09-22	Oliver Kruse	C-PRP	M200401/known_factors : D0C1D45FFFC76536 PRP without proof (not generated)
2015-06-05	TJAOI	F-ECM	Factor: 142039335159418226473 / (ECM curve 33, B1=50000, B2=5000000)
2008-07-21	J Feitsma	F	Factor: 817512232183