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

diff --git a/benchtests/lgamma-inputs b/benchtests/lgamma-inputs
new file mode 100644
index 0000000000..bb40a98ab5
--- /dev/null
+++ b/benchtests/lgamma-inputs
@@ -0,0 +1,1004 @@
+## args: double
+## ret: double
+## includes: math.h
+# Random inputs x*2^e where x is random in [1/2,1] and e in [-1073,1024]
+0x3.f07848eb92f18p-448
+0x1.f4e611196fa5cp+44
+0x8.9391d6cfb9bep-436
+0x1.5ff097ba499d6p+204
+0x6.e4efbee3e0f38p+20
+0x3.1a9ad6322ffa2p-388
+0x3.de9f708d0c96cp-380
+0x1.4ea5100f98b32p+596
+0x1.61d346827fep-408
+0x2.b440cfdd23f9p+424
+0x7.6486aab0853ep+796
+0x1.5cc87f56fd77ep+252
+0x1.2bed62d395c7ep+68
+0x5.65a404cac6dc8p-116
+0x3.f06324a5b82ap-460
+0xf.c77c49313a4p-1040
+0x2.c4035a4976e3cp+972
+0x3.878567c19bcf4p-392
+0x1.5e9ed52d690a2p+372
+0xf.4c7617644ef4p+716
+0x1.50993662f09e9p-328
+0x5.f74abc6baa9ecp-928
+0x2.f0a27f8543aa8p+588
+0x3.ef796966c739cp-28
+0x2.b92587dc4a106p+676
+0x1.cf4501ee7405p-528
+0xd.cd1d2e2fa1bbp+476
+0xe.1150f430fe1ap+600
+0x1.6c39eb722fc8p-828
+0x2.27c6fb513c006p-1028
+0x1.32f82a04389f9p-1044
+0x4.1b746aebca14p+820
+0x1.f8b198ea8855p+940
+0xa.ac6a31a2eaf58p-780
+0x1.9f1c4e6c12bdep+536
+0xe.58a94a624961p-608
+0x3.de5da3b105842p-896
+0x6.13d35586537e4p+364
+0x7.1fd6a8bbc5c28p-228
+0x5.b4fb8c869693p+84
+0x1.26b0821fa9bb9p+580
+0xa.9c22d06f14a9p-220
+0x2.027bc9e51900cp-604
+0x3.98c55900534b6p-1056
+0x4.c7ee1708ccc18p-896
+0x2.038e30fdbe48cp+56
+0xd.0d27461d0d04p+880
+0x6.d387ed2585e0cp+392
+0x1.a1ae6b1190b39p+792
+0x4.60ac21e1ef468p+544
+0x3.7ee1f0acdcc9p+760
+0x1.154ecd26637fep+504
+0x3.35b3a3881274cp+600
+0x1.bac5c8e572c69p-408
+0x2.07446e3159d34p+444
+0x1.080991016539ep-932
+0x3.dee8184e6465cp+524
+0x3.4a93a769915p+1000
+0x3.bf0883e552edep-680
+0x5.f95b4ceedf238p-348
+0x7.d4b5c776d90acp+752
+0xf.f6a01eec24dep-380
+0x7.543b3fa155978p-36
+0x1.f15fd646807ccp+108
+0xd.5411f8c0faeap-660
+0x4.b8780bb3047ap-152
+0x3.e6295613f3f14p+176
+0x1.cb4c4729d7757p+764
+0x3.e59180957ba68p-512
+0x4.86e9eb639a5ap+832
+0x3.67d240673483cp-552
+0x3.84ae75ce90bep-952
+0x2.d3fe7a2b92fdap-560
+0x1.601b9e6a01ceep+332
+0x1.1eaba861fd5fp+472
+0x2.b1cd927d1b1dcp+872
+0x7.d09b8108fedccp-1032
+0xf.552a23e5667bp+444
+0x4.c52c26aa63548p-712
+0x5.a2ec225b314bcp-236
+0xa.d92e57a8c967p+932
+0x1.e4b18b02c80bap+252
+0x2.941f66409a38cp+196
+0x3.305f78dcb0aeap+968
+0x3.d74e344d6b2ap+980
+0x1.37d13ed5344a1p-944
+0x8.53b446e8ff64p-280
+0x2.5c4a6739f443p-20
+0x8.a56f2537cff2p-300
+0x4.80b54ef5a9d9p-752
+0x1.369ad5f9e957bp-368
+0xb.0175e1499cf68p-716
+0x2.edbff5d742044p+188
+0x3.44d1620115728p+800
+0x8.df45b51f7f188p+104
+0x2.900032c339ce4p-88
+0x1.77b119e7a6448p-388
+0x3.10f8b3d89dc6cp+16
+0x2.d661b332ea9bcp-900
+0x1.f51dc34d6112cp-276
+0x1.6729f65e5b83ap-468
+0xa.2704892e7bb4p-1016
+0x1.2936854f6e29ap-256
+0xc.46eb59747bb98p+996
+0x5.eb1529915c988p-820
+0xe.febc2cd205cp-332
+0x3.e4455d43cc92p-284
+0x2.2ca5663979a6ap-356
+0xe.a81e31dd4c3bp-956
+0x5.aa83c2bebb1ap-200
+0x1.b33bd229ef2dcp-596
+0xa.f9b558cfd3918p-64
+0x1.97c455923c468p-164
+0x1.4519950375615p+664
+0x1.3ea0ffb33fee5p-760
+0x1.0a8bb63ec0528p+184
+0x1.42d57dcf4c8f1p-24
+0x1.54cfa67a149e1p-708
+0x1.c77e48ec55a22p-956
+0x2.5cea836f97d94p-1040
+0x6.73bf94dfbe0d8p+668
+0x1.66541f9f74f0cp-116
+0x1.5a8296d335114p+624
+0x3.c1de337385308p+936
+0x7.c023bc728273p-880
+0x2.5dbed35b0b5e4p-832
+0x1.3941358c8f52ap+512
+0xa.f22d1529d9c7p-140
+0x1.33e8614d0e29p+72
+0x1.7074f32c6cb3ep+640
+0xe.22a8f8f5ea11p-468
+0x1.fd16b1da326d9p-228
+0x5.c7d7c3b2ba9f8p-128
+0x3.60a367453e7cp-796
+0x3.a406cc2ca4ea4p-504
+0x6.b0e30cc3e7018p-100
+0x6.006223fb865ap+32
+0x3.3af700035d4f4p+708
+0x3.a06f56073ddbcp-816
+0x4.86bd7afe7c9b8p+140
+0x8.1c14d44009dp+152
+0xf.ddec2b181173p+104
+0x7.dcf874d58d6dp+292
+0x1.3dc99c01d953dp-1052
+0x2.323068d203c3ap-480
+0x1.2edf06386eda9p+712
+0xd.83e328e649128p+496
+0x4.4b8d8b0f12804p-188
+0x2.287d6582b49d4p+628
+0xc.a826dd8884f2p-148
+0x9.28dec46989e2p-268
+0x1.e56d016a41872p+916
+0xd.2fb5b3ddca13p+120
+0x4.664d974656aa8p-72
+0x3.068b502a9f61p-28
+0x5.bd133a4e9e778p+668
+0x5.afc86a83365b8p-748
+0x2.703140d591674p+532
+0x1.ac6f103f827dap-660
+0xf.2b41399853fap+584
+0x1.2df5b75058102p-44
+0xc.580d58a188a88p+508
+0xe.166edccfe7a1p+1008
+0x4.db530f80e3328p+48
+0x1.b770e4a7ecbdp+236
+0x1.70a8ea37c2c8ep-756
+0x3.8b7f7aa09bc12p-184
+0x2.b4b57bdfe56c2p-588
+0xf.d1cbac0daae7p-972
+0x1.01f6d23464fdbp+396
+0x1.a4932dde106ap-856
+0x9.20f5cd4dfea08p+616
+0x6.24f8c4bcfd2ep+444
+0x1.e549b2b8d0f2ap-116
+0x1.3262a15ae5368p+568
+0xf.ba2740dbf379p-920
+0x1.1059a638de8e6p+428
+0x2.bfbedec08a98ap-60
+0xf.76802810369p+252
+0xe.fc007056aa2fp-320
+0x1.19e98e65254acp+528
+0x2.af81716a90a14p-540
+0x4.31d3a43e34028p+436
+0x5.261d7287738c8p+820
+0xf.f8d25083b54bp-308
+0x9.d79313baaef58p-600
+0xa.7fcd03b8aa3ap+712
+0x8.7644f85f84348p+860
+0x1.0565079af168p-1052
+0x1.2a5e4e8fbde6ap-96
+0x2.e364ed22e156ep+376
+0x2.41eb69619d836p-128
+0xc.4f7c682bee8ap+120
+0x6.4df74b346cff8p-324
+0x7.09b253755452cp+492
+0x5.daa577765e5ep+588
+0x8.e93db09d02a3p-768
+0xd.f2b08030efd4p+256
+0x2.04ed23491e184p-364
+0x1.1930861e01018p-96
+0x1.65592e41c0ceap+600
+0x1.f2df7da9e6eep+916
+0x1.37eea8b39a9c6p+20
+0x9.3c58d2ad9eb1p-372
+0xa.59134b7afa838p-652
+0x1.cb9861a2441a6p+356
+0xe.b556da8768b4p+988
+0x1.18cbaf270c838p-844
+0x8.b40fc087985bp-96
+0x1.b5c26eee96b92p+696
+0x3.003fdf6c148d8p+916
+0x4.7885fb0ebfa54p+204
+0x5.5460324e359ccp+720
+0x3.32b1fde0d3ep+228
+0x3.56e8d9c01f49p-820
+0x1.17e8f7c17f0f7p-56
+0x7.a485b6db5f2e4p+584
+0xe.a9249a32588ep-64
+0x1.d64e7059c270ap-276
+0x1.2d31011da9b88p+356
+0x1.90b35ef3dde93p-700
+0x2.e8d1da498dd84p+984
+0x3.890a6efaa5ee8p-96
+0x4.ae88f040b12cp+924
+0x4.05ff1825da82p-516
+0x7.a81e0f81078c8p+564
+0x3.ac3aa305e1fdcp-468
+0xe.eaf415fe4bcfp+732
+0x5.c3bf47c2676e8p-312
+0x2.ca18c5bcd7c84p-956
+0x7.edb8fd324102p-676
+0x8.527c9e4c7e76p+828
+0x2.e5ecea07b5be4p+256
+0x1.764d7ac77f70ap-852
+0x3.d564dd0df75p+960
+0xb.8e5eef5196b5p-836
+0x6.f1b549e8101p+540
+0x5.9913b11e69edp-832
+0x6.abd6341a143ap-1024
+0xf.a9ef991dfe6f8p+888
+0x2.d33a53ee4c474p+320
+0x1.c90205364eafcp+104
+0x8.027c02e59a758p+964
+0x9.107513cee34f8p-556
+0x9.57f497d2b1408p+836
+0x5.255f5e3b4f12p-72
+0xc.d7baa7eb1ef9p-700
+0x3.0538c289e553cp-1064
+0x3.d0434d38a83f2p+380
+0x6.c1c1919548e08p-544
+0x2.44a4d83615868p+792
+0x3.a63b547ad560ep+1012
+0x2.c5697165862e4p+88
+0x1.1415d407aca24p+492
+0x3.d82e8b552ae82p-880
+0x3.690cfcdf647c8p-128
+0xe.70ff5753461fp-624
+0x1.c7b5ec5e768b7p-260
+0x1.bb512beec3255p+64
+0x1.27f36cfcf3fccp-1048
+0x1.7ff5f9559383ep-948
+0x2.76e3753252944p+264
+0xd.96486b52dd5bp-120
+0x1.79ae91fc2191bp-396
+0xf.b13e70e61545p-248
+0x1.d239cb4e72029p-708
+0x7.44a327ac0416p-76
+0x2.0c612f877c00ep+32
+0x2.8f64a03f756p+160
+0xa.84cf6194b833p+892
+0x5.9fa0ed0b4bfbp+988
+0xa.7eb0890f7061p+416
+0x4.420a2a6e898fcp+608
+0x4.522b6d0f559d8p+920
+0x1.7d6d436d06067p+824
+0xd.8dce64fb67aap-380
+0xc.4a80cf3dfb668p-692
+0x2.a44f23a9cfc26p-788
+0x2.98c1c422ef578p-36
+0x1.e3dda5f8fbbd6p+88
+0x2.b0107398c7d8p-916
+0xd.79d808854a19p-736
+0x7.f48cf8a0a48d8p-900
+0x6.11c73f1fee418p-812
+0x2.1be1aa1fddc68p-208
+0x2.f29436328c87ep+260
+0x7.857d78a34ddp-92
+0x2.14290c501026ep-272
+0x1.1f3d2129fb319p-860
+0xa.33a70f0bb0cfp+208
+0x1.ef8ce46aec3d8p-304
+0x6.324365161736p+928
+0x7.138d1116f374p-640
+0x4.8d7b0fb8f66dp-688
+0xf.6c7707ff32fep-632
+0x1.1014d37e4272cp-856
+0xf.d4dc0ec8f714p+88
+0x4.4d13a36e7833p-900
+0xe.e6b9738e5272p+248
+0x7.c0af407c3c66p+428
+0x8.4f2ea9f4dd11p+424
+0x1.5797a4c1324fcp-904
+0x2.fd949705d64acp+108
+0x3.ee61a80fdc1cp+696
+0x4.4d39edeea7cc8p+892
+0x1.5665f3ed7427ep-720
+0x1.7b8c452a0a99bp+524
+0x2.ec01cbd55ed5p+152
+0x3.f8cbbf30230e6p+720
+0x9.f04348d0812bp+368
+0x1.36b0ccbae124ep+316
+0x3.6bf84f8479ebcp+480
+0x1.92963f71329bep+224
+0x2.786d8d7ff5648p+400
+0x1.b713c93872eaep-1072
+0x1.2daca97799e1ep+304
+0x1.7d2a71abf018cp-332
+0x4.cadb03767305cp-236
+0x1.bb9a40e30674dp+816
+0x3.c5beeb3f5ab5cp-516
+0x3.e6bd5e908dc4p+852
+0xf.1d826e408cc5p+356
+0xa.b47ff18f78338p+636
+0x1.30ce95dcd74d5p+80
+0x7.4be79c364a1b4p-596
+0x1.53bf82cadb9eep+92
+0x1.bc247a25bb18fp-156
+0x1.94df3af7ccac2p+448
+0x3.88c0e806d3a2p-512
+0x8.3c0386478c96p+748
+0x4.f23b7d4310928p-308
+0x2.3408f91fab8aap-116
+0x3.e346ae92d27a4p-104
+0x5.942f153ff047p-764
+0x2.9039a39def6e8p-712
+0x6.1ecb28a599094p-148
+0x2.70df67173cc64p-568
+0x5.487b79d18bb8p-528
+0xd.d8f74b56cc79p+544
+0xf.c1d5c87406b3p-192
+0xd.c72d43d48524p+832
+0x1.3fa379b3c83b6p+512
+0x5.cdf6041357748p+1020
+0x3.e47bc74f7458p+680
+0xb.d4c97618228c8p-472
+0x2.d1a5af282d2p+212
+0xb.441fe42ed422p-544
+0x1.45607d15bfa4dp+580
+0x6.9fe9078ca575p-588
+0xf.73201c2019dep+800
+0xa.abd2d4101fe18p-456
+0xc.8d41bd8d8db28p+272
+0x1.c6cc3ad6925f8p+824
+0x2.022d966ea65fcp+148
+0x5.323527f9327a8p-288
+0x1.99bc488e9df3cp+532
+0x3.3c677482a7ac8p-292
+0x9.b89de6164c1bp-972
+0x5.9ae5a367e8598p-768
+0x1.bf639707b784ap+124
+0xf.71c9a63d3651p-412
+0x1.0409aa9344ca8p-620
+0x1.3b12becffedecp-464
+0x4.e0982301c3628p+684
+0x1.b10efa4a623c8p+92
+0x1.6c51309f516dp-120
+0x1.95cc4e3cd9e71p+0
+0x2.30ea0544e3348p+948
+0x8.8ba271838db28p+32
+0x4.f7e8435fa2c68p+324
+0x1.053646a0ea7b4p+108
+0x5.b4514461c207p+708
+0x1.c911800c7b1f1p-720
+0xa.c4edbd38b68bp-684
+0x1.5fed5d38d0a78p-276
+0x3.6d1e9b703e0c4p+468
+0xb.95d5f733f51ep-904
+0xa.d4c55ec4a2ab8p-640
+0x1.1eb1a6d29243ep+224
+0x3.bf35f869ff56ep-332
+0x7.930e499bef8bcp+604
+0x1.af07036459eefp+276
+0x4.71baf25868f8p-648
+0x7.fb8fa13d1fccp+896
+0x7.23683210bff7p+804
+0x1.ff6d9642e6bc4p-36
+0x4.c0ef3c408727cp+292
+0x3.606937c0ddcf2p-216
+0x1.6f2e70d111755p+160
+0x1.7eb9a566075f1p-456
+0x1.1394532785472p-812
+0x1.afeb96a32cca8p+492
+0x2.db8bc17f32bccp+752
+0x6.907f144f63c6p-908
+0xa.eae11d31f8588p-948
+0x2.a5a6b156033dcp+4
+0xc.4d6149e30b23p+100
+0x9.e36c02eb901c8p-192
+0x3.89f97b8a34d5p-184
+0x6.df990b0804f4p+592
+0x4.58ee01bf02e48p+672
+0x4.e137f90573b9p-984
+0x3.d8db047d19b6p-256
+0x9.0d379891fa0fp-704
+0x3.36f7907186ea4p+88
+0x1.8b466708333b3p-176
+0x1.a08efb4fdb902p+8
+0x2.e4823098d7ddcp-812
+0x5.d0705dfaa138cp+288
+0x1.a627394a770b6p+200
+0x1.cd961642eb68p-1016
+0x8.b8aeb0f15c0bp-676
+0x5.b704d29f8453cp+408
+0x2.36bd45f92aa18p+740
+0xe.c3d2e7314c1ap+540
+0xa.444d51f79a48p-676
+0x1.64b4c723692f2p+700
+0x6.09ac481f0b83p+856
+0xb.85336de81171p-28
+0x8.438272713c358p-888
+0x1.29e9714d8fd78p+580
+0x6.86741a9cea128p+32
+0x2.3e7688bdfb092p-724
+0x1.85ab7a69cc32ep+68
+0xb.e4b4f7a1469dp-728
+0x2.ab56bc6aa748ap-1000
+0x2.f5b7910153344p+816
+0xa.270dabea47efp-64
+0xe.66f5eb2cb65c8p-416
+0x5.44b0396f6215p-612
+0xe.3da1652aaac7p+24
+0x2.c4d313f3176c6p+964
+0x3.a6333ee644338p+912
+0x1.aa520031fc058p+452
+0xa.6e39dab8dcd9p+184
+0x1.feb3d45be7288p+556
+0x6.dbda4390558f8p+704
+0x2.9aca87abefa8p+616
+0x4.a952419be495cp-888
+0x6.440f5eb45b218p-952
+0xe.3b19019aed8fp+292
+0x1.2d9ef867027b4p+100
+0x6.8acbc71bef7d8p+232
+0x1.82a74587c41c2p+928
+0x1.16df7bbf9f811p+472
+0x2.8f1bf4af49c24p-492
+0xa.753b500a6047p-448
+0x5.79d1f4e307148p+892
+0xb.46c5d265f7d98p-88
+0x8.b5aee04751a6p+332
+0x8.45b3ef54aac3p+8
+0xb.88f4838dee908p+944
+0x2.8dd460fc42edep+964
+0x4.08b0fcb9d3a5cp-644
+0x7.5562154e06a4p-408
+0x2.71c741fdc6cd4p-992
+0x4.33034b090958p+480
+0xa.bfd11efc0e49p-316
+0x4.9b685cd66f03cp-212
+0x7.3e20517f0168cp+440
+0xb.c5c993f8f251p-960
+0x1.a7d57632d1fefp+964
+0xa.25ab3f661531p+364
+0x9.f4619ca47b288p+852
+0x3.4d8b1e62061c8p+12
+0x1.1b4016280c074p-396
+0x1.0a0fc80728d24p+76
+0x3.ab5feb225261cp-904
+0x1.5c57b15458c36p+340
+0xa.9205b39cdac7p-640
+0x1.a81ac8004448ep-376
+0x6.bc4ca5b392bcp-548
+0x4.74acc09b3e548p+836
+0x5.732098eee6c24p-852
+0x5.37d3e2dd6c05cp+60
+0x8.543505e85a478p-576
+0x8.a2267fa733bf8p+548
+0x2.c84009b5feefcp-532
+0x3.6900c23296dc4p-952
+0x1.692538d4349dbp+196
+0x7.3731b9724ed1p+196
+0x2.b918bc9145f78p+940
+0x2.f56551de0c9c8p-708
+0x1.371b0a035c145p-280
+0x9.77f14adc006dp+12
+0xe.e23de0af97fd8p-92
+0x1.982ade537f43p+20
+0x1.4027d96607b46p-60
+0x2.4f9861fe36f9cp-884
+0x1.1dd013b8dda7p+408
+0x1.1b274ea0d03b8p+608
+0xd.03e0ba97dce8p+888
+0xf.b49d87199e4a8p-1064
+0x6.b24b295f5858p+260
+0xb.7224a0e2bd3ep+892
+0x6.56c81ea8ed868p-448
+0x4.843bc36791544p+780
+0x9.a5b3bc0ff175p-216
+0x3.82f9e0e08c4bcp-100
+0x3.dfd570ad34dep-108
+0x2.db5d8718cabbep-148
+0x3.d037e64ca3c04p-536
+0x2.59903381b0e3p+740
+0x1.499e06ffc9fe8p+800
+0x6.a749d014c4728p+800
+0x9.55e35c23aae48p-492
+0x4.5834a59266ddp-700
+0x2.8108a66f271d4p+472
+0x7.04f5d630a29b8p-784
+0x7.c060b3f23d5f4p-20
+0x1.de43ffe61041p-28
+0x1.bea8c7f177d8ap+784
+0xe.fe41e26a3f7ep+212
+0x1.b299ada676112p+96
+0xf.6047fda1f705p+532
+0x7.da012a9fc7e5p+620
+0xc.002f1714df87p+540
+0x1.707d46296e03p-272
+0x7.3e95cd190ebep+620
+0x3.7c55dc6deb4ccp-956
+0x5.dd0a66dce23dp+44
+0x1.53d7a887a1f38p+356
+0x1.8895096e54c12p-172
+0x1.0d044343fab9ep-296
+0x1.1bb532856a3ecp-776
+0x7.2f4444da43f6p-8
+0xb.c9b206b2591d8p-936
+0x2.873bfd9778d6p-252
+0xe.25ce50272862p-552
+0xa.455cbaa5bf35p+644
+0x9.0e6247eafb63p-952
+0x7.120d885e6c148p-744
+0xb.dfb380584bee8p+28
+0x7.29ebfb5ade1bp-1000
+0x2.36f3d47cfcdb4p-372
+0x3.58c220b01e6b4p+500
+0x5.7d91922bb45b8p-700
+0x3.63bf39617d67ep-124
+0x4.fd6da21dbf73p-492
+0x5.eb36cf3a20654p-164
+0x1.06ce66f07d5e2p+40
+0x3.add8035449dccp+300
+0x6.fa2525b0213cp-616
+0x2.ceff06b69e89p+576
+0xc.8e055571e4218p-940
+0x2.57e2f6adf0f04p+1000
+0x4.6da6c96847fep-968
+0x4.ae8ac79500a58p-624
+0x6.e4370248c54dp-700
+0x1.b3aa573cea268p-212
+0x4.a36fce398737cp-196
+0x1.783f32d0b573ep+200
+0x6.705c97274bba8p-800
+0x3.0ec9ddcd78f02p-772
+0x3.660efbb2cf0e4p-556
+0xc.522304363d1fp-896
+0x1.38697189b5eb6p-640
+0xa.c85fa7bebaa3p+776
+0xc.b5a073d9fc8e8p-112
+0x3.740bc6b3cb0c8p+892
+0x1.0784a80fc950ap-576
+0x1.2a94942b137cap+964
+0x2.be0bdf4045254p+760
+0x3.33a81e403af04p-740
+0x7.ae470235f373p+536
+0x2.af9b524c21568p-500
+0x3.874a292641088p+492
+0x3.15eee57efcbb4p-852
+0x2.ae1e287550654p+512
+0x1.6b0d566adc4c2p+400
+0xe.c075999f06818p-1052
+0x3.ae81cb85f3f8cp+804
+0x7.e1e7350de1c78p+364
+0x1.3b2ce58894af3p-132
+0x1.2f8c956ff187p-24
+0x2.52627f1e61b28p+836
+0xb.24aa5f1c2d0ep+248
+0x3.b9ccf15a7845p+364
+0x3.84b56862f91b4p-632
+0x3.d6da28e55af78p-192
+0x3.00b616d794058p+524
+0x1.223336c29372ep-72
+0x6.0f6aa7e4d47ap-16
+0x2.659a736364b82p-824
+0xe.219be43ec81cp-564
+0x9.2ad4d01ca289p-1052
+0x5.9321ba327c9bp-932
+0x1.4352f3e5bed32p+792
+0x8.d96e15b42338p+328
+0x1.492fa0bc5e42cp-1020
+0x8.d3e2fbce9ed2p-676
+0x3.157f6138cfac4p+892
+0x1.046f16ce6d98cp-56
+0x1.c9dca7152fcdp-136
+0x2.e7a85037e98b2p-776
+0x3.ff310ba58a5a8p+188
+0x3.a052c6b946c28p-580
+0x1.67f382cc15f68p-968
+0x3.885900ca1cb86p+244
+0x8.2a4e5a1bdeb6p+744
+0x4.cf8310b8b5a18p+828
+0x6.5a1a6c9d9a4d4p+192
+0xe.a50d837bbe448p+516
+0x3.b5ae7c6dcb45cp-36
+0xc.a2f14128c54bp-88
+0x1.b63f84ed8f286p+4
+0x2.a85e425b9c9ep-836
+0x8.c5da00ae6b938p+860
+0x5.22b4457cc0a58p-484
+0x1.806c305e56a3dp+992
+0x2.7a7e28de36c22p+484
+0xd.053bb6e66608p-212
+0x3.6aae9d93ad87p-32
+0x3.9dbf7be13280cp+116
+0x7.229e5d20832e8p+456
+0x1.98e614112bfd2p+816
+0x1.761e321e2a06fp+460
+0x4.706a71f20222cp+32
+0x1.2f1dca32574c5p-1052
+0x5.1005184153c1p-728
+0x5.654ebc09776p+320
+0x2.30c161464f816p+972
+0x9.d8b14b3adb598p+508
+0x3.e7c4a2fc2e6bap+972
+0x7.6be2dc174216p+516
+0x1.f59b25b534eaap+860
+0x7.03506011971ap+500
+0x8.bea33cfc8936p+284
+0x3.5adf5221fc3aep-56
+0x6.47380cb86086p+296
+0x1.e8539c1f05cd5p+300
+0x3.d9fecdf575dbcp+644
+0x1.faed1dde4aae4p-472
+0x6.4890d9beca4b8p+988
+0xd.58a8c27f7dd9p-616
+0xe.a868ff1b331ap+436
+0x9.540db7dd2c24p-720
+0x1.06cb66a3a0fe6p-292
+0x5.9b0305d5f2a94p-540
+0x2.4122566dbc494p-704
+0x2.0edfb44c9518p+728
+0x2.d37d33552d15cp-808
+0x1.9dcadfed1fc0cp-952
+0x6.ad1a5a89a79fp+788
+0x9.2e2e27e26dep-100
+0x7.bbd05bac110fp-1040
+0xb.f7a500f6aa58p+164
+0x1.909dab4d5279p-868
+0xc.6571e199f4088p-156
+0x1.23c5700b8dadap+688
+0x2.c405eece55122p+472
+0xc.cf3e50460ca1p+88
+0x7.943838cb26fc4p-652
+0x2.d9423ea3bd89cp+80
+0x1.fb941bde3877fp+308
+0x3.f41be71473d7ep+708
+0xe.0a2ccdcd374ap-660
+0x3.c647652008f28p+8
+0xc.de6e72a2f96a8p+320
+0x5.7130c9e145ap-196
+0x4.93b8046fb6428p-424
+0x3.c2f33aee53584p+500
+0x2.b35476e72e532p-592
+0x1.81a86485ab17ep+704
+0x3.a432dd367c5c8p-48
+0x1.828986f082f6p+88
+0x2.5ffe55382649cp+516
+0x2.bc57a53c32244p+320
+0x1.8db650ec8d0f2p-400
+0x1.957b2a9cc5fb2p+640
+0x7.2552c2c006c5p+852
+0x4.ed8af7a89032cp-864
+0xf.48d6df2b3581p+944
+0xa.717d0387ee58p-48
+0x1.f051551e8ca8cp-620
+0x2.19c091881dff2p-624
+0x2.0ba21067d93e8p+432
+0x1.45a7ee2f79cb2p-588
+0x1.d61d6b0cc6307p+636
+0xa.e8f6c8d3dc86p-284
+0x9.d88d8cb44bbep-464
+0xe.f475bf6b04d3p+232
+0x1.e9b8c13ef204dp-352
+0x2.15aa1fa393058p-824
+0x3.e2aa8e103ee4cp-560
+0x2.59cc829c1c36p-384
+0x1.112b062d1cb23p-572
+0xb.de6e87ba3f02p-752
+0x4.4cb2ad28448c8p-308
+0x5.495ae4c539f9p-432
+0xe.d9581efa1ca08p+300
+0x1.c98312a4b5be6p+820
+0xe.d7d4f52ab63dp-348
+0x1.e6c36f2f37718p-236
+0xe.5bc3c82b8792p+640
+0x3.89287e4ec757cp-944
+0x4.d0ef65e7e9b88p+680
+0x2.81130949c659p+560
+0x3.8a0d7dfb341aap-740
+0x5.3e3c1f0034408p-856
+0x7.a054539ad6498p+112
+0x1.6876bac3e5cebp+108
+0xe.9daed704c984p-88
+0x1.c80332ee1c9fp-60
+0x2.4086b8de9f76cp-924
+0x4.b62f8b8c362e4p-416
+0xa.d468acc236b1p-224
+0x1.cc13a8b199421p+156
+0x2.9fef2335ec276p+112
+0xe.133f28bc2736p-1032
+0xa.9d2520be4d94p+40
+0x1.fe287f8e72c92p+972
+0x7.72507912f411p-216
+0x6.9dc0a85c9368p+448
+0xd.724c57bdc4008p+280
+0x1.d499165c0379p+4
+0x2.599d0f3abd008p+392
+0xd.92d5974a1c578p-292
+0x7.7107dfeb0fb38p+892
+0x3.d64ba7c4c6338p+516
+0x1.3db8008092766p+812
+0x1.b197f2403345cp-196
+0xa.91d8726cfc02p-100
+0x9.5bd92ceb4ac8p-432
+0xa.e0adef43cc0ep+176
+0x1.0e1fc5f7cb4e6p+0
+0x1.8407b6d2506d8p-192
+0x9.917c589eb1e8p+472
+0x1.a1e479733a8d8p-276
+0xf.437d3f176e7ap-48
+0x3.e528950aa29dcp-648
+0x2.a16c3704ff79cp-912
+0x6.08647525c1dp+384
+0x3.44acdd95c7b2cp+992
+0x2.ed36f47e28f5cp-132
+0x1.43bbf479ffa5p-1000
+0x6.00af6c7ecd928p+888
+0x6.79de7dc33e03p+380
+0x1.573d1689b7903p+992
+0x5.4aff5f768dc8p-992
+0xa.1206ff1a0b0fp+172
+0x1.4a23d89e523fep+760
+0x1.89a7a5f9b415ep-136
+0x1.db0768c1771cp-924
+0x9.07628f58eacdp+200
+0xa.708b4a8b1492p-432
+0x4.379d5cfccadf4p-116
+0x6.750dd5a722eb8p-288
+0x3.376b6a1adfd04p+400
+0x6.76a2fc495e1bp-152
+0x3.f6dc4e1610064p-292
+0x6.2cc68cd5b45a4p-968
+0x3.b7025293d67aep+904
+0xd.6bf3163bfbf9p-192
+0x2.96020879ce82cp+4
+0xd.c196c75ac99cp-588
+0x1.6ec74aee50dbp-436
+0x1.ef5bebea5c5fcp+216
+0x3.45a8caee291ap+604
+0x2.76b90c31ba024p-88
+0x8.1489fa7ae00ep-172
+0x1.3d86a0607c3d7p+236
+0x4.feebeb35033c4p-664
+0x2.8cebdf76e2afcp+660
+0x3.13371ce6995f8p-792
+0x2.11c99e0f02c64p-764
+0xf.c44cce809314p+384
+0x3.7a0acb09549b8p+452
+0x6.149c87e670bacp-840
+0x1.36673a08bb77cp-792
+0x2.cec6df0ec044cp-168
+0x2.30ad37e682b96p-432
+0x1.ab93603f40782p-364
+0x1.09f3c9c8b5dcfp-380
+0x1.8d8895f97d6c2p-416
+0x1.16d48a490bfb4p+108
+0xe.864da12d1936p-928
+0x3.1c4f24467fdap-188
+0xa.a33e400de988p+684
+0xe.fb3afca0f8ca8p+528
+0x1.d17a42089098bp-1032
+0x1.e09cb76190454p-80
+0x2.a4a74fab40f1p+504
+0x1.166b5d7983911p+880
+0x5.7fc89bb1c90d4p+740
+0x4.ab52e75bd54fp+708
+0x5.0714b4516f668p-704
+0x1.8cf7c4c22c016p+420
+0x1.5203cd3aa0fddp+12
+0x1.e65c5e021efb5p-844
+0x1.7968421f0dd22p+112
+0x5.6174596f33688p+396
+0x1.947447128d3a1p-220
+0xe.8cda80bd60aep+244
+0x8.93b24e5397fbp-260
+0x1.df25809a4d971p+568
+0x1.311db97abc502p+736
+0x1.f1bbb478b7536p+616
+0xe.a29295be72afp-996
+0x1.36b8741fc036bp-152
+0x3.0778740eecf16p-380
+0x7.ff6c5c64ddbfcp-648
+0x4.f1002f5e53688p-952
+0x6.444f5512f2d3p+912
+0xe.64ca48f3e16cp+464
+0xb.420a1efcfd5p+132
+0x4.66df48626eb58p-496
+0x1.eabfd87b39b04p-152
+0x2.55d88ecfbaba8p+332
+0xf.7f22ce9340cdp-684
+0x4.1249f5d044778p-428
+0xf.c0784d9e6969p+900
+0x2.4866194a65c0cp-20
+0x3.0f73718281a94p+184
+0x1.13e5a990f0b2bp-592
+0x1.9ec293ea49b8fp+456
+0x1.b25ed9a1d54bcp-256
+0xe.ec9edf335a62p+112
+0x3.055ee27241ba6p-868
+0x1.6f3817e06479ap+504
+0x2.9ab0f47e4da84p+756
+0xf.54bf199ed956p-592
+0xf.3c5b5a26e0df8p+1016
+0x5.4c8fbc24ef1b8p-432
+0x2.79cc67f8ac744p-304
+0x1.e44356e17cd31p+308
+0x1.9bf1ceaa4174cp-648
+0x1.89cd41558476ep-248
+0x6.9187dc5dcbaep+100
+0xd.b6e922990fe5p+168
+0x3.1dcc8e1918e38p+780
+0x3.54b45045b4544p-928
+0x3.b9818f157e6bep+140
+0x9.d8ff94d5f9fp-476
+0x8.e4441d103409p-656
+0x4.c9f48df870d08p+100
+0x1.86c606ab209dp+472
+0x1.e313eb299e655p+824
+0x2.f71770e32fb8cp+4
+0x2.a1a9c8ca5c296p+716
+0xd.9735fc2b4e7e8p-808
+0x2.b253b2ad0ad1p+916
+0xa.f72631905423p-544
+0x3.fe18c2ab2428ap-944
+0x3.24a8c9126f378p+856
+0x1.9513b58844d79p-872
+0x9.d558c95798878p-840
+0x4.8f97cd41e12dp+336
+0x3.a9685b9eee15ap-652
+0x7.7fd5ce991fffp-696
+0x2.d41dbf920dfcp+716
+0x1.5d3c7982c518ap-524
+0x5.63dbaa3b1eeecp+524
+0x1.537e5558615bep-512
+0x1.8e95de0035d8fp+612
+0x3.289c932499ffcp-672
+0xa.771e747010918p+240
+0x5.2152e2b6d62cp-608
+0x1.bbac11af37791p+1008
+0xe.fd1484af7e91p+368
+0x1.130ef632a14eap-704
+0x1.fd6ddbceb1768p-720
+0x8.b91fd903c823p+736
+0xd.a53fdb5e85fcp-896
+0xc.b52fdca6ea67p+64
+0x5.6d788dcbccd8p+80
+0x2.71aa9bdeb5a78p-256
+0x1.3191ff6d529cap-540
+0x2.13e1047f70db4p-1036
+0x3.25fcbe01329ecp+772
+0x1.13a495640c49bp+104
+0x3.d39da4fa36f36p+648
+0x2.3ab551f6f6fa4p+308
+0x2.106e4e2c73d04p+48
+0x1.4a6ebd3b66494p+732
+0x3.db30dc789b9bcp-424
+0x4.4dc9fffec4668p+164
+0x1.bb72709bedefep-1072
+0x2.36af1957f7658p+320
+0xa.fa40e598f486p-936
+0x2.4a26f2beff798p+744
+0x2.92bc99720823p+56
+0xd.636fca9f75c5p+24
+0x2.1b356acf67c5cp+528
+0x6.ef3762049dff8p+776
+0x6.f2b021be5b6dp-932
+0x2.1246d48fcae3cp+756
+0x8.1b7d8df851f9p+48
+0x3.88eff40de5a5p-832
+0xd.f805d5762939p-332
+0x6.fcbe60fb140a8p+264
+0x6.9d44c5a3f298p-236
+0xb.54c20ba065b3p+76
+0x7.e19f95e83b12cp+380
+0x7.da1c2418a75bp-368
+0x1.6f8a389ddf76bp+760
+0x3.51a7088f6d4f8p+152
+0x4.45bd1af2c5b04p-464
+0x4.b0614269c47b8p-1072
+0xf.7c3bf556555e8p-144
+0x1.c8a52302b4c7p-584
+0x3.f1cf2657f1d08p+812
+0xb.7ac0988af88f8p+188
+0xf.bde99c69c1b6p-324
+0x1.8eceef6b2a806p-464
+0x3.f5f91fc03d084p+612
+0x1.eec7d51befdcbp-1032
+0x2.8f14483ce1b3cp-252
+0x1.a6920fe55d402p-1012
+0x8.beb70a081c9ep+180
+0x8.68638cb8bb7bp+144
+0x5.b92c6a8499ecp-744
+0x1.9b23e6bd5ec3cp-844
+0xd.e255dc880e3cp-216
+0x2.8130accc2564ep+0
+0xb.78c456eff1bbp-668
+0x2.d1b82a8ff2bc2p-800
+0xe.79dcb6547c93p-1076
+0x5.3b544f2da9c88p+184
+0x8.d904f4b609d28p-436
+0x2.0ed5d3982e63p-112
+0x1.471e6c7cdb47cp-628
+0x4.bcc166298ca38p-220
+0x1.3cddd9ee90d42p+396
+0x2.ed9999704a134p-1000
+0xe.45ea4b2495338p+204
+0xe.81654c322ap-652
+0x2.eab67e238d11cp-1064
+0x2.7e9564e5082f6p+692
+0x3.4cda9868ec7a8p+468
+0x3.f7f7e1946b02cp+140
+0x5.f7e7dc48f7cecp-768
+0x2.7fa75bcf5c9p+724
+0x3.2593867bf5eecp-792
+0x2.3e18337a56c4p-96
+0x1.6bc6ca973c2bfp+436
+0x5.bb2dae738dcap-428
+0x7.48da608612238p+724
+0xc.3e6b8b401e6d8p+936
+0x1.49d3add3e682ap-340
+0x3.4c985526d0d38p+572
+0x2.4b34024913e3cp+388
+0x1.0da7ae653eb2cp-32
+0x2.3815d6595d448p-1024
+0x6.19f57f29720d8p+584
+0x3.2d6e5ac32f6e2p+924
+0x1.770e535b1e375p-776
+0x7.905bb16fd66ep-1072
+0xd.a8f4f99f99f68p+800
+0xe.548129da383e8p+1008
+0xf.4ee4ab0585e28p-720
+0x8.ac97010044898p-884
+0x7.60a11ccfa6ef8p-1036
+0xd.53f148f5170dp+336
+0x2.443f1917e486cp+292
+0x1.ce4a550c353dbp+300
+0x3.1dee3a45e7dcp+196
+0xb.2086520377f4p+924
+0x8.7062a67764eap+184
+0x6.139981be787cp+444
+0x1.cba6ed75404ecp-40
+0x1.da524b2bee92ap+928
+0xd.fb5eddc1796p+760
+0x8.9aa490a92ee1p-468
+0xc.7190fd1bebddp+968
+0x7.fc89e8051f7dp-272
+0xe.fa5f3360377fp+380
+0x1.f402abfb568bcp+792
+0xd.572886785d338p-648
+0x1.c98e6ee1e093ep+720
+0x2.4a8aae4eb1252p-688
+0x1.b4cd2eee6baeap+64
+0x2.30e4048a6f422p-56
+0x2.5acd3721698eap-92
+0x1.eb58ab041ae22p-748
+0x6.a7d69877c2bacp+224
+0x1.331c209d444dp-820
+0x3.b5368c74933d4p+64
+0x9.d97c0f0dd533p-572
+0x2.4180a69693c5p+240
+0x1.00f943421479ap+788
+0x1.c914c00636e9p-452
+0x1.bbcc1024d9d6dp-540
+0x2.3bf6ea1aeed6ap+308
+0x7.a81044c9bc51p-336
+0x3.3d1a8f6c7e72ap+56
+0xa.11cbe5639c4dp-580
+0x2.285753f1a8a6cp-304
+0x4.797d14659fe68p-448
+0xb.435facf4e4fap+756
+0xf.044c694d4c3a8p+884
+0x3.5273485125cccp+800
+0x8.91844fc45158p-848
+0x3.0e11b5bc07a4ap+704
+0x3.fad0e53860168p+444
+0x9.206e47a6615e8p-972
+0xb.ce354a453609p+580
+0x2.31d491bd6556cp-540
+0x1.af91ef14ea957p+508
+0x1.936745353d569p+264