add workload traces for missing functions (double format)

This patch adds workload traces for all double format functions where such
files are missing.  For each function, a set of 1000 random values is
generated at random using SageMath, such that the output values are
meaningful (for example avoiding too large inputs for exp10 where the
output would be +Inf).  More details about the generated values are
given at the beginning of each file.
Reviewed-by: Siddhesh Poyarekar <siddhesh@sourceware.org>

1 files changed, 797 insertions, 0 deletions

diff --git a/benchtests/exp10-inputs b/benchtests/exp10-inputs
new file mode 100644
index 0000000000..e8f296f215
--- /dev/null
+++ b/benchtests/exp10-inputs
@@ -0,0 +1,797 @@
+## args: double
+## ret: double
+## includes: math.h
+# Random inputs in [a=-0x1.439b746e36b52p+8,b=0x1.34413509f79ffp+8]
+# where a is the smallest number such that exp10 does not round to 0
+# and b is the smallest number such that exp10 rounds to +Inf (to nearest)
+0x8.78d46b88dc6bp+4
+0xd.616dbe9a5874p+4
+0xb.74bfc9c5ff85p+4
+-0x1.16880f4c6168bp+8
+-0x5.d76d5310ef298p+4
+-0xd.e8b9d430607e8p+4
+-0x2.f398e673785p+4
+0xe.1652c070cb4p+4
+0xc.8a8caac3863cp+4
+0x3.0eb92445c513p+4
+0x6.359c595ee244p+4
+-0x2.0806b506ac85p+4
+-0xd.5f97695a8ff1p+4
+0xc.d6480ad8c8b2p+4
+-0xc.cd41fe8c3062p+4
+-0x4.ad503385458fp+4
+-0x3.ff199bccdbeap+4
+0xe.50d3cdfd5a5p+4
+0xf.9e2783c39d6ap+4
+-0x3.4511acecbd9cp+4
+-0xa.bf8bed7f5203p+4
+-0x8.ee57274408b48p+4
+0xe.8d416a122dc2p+4
+-0xb.d88994d1a959p+4
+0xa.fe90932c9f97p+4
+0x4.7007eb8170ep+4
+0xc.53eaf98efdacp+4
+-0x1.1ff8ec6c6ab3p+4
+-0xe.9ee79e2b5d648p+4
+0xa.fd71b0b2e28fp+4
+0x1.6448ba0c7811p+4
+0x6.fdef5201488p+4
+-0xf.0d54fee1b16cp+4
+0xb.7f1ba7112d8cp+4
+0x9.4a0b9b24ea1ep+4
+0xa.b5d57c5db487p+4
+-0x5.cdc89fedd538p+4
+-0x5.cd66cb50b99e8p+4
+-0xa.2cca7817f704p+4
+-0xa.f57d36b49ac78p+4
+0x3.fffec4c7eb51p+4
+-0x1.325d8381a81b8p+8
+0x5.0851e17aa5bbp+4
+-0x9.4585fc308dcp+0
+0xf.1eab95c16f5ep+4
+-0x4.1e173aafab13p+4
+0x6.4e1a69a0ae67p+4
+0x9.c066553d2ep+0
+-0x7.fa95408865cp+0
+-0x4.f6050ded1c698p+4
+0x6.bffcae1e12bfp+4
+-0x7.6d98176340fb8p+4
+0xc.7c52d2331c7p+4
+0x1.f959a8da4b9dp+4
+-0x7.d07f77f07644p+4
+-0x9.2fa8fbf3eb3a8p+4
+-0xe.ad7b7bae163ap+4
+0x1.19e56b9db39ep+4
+0x1.20b2b1e711e1p+8
+-0xc.51d507711835p+4
+-0x1.1888d81cab56bp+8
+-0x2.cb35d2be4a8dp+4
+0x3.9d292538276cp+4
+-0x7.c61f3c1af1a28p+4
+0x1.a5d25a464c62p+4
+0x1.2371f413267dep+8
+0xa.d1bec8886569p+4
+0xf.e35bbb834bc6p+4
+0xc.5b5abebf80acp+4
+0x7.56fc092ec443p+4
+0xf.209f5214bf9ap+4
+0x8.a283adfe7e2p+0
+-0xd.b1f04f8c84d38p+4
+-0xc.5963265abe15p+4
+0xe.20e4c3428614p+4
+-0x9.0b89ee29c8e3p+4
+0x7.eb485dd30feep+4
+-0x3.78ffae781e52p+4
+-0x1.20e18c68ee8d8p+8
+-0xe.949ff04a1fd58p+4
+-0x7.143ed725a873p+4
+0x8.12888434f267p+4
+-0x1.3ed9e8a9ab10ap+8
+-0x9.4f8c90c3e109p+4
+0xc.edb3c7dccf94p+4
+-0xf.04ef590639e6p+4
+0x4.90e1730fdaebp+4
+0xd.3fd8d05561a6p+4
+-0x6.348a1b4f8e348p+4
+0x1.2957e02dbd968p+8
+-0x5.b41087dd1157p+4
+0x8.8a25579ce204p+4
+0x4.60c30486ab2p+0
+0x7.06faa5439c24p+4
+-0x1.0e97fb91a5922p+8
+0x1.22b5ae2dd7eep+8
+0xc.08f54d419fdap+4
+-0xf.85409ce93456p+4
+0xc.010546727e56p+4
+-0x6.8a48d1ebcf2f8p+4
+-0x7.4f78e3e416d88p+4
+0x1.314caa6c9b934p+8
+-0x8.12fe1edfed46p+4
+-0xc.acd9f32c6c2fp+4
+-0xd.c41f0e47137bp+4
+-0x7.2cb0319b1b778p+4
+-0x9.4f60445566328p+4
+-0x5.980fcb4865358p+4
+-0xd.8da07cbe1ef5p+4
+-0x1.3ff9fa15182dep+8
+0xf.9f77f946566p+0
+0x8.2c605a0f24a5p+4
+0x1.1f387081a67aep+8
+-0x7.9977586d29b8p+4
+0xf.707303cc3478p+4
+0x9.13347a811a1bp+4
+0x1.0e6ec48e5d988p+8
+-0x8.2524adf0ecdap+4
+0xe.b4f72335831p+4
+0xf.8bc21e10f9eap+4
+-0x1.27c7d39613d31p+8
+-0x1.37cfd84fb7033p+8
+0xd.be200fb8a84ep+4
+0x2.bc6f33c3738ep+4
+-0x2.dd66084a9769p+4
+-0x1.41cd054f44d57p+8
+-0x1.42f62fe4532efp+8
+0xd.c7779badc91p+4
+-0x5.f4c697c76e33p+4
+-0x1.1d351139b62d6p+8
+-0x1.0ea639dbeb07cp+8
+-0xc.c553efe2fa08p+4
+0x9.ff924edc226ep+4
+0x3.eaf6b267a715p+4
+0xa.aba7a54e2c72p+4
+-0x5.fdf17b7002b8p+4
+0xe.eb4c85dd2052p+4
+-0x1.2b91d07d8ef7cp+8
+-0x1.04bf5c2faa72cp+8
+0x1.8b8aab4ec989p+4
+-0xc.d60425c4d0abp+4
+-0x1.0fa8eee312456p+8
+0x6.7d226392bf6dp+4
+-0x1.289af1ce7c4d5p+8
+-0xb.5733c4cd68bb8p+4
+-0x1.2f211d0fae2a4p+8
+0x7.82bba29a75c3p+4
+-0x6.70a503926174p+4
+0xd.01d7957de68cp+4
+-0x5.dc5c53996f25p+4
+-0x1.21f31dde2df57p+8
+-0xf.eb0efe0d2005p+4
+0x1.6d1c8990f73cp+4
+0x1.16b62421bbfe2p+8
+-0x2.d90483b7a107p+4
+-0x1.62d3333d2c72p+4
+0x8.052804507821p+4
+-0x2.b1ad515789d9p+4
+0xd.22218b92e2a4p+4
+0x1.314cc000662dp+8
+0x6.6b7d8182116fp+4
+-0x5.5fa5c674336f8p+4
+0x3.dd977df329bp+4
+-0x1.38bdda6bc61c9p+8
+-0xb.57e869ed3b008p+4
+-0xb.79687147c2218p+4
+-0x1.3ff1d135e4f01p+8
+0x1.0ba6b0ecc7ab6p+8
+0x9.ba4777997adbp+4
+-0x4.450930d9ee46p+4
+0x9.8b7e33b4fdcp+4
+-0x1.2b0b9d3ce54e8p+8
+0x2.3afa0249a649p+4
+0x1.0f6f2aba218ep+4
+0x3.58ab1d51ba15p+4
+-0x7.22ffd742ef95p+4
+-0x9.09d999e5486f8p+4
+0x1.2b0404c699634p+8
+0x3.1f0171ab6988p+4
+0xe.1bf77f1d614cp+4
+0xd.29d4d6060f9ap+4
+0x2.6452d865513fp+4
+-0x3.18ded5e5175bp+4
+0x7.a3c063790bb9p+4
+0xe.8df1d78c13ep+4
+-0x1.42751986397fap+8
+0x8.8c46a6c7c6a5p+4
+0x4.feb944931df2p+4
+0x1.30fef1cbb8c5ep+8
+-0x1.0f9b5f2b948fp+8
+0x1.023ca29c08a86p+8
+-0xb.0021517b4bacp+4
+0x4.73451088290ep+4
+0x8.65370150021fp+4
+0x1.22cafc864694ep+8
+-0x9.7024968c101fp+4
+-0x1.0047f8f12bc2ap+8
+0x7.b3d94ddbf60ep+4
+0x8.e352b6e4fba4p+4
+-0x2.4284396669ecp+4
+0x5.82e2d1b1d0abp+4
+-0x7.7f30a75e88048p+4
+-0xd.385bc290928bp+4
+0xf.9c065549bebap+4
+0x8.3aad078c43dfp+4
+0x7.ed6c4fa69ddap+4
+0xc.5ffb104ebdfap+4
+-0x1.e1006b93860ap+4
+-0x1.c65e2e099befp+4
+-0x1.30e741d6788dp+8
+0x9.d67184eb855ap+4
+-0xd.b6f31937b5f7p+4
+0x8.d374f9e42758p+4
+-0x1.04af1ce89dba4p+8
+-0x7.b99695bce90f8p+4
+0xf.9a020f26c94ap+4
+-0x6.74d1e095e45ap+4
+0x1.2e7cbf78e59b8p+8
+-0x1.3515ff1e72acep+8
+-0x4.209b6a5ca645p+4
+-0x5.c65293bc6efd8p+4
+-0x3.5a7ae6217d1p+0
+-0x6.2c85c302f39e8p+4
+0x2.39e2e17aec8p+0
+0x6.a7b56639e1dep+4
+0xc.4a20d5f7728p+4
+0x5.9c6fdd175b5p+0
+0x3.c4d2e190e8d2p+4
+-0x9.5b7d9dbf91bcp+4
+0x4.2c24fb0bf275p+4
+-0x2.d1ed62256178p+4
+0x9.6bce0b377faap+4
+-0x1.015fa3b9cacb9p+8
+0xa.73211b727542p+4
+-0x1.2cd02db947586p+8
+0xa.561a6bc6ed11p+4
+-0x1.1c1032b39bcbp+8
+0x1.0eb064901e8cp+4
+0xb.164859c10ee6p+4
+-0x7.478335b72bc98p+4
+0x1.937982e952fap+4
+0x3.7321915e9aaep+4
+0x4.75148d55f442p+4
+-0x6.083704c7b2558p+4
+-0x1.041c74348426p+8
+0x7.ce8fbf5dcf3ep+4
+-0x8.814c3614cc44p+4
+-0x1.304a991c38656p+8
+-0x6.9a9bda3cbc1cp+4
+0x9.b26b5cfaeccp+0
+0xb.ae50fc1dda21p+4
+0x1.2b43148a6bdd8p+8
+-0xe.a8d6a393e6acp+4
+0xd.9afd2c7ced1p+4
+-0xd.b27e36c7b9c7p+4
+-0x5.f0b28acc667f8p+4
+-0xd.ac7d6eca96b5p+4
+-0x1.0673826b847dp+4
+-0x3.35b5916e0996p+4
+0x2.edda6be6f889p+4
+0xb.dcdbbdbaff3ep+4
+-0x7.fe69e183efc58p+4
+-0xc.749508d412fap+4
+-0xf.9dfee6f25a8e8p+4
+-0x3.5fe0a39ad565p+4
+0x3.ba161a172168p+4
+0x1.1a3969a859cfcp+8
+0xa.0b4d2dc66827p+4
+0x1.cf1a68da9006p+4
+-0xa.da754ebb6e658p+4
+-0x1.2f2b1df993a8bp+8
+-0xe.2274f75b264p+4
+-0x1.24e44eb1cd843p+8
+-0x4.374e8a0f1e0fp+4
+0x5.f020b9b4202p+0
+0x6.8eab35a624e3p+4
+0x3.71abf8e8f6e1p+4
+-0x1.074dca2a4fb5ap+8
+0xd.4b402d129c5ap+4
+-0xd.705e4f325a848p+4
+-0x9.3f5805b74b5dp+4
+-0x4.d3449a9c686dp+4
+-0xb.a9998e4fc8d2p+4
+0xd.6bfb2f280436p+4
+-0xb.3ce71b0875f18p+4
+-0x6.5e1e34d181d2p+4
+0x7.e6d980696e7fp+4
+-0xa.847ed33bd0b68p+4
+-0xf.488f0ee52e63p+4
+0x1.b8ec23078bedp+4
+0x5.0c9ff4c9e65p+0
+0x2.b09942e2b42bp+4
+-0xd.d0fdf84c0221p+4
+-0xb.6a933a039844p+4
+0xc.38274039fa72p+4
+-0x4.bbed686b4673p+4
+-0x4.aac48f85441p+0
+0xc.96a2f2b9b784p+4
+0x9.9d2bd71e2fc7p+4
+-0x3.29f7e444bf6dp+4
+0xf.eb9f9df93e54p+4
+-0x6.3fb42afadb1p+4
+0xf.d80019a00d06p+4
+0x1.0eb4c4d22cfcap+8
+-0x1.7aec0c11ab6p+4
+-0x6.73a19840a6ap+0
+-0xe.854381d949bf8p+4
+-0x4.73faa9a0b94cp+4
+-0x2.f7cd5a0b6e2bp+4
+-0xd.590e671592748p+4
+0xa.d704a30174c3p+4
+0x1.0006241fd0cc6p+8
+-0x7.9b3070382d4cp+4
+-0x6.a6e19297bd16p+4
+-0xd.d604b24a558cp+4
+0xb.dea842bbed42p+4
+0x2.76f048a69ecep+4
+0xd.635a19fcc442p+4
+0xe.18d7b025a4bcp+4
+-0xd.8c9aae64b4cep+4
+-0x2.970aa6fc7b81p+4
+-0xb.8bbabd312ddep+4
+-0x6.4fc1984e40168p+4
+-0x8.c7c79d5566c7p+4
+0xe.712d3717526ep+4
+-0xa.da958c941d9ep+4
+-0x1.1b3f8e2322744p+8
+-0xe.245245bfd1cc8p+4
+-0xa.e79b9677f0838p+4
+0xe.a9c921fd482ep+4
+-0x9.85fade4ee5858p+4
+-0x2.cbf226d9393cp+4
+-0x7.4ff8d383121b8p+4
+-0xd.4bf4308dfe32p+4
+0xb.9956ca21d6b4p+4
+-0x6.285fd1d24a108p+4
+0x8.9191945728d1p+4
+-0x3.ab85d426962p+0
+-0xc.5b3ebbb1b1238p+4
+-0x3.5e6d014996efp+4
+-0x4.b912696b2aa48p+4
+0xd.9c0fa7736eccp+4
+-0x1.134f657e24073p+8
+0xc.ea3b20729912p+4
+-0x3.0d4e3c67792bp+4
+-0xb.515b2b8cd44d8p+4
+0xc.b9ccd39927c4p+4
+-0xe.3e6e9cea2a2cp+4
+-0x1.0051f88485f8ep+8
+-0x9.c7d73d6ccbe48p+4
+-0x1.238f39f1e8276p+8
+-0xb.4b385eedf1288p+4
+0x8.0c11b248644fp+4
+-0x1.3a994ff9f1db4p+8
+-0x9.0aabcab57f5dp+4
+-0xd.a61c26abaab2p+4
+0x8.a3c0c139262p+0
+0x5.ccbe191c21b9p+4
+0x9.fd62ae7b224ep+4
+0x9.e69813746a3p+4
+-0xb.602e104d5181p+4
+0xa.f471cfc284f6p+4
+0xd.eb9d96c639c8p+4
+0xd.7e781beb73dp+4
+-0x4.436ffe2d470e8p+4
+-0xa.a4be3aec4e81p+4
+0xf.2a72d3fdc6b4p+4
+0x1.e027f930971fp+4
+0x4.ee1d8e38ef92p+4
+-0xa.a997271af01p+0
+-0x9.53aade985f168p+4
+-0xb.9413ac5c81bc8p+4
+0x1.2e70121bae66p+8
+-0x9.fdd50e1f2bab8p+4
+0x7.ba31868f5cb3p+4
+-0xd.5caba34ef91ap+4
+0xc.09fffafcc49ap+4
+0x1.14ec51c3a450ep+8
+-0x9.d843ee797fbp+0
+0x5.406e27aa206cp+4
+-0x3.0bddc1163f78p+4
+0xa.a658d1f7139ep+4
+0x1.22dc57274f4d6p+8
+-0x8.cc9668afd1a8p+4
+-0xb.c7527f8d2bf1p+4
+-0xc.fe8f3141b19ap+4
+-0x1.0da04e634182cp+8
+-0x1.17fa1417e7fbp+8
+0xb.6e5d6f6f5a21p+4
+0xf.bac0a1f464bp+4
+-0xd.8b317c20476p+4
+0xc.afc192864e8p+0
+-0xb.ede42c3d06308p+4
+0xb.7c7301b6e0a5p+4
+0xa.c5166f3bbe31p+4
+-0x4.f974353d63ad8p+4
+-0x1.434a22a0a6ffp+8
+-0x1.012f8a9b43a69p+8
+0x9.eb362138f32p+0
+-0xe.2d5d90962c4ep+4
+0xe.5650f8fec12ep+4
+0x2.224b84a08718p+4
+0x3.0af1e9eecc2cp+4
+-0x7.ea43dd2a08c1p+4
+0xe.0bd0b5aed27cp+4
+0x2.fd6048a6122ep+4
+-0xd.3c20db83d61fp+4
+0x1.12049721606ep+8
+-0x9.36704aa2ec42p+4
+-0x6.66d35c9c9d228p+4
+0x1.0567e5a3bcf7cp+8
+-0x2.aff2f3996d9ap+4
+-0x8.5d98fabdd64a8p+4
+0x6.d364d50571e3p+4
+-0x6.84d95e3b40978p+4
+-0x9.56f5eb370bdp+0
+-0xa.c5edd016c9ea8p+4
+-0x9.cd214c2b3c4dp+4
+0x1.23e194c436baap+8
+-0x7.61688f62cef98p+4
+0x1.d1fa3824adc4p+4
+0x1.0307f851fd544p+8
+-0x9.2e64f35ed25e8p+4
+-0x2.d1bec4578b3fp+4
+-0x1.42682a0628138p+8
+-0xa.239b145ab5788p+4
+0x1.54470ee29eedp+4
+0x1.0a7b4e34c2188p+8
+-0xa.f5cc93a3d06f8p+4
+0x1.2c7f7c851993cp+8
+0x1.12994f4858b94p+8
+-0xf.a86e61d6e71ep+4
+0x4.6f8d838a648p+4
+0xe.e050090293f4p+4
+-0x1.1554ec1303b29p+8
+0xf.c2d2d75c94cap+4
+-0x1.3c66c07cc8e0fp+8
+-0x9.ac3364926af38p+4
+0x1.853641b58d75p+4
+0x8.d1b9cdff9872p+4
+0x2.b64ee8b5b856p+4
+0x1.1fe90247f6976p+8
+0xf.8d08099d54fcp+4
+0xb.568347c50cf4p+4
+-0xc.05bf46613dba8p+4
+0xa.272d86e23296p+4
+-0x9.3d256a0d6693p+4
+-0xb.e38614f34a4p+0
+0x1.325098074bbaap+8
+-0x1.302b37326764fp+8
+-0x5.6ee460b9347ep+4
+0x5.aefdfbbae7c2p+4
+0x4.8cdcc8fbbbc1p+4
+0x1.108ad15077f32p+8
+-0x9.7dd516ac21508p+4
+0x9.e1253a890ffp+0
+0x1.28183c6db9bep+8
+-0xd.071f8100b7ca8p+4
+-0x9.49b5b23036798p+4
+-0x1.ec5326dd94bp+4
+-0x1.103f0e9dcb3e4p+8
+-0x1.0ba9aae3733cap+8
+0x3.33a04a4a4733p+4
+-0x3.88caf5cf127dp+4
+-0x9.6b6e9fe2d9138p+4
+0xe.95a78ea6e46ep+4
+-0x1.1f4a0d5bdb892p+8
+-0xa.0b91134ef0448p+4
+-0x3.77606bbfbc4cp+4
+-0x1.8673074a7e82p+4
+-0xa.29313bd4bc858p+4
+0x2.c1b27876a188p+4
+-0x7.2fb94a4a84f1p+4
+0x1.33e805a5d76c8p+8
+0xc.0ea9789d5094p+4
+-0xe.486d0c735b938p+4
+-0x9.c4fff42d15e08p+4
+-0x1.08b17706ab8dcp+8
+0x1.598e6dc33d6ap+4
+-0x7.ffccf1f3449p+0
+-0x7.10474057df228p+4
+0x6.424f179dcd71p+4
+0xe.5d78cfbf3a4ap+4
+0x1.099c1117e1834p+8
+-0x1.1ba296601398p+8
+0xf.510b656bf77ap+4
+0xa.2262bfaec9aep+4
+-0x1.0163c2db3a8ffp+8
+-0xf.c5b85e57fcc4p+4
+0x1.1bc15e1cd705p+8
+-0xb.56565b04a6048p+4
+-0x6.9c7ff1c18bbdp+4
+-0x1.01184f5a02dfcp+8
+-0x1.3650852430f7ap+8
+-0x2.0d28f1c9935ep+4
+0x1.30ca57414b7a6p+8
+0x1.23c37e4d838a4p+8
+-0xe.dc1737661e34p+4
+0xa.89ef98a98524p+4
+-0x8.c84ffed66f9fp+4
+0x4.57b8a2aa08dap+4
+0xf.8b7a94434226p+4
+-0xd.bcb9ca38b6f6p+4
+0x5.2e9c2e49232fp+4
+-0xe.635834134f3fp+4
+0x7.c073ced5e6dp+0
+-0x5.27b7b28cfc3p+0
+-0x1.1747cf418a90ap+8
+-0x1.001fbebe547c2p+8
+-0xe.a7390cf0adbep+4
+-0x7.39cae837b9978p+4
+0xa.2d07f09db9bbp+4
+0xa.857ec6d9aa7ep+4
+-0x4.44edfc9af43cp+4
+-0x8.32227c9e75f88p+4
+-0x4.69a02e83941bp+4
+-0xd.047221a3c94fp+4
+0x1.0f4dd3baf7d2ep+8
+0xa.de7af8d01675p+4
+0x1.38d9f5855948p+4
+0x5.0031f887ad1cp+4
+-0x5.35c68c1e773fp+4
+0x9.209d24f3a46fp+4
+0x7.15b5ac174bb3p+4
+-0x1.406ce394d97c7p+8
+-0xb.3e398937cac58p+4
+-0x1.208af25d1c2dbp+8
+-0x2.e36403ef0786p+4
+-0x7.80a36df9fd83p+4
+-0xc.3789afa7df7b8p+4
+-0x1.4132c7cff591fp+8
+-0x1.3f604a6e89ecp+4
+-0x2.bf0fd0bac7ap+0
+-0x1.7e601a4c471p+0
+0xe.5754b66897f2p+4
+-0x3.69d394488495p+4
+0xa.58493a9b7f19p+4
+-0xf.25e63dae62d88p+4
+0xb.93261c6c3f8bp+4
+0x1.29cd19ed025fp+8
+-0x1.0d20823dbe23dp+8
+-0xf.5f2284058998p+4
+0xb.91eeaac2dc06p+4
+0x6.6d71b327b3eep+4
+0x4.c437af4ddc2p+0
+0x8.68766a9f9ba8p+4
+-0xb.ef1703dedaef8p+4
+-0x2.7678e0628681p+4
+-0x2.6ba3609e08ep+4
+-0x1.362791a36b048p+8
+-0xa.3c8810f7b5f78p+4
+-0xc.c6b10782a998p+4
+-0x1.2f6f597668e07p+8
+0x7.d70c8156b4fp+4
+0xe.51981f94aa64p+4
+-0x1.0e4d056f6c0f6p+8
+-0x1.377a9ed8cf42p+4
+-0xa.0f588fb880dp+0
+0xa.010e10012024p+4
+0xe.f8851189cf5p+4
+0x7.6ea135c9491p+4
+-0xf.f4bce891088cp+4
+0x1.20312e985a9eep+8
+0x1.183f389a9055p+4
+0x1.24ff7adebe2cep+8
+0xd.9a1c9acc2c14p+4
+0x6.6cde1b88b6cap+4
+0x5.a54f969ec5a1p+4
+-0x1.370f751941b39p+8
+0x1.0678cdb051494p+8
+-0x9.63fd4f3038108p+4
+-0xd.48a05bb40edp+0
+-0x4.c7e7d1a45871p+4
+-0xf.0b85b381ef3ep+4
+-0xb.90e4963e3e378p+4
+-0xf.30e1f9526d69p+4
+-0xb.03d892b56a5d8p+4
+0xa.12ee5385c15ap+4
+0x1.2beb2b2e42596p+8
+0x1.077239c82cbf6p+8
+0x1.00d39532b01cp+4
+-0x4.83efa39a5b6dp+4
+0xb.6195fb3bf3bep+4
+0x7.21043c085485p+4
+0xc.eb1c2562cd54p+4
+-0x3.8a9126330a85p+4
+-0x8.dcd430d8b77fp+4
+-0x1.0230eca79367dp+8
+-0x1.8dc026b5f75p+4
+-0x3.21495045698cp+4
+0x4.e7eade74332fp+4
+0x1.01adbd744934p+8
+0x7.db6cdcb70bf9p+4
+-0x1.2fffdb2ad2a85p+8
+-0x5.ddf7c19e0abfp+4
+0x9.39519bd36cb7p+4
+-0x1.38a7953a296abp+8
+-0x6.a6f4a84771ddp+4
+0xb.d93e668e165ap+4
+0x8.6aca35fa3cafp+4
+-0x5.e6692559acbap+4
+-0x4.75c5ede948398p+4
+0xe.8925b3141ef6p+4
+0x1.1a5529d3dd41ap+8
+0xa.0b982202f1cep+4
+-0xa.687898acca7fp+4
+-0xc.2e23f6641bp+0
+-0x7.76da7a452c998p+4
+-0x1.1f10ed0d3aa1cp+8
+-0x1.1fda2938c0e2p+4
+0x6.43d9c0e66301p+4
+0x1.0840e540ade0ap+8
+0x1.12d6409f2527p+8
+-0x2.403fe0fb17eep+4
+0xc.ea0b6eeab0b6p+4
+0xb.f5e8fe378a02p+4
+0x3.b357e17b19bbp+4
+0xa.9e2c900281ep+4
+0xf.2fd7c348c47p+4
+-0x5.c30e7d5b4da58p+4
+0x1.213494ec8b6f8p+8
+0xb.ba34a62c7804p+4
+0xb.7df7624458f2p+4
+0xa.43fe1fc6b4c3p+4
+0xc.ebf29acd7894p+4
+0x7.aba91f7577d9p+4
+0x1.1b04f4e76a3ap+8
+0x5.1cb6cc95b1d3p+4
+0x2.87fe43eda3bp+4
+0xd.448bd17fb25cp+4
+-0x1.2112c71b1352bp+8
+-0xe.25c90fcacbe18p+4
+-0x1.087fefae17ca8p+8
+-0x7.70fd544e17b48p+4
+0xb.1325aebca5f4p+4
+0x2.3b110199270ap+4
+0xe.a1bf0eff3946p+4
+0xc.05ca8e715ea4p+4
+-0x4.b25008e987b78p+4
+-0xc.b7c4759661228p+4
+0x8.1a67b5376f79p+4
+0x1.2b46589d485eep+8
+0x1.264fc382a8592p+8
+0x1.cf51312d18cep+4
+-0xe.d6d2012147848p+4
+-0xa.67b86c4b4c07p+4
+0x7.1d45eb583b3p+4
+0x4.44a7d12ef4a5p+4
+-0x1.184cfd3cf0f7dp+8
+0xb.7496ff8b8d71p+4
+-0x1.1de73dd60db9ep+8
+0xc.9687f9cc187ap+4
+-0x6.2141418c1dcdp+4
+-0x6.9007e88c4b038p+4
+0xc.21f6c00985fap+4
+-0x1.23465c2540286p+8
+0xd.78bf8b2c888p+0
+0x5.3e03266f8d3ep+4
+-0xf.83ff1d7f8f8a8p+4
+0x4.0acbaea2e91fp+4
+0x1.2e43edd3fa5dep+8
+0x7.719cda4fe72ap+4
+-0x5.25e1abd7a0a7p+4
+-0x1.143b44109f44fp+8
+0x1.25899867597b4p+8
+0x3.30957bd5cdecp+4
+0xc.1b74c1598b6ep+4
+0xa.248ddc7a7336p+4
+-0x1.3db059d2d4452p+8
+0x9.8990d2d8bf8p+0
+0xa.fc9779b56f4ap+4
+-0x8.0a9920e34b4f8p+4
+0xc.3db5ac07f48ap+4
+0x5.70d353b67e84p+4
+-0x2.cfc0363367f1p+4
+0x7.5a403d165dap+4
+-0x7.aa16f58f07a5p+4
+-0x2.d17802441733p+4
+0x1.1f3384092efacp+8
+-0x8.44a92323e178p+4
+0x3.33efa35d3b98p+4
+0x6.f595f49370cbp+4
+0x1.20b77dd8a11cp+8
+-0xb.fefb8565389p+4
+-0x1.24d20124696c3p+8
+-0x2.4884addc7a4ep+4
+0x1.32c3022703cb8p+8
+0x1.2d4bae0d32e28p+8
+0xb.71445651a144p+4
+0x9.80fc02616752p+4
+0xf.0c045fbb291p+4
+0x1.e36f802968d1p+4
+-0x2.bba3522f3068p+4
+0x7.6b430ecaf9abp+4
+0xe.78758e6d590cp+4
+-0x9.4bbdb6947e9p+0
+0x1.0830ac822aae4p+8
+0x1.323f5b6d9b958p+8
+-0x4.a6a27fba59748p+4
+-0x3.e76c9b32f54cp+4
+-0x6.246f5d3e8a168p+4
+0x7.823215f0c6fep+4
+0x1.e2f8fbf9e044p+4
+-0x8.7851ec2887558p+4
+0x7.1e9411aa7651p+4
+-0xa.242ee4f6a36dp+4
+-0x9.ddcf97249cf4p+4
+0x7.5abdee51112ep+4
+-0x7.3f1c9ecb8a28p+4
+0x7.265b8c7fc595p+4
+-0xe.9a44ac6479668p+4
+0x2.b430dd6b1057p+4
+-0x7.95dd3277cbd88p+4
+-0x1.394ebed4df32bp+8
+-0x7.7f228e0cfb678p+4
+-0x9.9f3e956af5958p+4
+-0x2.004719259e4bp+4
+0x5.cf7157a6c164p+4
+0x7.7fce38291781p+4
+0x8.4e61777fe6fap+4
+0x1.07250e4dea2fep+8
+0x1.12d42031a86b6p+8
+-0x9.d821cfe0af95p+4
+0x9.6ba494316bd1p+4
+0xd.4b419c6aae96p+4
+0x3.3a8129193173p+4
+-0xb.5f63c1959b3b8p+4
+0x1.33ecd820dbf16p+8
+0xe.3ce21ea14e12p+4
+-0x1.05983b71ec21ep+8
+0x2.ee098b93c78p+0
+0xb.ce8ef5526e04p+4
+0x7.3d6914403b21p+4
+0xc.5941b4cfc44p+4
+0xa.9a8e02a1ae02p+4
+0xa.ea05b494374cp+4
+-0xc.81d98a1dbd5fp+4
+0x1.103ff04269a0ep+8
+0x4.e433893802f1p+4
+0x3.53bae44e3e7cp+4
+-0x3.0fd23010b59p+0
+0x1.28b6d8bd7eff2p+8
+-0x9.10584a357018p+4
+-0xd.f12ec1f5a0fdp+4
+-0x6.f833307b4e1f8p+4
+-0x5.436697cf0cf9p+4
+-0x1.279e75d0ccf8dp+8
+0x1.0c42c7c241b52p+8
+0x7.677c762662c7p+4
+-0x4.ffa28d0fa7688p+4
+-0x3.c4119a87a067p+4
+0x6.27f5b5f62991p+4
+-0x1.3b2c114a88991p+8
+-0x4.239b5455dc86p+4
+0x9.10c0bb6723f4p+4
+-0x2.57497f6c562fp+4
+0x1.069fa54c0ad2p+8
+-0x5.a303dad47af78p+4
+-0xb.2b48503598d7p+4
+0x1.25480d01ce1p+0
+0x1.1e8c6223e89bap+8
+-0x5.23b9dde4779p+0
+-0x9.54bb0c82eb01p+4
+-0xc.447482002362p+4
+-0x5.3190fc63171e8p+4
+-0xf.4dff817fa4df8p+4
+-0x6.047e74e1ac26p+4
+-0x1.104c088cdb665p+8
+0x9.a5f161822274p+4
+-0x5.302d61a4f33e8p+4
+-0x1.0ee7c3ee609cdp+8
+-0xe.43dd2dbc7839p+4
+-0x1.37d79f3a7fae7p+8
+-0x7.2934ad67139cp+4
+-0xf.2a47a9696c278p+4
+-0xf.0d35bdb9fd05p+4
+0xf.b0e12d5e5a42p+4
+0x6.b91c11047befp+4
+0x1.136f9bd87213cp+8
+0xb.1e1e4097783p+4
+-0xa.efbbca82a4cep+4
+-0x3.b0c84dce213p+4
+0x4.2b941e79a707p+4
+-0x1.89041706d2eep+4
+0x9.8748483bbc4fp+4
+0xb.dc8e5583eafp+0
+-0xe.13700fe996c8p+4
+-0xf.a1d619e703688p+4
+0x5.0922114a2e5bp+4
+-0xd.e40378211d978p+4
+0xa.4fd0474b4158p+4