is 2 7417217 - 1
has 2232805 decimal digits
takes 1.617 GHz-days to do one PRP test
Last-known PrimeNet details:
Exponent is not assigned to anyone
factored, 0 LL tests remaining
ResidueStatus
L-LE20FEBF4947CDDB9double-checked
PRP-unknown--unknown-

 Trial FactoringP-1 FactoringCombined
LimitGHz-daysProbabilityB1B2GHz-daysProbabilityGHz-daysProbability
Actual2674.006165.6716 %300001125000.01091.0845 %4.017066.0439 %
Target2674.006165.6716 %5000055000000.10972.4330 %4.115866.5068 %
Difference----20000-5387500-0.0988-1.3485 %-0.0988-0.4629 %

Known prime factors (2 factors, 156.9 bits, 0.00211506% known):
Remaining cofactor is not a probable-prime

P-1GHz-days
exponentfactordigitsbits*kdate foundmin B1min B2min. TFmin. P-1normal P-1
7417217127381080013981844412063.466858685137660
22 × 32 × 5 × 7 × 23 × 29630267
2017-02-2323296302670.45580.51040.9533
7417217131837276288671363354477889992993.413888724681296713870947
13 × 19 × 2297 × 5021 × 195259 × 1597747
2012-01-281952591597747457,005,0050.08590.1256

1 Composite Factors:
P-1 results:
dateusercompB1B2BSstagefactordigitsbits*GHz-daysFac Prob
2002-04-20ANONYMOUSv4_computers30000112500--0.0111.084%
2012-01-28Carsten Kossendeymother2993.4130.3910.000%


Trial Factoring results:
5758596061626364656667
 BitsFactor
dateuseridcompidfromtofactorbits*digitsGHz-days
1998-09-20ANONYMOUSv4_computers212630.132
2017-02-23TJAOIManual testing263264*
63.466
20
0.123


ECM factoring results:
No ECM results for M7417217


Lucas-Lehmer results:
dateuseridcompidres64spent (GHz-days)
1999-06-15curtiscv4_computersE20FEBF4947CDDB91.617
2002-06-02ANONYMOUSv4_computersE20FEBF4947CDDB91.617


PRP results:
dateuseridcompidcofactorsres64
2018-03-01kkmrkkblmbrbkc5.xlarge
12738108001398184441
13183727628867136335447788999
4623F3BF78CB34D5
2019-05-31marssystemsSystem01
12738108001398184441
13183727628867136335447788999
4623F3BF78CB34D5


CERT results:
No CERT results for M7417217


P-1 factor-bounds graph:
B1 = 30000, B2 = 112500 (P-1 stage 2)
B1 = 30000 (P-1 stage 1)
100
101
102
103
104
105
106
100
101
102
103
104
105
106
107
108
TF factor-bounds graph:
263
this exponent TF target: 67
TF double-checked to: 67
250
260
270
280
290
2100
JSON version of this page
Last modified: 2024-03-13T02:15:48+00:00