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
+-0x1.f90d23a4b2178p-562, 0x1.f6ceb918b887ap-562
+-0x1.f34d014a079a1p-134, 0x1.9ae304edcb8afp-134
+-0x1.578b4d72fea0ep+601, -0x1.409d6e0c2d011p+600
+-0x1.7347439fb7e4ep-222, 0x1.d36c6f96d10bp-222
+0x1.d45764c12b4eap-428, 0x1.774d7c9e86dd5p-427
+0x1.7b8b0af4bd69cp+712, -0x1.41157d8c00fb7p+712
+-0x1.e8a6a4729466bp-88, 0x1.286b5e8598fa5p-87
+-0x1.d6e459774a102p+31, 0x1.fb0f51a3e230ep+30
+-0x1.0b1fde4cf1434p+716, 0x1.bf99d49bea2e2p+715
+0x1.9d08865f04436p-879, 0x1.947de791127b7p-880
+0x1.8479af86bacp-917, 0x1.4991076c2b816p+666
+0x1.88f48c4d372dbp-280, -0x1.bd8e0fc88265cp-281
+-0x1.7669dde1fc80ap+852, -0x1.7a9f02fc4519ep+853
+-0x1.0ab0e9fb4640ap+133, -0x1.3712bff4786bdp+133
+0x1.e83d6dc55fd89p+541, 0x1.95ccc319e5bcbp+541
+-0x1.25864328ec29p+137, -0x1.f215da0606733p+137
+-0x1.711efd45a4819p-629, -0x1.cdf391e791f53p-630
+-0x1.a34389a35eedp+385, 0x1.f70b2e208b75p+386
+-0x1.6deec3d45f9f8p-927, 0x1.f00aa5615b27ep-928
+-0x1.d4ae1159ec686p+130, -0x1.b2d2a5d38743bp+129
+0x1.5f93968912256p+572, -0x1.903faadefe72bp+571
+-0x1.f0738554bb2bep+142, 0x1.251e8c06cdb45p-385
+0x1.64867b0e682cap-625, -0x1.505f349c0da7dp-624
+0x1.a1e1180e5ee8ep+794, 0x1.37a29f3787e6p+795
+0x1.4d7290a880ec4p+859, 0x1.95ca0b67baf46p+860
+0x1.e6d3dae2e9aa5p+832, 0x1.33f6aca20e0f4p+833
+-0x1.821528caad042p-371, 0x1.e492424c93ca7p-372
+-0x1.9e9bb4f557ca7p+279, -0x1.e52c6b4b681c3p+279
+-0x1.1bb8570ff13a5p-291, -0x1.c7d8b6793560cp-290
+0x1.090c5fe53ae98p-632, 0x1.54899c4032ad2p-83
+0x0.6a3a1235315f7p-1022, 0x0.50511665a3e2ep-1022
+0x1.4c95b092f6c53p-679, -0x1.186fc94ec12e4p-680
+-0x1.9599db2ece7c4p+900, -0x1.92ea1f6a89b1bp+900
+-0x1.6c34dd132cdf5p-671, -0x1.b380542ea4261p-419
+-0x1.b25b8d358c265p+497, -0x1.0ce546947c2a1p+497
+0x1.8523f775a6482p+171, -0x1.f5e9c24717603p+172
+0x1.22a71698812c2p+619, -0x1.9966c770ab847p+620
+0x1.d4661ea9ed437p+358, -0x1.8a8aac703161ap+357
+-0x1.e1d53899018b7p-433, -0x1.d75fe6a8e5ed6p-433
+0x1.676934ff4999bp+812, 0x1.0fce50fc688d6p+813
+-0x1.957f89298dc03p-737, -0x1.022eaa21abd62p-738
+-0x1.e4370124d612ep-282, 0x1.0203afd397fccp-283
+0x1.d61c2668b8412p+830, 0x1.097f5afe1f4a8p+829
+-0x1.7f52d17443c65p+873, 0x1.e6335b01ecd36p+874
+0x1.51559190901e9p+168, -0x1.ea8c752043f0fp+169
+0x1.d2315b8dbc2afp+811, 0x1.16a1b87cc77fbp+811
+0x1.36c5fef83a243p+83, -0x1.25153ba098146p+83
+0x1.a112fc98b64e5p+659, 0x1.41c83f92a9003p+659
+0x1.32492b982f2c8p+246, 0x1.1388c50e582e7p+247
+0x1.1caa37647ae6cp-803, -0x1.4acab8d71de6ep-803
+-0x1.61683fc0f0639p-532, -0x1.7215a991ea10dp-532
+-0x1.9bdc92373778ep+104, 0x1.c14e2952202f4p+103
+0x1.4768a46bc7c57p+949, -0x1.343c2831a7ba5p+948
+-0x1.c46f2bc1bfac2p+575, -0x1.2807b81d02ef5p+1017
+0x1.cb7cfe5b04bc4p+777, 0x1.637cca326b40bp+776
+-0x1.a87707e2d01c3p-883, -0x1.3bc8b2da344dep-882
+-0x1.f7d93e64bde94p-34, 0x1.c134e934a0552p-820
+0x1.c15a93e5e2a3bp-935, -0x1.28180ae6e01d6p-935
+-0x1.0dc2c867c1032p+981, -0x1.e0eb4d10e094ep+981
+-0x1.2e2670b23f54p-106, -0x1.33fb66694c716p-105
+0x1.bebdafa76849fp-41, -0x1.977564a400a23p-41
+0x1.350618f56957bp-461, -0x1.7dbdb0e368b06p-462
+0x1.7df80ddbab6afp-907, 0x1.38fce889af1eap-906
+-0x1.166f32c118ebp-700, 0x1.761d897f1954dp-699
+-0x1.c35d8b74fbb69p-544, 0x1.2784b1b21cdap-544
+-0x1.070246a99ee2p+800, -0x1.e71c64dff1bb6p+801
+0x1.1f576af6d5985p-793, 0x1.872c01f766dabp-794
+-0x1.d78d2f0428eddp-730, 0x1.3d89c47ebfa51p-730
+-0x1.a3ab098ab4eaap-396, 0x1.d6ea384e7b325p-396
+-0x1.e88f10f14de86p+814, -0x1.36519a4d936dep+815
+0x1.d4e3e4672b48fp+601, 0x1.53227eb8bf94ep+602
+-0x1.384731ad8dd1cp+44, -0x1.95b529aa72344p+45
+0x1.68f13f93cb15ep-115, -0x1.0fb25961f5dabp-116
+-0x1.f53aa70096ad7p+533, -0x1.c62324553ad6dp+533
+-0x1.90d22a4370bdcp-736, -0x1.5b838394655e1p-735
+-0x1.bdbbd81dcbb0ep-441, -0x1.9c670295f0ap-509
+0x1.0c587f730646dp+196, 0x1.7d450274d4c62p+197
+-0x1.46cd435fa794cp-191, 0x1.f5c2eba5b20bbp-191
+-0x1.b8f5c3bacac48p-489, -0x1.11d982a82f3ffp-489
+0x1.228303c83fdc2p+704, 0x1.b60a9ae03a3efp+704
+-0x1.35eba67976898p-584, -0x1.2428c4f564a9ep-584
+0x1.e4f0d158c452bp+218, -0x1.322b503a7346ep+218
+-0x1.cd59d9e003aa7p+830, 0x1.12345b851367dp+831
+0x1.d6ddf75854a21p+254, -0x1.edd98c4e32a94p+254
+-0x1.e7b92094bb09fp+109, -0x1.59ec6b8ef8789p+108
+0x1.ab75e917a2899p-354, 0x1.c7ccfdc380d01p-355
+0x1.ef4a6e4a738a6p-551, 0x1.48e51232c8105p-550
+0x1.8dbe790d4e5a8p-52, -0x1.4068af2d3a47ap-53
+0x1.0e4e2ff08422fp-964, -0x1.052700778987fp-964
+0x1.b1c2f0d3023afp-725, 0x1.21ff74ff73bdep-724
+0x1.39ad2b40bba06p+377, 0x1.dbc3e52dfab7ep-45
+-0x1.f6b1bad9210a3p-836, 0x1.bf648dba12a0bp-835
+0x1.c225eb6b77048p+1020, -0x1.e7f7a8836625bp+1019
+0x1.9c20d5acd0daep-227, 0x1.1ab28c6ea8eeep-227
+0x1.3038895a8a944p-670, 0x1.59dfb15d55d3ap-669
+0x1.e2659ec4bcca1p+448, -0x1.9a263d2f541c3p+448
+-0x1.4f74cac5689e4p-166, 0x1.df04a6b7ee1d4p-165
+0x1.7a4332f5870dbp+210, 0x1.e441f95c69cfp+210
+0x1.77a14f8b151e4p-490, 0x1.6d543d57f13b1p-491
+-0x1.d987fa804099ep+511, -0x1.c795c461328dp+511
+0x1.7d65188df22c6p-318, 0x1.9e3913d0bd9b9p-317
+-0x1.d8434afe7617dp-996, 0x1.c8277a6192ce5p-995
+-0x1.ad438af51ad24p-902, 0x1.3cbf840a876c1p+101
+-0x1.c9451e1844d37p-87, -0x1.3feb2e60ebe13p-88
+0x1.ea6bc851ca3dp+326, -0x1.1d87c635d68fep+327
+0x1.5c3f6494badcbp+946, -0x1.d3af4e92d63d8p+946
+0x1.b892cd1b9dab6p+255, -0x1.04dce08646d9p+254
+-0x1.ef34471768744p-837, 0x1.3dd50be145ad7p-837
+-0x1.8ba1fb4215b1cp-890, -0x1.9b20bf799db18p-891
+0x1.637fc60c4aa08p-500, -0x1.206321fca391bp-501
+0x1.9d087b9c0415cp-767, 0x1.734e79425587bp-257
+-0x1.6d7823203c732p-639, 0x1.27ef72d43660cp-638
+-0x1.f5fab0b3a6a42p+412, 0x1.4234947e04887p+412
+-0x1.cedac6d6393ddp+420, -0x1.4072d2c40ae41p+420
+-0x1.c032037c62b29p+26, 0x1.de334da754ca3p+27
+0x1.e2ea70ad49855p-833, -0x1.5d33354862ea5p-834
+-0x1.3ca64cb387d5p+425, -0x1.86a4c9b3c6e85p+425
+0x1.e8c60880ed931p-931, -0x1.f246fee02a069p-932
+-0x1.cd68e7d88581fp-23, 0x1.7de96c364b667p-281
+-0x1.80f495c43133p+938, 0x1.bb6bd13d15ed9p+651
+0x1.efa2a9e6b62edp-152, 0x1.6eb2b5eaaaf26p-151
+-0x1.a926fcdd5e15dp+43, -0x1.fcf06280ab641p+44
+-0x1.b16b9f2649614p+928, -0x1.db50600c9aa6cp+929
+0x1.6faef3b1156d3p-576, -0x1.000f5ead5fb41p-577
+-0x1.0dc70a61a8243p-246, -0x1.ce387d91379f1p-247
+0x1.c758791935e9dp-641, 0x1.5b49a075b470cp-642
+-0x1.4ab9b1ad7db8p-911, -0x1.b17bb7444ef82p-981
+-0x1.790baa9a5e8cp-962, 0x1.3eff89e90b1e1p-680
+0x1.9c8e859f2342bp-964, -0x1.0ff120f64f4bep-963
+0x1.489a30e2e2242p-845, 0x1.2ae1e150ca8bdp-844
+-0x1.28e2d6b2d8a58p-786, 0x1.77468cf3ff725p-787
+-0x1.459f3a7ccb2b3p-286, 0x1.b353c30150a84p-286
+-0x1.8bb285081508fp-979, -0x1.89f61e29ba473p-979
+0x1.6925917745bd4p+910, -0x1.4a6344373f9e3p+911
+0x1.be87ea06c4719p-574, 0x1.83b403d371c3ep+14
+0x1.5ab5f0e2f0bbfp+414, 0x1.0b8a382ea2c59p+413
+0x1.b9c16cfeabb11p+664, 0x1.576b1265f9f26p+665
+-0x1.07f8bfd843175p-324, 0x1.fd0dffb9b9b55p-325
+0x1.f5c601a71cb4bp+603, -0x1.a4955efe6e421p+602
+-0x1.7504860c95a06p+791, -0x1.e09c45b4e60d4p+792
+0x1.54670292d79d1p+824, 0x1.2df71e2144b3ap+824
+-0x1.afbd34aed4cdfp-413, 0x1.025a4c18d0b1fp+306
+0x1.e226d307fae16p-475, -0x1.6f7f15d97843dp-476
+-0x1.aebfdc33cc146p-906, 0x1.db82578b9ea73p-905
+-0x1.10f97eeee4f86p-149, 0x1.be2b3db15cfd2p-149
+0x1.39fa4e05c9e63p-373, -0x1.1f0449c66e362p-372
+-0x1.3d28eea4f852ep+864, 0x1.fbd20c796c131p+863
+-0x1.6c1f8d5d3d4e6p-922, 0x1.3578394f3ce66p-921
+0x1.8cec92998d7f4p+27, 0x1.ee6042de1a573p+28
+-0x1.85665d1d575e5p-561, 0x1.cc65e746fd7a5p-560
+0x1.6937bb55b8e88p+47, 0x1.34783250522adp+46
+-0x1.350c24072b504p+386, 0x1.c9a351fed48f5p-852
+-0x1.b29644748f1e2p-986, 0x1.3d599b4724471p-986
+-0x1.b0b0e38688ae2p-281, 0x1.d187fbf54f27ep-282
+-0x1.3e674dd6f89c5p+115, -0x1.951fe15ebf4adp-261
+-0x1.c4895ea342da3p+668, -0x1.4ffd458f38269p+668
+-0x1.cf4f83d11daebp+744, -0x1.7704ba0ab63dfp+745
+0x1.d4acb43178a9ep+1015, -0x1.b6f221bd0bd3p+1014
+-0x1.717868dcc8bdep+513, -0x1.dcc295199d9dap+512
+-0x1.a74cd6ac3096bp-171, 0x1.d3da6461b347fp-170
+0x1.84e2707bf3626p-501, 0x1.893a73731f91ep-502
+-0x1.0205141af2b58p+745, -0x1.7d43bf48c6c37p+1001
+0x1.d324cb568a606p+843, 0x1.4a287b86e3597p+844
+0x1.fa4aabe7c7d7bp-679, -0x1.04da3d0ba7f34p-678
+-0x1.d05eb9c5aff88p+1020, -0x1.cfa0d167b4475p+1020
+-0x1.f886e7081f3f5p+595, 0x1.0b2a6057e5584p+799
+0x1.98a8fae4b67ecp+438, -0x1.b22c3959bff3ep+439
+0x1.3f47a7521e70bp-61, -0x1.1f783b79824cfp+894
+-0x1.9161fd90c9521p+69, -0x1.a2361985e25ccp+68
+-0x1.5b86a4b2ee1efp+424, -0x1.ea508c483db95p+424
+0x1.bd88728a2dbb2p-504, -0x1.fe667952d3a99p-504
+0x1.f27aeb3367d01p+735, -0x1.5a3cbc0132316p+736
+-0x1.2885db1b4f4fdp+796, 0x1.70231c031f948p+797
+-0x1.010c68b1be1abp+831, -0x1.24d83f69fb80fp+830
+-0x1.6b43c3448b438p-352, 0x1.6ab0b15db9bc5p-351
+0x1.97a4b4f232d56p-951, 0x1.2394a62042442p-314
+-0x1.ac34b1d1a3c7bp+681, -0x1.c76d340fb051cp-276
+0x1.41e76b87932b7p+265, 0x1.27f3fcb0a66dp+265
+0x1.2b30d7c85125dp+106, 0x1.0ef4ef444c08bp+107
+0x1.54a11f6c1ad09p-153, 0x1.aaa06f823f8ebp-152
+0x1.47631b5f2d077p-855, -0x1.118cb75dc13cbp-855
+-0x1.43ab87450665ep+318, 0x1.ff250e60330efp+317
+-0x1.0dfaf07b44079p+576, 0x1.48e976a4ad8fbp+575
+0x1.26b8e7679f535p+668, 0x1.e0876970131cap+668
+0x1.639cc245d6efcp-976, -0x1.8fad499b6cabap+547
+-0x1.81f9e56d9a88ap-248, 0x1.b300289948a32p-248
+-0x1.ca1bbd3e1b063p+644, -0x1.e97637f2b84f3p+643
+-0x1.6c981d1a5ebb7p+488, -0x1.71bc21d1babe4p+488
+0x1.85e6455b911c8p+333, -0x1.664133b232f3cp+333
+-0x1.5063a2f7b619dp-335, -0x1.52c9400fda1f5p-297
+0x1.da3185a66c8dap-737, -0x1.402e7d1437527p-736
+-0x1.08ba0c93c1aacp+812, -0x1.dfe72be781d93p+811
+0x1.d9a0f260e24a9p+340, 0x1.3d1c76fc484eap+339
+-0x1.cc28451d691e3p+367, 0x1.03c64e00497b8p+367
+-0x1.10d0eb676566bp-644, 0x1.3aec814b7832dp-644
+-0x1.cb67e558f853ap+417, 0x1.d8a50d46b82d4p+416
+-0x1.841b17884da49p-28, 0x1.5c2981c3a727bp-28
+0x1.f671db0f62c8fp-429, 0x1.5aeb2f86b97cep-430
+0x1.615cc606c41e7p-697, 0x1.4ed3e61c2792fp-696
+0x1.282d8b49789ebp-127, -0x1.5492c244d3f26p-83
+-0x1.3af411c9de396p+630, 0x1.b0dd29e5b8ed3p+629
+-0x1.22df70020c95fp+1017, -0x1.cd96f8765d868p+1016
+0x1.6dbffe514c20fp+463, -0x1.3258454200a65p+463
+0x1.5aaf0ca78c2dep-906, -0x1.0575e6814979cp-905
+-0x1.5263d8c6e6e49p+174, -0x1.0ba674d20dcc8p+175
+-0x1.389844e7019dap+83, -0x1.58873b9498656p+83
+0x1.7406677453a5bp+922, 0x1.d65ce87ebf43ep+923
+-0x1.72671b75d248bp+386, -0x1.43104dc27cf43p+386
+-0x1.5c2ecdd5636acp-228, -0x1.61f949d6b0369p-228
+-0x1.18e4ffa34abc8p+360, 0x1.767be03108f5cp+361
+-0x1.3e51a7d753b5bp-124, 0x1.e90318e9bd552p-125
+0x1.d6ae940007d84p-341, -0x1.e40635bcfbd71p-342
+-0x1.c53b5cdb0fff8p+450, 0x1.61238517a1016p+451
+0x1.b159d603c3608p+417, 0x1.dbf22eb8be1c1p+417
+-0x1.00111526b25afp-95, 0x1.3b00ee289e884p-95
+-0x1.12526c92f6ff6p+757, -0x1.f78a0e3277b37p+758
+0x1.b5d9f9e48796cp+1001, -0x1.3b2bf39cc3963p+1000
+0x1.9f60eda714ca9p+166, -0x1.ee38bc9d55921p+166
+0x1.efc75fb7f4316p-127, 0x1.7450411bf90c1p-128
+-0x1.774cabdcf1a9ap+216, -0x1.ee20902b7b599p+215
+-0x1.e08c5597a24c7p-447, -0x1.979a8268cdd26p-447
+0x1.81b69f535f9cp+512, 0x1.d41ed4b7c87b5p+513
+0x1.ca360f233c14dp+196, -0x1.6b58927b741e9p+197
+0x1.e059d058baeep+217, -0x1.9a57df83f491dp+216
+0x1.66af5d560c45dp-893, -0x1.1d7f54155e4dep-893
+-0x1.13b30402ed3d4p-828, 0x1.bae2ec8cfc5fdp-828
+-0x1.3fec40fc922p-186, -0x1.342a9d659e0cbp-185
+0x1.51906038710a6p+1020, -0x1.8cd32a5c95a34p+1019
+0x1.475046384d0e5p-517, 0x1.2a245f57b253ap-518
+0x1.29c880ddc5e9fp-249, 0x1.4c9f2bedb3a12p-250
+0x1.28cca48b9ed61p-870, -0x1.b7a6fb92104ap-870
+-0x1.902edd9e0302fp+23, -0x1.2db68186b5d77p+22
+0x1.8f7d4f0e26e69p-734, -0x1.da0aab7be1339p-733
+-0x1.988297d419989p-713, 0x1.36ad77ed20e46p-713
+0x1.cd8e1ee61583p-351, -0x1.50ab9d5ca6df3p-351
+0x1.da2fb14c8f21ep+958, -0x1.40f682352e5c6p+958
+-0x1.0e081072528fp+384, -0x1.8c1551126cb9cp+384
+0x1.929d0d9abc36ep+276, 0x1.88f95669e84f1p+275
+-0x1.ac9c3de07dab4p-941, -0x1.7d7d5c32c81acp-940
+0x1.d161a29209a74p-78, 0x1.d8c4554e1fcd3p-79
+-0x1.45acbf53db35ep+154, 0x1.3b94e71f9357cp+154
+-0x1.ba79dcf84d32p-788, -0x1.e1fcd2b8d84ebp-789
+-0x1.9e2688ae2be83p+431, -0x1.fcc2460349b37p-866
+-0x1.f136050e4c1c8p+372, -0x1.5914fbbc50bd8p+371
+-0x1.de09fb5966572p-64, -0x1.0af4e60e5a682p-64
+-0x1.4f983789943e8p-195, -0x1.86e54e1d9f20ep-195
+0x1.2ef325f07210ep-773, 0x1.16cc12cd48f45p-772
+-0x1.045beafaf1118p+623, 0x1.0dc2e86d56745p+624
+-0x1.fe22ae277e898p-66, 0x1.cd97084e25823p-66
+0x1.397f4059928f3p+985, -0x1.d323e8ed27c77p+985
+-0x1.d8b803915f081p+875, 0x1.502ea4c13c89ap+875
+0x1.776696586b0d7p-960, -0x1.5e3b2f7c2dbep-961
+-0x1.be6b4eb9312a8p-843, 0x1.5439d2d705486p-842
+-0x1.c2a16ed400a99p+814, -0x1.1dea125d82c6cp+813
+0x1.03d31ea8300f8p-446, 0x1.2c4a542d34f55p+493
+0x1.e18673bbfa9fp-78, -0x1.bbc67afa182a4p-77
+-0x1.912bf4b11467cp-54, 0x1.f4f309bec838ap-54
+0x1.3001fd707af03p+199, -0x1.2d6ff9b65dce7p+199
+-0x1.7011be18564bep-640, -0x1.b784c8e086f3dp-639
+-0x1.935820849c9c3p-607, 0x1.0ee1d6dd3d5bfp-606
+0x1.ec6f681bf6ef7p+258, 0x1.8f2240747c7dbp-700
+-0x1.f4e46ec0cf4cbp-312, 0x1.06ad9b1d27c97p-313
+-0x1.e715fb3712a4ep+508, -0x1.80701e9e5f96dp-628
+0x1.53b8317b976a4p+897, 0x1.0b760081bba37p+896
+0x1.0d02ba019db65p-845, 0x1.a0f6eaff39604p-845
+-0x1.c0828c23a3639p-781, 0x1.dcb8d76aa3321p-780
+0x1.4ed849615b9fcp+762, 0x1.4d0c08ac5444ap+763
+-0x1.57328c4ef75ep+525, 0x1.5a54a747c2a65p+524
+0x1.1696da949d9d7p+588, 0x1.32b072bcc866cp-653
+0x1.b2779f46c372fp+824, -0x1.4d4a68640ace9p+825
+-0x1.050e69d5cfe2cp+521, -0x1.0b7beaf34b377p+34
+-0x1.f9d73bda7963ap+100, 0x1.4ba62404ee4d9p+100
+-0x1.8d17ce7ce3a5fp+788, -0x1.55ed461dec6f1p+789
+-0x1.6461b741b2e08p-186, -0x1.5ff73407dc908p-82
+0x1.09e12460aac01p+537, 0x1.d08864121ce14p+538
+-0x1.a1190cd4d9053p-342, -0x1.f2bf6147fb7eap-341
+0x1.e0efa73613f58p+1005, 0x1.e1da5e977a2eep-691
+0x1.57cf0ca445259p+350, 0x1.fab5af012cd1bp+351
+-0x1.d494a4ac4900dp+456, 0x1.2d0fde2ecd439p+457
+0x1.750fb2ceae194p+6, 0x1.4ccf05e8a928ep+7
+-0x1.5c6dd30465806p-990, 0x1.a569ee485678cp-989
+-0x1.6d40564dd346bp-80, -0x1.e595b614da8aap-81
+-0x1.9a260fda8e2abp-880, -0x1.c30f0757508fap-881
+-0x1.87305c274fa72p+494, 0x1.12b82800ff89ap+495
+0x1.841482d5cfcep-416, 0x1.8d52a22f15cc2p-415
+-0x1.cd68f880f550ep+48, 0x1.7888eb69e57d9p+49
+-0x1.566cbc639e02cp-277, -0x1.534eaa8a89ad4p-276
+0x1.034d08e6394e5p-277, 0x1.0d493c685781dp-277
+-0x1.f6b96b062672fp-92, 0x1.537198fb15f9fp-93
+-0x1.de9f21f186f5cp-1006, 0x1.09eb28981d96bp-1007
+0x1.2f21369a1398bp+871, 0x1.0be563f962265p+871
+0x1.14aa90f2323cfp-13, 0x1.d1017158ec567p-12
+-0x1.68afc930efa4p+964, -0x1.f958e51b1597cp-469
+0x1.e331e60c2737bp-490, 0x1.8775c92e7398p-489
+-0x1.f08089e083cc1p-892, -0x1.68434034f0f41p+69
+-0x1.5b04376b7e4cep-311, 0x1.fc50fcfabe575p-311
+0x1.3f8a41a4eb0f3p-851, -0x1.65039bc46be42p-852
+-0x1.917828be8714fp-641, -0x1.88a6bc51cd992p+792
+0x1.ece89bc8d233dp+871, -0x1.6de405ee4022dp+870
+0x1.8978a6e510b5ap+967, 0x1.6ab0fbe587f2cp+966
+0x1.036f8bfa88033p+904, 0x1.3642291c3bd4p+22
+0x1.844369cda488bp-651, 0x1.fab315f17554fp-652
+-0x1.fc3b49f590879p+942, -0x1.7a515c329fa6ep+941
+-0x1.d0deccd511bfcp+622, 0x1.1de4b619394b9p+623
+-0x1.8074afbdde6ecp-384, 0x1.77d898ac6d21ep+726
+-0x1.44fd680e2988fp+279, 0x1.5dd0138cfdea5p+278
+-0x1.3d43eeb405a3cp+977, 0x1.1e3338ed72ca8p+192
+-0x1.67c2adb24ad47p+421, -0x1.902f488f6fc17p+420
+-0x1.581b2cccd7742p-215, -0x1.ce1e47531b29dp-216
+-0x1.6ae4d5cd8f947p-442, -0x1.78b5678e41e4fp-442
+0x1.d6098920a73afp+973, 0x1.f4ce0bf285865p+972
+0x1.dad25ca5f773dp+39, 0x1.6bd3dd04ae473p+40
+-0x1.1db0e81d5dcf7p-993, -0x1.2982723358558p-993
+0x1.8843b9485a0d3p-195, 0x1.907b11ce1ef0fp-196
+-0x1.885bc45b3b849p-231, 0x1.6ba810ccaa416p-231
+-0x1.a4d57f1881c25p-499, -0x1.41c4d1ea2b3e6p+196
+-0x1.49688d1feafbbp-123, -0x1.51eec83d536e9p-124
+0x1.d4edf0c5e7ac5p-926, 0x1.917f2fcba1cep-684
+0x1.26be7e1664f6p+124, 0x1.b2f8c1a15d2bdp-760
+-0x1.275c93b4aa34bp-532, -0x1.1395945aa5517p-533
+0x1.ee6be330ed1c3p+186, 0x1.dd4dd51afde36p+185
+-0x1.303b8c81dfffbp+378, -0x1.b827435e4b156p+378
+-0x1.f53fdc2a3d86ep-94, 0x1.dbdc1f6859303p-95
+0x1.f7f6f90c43a08p-515, -0x1.bb4277d58242cp-515
+-0x1.93cb5644b6bfap+717, 0x1.827355dcd8ef9p+716
+0x1.38806cbb3087ap+527, 0x1.193153ca350d8p+528
+0x1.be1e71332a781p+761, 0x1.669a69b0da27cp-776
+-0x1.1bfc72d0f8008p-255, -0x1.a8e469ec2f462p-254
+-0x1.42be7af1292cfp+153, -0x1.09d0931d54fd6p+152
+-0x1.76b2bba38f8d7p+580, -0x1.2ecfdabc48252p+581
+0x1.91f0a0c09ba3ap-581, -0x1.23ef87ce9714ap-582
+-0x1.ed3a1c8878b99p-241, 0x1.6533ae948f6abp-242
+0x1.8fcad3560a07dp+145, -0x1.f0dfb18cf68bcp+145
+-0x1.8bd6cb8d0ea97p+931, -0x1.ba933aea913abp+932
+-0x1.9365cd496e065p-577, -0x1.ab7867fd3e823p-577
+-0x1.3f7d5578ccdfdp-138, 0x1.78f0ec5659b01p-139
+0x1.027eed8ae1b62p-640, -0x1.bb33bbbe0a89bp-640
+-0x1.41350f085eec8p-597, -0x1.85dcd069e53dcp-598
+0x1.7cddf656dcf22p+676, 0x1.b91946534ff94p+677
+0x1.1cb747b93c7fdp-913, 0x1.bc0f79c5b7746p+462
+0x1.b4705d551725dp+174, -0x1.92a23d2741f08p+173
+0x1.0d48c1a8453e3p-705, -0x1.f6a17530298a5p-706
+-0x1.eb138892cbf18p-921, -0x1.c43de3beed52ap-283
+-0x1.5842add1bfde6p+410, -0x1.5466687ba8da9p+411
+0x1.666f87045790fp-786, -0x1.5b1c40182ee7ap-787
+-0x1.badcb49479afep-897, 0x1.b4091d04002aep-897
+-0x1.0092686cc74dcp+663, 0x1.9e85c70bc4abdp+663
+-0x1.577b4407cc35cp+888, 0x1.9cc36e02f4e32p+889
+-0x1.3bcf0c27d3dbbp+843, 0x1.7f821b55cd003p+844
+-0x1.78994ec2aa42dp-663, -0x1.f7323078889d4p-663
+-0x1.a534128c16d66p-949, -0x1.05baec72033fcp-949
+0x1.59c7de6aeba61p-543, 0x1.776603a440ca6p-543
+-0x1.1cc5a62520dddp+857, 0x1.f67b1f113f8d5p+858
+-0x1.74ca59478caa5p-145, -0x1.aaa41c040c80ep-145
+0x1.73d25e55c45a9p-690, 0x1.fda83b6256116p-689
+0x1.8410c8aa018b6p-786, -0x1.38375f6a07c3ap-759
+0x1.1e1db3ad8f38ep-146, 0x1.b33d528191072p-147
+0x1.5e34caa15dc85p+93, -0x1.64d6f00a200bep+5
+-0x1.18e9a0dbb019ap-786, 0x1.4b72db47887d1p-786
+-0x1.502b4d222c42fp+560, 0x1.44337e028971ep-664
+0x1.fe99bd1c0acb2p-77, 0x1.6b0fd4d1cdf3fp-76
+-0x1.c70140e5cab05p+559, 0x1.c88eb74beb422p+558
+-0x1.03715ffc7ca4dp-895, 0x1.f7c48f107655cp-894
+-0x1.ada02f7614c31p+83, -0x1.7dc541253e353p+84
+-0x1.f00578b6c5591p-596, -0x1.921b6f68a1bep-595
+-0x1.b3cabf73e1824p+172, 0x1.2bae1011c61dap+172
+0x1.a314c38db7ad9p-515, 0x1.8a614bae70008p-514
+-0x1.47f40f102d876p+658, 0x1.f8abb06fbf3d3p+657
+-0x1.b28754f5f0b09p-957, 0x1.2da0687cebf82p-958
+-0x1.f6aeb9d927e84p+671, 0x1.bd6423bb2fe39p+671
+-0x1.72f9819665063p-918, -0x1.b9b6f5cfd5019p-918
+-0x1.9a0c3ad9f5972p+0, -0x1.76c93469a33dep-53
+-0x1.7da191253de34p-245, -0x1.36bc3555dd5f2p-245
+-0x1.5451bdba2f217p-155, 0x1.110739635119ep-156
+-0x1.9869ee239a096p+665, -0x1.35d6defac7e89p+665
+-0x1.24298f40f81bbp-796, 0x1.2f873ad19b6fp-797
+0x1.35a76404e4568p+626, 0x1.659546ef3e5afp+626
+-0x1.bc0ea0b50eaacp-525, -0x1.840a2ddac03d8p-524
+-0x1.8fdb4ea36a0c4p-30, -0x1.fa3b3c9f46928p-30
+0x1.dd28303f153c2p-856, -0x1.986d280d88e3cp-856
+-0x1.14f9684c3c7f6p-270, -0x1.9807824f61d16p-270
+0x1.9e6832c67dd64p+779, -0x1.2e765d75194f7p+780
+0x1.c93aa3e3409cap+599, 0x1.b025d5c14c47fp+600
+-0x1.f66272d9b89b1p-818, -0x1.9aa5a3e8e49bp-818
+-0x1.889e12116d352p-739, -0x1.2a73e7dd47771p-738
+0x1.912d320743a8dp+167, 0x1.7218c87bc45b7p+166
+0x1.5fa4ed3e97345p-553, -0x1.24de78ff8563fp-554
+-0x1.065e327c9b395p-434, -0x1.c3fe52783ad5fp-435
+-0x1.3e84ba2fb45b3p+584, 0x1.ab8915611e53fp+585
+-0x1.c0839021cb37bp-256, -0x1.8336b1b181378p-256
+0x1.84c26765d69b1p-409, -0x1.308eb334cde0fp-409
+0x1.4511111b2cebp-93, 0x1.1385b1127536dp-94
+-0x1.c66b3976ad13bp+898, -0x1.8f74bf1764742p+290
+-0x1.2497ad675228cp-474, 0x1.1770682ab7138p-333
+-0x1.5db7293e5ab2cp+186, -0x1.5f5eaa677a5fbp+186
+-0x1.0f1b381f8a2bfp+405, 0x1.0c83a594500cdp+837
+0x1.2cb5b964566f6p-20, 0x1.7b32e271c3e45p-19
+-0x1.33754483bcfb1p+912, 0x1.d92fdf87eaaeap-1021
+0x1.058f7ed613e62p-9, 0x1.2bb4d21f1c8d3p-990
+0x1.d41c96f8db6b3p+551, -0x1.89b9fc8ac9022p+551
+0x1.69ba56673a7d1p+702, -0x1.f8e8b5a256633p+702
+-0x1.09089599bb2ccp-642, -0x1.9afd8ea9cd974p-642
+0x1.5ef57186efd49p+494, 0x1.46b4fd0db187ap+495
+0x1.fedc8f6c53ce8p+159, -0x1.6d0cbe9cf51c2p+158
+-0x1.0e82e1a04685cp+649, -0x1.bdc816b3cc742p+648
+0x1.da6bdca95f124p-297, -0x1.36a151b609e4ep-298
+0x1.23bde81d51f8p+752, 0x1.a046aadeb1a8fp+751
+0x1.d7d46e00a9fb3p-97, -0x1.9990e998b16ffp+781
+-0x1.9164c139a28ebp+876, 0x1.a309e3e7721bbp+875
+-0x1.5372456ccc9cap+549, -0x1.12d6533bbb58p+550
+-0x1.abd54c537fcp-830, 0x1.13bfdb7409b22p-831
+0x1.389bbf0918f6ap+107, 0x1.4a043d020dfefp+107
+-0x1.4297a01dd25ap-312, 0x1.809eb4a492906p-368
+0x1.f3e364918b1c3p-470, 0x1.5af89603133dbp-469
+0x1.f3ccabb235adcp-718, 0x1.996fac5cecd33p-718
+-0x1.33786030cff04p+890, 0x1.35181849c038dp+891
+0x1.24ff1b13cfe37p+463, -0x1.1fb9d11492b24p+463
+-0x1.2143ea9548c8cp-245, -0x1.f5b0959c85433p+731
+0x1.e924f233f5f07p-237, -0x1.6bf01ec73f424p-236
+0x1.b1161d0a87142p-539, 0x1.28c2cf77a4f06p-540
+-0x1.38766e1295d2bp-132, 0x1.40cd20d6912d5p-131
+-0x1.a106f43f62cdcp-785, -0x1.19b6f1b6f809p-786
+0x1.214df5924426fp+7, -0x1.118e2a4ac1f58p+7
+-0x1.97baeb41d8497p+606, -0x1.174d945d4c5abp+605
+0x1.f4a6dd3a2e036p-955, 0x1.1ab97dce28be6p-955
+-0x1.efc50ae42a2c7p+121, 0x1.52b2681fbff2fp+121
+-0x1.af683672e8ce1p+270, 0x1.e5e23021cb783p+269
+-0x1.3aa35ff8669a5p-561, 0x1.e32317d51251ep-560
+0x1.a75903d2c6a31p+801, -0x1.6d8b7ba7f3586p+801
+-0x1.439574e518c51p-918, -0x1.2f421b7d5283dp-918
+0x1.cad56ff6ccb7ap+415, 0x1.5b539a1a7d2fcp+414
+-0x1.470c6518e166ep-360, -0x1.b63d3003d7b22p-359
+0x1.03c0fea78d5cfp+389, -0x1.1b81875c262fbp+388
+-0x1.5d32c84c0f6d1p+851, 0x1.969b92c842a84p+850
+-0x1.9d0e9a35a4081p-375, 0x1.6aecc62eca3d6p-623
+0x1.15991365bd4a5p-72, 0x1.5e3f477594afep-71
+-0x1.d9acf519d66dap-55, -0x1.31ce2bc104947p-55
+0x1.707b099362987p-655, -0x1.1ea1b62999ce4p-656
+0x1.271b47e273072p+947, 0x1.8ba01426f03fap+946
+0x1.1a12a7a3b3f03p+480, -0x1.953e863d9422ep+479
+0x1.20120aeb5f1c1p-38, 0x1.f89f6352d7cbfp-37
+0x1.45e590a8ecf02p+567, -0x1.41cbf11597507p+566
+0x1.ea0ae387ab8c8p+538, 0x1.58145e3765a3dp+933
+0x1.770179372db6ep+924, -0x1.5f3663e6049ebp+925
+0x1.ddb912a2615b8p+84, 0x1.cd3a130ab14bfp+85
+0x1.feb59bf1ab657p+469, 0x1.bc650f3db8b2dp+469
+-0x1.685a915cbfae3p-387, 0x1.ecf85d7bc92a7p-388
+-0x1.3c32c4d576c9cp-402, -0x1.3ab7100d300bep-403
+0x1.da62433c04a6bp-289, -0x1.4cbc9c02f796bp+675
+0x1.50bcb06a167ecp-568, 0x1.1939ce1ca13efp-568
+0x1.54c47d8d7a641p-657, 0x1.995fec8215f43p-364
+-0x1.56829ebbbf7f9p-576, 0x1.50e384fdfb364p-968
+0x1.1fffad2d1873cp+544, -0x1.8ad8466a7b0ffp+544
+-0x1.cc793bb2ad46fp+145, -0x1.d8df7d6e8b8cap-721
+-0x1.d20810e955f06p-804, 0x1.9d32de05c340ap-805
+-0x1.fc1319cd8d195p+940, 0x1.cadc3da9d433ap+941
+-0x1.de6c8dd3851ffp+208, -0x1.61c32de7b4b8fp+207
+0x1.487e6a5e39177p+294, 0x1.c6dc8434e389p+295
+-0x1.913ca39af7ca5p+361, -0x1.bffa968c0a173p+360
+0x1.be0d57276a8a7p+730, -0x1.b847375b1653bp+730
+-0x1.7c2e305e120afp+1020, 0x1.92491b9660f19p+596
+-0x1.7869c47b9c518p-586, 0x1.65a0a3aade8bfp-586
+0x1.c3e3a0289ba9dp+454, 0x1.7c2992b6b0b0bp+455
+-0x1.9e1252bb328d9p+995, -0x1.2198b0970a787p+995
+0x1.d76bbaef4f316p+731, -0x1.892f930e1327bp+731
+-0x1.0782bbe094e6dp-133, 0x1.f43a2815725dap-132
+-0x1.2e1bb20304cbbp-138, 0x1.7b7c9af089cdp-138
+0x1.22bba80d51fd1p+280, 0x1.cc651706b9b5cp+281
+0x1.dc883891640b9p-848, -0x1.799dc68c3f71ep-849