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/j1-inputs b/benchtests/j1-inputs
new file mode 100644
index 0000000000..612b5b7406
--- /dev/null
+++ b/benchtests/j1-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]
+0x1.8e41aa1af0676p-100
+0x1.8ea67f44493dfp-972
+0xf.5544fc1a23e8p+92
+0x2.fd764425f574p-340
+0xb.b6310ce02a2fp+336
+0x3.3e33cdcf19918p-372
+0x7.001811491da6p+444
+0xf.cbbf215192c2p-472
+0xe.05f0a5825d5fp-416
+0x1.eab24ec11564ep-664
+0x1.e559cec2a926ep+540
+0x3.5251e0d2e3614p+932
+0xc.0729833111a3p+644
+0x2.00758ebe441p-304
+0x2.ad2e1459ac958p-236
+0x1.d63011049e848p-968
+0x5.6040c9be551ap-1044
+0x1.27c36120b27fap-348
+0x2.0277ca5d2d7d6p-788
+0xd.128b0336946f8p+204
+0x3.b7efc477415fp-352
+0x5.fb99f128e43c4p-180
+0x1.7f07f154784e2p+800
+0x8.f6fcdcdd0bb9p-836
+0x4.5562c7e8a162p+628
+0x8.530e525a4609p+372
+0xc.fa01ef73a863p+544
+0x8.f1f21ba54a618p-764
+0x1.4dc1ffcf068dep+528
+0x4.78af862a53038p-408
+0x1.5329f6011e482p-40
+0x2.06a72a7541748p-192
+0x3.33085d83223aap+548
+0x7.47551f2c2d3dp+420
+0x5.cca8500e253c8p-1060
+0x6.2f4bad9fc47a4p+980
+0x2.ff04d8826ec4p-1036
+0x1.69ebbce958179p+80
+0x1.a786ac46fc718p-764
+0x8.b833162f496dp-764
+0x7.68b55a4d862p-460
+0x2.e60894ac0133p+244
+0x9.900c28f048f1p-32
+0x6.3ba18494fc64p+492
+0x8.0c60e7fc345dp-1020
+0x4.e4897be137decp-652
+0x3.15c0367dcab38p+504
+0x6.dbb541bbb8e04p+424
+0x1.54c68f6f2c088p+328
+0xa.e04f0518b576p+792
+0xe.fc264a029309p-48
+0x1.d7e1ea80bc7b5p-412
+0x1.3d1561085c33cp-988
+0x3.e4822b26693fp-132
+0x2.bdc49fedf8318p-956
+0x5.97ec1535742bp-620
+0x6.efe805ca4212cp+76
+0x1.6817c32051b2cp-736
+0x1.12abff1e87ac2p+240
+0xf.9ae8ea96efa1p-972
+0x1.fb9b03213050dp+520
+0x1.d34349c969a38p-132
+0x3.2be8f18be852cp-360
+0x1.6e988f8f3aa9fp+192
+0x3.380a0fab5d09ep+44
+0x1.a6a91daca0314p-208
+0x2.360f043e4ba3cp+720
+0x3.54d2d975c68ep-228
+0x1.c9498c538958cp+216
+0x6.bb602a54a7718p+708
+0x3.77119d12a4bf4p-272
+0x6.54175c0752a9p-652
+0x5.3d61aed30375p-80
+0x3.0019d4e03ec6p+1004
+0x3.eb79ed8cf9478p+572
+0x7.c3a5ab383437p+684
+0x3.108f417355078p-1012
+0x4.0ac5bba51ffd4p+976
+0x1.cc5a018c372acp-884
+0x2.1c58e1ca34f66p-356
+0x1.295645549fa18p+148
+0x3.64416e0d12324p+272
+0x2.c417d98dbcfdp-48
+0x2.2e4161304e652p-80
+0x2.e2c59ca59ae64p-368
+0x7.8b8ff2ca66e84p+972
+0x1.f0455dfae383p-156
+0x7.13eb7445dbc48p+1020
+0x2.94a8790504adcp+188
+0x1.57d44d26f47cap+632
+0x2.29c770f489532p-892
+0xd.8a68f59149c78p+192
+0x4.d7aac477f84a8p+64
+0x9.a8bfa10b40148p-64
+0xd.97890eb0fc18p-940
+0x5.4f84fbc4abf78p+968
+0x2.01f4656eebc3p-88
+0x9.49d7ff4895aap+700
+0x1.36ac154770436p+660
+0x2.b117a40529df2p+892
+0x3.98c63a62ab82ap-164
+0x4.76e1ec583ee1p+676
+0x3.88893e7f2dbfp+424
+0xb.2ee544fc725p-232
+0x5.5946e997530fp+676
+0x1.38f4019e31875p+28
+0xf.abbe2d955917p+960
+0x1.512b0e0589b9ap+364
+0x6.8dfab9d62d934p-680
+0x4.32e9fc65823a8p+656
+0x2.87c707b781e98p-200
+0x5.46066b27b543p+264
+0x6.3a3e6287eddep+152
+0x4.7e11049dc66a8p-296
+0xd.6d28adef0f32p+292
+0x1.78371b6842002p-984
+0xa.e498d94526d28p-832
+0xf.426124f4a4f78p+108
+0xa.b9495780449ap+812
+0x2.16b3a8ec2e08p-856
+0x7.b7ce6ab284d14p+744
+0xa.9fb113637dep+928
+0x2.c9cc59674bb94p-884
+0x4.f161f4463559cp+152
+0x1.56a682843101ap-56
+0x1.8530dd507b5fap+564
+0xe.40b427e72af2p+852
+0x8.0425d969fcc9p-284
+0x1.3510358123b13p+804
+0x3.6adb920d72458p+52
+0x1.434f18a9dde4ep-464
+0x5.5407d50961f08p+48
+0x2.82c4e9424a964p+432
+0xa.0bc463bc76d7p-828
+0x1.87918611e5b2p+328
+0xd.c44d810dd34ap-812
+0x7.bae444e764ecp+232
+0xe.7c891fe61ee1p-648
+0x2.90cdebfdc4db8p+872
+0x6.345804d836068p+640
+0x3.0f00c32b8e848p-944
+0x5.259f7443b617p+224
+0x2.a6c2ada75d8fcp-704
+0x1.84664933a6904p-416
+0x1.3f5a31ef7cca4p+964
+0xe.6438bed0797p-1016
+0x7.62cf2291959e8p+240
+0x2.318693287d514p-696
+0x1.f3e0e2a827954p-992
+0x3.7eccc547bb874p+496
+0x1.5c89ad682cec8p+40
+0x2.41ed36759420ap+368
+0xc.ecaca539dc74p-1000
+0x7.ecf476887c8dp+708
+0xf.cea6d813ed58p+608
+0x1.46e6848d96cfep-232
+0x1.b6a67c28f5aecp+996
+0x1.f14ac522eb595p-104
+0xd.dffa794234b6p-116
+0xa.41424ec91177p-760
+0x3.34af71be97bbep-408
+0x7.0b0e4301fae1p+204
+0x3.34e9682c93d74p+820
+0x1.1054d2108384p-308
+0x2.d87a0fc0ffb52p+592
+0x1.89e409673f30fp+296
+0x2.8702629a27e9p+764
+0x1.3978292765bb6p-24
+0x8.f0fff86c8411p-588
+0xc.66a7b8e922edp-748
+0x1.864bae90c41c3p+424
+0x1.122ad6e82ed9ap-296
+0x2.b2a7373a2c382p-520
+0x1.66f08097ff3bbp+960
+0x9.5c1870847052p+444
+0xc.c84130904842p+544
+0x1.3ffb131db5b24p-1036
+0x4.77704b332332cp+16
+0xe.ed82f18b969fp+232
+0x7.7ac439188cfep-956
+0x3.e708329e06484p+648
+0x5.34d5aae6b962p-1020
+0x5.a169baecbc494p-484
+0x3.0875dc1c574dp+288
+0xd.db4b70df2a2cp+196
+0x1.5b871dfe28076p-1040
+0xf.b337457f000fp+932
+0xd.426d96edb02a8p+896
+0x8.926cba56ed7cp+200
+0x2.76358524b4458p-280
+0x7.d7646228d006cp-380
+0x1.e9e780a0f09b2p+912
+0x7.b86c187c4a104p-468
+0x9.e275e8363b3a8p+180
+0x6.4e0861b6735c8p+704
+0xe.128cf90dab62p+796
+0x2.ad1038ce902e8p+100
+0xa.e996200040e1p+260
+0x2.fe0215363f384p-400
+0x3.baa75bb5efa4p-612
+0x5.c9db7b5afe2b8p+32
+0x1.f4d328a1d9aa3p-8
+0x3.8b70cf45ddda2p+140
+0x2.020c399271e4cp-492
+0x3.b74036acdde94p+16
+0x1.8c11b05e340fcp+736
+0x4.149fa68a4d0bp+372
+0x3.e4c9dff5d0404p-112
+0x2.62a94f23c44a6p-240
+0x3.c507400ab8e76p+300
+0x1.1909e0115792cp+4
+0xc.5330003e47a6p+684
+0x2.5eb83c136b31p-840
+0xb.5b8402c5ee3ap-732
+0x1.e92c5e8cb3af2p+548
+0x1.0b409a8faa03cp+268
+0x1.cecc8576832fcp-876
+0xf.5cb781bb7c24p-1000
+0x1.427d11a37e756p-12
+0x1.fdef96a2c6378p+892
+0x9.0ff46e53156b8p+628
+0xd.e1bfcaa180518p+244
+0x2.87846aae57434p-808
+0x6.299f8704a86e8p+268
+0xd.cbbb248c34f3p+640
+0x2.d32c97c058efp+468
+0x9.f71167f1d0d8p-216
+0x5.6a74d0acfc38p+1012
+0x9.889f1f62a0f08p-888
+0x5.a4061ef3517dp-292
+0x7.89b07f880014cp+580
+0x1.5ef869d4134afp-252
+0x9.a0c2f44ba7dcp+988
+0x4.3671549ca5558p+112
+0xb.c532ecec39d4p+888
+0x2.67f8fa69740e6p-392
+0x2.50ee849d57fa4p-432
+0x5.73b3ce955aap+928
+0x1.0a0880d61f28cp+192
+0x2.0edd2c941a53cp+240
+0x3.e81816c183fa8p-1036
+0xb.fc2ffd8540468p-496
+0x2.7e3a40d82f1dep+732
+0x3.05b111398e924p-88
+0xe.d7b27abe42578p-360
+0x2.3c2b925453a36p-588
+0x1.65eb5a6013b48p+796
+0x6.ceb931f10d4d8p-260
+0x1.702a10c3bd548p-484
+0x1.278e976501297p-240
+0xe.38b704afb1768p-500
+0x3.902e074649e9ap+124
+0x1.d050823f3d64ap-652
+0x3.c3a10e6820936p+132
+0x2.a2594af7a291p-980
+0x3.04d69ded79d08p+948
+0x4.4ae08d07de6f4p-840
+0x3.a1676ad7ea38ep-944
+0x7.0d4ee62ed488p+648
+0x5.7c4f1b0519ca8p-392
+0x2.ea317c632a584p-28
+0xb.962d14b02aa3p-1072
+0xb.a75c4e41bed8p+384
+0xd.32e278f15782p-576
+0x2.c30e697300db4p+384
+0x3.5417cd1145edcp-356
+0x1.da19c54fa3f6bp-636
+0x3.67893d5e185p-1008
+0xc.cc4054b565fe8p-628
+0x4.fbd87f25e825p+984
+0x1.9b87970f34096p+408
+0x3.bfdb930537c94p-208
+0x3.5fa34a039c44ep+520
+0xb.bb131891c463p-728
+0x6.23af1255d85d8p+136
+0x4.452931d6f59fp-440
+0x9.349e50a9065fp-444
+0x1.636282a7cd52dp-512
+0x6.5f47831b6bde4p-916
+0x3.890cde2ee7346p-284
+0x1.c6702c2101128p-880
+0x7.790883f113fc8p+200
+0xd.ad6d289673cfp+932
+0x9.35dba2434d8bp-908
+0x9.d07f013834afp+844
+0x2.24f6d47ff20f8p+396
+0x1.88127ef69ce1ap-444
+0x7.7bdf173096a48p-152
+0x6.c762067c02388p+4
+0x7.1baea4c7082ap-680
+0xb.ad95e285050cp-124
+0x3.2821c8ea4cd4cp-444
+0x3.71eadacf652c8p+280
+0x1.f67b303b3a00ep+84
+0x7.67879960ae5c8p-908
+0x2.39cf3184ad778p-300
+0x7.91d5907aa6eap-560
+0x3.8554562eeae54p+936
+0x1.b82084e654f57p-1052
+0x1.f6dd25e7ab8a6p+132
+0x7.0944a889e31d8p-584
+0x1.b7452e62d1309p+668
+0x4.5b841758838b8p-152
+0x4.762ce2a2695p+1020
+0x4.71931fcfafe08p-432
+0x1.ff55ab12794b8p-976
+0x3.e41e9980ad06p+140
+0x3.aa946ef8ce0fap-252
+0x1.322b17bf2135ep-932
+0x1.84d9d69355b7fp+4
+0x4.16eb455420418p+528
+0x1.cb584cd3e5afap-56
+0x1.06f3555ac667p-916
+0xf.37824a444b6bp+88
+0xe.5f92e31305638p-1056
+0x1.ba535589af5cp+124
+0x1.f2c8d5e4f0659p+296
+0xe.ffb4711e8f0b8p-780
+0xe.59939145a451p-736
+0x6.93d01fa8d3dbp+164
+0x4.494d1c124983cp-100
+0x1.3374cf8664626p+664
+0x1.1717063cd48dp-944
+0x1.24db19ed4ac9p+256
+0x1.82d01ae47fe61p+588
+0x6.f40f6e6276d88p-160
+0x1.1702f563371a2p+340
+0x4.8f75da73143e8p-4
+0x2.604069c3dd68cp-92
+0x5.7a102d4e0434p+496
+0x1.1d11f8adb656ep+272
+0x8.46c989dc7b9cp+932
+0xd.7495bc80f0dap+576
+0x3.4f77ba047261cp+212
+0x1.fdb6dee7f3441p+220
+0x1.b436f393e7647p+260
+0x4.e1b266828068p-116
+0x3.9c2050ba8b07ap+640
+0x2.60d28551ee984p+992
+0x3.0d7f970394fbp-708
+0x6.a151003d97e98p-700
+0x7.8f6067edcd578p+76
+0xc.f5312342352e8p-64
+0xc.4b39888ba7ddp+32
+0xc.baadcff7b589p+472
+0x3.a71fe9829761p-636
+0x1.8f19377ef58d2p+388
+0x2.22eef4eb7b468p+92
+0x3.06198a2960e18p+936
+0x4.2f9fbd045f7f8p+108
+0xd.088438f111638p+284
+0x3.831bc7172156cp-908
+0x2.0827c914794f8p-880
+0x9.e7e34a46f264p+876
+0x2.66f0e971f55fcp+416
+0x2.2f7cb141a4d16p+96
+0x2.80b8faf7915fcp-1064
+0x4.33fdf736600a8p+336
+0x1.de51eae623717p-1048
+0xc.405b073524408p+696
+0x2.b2caf5c0dc554p+264
+0x4.7682b07f60d24p+84
+0x1.f35f148f64b8bp+920
+0x3.7423deefe97e8p+800
+0x8.a7c15d49ee61p-352
+0x9.262ad80afc7ep+652
+0x1.69915f3234bdfp-640
+0xb.831becc3922dp-320
+0x5.17ad0702744b8p-564
+0x1.4a770e6b72e7ap-216
+0x3.a1fe8b5102b5p+240
+0x1.f33dc310592c5p-1052
+0x2.84f409185946cp-968
+0xd.0953c70aa03p+484
+0x5.bdea9bc95da48p+484
+0x1.6d6b92206b7e2p+792
+0xf.d6aa048811a7p-940
+0x3.7f79a17b92fa6p-704
+0x1.e2668110efd84p-32
+0x7.f0d42bef3b2ecp-40
+0xb.607004cf0202p+420
+0x3.4dd77fd347ce8p+852
+0x1.9673fab90d582p-1004
+0x9.3d3680bbfdcfp-608
+0x1.1f23c561f9e04p-796
+0x2.31e691c7c1e3cp-748
+0x2.1111a5048ad2p-840
+0x6.194726a38ed58p-44
+0xa.04b5d4603d4fp-484
+0x4.f0664f8ef23b8p+904
+0x5.d7ed7789d1e3cp+180
+0x5.5504a868f8cf8p-8
+0x3.d2f0c77885088p+772
+0x2.789e93566b92cp+784
+0x1.a4bff781a26b4p-884
+0x4.2d67b24c962bp+1016
+0x3.f777215c724dcp-48
+0x3.36887e55c0564p-796
+0x3.3bdd6dc2db77p+712
+0x7.488a1f337be4p+292
+0x5.7a1ee2c58de44p+100
+0xb.0c558ff37b87p+872
+0x1.3c87c2ae00c3p-812
+0xd.0c7e6c8ba507p+600
+0x4.06ec3053616p+716
+0x2.c2b14cc8ba928p+592
+0x3.242aebfedba54p-944
+0x3.90b2e2ff2ca58p-148
+0x7.79e13d0071458p+12
+0x7.7d8e8d7176ba4p+472
+0x1.3e853c8a4abb2p+476
+0x3.ff55be4837748p+480
+0x2.1d363201f106p-96
+0x3.9fe99c991258ep-24
+0x2.347c221de3eb8p-92
+0x5.51b170b2bd138p-476
+0x6.98dd4a6a04804p+464
+0x3.36a3d53e1a5ecp+516
+0xa.0bc576dfd30b8p-676
+0xa.91d2fb8e4f08p-840
+0x1.b0091c5763d1p-1000
+0x1.0e7a67b4813b8p+448
+0x1.c5aaee1eda511p+316
+0x7.60c5f24438204p-24
+0x2.9ceb439fdcd14p-796
+0x4.d5eadd92878p-436
+0x4.9b8f13e9c7fe8p+660
+0x1.7d85ef06dabc5p+548
+0x3.9b6f57c5087eep-488
+0x2.446ba39caf688p+200
+0x1.9ffc5308010f6p-756
+0x8.353df7fa84a3p-24
+0x9.4925ba76b608p+584
+0xb.38f547630992p-760
+0x1.0b0a0e994d294p+880
+0x3.b7bb3e0442938p+1000
+0x1.ec98deadf85bp-712
+0x1.cb9ccb79d9278p-312
+0xc.5402a2b4162p-640
+0xd.6f507a4b94dap-820
+0x2.1c1054de5fe54p+852
+0xd.fa342a90db048p+732
+0x2.70c78d4eb4cep-104
+0x2.fa015dacd7136p-500
+0xd.c6a005e4dd8e8p+892
+0x1.30cef4ebad49cp-224
+0x3.7590d6f5767b8p-688
+0xe.6a411b69688bp-980
+0x1.7fb555a605652p-880
+0x3.95195adfefa54p+796
+0xb.1c6543856e57p-644
+0x7.6731b53f8c6cp-684
+0x1.c07304e7a1aacp+232
+0x2.f42dbc58c4e1cp+664
+0x1.1fb78c0bd77bcp+496
+0x6.9ae804b9b1898p-504
+0x6.d1203a863ea38p-64
+0x1.7d32b30978ea4p-648
+0x1.4c327f646cf1ap+340
+0xb.78fcce4f5fa3p+352
+0x8.a7f6d1454b43p+484
+0x2.eba80dc4dae7cp-88
+0x1.9a98c5bb0cc12p-736
+0xb.1a3afdfb0548p+780
+0x1.44ad2a927f555p+764
+0x1.1d9b5065d2048p+960
+0x2.c77f90c7cf234p-524
+0x4.ad8ced5287418p+572
+0x5.2b9f321a41438p+428
+0x8.5e95480f3b84p-512
+0x1.98f2d1b0aea3p-932
+0x3.543d81fc4a62cp+212
+0x1.bffe059c10eb8p-916
+0xd.ef95d130135b8p-220
+0x1.b04a55306836p-784
+0x6.382086ea4f928p+276
+0x3.641d52a643c4p+0
+0x1.2b62a8406cca8p+160
+0x1.b22e4f8eab168p-752
+0xe.2fd5dff85579p+468
+0x1.bcbef29415b4ap-152
+0x4.c0e9d7b5735fcp+988
+0x1.bba371ff82b92p+872
+0x1.c62d496b7be04p-844
+0x7.592078dde9e2p-848
+0x1.435acf5ea5acp+960
+0x3.bfceb4ca187fap+564
+0x2.6950944b8b61p+976
+0x3.b436d07b0dae4p+428
+0x1.4e0fe4d804ca7p+592
+0xb.b67d5eb29049p+188
+0x4.53c8b362a50f8p-340
+0x1.0f89e08896a74p+980
+0x3.93cac7f94b5bap-656
+0xe.2f4d01806b358p+708
+0x5.a32909683b3cp-384
+0xc.3f54211d4eb78p-948
+0x1.be9cff66cf5c5p-548
+0xe.dcbbc0f4b781p-936
+0x1.9024da226df52p+640
+0xd.d4e7f98ca9a18p-1004
+0x1.9cc9fa5be50a2p-228
+0x9.c9f1144c386bp+524
+0x1.70b33d33de4cdp-100
+0x3.982d137b6ddcp-556
+0x5.175c63749f0ap-988
+0x3.1f14bca691bc4p+20
+0x2.5c8c41964852cp+588
+0x4.62f98b285e54p-584
+0x2.d9ff060a4a5c6p-812
+0x1.7c07c07d5da44p+976
+0x1.99493f4e60969p-296
+0x7.07250418b59ep-136
+0x4.0831c4e3a2158p-96
+0x7.b99d1d6eeada8p-636
+0x1.176f06fb96132p-972
+0x2.c913e45c3cefp+424
+0xc.ffadf4f921688p-416
+0xd.5351f46873cdp-1016
+0x2.571aa66787a16p-668
+0x1.358648f19305dp+212
+0x2.d3514f13fcd4ep+900
+0x1.040ffecbf74e8p+980
+0x3.9757a9a192b78p+0
+0x9.f5050b6df1b3p-800
+0x4.6d74793517418p-948
+0xd.ec691c208145p-140
+0x9.44ef9267fb8fp-440
+0x7.898f383c5d91p-316
+0x7.5ba13322e85dcp+476
+0x1.5015170e6c0afp+436
+0x1.002a176a06646p-676
+0x3.2788065eba608p+272
+0x2.47043a014be84p+132
+0x7.31875dfe7833p-980
+0x1.224ad5b758271p-148
+0xd.1ffb69e70f78p+492
+0x7.67c14cbf44304p+88
+0xd.8c1a0a0c2d0d8p-300
+0x1.3cfb00fc9e6cap-980
+0x7.eeaf36d268b28p-712
+0x5.aa38e669e23d4p+788
+0xf.355cd714cd22p-736
+0x6.5193a4d4c24p+348
+0xd.451cb84c93128p-924
+0xc.05c5c5f06e4dp+284
+0x1.1910d0c7f5acap+628
+0x4.2b6b4099fe4fp-696
+0x1.3e82e4d17bfb8p+604
+0x1.83097cab5f2dbp-672
+0x1.60738512af3b6p-420
+0x5.4d29a6205fc3p+904
+0x4.2cef8f590b338p+332
+0xa.eae312f0f2078p-792
+0x1.db8c4b4c01745p-184
+0x9.4c0224a909028p-1032
+0x9.971c34fd26efp-1076
+0xb.6e97fabde6f9p-292
+0x1.09cb38c70ed49p+760
+0x5.091f7ea49134p-132
+0xd.99d1dafa0488p+236
+0x1.0e2db97435cfcp+988
+0x1.999240b73cf48p-624
+0xc.28f193b9bdbfp+320
+0x7.290eac9546f78p+192
+0xb.5e28a036077ep-484
+0x1.fffae770f51d4p-312
+0x5.24daa0e11536p+36
+0x3.dcf14a780c64cp+720
+0xb.5c6060e533e5p-676
+0x7.1ff0cd1627598p+244
+0xb.f72aa99c952e8p-1024
+0x7.060328826bd08p-328
+0x6.10ffda8105eb4p-612
+0x3.0b73a12cb84fp+872
+0x4.d4c9b476d14cp+224
+0x2.49b9c87e144d8p+664
+0xa.9464353c33cbp-204
+0x6.d2f2c79318a8p+260
+0x4.0245108cba148p-36
+0xc.48bb9679fb34p-120
+0x2.c7d6f39590de4p-780
+0xf.c4d838b0f066p-108
+0x6.4bfbc5da20f68p+100
+0x1.743e2e6c29d4cp+640
+0x6.d97643abb547p+788
+0x1.2d7f26a0026f4p+944
+0x9.8f73f864bca7p-804
+0xf.acdacbd4ac5p+380
+0x1.3696df9e42a78p+488
+0x1.f58fc60dc1dd2p-700
+0x5.78ce8be7a99fp+444
+0x2.aeac24bac8986p-868
+0x8.54c3ee583915p-748
+0x2.efb056f51ad16p-120
+0x3.186a6443ed0cp+780
+0x3.f75bba7eb3134p-436
+0x9.50f3cfbfc58ap+752
+0x1.2e6a3f72565ebp-392
+0x8.a971fe49ca1b8p-288
+0x1.1463e8737bfd4p-716
+0x2.e92d469090cf4p-932
+0x3.cb41937d952acp-488
+0x1.d9970b4531d3ap+816
+0x4.fb58f4d5d89e4p+544
+0x3.7b970e615c636p+488
+0xa.17a1ad39e9afp-972
+0x2.b4d6d04a3ccaep-904
+0x5.ab3b78ec01648p-304
+0x4.ae7b410313b68p-64
+0x4.816149eefc7c4p+968
+0x1.1571de1244aebp-620
+0x9.c95d508110bbp-464
+0x7.84867857d17d8p+280
+0x2.a4cdff6c20a84p+96
+0x6.39b61d8211f98p-288
+0x1.6d5e3ccfb4e2ap-484
+0x1.2ad898c99211p-856
+0xf.6da5a9502ac1p+436
+0x3.7437828036c3p+132
+0x5.a38a20f40e22p+912
+0x2.0b85eac492c9cp-824
+0x5.9741ffd353228p+8
+0xf.a956c3e81f5dp-676
+0x9.98b39d7f42fcp+60
+0x2.f5249b2e2fe7p-208
+0xc.7fde1d401a0d8p-484
+0x1.cd73b6b61522ep+76
+0x7.c522f0edc5f8p-400
+0x2.743ead9eaaed4p-904
+0x1.ba27aba2f749ep+24
+0xf.4ce927ba4369p+440
+0x1.9d1dfb0f4e57p-976
+0x2.a89fd465b58cep-1072
+0x2.f1c817a24907p-256
+0x7.620a83ed0914p-168
+0x4.626458965bc4p+92
+0x6.2f905bbc1cfc8p-340
+0xe.b18f81376c02p-688
+0x1.350a5e6ad35a4p-924
+0xe.585ef1d162708p-408
+0x3.de323b9f25978p+148
+0xb.4c589b4396488p-824
+0x6.fe86f9bfcd55p+416
+0x1.a660fef11a0cdp-956
+0x1.5569b5f7b04p+216
+0x3.07846c88ec74ep+852
+0x3.f43cc56912178p+760
+0x2.43f373d31824cp-960
+0x6.f9f26257fdabcp+256
+0x2.90d07f0d7e444p-48
+0xf.203a7363e38cp+20
+0x4.3e035533d60cp+520
+0xe.0d5de56bf91ep-804
+0x9.1294616a8e8ap-484
+0x1.98f257d84d879p+472
+0x1.c487081e0e21p+580
+0x5.2561501b92f68p-156
+0x9.80b97300a356p-260
+0x2.8e7a051d669e4p-508
+0xd.3affdbcedb05p-780
+0x7.82836e22d1434p-264
+0xd.b2e9e16f65fbp-860
+0x6.513a2e47acc8p+260
+0x1.87d4609e05a57p-748
+0xf.412a9b799c048p-432
+0x6.247d33a9e25bp-820
+0x1.db4593415d648p+272
+0xd.1d9500e5f692p-228
+0x3.9cb0f0ffdd31cp+160
+0x1.241ee9fc252b6p+624
+0x8.d0734b467af6p+1008
+0x1.682312902d7aap-600
+0x5.a2129fe9d0cdp-76
+0x2.a2fd2c1f678e6p+412
+0x5.5feee12132618p+600
+0x9.648bfb673fc7p+552
+0xf.a885eb195c81p-780
+0xe.940ae0845b6p-412
+0x2.75b03d3828e28p+704
+0x2.80d31986967d4p+332
+0x2.4001db3a2e616p-884
+0x5.eed815fef2598p+176
+0x4.c3521caa01688p+872
+0xa.82131d5463e4p-1072
+0xc.2d2f78377f97p+384
+0x8.f20099e151a2p-108
+0x2.e912bc88b2ab6p-616
+0x4.0db2cb03f76ep+380
+0x7.9992ce453a6f4p-944
+0x1.3a72e8edd5ebdp+100
+0x1.741ee26a8edabp-212
+0x2.d1e002678a4ccp-8
+0x1.244e67a3c1cf8p-1028
+0x2.c65c765c89b4p-900
+0xe.d50967c01a3cp+96
+0x7.6f939ad75b5bp-864
+0x7.6e653455994cp-632
+0xe.6d38b91ad0dp+772
+0x2.732383cb27d18p-624
+0x2.15e2b760e839p+196
+0x5.c22605bb3f068p+748
+0x1.e5af406ee09a4p+992
+0x3.02dfb09a387f4p+380
+0x3.15b730beb31a8p+132
+0x8.04004f457dd38p+32
+0x3.eee766c0d649p-768
+0x2.5eb372580f30ep-32
+0x1.285afe5dadb32p+156
+0x2.51be518e264c4p+716
+0x3.8d83dcd08f9ccp-220
+0x5.1e507616cf8a4p-552
+0xc.4510924415d2p-932
+0xb.d806d28ac3d2p-880
+0x3.cd7f77d2d188p+636
+0x5.f6ebaf70995c8p-1020
+0x1.8970d2774a9d2p+128
+0x3.376c653212b8ap-272
+0x6.95b78d28b7c38p-364
+0x4.2e346070aceecp+36
+0xc.d8db146cc884p+488
+0x1.6a78270378c17p-788
+0xb.2f2402f90675p-992
+0x2.1d1f9f7896328p-748
+0x1.35e117ea17732p+8
+0xb.455a6aec011bp+980
+0x1.69b1be915e6b4p-280
+0x9.368b29afe8228p+96
+0x1.2a71a16a38be2p-468
+0x1.6d2bb455ce7bp-616
+0x1.babdb252dd072p-880
+0x3.b56b30523b348p+120
+0x1.9e66c6065b951p-448
+0x5.60de01c0199dp+920
+0x3.4880cbc9dca64p+476
+0x1.f798e283fd267p+880
+0x3.cae0f5991500ap-692
+0x1.cca792906d846p+792
+0xb.c9d1a0a1a9ffp-828
+0x2.5dc4a25f1b85p-616
+0x4.1a670f85f2398p-260
+0xb.a33c1285df76p+696
+0x4.8a24face3d3b8p+760
+0xd.2f4f5c30fed7p-540
+0x6.59088990f55c8p+224
+0x8.bffba9433fa78p-344
+0x5.7c6dddfc9644p+60
+0x1.916430e662a54p-860
+0x1.d6af3e58c5f0cp-876
+0x2.fda5ca8b1da22p-672
+0x2.382d84bec81bep-1004
+0x1.309b0eba6af6p-68
+0x2.3857b479a432ap-776
+0xb.fb0566f47829p-792
+0x3.a8571e115d03cp-968
+0x5.afb47712e784cp+644
+0x1.7e5222c5bbf0ap+444
+0x1.5e487f940eaa3p-244
+0x2.e8d878054e416p-420
+0x1.0abfd91e31aa6p-744
+0x1.2011e150b4eep+336
+0x1.b9d9dbc4574cep+900
+0xf.351c6b7049d2p-748
+0x1.3cc5215223f9cp-228
+0xd.1f55ea3b07f5p-980
+0xe.5434f0b8a66p-1076
+0x5.284284fe38214p+108
+0x7.9234c0923021p-88
+0x5.1b58f07748fe8p+336
+0x3.a8d7201e5ac98p+8
+0x3.0e79b1da473ecp-272
+0x2.d593d94c028ep-120
+0x6.445e11fe12468p+268
+0x5.e6be7e6422d74p+916
+0x1.e0a4b83bfbf8p+568
+0x3.f724046dfdb78p+1004
+0x5.e37b8ca9552b4p-244
+0x3.aa0df5907292p-180
+0x2.2bc8e519d2b06p-696
+0x3.aebb6789c20fcp+256
+0xb.1801a59b33948p+548
+0xa.01decec851bap+552
+0x3.d886cbd5cce7cp+228
+0x1.9955e959123aap-776
+0x9.1fdd5ae937118p-620
+0x3.bdc44a7eebf84p-800
+0xf.e87ee88313218p-508
+0x1.6ba898867dc6ep-596
+0x1.31cc0dd827848p+940
+0x1.2ce099b225a9ap+148
+0x5.a059fa620fcb4p-60
+0x8.be10886785cfp+344
+0x2.a2e96d08c47a8p-204
+0x1.eea74562febfep-216
+0x3.0538066f5d4fcp-260
+0x3.df6c63c515c4ep+660
+0x7.1f2a715fac80cp-16
+0x5.51c9b702bbdp+268
+0x2.19d4f5d9dd2a8p-420
+0x1.1efe777260802p-504
+0x3.33d27164a8ad8p+260
+0x3.9b47140adb2b2p+500
+0x7.8fbd41ab4ba6cp-832
+0x9.16e25ab27008p+672
+0x3.4a66432bcfaf8p+684
+0x2.0fe966314d948p-208
+0x6.57a08a177fcdp+12
+0xe.80e0573c08d1p+84
+0x1.c52453241dfe7p-740
+0xd.3a096e94b0f3p-760
+0x3.e2828d43793ep-4
+0x1.12125c45d4e32p-180
+0x1.9241f6479f068p+628
+0x2.6e66f453011ccp+544
+0x1.e089925ec313ep-248
+0x7.002985f4094bp+444
+0x3.3d615d772f4d8p-224
+0x1.16594964a6e66p-160
+0x6.f2294b92ed518p+664
+0x3.bebcdd82c5efcp+404
+0x1.e1a059dd00b7p-996
+0xa.c2cdf18bb325p+596
+0x6.838405a4b8018p+56
+0x2.5b04ea37eddap+444
+0x3.5a743e5f23804p+512
+0x1.40c622a11c28cp-448
+0x6.292e020f74ep-568
+0x3.60131cf8c2818p+188
+0x3.a694422a59c54p+64
+0x2.5e689e86cdf62p+600
+0xf.0bb9f0756173p+880
+0x1.a9fe1860ff829p+532
+0xe.8ce4f49849f8p-20
+0x2.d304d8be4a6dp+296
+0x7.9759b8648bd2p+696
+0xc.a7e43b1d5f93p-300
+0x4.ea19316908eap+492
+0x4.530c92b1d6ca4p+636
+0x8.597477ad4c83p+556
+0x4.1b2c9f0fe6a38p-508
+0x5.7405b202e0618p-564
+0x7.b9e552d9ece2cp-996
+0x1.4c60ca416a91bp-432
+0x1.c92828dfe38f9p-988
+0x2.55800b634bdc8p+896
+0x7.3526271a4a634p-68
+0x3.7140a3534fe4cp+928
+0x1.0d60f34a79bb9p+720
+0x1.dbfab6ac4779ep-104
+0x1.7cfff83f96252p+916
+0x1.da24e8c20727p-240
+0x1.6388e860d45f6p-472
+0xe.79fcceaf375ep+364
+0x9.61d285b800d98p-208
+0xb.3d6031931c4ep+704
+0x1.64ee4ef82f5dap-904
+0x7.77fe211402638p-164
+0x2.33a738e69287ep+232
+0x2.b1a55b7011a68p+252
+0xd.827557730486p+412
+0x3.080a62c4fa83p-352
+0x2.232165aeed64cp-400
+0xb.e39703fbc08dp+72
+0x1.346f79eaa9796p+692
+0x5.c48ca1eb07ef8p+772
+0x9.370d6fca63cc8p-772
+0x9.8e05d726f2218p-256
+0x3.b9b2ff3466918p-448
+0x4.d89174ba3d408p+396
+0xc.6a8cd73577dfp-1020
+0x1.c7502598f2cfap+536
+0xc.395ad053bc6p+352
+0x2.04b3a76028812p-564
+0x3.82a7671e8f9e2p-472
+0x1.0add38f6b943bp+284
+0xd.24d0f994f4168p+712
+0x1.cfb2b96bfae92p-408
+0xd.3d1b42dcfab8p-60
+0x1.8589a15a9e6aap-644
+0x3.4fcdda495970cp-1032
+0x1.447432831b323p+440
+0x7.93c5d5dd873a8p-740
+0xf.35d03ae870208p+456
+0x1.835129491a9f2p+788
+0xb.0a063d5c5645p-540
+0xe.67eb31200847p+256
+0x1.516c20f65124ap-284
+0xd.2ffa6150cbe7p-460
+0x9.92318417f784p-1012
+0x7.02fa52451be58p-752
+0x3.a0506bdde1dap+416
+0x1.8ca02f58c9377p-756
+0x4.ecf7837cc1c5p+540
+0x1.039f73c90d35cp-732
+0x6.89d0a4af30bd8p+648
+0x6.ed3be0775efp+60
+0x3.bc4e683d72d82p+968
+0x1.e6330e5ea6497p-352
+0x5.bf7faa1429c0cp+968
+0x1.0942de2811b74p-144
+0x7.bc56f3a6df52cp+20
+0x1.896f0ffebc44p-128
+0x1.e229fb5e8bb33p-724
+0x7.13efc8ada823p-576
+0x4.27fc06d6a455p+860
+0xc.bb4c1872ff9f8p+724
+0xb.81a94fd9bc578p+500
+0x1.b43ce028bd23ap+880
+0xf.b37ef448331e8p+304
+0x1.cd24341ea868bp-756
+0x1.2e201f804197ep-48
+0x7.c3f181dedfdd8p-84
+0x6.1798942445c88p-528
+0xf.d60f492d87f3p+760
+0x2.9a530b953411p+120
+0x5.e7f7a4966d518p-332
+0x1.e81282a7b303ap+920
+0x1.dd81659fbff2ep+92
+0x6.12b6a359b7288p+72
+0x1.1d6cc97fc5fc8p+724
+0x1.a38ca37e832b6p+628
+0x8.352be0b17f8fp-684
+0x8.73786996e467p-216
+0x7.0b786b2a5118p+392
+0x9.fa3c024d80b38p+56
+0xd.07659416f658p+328
+0x7.50710350bfd4p-700
+0x1.08388d9bfd2fap+112
+0x2.55c3e2bcd33bcp-40
+0x1.4e0eea78a754p+676
+0x5.9a6e092255504p-292
+0x2.f87d8180b0aa4p-856
+0xe.02e67581ad76p-340
+0xe.16f88c9377fbp-964
+0x7.dc9c673cab838p+980
+0x1.8a9d878158ca4p+316
+0x1.25058f05f1a16p-580
+0x1.53035b1ecff69p-840
+0xa.0ffad3fa1001p-284
+0x3.54c9a82302ba8p-156
+0x5.dfa0e8d948518p+772
+0x1.2802098d33a4ep-988
+0x7.4e0fe03c34fep+596
+0x2.cd95f2f87752cp-472
+0x1.304287ca9cbd8p-696
+0x8.e466220d43c08p-864
+0x3.c608c9769a398p-672
+0x1.a133b9e97e64p-716
+0x3.9254e0ad2540ep-596
+0x3.d1cfc3f069ea8p+652
+0x1.724d2cc5148d5p+212
+0xe.3ce9107a7baep-560
+0x1.bf13d8822e7a3p-620
+0x7.317b955dd7a5p+456
+0xb.a34de8b86886p-660
+0x2.a3d7980bf0a4cp+192
+0x2.dc1396a9b653cp+708
+0x2.3c69764d7cf16p+744
+0x1.7c29079e182dp-524
+0x7.129a3a741fa1cp-444
+0x1.ede24e095363ap-304
+0x1.e1287a9ccaf4bp-64
+0x7.8d28fabd9d10cp-588
+0x3.cc3820c2b8f7p-836
+0xd.6d3aa04de298p-484
+0x1.8c09050d76fe5p-816
+0x1.80cc09fa87e8cp+504
+0x2.b26d4e01d7b18p-352
+0x3.93e884e3a5792p+896
+0x4.7678d2598e078p+12
+0x1.255f35d50ec41p+384
+0xf.a8e36f0ca157p-440
+0x1.b64ada7e6fee4p-368
+0x3.3c966fe8bed8ep-460
+0x4.6ec634209b9b4p+268
+0x2.565be073614ecp+556
+0x1.c140456f44f31p-560
+0x2.2b67b8c07453p-748
+0x3.7357d6145d688p-736
+0x9.b8a0c3738ce6p-952
+0x3.8f4de99c40034p+984
+0x5.79971b8000448p+944
+0xe.4615943dbc96p+212
+0x6.5a8ac2d404e7p+156
+0xd.78cef7b950868p-152
+0x5.0eb7f5f5ac6b4p+876
+0x3.380755366c958p-692
+0x6.be37e39b97138p-296
+0x4.140517355b9bp-932
+0x7.14f066784ca08p+184
+0x6.0cac63c3f813p+884
+0x2.c5ff59b7a79d2p+592
+0x1.dfa16abc0a40fp+0
+0x6.77535b799d758p+260
+0x7.66da6ce28efdp+916
+0x1.0eb9f051d579ep+604
+0x6.a235185583278p-464
+0x1.84c70e5752d1bp+164
+0x1.2da16fc3a8a16p+536
+0x3.c38b28956253cp+852