is 2 56136239 - 1
has 16898692 decimal digits
takes 118.978 GHz-days to do one PRP test
Last-known PrimeNet details:
Exponent is not assigned to anyone
0 primality tests remaining
ResidueStatus
L-L-unknown--unknown-
PRP-unknown--unknown-

 Trial FactoringP-1 FactoringCombined
LimitGHz-daysProbabilityB1B2GHz-daysProbabilityGHz-daysProbability
Actual27217.035963.8889 %----17.035963.8889 %
Target27334.075064.3836 %4000006500000012.04574.0606 %46.120765.8298 %
Difference-1-17.0391-0.4947 %-400000-65000000-12.0457-4.0606 %-29.0847-1.9409 %

Known prime factors (1 factor, 75.4 bits, 0.00013430% known):
Remaining cofactor is PRP status unknown

P-1GHz-days
exponentfactordigitsbits*kdate foundmin B1min B2min. TFmin. P-1normal P-1
56136239495660916507717899696412375.392441480339026380
22 × 5 × 127 × 22501 × 7724597
2012-07-12225017724597241.941.35882.4157

P-1 results:
dateusercompB1B2BSstagefactordigitsbits*GHz-daysFac Prob
2012-07-12PPed72Principale2375.3923.5640.000%


Trial Factoring results:
5758596061626364656667686970717273
 BitsFactor
dateuseridcompidfromtofactorbits*digitsGHz-days
1999-12-08ANONYMOUSv4_computers212532.14000e-5
2000-03-01ANONYMOUSv4_computers212544.28000e-5
2000-05-31ANONYMOUSv4_computers212560.000
2001-09-16ANONYMOUSv4_computers212570.000
2002-09-07ANONYMOUSv4_computers212580.001
2004-10-031997rj7v4_computers212600.001
2022-06-15LordJuliusManual testing260263
2008-06-24Sturle Sundeletov.ifi2632650.100
2008-06-26Sturle Sundeenstrom.ifi2652670.399
2009-11-23ASDSLLCdell012672680.532
2011-04-13dsls12682691.065
2011-06-05David CampeauManual testing2692702.130
2011-08-11firereddont42702714.260
2012-06-19JaxonManual testing2712728.520


ECM factoring results:
No ECM results for M56136239


Lucas-Lehmer results:
No L-L results for M56136239


PRP results:
No PRP results for M56136239


CERT results:
No CERT results for M56136239


P-1 factor-bounds graph:
103
104
105
103
104
105
106
107
TF factor-bounds graph:
272
271
270
269
268
267
265
263
260
258
257
256
254
253
this exponent TF target: 73
TF double-checked to: 67
250
260
270
280
JSON version of this page
Last modified: 2024-03-13T02:15:48+00:00