benchtests: Make hypot input random

Instead of inputs based on the algorithm implementation details.
About 85% tuples have exponents of the two arguments close
together (+-1 range).

Reviewed-by: H.J. Lu <hjl.tools@gmail.com>

1 files changed, 1003 insertions, 12 deletions

diff --git a/benchtests/hypot-inputs b/benchtests/hypot-inputs
index e987e5dd1b..d81b1074fc 100644
--- a/benchtests/hypot-inputs
+++ b/benchtests/hypot-inputs
@@ -2,15 +2,1006 @@
 ## args: double:double
 ## ret: double
 
-## name: overflow
-0x3.ffffffffffffcp-1024, 0x8p-152
-## name: higher_two500
-0x1.000002027941dp+500,  0x1.0000000000001p+500
-## name: subnormal
-0x0.fffffffffffffp-1022, 0x0.fffffffffffffp-1022
-## name: less_two500
-0x1.fffffffffffffp-501,  0x1.fffffffffffffp-501
-
-## name: default
-3.0                   , 4.0
-5.0                   , 4.0
+# Random inputs with absolute value in [DBL_MIN, DBL_MAX]:
+#   ~85% tuples have exponents of the two arguments close together (+-1).
+## name: workload-random
+0x1.8024bd901cb38p+728, 0x1.8bac8e454d756p+728
+0x1.8bc032ca6bf0cp-216, 0x1.57b49b40dd4e9p-216
+-0x1.1656a91d4b847p-121, -0x1.0d51e5c39b39fp-121
+0x1.79a9f378abecap+399, 0x1.59bacb3d9f56ep+400
+-0x1.49925edb5064ap+843, -0x1.0592668551351p+842
+0x1.d21c9897128a6p-259, -0x1.51bc0a21de1f3p-258
+0x1.84cc5fd7258a1p+1014, -0x1.b58fdaf45caabp+1015
+0x1.1845f813ed3c1p-832, -0x1.d9a5543225b02p+482
+-0x1.3b08c8b06cdb2p+671, -0x1.29a190173f45fp+898
+-0x1.30cd15e304027p-894, -0x1.47cd824035adap-895
+0x1.46ffcb6755169p-246, 0x1.af6583dfdc71cp-246
+0x1.a2bce0621cbf2p-341, -0x1.b198bc9dfcf99p-342
+-0x1.cc993b94e931fp-1003, 0x1.33137c3233bcdp-57
+0x1.00d963a5aa5e5p-678, -0x1.afa61d932704dp-677
+-0x1.e3eb8a41dd9dbp-111, 0x1.24020ee1501a4p-110
+0x1.b9127c183259fp-87, -0x1.389f7aa3fd9dfp-86
+0x1.f8bc32769e759p-395, -0x1.7571a676e4dc2p+558
+-0x1.29a2a5e6f4a9ap+391, -0x1.52df4c9cd59dap+825
+-0x1.9022515eddea6p+15, -0x1.15054bc1613b8p+15
+0x1.191d44da604a5p+571, -0x1.2c476cbaeb92bp+571
+-0x1.4e9ed60b9276dp-542, -0x1.d1e9d01666a2ep+332
+0x1.f9bf6b717a9fcp+414, -0x1.19a08f5c7f872p+413
+0x1.b9dbc74c2e58fp-440, 0x1.e256d7b07c9b1p-441
+-0x1.8343d5c51f3a9p+859, -0x1.8ef0822b27ed1p+858
+-0x1.5e5b1762e5881p-404, 0x1.f5ff3a8167c04p-17
+0x1.1e904c9fc00d1p+959, 0x1.f6c31b0ccd1a9p+959
+-0x1.7fa4a8addb08bp+51, 0x1.90ed72f6b62c7p+52
+-0x1.bebb659c9bf9ap-417, 0x1.f1b77cddf8b2p-418
+-0x1.18ca40cc0d631p-554, 0x1.094d5bdc0d8edp-553
+-0x1.86ef591ab9b4ap+97, -0x1.4fe38e9e8193ap+97
+0x1.497fe0f1adcf3p+539, -0x1.c915e57cb9b95p+539
+-0x1.51def02fadfc1p-353, 0x1.b5c73210ff633p-354
+0x1.76ee4619eea7ap-213, 0x1.19fb248fb716cp-212
+0x1.4f8710825ddfap+843, 0x1.92e59ffe2df8p+843
+0x1.4873d80d03b26p+466, -0x1.85106ab75f90bp+465
+0x1.be319cdcb009ep+375, 0x1.08a6a81ef2d9fp-329
+0x1.06b9d28caa8a5p-124, -0x1.3071acc060651p-123
+-0x1.3d79f01be7dd4p-185, 0x1.9941fd987b53bp-200
+0x1.81348ce04f796p+175, 0x1.9913616b7ac13p+364
+0x1.0400c1053592p-523, -0x1.9f06e5c55c9fdp-524
+-0x1.f385835592bd6p+765, 0x1.2bfe786e01baap+766
+-0x1.4e102576a532ep+127, -0x1.951064c55d753p+126
+0x1.f3b3b96c637bfp+1002, 0x1.acc8fb4ab3c03p+1002
+0x1.de70180439fd8p-305, -0x1.a3f5933bd6ddep-305
+0x1.624127676d658p+1021, 0x1.133532870c5fep+987
+0x1.8247781ae75cfp-800, 0x1.bdddca24918d3p+865
+0x1.df60bbe47f5fep+316, -0x1.af5566e4385cdp+317
+0x1.fdb99289abbefp+446, 0x1.92c0f6be73211p+447
+0x1.bd6d2922353fcp-217, 0x1.4ddb7ae754a0ep-218
+0x1.c93b3f4e2ad8ep-646, -0x1.163f8646522b1p-646
+0x1.eb0b9d891fb22p+869, -0x1.a33509a6b9a85p-1007
+0x1.e849ab3ba76eep+350, 0x1.854c3fa52be96p+349
+-0x1.79f461843cb01p-122, 0x1.cd9b7909e0b2ep-122
+-0x1.576cd94755dfdp-826, -0x1.55d92da71d0d3p+398
+-0x1.9f326bb0da946p-865, -0x1.30231f24c10a2p-866
+0x1.9edf2eb37345dp+649, -0x1.68730a67b8b1bp+894
+0x1.aaa281c695e92p-43, 0x1.552cfc4892308p-44
+-0x1.881523fe06536p-28, 0x1.b21dd9e68977fp-28
+0x1.9b8e04ce1082bp-1013, -0x1.3d88ff952dc8p+187
+0x1.25fcf7fb2042ep-88, 0x1.d891c908b63fdp-88
+-0x1.095f66e821d8ep+160, 0x1.6d167e58d508bp-348
+-0x1.b93e87d5d0732p-518, 0x1.a1b08ae6d6209p-518
+0x1.cb980048582ffp-33, 0x1.87690eee26093p-33
+-0x1.85a25395c0745p+47, -0x1.214356f11d372p+46
+0x1.1a250673b249bp-1003, 0x1.853d8ecd2a755p-1003
+-0x1.89c143fff6eedp+89, 0x1.442526199c9f1p+548
+-0x1.da1c9926d985ap+885, -0x1.ad2f4b558cdb6p+885
+0x1.1c14ac0cec4c5p-665, 0x1.e2f9f7375e0cdp-664
+-0x1.0adadf7373ecfp+171, -0x1.20a2259016981p+171
+-0x1.337ea5027d6b1p-815, -0x1.202d0ca9342c6p+282
+0x1.a06a3e15e2684p+868, -0x1.9a7cb96d9d9c5p+868
+-0x1.002593a8c8843p+906, -0x1.4b8fc2bf430bep+907
+-0x1.946494ed49de7p-735, -0x1.f71162d36e03p-734
+-0x1.5cfab8646afb3p+868, 0x1.3b992ec69854cp+868
+-0x1.7d14c02839714p-484, 0x1.60f90c2d2aea3p-484
+0x1.83f2da9b983b5p+879, 0x1.a75fc0194deaep+879
+-0x1.52b28fe37233cp+321, -0x1.20ed8e0502901p+322
+0x1.ed44975a158a2p-537, -0x1.96b1fe5961ed4p-538
+-0x1.4ba6192dc933p+904, -0x1.c623798113725p-938
+-0x1.08ab8804ac5fbp-671, 0x1.613f93ad71d3ap-670
+-0x1.9edffa1f5a5b3p-811, 0x1.2939b210547cfp-811
+-0x1.9a2a4f5dbdfe6p-834, -0x1.9be9e3073e1a8p-835
+0x1.56a75cdf994a4p-1001, 0x1.c1abfca4d9f42p-1002
+0x1.f43ead1a15eacp+411, -0x1.d1ea9ef760d5p+411
+-0x1.5863273c460f9p+231, 0x1.608c3a4807098p+230
+-0x1.bf30a283037c8p-909, 0x1.2436cd00fd6a2p-910
+0x1.f97e3c82211f8p+481, -0x1.5e7976a14b005p+481
+0x1.7f0f38bb5503cp-390, 0x1.91d219bfbc4afp-391
+-0x1.78d10bc7fcb47p+976, 0x1.ce9f045fd7d4cp+560
+-0x1.6aff320b3a1a7p-108, 0x1.a4428ad4cc771p-108
+-0x1.3e5b8ddd1238dp-375, 0x1.d80fe7ffe5797p-375
+0x1.afb1d0bda1cbp+919, -0x1.70a40d0be5e12p+920
+-0x1.ce8a59af08f91p+103, 0x1.1e18e493f73ffp+102
+0x1.15bc19053e22cp+212, 0x1.7f4cf69e62e6ap+211
+0x1.5f14dd2a1cd05p+263, -0x1.3da3a5f6243d6p+262
+-0x1.4d0c73ea6829ap+572, -0x1.1940a47e7e21bp+572
+0x1.a5ead40188ce8p+336, 0x1.56873ddb1ae07p+336
+0x1.bd556997b9ecp-947, -0x1.cac7794b81417p-947
+-0x1.ba400aa0a0bfp-157, 0x1.b79f2d0e3cb5cp-156
+-0x1.2911d0c0b277ap-553, 0x1.85131b2e44ccap-554
+0x1.aec0c715443fap-601, -0x1.87737dcca7b8fp-600
+0x1.bab66adf8cb66p+76, 0x1.c4c326a5e02d3p+76
+0x1.f64aa9aa0437bp+666, -0x1.01ec10acce32p+667
+0x1.7ea35f4b8ccaap+820, -0x1.3e510e57b3392p-204
+0x1.219713de605e5p+293, 0x1.151094109000dp+294
+-0x1.9f4154e8b859dp-957, -0x1.436cb6a2c2db1p-957
+-0x1.b991c22a55255p-134, 0x1.24b4fd64ee1c2p-134
+0x1.8f9b0e9f74c1ep-508, -0x1.8e59b754c9db4p-509
+-0x1.c69dbef24bc5bp+43, 0x1.b16c2dd3477f3p+859
+-0x1.804bb5656da86p+90, 0x1.be38831f240f3p+769
+0x1.45602c1c35f33p-50, -0x1.66e953da5fb9fp-49
+0x1.79813a5f2f8c8p-860, -0x1.9a928f2bcf226p-860
+-0x1.5b44cbda3a0fap-569, -0x1.bb6e3da1c65e6p-569
+0x1.8bbf33f78a383p+580, 0x1.5fe60267fcaddp+579
+0x1.515dd9d766b01p-692, -0x1.a9317792776fep-692
+-0x1.47a87cea13ed6p-114, 0x1.1fd7a379e73bdp-114
+0x1.738e0f16f00e6p+304, 0x1.e88d3cae21f6dp+303
+-0x1.89a94598bbd16p-329, -0x1.342bf9ccfb32ap-330
+0x1.216f17692fc21p+351, -0x1.97e78a8e5599dp+351
+-0x1.126f60772faa7p+673, -0x1.fe51239e34c05p+672
+-0x1.4eaf460c8916dp-231, 0x1.9d1e7ba881ec1p-232
+-0x1.00f7377f7c985p-502, -0x1.fe3e13dd7a7f8p-501
+0x1.95c2fe253df5dp+471, -0x1.676b490b2aaabp+471
+-0x1.f0ce1f3855555p-192, 0x1.5a7cb5c9ba871p-192
+-0x1.4949f12847ba1p-56, 0x1.bb382974be2fbp-55
+0x1.b5ac1d0c099eap+870, 0x1.b33fc2d1ec03fp+871
+-0x1.af46b91ec7c73p+766, -0x1.c3e746e835358p+765
+-0x1.cf325ac0ef2f4p-304, 0x1.2f9f616a24dd8p-303
+-0x1.2d50f90552cf1p+600, -0x1.dbab102cb4786p+600
+-0x1.faef367638d74p+784, 0x1.3d59c4ae7cfafp-1020
+0x1.d931ac8f9c04ep-118, -0x1.1bb6dd27518ecp-119
+0x1.25e026ade10a9p+991, 0x1.dd281046c75b7p+990
+-0x1.fb430593bb6bdp-423, -0x1.cc61fd84652f5p-422
+-0x1.2ab99548e65dap+929, 0x1.43eef8662c0c4p-431
+-0x1.bbee54029d727p+29, 0x1.6b9aa5a83c422p+30
+-0x1.158d951590196p-168, 0x1.20dda2e7831c3p-168
+0x1.a8482c699f9f8p-800, 0x1.9435c6999e83p-799
+-0x1.6ec59b349e5e3p-744, -0x1.eeef33f115713p-744
+-0x1.fdab8c8570253p-30, 0x1.8682f5c3069b4p-31
+0x1.0124962b43a28p+726, -0x1.9d097ac1cb8ep-258
+-0x1.20aa08ce23494p-881, 0x1.e8997f55d7122p-1011
+-0x1.08c546512f156p-140, -0x1.113c0583f497p-141
+0x1.92b13efbe80fdp-785, 0x1.4fe02b51495afp-784
+-0x1.74e8040a4d71p-390, 0x1.c0c53c66a7198p-369
+-0x1.1486c8ea365b2p+1009, -0x1.9665b3f70a2ccp+1008
+0x1.15c540f64bf43p-326, 0x1.8b5a24da9b0ep-326
+0x1.fa822daa87cccp+367, 0x1.1ae80a1656147p+367
+-0x1.2afbe9a9333a8p-517, 0x1.ceca3c79b92acp-518
+-0x1.70a873b46f62p+381, 0x1.36e1d1f6a0907p+381
+0x1.cfe9d30191f4bp+360, -0x1.a765c95677082p+359
+0x1.fefa02168fc62p+595, 0x1.152888186e1dp+594
+-0x1.db4775a4bd806p+491, -0x1.d31c36a760eaep+490
+-0x1.3457b397fa1b9p+807, -0x1.fa86655877a8ep-427
+-0x1.5bd8d682564bap+713, -0x1.11eb02cdf2e2bp+712
+-0x1.d83dd1ebbfdf6p+803, 0x1.e6526d2a648e9p+804
+-0x1.da9bd59d9b996p+526, 0x1.bbe7e5f5d2abcp+525
+0x1.43133a18fd60fp-381, -0x1.e03c2d888b6efp-380
+0x1.8775e2fd18c8dp-908, 0x1.cd3554221b43cp-907
+0x1.4194294291bcp-699, 0x1.26994e32a1c7dp-699
+-0x1.6dcd8556753fbp+405, -0x1.fcecc4aa4d61dp+406
+0x1.28dfb08cc99a8p-20, -0x1.975cf4c261234p-19
+0x1.3c135e937834dp+995, 0x1.96ad5271b8fd8p+994
+-0x1.b38d71cacaa8p+673, -0x1.e59374df5ca0bp+546
+-0x1.3cdc2104d819dp-373, 0x1.705388643c9dp-374
+0x1.17e785fe93042p-818, -0x1.d63914e5721ffp-392
+0x1.35094089c57a9p-781, 0x1.382eec27baeffp-780
+0x1.08c772059300dp-488, -0x1.118762d94f997p-488
+0x1.47085f6300654p+728, 0x1.d30d00ec4d26ap+729
+-0x1.28c220f3527fap+112, 0x1.2254925c6417ap+111
+0x1.89cc58bb5300fp+84, -0x1.fadf563a100d3p+84
+-0x1.9ae92b12a4bb6p+65, 0x1.08b679e564adap+66
+-0x1.64b48b3afccfep-87, -0x1.194be0e52c3e1p-87
+-0x1.ebac07538d2bap-911, 0x1.d37ce4adf6533p-912
+0x1.4260a1b7cf245p-605, 0x1.92778f84e9463p-173
+0x1.f5ab16b4ffa6cp-872, -0x1.c9c08fd213bbap-873
+0x1.8413501a4483dp+338, 0x1.5c9a9485285e8p+29
+-0x1.203a1a4237defp-763, -0x1.3e218c4235fbep-762
+0x1.3195334dd27a1p+884, 0x1.8d6c03c8e0c15p+884
+0x1.3e5035cddeb52p+567, 0x1.565288f66f7cap+566
+-0x1.b9d2ab912eb0dp-104, -0x1.4d07360438617p-103
+-0x1.d1688d392fe9bp-559, -0x1.939c72f049a6cp-560
+-0x1.3c518873745ap+535, -0x1.c97a0cf88696ap+534
+-0x1.174876fa2bd2dp+343, -0x1.63ba626f57819p+342
+-0x1.f106228e7ed5fp-41, -0x1.1b734454367e3p-41
+0x1.37f12dd3dd8d9p+954, -0x1.a104efdc127ecp+954
+-0x1.1f522b40d655fp+536, 0x1.9253f6017c7d6p+536
+0x1.4d64c8f9d4ddp+927, 0x1.cac774df25194p+926
+0x1.f44bcf8dfd995p-555, -0x1.2f6067e12d12fp-555
+-0x1.6e4d819b734fp-720, 0x1.6e18c9748bc89p-721
+0x1.41dbc04b0dd63p-495, 0x1.a2307b901a9bep-494
+0x1.4949d78703c11p+957, -0x1.a29b7131d9eaep+957
+-0x1.0377906fe03b6p+591, -0x1.88579722b0e3cp+592
+-0x1.a6bbd5ed34c53p-251, -0x1.7edb4c9d4fe8ep-250
+0x1.94b550d936248p-976, 0x1.e87db1d421cp-976
+0x1.017a176cdf11fp-490, -0x1.f7ecb99163e02p-489
+-0x1.bb0e0efa75632p+790, -0x1.24798f20b5f03p-127
+0x1.109af8262e155p-152, 0x1.1200c69dc30b6p-151
+0x1.aa1d4f7721118p+831, -0x1.222909e300cfcp+832
+-0x1.6c13fd20f7485p-959, 0x1.9da9d3ba63eb2p-959
+0x1.ca079caaf89e1p+127, 0x1.0706a1045c741p+587
+0x1.869ba645de68dp-514, 0x1.d87bd75177ec2p-533
+0x1.7be014f4b34f3p+586, -0x1.218473f466a13p+586
+0x1.e4a79067ce7d9p-737, -0x1.50105be1ee909p-736
+0x1.07ce0a1144dacp+903, -0x1.2d9fa9b49e4f1p+903
+-0x1.8306ad24b5412p+706, 0x1.cbce14f1539d9p+843
+-0x1.6e33d78405d23p+545, -0x1.fedd982e8c922p+545
+0x1.f58cf2da0c84ep+422, 0x1.acfe87a77dff6p+421
+0x1.4df6fe4b87b3ep-955, 0x1.2c98033dbaf65p-956
+0x1.a16b3c71974f2p-53, -0x1.2671159a6f14ap-935
+0x1.cb8b95336efe4p+275, -0x1.432384020f608p+939
+-0x1.05c01dcc05a52p-514, -0x1.2cb31a3b1be44p-515
+-0x1.b06dadff394fdp-37, 0x1.3c96a3f3263f6p-36
+0x1.46a47a499bd44p+663, 0x1.1372e031518acp+664
+0x1.9d4d2fbd7d19cp+299, -0x1.cb79df06fc0c9p+300
+0x1.f7c7ed8858b85p+182, -0x1.3ff28fb9bfefap+183
+0x1.6de6b8b109c75p+54, -0x1.39653780561a3p+55
+-0x1.e291379f68b68p-304, 0x1.e50e82465fce1p-305
+-0x1.dd73bfe21b8b4p-650, 0x1.30bacb1a5494fp-651
+0x1.9656bed10f46cp+935, 0x1.511161b697cf7p+934
+0x1.391889155e58ap-728, -0x1.adac5e3c41483p-727
+-0x1.105f338ac3808p+37, -0x1.a3be9b895976ap+12
+-0x1.ba456392803a5p+455, -0x1.f79e59a952304p+455
+-0x1.9eafba25eda6ap+181, 0x1.18301070d2f6fp+180
+-0x1.6199b8eab37afp+415, 0x1.1cf5992d5ad99p+867
+0x1.5395a20faa65ep+526, 0x1.5c2528af6b94ep+527
+0x1.cd309966160c8p-534, 0x1.78b686ed74184p-534
+-0x1.5033f1d2ee602p-851, 0x1.b94a0ffe8b7f1p-851
+0x1.84a7e3452f2f3p-104, 0x1.6f7204d00a605p-104
+-0x1.dab566588211fp+680, -0x1.66ceb1c1ea934p+680
+0x1.e52bcde6e012dp-845, -0x1.393677b0ac22ep+528
+-0x1.8a633f5d9f603p+590, 0x1.f9dff8a9ef3cfp+591
+-0x1.528ad131e26fbp-169, 0x1.bc6a751392981p-168
+-0x1.c8e4114cfb02fp+795, -0x1.8392a2bb6c595p+794
+0x1.4193703599da9p+937, 0x1.527ab23daf8b7p+937
+0x1.fb97a90798a46p+51, -0x1.179004c8e17d2p-1
+-0x1.9e23a327ac691p+58, -0x1.1087b2238a834p+58
+0x1.146b58fd2d7e3p+1003, -0x1.e1697844cd9e8p+1003
+0x1.c5e2e831ca0ffp-348, -0x1.3eaa84db71755p-347
+-0x1.c15da428a479p-736, 0x1.068ec990ec517p-736
+0x1.57f01d1f3c844p-515, -0x1.61c1af939738ep-516
+0x1.f648d4c90d01p+303, 0x1.404cc01fd12f5p+303
+-0x1.15b3409dc9caap-933, -0x1.0a6edd99f45a1p-105
+-0x1.d005122d87b4cp+112, -0x1.929f76d0eddb3p+112
+0x1.1316095f27976p-629, -0x1.fd750bd1bd6c6p-629
+0x1.8499012fe74eap+341, -0x1.b92a20dec4d94p+340
+0x1.5f2df72e55d64p-12, 0x1.5b8d543cdf08bp-12
+-0x1.bb8f1dd22e046p-1018, -0x1.4945d958a6edfp-1017
+0x1.078d8bce24971p-249, -0x1.d221ae1075d7cp-248
+0x1.a42611c057465p-784, -0x1.cdd271443b643p-783
+-0x1.7f6538ae4b373p-413, 0x1.290c2fc30ea4dp-413
+0x1.d6afda12392dcp+132, -0x1.0b77af0550ab6p+132
+0x1.873e6bb38db1p+438, 0x1.f197f22b91889p+438
+0x1.cd3425986fbfdp+309, 0x1.4683ac1c291fdp+308
+0x1.a7aaef3c8cd7cp+999, -0x1.89afeef815ac2p+508
+0x1.5a88360d4847p-517, -0x1.dd062aaed3d76p-518
+0x1.ad8c341310105p+390, -0x1.0a7691e9a6807p+755
+0x1.b862e55050533p+554, 0x1.29fbb1e6ae69fp+555
+-0x1.40c910be60123p-722, 0x1.3ee926fb99dd5p-722
+-0x1.2a78fd6c0d71p+140, 0x1.f859140b1951p+140
+-0x1.cbafb0ac75904p-956, -0x1.7de21bb133928p-956
+-0x1.2382132c50d92p+132, 0x1.5d70c16bac9eep+132
+0x1.a47f757ba070ep-861, -0x1.e1047eb80504cp-862
+-0x1.40433a1724e85p+381, -0x1.43e0e3f904a7fp+382
+0x1.4e983140edec7p-943, -0x1.f157bf2c46a39p-942
+-0x1.ce5ff4542dd1dp+818, -0x1.f07f9d21bbdb9p+818
+-0x1.c467ca33ccdc7p+133, -0x1.2c1eeb4531b8fp+134
+-0x1.aa2c0de8d274dp+273, 0x1.5ab3f374bcaap-5
+-0x1.bab697889ffebp-407, -0x1.86a47f8734b45p-264
+-0x1.a353efe6f2206p+248, -0x1.06467463f8cacp+248
+-0x1.940c6f620a8d4p-124, 0x1.4efecc8976f86p-124
+-0x1.e0c6fd7cbe32ap-453, -0x1.be1c0f9eddfd8p-454
+0x1.3abe69258731bp-95, 0x1.22b9e3a89244dp-94
+0x1.643f9bed273afp+650, -0x1.fcbb66a2f54b9p+651
+0x1.6b53684e02b85p+893, 0x1.561c908eeba8ep+892
+-0x1.a59439562f399p-797, 0x1.1b31ddc2da8acp+279
+0x1.686bc7550fc0fp+519, -0x1.4f363ff8300ecp+519
+0x1.72f5a846381dp-797, 0x1.61ce05b171d13p-796
+0x1.10c33080740c2p+340, -0x1.7e4e36f7fb02fp+340
+-0x1.38deb035968fap+1019, 0x1.b4332de20f0e6p+1018
+-0x1.d4f2d1f7475b7p+710, -0x1.b8846eb2d4a9bp+710
+-0x1.e0aef06df8ccbp-274, 0x1.dea4b3ae6fb38p-273
+0x1.5ce663c8587e5p+427, 0x1.2ef6cdf111a32p+428
+-0x1.c4f48866a2fd1p+837, 0x1.6e5fd3d18e3f2p+682
+-0x1.3c86ef796946p+966, 0x1.263bf73c95f37p+967
+0x1.2fad9b74af92cp+121, 0x1.127e5dcfb83a4p+868
+0x1.5f1c6dbed320fp-179, 0x1.d2faf5c59cc44p-179
+-0x1.906f039de6f9cp+954, -0x1.32c45a96ff108p+953
+0x1.81ab1a54c63c8p-866, 0x1.b73838caa1708p-866
+-0x1.f4e892950e7b3p-273, 0x1.b929b5df85d48p-274
+-0x1.a5bcf8c5abf82p+385, -0x1.6e9271f6e1024p+384
+-0x1.cffbd84a9204ep-972, -0x1.de7610ee1a80dp-972
+-0x1.2f99fb78709e3p+572, -0x1.d1dc6aa220fd4p+573
+0x1.fd55be124f579p-938, 0x1.d2c288a7bb6e8p+956
+0x1.d36e06484436dp-955, 0x1.a8aa43bb43e92p-955
+-0x1.04cf796a596ap-803, 0x1.17fe273789c54p-804
+0x1.810bc250b110dp-857, 0x1.e5882f5ce1fc8p-858
+-0x1.67ba73ae5eacbp+887, -0x1.8d1b8d0876146p+886
+-0x1.0a0018ff82cfap-87, -0x1.d1b60bf9cf01p-86
+-0x1.967257b219be6p-127, 0x1.69ac6846d31f2p-953
+0x1.10fce4ef9309fp+543, 0x1.2c3ee3ea4a0ccp+543
+-0x1.def487d0c6e07p-586, 0x1.29a0525bd76a1p-586
+-0x1.2205267ac2515p+7, 0x1.6d275a135b55bp+6
+-0x1.a363fd79300e2p-272, -0x1.42d63e8ae337fp-273
+-0x1.c79b366d03831p+245, -0x1.377f7699b44b3p+244
+0x1.941dafa7e55ccp+868, 0x1.6a2c870eccfaep+868
+-0x1.bcabccf57b6a3p-947, -0x1.5655beaf4bf54p-946
+-0x1.f6b0d5a5e7005p+310, 0x1.4ae3abe8b93dp+310
+-0x1.dac5d1c637c1cp-172, -0x1.14ab981ddc457p-172
+0x1.59ca9afe6e2a7p-505, 0x1.b1d5d8173728bp-173
+-0x1.750bbc55844ebp-223, 0x1.c67732560680dp-223
+0x1.775112c4c12f5p-545, -0x1.4eac868fd58c5p-544
+0x1.794d37269b02p-221, -0x1.feef780bfe656p-221
+0x1.aa495a00f45c7p-383, 0x1.f46824dd8eb81p-384
+0x1.c2b4cfca9ef26p+287, -0x1.e0d8b8aa7d33ep-992
+-0x1.a0be4ebd8ad5fp-44, -0x1.4457bfb3c55dcp-44
+0x1.d26a273d4be2ep+28, -0x1.eae032e1cb97fp+27
+-0x1.300922f50a9d7p-891, 0x1.cb3cd79745c98p-891
+0x1.c1bad1bd851afp-1021, 0x1.3266984f17b63p-1021
+-0x1.8f64e5611d169p-916, -0x1.8277b1f8df158p-917
+0x1.fa2fbd74085f9p+424, -0x1.51dce353e1ed9p+841
+0x1.e5d021536c3e9p-791, 0x1.7142d557e2c03p-790
+0x1.68451a1c6ed19p+663, 0x1.07e31746cca87p+662
+-0x1.a80711553e2fdp-974, -0x1.66a00006b4fd1p-582
+0x1.94a2ea291121ap-16, 0x1.3b27eef8828cap-15
+0x1.b0bd0d82fe77cp-389, -0x1.2c974afaef61ap+454
+-0x1.b102fbd1edc26p+729, 0x1.c66ae65e86846p+728
+-0x1.f6d398a43558bp-305, 0x1.cc72615c211a1p-305
+0x1.6cd5cb80caf3cp-556, 0x1.0445f9b29c2b3p-555
+0x1.d9e3a6725f4e1p-6, -0x1.d8a0aef97729ep-278
+-0x1.4964817960ab7p+876, 0x1.5727bd4597931p+877
+0x1.d7edb7e404e3ap-295, 0x1.9e83d0a838c2ep+158
+-0x1.5ab38ecf30bdap-283, -0x1.4d17ed4bbae6bp-282
+-0x1.952151d9501b1p-330, 0x1.cb700ac0b3d8cp-329
+0x1.eb5bcb6986225p+498, -0x1.a0c8870940b47p+497
+0x1.964fef06bba8bp-112, -0x1.f24836659f4a6p+998
+0x1.567f8ccf938d3p+1018, -0x1.405d951c74ca1p+1018
+-0x1.eb66c62ee67d6p+493, -0x1.e06c6d2dde306p+494
+0x1.1bfeac484aa2p-630, -0x1.64855409ac411p-629
+0x1.c7b158ba3209fp+379, 0x1.099351ad4d92fp+380
+0x1.ac7ba63c13ba5p+702, 0x1.34ef205f8d3b3p+702
+0x1.1b661342d41cap-765, -0x1.39203b6d94fcap-764
+-0x1.2f120bf2d2541p-290, -0x1.ae33f8e87654ap-291
+0x1.823966f853ca3p+513, 0x1.3eadd8ed6e2b1p+514
+0x1.8ced2720f98d3p-314, 0x1.d78ae34f2f45dp-314
+-0x1.521c48d63864ep-860, 0x1.3b6932142ad0dp+122
+-0x1.8690e89682aedp+306, -0x1.81abff69cd4cfp+306
+-0x1.a4f2e208acae6p-612, -0x1.373a7085c58f7p-160
+-0x1.1b0c510176f59p-61, -0x1.8bc0c592cae7fp-389
+0x1.f8ac3de85aa69p-90, -0x1.6c9ac4926ada2p-89
+-0x1.3d39c2049fdddp+357, -0x1.efae2e3ff0857p+358
+0x1.cf6fdf4d7b08dp-576, 0x1.e883acd61bffcp-577
+-0x1.5ce019f6659f1p-872, -0x1.5a5271951131fp-873
+-0x1.20f65a6454f33p+388, 0x1.24601524fc415p+937
+0x1.bf560723a33c3p+182, -0x1.eb45caa1b32aep+183
+0x1.53cbdcdceb348p+130, 0x1.51b565a702f3ap+1008
+0x1.ad391d3976f58p+604, -0x1.f94b7f81724e1p+605
+-0x1.b44c7f70fe30fp+19, 0x1.bd3e3f4a71d2ep+18
+-0x1.cb73d3ccc9dd8p-966, -0x1.68eb3f473e4b2p-965
+-0x1.5d84f454e98adp-585, -0x1.033abf023d03ep-584
+-0x1.d39cd18f49457p-782, -0x1.4a2c24cedeacap-782
+0x1.cb287f5cd3697p-52, 0x1.75797927bfa73p-359
+-0x1.c0b8cdca4a311p-767, -0x1.7d99971d724abp-768
+0x1.f499d7c0215c2p+29, -0x1.a4bf8f3709161p+28
+0x1.3ae8421c2b3c2p+168, -0x1.a36533ef9442fp+167
+0x1.308e1b659a3ecp-939, -0x1.21420314daefap-940
+0x1.522c86dfe8853p-710, -0x1.f5e88f57dfb0bp-711
+-0x1.5139aa4e08b7fp-897, 0x1.d9c9578cba152p-896
+0x1.0aa37881f5dc5p-586, -0x1.19f56946c22aep-585
+0x1.b0dd0f213dfa4p-962, -0x1.e8df33327deacp-961
+0x1.61eaa6c410f6cp-890, 0x1.75fa2a9090a35p-890
+-0x1.b7a0fcc05269dp-599, -0x1.cba5dada746aap-598
+-0x1.dd495e7da346ap+369, 0x1.d249095cf1dd4p+368
+-0x1.e4f93bb429eefp+444, -0x1.07aef44909dbbp+445
+0x1.23c6b6482089fp-427, -0x1.2385a02217f49p-428
+0x1.5e5a14dd0a138p+603, 0x1.a22eaa193b5d7p+604
+-0x1.8d7baadfe2f65p-12, -0x1.1258219a55b7fp-13
+0x1.b0080d18bcaaep+731, 0x1.8de212a557eb1p+730
+0x1.a9aa07caca304p-279, 0x1.a9c3af2b8c791p-19
+0x1.0f95653229e8ep+40, 0x1.f9d4ce0b4d781p+40
+-0x1.14950c1350bdfp+441, 0x1.1aedcc90af45p+441
+0x1.1cf6c16253e2p+367, -0x1.0d5871169cc62p+366
+0x1.745ee7eda8939p+1006, -0x1.bf9cec67ba69cp+1005
+0x1.a70024ffdb57fp+307, -0x1.33a24a6f045bp+308
+0x1.141f63e60146p+452, 0x1.d1b7bd90e8d71p+453
+-0x1.892644cefa5a4p+153, 0x1.b94ec3a0388f3p+153
+-0x1.2a6794322d0d1p-633, 0x1.9f2547fe9dda7p-634
+0x1.442abe3cbf837p+277, 0x1.c216425a67ccp+276
+-0x1.beb23648fa635p+305, -0x1.fcf9222d03d34p+306
+-0x1.1586139ba5d3ep+307, 0x1.9c0474decad1fp+306
+-0x1.dd8d14cc1c89fp-302, -0x1.d44fb9b82287ep-302
+-0x1.ed996b5c42e1cp-663, 0x1.f043c58a3bcf2p-662
+0x1.7ab969ae06971p-368, 0x1.c91152ec9195dp+358
+0x1.66eba6709d68ep-568, -0x1.603e07426cdbp-569
+0x1.6cc30e2fe28f6p-286, 0x1.2a755a0cb2c34p-285
+0x1.fc1ca916c73e2p+649, 0x1.18f11fa7a3e92p+648
+0x1.9905264cb5277p+193, -0x1.6e3196ac15b3dp+192
+0x1.6912faf0a1025p+418, 0x1.43e6138bec227p+418
+-0x1.1264bb7f95ddap-105, 0x1.816c1ea0b8dbbp-105
+0x1.b3698f39e25ccp+1012, 0x1.922061941f43p+1013
+0x1.b6cfd47526acap-817, -0x1.606315bbf4bcep-817
+0x1.d9920d0b757f1p-579, 0x1.81e34f8d0485cp-579
+0x1.35cfe64280324p+461, 0x1.8a185c4d1ed5bp+462
+0x1.b11003de2089cp-412, 0x1.b246aeb99234cp-411
+-0x1.b4db1f879dcf7p+828, 0x1.b328c726d2f27p+828
+-0x1.0bf3a113ba9e1p-365, 0x1.c6b09795ed4bap-719
+0x1.a479c2d60a1p-732, -0x1.f0fbf8b94b921p-733
+-0x1.da8eeff38a1eap+989, 0x1.052093d2ca76cp+989
+-0x1.f5c43066db89cp+260, 0x1.8ba62f9d2a129p+261
+0x1.948edfcfeed0ap+1, -0x1.ee41d16074175p+168
+-0x1.63c9e08bc75e8p-495, -0x1.5db2b28a4f3d3p+102
+-0x1.687f66dcb815cp-498, -0x1.2149b909267b7p-498
+0x1.5829b2bed76a8p+429, 0x1.30438323712e3p+429
+-0x1.5623a23632204p-715, 0x1.8c10d0cf82a11p-714
+-0x1.c2a9c6cb0af78p-777, -0x1.c7ed077493b15p-777
+0x1.92d7bc92f9f55p-131, -0x1.ef3748b5eacb6p-132
+-0x1.993d15cff2476p+278, 0x1.3548d8f23e1aep+277
+-0x1.6bad13e7af3bcp+159, -0x1.94ee017bb5171p+158
+-0x1.d46a97c9317d9p-727, -0x1.3bfeef890c794p-727
+-0x1.37eb421295ed7p-675, 0x1.acac48a8ab95dp-675
+-0x1.fc7fc478cde83p+773, 0x1.883ae38300864p+774
+0x1.dfd166255333dp-798, 0x1.347995751113bp-799
+-0x1.38e869e2224c3p+116, 0x1.952c6d21bfe79p+117
+-0x1.59a7d36a76f95p+811, -0x1.181416d9167a6p+811
+-0x1.d77ca279ceeb4p-307, 0x1.0c53c01b7f26ap-306
+-0x1.a87c3c9b778c4p-88, -0x1.b7313dfdfcee8p-87
+0x1.08c3640412d94p+414, 0x1.4fa1bec557a25p+413
+0x1.142c46a0df1cep-967, 0x1.6b28ee66cf24cp-967
+0x1.5a8c8b9591bb1p+123, -0x1.b83564452778ep+123
+-0x1.471fb1f94bc46p+505, -0x1.89bd9ee964688p+506
+0x1.d9bf5e674564dp+432, -0x1.61eb89760d3c7p+474
+0x1.7e6c90603b84dp+536, 0x1.c3184b01479d2p+536
+-0x1.7b00b32d6c842p+254, 0x1.6222953dd70d3p+255
+0x1.12c86580604f2p-524, 0x1.53364a02b339ep-160
+0x1.f0eb00e8b7ac1p-177, 0x1.49cd35e3adbcp-178
+-0x1.a4c9534f93eb8p+954, -0x1.0f0b36d191d0fp+954
+0x1.9800dfca15e46p-927, -0x1.036122ad8195p-928
+0x1.d7f44cdf03a86p+430, 0x1.bfe8afd365af1p+430
+0x1.42f20fb360181p-228, 0x1.b15d498ef41a4p-229
+0x1.88cb6bc110e8bp+923, -0x1.bc6d81f2a9259p+924
+-0x1.27f0f28a8f075p-377, 0x1.59f346dbb6452p-378
+0x1.b3a71294049f5p+302, 0x1.c33479092ae7fp+303
+0x1.b44302ec76a84p-770, -0x1.0b957c300ad3ep-771
+-0x1.1d558efb8e70fp-685, 0x1.ffc9728356451p-685
+-0x1.6b2a70a26c676p-744, -0x1.f0d2f1222d18ep+284
+0x1.060062b535c12p-985, 0x1.73c66a1b94f27p-986
+-0x1.767b618d75369p-165, 0x1.ca2fce567cd92p-166
+0x1.156e31ccba147p+731, -0x1.6406f03ac0563p+730
+0x1.35628f45901ep+981, 0x1.d3b4c1d0d0f4ep+982
+0x1.9e7de1df5e639p+886, -0x1.53fa035c89c2cp+179
+-0x1.78eccd3d769b3p-80, 0x1.26fbe1fc1a05ep-79
+0x1.5bffe59265ae1p+89, -0x1.d9392e2a37583p+90
+-0x1.15696c625b66cp+65, 0x1.3dbf36faffda5p+65
+0x1.6d3e33b133715p-635, 0x1.4ace6f9c11c62p-635
+0x1.96831ca5b767cp+382, -0x1.70906fbe9eb46p+381
+-0x1.88562df4b2818p-722, -0x1.35e726489d794p-721
+0x1.108dcd5d383e1p+170, 0x1.f2dc390601f08p+171
+-0x1.e4b3009e1ed13p-775, -0x1.4f1e181a35985p-774
+-0x1.50709e00c67d7p+427, 0x1.5888297e97cap+428
+-0x1.a572105e58ce9p+442, -0x1.934591a100f48p+443
+-0x1.9de6eb87f1de2p-324, -0x1.fed27f77fde2ep-325
+0x1.4229e46c59928p-117, 0x1.58fa82400b4abp-116
+0x1.2729af20c57bbp-40, 0x1.5e36daa7b67fdp-40
+-0x1.2cda1f3304f99p+52, 0x1.89a5188dfd509p-424
+0x1.bf97502dcb373p-325, 0x1.39a264aed8026p+394
+0x1.7f4f3bb205414p-697, 0x1.bd68bb44a9c91p-696
+0x1.136e54cd0fbbcp-44, 0x1.0d12d238de3e8p-45
+0x1.1f9ee4410c131p+490, 0x1.cddf41e59a4ccp+490
+0x1.4b656d5505c12p-989, -0x1.d585413018d5fp-988
+0x1.ec1d3894696a2p+220, -0x1.b9a5bb8bff16ep+219
+0x1.6b411ae4933b3p-363, -0x1.6ca1fe71b963cp-364
+0x1.4613f05f58d93p-438, 0x1.1e09a95fec9d9p-437
+0x1.0cb42a1106b29p-211, -0x1.4057a2826d661p-211
+0x1.b73c0d650f0ep+376, 0x1.345c9f06ee0f3p+376
+-0x1.078be1d68ad76p-538, -0x1.75e90e3842b5p-538
+0x1.dc9d1ed1562ebp+167, -0x1.148d2fc851bc6p+166
+-0x1.6830544f48571p-529, -0x1.402662c6f9309p+921
+0x1.2aa448fda9ccap-409, 0x1.638a4883a4bbep-409
+-0x1.1310c85f7edf5p+427, 0x1.d429322a565f8p+403
+-0x1.9a06cc8e0de8cp+657, 0x1.d2341a746c7c6p+911
+-0x1.4f55835709b2ep+358, 0x1.a4735787d30b6p+359
+-0x1.9365fbca5eed3p-22, 0x1.da3e2e827476fp-21
+-0x1.97c07f749fd1ep-144, -0x1.5d50b6635d12fp-144
+0x1.bbf856877b3dbp+939, 0x1.f46d11d3d9316p+938
+0x1.f006188bc2974p+316, -0x1.5749e2a0d8d0ap+6
+0x1.74999d80010ecp-177, 0x1.7162e2f937a2ap-178
+0x1.50404d987bf58p-145, -0x1.0bc3a6ed949dbp-144
+0x1.f14163a4ded81p-100, 0x1.e182e9741f6bbp-101
+-0x1.f3a314c08423p+892, -0x1.9b4710b784375p+893
+-0x1.7a92fa68598ebp+1002, -0x1.a2e45344c1f33p+1003
+-0x1.2d875704c6374p-458, -0x1.c95d811f36c92p-457
+-0x1.c540999a922cdp+684, 0x1.c1d9d8ec0085bp+683
+-0x1.7e9b483cb1a33p-855, -0x1.488b1db9314c4p-856
+-0x1.b81f271a349edp+47, -0x1.e28d9f71550d8p+46
+-0x1.67ca09c66ed82p-488, 0x1.a0cc474288654p-489
+-0x1.7c286267235c7p+810, -0x1.b6e84ad65ad7cp+809
+-0x1.d7ca6b04415d2p+90, 0x1.892eea15568c3p+90
+-0x1.ff69db650ba8bp+1004, -0x1.95486a15f6ca6p+1005
+-0x1.8548a2b48db0cp-110, -0x1.9e5b6054b44e1p-110
+0x1.31c1aa769f6fbp-90, -0x1.17cef921f1ce9p-90
+-0x1.3ae028e3b8e52p+741, 0x1.e41f5dd28e889p+740
+-0x1.4600539e192fbp+182, -0x1.ce6c3aa1b03a9p+183
+0x1.96082f59292fep-620, -0x1.f5bb197e13afbp-619
+0x1.36a103f019ca1p-69, 0x1.f8ad06e156316p-70
+0x1.9932a324bc093p+329, 0x1.8b58d0ea8110ap+328
+0x1.a8a6ec37ca493p-504, -0x1.cb0c97a0d17a7p-503
+-0x1.0ceeb6e7c4e4ep+961, -0x1.cfe17774cecc2p+962
+-0x1.b8271574b3222p-80, 0x1.452cbdd7beb1cp-80
+0x1.3c9e46fbf890cp-1002, -0x1.576f223085655p-1002
+0x1.e92fc92b5b18p-914, 0x1.16fba365cafdep-915
+0x1.7201348276c59p+550, -0x1.0780aa10dd03ap+549
+0x1.a05a007b2f29cp-498, 0x1.62e3cc22c0063p-498
+-0x1.657e11ced04abp+533, 0x1.df8ef30251e7ap+537
+-0x1.2c23fbd1c2f47p+712, 0x1.36a056b07f894p+712
+0x1.2981e0e568243p-852, -0x1.3bec376991266p-853
+0x1.47623bcc49f49p+670, -0x1.40b9d0a607899p+670
+0x1.adf5dd878ec0ap+634, 0x1.7f09a3bd73e66p+633
+0x1.eaa281a09f9c2p-338, 0x1.c97fb5c9da822p-339
+-0x1.2ccf7fd8a5fb5p+782, 0x1.4de11a2640677p+782
+0x1.5da49fe2c3ec3p+754, 0x1.3ff02eb3ba42bp+754
+-0x1.f092255633c19p+619, 0x1.f92a9e7ce5f61p+620
+0x1.a21c5ae12b8cep-1021, -0x1.98680d6891dc2p-1022
+0x1.8880658bc6e16p+493, -0x1.390b9dce4b87ep+494
+0x1.4a8a6fcc79dd1p+279, -0x1.8a4769edb1fc9p+278
+-0x1.944acb4d46784p+436, -0x1.6aaa422ed102p+435
+0x1.d3ce5de55a03ep-31, -0x1.fb8c6f543a54dp-30
+-0x1.28d61461ea7e9p+417, 0x1.905cc88852b05p+416
+0x1.5353aecef0ae1p+829, -0x1.534d7ceca4415p+828
+-0x1.43a312002c46bp-200, -0x1.a96255c0d5855p-201
+-0x1.fa93879d6984dp+220, -0x1.5996231e687bp+521
+0x1.f5999e7404f65p+335, 0x1.9af95bc4276f6p+334
+0x1.0b6228aaf3922p+649, -0x1.0c237d92f9453p+648