diff mbox series

[1/9] benchtests: Make hypot input random

Message ID 20211006180557.933826-2-adhemerval.zanella@linaro.org
State Superseded
Headers show
Series Improve hypot() | expand

Checks

Context Check Description
dj/TryBot-apply_patch success Patch applied to master at the time it was sent

Commit Message

Adhemerval Zanella Oct. 6, 2021, 6:05 p.m. UTC
Instead of inputs based on the algorithm implementation details.
---
 benchtests/hypot-inputs | 1014 ++++++++++++++++++++++++++++++++++++++-
 1 file changed, 1002 insertions(+), 12 deletions(-)

Comments

Paul Zimmermann Oct. 7, 2021, 9:48 a.m. UTC | #1
Dear Adhemerval,

> From: Adhemerval Zanella <adhemerval.zanella@linaro.org>
> Cc: Paul Zimmermann <Paul.Zimmermann@inria.fr>
> Date: Wed,  6 Oct 2021 15:05:49 -0300
> 
> Instead of inputs based on the algorithm implementation details.
> ---
>  benchtests/hypot-inputs | 1014 ++++++++++++++++++++++++++++++++++++++-
>  1 file changed, 1002 insertions(+), 12 deletions(-)
> 
> diff --git a/benchtests/hypot-inputs b/benchtests/hypot-inputs
> index e987e5dd1b..b3c8762ef3 100644
> --- a/benchtests/hypot-inputs
> +++ b/benchtests/hypot-inputs
> @@ -2,15 +2,1005 @@
>  ## 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 in [DBL_MIN, DBL_MAX]

should be Random inputs with absolute value in [DBL_MIN, DBL_MAX]

> +## name: workload-random
> +-0x1.c9b9e4ccb538fp+526, 0x1.5a2839615dcc4p-90
> +-0x1.b4686db8fbe07p-466, -0x1.ad5bab40e28b5p-705
> +0x1.b67e9830d0742p+89, 0x1.712bed15ab242p-79
> +0x1.2b0cf5dce789bp+94, 0x1.de2935e408821p+744
> +-0x1.4b8bfab1fbe84p-696, 0x1.9400021b6864p-353
> +-0x1.586240fa11ce1p+563, 0x1.d032a033d5883p-277
> +0x1.d4ed8f4dad9a1p-577, 0x1.15cc3a3dfd1a8p+904
> +0x1.ef56f125ff922p-961, -0x1.a081c8f4a8b54p-739
> +-0x1.3ae85ca2a7a85p+634, 0x1.ab7f8908907b5p-616
> +0x1.5689b747313f2p-288, -0x1.533e4d90ba16ep-617
> +-0x1.14a5c88935df3p+330, 0x1.a5e5f87292686p-493
> +-0x1.11e5466d30d72p-649, 0x1.252e4933a8dffp+83
> +-0x1.42310106b5893p+507, 0x1.d7c96bb09f172p+7
> +-0x1.9d8063c48f8bap-618, 0x1.34eb629467897p-660
> +-0x1.d06c9facc6cb9p-957, 0x1.66eea10b76d25p-120
> +-0x1.fd476b0696ea7p-217, -0x1.e05d14a0749aep+896
> +0x1.cdd05ca691efp+455, -0x1.34157c01b4401p-862
> +0x1.761da13f8f6e4p-659, -0x1.cd34b2b726c35p-73
> +0x1.4b5e793152991p+1023, 0x1.b0e7c833bab6dp+265
> +0x1.1fec80cb0cfbep+352, 0x1.fe7879323a307p+115
> +0x1.ca13c6a7c361ep-1, 0x1.e7794b757984ap+20
> +0x1.9d0b10c3259cap+328, 0x1.a6f6e01fa8308p+27
> +0x1.359cb18c6be06p-1010, -0x1.5c9b8ea01c649p+243
> +-0x1.d0dcb95e18854p-850, -0x1.692c34253f833p+897
> +0x1.64a3e91246202p+194, -0x1.6a08b6e0c10fcp+869
> +-0x1.09133c8b3ab46p-817, 0x1.5e33faa5f9609p+204
> +-0x1.5d65411fca3e1p-883, -0x1.c49451e8ff7ffp+463
> +-0x1.a49b5f87b5e33p-192, 0x1.4e346710769e6p-532
> +-0x1.71e5eeb1af912p+233, -0x1.e0d9fc2c51f5ap+465
> +-0x1.8b1153ccd5db1p+912, 0x1.8122f54133f1dp-636
> +-0x1.6b2c289f6d0f8p+4, -0x1.0e020ad34ea5fp+184
> +-0x1.910d7cab2fed5p-856, 0x1.f48192b625d76p-193
> +0x1.cef0e34593e32p-697, -0x1.823fdb16ac5a8p+233
> +0x1.9dbca687e11fcp+460, -0x1.064a7d8a035bdp-695
> +0x1.c33f7ac0118fp-354, 0x1.25c6e97f8ee95p-727
> +-0x1.ed77de8fe0b87p+1019, -0x1.4231d27d608d6p-569
> +-0x1.13b5a2be4d59dp-5, -0x1.f74f34809e8cap+734
> +0x1.29470976cb343p-794, -0x1.688e2134673eap-760
> +-0x1.dbd669283a975p+950, 0x1.8bd4b47b19394p-972
> +0x1.dcebfad589251p+584, 0x1.ab821c80883efp-745
> +0x1.3d7898d9e10c8p-826, -0x1.2ea1591bcf713p-168
> +-0x1.8062525376bbap-671, -0x1.1320518198246p-281
> +0x1.aef3fad3f633fp+433, -0x1.033b6ebbde9eep-387
> +-0x1.cedf0931fbcc3p+440, -0x1.c9b40671bbf62p-26
> +-0x1.bf147c6ae1629p+644, -0x1.f10b967824ef3p+218
> +-0x1.69b82f4508c9bp-1002, -0x1.1f52bdcf38bfcp-522
> +-0x0.226af30ce6ba4p-1022, 0x1.956794128b9c7p-816
> +0x1.269e8197b6197p-660, -0x1.9c08a23eb8cafp+408
> +-0x1.067677cb27c65p-577, 0x1.54f85143ad106p-252
> +-0x1.5c139666cc203p-678, -0x1.6fa4a26a23e3fp-500
> +0x1.fb4bbc14ed566p-980, -0x1.64a2623385865p-105
> +-0x1.0d9e75e4bc22dp-702, 0x1.0010bb11ef0ep+461
> +0x1.b047105706bf1p+811, 0x1.294f1289e801fp-479
> +-0x1.a1539b9498fcfp-219, 0x1.b8cfa27e5b9dbp-852
> +0x1.60b580776e0dap-965, 0x1.86ca0301b862bp+64
> +-0x1.de27a3092c282p+956, -0x1.d14da5110136dp-125
> +0x1.216680bf7c046p-219, -0x1.672b73cc56298p-533
> +0x1.7f964e1e6933ep+225, -0x1.b397a6addb416p-782
> +0x1.5c5ac7088ad85p+67, 0x1.c5c1f54c8c464p+900
> +0x1.b99bf2d232a67p+183, -0x1.3b6d8db73e9e7p+587
> +0x1.efd8702ceea4bp+112, 0x1.27662ebd318d4p-736
> +-0x1.d00020aa60799p-269, -0x1.4602aaefed288p+841
> +-0x1.0ca653d3607p+843, 0x1.8165ec6a151f2p-245
> +0x1.637d7faf2dcd3p+339, -0x1.5de8f895e0921p-311
> +-0x1.0a54dcf5397dap-543, -0x1.cf69228868211p-922
> +0x1.4239bcb2ff07fp+415, 0x1.37df12f9bff83p+518
> +-0x1.c7fac16e63044p+219, 0x1.cd83114f41ff9p-161
> +-0x1.b469af516da75p-714, 0x1.782837617acd9p-977
> +0x1.564ee8746d24fp-635, -0x1.23be8b6551b5fp-104
> +0x1.f6dd92d2c98fep-186, -0x1.dbd48c6dd0933p-563
> +0x1.5415754086856p+692, -0x1.ade3a6fbe19c2p-636
> +-0x1.3a86ff32e226ep+956, 0x1.f7bf282f8ec3fp+617
> +0x1.5dabcedf6d038p-402, 0x1.3921fe12cbd16p+802
> +-0x1.580f681d777d1p-649, 0x1.82ce0cd6261ccp+237
> +0x1.4dbd038b40241p+742, 0x1.74a8ca5e0a9a8p-193
> +-0x1.81fb7906a6e7ap+858, 0x1.060707422c742p+615
> +-0x1.9f20a4e0fc9aep-50, 0x1.ce323011d922fp-93
> +0x1.251c72200297bp+984, 0x1.00bd429a23dc8p+101
> +0x1.4e68d50a30953p-570, 0x1.0f725b5d4ff05p-76
> +-0x1.d47d5d42ff4bep+941, -0x1.4fd8f1971f601p+269
> +-0x1.bd95a498e5246p+777, 0x1.27388108b2efep+422
> +0x1.e734c9d1d015ep-712, -0x1.7cb5b0ff76b6ap+808
> +-0x1.c50bbe662db65p-594, 0x1.a004f6eb37cc1p-116
> +0x1.382b84973113ep-727, 0x1.9ea5b4ee35aa5p+834
> +0x1.3a4b07f2f3d36p+189, -0x1.364bd57f1cd8bp-785
> +-0x1.6faf61accf379p+489, -0x1.cb52b93ba68ecp-548
> +-0x1.afd131d3d2b49p+236, 0x1.654017eaccba4p+78
> +-0x1.afd3da3760269p-146, -0x1.f5fe580b9e7ep-934
> +-0x1.8c4c67078936bp-12, -0x1.744e6736a7dffp+851
> +-0x1.a90de8574d525p+518, 0x1.87fdedfd965bbp+461
> +0x1.d8050ffe1f993p-989, -0x1.ca5bf9ea2f1d3p-358
> +-0x1.b9fd456ba3825p-559, 0x1.df45fa0640fb2p-632
> +0x1.27b3ef01957d9p-48, -0x1.4214dd3231529p+232
> +-0x1.3348f5d5ae725p+242, -0x1.01fdc7c1a472fp-541
> +-0x1.779cf98e86ffcp+324, 0x1.efa30985d4c9ep-865
> +-0x1.daeab430fe19fp+904, -0x1.bf73667703487p-19
> +-0x1.2337981a0ea42p+555, 0x1.72fc7523f3aa9p+699
> +-0x1.c1f53cb9c4858p-877, -0x1.88c740da5c31ap-451
> +0x1.4a7cc59577262p-58, -0x1.eaaf5c8bc91f6p+378
> +-0x1.5ab543c3de40ap+379, -0x1.506c8ac72d8b5p+508
> +0x1.87ee478dfb8aap+767, -0x1.6934d5063786dp+877
> +0x1.a9658347666bbp+720, 0x1.9e9883550ae82p+119
> +-0x1.f11cba04565bep+536, 0x1.a77c4d7de3901p-907
> +-0x1.637aed92c164ap-773, 0x1.563a853915c42p+437
> +0x1.0ac5623fe4d48p+245, 0x1.60f4ab95dbda6p-258
> +-0x1.9f046bc061838p-149, 0x1.eed3c3dd7c7cdp+284
> +0x1.bfe4663804caap-26, 0x1.ab9f1e111572fp+699
> +0x1.34b033c032cc3p-701, 0x1.54eb3833df0cbp-621
> +-0x1.d7992b5a800ecp+415, -0x1.658855a5caecep+714
> +-0x1.4ec652825633ep+1023, 0x1.a4ffd3a40a26ep+31
> +-0x1.5f664d7f22a9bp+150, 0x1.4efa7d597084p+719
> +0x1.618ee42ae6009p+28, 0x1.db0e81473ab64p+191
> +0x1.bce0aef1f1fap-326, -0x1.5ad80a5760518p-609
> +0x1.93708072fdf0fp-591, 0x1.46d43d71768p+605
> +-0x1.f28f62effec4fp+502, 0x1.897d978a0b593p+750
> +-0x1.23ff24b59fb3bp+354, -0x1.27870d98e3026p-780
> +0x1.462c222c9b216p-451, 0x1.a1389d9277e44p-229
> +0x1.949a454cfc1f4p-296, -0x1.5989cd90df4f9p+634
> +-0x1.c4a0554f11021p-985, -0x1.ebf8e73763f67p-990
> +-0x1.a6d24b4d26f2p+616, 0x1.9398629961de3p+601
> +-0x1.d6a7a620bcbd4p-205, 0x1.92937feb024b7p+335
> +0x1.418684de16ec3p+486, 0x1.3006846754803p-426
> +0x1.3256cab64df2cp-538, -0x1.55ab298d58395p+656
> +-0x1.2ca0062a03c7fp-639, -0x1.8e46155170c63p+982
> +-0x1.d86feb9f05e9bp+964, -0x1.218a8f3a16949p-282
> +0x1.6a19114fa7321p+1015, 0x1.b754067c9e2d8p+636
> +-0x1.0a8381ab06281p+909, 0x1.4a718f00e0a7p-361
> +-0x1.ef571562e5ffcp-706, -0x1.3e40e8e8677e5p-712
> +0x1.6024680e45bep-228, -0x1.c2c0877492ee3p-442
> +0x1.0651afa5be1c4p+257, -0x1.70a2cce7668aep-112
> +0x1.3273c5c3a2ef6p+436, -0x1.a5ba1669b0ee1p-32
> +-0x1.be37878b94849p+720, 0x1.444659b28d49cp-635
> +0x1.ec87a2a4bfdaap-322, 0x1.dbcdddd0214cp+146
> +0x1.4438b217911d8p+134, 0x1.00efaddb1137cp-82
> +-0x1.8252c0ca5d1a6p-875, 0x1.c6a8d7ca520cap-293
> +-0x1.fb0e91dc80524p-86, -0x1.079abd8f02a8dp-807
> +0x1.c2058b220be56p-82, 0x1.6cd250a6189e2p-144
> +-0x1.9719b79d19e1bp+548, -0x1.a883e9e65f1e6p-890
> +0x1.f596727c3a99fp+203, 0x1.8a224f1264e47p-491
> +-0x1.1f7d9c69c0f18p+276, -0x1.c355418418a7cp-491
> +0x1.ce61bba0004a6p+423, -0x1.d2eccb2c8f702p+114
> +-0x1.68f9afab87fa2p+877, -0x1.61630090f07ffp+689
> +-0x1.3b9af2b3d18dbp+351, 0x1.563ebfed3bfb9p+194
> +-0x1.fd3d2b95b33e2p+607, -0x1.6ba06587fc088p-750
> +-0x1.62697c2790ea6p-762, 0x1.940443c2bf806p+363
> +0x1.82f9a7f79ab11p-398, 0x1.399d121c78ee7p+624
> +-0x1.47a6905e12d29p+775, 0x1.5dbe293914a2p+297
> +0x1.5388a26b37edfp-760, -0x1.2642bb599e25ep+186
> +0x1.415d8a0ac5257p+876, 0x1.6aa66a01eaa79p+866
> +0x1.6d9a658695dddp-222, -0x1.7b9856f12729fp-769
> +0x1.159bb14a7af3dp+486, -0x1.06c00e97d6bd3p+747
> +-0x1.e17bbdc8fae26p+417, -0x1.6733fdf758a97p-823
> +-0x1.43048fd005312p+504, 0x1.3ec148f513b83p+905
> +-0x1.50745c6aedbe5p-195, -0x1.a3b710c9b630cp+786
> +0x1.59a9cc50449e8p+95, 0x1.b4ff697900ee2p+320
> +-0x1.adfb919cb6ea5p-576, 0x1.005f12f94b659p-554
> +-0x1.8f872bdfb906cp+99, -0x1.f589b72cf4fc6p-477
> +0x1.17d258034c48fp-611, -0x1.1838e57f0a5eep+471
> +-0x1.d01e0fe18253dp-109, 0x1.a083d4e940fe1p+432
> +-0x1.51df04426df75p+859, 0x1.0c322348c5dcap-930
> +0x1.ab9c906ce5019p+844, -0x1.b2255ef461be8p-517
> +-0x1.54fb74bf1cad3p-774, -0x1.74b3abc36f7cep+552
> +0x1.3267692663a7bp-572, -0x1.d16fcd4949779p-553
> +-0x1.c965c71480f41p-447, 0x1.1f54d57f3d4adp-659
> +0x1.38357cfa8ee7p-396, 0x1.9a97dcdfc45b2p-174
> +-0x1.3f8f2c4694a3ep-860, -0x1.074af4a491069p-147
> +0x1.be5b121361bcep-279, 0x1.a6271864c15e5p+54
> +-0x1.571d524fb837fp-332, -0x1.6c8b85553ccdap+728
> +-0x1.dae5da9458a36p-18, -0x1.af80fcafe421ep+869
> +0x1.bdf5e14076194p+230, 0x1.5f3872155062cp-840
> +-0x1.68736f0a701e5p-369, 0x1.63cb6b731e9bep+362
> +0x1.0585505e94b3ap+132, -0x1.eee570790b35p-750
> +-0x1.5612b0b696c64p-542, 0x1.41c9378f060b2p-1007
> +0x1.b1e8265bbb6ep-227, -0x1.1c5e724be2b67p+92
> +0x1.0ac13517bf64ep-246, 0x1.4a443e5081577p-420
> +0x1.8039830b7dfa4p+965, 0x1.99086df83915ap-942
> +-0x1.2d2988b255995p+429, 0x1.1d19bcdfa257ep+251
> +0x1.4274e0e9c27e7p-943, -0x1.114ed04e2e4b4p-470
> +0x1.6af9dddeb095bp+775, -0x1.ed9ca85c3aa46p-601
> +0x1.631e4a1067d03p-781, 0x1.be6d46e30228ep+534
> +-0x1.2ac10fa9a0893p+332, 0x1.1b2d4e33621f1p+29
> +0x1.709f2137dab95p-445, -0x1.6fde48d966fc8p-25
> +-0x1.f811f68aba1aap+535, -0x1.96004333260a6p-290
> +-0x1.2c51ffe1fcf8ep+152, -0x1.17af9b031a485p-174
> +0x1.f69275e5f29ap+756, -0x1.682105d44483dp+613
> +0x1.7d13efce5f1a1p+707, -0x1.3858a4e669e3bp-752
> +-0x1.6cd05a4c54144p+826, 0x1.7c42ac0d2886fp-866
> +-0x1.f89ce04dfd27fp+410, 0x1.fe0de103ce1abp-573
> +-0x1.43b5c66354397p+311, 0x1.5bd0c23718998p-967
> +-0x1.2319f27f77d36p-663, -0x1.615950a57876dp+924
> +-0x1.83385c49fbcebp+686, 0x1.010c2b151c788p+619
> +-0x1.0d44261e94de8p-670, 0x1.17160af447683p+571
> +0x1.3481f39ea088bp+25, -0x1.706d7cd9b1652p+781
> +-0x1.f0039b20728b8p-542, -0x1.51e7fca7f6499p-80
> +-0x1.06b7cc5a7aedp-775, -0x1.e8efd554e61fbp+375
> +-0x1.d9473d1361ae7p+477, -0x1.86a9bfbf95f03p-415
> +-0x1.3f932e5d162bp-31, -0x1.a96d172b0257bp-804
> +0x1.b3172331d60d6p-173, 0x1.3a7a560866aa9p-266
> +-0x1.0358cd79c7569p-173, -0x1.4705dd58b26a8p+515
> +-0x1.18805746027a1p-741, -0x1.d05d211d42f13p-228
> +-0x1.659e72e94f232p-821, 0x1.a674275ce4cbep-164
> +0x1.e9029329f9a9bp+115, -0x1.c8b8788091017p+461
> +0x1.070b4391204cfp-612, -0x1.c0b61ce1003ecp-369
> +0x1.d9792e699e24cp-716, -0x1.da3503c8b2b43p-784
> +-0x1.ce75906b2a612p+994, 0x1.1f17844d2ebbbp+306
> +-0x1.b837832174a07p-235, -0x1.4deefd727a398p-999
> +-0x1.d39e49f0c9e38p+607, -0x1.bbdbd223f6e0fp+527
> +0x1.d475d8f7f9b1cp+574, -0x1.d084c3a952956p-930
> +0x1.36367deff0d1ep-819, -0x1.c1840b9d5cd01p-169
> +0x1.56c29271ff50bp+991, 0x1.3133db7e7f3d6p+492
> +0x1.70949a147a538p-649, 0x1.015d59b9e641cp+604
> +0x1.48acc2d1e59b3p+280, 0x1.e97d807eb23d6p+419
> +-0x1.8b0fb0c961928p-415, 0x1.35e01b117c406p+868
> +-0x1.e95698f9b36a5p-282, 0x1.2d1a96cf2b0e9p-90
> +0x1.0f2cbb86d9dd8p+46, -0x1.09f47148e87d4p-583
> +-0x1.84c4de82fa752p+827, -0x1.9d36bcf2289f2p-315
> +-0x1.262e501cf4fe6p-484, -0x1.18cbf59d3c82bp-956
> +-0x1.d6c5b75278e41p-126, -0x1.1e1a6117f2e03p-295
> +0x1.53c7b4d94cb4p+277, 0x1.2131bcf644999p+306
> +0x1.956d78a2e3bf5p+804, 0x1.1e43de7ae36c9p-707
> +0x1.e8fc958c5b717p-443, -0x1.1a7d40b3f2739p-1012
> +-0x1.126556bd1c7cbp-69, -0x1.fc96af8d1e8cap+76
> +0x1.5f3db9f4f3b8ap-938, 0x1.fc2131e7568bep-209
> +-0x1.c354c3873dde2p+694, -0x1.8cdeee290f152p+381
> +0x1.5339563d3cb9bp-638, 0x1.131d7aa4d4e46p-619
> +-0x1.db77aa4411622p+219, 0x1.38efddb4b014bp+15
> +0x1.4782b8dc33f23p-989, 0x1.fdbc130d05fbdp+217
> +0x1.1554b3faa9bc8p+663, 0x1.91b103ff68c84p+498
> +-0x1.105a3b4f92febp-877, -0x1.3fe0c998823dfp+862
> +0x1.4c4c1467e80b6p+403, -0x1.3b1826a3d91e3p+547
> +0x1.15885c2cb065ep+525, -0x1.b9014a9051735p-662
> +0x1.b55857117e40bp-1006, -0x1.4bde04447b4b4p+162
> +0x1.770d8b9533efep-954, 0x1.8bd860f89e00ep-586
> +0x1.4bf1ef8066d3ep+20, 0x1.5a3b04c8ecb31p-370
> +-0x1.856affcdc7484p+105, 0x1.b2c2a3327b38fp+516
> +-0x1.2043fbca121cap-986, 0x1.78067f50d8218p+973
> +0x1.7a9b80611e082p-939, -0x1.4bc487d06fcc3p+321
> +0x1.a7af5850d7e21p+837, -0x1.e4f86095eda51p-946
> +-0x1.348c991495b18p+1012, -0x1.3fca47184df5ep+251
> +-0x1.b30af77ac83e3p+734, -0x1.6ef2c081952cfp+912
> +-0x1.bd05a684eefd2p-180, 0x1.689a61eb600d1p-717
> +-0x1.eca4d31cbed39p+725, -0x1.e672808edfee1p-1012
> +-0x1.af0c6f8066b2bp+160, 0x1.a0df9068424e9p+218
> +-0x1.074cd85809a85p+123, 0x1.1167ddb731e5fp+901
> +0x1.72eae8bda4c5bp-813, 0x1.4a5062248e4adp-71
> +-0x1.9d63ecbed33bcp+265, 0x1.6cba2bbeebdbap-818
> +0x1.41202ee7dd7ebp-231, 0x1.927d7db0b3ac1p-438
> +-0x1.fae9b8015cc4cp+163, 0x1.c44783a48ed9dp+776
> +0x1.114f5d056d1a9p-113, 0x1.3f716fc0860cfp+303
> +0x1.8826271676367p-821, 0x1.b0caed69c32dp-325
> +-0x1.6f71959e447d8p-502, 0x1.076175c1ea436p-527
> +-0x1.05d90a1df2ca7p+382, -0x1.22b79fed8c6c5p-221
> +0x1.0ab8360e63e2p+194, 0x1.d6508c089866fp+198
> +0x1.8a6123459b2d2p+127, -0x1.02dbf496418a7p-615
> +-0x1.eef719eabbaeep-726, -0x1.3dc0270cf8aacp-126
> +0x1.67b96ab330527p+600, 0x1.bffd396c7e8acp-940
> +0x1.988759e704db4p+861, -0x1.55b449b993732p+231
> +0x1.815034668d89p-293, 0x1.47e31361c5b59p+330
> +-0x1.f1d051ffebb52p+291, 0x1.6ba2fcb860761p+253
> +0x1.086f2905624f3p+510, -0x1.b90f1a2ec5ee1p+181
> +0x1.5b539bb7d553ap-330, -0x1.2892c14113004p-859
> +-0x1.16b0a2af6d9f6p-896, 0x1.04b4cb13a7c09p+603
> +0x1.ac408d54fcccap+424, 0x1.33a7b922bf9ebp-108
> +0x1.9487a31a13b57p-398, 0x1.a0329ebf9d818p+610
> +-0x1.5589c7698dd8p-444, 0x1.e4bbf4f028bc2p+467
> +0x1.0209ebc01c62dp-15, -0x1.590c303f5c32ep-625
> +0x1.0858928266e15p+793, 0x1.27572b171f4fap+526
> +-0x1.19d225c27b15bp-167, 0x1.93d1c269a3023p-153
> +-0x1.5e01f51a9409ep+927, -0x1.72ce2117da968p+411
> +0x1.afdf52ba2f9a1p-164, 0x1.8518c5c3f9ae4p+65
> +-0x1.1e4f218d1cf3dp-294, -0x1.af9948f24567bp-443
> +0x1.49f8a32ff1489p+954, -0x1.c6f38622684e9p-252
> +-0x1.b23af13e433e8p-459, -0x1.5538f4ac5ffefp+973
> +0x1.145a167ea4ea3p+749, 0x1.e8e69e6ba34dp-718
> +-0x1.17ad652e40944p+23, 0x1.66ddc1e172328p-450
> +-0x1.ae48e33b39c31p+851, 0x1.03deb2a4c08d7p-198
> +0x1.029657e93754p+23, 0x1.f089b6f3f4e12p+885
> +-0x1.14a99baac9aacp-486, 0x1.3c54cf9ef9d37p+305
> +-0x1.e433d50b1645ep-826, -0x1.f502d8dd83819p+243
> +0x1.ea1bbab4a6f05p-63, -0x1.48dc68f196565p+344
> +0x1.19b93fe281cep+182, 0x1.3cae06156bafep+245
> +-0x1.eafc483d29c5ep-941, -0x1.757c7688daddbp+780
> +-0x1.cfcd3060df71bp-599, -0x1.5574747016423p-122
> +0x1.e2a08569c5146p-208, -0x1.6f93aad37bad3p+678
> +-0x1.cfb545723ed6dp+574, -0x1.4e7218edc07e5p+548
> +0x1.13e16abe51f46p+790, 0x1.fa484c70d4103p-280
> +0x1.8db06dfb66124p+567, 0x1.53d01cb5b356p-700
> +0x1.0ce4ef1e7236dp-554, -0x1.c1fc4d7a584bp-303
> +0x1.89206dfc8616cp+15, -0x1.9e7478f5bec9cp+923
> +0x1.6cc0ac296df5ap-147, -0x1.d739c6a80e0f3p+552
> +-0x1.df37c2f72c6ccp+1005, -0x1.f4e6900023b7dp+547
> +0x1.a51aa19b57427p+1001, 0x1.1f938280997e4p+987
> +-0x1.44146720af4adp+997, -0x1.b1e854686ddffp-496
> +-0x1.7d243089f275fp-330, -0x1.7d93a4d0485d4p-56
> +-0x1.86c36110b814bp+100, -0x1.830d04b6994eap+904
> +-0x1.025cb594ffd92p-612, -0x1.df97ee930ad24p+394
> +0x1.ac3302e5f07e8p+532, -0x1.5ada3b5365c8bp-359
> +-0x1.bf0774299faaep+454, 0x1.12f06f88c041dp-521
> +-0x1.12db166bcf454p+810, -0x1.e7eccfd52033ep+102
> +0x1.ded6a6913d792p+631, -0x1.484b2de8cf2b5p+966
> +-0x1.114054988c55fp-878, 0x1.2057d26e3eb6ep-28
> +0x1.18d0062268ac2p-329, -0x1.397bdc3aa0c52p-581
> +0x1.c4b492b296653p+560, 0x1.83965be75df49p+915
> +0x1.7c4b464475424p-258, 0x1.364b6b9ecc84p-86
> +-0x1.932ee715ee9cp-820, 0x1.5d0acac046461p+11
> +0x1.89f236108da3dp+719, -0x1.8f46421ff86dbp+619
> +0x1.bab714dbc675cp-735, 0x1.9b8ea9c4a0afcp+990
> +0x1.953f1c8fbb33ep+503, 0x1.4a9dbcd88b5a4p+105
> +-0x1.6b04af0630912p-113, 0x1.834f7677b3ab9p+179
> +-0x1.3888739dfb47ap-7, -0x1.00f6937bbf981p+352
> +-0x1.26e31d1f6989ap+985, -0x1.4a62efd62f7d4p-676
> +0x1.b1318ee7120ap-249, 0x1.31dff7b683cb8p-468
> +-0x1.7eca922a0218ep+757, -0x1.5130bad36e8e6p-20
> +-0x1.3ea820bf73af7p-99, 0x1.54891c667887bp-389
> +-0x1.4173e13089454p+969, 0x1.c2270a9e17d99p-762
> +0x1.e0f91f0c64208p-803, 0x1.2271e0e7f4f2ap+61
> +-0x1.56d3f9037057ep-718, 0x1.3e223c3967763p+574
> +-0x1.665faed24722fp-157, 0x1.40053a68f4211p+95
> +0x1.2454b75a6cab2p+745, -0x1.a7f2287049bc5p+395
> +-0x1.9d2154ed6469cp-968, -0x1.d3ac769e77edap-963
> +-0x1.afc4aa9627a8dp-971, -0x1.079013d73e044p+288
> +0x1.66924e10ea983p-696, -0x1.8d1e7efdf17b4p-414
> +0x1.482a8a82a858fp-147, 0x1.5765012556a53p-280
> +-0x1.a3e22d6b16af4p-951, -0x1.71c1d60485311p+51
> +0x1.f7ffee28ce83fp-929, 0x1.3d8b9f1309ba1p-733
> +-0x1.ce4e32e5bae99p-11, -0x1.0322d6f0db1b3p-686
> +-0x1.c5b3a9093463fp-626, 0x1.7512d37db67ebp-618
> +-0x1.e4467d3b1c326p+196, -0x1.3e29526da8062p-356
> +-0x1.254a46a8edfd4p+315, -0x1.ee95ab5cc02dp-871
> +0x1.432a8d8a87f6ap-670, 0x1.616525e862d08p-421
> +0x1.aba7daefcca05p+646, 0x1.4c73556be56acp-236
> +-0x1.865f26dc229cdp+440, 0x1.7f2892578881fp+29
> +0x1.8ba56472f51efp+525, 0x1.95e1a93ac3379p-262
> +0x1.11a5f934f0679p+98, 0x1.d42d0edd0f56p-756
> +0x1.0503e708de3ffp+263, -0x1.8272e0f532f82p+444
> +-0x1.30fa73e805392p+379, -0x1.9ec42fc6c86b7p-916
> +0x1.039c6350d048dp+189, -0x1.e27d363f4dc48p+759
> +-0x1.b2f5f5a32cf93p+162, -0x1.089b0581a89b5p-554
> +0x1.d6dea1404a5ebp-386, 0x1.d1e7427d8fd74p-585
> +-0x1.138943e1ba00bp+260, -0x1.55a8357860ff4p-633
> +-0x1.cb0585a69ec8p-771, -0x1.b30b34fb4849bp+1019
> +0x1.15b8d33e57b5dp+613, -0x1.16d8525dd808ep+819
> +0x1.089a11b10202p+860, -0x1.661b937862d88p+985
> +0x1.ecd24009cb22bp+611, 0x1.e8fd804b52191p+722
> +0x1.bdeed16ee9071p-21, 0x1.c18770cf15d94p+893
> +-0x1.7e246229c7479p+11, 0x1.8c0a023da75bp+22
> +-0x1.2696479517f63p-873, 0x1.61472367b790cp-273
> +-0x1.dff31fa2945e4p+879, -0x1.788f359366c3dp-999
> +-0x1.204a18b87c646p+526, 0x1.c3906c3b0745fp+318
> +-0x1.8ebbfa9bfd865p-570, 0x1.df27bbba13fabp-1005
> +-0x1.f0bce56e90b36p-906, -0x1.621a7b0077f98p+74
> +0x1.f1d65127c0b6dp+121, 0x1.62c01ad0396afp-792
> +0x1.83edee737ce55p-183, -0x1.b76cec6de8a28p-810
> +-0x1.00fd8f4b7eaeap+798, -0x1.d10dc39b5cb6ep+202
> +-0x1.badde0405e759p+324, 0x1.77dc6d3ea132ap+823
> +0x1.da1baea3c16fap+333, 0x1.2cc0c40bc671dp-339
> +-0x1.ac7789c6b4cf2p+51, 0x1.51e3dc935590bp+316
> +0x1.13cd66f9c9a41p+110, -0x1.73044e1701d54p+955
> +0x1.aa206d92df49ap-539, 0x1.787369e33123p+338
> +-0x1.5e085883313c7p-698, -0x1.c5c7fcaff2a8dp-417
> +0x1.b3333de61b2c9p-380, -0x1.544afdd14d54ap+393
> +0x1.7bcdabfd53ac9p+141, 0x1.f0b76e9704968p+408
> +-0x1.7369c072cb16bp-29, -0x1.68971ae967238p+320
> +0x1.ef8c843fd5689p+161, -0x1.ff0d6afd40d0cp-31
> +0x1.f6a910bfe476ap-159, 0x1.b96aa192e68b6p-538
> +0x1.5374abf201ef3p+838, 0x1.ac2785d030c44p-616
> +0x1.26eb33cd00e9dp-509, -0x1.f3d66906ee76bp+707
> +-0x1.a26c06a38e4a1p-730, -0x1.dc673bdc267bep-999
> +0x1.3216151975fc7p-457, 0x1.4d50afe1e7304p-449
> +0x1.1e099367bca38p+255, 0x1.6b58cf3af69a3p+884
> +0x1.236e0a09b95e9p+567, 0x1.e8ee1eb0da59fp+100
> +0x1.64fe680eddb96p-513, -0x1.71722a535e8f7p+787
> +-0x1.abd443466d6f8p-274, 0x1.bce5c9e6e1067p-455
> +0x1.ef4dcfd4ecd88p-210, 0x1.454b0894b629bp-731
> +0x1.7e4055d580af4p-265, -0x1.af992ca040efap+635
> +0x1.3aff343aeab8ap-692, -0x1.b7f34b4c1770bp+736
> +0x1.a825e573089fbp+267, -0x1.ff89356fd5dcap+324
> +-0x1.4c74bd94c23e9p-699, -0x1.6f8f0f40c819p+688
> +0x1.ed672b96b7d2p+244, 0x1.67398b6a9639ep+499
> +-0x1.896f4f1a0af8dp-348, 0x1.247df7c6665d9p-635
> +0x1.64a8ad593015fp+173, -0x1.1ff42760e7babp-37
> +-0x1.066ca4e6a26b9p-144, -0x1.f228ff9fd4b29p-50
> +0x1.1c297a31d8e09p+496, -0x1.2ec016ced5d6ep-581
> +-0x1.e2f48ee5963dep+554, 0x1.67b03a7908837p-32
> +0x1.a6d1a3a6ff54bp-816, 0x1.fc81e2ef3f55p+385
> +-0x1.14ed4b5053f69p+570, -0x1.39990faca1affp+17
> +-0x1.4e49d59528292p+768, 0x1.5fbc8a55f23eap-68
> +-0x1.2fb3935152a42p-868, -0x1.b74743ff80cfcp+699
> +0x1.0a9e69428019ap+297, -0x1.b569c64ba1cbbp+155
> +0x1.8035305a8c434p-646, -0x1.6ee5d92a20efep+559
> +0x1.7d0489a9409ddp+893, -0x1.ce88b5a1086e9p-787
> +0x1.b0fe00e7f1ddap-495, 0x1.4b9baf802f094p-901
> +-0x1.962ffbd66b12bp+806, 0x1.75e05396da57fp+195
> +0x1.a29aea6168e29p-279, -0x1.192abc8197e6ap+37
> +0x1.8c133db90b85ap-466, 0x1.946563959c2bap+456
> +0x1.c9789ef809b8ap+341, 0x1.2a49d0ca369a3p-962
> +-0x1.5f2f72d0eded7p-840, -0x1.4bd4f1980ab3dp+54
> +0x1.6d67321d91dap+304, 0x1.a328296f03117p-867
> +-0x1.839cca5c3f88bp+36, -0x1.e5d66a7c3bfa9p+310
> +0x1.bcb853a989cf4p-637, 0x1.3da4a58536c7ap+227
> +0x1.1d678d30a3afep-335, -0x1.632ed31c4ef7p+188
> +0x1.7cdc8685ea2abp-463, 0x1.4be25b058c5dap+1006
> +-0x1.b3cac7cf3ca82p+769, -0x1.bc8931922cb8ap+38
> +-0x1.4009d3f1e9232p+184, 0x1.e0157784e700dp+708
> +0x1.5398945cf4022p-488, -0x1.d2121ac926aaep-665
> +-0x1.12c11e3852e9dp-495, -0x1.0a8b5d5667b46p+926
> +-0x1.0d88d03448ba2p-159, -0x1.d365262040e95p+660
> +0x1.a6ad97b6322e8p-976, 0x1.dc3fbb8a5734bp+579
> +-0x1.548081a3d1873p+709, -0x1.321c60171f77ap+679
> +-0x1.e9c6f424313ebp+877, -0x1.e83d59a949f5dp+212
> +0x1.ddd8f91b00853p-270, 0x1.aee61ef9a4dd9p-108
> +-0x1.3d0042532b7fbp+688, -0x1.fd8aab6dac0c3p-681
> +0x1.d0c862fb02403p+754, 0x1.7c3ad6097438ap-242
> +0x1.78d852eac428cp+964, -0x1.4328c93b56089p-303
> +-0x1.1ee22e52fe9e7p-628, 0x1.2a3bc85a3db6cp-502
> +0x1.d8f1bd1a041d3p-344, -0x1.2833cf7e22b7fp-434
> +0x1.10e2c2bd2fb45p+129, -0x1.ed7dccc0e350ep+358
> +0x1.b578dea09879ep+893, 0x1.abca8d47f2e38p+942
> +0x1.54266fb6dfc3fp-377, 0x1.a98189e9ed367p+490
> +-0x1.3dffa7105fecbp+314, 0x1.9277eb5ee3b9p-689
> +-0x1.4df79e9addeddp+805, 0x1.b2b8f2bf5b352p-244
> +-0x1.d64da0b70510dp+527, -0x1.8565e650f15c3p+778
> +-0x1.2aad5abf7d92ap+353, -0x1.a9d6977598aa3p+570
> +-0x1.d0565b035198p+268, -0x1.555e91b7ac1d2p+464
> +0x1.ccabdaa29e061p+627, 0x1.fb9beaf2413a9p-534
> +0x1.7c68d90e0552cp-410, 0x1.35f296bf50fd2p-472
> +-0x1.8e7677094d102p-760, -0x1.f7607d5e95586p-234
> +-0x1.6f989baeb0008p+522, 0x1.440db29d598e7p+131
> +0x1.5e05478ad697ap+187, -0x1.4cde3bc245dbdp-493
> +0x1.205c69372380cp+949, -0x1.246c125149301p-385
> +-0x1.28a4a30c67eadp-750, -0x1.7586a35e654c2p+705
> +0x1.9c57811360249p+997, 0x1.cb5374777df29p+466
> +-0x1.e71629b1d2e24p+0, -0x1.7c32976051278p-85
> +-0x1.4555929e65b69p-437, -0x1.08f901cbff6e7p+534
> +-0x1.d482302130b9cp-351, -0x1.d87c620a546c5p-806
> +0x1.61f8ae086e3a7p-744, -0x1.addecbec35731p+80
> +-0x1.15171f44c3508p-25, -0x1.6f8401e5340f5p+599
> +-0x1.bb5e0f6e722a8p-266, -0x1.3d1393d8f644ap-686
> +-0x1.c44dac2e882efp-117, -0x1.1b4eabd97a3eep-890
> +-0x1.5de17111873bbp-523, 0x1.441cddd48e282p-273
> +0x1.8ceab10eed252p-150, -0x1.5cf44e4f50a92p-931
> +-0x1.3e6926fcd302ep+680, 0x1.67081048ebe9cp+383
> +0x1.f609787820c22p+467, -0x1.0f0e3dc10b434p-706
> +-0x1.6281a8dc9a637p-862, -0x1.3d66a75dd6459p-515
> +-0x1.12756c0b8a7e5p+553, -0x1.20557c4c9df55p-618
> +-0x1.7165a5f004259p-328, -0x1.1bc31035b0cccp+488
> +-0x1.bd7bc111885bbp+635, 0x1.78f6031426ab5p-383
> +-0x1.da9337b21ff9bp-664, 0x1.a983594eb464cp-472
> +-0x1.4463e633452b5p+94, -0x1.eba53c2d63cfep+113
> +0x1.41f53747cdap-110, -0x1.a6420ec80a717p-387
> +-0x1.30979d9547db3p-741, 0x1.04f47f562677cp-455
> +0x1.3026666a06f7dp-919, 0x1.4488c08c8dd38p+594
> +0x1.b86e0629db653p+869, 0x1.7009f8525f842p+977
> +-0x1.45ba8f33c5bbdp-646, 0x1.bd14e056f875dp-989
> +0x1.42b7e9c042083p+836, 0x1.22d1039d0e6fbp+37
> +-0x1.69bc336ab616dp+478, -0x1.ea8689ce6f8b2p-589
> +-0x1.0a059370ba169p+734, 0x1.40172539857e3p+457
> +0x1.7d1abd28728fap+951, 0x1.95be8f48dd74ap+125
> +-0x1.4c29760bc909cp-966, 0x1.4d0c39ea994p+194
> +0x1.807ee47258958p-134, -0x1.9ab6b2b3c6b47p-86
> +0x1.df2343ac77142p-596, -0x1.65aaefd7164cdp-397
> +-0x1.0d55066ffb4e1p-418, -0x1.f498b0b57eabfp-985
> +0x1.92487706239e7p+839, 0x1.a861c4e6cd56bp+858
> +-0x1.90e289ce03823p+266, -0x1.9b7324b04fbe9p+534
> +0x1.7a89e24f4dd4ep+202, 0x1.e17b0d5028495p+147
> +0x1.c76ef2787661fp+312, -0x1.d11873afe7043p+750
> +-0x1.9475f232679bbp-492, -0x1.ec5d349eeb8fcp-83
> +-0x1.46ff6c6d01bfdp+133, 0x1.15f45a6ce5d07p+819
> +-0x1.e865ac432e475p+864, 0x1.5b688316a6f35p-335
> +-0x1.ff1b174fc083ap+447, 0x1.0cda1c8c6e17dp-636
> +-0x1.93be66e12ab6cp-785, -0x1.52c017a7eeb1ep+528
> +0x1.5a81cae2bf074p+633, 0x1.1e7c44e3f7147p+412
> +-0x1.ea37520cc4c73p+747, 0x1.56938541747cfp-1010
> +0x1.e07f64df0472bp+499, -0x1.da4ea4d50f099p-330
> +-0x1.3b46a22b4d1a5p-484, -0x1.3c9652a1b38e4p+735
> +0x1.99f8988c9a29ep+406, -0x1.267efe22b4d6ap-507
> +-0x1.e6900f34f0e89p+201, 0x1.6808d8175449fp-781
> +0x1.281e7cd9e6f8ep+755, 0x1.91878892830e6p-760
> +0x1.c11d41d32e7a9p-836, -0x1.b13f6e505e542p-517
> +-0x1.763242a88a435p+575, -0x1.c735b86af8c0ap+164
> +-0x1.68d2d31ef5a0fp-822, 0x1.fe73b669121e6p-530
> +-0x1.e2ec1e484b467p-246, -0x1.517674118ece2p-510
> +-0x1.d476c1bc1a52fp+376, -0x1.c8436ee6291bep+818
> +-0x1.2ffdeebbaab96p+144, -0x1.cbd166199ba51p-734
> +-0x1.fcbed2f5373aap+669, 0x1.435d769199dbfp-805
> +0x1.bca15435f5c05p+45, 0x1.e294e729b665dp+549
> +-0x1.392bf94af616ap+455, -0x1.b37cc138ca3cep+102
> +0x1.56ff2da161de6p-919, 0x1.16d11c53a7cf5p+303
> +-0x1.204990fc84f77p+684, -0x1.2628043f0fe08p-417
> +-0x1.50360f8a8f455p-818, -0x1.0ede3efc906b7p-573
> +-0x1.13dd476a38f43p-92, -0x1.3f243a6caf87bp-214
> +-0x1.bb3685b58bd14p+889, 0x1.262e682291e64p+813
> +0x1.f7b34af8b1b6ep+818, -0x1.1f6557d369c25p+648
> +0x1.90c2babca2f1fp+131, 0x1.70a7107f832fap+558
> +-0x1.56c85887bc5ebp-896, -0x1.2d706f8f20cc1p-585
> +0x1.f446545972c8cp-832, 0x1.cd4b4070c8996p+393
> +0x1.52b20cf35c687p+466, -0x1.2e658b97fc69bp+381
> +-0x1.69ef69848858ep-925, 0x1.c49c1fb4ff3a2p+677
> +-0x1.4faa81b6c6265p-361, -0x1.be626569dccccp-503
> +-0x1.8d2a9a383d506p-467, -0x1.c9f284d06c576p+434
> +-0x1.9a293ce2c81cfp-447, -0x1.841977b795897p-63
> +0x1.3ec878f68f40cp-806, 0x1.f348321912e5cp-550
> +-0x1.6f7bbd10c82ddp-439, 0x1.877dcff25c497p-577
> +-0x1.9c2f7ea3b6878p+408, -0x1.83fa86483766bp-325
> +0x1.70f578bb9533bp-712, 0x1.a1a74a80f45c7p-295
> +0x1.cca7cf2817ba7p-860, -0x1.2be524a6f3e33p-221
> +0x1.20bc24c8a126p+842, 0x1.8cffe6532802fp-854
> +0x1.6f1a523e6e92ap-640, 0x1.acac10f26818p-868
> +-0x1.efb2bf99c041ap-49, 0x1.59bbe4d1e01bfp-68
> +0x1.1a003438903f4p+864, 0x1.4a656551d94fcp+976
> +0x1.472679d7418eap+697, 0x1.63d3e008371fdp+72
> +-0x1.a56bf5b0a35fap-221, 0x1.5bc6dec8df722p+153
> +0x1.2e6bf50077ac8p+472, -0x1.092db085783cdp+604
> +0x1.828468bbcee93p+170, 0x1.5cdd84670e071p-646
> +-0x1.2b6e8dd80a229p-702, -0x1.897b1e2bab355p+656
> +-0x1.09f81069fbaa4p+514, -0x1.645850022d112p-871
> +-0x1.61141fb352a63p-622, 0x1.a25bfcd7039dbp+705
> +0x1.38f128a15e6p-780, 0x1.fdcacd1866dbbp-740
> +0x1.4a816e68d12ap+938, -0x1.4d4f5e8beb119p-137
> +-0x1.79743984c7c4bp-432, 0x1.6b360061cb6ebp+341
> +0x1.4085f9860efc7p-578, 0x1.3b1a52f7735a2p+821
> +-0x1.fdd6f1f21f4cbp+600, 0x1.63b1cf27c3d71p-861
> +0x1.d6d5636d9b52bp+747, 0x1.f74138528a4edp+205
> +-0x1.d889d11cc04e3p+124, -0x1.727a5b11ea9c9p-194
> +-0x1.b14cb39070498p-870, 0x1.adc43b3db4d59p-913
> +-0x1.8f9a4c8709cfcp-683, 0x1.c167543c4f8dp+484
> +-0x1.8c8f198f83d25p+389, -0x1.2acd43dc601c7p-925
> +0x1.00dc21201dd3fp-363, 0x1.12bd881160a0fp-611
> +0x1.3b8d0b7b496d8p+741, 0x1.d9791df33fac1p+718
> +-0x1.c57a262ffca6fp-299, 0x1.67ca7d276fe05p+842
> +-0x1.398bf03135e64p+180, -0x1.6f63b6716c7d6p-553
> +-0x1.577ed8a9668c7p-435, 0x1.b158b8ef66da7p+773
> +0x1.a925ddd73d122p+239, 0x1.75da7381ba36bp-554
> +0x1.aa55abf852967p-865, -0x1.a5ba61af0e1b9p-640
> +0x1.8da7a6d44fc61p-994, -0x1.c9b1584f1107bp-197
> +0x1.01211a48a51e9p-122, 0x1.8b7492103e65dp+734
> +-0x1.1537e473f5c65p-757, 0x1.79effd1669aa8p-38
> +0x1.8baaeb1ebf6e6p+233, 0x1.33088baff4c6p+241
> +-0x1.f9a6d8e0975e6p+236, 0x1.ff9f0020e9048p+8
> +0x1.ef67be55e650ep-305, 0x1.79e2e6ecdcb89p-469
> +0x1.616acbc7b7fcfp-953, -0x1.f9c43c9a4997p-779
> +0x1.d4f001ee489fcp+991, 0x1.b6659362bd8e7p-976
> +-0x1.38635f22ae1e9p-721, 0x1.e0f0a6a27ec05p-950
> +0x1.37a00d97d5439p-647, -0x1.73d96401d733ep-381
> +-0x1.ef42af5cde108p-734, -0x1.a1111a85d88dcp+368
> +-0x1.f9356336eb04bp+425, 0x1.c73595538494ep-266
> +-0x1.7d4616d0d4ab9p+867, 0x1.803c102f32713p+396
> +-0x1.c1a231aaa532ep+984, -0x1.70d03a3853fa4p-473
> +-0x1.329e89377c4ffp-717, -0x1.0e9a006387ac5p-46
> +0x1.754af9e855c0cp+205, 0x1.a966e0f892021p-644
> +0x1.afb4d264dbdfap+411, -0x1.ee31ecc37a5f1p+1021
> +0x1.9ee00bbf52557p+345, 0x1.f31c8a31ab158p+274
> +-0x1.c6e1644d8c4e4p+262, -0x1.45c50029dd117p-428
> +0x1.bd12397eb841p+540, 0x1.7057b7f788553p+732
> +0x1.e7b4d0d26f2b3p+892, 0x1.b57ddd846a188p+193
> +-0x1.2b5a9c0241dc8p-518, -0x1.915b7e9526228p-320
> +0x1.bc804abeaca35p-596, -0x1.4420836242beep-59
> +-0x1.cba822633ff8fp-214, -0x1.6161c6719a7c3p-753
> +0x1.654df6c52a9fbp-309, -0x1.06074a07ee34bp-277
> +0x1.71a2fde5038b3p+214, 0x1.d7203b3a1411dp-446
> +0x1.864163a41ac0fp-700, 0x1.fc3e0d3881296p-468
> +-0x1.a0fe0638a13d6p-1019, 0x1.3ccfd97d04ac3p-883
> +-0x1.ea2d6341264f9p+967, 0x1.74c85a744a30dp-895
> +-0x1.7b229dd4fad83p+574, -0x1.f5b6ff060e14bp-311
> +0x1.0847e35317b2ap+872, 0x1.263cc7008eda6p+786
> +0x1.836d9cba61135p-822, 0x1.42cadefcbe54fp-881
> +-0x1.f3160f0fabd52p-679, -0x1.b422bf6a06284p+226
> +0x1.6d53a76310183p+137, -0x1.5990d03d7fc06p-807
> +-0x1.f2707b38430cep+819, 0x1.197b70fe7abf1p-289
> +0x1.3d089bf57d8a6p+761, -0x1.edd136b9f96a4p-439
> +0x1.0709c83a75b8ap-433, -0x1.b903f3b7d4615p-260
> +0x1.6ef476cc3b04ep-609, -0x1.26049c2f1c352p-433
> +0x1.df370d82f900ap+43, 0x1.e0a3ff4d4a3cdp+893
> +-0x1.c0fd6da7e0c1ap-1003, -0x1.988ba00743d67p+549
> +0x1.84206fe9d4f58p+648, 0x1.d8b8d3e0b4e46p-869
> +0x1.ff96130f95774p-173, -0x1.edecc6c42567bp-330
> +0x1.eb2ef215c55b2p+34, 0x1.27e6b07cf8c7dp-692
> +0x1.4b40312a220abp-516, 0x1.d8f1cecf8b454p-996
> +-0x1.b78cb61a1150ap-207, 0x1.45720db95266fp-963
> +0x1.927136ec86accp-764, 0x1.251099daf16a4p+857
> +-0x1.880f868994f9cp-558, -0x1.f986798188bcap-918
> +-0x1.ad4f15fc5b3ccp-496, 0x1.54f2a9c040b1ap+752
> +0x1.345a08e466479p+754, 0x1.eba2a4ba16953p-593
> +0x1.ca715be6a7cc6p-136, 0x1.a8877bf600824p+837
> +-0x1.a2f91d66f1b86p+263, -0x1.82b1b34a211aep-605
> +-0x1.ab9e91db764bp+110, -0x1.7eee5611dd3fep-860
> +-0x1.1fcaa151dcf23p-1004, -0x1.32d025c752388p+787
> +-0x1.328464f3c8726p-973, 0x1.cc2b39aeb9a6p-416
> +0x1.007f3d7f0e16bp+98, -0x1.a2d87e3b81475p+963
> +-0x1.46589bf40603ep-492, -0x1.e2e2ff99c103ap+287
> +0x1.b0e96c5eb7685p+386, -0x1.d824f6f0c309cp+294
> +0x1.9d19ef3e2ffa9p+359, -0x1.143b522ff344fp+68
> +-0x1.c5a997bdc73ebp-803, 0x1.c22d771e1e0bcp-443
> +-0x1.ad43d4178df7bp+545, -0x1.0476bd7e6a54bp-134
> +-0x1.3dec26382e421p+433, -0x1.94fe1637a388bp-222
> +0x1.e3e8bd564a2a6p-55, 0x1.49c70d3334283p+481
> +-0x1.a12efcac0fa89p-15, -0x1.36f0d6dd3c26bp+3
> +0x1.fd73824406e7fp-173, 0x1.78219dd6bbcfbp-237
> +-0x1.418ec59bb4e29p-858, -0x1.d4318757b4b8bp-409
> +0x1.0310c4fa29ee9p+815, -0x1.561374f4c43d6p-589
> +0x1.841880334fe9dp-236, -0x1.4848b24d0472dp+866
> +0x1.5d6949de4154dp-829, 0x1.2091c1d9b73d3p-1021
> +-0x1.2ac8017ab5892p+228, -0x1.2be11eb3cbb2p-62
> +-0x1.79ae0adf95f2bp+469, -0x1.5d03f72741e28p+261
> +0x1.0b6cc6755cf4fp+1004, -0x1.657df8cd3ad36p+969
> +0x1.6ac7dc7cbd9a2p+844, -0x1.295186fd5a461p+583
> +-0x1.7ff3241662b9cp-407, -0x1.5fd7fbbaf3a9dp-813
> +-0x1.c58ee93c33266p+753, 0x1.a1ab883ce5434p-36
> +-0x1.96f5f04c2f464p-168, 0x1.0b461ecc4b7d6p-922
> +0x1.ba604f170f7c9p-149, 0x1.a99217bf2d0a7p-778
> +-0x1.4835d1f469224p+841, 0x1.1937793755eabp-182
> +0x1.fe78881af7febp-134, 0x1.630169576e036p+539
> +-0x1.6698ba5c20ddp-115, -0x1.ff068e5836595p-939
> +0x1.17b49e9681a82p+898, -0x1.364fb710eab17p+964
> +0x1.899cb4a8030bcp+731, 0x1.a6e18b4844a54p+814
> +0x1.5d249524d7c1cp-916, -0x1.4df4912c71364p-528
> +-0x1.b483741db72fep-896, 0x1.5e38500a41ef6p-353
> +-0x1.c649b634c49f3p+462, 0x1.e10d690e21746p-588
> +0x1.c0243af36ae07p-56, 0x1.98efe19e31d0bp-745
> +0x1.3e9375f1fdfc4p+610, 0x1.98981c3a04c1dp+852
> +-0x1.22b057aaf9d81p-895, 0x1.2a52d36701ff1p+180
> +-0x1.1a43b134b404ep+758, 0x1.2dde4e536602dp+803
> +-0x1.4a8ec71fbaae9p+86, 0x1.5af682eb54995p+803
> +-0x1.4ea2023486202p-955, 0x1.fbd200f967ad7p-364
> +0x1.653e2e58fee69p+731, -0x1.73a474aa28ab7p+247
> +0x1.91c372ed7dba9p-866, 0x1.7434b02c10f8fp-217
> +0x1.dc09c5407e20ep-350, 0x1.638ce6ffc4f74p+660
> +-0x1.bfffd339062c2p-935, -0x1.9561d60fc0379p+779
> +-0x1.1c84fae104859p+350, -0x1.c29f23ab083b5p+980
> +-0x1.d76aa28c3b123p-380, -0x1.0e9739accda04p+981
> +-0x1.c8eba56da773p-568, 0x1.20334ccf0ad5cp+754
> +0x1.70248ce177e39p+65, -0x1.59e7dd27a32c1p-295
> +0x1.15f0c7a31a514p+415, -0x1.a13e1be0eff11p-722
> +-0x1.9b29bdc200f9cp+895, 0x1.640b44f368a39p-108
> +-0x1.f3ce00a4d660dp-974, -0x1.7da4c6c6c4058p-45
> +0x1.96d47ff47e46p-836, -0x1.4073d7c22860bp+965
> +0x1.525621ff5063fp+147, 0x1.f692f37cdd382p+291
> +0x1.c98c9fb3c856dp-505, -0x1.ae059226c76d4p-628
> +0x1.6ff383d1ade7dp-797, 0x1.2faff9f1e05f4p-894
> +0x1.33d332690fc6cp-472, -0x1.0596916b71093p-66
> +0x1.6ac0e441c0b8fp+19, 0x1.f462c3703ff57p+640
> +0x1.5d6b56ec43c82p+554, -0x1.4b5893c3c2a93p-814
> +0x1.eb41fc0afbae8p-941, 0x1.4ab53f214d8c6p-791
> +0x1.b2d45d736a02ep+207, -0x1.1f95f822d7799p+783
> +-0x1.f5e88da9ba61fp-191, 0x1.44cbede96ea5p-513
> +0x1.aa22ecc174b97p+140, -0x1.34d368e46663fp-750
> +-0x1.afb895fc2d5a9p-391, 0x1.cd058e2ce6a5cp-594
> +-0x1.fdfe414690a48p+219, 0x1.0c62089ea1a26p-564
> +-0x1.b7f139f27d1a9p-958, 0x1.08497b0e149p+609
> +0x1.cbdd9d00ec53fp-889, -0x1.8a0df224eeb41p+180
> +-0x1.2c4f61a61e2f3p-925, -0x1.bb4584ce4583bp-89
> +0x1.398a21ff40d2p-525, 0x1.1ea6dc8faf463p+764
> +-0x1.e053dded237e3p+448, 0x1.d9a4fbf891117p+897
> +-0x1.6970debd68939p-181, -0x1.c321b67b5d8ffp-799
> +0x1.c9173f9d2256cp-94, 0x1.0300654420afbp+132
> +0x1.fd8af1d806cfep+703, 0x1.6f346ed47986cp-725
> +0x1.7359d99eec8bep-377, -0x1.308e8f9dd340ap+22
> +0x1.b69ed445c0fecp-642, 0x1.40fe9856c9524p+830
> +0x1.3c9963a22f88cp+179, -0x1.c1a338d49d771p-153
> +-0x1.3c628bb3a16b4p+943, 0x1.0bd79855c2a15p+892
> +0x1.a2956df189feap+862, -0x1.430a09d3c48e8p-382
> +-0x1.c58a4f88b051dp-818, -0x1.749b08cb7267ep+46
> +-0x1.47424874956c4p-472, 0x1.5d53f92d872b2p+360
> +0x1.3ac3c45e5b085p-583, -0x1.8b888ebd96778p-489
> +-0x1.a3cce9a7875e4p+848, -0x1.4a0288f77b2p+83
> +0x1.04c053055e26p+116, -0x1.adeacc9b7efe9p+748
> +0x1.3a545fad070b5p+736, -0x1.b971a19a23ba7p-204
> +-0x1.4b06d12f140d4p-352, 0x1.4f1f7ca3a5aa4p-97
> +-0x1.4b34797ec8e3bp+1012, -0x1.ec9fedf87d0b5p-708
> +-0x1.9a123ad73fafcp+101, 0x1.424981d6598a6p+351
> +0x1.5b353c0b6aec5p-3, -0x1.c58a64ab63a0ap+1019
> +0x1.c4d6a8aa200d6p-608, -0x1.897f2effad50ap+68
> +0x1.2473892e0d653p-119, -0x1.e8ee7fcff6d67p+818
> +0x0.ca3b996c8f9b6p-1022, 0x1.5fdc12e3b5f85p+216
> +-0x1.b792edef53c35p+416, 0x1.d3ffb3d8fc4dap-674
> +0x1.85cc482bb6e48p+515, 0x1.9282863ea931dp-422
> +-0x1.d56d55f88eeb4p+791, -0x1.14be64f69ce5bp-595
> +0x1.b035c2b7bc0cap+626, -0x1.d0534fb3ab003p+693
> +-0x1.da47e70b4e0c4p-797, 0x1.13bfb01fb078p+197
> +0x1.fc23bbdeffedbp+575, -0x1.4ad27c9e72337p+779
> +-0x1.ed2f41b68412p-85, -0x1.89a6ac24742a1p+162
> +0x1.538f9175bad3ap+969, -0x1.1bb4c19af5595p-493
> +0x1.5548ced19b007p+212, -0x1.0af485176f217p-590
> +-0x1.12f5f81cb1638p-613, 0x1.a9855b7297d3cp-639
> +-0x1.ede28c82a1cecp+653, 0x1.72ace7dd05ae1p-345
> +-0x1.ce0ef9b0c1a58p-927, -0x1.0933e76eb202fp+107
> +0x1.7c5f6f78950d3p+828, -0x1.43b30032f092ap-328
> +-0x1.a91c26be6ec6ep+83, 0x1.d386e9e104b4ap+416
> +0x1.b4b3228d3e8b2p+830, -0x1.9ae727179a915p+165
> +-0x1.b632258d91d4p+754, -0x1.305f94b7a57c4p-87
> +0x1.326690d491cafp+479, -0x1.539cf1f3237bcp+600
> +-0x1.e3510c8015c3ap+867, 0x1.399de732fdb91p-1001
> +-0x1.e71dbbc3bd5d5p+132, 0x1.ff0a5b0c9494bp-201
> +-0x1.714145d97709cp-968, -0x1.20bd66be71137p-147
> +0x1.ca1f25e85fa53p-609, 0x1.54dcf288294d9p-883
> +-0x1.b2daace6045bfp-457, -0x1.bf71fc4c48eb3p-777
> +-0x1.e0bd0b3ee6975p-498, 0x1.a44a68ebd64fdp+926
> +-0x1.91a9040bb5f4dp-374, 0x1.21c03f17a12e3p+494
> +-0x1.52c8e516058cep-605, 0x1.6c773943b6575p-221
> +0x1.0b36199ce6fdcp-402, 0x1.f4fa5dcc66238p-424
> +0x1.7b68fbcc9a7b1p+737, 0x1.00d589aeb9d14p+838
> +0x1.762015597525p-707, 0x1.91c0a96e3e2f3p+69
> +-0x1.9c1c91a01e7f4p+561, -0x1.2b5afc756381p-86
> +0x1.168db8b195388p+77, 0x1.5941ac902b8adp-322
> +-0x1.5fd7fc44221f6p-175, 0x1.8ec12c1b5db9dp+821
> +0x1.afc39485b60e5p+365, 0x1.ca8524e92647ap-889
> +0x1.6d6fb6ff7d88bp+1007, -0x1.1f98ec264f97bp+818
> +-0x1.aabed7cb278bfp-531, -0x1.7d50961792ae2p+646
> +-0x1.54c1810ef8546p-863, 0x1.8494c04338cffp-933
> +0x1.4a53f9d493286p+13, -0x1.7d5f45cf88817p-561
> +0x1.9202115764e33p-762, 0x1.3aeeb538484ffp+632
> +-0x1.fd3120017ba15p-171, -0x1.8e7297b901883p+175
> +0x1.5432ceb2d540bp+204, 0x1.e2fb29d69d5b4p+868
> +0x1.fade56777205ep-441, 0x1.7008842efa71bp-836
> +-0x1.c56cf93119487p-697, 0x1.80b8c8746f3a1p+746
> +0x1.5981929daf7f5p-827, -0x1.ed02906ddcb2fp-906
> +-0x1.a41b88e2c5debp+342, -0x1.2b2469d0471d3p+404
> +0x1.01599e94c69cbp+466, 0x1.01993baa28dfcp+818
> +-0x1.dd239f1b51226p-511, -0x1.16789d43ac97dp+565
> +0x1.0ded21786afbap-262, -0x1.a54ddc4e86bcap+659
> +-0x1.23f4f983b875dp-750, 0x1.dd4aadb8840cbp-633
> +-0x1.fc421b593967cp-517, 0x1.f0ed46dfb4ffep+713
> +0x1.dfb22ec4cf72cp-1004, -0x1.73173dd7aab6p+326
> +0x1.2db5f7b524b72p-919, -0x1.589675c47344fp+378
> +0x1.56d3d3502df3cp-952, 0x1.db00e5c4e0213p-311
> +0x1.50edf7242bddp+559, 0x1.4613f677cbad5p-40
> +-0x1.f7d9ec2938ee2p+220, 0x1.0be59f2cce9a5p-382
> +-0x1.9c9a552de56dfp-57, -0x1.b4f304bdc8ab6p-937
> +0x1.f02142c026defp-961, -0x1.eb3716d2031bfp+195
> +0x1.527b93ca647cep-866, 0x1.a88a9f3833375p+1002
> +-0x1.a74019c62e26p+399, 0x1.faee3010ed0c4p+801
> +-0x1.7ca550710140ep-101, 0x1.eb52be9e679fp+571
> +0x1.12171f8729216p-519, -0x1.004f792d5a268p-63
> +0x1.d65bfd4c30839p-746, -0x1.4daba43409641p+204
> +-0x1.21cd83e498516p-450, 0x1.4609b19e9ef53p-403
> +0x1.ebb5fa387c927p+248, 0x1.4ecab9624ec62p-92
> +0x1.45b55f65ff1e7p+813, -0x1.f707e3c8b5239p-138
> +-0x1.1da001fda482bp+974, 0x1.edec501a36b24p-724
> +0x1.97315ecb8425cp-123, 0x1.612592215f3fdp-132
> +0x1.8d5b1b3846284p-425, -0x1.3ce5fa09132cbp+436
> +0x1.d1d47524c44a4p-812, -0x1.bf891b93dde8ap+744
> +0x1.92a7bf9242684p-73, -0x1.aa82bb891be0cp+89
> +-0x1.e6810b9a1bf0ap-168, 0x1.c5398195ccdc3p+956
> +0x1.7e96a89da165fp-109, 0x1.f329f2304d644p-49
> +0x1.34bd8b31ce5c4p-282, 0x1.abae1a040636p+948
> +0x1.996f4e63d4f6cp+525, -0x1.cc3c2ee836653p+88
> +-0x1.02c3adb3be10fp+415, 0x1.9b4364f0bdae8p+443
> +0x1.b9b92f18fd558p+252, 0x1.016c8f344aa47p+650
> +0x1.c4c4bb137d3b3p-872, 0x1.f8f7156fde005p+743
> +0x1.a8de0feae63afp+656, -0x1.be0f16040e274p+567
> +0x1.dbfd2ff985308p-669, -0x1.44af235aa6586p+1020
> +-0x1.a0078fbaaab42p-479, 0x1.9dd2d4b16edecp-982
> +-0x1.e5ecc39229163p-774, 0x1.76f56f40cf5fep-657
> +-0x1.50b0162168c61p+75, -0x1.57cd096ae8ceep+687
> +-0x1.a462268708eaep-588, -0x1.0d36bcb0b2543p-466
> +-0x1.9d5d462d78a6bp-722, 0x1.991f65583703p-302
> +0x1.0bc631281acb7p+773, -0x1.94de5221c9b09p+933
> +-0x1.883db5e32c18ep-926, 0x1.e909063938ef8p-786
> +-0x1.c19dc126e2edp-216, 0x1.b69af7ca5d054p-418
> +-0x1.71c3328325a06p-201, 0x1.47b59a7ef826p-85
> +0x1.a4c106321fba5p-905, 0x1.d662dbd1e9c91p+254
> +0x1.c5b5de0aca697p-258, -0x1.f7d22c841742dp-581
> +-0x1.023ca584137cbp-748, 0x1.ca5f548413f7dp-208
> +0x1.22e3284776858p+995, -0x1.17ae2e18def95p-26
> +0x1.ea4795d44137dp+675, 0x1.46f251013b56ap-288
> +0x1.1884e3956d27fp-761, -0x1.e674a4e761f5fp-739
> +0x1.6204d355c8abfp+1015, -0x1.21daf1f59bedap-270
> +0x1.1fc66d71e1062p-964, -0x1.ab81995abffc2p-254
> +-0x1.ac284515546c2p-721, 0x1.1dd5d567a1a71p-396
> +0x1.241d5888f647ep-200, 0x1.73d9a9c9d9b67p-251
> +0x1.cb9669c0b22a4p+218, 0x1.7e5907e439ba7p-72
> +0x1.3ac7220650da3p-269, 0x1.63d95519da5d1p+241
> +0x1.8eb6d46d9a348p+330, 0x1.5ab0857c44654p-861
> +0x1.fe103724110ap+293, -0x1.6f2313c4854bep+856
> +-0x1.c876b78ed48ep+47, 0x1.c364b45c86731p+410
> +0x1.20bc075971705p-179, -0x1.4623e2dba0225p-950
> +-0x1.bab2368e68d6fp-806, -0x1.1bf2a7f5955p+283
> +-0x1.e2a7f07af1ba8p+225, -0x1.2d8a8fa4019fep-360
> +-0x1.7c24cad3c9107p-793, -0x1.7c8df00527f77p+374
> +0x1.4c4257d85d97cp+868, 0x1.d95fb6727b064p+495
> +0x1.883a5e7f0489bp-256, -0x1.c435375952c0fp+27
> +0x1.fc5a906c4aea2p-390, -0x1.057b91c5f31ccp+351
> +0x1.86b1e5feb630ap-212, 0x1.c9317e723e87p-782
> +0x1.fd784a7a3492p-310, 0x1.13394a2dbec98p-79
> +0x1.7fe2769664081p+435, 0x1.10e2b5c4b6481p+145
> +0x1.e03f7bf6e87c2p-470, -0x1.ee5649f4bf6fp+276
> +0x1.4ab32bae3801dp-330, -0x1.cc6cfb5febdfcp-170
> +0x1.d06c7fe7c6b0dp-376, 0x1.cbde7bcaca351p+735
> +0x1.008c2aab04dabp+859, -0x1.285fe5dd7d39ep-855
> +-0x1.8695662e78418p-630, -0x1.4ebb1cd711234p+272
> +0x1.1c7560a0d2df2p+702, 0x1.10fd7629c58a7p+236
> +0x1.e92cd9e803aecp-636, 0x1.2a0d010fccd2cp-157
> +0x1.08913e8bcd565p-224, 0x1.84d49084f3544p-991
> +-0x1.807cc09113d47p+358, -0x1.e984309dbe045p+169
> +-0x1.f83619b15175ap-889, -0x1.9a2cf661dbcbp-663
> +0x1.5fd0dddd8c329p+331, -0x1.f5cad18245203p-325
> +-0x1.af7f725a79dbp+979, 0x1.0569c82eaba96p-1010
> +0x1.cad6d7736af6ap+804, 0x1.68a9d7048d8dfp+16
> +0x1.b06e4f6e05c74p+675, -0x1.82e414b8b1f3cp-981
> +-0x1.0c17284003246p+437, 0x1.a98a01fd5ea0dp+593
> +0x1.0a9276374f493p-364, 0x1.9abc279b0f173p-753
> +0x1.e67c66ea3297cp+799, 0x1.7862e7b7e2378p-324
> +0x1.99f36820e47adp-891, -0x1.74fae8b0b3fa1p-548
> +0x1.5727b90bacc54p+42, 0x1.f8a955c63b79p+439
> +0x1.bc630f9589dep+939, 0x1.00a0432666a59p+370
> +-0x1.a0a05f9ad91dfp+852, 0x1.0400649151163p+262
> +0x1.916ce547832f6p+702, 0x1.1cdde7fed53p+885
> +-0x1.4a809e3e8738ap-1003, -0x1.6e1ebe4d7d35dp-508
> +0x1.d4ede50b0f8fcp+959, 0x1.d723c8d23e883p+736
> +0x1.c2acda5cceb57p+381, 0x1.ccf15447659bfp-45
> +-0x1.a030113512cb1p+746, 0x1.c0f08c56a8681p+756
> +-0x1.87cbeda5c080bp-968, 0x1.37316dba763f4p+1023
> +0x1.2141e5f6943ccp-981, 0x1.894b6684f4d0ep+768
> +-0x1.ee4b5798a9cffp-516, -0x1.a3c3ef4d63759p-176
> +-0x1.28fa20f216b59p+898, 0x1.e0c9b5cabe6ep-154
> +-0x1.045cc99bc9b41p-547, 0x1.ea693bae2df0fp-1018
> +0x1.603305c877b17p+509, -0x1.ae79d5792d458p-499
> +0x1.bd2500f96ac17p+1023, 0x1.1756ccd297817p-134
> +-0x1.2a8372b2c5fa8p-815, 0x1.5acea1671ec1ap+916
> +0x1.a1b0e306ac99p-292, 0x1.8a62c83277e19p+299
> +-0x1.936570229e706p-836, -0x1.32f83f64d9642p+995
> +0x1.57a4e8244e595p-939, -0x1.80e476dda7192p-806
> +0x1.484d7640f541fp+983, -0x1.07a37b1528d44p-182
> +0x1.1254176e87c6ap+392, -0x1.b0001af186addp-981
> +0x1.ede3fc3a5ca1bp+578, 0x1.95031dd4bdd3ep-959
> +0x1.a2eb5cbb6ba73p+1010, 0x1.efcb4205e5ec7p+854
> +0x1.b2c24a0226e26p+526, -0x1.45198a7a92467p-113
> +0x1.3050e85788d06p-665, 0x1.a04395bb35bbfp-990
> +0x1.a4419ac76552dp+299, -0x1.ac156732cef0ap+442
> +-0x0.c9c2ac71cf416p-1022, -0x1.43c79d7592e3bp+662
> +-0x1.61be60c492702p+53, -0x1.04995d2d2f4afp+833
> +-0x1.ec6a831ec4f3ep+814, -0x1.c085bfb8b0802p-312
> +-0x1.459bb6e803835p-368, 0x1.3dc58d44ec162p-469
> +0x1.1d79a7c416909p+813, -0x1.46b62b0a3ac1bp+613
> +0x1.9d1387fc05612p+868, 0x1.adacb571845afp-638
> +0x1.e55125c4369a4p+268, 0x1.8c6b089764121p+17
> +0x1.db29703a69ed2p-72, -0x1.b6011d91ad9e9p+907
> +0x1.9ebd63b002a6p-697, -0x1.cc3c55854c2ecp+239
> +0x1.b45f659d66846p-656, -0x1.ba09fb67b05d2p+186
> +-0x1.c65ba7ae75451p+853, 0x1.844fe2c65f941p-630
> +0x1.738a17a1a0746p+938, 0x1.6bda1a8a04583p-226
> +-0x1.d74d85d4d1f4fp-638, -0x1.8dd6a9ce6cdc3p+876
> +-0x1.ac1dbf8e05e35p+779, 0x1.a6418bed4b62bp+262
> +-0x1.6ea1fa5253bedp+26, -0x1.601895f61ee3cp+697
> +-0x1.a95b0ff128d5ap+633, -0x1.ed2d83198618p+666
> +0x1.8bff8243f7b3dp+278, 0x1.c2a77096bbdb2p+85
> +0x1.eec96511d93b4p-140, 0x1.623a468ac3d94p+183
> +0x1.c4eabfa35fddfp+889, -0x1.33f439b51bc35p-222
> +0x1.949f1b5ce5dbp+302, 0x1.f8f0932a9d195p+710
> +0x1.0aa20a24bcef5p-183, 0x1.5c0292e4e2975p-513
> +0x1.9ef93307c3522p-831, -0x1.4250a65b9d124p+950
> +0x1.d6262800d007cp-587, -0x1.289e6162488a5p-395
> +0x1.9b9c2759b9d6cp+348, -0x1.70f9a73f8de5p+72
> +-0x1.fdb00afbe1e01p-383, -0x1.2a155917930f9p-583
> +0x1.061bdc95f343cp+443, -0x1.fcc2fa73ffe7fp-389
> +0x1.0ecd81dee3403p+1020, -0x1.2b8cab98346e3p+217
> +-0x1.a7d9c01150eeep+145, 0x1.c99503b3fab8ep+79
> +0x1.115849bd4355fp-889, -0x1.584be874ef866p+895
> +0x1.79bdc0480d5f6p+835, -0x1.5137a69c83238p-537
> +0x1.34fcbb895c593p+202, 0x1.3b95fbd9eae2fp-367
> +-0x1.dcc539c5674e9p-497, -0x1.65e85d7fddd54p+973
> +0x1.04c41aef220abp+354, 0x1.f25bfa410cd1ap-637
> +-0x1.21a2f3fa109b3p-176, 0x1.464134cab10a4p+649
> +-0x1.aa97f9df3d02ap+320, 0x1.270a06e1ed625p+393
> +0x1.0757de7784636p-803, -0x1.1078a50df2d9bp+926
> +-0x1.db116067d1e52p+508, -0x1.2094021453f7ap+881
> +-0x1.3e5acfc0a9699p+299, -0x1.a1ac083116c75p+756
> +-0x1.1762f192cc412p+98, 0x1.b34a206142782p+618
> +0x1.380460b387bf9p+261, 0x1.27a285767a5b9p+365
> +0x1.63b3b9db0d83bp+236, -0x1.54964f2e283d3p-291
> +0x1.f9a6d9e3eeffap-811, -0x1.03b06a9b79d63p+832
> +0x1.a25365aaf555bp-114, 0x1.49f4416582a9ap-117
> +0x1.b5d022e408eacp+118, 0x1.6f736ab12a72ep+815
> +0x1.3e8d033a37c35p+669, 0x1.d0b510d024ed8p+163
> +-0x1.753ffb7cf35b6p-308, -0x1.14995499cb3f7p-972
> +-0x1.dc454c6dc2fe4p+93, 0x1.4b543400eae43p+825
> +0x1.ac1f6e3d41783p-173, 0x1.a65dc47c15194p+723
> +-0x1.6c820c125474ap+607, 0x1.5c3f5183eddc3p+920
> +-0x1.78f8b437b9422p-106, 0x1.9b7b5b05b74e6p-982
> +0x1.259163f137d33p+776, 0x1.dc9c19787d832p+960
> +0x1.a21d9506336d1p-607, 0x1.89f563dcefe07p+438
> +0x1.89c77505177efp-232, 0x1.efb52e5b60e65p+459
> +0x1.7aa6fd4ab981bp+488, 0x1.105128296785dp+420
> +-0x1.d90e261c068cp+852, -0x1.2703ac5312c28p+243
> +-0x1.cf492b17bb3f6p+948, 0x1.8c5d493a58a31p+847
> +-0x1.18c29aa390d1cp-212, 0x1.cf0383e46dcc6p+376
> +-0x1.8b85915e13a71p-64, 0x1.d817b0af92102p-944
> +0x1.0ee2196ee8a76p-429, -0x1.739d2fff9fe55p+947
> +-0x1.f367f086e9beep+387, 0x1.7132680938113p+908
> +-0x1.095390367d552p-999, -0x1.09ee53b68a11p-674
> +-0x1.c2bfbd47f1fcp-381, -0x1.90bd759d89c95p-682
> +-0x1.5070732f1b6f6p-574, 0x1.5e1e18a89d10ep+910
> +0x1.b08151a83f7acp+1018, -0x1.b7449856e98b6p+518
> +0x1.9aaeaef8da936p+905, -0x1.f028be9fccdaap+819
> +0x1.e80b1f70df1e6p-274, -0x1.31af0033ae172p+471
> +-0x1.974eb9ea4776fp+769, 0x1.7bc9fb64cf9b6p+671
> +-0x1.42d902d4ac967p+39, 0x1.59fbc371e060ep+915
> +0x1.da244995ea5d9p+923, -0x1.d1f898dea5887p-140
> +0x1.228096ac90886p-475, 0x1.e89d6a356788cp+490
> +0x1.754733aabb8fp+615, -0x1.5ec7f36ef0645p+237
> +-0x1.c28a759014522p-368, 0x1.e06c3c72f1147p+674
> +-0x1.9359e4e2ab8dcp+39, -0x1.49e7e7eb7286p-432
> +-0x1.4205f02739704p-416, 0x1.8590b07658eefp+292
> +0x1.50dc9c70c62d2p+756, -0x1.7e05375a7ab59p-936
> +0x1.692682fbda19dp+135, -0x1.2c1424531f5e8p-57
> +-0x1.533e6e861a0dbp+776, 0x1.30569319da867p-1018
> +-0x1.230a5fd77b2b9p+595, -0x1.aed54652fdfa7p-29
> +0x1.ffb43cc18a59ap-332, 0x1.6541e1db4f3dfp+379
> +0x1.741695d36e2dp-235, 0x1.b2481aa788cc8p+234
> +-0x1.adae686004adcp-287, 0x1.33b21ad23690cp+419
> +0x1.bb009ab42f26fp-247, -0x1.42324ad2b8a68p-43
> +0x1.48d0967c5f305p-409, 0x1.a4e19caa8c9c3p+470
> +-0x1.9ca27f566a9a4p-944, 0x1.cabd95ac29be5p-809
> +0x1.ed59dd38faf7p+525, -0x1.ebc3480df97e3p-355
> +0x1.daf52cf4b4cf9p+37, 0x1.90a3a6c0923b6p-572
> +0x1.17d9f720c2817p-988, 0x1.fcc786fc17e44p-35
> +-0x1.922db9d580176p+647, 0x1.a49c619f10944p-180
> +-0x1.88d69d63ca7b9p+1001, 0x1.aaa0924175993p+233
> +0x1.9fd1c3e8a149p+17, -0x1.0e5dabd650042p+490
> +-0x1.7ee7727afa707p+117, -0x1.f28ff43a60bfbp+41
> +-0x1.c654c5b561eb4p+799, -0x1.d83d996dafdf6p+792
> +0x1.cfce439e8f42bp-782, 0x1.c58c8a15f8b97p+593
> +0x1.6681925e58ac9p-861, 0x1.2768402ced7efp-987
> +-0x1.fcc75df07481ap+978, -0x1.912cd806dd07fp-487
> +-0x1.d71f87c76b1d8p+873, -0x1.f5c64d1a7da78p-20
> +0x1.4cce0cf3c3185p+829, -0x1.cb56ef1a03f52p+87
> +-0x1.bda1a9c5ff5dp+169, 0x1.c66b9959e7f95p+137
> +-0x1.b82e694e7764dp+743, -0x1.c6bd0bdc6648ap+970
> +0x1.18361594258a5p-639, 0x1.2171c4a28c0eep-509
> +0x1.89b8d64277c87p-575, 0x1.b5f836264ff06p+439
> +-0x1.0d83cd1af1e99p+45, -0x1.47be13c8b3911p+751
> +0x1.0c3780fcb3604p+643, -0x1.57a797edd61b1p+754
> +-0x1.7745a041426aap-969, 0x1.4db400b96d65ap+421
> +-0x1.16810be69914dp-120, 0x1.359633ae39259p-436
> +0x1.194c052752cb8p-954, 0x1.01815af1c2c2cp-55
> +0x1.22d8cab5f845bp+652, -0x1.fbb57fa2642cep-510
> +0x1.1857f3606057ep-96, -0x1.6958bf8167258p+926
> +-0x1.275cced907a1fp+691, -0x1.daa610958c4b9p-589
> +-0x1.50962537ad40ap-613, 0x1.9484de2fb6c05p-789
> +0x1.72ec630989c6dp+590, 0x1.fc2ec584faadap+771
> +0x1.ff67d9efd9a7bp-437, 0x1.a342fe8ac841ap+36
> +-0x1.fa6a77ba49436p+594, -0x1.f40dab00e930bp-590
> +-0x1.459843f7583aep+540, 0x1.bb7bc32501f52p+464
> +0x1.3093dbe01bff4p+570, -0x1.38b026fd38248p+295
> +0x1.3f351b55e473ap+695, -0x1.2e9e6547857ccp+697
> +0x1.0ef002c6e5163p-299, 0x1.d467c08cf75a3p-343
> +-0x1.cfff22b862868p-150, -0x1.dd99a1e648e7ap-9
> +-0x1.a6f1972aff101p+317, 0x1.69e2d38ca4cfp-319
> +-0x1.7baeedc009edcp+858, -0x1.3ea62df373ca1p-241
> +-0x1.a91ffa89c5633p-734, 0x1.938cb7ffdb644p-239
> +0x1.2c288ad276a45p-665, 0x1.269c7f16bb183p-181
> +-0x1.76ab172388c82p-615, 0x1.1972be7709aecp+615
> +-0x1.7db418283e85ep-421, -0x1.fae14268866a3p+59
> +-0x1.cb48b2f68de38p-257, 0x1.4c3239a1ab421p+808
> +-0x1.6d20620b488fdp-909, 0x1.58b35285c1115p+501
> +-0x1.9bee720266f0ep-704, 0x1.7e32ae5746303p+863
> +-0x1.1a201780dd7aep-949, -0x0.c1957598624f4p-1022
> +-0x1.f0cf664d8d70ap-826, -0x1.89d0cc2a06bp+136
> +0x1.67059fe254eb2p-9, 0x1.984f78a7fa679p-576
> +-0x1.ea8a9cd8cb5a7p-577, 0x1.83eac1df0b8d1p+728
> +0x1.98ee1b3b19987p+193, -0x1.6cd21f3ec717cp-137
> +-0x1.fefcf1bb6a922p-18, 0x1.9ed2427a5900ap+858
> +0x1.e6ae7e7578defp-633, 0x1.ba06af17eae86p+476
> +0x1.71e69842d986fp-965, 0x1.2c3fdc4684bdp+422
> +0x1.b038cd5ae9e4fp+841, -0x1.95b00ece687efp+21
> +0x1.55a312d2bf3c2p-605, 0x1.f3d2c56e0dca7p-963
> +-0x1.13fce5f27a7a7p-458, -0x1.98c23d246fa2fp-572
> +-0x1.36fb53aa8e38cp-127, -0x1.154bab93c8eb8p-590
> +-0x1.f73f174bb837dp-77, -0x1.67054ecc9f64ep-762
> +0x1.e8df068ba3d27p+550, -0x1.903f587384614p+334
> +-0x1.208e3a22be12bp-545, -0x1.7c50e9315c046p-224
> +-0x1.733bbf66e524bp-167, 0x1.3292c65fc09dfp-602
> +0x1.4461130c1f39ep+95, -0x1.a2de85d48cfecp-345
> +0x1.5bbf44944b906p-224, 0x1.17b902b02851p+22
> +0x1.b55c7423964bcp+84, -0x1.6f05ad0402f98p-402
> +-0x1.3b7550ac640cbp-376, 0x1.b6843aa267502p-861
> +-0x1.bd4d0ffa60298p+962, 0x1.d39028ecd025ap-537
> +-0x1.d539bfb12f853p+533, 0x1.6fd6dcc76b594p-818
> +-0x1.7545b6cc7dab5p-989, 0x1.bfe53e64af279p+595
> +0x1.55d86841fd23p-1004, 0x1.d9c209c1b0068p-514
> +0x1.71d66d7b86f5bp+826, 0x1.80c9e49887e21p-832
> +0x1.a4ba3a825eaf4p-172, -0x1.7dcb9539bc991p-886
> +0x1.90bc135879ee1p+498, -0x1.d6593af2b9d7bp+493
> +-0x1.e3ca7439f0777p-52, 0x1.75cbcb66dc7efp+241
> +0x1.07f6872a92fe5p-607, -0x1.881e8574eaedcp-600
> +-0x1.78ad66194bdap+976, -0x1.763bf4157053fp+882
> +-0x1.ede5ec3f2f167p-439, -0x1.0beb082f89a82p-463
> +-0x1.72acd7228f9ffp-916, -0x1.ce0930cb50203p-755
> +-0x1.42e0f9c1c4b0dp-779, 0x1.08a5ee82c2212p+859
> +0x1.5eba5f7fe5f69p+980, -0x1.3d553ed90e14p-518
> +-0x1.a3a8484f043d4p-207, -0x1.2c3d8c0a90616p-419
> +-0x1.bdbfb2ad17291p-293, 0x1.ada0e6c75e1b8p-1005
> +0x1.dbd467dab06bcp+791, 0x1.344edbf4006aap-638
> +-0x1.8d948c07d8843p-948, -0x1.0f19d92ad5f81p+198
> +0x1.4fd4d0019912fp-940, 0x1.a06753a54d04p+931
> +0x1.1a58041a552efp+775, 0x1.8e950df4ff8aap+428
> +0x1.086dabe1d9b6bp-488, -0x1.f8e2cb6387fe2p+62
> +-0x1.8bbc34c5c76a5p-945, -0x1.27441a8578b44p+860
> +0x1.478d786c0b936p+153, -0x1.29257807aa044p-729
> +-0x1.7c39fb95aaf5cp+150, 0x1.aedeb637a197fp-963
> -- 
> 2.30.2

ok

Paul
Adhemerval Zanella Oct. 7, 2021, 11:20 a.m. UTC | #2
On 07/10/2021 06:48, Paul Zimmermann wrote:
>        Dear Adhemerval,
> 
>> From: Adhemerval Zanella <adhemerval.zanella@linaro.org>
>> Cc: Paul Zimmermann <Paul.Zimmermann@inria.fr>
>> Date: Wed,  6 Oct 2021 15:05:49 -0300
>>
>> Instead of inputs based on the algorithm implementation details.
>> ---
>>  benchtests/hypot-inputs | 1014 ++++++++++++++++++++++++++++++++++++++-
>>  1 file changed, 1002 insertions(+), 12 deletions(-)
>>
>> diff --git a/benchtests/hypot-inputs b/benchtests/hypot-inputs
>> index e987e5dd1b..b3c8762ef3 100644
>> --- a/benchtests/hypot-inputs
>> +++ b/benchtests/hypot-inputs
>> @@ -2,15 +2,1005 @@
>>  ## 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 in [DBL_MIN, DBL_MAX]
> 
> should be Random inputs with absolute value in [DBL_MIN, DBL_MAX]

Ack.
Joseph Myers Oct. 7, 2021, 5:08 p.m. UTC | #3
On Thu, 7 Oct 2021, Paul Zimmermann wrote:

> should be Random inputs with absolute value in [DBL_MIN, DBL_MAX]

Random inputs aren't very good benchmarks for hypot.  You want a large 
proportion of the inputs to have the exponents of the two arguments close 
together, because hypot has essentially nothing to do (just computing the 
absolute value of the argument with larger absolute value) otherwise.
diff mbox series

Patch

diff --git a/benchtests/hypot-inputs b/benchtests/hypot-inputs
index e987e5dd1b..b3c8762ef3 100644
--- a/benchtests/hypot-inputs
+++ b/benchtests/hypot-inputs
@@ -2,15 +2,1005 @@ 
 ## 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 in [DBL_MIN, DBL_MAX]
+## name: workload-random
+-0x1.c9b9e4ccb538fp+526, 0x1.5a2839615dcc4p-90
+-0x1.b4686db8fbe07p-466, -0x1.ad5bab40e28b5p-705
+0x1.b67e9830d0742p+89, 0x1.712bed15ab242p-79
+0x1.2b0cf5dce789bp+94, 0x1.de2935e408821p+744
+-0x1.4b8bfab1fbe84p-696, 0x1.9400021b6864p-353
+-0x1.586240fa11ce1p+563, 0x1.d032a033d5883p-277
+0x1.d4ed8f4dad9a1p-577, 0x1.15cc3a3dfd1a8p+904
+0x1.ef56f125ff922p-961, -0x1.a081c8f4a8b54p-739
+-0x1.3ae85ca2a7a85p+634, 0x1.ab7f8908907b5p-616
+0x1.5689b747313f2p-288, -0x1.533e4d90ba16ep-617
+-0x1.14a5c88935df3p+330, 0x1.a5e5f87292686p-493
+-0x1.11e5466d30d72p-649, 0x1.252e4933a8dffp+83
+-0x1.42310106b5893p+507, 0x1.d7c96bb09f172p+7
+-0x1.9d8063c48f8bap-618, 0x1.34eb629467897p-660
+-0x1.d06c9facc6cb9p-957, 0x1.66eea10b76d25p-120
+-0x1.fd476b0696ea7p-217, -0x1.e05d14a0749aep+896
+0x1.cdd05ca691efp+455, -0x1.34157c01b4401p-862
+0x1.761da13f8f6e4p-659, -0x1.cd34b2b726c35p-73
+0x1.4b5e793152991p+1023, 0x1.b0e7c833bab6dp+265
+0x1.1fec80cb0cfbep+352, 0x1.fe7879323a307p+115
+0x1.ca13c6a7c361ep-1, 0x1.e7794b757984ap+20
+0x1.9d0b10c3259cap+328, 0x1.a6f6e01fa8308p+27
+0x1.359cb18c6be06p-1010, -0x1.5c9b8ea01c649p+243
+-0x1.d0dcb95e18854p-850, -0x1.692c34253f833p+897
+0x1.64a3e91246202p+194, -0x1.6a08b6e0c10fcp+869
+-0x1.09133c8b3ab46p-817, 0x1.5e33faa5f9609p+204
+-0x1.5d65411fca3e1p-883, -0x1.c49451e8ff7ffp+463
+-0x1.a49b5f87b5e33p-192, 0x1.4e346710769e6p-532
+-0x1.71e5eeb1af912p+233, -0x1.e0d9fc2c51f5ap+465
+-0x1.8b1153ccd5db1p+912, 0x1.8122f54133f1dp-636
+-0x1.6b2c289f6d0f8p+4, -0x1.0e020ad34ea5fp+184
+-0x1.910d7cab2fed5p-856, 0x1.f48192b625d76p-193
+0x1.cef0e34593e32p-697, -0x1.823fdb16ac5a8p+233
+0x1.9dbca687e11fcp+460, -0x1.064a7d8a035bdp-695
+0x1.c33f7ac0118fp-354, 0x1.25c6e97f8ee95p-727
+-0x1.ed77de8fe0b87p+1019, -0x1.4231d27d608d6p-569
+-0x1.13b5a2be4d59dp-5, -0x1.f74f34809e8cap+734
+0x1.29470976cb343p-794, -0x1.688e2134673eap-760
+-0x1.dbd669283a975p+950, 0x1.8bd4b47b19394p-972
+0x1.dcebfad589251p+584, 0x1.ab821c80883efp-745
+0x1.3d7898d9e10c8p-826, -0x1.2ea1591bcf713p-168
+-0x1.8062525376bbap-671, -0x1.1320518198246p-281
+0x1.aef3fad3f633fp+433, -0x1.033b6ebbde9eep-387
+-0x1.cedf0931fbcc3p+440, -0x1.c9b40671bbf62p-26
+-0x1.bf147c6ae1629p+644, -0x1.f10b967824ef3p+218
+-0x1.69b82f4508c9bp-1002, -0x1.1f52bdcf38bfcp-522
+-0x0.226af30ce6ba4p-1022, 0x1.956794128b9c7p-816
+0x1.269e8197b6197p-660, -0x1.9c08a23eb8cafp+408
+-0x1.067677cb27c65p-577, 0x1.54f85143ad106p-252
+-0x1.5c139666cc203p-678, -0x1.6fa4a26a23e3fp-500
+0x1.fb4bbc14ed566p-980, -0x1.64a2623385865p-105
+-0x1.0d9e75e4bc22dp-702, 0x1.0010bb11ef0ep+461
+0x1.b047105706bf1p+811, 0x1.294f1289e801fp-479
+-0x1.a1539b9498fcfp-219, 0x1.b8cfa27e5b9dbp-852
+0x1.60b580776e0dap-965, 0x1.86ca0301b862bp+64
+-0x1.de27a3092c282p+956, -0x1.d14da5110136dp-125
+0x1.216680bf7c046p-219, -0x1.672b73cc56298p-533
+0x1.7f964e1e6933ep+225, -0x1.b397a6addb416p-782
+0x1.5c5ac7088ad85p+67, 0x1.c5c1f54c8c464p+900
+0x1.b99bf2d232a67p+183, -0x1.3b6d8db73e9e7p+587
+0x1.efd8702ceea4bp+112, 0x1.27662ebd318d4p-736
+-0x1.d00020aa60799p-269, -0x1.4602aaefed288p+841
+-0x1.0ca653d3607p+843, 0x1.8165ec6a151f2p-245
+0x1.637d7faf2dcd3p+339, -0x1.5de8f895e0921p-311
+-0x1.0a54dcf5397dap-543, -0x1.cf69228868211p-922
+0x1.4239bcb2ff07fp+415, 0x1.37df12f9bff83p+518
+-0x1.c7fac16e63044p+219, 0x1.cd83114f41ff9p-161
+-0x1.b469af516da75p-714, 0x1.782837617acd9p-977
+0x1.564ee8746d24fp-635, -0x1.23be8b6551b5fp-104
+0x1.f6dd92d2c98fep-186, -0x1.dbd48c6dd0933p-563
+0x1.5415754086856p+692, -0x1.ade3a6fbe19c2p-636
+-0x1.3a86ff32e226ep+956, 0x1.f7bf282f8ec3fp+617
+0x1.5dabcedf6d038p-402, 0x1.3921fe12cbd16p+802
+-0x1.580f681d777d1p-649, 0x1.82ce0cd6261ccp+237
+0x1.4dbd038b40241p+742, 0x1.74a8ca5e0a9a8p-193
+-0x1.81fb7906a6e7ap+858, 0x1.060707422c742p+615
+-0x1.9f20a4e0fc9aep-50, 0x1.ce323011d922fp-93
+0x1.251c72200297bp+984, 0x1.00bd429a23dc8p+101
+0x1.4e68d50a30953p-570, 0x1.0f725b5d4ff05p-76
+-0x1.d47d5d42ff4bep+941, -0x1.4fd8f1971f601p+269
+-0x1.bd95a498e5246p+777, 0x1.27388108b2efep+422
+0x1.e734c9d1d015ep-712, -0x1.7cb5b0ff76b6ap+808
+-0x1.c50bbe662db65p-594, 0x1.a004f6eb37cc1p-116
+0x1.382b84973113ep-727, 0x1.9ea5b4ee35aa5p+834
+0x1.3a4b07f2f3d36p+189, -0x1.364bd57f1cd8bp-785
+-0x1.6faf61accf379p+489, -0x1.cb52b93ba68ecp-548
+-0x1.afd131d3d2b49p+236, 0x1.654017eaccba4p+78
+-0x1.afd3da3760269p-146, -0x1.f5fe580b9e7ep-934
+-0x1.8c4c67078936bp-12, -0x1.744e6736a7dffp+851
+-0x1.a90de8574d525p+518, 0x1.87fdedfd965bbp+461
+0x1.d8050ffe1f993p-989, -0x1.ca5bf9ea2f1d3p-358
+-0x1.b9fd456ba3825p-559, 0x1.df45fa0640fb2p-632
+0x1.27b3ef01957d9p-48, -0x1.4214dd3231529p+232
+-0x1.3348f5d5ae725p+242, -0x1.01fdc7c1a472fp-541
+-0x1.779cf98e86ffcp+324, 0x1.efa30985d4c9ep-865
+-0x1.daeab430fe19fp+904, -0x1.bf73667703487p-19
+-0x1.2337981a0ea42p+555, 0x1.72fc7523f3aa9p+699
+-0x1.c1f53cb9c4858p-877, -0x1.88c740da5c31ap-451
+0x1.4a7cc59577262p-58, -0x1.eaaf5c8bc91f6p+378
+-0x1.5ab543c3de40ap+379, -0x1.506c8ac72d8b5p+508
+0x1.87ee478dfb8aap+767, -0x1.6934d5063786dp+877
+0x1.a9658347666bbp+720, 0x1.9e9883550ae82p+119
+-0x1.f11cba04565bep+536, 0x1.a77c4d7de3901p-907
+-0x1.637aed92c164ap-773, 0x1.563a853915c42p+437
+0x1.0ac5623fe4d48p+245, 0x1.60f4ab95dbda6p-258
+-0x1.9f046bc061838p-149, 0x1.eed3c3dd7c7cdp+284
+0x1.bfe4663804caap-26, 0x1.ab9f1e111572fp+699
+0x1.34b033c032cc3p-701, 0x1.54eb3833df0cbp-621
+-0x1.d7992b5a800ecp+415, -0x1.658855a5caecep+714
+-0x1.4ec652825633ep+1023, 0x1.a4ffd3a40a26ep+31
+-0x1.5f664d7f22a9bp+150, 0x1.4efa7d597084p+719
+0x1.618ee42ae6009p+28, 0x1.db0e81473ab64p+191
+0x1.bce0aef1f1fap-326, -0x1.5ad80a5760518p-609
+0x1.93708072fdf0fp-591, 0x1.46d43d71768p+605
+-0x1.f28f62effec4fp+502, 0x1.897d978a0b593p+750
+-0x1.23ff24b59fb3bp+354, -0x1.27870d98e3026p-780
+0x1.462c222c9b216p-451, 0x1.a1389d9277e44p-229
+0x1.949a454cfc1f4p-296, -0x1.5989cd90df4f9p+634
+-0x1.c4a0554f11021p-985, -0x1.ebf8e73763f67p-990
+-0x1.a6d24b4d26f2p+616, 0x1.9398629961de3p+601
+-0x1.d6a7a620bcbd4p-205, 0x1.92937feb024b7p+335
+0x1.418684de16ec3p+486, 0x1.3006846754803p-426
+0x1.3256cab64df2cp-538, -0x1.55ab298d58395p+656
+-0x1.2ca0062a03c7fp-639, -0x1.8e46155170c63p+982
+-0x1.d86feb9f05e9bp+964, -0x1.218a8f3a16949p-282
+0x1.6a19114fa7321p+1015, 0x1.b754067c9e2d8p+636
+-0x1.0a8381ab06281p+909, 0x1.4a718f00e0a7p-361
+-0x1.ef571562e5ffcp-706, -0x1.3e40e8e8677e5p-712
+0x1.6024680e45bep-228, -0x1.c2c0877492ee3p-442
+0x1.0651afa5be1c4p+257, -0x1.70a2cce7668aep-112
+0x1.3273c5c3a2ef6p+436, -0x1.a5ba1669b0ee1p-32
+-0x1.be37878b94849p+720, 0x1.444659b28d49cp-635
+0x1.ec87a2a4bfdaap-322, 0x1.dbcdddd0214cp+146
+0x1.4438b217911d8p+134, 0x1.00efaddb1137cp-82
+-0x1.8252c0ca5d1a6p-875, 0x1.c6a8d7ca520cap-293
+-0x1.fb0e91dc80524p-86, -0x1.079abd8f02a8dp-807
+0x1.c2058b220be56p-82, 0x1.6cd250a6189e2p-144
+-0x1.9719b79d19e1bp+548, -0x1.a883e9e65f1e6p-890
+0x1.f596727c3a99fp+203, 0x1.8a224f1264e47p-491
+-0x1.1f7d9c69c0f18p+276, -0x1.c355418418a7cp-491
+0x1.ce61bba0004a6p+423, -0x1.d2eccb2c8f702p+114
+-0x1.68f9afab87fa2p+877, -0x1.61630090f07ffp+689
+-0x1.3b9af2b3d18dbp+351, 0x1.563ebfed3bfb9p+194
+-0x1.fd3d2b95b33e2p+607, -0x1.6ba06587fc088p-750
+-0x1.62697c2790ea6p-762, 0x1.940443c2bf806p+363
+0x1.82f9a7f79ab11p-398, 0x1.399d121c78ee7p+624
+-0x1.47a6905e12d29p+775, 0x1.5dbe293914a2p+297
+0x1.5388a26b37edfp-760, -0x1.2642bb599e25ep+186
+0x1.415d8a0ac5257p+876, 0x1.6aa66a01eaa79p+866
+0x1.6d9a658695dddp-222, -0x1.7b9856f12729fp-769
+0x1.159bb14a7af3dp+486, -0x1.06c00e97d6bd3p+747
+-0x1.e17bbdc8fae26p+417, -0x1.6733fdf758a97p-823
+-0x1.43048fd005312p+504, 0x1.3ec148f513b83p+905
+-0x1.50745c6aedbe5p-195, -0x1.a3b710c9b630cp+786
+0x1.59a9cc50449e8p+95, 0x1.b4ff697900ee2p+320
+-0x1.adfb919cb6ea5p-576, 0x1.005f12f94b659p-554
+-0x1.8f872bdfb906cp+99, -0x1.f589b72cf4fc6p-477
+0x1.17d258034c48fp-611, -0x1.1838e57f0a5eep+471
+-0x1.d01e0fe18253dp-109, 0x1.a083d4e940fe1p+432
+-0x1.51df04426df75p+859, 0x1.0c322348c5dcap-930
+0x1.ab9c906ce5019p+844, -0x1.b2255ef461be8p-517
+-0x1.54fb74bf1cad3p-774, -0x1.74b3abc36f7cep+552
+0x1.3267692663a7bp-572, -0x1.d16fcd4949779p-553
+-0x1.c965c71480f41p-447, 0x1.1f54d57f3d4adp-659
+0x1.38357cfa8ee7p-396, 0x1.9a97dcdfc45b2p-174
+-0x1.3f8f2c4694a3ep-860, -0x1.074af4a491069p-147
+0x1.be5b121361bcep-279, 0x1.a6271864c15e5p+54
+-0x1.571d524fb837fp-332, -0x1.6c8b85553ccdap+728
+-0x1.dae5da9458a36p-18, -0x1.af80fcafe421ep+869
+0x1.bdf5e14076194p+230, 0x1.5f3872155062cp-840
+-0x1.68736f0a701e5p-369, 0x1.63cb6b731e9bep+362
+0x1.0585505e94b3ap+132, -0x1.eee570790b35p-750
+-0x1.5612b0b696c64p-542, 0x1.41c9378f060b2p-1007
+0x1.b1e8265bbb6ep-227, -0x1.1c5e724be2b67p+92
+0x1.0ac13517bf64ep-246, 0x1.4a443e5081577p-420
+0x1.8039830b7dfa4p+965, 0x1.99086df83915ap-942
+-0x1.2d2988b255995p+429, 0x1.1d19bcdfa257ep+251
+0x1.4274e0e9c27e7p-943, -0x1.114ed04e2e4b4p-470
+0x1.6af9dddeb095bp+775, -0x1.ed9ca85c3aa46p-601
+0x1.631e4a1067d03p-781, 0x1.be6d46e30228ep+534
+-0x1.2ac10fa9a0893p+332, 0x1.1b2d4e33621f1p+29
+0x1.709f2137dab95p-445, -0x1.6fde48d966fc8p-25
+-0x1.f811f68aba1aap+535, -0x1.96004333260a6p-290
+-0x1.2c51ffe1fcf8ep+152, -0x1.17af9b031a485p-174
+0x1.f69275e5f29ap+756, -0x1.682105d44483dp+613
+0x1.7d13efce5f1a1p+707, -0x1.3858a4e669e3bp-752
+-0x1.6cd05a4c54144p+826, 0x1.7c42ac0d2886fp-866
+-0x1.f89ce04dfd27fp+410, 0x1.fe0de103ce1abp-573
+-0x1.43b5c66354397p+311, 0x1.5bd0c23718998p-967
+-0x1.2319f27f77d36p-663, -0x1.615950a57876dp+924
+-0x1.83385c49fbcebp+686, 0x1.010c2b151c788p+619
+-0x1.0d44261e94de8p-670, 0x1.17160af447683p+571
+0x1.3481f39ea088bp+25, -0x1.706d7cd9b1652p+781
+-0x1.f0039b20728b8p-542, -0x1.51e7fca7f6499p-80
+-0x1.06b7cc5a7aedp-775, -0x1.e8efd554e61fbp+375
+-0x1.d9473d1361ae7p+477, -0x1.86a9bfbf95f03p-415
+-0x1.3f932e5d162bp-31, -0x1.a96d172b0257bp-804
+0x1.b3172331d60d6p-173, 0x1.3a7a560866aa9p-266
+-0x1.0358cd79c7569p-173, -0x1.4705dd58b26a8p+515
+-0x1.18805746027a1p-741, -0x1.d05d211d42f13p-228
+-0x1.659e72e94f232p-821, 0x1.a674275ce4cbep-164
+0x1.e9029329f9a9bp+115, -0x1.c8b8788091017p+461
+0x1.070b4391204cfp-612, -0x1.c0b61ce1003ecp-369
+0x1.d9792e699e24cp-716, -0x1.da3503c8b2b43p-784
+-0x1.ce75906b2a612p+994, 0x1.1f17844d2ebbbp+306
+-0x1.b837832174a07p-235, -0x1.4deefd727a398p-999
+-0x1.d39e49f0c9e38p+607, -0x1.bbdbd223f6e0fp+527
+0x1.d475d8f7f9b1cp+574, -0x1.d084c3a952956p-930
+0x1.36367deff0d1ep-819, -0x1.c1840b9d5cd01p-169
+0x1.56c29271ff50bp+991, 0x1.3133db7e7f3d6p+492
+0x1.70949a147a538p-649, 0x1.015d59b9e641cp+604
+0x1.48acc2d1e59b3p+280, 0x1.e97d807eb23d6p+419
+-0x1.8b0fb0c961928p-415, 0x1.35e01b117c406p+868
+-0x1.e95698f9b36a5p-282, 0x1.2d1a96cf2b0e9p-90
+0x1.0f2cbb86d9dd8p+46, -0x1.09f47148e87d4p-583
+-0x1.84c4de82fa752p+827, -0x1.9d36bcf2289f2p-315
+-0x1.262e501cf4fe6p-484, -0x1.18cbf59d3c82bp-956
+-0x1.d6c5b75278e41p-126, -0x1.1e1a6117f2e03p-295
+0x1.53c7b4d94cb4p+277, 0x1.2131bcf644999p+306
+0x1.956d78a2e3bf5p+804, 0x1.1e43de7ae36c9p-707
+0x1.e8fc958c5b717p-443, -0x1.1a7d40b3f2739p-1012
+-0x1.126556bd1c7cbp-69, -0x1.fc96af8d1e8cap+76
+0x1.5f3db9f4f3b8ap-938, 0x1.fc2131e7568bep-209
+-0x1.c354c3873dde2p+694, -0x1.8cdeee290f152p+381
+0x1.5339563d3cb9bp-638, 0x1.131d7aa4d4e46p-619
+-0x1.db77aa4411622p+219, 0x1.38efddb4b014bp+15
+0x1.4782b8dc33f23p-989, 0x1.fdbc130d05fbdp+217
+0x1.1554b3faa9bc8p+663, 0x1.91b103ff68c84p+498
+-0x1.105a3b4f92febp-877, -0x1.3fe0c998823dfp+862
+0x1.4c4c1467e80b6p+403, -0x1.3b1826a3d91e3p+547
+0x1.15885c2cb065ep+525, -0x1.b9014a9051735p-662
+0x1.b55857117e40bp-1006, -0x1.4bde04447b4b4p+162
+0x1.770d8b9533efep-954, 0x1.8bd860f89e00ep-586
+0x1.4bf1ef8066d3ep+20, 0x1.5a3b04c8ecb31p-370
+-0x1.856affcdc7484p+105, 0x1.b2c2a3327b38fp+516
+-0x1.2043fbca121cap-986, 0x1.78067f50d8218p+973
+0x1.7a9b80611e082p-939, -0x1.4bc487d06fcc3p+321
+0x1.a7af5850d7e21p+837, -0x1.e4f86095eda51p-946
+-0x1.348c991495b18p+1012, -0x1.3fca47184df5ep+251
+-0x1.b30af77ac83e3p+734, -0x1.6ef2c081952cfp+912
+-0x1.bd05a684eefd2p-180, 0x1.689a61eb600d1p-717
+-0x1.eca4d31cbed39p+725, -0x1.e672808edfee1p-1012
+-0x1.af0c6f8066b2bp+160, 0x1.a0df9068424e9p+218
+-0x1.074cd85809a85p+123, 0x1.1167ddb731e5fp+901
+0x1.72eae8bda4c5bp-813, 0x1.4a5062248e4adp-71
+-0x1.9d63ecbed33bcp+265, 0x1.6cba2bbeebdbap-818
+0x1.41202ee7dd7ebp-231, 0x1.927d7db0b3ac1p-438
+-0x1.fae9b8015cc4cp+163, 0x1.c44783a48ed9dp+776
+0x1.114f5d056d1a9p-113, 0x1.3f716fc0860cfp+303
+0x1.8826271676367p-821, 0x1.b0caed69c32dp-325
+-0x1.6f71959e447d8p-502, 0x1.076175c1ea436p-527
+-0x1.05d90a1df2ca7p+382, -0x1.22b79fed8c6c5p-221
+0x1.0ab8360e63e2p+194, 0x1.d6508c089866fp+198
+0x1.8a6123459b2d2p+127, -0x1.02dbf496418a7p-615
+-0x1.eef719eabbaeep-726, -0x1.3dc0270cf8aacp-126
+0x1.67b96ab330527p+600, 0x1.bffd396c7e8acp-940
+0x1.988759e704db4p+861, -0x1.55b449b993732p+231
+0x1.815034668d89p-293, 0x1.47e31361c5b59p+330
+-0x1.f1d051ffebb52p+291, 0x1.6ba2fcb860761p+253
+0x1.086f2905624f3p+510, -0x1.b90f1a2ec5ee1p+181
+0x1.5b539bb7d553ap-330, -0x1.2892c14113004p-859
+-0x1.16b0a2af6d9f6p-896, 0x1.04b4cb13a7c09p+603
+0x1.ac408d54fcccap+424, 0x1.33a7b922bf9ebp-108
+0x1.9487a31a13b57p-398, 0x1.a0329ebf9d818p+610
+-0x1.5589c7698dd8p-444, 0x1.e4bbf4f028bc2p+467
+0x1.0209ebc01c62dp-15, -0x1.590c303f5c32ep-625
+0x1.0858928266e15p+793, 0x1.27572b171f4fap+526
+-0x1.19d225c27b15bp-167, 0x1.93d1c269a3023p-153
+-0x1.5e01f51a9409ep+927, -0x1.72ce2117da968p+411
+0x1.afdf52ba2f9a1p-164, 0x1.8518c5c3f9ae4p+65
+-0x1.1e4f218d1cf3dp-294, -0x1.af9948f24567bp-443
+0x1.49f8a32ff1489p+954, -0x1.c6f38622684e9p-252
+-0x1.b23af13e433e8p-459, -0x1.5538f4ac5ffefp+973
+0x1.145a167ea4ea3p+749, 0x1.e8e69e6ba34dp-718
+-0x1.17ad652e40944p+23, 0x1.66ddc1e172328p-450
+-0x1.ae48e33b39c31p+851, 0x1.03deb2a4c08d7p-198
+0x1.029657e93754p+23, 0x1.f089b6f3f4e12p+885
+-0x1.14a99baac9aacp-486, 0x1.3c54cf9ef9d37p+305
+-0x1.e433d50b1645ep-826, -0x1.f502d8dd83819p+243
+0x1.ea1bbab4a6f05p-63, -0x1.48dc68f196565p+344
+0x1.19b93fe281cep+182, 0x1.3cae06156bafep+245
+-0x1.eafc483d29c5ep-941, -0x1.757c7688daddbp+780
+-0x1.cfcd3060df71bp-599, -0x1.5574747016423p-122
+0x1.e2a08569c5146p-208, -0x1.6f93aad37bad3p+678
+-0x1.cfb545723ed6dp+574, -0x1.4e7218edc07e5p+548
+0x1.13e16abe51f46p+790, 0x1.fa484c70d4103p-280
+0x1.8db06dfb66124p+567, 0x1.53d01cb5b356p-700
+0x1.0ce4ef1e7236dp-554, -0x1.c1fc4d7a584bp-303
+0x1.89206dfc8616cp+15, -0x1.9e7478f5bec9cp+923
+0x1.6cc0ac296df5ap-147, -0x1.d739c6a80e0f3p+552
+-0x1.df37c2f72c6ccp+1005, -0x1.f4e6900023b7dp+547
+0x1.a51aa19b57427p+1001, 0x1.1f938280997e4p+987
+-0x1.44146720af4adp+997, -0x1.b1e854686ddffp-496
+-0x1.7d243089f275fp-330, -0x1.7d93a4d0485d4p-56
+-0x1.86c36110b814bp+100, -0x1.830d04b6994eap+904
+-0x1.025cb594ffd92p-612, -0x1.df97ee930ad24p+394
+0x1.ac3302e5f07e8p+532, -0x1.5ada3b5365c8bp-359
+-0x1.bf0774299faaep+454, 0x1.12f06f88c041dp-521
+-0x1.12db166bcf454p+810, -0x1.e7eccfd52033ep+102
+0x1.ded6a6913d792p+631, -0x1.484b2de8cf2b5p+966
+-0x1.114054988c55fp-878, 0x1.2057d26e3eb6ep-28
+0x1.18d0062268ac2p-329, -0x1.397bdc3aa0c52p-581
+0x1.c4b492b296653p+560, 0x1.83965be75df49p+915
+0x1.7c4b464475424p-258, 0x1.364b6b9ecc84p-86
+-0x1.932ee715ee9cp-820, 0x1.5d0acac046461p+11
+0x1.89f236108da3dp+719, -0x1.8f46421ff86dbp+619
+0x1.bab714dbc675cp-735, 0x1.9b8ea9c4a0afcp+990
+0x1.953f1c8fbb33ep+503, 0x1.4a9dbcd88b5a4p+105
+-0x1.6b04af0630912p-113, 0x1.834f7677b3ab9p+179
+-0x1.3888739dfb47ap-7, -0x1.00f6937bbf981p+352
+-0x1.26e31d1f6989ap+985, -0x1.4a62efd62f7d4p-676
+0x1.b1318ee7120ap-249, 0x1.31dff7b683cb8p-468
+-0x1.7eca922a0218ep+757, -0x1.5130bad36e8e6p-20
+-0x1.3ea820bf73af7p-99, 0x1.54891c667887bp-389
+-0x1.4173e13089454p+969, 0x1.c2270a9e17d99p-762
+0x1.e0f91f0c64208p-803, 0x1.2271e0e7f4f2ap+61
+-0x1.56d3f9037057ep-718, 0x1.3e223c3967763p+574
+-0x1.665faed24722fp-157, 0x1.40053a68f4211p+95
+0x1.2454b75a6cab2p+745, -0x1.a7f2287049bc5p+395
+-0x1.9d2154ed6469cp-968, -0x1.d3ac769e77edap-963
+-0x1.afc4aa9627a8dp-971, -0x1.079013d73e044p+288
+0x1.66924e10ea983p-696, -0x1.8d1e7efdf17b4p-414
+0x1.482a8a82a858fp-147, 0x1.5765012556a53p-280
+-0x1.a3e22d6b16af4p-951, -0x1.71c1d60485311p+51
+0x1.f7ffee28ce83fp-929, 0x1.3d8b9f1309ba1p-733
+-0x1.ce4e32e5bae99p-11, -0x1.0322d6f0db1b3p-686
+-0x1.c5b3a9093463fp-626, 0x1.7512d37db67ebp-618
+-0x1.e4467d3b1c326p+196, -0x1.3e29526da8062p-356
+-0x1.254a46a8edfd4p+315, -0x1.ee95ab5cc02dp-871
+0x1.432a8d8a87f6ap-670, 0x1.616525e862d08p-421
+0x1.aba7daefcca05p+646, 0x1.4c73556be56acp-236
+-0x1.865f26dc229cdp+440, 0x1.7f2892578881fp+29
+0x1.8ba56472f51efp+525, 0x1.95e1a93ac3379p-262
+0x1.11a5f934f0679p+98, 0x1.d42d0edd0f56p-756
+0x1.0503e708de3ffp+263, -0x1.8272e0f532f82p+444
+-0x1.30fa73e805392p+379, -0x1.9ec42fc6c86b7p-916
+0x1.039c6350d048dp+189, -0x1.e27d363f4dc48p+759
+-0x1.b2f5f5a32cf93p+162, -0x1.089b0581a89b5p-554
+0x1.d6dea1404a5ebp-386, 0x1.d1e7427d8fd74p-585
+-0x1.138943e1ba00bp+260, -0x1.55a8357860ff4p-633
+-0x1.cb0585a69ec8p-771, -0x1.b30b34fb4849bp+1019
+0x1.15b8d33e57b5dp+613, -0x1.16d8525dd808ep+819
+0x1.089a11b10202p+860, -0x1.661b937862d88p+985
+0x1.ecd24009cb22bp+611, 0x1.e8fd804b52191p+722
+0x1.bdeed16ee9071p-21, 0x1.c18770cf15d94p+893
+-0x1.7e246229c7479p+11, 0x1.8c0a023da75bp+22
+-0x1.2696479517f63p-873, 0x1.61472367b790cp-273
+-0x1.dff31fa2945e4p+879, -0x1.788f359366c3dp-999
+-0x1.204a18b87c646p+526, 0x1.c3906c3b0745fp+318
+-0x1.8ebbfa9bfd865p-570, 0x1.df27bbba13fabp-1005
+-0x1.f0bce56e90b36p-906, -0x1.621a7b0077f98p+74
+0x1.f1d65127c0b6dp+121, 0x1.62c01ad0396afp-792
+0x1.83edee737ce55p-183, -0x1.b76cec6de8a28p-810
+-0x1.00fd8f4b7eaeap+798, -0x1.d10dc39b5cb6ep+202
+-0x1.badde0405e759p+324, 0x1.77dc6d3ea132ap+823
+0x1.da1baea3c16fap+333, 0x1.2cc0c40bc671dp-339
+-0x1.ac7789c6b4cf2p+51, 0x1.51e3dc935590bp+316
+0x1.13cd66f9c9a41p+110, -0x1.73044e1701d54p+955
+0x1.aa206d92df49ap-539, 0x1.787369e33123p+338
+-0x1.5e085883313c7p-698, -0x1.c5c7fcaff2a8dp-417
+0x1.b3333de61b2c9p-380, -0x1.544afdd14d54ap+393
+0x1.7bcdabfd53ac9p+141, 0x1.f0b76e9704968p+408
+-0x1.7369c072cb16bp-29, -0x1.68971ae967238p+320
+0x1.ef8c843fd5689p+161, -0x1.ff0d6afd40d0cp-31
+0x1.f6a910bfe476ap-159, 0x1.b96aa192e68b6p-538
+0x1.5374abf201ef3p+838, 0x1.ac2785d030c44p-616
+0x1.26eb33cd00e9dp-509, -0x1.f3d66906ee76bp+707
+-0x1.a26c06a38e4a1p-730, -0x1.dc673bdc267bep-999
+0x1.3216151975fc7p-457, 0x1.4d50afe1e7304p-449
+0x1.1e099367bca38p+255, 0x1.6b58cf3af69a3p+884
+0x1.236e0a09b95e9p+567, 0x1.e8ee1eb0da59fp+100
+0x1.64fe680eddb96p-513, -0x1.71722a535e8f7p+787
+-0x1.abd443466d6f8p-274, 0x1.bce5c9e6e1067p-455
+0x1.ef4dcfd4ecd88p-210, 0x1.454b0894b629bp-731
+0x1.7e4055d580af4p-265, -0x1.af992ca040efap+635
+0x1.3aff343aeab8ap-692, -0x1.b7f34b4c1770bp+736
+0x1.a825e573089fbp+267, -0x1.ff89356fd5dcap+324
+-0x1.4c74bd94c23e9p-699, -0x1.6f8f0f40c819p+688
+0x1.ed672b96b7d2p+244, 0x1.67398b6a9639ep+499
+-0x1.896f4f1a0af8dp-348, 0x1.247df7c6665d9p-635
+0x1.64a8ad593015fp+173, -0x1.1ff42760e7babp-37
+-0x1.066ca4e6a26b9p-144, -0x1.f228ff9fd4b29p-50
+0x1.1c297a31d8e09p+496, -0x1.2ec016ced5d6ep-581
+-0x1.e2f48ee5963dep+554, 0x1.67b03a7908837p-32
+0x1.a6d1a3a6ff54bp-816, 0x1.fc81e2ef3f55p+385
+-0x1.14ed4b5053f69p+570, -0x1.39990faca1affp+17
+-0x1.4e49d59528292p+768, 0x1.5fbc8a55f23eap-68
+-0x1.2fb3935152a42p-868, -0x1.b74743ff80cfcp+699
+0x1.0a9e69428019ap+297, -0x1.b569c64ba1cbbp+155
+0x1.8035305a8c434p-646, -0x1.6ee5d92a20efep+559
+0x1.7d0489a9409ddp+893, -0x1.ce88b5a1086e9p-787
+0x1.b0fe00e7f1ddap-495, 0x1.4b9baf802f094p-901
+-0x1.962ffbd66b12bp+806, 0x1.75e05396da57fp+195
+0x1.a29aea6168e29p-279, -0x1.192abc8197e6ap+37
+0x1.8c133db90b85ap-466, 0x1.946563959c2bap+456
+0x1.c9789ef809b8ap+341, 0x1.2a49d0ca369a3p-962
+-0x1.5f2f72d0eded7p-840, -0x1.4bd4f1980ab3dp+54
+0x1.6d67321d91dap+304, 0x1.a328296f03117p-867
+-0x1.839cca5c3f88bp+36, -0x1.e5d66a7c3bfa9p+310
+0x1.bcb853a989cf4p-637, 0x1.3da4a58536c7ap+227
+0x1.1d678d30a3afep-335, -0x1.632ed31c4ef7p+188
+0x1.7cdc8685ea2abp-463, 0x1.4be25b058c5dap+1006
+-0x1.b3cac7cf3ca82p+769, -0x1.bc8931922cb8ap+38
+-0x1.4009d3f1e9232p+184, 0x1.e0157784e700dp+708
+0x1.5398945cf4022p-488, -0x1.d2121ac926aaep-665
+-0x1.12c11e3852e9dp-495, -0x1.0a8b5d5667b46p+926
+-0x1.0d88d03448ba2p-159, -0x1.d365262040e95p+660
+0x1.a6ad97b6322e8p-976, 0x1.dc3fbb8a5734bp+579
+-0x1.548081a3d1873p+709, -0x1.321c60171f77ap+679
+-0x1.e9c6f424313ebp+877, -0x1.e83d59a949f5dp+212
+0x1.ddd8f91b00853p-270, 0x1.aee61ef9a4dd9p-108
+-0x1.3d0042532b7fbp+688, -0x1.fd8aab6dac0c3p-681
+0x1.d0c862fb02403p+754, 0x1.7c3ad6097438ap-242
+0x1.78d852eac428cp+964, -0x1.4328c93b56089p-303
+-0x1.1ee22e52fe9e7p-628, 0x1.2a3bc85a3db6cp-502
+0x1.d8f1bd1a041d3p-344, -0x1.2833cf7e22b7fp-434
+0x1.10e2c2bd2fb45p+129, -0x1.ed7dccc0e350ep+358
+0x1.b578dea09879ep+893, 0x1.abca8d47f2e38p+942
+0x1.54266fb6dfc3fp-377, 0x1.a98189e9ed367p+490
+-0x1.3dffa7105fecbp+314, 0x1.9277eb5ee3b9p-689
+-0x1.4df79e9addeddp+805, 0x1.b2b8f2bf5b352p-244
+-0x1.d64da0b70510dp+527, -0x1.8565e650f15c3p+778
+-0x1.2aad5abf7d92ap+353, -0x1.a9d6977598aa3p+570
+-0x1.d0565b035198p+268, -0x1.555e91b7ac1d2p+464
+0x1.ccabdaa29e061p+627, 0x1.fb9beaf2413a9p-534
+0x1.7c68d90e0552cp-410, 0x1.35f296bf50fd2p-472
+-0x1.8e7677094d102p-760, -0x1.f7607d5e95586p-234
+-0x1.6f989baeb0008p+522, 0x1.440db29d598e7p+131
+0x1.5e05478ad697ap+187, -0x1.4cde3bc245dbdp-493
+0x1.205c69372380cp+949, -0x1.246c125149301p-385
+-0x1.28a4a30c67eadp-750, -0x1.7586a35e654c2p+705
+0x1.9c57811360249p+997, 0x1.cb5374777df29p+466
+-0x1.e71629b1d2e24p+0, -0x1.7c32976051278p-85
+-0x1.4555929e65b69p-437, -0x1.08f901cbff6e7p+534
+-0x1.d482302130b9cp-351, -0x1.d87c620a546c5p-806
+0x1.61f8ae086e3a7p-744, -0x1.addecbec35731p+80
+-0x1.15171f44c3508p-25, -0x1.6f8401e5340f5p+599
+-0x1.bb5e0f6e722a8p-266, -0x1.3d1393d8f644ap-686
+-0x1.c44dac2e882efp-117, -0x1.1b4eabd97a3eep-890
+-0x1.5de17111873bbp-523, 0x1.441cddd48e282p-273
+0x1.8ceab10eed252p-150, -0x1.5cf44e4f50a92p-931
+-0x1.3e6926fcd302ep+680, 0x1.67081048ebe9cp+383
+0x1.f609787820c22p+467, -0x1.0f0e3dc10b434p-706
+-0x1.6281a8dc9a637p-862, -0x1.3d66a75dd6459p-515
+-0x1.12756c0b8a7e5p+553, -0x1.20557c4c9df55p-618
+-0x1.7165a5f004259p-328, -0x1.1bc31035b0cccp+488
+-0x1.bd7bc111885bbp+635, 0x1.78f6031426ab5p-383
+-0x1.da9337b21ff9bp-664, 0x1.a983594eb464cp-472
+-0x1.4463e633452b5p+94, -0x1.eba53c2d63cfep+113
+0x1.41f53747cdap-110, -0x1.a6420ec80a717p-387
+-0x1.30979d9547db3p-741, 0x1.04f47f562677cp-455
+0x1.3026666a06f7dp-919, 0x1.4488c08c8dd38p+594
+0x1.b86e0629db653p+869, 0x1.7009f8525f842p+977
+-0x1.45ba8f33c5bbdp-646, 0x1.bd14e056f875dp-989
+0x1.42b7e9c042083p+836, 0x1.22d1039d0e6fbp+37
+-0x1.69bc336ab616dp+478, -0x1.ea8689ce6f8b2p-589
+-0x1.0a059370ba169p+734, 0x1.40172539857e3p+457
+0x1.7d1abd28728fap+951, 0x1.95be8f48dd74ap+125
+-0x1.4c29760bc909cp-966, 0x1.4d0c39ea994p+194
+0x1.807ee47258958p-134, -0x1.9ab6b2b3c6b47p-86
+0x1.df2343ac77142p-596, -0x1.65aaefd7164cdp-397
+-0x1.0d55066ffb4e1p-418, -0x1.f498b0b57eabfp-985
+0x1.92487706239e7p+839, 0x1.a861c4e6cd56bp+858
+-0x1.90e289ce03823p+266, -0x1.9b7324b04fbe9p+534
+0x1.7a89e24f4dd4ep+202, 0x1.e17b0d5028495p+147
+0x1.c76ef2787661fp+312, -0x1.d11873afe7043p+750
+-0x1.9475f232679bbp-492, -0x1.ec5d349eeb8fcp-83
+-0x1.46ff6c6d01bfdp+133, 0x1.15f45a6ce5d07p+819
+-0x1.e865ac432e475p+864, 0x1.5b688316a6f35p-335
+-0x1.ff1b174fc083ap+447, 0x1.0cda1c8c6e17dp-636
+-0x1.93be66e12ab6cp-785, -0x1.52c017a7eeb1ep+528
+0x1.5a81cae2bf074p+633, 0x1.1e7c44e3f7147p+412
+-0x1.ea37520cc4c73p+747, 0x1.56938541747cfp-1010
+0x1.e07f64df0472bp+499, -0x1.da4ea4d50f099p-330
+-0x1.3b46a22b4d1a5p-484, -0x1.3c9652a1b38e4p+735
+0x1.99f8988c9a29ep+406, -0x1.267efe22b4d6ap-507
+-0x1.e6900f34f0e89p+201, 0x1.6808d8175449fp-781
+0x1.281e7cd9e6f8ep+755, 0x1.91878892830e6p-760
+0x1.c11d41d32e7a9p-836, -0x1.b13f6e505e542p-517
+-0x1.763242a88a435p+575, -0x1.c735b86af8c0ap+164
+-0x1.68d2d31ef5a0fp-822, 0x1.fe73b669121e6p-530
+-0x1.e2ec1e484b467p-246, -0x1.517674118ece2p-510
+-0x1.d476c1bc1a52fp+376, -0x1.c8436ee6291bep+818
+-0x1.2ffdeebbaab96p+144, -0x1.cbd166199ba51p-734
+-0x1.fcbed2f5373aap+669, 0x1.435d769199dbfp-805
+0x1.bca15435f5c05p+45, 0x1.e294e729b665dp+549
+-0x1.392bf94af616ap+455, -0x1.b37cc138ca3cep+102
+0x1.56ff2da161de6p-919, 0x1.16d11c53a7cf5p+303
+-0x1.204990fc84f77p+684, -0x1.2628043f0fe08p-417
+-0x1.50360f8a8f455p-818, -0x1.0ede3efc906b7p-573
+-0x1.13dd476a38f43p-92, -0x1.3f243a6caf87bp-214
+-0x1.bb3685b58bd14p+889, 0x1.262e682291e64p+813
+0x1.f7b34af8b1b6ep+818, -0x1.1f6557d369c25p+648
+0x1.90c2babca2f1fp+131, 0x1.70a7107f832fap+558
+-0x1.56c85887bc5ebp-896, -0x1.2d706f8f20cc1p-585
+0x1.f446545972c8cp-832, 0x1.cd4b4070c8996p+393
+0x1.52b20cf35c687p+466, -0x1.2e658b97fc69bp+381
+-0x1.69ef69848858ep-925, 0x1.c49c1fb4ff3a2p+677
+-0x1.4faa81b6c6265p-361, -0x1.be626569dccccp-503
+-0x1.8d2a9a383d506p-467, -0x1.c9f284d06c576p+434
+-0x1.9a293ce2c81cfp-447, -0x1.841977b795897p-63
+0x1.3ec878f68f40cp-806, 0x1.f348321912e5cp-550
+-0x1.6f7bbd10c82ddp-439, 0x1.877dcff25c497p-577
+-0x1.9c2f7ea3b6878p+408, -0x1.83fa86483766bp-325
+0x1.70f578bb9533bp-712, 0x1.a1a74a80f45c7p-295
+0x1.cca7cf2817ba7p-860, -0x1.2be524a6f3e33p-221
+0x1.20bc24c8a126p+842, 0x1.8cffe6532802fp-854
+0x1.6f1a523e6e92ap-640, 0x1.acac10f26818p-868
+-0x1.efb2bf99c041ap-49, 0x1.59bbe4d1e01bfp-68
+0x1.1a003438903f4p+864, 0x1.4a656551d94fcp+976
+0x1.472679d7418eap+697, 0x1.63d3e008371fdp+72
+-0x1.a56bf5b0a35fap-221, 0x1.5bc6dec8df722p+153
+0x1.2e6bf50077ac8p+472, -0x1.092db085783cdp+604
+0x1.828468bbcee93p+170, 0x1.5cdd84670e071p-646
+-0x1.2b6e8dd80a229p-702, -0x1.897b1e2bab355p+656
+-0x1.09f81069fbaa4p+514, -0x1.645850022d112p-871
+-0x1.61141fb352a63p-622, 0x1.a25bfcd7039dbp+705
+0x1.38f128a15e6p-780, 0x1.fdcacd1866dbbp-740
+0x1.4a816e68d12ap+938, -0x1.4d4f5e8beb119p-137
+-0x1.79743984c7c4bp-432, 0x1.6b360061cb6ebp+341
+0x1.4085f9860efc7p-578, 0x1.3b1a52f7735a2p+821
+-0x1.fdd6f1f21f4cbp+600, 0x1.63b1cf27c3d71p-861
+0x1.d6d5636d9b52bp+747, 0x1.f74138528a4edp+205
+-0x1.d889d11cc04e3p+124, -0x1.727a5b11ea9c9p-194
+-0x1.b14cb39070498p-870, 0x1.adc43b3db4d59p-913
+-0x1.8f9a4c8709cfcp-683, 0x1.c167543c4f8dp+484
+-0x1.8c8f198f83d25p+389, -0x1.2acd43dc601c7p-925
+0x1.00dc21201dd3fp-363, 0x1.12bd881160a0fp-611
+0x1.3b8d0b7b496d8p+741, 0x1.d9791df33fac1p+718
+-0x1.c57a262ffca6fp-299, 0x1.67ca7d276fe05p+842
+-0x1.398bf03135e64p+180, -0x1.6f63b6716c7d6p-553
+-0x1.577ed8a9668c7p-435, 0x1.b158b8ef66da7p+773
+0x1.a925ddd73d122p+239, 0x1.75da7381ba36bp-554
+0x1.aa55abf852967p-865, -0x1.a5ba61af0e1b9p-640
+0x1.8da7a6d44fc61p-994, -0x1.c9b1584f1107bp-197
+0x1.01211a48a51e9p-122, 0x1.8b7492103e65dp+734
+-0x1.1537e473f5c65p-757, 0x1.79effd1669aa8p-38
+0x1.8baaeb1ebf6e6p+233, 0x1.33088baff4c6p+241
+-0x1.f9a6d8e0975e6p+236, 0x1.ff9f0020e9048p+8
+0x1.ef67be55e650ep-305, 0x1.79e2e6ecdcb89p-469
+0x1.616acbc7b7fcfp-953, -0x1.f9c43c9a4997p-779
+0x1.d4f001ee489fcp+991, 0x1.b6659362bd8e7p-976
+-0x1.38635f22ae1e9p-721, 0x1.e0f0a6a27ec05p-950
+0x1.37a00d97d5439p-647, -0x1.73d96401d733ep-381
+-0x1.ef42af5cde108p-734, -0x1.a1111a85d88dcp+368
+-0x1.f9356336eb04bp+425, 0x1.c73595538494ep-266
+-0x1.7d4616d0d4ab9p+867, 0x1.803c102f32713p+396
+-0x1.c1a231aaa532ep+984, -0x1.70d03a3853fa4p-473
+-0x1.329e89377c4ffp-717, -0x1.0e9a006387ac5p-46
+0x1.754af9e855c0cp+205, 0x1.a966e0f892021p-644
+0x1.afb4d264dbdfap+411, -0x1.ee31ecc37a5f1p+1021
+0x1.9ee00bbf52557p+345, 0x1.f31c8a31ab158p+274
+-0x1.c6e1644d8c4e4p+262, -0x1.45c50029dd117p-428
+0x1.bd12397eb841p+540, 0x1.7057b7f788553p+732
+0x1.e7b4d0d26f2b3p+892, 0x1.b57ddd846a188p+193
+-0x1.2b5a9c0241dc8p-518, -0x1.915b7e9526228p-320
+0x1.bc804abeaca35p-596, -0x1.4420836242beep-59
+-0x1.cba822633ff8fp-214, -0x1.6161c6719a7c3p-753
+0x1.654df6c52a9fbp-309, -0x1.06074a07ee34bp-277
+0x1.71a2fde5038b3p+214, 0x1.d7203b3a1411dp-446
+0x1.864163a41ac0fp-700, 0x1.fc3e0d3881296p-468
+-0x1.a0fe0638a13d6p-1019, 0x1.3ccfd97d04ac3p-883
+-0x1.ea2d6341264f9p+967, 0x1.74c85a744a30dp-895
+-0x1.7b229dd4fad83p+574, -0x1.f5b6ff060e14bp-311
+0x1.0847e35317b2ap+872, 0x1.263cc7008eda6p+786
+0x1.836d9cba61135p-822, 0x1.42cadefcbe54fp-881
+-0x1.f3160f0fabd52p-679, -0x1.b422bf6a06284p+226
+0x1.6d53a76310183p+137, -0x1.5990d03d7fc06p-807
+-0x1.f2707b38430cep+819, 0x1.197b70fe7abf1p-289
+0x1.3d089bf57d8a6p+761, -0x1.edd136b9f96a4p-439
+0x1.0709c83a75b8ap-433, -0x1.b903f3b7d4615p-260
+0x1.6ef476cc3b04ep-609, -0x1.26049c2f1c352p-433
+0x1.df370d82f900ap+43, 0x1.e0a3ff4d4a3cdp+893
+-0x1.c0fd6da7e0c1ap-1003, -0x1.988ba00743d67p+549
+0x1.84206fe9d4f58p+648, 0x1.d8b8d3e0b4e46p-869
+0x1.ff96130f95774p-173, -0x1.edecc6c42567bp-330
+0x1.eb2ef215c55b2p+34, 0x1.27e6b07cf8c7dp-692
+0x1.4b40312a220abp-516, 0x1.d8f1cecf8b454p-996
+-0x1.b78cb61a1150ap-207, 0x1.45720db95266fp-963
+0x1.927136ec86accp-764, 0x1.251099daf16a4p+857
+-0x1.880f868994f9cp-558, -0x1.f986798188bcap-918
+-0x1.ad4f15fc5b3ccp-496, 0x1.54f2a9c040b1ap+752
+0x1.345a08e466479p+754, 0x1.eba2a4ba16953p-593
+0x1.ca715be6a7cc6p-136, 0x1.a8877bf600824p+837
+-0x1.a2f91d66f1b86p+263, -0x1.82b1b34a211aep-605
+-0x1.ab9e91db764bp+110, -0x1.7eee5611dd3fep-860
+-0x1.1fcaa151dcf23p-1004, -0x1.32d025c752388p+787
+-0x1.328464f3c8726p-973, 0x1.cc2b39aeb9a6p-416
+0x1.007f3d7f0e16bp+98, -0x1.a2d87e3b81475p+963
+-0x1.46589bf40603ep-492, -0x1.e2e2ff99c103ap+287
+0x1.b0e96c5eb7685p+386, -0x1.d824f6f0c309cp+294
+0x1.9d19ef3e2ffa9p+359, -0x1.143b522ff344fp+68
+-0x1.c5a997bdc73ebp-803, 0x1.c22d771e1e0bcp-443
+-0x1.ad43d4178df7bp+545, -0x1.0476bd7e6a54bp-134
+-0x1.3dec26382e421p+433, -0x1.94fe1637a388bp-222
+0x1.e3e8bd564a2a6p-55, 0x1.49c70d3334283p+481
+-0x1.a12efcac0fa89p-15, -0x1.36f0d6dd3c26bp+3
+0x1.fd73824406e7fp-173, 0x1.78219dd6bbcfbp-237
+-0x1.418ec59bb4e29p-858, -0x1.d4318757b4b8bp-409
+0x1.0310c4fa29ee9p+815, -0x1.561374f4c43d6p-589
+0x1.841880334fe9dp-236, -0x1.4848b24d0472dp+866
+0x1.5d6949de4154dp-829, 0x1.2091c1d9b73d3p-1021
+-0x1.2ac8017ab5892p+228, -0x1.2be11eb3cbb2p-62
+-0x1.79ae0adf95f2bp+469, -0x1.5d03f72741e28p+261
+0x1.0b6cc6755cf4fp+1004, -0x1.657df8cd3ad36p+969
+0x1.6ac7dc7cbd9a2p+844, -0x1.295186fd5a461p+583
+-0x1.7ff3241662b9cp-407, -0x1.5fd7fbbaf3a9dp-813
+-0x1.c58ee93c33266p+753, 0x1.a1ab883ce5434p-36
+-0x1.96f5f04c2f464p-168, 0x1.0b461ecc4b7d6p-922
+0x1.ba604f170f7c9p-149, 0x1.a99217bf2d0a7p-778
+-0x1.4835d1f469224p+841, 0x1.1937793755eabp-182
+0x1.fe78881af7febp-134, 0x1.630169576e036p+539
+-0x1.6698ba5c20ddp-115, -0x1.ff068e5836595p-939
+0x1.17b49e9681a82p+898, -0x1.364fb710eab17p+964
+0x1.899cb4a8030bcp+731, 0x1.a6e18b4844a54p+814
+0x1.5d249524d7c1cp-916, -0x1.4df4912c71364p-528
+-0x1.b483741db72fep-896, 0x1.5e38500a41ef6p-353
+-0x1.c649b634c49f3p+462, 0x1.e10d690e21746p-588
+0x1.c0243af36ae07p-56, 0x1.98efe19e31d0bp-745
+0x1.3e9375f1fdfc4p+610, 0x1.98981c3a04c1dp+852
+-0x1.22b057aaf9d81p-895, 0x1.2a52d36701ff1p+180
+-0x1.1a43b134b404ep+758, 0x1.2dde4e536602dp+803
+-0x1.4a8ec71fbaae9p+86, 0x1.5af682eb54995p+803
+-0x1.4ea2023486202p-955, 0x1.fbd200f967ad7p-364
+0x1.653e2e58fee69p+731, -0x1.73a474aa28ab7p+247
+0x1.91c372ed7dba9p-866, 0x1.7434b02c10f8fp-217
+0x1.dc09c5407e20ep-350, 0x1.638ce6ffc4f74p+660
+-0x1.bfffd339062c2p-935, -0x1.9561d60fc0379p+779
+-0x1.1c84fae104859p+350, -0x1.c29f23ab083b5p+980
+-0x1.d76aa28c3b123p-380, -0x1.0e9739accda04p+981
+-0x1.c8eba56da773p-568, 0x1.20334ccf0ad5cp+754
+0x1.70248ce177e39p+65, -0x1.59e7dd27a32c1p-295
+0x1.15f0c7a31a514p+415, -0x1.a13e1be0eff11p-722
+-0x1.9b29bdc200f9cp+895, 0x1.640b44f368a39p-108
+-0x1.f3ce00a4d660dp-974, -0x1.7da4c6c6c4058p-45
+0x1.96d47ff47e46p-836, -0x1.4073d7c22860bp+965
+0x1.525621ff5063fp+147, 0x1.f692f37cdd382p+291
+0x1.c98c9fb3c856dp-505, -0x1.ae059226c76d4p-628
+0x1.6ff383d1ade7dp-797, 0x1.2faff9f1e05f4p-894
+0x1.33d332690fc6cp-472, -0x1.0596916b71093p-66
+0x1.6ac0e441c0b8fp+19, 0x1.f462c3703ff57p+640
+0x1.5d6b56ec43c82p+554, -0x1.4b5893c3c2a93p-814
+0x1.eb41fc0afbae8p-941, 0x1.4ab53f214d8c6p-791
+0x1.b2d45d736a02ep+207, -0x1.1f95f822d7799p+783
+-0x1.f5e88da9ba61fp-191, 0x1.44cbede96ea5p-513
+0x1.aa22ecc174b97p+140, -0x1.34d368e46663fp-750
+-0x1.afb895fc2d5a9p-391, 0x1.cd058e2ce6a5cp-594
+-0x1.fdfe414690a48p+219, 0x1.0c62089ea1a26p-564
+-0x1.b7f139f27d1a9p-958, 0x1.08497b0e149p+609
+0x1.cbdd9d00ec53fp-889, -0x1.8a0df224eeb41p+180
+-0x1.2c4f61a61e2f3p-925, -0x1.bb4584ce4583bp-89
+0x1.398a21ff40d2p-525, 0x1.1ea6dc8faf463p+764
+-0x1.e053dded237e3p+448, 0x1.d9a4fbf891117p+897
+-0x1.6970debd68939p-181, -0x1.c321b67b5d8ffp-799
+0x1.c9173f9d2256cp-94, 0x1.0300654420afbp+132
+0x1.fd8af1d806cfep+703, 0x1.6f346ed47986cp-725
+0x1.7359d99eec8bep-377, -0x1.308e8f9dd340ap+22
+0x1.b69ed445c0fecp-642, 0x1.40fe9856c9524p+830
+0x1.3c9963a22f88cp+179, -0x1.c1a338d49d771p-153
+-0x1.3c628bb3a16b4p+943, 0x1.0bd79855c2a15p+892
+0x1.a2956df189feap+862, -0x1.430a09d3c48e8p-382
+-0x1.c58a4f88b051dp-818, -0x1.749b08cb7267ep+46
+-0x1.47424874956c4p-472, 0x1.5d53f92d872b2p+360
+0x1.3ac3c45e5b085p-583, -0x1.8b888ebd96778p-489
+-0x1.a3cce9a7875e4p+848, -0x1.4a0288f77b2p+83
+0x1.04c053055e26p+116, -0x1.adeacc9b7efe9p+748
+0x1.3a545fad070b5p+736, -0x1.b971a19a23ba7p-204
+-0x1.4b06d12f140d4p-352, 0x1.4f1f7ca3a5aa4p-97
+-0x1.4b34797ec8e3bp+1012, -0x1.ec9fedf87d0b5p-708
+-0x1.9a123ad73fafcp+101, 0x1.424981d6598a6p+351
+0x1.5b353c0b6aec5p-3, -0x1.c58a64ab63a0ap+1019
+0x1.c4d6a8aa200d6p-608, -0x1.897f2effad50ap+68
+0x1.2473892e0d653p-119, -0x1.e8ee7fcff6d67p+818
+0x0.ca3b996c8f9b6p-1022, 0x1.5fdc12e3b5f85p+216
+-0x1.b792edef53c35p+416, 0x1.d3ffb3d8fc4dap-674
+0x1.85cc482bb6e48p+515, 0x1.9282863ea931dp-422
+-0x1.d56d55f88eeb4p+791, -0x1.14be64f69ce5bp-595
+0x1.b035c2b7bc0cap+626, -0x1.d0534fb3ab003p+693
+-0x1.da47e70b4e0c4p-797, 0x1.13bfb01fb078p+197
+0x1.fc23bbdeffedbp+575, -0x1.4ad27c9e72337p+779
+-0x1.ed2f41b68412p-85, -0x1.89a6ac24742a1p+162
+0x1.538f9175bad3ap+969, -0x1.1bb4c19af5595p-493
+0x1.5548ced19b007p+212, -0x1.0af485176f217p-590
+-0x1.12f5f81cb1638p-613, 0x1.a9855b7297d3cp-639
+-0x1.ede28c82a1cecp+653, 0x1.72ace7dd05ae1p-345
+-0x1.ce0ef9b0c1a58p-927, -0x1.0933e76eb202fp+107
+0x1.7c5f6f78950d3p+828, -0x1.43b30032f092ap-328
+-0x1.a91c26be6ec6ep+83, 0x1.d386e9e104b4ap+416
+0x1.b4b3228d3e8b2p+830, -0x1.9ae727179a915p+165
+-0x1.b632258d91d4p+754, -0x1.305f94b7a57c4p-87
+0x1.326690d491cafp+479, -0x1.539cf1f3237bcp+600
+-0x1.e3510c8015c3ap+867, 0x1.399de732fdb91p-1001
+-0x1.e71dbbc3bd5d5p+132, 0x1.ff0a5b0c9494bp-201
+-0x1.714145d97709cp-968, -0x1.20bd66be71137p-147
+0x1.ca1f25e85fa53p-609, 0x1.54dcf288294d9p-883
+-0x1.b2daace6045bfp-457, -0x1.bf71fc4c48eb3p-777
+-0x1.e0bd0b3ee6975p-498, 0x1.a44a68ebd64fdp+926
+-0x1.91a9040bb5f4dp-374, 0x1.21c03f17a12e3p+494
+-0x1.52c8e516058cep-605, 0x1.6c773943b6575p-221
+0x1.0b36199ce6fdcp-402, 0x1.f4fa5dcc66238p-424
+0x1.7b68fbcc9a7b1p+737, 0x1.00d589aeb9d14p+838
+0x1.762015597525p-707, 0x1.91c0a96e3e2f3p+69
+-0x1.9c1c91a01e7f4p+561, -0x1.2b5afc756381p-86
+0x1.168db8b195388p+77, 0x1.5941ac902b8adp-322
+-0x1.5fd7fc44221f6p-175, 0x1.8ec12c1b5db9dp+821
+0x1.afc39485b60e5p+365, 0x1.ca8524e92647ap-889
+0x1.6d6fb6ff7d88bp+1007, -0x1.1f98ec264f97bp+818
+-0x1.aabed7cb278bfp-531, -0x1.7d50961792ae2p+646
+-0x1.54c1810ef8546p-863, 0x1.8494c04338cffp-933
+0x1.4a53f9d493286p+13, -0x1.7d5f45cf88817p-561
+0x1.9202115764e33p-762, 0x1.3aeeb538484ffp+632
+-0x1.fd3120017ba15p-171, -0x1.8e7297b901883p+175
+0x1.5432ceb2d540bp+204, 0x1.e2fb29d69d5b4p+868
+0x1.fade56777205ep-441, 0x1.7008842efa71bp-836
+-0x1.c56cf93119487p-697, 0x1.80b8c8746f3a1p+746
+0x1.5981929daf7f5p-827, -0x1.ed02906ddcb2fp-906
+-0x1.a41b88e2c5debp+342, -0x1.2b2469d0471d3p+404
+0x1.01599e94c69cbp+466, 0x1.01993baa28dfcp+818
+-0x1.dd239f1b51226p-511, -0x1.16789d43ac97dp+565
+0x1.0ded21786afbap-262, -0x1.a54ddc4e86bcap+659
+-0x1.23f4f983b875dp-750, 0x1.dd4aadb8840cbp-633
+-0x1.fc421b593967cp-517, 0x1.f0ed46dfb4ffep+713
+0x1.dfb22ec4cf72cp-1004, -0x1.73173dd7aab6p+326
+0x1.2db5f7b524b72p-919, -0x1.589675c47344fp+378
+0x1.56d3d3502df3cp-952, 0x1.db00e5c4e0213p-311
+0x1.50edf7242bddp+559, 0x1.4613f677cbad5p-40
+-0x1.f7d9ec2938ee2p+220, 0x1.0be59f2cce9a5p-382
+-0x1.9c9a552de56dfp-57, -0x1.b4f304bdc8ab6p-937
+0x1.f02142c026defp-961, -0x1.eb3716d2031bfp+195
+0x1.527b93ca647cep-866, 0x1.a88a9f3833375p+1002
+-0x1.a74019c62e26p+399, 0x1.faee3010ed0c4p+801
+-0x1.7ca550710140ep-101, 0x1.eb52be9e679fp+571
+0x1.12171f8729216p-519, -0x1.004f792d5a268p-63
+0x1.d65bfd4c30839p-746, -0x1.4daba43409641p+204
+-0x1.21cd83e498516p-450, 0x1.4609b19e9ef53p-403
+0x1.ebb5fa387c927p+248, 0x1.4ecab9624ec62p-92
+0x1.45b55f65ff1e7p+813, -0x1.f707e3c8b5239p-138
+-0x1.1da001fda482bp+974, 0x1.edec501a36b24p-724
+0x1.97315ecb8425cp-123, 0x1.612592215f3fdp-132
+0x1.8d5b1b3846284p-425, -0x1.3ce5fa09132cbp+436
+0x1.d1d47524c44a4p-812, -0x1.bf891b93dde8ap+744
+0x1.92a7bf9242684p-73, -0x1.aa82bb891be0cp+89
+-0x1.e6810b9a1bf0ap-168, 0x1.c5398195ccdc3p+956
+0x1.7e96a89da165fp-109, 0x1.f329f2304d644p-49
+0x1.34bd8b31ce5c4p-282, 0x1.abae1a040636p+948
+0x1.996f4e63d4f6cp+525, -0x1.cc3c2ee836653p+88
+-0x1.02c3adb3be10fp+415, 0x1.9b4364f0bdae8p+443
+0x1.b9b92f18fd558p+252, 0x1.016c8f344aa47p+650
+0x1.c4c4bb137d3b3p-872, 0x1.f8f7156fde005p+743
+0x1.a8de0feae63afp+656, -0x1.be0f16040e274p+567
+0x1.dbfd2ff985308p-669, -0x1.44af235aa6586p+1020
+-0x1.a0078fbaaab42p-479, 0x1.9dd2d4b16edecp-982
+-0x1.e5ecc39229163p-774, 0x1.76f56f40cf5fep-657
+-0x1.50b0162168c61p+75, -0x1.57cd096ae8ceep+687
+-0x1.a462268708eaep-588, -0x1.0d36bcb0b2543p-466
+-0x1.9d5d462d78a6bp-722, 0x1.991f65583703p-302
+0x1.0bc631281acb7p+773, -0x1.94de5221c9b09p+933
+-0x1.883db5e32c18ep-926, 0x1.e909063938ef8p-786
+-0x1.c19dc126e2edp-216, 0x1.b69af7ca5d054p-418
+-0x1.71c3328325a06p-201, 0x1.47b59a7ef826p-85
+0x1.a4c106321fba5p-905, 0x1.d662dbd1e9c91p+254
+0x1.c5b5de0aca697p-258, -0x1.f7d22c841742dp-581
+-0x1.023ca584137cbp-748, 0x1.ca5f548413f7dp-208
+0x1.22e3284776858p+995, -0x1.17ae2e18def95p-26
+0x1.ea4795d44137dp+675, 0x1.46f251013b56ap-288
+0x1.1884e3956d27fp-761, -0x1.e674a4e761f5fp-739
+0x1.6204d355c8abfp+1015, -0x1.21daf1f59bedap-270
+0x1.1fc66d71e1062p-964, -0x1.ab81995abffc2p-254
+-0x1.ac284515546c2p-721, 0x1.1dd5d567a1a71p-396
+0x1.241d5888f647ep-200, 0x1.73d9a9c9d9b67p-251
+0x1.cb9669c0b22a4p+218, 0x1.7e5907e439ba7p-72
+0x1.3ac7220650da3p-269, 0x1.63d95519da5d1p+241
+0x1.8eb6d46d9a348p+330, 0x1.5ab0857c44654p-861
+0x1.fe103724110ap+293, -0x1.6f2313c4854bep+856
+-0x1.c876b78ed48ep+47, 0x1.c364b45c86731p+410
+0x1.20bc075971705p-179, -0x1.4623e2dba0225p-950
+-0x1.bab2368e68d6fp-806, -0x1.1bf2a7f5955p+283
+-0x1.e2a7f07af1ba8p+225, -0x1.2d8a8fa4019fep-360
+-0x1.7c24cad3c9107p-793, -0x1.7c8df00527f77p+374
+0x1.4c4257d85d97cp+868, 0x1.d95fb6727b064p+495
+0x1.883a5e7f0489bp-256, -0x1.c435375952c0fp+27
+0x1.fc5a906c4aea2p-390, -0x1.057b91c5f31ccp+351
+0x1.86b1e5feb630ap-212, 0x1.c9317e723e87p-782
+0x1.fd784a7a3492p-310, 0x1.13394a2dbec98p-79
+0x1.7fe2769664081p+435, 0x1.10e2b5c4b6481p+145
+0x1.e03f7bf6e87c2p-470, -0x1.ee5649f4bf6fp+276
+0x1.4ab32bae3801dp-330, -0x1.cc6cfb5febdfcp-170
+0x1.d06c7fe7c6b0dp-376, 0x1.cbde7bcaca351p+735
+0x1.008c2aab04dabp+859, -0x1.285fe5dd7d39ep-855
+-0x1.8695662e78418p-630, -0x1.4ebb1cd711234p+272
+0x1.1c7560a0d2df2p+702, 0x1.10fd7629c58a7p+236
+0x1.e92cd9e803aecp-636, 0x1.2a0d010fccd2cp-157
+0x1.08913e8bcd565p-224, 0x1.84d49084f3544p-991
+-0x1.807cc09113d47p+358, -0x1.e984309dbe045p+169
+-0x1.f83619b15175ap-889, -0x1.9a2cf661dbcbp-663
+0x1.5fd0dddd8c329p+331, -0x1.f5cad18245203p-325
+-0x1.af7f725a79dbp+979, 0x1.0569c82eaba96p-1010
+0x1.cad6d7736af6ap+804, 0x1.68a9d7048d8dfp+16
+0x1.b06e4f6e05c74p+675, -0x1.82e414b8b1f3cp-981
+-0x1.0c17284003246p+437, 0x1.a98a01fd5ea0dp+593
+0x1.0a9276374f493p-364, 0x1.9abc279b0f173p-753
+0x1.e67c66ea3297cp+799, 0x1.7862e7b7e2378p-324
+0x1.99f36820e47adp-891, -0x1.74fae8b0b3fa1p-548
+0x1.5727b90bacc54p+42, 0x1.f8a955c63b79p+439
+0x1.bc630f9589dep+939, 0x1.00a0432666a59p+370
+-0x1.a0a05f9ad91dfp+852, 0x1.0400649151163p+262
+0x1.916ce547832f6p+702, 0x1.1cdde7fed53p+885
+-0x1.4a809e3e8738ap-1003, -0x1.6e1ebe4d7d35dp-508
+0x1.d4ede50b0f8fcp+959, 0x1.d723c8d23e883p+736
+0x1.c2acda5cceb57p+381, 0x1.ccf15447659bfp-45
+-0x1.a030113512cb1p+746, 0x1.c0f08c56a8681p+756
+-0x1.87cbeda5c080bp-968, 0x1.37316dba763f4p+1023
+0x1.2141e5f6943ccp-981, 0x1.894b6684f4d0ep+768
+-0x1.ee4b5798a9cffp-516, -0x1.a3c3ef4d63759p-176
+-0x1.28fa20f216b59p+898, 0x1.e0c9b5cabe6ep-154
+-0x1.045cc99bc9b41p-547, 0x1.ea693bae2df0fp-1018
+0x1.603305c877b17p+509, -0x1.ae79d5792d458p-499
+0x1.bd2500f96ac17p+1023, 0x1.1756ccd297817p-134
+-0x1.2a8372b2c5fa8p-815, 0x1.5acea1671ec1ap+916
+0x1.a1b0e306ac99p-292, 0x1.8a62c83277e19p+299
+-0x1.936570229e706p-836, -0x1.32f83f64d9642p+995
+0x1.57a4e8244e595p-939, -0x1.80e476dda7192p-806
+0x1.484d7640f541fp+983, -0x1.07a37b1528d44p-182
+0x1.1254176e87c6ap+392, -0x1.b0001af186addp-981
+0x1.ede3fc3a5ca1bp+578, 0x1.95031dd4bdd3ep-959
+0x1.a2eb5cbb6ba73p+1010, 0x1.efcb4205e5ec7p+854
+0x1.b2c24a0226e26p+526, -0x1.45198a7a92467p-113
+0x1.3050e85788d06p-665, 0x1.a04395bb35bbfp-990
+0x1.a4419ac76552dp+299, -0x1.ac156732cef0ap+442
+-0x0.c9c2ac71cf416p-1022, -0x1.43c79d7592e3bp+662
+-0x1.61be60c492702p+53, -0x1.04995d2d2f4afp+833
+-0x1.ec6a831ec4f3ep+814, -0x1.c085bfb8b0802p-312
+-0x1.459bb6e803835p-368, 0x1.3dc58d44ec162p-469
+0x1.1d79a7c416909p+813, -0x1.46b62b0a3ac1bp+613
+0x1.9d1387fc05612p+868, 0x1.adacb571845afp-638
+0x1.e55125c4369a4p+268, 0x1.8c6b089764121p+17
+0x1.db29703a69ed2p-72, -0x1.b6011d91ad9e9p+907
+0x1.9ebd63b002a6p-697, -0x1.cc3c55854c2ecp+239
+0x1.b45f659d66846p-656, -0x1.ba09fb67b05d2p+186
+-0x1.c65ba7ae75451p+853, 0x1.844fe2c65f941p-630
+0x1.738a17a1a0746p+938, 0x1.6bda1a8a04583p-226
+-0x1.d74d85d4d1f4fp-638, -0x1.8dd6a9ce6cdc3p+876
+-0x1.ac1dbf8e05e35p+779, 0x1.a6418bed4b62bp+262
+-0x1.6ea1fa5253bedp+26, -0x1.601895f61ee3cp+697
+-0x1.a95b0ff128d5ap+633, -0x1.ed2d83198618p+666
+0x1.8bff8243f7b3dp+278, 0x1.c2a77096bbdb2p+85
+0x1.eec96511d93b4p-140, 0x1.623a468ac3d94p+183
+0x1.c4eabfa35fddfp+889, -0x1.33f439b51bc35p-222
+0x1.949f1b5ce5dbp+302, 0x1.f8f0932a9d195p+710
+0x1.0aa20a24bcef5p-183, 0x1.5c0292e4e2975p-513
+0x1.9ef93307c3522p-831, -0x1.4250a65b9d124p+950
+0x1.d6262800d007cp-587, -0x1.289e6162488a5p-395
+0x1.9b9c2759b9d6cp+348, -0x1.70f9a73f8de5p+72
+-0x1.fdb00afbe1e01p-383, -0x1.2a155917930f9p-583
+0x1.061bdc95f343cp+443, -0x1.fcc2fa73ffe7fp-389
+0x1.0ecd81dee3403p+1020, -0x1.2b8cab98346e3p+217
+-0x1.a7d9c01150eeep+145, 0x1.c99503b3fab8ep+79
+0x1.115849bd4355fp-889, -0x1.584be874ef866p+895
+0x1.79bdc0480d5f6p+835, -0x1.5137a69c83238p-537
+0x1.34fcbb895c593p+202, 0x1.3b95fbd9eae2fp-367
+-0x1.dcc539c5674e9p-497, -0x1.65e85d7fddd54p+973
+0x1.04c41aef220abp+354, 0x1.f25bfa410cd1ap-637
+-0x1.21a2f3fa109b3p-176, 0x1.464134cab10a4p+649
+-0x1.aa97f9df3d02ap+320, 0x1.270a06e1ed625p+393
+0x1.0757de7784636p-803, -0x1.1078a50df2d9bp+926
+-0x1.db116067d1e52p+508, -0x1.2094021453f7ap+881
+-0x1.3e5acfc0a9699p+299, -0x1.a1ac083116c75p+756
+-0x1.1762f192cc412p+98, 0x1.b34a206142782p+618
+0x1.380460b387bf9p+261, 0x1.27a285767a5b9p+365
+0x1.63b3b9db0d83bp+236, -0x1.54964f2e283d3p-291
+0x1.f9a6d9e3eeffap-811, -0x1.03b06a9b79d63p+832
+0x1.a25365aaf555bp-114, 0x1.49f4416582a9ap-117
+0x1.b5d022e408eacp+118, 0x1.6f736ab12a72ep+815
+0x1.3e8d033a37c35p+669, 0x1.d0b510d024ed8p+163
+-0x1.753ffb7cf35b6p-308, -0x1.14995499cb3f7p-972
+-0x1.dc454c6dc2fe4p+93, 0x1.4b543400eae43p+825
+0x1.ac1f6e3d41783p-173, 0x1.a65dc47c15194p+723
+-0x1.6c820c125474ap+607, 0x1.5c3f5183eddc3p+920
+-0x1.78f8b437b9422p-106, 0x1.9b7b5b05b74e6p-982
+0x1.259163f137d33p+776, 0x1.dc9c19787d832p+960
+0x1.a21d9506336d1p-607, 0x1.89f563dcefe07p+438
+0x1.89c77505177efp-232, 0x1.efb52e5b60e65p+459
+0x1.7aa6fd4ab981bp+488, 0x1.105128296785dp+420
+-0x1.d90e261c068cp+852, -0x1.2703ac5312c28p+243
+-0x1.cf492b17bb3f6p+948, 0x1.8c5d493a58a31p+847
+-0x1.18c29aa390d1cp-212, 0x1.cf0383e46dcc6p+376
+-0x1.8b85915e13a71p-64, 0x1.d817b0af92102p-944
+0x1.0ee2196ee8a76p-429, -0x1.739d2fff9fe55p+947
+-0x1.f367f086e9beep+387, 0x1.7132680938113p+908
+-0x1.095390367d552p-999, -0x1.09ee53b68a11p-674
+-0x1.c2bfbd47f1fcp-381, -0x1.90bd759d89c95p-682
+-0x1.5070732f1b6f6p-574, 0x1.5e1e18a89d10ep+910
+0x1.b08151a83f7acp+1018, -0x1.b7449856e98b6p+518
+0x1.9aaeaef8da936p+905, -0x1.f028be9fccdaap+819
+0x1.e80b1f70df1e6p-274, -0x1.31af0033ae172p+471
+-0x1.974eb9ea4776fp+769, 0x1.7bc9fb64cf9b6p+671
+-0x1.42d902d4ac967p+39, 0x1.59fbc371e060ep+915
+0x1.da244995ea5d9p+923, -0x1.d1f898dea5887p-140
+0x1.228096ac90886p-475, 0x1.e89d6a356788cp+490
+0x1.754733aabb8fp+615, -0x1.5ec7f36ef0645p+237
+-0x1.c28a759014522p-368, 0x1.e06c3c72f1147p+674
+-0x1.9359e4e2ab8dcp+39, -0x1.49e7e7eb7286p-432
+-0x1.4205f02739704p-416, 0x1.8590b07658eefp+292
+0x1.50dc9c70c62d2p+756, -0x1.7e05375a7ab59p-936
+0x1.692682fbda19dp+135, -0x1.2c1424531f5e8p-57
+-0x1.533e6e861a0dbp+776, 0x1.30569319da867p-1018
+-0x1.230a5fd77b2b9p+595, -0x1.aed54652fdfa7p-29
+0x1.ffb43cc18a59ap-332, 0x1.6541e1db4f3dfp+379
+0x1.741695d36e2dp-235, 0x1.b2481aa788cc8p+234
+-0x1.adae686004adcp-287, 0x1.33b21ad23690cp+419
+0x1.bb009ab42f26fp-247, -0x1.42324ad2b8a68p-43
+0x1.48d0967c5f305p-409, 0x1.a4e19caa8c9c3p+470
+-0x1.9ca27f566a9a4p-944, 0x1.cabd95ac29be5p-809
+0x1.ed59dd38faf7p+525, -0x1.ebc3480df97e3p-355
+0x1.daf52cf4b4cf9p+37, 0x1.90a3a6c0923b6p-572
+0x1.17d9f720c2817p-988, 0x1.fcc786fc17e44p-35
+-0x1.922db9d580176p+647, 0x1.a49c619f10944p-180
+-0x1.88d69d63ca7b9p+1001, 0x1.aaa0924175993p+233
+0x1.9fd1c3e8a149p+17, -0x1.0e5dabd650042p+490
+-0x1.7ee7727afa707p+117, -0x1.f28ff43a60bfbp+41
+-0x1.c654c5b561eb4p+799, -0x1.d83d996dafdf6p+792
+0x1.cfce439e8f42bp-782, 0x1.c58c8a15f8b97p+593
+0x1.6681925e58ac9p-861, 0x1.2768402ced7efp-987
+-0x1.fcc75df07481ap+978, -0x1.912cd806dd07fp-487
+-0x1.d71f87c76b1d8p+873, -0x1.f5c64d1a7da78p-20
+0x1.4cce0cf3c3185p+829, -0x1.cb56ef1a03f52p+87
+-0x1.bda1a9c5ff5dp+169, 0x1.c66b9959e7f95p+137
+-0x1.b82e694e7764dp+743, -0x1.c6bd0bdc6648ap+970
+0x1.18361594258a5p-639, 0x1.2171c4a28c0eep-509
+0x1.89b8d64277c87p-575, 0x1.b5f836264ff06p+439
+-0x1.0d83cd1af1e99p+45, -0x1.47be13c8b3911p+751
+0x1.0c3780fcb3604p+643, -0x1.57a797edd61b1p+754
+-0x1.7745a041426aap-969, 0x1.4db400b96d65ap+421
+-0x1.16810be69914dp-120, 0x1.359633ae39259p-436
+0x1.194c052752cb8p-954, 0x1.01815af1c2c2cp-55
+0x1.22d8cab5f845bp+652, -0x1.fbb57fa2642cep-510
+0x1.1857f3606057ep-96, -0x1.6958bf8167258p+926
+-0x1.275cced907a1fp+691, -0x1.daa610958c4b9p-589
+-0x1.50962537ad40ap-613, 0x1.9484de2fb6c05p-789
+0x1.72ec630989c6dp+590, 0x1.fc2ec584faadap+771
+0x1.ff67d9efd9a7bp-437, 0x1.a342fe8ac841ap+36
+-0x1.fa6a77ba49436p+594, -0x1.f40dab00e930bp-590
+-0x1.459843f7583aep+540, 0x1.bb7bc32501f52p+464
+0x1.3093dbe01bff4p+570, -0x1.38b026fd38248p+295
+0x1.3f351b55e473ap+695, -0x1.2e9e6547857ccp+697
+0x1.0ef002c6e5163p-299, 0x1.d467c08cf75a3p-343
+-0x1.cfff22b862868p-150, -0x1.dd99a1e648e7ap-9
+-0x1.a6f1972aff101p+317, 0x1.69e2d38ca4cfp-319
+-0x1.7baeedc009edcp+858, -0x1.3ea62df373ca1p-241
+-0x1.a91ffa89c5633p-734, 0x1.938cb7ffdb644p-239
+0x1.2c288ad276a45p-665, 0x1.269c7f16bb183p-181
+-0x1.76ab172388c82p-615, 0x1.1972be7709aecp+615
+-0x1.7db418283e85ep-421, -0x1.fae14268866a3p+59
+-0x1.cb48b2f68de38p-257, 0x1.4c3239a1ab421p+808
+-0x1.6d20620b488fdp-909, 0x1.58b35285c1115p+501
+-0x1.9bee720266f0ep-704, 0x1.7e32ae5746303p+863
+-0x1.1a201780dd7aep-949, -0x0.c1957598624f4p-1022
+-0x1.f0cf664d8d70ap-826, -0x1.89d0cc2a06bp+136
+0x1.67059fe254eb2p-9, 0x1.984f78a7fa679p-576
+-0x1.ea8a9cd8cb5a7p-577, 0x1.83eac1df0b8d1p+728
+0x1.98ee1b3b19987p+193, -0x1.6cd21f3ec717cp-137
+-0x1.fefcf1bb6a922p-18, 0x1.9ed2427a5900ap+858
+0x1.e6ae7e7578defp-633, 0x1.ba06af17eae86p+476
+0x1.71e69842d986fp-965, 0x1.2c3fdc4684bdp+422
+0x1.b038cd5ae9e4fp+841, -0x1.95b00ece687efp+21
+0x1.55a312d2bf3c2p-605, 0x1.f3d2c56e0dca7p-963
+-0x1.13fce5f27a7a7p-458, -0x1.98c23d246fa2fp-572
+-0x1.36fb53aa8e38cp-127, -0x1.154bab93c8eb8p-590
+-0x1.f73f174bb837dp-77, -0x1.67054ecc9f64ep-762
+0x1.e8df068ba3d27p+550, -0x1.903f587384614p+334
+-0x1.208e3a22be12bp-545, -0x1.7c50e9315c046p-224
+-0x1.733bbf66e524bp-167, 0x1.3292c65fc09dfp-602
+0x1.4461130c1f39ep+95, -0x1.a2de85d48cfecp-345
+0x1.5bbf44944b906p-224, 0x1.17b902b02851p+22
+0x1.b55c7423964bcp+84, -0x1.6f05ad0402f98p-402
+-0x1.3b7550ac640cbp-376, 0x1.b6843aa267502p-861
+-0x1.bd4d0ffa60298p+962, 0x1.d39028ecd025ap-537
+-0x1.d539bfb12f853p+533, 0x1.6fd6dcc76b594p-818
+-0x1.7545b6cc7dab5p-989, 0x1.bfe53e64af279p+595
+0x1.55d86841fd23p-1004, 0x1.d9c209c1b0068p-514
+0x1.71d66d7b86f5bp+826, 0x1.80c9e49887e21p-832
+0x1.a4ba3a825eaf4p-172, -0x1.7dcb9539bc991p-886
+0x1.90bc135879ee1p+498, -0x1.d6593af2b9d7bp+493
+-0x1.e3ca7439f0777p-52, 0x1.75cbcb66dc7efp+241
+0x1.07f6872a92fe5p-607, -0x1.881e8574eaedcp-600
+-0x1.78ad66194bdap+976, -0x1.763bf4157053fp+882
+-0x1.ede5ec3f2f167p-439, -0x1.0beb082f89a82p-463
+-0x1.72acd7228f9ffp-916, -0x1.ce0930cb50203p-755
+-0x1.42e0f9c1c4b0dp-779, 0x1.08a5ee82c2212p+859
+0x1.5eba5f7fe5f69p+980, -0x1.3d553ed90e14p-518
+-0x1.a3a8484f043d4p-207, -0x1.2c3d8c0a90616p-419
+-0x1.bdbfb2ad17291p-293, 0x1.ada0e6c75e1b8p-1005
+0x1.dbd467dab06bcp+791, 0x1.344edbf4006aap-638
+-0x1.8d948c07d8843p-948, -0x1.0f19d92ad5f81p+198
+0x1.4fd4d0019912fp-940, 0x1.a06753a54d04p+931
+0x1.1a58041a552efp+775, 0x1.8e950df4ff8aap+428
+0x1.086dabe1d9b6bp-488, -0x1.f8e2cb6387fe2p+62
+-0x1.8bbc34c5c76a5p-945, -0x1.27441a8578b44p+860
+0x1.478d786c0b936p+153, -0x1.29257807aa044p-729
+-0x1.7c39fb95aaf5cp+150, 0x1.aedeb637a197fp-963