diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-07-28 17:17:24 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-07-28 17:17:24 +0000 |
commit | 95736ac3703a0f7695e870045e0433f48907814f (patch) | |
tree | 68b92a71e4d2e807708e677f5624fd7c4547e232 /src/powerpc32 | |
parent | b88cba227b46c8674736893f9a2859ceab586e0e (diff) | |
download | mpfr-95736ac3703a0f7695e870045e0433f48907814f.tar.gz |
modified the default tuning parameters so they are within the bounds of the
ARITH-20 paper "Short Division of Long Integers"
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7758 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/powerpc32')
-rw-r--r-- | src/powerpc32/mparam.h | 384 |
1 files changed, 192 insertions, 192 deletions
diff --git a/src/powerpc32/mparam.h b/src/powerpc32/mparam.h index 63e225e2d..9909c1767 100644 --- a/src/powerpc32/mparam.h +++ b/src/powerpc32/mparam.h @@ -3,202 +3,202 @@ /* used MPFR svn revision 7238 */ #define MPFR_MULHIGH_TAB \ - -1,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,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,40,40,40,40,40,40, \ - 40,40,40,40,40,44,48,48,48,48,48,48,48,48,48,48, \ - 48,48,48,48,52,52,52,52,52,52,52,52,52,52,52,64, \ - 64,64,64,64,74,74,74,75,74,75,75,75,75,75,75,75, \ - 75,75,75,75,75,75,75,75,75,75,75,75,75,75,75,75, \ - 75,93,93,93,93,93,93,93,93,93,93,93,93,93,93,93, \ - 105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105, \ - 105,105,124,124,124,124,124,124,124,124,124,124,124,124,124,124, \ - 124,124,124,124,124,124,140,140,140,140,140,140,140,140,156,156, \ - 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ - 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ - 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ - 156,156,156,156,156,156,156,156,186,186,186,186,186,186,186,186, \ - 186,186,186,186,186,186,186,186,186,186,186,186,186,186,210,210, \ - 210,210,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,233,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,280,280,280,280,280,280,280,312,312,312,312,312,312,312,312, \ - 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ - 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ - 312,312,312,312,312,312,312,312,312,344,344,344,344,344,344,312, \ - 344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,344, \ - 344,344,344,344,344,344,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,407,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,584,584,584,584,584,584,584,584,584,584,584, \ - 584,584,584,584,584,584,584,584,583,584,583,584,584,584,584,584, \ - 592,584,592,584,592,592,592,592,592,584,592,592,592,584,584,584, \ - 584,584,584,584,584,584,584,584,584,584,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,591,592,591,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,591,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,735,736,735,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,832,832,736, \ - 832,831,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \ - 832,832,831,832,832,832,832,832,832,832,832,832,832,832,832,832, \ - 832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832 \ + -1,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,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,40,40,40,40,40,40, \ + 40,40,40,40,40,44,48,48,48,48,48,48,48,48,48,48, \ + 48,48,48,48,52,52,52,52,52,52,52,52,52,52,52,64, \ + 64,64,64,64,74,74,74,75,74,75,75,75,75,75,75,75, \ + 75,75,75,75,75,75,75,75,75,75,75,75,75,75,75,75, \ + 75,93,93,93,93,93,93,93,93,93,93,93,93,93,93,93, \ + 105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105, \ + 105,105,124,124,124,124,124,124,124,124,124,124,124,124,124,124, \ + 124,124,124,124,124,124,140,140,140,140,140,140,140,140,156,156, \ + 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ + 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ + 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ + 156,156,156,156,156,156,156,156,186,186,186,186,186,186,186,186, \ + 186,186,186,186,186,186,186,186,186,186,186,186,186,186,210,210, \ + 210,210,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,233,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,280,280,280,280,280,280,280,312,312,312,312,312,312,312,312, \ + 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ + 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ + 312,312,312,312,312,312,312,312,312,344,344,344,344,344,344,312, \ + 344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,344, \ + 344,344,344,344,344,344,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,407,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,584,584,584,584,584,584,584,584,584,584,584, \ + 584,584,584,584,584,584,584,584,583,584,583,584,584,584,584,584, \ + 592,584,592,584,592,592,592,592,592,584,592,592,592,584,584,584, \ + 584,584,584,584,584,584,584,584,584,584,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,591,592,591,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,591,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,735,736,735,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,832,832,736, \ + 832,831,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \ + 832,832,831,832,832,832,832,832,832,832,832,832,832,832,832,832, \ + 832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832 \ #define MPFR_SQRHIGH_TAB \ - -1,0,0,0,0,0,0,0,0,0,0,6,7,7,8,8, \ - 9,9,10,10,11,11,12,12,13,13,14,14,15,15,16,16, \ - 17,17,18,18,19,19,20,20,21,21,22,22,23,23,24,24, \ - 26,26,26,28,28,28,30,32,32,32,32,32,32,32,34,34, \ - 36,36,36,36,36,40,40,40,40,40,40,40,42,42,42,44, \ - 44,44,46,46,46,46,46,46,46,46,46,46,56,56,56,56, \ - 56,56,56,56,60,64,64,64,64,64,64,64,64,64,64,64, \ - 64,64,64,68,68,72,72,72,72,72,72,72,72,76,76,76, \ - 76,76,76,76,68,72,72,72,72,72,76,76,76,76,76,76, \ - 76,76,76,76,76,76,76,76,87,90,93,93,93,93,93,93, \ - 93,96,99,99,99,99,93,96,93,93,96,99,99,102,99,99, \ - 105,102,105,105,105,105,108,108,108,111,111,111,111,111,117,117, \ - 117,117,117,117,117,117,123,123,123,123,123,123,123,126,126,129, \ - 129,123,129,129,129,129,129,129,129,129,129,129,129,129,129,129, \ - 129,123,123,123,123,123,123,123,126,129,129,129,129,129,129,129, \ - 129,129,129,129,129,129,164,164,164,164,164,164,164,164,164,164, \ - 172,172,172,172,172,172,156,156,156,156,156,156,156,156,156,163, \ - 164,164,164,164,164,171,171,171,172,172,172,172,172,172,172,180, \ - 180,179,180,180,180,180,180,180,180,180,180,180,180,180,180,180, \ - 180,180,180,180,198,198,198,198,180,198,198,198,210,210,210,210, \ - 210,210,210,210,210,210,210,222,222,222,222,222,222,222,222,222, \ - 222,222,222,222,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,246,246,246,246,246,246,246,246,246,246,246,246,246,246, \ - 258,246,246,258,258,258,258,258,258,258,258,258,258,270,270,270, \ - 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ - 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ - 270,270,270,270,270,270,270,270,270,270,270,270,270,270,312,270, \ - 312,312,312,270,270,270,270,270,270,270,270,328,328,312,328,328, \ - 328,328,328,328,328,328,328,344,344,312,328,344,328,328,328,328, \ - 328,328,328,328,328,328,328,328,328,328,328,327,328,328,328,328, \ - 328,344,328,328,328,328,328,328,344,344,344,344,344,344,344,344, \ - 344,344,344,360,360,360,360,360,360,360,360,360,360,360,360,360, \ - 360,360,360,360,360,360,360,360,360,360,328,328,360,328,328,328, \ - 328,328,360,328,328,328,328,328,328,328,328,344,344,344,344,344, \ - 344,344,344,344,344,344,344,344,344,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,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,360,360,360,360,360, \ - 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ - 408,408,408,408,408,408,408,408,408,408,440,440,440,440,440,439, \ - 440,440,440,440,440,440,440,440,440,440,440,440,440,440,440,440, \ - 440,440,440,440,440,440,440,440,440,440,440,440,440,472,472,440, \ - 440,471,504,472,472,472,472,472,472,472,472,472,472,472,472,472, \ - 472,472,472,472,472,472,472,472,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,536,536,536,536,536,536,536, \ - 536,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ - 536,536,536,536,536,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, \ - 504,504,504,504,568,568,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,600,600,600,600,600,600,600,536,536,536,535, \ - 535,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ - 536,536,536,536,536,536,536,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,567,568,568,568,568,568,568, \ - 568,568,568,568,568,567,568,568,568,568,568,568,600,600,600,599, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,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,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,599,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600 \ + -1,0,0,0,0,0,0,0,0,0,0,7,8,8,9,9, \ + 10,10,11,11,12,12,13,13,14,14,15,15,16,16,17,17, \ + 18,18,19,19,20,20,21,21,22,22,23,23,24,24,25,25, \ + 26,26,27,28,28,28,30,32,32,32,32,32,32,32,34,34, \ + 36,36,36,36,36,40,40,40,40,40,40,40,42,42,42,44, \ + 44,44,46,46,46,46,46,46,46,46,47,47,56,56,56,56, \ + 56,56,56,56,60,64,64,64,64,64,64,64,64,64,64,64, \ + 64,64,64,68,68,72,72,72,72,72,72,72,72,76,76,76, \ + 76,76,76,76,68,72,72,72,72,72,76,76,76,76,76,76, \ + 76,76,76,76,76,76,77,77,87,90,93,93,93,93,93,93, \ + 93,96,99,99,99,99,93,96,93,93,96,99,99,102,99,99, \ + 105,102,105,105,105,105,108,108,108,111,111,111,111,111,117,117, \ + 117,117,117,117,117,117,123,123,123,123,123,123,123,126,126,129, \ + 129,123,129,129,129,129,129,129,129,129,129,129,129,129,129,129, \ + 129,123,123,123,123,123,123,123,126,129,129,129,129,129,129,129, \ + 129,129,129,129,129,129,164,164,164,164,164,164,164,164,164,164, \ + 172,172,172,172,172,172,156,156,156,156,156,156,156,156,156,163, \ + 164,164,164,164,164,171,171,171,172,172,172,172,172,172,172,180, \ + 180,179,180,180,180,180,180,180,180,180,180,180,180,180,180,180, \ + 180,180,180,180,198,198,198,198,180,198,198,198,210,210,210,210, \ + 210,210,210,210,210,210,210,222,222,222,222,222,222,222,222,222, \ + 222,222,222,222,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,246,246,246,246,246,246,246,246,246,246,246,246,246,246, \ + 258,246,246,258,258,258,258,258,258,258,258,258,258,270,270,270, \ + 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ + 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ + 270,270,270,270,270,270,270,270,270,270,270,270,270,270,312,270, \ + 312,312,312,270,270,270,270,270,270,270,270,328,328,312,328,328, \ + 328,328,328,328,328,328,328,344,344,312,328,344,328,328,328,328, \ + 328,328,328,328,328,328,328,328,328,328,328,327,328,328,328,328, \ + 328,344,328,328,328,328,328,328,344,344,344,344,344,344,344,344, \ + 344,344,344,360,360,360,360,360,360,360,360,360,360,360,360,360, \ + 360,360,360,360,360,360,360,360,360,360,328,328,360,328,328,328, \ + 328,328,360,328,328,328,328,328,328,328,328,344,344,344,344,344, \ + 344,344,344,344,344,344,344,344,344,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,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,360,360,360,360,360, \ + 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ + 408,408,408,408,408,408,408,408,408,408,440,440,440,440,440,439, \ + 440,440,440,440,440,440,440,440,440,440,440,440,440,440,440,440, \ + 440,440,440,440,440,440,440,440,440,440,440,440,440,472,472,440, \ + 440,471,504,472,472,472,472,472,472,472,472,472,472,472,472,472, \ + 472,472,472,472,472,472,472,472,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,536,536,536,536,536,536,536, \ + 536,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ + 536,536,536,536,536,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, \ + 504,504,504,504,568,568,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,600,600,600,600,600,600,600,536,536,536,535, \ + 535,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ + 536,536,536,536,536,536,536,568,568,568,568,568,568,568,568,568, \ + 568,568,568,568,568,568,568,568,568,567,568,568,568,568,568,568, \ + 568,568,568,568,568,567,568,568,568,568,568,568,600,600,600,599, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,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,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,599,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600 \ #define MPFR_DIVHIGH_TAB \ - 0,1,2,3,2,5,6,7,8,7,10,9,12,13,12,9, \ - 12,12,12,12,12,12,15,15,16,15,16,16,16,19,20,20, \ - 20,19,17,18,19,19,21,21,20,23,23,24,25,25,24,24, \ - 24,25,27,27,27,27,28,29,31,31,31,31,32,35,31,32, \ - 32,36,33,35,35,35,35,36,36,37,40,38,39,39,41,40, \ - 40,41,41,48,42,48,47,44,47,47,47,48,48,48,48,48, \ - 50,51,50,50,51,52,52,52,52,55,56,55,54,63,56,64, \ - 63,64,64,64,64,64,62,64,64,63,64,64,72,64,72,64, \ - 64,72,72,71,72,71,71,70,80,71,70,71,80,71,72,80, \ - 72,79,80,80,80,80,80,80,80,79,80,80,80,80,79,80, \ - 80,88,85,95,83,96,96,88,96,96,95,95,96,96,96,96, \ - 96,95,96,104,96,96,96,94,96,95,104,96,96,95,104,104, \ - 96,104,100,104,104,104,104,104,103,104,104,103,104,104,104,104, \ - 104,106,128,110,108,128,128,128,128,128,128,128,128,128,128,128, \ - 128,128,128,128,127,128,128,128,127,124,128,128,126,126,128,125, \ - 128,128,127,128,128,128,128,128,128,127,128,128,148,128,146,128, \ - 128,148,144,147,150,148,150,148,148,150,147,150,144,148,150,148, \ - 150,150,160,148,160,148,148,150,148,149,150,150,160,148,150,148, \ - 148,150,147,150,150,150,148,148,160,150,150,150,150,156,156,156, \ - 154,156,160,160,160,156,159,156,156,160,160,160,160,160,160,160, \ - 160,168,176,192,186,192,186,186,186,192,192,184,192,186,184,192, \ - 185,186,191,192,192,191,186,192,192,192,192,192,192,192,192,192, \ - 192,190,192,192,190,192,192,192,186,192,192,192,192,192,192,192, \ - 192,192,192,192,192,192,192,191,192,192,190,192,192,208,208,208, \ - 192,208,208,208,208,207,208,208,208,208,207,208,206,208,200,208, \ - 208,208,204,208,208,208,208,208,208,208,208,208,208,208,208,208, \ - 208,209,210,211,210,248,256,216,216,248,254,256,256,248,255,256, \ - 256,256,256,255,256,256,256,255,256,256,256,248,256,256,248,256, \ - 256,255,256,256,254,256,256,256,248,255,256,256,256,256,254,256, \ - 256,248,256,247,256,256,256,256,256,256,256,255,255,255,256,256, \ - 256,254,256,256,253,255,256,256,256,255,256,256,256,253,256,288, \ - 256,256,296,256,256,296,300,296,296,288,300,299,312,312,312,312, \ - 288,312,294,311,312,312,299,300,312,296,312,300,300,296,295,299, \ - 312,300,310,312,296,312,310,312,312,311,312,312,311,312,312,312, \ - 312,312,311,312,312,312,310,311,312,310,312,312,310,311,311,312, \ - 312,312,312,312,299,300,300,312,312,312,311,312,312,312,312,312, \ - 312,312,312,312,310,300,311,310,312,312,312,312,308,300,312,312, \ - 312,310,311,310,311,311,312,300,312,312,312,311,312,312,312,312, \ - 311,312,312,312,312,312,312,312,312,312,311,312,312,312,312,312, \ - 312,313,313,320,320,372,320,320,320,372,372,371,371,372,324,372, \ - 371,371,372,370,369,371,371,372,372,372,372,372,370,370,372,370, \ - 371,372,370,372,372,372,372,372,371,371,372,372,370,372,372,372, \ - 370,372,372,372,370,372,372,370,372,370,370,371,372,371,384,372, \ - 371,384,368,372,384,370,383,372,384,383,384,384,384,384,384,372, \ - 372,384,372,372,369,370,372,370,372,368,372,372,372,372,371,370, \ - 372,372,371,416,384,384,384,416,415,383,383,416,384,384,372,372, \ - 416,370,371,372,372,415,372,417,415,416,384,384,384,416,416,417, \ - 417,416,384,416,416,384,415,415,416,384,414,416,414,416,416,417, \ - 384,408,416,416,416,408,416,416,414,416,417,417,417,416,414,416, \ - 415,416,416,416,414,416,408,415,415,417,414,407,415,416,416,415, \ - 416,416,417,416,416,415,416,416,416,416,415,416,416,416,419,415, \ - 416,416,415,414,415,416,417,412,416,417,416,416,415,416,416,416, \ - 416,417,418,419,420,419,420,420,420,444,432,430,496,443,496,496, \ - 432,432,432,468,468,468,468,444,495,466,496,496,496,494,496,496, \ - 496,468,512,494,496,496,496,496,468,496,493,496,492,496,496,512, \ - 496,496,496,495,495,495,496,496,496,496,496,512,496,496,512,496, \ - 496,493,496,496,496,509,496,512,512,496,512,496,512,512,496,495, \ - 496,512,511,511,512,512,512,511,512,511,495,496,511,511,512,511, \ - 512,512,493,495,495,495,512,493,495,560,496,496,496,496,496,560, \ - 496,560,492,496,560,495,494,496,496,495,496,495,496,560,511,496, \ - 512,509,512,495,494,496,511,496,560,496,512,512,511,496,575,512, \ - 560,496,496,495,585,511,621,495,621,511,622,624,623,511,624,620, \ - 624,623,511,620,620,624,591,623,624,622,623,620,624,613,624,624, \ - 560,623,624,624,624,621,622,623,624,623,576,624,624,624,624,620 \ + 0,1,2,3,4,5,6,7,8,7,10,9,12,13,12,9, \ + 12,12,12,12,12,12,15,15,16,15,16,16,16,19,20,20, \ + 20,19,19,19,20,20,21,21,22,23,23,24,25,25,25,25, \ + 26,26,27,27,28,28,29,29,31,31,31,31,32,35,33,33, \ + 34,36,35,35,36,36,37,37,38,38,40,39,40,40,41,41, \ + 42,42,43,48,44,48,47,45,47,47,47,48,48,48,49,49, \ + 50,51,51,51,52,52,53,53,54,55,56,55,56,63,57,64, \ + 63,64,64,64,64,64,62,64,64,63,64,64,72,64,72,65, \ + 66,72,72,71,72,71,71,70,80,71,71,71,80,72,73,80, \ + 74,79,80,80,80,80,80,80,80,79,80,80,80,80,81,81, \ + 82,88,85,95,84,96,96,88,96,96,95,95,96,96,96,96, \ + 96,95,96,104,96,96,96,94,96,95,104,96,96,96,104,104, \ + 98,104,100,104,104,104,104,104,103,104,104,103,104,104,105,105, \ + 106,106,128,110,108,128,128,128,128,128,128,128,128,128,128,128, \ + 128,128,128,128,127,128,128,128,127,124,128,128,126,126,128,125, \ + 128,128,127,128,128,128,128,128,128,127,128,128,148,128,146,129, \ + 130,148,144,147,150,148,150,148,148,150,147,150,144,148,150,148, \ + 150,150,160,148,160,148,148,150,148,149,150,150,160,148,150,148, \ + 148,150,147,150,150,150,149,149,160,150,151,151,152,156,156,156, \ + 154,156,160,160,160,156,159,157,158,160,160,160,160,160,161,161, \ + 162,168,176,192,186,192,186,186,186,192,192,184,192,186,184,192, \ + 185,186,191,192,192,191,186,192,192,192,192,192,192,192,192,192, \ + 192,190,192,192,190,192,192,192,186,192,192,192,192,192,192,192, \ + 192,192,192,192,192,192,192,191,192,192,191,192,192,208,208,208, \ + 194,208,208,208,208,207,208,208,208,208,207,208,206,208,201,208, \ + 208,208,204,208,208,208,208,208,208,208,208,208,208,208,209,209, \ + 210,210,211,211,212,248,256,216,216,248,254,256,256,248,255,256, \ + 256,256,256,255,256,256,256,255,256,256,256,248,256,256,248,256, \ + 256,255,256,256,254,256,256,256,248,255,256,256,256,256,254,256, \ + 256,248,256,247,256,256,256,256,256,256,256,255,255,255,256,256, \ + 256,254,256,256,253,255,256,256,256,255,256,256,256,253,256,288, \ + 256,256,296,256,256,296,300,296,296,288,300,299,312,312,312,312, \ + 288,312,294,311,312,312,299,300,312,296,312,300,300,296,295,299, \ + 312,300,310,312,296,312,310,312,312,311,312,312,311,312,312,312, \ + 312,312,311,312,312,312,310,311,312,310,312,312,310,311,311,312, \ + 312,312,312,312,299,300,300,312,312,312,311,312,312,312,312,312, \ + 312,312,312,312,310,300,311,310,312,312,312,312,308,300,312,312, \ + 312,310,311,310,311,311,312,301,312,312,312,311,312,312,312,312, \ + 311,312,312,312,312,312,312,312,312,312,311,312,312,312,313,313, \ + 314,314,315,320,320,372,320,320,320,372,372,371,371,372,324,372, \ + 371,371,372,370,369,371,371,372,372,372,372,372,370,370,372,370, \ + 371,372,370,372,372,372,372,372,371,371,372,372,370,372,372,372, \ + 370,372,372,372,370,372,372,370,372,370,370,371,372,371,384,372, \ + 371,384,368,372,384,370,383,372,384,383,384,384,384,384,384,372, \ + 372,384,372,372,369,370,372,370,372,368,372,372,372,372,371,370, \ + 372,372,371,416,384,384,384,416,415,383,383,416,384,384,372,372, \ + 416,370,371,372,372,415,373,417,415,416,384,384,384,416,416,417, \ + 417,416,384,416,416,384,415,415,416,384,414,416,414,416,416,417, \ + 386,408,416,416,416,408,416,416,414,416,417,417,417,416,414,416, \ + 415,416,416,416,414,416,408,415,415,417,414,407,415,416,416,415, \ + 416,416,417,416,416,415,416,416,416,416,415,416,416,416,419,415, \ + 416,416,415,414,415,416,417,413,416,417,416,416,416,416,417,417, \ + 418,418,419,419,420,420,421,421,422,444,432,430,496,443,496,496, \ + 432,432,432,468,468,468,468,444,495,466,496,496,496,494,496,496, \ + 496,468,512,494,496,496,496,496,468,496,493,496,492,496,496,512, \ + 496,496,496,495,495,495,496,496,496,496,496,512,496,496,512,496, \ + 496,493,496,496,496,509,496,512,512,496,512,496,512,512,496,495, \ + 496,512,511,511,512,512,512,511,512,511,495,496,511,511,512,511, \ + 512,512,493,495,495,495,512,493,495,560,496,496,496,496,496,560, \ + 496,560,492,496,560,495,494,496,496,495,496,495,496,560,511,496, \ + 512,509,512,495,494,496,511,496,560,496,512,512,511,496,575,512, \ + 560,496,496,495,585,511,621,495,621,511,622,624,623,511,624,620, \ + 624,623,511,620,620,624,591,623,624,622,623,620,624,613,624,624, \ + 560,623,624,624,624,621,622,623,624,623,576,624,624,624,624,620 \ #define MPFR_MUL_THRESHOLD 8 /* limbs */ #define MPFR_SQR_THRESHOLD 1 /* limbs */ |