[src/sparc64/mparam.h] updated tuning parameters for sparc64

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12376 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 206 insertions, 205 deletions

diff --git a/src/sparc64/mparam.h b/src/sparc64/mparam.h
index 045cc56c1..dcee25642 100644
--- a/src/sparc64/mparam.h
+++ b/src/sparc64/mparam.h
@@ -19,215 +19,216 @@ along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
 http://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 3.3.5 */
-/* gcc64.fsffrance.org (sparc64) with gmp 5.0.2 */
-
+/* Generated by MPFR's tuneup.c, 2018-02-21, gcc 7.3.0 */
+/* gcc202.fsffrance.org (UltraSparc T5 (Niagara5)) with gmp snapshot
+   gmp-6.1.99-20180221 (gmp-6.1.2 is broken on this machine),
+   which defines -m64 -mptr64 -mcpu=niagara4 -Wa,-Av9d */
 
 #define MPFR_MULHIGH_TAB  \
- -1,0,0,-1,0,-1,-1,-1,7,-1,9,9,11,11,11,13, \
- 11,13,13,15,15,17,15,19,17,17,19,19,19,19,21,21, \
- 23,23,23,23,25,27,23,30,30,30,30,30,30,30,34,34, \
- 34,34,34,34,38,38,38,38,38,38,42,42,41,42,42,42, \
- 42,42,42,46,46,46,46,46,46,50,50,50,50,50,50,60, \
- 60,60,60,60,60,60,60,60,60,68,60,68,68,60,68,68, \
- 68,68,68,68,68,68,68,68,76,76,76,76,76,76,76,76, \
- 76,76,76,76,84,76,84,84,84,76,84,84,84,84,84,84, \
- 84,84,84,84,84,84,92,92,92,92,92,92,92,84,92,92, \
- 92,92,100,100,100,100,100,100,100,100,100,100,120,100,120,120, \
- 120,120,120,120,120,120,120,120,120,120,120,120,120,120,120,120, \
- 120,120,119,120,119,120,120,136,136,136,136,136,136,136,136,136, \
- 136,136,136,136,136,136,136,136,136,136,136,136,136,136,136,152, \
- 152,152,152,136,152,152,152,136,152,136,152,152,136,152,152,152, \
- 152,152,152,136,152,152,168,168,168,201,168,168,201,201,201,201, \
- 201,201,201,201,201,200,201,200,201,200,201,201,201,201,201,201, \
- 201,201,201,201,201,200,201,201,201,201,201,201,201,201,201,201, \
- 201,201,201,201,201,201,201,201,201,201,201,201,201,201,201,201, \
- 201,201,201,201,200,201,200,201,201,201,201,201,201,201,201,201, \
- 225,224,225,225,225,225,225,224,225,224,225,224,225,225,225,282, \
- 225,282,282,282,282,282,282,294,294,294,294,294,294,294,294,294, \
- 282,294,294,294,294,294,294,294,294,294,294,294,294,294,294,294, \
- 294,294,293,294,294,294,294,294,294,294,294,294,294,294,294,294, \
- 294,294,294,294,293,294,294,294,294,294,294,294,294,294,293,294, \
- 294,294,294,294,294,294,294,294,294,294,294,294,294,318,294,318, \
- 294,294,294,360,359,360,360,358,360,360,360,360,359,360,360,360, \
- 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \
- 360,360,360,360,360,360,359,360,360,360,360,360,360,360,360,360, \
- 360,360,360,360,360,360,360,358,360,360,360,360,360,360,354,360, \
- 360,360,360,360,360,360,360,392,360,360,392,392,360,392,391,392, \
- 391,392,392,392,391,392,391,392,354,392,391,392,391,392,391,392, \
- 391,392,391,392,391,392,391,392,392,392,391,392,392,392,392,392, \
- 424,392,391,392,424,392,424,424,424,392,424,424,424,424,424,472, \
- 424,424,424,472,424,472,472,472,472,472,472,472,472,472,472,471, \
- 472,472,472,472,472,472,472,472,472,472,472,471,472,472,472,471, \
- 472,472,472,472,472,472,472,472,472,472,472,472,472,472,471,472, \
- 472,472,472,472,472,472,472,472,472,472,472,472,472,472,472,472, \
- 472,472,472,472,472,472,472,472,472,472,472,472,472,472,472,472, \
- 472,472,472,472,472,471,472,472,472,472,472,472,472,472,472,472, \
- 472,472,472,472,472,472,472,472,472,472,472,472,472,472,472,472, \
- 472,472,472,536,536,536,536,536,536,528,536,536,536,536,536,536, \
- 536,536,536,536,536,536,544,536,536,536,536,600,536,599,600,600, \
- 599,599,600,600,600,600,600,600,599,600,600,600,600,599,600,600, \
- 600,600,600,600,600,599,600,599,600,600,600,599,600,600,600,600, \
- 600,599,600,599,600,600,600,599,600,600,600,600,600,600,600,600, \
- 600,600,600,599,599,600,600,600,600,600,600,600,600,600,600,600, \
- 600,600,600,600,600,599,600,600,599,600,599,600,599,600,600,600, \
- 599,600,600,600,599,600,600,664,600,664,600,600,600,600,600,663, \
- 599,664,600,664,600,664,664,664,664,664,664,664,663,664,664,664, \
- 663,664,664,664,663,664,663,664,664,664,663,664,663,664,664,664, \
- 664,664,664,664,664,664,663,664,664,663,664,664,664,664,664,664, \
- 663,663,664,664,664,664,663,664,663,664,663,664,663,664,663,664, \
- 663,664,663,664,664,664,664,664,664,664,663,664,663,664,664,664, \
- 664,664,664,664,664,664,664,664,663,728,663,728,728,727,728,728, \
- 728,728,728,728,728,728,728,728,727,728,728,728,727,728,728,728, \
- 728,728,728,728,727,728,727,728,728,728,727,728,727,728,728,728, \
- 727,728,728,728,727,728,728,728,728,728,727,728,728,728,728,728, \
- 727,728,728,728,727,728,792,792,727,728,727,728,791,792,728,728, \
- 728,728,728,728,728,728,792,792,727,792,792,792,792,792,791,792, \
- 792,792,792,792,792,792,792,792,792,792,792,792,792,792,791,790, \
- 791,792,791,792,792,792,791,792,791,792,791,792,791,792,791,792, \
- 791,792,792,792,791,792,792,792,791,792,792,792,791,792,791,791, \
- 791,791,791,792,792,791,792,792,791,792,792,792,791,792,792,792, \
- 792,791,792,792,791,792,792,856,792,792,792,856,792,791,792,856 \
+ -1,0,0,0,0,0,-1,0,-1,0,-1,0,0,0,-1,0, \
+ 0,0,0,14,14,15,16,15,18,15,16,18,18,19,20,22, \
+ 22,23,23,23,26,27,26,30,27,27,27,27,27,26,26,27, \
+ 27,29,30,27,32,32,34,35,36,36,38,38,40,38,40,44, \
+ 44,44,46,46,44,44,44,46,44,44,52,46,44,45,52,54, \
+ 52,52,54,54,52,52,54,54,52,52,58,54,54,52,58,58, \
+ 54,64,72,64,72,72,72,72,76,72,72,72,72,72,72,76, \
+ 76,72,72,80,80,88,72,72,88,88,76,88,88,92,88,91, \
+ 91,92,92,88,92,92,88,88,88,88,88,92,92,92,92,96, \
+ 92,104,104,100,92,108,104,104,104,108,108,108,108,108,108,108, \
+ 108,108,108,107,108,108,108,108,108,108,106,108,108,108,108,108, \
+ 108,108,108,108,116,116,108,116,116,116,116,108,108,108,108,108, \
+ 108,108,108,108,116,116,116,116,116,116,116,144,136,136,116,136, \
+ 152,152,144,152,151,152,143,144,144,151,136,144,152,148,152,144, \
+ 152,152,144,144,152,148,152,152,152,152,152,176,152,152,152,176, \
+ 176,176,176,176,176,176,176,176,176,176,184,184,184,184,184,176, \
+ 184,184,184,184,184,184,176,184,184,184,184,184,184,184,184,184, \
+ 184,184,183,184,184,184,184,184,183,184,200,184,184,201,204,207, \
+ 201,184,225,213,213,225,212,213,213,225,216,213,213,219,216,225, \
+ 225,213,219,213,225,222,224,225,225,225,225,225,213,225,231,225, \
+ 225,213,213,237,216,219,261,225,225,225,225,261,225,255,255,224, \
+ 225,225,255,255,261,255,260,261,261,261,264,261,261,267,264,264, \
+ 261,273,273,273,272,273,273,273,273,273,273,273,273,273,273,273, \
+ 273,273,273,273,261,273,273,270,273,272,273,273,273,273,273,273, \
+ 273,264,273,273,264,261,264,270,273,273,273,264,273,273,273,273, \
+ 273,273,273,273,272,273,273,273,273,273,271,272,273,273,273,273, \
+ 276,276,273,273,272,273,273,273,273,273,273,276,273,273,273,273, \
+ 276,273,273,273,273,273,273,273,273,318,318,318,318,273,273,318, \
+ 318,318,318,318,318,318,318,318,317,318,318,318,318,318,318,318, \
+ 318,316,317,318,318,318,317,318,318,318,318,318,318,342,318,318, \
+ 318,342,318,342,318,342,318,342,342,318,318,342,342,342,342,342, \
+ 342,342,342,342,360,342,342,342,342,342,342,342,342,342,423,424, \
+ 424,424,342,424,424,392,424,423,424,400,422,400,400,400,400,424, \
+ 424,400,400,408,400,408,408,424,424,408,408,424,408,424,424,424, \
+ 424,424,423,424,424,424,424,424,423,424,424,424,424,424,424,424, \
+ 424,424,423,424,424,424,424,423,423,424,424,422,423,424,424,424, \
+ 423,424,424,424,424,424,424,424,424,424,424,423,424,424,424,424, \
+ 424,424,423,424,424,424,424,424,424,424,424,424,456,456,456,456, \
+ 456,456,456,456,456,456,456,456,456,456,456,456,456,456,456,456, \
+ 456,456,456,456,456,456,456,456,456,456,456,455,456,456,456,456, \
+ 456,456,456,456,456,456,456,456,456,456,456,455,456,456,456,456, \
+ 456,456,456,488,488,488,456,488,488,488,488,456,488,488,488,488, \
+ 488,488,488,488,488,488,488,560,568,552,552,552,551,551,568,552, \
+ 552,560,551,552,552,568,552,568,568,584,568,560,560,568,584,584, \
+ 584,552,584,583,583,568,584,600,583,584,560,567,584,583,584,584, \
+ 600,600,600,567,600,600,599,584,598,584,600,599,568,584,584,584, \
+ 599,584,584,584,600,600,584,600,598,599,599,592,600,599,600,584, \
+ 598,600,600,584,600,600,599,600,592,599,598,599,599,600,599,600, \
+ 600,600,600,599,600,597,600,600,600,592,599,600,600,598,599,615, \
+ 600,600,598,599,598,599,600,600,600,600,600,599,600,648,648,648, \
+ 647,648,648,648,648,648,680,648,648,680,680,680,679,680,680,680, \
+ 695,696,679,680,696,680,696,688,688,679,695,696,696,695,696,696, \
+ 696,696,696,680,680,696,696,680,696,680,687,712,680,696,680,712, \
+ 695,696,696,680,696,696,696,695,696,728,696,720,696,728,696,712, \
+ 696,712,727,727,728,728,696,712,696,712,728,720,728,727,727,728, \
+ 728,728,728,728,728,712,728,728,728,712,728,727,728,728,728,720, \
+ 728,727,727,727,728,727,728,728,728,728,728,728,728,728,728,728, \
+ 728,728,728,728,728,727,728,728,728,727,728,727,728,727,728,727, \
+ 728,728,728,728,726,727,728,727,728,728,728,728,728,728,727,728, \
+ 728,728,727,727,728,727,728,727,728,728,728,727,728,727,728,728, \
+ 728,728,728,727,728,728,728,728,728,728,728,728,727,728,727,728, \
+ 726,727,727,728,728,727,728,727,728,728,728,728,728,728,824,728, \
+ 728,728,728,840,824,728,824,824,824,824,847,848,855,856,856,856, \
+ 854,855,856,856,856,856,856,856,856,856,856,855,856,856,856,856 \
   
 #define MPFR_SQRHIGH_TAB  \
- -1,0,0,0,0,-1,5,5,7,7,9,7,9,8,9,10, \
- 11,10,11,11,13,12,13,13,17,14,16,16,16,16,17,18, \
- 18,18,19,20,20,22,21,24,22,24,23,24,24,26,26,26, \
- 28,28,28,30,28,29,30,31,30,31,32,33,32,33,34,35, \
- 34,35,36,36,36,37,38,40,40,40,40,40,42,43,42,44, \
- 45,47,50,44,44,44,50,48,50,51,47,48,49,48,49,50, \
- 51,52,53,52,53,52,53,54,55,56,57,58,59,56,57,58, \
- 59,58,59,62,61,60,61,62,63,62,63,64,65,64,65,70, \
- 67,72,72,72,76,74,72,72,74,76,76,76,76,74,80,80, \
- 74,76,84,80,80,82,80,84,82,84,84,88,84,90,88,82, \
- 86,88,88,84,84,86,88,88,88,88,88,88,88,88,90,92, \
- 90,92,92,92,96,94,96,96,96,96,100,96,96,116,98,100, \
- 98,98,100,100,117,117,118,119,119,120,116,119,120,119,118,119, \
- 119,119,122,128,120,119,120,119,116,121,120,118,120,125,125,119, \
- 125,124,131,131,130,131,134,131,132,134,124,125,133,143,137,138, \
- 131,144,138,137,135,138,130,135,137,143,143,137,137,143,130,138, \
- 131,140,138,137,136,149,149,142,143,156,149,149,144,154,149,147, \
- 149,156,149,152,147,147,155,156,149,150,149,146,160,160,163,168, \
- 167,167,156,166,156,164,156,158,161,172,161,166,167,161,173,164, \
- 167,174,173,162,171,172,173,176,173,171,165,182,174,174,173,184, \
- 171,170,174,173,178,176,176,168,179,176,177,182,178,180,191,174, \
- 186,184,176,192,180,180,173,174,179,185,175,182,184,180,179,178, \
- 179,180,179,186,185,185,188,184,186,188,186,190,191,191,195,192, \
- 198,192,194,200,213,197,225,198,201,200,191,210,195,212,224,212, \
- 213,213,212,212,213,213,221,218,218,224,199,224,219,224,225,225, \
- 225,222,225,228,229,213,237,228,218,224,234,240,237,240,242,242, \
- 243,240,242,242,235,228,231,228,237,230,231,236,236,237,336,336, \
- 336,336,336,336,336,336,336,336,336,336,341,336,336,336,336,336, \
- 336,336,341,336,336,336,336,342,336,336,342,336,336,336,336,342, \
- 336,336,336,336,336,336,336,342,336,336,336,336,342,336,336,336, \
- 336,336,336,336,336,336,336,342,336,336,336,336,342,336,336,342, \
- 336,336,342,336,336,336,336,336,336,336,342,336,336,336,336,342, \
- 336,342,342,336,342,342,336,342,336,342,336,336,342,336,336,342, \
- 336,336,342,336,336,342,336,342,342,342,341,348,342,348,348,348, \
- 342,342,354,348,354,354,348,336,354,354,354,336,342,360,360,354, \
- 354,342,360,360,366,366,360,372,354,360,354,360,354,360,360,353, \
- 336,336,342,360,366,342,360,336,336,342,342,336,336,336,341,341, \
- 336,336,336,336,342,342,336,342,342,342,342,336,342,342,341,342, \
- 348,342,342,360,354,348,348,342,354,348,360,348,354,354,353,354, \
- 354,354,354,456,360,360,456,366,372,366,366,456,354,366,456,456, \
- 456,378,456,456,455,456,456,456,378,366,390,384,378,378,360,378, \
- 372,366,378,456,378,464,472,378,472,472,336,456,472,456,456,456, \
- 472,472,456,456,472,464,456,456,456,342,426,456,426,455,472,456, \
- 472,472,426,472,348,456,472,456,456,455,456,480,455,456,455,456, \
- 456,455,456,456,454,456,456,456,456,455,456,456,454,455,456,456, \
- 456,464,456,456,455,456,455,456,456,464,456,456,472,456,456,464, \
- 472,472,456,456,455,456,456,456,455,472,479,456,472,472,488,464, \
- 472,472,471,488,472,472,488,488,472,472,488,456,480,472,456,488, \
- 472,472,479,463,488,426,456,426,426,426,426,425,455,455,425,456, \
- 455,455,456,480,455,456,456,456,456,455,456,456,454,456,455,456, \
- 456,455,456,456,455,455,455,456,456,454,456,456,455,456,456,456, \
- 456,455,456,456,472,456,456,456,456,455,464,464,472,472,472,464, \
- 472,472,456,455,472,472,471,456,472,480,456,480,480,480,456,488, \
- 480,488,488,488,472,472,488,488,472,472,488,480,496,472,456,480, \
- 496,472,488,456,480,456,456,456,456,488,456,456,488,456,456,456, \
- 456,455,456,456,455,455,456,464,456,512,456,456,512,472,464,456, \
- 472,512,456,480,464,480,472,471,472,472,471,479,470,480,471,471, \
- 472,472,480,488,478,480,488,487,480,480,488,488,568,485,488,488, \
- 512,488,488,471,568,512,512,512,512,496,511,511,512,512,520,511, \
- 512,512,520,520,568,512,520,520,512,512,520,520,519,520,519,519, \
- 520,568,520,536,536,536,536,528,536,528,535,535,534,512,535,512, \
- 536,536,552,552,536,552,552,520,567,544,552,552,552,568,567,567, \
- 568,568,567,567,568,568,535,584,568,512,568,567,512,568,567,568, \
- 576,568,567,584,568,600,584,584,600,568,597,592,591,600,599,599 \
+ -1,0,0,0,0,0,-1,0,0,0,0,7,8,8,10,10, \
+ 10,10,11,11,12,12,13,14,14,14,16,16,16,16,18,18, \
+ 18,18,20,20,20,20,22,22,22,22,24,26,26,24,26,26, \
+ 26,26,28,28,28,28,30,30,30,31,31,31,32,34,34,34, \
+ 34,34,36,35,36,36,38,38,38,38,40,39,40,40,42,42, \
+ 44,44,46,46,46,44,46,46,46,46,48,48,48,50,52,49, \
+ 50,50,52,52,54,54,56,54,58,58,57,58,58,58,58,58, \
+ 58,58,60,59,60,60,72,72,72,72,64,64,76,76,72,72, \
+ 72,72,72,72,72,68,76,72,72,72,72,72,72,72,76,76, \
+ 76,76,76,76,76,80,78,80,80,80,80,80,80,80,86,84, \
+ 84,88,84,84,84,84,88,88,88,88,88,88,92,88,92,92, \
+ 92,92,92,92,92,92,96,96,100,100,100,100,100,104,100,100, \
+ 100,104,104,104,100,104,104,104,104,104,108,108,120,104,118,119, \
+ 108,119,124,117,108,108,124,112,112,112,132,118,124,112,117,118, \
+ 117,117,118,119,118,117,125,124,124,126,126,125,120,125,130,125, \
+ 124,123,125,124,126,125,126,127,136,129,130,128,131,129,130,130, \
+ 131,131,137,137,136,132,137,136,138,136,138,138,136,138,138,137, \
+ 138,138,142,142,142,142,143,142,148,142,149,143,144,154,154,148, \
+ 146,149,149,154,156,148,153,150,154,152,153,154,161,154,154,155, \
+ 160,156,155,162,156,168,159,161,166,158,160,160,160,162,162,161, \
+ 162,166,174,172,173,166,167,168,172,166,174,167,178,168,178,172, \
+ 174,171,178,172,180,174,178,173,179,190,178,179,184,176,179,178, \
+ 179,180,180,180,180,185,190,184,184,184,190,185,184,190,190,186, \
+ 186,213,213,213,213,213,213,213,213,213,213,213,213,213,211,213, \
+ 213,213,213,213,216,213,213,213,213,213,213,213,225,225,225,213, \
+ 225,225,230,213,213,225,225,225,237,237,237,237,237,237,225,225, \
+ 236,237,237,237,237,237,237,237,237,237,225,237,237,237,237,237, \
+ 237,237,237,237,225,237,237,237,225,249,231,237,225,225,225,225, \
+ 228,249,228,228,228,228,230,231,237,249,234,237,237,237,237,261, \
+ 240,237,240,237,242,249,237,240,244,249,242,249,252,249,249,249, \
+ 249,249,245,249,248,249,252,261,257,261,249,249,249,261,261,255, \
+ 261,257,259,257,261,261,261,261,261,261,261,261,261,261,261,261, \
+ 261,261,261,261,261,261,273,273,273,273,273,273,273,273,273,273, \
+ 273,273,268,271,273,273,273,273,273,273,273,273,273,273,273,273, \
+ 285,276,285,285,285,285,285,285,285,285,285,285,285,285,285,285, \
+ 285,297,285,285,285,297,291,297,297,297,297,297,297,297,297,297, \
+ 297,309,309,309,309,309,297,293,297,297,296,297,297,297,297,297, \
+ 321,321,300,300,304,302,303,305,303,306,307,309,309,309,307,308, \
+ 309,309,309,316,312,309,319,321,317,318,319,319,321,321,317,315, \
+ 321,317,321,316,321,321,319,318,321,321,321,321,321,321,321,321, \
+ 333,333,333,324,333,333,333,328,333,328,333,333,333,342,333,333, \
+ 342,340,341,333,341,332,333,333,342,354,354,354,342,341,342,342, \
+ 342,354,342,342,342,340,342,342,342,342,426,366,365,348,426,354, \
+ 354,348,426,354,425,426,354,354,426,354,354,353,354,354,354,354, \
+ 354,354,450,426,364,366,450,450,365,366,366,366,366,425,426,450, \
+ 425,426,426,365,425,426,426,366,426,424,426,426,424,425,426,424, \
+ 425,425,426,426,426,426,425,426,425,450,450,426,449,450,450,450, \
+ 449,450,450,447,448,426,450,449,449,449,426,450,450,425,426,426, \
+ 449,426,426,425,426,426,426,426,426,426,425,426,426,426,425,426, \
+ 426,426,426,426,426,426,426,426,449,426,426,450,449,450,450,449, \
+ 450,450,449,450,450,450,449,450,450,450,450,450,450,450,450,449, \
+ 450,450,450,426,450,450,449,450,426,449,426,449,450,450,450,450, \
+ 450,450,450,450,450,425,450,449,450,448,450,450,450,450,450,450, \
+ 450,450,448,450,450,450,450,450,450,450,450,450,448,449,450,450, \
+ 450,450,450,449,450,450,449,450,450,450,450,450,450,449,450,450, \
+ 450,450,449,449,450,450,449,450,450,450,450,450,450,488,450,450, \
+ 450,450,487,487,488,487,488,488,488,568,568,567,568,567,568,568, \
+ 568,600,567,568,568,568,568,568,568,568,568,568,567,568,567,568, \
+ 568,568,568,568,568,568,567,568,568,568,568,568,567,568,568,567, \
+ 568,567,566,568,568,568,568,568,600,567,600,568,599,600,600,600, \
+ 600,567,600,599,600,600,568,600,568,600,568,568,568,568,568,599, \
+ 568,599,600,600,600,599,568,600,600,599,600,600,600,599,600,600, \
+ 632,632,632,599,600,599,600,600,598,600,600,600,599,600,600,599, \
+ 600,631,600,599,600,600,600,632,632,632,632,631,632,600,632,632 \
   
 #define MPFR_DIVHIGH_TAB  \
- 0,1,2,3,4,5,6,7,6,7,8,9,10,11,12,13, \
- 10,10,11,11,13,12,13,13,14,14,15,15,18,17,19,19, \
- 18,21,19,20,22,21,27,27,22,22,27,28,27,27,27,30, \
- 27,27,27,27,31,31,30,30,31,31,31,35,34,33,35,35, \
- 38,37,36,38,39,39,39,37,39,39,43,43,47,42,43,43, \
- 45,47,54,43,54,54,45,54,54,54,54,55,54,54,55,54, \
- 54,54,54,54,54,54,54,54,54,54,58,58,60,60,60,60, \
- 60,60,68,62,60,60,65,68,68,68,68,68,67,68,76,68, \
- 67,68,67,68,76,76,71,73,76,76,77,76,79,73,79,84, \
- 76,76,78,76,76,84,84,84,84,83,84,84,92,92,83,84, \
- 92,92,84,84,92,84,88,108,86,108,108,108,108,108,108,108, \
- 108,92,108,108,92,108,108,108,120,120,108,108,120,120,120,120, \
- 120,120,108,108,108,120,108,108,120,108,118,108,108,108,108,120, \
- 120,120,108,108,120,120,118,120,120,120,120,120,120,120,120,120, \
- 120,120,120,120,120,120,136,120,120,120,125,136,136,120,136,136, \
- 136,136,136,136,136,136,136,136,136,136,136,136,136,136,136,136, \
- 136,136,136,136,152,136,135,136,152,152,136,136,152,152,152,152, \
- 152,152,152,152,151,152,152,152,152,152,149,150,152,152,152,152, \
- 152,152,151,152,152,168,167,168,152,152,167,152,152,152,165,157, \
- 168,168,167,168,168,184,168,168,168,168,168,168,168,168,168,168, \
- 168,167,168,168,184,168,168,168,184,184,184,184,184,184,184,184, \
- 172,184,179,180,184,184,184,184,184,184,176,180,184,184,216,216, \
- 184,184,184,216,184,184,216,184,184,216,184,216,216,184,216,216, \
- 240,240,216,216,240,240,216,216,240,240,239,214,240,240,216,240, \
- 240,240,238,240,240,240,216,240,240,239,240,216,240,240,216,238, \
- 240,240,240,216,240,240,240,238,240,240,239,240,240,240,240,240, \
- 240,239,240,240,240,240,240,240,240,240,239,238,240,240,240,240, \
- 240,240,240,238,240,240,240,240,240,240,239,238,240,240,240,240, \
- 240,240,238,238,240,240,240,240,240,239,239,240,240,240,240,240, \
- 240,240,240,240,240,240,271,240,240,240,240,271,240,240,272,272, \
- 272,272,272,272,272,272,272,272,270,271,272,272,272,272,272,272, \
- 272,271,272,272,272,269,272,272,272,270,269,272,272,272,272,272, \
- 272,272,272,269,272,272,272,272,304,267,271,272,272,272,272,272, \
- 271,272,272,272,272,272,271,272,272,270,272,272,272,272,273,301, \
- 304,304,300,301,304,303,304,304,304,303,303,304,304,304,303,301, \
- 304,304,303,298,304,304,303,304,304,303,301,304,304,303,301,302, \
- 304,303,304,304,304,304,301,304,304,304,301,302,304,304,301,304, \
- 304,303,303,304,304,304,304,304,304,304,303,304,304,304,336,336, \
- 336,335,336,334,336,336,336,336,336,336,336,336,336,336,336,336, \
- 336,336,334,336,336,336,336,336,336,336,335,336,336,336,336,336, \
- 336,336,336,336,336,328,336,336,336,336,335,336,336,336,336,336, \
- 336,368,336,334,336,336,336,336,336,336,336,336,336,336,396,400, \
- 398,384,368,400,384,399,399,400,368,368,368,400,368,368,368,400, \
- 400,400,399,400,400,376,400,400,400,367,399,400,368,367,400,366, \
- 367,368,400,366,368,368,365,368,368,368,400,399,400,400,368,399, \
- 368,368,366,368,368,368,400,368,368,368,368,368,368,368,400,400, \
- 396,400,397,374,400,399,400,400,400,400,397,398,400,401,400,400, \
- 400,400,400,396,399,397,400,400,400,400,400,396,400,401,400,432, \
- 400,398,399,400,396,396,432,432,400,432,400,396,400,397,399,400, \
- 400,400,400,396,400,401,432,432,432,399,432,400,400,432,432,432, \
- 432,432,432,432,432,433,432,432,432,432,432,480,480,432,432,432, \
- 432,432,432,432,432,432,432,432,432,431,431,432,432,480,432,432, \
- 480,480,432,478,480,432,432,480,432,432,432,432,480,432,432,432, \
- 432,432,432,432,480,480,432,432,480,432,432,432,432,432,480,478, \
- 480,447,477,480,480,480,480,480,480,479,440,444,480,445,448,480, \
- 480,479,464,464,480,480,480,478,480,480,478,480,480,480,480,480, \
- 480,479,480,479,480,480,478,480,480,480,478,478,480,480,480,480, \
- 480,480,480,478,480,480,480,478,480,479,478,480,480,476,480,478, \
- 480,480,478,478,480,480,480,480,480,479,479,478,480,480,480,480, \
- 480,479,480,478,480,480,480,480,480,479,543,544,544,480,544,544, \
- 542,543,544,544,544,540,544,544,544,544,544,542,544,544,544,544, \
- 542,542,542,542,544,544,544,560,542,542,575,543,544,544,544,542, \
- 544,575,575,544,544,544,544,544,561,561,543,559,544,560,560,560, \
- 608,587,573,575,575,608,583,585,560,575,585,575,588,573,608,577 \
+ 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,0,0,0,0,0,0,0,0,0,0,0, /*32-47*/ \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*48-63*/ \
+ 0,0,0,0,37,37,37,0,44,42,42,43,45,44,44,44, /*64-79*/ \
+ 45,45,45,50,51,52,49,50,52,52,49,51,51,52,50,52, /*80-95*/ \
+ 51,52,52,54,53,53,57,57,58,57,72,58,72,58,57,68, /*96-111*/ \
+ 72,72,66,72,72,69,75,72,72,72,72,72,72,72,72,72, /*112-127*/ \
+ 76,72,72,72,87,72,76,88,80,76,88,72,72,88,88,75, /*128-143*/ \
+ 92,83,88,88,92,88,86,88,83,84,85,88,88,88,88,90, /*144-159*/ \
+ 88,88,86,91,88,88,90,88,91,104,91,90,104,104,90,98, /*160-175*/ \
+ 91,91,92,99,104,104,104,98,104,100,104,108,104,105,104,104, /*176-191*/ \
+ 104,105,106,104,104,104,107,104,104,116,116,112,107,108,108,116, /*192-207*/ \
+ 108,116,108,116,116,116,116,128,116,116,136,116,116,116,115,128, /*208-223*/ \
+ 132,116,116,136,136,144,136,140,136,136,140,144,144,143,144,136, /*224-239*/ \
+ 152,152,144,152,152,144,148,152,148,152,144,140,144,144,148,152, /*240-255*/ \
+ 135,144,176,150,152,174,136,152,144,144,144,176,176,176,148,144, /*256-271*/ \
+ 152,176,152,172,176,144,148,176,152,176,152,176,176,164,152,176, /*272-287*/ \
+ 180,180,176,176,180,176,175,176,176,176,174,176,180,176,176,180, /*288-303*/ \
+ 174,176,180,176,176,174,176,176,176,176,176,176,181,176,176,180, /*304-319*/ \
+ 180,168,176,182,173,176,176,176,180,176,176,176,176,176,176,176, /*320-335*/ \
+ 180,180,182,174,176,176,176,176,176,178,176,182,184,183,208,184, /*336-351*/ \
+ 180,180,208,208,208,200,208,208,184,208,208,216,208,200,208,200, /*352-367*/ \
+ 212,212,204,208,212,208,208,208,208,212,200,207,208,208,212,216, /*368-383*/ \
+ 208,208,212,214,206,208,208,208,208,216,214,207,208,215,208,208, /*384-399*/ \
+ 212,210,208,208,212,214,216,216,216,214,215,216,216,214,216,215, /*400-415*/ \
+ 224,232,224,224,232,232,232,224,232,230,231,232,232,231,232,232, /*416-431*/ \
+ 232,232,232,224,232,232,232,232,231,228,231,232,256,232,232,231, /*432-447*/ \
+ 232,230,231,232,232,232,232,232,231,232,232,271,272,232,280,271, /*448-463*/ \
+ 272,271,288,272,280,270,271,272,272,296,296,288,296,272,296,288, /*464-479*/ \
+ 296,272,296,272,288,304,296,304,296,296,296,304,272,303,304,296, /*480-495*/ \
+ 296,304,304,300,304,312,304,304,303,304,296,296,312,296,296,320, /*496-511*/ \
+ 304,288,320,304,296,296,304,294,272,296,296,288,304,296,352,302, /*512-527*/ \
+ 352,304,288,336,296,352,296,304,304,352,304,352,288,288,296,352, /*528-543*/ \
+ 352,352,296,304,304,296,360,352,288,304,288,360,304,304,352,352, /*544-559*/ \
+ 352,352,288,304,352,352,304,288,352,288,352,303,304,304,296,352, /*560-575*/ \
+ 304,352,344,368,360,352,352,352,352,352,352,352,352,344,350,352, /*576-591*/ \
+ 352,352,352,352,360,352,351,352,360,352,352,352,352,352,336,352, /*592-607*/ \
+ 360,352,352,351,344,351,352,352,352,360,368,352,352,352,352,360, /*608-623*/ \
+ 351,368,352,351,352,352,360,352,367,352,360,352,352,368,352,368, /*624-639*/ \
+ 368,368,352,360,360,352,351,352,360,352,367,352,368,352,352,358, /*640-655*/ \
+ 352,352,344,352,350,352,352,352,352,368,352,352,351,352,352,360, /*656-671*/ \
+ 352,356,360,360,351,352,352,368,360,352,351,352,352,352,352,352, /*672-687*/ \
+ 360,349,352,351,352,352,352,352,352,351,352,360,368,352,360,360, /*688-703*/ \
+ 360,358,366,360,360,368,362,368,365,368,367,368,368,368,368,368, /*704-719*/ \
+ 368,368,368,368,368,366,368,367,368,368,368,368,368,368,423,416, /*720-735*/ \
+ 372,432,398,414,400,424,432,432,408,423,424,426,426,432,424,425, /*736-751*/ \
+ 426,424,432,424,424,432,432,416,424,432,430,414,414,425,432,414, /*752-767*/ \
+ 432,422,426,432,432,432,432,432,432,423,432,424,432,447,425,432, /*768-783*/ \
+ 432,432,432,426,424,416,424,416,426,424,432,424,432,424,408,424, /*784-799*/ \
+ 432,432,423,426,432,425,424,432,416,424,414,415,414,426,416,432, /*800-815*/ \
+ 420,424,416,416,424,423,432,430,426,424,425,424,424,423,432,426, /*816-831*/ \
+ 426,432,432,432,426,432,432,432,432,432,432,431,432,432,447,432, /*832-847*/ \
+ 448,448,448,462,462,432,456,448,448,462,460,456,462,459,464,456, /*848-863*/ \
+ 456,462,464,464,464,457,448,448,462,462,462,462,462,448,461,456, /*864-879*/ \
+ 456,464,480,448,460,464,464,463,464,528,462,462,464,462,462,462, /*880-895*/ \
+ 462,464,464,544,544,512,512,544,512,544,542,543,544,528,480,544, /*896-911*/ \
+ 543,544,512,512,528,544,512,544,544,544,544,528,544,540,520,520, /*912-927*/ \
+ 528,544,544,528,536,543,542,542,544,541,544,540,544,543,544,544, /*928-943*/ \
+ 542,544,544,544,543,544,544,544,544,544,544,544,544,544,544,544, /*944-959*/ \
+ 546,544,544,544,544,543,542,543,544,552,542,543,544,542,544,544, /*960-975*/ \
+ 576,544,544,528,544,542,544,544,546,544,544,542,576,544,544,607, /*976-991*/ \
+ 512,576,528,542,576,576,542,544,608,544,606,544,544,607,608,608, /*992-1007*/ \
+ 544,542,544,544,608,542,544,608,544,542,608,608,608,608,545,544 /*1008-1023*/ \
   
-#define MPFR_MUL_THRESHOLD 13 /* limbs */
-#define MPFR_SQR_THRESHOLD 11 /* limbs */
-#define MPFR_DIV_THRESHOLD 19 /* limbs */
-#define MPFR_EXP_2_THRESHOLD 1092 /* bits */
-#define MPFR_EXP_THRESHOLD 11053 /* bits */
-#define MPFR_SINCOS_THRESHOLD 25857 /* bits */
-#define MPFR_AI_THRESHOLD1 -19352 /* threshold for negative input of mpfr_ai */
-#define MPFR_AI_THRESHOLD2 1476
-#define MPFR_AI_THRESHOLD3 30069
-/* Tuneup completed successfully, took 8167 seconds */
+#define MPFR_MUL_THRESHOLD 16 /* limbs */
+#define MPFR_SQR_THRESHOLD 13 /* limbs */
+#define MPFR_DIV_THRESHOLD 3 /* limbs */
+#define MPFR_EXP_2_THRESHOLD 1712 /* bits */
+#define MPFR_EXP_THRESHOLD 3145 /* bits */
+#define MPFR_SINCOS_THRESHOLD 20447 /* bits */
+#define MPFR_AI_THRESHOLD1 -6778 /* threshold for negative input of mpfr_ai */
+#define MPFR_AI_THRESHOLD2 549
+#define MPFR_AI_THRESHOLD3 8677
+/* Tuneup completed successfully, took 676 seconds */