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, 1005 insertions, 0 deletions

diff --git a/benchtests/atan2-inputs b/benchtests/atan2-inputs
new file mode 100644
index 0000000000..41f9ebd2c8
--- /dev/null
+++ b/benchtests/atan2-inputs
@@ -0,0 +1,1005 @@
+## args: double:double
+## ret: double
+## includes: math.h
+# Random inputs y*2^f, x*2^e where x,y are random in [1/2,1]
+# and e,f are random in [-1073,1024]
+0xf.e64ade01a4bcp-112, 0x1.51e7f10afb4d8p+292
+0x1.eb1594e8f1c6ap+348, 0x3.f3ad0d8215544p+112
+0x1.088f870ee691ap+280, 0x2.cfaffd3a44354p+900
+0x1.958092dd184ap-196, 0x1.2d547e5e0d0a9p+412
+0xe.dee18e7a8b8ep-848, 0x1.765fff587d5f3p-1024
+0x7.5224020da9c5p+768, 0x2.1e01c025eaf62p+212
+0x7.5da25daeca808p+400, 0x1.248a2a8873f16p+276
+0x9.b96d1dba2d8dp+628, 0x3.4262411da747cp+876
+0x3.8dcdb12e8f006p-520, 0x7.ca40e5d987398p+44
+0x1.9ee50c39f32d1p-48, 0x5.1e4326c496ad4p-204
+0x1.be04f86130756p+180, 0x2.d457c98518efp+308
+0x7.2e751bf2b8fccp+876, 0x1.12169563f86d4p+968
+0x3.26da26f2e0f7ap+596, 0x1.b5fa5c347616ap-28
+0x3.5c8cf5fa36fd8p-320, 0x1.909d3b62e5cfap-596
+0x3.8da67c7c8e46p-396, 0x1.e3c256ec4e494p-132
+0xa.8bbfd4f4ed25p-100, 0x1.7c770ae7b8856p+88
+0xf.d001af3a9085p-108, 0x2.f58c9c0b64848p+776
+0x1.9628542428016p-920, 0x1.25c4f0f55ca49p+124
+0x2.af8a460766408p-996, 0x5.f43a3724bae98p+824
+0x2.8b2e9d0564734p+952, 0x5.595a4250d1c2cp+140
+0x6.953df8526b648p+448, 0x6.cd4712d97a2c4p-772
+0x3.144607cac8e44p-396, 0x1.f7968b8c31942p+376
+0xd.d17dd2506e198p-128, 0x4.5029c933ee4cp-1040
+0x6.dc60eb08e7758p+260, 0x5.f8accf3e52e2cp+812
+0x4.849555e2ca9e8p+776, 0xd.98371e7122e5p+688
+0x2.2bee8b9b42bacp+112, 0xc.597cc8159771p-192
+0x6.26c71bdfbf598p+828, 0x3.c8e253c4556b8p+756
+0xc.43564b360047p+296, 0x1.036f7af72ab25p+372
+0x5.fab523d53372p-952, 0x7.196ba059143b8p-44
+0x4.dc658c0eaa674p-416, 0x1.02b8af8ce8482p+1016
+0x2.43bfd5633b1bcp-208, 0x3.660ae6406fb5ep+476
+0x8.65f073c6979f8p-176, 0x1.3a08958c564cdp+348
+0x1.c998958142e68p+880, 0x1.7ec64b4f45cccp+716
+0xa.f5949874c1dp+56, 0x1.a363b4e2f472ap-52
+0x3.b03271a1c01e4p-304, 0x3.0fa7e7ef6ceccp-116
+0x2.a5a5d6695d63cp+152, 0x1.b66a73c2ea728p+64
+0x5.1d4bb47746748p-504, 0xe.ec21bf413a2fp-812
+0x5.c648ea0d96674p-100, 0x1.6ddfb8431aa8cp-680
+0x7.4bc1dd3401be8p+876, 0x1.38acc8fe3787ap+12
+0x3.585e233258274p+52, 0x2.a2aeee2fc0ebp+96
+0x5.db94503dfb874p-720, 0x2.abf5b9fa1bf3cp+368
+0x5.0f3b462ee21p-788, 0x1.69ecfd91fb9d2p-456
+0x1.75710a89f8007p-164, 0x5.9c18df3380e08p-580
+0x1.f5dbb94358d72p-868, 0x1.e053f1c2f68c6p+364
+0xd.012531065743p-584, 0x6.a70dd5b92b9a8p+968
+0xd.4fe53c5e934bp-868, 0x4.7dd5de2eb4ep-640
+0x6.5cc6284cac46cp+832, 0x9.164da0139c63p+200
+0x1.51fd1c202e5fp-952, 0x1.29cf107bc7d2ap-976
+0x3.f18c72435d034p+812, 0xe.b02c11048e05p+332
+0x3.577fc1909cf74p+324, 0x2.054b57128cc2ap+984
+0x3.720e627078e0cp+280, 0x5.40dfc61849aep-1056
+0xe.b263e62d00a9p-756, 0x7.a57cbabc1ea7cp+244
+0x3.24274890bcbeep-224, 0x1.6c35ac17f3958p-856
+0xf.412008621829p-700, 0x3.874d8524e05dap+340
+0x2.fcc56e0b04048p+824, 0x6.84f3042f4438p+824
+0x5.c66cdf1e9d3cp-304, 0x8.d61ca0f7a30ap-1072
+0x7.1af1640f99754p+544, 0x4.ed53dab8f77ep+184
+0x4.6b431d7fd9c8p+408, 0xb.06f5f247f22ep-136
+0x1.e0aef53445013p-708, 0x9.8403722b764ep+944
+0x6.c2e473092a8f4p-468, 0x3.9f2f924a40fa8p-936
+0x1.7a000b5ff424cp+964, 0x7.c19e0cb3b0fa8p-188
+0x3.a29126cdc15acp-656, 0x1.7c80fc7dead3ep-912
+0x2.407aba3dff534p+236, 0x1.95f8a02c6a09p-252
+0x3.d8337d0c49ae4p+592, 0x1.c7c69edd549dp-200
+0x1.5334a822bc6ecp-628, 0x9.c4c4cdd162cb8p-352
+0x2.be0f104d85c38p-784, 0xe.f22b29fade1dp-700
+0x2.4ae91c1683368p+152, 0x6.a3ff0e0190f1p+148
+0xf.b137e644b7efp+340, 0x6.1fe4fb548eb18p+288
+0x5.d09faad0d26a8p-604, 0x5.2bfd22bf079e8p-16
+0x1.2da12571a266cp-920, 0x1.238d5bb74cd41p+36
+0x6.7901c11c2a958p+532, 0x4.6ed8643b29818p+140
+0x6.3f3764382c69p-1008, 0x6.7d1a0c7cff718p-196
+0x2.432012c11cb9cp-956, 0x3.62e1b870dfe68p+828
+0x1.5a75dd3d46b3ap-52, 0xb.20bc6cca08dd8p-52
+0x1.039c817b1e754p+900, 0x4.8af2e9bb880f4p-36
+0x3.374cfdd0d958cp+48, 0x8.cffad14f7d49p+808
+0x8.45a78fae8395p+8, 0x3.ff2a6d61de1a8p+776
+0x2.0dfcbf647488cp-48, 0x3.a4f0a7f53eb4ap-448
+0x6.5f603cd9c086p-484, 0x8.974457ae13b5p+124
+0x1.c44c73ea4d6d4p+764, 0x1.f365d6441732ap-164
+0x1.21b7c518c8cdep+548, 0x1.c527626b4003p-448
+0xd.3f70caa95124p-792, 0x2.5e617f4ee6c9cp+756
+0x3.38a11f34a53fp+984, 0x7.ac733cfc91c8p+120
+0x2.99b3647427724p-864, 0x1.7eef87419ab23p+976
+0x2.f8ba052e65924p+696, 0x7.483c41c523fp-188
+0x3.b1fca129f69cep+1000, 0x2.1e5e1cfe0324cp-720
+0x7.35c7cd0cdc05p+768, 0x1.6ca14e5eb8bccp+792
+0x2.bef21fb88019cp+280, 0x1.165bc4808772p+88
+0x4.3d52323287198p-92, 0x3.3b8e4099d5c78p-88
+0x3.af22fa9209678p-180, 0x6.62eeca19fc4fp-436
+0xd.a4eef5515ca4p-468, 0x4.c987328716c48p+468
+0x4.c9d2db543e798p-920, 0x1.25bdec8404d2ep+796
+0x1.8cc4d2e56579bp+192, 0x1.34066c6510e9p-8
+0x7.35d2d66efc668p+4, 0x2.53a9a66eff12ep-1040
+0x2.6fe1dea6f4018p+932, 0x8.b010ae35b2028p+624
+0x2.be12b601aeec8p+348, 0x1.d0fb6f0c984d1p+432
+0x7.1794afc2cbc2cp-408, 0x8.e88a0fa60941p-648
+0x2.639a4bdf9e574p-592, 0x6.39b1fdc44737p+800
+0xc.d4e937c6c08ep-648, 0xa.6eb04d5850468p-952
+0x1.a200f30f09d36p+896, 0x1.af0bb6b837ccfp-648
+0x4.678eb15984c48p+260, 0xb.59619a546942p-460
+0xe.33e689cd0b64p+568, 0x1.5adf9a4ec17a6p-4
+0x1.609d1d930e30ap-712, 0x6.637609c9a499p+428
+0x2.bf7627d27029p+388, 0xe.a57e83b2fdd5p-108
+0x6.8fdecbbe2ecfp-32, 0x5.0b980a7d45cd8p+740
+0x1.9dd0e698d2f82p-1036, 0x1.b4f7bf3e0cfbdp-232
+0x3.d8db3fe25738p+872, 0xc.16538658b3828p-456
+0x1.79fe74de9bae2p-328, 0x2.31290e2e4fdf4p-228
+0x1.2d49573a18bfep-620, 0x6.e737ee350c30cp-868
+0xb.8b16ca316ca2p-688, 0x1.fd7b162f797c2p+956
+0x4.95db373e83578p-4, 0x2.3df574c0b2bf4p+480
+0x6.1e877a5c4a614p-52, 0xe.06ff7b7b9278p+236
+0x3.63120428fc99p-476, 0x4.f533a0d338248p-524
+0x5.2ef37c2a778dp+304, 0x5.4e0c2932acc8p+852
+0x3.ae29fff71a16p-808, 0x7.989da49d834ecp+420
+0x1.ed5bc3bb667abp-344, 0xc.4c773260b9388p-184
+0xe.2682c59cd715p+824, 0x6.b53ad7e54e0f8p-580
+0x1.6140c28ad9384p-960, 0x1.e606defb78483p-436
+0xd.5f7e9a8665dp-816, 0x1.4cf53d17f6036p-956
+0x7.36ddffad116dp+260, 0x1.d760f2e156bcfp-852
+0xa.dae175b9dcd78p-784, 0x3.90571ff2f954ep-212
+0xf.c3f98a4f749p-860, 0x3.2c8f867af2dap-864
+0x5.5ff55c4d6381p+144, 0x4.5e7adaf849388p-712
+0xc.b85fe56ea69bp-1044, 0x1.360ca2a17c7e2p-284
+0x7.cd8138381e5ep-412, 0xc.c0096f131357p+484
+0x1.00724b00a26fp-916, 0x5.61fc1314cf7a8p+904
+0x7.3d5d197d0ad5p-524, 0x2.f117316899242p+784
+0xa.e54baa694256p+12, 0x9.0166c5bb0997p+596
+0x8.c8f199c549bap+428, 0xe.e6f4971a1ffe8p-116
+0xe.1911c56cd424p-268, 0xb.636d0fa48fb1p+48
+0x1.3ee4f286b9eabp+448, 0xc.9bb2d4c3107dp+848
+0x1.b9d7a664f0c9bp+524, 0x1.6fd48d906368p+708
+0x1.700a831dc5ccap+180, 0x3.570f9aaec7ddcp+320
+0xb.0e5628310cf8p+644, 0x1.ded813d67a59p+88
+0x1.9b66c7d4f997fp-324, 0xd.ac6bae2d9808p-252
+0x1.e5e0b226372bep-924, 0xc.fdc2de9d45e8p-404
+0xf.ec2648722fcdp-168, 0x3.f3512227dc024p-868
+0x4.4a1604ed62e2cp-1024, 0x1.e64565681e8ecp-400
+0x2.918b7f1b43478p-856, 0x9.cf5a57ee25b9p-964
+0x1.928f8281663b5p+732, 0x3.8c37b9f2b9c44p-68
+0x1.47d022447d0d9p-212, 0x7.3003d07b98becp+336
+0x1.7478127c022bep+108, 0xe.db203d98e5b4p+956
+0x3.e215aa8a7081cp-792, 0x6.b88e76c4439p-472
+0xf.a75abb96d5378p-1060, 0x4.3f8f0317952ecp-472
+0x1.54aa777eb8cacp-172, 0x2.f7c43f0883afap-804
+0xc.278a41202728p-372, 0x3.bb6e98051a084p-788
+0x3.81aca23dac714p+780, 0x1.a901ac7572b76p-844
+0x3.7e57612ade912p+616, 0x1.96dca3bd63e4p+476
+0x7.0104a5d4969e4p-780, 0x6.55a4b56d20f34p-1052
+0x1.978a2a42b7a1p+816, 0x2.da4f604068c8p-868
+0x7.3c8bf43147cbcp-476, 0x4.2fa5efe2658dp+788
+0x5.a2a48df0c9a9cp-964, 0xc.be9c4e4835ap-220
+0x1.e760064ea6764p+208, 0x4.5470c47ab193cp+648
+0x5.bade57403303p-560, 0x7.586deffa315d8p+612
+0x1.b092c08816f3ap+76, 0xc.eeadbebbb8aep+880
+0xd.c474e046fc9bp-776, 0x7.e9aab9320d518p-784
+0xc.d6345ea415ebp-632, 0x3.9b43f679ce1fcp-744
+0x4.e2270e454804p+668, 0x1.732bb96673a3p+552
+0x3.a2b01ec82b18cp-940, 0x9.7946d49a7efep-792
+0x8.588c53fb075p-380, 0xd.f2a013fb82768p+932
+0x7.843c28b11b0dcp+608, 0x2.c1415855cc2b4p-740
+0x5.f576ab5c5d068p-132, 0x9.3d4ad13e5adf8p-892
+0x3.5a259e389097p-768, 0x1.ce12bfcb61592p+552
+0xc.08cce6344882p-396, 0x2.b0aa1def16b84p-284
+0xf.849eed4bd969p-104, 0xc.f1ff6a1e30f3p+656
+0x3.60cf6872405dp+216, 0xe.916cb1a07e21p+488
+0x8.afa0246884d7p-4, 0x2.aa9026cb11502p-1068
+0x5.8459722493b6cp+364, 0x1.9a4a1881cff3p+828
+0x8.d1fea3e3ec8ep-1064, 0x2.a6ea369fc5a04p+896
+0x5.98b34bed20424p-224, 0xc.b4bef5e2dd3ap-660
+0x6.82e6415d201b8p+488, 0x5.0845350b3ef2cp+312
+0x4.02185391eac34p-780, 0x2.3f260ffa0a38p+12
+0xa.3a2ab72455728p-732, 0x1.ac457643819eap-868
+0x1.1e452f0447ccap-1052, 0x1.82814a5d9d79p-152
+0xb.c06d651760dcp+716, 0x6.c352ff76dacap-232
+0xe.b168b1855a5dp+196, 0x1.33ae7942d28b4p+176
+0x5.d5d69f9a0b7dp-212, 0x3.3495e0864b17cp+736
+0xc.3f0567b829c1p+376, 0x8.c590999b3ceep-296
+0x1.f6fc01e1050e2p+712, 0xc.0c2125131f4cp-476
+0x1.897bce0913784p-400, 0x1.c5ef4d3868c5ap-16
+0x1.59dab541131eap-536, 0x7.819776061a66cp-876
+0x3.f25dc36b6237ep+420, 0x2.1185326bc2f7cp+648
+0x3.e661c67fc9d14p+632, 0x1.cd220c0d8c697p-544
+0x2.9b2ea8ec0335ep+204, 0x3.96cef7c99ed6cp+736
+0x3.a5b56029ca106p+720, 0x5.0ddbd8c34bb38p+732
+0x1.bd0b04b0d5ffp+768, 0x2.acb086485c0acp+228
+0x1.253ebc6eca2f1p-328, 0x5.28a35c4d7273p+216
+0x1.c7ea9d9e6d606p+216, 0xf.9c8b53d0cabp+268
+0x2.7da9dc9e7f3f4p+380, 0x2.2c94bd9739264p+100
+0x1.42fbbef780b89p-208, 0x1.162f54ac2c616p-1052
+0x1.8c75f21ff63d4p+196, 0xa.8efb1f73da5ap-772
+0x5.3c267ea019b2p-1068, 0x3.48cfb105670fp-824
+0x2.b4145495175c8p+128, 0x5.48614324aad44p-340
+0x6.233f74ee5efc8p+624, 0x1.914e55cce282bp-636
+0x1.4acb38cb1a918p+324, 0x1.f9e9ede35d216p-680
+0x1.cfe994bda3f56p-952, 0x2.6b1c92872537cp+872
+0x2.66d4aba59fa24p-800, 0x1.8019acfcda12bp-436
+0x2.5199427fa20a4p-32, 0x1.fd96bbfc3f9fcp-468
+0x4.e655d3343f5e8p+56, 0x1.3f492e7cd0dfap-80
+0x5.d9a335474947p+548, 0x9.ac1d614150b18p-988
+0x5.b2451c618e62p-68, 0x2.9c3deca394cdcp+696
+0x3.7dac74e990246p-768, 0x1.5dfc6042b1b8cp+572
+0x1.ccb45ef84dc6p-76, 0x1.273b361c6d5b3p-220
+0x1.5e2613f706d82p+260, 0x3.9064078ea96d8p+16
+0x1.46ea9a76a8cbep+252, 0x2.84ac448cf3e7cp+1008
+0x6.a67693dbd8f78p-956, 0x8.0025c257d52p-924
+0x1.e0fe63888157p+884, 0x9.2ae8309feaeap+1016
+0x2.5b9c6a88ca5ecp-156, 0x3.3ae1d36734fbp-28
+0x9.8facae4bc3f1p+32, 0x1.9e88ee1f6597ap+240
+0xb.c53a4f6348bc8p+124, 0x7.8af8454f9f79p-996
+0x2.3c91ecfbfe8p-140, 0x1.7f7978441c1dep+676
+0xc.4c86fd4536f28p+1000, 0x1.0855cb68a6e14p+828
+0x1.b0de303b74bep+416, 0x1.569a02a128dbap-628
+0x5.8e3754c745bb4p+196, 0x1.1719ac573d318p-120
+0x4.4472680edad9p-212, 0xe.e7a8b9fd1a6cp+816
+0x3.b9c681dcb8abp-532, 0x1.88f9d054fec01p-56
+0x1.d88ba612f7fb7p+92, 0x9.719683b165228p-488
+0x3.417187152d65cp-532, 0xb.34c6a168dcb88p-1004
+0x3.db242662b06a4p+728, 0x4.4e01364fed234p-412
+0x4.0932a06158358p-1032, 0x2.21a57514c6456p-1004
+0xc.32b403b648068p+424, 0x5.0ff2decbda358p-492
+0x1.345d42d59c984p+24, 0xa.9ec32e5a2b72p-1044
+0x3.0fcc7d196782p-668, 0x5.af2fea109a398p+520
+0x3.d943088a6f7c8p-840, 0x6.6c37491c8481p+404
+0xa.ac6a25358517p-528, 0x5.67f0bfadc5ddp+204
+0x3.9dbe4836ecc2p+488, 0xd.3a40509ac8bp+660
+0x2.f8cfb00bedb04p+368, 0x3.d87d01a84c9a8p-92
+0xe.53c7e8e5b73fp-20, 0xd.b82fa0586e4fp+404
+0x2.bdcb25535d68p-724, 0x8.89c60faceb9ep+932
+0x1.97f5a2418f81fp+972, 0x2.fe67c6004c6e6p-188
+0x3.d04a4c119b1cep-932, 0x3.0aff7ccf9f8ecp+284
+0x1.182cce72bb41cp+452, 0x1.ad0bc9c68c36bp-552
+0x1.684fd90dbb208p+36, 0x4.6e1de256dd1a8p-356
+0x7.7f05b8fd7d7p-832, 0x5.fbb1fd05105p+536
+0x1.5ec928b34cafcp-72, 0x1.e5fc7acfa9e74p-648
+0x1.07d7a7615c51ep+508, 0xe.92a9c751387d8p+268
+0x1.d762e9fa5d72ap-580, 0x2.a2931f295bddcp-1072
+0x7.2512f9d7d7d34p-60, 0x2.c791974941d6ep-952
+0x1.9bd1cfc2ec966p+600, 0x6.ffe56421c30a8p-80
+0x6.9210e729dcad8p+56, 0x2.243058779b208p+260
+0xf.10f6a16c1ccdp+568, 0xb.a25e09b995c7p+196
+0x1.510e5ff05af4bp-1072, 0x1.8c4c538c69d11p-808
+0x2.faddd1e3b2768p+496, 0x6.e96782e3bacfp+840
+0xa.a4362636c1f5p-1048, 0x6.413a2dca2e034p-488
+0x2.6c8d95ffa492cp+324, 0x7.bae5c23b589p-336
+0x1.64dc38f761fap+628, 0x6.0dc8eabe0938cp+564
+0x1.7ee4b301a8002p-476, 0x3.24921ef5419f4p-572
+0x1.7bc129dd6efc2p+144, 0x1.09371dceb369ep-336
+0xc.11c0516c1738p+916, 0xc.4ffde18fb84cp-680
+0x2.66e67bbbe01ecp+660, 0x2.4937b1de7b71ap+500
+0xf.82ba09a38e418p+796, 0x2.7a7450f4bc2bcp-756
+0x4.9740dd4aa7848p-128, 0x5.f8700b2b49f4p-492
+0x1.91984fb0fea5bp-436, 0x2.68668e5643bdp+696
+0x3.c33d070cfa60cp-120, 0x1.e1f8cae8de11dp+380
+0x5.7b902827b714p-420, 0x1.7d4bb2081bb24p-560
+0x8.b72267532875p-44, 0x8.4176a0baf9p+36
+0x1.d10fabe9c9deap-776, 0x4.679a35f3387d8p-224
+0xb.ebe17a1f957a8p-988, 0x5.07b71fe55d2cp-684
+0x5.6d7aba592b68cp+280, 0xb.d72d43e798aep+392
+0x1.4659a9e7c2018p-884, 0x1.6c53ab0decda2p-924
+0x4.a6139c1c9b18cp+436, 0xc.b7e077f90cbcp+240
+0x7.549c041e9f128p-48, 0x4.989b096e8217cp-488
+0x5.e3f4f1436ce78p+928, 0x4.7e719087b4294p+720
+0x8.4c109bca8df3p-676, 0x1.db485c4c6df52p+768
+0x2.e7203c3fc44f6p+1016, 0x4.96e71e2d28afp+680
+0xf.0cfb8eaa550cp-400, 0xc.42c8d7095b438p+248
+0x4.0add4991fa678p-348, 0x1.1bf7717f8a70ap-448
+0x6.9984051334efp+656, 0x1.ccf93bfed74fcp-272
+0x6.1c4e547ea7448p-416, 0x2.f1e0e622f805p+832
+0x1.d28130e0e2ba8p+532, 0x1.f1af55b769352p+400
+0x3.4d366e6b1d0d2p-284, 0x1.93f305f8e1748p-220
+0xf.9dc83412b42ap+252, 0x1.b9cc96d24f8f6p+728
+0x7.9f25b233a349p-1060, 0x6.fe6bfac66d608p+84
+0xb.869e5dc1048dp+688, 0x4.6dbaaaaac1a38p+400
+0x9.80e6fea95636p+912, 0xd.0b2c58fe84fbp+1012
+0x3.fc4641cfd33b4p-308, 0x1.a2c939e0dc69dp+1020
+0x5.6eee6a72a9208p+704, 0x2.8fe8497484468p+648
+0x3.b56ecc4313cfcp+964, 0x2.f743973497184p-328
+0x1.72e3bafd6432ap-128, 0x7.862e2927e375p-76
+0x2.7fdbab81135c4p+804, 0x3.0380bf5de3d3p-1064
+0x2.a919cbb7d4406p-780, 0x1.57278c5a02164p-200
+0x1.a2841d9dd6c36p+864, 0x2.40b450568e868p+192
+0x1.d1ff447462ed9p+704, 0x1.287734cabaf5p+908
+0xe.50a499854669p-36, 0xe.16113a974e5d8p+500
+0x5.e36a6731dae5p-356, 0x1.ac7b7ff80a72p-720
+0x1.400eb401a5744p-932, 0x1.a3a765a5ecb0dp+944
+0x3.fecead10bd7aap-404, 0x4.bb7a8c66e5a38p+488
+0x2.5eb0d73b5472cp+320, 0x1.c0bd9a0b2aef3p+632
+0x1.4a68d446d932cp-568, 0xa.9bb59ae1f67dp-324
+0x2.41b130bf5ea2ep+924, 0x1.14ddbc8ab57c6p+976
+0x3.1f2dd0f293098p+468, 0x7.7d22a52340f18p+720
+0x8.089a6dc1d9bd8p+84, 0x2.93a3adfc03a9cp-360
+0x5.f42077a81305cp+388, 0x3.4d26ff0b0d788p+640
+0x7.760d4e3473d98p-592, 0x2.ca922fc58e644p-1016
+0x1.144c4c97f8116p-764, 0x1.cc2dc6d47a63ep-596
+0xc.9cf16b7d5bb7p+104, 0x7.15ba644ebbba4p+656
+0x3.b259f33fbfa2p-56, 0x2.3a88166b38d1cp-732
+0x1.3874fa207e618p-1044, 0x1.01bd7d6e5157p-180
+0x4.e0e18d640826p-296, 0x3.a5d4b0c2a543p+184
+0x5.d64aa5979956p+456, 0x1.de3346e7e12d6p+280
+0x4.b11b826129748p-700, 0x4.7ca8e4d541abcp-700
+0xe.747e5c8c48e5p+496, 0x3.2e3870826209p-288
+0x1.da1fc4468e206p-420, 0x1.c0b794a423c0dp+64
+0x2.93a228def5274p+384, 0x8.9e2392564d23p+1004
+0x6.885977457021p+820, 0x2.e6d472908a1e8p-608
+0x2.294a0ae86cb1ep-612, 0x7.60d840b08c648p-472
+0x7.8795ad25fe428p-840, 0x1.e5019f5f617bap-992
+0x5.ee48452d87168p-616, 0x1.1512d1303c50cp+12
+0x6.f32041a900488p+392, 0x9.318469fbbc71p-464
+0x7.991cce573e9f4p+28, 0x9.e13667e145898p+596
+0x1.12844254e372ep+12, 0x1.77c6b97f585ddp+808
+0x2.445306fdcd81cp-808, 0xc.21a9f51bd368p-1024
+0xe.d39ec7af267fp-908, 0x1.dd4d21c9f6491p+328
+0x4.57a2c47b1d4ep-632, 0xb.38d83d9bf6028p+876
+0xe.ce00e28a67fe8p-336, 0x7.22aff1e8df1fp+112
+0x4.36eb1220b4f8p+256, 0x7.3f1c13461e438p+88
+0x3.a42e006f19c4p-580, 0x3.69cacaee59b2p-240
+0x7.ead41e3b9bb9cp-936, 0xd.62561acca511p+348
+0x3.7724321a8dd28p+436, 0x5.527b6ad943138p-112
+0x1.f32d87bc72e63p-756, 0x5.1e33d73ea14acp-700
+0x4.0f12d1a0bfa7cp+968, 0x5.878d52bcdaea8p-284
+0x2.efb04b65dee26p+124, 0xf.f04d459858228p-516
+0x5.4f336dc2d3d1p+112, 0x6.6eca0075b9d8p-336
+0x8.4c397d597576p-916, 0x1.b0f1b2c7c6e78p+528
+0x1.6267710f2a244p+4, 0xd.a7204563b052p-496
+0x5.20be4b42e90dcp-1016, 0x1.bb5d82daa9e21p+452
+0x1.f86acaa184a54p+972, 0x1.9b0b586486cf5p+148
+0x1.5f76f7af414f2p+96, 0x1.7ce2a37a333e9p+548
+0x1.c45f46e92334fp+996, 0xa.e30448fba792p+496
+0x6.22e02f952fb5p+784, 0x4.e34c2787e1e1p+848
+0x2.ca8c84a7183dp-716, 0x8.d001caa07f12p-1056
+0x2.0bcdc44ce882cp+132, 0x7.71b224797dba8p-724
+0x1.69d92e9ae3d02p+344, 0xd.55018c3fc39ep+516
+0x1.af281bf6b32b2p+572, 0xb.7e341156e617p+392
+0xa.933b3d4ed762p-280, 0x2.988c7e6ffa784p+512
+0x4.aabc2b7dc1a4p+880, 0xd.10eeccabbe478p-1064
+0x3.55362662b0822p+636, 0x2.eb5407d01a76ep+640
+0x6.7d93f3110ae74p+228, 0x7.d3a224fd8534p-448
+0x4.888a0a062c6acp+668, 0x6.6f56b65b96dfp-256
+0x9.14e63ae74bf4p+324, 0x6.52d9e926f0b78p+536
+0x5.9dfe5df6b8738p+452, 0x2.941ea7ce1a19ap+960
+0xc.fba00009464b8p+776, 0xc.e320e178f47ap-772
+0x7.235873c5fa28cp-52, 0x7.249c3250f91e8p-204
+0xc.1125b4bed8418p-612, 0x1.7ef2ac2f367dfp+100
+0x1.6b2d8d0162df3p+376, 0x2.e8331afa1f6a4p+784
+0x8.e2054988b942p+724, 0xc.276a8b4db454p-824
+0x1.303924f2d614fp+532, 0x1.cdfd68ddf63bbp+8
+0x6.476ac01a34128p-748, 0x2.d1631b04acc38p+856
+0x6.254ae3c698bf8p-904, 0x3.0f4bccaa717a8p-1056
+0x2.783acb329a718p-1064, 0x1.5fde8317e355cp+596
+0xd.3150da1a78e58p+684, 0x1.8f9627f5854f7p-1000
+0x3.94e8a189ed3ecp+232, 0x1.aa98b429bde2p-644
+0x9.8ab6c4711f46p-92, 0xa.83186f99d8dep+356
+0xd.cba22764d7fdp-692, 0x1.260d8c3941abp-764
+0x7.aab8d18d67c18p-628, 0xc.65fe0867c7ee8p+476
+0x3.67f98823b7cb4p-136, 0x3.60b1123ced952p-952
+0x2.29dae0ac6a94cp-908, 0x7.960e82b2a64d8p-600
+0x1.0dfcd104cf31ap+348, 0x3.d17aee3c390eep+480
+0xf.b050d1454144p+1004, 0x3.012f752f58464p-388
+0x5.70fd809e7e73p+584, 0x3.c6c6bf6ec8604p-204
+0x3.01ad750c96b96p+556, 0xc.c60d6d811caap-496
+0xd.de9ab38c5303p+116, 0x1.507dbd680ea73p-252
+0x3.70dd7ba8b1db6p+68, 0x3.437a923cfaedp-104
+0x4.9ec194802a7c8p+420, 0x2.f68328d13e53cp-728
+0x1.9ea423b87e115p+236, 0xc.378aed07569b8p-748
+0x4.0916ff61f6bd8p+392, 0x9.f75ed97e674ep+704
+0x3.fc2a6456727eap+344, 0x3.cbd6afeffe662p+532
+0xc.4d46ebe45b678p+236, 0xc.4b5701a3a1d7p-784
+0xd.57862d1054cfp+608, 0x1.fc5ead28d616cp+580
+0x1.f9249b1ec9fdep+776, 0xd.907f7b3836848p+400
+0x2.f812202a7d214p+964, 0x1.f8c1ac3bf6e66p+656
+0xe.98ef5b3b29fcp+4, 0x3.7ef8ba287056p-312
+0x7.b564a267ffeap+360, 0x5.5528d072e5984p-236
+0x2.4fbc555a46464p-464, 0xd.441b7ec86c96p-700
+0x3.ed0da23eda51cp+236, 0x1.4b7765597a086p+224
+0xf.e98f56a7364fp-212, 0xb.ee672898f7988p-352
+0xb.a2b6b5979cd7p-280, 0x4.974214fa5fb38p-8
+0x1.ae3abd8edad9ap+732, 0x5.9e56016418eb4p+752
+0x3.2afcb9f631d2cp+484, 0x2.122e2f2bed14p-212
+0x4.042e590ea31p-820, 0x5.bf8ad4f229ad8p-852
+0x2.423d9cdf3e338p-228, 0x3.df9a729e942a4p-736
+0xa.d143ce93c6318p+68, 0x1.9e4cc7a88abep+60
+0x3.8c3df5da8dea8p-500, 0x3.047662add01ap-352
+0x5.2f936b883b7f8p+668, 0x3.5ff3f0ca10bbp+364
+0x3.8e839fdd3a63cp+932, 0x2.e5c226a64fcc8p-120
+0x3.38d5c9df34f8ap+424, 0x4.d5af3efd87498p-776
+0x1.fc3378f8fe934p+320, 0x1.459bf6c2d0e86p+736
+0xd.ea4164021784p-568, 0x9.e9554e257e748p-832
+0x1.70f62b1865e8ep-240, 0x3.6aebd9ebd4104p-144
+0x7.880178e774ccp-420, 0x3.cfd6ea5c450cp-500
+0x1.b34494c9d378cp+552, 0xe.fba1acb258b7p-268
+0x7.4a572dea73128p+76, 0xe.b9651f2ca523p-820
+0xa.bde669d6f036p-768, 0x2.dc32c0b3cc2bp+940
+0x1.a58028c6a4a84p+56, 0x2.9cfc58ae238ap+124
+0x1.49e0adaa1c834p+896, 0x1.d52120ff4bd76p+528
+0xb.4a847f5caaf3p+260, 0xa.151ca10323758p-772
+0x2.38904d3899358p+240, 0xc.4c604e47ba87p+108
+0x6.9cf8703cfdeb8p+616, 0xe.04e292f79c66p-968
+0x7.cf9245ec208a4p+376, 0x1.8e178b17c3b44p-208
+0xf.6f8e9ae21d84p-572, 0x1.848657e4f328cp+516
+0x9.f1ecb8a17a57p+952, 0x2.ddcbcf33186d8p+788
+0x3.cfb9b3eeace9p-936, 0x1.27f0fafea1e0ap-772
+0xc.9386c9bb19b4p+632, 0x1.e980fc563b614p+944
+0x3.ffdf267ced49p-904, 0x3.c12fc6be69898p-260
+0x1.893fa843411ffp-964, 0x1.e0b4945036246p-1028
+0xa.94814f8b7e4cp+780, 0x3.37952be2825e6p-184
+0xa.2b9407aca2488p+624, 0xe.1003b47dedba8p-324
+0x1.1c48ed95a8618p+440, 0x9.64e7fcdf1374p-508
+0x6.9fec47ac9329p+492, 0x3.86e2498d9976cp+660
+0xe.ca39aabbbd2ep-292, 0x3.0316c296b1fcp-704
+0x6.c9bdc0cb8f118p-880, 0x2.9acbc4f9144a2p-968
+0x7.886bdcea2735cp+996, 0x2.a43b625914c34p+876
+0x6.36425676ba89p-716, 0xd.de514256bce4p-976
+0x1.c7320eb01e55ap+620, 0x3.09e6ea4a626cp+620
+0xa.f2fbd8a35787p+1016, 0x3.1efb7da0aa278p-848
+0x2.a9f0acfb2716ep+324, 0x8.cc5a12dec07fp+196
+0x5.4f2d0a6a9699p+296, 0x2.d0fdd188fdc24p+32
+0x1.41a482c422228p-356, 0x9.b97e0b87f628p+832
+0x1.79e4ff7ab4b02p+464, 0x1.2ba38059848ccp+108
+0xd.f501aac49b378p-744, 0x3.eda919909732p-56
+0xc.a481a97d8e3ep-244, 0x1.202393135134p-892
+0x6.b4565c2ea5d6p-268, 0x2.613b4f04adb24p+1004
+0xf.94ad384c6f33p+592, 0x1.5022e1b9d1d78p-772
+0x6.ad138a3c67894p+148, 0x5.92aa0b9762cfcp-328
+0x9.13cad8e27c35p-704, 0x8.ea03cc66ff328p+112
+0x6.aa54a5e58f374p+724, 0x1.2ad5539936655p+120
+0x4.94f4f78604194p+580, 0x2.8037db175604p-1040
+0x2.ae3880da2f2d4p+916, 0x3.210a5e686ee6ap-724
+0x6.f37f70d2cdf98p-528, 0x6.580f72d4c275cp+132
+0x1.4cf3f765c94p+1008, 0x1.ccfd8431f7d6dp-404
+0x5.07f34c977ba54p-152, 0x1.580c4908303cbp+260
+0x1.b1cd829f03558p-416, 0x1.3aee6629428ap+852
+0x6.37dbc75598c44p-860, 0x2.24f1736691a84p-376
+0x3.e75f0c85f23p+76, 0x1.ba253190713bcp+508
+0x1.bb646e909df64p+916, 0x6.518e98c5b3bcp+292
+0x1.ddd0cc6dc8184p+756, 0x7.feccb6b1a4c9p+360
+0xb.bf7a30070093p-516, 0x1.fd70bf9d7d57cp-904
+0x2.19f76df72475p-824, 0x7.1b71f331fa254p+760
+0x1.e6c2ed52ef49dp-784, 0x2.ca1b9bb27c912p-640
+0x1.bc79578223e9ep-360, 0x2.5eae3b220b0a6p-84
+0x6.a2c20a9ecf0b8p+524, 0x1.8777fa657f76p+980
+0x1.677c61fc6c51ap+512, 0x2.f6c788c97a764p-124
+0x1.ed0dce824273p+716, 0xc.c39063372cd78p+356
+0x1.0d2c9d82cae2ap-20, 0x2.c186aa73491a4p-292
+0x3.66731605a0d94p+28, 0x3.00f53ecacd0d8p-548
+0x7.92f162d7a2168p+228, 0xe.dcbd47619d71p+252
+0x1.7f6ad058ad128p-384, 0x8.685fff6a08d2p-372
+0x1.7b5e066be63p-216, 0xb.1c77bc44e6ddp-520
+0x1.beddcfb66e505p+4, 0x9.a3e4ef20bd99p+432
+0x1.cff84615837e6p+164, 0x3.d86e03768e99ep+484
+0x2.a300f0a220876p-168, 0x3.d18a46be621bp+332
+0x4.cea8cf37d3e14p-540, 0x2.2958caddb5a26p-960
+0x1.a1af93dfda061p+492, 0x2.504ec42a8c632p-124
+0xd.6410044e62628p-364, 0x1.221b63030b9aep+520
+0x1.6dd360537b632p+380, 0x1.41c25d53ce21ep+960
+0xd.b4eca36b85fdp+776, 0x1.206ac295f3ffdp-916
+0x6.5fff39bd8a5f4p+832, 0xa.99cb17b0efa5p+252
+0x3.cae4280ab193p+804, 0x2.2f49deb7628e2p+848
+0x1.64f73bafb181cp-1020, 0x1.2674451e1c4fap+48
+0x3.e7233e3fa31d6p+360, 0x1.7959d82b209c2p-328
+0x5.219a3b891f3f8p-60, 0x1.20618bc5365cdp-232
+0x5.354bea852f2dp+388, 0x1.414d60faa5f58p-604
+0x9.af26751352878p-648, 0x3.38ee7be445584p+636
+0x1.5504b938b4402p+224, 0xe.a17ad9d3b6a7p-20
+0x3.9d5c2c20ce666p+816, 0x1.f267437fd89fap-180
+0x2.95936ff763526p+416, 0x5.9015efbe9ce9p+136
+0x2.299bd7e0833e6p-472, 0x7.b9843f2b061e4p+620
+0x4.7f041d77b4324p+152, 0x9.671fd6c19e8bp-4
+0x6.0382bb7a5d2p+940, 0x7.6db9fe2f80738p+272
+0x1.ea02acee90874p-500, 0x1.014d46d4e97b1p-1044
+0x2.b86a38667367cp-948, 0x3.94935f2201274p-524
+0xa.d2f1c7e3559d8p-28, 0x1.7896787392224p-228
+0x3.d3835d73a43p+496, 0x5.975ff8e13f074p+380
+0x1.cf7599398d70bp-1036, 0x1.628c9ddb3d55p+644
+0x6.fb89afca7031p-876, 0xd.94d6918988ccp-812
+0x1.6bfb5be076218p-1064, 0x8.e9d6f9b726e48p-132
+0x5.a0a08b1099dbp+160, 0x4.57a27e437a0a8p-564
+0x5.6931b7f5110ep-212, 0x7.a224d6b54d5f8p-192
+0x1.72754feea8bep-64, 0xe.bfffea109b02p+128
+0x6.61d2b160bd818p-56, 0xb.0da6fe74da36p+960
+0x5.32074a9c86e78p+476, 0x3.f9844e949b95ap-108
+0x1.4906ec04b2fc6p-808, 0x7.ce269d2636184p+872
+0xe.f4140c66ffbcp-820, 0x1.22c64a837f3edp+248
+0x7.a7f929eb50448p-228, 0x1.c99a67873cce7p-16
+0x7.297762f36b398p+872, 0x1.f6ed9c583f814p-336
+0x9.52ab590c2c38p+248, 0xb.ee3f87f6b6178p+108
+0x7.c536741353d38p-864, 0xc.44c6d0b9bbb9p-164
+0x1.07716b6aa5c96p+564, 0x1.8c8cf22b47d4ap-484
+0x1.f152d451e56dep-36, 0x3.3c0845963a8b2p-496
+0x1.cb8a3898f379ap+916, 0x5.908c0b441371p+852
+0xa.18274a2c72ff8p+32, 0x2.b5c87f54c803p+984
+0x6.8948c4377366p-292, 0x2.69c062ad7a6f6p-120
+0x5.cebc236669a0cp+168, 0x6.5caaba79aa828p+1008
+0x2.3f9ef1486826cp+312, 0x3.35a00a65a1494p+692
+0x9.a97366835e01p+156, 0x7.82617650e4a3p-452
+0x1.5eca88945266ep-804, 0x7.8b215f972bdap+180
+0x3.a99391d3573b8p+504, 0xd.ef87187325a08p-212
+0xe.324861dd76478p-416, 0x1.e1b471f00c424p-288
+0x3.365a94911637cp+992, 0x2.cb6409abe9e6ep-664
+0x7.a9c0be22c416p-668, 0xe.59a8d3e160c6p-188
+0x5.3f5c088685bb8p-532, 0x4.70cee0b0f284cp+1012
+0x5.d16c1882a332cp+640, 0xf.1460cc6d0e3ap-460
+0x1.6e3bf9968f9afp-484, 0x6.6267c4b5801fcp-520
+0xf.d5ef05945adp+892, 0x1.037407a24f012p-1072
+0x2.16a6da54723d4p+356, 0x1.b3d97ec4c0454p-992
+0xd.5321f2e34663p+80, 0x6.8447d17938f4p-720
+0x3.a71a1b142eecp-744, 0x1.e6accbf8896f2p+348
+0x1.657613a154639p+332, 0x2.7416e5dd59d24p-396
+0x3.07dcc0499153p+84, 0x4.721c4dd1045b8p-1032
+0x6.52aebfa673dc8p+668, 0x5.678f4cf978a5p+144
+0x4.c83fb95464168p+932, 0x6.f7c34fb6e219p+740
+0x2.65b1bc1226f0cp+228, 0x8.0c2a0eed9e3fp+344
+0x1.6bea77f703bb1p+800, 0xd.d0f47f24b366p-664
+0x1.5b83c5c8a9434p+248, 0x2.61c8f5c29c8d4p-884
+0xa.dd232b25f4c9p+540, 0x9.5cc98c5aad2p+144
+0xa.32fadfe3a77fp+272, 0x7.03b19901e1668p+948
+0x6.8bfce4b207c2p+356, 0x2.a4bba3dfbd808p-216
+0xf.860d537e09adp+76, 0x1.752be6cab8a8ap-192
+0x7.ed8f7155cb3p-176, 0xc.c5fdd82f7495p-132
+0x1.69ebaf0e3aa56p+528, 0xe.5c469c44375b8p-1024
+0x7.d889515eaed44p-488, 0xd.0e0708fdb1ce8p-688
+0xf.6666c05a3bf4p-696, 0x8.a0529f56d498p+408
+0x5.ddb5d0449117p-1016, 0xf.1ae6cd163636p+80
+0xb.49702498a767p-536, 0x5.f3bdd318bd2b8p+876
+0x7.af243c77859c8p+596, 0x3.9986e4dfb3a54p+60
+0x1.b10eb26c92e2ep+420, 0x2.75002fa180ce4p-372
+0xb.bac2a08b337dp-580, 0x1.6456fe2bd6bc8p+436
+0x6.cdbde83d7d9dp+440, 0x3.227fba2b18984p+716
+0x4.7d1795207ba3p-876, 0xd.fb3ae6a6d974p+716
+0x7.2db71fd9639d8p+208, 0xb.9541a1776cf7p+772
+0x4.9b7ffb1b837ap+240, 0xe.d915034122038p+972
+0x1.f6c429f506438p-312, 0x1.05262713a7116p+456
+0x2.01a33f8183e68p-756, 0x7.9c7104b3433e8p+680
+0x1.3f56db3ef28b9p+548, 0x1.0c9d8cab221aap-324
+0x1.2ca76c29edb24p+160, 0x2.6523f66254954p+248
+0x3.c8a04b8a5a3b2p-208, 0xf.6de4e8795cedp-360
+0x2.be8ccb6413c48p+116, 0x5.a311cf7df50b8p-516
+0x6.af871d1a5ec1p+580, 0x4.e66c9fac1b9ep+668
+0x1.688223cc38b04p-440, 0x7.d6185a14b5a3p+32
+0x5.ababb43ed82e8p+1000, 0x2.bca071f5399c6p-672
+0x9.bf3e2ba5c166p+716, 0x1.1595532b99bbp+560
+0x4.684440250497p+224, 0x3.0085801faa94p+460
+0xf.e01ebf790931p-156, 0x2.61e85d2ef07fp-444
+0x2.96a474a22352cp+124, 0x3.8822c884b3586p+424
+0x1.5c75dbb9d0c9cp-1020, 0x1.41d8cf85de5cep+668
+0x3.e7e636789098cp+316, 0xd.f82f221b2dcfp+924