[Gmp-commit] /home/hgfiles/gmp: Add FFT_TABLE3 tables for more machines.
mercurial at gmplib.org
mercurial at gmplib.org
Mon Jan 25 00:44:00 CET 2010
details: /home/hgfiles/gmp/rev/d0498fa3feb5
changeset: 13396:d0498fa3feb5
user: Torbjorn Granlund <tege at gmplib.org>
date: Mon Jan 25 00:43:54 2010 +0100
description:
Add FFT_TABLE3 tables for more machines.
diffstat:
mpn/ia64/gmp-mparam.h | 158 ++++++++++++++++++++++++++-----
mpn/powerpc64/gmp-mparam.h | 63 ------------
mpn/sparc64/ultrasparc34/gmp-mparam.h | 103 +++++++++++++++++++-
mpn/x86_64/nano/gmp-mparam.h | 170 +++++++++++++++++++++++++++------
mpn/x86_64/pentium4/gmp-mparam.h | 15 +-
5 files changed, 372 insertions(+), 137 deletions(-)
diffs (truncated from 606 to 300 lines):
diff -r a42852f22ebd -r d0498fa3feb5 mpn/ia64/gmp-mparam.h
--- a/mpn/ia64/gmp-mparam.h Sat Jan 23 23:37:29 2010 +0100
+++ b/mpn/ia64/gmp-mparam.h Mon Jan 25 00:43:54 2010 +0100
@@ -56,48 +56,152 @@
#define MULMOD_BNM1_THRESHOLD 24
#define SQRMOD_BNM1_THRESHOLD 19
-#define MUL_FFT_TABLE { 560, 1184, 1856, 3840, 11264, 28672, 114688, 327680, 0 }
-#define MUL_FFT_MODF_THRESHOLD 944
+#define MUL_FFT_MODF_THRESHOLD 888 /* k = 5 */
+#define MUL_FFT_TABLE3 \
+ { { 888, 5}, { 31, 6}, { 16, 5}, { 33, 6}, \
+ { 17, 5}, { 35, 6}, { 28, 7}, { 15, 6}, \
+ { 33, 7}, { 17, 6}, { 35, 7}, { 19, 6}, \
+ { 39, 7}, { 29, 8}, { 15, 7}, { 33, 8}, \
+ { 17, 7}, { 37, 8}, { 19, 7}, { 41, 8}, \
+ { 21, 7}, { 43, 8}, { 23, 7}, { 47, 8}, \
+ { 27, 7}, { 55, 8}, { 31, 7}, { 63, 8}, \
+ { 37, 9}, { 19, 8}, { 43, 9}, { 23, 8}, \
+ { 51, 9}, { 27, 8}, { 55, 9}, { 31, 8}, \
+ { 63, 9}, { 35, 8}, { 71, 9}, { 39, 8}, \
+ { 79, 9}, { 43,10}, { 23, 9}, { 47, 8}, \
+ { 95, 9}, { 55,10}, { 31, 9}, { 71,10}, \
+ { 39, 9}, { 83,10}, { 47, 9}, { 99,10}, \
+ { 55,11}, { 31,10}, { 63, 9}, { 127,10}, \
+ { 71, 9}, { 143,10}, { 87,11}, { 47,10}, \
+ { 111,12}, { 31,11}, { 63,10}, { 143,11}, \
+ { 79,10}, { 167,11}, { 95,10}, { 199,11}, \
+ { 111,12}, { 63,11}, { 127,10}, { 255,11}, \
+ { 143,10}, { 287,11}, { 159,10}, { 319,12}, \
+ { 95,11}, { 223,13}, { 63,12}, { 127,11}, \
+ { 287,12}, { 159,11}, { 335,12}, { 191,11}, \
+ { 383,10}, { 767,11}, { 399,12}, { 223,13}, \
+ { 127,12}, { 255,11}, { 511,10}, { 1023,12}, \
+ { 287,11}, { 575,10}, { 1151,12}, { 319,11}, \
+ { 639,10}, { 1279,11}, { 671,13}, { 191,12}, \
+ { 383,11}, { 767,10}, { 1535,12}, { 415,11}, \
+ { 831,14}, { 127,13}, { 255,12}, { 511,11}, \
+ { 1023,12}, { 543,11}, { 1087,12}, { 575,13}, \
+ { 319,12}, { 639,11}, { 1279,12}, { 671,11}, \
+ { 1343,12}, { 703,11}, { 1471,13}, { 383,12}, \
+ { 767,11}, { 1535,12}, { 799,11}, { 1599,12}, \
+ { 831,13}, { 447,12}, { 959,14}, { 255,13}, \
+ { 511,12}, { 1055,11}, { 2111,12}, { 1087,13}, \
+ { 575,12}, { 1215,11}, { 2431,12}, { 1247,13}, \
+ { 639,12}, { 1279,11}, { 2559,12}, { 1343,13}, \
+ { 703,12}, { 1471,14}, { 383,13}, { 767,12}, \
+ { 1599,13}, { 831,12}, { 1663,11}, { 3327,12}, \
+ { 1727,13}, { 895,12}, { 1791,13}, { 959,15}, \
+ { 255,14}, { 511,13}, { 1023,12}, { 2047,13}, \
+ { 1087,12}, { 2175,13}, { 1151,12}, { 2303,13}, \
+ { 1215,11}, { 4863,12}, { 2495,14}, { 639,13}, \
+ { 1343,12}, { 2687,13}, { 1471,12}, { 2943,14}, \
+ { 767,13}, { 1599,12}, { 3199,13}, { 1727,12}, \
+ { 3455,14}, { 895,13}, { 1983,12}, { 3967,15}, \
+ { 511,14}, { 1023,13}, { 2111,12}, { 4223,13}, \
+ { 2239,12}, { 4479,13}, { 2495,14}, { 1279,13}, \
+ { 2751,14}, { 1407,13}, { 2943,15}, { 767,14}, \
+ { 1535,13}, { 3199,14}, { 1663,13}, { 3455,14}, \
+ { 1791,12}, { 7167,14}, { 1919,13}, { 3967,16}, \
+ { 511,15}, { 1023,14}, { 2175,13}, { 4351,14}, \
+ { 2431,15}, { 1279,14}, { 2943,13}, { 5887,15}, \
+ { 1535,14}, { 3199,13}, { 6399,14}, { 16384,15}, \
+ { 32768,16}, { 65536,17}, { 131072,18}, { 262144,19}, \
+ { 524288,20}, {1048576,21}, {2097152,22}, {4194304,23}, \
+ {8388608,24} }
+#define MUL_FFT_TABLE3_SIZE 217
#define MUL_FFT_THRESHOLD 9856
-#define SQR_FFT_TABLE { 592, 1248, 1856, 3840, 11264, 28672, 81920, 327680, 0 }
-#define SQR_FFT_MODF_THRESHOLD 752
+#define SQR_FFT_MODF_THRESHOLD 751 /* k = 5 */
+#define SQR_FFT_TABLE3 \
+ { { 751, 5}, { 35, 6}, { 18, 5}, { 37, 6}, \
+ { 29, 7}, { 15, 6}, { 33, 7}, { 17, 6}, \
+ { 35, 7}, { 29, 8}, { 15, 7}, { 37, 8}, \
+ { 19, 7}, { 41, 8}, { 21, 7}, { 43, 8}, \
+ { 23, 7}, { 47, 8}, { 43, 9}, { 23, 8}, \
+ { 51, 9}, { 27, 8}, { 55, 9}, { 31, 8}, \
+ { 63, 9}, { 39, 8}, { 79, 9}, { 43,10}, \
+ { 23, 9}, { 47, 8}, { 95, 9}, { 55,10}, \
+ { 31, 9}, { 67,10}, { 39, 9}, { 83,10}, \
+ { 47, 9}, { 99,10}, { 55,11}, { 31,10}, \
+ { 63, 9}, { 127,10}, { 79,11}, { 47,10}, \
+ { 103,12}, { 31,11}, { 63,10}, { 143,11}, \
+ { 79,10}, { 159,11}, { 95,10}, { 199,11}, \
+ { 111,12}, { 63,11}, { 127,10}, { 255,11}, \
+ { 143,10}, { 287,11}, { 159,12}, { 95,11}, \
+ { 191,10}, { 383,11}, { 207,13}, { 63,12}, \
+ { 127,11}, { 255,10}, { 511,11}, { 271,12}, \
+ { 159,11}, { 319,10}, { 639,11}, { 335,12}, \
+ { 191,11}, { 383,10}, { 767,12}, { 223,13}, \
+ { 127,11}, { 511,10}, { 1023,11}, { 527,12}, \
+ { 287,11}, { 575,10}, { 1151,11}, { 591,12}, \
+ { 319,11}, { 639,13}, { 191,12}, { 383,11}, \
+ { 767,10}, { 1535,11}, { 799,10}, { 1599, 9}, \
+ { 3199,14}, { 127,13}, { 255,12}, { 511, 9}, \
+ { 4095,10}, { 2111,12}, { 543,11}, { 1087,10}, \
+ { 2239,12}, { 575,10}, { 2303,13}, { 319,12}, \
+ { 671,11}, { 1471,13}, { 383,11}, { 1599,12}, \
+ { 831,11}, { 1663,12}, { 863,10}, { 3455,13}, \
+ { 447,12}, { 895,11}, { 1791,14}, { 255,13}, \
+ { 511,12}, { 1023,11}, { 2111,12}, { 1087,11}, \
+ { 2239,13}, { 575,12}, { 1215,11}, { 2495,13}, \
+ { 639,12}, { 1343,13}, { 703,12}, { 1407,14}, \
+ { 383,13}, { 767,12}, { 1599,13}, { 831,12}, \
+ { 1727,11}, { 3455,12}, { 1791,15}, { 255,14}, \
+ { 511,13}, { 1023,12}, { 2111,11}, { 4223,12}, \
+ { 2239,11}, { 4479,10}, { 8959,11}, { 4607,13}, \
+ { 1215,14}, { 639,13}, { 1343,12}, { 2815,13}, \
+ { 1471,12}, { 2943,14}, { 767,13}, { 1599,12}, \
+ { 3199,13}, { 1727,12}, { 3455,14}, { 895,13}, \
+ { 1855,12}, { 3711,13}, { 1983,12}, { 3967,15}, \
+ { 511,14}, { 1023,13}, { 2111,12}, { 4223,13}, \
+ { 2239,12}, { 4479,14}, { 1151,13}, { 2495,14}, \
+ { 1279,13}, { 2687,14}, { 1407,13}, { 2943,15}, \
+ { 767,14}, { 1535,13}, { 3071,14}, { 1663,13}, \
+ { 3327,14}, { 1791,16}, { 511,15}, { 1023,14}, \
+ { 2047,13}, { 4223,14}, { 2175,13}, { 4479,12}, \
+ { 8959,14}, { 2303,13}, { 4735,14}, { 2431,15}, \
+ { 1279,14}, { 2943,15}, { 1535,14}, { 3071,13}, \
+ { 6143,14}, { 16384,15}, { 32768,16}, { 65536,17}, \
+ { 131072,18}, { 262144,19}, { 524288,20}, {1048576,21}, \
+ {2097152,22}, {4194304,23}, {8388608,24} }
+#define SQR_FFT_TABLE3_SIZE 203
#define SQR_FFT_THRESHOLD 7552
#define MULLO_BASECASE_THRESHOLD 17
-#define MULLO_DC_THRESHOLD 84
+#define MULLO_DC_THRESHOLD 91
#define MULLO_MUL_N_THRESHOLD 19187
-#define DC_DIV_QR_THRESHOLD 68
-#define DC_DIVAPPR_Q_THRESHOLD 252
-#define DC_BDIV_QR_THRESHOLD 107
+#define DC_DIV_QR_THRESHOLD 72
+#define DC_DIVAPPR_Q_THRESHOLD 254
+#define DC_BDIV_QR_THRESHOLD 117
#define DC_BDIV_Q_THRESHOLD 292
-#define INV_MULMOD_BNM1_THRESHOLD 123
-#define INV_NEWTON_THRESHOLD 187
+#define INV_MULMOD_BNM1_THRESHOLD 103
+#define INV_NEWTON_THRESHOLD 178
#define INV_APPR_THRESHOLD 179
-#define BINV_NEWTON_THRESHOLD 296
+#define BINV_NEWTON_THRESHOLD 300
#define REDC_1_TO_REDC_2_THRESHOLD 10
-#define REDC_2_TO_REDC_N_THRESHOLD 164
+#define REDC_2_TO_REDC_N_THRESHOLD 167
-#define MU_DIV_QR_THRESHOLD 1752
-#define MU_DIVAPPR_Q_THRESHOLD 1442
+#define MU_DIV_QR_THRESHOLD 1787
+#define MU_DIVAPPR_Q_THRESHOLD 1470
#define MUPI_DIV_QR_THRESHOLD 0 /* always */
-#define MU_BDIV_QR_THRESHOLD 1895
+#define MU_BDIV_QR_THRESHOLD 1787
#define MU_BDIV_Q_THRESHOLD 2089
-#define MATRIX22_STRASSEN_THRESHOLD 23
-#define HGCD_THRESHOLD 120
-#define GCD_DC_THRESHOLD 630
-#define GCDEXT_DC_THRESHOLD 440
-#define JACOBI_BASE_METHOD 2
+#define MATRIX22_STRASSEN_THRESHOLD 27
+#define HGCD_THRESHOLD 139
+#define GCD_DC_THRESHOLD 469
+#define GCDEXT_DC_THRESHOLD 496
+#define JACOBI_BASE_METHOD 1
#define GET_STR_DC_THRESHOLD 14
-#define GET_STR_PRECOMPUTE_THRESHOLD 21
-#define SET_STR_DC_THRESHOLD 1240
-#define SET_STR_PRECOMPUTE_THRESHOLD 3566
-
-#define MUL_FFT_TABLE2 {{1,4}, {401,5}, {993,6}, {2113,7}, {5249,8}, {11009,9}, {11777,8}, {13057,9}, {22017,10}, {23553,9}, {28161,10}, {31745,9}, {36353,10}, {39937,9}, {42497,10}, {48129,9}, {50689,10}, {56321,11}, {63489,10}, {89089,11}, {96257,10}, {113665,12}, {126977,11}, {129025,10}, {146433,11}, {161793,10}, {171009,11}, {194561,10}, {203777,11}, {227329,12}, {258049,11}, {326657,12}, {339969,11}, {350209,12}, {389121,11}, {423937,13}, {425985,11}, {450561,13}, {516097,12}, {520193,11}, {589825,12}, {651265,11}, {686081,12}, {784385,11}, {786433,12}, {796673,11}, {813057,12}, {827393,11}, {839681,12}, {905217,13}, {1040385,12}, {1044481,11}, {1046529,12}, {1050625,11}, {1052673,12}, {1060865,11}, {1071105,12}, {1095681,11}, {1101825,12}, {1220609,10}, {1224705,11}, {1233921,10}, {1236993,12}, {1308673,10}, {1309697,12}, {1318913,13}, {1343489,11}, {1351681,12}, {1388545,13}, {1564673,12}, {1577985,11}, {1581057,12}, {1699841,11}, {1701889,10}, {1708033,11}, {1717249
,12}, {1720321,14}, {2080769,13}, {2088961,12}, {2357249,13}, {2613249,12}, {2879489,13}, {2883585,11}, {3013633,13}, {3137537,12}, {3158017,11}, {3162113,12}, {3215361,11}, {3223553,12}, {3246081,11}, {3248129,12}, {3411969,11}, {3416065,13}, {3424257,11}, {3430401,12}, {3457025,11}, {3473409,13}, {3481601,12}, {3502081,11}, {3504129,12}, {3506177,11}, {3510273,12}, {3514369,11}, {3518465,12}, {3547137,13}, {3661825,12}, {3665921,14}, {4177921,13}, {4186113,12}, {4190209,13}, {4194305,11}, {4196353,10}, {4202497,12}, {4206593,13}, {4210689,11}, {4215809,12}, {4222977,11}, {4225025,12}, {4231169,11}, {4234241,9}, {4235009,8}, {4235265,9}, {4237313,10}, {4238337,12}, {4454401,13}, {4710401,12}, {4964353,10}, {4966401,11}, {4968449,12}, {4976641,13}, {MP_SIZE_T_MAX, 0}}
-
-#define SQR_FFT_TABLE2 {{1,4}, {529,5}, {1121,6}, {2305,7}, {5249,8}, {11009,9}, {11777,8}, {12545,9}, {22017,10}, {23553,9}, {28161,10}, {31745,9}, {35329,10}, {39937,9}, {42497,10}, {48641,9}, {50177,10}, {56321,11}, {63489,10}, {66561,9}, {67585,10}, {80897,11}, {96257,10}, {106497,12}, {126977,11}, {129025,10}, {139265,11}, {141313,10}, {143361,11}, {161793,10}, {167937,11}, {194561,10}, {204801,11}, {229377,12}, {258049,11}, {327681,12}, {389121,11}, {442369,13}, {516097,12}, {520193,11}, {529409,10}, {536577,11}, {538625,10}, {540161,11}, {548865,12}, {563201,11}, {573441,12}, {577537,11}, {583681,12}, {651265,11}, {658945,9}, {659457,10}, {660993,9}, {662017,11}, {663553,9}, {665089,10}, {668161,11}, {688129,12}, {704513,11}, {706561,10}, {707585,12}, {782337,11}, {794625,9}, {796673,11}, {823297,12}, {827393,11}, {843777,9}, {845825,11}, {849921,12}, {913409,13}, {1040385,12}, {1044481,11}, {1079297,12}, {1099777,11}, {1101825,12}, {1175553,11}, {1210369,12}, {130662
5,11}, {1308673,10}, {1309697,11}, {1331201,10}, {1333249,11}, {1366017,13}, {1564673,12}, {1568769,11}, {1587201,12}, {1589249,11}, {1636353,12}, {1701889,14}, {2080769,13}, {2088961,12}, {2355201,11}, {2367489,13}, {2383873,11}, {2430977,12}, {2441217,13}, {2459649,11}, {2461697,13}, {2465793,11}, {2467841,12}, {2473985,13}, {2613249,12}, {2676737,11}, {2678785,12}, {2879489,11}, {2906113,12}, {2916353,11}, {2949121,10}, {2951169,11}, {3012609,12}, {3014657,13}, {3129345,12}, {3170305,11}, {3172353,12}, {3182593,11}, {3192833,12}, {3258369,11}, {3260417,12}, {3270657,11}, {3276801,12}, {3289089,11}, {3293185,12}, {3350529,11}, {3352577,12}, {3395585,11}, {3424257,12}, {3485697,11}, {3487745,12}, {3489793,10}, {3490817,11}, {3493889,12}, {3524609,13}, {3661825,12}, {3665921,11}, {3780609,12}, {3801089,14}, {3866625,12}, {3891201,11}, {3893249,12}, {3895297,10}, {3896321,12}, {3899393,14}, {3940353,13}, {3964929,14}, {MP_SIZE_T_MAX, 0}}
+#define GET_STR_PRECOMPUTE_THRESHOLD 22
+#define SET_STR_DC_THRESHOLD 1474
+#define SET_STR_PRECOMPUTE_THRESHOLD 3495
diff -r a42852f22ebd -r d0498fa3feb5 mpn/powerpc64/gmp-mparam.h
--- a/mpn/powerpc64/gmp-mparam.h Sat Jan 23 23:37:29 2010 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,63 +0,0 @@
-/* PowerPC-64 gmp-mparam.h -- Compiler/machine parameter header file.
-
-Copyright 1991, 1993, 1994, 1995, 1999, 2000, 2001, 2002, 2004 Free Software
-Foundation, Inc.
-
-This file is part of the GNU MP Library.
-
-The GNU MP Library is free software; you can redistribute it and/or modify
-it under the terms of the GNU Lesser General Public License as published by
-the Free Software Foundation; either version 3 of the License, or (at your
-option) any later version.
-
-The GNU MP Library is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
-License for more details.
-
-You should have received a copy of the GNU Lesser General Public License
-along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */
-
-#define GMP_LIMB_BITS 64
-#define BYTES_PER_MP_LIMB 8
-
-
-/* ???MHz ppc630 */
-
-/* Generated by tuneup.c, 2004-02-10, gcc "2.9" */
-
-#define MUL_TOOM22_THRESHOLD 8
-#define MUL_TOOM33_THRESHOLD 41
-
-#define SQR_BASECASE_THRESHOLD 0 /* always */
-#define SQR_TOOM2_THRESHOLD 14
-#define SQR_TOOM3_THRESHOLD 48
-
-#define DIV_SB_PREINV_THRESHOLD 0
-#define DIV_DC_THRESHOLD 28
-#define POWM_THRESHOLD 40
-
-#define HGCD_THRESHOLD 56
-#define GCD_ACCEL_THRESHOLD 3
-#define GCD_DC_THRESHOLD 408
-#define JACOBI_BASE_METHOD 1
-
-#define MOD_1_NORM_THRESHOLD 0 /* always */
-#define MOD_1_UNNORM_THRESHOLD 0 /* always */
-#define USE_PREINV_DIVREM_1 0
-#define USE_PREINV_MOD_1 1
-#define DIVREM_2_THRESHOLD 0 /* always */
-#define DIVEXACT_1_THRESHOLD 0 /* always */
-#define MODEXACT_1_ODD_THRESHOLD 0 /* always */
-
-#define GET_STR_DC_THRESHOLD 14
-#define GET_STR_PRECOMPUTE_THRESHOLD 22
-#define SET_STR_THRESHOLD 1815
-
-#define MUL_FFT_TABLE { 272, 544, 1344, 2304, 5120, 20480, 49152, 0 }
-#define MUL_FFT_MODF_THRESHOLD 216
-#define MUL_FFT_THRESHOLD 1408
-
-#define SQR_FFT_TABLE { 272, 608, 1344, 2304, 7168, 20480, 49152, 0 }
-#define SQR_FFT_MODF_THRESHOLD 200
-#define SQR_FFT_THRESHOLD 1408
diff -r a42852f22ebd -r d0498fa3feb5 mpn/sparc64/ultrasparc34/gmp-mparam.h
--- a/mpn/sparc64/ultrasparc34/gmp-mparam.h Sat Jan 23 23:37:29 2010 +0100
+++ b/mpn/sparc64/ultrasparc34/gmp-mparam.h Mon Jan 25 00:43:54 2010 +0100
@@ -58,12 +58,103 @@
#define MULMOD_BNM1_THRESHOLD 14
#define SQRMOD_BNM1_THRESHOLD 9
-#define MUL_FFT_TABLE { 240, 480, 1344, 2304, 5120, 12288, 81920, 327680, 0 }
-#define MUL_FFT_MODF_THRESHOLD 256
+#define MUL_FFT_MODF_THRESHOLD 212 /* k = 5 */
+#define MUL_FFT_TABLE3 \
+ { { 212, 5}, { 13, 6}, { 17, 7}, { 9, 6}, \
+ { 19, 7}, { 17, 8}, { 9, 7}, { 20, 8}, \
+ { 11, 7}, { 24, 8}, { 13, 9}, { 7, 8}, \
+ { 19, 9}, { 11, 8}, { 25,10}, { 7, 9}, \
+ { 15, 8}, { 33, 9}, { 19, 8}, { 39, 9}, \
+ { 23, 8}, { 47, 9}, { 27,10}, { 15, 9}, \
+ { 39,10}, { 23, 9}, { 47,11}, { 15,10}, \
+ { 31, 9}, { 67,10}, { 39, 9}, { 79, 8}, \
+ { 159, 9}, { 83,10}, { 47, 9}, { 95, 8}, \
+ { 191, 7}, { 383, 9}, { 99,10}, { 55,11}, \
+ { 31,10}, { 63, 9}, { 127, 8}, { 255,10}, \
+ { 71, 9}, { 143, 8}, { 287,10}, { 79, 9}, \
+ { 159, 8}, { 319,11}, { 47,10}, { 95, 9}, \
+ { 191, 8}, { 383,10}, { 103, 9}, { 207, 8}, \
+ { 415,10}, { 111,12}, { 31,11}, { 63,10}, \
+ { 127, 9}, { 255,10}, { 143, 9}, { 287,11}, \
+ { 79,10}, { 159, 9}, { 319, 8}, { 639,10}, \
+ { 175, 9}, { 351,11}, { 95,10}, { 191, 9}, \
+ { 383,10}, { 207, 9}, { 415,11}, { 111,10}, \
+ { 223, 9}, { 447,12}, { 63,11}, { 127,10}, \
+ { 255,11}, { 143,10}, { 287, 9}, { 575,11}, \
+ { 159,10}, { 319,11}, { 175,10}, { 351,12}, \
+ { 95,11}, { 191,10}, { 383,11}, { 207,10}, \
+ { 415,11}, { 223,10}, { 447,13}, { 63,12}, \
+ { 127,11}, { 287,10}, { 575,12}, { 159,11}, \
+ { 351,10}, { 703,12}, { 191,11}, { 415,12}, \
+ { 223,11}, { 479,10}, { 959,13}, { 127,12}, \
+ { 287,11}, { 575,12}, { 351,13}, { 191,12}, \
+ { 479,14}, { 127,13}, { 255,12}, { 575,13}, \
+ { 319,12}, { 639,11}, { 1279,12}, { 703,13}, \
+ { 383,12}, { 831,13}, { 447,12}, { 895,14}, \
+ { 255,13}, { 511,12}, { 1087,13}, { 575,12}, \
+ { 1215,13}, { 639,12}, { 1279,13}, { 703,14}, \
+ { 383,13}, { 831,12}, { 1663,13}, { 895,15}, \
+ { 255,14}, { 511,13}, { 1151,14}, { 639,13}, \
+ { 1407,14}, { 767,13}, { 1663,14}, { 895,13}, \
+ { 1791,15}, { 511,14}, { 1023,13}, { 2047,14}, \
+ { 1151,13}, { 2303,14}, { 1407,15}, { 767,14}, \
+ { 1791,16}, { 511,15}, { 1023,14}, { 2303,15}, \
More information about the gmp-commit
mailing list