summaryrefslogtreecommitdiff
path: root/Build/source/libs/mpfr/mpfr-src/src/x86/mparam.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs/mpfr/mpfr-src/src/x86/mparam.h')
-rw-r--r--Build/source/libs/mpfr/mpfr-src/src/x86/mparam.h413
1 files changed, 207 insertions, 206 deletions
diff --git a/Build/source/libs/mpfr/mpfr-src/src/x86/mparam.h b/Build/source/libs/mpfr/mpfr-src/src/x86/mparam.h
index abedcf43156..955bd4f0f36 100644
--- a/Build/source/libs/mpfr/mpfr-src/src/x86/mparam.h
+++ b/Build/source/libs/mpfr/mpfr-src/src/x86/mparam.h
@@ -1,6 +1,6 @@
/* Various Thresholds of MPFR, not exported. -*- mode: C -*-
-Copyright 2005-2019 Free Software Foundation, Inc.
+Copyright 2005-2020 Free Software Foundation, Inc.
This file is part of the GNU MPFR Library.
@@ -19,215 +19,216 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see
https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
-/* Generated by MPFR's tuneup.c, 2011-07-31, gcc 4.4.2 */
-/* contributed by Jim Cloos <cloos at jhcloos dot com> with GMP 5.0.2 on a
- Pentium3-M, where __i386, __i686, __pentiumpro are defined */
+/* Generated by MPFR's tuneup.c, 2018-02-22, gcc 6.3.0 */
+/* gcc14.fsffrance.org (Intel(R) Xeon(R) CPU X5450 @ 3.00GHz)
+ with GMP 6.1.2 configured with ABI=32,
+ MPFR configured with CFLAGS='-O2 -m32 -march=i686 -mtune=generic' */
#define MPFR_MULHIGH_TAB \
- -1,0,-1,-1,-1,-1,-1,-1,-1,7,8,9,10,0,0,0, \
- 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
- 0,0,0,0,0,0,0,0,0,0,28,30,30,30,30,32, \
- 32,32,34,34,34,32,34,34,34,36,36,36,36,40,40,40, \
- 42,44,48,48,48,48,48,48,48,48,48,52,52,52,52,52, \
- 52,52,56,56,60,56,60,60,60,60,60,64,64,64,64,64, \
- 64,64,64,64,64,64,68,64,64,68,68,68,68,72,72,81, \
- 81,80,81,81,87,87,87,87,87,87,87,87,87,87,93,87, \
- 93,93,93,93,93,93,93,93,99,99,93,93,93,92,93,99, \
- 99,99,99,99,99,99,99,99,105,105,99,105,105,104,105,105, \
- 105,105,111,117,117,117,117,117,117,117,117,117,117,117,117,117, \
- 123,123,123,123,141,141,141,141,141,141,141,141,141,141,141,141, \
- 141,141,141,141,141,141,141,141,141,153,153,153,153,153,153,153, \
- 153,153,153,153,153,165,165,165,153,165,165,165,165,165,165,165, \
- 165,165,165,165,165,177,177,165,177,177,177,177,165,177,177,177, \
- 177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177, \
- 177,177,189,204,189,204,204,204,204,204,204,189,204,189,204,204, \
- 204,204,204,204,204,204,204,204,203,204,204,204,204,204,204,204, \
- 220,204,220,220,220,220,220,220,220,220,220,220,220,220,220,220, \
- 236,220,236,236,236,236,236,235,236,235,236,236,236,236,235,236, \
- 236,236,236,236,236,236,236,236,236,252,252,252,252,252,252,252, \
- 252,252,252,252,252,252,252,252,282,282,282,282,282,282,282,282, \
- 282,282,282,282,282,282,282,282,282,282,282,282,282,282,282,282, \
- 282,282,282,282,282,282,282,306,306,282,306,306,306,306,306,306, \
- 306,306,306,306,306,306,306,306,306,306,306,306,306,306,306,306, \
- 306,306,306,306,306,330,330,330,329,330,330,330,330,330,330,330, \
- 330,330,330,330,330,330,330,330,330,330,330,330,330,330,354,354, \
- 354,354,354,354,354,354,354,354,354,354,354,354,354,354,354,354, \
- 354,354,354,354,354,354,354,354,354,378,378,378,378,378,378,378, \
- 378,377,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \
- 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \
- 408,408,408,408,408,408,407,408,407,408,408,407,408,408,408,408, \
- 408,408,439,408,440,440,439,440,440,440,440,439,440,440,439,440, \
- 439,440,439,440,439,439,440,440,440,440,439,440,439,440,439,440, \
- 440,440,439,439,440,440,472,440,472,439,440,439,440,440,440,472, \
- 472,472,469,471,471,472,471,471,472,471,470,470,472,472,471,472, \
- 472,504,504,463,471,455,438,501,462,497,501,503,459,471,451,467, \
- 448,501,503,485,504,453,469,470,503,472,496,496,480,467,504,460, \
- 504,488,488,532,535,497,480,470,504,497,504,492,497,498,536,468, \
- 504,510,519,528,500,500,495,504,504,504,504,534,504,504,498,504, \
- 504,511,504,504,504,503,504,563,504,511,504,504,504,504,504,504, \
- 504,504,533,504,536,536,536,533,536,536,536,536,536,536,536,536, \
- 536,536,536,536,536,536,536,536,536,536,536,536,536,536,566,536, \
- 536,536,536,568,568,568,568,568,568,568,568,568,568,568,568,568, \
- 568,568,568,568,568,568,568,568,568,568,568,568,568,568,592,592, \
- 592,592,592,592,592,592,592,592,640,592,640,592,640,639,640,640, \
- 640,640,640,639,640,639,640,640,640,639,640,640,640,640,640,640, \
- 640,640,640,640,640,640,640,640,640,640,640,640,640,640,640,640, \
- 639,640,639,639,688,688,688,639,640,639,640,640,640,687,688,688, \
- 688,687,687,688,688,688,688,688,688,688,688,687,688,736,688,688, \
- 688,687,636,688,688,688,688,688,688,688,688,688,688,688,688,688, \
- 688,688,688,688,688,688,688,688,688,688,687,688,688,688,688,688, \
- 688,688,688,688,688,688,688,688,688,688,688,688,736,736,736,736, \
- 736,736,736,736,736,736,736,736,688,735,736,736,736,736,736,736, \
- 736,736,736,736,736,736,736,736,736,736,736,735,736,735,736,736, \
- 736,735,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
- 736,736,736,736,736,736,736,735,736,736,736,736,736,736,736,736, \
- 736,736,736,736,784,736,784,784,736,736,736,736,736,736,736,736, \
- 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
- 784,736,784,784,784,784,784,784,736,784,736,784,784,784,784,736, \
- 784,783,784,784,784,784,784,784,784,784,784,784,784,784,784,784, \
- 784,784,784,784,784,784,784,784,784,784,784,832,784,784,784,784, \
- 832,784,832,831,832,831,832,832,832,832,832,784,784,784,784,784, \
- 832,784,832,784,832,832,832,832,832,832,832,832,832,832,832,832 \
+ -1,0,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0, \
+ 0,0,0,0,0,0,0,15,0,0,0,16,0,17,18,19, \
+ 21,18,19,20,21,21,22,23,24,26,23,28,25,30,30,28, \
+ 29,30,34,32,32,34,34,36,36,38,38,38,40,42,42,42, \
+ 40,46,42,46,44,44,46,52,48,49,50,50,52,52,54,60, \
+ 56,56,58,59,60,60,60,63,64,64,64,64,68,68,68,68, \
+ 68,68,64,68,64,68,68,68,68,68,68,68,68,68,76,76, \
+ 76,76,68,80,84,68,68,84,84,84,84,84,84,84,84,77, \
+ 84,76,80,84,84,76,84,92,84,76,84,84,84,84,92,92, \
+ 93,93,84,110,111,99,93,99,111,99,110,111,106,105,108,104, \
+ 110,111,111,110,111,111,111,110,110,123,116,110,123,123,120,117, \
+ 116,117,116,123,123,123,120,126,123,123,123,129,126,123,129,129, \
+ 126,135,132,135,135,135,135,135,134,135,141,141,154,135,156,141, \
+ 134,148,156,156,156,147,148,164,164,155,156,156,164,163,164,163, \
+ 163,164,164,164,164,164,164,163,171,163,164,172,172,171,172,163, \
+ 164,171,180,177,180,179,180,184,172,179,180,180,176,179,180,171, \
+ 180,180,188,188,180,187,200,204,180,204,204,187,196,203,204,203, \
+ 204,203,204,203,204,203,220,204,220,204,220,220,219,203,204,220, \
+ 220,219,220,219,204,219,220,203,220,204,204,219,220,252,236,251, \
+ 250,251,252,249,252,249,252,251,252,252,252,251,252,251,252,249, \
+ 252,252,252,251,252,252,252,251,252,267,251,252,252,251,268,252, \
+ 252,249,250,252,252,252,268,252,252,268,252,268,268,268,268,252, \
+ 252,265,251,268,268,268,266,265,267,268,268,268,268,268,268,268, \
+ 268,267,268,268,268,268,268,267,268,306,306,306,306,268,306,306, \
+ 306,305,305,306,306,268,306,306,305,305,306,306,306,330,306,306, \
+ 306,306,306,306,306,306,330,306,306,306,306,330,330,330,330,306, \
+ 329,330,330,330,328,329,330,330,354,329,330,329,330,330,354,330, \
+ 330,354,329,330,330,354,330,352,354,329,354,330,354,330,330,354, \
+ 354,329,354,330,360,330,330,354,352,354,378,371,378,377,354,378, \
+ 378,402,354,402,378,378,378,401,402,378,402,378,354,401,377,378, \
+ 377,378,402,401,378,378,378,402,401,402,402,402,401,401,402,402, \
+ 401,402,401,402,402,402,402,402,402,402,402,402,402,402,401,402, \
+ 402,401,402,402,401,402,402,401,402,402,402,402,402,402,402,402, \
+ 402,401,402,402,402,401,402,439,439,440,402,440,402,402,426,439, \
+ 439,440,440,440,426,426,426,438,439,440,472,439,471,440,440,472, \
+ 472,440,440,440,471,439,472,440,472,472,472,440,470,472,471,472, \
+ 470,472,504,470,472,472,469,472,496,472,472,472,471,502,472,472, \
+ 471,472,471,504,472,472,472,472,480,504,472,496,503,503,504,504, \
+ 503,503,472,504,504,472,496,503,502,472,504,496,472,504,503,472, \
+ 504,496,504,504,503,536,470,536,472,536,535,535,536,534,504,536, \
+ 536,503,504,536,536,544,536,503,504,536,535,503,480,504,504,536, \
+ 535,568,568,504,568,568,568,544,568,536,535,568,568,535,504,535, \
+ 568,568,568,536,504,567,544,568,568,536,544,567,544,544,568,584, \
+ 544,568,560,568,600,559,568,584,583,568,568,600,599,567,568,567, \
+ 568,567,568,567,600,568,568,599,599,568,584,568,567,568,599,568, \
+ 567,568,567,600,600,568,600,584,568,599,599,568,600,568,600,599, \
+ 608,599,600,568,600,600,568,600,600,568,568,598,599,600,599,600, \
+ 600,600,600,664,664,600,632,584,600,664,663,600,664,600,632,663, \
+ 663,631,632,600,600,600,600,664,600,656,599,664,600,600,656,600, \
+ 600,664,664,664,664,663,663,663,664,664,664,664,663,664,662,663, \
+ 664,663,664,664,664,632,632,663,664,663,664,632,664,664,664,664, \
+ 664,664,663,664,664,664,662,664,663,664,664,664,664,663,663,664, \
+ 664,664,662,663,663,664,664,664,664,664,662,663,664,664,664,664, \
+ 664,664,664,664,663,664,664,664,664,664,663,664,663,664,664,664, \
+ 663,664,664,687,688,662,663,664,664,663,664,734,664,664,688,736, \
+ 736,664,664,664,664,663,664,663,664,736,735,664,664,663,736,733, \
+ 736,734,735,736,736,735,736,735,736,736,736,784,736,784,784,736, \
+ 736,784,735,736,736,783,736,783,736,736,736,735,784,784,736,736, \
+ 735,784,736,784,736,784,784,736,784,784,784,784,784,783,784,783, \
+ 783,783,784,784,784,784,784,784,784,783,824,784,782,831,832,783, \
+ 824,831,832,832,832,784,784,831,784,784,784,784,784,824,831,824, \
+ 823,824,824,824,824,824,831,832,824,822,824,832,824,824,832,823, \
+ 832,832,831,831,832,832,832,832,832,856,822,832,832,832,824,856, \
+ 824,824,832,832,824,832,856,831,832,832,856,831,832,856,832,830 \
#define MPFR_SQRHIGH_TAB \
- -1,0,0,-1,-1,-1,-1,5,6,6,7,7,8,8,9,9, \
- 10,11,12,11,12,13,14,13,14,15,16,15,16,16,17,17, \
- 18,19,19,19,20,20,21,22,23,22,23,24,25,24,25,26, \
- 27,26,27,27,28,28,29,29,30,31,32,31,32,32,33,34, \
- 35,34,35,36,36,38,38,38,39,40,40,40,41,41,41,41, \
- 42,43,44,44,48,48,48,48,48,50,52,50,52,52,54,54, \
- 56,56,58,54,54,54,56,56,56,56,58,58,60,60,62,64, \
- 64,64,62,62,64,64,64,64,64,66,66,68,68,70,68,72, \
- 70,72,74,72,74,72,72,72,74,74,76,72,72,72,74,74, \
- 76,76,76,76,78,78,78,80,80,80,80,80,80,80,87,90, \
- 87,90,90,93,93,90,90,90,90,93,93,93,90,96,96,93, \
- 96,96,96,96,96,93,99,96,102,99,99,99,96,102,102,102, \
- 108,102,105,105,105,108,111,111,108,111,111,111,111,111,111,117, \
- 114,117,114,117,117,120,120,120,120,120,120,120,123,126,126,126, \
- 126,129,129,129,129,129,132,132,132,135,135,135,141,141,141,141, \
- 141,141,148,148,148,152,148,152,152,148,152,156,156,156,156,156, \
- 160,135,141,152,141,141,141,141,141,141,141,141,141,141,141,141, \
- 141,141,152,141,156,152,156,156,160,160,160,152,160,156,156,156, \
- 160,160,156,168,160,168,164,164,168,160,168,176,172,168,168,172, \
- 172,172,176,176,188,176,176,172,188,188,188,188,188,187,188,188, \
- 188,188,188,188,196,188,196,196,196,196,196,204,204,204,204,204, \
- 204,204,204,212,212,212,212,212,212,212,212,220,220,220,220,220, \
- 220,220,220,219,220,220,220,228,220,228,220,220,228,228,220,220, \
- 220,236,236,228,228,236,228,236,228,244,244,228,244,244,236,236, \
- 258,236,258,258,258,258,258,258,258,264,258,264,264,264,264,264, \
- 264,264,264,264,264,258,264,258,264,282,258,264,282,282,282,282, \
- 282,264,264,282,282,276,264,264,282,294,282,282,282,282,282,282, \
- 282,282,282,282,282,282,282,282,282,282,282,282,294,282,282,282, \
- 282,282,282,306,282,282,306,306,282,306,306,306,306,318,306,318, \
- 318,318,318,318,318,318,318,318,318,318,318,330,330,318,318,318, \
- 330,318,318,330,330,318,318,318,318,318,318,330,342,330,330,330, \
- 330,330,330,330,330,330,330,330,330,318,330,318,318,342,342,318, \
- 342,318,318,342,318,330,330,330,330,330,318,330,330,318,330,318, \
- 342,330,342,342,342,342,342,342,342,330,342,342,330,342,342,342, \
- 342,354,342,342,342,342,342,342,342,354,342,342,354,354,354,342, \
- 354,354,354,354,354,354,354,378,366,366,366,366,378,366,366,366, \
- 378,408,366,378,378,378,378,378,378,378,378,378,378,424,424,424, \
- 424,424,424,424,424,408,408,408,408,408,408,408,408,408,408,408, \
- 408,408,424,424,408,424,408,424,424,408,408,424,424,424,424,424, \
- 424,424,424,424,424,424,408,424,424,424,424,424,440,424,440,424, \
- 424,440,424,424,424,424,440,440,440,440,424,424,440,440,424,424, \
- 424,424,440,424,440,456,456,424,440,440,440,440,456,424,424,424, \
- 440,440,456,440,472,456,440,440,472,440,456,440,440,440,456,440, \
- 440,440,456,456,456,472,471,472,456,472,440,472,488,488,455,455, \
- 456,456,488,456,472,488,504,472,456,504,488,488,456,472,472,471, \
- 472,502,472,472,496,488,487,503,456,504,504,503,504,456,456,487, \
- 488,488,504,488,487,504,503,503,504,504,503,503,503,504,502,503, \
- 502,504,519,501,504,551,502,520,520,488,504,479,517,503,488,463, \
- 472,456,504,503,487,519,552,534,485,480,486,502,499,552,504,534, \
- 486,440,504,511,512,533,516,472,536,567,534,494,519,440,542,534, \
- 528,592,468,536,516,485,472,583,550,509,537,471,493,533,526,446, \
- 558,498,499,495,487,571,500,544,471,583,545,530,470,566,520,536, \
- 558,463,504,544,534,494,520,542,522,520,552,520,514,483,434,607, \
- 566,538,536,552,486,607,623,606,520,453,588,476,614,497,472,504, \
- 504,566,552,504,504,504,504,504,504,504,504,504,504,552,520,504, \
- 520,520,520,504,520,520,504,520,536,520,520,536,536,536,536,536, \
- 536,536,536,586,536,536,520,555,504,565,520,552,536,552,552,552, \
- 552,552,552,552,552,552,552,552,552,552,552,552,552,552,568,552, \
- 568,552,568,568,568,568,559,560,568,552,552,568,568,552,568,584, \
- 552,552,552,552,552,552,568,568,552,568,568,552,568,568,552,552, \
- 584,568,568,568,568,568,568,568,568,568,552,568,584,584,568,552, \
- 584,584,584,584,584,584,584,568,568,568,568,616,568,568,616,568, \
- 600,584,600,600,600,632,616,600,584,616,616,632,632,584,632,616, \
- 616,616,616,616,616,632,632,616,616,632,632,616,616,632,616,616 \
+ -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,9,8,9,10, \
+ 11,12,13,11,13,12,13,14,15,14,15,16,16,18,17,19, \
+ 19,18,19,19,20,20,22,23,23,22,23,24,25,25,26,27, \
+ 28,30,30,27,28,29,30,31,32,33,38,40,40,42,42,44, \
+ 40,40,42,42,44,44,42,42,44,42,50,50,42,46,50,44, \
+ 46,44,46,46,50,48,50,50,50,50,48,54,50,54,50,50, \
+ 54,50,54,54,54,62,60,53,54,54,56,56,58,56,60,58, \
+ 58,60,60,62,62,60,76,62,76,68,72,66,68,72,76,72, \
+ 72,72,76,76,76,80,80,80,76,80,80,88,84,80,84,88, \
+ 84,92,88,88,92,92,88,88,80,92,96,92,92,87,96,96, \
+ 100,100,100,100,96,100,96,104,96,104,100,100,100,100,108,100, \
+ 96,100,104,103,104,104,100,100,104,104,104,104,104,108,108,99, \
+ 100,108,108,100,112,100,106,123,108,108,128,123,112,129,112,108, \
+ 129,135,134,135,128,129,138,135,123,141,135,127,128,141,129,147, \
+ 128,141,134,135,135,141,138,139,135,141,138,141,135,153,146,147, \
+ 147,153,141,141,147,153,141,150,135,147,147,159,147,147,147,159, \
+ 135,141,135,146,147,165,146,147,159,152,147,147,147,147,146,158, \
+ 151,147,153,146,147,157,153,153,188,159,159,188,188,164,164,195, \
+ 196,160,180,187,188,180,187,188,180,188,188,165,187,188,196,188, \
+ 188,180,188,196,188,188,195,188,187,188,188,196,196,188,195,196, \
+ 196,195,196,195,196,196,195,196,196,188,211,203,212,195,196,196, \
+ 196,196,212,211,211,195,196,220,220,212,220,225,212,196,216,220, \
+ 216,220,220,195,196,196,220,220,196,220,228,203,212,212,212,212, \
+ 211,212,212,212,212,212,212,220,212,219,220,220,220,220,212,228, \
+ 227,220,228,228,228,228,228,212,212,228,227,211,228,236,276,219, \
+ 220,228,212,219,220,244,219,219,244,244,220,227,228,228,244,227, \
+ 282,244,294,270,264,282,269,276,264,270,294,276,282,270,270,276, \
+ 276,276,282,270,270,276,281,276,282,282,282,282,276,282,294,282, \
+ 282,294,270,294,282,294,282,294,294,294,294,294,276,282,282,282, \
+ 276,294,282,282,294,282,282,294,306,294,294,294,312,294,294,294, \
+ 294,294,294,294,317,318,318,294,293,318,294,306,306,318,330,324, \
+ 324,330,318,306,330,312,318,318,324,324,318,324,324,330,317,330, \
+ 324,323,324,318,318,330,330,329,329,330,330,318,324,329,329,330, \
+ 336,330,329,330,324,342,354,342,318,324,354,342,341,348,348,318, \
+ 330,354,354,342,318,368,354,376,368,354,375,330,376,392,392,376, \
+ 330,376,376,376,368,392,392,392,384,392,392,392,392,392,392,392, \
+ 392,392,392,408,392,392,407,392,392,392,392,406,408,408,407,407, \
+ 408,392,408,416,408,392,424,408,375,376,376,408,408,424,376,423, \
+ 416,424,392,408,424,408,376,431,432,424,424,423,424,424,424,407, \
+ 432,424,392,431,432,392,432,424,407,440,392,440,440,440,408,432, \
+ 439,440,424,440,416,440,424,407,423,424,424,424,424,456,424,424, \
+ 432,423,424,432,416,424,432,423,424,423,440,424,424,424,424,439, \
+ 440,472,424,424,424,424,440,439,440,456,440,456,438,408,456,440, \
+ 424,440,424,456,464,488,456,424,456,456,424,439,424,472,472,479, \
+ 456,456,432,480,480,455,480,440,472,488,480,488,440,440,464,440, \
+ 488,439,488,488,488,488,456,487,488,488,488,456,432,487,504,488, \
+ 480,456,488,488,487,488,488,487,488,520,520,520,488,520,520,439, \
+ 480,472,480,479,456,487,488,488,496,487,472,488,488,520,520,488, \
+ 520,488,520,520,496,488,520,488,488,504,488,520,440,600,536,600, \
+ 456,520,536,536,600,600,568,567,600,600,568,599,600,600,600,599, \
+ 598,600,600,568,599,600,568,600,600,599,600,600,600,568,568,599, \
+ 600,600,600,600,599,600,600,599,600,599,600,600,599,599,600,599, \
+ 599,599,600,600,600,599,600,600,599,599,600,600,632,600,600,600, \
+ 664,599,600,600,600,600,600,600,631,632,632,632,600,632,632,599, \
+ 663,664,624,631,632,632,664,662,663,664,664,632,632,664,632,663, \
+ 664,631,664,662,662,664,664,662,664,663,664,663,663,663,664,664, \
+ 664,662,663,664,664,664,664,663,664,663,664,664,664,664,664,663, \
+ 664,632,663,664,664,663,664,664,664,631,664,663,696,696,696,664, \
+ 600,664,664,662,664,664,664,664,664,663,664,663,664,664,663,664, \
+ 664,663,664,664,632,664,664,663,664,663,664,663,664,664,728,663, \
+ 664,727,663,664,664,663,664,664,696,632,728,728,663,663,664,696, \
+ 664,664,696,728,664,664,728,728,696,663,664,663,728,664,664,655, \
+ 696,663,664,661,664,695,696,663,656,728,664,663,664,663,664,664, \
+ 696,664,663,663,664,695,696,664,664,695,696,662,664,663,664,663 \
#define MPFR_DIVHIGH_TAB \
- 0,1,2,3,4,5,6,7,8,7,10,9,10,11,12,13, \
- 14,15,16,17,18,16,14,16,16,19,19,18,20,19,20,18, \
- 24,19,20,23,24,21,21,23,27,24,28,29,28,28,28,28, \
- 31,31,30,28,34,29,32,32,33,34,35,31,34,38,38,34, \
- 35,36,38,38,38,40,41,43,39,42,43,42,42,43,44,43, \
- 45,48,49,48,51,50,50,48,50,48,51,50,51,52,53,50, \
- 55,51,53,54,56,59,56,59,58,55,57,59,59,63,64,63, \
- 63,64,64,59,64,64,67,64,63,67,67,71,67,67,71,66, \
- 75,75,75,75,73,75,73,75,75,75,73,75,84,73,74,73, \
- 76,76,75,81,76,79,81,84,81,83,84,84,84,84,88,86, \
- 83,88,96,94,96,96,96,96,96,96,96,95,96,96,96,104, \
- 96,100,100,104,104,104,96,96,96,104,100,96,102,96,104,104, \
- 102,104,100,104,112,104,104,112,112,112,104,112,120,112,112,112, \
- 112,120,110,118,118,118,119,112,120,118,120,112,118,127,128,128, \
- 128,128,128,128,128,128,128,128,128,128,128,128,128,136,128,136, \
- 128,128,128,128,128,128,128,128,127,128,128,128,128,128,130,133, \
- 134,136,136,135,136,136,150,136,136,138,148,140,136,143,148,150, \
- 150,150,150,148,150,148,148,150,156,149,168,150,160,161,168,168, \
- 168,168,168,162,168,162,167,168,168,168,168,168,162,174,168,168, \
- 174,174,184,168,168,176,162,168,192,174,168,168,173,174,186,174, \
- 174,168,192,174,168,174,168,168,186,192,192,180,174,176,192,192, \
- 185,192,192,180,192,192,186,192,192,192,192,192,184,192,208,208, \
- 208,208,190,192,190,192,192,191,186,192,192,208,192,192,192,192, \
- 192,192,196,204,204,192,204,192,208,192,191,192,208,208,198,208, \
- 205,220,197,218,222,208,216,199,207,220,206,224,214,204,208,219, \
- 221,209,227,207,221,216,208,236,222,244,225,208,208,212,224,222, \
- 229,230,225,221,222,256,227,240,221,224,240,216,240,231,224,263, \
- 246,232,240,240,240,240,239,240,240,234,234,240,234,238,240,240, \
- 240,240,256,256,240,256,240,240,240,234,256,240,240,256,234,256, \
- 256,239,272,244,256,255,256,240,256,240,256,255,240,255,256,256, \
- 256,254,254,256,244,256,256,256,256,256,256,256,256,253,272,255, \
- 256,256,252,256,256,256,256,256,256,272,256,256,256,256,257,272, \
- 272,272,272,272,264,270,272,288,272,280,282,282,280,280,270,282, \
- 282,282,288,282,288,282,282,300,286,288,300,282,282,288,300,312, \
- 300,298,306,300,304,304,304,300,300,300,316,306,300,288,306,311, \
- 324,312,320,300,306,336,320,300,324,320,336,336,336,328,336,324, \
- 336,336,328,336,322,328,336,336,336,336,312,336,336,336,336,336, \
- 336,336,336,335,336,344,348,336,353,349,336,336,348,348,346,336, \
- 352,320,336,336,336,336,352,336,336,336,336,336,336,336,336,336, \
- 336,336,336,330,336,336,336,336,334,335,336,336,344,344,348,336, \
- 348,336,352,336,336,348,336,348,336,348,352,351,348,336,336,336, \
- 352,352,352,348,352,336,336,384,336,336,352,348,336,348,376,352, \
- 352,372,384,352,384,352,352,352,348,384,348,349,384,351,384,353, \
- 368,352,350,353,378,372,372,372,384,352,384,352,408,384,378,368, \
- 383,384,408,356,371,368,372,371,384,376,384,408,384,407,372,384, \
- 408,369,406,383,377,384,394,382,370,416,408,378,369,372,381,400, \
- 378,408,376,402,417,408,376,384,382,384,384,408,384,384,384,408, \
- 384,416,408,408,416,384,384,384,408,384,384,384,396,408,408,408, \
- 408,408,408,406,408,408,416,416,408,408,408,408,408,416,408,416, \
- 408,405,416,408,408,440,408,416,416,416,440,408,408,408,440,444, \
- 408,440,440,408,415,419,440,440,444,443,436,436,440,447,448,440, \
- 440,416,440,439,440,444,440,444,468,448,440,416,440,416,465,465, \
- 468,436,468,440,472,439,440,468,472,448,465,468,464,439,440,480, \
- 480,472,439,468,440,440,468,440,468,468,444,440,448,480,438,440, \
- 504,439,440,467,480,468,448,465,466,440,468,464,440,472,448,468, \
- 468,469,456,465,448,460,472,472,468,469,465,480,480,468,472,512, \
- 468,464,465,469,480,468,504,466,468,480,480,480,468,512,504,469, \
- 466,466,472,468,480,480,512,469,472,480,480,480,504,477,500,466, \
- 504,468,480,512,504,512,504,480,480,511,512,510,492,511,503,513, \
- 503,502,504,512,504,512,504,512,504,512,504,512,513,503,512,504, \
- 513,504,512,512,510,501,513,503,512,513,498,504,512,510,502,512, \
- 501,500,552,497,516,511,503,513,497,511,502,509,564,509,504,512, \
- 503,504,512,504,504,500,512,512,512,511,512,504,557,504,564,564, \
- 512,564,514,512,516,512,560,564,560,564,564,512,564,564,564,560 \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*0-15*/ \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*16-31*/ \
+ 0,0,0,0,0,20,23,23,23,23,24,23,24,25,27,27, /*32-47*/ \
+ 27,27,31,29,32,29,30,30,32,31,33,31,35,35,36,35, /*48-63*/ \
+ 36,36,42,42,37,41,41,45,42,42,46,43,44,45,42,45, /*64-79*/ \
+ 44,45,49,47,46,49,50,54,50,56,51,56,56,58,54,56, /*80-95*/ \
+ 60,54,56,59,55,58,54,56,63,60,62,56,60,66,64,66, /*96-111*/ \
+ 63,62,67,68,62,66,64,68,68,72,67,70,67,68,66,67, /*112-127*/ \
+ 70,68,74,83,72,70,83,76,84,84,83,84,84,84,82,82, /*128-143*/ \
+ 84,84,84,87,84,84,84,82,84,84,84,86,84,88,91,92, /*144-159*/ \
+ 88,98,99,84,88,91,90,104,87,99,96,94,100,100,92,94, /*160-175*/ \
+ 92,92,112,105,100,104,100,100,104,104,104,104,112,112,104,105, /*176-191*/ \
+ 99,112,112,103,104,111,112,112,104,104,112,112,111,112,112,112, /*192-207*/ \
+ 111,111,112,128,112,128,111,112,116,120,120,116,120,118,118,128, /*208-223*/ \
+ 127,128,128,120,136,136,136,128,135,136,136,132,136,130,128,136, /*224-239*/ \
+ 128,136,136,136,126,136,136,136,135,136,136,136,136,136,136,136, /*240-255*/ \
+ 136,136,136,136,144,148,168,136,144,136,168,143,142,144,150,143, /*256-271*/ \
+ 168,168,143,168,167,167,168,176,176,166,168,171,168,168,172,168, /*272-287*/ \
+ 168,176,168,167,168,176,176,176,176,168,176,176,176,172,176,175, /*288-303*/ \
+ 176,176,175,176,176,176,174,175,176,168,168,167,168,168,168,183, /*304-319*/ \
+ 175,176,176,176,168,176,176,173,176,175,176,176,174,175,175,171, /*320-335*/ \
+ 176,184,198,176,176,184,175,175,208,186,186,198,208,184,186,177, /*336-351*/ \
+ 208,208,208,209,207,208,209,184,192,197,208,184,192,208,192,208, /*352-367*/ \
+ 224,192,222,198,208,196,198,198,210,207,222,216,208,222,222,222, /*368-383*/ \
+ 198,198,210,207,224,208,222,222,224,208,224,222,224,224,222,208, /*384-399*/ \
+ 210,216,222,222,208,216,222,222,208,224,224,224,222,224,224,228, /*400-415*/ \
+ 224,223,224,224,240,224,240,222,248,224,224,222,240,256,240,224, /*416-431*/ \
+ 256,257,222,255,224,228,224,256,240,256,240,255,256,255,256,240, /*432-447*/ \
+ 256,255,256,257,256,252,256,256,256,256,256,256,264,256,255,256, /*448-463*/ \
+ 257,272,256,255,272,270,256,256,272,256,240,257,288,272,252,254, /*464-479*/ \
+ 257,256,256,257,256,270,272,255,256,256,267,256,256,255,254,256, /*480-495*/ \
+ 255,256,257,268,264,269,256,255,256,256,288,256,269,270,267,336, /*496-511*/ \
+ 272,272,272,267,270,264,272,269,288,270,288,288,288,272,272,337, /*512-527*/ \
+ 288,336,336,335,288,352,336,334,286,344,288,296,344,288,288,293, /*528-543*/ \
+ 288,304,336,336,336,336,336,336,336,288,336,336,304,352,352,336, /*544-559*/ \
+ 336,336,336,336,336,336,336,336,336,343,344,340,336,335,336,336, /*560-575*/ \
+ 336,336,336,336,342,336,336,336,336,344,352,336,342,335,336,335, /*576-591*/ \
+ 336,352,344,344,352,352,352,344,352,352,336,351,350,352,352,352, /*592-607*/ \
+ 352,352,341,336,352,335,336,336,352,335,336,344,336,336,334,336, /*608-623*/ \
+ 336,343,336,344,344,344,352,344,352,336,344,335,352,343,351,344, /*624-639*/ \
+ 344,341,342,352,344,351,352,336,352,336,352,344,336,336,341,344, /*640-655*/ \
+ 336,336,344,336,352,336,352,342,352,344,344,344,347,344,344,341, /*656-671*/ \
+ 344,352,353,352,352,351,352,359,352,351,352,352,352,352,352,352, /*672-687*/ \
+ 352,349,350,351,352,367,368,352,357,352,352,352,360,352,353,353, /*688-703*/ \
+ 391,408,408,360,368,388,384,368,392,408,400,416,416,384,392,367, /*704-719*/ \
+ 384,408,408,416,408,408,408,392,392,416,416,408,416,415,408,415, /*720-735*/ \
+ 416,416,412,408,414,420,448,417,408,408,416,408,408,413,416,408, /*736-751*/ \
+ 416,408,415,415,416,431,416,416,416,392,448,415,416,432,416,444, /*752-767*/ \
+ 416,448,408,416,416,416,408,408,448,444,416,416,416,416,408,416, /*768-783*/ \
+ 408,448,414,415,416,417,418,448,444,416,416,406,416,416,414,432, /*784-799*/ \
+ 448,448,416,416,432,448,416,432,448,444,438,448,448,416,448,416, /*800-815*/ \
+ 444,448,444,448,416,432,416,416,416,432,416,448,448,416,432,448, /*816-831*/ \
+ 444,448,444,448,447,466,448,432,432,448,448,432,448,448,440,444, /*832-847*/ \
+ 454,432,448,480,438,447,504,432,448,448,448,448,448,447,448,447, /*848-863*/ \
+ 448,446,448,444,443,448,444,448,446,448,448,503,536,448,448,448, /*864-879*/ \
+ 448,448,448,448,448,447,450,448,514,448,512,480,448,512,480,454, /*880-895*/ \
+ 512,500,504,476,480,536,536,536,504,536,480,504,504,480,536,504, /*896-911*/ \
+ 480,504,504,504,480,504,512,480,480,512,480,512,512,480,478,536, /*912-927*/ \
+ 480,489,504,513,536,504,511,479,480,480,534,511,511,512,536,512, /*928-943*/ \
+ 512,504,504,504,504,504,504,512,511,509,512,512,504,511,544,504, /*944-959*/ \
+ 544,504,512,544,544,536,512,504,543,511,512,513,540,511,511,504, /*960-975*/ \
+ 544,511,508,504,512,536,536,504,504,512,536,544,504,544,512,536, /*976-991*/ \
+ 535,512,512,541,504,536,536,536,536,504,544,511,544,511,544,512, /*992-1007*/ \
+ 511,512,544,514,544,535,544,544,544,536,536,536,536,536,544,544 /*1008-1023*/ \
-#define MPFR_MUL_THRESHOLD 15 /* limbs */
-#define MPFR_SQR_THRESHOLD 14 /* limbs */
-#define MPFR_DIV_THRESHOLD 27 /* limbs */
-#define MPFR_EXP_2_THRESHOLD 562 /* bits */
-#define MPFR_EXP_THRESHOLD 9671 /* bits */
-#define MPFR_SINCOS_THRESHOLD 30620 /* bits */
-#define MPFR_AI_THRESHOLD1 -28021 /* threshold for negative input of mpfr_ai */
-#define MPFR_AI_THRESHOLD2 2991
-#define MPFR_AI_THRESHOLD3 37474
-/* Tuneup completed successfully, took 6469 seconds */
+#define MPFR_MUL_THRESHOLD 13 /* limbs */
+#define MPFR_SQR_THRESHOLD 18 /* limbs */
+#define MPFR_DIV_THRESHOLD 3 /* limbs */
+#define MPFR_EXP_2_THRESHOLD 522 /* bits */
+#define MPFR_EXP_THRESHOLD 6920 /* bits */
+#define MPFR_SINCOS_THRESHOLD 28160 /* bits */
+#define MPFR_AI_THRESHOLD1 -24100 /* threshold for negative input of mpfr_ai */
+#define MPFR_AI_THRESHOLD2 2303
+#define MPFR_AI_THRESHOLD3 37484
+/* Tuneup completed successfully, took 787 seconds */