From patchwork Mon Apr 28 12:10:20 2025
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Patchwork-Submitter: Paul Zimmermann <Paul.Zimmermann@inria.fr>
X-Patchwork-Id: 111124
Return-Path: <libc-alpha-bounces~patchwork=sourceware.org@sourceware.org>
X-Original-To: patchwork@sourceware.org
Delivered-To: patchwork@sourceware.org
Received: from server2.sourceware.org (localhost [IPv6:::1])
	by sourceware.org (Postfix) with ESMTP id 90C653858C62
	for <patchwork@sourceware.org>; Mon, 28 Apr 2025 12:11:41 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 90C653858C62
X-Original-To: libc-alpha@sourceware.org
Delivered-To: libc-alpha@sourceware.org
Received: from mail3-relais-sop.national.inria.fr
 (mail3-relais-sop.national.inria.fr [192.134.164.104])
 by sourceware.org (Postfix) with ESMTPS id 0ED023858D1E
 for <libc-alpha@sourceware.org>; Mon, 28 Apr 2025 12:10:47 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 0ED023858D1E
Authentication-Results: sourceware.org;
 dmarc=fail (p=none dis=none) header.from=inria.fr
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=loria.fr
ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 0ED023858D1E
Authentication-Results: server2.sourceware.org;
 arc=none smtp.remote-ip=192.134.164.104
ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1745842248; cv=none;
 b=FiRcFkpEVZ4ztxOc7l5+GJwVGHRtib2GoGd44OelQrsNPBOHlAsdIbecsJSmFVnq+TSzlHx2IQRToLQ+IwXHqwPzpEb5zr4AsXKJ0f+aQkgXQOa2yf+qIG71WRFr8bsDcSinMdos50OO6fotnm3WCgJU3Dhsdfuwte8ZSmOdt+M=
ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key;
 t=1745842248; c=relaxed/simple;
 bh=j5CWRv0Qd0egI5wbC2Ux8CnkPqUMFX0F61sJrMZh0DY=;
 h=From:To:Subject:Date:Message-ID:MIME-Version;
 b=lyNg7DnIC1P8N05VJEYkc2zq2INFMAVgGeS4+/23ol3JKTnHwVPOuJYUId4xq0j+ffwqCdsiuTryfMlliJBtAELufQ3F/uCcwuvCaI3vn7E8FKv4OU34t4fzIFrbG03Kxnkg66AD/6UxlRrV9w9t5u6q/TsfVAqg5ZzADloNZM0=
ARC-Authentication-Results: i=1; server2.sourceware.org
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0ED023858D1E
Authentication-Results: mail3-relais-sop.national.inria.fr;
 dkim=none (message not signed) header.i=none;
 spf=SoftFail smtp.mailfrom=Paul.Zimmermann@loria.fr;
 spf=None smtp.helo=postmaster@genievre.loria.fr
Received-SPF: SoftFail (mail3-relais-sop.national.inria.fr:
 domain of Paul.Zimmermann@loria.fr is inclined to not
 designate 152.81.9.226 as permitted sender)
 identity=mailfrom; client-ip=152.81.9.226;
 receiver=mail3-relais-sop.national.inria.fr;
 envelope-from="Paul.Zimmermann@loria.fr";
 x-sender="Paul.Zimmermann@loria.fr"; x-conformance=spf_only;
 x-record-type="v=spf1"; x-record-text="v=spf1
 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160
 ip4:89.107.174.7 mx ~all"
Received-SPF: None (mail3-relais-sop.national.inria.fr: no sender
 authenticity information available from domain of
 postmaster@genievre.loria.fr) identity=helo;
 client-ip=152.81.9.226;
 receiver=mail3-relais-sop.national.inria.fr;
 envelope-from="Paul.Zimmermann@loria.fr";
 x-sender="postmaster@genievre.loria.fr"; x-conformance=spf_only
X-IronPort-AV: E=Sophos;i="6.15,246,1739833200"; d="scan'208";a="115343574"
Received: from genievre.loria.fr ([152.81.9.226])
 by mail3-relais-sop.national.inria.fr with
 ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 28 Apr 2025 14:10:47 +0200
Received: from zimmerma by genievre.loria.fr with local (Exim 4.98.2)
 (envelope-from <Paul.Zimmermann@loria.fr>)
 id 1u9NJu-000000015Pw-2OWK; Mon, 28 Apr 2025 14:10:46 +0200
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
To: libc-alpha@sourceware.org
Cc: Paul Zimmermann <Paul.Zimmermann@inria.fr>
Subject: [PATCH] added benchtest inputs for fmal
Date: Mon, 28 Apr 2025 14:10:20 +0200
Message-ID: <20250428121045.259138-1-Paul.Zimmermann@inria.fr>
X-Mailer: git-send-email 2.47.2
MIME-Version: 1.0
Sender: Paul Zimmermann <Paul.Zimmermann@loria.fr>
X-Spam-Status: No, score=-8.5 required=5.0 tests=BAYES_00, GIT_PATCH_0,
 HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS,
 LOCAL_AUTHENTICATION_FAIL_DMARC, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL,
 RCVD_IN_VALIDITY_RPBL_BLOCKED, RCVD_IN_VALIDITY_SAFE_BLOCKED, SPF_HELO_NONE,
 SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
 server2.sourceware.org
X-BeenThere: libc-alpha@sourceware.org
X-Mailman-Version: 2.1.30
Precedence: list
List-Id: Libc-alpha mailing list <libc-alpha.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/libc-alpha/>
List-Post: <mailto:libc-alpha@sourceware.org>
List-Help: <mailto:libc-alpha-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=subscribe>
Errors-To: libc-alpha-bounces~patchwork=sourceware.org@sourceware.org

(and added a comment in powl-inputs from a previous patch)
---
 benchtests/Makefile    |    1 +
 benchtests/fmal-inputs | 1004 ++++++++++++++++++++++++++++++++++++++++
 benchtests/powl-inputs |    1 +
 3 files changed, 1006 insertions(+)
 create mode 100644 benchtests/fmal-inputs

diff --git a/benchtests/Makefile b/benchtests/Makefile
index 67ac58cab6..5b2fa67f35 100644
--- a/benchtests/Makefile
+++ b/benchtests/Makefile
@@ -68,6 +68,7 @@ bench-math := \
   expm1f \
   floor \
   floorf \
+  fmal \
   fmax \
   fmaxf \
   fmin \
diff --git a/benchtests/fmal-inputs b/benchtests/fmal-inputs
new file mode 100644
index 0000000000..3e0c5ee30f
--- /dev/null
+++ b/benchtests/fmal-inputs
@@ -0,0 +1,1004 @@
+## args: long double:long double:long double
+## ret: long double
+## includes: math.h
+# Random inputs in [-10,10]
+0x1.d76482a32425276p+1l, -0x1.da30a5652216e33cp+2l, -0x1.f738d527163ad23p+2l
+-0x1.a786d34c2918f0ep-1l, -0x1.1a33d2d02d08f584p+3l, -0x1.5e7431210a4aa4dp+2l
+0x1.03839c8a40901ebp+3l, 0x1.5d2826a919cd0bap+1l, 0x1.34185715132e156p+1l
+0x1.238ad21540202ba4p+3l, 0x1.1f2039b224041dd4p+3l, -0x1.71b16c682d4e02e8p+2l
+-0x1.f987b5013365508p-2l, 0x1.1a8fdce55a68a3ap+0l, -0x1.1cc3ac22dbb721p+0l
+0x1.8c10bca79e763b8p-1l, 0x1.2e83f225c3e1b99p+1l, -0x1.949afb3dbedf5426p+2l
+0x1.4067abd046804b3p+1l, -0x1.e53178b1192d1274p+1l, -0x1.5419145e8fa22accp+1l
+0x1.c3598c71a10e1c2p+0l, 0x1.946477380892e5bp+2l, 0x1.07c0ebc0d429f12p+2l
+0x1.98698919289ec07p+2l, 0x1.bbc1ec5ee3958848p+2l, -0x1.8ccd1c21b771e3ep+0l
+-0x1.a9238e3c5de67076p+2l, 0x1.b08e6c234d791978p+2l, -0x1.c002fe9faa4b4cp-3l
+0x1.6f9319e01cb355c4p+2l, -0x1.b8ceb8a97648a318p+2l, -0x1.ceba821783946924p+2l
+0x1.ab775c7a4b015e48p+2l, 0x1.645be70515cf504p+0l, 0x1.da42c3a0a9b7a288p+2l
+-0x1.d1a96c3d91512928p+1l, 0x1.956180cb91f3e0bp+1l, 0x1.065dfd23bd04a1cp+3l
+-0x1.320e4ac0961010ap+0l, 0x1.121efaac88a68d5p+0l, -0x1.1ade39161e750afp+0l
+-0x1.40475340b173bd2ep+2l, -0x1.b82b8ffa627effdcp+1l, 0x1.dca2744cf4232808p+2l
+-0x1.3b589ab63366b2ap+1l, -0x1.09ce7345ef3efeccp+2l, 0x1.9bb43359eb2e5498p+1l
+-0x1.89b7ddaf4484f9ep+2l, -0x1.80f3584edf529134p+2l, 0x1.768f31d6358e2a8p+1l
+0x1.a63ddfe0af77118p+0l, -0x1.697e159f482df188p+2l, 0x1.06b38669305897fcp+3l
+-0x1.b02c12b05bab7ec8p+1l, -0x1.ff0d49f439470024p+1l, 0x1.089a05bfec9176e8p+3l
+0x1.18789dc2b589152p+0l, -0x1.046e881c049a52fp+2l, -0x1.117ee052fdc4c8p-5l
+0x1.210c58afc566b2b8p+1l, 0x1.e7447048e3bac858p+1l, 0x1.187132d4d3ddf2ap+1l
+-0x1.02525044dcf0886p+1l, 0x1.7c60dd1ec0413a9p+0l, -0x1.9f18c40ba47334b2p+2l
+0x1.8997c7a2376039dp+2l, -0x1.0d8eb540b886252ap+3l, 0x1.180657e5e493046p-1l
+0x1.4a6cc989aa4c89acp+2l, -0x1.1b639ceeaaa8c464p+3l, -0x1.5bb3e70abe12b1cp+2l
+0x1.3c79597e6875f71p+3l, -0x1.33561c94510bfb8p+0l, -0x1.c8e1a2884022162ep+2l
+0x1.dbe3cc2a0831755p+1l, 0x1.08d49e793d49cd98p+3l, 0x1.cc8fc071849f35p+2l
+-0x1.40a1833a6473735p+1l, 0x1.2a6f47916df6e2p+1l, 0x1.680cad878f09165p+2l
+0x1.220565e22a3bcf7p+2l, -0x1.b6f1d2ad9ce779dp+1l, -0x1.99c9feaac7181bbp+2l
+-0x1.b5801e17c911d4fp+1l, -0x1.bdb4586d03a8acdcp+1l, 0x1.384529b2a8a65b8p+3l
+0x1.3df910eea3326a3p+2l, 0x1.b28a83e71e00d3b8p+2l, 0x1.333f240f3fe543p-1l
+0x1.31a3aa139d95913p+3l, -0x1.3011c08d20744556p+3l, -0x1.f4a9f1c86647cca8p+2l
+-0x1.286ed247f2c75184p+3l, 0x1.75be2df7a08cfcp-2l, 0x1.5b8e379039df1cbp+1l
+-0x1.0ead19b94905e35cp+2l, 0x1.02951f94bd940038p+3l, 0x1.5999457645110fa8p+2l
+-0x1.20364fa4e55398ap+3l, 0x1.afa494288f49edd8p+1l, 0x1.5a63cb9ec9350b54p+2l
+-0x1.457995e64e54e7a8p+2l, -0x1.043380d03c3d185cp+3l, -0x1.2bbe6ad0f240691ap+3l
+0x1.8c259187c42f218p-3l, -0x1.a13f10dd5a6e5504p+2l, 0x1.68c2c0c32f6d8f78p+1l
+0x1.139a9620d509b41p+0l, 0x1.1b3fa511495bf918p+2l, 0x1.7c2911274354eaccp+2l
+-0x1.30ef94e2cfbf78ap+2l, 0x1.987d6c59a01a7958p+2l, -0x1.27e28620ff8bbdep+3l
+0x1.29eb6aa8baf67e78p+2l, -0x1.cb5a1b9f6cbeddfp+2l, -0x1.28c04273e1b398c4p+2l
+-0x1.3eff6e82f6d2184p+0l, -0x1.1021028da92a84d6p+3l, 0x1.0d23b33354f8b7ap+3l
+-0x1.38f83fcc26e09b58p+3l, 0x1.f2056812075b393p+1l, 0x1.2f31a5dd42b545d8p+1l
+0x1.342c23f4d6548618p+1l, 0x1.09810b5adf15b2e8p+3l, -0x1.14b19e2890080d58p+2l
+0x1.ff3e109b1c5407cp+2l, -0x1.1582f3c0fa236c82p+3l, 0x1.29b0623e5f6e22c8p+2l
+0x1.43d683f19302404p+2l, -0x1.c3bb44e51ca46d8cp+2l, 0x1.37dfb6d873f068f4p+2l
+0x1.3c403b216a9235f4p+2l, 0x1.f956a69c831bb288p+2l, 0x1.33d0fe9d1eb35aap+1l
+0x1.f8284fbff9cf79b8p+2l, -0x1.005a29a01167bfc8p+1l, 0x1.1611e1cb3c9012bp+1l
+0x1.2fe8efb58815e7c4p+2l, -0x1.d9b3205f8d8d4f38p+2l, 0x1.055fecae40e635dp+2l
+0x1.d6e029e2a29417fp+1l, -0x1.59b75207fac9c958p+1l, 0x1.4d1cf21685c95c8p+0l
+-0x1.818b73d53fae594p+0l, -0x1.5e299bef7479c648p+1l, -0x1.a323c7f3ebb453c4p+2l
+-0x1.861487195fc12b2p-1l, -0x1.1baf3f607467e31cp+3l, -0x1.1562805b9736e142p+2l
+-0x1.1ac9aa362fe9e1ep+3l, 0x1.a7fcf7e2896218cp+2l, 0x1.d9f2a5c23343c9ap+0l
+0x1.289329626d2d515p+1l, -0x1.ce03520e0fb68ep+1l, -0x1.5123407911f2a63ap+2l
+0x1.8bc4affecb80cecp-1l, -0x1.ad431514898de3ep+2l, 0x1.dd5e0dd518e72d6p+0l
+-0x1.cef827a85a3ecde8p+2l, -0x1.77179ebc533b8b14p+1l, 0x1.721d4353228e3e6p-1l
+0x1.87f90e1bcd778bap+0l, 0x1.07dce1e481c570fcp+3l, -0x1.11deca29548876p+2l
+0x1.386499eaef1ba488p+1l, -0x1.76ffa8b58224aacp-1l, 0x1.0eafc8ff909dab34p+3l
+0x1.48526953ab70f8cp-1l, 0x1.9a6879a35f7ed88p+2l, 0x1.038e9bf9a3339484p+3l
+0x1.3a3d8c2198a2aa3p+3l, 0x1.cdbd96d61e963d5p+1l, 0x1.2360c6f2441a0e7cp+2l
+-0x1.d001e762a62bd3d8p+2l, 0x1.fef3d6bd790ea16p+1l, 0x1.1bde289855588ap-5l
+-0x1.1a6c424c13c0794cp+3l, -0x1.901ed153f67bf14p-2l, -0x1.b4e957c00c40519p+0l
+-0x1.3a6105b65aace934p+1l, 0x1.38216254f1a9fc88p+3l, -0x1.6a0dfd194cf8e22p+2l
+0x1.3ca2ee13ac0049f4p+3l, 0x1.94815a9d17b2bcfp+1l, -0x1.f66f45a5cf4c37p+0l
+0x1.1e6571b922f612fp+3l, 0x1.12fd24ec6d26a154p+3l, -0x1.42bcefa5386fa4p-6l
+0x1.9a4cb91fa757677p+1l, -0x1.fa3fcf55a928f84p+0l, -0x1.3a71b715bfba002ap+3l
+0x1.54466b10cc86b8ap+0l, -0x1.10ffca39d5f6b9cp+3l, -0x1.c7fe72ff0030f06cp+2l
+0x1.cddb9b727ca6752p+1l, 0x1.6278a81060e1de6p+0l, 0x1.f60657865d741fbp+0l
+0x1.f7761fc4d62a332p-1l, 0x1.35daced14ba5e0ap+3l, 0x1.b072ffdedadccdp+2l
+-0x1.3cfb6bda5f2e4eep+3l, -0x1.598ea158e92341c4p+2l, -0x1.26ceb1ac508acdp-1l
+-0x1.3220c1620414611p+3l, 0x1.d16a09c0fec479dp+1l, 0x1.851048c4c28c16ap+2l
+-0x1.af94322e7f2b55c8p+2l, 0x1.ab3c1844744441p-1l, -0x1.761822114aefb8dcp+2l
+-0x1.8a66aaf38d7812cp-2l, -0x1.54a107496583d8cp-1l, -0x1.0562a64a3db48296p+3l
+-0x1.7137f2a401915f4p+0l, -0x1.01625c99f6905acp-1l, -0x1.466ccd67c5fa5b3cp+1l
+-0x1.300a977789ae3c3cp+2l, 0x1.d01fa30e9825baa8p+1l, -0x1.d83faf8d8948eaacp+2l
+-0x1.3f81099b5e63e398p+2l, -0x1.8644608025317bep+0l, 0x1.47b42d643e86ac98p+1l
+-0x1.051f002b42ba57p+0l, 0x1.f7ebc55bf641aep-2l, -0x1.e2eb7f3bfa462c8p+0l
+-0x1.12e5522af8566684p+3l, 0x1.398c878f7cf43f6p+0l, -0x1.597d335db981b8c6p+2l
+0x1.b7835564859ae62p+2l, 0x1.641085ea0df27e8p-1l, 0x1.672202600cf80cecp+2l
+0x1.32577fa2469d1fccp+3l, -0x1.f62c70f65fc6d1ep+1l, 0x1.3270ebf118e001f8p+2l
+0x1.0bf0fa4ad2510488p+2l, -0x1.ae7f13750d286958p+2l, -0x1.8886c8dab4fa5fp-2l
+0x1.849d9decd88876bp+2l, -0x1.23ab11a09e080a1cp+3l, 0x1.6aa3d7058c92bcdcp+2l
+0x1.dd794c4ffc06614p+1l, -0x1.22a9250f842f34aap+3l, -0x1.1339586e80f26abap+3l
+0x1.dc325783eeb65b9p+0l, 0x1.5658cfb478b62c4p+0l, 0x1.e5cf26a1f0365dp-1l
+0x1.d0da7f7555074978p+2l, 0x1.0072b47c871f1f94p+2l, -0x1.3e6fe2b4aa7275eap+3l
+0x1.89be1d35b0b4675p+2l, 0x1.ebd995fbab1248fp+2l, 0x1.146159d797a458fp+3l
+-0x1.45c13742891d65a4p+2l, 0x1.4d2194c040b942a4p+2l, -0x1.3799e83670754d78p+2l
+0x1.f8a2b85ca3a9a0b8p+1l, -0x1.13af00520da551e8p+3l, -0x1.60fc70a7f7db4ebp+1l
+0x1.504f47ff04e111a4p+2l, 0x1.88a17fdf43023f9p+2l, 0x1.29986a6458fa582p+3l
+0x1.209bc3e60bc9efccp+3l, -0x1.e0ecc07faf8782ecp+2l, 0x1.f2e0474119f7e76p+2l
+0x1.c6bc019a8d9d94bp+1l, -0x1.2864f61e2d9137d2p+3l, 0x1.0c18dfcf75de9d6p+2l
+-0x1.e33fb9cb57590fa8p+1l, 0x1.f9368b59570c0318p+2l, -0x1.c414dcc58dc5b32p+1l
+0x1.a2f90061057709p+1l, 0x1.9c0514318909ee4p+2l, -0x1.f7e467d388d83ffap+2l
+-0x1.61acb7b9ea36dcb8p+2l, -0x1.9222d7839cccd5cp+0l, 0x1.fdfbb89b32fea348p+2l
+0x1.41f952321cf38d7p+1l, 0x1.70112c002e5a437p+0l, 0x1.17db284d55e89aa8p+3l
+-0x1.baebab8f373e10d4p+2l, 0x1.c01589b2cfcd1f7p+1l, 0x1.eb8ee811e77716dp+2l
+-0x1.8eb04516659df61p+0l, -0x1.43ff1238bb9c1c34p+1l, -0x1.1e80c6ed9a1e43e8p+1l
+-0x1.115f94ac346c0dd8p+1l, 0x1.4b957fbc565065ccp+2l, -0x1.ce8a4659399cd8bcp+2l
+0x1.0381a6fa7fca1eep-1l, -0x1.196755f2d88e8b8cp+3l, -0x1.134a53848f065e68p+2l
+-0x1.d0f4ced5bb35b0cp+2l, -0x1.8dea71f2394f5f8p-3l, -0x1.203ab793e5a5645p+2l
+0x1.2343ec5363f315p-1l, -0x1.2cbb95533eaf0a9cp+3l, -0x1.9c5458b5422407f8p+1l
+-0x1.451c5bb2f24ed2d4p+2l, 0x1.023e6a8ad5ca34p-1l, 0x1.9a2d02f2e85c47ep+1l
+-0x1.1ae6de83577c9298p+3l, 0x1.b48cc56b3d48219p+0l, 0x1.117aca88c24916c8p+3l
+-0x1.d32484c5429434d4p+2l, -0x1.a73ee79d0911d018p+2l, -0x1.dcda9482cb3ecb2p-1l
+-0x1.17b023e4af6a34d4p+3l, 0x1.f7af30e52f4523p-3l, -0x1.3460120ba2ba1cbp+1l
+0x1.53e91941f5c6ae7p+0l, -0x1.7dbfd99cf7988cbp+0l, 0x1.05f399fadda0a2p-4l
+0x1.1af583de76923fp-3l, -0x1.aa369c483332de9p+1l, -0x1.f7468f25c71ac0f4p+2l
+0x1.cc6843cd6477d18p+1l, 0x1.dcb95153a51e23cp+1l, -0x1.28613cdeb66d6acp+3l
+-0x1.58d631d04ef2fd16p+2l, -0x1.09460ce085d13c08p+3l, 0x1.3df90811a3e8351p+3l
+0x1.1ae0226332dcfff8p+2l, 0x1.c04fb45ebdd8864p+2l, -0x1.7f7a6b48c8092d52p+2l
+0x1.1950c59e494c5b4p-1l, 0x1.7f5db44a12675bf4p+2l, 0x1.4cf508bf74efd478p+2l
+0x1.45ee0ab67431bfp-2l, -0x1.21fceea4f8bea7c8p+1l, 0x1.4f073bd38adca0dp+2l
+0x1.30a561d6fc822718p+2l, -0x1.1b13cecacd6903b6p+3l, -0x1.fbacd8996ebdb41cp+2l
+0x1.d701cca2db11ed1p+2l, -0x1.eef852a4abd9f73p+0l, 0x1.9ab55833e0af364p+1l
+0x1.2c030edbfc1cd998p+1l, -0x1.61a4c5d11a2091ap+2l, 0x1.70ccfa974977b194p+2l
+-0x1.234b644ed1ad7ed8p+3l, -0x1.b9f055b328d4944p-2l, 0x1.b283028c0ccef36p+2l
+-0x1.d38c7d24445b5b74p+2l, -0x1.df886c7a07f5fc7ep+2l, 0x1.1f7205e51f5739c8p+2l
+-0x1.35240d0673c2697cp+3l, -0x1.646fe617d26731c6p+2l, -0x1.70a14ede97bef302p+2l
+0x1.e5625730898c756p+1l, -0x1.cb95881846b2cbbap+2l, -0x1.f69fe41336b00288p+2l
+0x1.44f9514e3eeb544p+0l, -0x1.fc8d03434ddcd1c8p+1l, -0x1.9f5e4272fc04e1fp+2l
+0x1.41689876558b315p+2l, 0x1.e3961faacb19765p+1l, 0x1.cc5fd0b20b7c9128p+2l
+-0x1.3eff431c043112e4p+3l, -0x1.62c032ab2acd6778p+1l, -0x1.94ced4e9b5169ccp+0l
+0x1.29187c02240113ccp+3l, 0x1.1fdd0a28a6def78p+3l, -0x1.0bddefbeee3704ccp+3l
+0x1.688f4192237eed4p-1l, -0x1.1eec7ee1625b708p+1l, 0x1.d931c1d35d229328p+1l
+0x1.fb036af9a9f63a8p-2l, -0x1.ef33bd586c061394p+2l, 0x1.32ac9b782b536664p+3l
+0x1.b47366ef518bf5a8p+2l, 0x1.3007fa2bef703148p+3l, 0x1.b59ccc7d004b2ccp+2l
+-0x1.3174c63103d046eap+3l, 0x1.32b729fb3bd8f7ecp+3l, 0x1.7c6494e868a9a44p+0l
+0x1.6c288157618ebb7p+2l, 0x1.06774c4a5831e58p-3l, -0x1.99e0a461b816f82p-1l
+0x1.80111dc96491c62p+2l, 0x1.f038fe024a54d5d8p+1l, -0x1.1c3d2199bf5ca5cep+2l
+0x1.0262e6d51a3dd9cp+3l, 0x1.cb619fe5f6f544p-1l, 0x1.25f30e8d5e4d264p+1l
+0x1.a6122e530610a79p+1l, 0x1.1d173a31293031bcp+3l, -0x1.1dcdd42c9aa969dcp+2l
+-0x1.6cf61a98b7b09dbap+2l, 0x1.f853a1713e14ba9p+2l, -0x1.9f0bc83a711272b8p+1l
+-0x1.a6ece96f0663e2cap+2l, 0x1.191a83552d4e63a8p+3l, 0x1.c7f9c75e031fb8a8p+2l
+0x1.504b54773178cc1p+1l, 0x1.04afb650e07b6ef8p+1l, 0x1.78246516f7f1096cp+2l
+0x1.5e88af32478e74dp+1l, -0x1.a0f3f82d810fd568p+1l, -0x1.06acf46b6043af54p+3l
+-0x1.1e7b53fc999d814p+3l, -0x1.d426a8fe1ebf4e6p+0l, -0x1.41dc5c2868f3f44p+1l
+-0x1.f4a5eacdd24184f4p+2l, -0x1.b6efd92dafcc6bep+2l, -0x1.88943d1fedf633fep+2l
+0x1.e14577c922f5f6bp+2l, 0x1.12166bb5c7a24984p+2l, 0x1.2b7a60d3c8af5c24p+2l
+-0x1.ae34c32b3a0b4976p+2l, 0x1.6604d72b5506c4ap+2l, 0x1.8fbf75f5e7c7d75p+1l
+-0x1.2f4ed5e2c1ed4706p+3l, -0x1.ac7f545c7a35200cp+1l, 0x1.28913d7efd46b1f8p+3l
+0x1.136b403ea7baff2p+1l, -0x1.2b382abb96cf0c2p+2l, 0x1.a678a119440e6d18p+1l
+-0x1.3637b238e9faf04p+3l, -0x1.1c509a1a5ce253e8p+1l, 0x1.b6a8134ee4c8895p+1l
+-0x1.3f34b1bf68c17e34p+3l, -0x1.afde151632865b8cp+2l, -0x1.26366b3c2ba226bcp+2l
+-0x1.3560ddac371bc44p+1l, 0x1.e048aa70628d127p+2l, 0x1.03e02603a87ce028p+2l
+-0x1.19e76cb0146d38f4p+1l, 0x1.e68ebde73331339p+2l, 0x1.605a21e80f95ccc8p+2l
+0x1.020853202f3defd4p+2l, 0x1.0740ee7919942c1p+2l, -0x1.3c293893608af5bp+3l
+0x1.cfa88870a0ae56b8p+2l, 0x1.5b1b4d96c5ae385p+1l, 0x1.5dfdc2f850d04p+0l
+0x1.4f4ef310ab69d0fp+2l, 0x1.9baad6e3c4be71e8p+2l, 0x1.c9e93b0442adaedp+2l
+-0x1.13c28a3a73a29accp+3l, 0x1.9e51ac69b62c986p+2l, -0x1.8f019c22804d3368p+2l
+-0x1.e35d3471c009153ep+2l, -0x1.6847d2a2d27d8e3p+1l, 0x1.7d25b06a1cafb03p+2l
+-0x1.64a48cd35892df1cp+2l, 0x1.7feb63dde6d1d89p+1l, -0x1.7ece16625480965p+1l
+0x1.030d7c7a48405c88p+3l, -0x1.9350a75d51319558p+1l, 0x1.30f955f8298b2248p+3l
+-0x1.bfc71dd5f91ddae8p+2l, -0x1.a502b089a1688bap+1l, 0x1.b7cd62bd0c724bc8p+1l
+0x1.0dbae2a12a2d6ed4p+3l, -0x1.0b8f15656aae0e94p+2l, -0x1.1856f8bba05430bep+3l
+0x1.3856cbe9176ac4ep+1l, -0x1.82137bf296b1669p+1l, -0x1.b096b947905bdep-4l
+0x1.88d68cd8c44934dp+1l, -0x1.b30446532c4526f2p+2l, -0x1.447f540b5549a56p+2l
+-0x1.1893fed8860d748p+3l, -0x1.d653cf8307af3aa8p+2l, 0x1.289286d30c57022cp+3l
+0x1.ff9c5cb6ea1833p-3l, 0x1.265c36a7cfc24868p+3l, 0x1.49d84d327946c9ep+2l
+0x1.a65ddaaca6c4a1ap+1l, -0x1.3d21fe26a932d1p-2l, 0x1.379620fa9e4468f4p+3l
+-0x1.5b1ba96f7965094p-1l, -0x1.a7c46b6027d61e1ep+2l, 0x1.dba9a98b7158d35p+0l
+-0x1.0f6abfd6a9d072p+3l, 0x1.ebdaca70154f1b9p+1l, 0x1.83d1d6be7d633ba8p+2l
+0x1.cf8b741abcaf1ef8p+2l, 0x1.6c5cf2fb9923bdb4p+2l, -0x1.3cfd016358160e32p+3l
+0x1.7549ed343d0d93bcp+2l, -0x1.228b4dfdd5abb4dp+3l, -0x1.0e78b9aaace8a68p-1l
+-0x1.279cf35b17e05a5p+1l, 0x1.71a74264a94246ap+2l, -0x1.95da47835582ecdp+0l
+0x1.4524b5066f8535b8p+2l, 0x1.1f6b32c5900454e4p+3l, 0x1.3afc5317b772303p+2l
+-0x1.c55782d70ebf9994p+2l, -0x1.9cff78e0a9f66214p+2l, -0x1.02dfdcebccd7c2c4p+2l
+0x1.6dd80cb9425cad3cp+2l, -0x1.3e345599548348e8p+1l, -0x1.fa1b7711383eb4a4p+2l
+-0x1.7ee730a3a42b9c3p+2l, 0x1.627f10ee5c5910cp+2l, 0x1.1284710c9978875cp+3l
+0x1.a944a4718b93a368p+2l, 0x1.d829121fe5138208p+2l, -0x1.0c0faf9488fc4dcap+3l
+0x1.3abc90a4d125e198p+3l, -0x1.cc95e77af300c3c4p+2l, -0x1.f863b55732fe56ep+1l
+-0x1.55e372f043b24c16p+2l, 0x1.3c3d42a657081968p+1l, -0x1.732df3b132135e78p+2l
+-0x1.7958c1e0a28e2142p+2l, 0x1.b3e0bbd96fe424a8p+2l, 0x1.649245be57871c3p+2l
+-0x1.33a6fa33a9032104p+3l, -0x1.47192a36bbbdd5f8p+1l, -0x1.efe74a2a674b1f22p+2l
+-0x1.c9fb9d10583c3478p+2l, -0x1.4cdcefdffe72c6p+2l, 0x1.1848644244ff8178p+2l
+0x1.1b45054047b94f18p+3l, 0x1.37f4d19f4e936f68p+2l, 0x1.22b25299e2cf59ep+0l
+0x1.fc875e3d059712ap-1l, -0x1.5de825c0648c5c04p+2l, -0x1.344419434a350ce4p+1l
+0x1.9c90c33d7ed135a8p+2l, 0x1.a292fde3812b6068p+2l, 0x1.36dd2ced9bae0bep+3l
+-0x1.4e9da4de3fe576dp+2l, 0x1.385fd5ee5da02694p+3l, -0x1.1eeb4fb2f1b4377cp+3l
+0x1.ee62e70ac439a06p-1l, 0x1.c7240c0a121494bp+1l, -0x1.c0c1e275935728ap+0l
+0x1.5f8bf519feb06308p+2l, -0x1.4271352126ba1b8p-1l, -0x1.47773ae82b3c473p+1l
+-0x1.aff64a03b3bba688p+1l, 0x1.f7e85da1e3528d58p+2l, -0x1.c1616d0fd1f3b6e2p+2l
+0x1.3bcfa16abb0e7274p+2l, -0x1.ff3a97db2f801f5p+2l, -0x1.2289ff7a6281c5dp+3l
+0x1.a3b3e57e700ad8e8p+2l, 0x1.29a7d90ab3972864p+2l, 0x1.0958c9895f9dc574p+2l
+-0x1.fa50a9616e94cb5p+1l, -0x1.ceddc285a86c8d2cp+2l, -0x1.b73c53cc1bfd29cp-1l
+0x1.08ab750a4d92e8f4p+3l, -0x1.b7ac4abe8fb5921ep+2l, -0x1.7a461f9d023dcd9cp+1l
+-0x1.38ea7e249f15b044p+3l, 0x1.b9fa3dc21d92d78p-2l, 0x1.830529193ccf1b88p+2l
+0x1.1dfac9432280d8dp+1l, -0x1.3410e357f447cab6p+3l, -0x1.5d6bf138df168018p+1l
+0x1.2098f7e7b030d168p+2l, -0x1.cd380135690fe9ep+1l, 0x1.49e76c7224103774p+2l
+-0x1.fa883b58f41ea68p-2l, 0x1.6282cf7f1cbd82e8p+1l, 0x1.4143f2df2aa68cp+1l
+-0x1.8b7e91512a69fbc8p+2l, 0x1.300389bc57c67e84p+3l, 0x1.4b6839e7c30103ccp+2l
+0x1.38ccf2b6f9d4db58p+1l, 0x1.c350168525fad498p+1l, -0x1.f57832587c67918p-1l
+-0x1.1d4cc5ec84c6e8cep+3l, 0x1.ac8a654c5351377p+1l, 0x1.77a35665704a8ebp+1l
+-0x1.097b8765420d3f14p+3l, -0x1.1e29a6666a9967dap+2l, -0x1.e1c6e22ebb0f20d2p+2l
+0x1.00ebc426cac0bcc4p+3l, 0x1.e9bfc802c60ff148p+2l, -0x1.65ccd9a2355906p+1l
+0x1.b3503ac2f9f72c7p+1l, -0x1.0877649b88f61588p+3l, 0x1.60abd74f384862p-2l
+0x1.2fce853de9db782cp+2l, 0x1.7d3f0dd43e622aep+1l, -0x1.a39549786add10bp+2l
+-0x1.049032ba1022ec2cp+1l, 0x1.867604b4aaab41ep+2l, 0x1.3e84f08750fce9acp+3l
+0x1.e701c04cdb5e64p-6l, 0x1.76cf4d1545bc75dp+1l, -0x1.2125573e11459382p+3l
+-0x1.42bc9e6f138936cp+0l, -0x1.7abc1664a22048dp+1l, 0x1.2f7d150dc7866b74p+3l
+0x1.f3b2044f68f84418p+2l, -0x1.ec1f68bc22e0ab0cp+2l, 0x1.830ce2a6d0f401p-1l
+0x1.99c2cf1befa8296p+0l, 0x1.b3302c2b03f3ec78p+2l, -0x1.88154c622166f398p+1l
+-0x1.3c2355127d1a11c4p+3l, 0x1.38f9c972b1c3943p+2l, -0x1.db5df6c8205cb45cp+2l
+0x1.e5f66eddf41d2fa8p+2l, -0x1.85978b0c2d8b092p+0l, -0x1.04d4911e53a07e68p+2l
+0x1.f186792735bbcd9p+2l, -0x1.603614238ff43a6p+1l, 0x1.10deb3a2225966b8p+2l
+-0x1.7ca56439158d0148p+1l, 0x1.9e7e6a935695aaf8p+2l, -0x1.39f4d7ad6487208p+1l
+-0x1.450eb134ffbdd4c4p+1l, 0x1.40f4ba50b8f527ep+1l, 0x1.1888b08312ec538p+1l
+-0x1.510236b7e7c3cf34p+2l, -0x1.6d4f35d669f64bd8p+1l, -0x1.33ed353d1a2a5c9cp+2l
+-0x1.f060a522b04b7a8p-1l, 0x1.885a0379f7bc951p+2l, -0x1.0979f955f5282ef8p+2l
+0x1.11bee2b1e5132f3p+0l, 0x1.c97b875bdad07dp-1l, -0x1.0e26bc584a18f43p+3l
+0x1.062e8457f36acc58p+3l, 0x1.1b978ce7f50cfefcp+3l, 0x1.bd8ef3446fbae0a8p+1l
+0x1.7b598330e2f9f8cp+0l, -0x1.e041a1807ff78c1p+2l, -0x1.0b75b78f7b51b17cp+3l
+-0x1.bc947810b2c68aap-1l, 0x1.1c542e455c56c36cp+3l, 0x1.0de58dc9a686eac4p+2l
+-0x1.492987f6905098cp+0l, -0x1.9605a92412b26dc2p+2l, 0x1.1fbda1d60418b2acp+3l
+0x1.331643dc976b4d3p+1l, 0x1.1c82ba6100f88e6p+0l, 0x1.32a6dfb93d4e14b8p+1l
+0x1.d5891375156d875p+2l, -0x1.61d1a26145089be8p+1l, -0x1.0d783b5b58b0edb4p+2l
+-0x1.838b61517b2ae8cp-1l, 0x1.3651366a104ff524p+3l, -0x1.af3872ca246bacfp+1l
+0x1.d5e60c9656f0178p+2l, -0x1.a9f308c8755f802cp+1l, -0x1.658195b83ebd0fbp+2l
+-0x1.6f91f5e01cb91b8p+2l, -0x1.376e13ac58e61234p+1l, -0x1.348100b96950e21ep+3l
+-0x1.3076e085f8f61696p+2l, -0x1.5b3619a91921ca5p+1l, -0x1.9273c240282337bp+0l
+0x1.b58bf41a410b10a8p+2l, 0x1.a88fcab342c83p-7l, 0x1.f2de46ea215a608p-1l
+-0x1.37041571938908aep+3l, 0x1.21b881f394028f18p+3l, 0x1.33e72837ae311d1cp+3l
+-0x1.e8c2bbb79ad14cc2p+2l, -0x1.e17955c58a747fc4p+2l, -0x1.ba0819ae55b8a748p+1l
+-0x1.ddfd15b097a043p+0l, -0x1.e213f586ce22a55p+2l, -0x1.8a21538c1b9d3fcp+0l
+0x1.2f19b6eafa18ep-4l, -0x1.6ac8dc2038508p-5l, 0x1.12901fe614d807c4p+3l
+-0x1.75ea35f1d1c771cp+0l, 0x1.05f65028b93b1f9p+3l, 0x1.edbc863a90234018p+1l
+0x1.071560c0e30a6734p+3l, 0x1.d9614419493a286p+2l, 0x1.6afa4814c605ddf8p+2l
+-0x1.8c5eb360e6b9279cp+2l, -0x1.dc439b9fe61da238p+2l, -0x1.5dd5e27d896e8d2cp+1l
+-0x1.c207e01528e20a2p-1l, -0x1.26d91bc9293daa9ap+3l, -0x1.9d915218cc2cece8p+2l
+0x1.cd0a2ce862228e8p+1l, -0x1.2dda2b350ef610ccp+1l, -0x1.1724177d3dde8b82p+2l
+0x1.7bbeb1330f8189a8p+2l, -0x1.516a6172496e161p+0l, 0x1.46e17c593aa805fp+2l
+0x1.9c1dc51486729e48p+2l, -0x1.aabc2a1afb3aa62cp+2l, -0x1.92329351678482dcp+2l
+-0x1.66a833686c63e4p-1l, -0x1.4e27f8017e6a0bb4p+2l, 0x1.a400cae881d323p-1l
+-0x1.319f08b6ba2a1716p+3l, -0x1.302079e58344d68cp+2l, -0x1.33b15200b38d161p+0l
+0x1.db670a96418fc3bp+1l, -0x1.965d69b0e4978b94p+2l, -0x1.50c052a615fcafcep+2l
+-0x1.1a530380dc546694p+3l, 0x1.33d819ed3f4cd85p+2l, -0x1.35ed78c070d67faep+3l
+-0x1.3dd0d4d5ae060728p+1l, 0x1.cef4be02a8b19bep+2l, 0x1.45d02c0c6fad3e78p+2l
+-0x1.23e705965fc95d7p+3l, -0x1.3da9a967eb8ab15ap+3l, 0x1.0453d95a6c0beebp+1l
+-0x1.beaf18e62599b27p+2l, 0x1.c6aa1039f6b302f8p+1l, -0x1.25f840ed64035dbcp+3l
+-0x1.40736de71e2a84cp+2l, 0x1.6bbde68a45cd14fp+1l, -0x1.097f43db7f40e5cp+3l
+-0x1.3bbef9d1d63e8f8ap+3l, -0x1.a869b73b6ec6dfap+1l, -0x1.9fc8956744bf218p-1l
+-0x1.7056ffbe15b1016p+2l, -0x1.61eea1602b131528p+2l, -0x1.22e12152caca95c4p+2l
+0x1.607c13e30d69a13p+1l, -0x1.92ebc5e7d522afa8p+1l, -0x1.1324ccec0699ebf4p+3l
+0x1.c20b703c71d56758p+1l, -0x1.efa08db95a9e327p+0l, 0x1.8cc9711f9d417acp+1l
+-0x1.0f5d18259704a1dcp+3l, 0x1.844bde7e6914fee8p+2l, -0x1.370188fffd2e4ccp+3l
+-0x1.faa093eb2a68f19p+2l, -0x1.2169d89345a139ecp+3l, 0x1.17d009604d5f678p+2l
+-0x1.0b9f5bc78a49c058p+3l, -0x1.1bc403c0b6edccb4p+3l, -0x1.7f54a61cc40d8a8p-1l
+0x1.c526e26dc0536cdp+2l, -0x1.34f15501bccc394p+3l, -0x1.3664e955506b1176p+2l
+-0x1.9d1674de966c32ep-1l, -0x1.ca0d49718998c388p+1l, 0x1.15413cd22586e54p+0l
+0x1.3f5cf170e22b538p+2l, 0x1.21c20a24ec730688p+1l, -0x1.1590801301d8905p+0l
+-0x1.16b477f13ad84e8p+0l, -0x1.db5f0572e5509152p+2l, 0x1.378abd53c83f97ap+0l
+-0x1.5c43d105c0e6f112p+2l, 0x1.7b52d9bfe209c22p+0l, -0x1.e86190f67e36d66ap+2l
+0x1.3dfaf0f09a23d9bcp+2l, -0x1.0cace3273e689ff6p+3l, 0x1.81484699b8caf838p+2l
+-0x1.37d394b496b0b64p+1l, 0x1.16740e30da645cdcp+3l, 0x1.6b51905a713ad2bp+0l
+-0x1.3aba52a4fc616beep+3l, -0x1.a8ebb7aa1ec71cfp+0l, 0x1.0976c34ab401e818p+2l
+0x1.0bfb3b16aad73ad4p+3l, 0x1.e56e1d43ff7b29f8p+2l, 0x1.14cfc2143f29d61p+2l
+-0x1.4f035dd25ddab80ep+2l, -0x1.a6d473be729374a4p+1l, -0x1.b1ec93f0fa55fc48p+1l
+-0x1.e31f6b1e1f11b294p+2l, -0x1.f8743d42ce9677d4p+2l, 0x1.bcf74c8ce43d1448p+2l
+-0x1.a8371a8c8af4dedcp+2l, -0x1.ff035121e8752a2p+2l, 0x1.35aa8c03f23599bp+3l
+0x1.fb3debb5de93cc18p+2l, -0x1.f4e03148ec45c52cp+2l, -0x1.eed677d6b5569c98p+2l
+-0x1.20cc7ef36eea8c14p+3l, -0x1.1b905589805b507p+1l, -0x1.617c6f480cf9948p-1l
+-0x1.11cbc85b959ae7eap+2l, 0x1.f47ca6d0dc1b5efp+2l, -0x1.f57f6ed3e1ac5ap-1l
+-0x1.95a02a52afc08208p+2l, -0x1.347a9f6cca5d53aap+2l, 0x1.156afaeeee3ca4ap+1l
+-0x1.433eb250d005b258p+1l, -0x1.14a167569dfc11e6p+3l, 0x1.0e0aac91164f78b8p+1l
+-0x1.23de02f9f1e56c7cp+2l, 0x1.7237fa3682d72c8p+2l, 0x1.cfe29e6b846f1938p+1l
+0x1.26c5d6559b2a655cp+2l, 0x1.291a716efc322e2p+1l, 0x1.3b98afb59817e32p+3l
+0x1.04b5411cba1f757cp+3l, 0x1.47e1af677202cf78p+2l, -0x1.698af172dd593508p+2l
+0x1.07472d64014f526cp+3l, 0x1.3a4dbfa00f576f9p+0l, 0x1.a914c47883ac0468p+2l
+-0x1.81b4a436351a5808p+1l, -0x1.a666e4f6050e9bcp-2l, 0x1.7b662fdaa8bae8p-2l
+0x1.487885e4210f4b8p-2l, 0x1.e6d3d17b94104398p+2l, 0x1.51a96abe49dada2cp+2l
+-0x1.ed42db025b1d78ap-1l, 0x1.5ca01536c89b92e8p+2l, -0x1.e66bedb59bda6968p+1l
+-0x1.02f495f858abbdbcp+2l, -0x1.2738498cd4b76c3p+1l, -0x1.fb28835fb7d1b202p+2l
+-0x1.265fb33b698e38dcp+2l, -0x1.46d2932c84ae1f06p+2l, -0x1.143c517f429af306p+3l
+0x1.c611cd8d345b78ap+1l, 0x1.a10f3907492eaa98p+1l, 0x1.71809df2a38c36cp+1l
+0x1.c98862e9ea5ef12p+0l, 0x1.8d377b14b9e8d948p+2l, 0x1.09d9fd797d61cbbcp+3l
+-0x1.f7b1f5f87742f418p+2l, -0x1.56a9fd861c82e828p+1l, -0x1.8f3bb8aab12f4318p+1l
+0x1.9d5544421dd728ep+2l, -0x1.cdc8772e18231c4p+1l, -0x1.e63eab553ff933ep+2l
+0x1.2e81b0cb916f0dfcp+3l, -0x1.ccb7786a97b902p-5l, -0x1.c1c0bf5c6f78c888p+2l
+-0x1.0c450f5faeffa04p+3l, 0x1.12c36160d98df05cp+3l, 0x1.aab3816af009479p+2l
+-0x1.9df314d66e4d0e6cp+2l, -0x1.f877070518a7d3b8p+2l, -0x1.fe700e2d4b913b4p-1l
+0x1.21fb247dd79c07b4p+3l, 0x1.805be0d3dbd8e788p+2l, 0x1.26e60a6fe1a3436p+0l
+0x1.4ce3fbce04a1faccp+2l, 0x1.f17dbf23077937e8p+1l, 0x1.9c748e82fc88e8ep+2l
+0x1.23b1cf02e01b57b8p+2l, -0x1.566f81741a2f77b4p+1l, -0x1.166ed659d3c9eed8p+3l
+0x1.89f9da13b8839cf8p+2l, 0x1.d32d4cc5c546e688p+2l, -0x1.34d74f9b545d954cp+3l
+-0x1.027545ca852e24eap+2l, -0x1.2c8d28b77507f2ap+2l, 0x1.a2440b35474e1c7p+1l
+-0x1.9c3b3c36a49b2dp-1l, -0x1.2e09e925a2f6f00ep+3l, -0x1.52415bd963e110ep-1l
+-0x1.24a4e86e3a21293ep+3l, 0x1.9ccb32e5a89ce1p-2l, 0x1.6bc9f5064425fa3p+2l
+0x1.30e2e9537a2a597p+0l, -0x1.10bd5462e2ad86d4p+3l, 0x1.c1d5658bb3a35afp+0l
+0x1.c38ccd9baa15d51p+2l, -0x1.3f422d2203afbb84p+3l, -0x1.1a55dc4345e1968cp+3l
+-0x1.9487fa2fe8979a2p-1l, -0x1.f752be51e0e5cdcp-1l, -0x1.053e7601f167f73cp+3l
+0x1.b6a95bcef92f2bfp+1l, -0x1.eac8bfe5ca652c4p-1l, -0x1.4b58cd3c959e4b7cp+2l
+0x1.33f21cddce50032p+2l, -0x1.170dbdc959bc4ebep+3l, -0x1.b859398a034fab54p+2l
+0x1.58fe60f4419f9734p+2l, 0x1.55fb098547bfb208p+2l, -0x1.3a95606478d0785cp+3l
+0x1.ba8cacf386445c98p+2l, -0x1.b5152a65e709702p+1l, -0x1.ac059b2e126a6f7ep+2l
+0x1.12066a1ceb029bb8p+3l, -0x1.7e1a4755afc35ap-3l, 0x1.f9b718b86cf0192p+2l
+0x1.01bc40a0edd915fcp+3l, 0x1.b8ac6b3c98447edp+2l, -0x1.17be573043ee6464p+2l
+-0x1.cb3c16c43730847cp+2l, 0x1.6aef0b83a2324dc8p+2l, 0x1.b5df69b589115ca8p+2l
+0x1.1db60fa43d05e1f8p+3l, -0x1.1bd67c857df42c3cp+3l, -0x1.03e40cac9987a024p+2l
+-0x1.244f6a7b69c9ebfp+0l, 0x1.72e9556e7b312f8p-1l, 0x1.6ee41387e0b7121p+2l
+0x1.5f6272a9c1dc77dp+2l, -0x1.c07c67f8d20acdcap+2l, -0x1.9a631dd02a0aa4e8p+2l
+-0x1.dd16a5ec1b50d1f4p+1l, 0x1.0c23c177494dbcdp+2l, 0x1.d8d4c3187598f89p+2l
+0x1.2f3b2ccd2a13f86p+2l, 0x1.14189751793f2fp+0l, -0x1.1c8a5ab06fe7f96ap+3l
+0x1.3834c68805afdaf8p+2l, -0x1.6359447e906b902p-1l, -0x1.28feff4e4f6117ap+0l
+0x1.841d2cce22cb2e4p-2l, -0x1.1951a261f2899ecap+3l, 0x1.18f0b03aafd27414p+2l
+-0x1.34994a9a24f0e334p+2l, -0x1.7a121f270df7696p+1l, 0x1.e5b2db4b34c2b34p+0l
+-0x1.1f91f89783f0c92p+1l, 0x1.e61a6fd7ff60ccp-4l, 0x1.339be6ee597e1dap+2l
+-0x1.756ac5925c396bfcp+1l, -0x1.2f5e4d95137da338p+2l, -0x1.42e12f9a0eb648p-5l
+0x1.37661bca1f227448p+1l, -0x1.0164b98d5d132fbep+3l, -0x1.34da319af6f52fp-1l
+-0x1.37bad9a1ddeee254p+2l, 0x1.67f822544697ebb4p+2l, 0x1.2289f466186396fp+2l
+0x1.c7d3e283fb455368p+1l, -0x1.310778d21fed06c8p+2l, 0x1.23cefe365f8b512p-1l
+0x1.dc17333c187bcffp+2l, 0x1.8b55188697aff698p+1l, -0x1.5ddcf21305c804p-5l
+-0x1.8fe93ad11a9509c4p+2l, -0x1.89c009d8a50c422p+0l, 0x1.9861016762c9bcfp+2l
+0x1.0d406cbbdf06048p-1l, -0x1.bf2bd4e1a72242bp+2l, -0x1.38d5a424538388dcp+2l
+0x1.0f415735af40a5b8p+2l, 0x1.dd386392209bed08p+1l, -0x1.3e040375062b01eep+3l
+-0x1.b227c2ba20f00d3ep+2l, -0x1.663f8e06565ba798p+1l, 0x1.70547114061066p+2l
+-0x1.60d499e09ae8e3bap+2l, 0x1.d1f30a0c0f2aa48p+0l, 0x1.2410bb5e54e1f08p-1l
+-0x1.977c2c35512d2594p+2l, -0x1.b98f860e22b87058p+1l, -0x1.0d45777cc38ee0b8p+3l
+0x1.044de18aba3772e4p+3l, -0x1.63a2c33b26d2e192p+2l, 0x1.9c526e530a897p-4l
+0x1.0820f4f238133fdp+1l, 0x1.3f6aab072c6f31ap+1l, 0x1.3a8cfb047d936418p+2l
+0x1.3fccd737a5bd4d18p+3l, -0x1.a103ecad548ae2a4p+2l, 0x1.b8601d6176c3dfc8p+1l
+-0x1.0de1649f9a8245f8p+3l, 0x1.c5578062ab89024p+2l, 0x1.693fbcc6423f35e4p+2l
+-0x1.d7b9b7865ab4fac4p+2l, -0x1.73fdeb110820309cp+2l, 0x1.65785367be7392d8p+1l
+-0x1.57239e73763dcp+1l, -0x1.a7d66442ab713ap-4l, -0x1.299a1f922507d35cp+2l
+-0x1.4ef22f1757cf0b18p+2l, 0x1.cb7984a775780768p+1l, -0x1.4047c14cb3dfaf58p+2l
+-0x1.d0e75f573c78dffap+2l, 0x1.c066f8f3f6070dp-1l, -0x1.6dc49b8059efab4cp+2l
+0x1.7caecdb3ec426dcp+1l, -0x1.9dce252621ffb53ep+2l, 0x1.8632640b1840586p+2l
+-0x1.e1cd48ca0f74a198p+2l, -0x1.1fb67156a09227fcp+2l, -0x1.31e246c41e11946p+0l
+0x1.4ae1941a93e581ep+2l, -0x1.dafe2b3fcdaca9p+2l, -0x1.70141783dbeba9fp+0l
+-0x1.6e760cd960c5cfp-3l, -0x1.01c5a22c88689ddp+2l, -0x1.bee7bda075048344p+2l
+0x1.072e96f764cae97p+1l, 0x1.1c2fa825e47a2428p+3l, 0x1.0cc2d9ed26dcda8p-2l
+0x1.1e3ad67f71c0bc78p+3l, 0x1.483b3dcd0f7f0f6p+0l, 0x1.f5de9b471d0dc028p+2l
+0x1.fa8b23e6d4243abp+2l, 0x1.0a06827c2ffab228p+3l, 0x1.30fca2527da9d69p+2l
+-0x1.5e1995dff50275d6p+2l, -0x1.b1b1ceaf565cd6cp+1l, 0x1.5337b6aea8a22b98p+2l
+0x1.291f01ed2358c8p+0l, 0x1.f365397287640e5p+1l, -0x1.fea455c901eec92p-1l
+0x1.46b0046e6630afe8p+1l, 0x1.f89b882f019873p-1l, 0x1.09c0c054dd5d1e84p+3l
+0x1.a0bc92eca9e4fdap+2l, 0x1.37619e1c417cb214p+2l, -0x1.f3ab7ae96e72e85p+0l
+0x1.2f59c269407216cp+3l, 0x1.71dbee85255ff218p+1l, 0x1.3e5e2ad0a4fc3c44p+3l
+-0x1.713136865532b00cp+2l, -0x1.11186fdf3c66f8cp+1l, -0x1.52a0510b13374f7ap+2l
+-0x1.2d75bd7097938eep-1l, -0x1.2491780f5729d2ep+3l, -0x1.1571d8efe2a0828p+0l
+-0x1.7135185d91e4227p+1l, -0x1.28484a5c2dd9403cp+2l, -0x1.d2c0912cfe479fcp+0l
+0x1.47075b54f6f47418p+2l, 0x1.3034fde5aeb89258p+3l, -0x1.cafc07cf11c5516p+1l
+0x1.55a30d8b6e5092ccp+2l, 0x1.54489c737a92d3p-2l, 0x1.d1cabe29a1360728p+1l
+0x1.002bf56a26a5a548p+3l, 0x1.3244ff9c7aae9f1p+2l, 0x1.fbad75651c79a4fp+1l
+0x1.bec3947cf9a37128p+2l, -0x1.88b0d8c1006f9a8p+1l, 0x1.65141dad21c6096p+0l
+-0x1.17633edd76fc1a64p+3l, 0x1.13541334b77efep-4l, -0x1.b4ecfd5468f7597p+0l
+0x1.9aacb25094243b78p+2l, -0x1.f43840d94b423cap-1l, 0x1.3f1821765c164efp+1l
+0x1.9304cc978bf7a8p-3l, 0x1.02dda3e4e9c62p-1l, 0x1.86eb568e94488ddp+2l
+-0x1.2cbd2836960c6bbcp+2l, 0x1.1812b2c4ca4c3bc8p+2l, 0x1.c6cdf38773129538p+1l
+0x1.ff2d4e9dd8f6d0ap+2l, -0x1.14c9fb4405bb8c98p+2l, 0x1.d6b46e38167b4c4p+2l
+-0x1.b33ea35daa7bdacep+2l, -0x1.1b23fdac3b1201e8p+3l, -0x1.90f03816acb97acp-2l
+-0x1.e7a84ceeb6db405p+0l, 0x1.442e7ee8cfda33f8p+2l, -0x1.324ab72a39373708p+2l
+-0x1.4f80bb799bd5d084p+2l, -0x1.2d817c3336091f4p+0l, 0x1.7d053542126d3788p+1l
+-0x1.4b737860e7e8cba8p+2l, -0x1.36d23c2c335fa61p+1l, -0x1.f7e762b99cf7d1f8p+1l
+-0x1.8b72543e6986ecb4p+1l, -0x1.e014ff34f8c5df98p+1l, 0x1.e8dc10cb65d1884p+2l
+0x1.0c62243f4d30900cp+2l, -0x1.0544a65f6bb60acep+3l, 0x1.eac3813a7d7bc8p-2l
+-0x1.2db4ce25c24924p+3l, -0x1.2b23a60d7aa51b78p+1l, 0x1.e7631d2de7eb9a08p+2l
+0x1.2d294e8aad1ca588p+1l, 0x1.0b4f0079b8d6e68p-3l, -0x1.316710f18954816ep+3l
+0x1.8efcd0cb6c6a24ep+0l, -0x1.69822dffdb6d0c54p+1l, 0x1.45bae11515b9a3a4p+2l
+-0x1.2e324aaac9be8a3ep+3l, -0x1.7a6a2c0415d3782p+0l, -0x1.2bedec59e31aa04cp+1l
+-0x1.bb83976ef71ccfcp+0l, 0x1.0f0eb0bb2607faf4p+3l, 0x1.b9c6b8020f1ec92p+2l
+0x1.d8541708e62c22bp+2l, -0x1.e361b6e418792b5p+1l, 0x1.1486a376933b47bcp+2l
+-0x1.38604207889959dp+3l, 0x1.10d4f5cad900af78p+1l, -0x1.af2c5336b3a24d9p+2l
+0x1.cd3da016799d43c8p+2l, 0x1.08d6b0fb181992ep+3l, 0x1.049a36ae490d027cp+3l
+0x1.7bce74e8194585dcp+2l, -0x1.106d184ea3f6d6a8p+3l, -0x1.18c22f57a6e52558p+3l
+0x1.0943f8720671a14p+1l, -0x1.82e95c86009df2e2p+2l, -0x1.b02c7c11c505a6c8p+2l
+0x1.a5286fa682b9e6cp+2l, -0x1.171f54ecfc8d65bp+3l, -0x1.a3a66b1967f19adcp+2l
+-0x1.6ae4404fe229824p-1l, 0x1.4fc6a85009952adcp+2l, -0x1.8ee4f3be396c386ep+2l
+0x1.069a7cb92bcd6488p+3l, -0x1.390c227cee28acd4p+1l, 0x1.fd910f96c8c80d48p+2l
+0x1.d45cd16aab9f95dp+2l, 0x1.35eaf74146a79ac8p+3l, -0x1.791b745976b6686p+0l
+-0x1.b45171162dce449p+0l, -0x1.fa050a345e27d90cp+2l, 0x1.43e5020231ef23ep+1l
+0x1.7d1b01377500fcfcp+2l, 0x1.4505134f9dee20ep+1l, 0x1.3fa64e68716518b4p+2l
+0x1.f5013475c04bbf9p+2l, 0x1.8e7fe6a23a1c0bp+2l, 0x1.49d110b117c3af88p+1l
+-0x1.2f485d4bd0bb599p+3l, 0x1.1d596bc97fc2b298p+3l, -0x1.84669b87007473fp+0l
+0x1.2a6a7e2ea9a1aep+3l, -0x1.ce33addf9cf3af5cp+2l, -0x1.26964b8156f38e06p+3l
+0x1.c6e46bc0032feeep+2l, 0x1.17bcd67d96bb89fp+3l, 0x1.9c20966803273cc8p+2l
+0x1.5a9698b917a8635p+2l, 0x1.1e89ed72a53669fcp+3l, -0x1.dc5dc414beb09ffp+1l
+0x1.fd3053ff31e9944p-1l, -0x1.38b343fd261c8a96p+2l, 0x1.85012de20afbf348p+2l
+0x1.1b9eda5228d91cf8p+3l, -0x1.362c345410cd26c4p+2l, 0x1.3121f841f077ca58p+1l
+0x1.2ebbc5cd17299c8p+3l, 0x1.36ef3ba0bcb730a8p+3l, 0x1.e669f4727bfedefp+2l
+-0x1.8ffa8e3474bc3fbep+2l, -0x1.115e38a110901ep+0l, -0x1.975b6bcc81444d38p+2l
+-0x1.8ef1caf397bc8e14p+1l, -0x1.4ebe991f206c67e8p+1l, 0x1.db39adf53aec639p+2l
+0x1.0892e6f02b955b74p+2l, -0x1.c16d8fb222d1cfd8p+2l, 0x1.f242d983dc09b8f8p+2l
+0x1.b205e3486fc3294p+2l, -0x1.b5d74eb191d7c31p+1l, 0x1.10c29592fef9cd3cp+3l
+-0x1.3cde33b7ed8b1092p+3l, -0x1.8a6cde2c04fc132p+2l, -0x1.cf3d3c7f64c49bap+0l
+0x1.d6784e091f2e0bp+2l, -0x1.488c02b989b55b9p+1l, -0x1.89c478f7a70cp-10l
+0x1.33f5d0a75dea0808p+1l, 0x1.e7bd5ac6a0a3e9ep+0l, 0x1.64bc9b648478249p+0l
+0x1.29c2fd7cc3d5055cp+3l, 0x1.07ee95b4e71a18c4p+3l, -0x1.d8f1a25fecd32c9p+2l
+-0x1.6a8b47db447d7f2p+1l, -0x1.ff30103c6f056768p+1l, 0x1.6ab1b53a3ccb0038p+2l
+-0x1.1b7601eed946dbcap+3l, 0x1.3c1ab6a80f9e8968p+3l, 0x1.cd178d46b1b384fp+1l
+0x1.7f6292ccfe8b4168p+2l, -0x1.ab5f095280027ec4p+2l, 0x1.3a8f575c33bbca8cp+3l
+0x1.e7077d984794632p+1l, -0x1.44e4fc1cf8e5aac4p+1l, 0x1.8152a2a97de0dap-2l
+0x1.df42a86c397807dp+1l, 0x1.87e175f8ef1edf8p+2l, 0x1.9a1d058ac1322a58p+1l
+0x1.89866d66f2f2838p+2l, 0x1.01791a810d5fc568p+2l, 0x1.db3ca1f6b061d75p+2l
+-0x1.5c544c77abbbfc88p+1l, -0x1.48e23c9e760a528ap+2l, -0x1.1e81e998bdc582ep+2l
+0x1.23875bd15a01904p-1l, 0x1.4ff5ac290199d5b4p+2l, -0x1.4732b2e6f9bfdf2ap+2l
+-0x1.24e28d9f9451887p+3l, 0x1.4946ce0f8db793p-2l, 0x1.c46d4a32ca8b08ep-1l
+-0x1.9928d931b0758f3p+0l, -0x1.2a88c0afcfe07c68p+2l, -0x1.f9877174c1a1f03p+0l
+0x1.88d861612d8d0afp+2l, -0x1.3d0e2013c2265d8cp+3l, 0x1.330f52c87da86b88p+3l
+-0x1.1b76e64e381d1364p+3l, 0x1.f4ce4459185b8bap+1l, -0x1.eefb9e724d9cbefap+2l
+0x1.44bd95b5d04beedp+2l, 0x1.da55aa5c21f7cbf8p+1l, -0x1.69b4a00f2011777ep+2l
+0x1.27c64f7a060d636p+2l, -0x1.947c76f1937dbe38p+1l, 0x1.06e900c412a5f3e4p+3l
+-0x1.8288e1791d63f39p+1l, -0x1.2e90575281b019ccp+2l, 0x1.c78bd5bda4615118p+2l
+-0x1.35481309200edbd4p+3l, -0x1.d4cd0a7a8e2397e4p+2l, 0x1.c28a6a7cad51cp+1l
+-0x1.57ff8c4ef901719cp+1l, 0x1.c8377138185eb388p+2l, 0x1.0b8156d421747b18p+1l
+0x1.8508eab222504908p+2l, -0x1.5eb1d5acfeec4194p+2l, -0x1.9110a90cdf0d9ab6p+2l
+-0x1.dcc36f4eec31a9c8p+2l, 0x1.0808cf397ed2c8acp+3l, -0x1.68ba005ef91ddbf8p+2l
+0x1.0fceea1d78dfd918p+2l, 0x1.aa767f17b258842p+0l, 0x1.2bfb846bb30f959p+3l
+0x1.94ca9e15e895dffp+2l, -0x1.c282e28ccc9e347p+1l, -0x1.2f2be43c6ea681p-1l
+0x1.f934b47b8089be4p+2l, 0x1.3f728b5fd5c0dfdcp+2l, 0x1.9d525bd4192f94p+2l
+0x1.b05b6558643febd8p+2l, -0x1.7869fe5d4ea9c102p+2l, -0x1.06bc7bfe96cd5ba2p+3l
+-0x1.c0f3ef372642e8ccp+2l, 0x1.b2e4af569800b53p+1l, 0x1.30fdda116a74e4fcp+3l
+0x1.8ab0af61e8786308p+2l, 0x1.ea821953cf2854fp+1l, 0x1.273d5ba25242683cp+3l
+-0x1.cebffd5b940e02p-4l, -0x1.5d47cb477e62cc5cp+2l, -0x1.6d86174b53721e74p+1l
+-0x1.b3f684ad52a7f6p-1l, -0x1.0e8fdaf408c34e48p+3l, 0x1.98c77df0116a8668p+2l
+-0x1.ad71df92fa292abp+0l, -0x1.f62a8205aa5dd07cp+2l, 0x1.6d2c8ac7d77895ap+2l
+-0x1.8a99281f50cc79b6p+2l, -0x1.988b7dfc196f8458p+2l, 0x1.0426452cd6d47b08p+3l
+-0x1.2b0aa95dc1405294p+3l, 0x1.fdd495f64b2bb2c8p+1l, -0x1.b2172ba327230634p+1l
+0x1.b923523f4b104328p+2l, 0x1.ff8925d50b730958p+2l, -0x1.3d6125af776d6dap-1l
+0x1.e79d1cf126539c2p+2l, 0x1.49e10d6ad2b94248p+2l, -0x1.101ab33a1ffd2468p+2l
+-0x1.7b5166ace194ac7p+2l, 0x1.d9edd52c82a6e72p+0l, 0x1.353665e62595d67p+0l
+-0x1.2bbc9f2a7d553384p+3l, 0x1.36a0e363e6e28438p+1l, -0x1.49d036190c298fe8p+2l
+-0x1.04ab2cecd02b67fp+1l, 0x1.16ff500ff20f665cp+2l, 0x1.c76813b6841d2fdp+2l
+-0x1.397c2e4fe55bbe7ep+3l, 0x1.643394cc27377ef8p+2l, -0x1.a20c460a472eb8d6p+2l
+0x1.3c482ad120fd4058p+2l, -0x1.d972562e19230ffp+2l, 0x1.19f494f79c825974p+3l
+0x1.d16ce689734da39p+2l, 0x1.d08f214e5765575p+2l, 0x1.21cba3aa8a02f13p+0l
+0x1.ffd4c8388b154bdp+1l, -0x1.23b9d15cc8db53bp+1l, 0x1.bc529b8dbdbbdb9p+2l
+-0x1.217eb8f015dfd688p+1l, -0x1.c6fdc71e7773e4cp+0l, 0x1.063ff23a796e3d18p+2l
+-0x1.853329604872e218p+1l, 0x1.f0bf3718776bea4p+1l, 0x1.e90deb962334f8p-6l
+-0x1.06c50329b18d64f8p+3l, -0x1.632d3e241872c148p+2l, -0x1.1f3269b1234f852p-1l
+0x1.785ff5369da7e94p-1l, -0x1.1d2accec93aaecb8p+2l, 0x1.537a8738350e044p-1l
+-0x1.25b0b3b3fbc72e88p+3l, 0x1.e4381078effdf2bp+0l, -0x1.3a4d5c22bef61704p+3l
+0x1.3ad4ee4e1257b3b4p+3l, -0x1.bea0197105b6560cp+2l, -0x1.9713dd57191c565p+1l
+0x1.ba6ce057cda393ep+0l, -0x1.c78176f4366b97p+0l, -0x1.185eb594fbcbea78p+2l
+-0x1.48776de3ab89cc74p+2l, 0x1.f0d15c31bb9e9b4p-2l, -0x1.080263071faac05ap+2l
+-0x1.75afa4f7aee9406ep+2l, 0x1.d2218f6895689c3p+1l, -0x1.bbe31c946ccad17cp+2l
+-0x1.3d2a5b60ff6fecp-1l, 0x1.c519328ec3820768p+2l, -0x1.63405cccebdd6f6p-1l
+-0x1.916722465ea19b4p+0l, -0x1.50a3982ecbff799ap+2l, 0x1.03f15a435c1b9f9cp+3l
+-0x1.1e34321045698e98p+1l, 0x1.cad89057dd9fc0a8p+2l, -0x1.f9702d05cb40b08p+1l
+-0x1.391b63ddfb3cbf58p+3l, -0x1.76ff6f974eb2d8fcp+2l, -0x1.af7f19e4e720a89p+2l
+-0x1.ef4430d8fc8e3d4p-1l, 0x1.10d10c44ff68b558p+2l, 0x1.ea42a55c9b34ee8p+1l
+-0x1.b65af64c57e564p-5l, 0x1.1f46e197c74a366p+2l, -0x1.97d01f4d2afb6ee4p+2l
+-0x1.006969307d6008e6p+3l, 0x1.426d4aeca810da5p+1l, -0x1.04a29ffe5c836654p+3l
+0x1.62b63d782c57e678p+2l, -0x1.0056fe6ca01b52cap+3l, -0x1.12f5c2c211e4267cp+2l
+-0x1.adac616d079f70b4p+1l, -0x1.cabb887eb20a7e78p+2l, -0x1.58a46124f8a7c3p-2l
+0x1.f69ba7a645468f48p+2l, -0x1.0e57bab3855177dcp+3l, 0x1.1631a40ac3c6573p+3l
+0x1.e5946ec7eb957c48p+2l, -0x1.ce348136751472bp+2l, -0x1.ac5b5aae66142p-4l
+0x1.67ce5a483ba91d1p+0l, 0x1.c9b21b464f61cb88p+2l, 0x1.c2f29989af79d1p+2l
+-0x1.81a94bf07a47bac4p+2l, 0x1.20126b62aedccd04p+3l, 0x1.2258170335033d38p+2l
+0x1.1e65c309a9715f94p+3l, -0x1.c0fe576d83690804p+2l, 0x1.5d897866f0df6f4p-1l
+0x1.c72ba1bed2aa947p+1l, -0x1.1c01a864af729696p+3l, 0x1.88bf198db0e8398p+2l
+-0x1.268283c6c21d854cp+2l, -0x1.2535de4dc9eabb6ap+3l, -0x1.99e76ff0ab592d2cp+1l
+-0x1.758cf02e04681bp+0l, -0x1.c7b04a2f5494a87p+0l, -0x1.1fd56c86b861405cp+2l
+0x1.12b6c24d790bdc6p-1l, 0x1.f02d34774fbad9b8p+2l, -0x1.64eb034e58d6659p+0l
+0x1.9ec347067862d5p+2l, 0x1.17f51a4a2db3e738p+3l, -0x1.1015c7e58904acf8p+1l
+-0x1.163af84d29aee41p+1l, -0x1.bccfd49f2e21855p+0l, 0x1.6e78b786bb4f863p+1l
+-0x1.9e3e736cbf7cd3p+0l, 0x1.03bbcc65318769p-1l, -0x1.753c7125f03c1bb8p+2l
+-0x1.3f7544b887966bf4p+2l, 0x1.7871b9cdf3900bbcp+2l, 0x1.71a571430a6d6214p+2l
+0x1.efa04f5a1e0be9cp-2l, -0x1.306ed6de2934d184p+2l, -0x1.c3bff63e5e73c16cp+1l
+-0x1.2e6c64054c17f51p+2l, -0x1.bcfc5f33c64669f4p+2l, 0x1.173d127d985bf5p-1l
+-0x1.242cd91ec7ebf5ccp+2l, 0x1.fbd4ba2212c14cp-3l, 0x1.34274696f54792p+2l
+-0x1.bf3dd4983f11314p-2l, 0x1.7bd9e3638973c4e8p+2l, -0x1.496f82a51fd01794p+2l
+-0x1.b3b7b591fd1755ep+2l, -0x1.5d9d4f53ee3ad2ecp+1l, 0x1.3b5b0798b913118p+3l
+-0x1.3cfcbbff28476f44p+2l, -0x1.7e42320e9fcc1784p+1l, 0x1.202729744d9b948p-1l
+-0x1.a93f43a7a2c3c19p+2l, -0x1.d2acfd0256862208p+2l, 0x1.69c56f3d94dd53ap+0l
+0x1.023c72d35bb852dp+3l, -0x1.314c52b661eeac9p+3l, -0x1.f928090e31a27c2p+0l
+0x1.9fc23cb8eca7372p-1l, 0x1.27fc00c8450b6ef8p+1l, -0x1.8795d232031e8ep+2l
+0x1.82e31b407d51e2bp+2l, -0x1.4f095294f470ee4p+1l, 0x1.a9d2cc451be4585p+2l
+-0x1.962c2225353eaffep+2l, 0x1.e91c08bed0e1e088p+2l, -0x1.74cd628e5e83bfap-1l
+-0x1.5267ed6ac3dbb14cp+2l, -0x1.24e043d0562b056cp+3l, -0x1.8f8c06362b01a0a8p+2l
+0x1.32b5519854ac80fp+3l, 0x1.c07ac8f7dff9d21p+2l, 0x1.02544fd30c8c38f8p+3l
+0x1.50d41caff18f241p+2l, -0x1.94c9ba70ccceef4p+2l, 0x1.2a1ca08a79990b3p+2l
+0x1.fc96c5c5b6373b3p+1l, -0x1.13ffe7fcc8c749e4p+3l, 0x1.3a84293e1979e9d4p+3l
+-0x1.3cca8f7fe79a9bc2p+3l, -0x1.19a44f8c93a38936p+2l, -0x1.2109897de66d7118p+3l
+0x1.9e92e18c402a95cp-1l, -0x1.db9c7a330cf9e3bcp+1l, -0x1.9d0336c76b3b56f4p+2l
+0x1.99eeedbe84f2ad9p+2l, 0x1.c4941988eeecac8p+0l, 0x1.ca39f083f42ba4p-4l
+-0x1.2c2b39f500b9d268p+2l, -0x1.00221bbe3d335518p+1l, -0x1.05ef3b0782b8b9dcp+3l
+0x1.c6f19abe28cd77cp+0l, -0x1.10a9b72086871fdp+0l, -0x1.54ce5b08966339dcp+2l
+0x1.e3c625b4e6b6845p+2l, 0x1.5546e49f00159718p+2l, 0x1.9e2fd930fb1863bp+1l
+-0x1.ce1fae64750a93fp+2l, 0x1.81d7e84ba83ab7e8p+2l, 0x1.12b883f90d8bb4bp+1l
+0x1.ee728825bedf242p+1l, -0x1.6e3b0153a94d426p-1l, 0x1.85fb39015b10c64p+1l
+-0x1.571fe9d095410c94p+2l, -0x1.afdb3c4595273328p+1l, -0x1.cacfec88c99ac65p+1l
+0x1.0f56343f92851b28p+3l, -0x1.5a5fa37e1f435994p+1l, 0x1.1d232411c4151c78p+1l
+0x1.06fe7a2ae2110568p+1l, -0x1.98c97efc4b7b4ccp-1l, 0x1.58220ab7cac3aeep+0l
+-0x1.653ec9417ffc9c0ap+2l, -0x1.19ba4932c674f838p+3l, -0x1.1481a9b41bd419fcp+2l
+-0x1.97f9039199cd92acp+2l, 0x1.8981decf829f6f1p+2l, -0x1.0fd8acdb72b0b8dap+3l
+-0x1.21e5f7d01638c968p+2l, -0x1.597d3aad7a06327ep+2l, -0x1.62cd1e01b6cfe9ep+0l
+0x1.23f1425c7e1a264p+2l, -0x1.19105695cb634768p+3l, 0x1.4262dbdb20b1f1ep+0l
+0x1.0abb62909da605b8p+3l, -0x1.00e5ba66162f0fcp+0l, -0x1.02ccdf8552bd4d24p+3l
+0x1.aa3c00e5a059088p-1l, 0x1.3b7da713596fd3cp+3l, 0x1.5993547d7a7ad68p-2l
+0x1.59bd972975dc572p+1l, 0x1.7d9e37581d90f67p+2l, -0x1.7eb4a82c7c7b9dc8p+1l
+0x1.adac57c6d7fbdbep+2l, -0x1.a090c86d1b37e86cp+2l, -0x1.71929b143ee78c94p+2l
+0x1.01ccf4f647080dp-1l, 0x1.4b4e27a6ee3e52p+0l, 0x1.4038f695c10ecd2p-1l
+-0x1.8f780cfe32b82364p+2l, -0x1.8cdbffb8d8479788p+1l, -0x1.b53ef7e3b5cd6c08p+2l
+-0x1.7b28e870f55ea274p+1l, 0x1.dbbc84d07cb42338p+2l, 0x1.30512e67123fe81p+2l
+0x1.85a2f364a752a6fp+2l, -0x1.0b73b48a44edba2ep+3l, 0x1.1296fe3de99fcf5p+1l
+-0x1.c230eb4af8542ep-5l, -0x1.2d2cc7152871f0ap+1l, -0x1.722317ae59aa6fd8p+1l
+0x1.54bc873a7aaa9098p+2l, -0x1.654a948101c4afb4p+2l, -0x1.8b34eccd3d9a552ap+2l
+-0x1.a9f3ca984d00896cp+2l, -0x1.b019c3bdb535b48p-2l, -0x1.74486267ea378cap+2l
+0x1.55f7b6cffcf76658p+2l, 0x1.d9994ce7c2a3729p+2l, -0x1.a9261b07347a4cd4p+2l
+0x1.7a98dca8b8c0bap+0l, 0x1.49ebf269b56caa7cp+2l, 0x1.59070f2270cbe02cp+2l
+-0x1.d89578e2a5dedb78p+1l, -0x1.179d479193882fdp+0l, 0x1.21b671a4c82eb12p+3l
+-0x1.680f698b49e780aep+2l, 0x1.3fbbe2f07c441ccp-1l, -0x1.49b8904163c6e068p+1l
+-0x1.71d2bc41da7238cp-1l, 0x1.c43a446b26752268p+2l, -0x1.d11cf788a508c4a4p+2l
+-0x1.3f5df59fc51e1272p+3l, -0x1.15745a948f637e68p+3l, -0x1.f3cc1ba290ee25dcp+2l
+0x1.3c2738bf331b41p+3l, -0x1.07552f959316797p+3l, -0x1.13328a65d15276e6p+3l
+0x1.02b6a3ccd189b23cp+3l, 0x1.09d9b28b184f9504p+2l, -0x1.eb4868dd07b5cbecp+2l
+0x1.07563540c4eec57p+3l, 0x1.d7b3ec688065ed58p+2l, 0x1.2560267552df629p+3l
+0x1.8734a4e336004848p+1l, 0x1.f6734a1aca6c0668p+2l, -0x1.ab34761dbcfc31ep+2l
+-0x1.799aa99393c509ecp+2l, -0x1.a18bb50fd23fe4b6p+2l, 0x1.12d2a89a6c4b02dp+1l
+-0x1.159e3d766d7bf97p+3l, 0x1.eced3a9a5244b54p-2l, 0x1.9b2ea383879ba48p-1l
+-0x1.0dccec08b2d6e8ep+3l, -0x1.986b9654e4685a9p+2l, 0x1.e2e83c9c00ee3748p+1l
+-0x1.e70bfbd48fde39bp+2l, -0x1.a4eb7530316bdabap+2l, -0x1.086286e4df56342p+3l
+0x1.770eebc505c8813cp+2l, 0x1.8746ee92d877e3p+0l, 0x1.b0d95f9aba30ebe8p+2l
+0x1.6263b642f31c4818p+1l, 0x1.d93c04893e3af4ep+2l, -0x1.454ec35c79ed0a08p+2l
+-0x1.774687ad5b865dfp+0l, 0x1.24ae1bd747b23698p+2l, -0x1.5b4312ec0b34113p+2l
+0x1.b61100115966e948p+2l, 0x1.8cfdf8616c4679bp+1l, -0x1.f9a41b6a481292a8p+2l
+0x1.39528c1c9be041cp+1l, -0x1.732026aa328c3dc6p+2l, -0x1.0d4cd6a3085ea354p+3l
+0x1.bf137e7ecf5896bp+2l, -0x1.8ea46d127fc7ef24p+1l, 0x1.7857d411bb71a708p+2l
+-0x1.9b683cc322b1d4fcp+1l, -0x1.24edd65c89f99144p+2l, 0x1.232af896d26aa348p+3l
+-0x1.31668270094b855p+0l, -0x1.076b28c92c5b2fe8p+1l, -0x1.158a8081ece2aa78p+2l
+0x1.244142ac66a62498p+3l, -0x1.0f1b0c59c89e7d4p+0l, 0x1.26b11ec0b17f6a24p+3l
+-0x1.3fc86d7091c8c29ep+3l, -0x1.e45f683cde584624p+2l, 0x1.1c1b08d8e84170bp+0l
+-0x1.b231920409da8f02p+2l, -0x1.94a631dfbc79114p+1l, 0x1.46147aa7184e79ap+0l
+0x1.24656a770080bd8cp+3l, -0x1.818855d248fefefp+2l, 0x1.62e7fd78aa2b9d38p+2l
+0x1.2c3914d1c4360888p+1l, -0x1.1911181620163c64p+3l, 0x1.28a078fade8854bcp+2l
+0x1.06083859a67c1458p+3l, -0x1.19d99055a631ada4p+3l, -0x1.bae94cb971dd7bcp+1l
+0x1.380494998157eadp+1l, 0x1.bdd8e2142aa57d1p+2l, -0x1.82ff6c146061369p+0l
+0x1.8dca637ac0be628p-3l, 0x1.c8f5068b06bbf1cp+2l, 0x1.81c4ea9b1daedf3p+2l
+0x1.0b9592b2077bf08p+3l, -0x1.c0452a8be1865a8p+2l, 0x1.5a09239700285ep-5l
+-0x1.3ed13899bc5e781p+3l, -0x1.0aa02bf289640aa4p+3l, -0x1.925ff1a5df174368p+1l
+-0x1.488c4233dd79d9ap+0l, 0x1.436b2a97ba8a46ep+2l, 0x1.2866f052d1ffd99p+0l
+0x1.187babf1c4372624p+2l, 0x1.8dbe112710768aap+0l, 0x1.621be34d09f2e7d8p+1l
+-0x1.991057a8ff22a88p+1l, -0x1.8d7b9ebc78c7346cp+2l, -0x1.1d5904316329ad6ep+2l
+0x1.ef40c3e7ef8b0408p+2l, 0x1.37e5bfb010f6d15p+3l, 0x1.ec4c66b009eac23p+0l
+0x1.68f7ffcd89f38c84p+2l, -0x1.32e823cb2771c9a8p+1l, 0x1.0ba5e9f2633fc9ap+1l
+-0x1.21948378b3c9ca84p+3l, 0x1.2bd400eec184235p+0l, -0x1.60dc6d8755a2e63p+0l
+0x1.a4b11a255929f09p+2l, -0x1.491088921fdded4p-2l, 0x1.64ce4b5fad99fbp+1l
+0x1.2577f004302717d8p+1l, 0x1.8123c93d89d639cp-1l, -0x1.b9e8f79886eeadcp-2l
+0x1.ce92f568b48b585p+2l, 0x1.1f6ac0d19f301038p+2l, -0x1.249cbf17aedd827cp+2l
+0x1.e3aa8317c9e75b98p+1l, 0x1.1329a8dec102d258p+3l, -0x1.22144cc4c72fbc48p+1l
+0x1.43c04e719f035d38p+2l, -0x1.4600f2c008cf96p+1l, -0x1.8d829bf93f4d9574p+2l
+-0x1.d4c1a2da0c717bcp+2l, 0x1.6b550783abd28cfcp+2l, -0x1.2775b79645fc3a1ap+3l
+0x1.e308fdfc9a12d868p+1l, 0x1.4b030c02c1b3776p-1l, -0x1.b06e42044301bd0cp+2l
+-0x1.3b488c5dff39d9d8p+3l, -0x1.2462f4c56f0415dap+3l, 0x1.3e404beab8cf13b4p+3l
+-0x1.de5a08f2dfdca16cp+2l, -0x1.d4b1bc19c343b24p-1l, 0x1.7006633ccabb22p-4l
+0x1.955df96f1696fd4p+2l, -0x1.72f0d92b529494d4p+2l, 0x1.32a65e3a5275b258p+2l
+-0x1.e774fbcf36f019cp+1l, -0x1.ade1df5a86431ef2p+2l, 0x1.0955a04849bb76dp+2l
+0x1.4afaa0beb5295468p+1l, -0x1.30f3b91ae99b9f94p+3l, 0x1.b92499e0e3ece688p+2l
+-0x1.e4cec832f274aef4p+2l, -0x1.f72365076ee7611p+1l, 0x1.2981067811022b98p+3l
+-0x1.fa3c9eda5a8adfcp+0l, 0x1.8472b15ec422bdcp+0l, -0x1.949bb1821b2b71d8p+1l
+0x1.e7559f9a4c70278p-1l, 0x1.a698bdf9467fd64p+1l, -0x1.1e31565f3693e73cp+3l
+-0x1.177751ee19d36358p+1l, -0x1.9ffc1e71a6b9b188p+2l, 0x1.287e028a691b24f8p+1l
+-0x1.1bd7ade5bc1fdcd8p+1l, 0x1.0a4bf7308dc7c4e8p+3l, -0x1.80e0e9ce05768e4ep+2l
+-0x1.279ce30a8e307bp+3l, 0x1.41209ca4cb955a8p+1l, -0x1.7ae49e0f12ee7f08p+2l
+-0x1.6fc62eb7bb96044p+2l, -0x1.f56805ee06e265fep+2l, -0x1.61ad5cd02160517cp+2l
+0x1.02d9b716e4f43564p+3l, -0x1.7934f5f9aff6a764p+2l, 0x1.a020ddb787abf06p+0l
+0x1.1b435b09bd242b1p+2l, -0x1.1dcc2ab9fa891cfep+2l, -0x1.967bffe609b71ec2p+2l
+-0x1.55607b9405321fdcp+2l, -0x1.ef706390181213bp+1l, -0x1.d1f14e20b36f50aep+2l
+0x1.76183750a2126c58p+2l, -0x1.5b490f13346bddp+2l, -0x1.0e2e2670cd504346p+3l
+-0x1.19b96ff1141e195cp+2l, 0x1.7f636ddbeb4f34bp+2l, -0x1.3dff84fd82a20b7ap+3l
+-0x1.ec516722ae81ed4p+2l, 0x1.4584dcc6b6b5d56p+1l, -0x1.e3fab8b119997c78p+2l
+0x1.c5389bd011aed038p+2l, -0x1.29e1abba46cb4d0ep+3l, 0x1.e38b25d30606638p-1l
+-0x1.3be73ecfa5e3f5cp+3l, -0x1.2322201f3e6a6bbp+0l, -0x1.c415090c3bcd0f0cp+1l
+0x1.6fa09d4d40f6fc7p+2l, 0x1.db3553f32514b79p+2l, -0x1.bbcce3f7333eff08p+1l
+-0x1.02c2f188f7e86dc6p+3l, 0x1.353714400870301p+3l, 0x1.961e1dd02c9e9be8p+2l
+-0x1.d82b6fc8bcd8a5dcp+1l, 0x1.b0a743eb4de607fp+2l, 0x1.54a3e92a982e6a08p+2l
+-0x1.6afb8f3248dbc68cp+2l, 0x1.5cfa3e594d20326cp+2l, 0x1.1e5d4a8d6ac3e0dcp+3l
+0x1.8f645a84644898p-6l, -0x1.c0dfd27b6d6f769p+2l, 0x1.b0679870cf0ec64p+2l
+0x1.6fb5271eb9dbbbfp+1l, 0x1.662c1d5c84a9ccp+2l, -0x1.7f05aed8cf97877cp+1l
+0x1.97422390a537adbp+2l, 0x1.74169e847c4a34f8p+2l, 0x1.311cee660e36125p+2l
+-0x1.b73905caa6a96164p+1l, 0x1.f90bd737a5358d9p+0l, -0x1.b78f3cf583f5d6dp+0l
+-0x1.31a6eb64982a61d8p+1l, -0x1.3053b198481c728cp+2l, 0x1.a00f21bf8da66e9p+0l
+-0x1.5226b56bd75e6674p+2l, 0x1.3d73418963266cfp+1l, 0x1.e84bbb10e4ed5c18p+1l
+0x1.6b0ab43794a25f28p+1l, -0x1.db0aff41d4f9e39p+1l, -0x1.fe8d1594340654e8p+2l
+0x1.4d65804349cffefp+2l, -0x1.a66bc8212be149d4p+2l, 0x1.ce25b5d56c7c83cp+2l
+-0x1.44bd790627b0fa4p-1l, -0x1.ed9b1bc606d642ecp+2l, 0x1.4108d44e0a7fc418p+2l
+0x1.05d1a6bfdd112cep+2l, 0x1.0c73e3b17200ce98p+2l, -0x1.2b2c57e75a9f8dd4p+3l
+0x1.b9512fc071c3a6bp+1l, 0x1.24eb5a72655148f8p+2l, 0x1.59cdd930a1a945d8p+2l
+0x1.0531c8219b4c2af8p+2l, -0x1.ab04b07ecac737bap+2l, 0x1.5203017ec30b04p+2l
+-0x1.10c24bae05f58ddcp+3l, 0x1.97095cab49e4f2cp+2l, -0x1.ab47c1a0d87a2a9p+1l
+-0x1.fbe86e64728ec08ap+2l, 0x1.9b76e5245a482fdp+1l, 0x1.1b05854879b742p-2l
+-0x1.f284888ee3e26dbp+0l, -0x1.2ad5b59288dbf05cp+3l, 0x1.ce045ccff19aa72p+1l
+0x1.c8801eb61a78bbep+0l, 0x1.119b687e71a7d48p-1l, -0x1.8b1fd84c4211e484p+2l
+-0x1.9faf80cf1b285adp+1l, 0x1.6806ff74d3aaff6p+2l, 0x1.c89224f19707588p+1l
+-0x1.15a039e68a11e8aep+2l, 0x1.cbe8d0948d51e04p-1l, -0x1.3f32302862b5913p+0l
+-0x1.c43f977b15d931dcp+2l, 0x1.ed06aee881541a8p-3l, -0x1.8681a877056b2366p+2l
+0x1.add5112fb738085p+2l, -0x1.7454b27946606ddcp+1l, 0x1.25208a890b5cee08p+2l
+-0x1.12a5620c6717986p-1l, 0x1.fd4d50b798484ep+0l, -0x1.911b9c8b1ee1a78cp+2l
+-0x1.020759c8ca9aeb62p+3l, -0x1.65a69332a50241p-3l, 0x1.23e20f68536cc2cp-1l
+-0x1.0992f0b2b2fe2d1p+3l, -0x1.a958f9db86f7b9a8p+1l, -0x1.6acfc12a8520bb6p-1l
+0x1.64f1fda7480217ep+0l, -0x1.1c8a3e5fb27e7d4p+1l, -0x1.140de25b12d6bc1p+3l
+0x1.4b5ef2f3bb829858p+2l, -0x1.838335bb3693b83p+2l, -0x1.886acac6ce951bc8p+2l
+0x1.af85ab0639a72698p+2l, 0x1.09fe9c57f4b63f2p+3l, -0x1.090b2434f180b78p+3l
+0x1.024d8c275ac0af3cp+3l, -0x1.5fa408d8eed87e74p+2l, 0x1.ba4b6c04e7125d8p+2l
+-0x1.30b0c84953bc8b2p-1l, -0x1.b509ad9c7f662ebep+2l, 0x1.62473e9163d8186cp+2l
+-0x1.fc331dd9c95ed2ap-1l, -0x1.a7d7541f19583a7ep+2l, -0x1.56af805f969ab694p+2l
+0x1.8db106457ac0ec6p+1l, -0x1.53422c5453bd8f88p+2l, 0x1.3153b818e61ae65p+1l
+-0x1.e64694a0d5fa33c4p+2l, 0x1.04628ec5b66223cp+0l, -0x1.d0ef469d57bec088p+1l
+0x1.dfc1046fe1e439ap+2l, -0x1.3bc382435f21d2dp+1l, 0x1.2b706f04fc4e0ef4p+3l
+0x1.00f4ef071d2b124p+1l, 0x1.c0fce1daf36faaap-1l, 0x1.8735238d522e9f38p+1l
+0x1.ceb2794e9816d55p+2l, -0x1.af366b7b244435bp+1l, -0x1.dbcf6509c3d1ea2p+1l
+0x1.05606969d8a4b08p+2l, -0x1.a084d9283ccbfb4cp+1l, -0x1.6aabb1d58e52f54p-1l
+-0x1.20e3be920c115c54p+2l, 0x1.6b852f952238d6ep-1l, 0x1.671a08f350b41ad8p+2l
+0x1.401e9b7605e91f6p-1l, -0x1.6e1365e6d07ad8bp+1l, 0x1.3fe74c475158e90cp+2l
+0x1.9ccdc26681bca3p-3l, -0x1.87b1c770a1e3f2fp+0l, 0x1.330ef56b27450a4p-2l
+-0x1.df3e45b9f2a85abp+0l, 0x1.eaeb278a93a617p-1l, 0x1.fc4f2502fc7726cp-1l
+-0x1.1147b4704e9be1f6p+3l, 0x1.0e3c375fef46bb78p+2l, -0x1.48e1adcffbefe864p+1l
+-0x1.c8c15a03fc359458p+1l, -0x1.36c0d3cd5706b18p+2l, 0x1.cf7eff38e317323p+1l
+0x1.863aa5e227ea9728p+1l, 0x1.d27e8415e7e5cbap+2l, 0x1.0df4c2e22b91b3d4p+3l
+-0x1.a5836585d0671928p+1l, 0x1.7f18cf45d1e4b6f8p+2l, 0x1.085e7accef5302cp-2l
+0x1.fbb47e78d71920cp+0l, -0x1.3ca67a17a205818p+2l, -0x1.2ee594674e2cac18p+3l
+0x1.aea035392038372p+0l, -0x1.ecaf8980051935c4p+2l, 0x1.335ea0cf8720245p+0l
+0x1.33d5128b671d8284p+2l, 0x1.792450fba1e37778p+2l, 0x1.348103ac0710bep-2l
+-0x1.d5df26418c410bep+2l, -0x1.4bad5ec06088026p-1l, -0x1.02744e2bc3c00198p+1l
+0x1.ee170274511a964p+1l, -0x1.120b6754d8f8db4ep+3l, -0x1.6ee45b8dd3aad37p+2l
+0x1.a3a3efbeded0c9fp+2l, -0x1.652e32652daaa7dcp+2l, 0x1.c109b0d9191677p+2l
+-0x1.bc149c05d77f948p-1l, 0x1.0c4aa6243f9d94p-2l, -0x1.6bcd3d4c10862666p+2l
+-0x1.16bd6d1ef870e76ap+3l, -0x1.2d853aa6e92e2b58p+3l, 0x1.3e5d8415b8d0ea2cp+2l
+0x1.703ce2cde997341p+0l, -0x1.0e48484fc9340d6p+2l, -0x1.6d91cf350e9e4p-10l
+-0x1.1cc65a20fc4ce8ep+3l, 0x1.cdd3cd1e24b4d258p+2l, -0x1.0d3aee7fd553f3p+3l
+-0x1.b556ea634465008cp+2l, 0x1.1cbfc32a2bef2cd8p+3l, -0x1.868a74111fb6de8p+2l
+-0x1.2bf3fb8cc3c9a78p+0l, -0x1.85c5194a2cde98fcp+2l, -0x1.52fd23e5c1a00af2p+2l
+0x1.657ecb210ed6c91p+1l, 0x1.4ab6cf8e65ce727p+1l, -0x1.645de09c4c2e1f6cp+2l
+0x1.fa3cc6a7f65cd2p-1l, -0x1.b4f82f1802590cep-1l, -0x1.184803cc1cee5ca8p+1l
+0x1.ac21afac94f2d85p+1l, 0x1.3bef2f851fd864ap+1l, 0x1.172e26d49669c0fcp+3l
+0x1.374f2c2cc8699a9p+1l, 0x1.188866c7d8ff576p+3l, -0x1.01d5b5191cdfcbbcp+3l
+-0x1.c406c210ff92278ep+2l, 0x1.56dbe48b63b37cdcp+2l, 0x1.3f8415674c413dap-1l
+0x1.232e5c91526e8ff8p+3l, -0x1.daf64f97e68737ap+0l, -0x1.9607566bd489d714p+2l
+-0x1.3567d139ef5f49p-4l, 0x1.235f8376e71bb71p+1l, 0x1.16991366a33763c8p+3l
+0x1.2aabafa2440af93p+2l, 0x1.130bb4af342f7bd8p+3l, -0x1.3f0554d9e9dfe938p+2l
+0x1.f4de1e2f3704788p+2l, 0x1.4beee423e609f77p+2l, -0x1.bbe724f7be8a015p+0l
+-0x1.23fac3ccdbd5961cp+2l, -0x1.cb2d33d3f0f46228p+1l, 0x1.38d39fdf90068b8p+0l
+0x1.07874582fed30858p+3l, -0x1.5fcaee360d0dbbfcp+1l, 0x1.61704d9edf060c7cp+2l
+0x1.de3fe2216f8e06p-4l, -0x1.7b1b9e3c3fb106ap+2l, 0x1.0fb62cf6fdeaaffp+3l
+-0x1.a0e5803efb4b8f18p+1l, -0x1.3b405ab29d6e12e4p+1l, 0x1.39fc88248cf4145p+0l
+-0x1.9f26e4fe002f7894p+2l, -0x1.bd3e589313f10ep-4l, 0x1.78cf06829906a1ap+0l
+-0x1.fc2374b434ae595p+0l, 0x1.0cad4c357892de8p-2l, 0x1.06daeec487858448p+3l
+-0x1.08020a97604a176p+0l, 0x1.7dcd61b8c0cd3af8p+2l, -0x1.706f4a6731de03p+0l
+0x1.80b5ccb27919c9dp+1l, 0x1.1146c09230da96p-5l, -0x1.02cc32e609653d66p+2l
+-0x1.0e4b6cff2c1a3cacp+2l, -0x1.3756f492586fb7a8p+3l, 0x1.b93c6231f322881p+1l
+-0x1.17b061e5a382630cp+1l, 0x1.96513d0b3965941p+1l, -0x1.cce0cd89bb704e74p+2l
+0x1.9371551062a48e2p+1l, -0x1.73ab2973d1668adp+1l, -0x1.c658f6e1cc9f805p+0l
+-0x1.24a0f17742cbcb68p+1l, 0x1.a812fcd8444469e8p+2l, -0x1.bc6fe6836b1edb08p+2l
+-0x1.21a85bc505822598p+2l, -0x1.ac59cf066c695aep+1l, -0x1.222b15c38ba5ebdep+2l
+0x1.e11dabbf057450dp+2l, -0x1.5d776d01d60c9e3p+1l, -0x1.07fef253912d8e94p+3l
+-0x1.3cfed5bf181b819ep+3l, -0x1.5dbadd01cc4b9678p+2l, -0x1.94cd307e71ffd42p+0l
+0x1.c5616d15d5bb684p+0l, -0x1.3b34663bd018412p-1l, 0x1.0e0c65bb0b1ebddp+1l
+0x1.4b9d3f1d0f6e4p-3l, 0x1.2b518dc264094d8cp+3l, -0x1.3ee5688f13faea34p+3l
+-0x1.705d405d599afa9ap+2l, 0x1.0055af34e1414c3cp+3l, 0x1.06af8403b4e8f2b4p+3l
+-0x1.978f94368e33a85cp+2l, 0x1.c147c95de4f77588p+1l, -0x1.fc30f2642b79be08p+2l
+0x1.264392f9cfe9a72p-1l, 0x1.586406bbd3ee50cp+0l, 0x1.42c74aea0d9ebe2cp+2l
+0x1.b7f2c0bdbf49f36p-1l, -0x1.e2ac2567cbb28c48p+1l, -0x1.140a34b98fc51c18p+1l
+0x1.2a4f0572a49905bp+2l, 0x1.31e6199ab1684f3cp+2l, 0x1.35afa8895b05fd6p+3l
+-0x1.27d2f4168819354cp+2l, 0x1.73f0cca96b38ac08p+1l, 0x1.8af6d8f509097a3p+0l
+-0x1.98d96e9ba2e949d4p+2l, 0x1.3cae358bef8bfbp-4l, 0x1.9b3c807987702f9p+2l
+0x1.18452bfc375d8868p+1l, 0x1.c2b7e473953f0938p+2l, -0x1.a160c6f88d66b548p+1l
+0x1.96e1a580ce5acf78p+2l, -0x1.60ccfcb42a92999cp+2l, 0x1.4a30db31ca1c4p-7l
+-0x1.2c7a23364427dda8p+3l, 0x1.10bde3db43c42eb8p+3l, -0x1.29a328765e9adcp-2l
+0x1.0f433a705d5303c8p+3l, -0x1.87ef252df9fa59ecp+2l, -0x1.df702844df97586cp+2l
+0x1.3dd6e8583ebc9e48p+2l, 0x1.5f111cc6ba81a564p+2l, 0x1.1031457f4a2bfe3p+1l
+-0x1.a0cbb7dff107948p-2l, -0x1.626baee60c84a524p+1l, 0x1.1a79d7b22086997p+1l
+-0x1.deba54a2de31331cp+1l, -0x1.27b31cd9ddf718dp+2l, -0x1.ce13596be236b18p-2l
+0x1.ea6f9017b18bb48p+1l, -0x1.39b491506a117b3cp+2l, -0x1.5a68cc709e19ddb4p+1l
+0x1.44ba64effe6f318p-1l, 0x1.54dd0bc2b262b0d8p+2l, 0x1.df1793b1a696693p+1l
+0x1.306bf14010f1e5e4p+3l, -0x1.897319e50c8e2adp+0l, -0x1.0333003f0bbcdda4p+3l
+-0x1.77ad652c1e7af18cp+2l, -0x1.19f8fc227dbbdb74p+3l, 0x1.d800ea2c8ecb18ep-1l
+-0x1.fca2378f98449f8p+2l, 0x1.cb0e64c6b949b3p+0l, 0x1.1b9008e7dda530a8p+3l
+0x1.93e174cf7beab4dp+1l, -0x1.850b69f61519b7ecp+2l, 0x1.470813a3325b4d6p+1l
+-0x1.85d359c1432e2b48p+1l, -0x1.1d0c9c5a55b44b46p+3l, 0x1.cc4f397f7025e3p+0l
+0x1.d1af715b09896ep-1l, -0x1.25fe34bea84f4e58p+3l, -0x1.1d4a676770de988cp+3l
+-0x1.32c5c732cf65522cp+2l, 0x1.d64f5f3d180eb67p+2l, -0x1.4f7b7ca0949e1ec4p+2l
+-0x1.205cb93b45221782p+2l, 0x1.543642368589655p+1l, -0x1.2219a5b3832bbffcp+2l
+0x1.57237699ef626998p+1l, -0x1.33aadcce8021b9a4p+3l, 0x1.0f3150df8b3271ap-1l
+-0x1.eb9e8fd4bbff34fcp+2l, -0x1.144bb5fc0289e42cp+1l, -0x1.a5113f7dd4905044p+1l
+-0x1.d5921345044e0f7p+1l, -0x1.f40e20c7db32cffp+2l, 0x1.b943dc8f8fee368p+0l
+0x1.856cfc710d6cf9fp+2l, 0x1.50d1736a3fa09dp-4l, -0x1.0f7e3e5d0cc7f9ep+3l
+-0x1.fcd59ba328e9b4fcp+2l, -0x1.5fc0bb3816b9d734p+2l, 0x1.1fc789b52cb335fp+3l
+-0x1.ebb5635b7341144p-1l, 0x1.d42a4a02eec99cp-2l, 0x1.2035adf32786fp+0l
+-0x1.a0cffca66138c2p-3l, -0x1.0293dc0632d8c71p+3l, 0x1.f2f8eb3e13e3ec58p+1l
+-0x1.0b89e881c0f4eep+0l, 0x1.6b4f9fb6377cfad8p+1l, 0x1.878ca14bba5f3cp+2l
+0x1.31422285e62b619p+1l, -0x1.7af6ddfd280c068p+2l, 0x1.aaa472ee1b9e33p+1l
+-0x1.5b698bce4169dcap-1l, 0x1.a3152c63ba206bdp+2l, 0x1.8c74ce51547a53fp+2l
+0x1.75ac22632d481b3p+2l, -0x1.72943a250b344992p+2l, 0x1.2cb4a67c1e4de318p+2l
+0x1.a3b4a47f255df138p+1l, 0x1.317c0da98b4bc5fcp+3l, -0x1.1b47aaed3d275d1cp+3l
+-0x1.144c38afc8f3ccecp+2l, -0x1.3bc294645586837p+0l, -0x1.e313c92cbce7c5p-3l
+-0x1.070e8b4ee0a192d4p+3l, 0x1.1c9763bfc9a2a214p+3l, 0x1.076ceacf70a4db78p+3l
+0x1.805d616709771b6p+1l, -0x1.43c762a43e2ceafp+0l, -0x1.bb6986b1475331acp+2l
+0x1.caff5a21f9c0fp-6l, -0x1.81bb67138976fe6cp+2l, -0x1.08cc5760478a352ap+3l
+-0x1.8bda77ff92ffcfp-1l, 0x1.52850d23f7ad4e4p+2l, 0x1.7883d2aeeb9bb8dp+2l
+-0x1.07b8a680d12292dcp+2l, -0x1.c82f9bd014076de4p+1l, 0x1.f745af7090bf7d7p+2l
+-0x1.e0be34aca36ea4cp+0l, -0x1.697b61a1e9f60f8cp+2l, -0x1.0204df315ca0c1p-3l
+-0x1.aeb12a5426d3445ap+2l, 0x1.0039c0bc2ffa6824p+2l, 0x1.e301d847e0a4ee9p+2l
+-0x1.72e9d87320b929p-3l, -0x1.e80d74feeb8f62dp+0l, -0x1.19e3142d516fcebp+3l
+-0x1.bd28dd0e9eb0486p+1l, 0x1.d7fdd5ac728bcb58p+1l, -0x1.6e08d83bfdbc3df4p+1l
+0x1.06bbbe7311155cap+3l, 0x1.fd0c26442f4f4d8p+2l, -0x1.f01198b5601a1bfp+2l
+0x1.23c1d7d3c23f3834p+3l, -0x1.0d6b49fc99478e3p+2l, -0x1.6549c8ad26d6df38p+2l
+-0x1.bd06b71ba6b0985ap+2l, 0x1.ac48142ffc6a4b58p+2l, -0x1.0c3a531e7fc431ap+3l
+0x1.769ca2fbf3d77aep-1l, 0x1.132f1bfcc91d81ap+3l, -0x1.103fe76a4b23c69cp+2l
+0x1.391d44a529c0ebdcp+3l, 0x1.b3509b6e05a09678p+2l, 0x1.ed7783172dc4202p+2l
+-0x1.1c5d4577d584302p+1l, -0x1.cfc293d443d576bp+0l, -0x1.08d24cc7e1f0d092p+3l
+-0x1.2b800d0f34e03ca4p+1l, -0x1.0715a25d5a6d7698p+3l, -0x1.290ecade460219c4p+3l
+-0x1.d9d626245fa36ae8p+1l, -0x1.04a2a700e2d1356ap+3l, -0x1.1e726a412a64e82cp+2l
+-0x1.691cb69a4b0ddd8p-1l, 0x1.22187472d0f8bf54p+2l, 0x1.2395e42912219d0cp+3l
+0x1.3055c97fa774c264p+2l, -0x1.fd7df223aafb2468p+1l, -0x1.7561bd4141c08bp-3l
+-0x1.802e7eccd12ac8f4p+1l, 0x1.1d9570f6c794008p+1l, -0x1.bc0fd46df5212f6p+2l
+-0x1.f7502332abb263f4p+2l, -0x1.998702ca55c2d8d8p+2l, -0x1.39b259c21ff1b2cp-2l
+0x1.c1d9ac0a7761f6e8p+1l, -0x1.e15d7b4e69294dcp+0l, 0x1.6b4b492058e18018p+1l
+-0x1.06c8810af5f2764p-1l, 0x1.3b0b9ce3e73ac0a8p+3l, -0x1.3f9680e70f04d78ap+2l
+-0x1.858a7a4f1c5119p-2l, -0x1.5a947bb4954c6cap+1l, -0x1.f715ccddaec26b24p+1l
+-0x1.ae0445b64bac132cp+2l, 0x1.0a48ee936160fdf4p+3l, -0x1.a0c9de7753e2a534p+2l
+-0x1.6d31e005a864526cp+2l, 0x1.fd7d595ad7771e8p-2l, 0x1.38cf1546f55bee48p+3l
+0x1.037863bddcb6539p+3l, 0x1.fdc2cbb9085e2fcp+1l, 0x1.eb4fb1608913d36p+2l
+-0x1.1675c711a907672p-1l, 0x1.a1f8e986f8381378p+2l, 0x1.463c0fa1b634b938p+1l
+-0x1.236b52d8cc5bb3p+2l, 0x1.fed2d7fcbdc66778p+2l, 0x1.ad642afd546bcddp+1l
+-0x1.95c979cd6e4bd36p+2l, -0x1.c856e065c2c4231p+1l, 0x1.d509592de749afp-2l
+-0x1.2362d85cfcd4478cp+3l, 0x1.03fc2baf32ddb228p+3l, -0x1.5a7ea06e983e47ap+0l
+-0x1.3e15aee2dccd32a8p+3l, 0x1.10f918acb72d34ep+2l, -0x1.c6ec21e0f114fbbp+1l
+0x1.68040d78dddb7cap+1l, -0x1.5a2f72276c57e24p-1l, -0x1.23d14c77b92b2f08p+3l
+-0x1.f550ee0dcfacd9d4p+2l, 0x1.84e05208934db23p+1l, 0x1.afcb71484bbb9288p+1l
+0x1.75c3756be3f78c88p+2l, 0x1.439497bcd9a88abp+1l, -0x1.b4df11e449f84b7cp+2l
+0x1.d7123a28ec634e2p-1l, -0x1.2654ce41f484041p+2l, 0x1.43ed5648933cb51cp+2l
+0x1.bbd98b119cd782e8p+2l, -0x1.1d5c54b705b4aafp+3l, 0x1.e9f3961e95ff2818p+1l
+0x1.ee25a1ce32c25708p+2l, -0x1.cf1788ea282b86p-3l, -0x1.1dd4fdd932de91b4p+2l
+0x1.a879eebae8e748f8p+1l, -0x1.155a27ee0f82555cp+2l, -0x1.38d6ed7b37ff5b0ap+3l
+0x1.1b987cfb8199c568p+3l, -0x1.3363afb5eebc9a38p+3l, 0x1.c5b01359408ecep-1l
+0x1.a27fbd96b050b2ap+2l, -0x1.804c8128041e8088p+1l, -0x1.5d64d25a8a0ee5f8p+1l
+0x1.67b4aac781c02d3cp+2l, -0x1.3495f8c8ad7b676p+3l, -0x1.f8b80c12ece607f4p+1l
+0x1.05aec2a958241ca4p+2l, 0x1.c55dbb753118d6fp+1l, -0x1.cf710f1abd84944p+1l
+-0x1.69da780f2521d218p+1l, -0x1.6569ec79b8dd053cp+2l, 0x1.ae2a3edee4cd5978p+1l
+-0x1.3cafa8a31fb602bp+3l, -0x1.d1b0b7d638877eap-1l, 0x1.99f4dd0ec4985808p+2l
+-0x1.2fd33da45b9c5ba4p+3l, -0x1.25c656375bdc19ap-1l, -0x1.843c608e5747eecp-1l
+-0x1.07e53a66bf590e14p+2l, -0x1.0e28fda095304af4p+3l, -0x1.16120b84128c25e8p+3l
+-0x1.92b3d92b58fa2bb8p+2l, -0x1.38dfc62564aa334ap+3l, 0x1.8ed55d262f4be1ap+2l
+-0x1.cbf87275067fe744p+2l, -0x1.0f0ef2970d89b13cp+2l, -0x1.e070022c5025c34p+2l
+0x1.656edfa1b7c278bp+1l, -0x1.f36d3fad1ee0b588p+2l, -0x1.715c3df3826be28p+2l
+-0x1.b81806cf987e3dep+2l, 0x1.6782c74753364cd4p+2l, 0x1.036a0f501d6b91fp+2l
+-0x1.585e71022bf343cp+1l, -0x1.7c5494433d310ea8p+2l, 0x1.1034380950b80e9p+0l
+-0x1.a41db0028ff46ef8p+1l, -0x1.2d8fcd4a22a77efcp+3l, -0x1.8e40eccda091e36p+2l
+0x1.113a04318e478c68p+2l, 0x1.c46fc8c3dda5b488p+1l, 0x1.0822b7c6b097a46p+3l
+0x1.48a09a59ba73308p+0l, -0x1.247686fe869afbcp-1l, 0x1.0fe26b44d4759f74p+3l
+0x1.367da1bbfa6e00e8p+1l, -0x1.9d9150243ba3ad74p+1l, -0x1.10fc017df3986804p+3l
+-0x1.a11f956013ae53ap+0l, 0x1.b96d8a20ed97b69p+2l, -0x1.011a94a9acc7ce04p+3l
+0x1.74a6f0d4c1e8c668p+1l, 0x1.1045e79f79bdc14p+1l, 0x1.bc0f9e70cbdb37f8p+2l
+-0x1.d8a541c5b6747698p+1l, -0x1.3dba3d61a2f41d52p+3l, -0x1.345d3bf71e3af4p-5l
+-0x1.00104677efcb929cp+2l, 0x1.8b4d6d45b954c24p+2l, 0x1.82686829232a9e1p+0l
+-0x1.e7bc7417dc78dadp+0l, -0x1.525a2b707f9e4a7p+0l, 0x1.6d5faa05100390d8p+2l
+0x1.042cc06bbecdf404p+2l, 0x1.9ff2630750804d6p+2l, 0x1.295591e7a922d14cp+3l
+0x1.05908858842cb5f8p+2l, -0x1.381ab482c6e7c90cp+1l, 0x1.b686d42c6549abbp+2l
+-0x1.2eaa469a27ba1494p+3l, -0x1.48af2e8a63a48f7p+2l, -0x1.b2c43833f67f2afp+1l
+0x1.4ebe0bf4d6f7a57cp+2l, 0x1.58a1f1afb10d6498p+2l, 0x1.fa265ed2681e9838p+1l
+0x1.623c7b8c0e050a4p-1l, -0x1.56f8487d1e66e23cp+1l, 0x1.8ef1981dc7864678p+2l
+-0x1.87e363588d780ap-2l, -0x1.00450ca39dae89fp+1l, -0x1.31ba7afa8867bbfp+0l
+-0x1.a11a7b07008cb028p+2l, 0x1.945131c5d66c5b68p+2l, -0x1.364d9dc2c41ac0e4p+2l
+0x1.4c035a5e283c8b08p+2l, 0x1.eb8211bd094a88cp+1l, -0x1.5dd2a1d9e67870d4p+2l
+-0x1.0403c59625f091ecp+3l, 0x1.aad43d09cc237c3p+2l, 0x1.4fdbc53514105524p+2l
+-0x1.265291048ceaf92p-1l, -0x1.e95845bde3f0343cp+2l, -0x1.af37f3943f7f641cp+2l
+0x1.7e17956fff5563f8p+1l, -0x1.67691fd34f906c4p+2l, 0x1.14dd5ac8dd326d2p+3l
+-0x1.1ecff55c659ad996p+3l, -0x1.0db20440552cad74p+3l, 0x1.fcf1e1a5294b9bcp+2l
+0x1.1723b11136d64788p+3l, 0x1.29b9cee3f8d61c8cp+2l, 0x1.e42a685a0308935p+2l
+0x1.d27e5267919dfafp+1l, -0x1.bc3756665a02749cp+2l, 0x1.302a4732b59934b4p+3l
+-0x1.20c97e46acbf61ap+3l, 0x1.3dd93d1879e05288p+3l, -0x1.33b418eb6a16d046p+3l
+0x1.0c6c60104ef530ap+2l, 0x1.87a7e6ba88b19aep+0l, 0x1.22b1dc03a04ed338p+2l
+0x1.e0c2f50544af9d2p+1l, 0x1.b120912bd7c80e6p-1l, -0x1.05e81edce440689p+1l
+-0x1.381866dd5e1ad8cp+1l, -0x1.14e2187770de50a4p+3l, 0x1.1f43cc5ec310d0fp+3l
+-0x1.edbd36aa8af21116p+2l, -0x1.d7fcb816ffb14328p+1l, 0x1.6148b09796b7008cp+2l
+0x1.8984d7937be696b8p+2l, 0x1.0166c406a0d08bdp+3l, -0x1.e6ce639344a8c31p+2l
+-0x1.2bcf3ed39dad8fc8p+1l, -0x1.3b74a2886004ef9p+3l, -0x1.4480c1a7ef8f8d3cp+2l
+-0x1.28556d0dfb25e54p+2l, 0x1.c8b4d843f8c11d2p+0l, -0x1.3933570d484b07eap+3l
+-0x1.a9d53e677bfce71p+1l, -0x1.1aeb6b5a745b911cp+2l, 0x1.1891852941517374p+3l
+0x1.57393737b025f35p+0l, -0x1.20ba580dfa5b22cp-1l, -0x1.1d2165635aa9799cp+3l
+-0x1.b98021eceaa1e1c8p+1l, 0x1.c8c708b96abc03ep+0l, 0x1.3d25232e25a2ca88p+2l
+0x1.e291645791b22acp+1l, -0x1.ec5b137f95e8efp-3l, 0x1.b740a48c8b72d7cp+2l
+-0x1.42f7fd466769d9d4p+2l, 0x1.0457ab47ce5d8d84p+3l, 0x1.7ba06584bb97b78p-1l
+-0x1.21f6aff7b0d3d464p+2l, 0x1.3a23620b2a9e6308p+3l, 0x1.20bb2948c865a5cp-2l
+-0x1.38eb68f386cf4c48p+1l, 0x1.012a75472b5a0e68p+1l, 0x1.4c303f1bc44b482p-1l
+0x1.4fe76211bf019f0cp+2l, -0x1.7ae624408edba8dap+2l, 0x1.78ec7cf855dfb88p+2l
+-0x1.15b1674328ec30d8p+3l, -0x1.3918a06b31c5539p+1l, -0x1.a0907f70c73e73fp+2l
+0x1.d0750f106a781318p+2l, 0x1.19de73e536e8874p-1l, -0x1.b9796b685843e7p+2l
+-0x1.64ed6dd409be8784p+1l, 0x1.ffcf498706e2e32p+2l, -0x1.ff40934f00278p-7l
+0x1.8bac48c3838b60bp+2l, 0x1.fca5c8cc449313p+2l, 0x1.d1362ddc34fd87ap+1l
+0x1.217d575167b207a8p+2l, 0x1.53f59d5dce4857p-1l, -0x1.b2505753432fd5b8p+2l
+0x1.53172777f77806ap+1l, -0x1.9c8b2c198c46747cp+2l, 0x1.a77e1be0a11534p-1l
+-0x1.363077aa786203e8p+2l, -0x1.ae4a6bc4f5590194p+1l, -0x1.08f16a3b1497242cp+3l
+0x1.0ef918fc35e4dafp+3l, -0x1.c1d989b23af91cfp+0l, 0x1.eb452d527f2b9f5p+2l
+-0x1.068225081ef666dcp+3l, 0x1.c4449822eaf5e9bp+1l, 0x1.6f09be5a9ff64368p+1l
+-0x1.3718e4a563340b5p+1l, -0x1.5fcc2c0bdb440c8cp+2l, 0x1.058fccb0a22c5a2cp+3l
+0x1.31bd7ea0feaf5d6p+1l, 0x1.e347b9d23d4e304p-2l, -0x1.c1eeb6a0f367c07p+2l
+0x1.d5b8aae36d36392p+0l, -0x1.4a134f28d182d538p+2l, -0x1.49a417f32a79f8ap+0l
+-0x1.802270e56e09d578p+2l, 0x1.b8e807a06d3657ep+2l, -0x1.bb72d6795519671p+2l
+-0x1.056447346ee2868p-1l, -0x1.e10e6d3821969dcp+0l, -0x1.2a7048cef11de9ep+2l
+0x1.b53f7137dacaddp+2l, -0x1.72f7ee0d5c9585cp-2l, 0x1.47871875d51c1d6cp+2l
+0x1.ed2c1ffd205ab24p+1l, -0x1.c74df9e10aba921p+0l, 0x1.1d0f8a3735c0fc48p+3l
+0x1.8622c5ad795f8b5p+2l, -0x1.8f9b4771580a0a7cp+2l, -0x1.f77f00d815ad81bap+2l
+-0x1.f355ba911f530c68p+2l, -0x1.eb8514dbe878f6fp+2l, 0x1.36859f1d9bcd5284p+3l
+-0x1.9b196f4d97fc82fp+1l, -0x1.2445e72e50acb6e8p+2l, -0x1.10b1e411333423a4p+2l
+0x1.32154310de816d34p+3l, -0x1.c6eec8142d1929c8p+1l, 0x1.db36a5f9d7b1803p+2l
+-0x1.3937b7c5b43c2708p+3l, 0x1.4b7596ca330c6fd8p+1l, 0x1.26a1135bc05b7a3p+2l
+0x1.66582b1c2fa49e3cp+2l, -0x1.79fd00a93cd18e7cp+2l, 0x1.0f4b2f9a3d7062c4p+3l
+0x1.2ba9de24d73448f8p+2l, 0x1.826bd84ef7c2886p+2l, 0x1.9f15a10661a227p+2l
+-0x1.5cf97a7401b146cp+2l, -0x1.1cf048d1d074546p+2l, 0x1.d2cfa201e1cf4dbp+1l
+0x1.136c4d88fab8d21p+3l, -0x1.151be91747e49ac8p+1l, 0x1.13276acc0a34ef8p-1l
+-0x1.9a672221fae41f1p+2l, -0x1.6c86efbbac945838p+1l, -0x1.1dfe02a531abf61p+3l
+0x1.fe8d2279cb1da298p+1l, -0x1.8a7e5dd58c0065dp+0l, 0x1.6c161cb7bc5b8298p+1l
+-0x1.df3530007af24b9p+1l, -0x1.fb6d4eb175efc52ep+2l, -0x1.272805969ce0f434p+3l
+-0x1.56b382270911b918p+1l, 0x1.e0ccbd81128851ep+1l, 0x1.784488b770f5bfep-1l
+0x1.16dae33269178eacp+3l, 0x1.37c6421617bbb9d8p+1l, -0x1.1ecd8eda21dfd2bcp+1l
+0x1.3e47d53fe52e9c98p+1l, -0x1.c364a5bf4b7f54bp+0l, -0x1.1994ee433bcfa8cap+2l
+-0x1.847e5b1dc2d17abp+2l, -0x1.ac074fe57221f0dp+1l, -0x1.eadc101596b00808p+2l
+0x1.72d14be23d83602p+1l, 0x1.3dd9a9330da230acp+3l, -0x1.2ad9d825b7878e34p+2l
+0x1.6a225763e728185p+1l, 0x1.0b5e34f1dc329b8p+0l, -0x1.0cdd4e348d2514e4p+1l
+0x1.1af4f83daff5f6b8p+3l, -0x1.2049a8a9f2151e6p+1l, -0x1.dc5df10428d76efp+0l
+-0x1.62d5d02eabbab42p-1l, -0x1.0c76a12d0d2e45d2p+2l, -0x1.d5c1b72e84a2394p+2l
+-0x1.ea6ce8043e88324p-1l, 0x1.da6a76cd32cf25p-1l, -0x1.2f78e8bafd6cfbf2p+2l
+-0x1.117a1b6a471d79f8p+1l, 0x1.9d0d5fe02bd235b8p+2l, -0x1.12a3e8fd7ef0e264p+3l
+-0x1.10dbc4567d232c1ap+3l, 0x1.81e0425e3aa458d8p+2l, -0x1.9837b78ecaa84486p+2l
+0x1.2f02c20d5fb162p+3l, 0x1.06cb918cd634763cp+3l, -0x1.94a4347a9ceb9e0ep+2l
+0x1.113549d6c20f8a2p+1l, -0x1.d8aca74f1cb90db4p+2l, 0x1.7e733b2eca26e2b8p+1l
+-0x1.3a8908bf717adebcp+2l, 0x1.003445b339de3bap+3l, -0x1.cd1bfd0caad5c8fp+2l
+-0x1.3c1d3d7f01f2be02p+3l, -0x1.78e27775d86d471p+1l, -0x1.2c11fbe049663c2ep+3l
+0x1.1ff1d4f7d806ed2p+2l, -0x1.0c8fd1054c1f78p-1l, -0x1.81925cc1bc0b125cp+1l
+-0x1.bf457e2cc14ca6p-1l, 0x1.f6d52d5660c129p-4l, 0x1.0a2839038ad2a3fp+3l
+-0x1.2e811a25fea37d5ep+3l, 0x1.f8c2f86f015730c8p+2l, -0x1.25f869b0303cd2e4p+3l
+-0x1.9c589a4ee47af7bp+0l, -0x1.c108a89211e120fp+2l, 0x1.2c4539e3022d482p+1l
+-0x1.eba0b393026ecb62p+2l, -0x1.3d4fce82c3527cdep+3l, 0x1.65d93f69832d682p+2l
+-0x1.ba71882f8fc7e41p+0l, 0x1.ec6f00c30fe63098p+2l, -0x1.da1a084d9dac7f18p+1l
+0x1.852617a0fc5d2628p+1l, -0x1.0a7abb802dccccep+0l, -0x1.17e7c82e2efcaf74p+3l
+-0x1.4ab19a96521e9cep+0l, -0x1.b78bafe804f131fcp+2l, 0x1.1021538b9792c13p+0l
+0x1.d6894ff7f3b7375p+1l, 0x1.c858f9f9c4a81fcp+2l, -0x1.508f555da54ef04p+0l
+-0x1.ea8a7e80e22ce4dp+1l, -0x1.3d750afdaa726dp+3l, 0x1.04fda2e4ac62b618p+3l
+0x1.4d7faf8d2371543p+2l, -0x1.8b98b470c79b3a18p+2l, 0x1.3c30880bf083c6f8p+2l
+-0x1.200a43600527badcp+2l, -0x1.50741c4c10002ep-2l, 0x1.522118cbe228953p+1l
+-0x1.42822178c8a5e448p+1l, -0x1.b2a0494f427e058p+2l, 0x1.ad8f94cb239f0a5p+2l
+-0x1.952f12e4b05c0b7p+2l, -0x1.52afc3209515bda8p+1l, 0x1.657f92bb16167164p+2l
+-0x1.cf8b459b7aaf0f6p+2l, -0x1.cedc0b516945bc2p-1l, -0x1.66fbfbe8354ddd48p+2l
+0x1.e9fcb20116fb6018p+2l, -0x1.094cad576448b27cp+1l, -0x1.328dc712666f998ep+3l
+-0x1.79ae4702e6eb1ba8p+2l, -0x1.25668553408d26a8p+1l, 0x1.d7e1a92443c996p+0l
+-0x1.40765611e5e653bcp+2l, -0x1.be5e037d54cdf5dp+0l, 0x1.8092fdae61ad19c8p+2l
+0x1.6b7b860f91bfaaep-1l, -0x1.6983ea1be13c1c64p+2l, 0x1.8f32ce50a8419f7p+1l
+0x1.acf6b87ec24202fp+2l, 0x1.7b6d1e923789d5fp+2l, 0x1.3f513909bf5f573cp+3l
+0x1.1637fbd5d187f624p+3l, -0x1.bf385d9ba36b2868p+2l, -0x1.3ff5f915414ef8f8p+3l
+-0x1.002ec39bc45dcb8p+1l, 0x1.3d626ef301ef357p+3l, -0x1.b44f86c2ff1f628p+2l
+0x1.b8cbf136b46757cp-2l, -0x1.95b5ffedceb0bd4cp+2l, 0x1.114f1948a75c5044p+3l
+-0x1.5f294e8cb7962bep+0l, -0x1.e6417c03ca508ea4p+2l, 0x1.687093eb03868b7cp+2l
+-0x1.c5bf4de8eb643b58p+1l, 0x1.f99ad8ff61286acp+0l, -0x1.94c73dafff2ab93cp+2l
+0x1.1af774b4f533f17cp+3l, -0x1.6c4461a1c5faa5f8p+2l, 0x1.094feafce11adce8p+1l
+0x1.2eafe1bec02a9fc8p+2l, 0x1.f63b4a200cfcb9e8p+2l, -0x1.37daa90d2063271p+3l
+-0x1.cf34330ba361642p+2l, -0x1.31597f14f6cf6ab4p+1l, -0x1.9e6f0154b8561aap+2l
+0x1.707439e39018eb2p+1l, 0x1.0cf99f146ac3ffd4p+3l, 0x1.2c8c6f0fe1ec8964p+2l
+0x1.6e167bd8ee145464p+2l, 0x1.27297fcb95af566cp+3l, -0x1.574e9d54971e6eb8p+1l
+-0x1.1b6567d9a122655p+3l, 0x1.8d787b252af63b88p+2l, -0x1.6b23a4343701f08p-2l
+0x1.4ec64553342ff6p-4l, 0x1.10062ecc5413998cp+2l, -0x1.b31a3dd1026da4fp+2l
+-0x1.1978066457caeedap+3l, 0x1.1b4cd5b41fa748a8p+3l, -0x1.191803dab35ce30cp+3l
+-0x1.27cb7709040e02f8p+3l, -0x1.b804fe36b81abb9p+1l, -0x1.30ccf3f0bb29939p+3l
+-0x1.e69dbcb3933a1ccp-1l, 0x1.188c1d110139caa8p+2l, 0x1.33e395aa40a24028p+3l
+-0x1.00537ee9511bcf4p+3l, 0x1.462a6d2f79e4b86cp+2l, -0x1.e9d81a482c7d975cp+2l
+0x1.77b3f6740e500ap-4l, 0x1.5a65d6c1803e0a6p+0l, 0x1.dc308be4f6584768p+1l
+-0x1.68164f43e055456p-1l, 0x1.81540d91db7830ep+2l, 0x1.15f53dfeaa6a9bep+0l
+-0x1.e930a21e15bac61ap+2l, 0x1.47b35e055226dc7p+1l, 0x1.7f566d9a383980e8p+2l
+0x1.a5b7f7e9d19f07dp+2l, -0x1.0ec02da79dba9e64p+2l, -0x1.1acf441d25ef5124p+2l
+-0x1.e8140a8265b2f18p+0l, -0x1.c133845b8222c76p+0l, -0x1.166309ad59329a4cp+3l
+-0x1.1d39f73be4a10fbp+1l, 0x1.a2c319f756d3b5p+2l, 0x1.3f0971df2cfb256p+3l
+0x1.084be3ad95bd9138p+3l, 0x1.14db3ffc1cfde5fp+3l, 0x1.643db9d88b2f5588p+1l
+-0x1.3a909df32847fe6p+3l, -0x1.21711afdbf80a74p+0l, 0x1.bde8ed1ea48a487p+2l
+0x1.c114c080a16a285p+2l, -0x1.41a9fa15a350750ep+2l, -0x1.8989b98e4b7af37p+2l
+0x1.fba651e8c688715p+1l, -0x1.797ddaefad20b504p+2l, -0x1.75008a92ab3e514p-1l
+0x1.385b08c1460f0aacp+3l, -0x1.8217c128f0422834p+1l, 0x1.3f1ca5b00e0dc144p+2l
+-0x1.64355cfa1283e95p+1l, -0x1.a16374e03637e104p+2l, 0x1.4e0ca7b363825a2p-1l
+0x1.4b6f8177ff9b672p+2l, 0x1.7db65c1626d40a18p+2l, 0x1.0846c46f35863b04p+3l
+0x1.4d2b69668437bb8p+1l, -0x1.096ad51e3291651p+2l, 0x1.69c924727d82faep+0l
+0x1.6a5ec1a96a232b3p+2l, 0x1.19d8d1be7898b4p+3l, 0x1.25c5a6d4243160ap+2l
+-0x1.0f746bae5b69c26p+3l, 0x1.69144f679e088718p+2l, -0x1.9173f3a50b828aap+1l
+-0x1.1c791daa835c6bbp+3l, 0x1.30dfcd8d93c4a11cp+2l, 0x1.4f300411072d9188p+2l
+0x1.1450c31f33d7297p+3l, 0x1.42eee8d197f108dcp+2l, 0x1.e3a96c696380e328p+2l
+0x1.d7e0803e5dabaebp+1l, -0x1.8ce1043bb23a5a98p+1l, 0x1.791ffb1b3734ca5p+1l
+-0x1.a5d0960a3db74a48p+2l, -0x1.0439e6bfbf45233p+0l, 0x1.6223d7222488b28p+2l
+0x1.01b3913c90c53968p+3l, -0x1.1fd2c08cd40aa282p+3l, -0x1.0f428d215619ea3cp+3l
+0x1.9014535d71d5309p+2l, -0x1.2d9750e6a4d61afp+0l, 0x1.3cf34cd8a95963d4p+3l
+-0x1.008900bc1b612d1p+3l, -0x1.a11a8e2d7969ac98p+1l, -0x1.144a4cc9e018e1ap+0l
+0x1.d7e536b1a2f0b78p-1l, -0x1.10f12ae9887052c8p+3l, -0x1.a51864de70254934p+2l
+-0x1.a5875a1f6aa09ff8p+2l, 0x1.6060180b1d7a97ap+0l, 0x1.47d729f36248ed0cp+2l
+-0x1.33e4eba049196f42p+3l, 0x1.64d99de3a3cdd7b4p+2l, -0x1.a21892aefa11d99p+1l
+0x1.b922b94dfd2166p+1l, -0x1.9b690948bfc99c8p-3l, -0x1.2fa780e093f914acp+1l
+0x1.b0f19ccf50672db8p+1l, -0x1.a0716d6fad06a188p+2l, 0x1.13e66c9ca763e03p+3l
+-0x1.a48848cc1ab0edaep+2l, -0x1.d2434abe647a338p-3l, -0x1.356c99fd8c7eed08p+3l
+-0x1.28e1756679d8aa44p+3l, -0x1.01b9c5996e59486p+2l, 0x1.90c0a5ada48918ap+0l
+0x1.59f25ef81f5d0d5p+0l, -0x1.ec5a3ad4f1da36ccp+2l, -0x1.4271d2eace670fap+0l
+0x1.31cd10f34ce1c8cp+1l, -0x1.336227e3139daa5cp+2l, -0x1.1ca42e361200026p+3l
+-0x1.50f8d4adf807e17ep+2l, -0x1.09d88d20ac253eecp+3l, -0x1.30baec5bc503139ap+3l
+-0x1.c0214958d63ab1p+2l, 0x1.3ca434570aa3358p+1l, 0x1.cc22d9dc89f0067p+2l
+-0x1.62ce487de1947f48p+2l, -0x1.4ac8683879d80b8p+2l, 0x1.d294bcd068c9274p+0l
+0x1.3c7ae70cdd64d748p+3l, -0x1.333a89f339f233eep+3l, -0x1.3d3ae479a9c9dd48p+3l
+0x1.c03e25ead21c0eap+2l, 0x1.fe1ae48bc207b43p+2l, 0x1.883a2e7c23d79d78p+2l
+0x1.1390d788c43a494p+3l, -0x1.263cd2b4774a86fp+0l, 0x1.da86e3d91de5ddap+2l
+0x1.d355995fad81f5dp+2l, -0x1.ff356252d46fc7p+0l, -0x1.3798ef192cd0ca38p+1l
+-0x1.e53c4b1ee455bb78p+2l, -0x1.de88996821a3c5ep+0l, 0x1.93440027c763e028p+2l
+-0x1.6fd3c1c8ce30cee8p+1l, 0x1.9537c6361b1dd55p+0l, -0x1.43df88fc86ecb5ap+1l
+-0x1.0b996ad851e6babp+0l, 0x1.70d2bee34515939p+1l, 0x1.8961d8250cd64888p+2l
+0x1.d4f57aaed5698458p+2l, 0x1.9aa17cd8770b81ep+1l, 0x1.e3df51b1e29bff8p+2l
+0x1.ed2b85476710232p+2l, -0x1.05f141be13709878p+1l, -0x1.11546cfec73edc96p+2l
+-0x1.6cdd49bab04a871ap+2l, -0x1.01387071cc641e6ap+3l, 0x1.3595b17cb57df26p+3l
+-0x1.dd730f78c88cb1a8p+1l, -0x1.a8f7ebe669d5af88p+2l, 0x1.d5be337905c8e63p+2l
+-0x1.ac11402b42e2a6dcp+1l, 0x1.28528806b0d3542p+0l, 0x1.de3612840e03c04p-2l
+-0x1.173728eabaa553ap+3l, 0x1.46ff703b2cfae728p+2l, -0x1.ff78641689c69166p+2l
+-0x1.83344f3aea96214p-1l, 0x1.1edf1d6e02bdc74cp+2l, -0x1.25654a3cffc639d6p+3l
+0x1.9864c3909d4bfffp+2l, -0x1.b1e73ecd3e2b40dcp+1l, 0x1.5dda98bb0a3ad03p+2l
+0x1.f32c92f4f78c521p+2l, 0x1.32a5f907fa801dbp+0l, 0x1.58ec0f158cef39a8p+2l
+-0x1.66d27efd6c39b24p-2l, 0x1.4bb07b70447f57dp+1l, -0x1.253b791853aecac2p+2l
+-0x1.2c625f43e54df6p+0l, -0x1.0e30076555b5c034p+2l, -0x1.266a5b48ce13a1p+2l
+0x1.977ecdeb602d31p-1l, -0x1.3883bbf1a35f4344p+2l, 0x1.f7edeb16e73fecp+0l
+-0x1.0935173f3f9d518ap+3l, 0x1.fd7557ffcdceb1e8p+2l, -0x1.f6ed8527ac7cb668p+1l
+-0x1.fbe4c8934af13dcp-1l, -0x1.9ce0a4f3cad64684p+2l, -0x1.73b19102315573d4p+2l
+0x1.14d502abbff061bp+3l, 0x1.141f3e9c8d6dc718p+3l, 0x1.564f5cfcec8b0dcp+2l
+-0x1.2c600e86ecc1b33p+3l, 0x1.7c9076f0978d36ecp+2l, -0x1.be51c94111c3eb8p-3l
+-0x1.23776c54e51d1fcp+0l, -0x1.29644ff552ef0542p+3l, 0x1.20f18c0842cb621p+2l
+0x1.094d48a57411f828p+3l, 0x1.84db3389018c04fp+0l, 0x1.75d45a8a871e2bdp+1l
+0x1.356cb9ce71de5a9p+3l, -0x1.1c23ca896ad531dp+2l, -0x1.2d274015b101e6bp+0l
+0x1.fd03964cb1c0d2dp+1l, -0x1.9e80a1ce808bb53ap+2l, 0x1.44c203bf11677e8p+1l
+0x1.74881f6ecbe95ecp+2l, 0x1.1675004f813aa81p+0l, 0x1.3911a43ee1215268p+1l
+-0x1.933937a4c87d217p+0l, 0x1.0906d1a48a40d674p+3l, -0x1.91dc884167f941cp+2l
+0x1.e353f1f1b82c25p-3l, -0x1.55df35e6bfbbf1ccp+1l, -0x1.b4acc2138b72a698p+1l
+0x1.1ad388b945149af8p+3l, 0x1.40eda0cf2747d774p+2l, 0x1.f4fc9582ac1a9fap+1l
+-0x1.e6b937f497fd2d4p+1l, 0x1.7d79ce5b22e975ecp+2l, -0x1.ca0076ec192b33ccp+2l
+-0x1.d26e931216746cbcp+2l, 0x1.c3b173a065e9d56p+2l, 0x1.194b4d19fb034f38p+1l
+0x1.91b6165df88bdcp+1l, -0x1.302654e76f7029ccp+1l, -0x1.8ab76a1bed63fb68p+2l
+0x1.185972e08e22286cp+3l, -0x1.7de15666a1d7f90cp+2l, 0x1.092c016b53f085e8p+2l
+0x1.02ea42fe716b725cp+3l, 0x1.367cd4027da64f8cp+3l, 0x1.8a39f5f893258ea8p+1l
+0x1.16e188f802cc4bc8p+3l, 0x1.d4258ebf2c506078p+2l, -0x1.214a4d2cdf618602p+3l
+-0x1.2684fe1378468678p+3l, 0x1.016db67f2aef1e3p+0l, -0x1.24274f45fe5acbd6p+2l
+0x1.3270b70e1d39fc2p+2l, -0x1.584119d1be6b0f64p+2l, 0x1.c91c8cd693067b8p+2l
+0x1.37364d6dcc55a22p+2l, 0x1.1a04c18d6fca7e3p+1l, 0x1.09fd58ad7595cbdp+3l
+-0x1.ac42e4dd39ec1508p+2l, -0x1.3bc0ce5414623838p+3l, 0x1.e11b2acd6b4d737p+2l
+0x1.c70a4eeeb7cb41b8p+2l, 0x1.d98851a57ec0aa7p+1l, -0x1.60a81742fd5e92b2p+2l
+-0x1.9df01ab78c00e446p+2l, -0x1.64c965e930dbd5p+2l, 0x1.100624958ff32cc4p+3l
+0x1.6b13a54d7707332p+1l, -0x1.032a8ae384830dacp+2l, 0x1.5bdbc00a668b3044p+2l
+-0x1.cffbbf4b7f78d98p-3l, 0x1.c8a74e54f1ac687p+1l, 0x1.67a93c0088466e58p+2l
+-0x1.2ead165139fe09d4p+3l, -0x1.27633afe04ce4cecp+3l, 0x1.0c80bc8626e2fe04p+3l
+0x1.6bc946245d8d1bep+2l, -0x1.c9a702d31f87b6ap+1l, 0x1.006172202855ff64p+3l
+-0x1.b0e1229c014d7eaep+2l, 0x1.34605e766d2c3dp-4l, -0x1.62a277831a72288p-1l
+-0x1.3d38ac743e0e0326p+3l, -0x1.068a3c3f487e77p+2l, 0x1.b79e8bf1b20c8f08p+2l
+-0x1.1f78b3dd248f96e2p+3l, -0x1.79e48a2fa95941a2p+2l, 0x1.472a7ac847712f2p+0l
+-0x1.2bde0ffc591e84a6p+2l, 0x1.18db0f6bbb6e738p-2l, 0x1.673af37d7e1c4048p+2l
+-0x1.9f28e59d0e6035a8p+1l, -0x1.2ff79602bc74c458p+3l, -0x1.b64c8024b74af248p+2l
+-0x1.3c1c6d5ae2a6be8p-3l, 0x1.1608ea006f1803ep+0l, 0x1.ddd50e16a8e2c0bp+1l
+0x1.e97f8f4a7417bcd8p+2l, -0x1.3e3124932b250744p+2l, -0x1.0f3d542f2aa3f4dap+2l
+0x1.0b6eb3b9d65eef74p+3l, 0x1.7b425fc73fd6c64p+0l, 0x1.b05ab83f1e031478p+1l
+0x1.6b7bfd5ad9abdadp+1l, -0x1.193d647bd0e1b78p-2l, -0x1.c36e528fe848714p+1l
+0x1.365e721de0d5b97p+3l, 0x1.99abc736ef97604p+2l, -0x1.0aebb95fa5f15bep-1l
+0x1.35720e910a463e5p+2l, 0x1.5d846bb69009347p+1l, 0x1.48986101f377b6f4p+2l
+0x1.67a8fe4696c4a378p+1l, 0x1.fc56dcda278f1c38p+1l, 0x1.df21db637826467p+0l
+0x1.3ca1cf76549b11b4p+3l, 0x1.67cf47643314a928p+2l, 0x1.ff6e84d0db33b738p+2l
+-0x1.05aef52772181d3cp+3l, -0x1.73bf471d232c538p-3l, 0x1.3d463e81ead33accp+3l
+-0x1.39835f4c29e32f58p+1l, 0x1.c695d192d546f8bp+1l, 0x1.7c861b5bf67f2dbp+1l
+0x1.297110de97aa0bc4p+2l, -0x1.9902a5af3cd5431p+1l, 0x1.2be8dabd09a80f98p+2l
+0x1.3a167f754c40bfcp+3l, -0x1.36d4837776d4d83cp+3l, 0x1.81f031566a941828p+2l
+0x1.9f7d46c4bbbc5738p+2l, 0x1.0137052117d8d4b4p+3l, 0x1.694bb475d00a9958p+2l
+-0x1.e98dacb99fbe668ep+2l, -0x1.ed76bd1c02688d68p+2l, 0x1.b0e217938f8607p+2l
+0x1.2adfb385b919a08p+3l, -0x1.20efd803cb9871acp+3l, -0x1.90e56a7010ed5d1p+0l
+-0x1.7be31a8a005330ep+1l, 0x1.1c8dce7c1bf47444p+3l, -0x1.4d36f534d79efcecp+1l
+-0x1.4b5bc2ec4dfe99p-2l, -0x1.ce315c261cff5d1cp+2l, -0x1.38e64d201d0b02cp+2l
+-0x1.0f9d11ef91358488p+1l, 0x1.a34b1a63b1f795cp-1l, 0x1.f79d6361cc28fa8p+0l
+0x1.3bd22c7f2e787378p+3l, -0x1.56b7e2d9baa52176p+2l, -0x1.34181b17f06ffa58p+3l
+0x1.74724d45de4a2c2cp+2l, -0x1.6d0582c8050b4618p+1l, -0x1.e7c52ef888d6ac9cp+2l
+-0x1.c46b73382e42873p+2l, -0x1.b8bb7004db63a3cp+2l, 0x1.ccda5ff24b4a574p-1l
+0x1.3a41485063cc120cp+3l, 0x1.d8d34640fb80a088p+2l, -0x1.21bb93ea66ab23f2p+3l
+-0x1.71341551e1ed8ac8p+1l, -0x1.07fc2a29916e6664p+3l, -0x1.25b0600ca2d8a88p+3l
+-0x1.57c4496d85570864p+2l, -0x1.335878f42825686p+0l, 0x1.03dd6a168844e5bp+3l
+0x1.d68d7f1179e3879p+2l, 0x1.024302d05629022cp+3l, 0x1.b68a191872f8685p+1l
+0x1.0aca58d9ef4d8f68p+2l, 0x1.1db9a27be52952bcp+2l, 0x1.1578d22b47fd9f4cp+3l
+-0x1.37eadd745a75cdccp+3l, -0x1.3024eb96e2dd566p+3l, 0x1.acb8a31c648503fp+2l
+0x1.405e93180559ed7p+2l, -0x1.99f9a97a1a7501p+1l, 0x1.fb917114aeddde3p+0l
+0x1.258b45e2718993acp+2l, -0x1.25516e731aacd9b4p+2l, -0x1.c6aae5de001fda88p+2l
+0x1.66cd58bf3972ab6p+1l, 0x1.b55e8d3e74a47bap+2l, -0x1.0a01419fab81633ap+3l
+0x1.f68a870908396a48p+2l, -0x1.fcba7a90458c5cap+0l, -0x1.e0a731ee4d3d62f8p+1l
+0x1.0074bcefcc8609e4p+3l, -0x1.f2f05d6006c8f74p+2l, -0x1.02b69b1143a2aedap+3l
+-0x1.1303579b366b5d8cp+2l, -0x1.5fe7f9b43b4f597p+0l, 0x1.8f20b70a712a939p+1l
+-0x1.b51e9762213c76f8p+2l, -0x1.1d4e8e6a9f14b5p-1l, 0x1.7886fe788cd1b1ep+1l
+0x1.f5cd66a2fa478348p+2l, -0x1.0f1b0b139cb93954p+2l, -0x1.24ba9d4d12d20ce4p+1l
+0x1.01f0c0de3246f08p+0l, 0x1.f417f5624546c16p+0l, 0x1.3ad305e105590258p+3l
+0x1.123ff2365bc0e8dp+3l, -0x1.a6d72c5e79a369ecp+2l, 0x1.1ee1905e33dcdad8p+3l
+0x1.6a0fd5ea119205d8p+1l, -0x1.4e83e457e953eeecp+1l, -0x1.2f400c0b3db23e88p+3l
+-0x1.e7018859971e17b2p+2l, -0x1.291a1f6810ae5a8p-2l, 0x1.caf575963b9aee2p+1l
+-0x1.2749b5f7f49d6344p+3l, -0x1.33c1ce446f96842p+2l, 0x1.0b93698bd24c86c4p+2l
+-0x1.5c052087cebd196p+0l, 0x1.820b7eb202d71b2p-1l, -0x1.fb63e3b3d18f7e8cp+2l
+0x1.002ec2458e346d5p+3l, -0x1.4ece61a27ddfdca8p+2l, -0x1.b8bc99b5afcbe6c4p+2l
+0x1.705c88acf459969p+0l, 0x1.473806793c21a8ep+0l, -0x1.0c61640f66d1a704p+3l
+-0x1.b78635d808a2ea04p+2l, 0x1.456941310c3ab5p-2l, -0x1.0675fe2f7060b84p+0l
+0x1.0e89607670a4e128p+3l, 0x1.bdaa45961296a758p+2l, 0x1.9ec1a130dcb6929p+1l
+0x1.1ce56b384becaa8p-1l, -0x1.a703ab7a6e0aa24p-1l, -0x1.40a6dded4f03d8p-5l
+0x1.b5ae9efb5c2b58fp+2l, 0x1.740aa12115f54e54p+2l, 0x1.34e7e0ab980d621p+3l
+0x1.75ad5702f67281acp+2l, -0x1.ca210c536c5834bap+2l, 0x1.3b7f55c5b8b0a498p+3l
+-0x1.05067455d8a3b57ap+2l, 0x1.87b17cae1992e0ap+2l, -0x1.0adcb6cd3552bf76p+3l
+0x1.85ea7006ab91501p+1l, 0x1.1a684cad8404cae8p+2l, 0x1.e7ebe1c0009d0b78p+1l
+0x1.3396b1d4b2cd236p+3l, 0x1.24246a9967c6a3dp+1l, 0x1.e079f0aa5f50ad88p+1l
+-0x1.69bcd24dccc58d02p+2l, 0x1.129f62a3fa0965ep+2l, -0x1.2666c569d6ce645p+1l
+-0x1.36165c11f25028fap+3l, -0x1.8f32481a27d8301ep+2l, 0x1.0097a06aca7e65f4p+3l
+-0x1.e591bfea28b7676p-1l, 0x1.aeaf1a9b3f1d8dap+2l, 0x1.702d69c8e1b327e8p+2l
+0x1.13341f5e1b3e2108p+3l, -0x1.4d5c5da9fefa767ep+2l, 0x1.604ac7115725c87p+2l
+-0x1.35f4e2dfc0cf2176p+3l, -0x1.12899a211023a2b8p+2l, 0x1.8c8191ab5fee954p+0l
+-0x1.3d059266ca412948p+2l, 0x1.81c198a4e65a748p+2l, -0x1.cde8b8ed8e5ec10cp+1l
+-0x1.52d644d97efe7198p+1l, 0x1.dc5d6f5ae604eacp-1l, -0x1.2355b748604bea5ep+3l
+-0x1.04c95482609c4e9p+2l, 0x1.2fbc60b330212d4p+1l, -0x1.02a1b5c929ecd85p+2l
+0x1.13172e3d5722879p+2l, -0x1.1dc2f659e6ded028p+2l, -0x1.6cf3f43b431e3334p+1l
+-0x1.74235a92018d26fcp+2l, -0x1.9ef6164c7d635e0ep+2l, 0x1.7de8d64e65e5bf1p+1l
diff --git a/benchtests/powl-inputs b/benchtests/powl-inputs
index 5683eae562..851e4107ff 100644
--- a/benchtests/powl-inputs
+++ b/benchtests/powl-inputs
@@ -1,6 +1,7 @@
 ## args: long double:long double
 ## ret: long double
 ## includes: math.h
+# Random inputs in [0,10]
 0x1.396f9b1246899f8ep+0l, 0x1.c6ee6e790b0bbe14p-1l
 0x1.c5d84ecab6e84c6p-3l, 0x1.fae9ef3a730214d2p+2l
 0x1.f3b0618dee077634p+2l, 0x1.c5d394bf7e64b3acp+2l