benchtests: Add fmod benchmark

Add three different dataset, from random floating point numbers:

1. Subnormals: 128 inputs.
2. Normal numbers with large exponent difference (|x/y| > 2^52):
   1024 inputs between DBL_MIN and DBL_MAX;
3. Close exponents (ey >= -907 and |x/y| < 2^52): 1024 inputs with
   exponents between -10 and 10.
Reviewed-by: Wilco Dijkstra  <Wilco.Dijkstra@arm.com>

2 files changed, 2183 insertions, 0 deletions

diff --git a/benchtests/Makefile b/benchtests/Makefile
index 721f32afdb..7427010117 100644
--- a/benchtests/Makefile
+++ b/benchtests/Makefile
@@ -48,6 +48,7 @@ bench-math := \
   fmaxf \
   fmin \
   fminf \
+  fmod \
   hypot \
   hypotf \
   ilogb \
diff --git a/benchtests/fmod-inputs b/benchtests/fmod-inputs
new file mode 100644
index 0000000000..6f75ea122e
--- /dev/null
+++ b/benchtests/fmod-inputs
@@ -0,0 +1,2182 @@
+## args: double:double
+## ret: double
+## includes: math.h
+## name: subnormals
+0x0.3212f5b8c8c16p-1022, 0x0.cded0a47373e9p-1022
+0x0.809c23acfa7ddp-1022, 0x0.7f63dc5305822p-1022
+0x0.360cedf5115cdp-1022, 0x0.c9f3120aeea32p-1022
+0x0.b2be3cee373b8p-1022, 0x0.4d41c311c8c47p-1022
+0x0.d285690054e97p-1022, 0x0.2d7a96ffab168p-1022
+0x0.cb68d2682ef4bp-1022, 0x0.34972d97d10b4p-1022
+0x0.9df13f298d759p-1022, 0x0.620ec0d6728a6p-1022
+0x0.2153dc75281fep-1022, 0x0.deac238ad7e01p-1022
+0x0.96768c82892f9p-1022, 0x0.6989737d76d06p-1022
+0x0.455eaa55f7f8p-1022, 0x0.baa155aa0807fp-1022
+0x0.4f3ad8f0e359cp-1022, 0x0.b0c5270f1ca63p-1022
+0x0.799208406573fp-1022, 0x0.866df7bf9a8cp-1022
+0x0.453f460eb1053p-1022, 0x0.bac0b9f14efacp-1022
+0x0.1b747781ee0eap-1022, 0x0.e48b887e11f15p-1022
+0x0.41d05f09e4fdap-1022, 0x0.be2fa0f61b025p-1022
+0x0.291b4d35d8c67p-1022, 0x0.d6e4b2ca27398p-1022
+0x0.9aeb55377b686p-1022, 0x0.6514aac884979p-1022
+0x0.c63b39ff938f2p-1022, 0x0.39c4c6006c70dp-1022
+0x0.c2fadaca8276bp-1022, 0x0.3d0525357d894p-1022
+0x0.b202efb1f5fdap-1022, 0x0.4dfd104e0a025p-1022
+0x0.ac60f2fb10bb1p-1022, 0x0.539f0d04ef44ep-1022
+0x0.bbc8b47f88c54p-1022, 0x0.44374b80773abp-1022
+0x0.3c13f91ce8ea8p-1022, 0x0.c3ec06e317157p-1022
+0x0.f4ebddec75acfp-1022, 0x0.0b1422138a53p-1022
+0x0.8da19fe9fd16p-1022, 0x0.725e601602e9fp-1022
+0x0.6383858b40f02p-1022, 0x0.9c7c7a74bf0fdp-1022
+0x0.7988caaa9cfe8p-1022, 0x0.8677355563017p-1022
+0x0.214f99f08fccbp-1022, 0x0.deb0660f70334p-1022
+0x0.71a030a6a5231p-1022, 0x0.8e5fcf595adcep-1022
+0x0.fb32f0672728dp-1022, 0x0.04cd0f98d8d72p-1022
+0x0.708567094c7dp-1022, 0x0.8f7a98f6b382fp-1022
+0x0.b994a324fd9e7p-1022, 0x0.466b5cdb02618p-1022
+0x0.95d6e740aacadp-1022, 0x0.6a2918bf55352p-1022
+0x0.224dbfeb13addp-1022, 0x0.ddb24014ec522p-1022
+0x0.69eb7e2d5f842p-1022, 0x0.961481d2a07bdp-1022
+0x0.41d8e41315a4p-1022, 0x0.be271becea5bfp-1022
+0x0.db32d0f23094fp-1022, 0x0.24cd2f0dcf6bp-1022
+0x0.63857cdc24c7cp-1022, 0x0.9c7a8323db383p-1022
+0x0.11e17d08ae895p-1022, 0x0.ee1e82f75176ap-1022
+0x0.f2eff6a13515dp-1022, 0x0.0d10095ecaea2p-1022
+0x0.7959bca32dd5ep-1022, 0x0.86a6435cd22a1p-1022
+0x0.84b0fa90179c2p-1022, 0x0.7b4f056fe863dp-1022
+0x0.f5831fb31079bp-1022, 0x0.0a7ce04cef864p-1022
+0x0.72880e61bd787p-1022, 0x0.8d77f19e42878p-1022
+0x0.a74b5706ea9c2p-1022, 0x0.58b4a8f91563dp-1022
+0x0.03d9a9138644p-1022, 0x0.fc2656ec79bbfp-1022
+0x0.2e006a09601eap-1022, 0x0.d1ff95f69fe15p-1022
+0x0.9755a21896c1dp-1022, 0x0.68aa5de7693e2p-1022
+0x0.e326e2f8aeda3p-1022, 0x0.1cd91d075125cp-1022
+0x0.6c6eecb81c2bp-1022, 0x0.93911347e3d4fp-1022
+0x0.549b0958ee6c1p-1022, 0x0.ab64f6a71193ep-1022
+0x0.bf2f8bebe1d8cp-1022, 0x0.40d074141e273p-1022
+0x0.c220f29a889c4p-1022, 0x0.3ddf0d657763bp-1022
+0x0.b71cbd63bde89p-1022, 0x0.48e3429c42176p-1022
+0x0.d50e267f12568p-1022, 0x0.2af1d980eda97p-1022
+0x0.49775f13e63e6p-1022, 0x0.b688a0ec19c19p-1022
+0x0.cc70253184c41p-1022, 0x0.338fdace7b3bep-1022
+0x0.9fc65a5ab56dbp-1022, 0x0.6039a5a54a924p-1022
+0x0.925b49750c50ep-1022, 0x0.6da4b68af3af1p-1022
+0x0.a117aa99456fcp-1022, 0x0.5ee85566ba903p-1022
+0x0.c417ef9b8f985p-1022, 0x0.3be810647067ap-1022
+0x0.afd45fa04f329p-1022, 0x0.502ba05fb0cd6p-1022
+0x0.dad508c622e7ap-1022, 0x0.252af739dd185p-1022
+0x0.1b75300e85ddbp-1022, 0x0.e48acff17a224p-1022
+0x0.2bd307f50ed4fp-1022, 0x0.d42cf80af12bp-1022
+0x0.8a9e65d566af8p-1022, 0x0.75619a2a99507p-1022
+0x0.0f0e09881f1a8p-1022, 0x0.f0f1f677e0e57p-1022
+0x0.58c92c3bc360cp-1022, 0x0.a736d3c43c9f3p-1022
+0x0.db5e11e5c51cbp-1022, 0x0.24a1ee1a3ae34p-1022
+0x0.329d3d9cb6ffp-1022, 0x0.cd62c2634900fp-1022
+0x0.566a1d097dcefp-1022, 0x0.a995e2f68231p-1022
+0x0.16c2681e94158p-1022, 0x0.e93d97e16bea7p-1022
+0x0.d0122a6d74b1ep-1022, 0x0.2fedd5928b4e1p-1022
+0x0.4ca21dcf2d12fp-1022, 0x0.b35de230d2edp-1022
+0x0.aad3ddee3f1ep-1022, 0x0.552c2211c0e1fp-1022
+0x0.bfcf851090e17p-1022, 0x0.40307aef6f1e8p-1022
+0x0.f043b3e485712p-1022, 0x0.0fbc4c1b7a8edp-1022
+0x0.d835f2410367ap-1022, 0x0.27ca0dbefc985p-1022
+0x0.d5a5790ca3aa7p-1022, 0x0.2a5a86f35c558p-1022
+0x0.3b180d8f22fdcp-1022, 0x0.c4e7f270dd023p-1022
+0x0.288a560bb0abbp-1022, 0x0.d775a9f44f544p-1022
+0x0.f9d8e8ca82eadp-1022, 0x0.062717357d152p-1022
+0x0.9f03a54ba283ap-1022, 0x0.60fc5ab45d7c5p-1022
+0x0.b7571118cfe57p-1022, 0x0.48a8eee7301a8p-1022
+0x0.f2fc37f749d5ep-1022, 0x0.0d03c808b62a1p-1022
+0x0.80505074c981ep-1022, 0x0.7fafaf8b367e1p-1022
+0x0.6b93c5c3d648p-1022, 0x0.946c3a3c29b7fp-1022
+0x0.ec7c108bd265bp-1022, 0x0.1383ef742d9a4p-1022
+0x0.79f6a1409a0ccp-1022, 0x0.86095ebf65f33p-1022
+0x0.e807ef9c8174cp-1022, 0x0.17f810637e8b3p-1022
+0x0.5ee748f694d07p-1022, 0x0.a118b7096b2f8p-1022
+0x0.5452c018bdf44p-1022, 0x0.abad3fe7420bbp-1022
+0x0.c527c76e160e1p-1022, 0x0.3ad83891e9f1ep-1022
+0x0.964a823b66519p-1022, 0x0.69b57dc499ae6p-1022
+0x0.b86a621c60582p-1022, 0x0.47959de39fa7dp-1022
+0x0.b07c9ab254c4ep-1022, 0x0.4f83654dab3b1p-1022
+0x0.434017e74a06bp-1022, 0x0.bcbfe818b5f94p-1022
+0x0.8991d4df06a12p-1022, 0x0.766e2b20f95edp-1022
+0x0.f6dd3816ab3eep-1022, 0x0.0922c7e954c11p-1022
+0x0.d44f4f4ad0948p-1022, 0x0.2bb0b0b52f6b7p-1022
+0x0.66f2d139d422dp-1022, 0x0.990d2ec62bdd2p-1022
+0x0.8bf569b1bea2ep-1022, 0x0.740a964e415d1p-1022
+0x0.d300e13e9fcebp-1022, 0x0.2cff1ec160314p-1022
+0x0.6836b224f9e37p-1022, 0x0.97c94ddb061c8p-1022
+0x0.f2932a1d99545p-1022, 0x0.0d6cd5e266abap-1022
+0x0.37e970f90b012p-1022, 0x0.c8168f06f4fedp-1022
+0x0.4ca1dab352f63p-1022, 0x0.b35e254cad09cp-1022
+0x0.81e10040922a4p-1022, 0x0.7e1effbf6dd5bp-1022
+0x0.540b2f65254b8p-1022, 0x0.abf4d09adab47p-1022
+0x0.c5ebed9658964p-1022, 0x0.3a141269a769bp-1022
+0x0.a9e99371853ebp-1022, 0x0.56166c8e7ac14p-1022
+0x0.af789f8c1be41p-1022, 0x0.50876073e41bep-1022
+0x0.fae21156cf837p-1022, 0x0.051deea9307c8p-1022
+0x0.de37bf3bd0b65p-1022, 0x0.21c840c42f49ap-1022
+0x0.a64058b7a73a4p-1022, 0x0.59bfa74858c5bp-1022
+0x0.299fbfee12046p-1022, 0x0.d6604011edfb9p-1022
+0x0.cab748f96a65cp-1022, 0x0.3548b706959a3p-1022
+0x0.2c0e68198944dp-1022, 0x0.d3f197e676bb2p-1022
+0x0.c61d147c98a4ep-1022, 0x0.39e2eb83675b1p-1022
+0x0.ef88a9c41e5p-1022, 0x0.1077563be1affp-1022
+0x0.32ca5453425p-1022, 0x0.cd35abacbdaffp-1022
+0x0.c62c8be7dd452p-1022, 0x0.39d3741822badp-1022
+0x0.7ce2545178defp-1022, 0x0.831dabae8721p-1022
+0x0.84de652973911p-1022, 0x0.7b219ad68c6eep-1022
+0x0.d3f964625245bp-1022, 0x0.2c069b9dadba4p-1022
+0x0.bc8e4bc0faeb9p-1022, 0x0.4371b43f05146p-1022
+0x0.f4f1f63404c96p-1022, 0x0.0b0e09cbfb369p-1022
+0x0.05bee37594244p-1022, 0x0.fa411c8a6bdbbp-1022
+## name: normal
+0x1.be99ad6933c76p-740, 0x1.41665296cc389p+741
+0x1.87b8527e7cddep+690, 0x1.7847ad8183221p-689
+0x1.1d86cb84ad5fcp-944, 0x1.e279347b52a03p+945
+0x1.728643e8ba72ap-1007, 0x1.8d79bc17458d5p+1008
+0x1.026ea748148aep-638, 0x1.fd9158b7eb751p+639
+0x1.02c24bfd97572p-136, 0x1.fd3db40268a8dp+137
+0x1.c512de4a1be6ep-269, 0x1.3aed21b5e4191p+270
+0x1.4b770066d5c14p+156, 0x1.b488ff992a3ebp-155
+0x1.59c1080127ee2p-516, 0x1.a63ef7fed811dp+517
+0x1.eb3c5c47f7beap-519, 0x1.14c3a3b808415p+520
+0x1.8058a0a39ebccp+74, 0x1.7fa75f5c61433p-73
+0x1.86e0e1a4273d6p+75, 0x1.791f1e5bd8c29p-74
+0x1.9deb9bb1ef618p+326, 0x1.6214644e109e7p-325
+0x1.9f534acbc29bap-26, 0x1.60acb5343d645p+27
+0x1.bc43d3fd169aep+329, 0x1.43bc2c02e9651p-328
+0x1.f38243ef30bd4p+400, 0x1.0c7dbc10cf42bp-399
+0x1.2b7120f62146ap+691, 0x1.d48edf09deb95p-690
+0x1.babcc7463bfc6p-584, 0x1.454338b9c4039p+585
+0x1.8f9b18381cc6ep+368, 0x1.7064e7c7e3391p-367
+0x1.61d981d382786p-907, 0x1.9e267e2c7d879p+908
+0x1.48c93a821129ep-499, 0x1.b736c57deed61p+500
+0x1.efe90630749d6p-391, 0x1.1016f9cf8b629p+392
+0x1.d5c9782c58f14p+965, 0x1.2a3687d3a70ebp-964
+0x1.6c61db0f9a642p-13, 0x1.939e24f0659bdp+14
+0x1.4285cb672813cp-255, 0x1.bd7a3498d7ec3p+256
+0x1.466878e00bdc2p+361, 0x1.b997871ff423dp-360
+0x1.4f234a7eb4f9p+456, 0x1.b0dcb5814b06fp-455
+0x1.51e88226aba42p-1001, 0x1.ae177dd9545bdp+1002
+0x1.f8c26d97fb016p-547, 0x1.073d926804fe9p+548
+0x1.cbdbf2281878ep-439, 0x1.34240dd7e7871p+440
+0x1.3c8b2afd2e54cp-432, 0x1.c374d502d1ab3p+433
+0x1.908df85e2ea4cp-824, 0x1.6f7207a1d15b3p+825
+0x1.ca752828264p-984, 0x1.358ad7d7d9bffp+985
+0x1.8c185aefe1cb6p-480, 0x1.73e7a5101e349p+481
+0x1.6629dac71ceap-126, 0x1.99d62538e315fp+127
+0x1.f661024afd09p+802, 0x1.099efdb502f6fp-801
+0x1.32eef763b6b16p-916, 0x1.cd11089c494e9p+917
+0x1.1061b1f6af2fap+508, 0x1.ef9e4e0950d05p-507
+0x1.8c20307fdf102p+1017, 0x1.73dfcf8020efdp-1016
+0x1.44f902141982p-215, 0x1.bb06fdebe67dfp+216
+0x1.fa4ad1001017ep+1011, 0x1.05b52effefe81p-1010
+0x1.62025c87076d6p-446, 0x1.9dfda378f8929p+447
+0x1.33446224f1ffep+691, 0x1.ccbb9ddb0e001p-690
+0x1.0cad5c7d3ba14p-7, 0x1.f352a382c45ebp+8
+0x1.79a2b23c72a66p+239, 0x1.865d4dc38d599p-238
+0x1.e38949bde6162p+882, 0x1.1c76b64219e9dp-881
+0x1.a2cb0d50ba06p-74, 0x1.5d34f2af45f9fp+75
+0x1.2e5dfeec70ac2p-13, 0x1.d1a201138f53dp+14
+0x1.a765833a845fap-380, 0x1.589a7cc57ba05p+381
+0x1.a925ddd92877p-204, 0x1.56da2226d788fp+205
+0x1.e64434c748b3cp+204, 0x1.19bbcb38b74c3p-203
+0x1.a0bfa2f4c09d4p+950, 0x1.5f405d0b3f62bp-949
+0x1.8dc954ffffdc8p+851, 0x1.7236ab0000237p-850
+0x1.441787270a9eep+526, 0x1.bbe878d8f5611p-525
+0x1.6a3c8a2e39abep+988, 0x1.95c375d1c6541p-987
+0x1.80c1673f0eceap-251, 0x1.7f3e98c0f1315p+252
+0x1.09734f25c49eep-805, 0x1.f68cb0da3b611p+806
+0x1.a8efeaf10fa6ep+481, 0x1.5710150ef0591p-480
+0x1.273b74b10a0b2p-278, 0x1.d8c48b4ef5f4dp+279
+0x1.cb185188ccff6p+824, 0x1.34e7ae7733009p-823
+0x1.89d09a2cc24b8p+114, 0x1.762f65d33db47p-113
+0x1.9110b8686839cp+962, 0x1.6eef479797c63p-961
+0x1.6e0d2fea6dae2p-133, 0x1.91f2d0159251dp+134
+0x1.d4fc4eaf4cdd4p+98, 0x1.2b03b150b322bp-97
+0x1.e36cbf35046cep-195, 0x1.1c9340cafb931p+196
+0x1.f4f464c24ee4ap+643, 0x1.0b0b9b3db11b5p-642
+0x1.9a8bd2d68843p-147, 0x1.65742d2977bcfp+148
+0x1.255cb865b81cep+450, 0x1.daa3479a47e31p-449
+0x1.e667c680d8462p-368, 0x1.1998397f27b9dp+369
+0x1.c77d31fd6f5e4p-379, 0x1.3882ce0290a1bp+380
+0x1.c036eba74b14ap+912, 0x1.3fc91458b4eb5p-911
+0x1.a75eb05bcc58ep-124, 0x1.58a14fa433a71p+125
+0x1.6c483839a84b4p-749, 0x1.93b7c7c657b4bp+750
+0x1.0985178675b5cp+362, 0x1.f67ae8798a4a3p-361
+0x1.0093f5a5f0aep-7, 0x1.ff6c0a5a0f51fp+8
+0x1.eb4608f6947b8p+828, 0x1.14b9f7096b847p-827
+0x1.267f13dd7f798p+322, 0x1.d980ec2280867p-321
+0x1.16c5e01308e0cp+905, 0x1.e93a1fecf71f3p-904
+0x1.077304dd8c192p+443, 0x1.f88cfb2273e6dp-442
+0x1.5f4c802c4c478p+383, 0x1.a0b37fd3b3b87p-382
+0x1.8f81ef3a1104cp+869, 0x1.707e10c5eefb3p-868
+0x1.c70232529c02ep-176, 0x1.38fdcdad63fd1p+177
+0x1.aed65b1dd3d36p+831, 0x1.5129a4e22c2c9p-830
+0x1.468f46d920b94p+208, 0x1.b970b926df46bp-207
+0x1.27a97f96f2348p+312, 0x1.d85680690dcb7p-311
+0x1.74dcff95b693p+252, 0x1.8b23006a496cfp-251
+0x1.ea835d91104ap+1014, 0x1.157ca26eefb5fp-1013
+0x1.454426fcd929p-76, 0x1.babbd90326d6fp+77
+0x1.832b13283e442p-191, 0x1.7cd4ecd7c1bbdp+192
+0x1.5818cdd705ee8p+57, 0x1.a7e73228fa117p-56
+0x1.5af6639f42748p+23, 0x1.a5099c60bd8b7p-22
+0x1.8f61ea037f5b2p-441, 0x1.709e15fc80a4dp+442
+0x1.d2c2e682f6ef2p+142, 0x1.2d3d197d0910dp-141
+0x1.d84c48c54a57p-24, 0x1.27b3b73ab5a8fp+25
+0x1.2abb5ee51f4b8p+382, 0x1.d544a11ae0b47p-381
+0x1.e18356b47fe9ep-729, 0x1.1e7ca94b80161p+730
+0x1.ab0746fa4ed4ep-828, 0x1.54f8b905b12b1p+829
+0x1.988d5eefb4f86p-20, 0x1.6772a1104b079p+21
+0x1.9d47270b4a704p-594, 0x1.62b8d8f4b58fbp+595
+0x1.f8fde9c908928p-704, 0x1.07021636f76d7p+705
+0x1.4ce849d28405p+249, 0x1.b317b62d7bfafp-248
+0x1.e685ac0e6aeecp+71, 0x1.197a53f195113p-70
+0x1.c040427f7759cp+24, 0x1.3fbfbd8088a63p-23
+0x1.0da11796a0422p+359, 0x1.f25ee8695fbddp-358
+0x1.6e8ae02cbecaap-870, 0x1.91751fd341355p+871
+0x1.478edab2b7784p-412, 0x1.b871254d4887bp+413
+0x1.b80e41c380bccp+602, 0x1.47f1be3c7f433p-601
+0x1.a4564494887fap-1019, 0x1.5ba9bb6b77805p+1020
+0x1.64788388a8c54p-800, 0x1.9b877c77573abp+801
+0x1.3d0a423c0d372p+912, 0x1.c2f5bdc3f2c8dp-911
+0x1.25b998c44b652p+112, 0x1.da46673bb49adp-111
+0x1.5e22a55c2b972p+819, 0x1.a1dd5aa3d468dp-818
+0x1.d8406108cc5dep-148, 0x1.27bf9ef733a21p+149
+0x1.e490898ddfabap+52, 0x1.1b6f767220545p-51
+0x1.5597c2308c0a4p-221, 0x1.aa683dcf73f5bp+222
+0x1.52089b3ecce6p-509, 0x1.adf764c13319fp+510
+0x1.840390da6760ep-278, 0x1.7bfc6f25989f1p+279
+0x1.a3fe9d7137cc8p+102, 0x1.5c01628ec8337p-101
+0x1.38622608324fap+544, 0x1.c79dd9f7cdb05p-543
+0x1.6e97f76925412p+890, 0x1.91680896dabedp-889
+0x1.8f2f4ebaa15b8p+400, 0x1.70d0b1455ea47p-399
+0x1.8df61e0f29638p+722, 0x1.7209e1f0d69c7p-721
+0x1.d24acd9d3f2a8p-70, 0x1.2db53262c0d57p+71
+0x1.bb3d4679d6094p-65, 0x1.44c2b98629f6bp+66
+0x1.7cc65390c5528p-369, 0x1.8339ac6f3aad7p+370
+0x1.87fcceb918d7cp+316, 0x1.78033146e7283p-315
+0x1.bd28513a63a1ap+526, 0x1.42d7aec59c5e5p-525
+0x1.2b7849e110374p+624, 0x1.d487b61eefc8bp-623
+0x1.2a396c7cfad52p+771, 0x1.d5c69383052adp-770
+0x1.3e3bced5a874ep-906, 0x1.c1c4312a578b1p+907
+0x1.4573aa027b076p-503, 0x1.ba8c55fd84f89p+504
+0x1.de143f4b4db4ap-546, 0x1.21ebc0b4b24b5p+547
+0x1.de9be34c269cep-857, 0x1.21641cb3d9631p+858
+0x1.a0818862b6acap-904, 0x1.5f7e779d49535p+905
+0x1.d30588d04ace8p-519, 0x1.2cfa772fb5317p+520
+0x1.97a6e7b5ed064p-359, 0x1.6859184a12f9bp+360
+0x1.01033582d247ep-354, 0x1.fefcca7d2db81p+355
+0x1.ee596f86489b6p+788, 0x1.11a69079b7649p-787
+0x1.ef006e8b46b7cp-741, 0x1.10ff9174b9483p+742
+0x1.3891ab80760cap-847, 0x1.c76e547f89f35p+848
+0x1.a8aa66017cfb8p+489, 0x1.575599fe83047p-488
+0x1.6b85dc1f6f532p+42, 0x1.947a23e090acdp-41
+0x1.7fd7788772f7cp-816, 0x1.802887788d083p+817
+0x1.0f8a4aabede2p-86, 0x1.f075b554121dfp+87
+0x1.948e046c1ad74p-604, 0x1.6b71fb93e528bp+605
+0x1.889200a8bbdcap-667, 0x1.776dff5744235p+668
+0x1.8401982cf3e86p-94, 0x1.7bfe67d30c179p+95
+0x1.7e086a351da06p-319, 0x1.81f795cae25f9p+320
+0x1.c3db8abbc825p+347, 0x1.3c24754437dafp-346
+0x1.a111714e0ae3ep+742, 0x1.5eee8eb1f51c1p-741
+0x1.afc083c4b6d16p+877, 0x1.503f7c3b492e9p-876
+0x1.08177d1a6d54cp-891, 0x1.f7e882e592ab3p+892
+0x1.8e1a5220f8ba2p+722, 0x1.71e5addf0745dp-721
+0x1.bc0d811d2bca4p-597, 0x1.43f27ee2d435bp+598
+0x1.a989d0113efcp+202, 0x1.56762feec103fp-201
+0x1.bb251372cbcc2p+330, 0x1.44daec8d3433dp-329
+0x1.7b9024d984ba6p-510, 0x1.846fdb267b459p+511
+0x1.7d8c4be25595ep+870, 0x1.8273b41daa6a1p-869
+0x1.7fee28f746c1ap+848, 0x1.8011d708b93e5p-847
+0x1.6ebb7cc477de4p-140, 0x1.9144833b8821bp+141
+0x1.a31d73e0e2882p+914, 0x1.5ce28c1f1d77dp-913
+0x1.bd05d319933cp-20, 0x1.42fa2ce66cc3fp+21
+0x1.1a52c17eab31cp-192, 0x1.e5ad3e8154ce3p+193
+0x1.8103ca2b37494p+349, 0x1.7efc35d4c8b6bp-348
+0x1.ef1c0afc8042cp+567, 0x1.10e3f5037fbd3p-566
+0x1.3399a25ebee68p-165, 0x1.cc665da141197p+166
+0x1.558b5cda7e68ep-944, 0x1.aa74a32581971p+945
+0x1.077aefff53e24p+1018, 0x1.f8851000ac1dbp-1017
+0x1.5bece29fe738ep-318, 0x1.a4131d6018c71p+319
+0x1.37b6e4815a15ap+324, 0x1.c8491b7ea5ea5p-323
+0x1.b2981aba62118p-374, 0x1.4d67e5459dee7p+375
+0x1.d44017ab232cp+359, 0x1.2bbfe854dcd3fp-358
+0x1.f67ebcefedd08p-792, 0x1.09814310122f7p+793
+0x1.c712bc931f852p-354, 0x1.38ed436ce07adp+355
+0x1.13b4a110d9de2p+110, 0x1.ec4b5eef2621dp-109
+0x1.be9ac5dcdd466p-124, 0x1.41653a2322b99p+125
+0x1.f22032611555ap+32, 0x1.0ddfcd9eeaaa5p-31
+0x1.e2e49a9b597d6p-705, 0x1.1d1b6564a6829p+706
+0x1.8f681007629bap-215, 0x1.7097eff89d645p+216
+0x1.64b341a08d932p-836, 0x1.9b4cbe5f726cdp+837
+0x1.5b1067f1d472ep+650, 0x1.a4ef980e2b8d1p-649
+0x1.3a52d246bac8ap-438, 0x1.c5ad2db945375p+439
+0x1.a5b55dbe00da4p-167, 0x1.5a4aa241ff25bp+168
+0x1.1d414721bb34cp+250, 0x1.e2beb8de44cb3p-249
+0x1.5888a01cdac28p+247, 0x1.a7775fe3253d7p-246
+0x1.b8f8382f08f34p-324, 0x1.4707c7d0f70cbp+325
+0x1.01d9965aa506p-875, 0x1.fe2669a55af9fp+876
+0x1.8485a4702c5e6p-271, 0x1.7b7a5b8fd3a19p+272
+0x1.21a266872871cp-415, 0x1.de5d9978d78e3p+416
+0x1.86db99676c17cp+13, 0x1.7924669893e83p-12
+0x1.87ce537a99b14p+353, 0x1.7831ac85664ebp-352
+0x1.728e3fe7a2bf8p+359, 0x1.8d71c0185d407p-358
+0x1.463c594b41432p+216, 0x1.b9c3a6b4bebcdp-215
+0x1.105c389d06f8cp+15, 0x1.efa3c762f9073p-14
+0x1.f9959a0a7526p+469, 0x1.066a65f58ad9fp-468
+0x1.9ad727ee6101ap-333, 0x1.6528d8119efe5p+334
+0x1.cb92a48e9206ap-943, 0x1.346d5b716df95p+944
+0x1.7ff6801843724p+260, 0x1.80097fe7bc8dbp-259
+0x1.045a1266d4528p-697, 0x1.fba5ed992bad7p+698
+0x1.8b7b54eab5fbcp+948, 0x1.7484ab154a043p-947
+0x1.1cfe33fa481bap+340, 0x1.e301cc05b7e45p-339
+0x1.5decaa0818dfep+193, 0x1.a21355f7e7201p-192
+0x1.1af4690faf25ep+984, 0x1.e50b96f050da1p-983
+0x1.50960cbc3eebp+515, 0x1.af69f343c114fp-514
+0x1.b435bdaa22156p-655, 0x1.4bca4255ddea9p+656
+0x1.7d8079e83bddcp-391, 0x1.827f8617c4223p+392
+0x1.7ae8eac6d1c0ap+997, 0x1.851715392e3f5p-996
+0x1.0a74e17ab9d7cp-950, 0x1.f58b1e8546283p+951
+0x1.e2d03d5ee6eeep-200, 0x1.1d2fc2a119111p+201
+0x1.72249e28462ep-659, 0x1.8ddb61d7b9d1fp+660
+0x1.ef915f9ef1202p+85, 0x1.106ea0610edfdp-84
+0x1.75cb2837c5994p-361, 0x1.8a34d7c83a66bp+362
+0x1.9d84e3b6f0c5cp-885, 0x1.627b1c490f3a3p+886
+0x1.7344efb446152p-964, 0x1.8cbb104bb9eadp+965
+0x1.3bf8cb33dd116p-17, 0x1.c40734cc22ee9p+18
+0x1.e4371ba19c394p-903, 0x1.1bc8e45e63c6bp+904
+0x1.50be679958cb4p-705, 0x1.af419866a734bp+706
+0x1.7563d67bee278p+783, 0x1.8a9c298411d87p-782
+0x1.69d5132c3e534p-858, 0x1.962aecd3c1acbp+859
+0x1.2c6d64df3cdf4p+255, 0x1.d3929b20c320bp-254
+0x1.f0ddef4f4d41ap-331, 0x1.0f2210b0b2be5p+332
+0x1.6eba2e1e03d42p+956, 0x1.9145d1e1fc2bdp-955
+0x1.96924a26426bcp+818, 0x1.696db5d9bd943p-817
+0x1.0f09ba34d322ap+865, 0x1.f0f645cb2cdd5p-864
+0x1.46b28e8382ddcp+335, 0x1.b94d717c7d223p-334
+0x1.ca929016fc8aep+687, 0x1.356d6fe903751p-686
+0x1.8878e9ab6b0ap-665, 0x1.7787165494f5fp+666
+0x1.0a6ab99ad5e64p-198, 0x1.f59546652a19bp+199
+0x1.dc65ff8daebeap-774, 0x1.239a007251415p+775
+0x1.38bcae7eba5bep-250, 0x1.c743518145a41p+251
+0x1.25d41c9141b48p+1019, 0x1.da2be36ebe4b7p-1018
+0x1.79f2e8467ba3cp-435, 0x1.860d17b9845c3p+436
+0x1.69b7bbe4c21ap+308, 0x1.9648441b3de5fp-307
+0x1.b7cfc9715382ap+50, 0x1.4830368eac7d5p-49
+0x1.02849f71d7486p-25, 0x1.fd7b608e28b79p+26
+0x1.7b63da56eb8acp-857, 0x1.849c25a914753p+858
+0x1.fe03bc4345766p-635, 0x1.01fc43bcba899p+636
+0x1.0e47e817937d8p+882, 0x1.f1b817e86c827p-881
+0x1.d7c924fc68ba8p-952, 0x1.2836db0397457p+953
+0x1.b47db69eafbf8p+501, 0x1.4b82496150407p-500
+0x1.0965a095fa7b8p+657, 0x1.f69a5f6a05847p-656
+0x1.5969e898c86cp+580, 0x1.a69617673793fp-579
+0x1.08aebc81baae8p-289, 0x1.f751437e45517p+290
+0x1.84e431bccac52p+10, 0x1.7b1bce43353adp-9
+0x1.27244f3f0d874p+386, 0x1.d8dbb0c0f278bp-385
+0x1.890d2b415dceap-668, 0x1.76f2d4bea2315p+669
+0x1.582545f03571ep-579, 0x1.a7daba0fca8e1p+580
+0x1.fe2b46a5482aap-805, 0x1.01d4b95ab7d55p+806
+0x1.0aca8d1cc1ba8p-493, 0x1.f53572e33e457p+494
+0x1.25c03b73ea544p+181, 0x1.da3fc48c15abbp-180
+0x1.5cc7f22962b8cp-468, 0x1.a3380dd69d473p+469
+0x1.995849d2fcf0cp+662, 0x1.66a7b62d030f3p-661
+0x1.2f366d71b4314p-995, 0x1.d0c9928e4bcebp+996
+0x1.1c969b33b2508p+574, 0x1.e36964cc4daf7p-573
+0x1.76d5fe4091bcp+395, 0x1.892a01bf6e43fp-394
+0x1.3c0b15b22e148p+251, 0x1.c3f4ea4dd1eb7p-250
+0x1.5f62221e6b14p-809, 0x1.a09ddde194ebfp+810
+0x1.274c24117122ap-913, 0x1.d8b3dbee8edd5p+914
+0x1.b4e9e436d9f62p+1012, 0x1.4b161bc92609dp-1011
+0x1.da83c951e70dp+692, 0x1.257c36ae18f2fp-691
+0x1.4d71be61aa718p-11, 0x1.b28e419e558e7p+12
+0x1.48147eb36401ap+522, 0x1.b7eb814c9bfe5p-521
+0x1.78b71511fdccp+775, 0x1.8748eaee0233fp-774
+0x1.b52090580481cp+303, 0x1.4adf6fa7fb7e3p-302
+0x1.200c311fa08ecp-158, 0x1.dff3cee05f713p+159
+0x1.2e09487f035bep+284, 0x1.d1f6b780fca41p-283
+0x1.36717e7e53d74p-187, 0x1.c98e8181ac28bp+188
+0x1.0f6b2f08f412ap-129, 0x1.f094d0f70bed5p+130
+0x1.aca80dc920fccp-205, 0x1.5357f236df033p+206
+0x1.541d7a0a56d0ap+229, 0x1.abe285f5a92f5p-228
+0x1.5b10d4ae43976p+458, 0x1.a4ef2b51bc689p-457
+0x1.d834da3721146p+264, 0x1.27cb25c8deeb9p-263
+0x1.cdb8c4307593cp+772, 0x1.32473bcf8a6c3p-771
+0x1.6733700c7fdcep+464, 0x1.98cc8ff380231p-463
+0x1.902ed66694e1ep-893, 0x1.6fd129996b1e1p+894
+0x1.2f4d01023145ep+821, 0x1.d0b2fefdceba1p-820
+0x1.f6d941d039926p+668, 0x1.0926be2fc66d9p-667
+0x1.c33f9101cf514p-113, 0x1.3cc06efe30aebp+114
+0x1.3ba5366da6cf4p-484, 0x1.c45ac9925930bp+485
+0x1.ff274a0ecaa84p-521, 0x1.00d8b5f13557bp+522
+0x1.ee18419119914p-749, 0x1.11e7be6ee66ebp+750
+0x1.c6db71499150ep-210, 0x1.39248eb66eaf1p+211
+0x1.34a64f5590c4cp+656, 0x1.cb59b0aa6f3b3p-655
+0x1.b2d3ce6814eb2p-86, 0x1.4d2c3197eb14dp+87
+0x1.35440441d30a8p+43, 0x1.cabbfbbe2cf57p-42
+0x1.057fc0ce59348p-787, 0x1.fa803f31a6cb7p+788
+0x1.c5ee3e0cb699cp+942, 0x1.3a11c1f349663p-941
+0x1.d2d010e3b2c0ep+113, 0x1.2d2fef1c4d3f1p-112
+0x1.703564edae61ep-370, 0x1.8fca9b12519e1p+371
+0x1.0f1db5f4a5cbap+469, 0x1.f0e24a0b5a345p-468
+0x1.899abf187c21cp-872, 0x1.766540e783de3p+873
+0x1.9c50bf477e66ep+552, 0x1.63af40b881991p-551
+0x1.90db6cee6ca7cp+76, 0x1.6f24931193583p-75
+0x1.b4dfda294d69p+537, 0x1.4b2025d6b296fp-536
+0x1.5dc207376d034p-839, 0x1.a23df8c892fcbp+840
+0x1.56b812fa24feep+334, 0x1.a947ed05db011p-333
+0x1.a7cf8826bbc2cp+425, 0x1.583077d9443d3p-424
+0x1.8c59e9a4767ep-23, 0x1.73a6165b8981fp+24
+0x1.8db5a1cfb971ep+437, 0x1.724a5e30468e1p-436
+0x1.a21c04fb95f86p+706, 0x1.5de3fb046a079p-705
+0x1.9b4104bb72708p+707, 0x1.64befb448d8f7p-706
+0x1.da42fc16f0f5ep-94, 0x1.25bd03e90f0a1p+95
+0x1.b331f8573ec3ap+623, 0x1.4cce07a8c13c5p-622
+0x1.74416d2648a62p+342, 0x1.8bbe92d9b759dp-341
+0x1.ed44d7fa4f746p+578, 0x1.12bb2805b08b9p-577
+0x1.16949133c37ecp-432, 0x1.e96b6ecc3c813p+433
+0x1.183427c04636cp-585, 0x1.e7cbd83fb9c93p+586
+0x1.f9c34cb2633ccp-224, 0x1.063cb34d9cc33p+225
+0x1.835924485d2bep+616, 0x1.7ca6dbb7a2d41p-615
+0x1.b98dcdd8274a2p-334, 0x1.46723227d8b5dp+335
+0x1.4bb868ac7f6bcp+744, 0x1.b447975380943p-743
+0x1.98dd427969eb4p+525, 0x1.6722bd869614bp-524
+0x1.b30684af74f74p-760, 0x1.4cf97b508b08bp+761
+0x1.868c31c70be1p+171, 0x1.7973ce38f41efp-170
+0x1.12cde77bd0ddcp-1021, 0x1.ed3218842f223p+1022
+0x1.a62da7649eec6p-925, 0x1.59d2589b61139p+926
+0x1.0ce094dd0ee42p+251, 0x1.f31f6b22f11bdp-250
+0x1.88d6953e9e47cp+305, 0x1.77296ac161b83p-304
+0x1.e32ca560085a6p+167, 0x1.1cd35a9ff7a59p-166
+0x1.b16f435ded91ap+955, 0x1.4e90bca2126e5p-954
+0x1.be2b7fd0dd31ep-6, 0x1.41d4802f22ce1p+7
+0x1.8dbb88779e032p+93, 0x1.7244778861fcdp-92
+0x1.d0af5e9941392p-166, 0x1.2f50a166bec6dp+167
+0x1.b727e046f0562p+957, 0x1.48d81fb90fa9dp-956
+0x1.21e3a7d14693cp-882, 0x1.de1c582eb96c3p+883
+0x1.9306d2902feep+771, 0x1.6cf92d6fd011fp-770
+0x1.7ec38eef8f97cp+864, 0x1.813c711070683p-863
+0x1.1254a65e90172p-268, 0x1.edab59a16fe8dp+269
+0x1.d5d09e180582ep+676, 0x1.2a2f61e7fa7d1p-675
+0x1.b75fcd2b8411ap+414, 0x1.48a032d47bee5p-413
+0x1.1f726a2dcf61cp+295, 0x1.e08d95d2309e3p-294
+0x1.a53a84b2b243ap-310, 0x1.5ac57b4d4dbc5p+311
+0x1.5ae0b971c37d8p-311, 0x1.a51f468e3c827p+312
+0x1.e0fb438495fe8p+738, 0x1.1f04bc7b6a017p-737
+0x1.02ef021e31f5p-522, 0x1.fd10fde1ce0afp+523
+0x1.f9f443a9c9c1ap-588, 0x1.060bbc56363e5p+589
+0x1.2f88b3f2a9e28p+138, 0x1.d0774c0d561d7p-137
+0x1.ad4736768e2c6p-540, 0x1.52b8c98971d39p+541
+0x1.95ea3f7237f46p-72, 0x1.6a15c08dc80b9p+73
+0x1.f315d638a0e4ep+179, 0x1.0cea29c75f1b1p-178
+0x1.0e17e1db10b22p-164, 0x1.f1e81e24ef4ddp+165
+0x1.c24cf03ce8d82p-182, 0x1.3db30fc31727dp+183
+0x1.0bceee62ffe3cp+618, 0x1.f431119d001c3p-617
+0x1.b75421cbc268cp+638, 0x1.48abde343d973p-637
+0x1.c2ae9b0e0de12p-842, 0x1.3d5164f1f21edp+843
+0x1.fa80b3c842a14p+506, 0x1.057f4c37bd5ebp-505
+0x1.35734e4601bb6p+891, 0x1.ca8cb1b9fe449p-890
+0x1.3851dc4747e86p+2, 0x1.c7ae23b8b8179p-1
+0x1.16e39ed5a9bd8p+74, 0x1.e91c612a56427p-73
+0x1.d0c7be6eeeb5ap-678, 0x1.2f384191114a5p+679
+0x1.e0181d2e49e1ep-860, 0x1.1fe7e2d1b61e1p+861
+0x1.067e3c2f19bfp-192, 0x1.f981c3d0e640fp+193
+0x1.bda6e0011716p+924, 0x1.42591ffee8e9fp-923
+0x1.619e713b49ap+348, 0x1.9e618ec4b65ffp-347
+0x1.d8e4e99100e76p-46, 0x1.271b166eff189p+47
+0x1.0222fcb0a562cp+545, 0x1.fddd034f5a9d3p-544
+0x1.1d4304604656ap+474, 0x1.e2bcfb9fb9a95p-473
+0x1.661800911deacp+822, 0x1.99e7ff6ee2153p-821
+0x1.5a990ea4e6a1p+428, 0x1.a566f15b195efp-427
+0x1.4fe50f4fe3af4p-775, 0x1.b01af0b01c50bp+776
+0x1.923f412cf76eep-74, 0x1.6dc0bed308911p+75
+0x1.7b9009493578p-32, 0x1.846ff6b6ca87fp+33
+0x1.7bcc3b8378a9p-220, 0x1.8433c47c8756fp+221
+0x1.1e4c9d97ec57ap+211, 0x1.e1b3626813a85p-210
+0x1.0cb069b142402p-553, 0x1.f34f964ebdbfdp+554
+0x1.d0e0a89d9c48ep-563, 0x1.2f1f576263b71p+564
+0x1.4c88da7073b18p-744, 0x1.b377258f8c4e7p+745
+0x1.48983c992537ep+496, 0x1.b767c366dac81p-495
+0x1.004d4342b7352p-338, 0x1.ffb2bcbd48cadp+339
+0x1.52e503ec24bc8p-978, 0x1.ad1afc13db437p+979
+0x1.a44da3645e612p+268, 0x1.5bb25c9ba19edp-267
+0x1.19237dd0cf55p+972, 0x1.e6dc822f30aafp-971
+0x1.e74fd63a7b3e2p+222, 0x1.18b029c584c1dp-221
+0x1.7c92db73bfe72p-767, 0x1.836d248c4018dp+768
+0x1.3cab27f85fd3ep-648, 0x1.c354d807a02c1p+649
+0x1.e63bc3fbfe1fp-880, 0x1.19c43c0401e0fp+881
+0x1.1abff76fc5562p-716, 0x1.e54008903aa9dp+717
+0x1.ad1db2a4b10d2p+674, 0x1.52e24d5b4ef2dp-673
+0x1.317b86f723d0cp+1012, 0x1.ce847908dc2f3p-1011
+0x1.14f2255112e9ap+282, 0x1.eb0ddaaeed165p-281
+0x1.881f29a007066p-831, 0x1.77e0d65ff8f99p+832
+0x1.d2924a1bd7982p-803, 0x1.2d6db5e42867dp+804
+0x1.fe8a116d1097ep+365, 0x1.0175ee92ef681p-364
+0x1.be83d9f8f4706p+451, 0x1.417c26070b8f9p-450
+0x1.e0dabcc2319e8p-318, 0x1.1f25433dce617p+319
+0x1.60a4365021834p+205, 0x1.9f5bc9afde7cbp-204
+0x1.ec56606e28aep+156, 0x1.13a99f91d751fp-155
+0x1.fab86c2f73734p-260, 0x1.054793d08c8cbp+261
+0x1.01882afd9bd46p-665, 0x1.fe77d502642b9p+666
+0x1.2c315c1327156p+534, 0x1.d3cea3ecd8ea9p-533
+0x1.f4d37d1517d5p-949, 0x1.0b2c82eae82afp+950
+0x1.d2c55eaaceb8ap+238, 0x1.2d3aa15531475p-237
+0x1.9ccb93a34fb26p+577, 0x1.63346c5cb04d9p-576
+0x1.b95ffc140711ap-571, 0x1.46a003ebf8ee5p+572
+0x1.5b459ba256c98p-455, 0x1.a4ba645da9367p+456
+0x1.27762f0745878p+324, 0x1.d889d0f8ba787p-323
+0x1.d90699a95bffap+586, 0x1.26f96656a4005p-585
+0x1.778dde4f84818p-152, 0x1.887221b07b7e7p+153
+0x1.2adaa095d0a9cp+724, 0x1.d5255f6a2f563p-723
+0x1.f2c76eb0a3bbep-393, 0x1.0d38914f5c441p+394
+0x1.7abfce7545fa6p+715, 0x1.8540318aba059p-714
+0x1.d5d32f9351224p-788, 0x1.2a2cd06caeddbp+789
+0x1.2ee663a4813d6p+207, 0x1.d1199c5b7ec29p-206
+0x1.80a3454f93204p+793, 0x1.7f5cbab06cdfbp-792
+0x1.b73e6a4d05cd6p+921, 0x1.48c195b2fa329p-920
+0x1.eed602d0dff4ep+933, 0x1.1129fd2f200b1p-932
+0x1.5b92203a18058p+995, 0x1.a46ddfc5e7fa7p-994
+0x1.1ed6c94eb61a4p+461, 0