is 2 12539 - 1
has 3775 decimal digits
takes 0.000 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
Actual2672,369.719979.1045%1000000000001204171990467946501,876,193.898840.5853%1,878,563.618687.5850%
Target2440.000268.1818%500500000.00001.3544%0.000268.6128%
Difference+23+2,369.7197+10.9227%+99999999500+120417199046744650+1,876,193.8988+39.2309%+1,878,563.6184+18.9722%

Known prime factors (4 factors, 268.4 bits, 2.14037345% known):
Remaining cofactor is not a probable-prime

P-1GHz-days
exponentfactordigitsbits*kdate foundmin B1min B2min. TFmin. P-1normal P-1
12539100313616.6144
22
-446.969e-131.144e-92.328e-9
125396677263283459291549.24626625980076
22 × 3 × 29 × 317 × 241361
2008-08-263172413610.00693.846e-67.024e-6
1253934229866862401988871961.570136493607394537
29 × 1193 × 3945244021
2008-08-291193394524402139.6480.06150.1148
12539269462836812645624914805150487066938539674343140.951107449891064935650735626904253555681689
3 × 7 × 13 × 42407 × 208309 × 9518973083 × 4680665970977417
2023-05-11951897308346806659709774171.324e+1372,930136,208

11 Composite Factors:
P-1 results:
 GHz-DaysworthFactor
probability
dateuseridcompidb1b2estagefactordigitsbits*spentsaved
2022-02-05Jocelyn LaroucheManual testing10000003910366209750-
skipped known factor: 100313
skipped known factor: 667726328345929
skipped known factor: 3422986686240198887
--60.93--13.235%
2023-05-11Anton RepkoManual testing10000000000012041719904679465043140.9511,876,1944.94594e-63,752,38840.585%


Trial Factoring results:
 BitsFactorGHz-Daysworth
dateuseridcompidfromtofactorbits*digitsspentsaved
2008-08-26ANONYMOUSManual testing??49.246150.0015.23694e-60.002


ECM factoring results:
Total ECM effort:408.641 GHz-days
Estimated T-Level:39.014
DigitsB1CompleteFacMiss
2011000792.3520.000%
2550000187.4460.000%
3025000037.4780.000%
3510000005.9870.251%
4030000000.80344.812%
45110000000.09391.096%
50440000000.01099.038%


ECM Summary

B1B2factorcurvesGHz-days
10.00000e+0
5000050000001560.032
250000250000001300.134
10000001000000001,5176.243
30000003000000002503.086
30000002165768116720059.65
30000002165956755620059.65
30000002189075386220060.27
30000002189077290820060.27
3000000229727998508025.27
30000002297451863320063.17
30000002302017164120063.29
1100000011000000001004.527
110000002200000000502.999
various280.0543


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


PRP results:
dateuseridcompidcofactorsres64PRP
2017-09-21Oliver KruseOliver-PC8317BA816586CD__?
2017-09-21Oliver KruseManual testing8317BA816586CD__?
2017-10-02kkmrkkblmbrbkManual testing
100313
667726328345929
3422986686240198887
8317BA816586CD__no
2017-12-07ATHManual testing
100313
667726328345929
3422986686240198887
8317BA816586CD__no
2020-04-17Oliver KruseManual testing
100313
667726328345929
3422986686240198887
0D489EB2A24864__no
2023-05-11Anton Repkotethys
100313
667726328345929
3422986686240198887
2694628368126456249148051504870669385396743
0D489EB2A24864E1no
2023-05-11retsu
100313
667726328345929
3422986686240198887
2694628368126456249148051504870669385396743
0D489EB2A24864E1no
2023-05-11retsu
100313
667726328345929
3422986686240198887
2694628368126456249148051504870669385396743
1DC61ECF28607DEDno
2023-05-11retsu
100313
667726328345929
3422986686240198887
2694628368126456249148051504870669385396743
A5A6794DB19CF42Cno


P-1 factor-bounds graph:
B1 = 100000000000, B2 = 120417199046794650 (P-1 stage 2)
B1 = 1000000, B2 = 3910366209750 (P-1 stage 2)
B1 = 100000000000 (P-1 stage 1)
B1 = 1000000 (P-1 stage 1)
100
101
102
103
104
105
106
107
108
109
1010
1011
100
101
102
103
104
105
106
107
108
109
1010
1011
1012
1013
1014
1015
1016
1017
1018
TF factor-bounds graph:
2
this exponent TF target: 44
TF double-checked to: 67.9
ECM T-Level=39.01 ~= 113-bit
250
260
270
280
290
2100
2110
2120
2130
2140
2150
Last modified: 2023-09-25T11:53:03+00:00