4 007 Exponent Status

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

PrimeNet Exponent Status

M_n

Status

Details

Composite: proven not-prime with Lucas-Lehmer test

TF

No factors below 2⁶⁶

TF target 2⁴⁴

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

P-1

B1 =	81000000000
B2 =	812832933743280450

ECM

Digits	B1	Curves
25	50000	280 / 280
30	250000	640 / 640
35	1000000	1566 / 1566
40	3000000	4588 / 4588
45	11000000	9201 / 9201
50	44000000	16550 / 16550
55	110000000	40830 / 40830
60	260000000	105362 / 105362
65	800000000	194238 / 194238
70	2400000000	73330 / 350860

Estimated T-Level: 66.0 ⓘ

Status	Date	User	Residue	Shift
Verified		Unknown	1FF8	0
Verified		George Woltman	EDBE70D1AE701FF8	0
Verified		Brian J. Beesley	EDBE70D1AE701FF8	0
Verified	2015-04-11	MadPoo	EDBE70D1AE701FF8	554

History

Date	User	Type	Result
2025-02-13	NStorm	NF-PM1	B1=222000000000, B2=797946672322800
2023-08-13	masser	NF-PP1	Start=6/5, B1=2300000000, B2=411700000000
2023-07-10	masser	NF-PP1	Start=128/13, B1=2300000000, B2=92000000000
2023-05-16	-Anonymous-	NF-PM1	B1=81000000000, B2=812832933743280450
2022-06-12	Anton Repko	NF	no factor from 2^65 to 2^66
2021-05-13	ATH	NF-PP1	Start=2/7, B1=1000000000, B2=241000000000
2021-02-15	Anton Repko	NF	no factor from 2^64 to 2^65
2018-06-19	snme2pm1	NF	no factor from 2^63 to 2^64
2016-11-08	snme2pm1	NF	no factor from 2^62 to 2^63
2016-02-23	LaurV	NF	no factor from 2^57 to 2^58
2015-06-04	Sid & Andy	NF	no factor from 2^61 to 2^62
2015-04-11	MadPoo	C-LL	EDBE70D1AE701FF8
2012-09-29	bcp19	NF	no factor from 2^60 to 2^61
2012-08-16	BloodIce	NF-PM1	B1=200000000000, B2=2000000000000, E=12
2012-07-16	BloodIce	NF-PM1	B1=100000000000
2011-04-25	Joss	NF-PM1	B1=10000000000
2011-02-21	kurly	NF-PM1	B1=5000000000, B2=300000000000, E=12
2011-02-16	monst	NF	no factor from 2^58 to 2^60