aarch64/fpu: Add vector variants of erf

Reviewed-by: Szabolcs Nagy <szabolcs.nagy@arm.com>

1 files changed, 800 insertions, 0 deletions

diff --git a/sysdeps/aarch64/fpu/erf_data.c b/sysdeps/aarch64/fpu/erf_data.c
new file mode 100644
index 0000000000..6d2dcd235c
--- /dev/null
+++ b/sysdeps/aarch64/fpu/erf_data.c
@@ -0,0 +1,800 @@
+/* Table for Advanced SIMD erf approximation
+
+   Copyright (C) 2024 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <https://www.gnu.org/licenses/>.  */
+
+#include "vecmath_config.h"
+
+/* Lookup table used in erf.
+   For each possible rounded input r (multiples of 1/128), between
+   r = 0.0 and r = 6.0 (769 values):
+   - the first entry __erff_data.tab.erf contains the values of erf(r),
+   - the second entry __erff_data.tab.scale contains the values of
+   2/sqrt(pi)*exp(-r^2). Note that indices 0 and 1 are never hit by the
+   algorithm, since lookup is performed only for x >= 1/64-1/512.  */
+const struct erf_data __erf_data = {
+  .tab = { { 0x0.0000000000000p+0, 0x1.20dd750429b6dp+0 },
+	   { 0x1.20dbf3deb1340p-7, 0x1.20d8f1975c85dp+0 },
+	   { 0x1.20d77083f17a0p-6, 0x1.20cb67bd452c7p+0 },
+	   { 0x1.b137e0cf584dcp-6, 0x1.20b4d8bac36c1p+0 },
+	   { 0x1.20c5645dd2538p-5, 0x1.209546ad13ccfp+0 },
+	   { 0x1.68e5d3bbc9526p-5, 0x1.206cb4897b148p+0 },
+	   { 0x1.b0fafef135745p-5, 0x1.203b261cd0052p+0 },
+	   { 0x1.f902a77bd3821p-5, 0x1.2000a00ae3804p+0 },
+	   { 0x1.207d480e90658p-4, 0x1.1fbd27cdc72d3p+0 },
+	   { 0x1.44703e87e8593p-4, 0x1.1f70c3b4f2cc7p+0 },
+	   { 0x1.68591a1e83b5dp-4, 0x1.1f1b7ae44867fp+0 },
+	   { 0x1.8c36beb8a8d23p-4, 0x1.1ebd5552f795bp+0 },
+	   { 0x1.b0081148a873ap-4, 0x1.1e565bca400d4p+0 },
+	   { 0x1.d3cbf7e70a4b3p-4, 0x1.1de697e413d28p+0 },
+	   { 0x1.f78159ec8bb50p-4, 0x1.1d6e14099944ap+0 },
+	   { 0x1.0d939005f65e5p-3, 0x1.1cecdb718d61cp+0 },
+	   { 0x1.1f5e1a35c3b89p-3, 0x1.1c62fa1e869b6p+0 },
+	   { 0x1.311fc15f56d14p-3, 0x1.1bd07cdd189acp+0 },
+	   { 0x1.42d7fc2f64959p-3, 0x1.1b357141d95d5p+0 },
+	   { 0x1.548642321d7c6p-3, 0x1.1a91e5a748165p+0 },
+	   { 0x1.662a0bdf7a89fp-3, 0x1.19e5e92b964abp+0 },
+	   { 0x1.77c2d2a765f9ep-3, 0x1.19318bae53a04p+0 },
+	   { 0x1.895010fdbdbfdp-3, 0x1.1874ddcdfce24p+0 },
+	   { 0x1.9ad142662e14dp-3, 0x1.17aff0e56ec10p+0 },
+	   { 0x1.ac45e37fe2526p-3, 0x1.16e2d7093cd8cp+0 },
+	   { 0x1.bdad72110a648p-3, 0x1.160da304ed92fp+0 },
+	   { 0x1.cf076d1233237p-3, 0x1.153068581b781p+0 },
+	   { 0x1.e05354b96ff36p-3, 0x1.144b3b337c90cp+0 },
+	   { 0x1.f190aa85540e2p-3, 0x1.135e3075d076bp+0 },
+	   { 0x1.015f78a3dcf3dp-2, 0x1.12695da8b5bdep+0 },
+	   { 0x1.09eed6982b948p-2, 0x1.116cd8fd67618p+0 },
+	   { 0x1.127631eb8de32p-2, 0x1.1068b94962e5ep+0 },
+	   { 0x1.1af54e232d609p-2, 0x1.0f5d1602f7e41p+0 },
+	   { 0x1.236bef825d9a2p-2, 0x1.0e4a073dc1b91p+0 },
+	   { 0x1.2bd9db0f7827fp-2, 0x1.0d2fa5a70c168p+0 },
+	   { 0x1.343ed6989b7d9p-2, 0x1.0c0e0a8223359p+0 },
+	   { 0x1.3c9aa8b84bedap-2, 0x1.0ae54fa490722p+0 },
+	   { 0x1.44ed18d9f6462p-2, 0x1.09b58f724416bp+0 },
+	   { 0x1.4d35ef3e5372ep-2, 0x1.087ee4d9ad247p+0 },
+	   { 0x1.5574f4ffac98ep-2, 0x1.07416b4fbfe7cp+0 },
+	   { 0x1.5da9f415ff23fp-2, 0x1.05fd3ecbec297p+0 },
+	   { 0x1.65d4b75b00471p-2, 0x1.04b27bc403d30p+0 },
+	   { 0x1.6df50a8dff772p-2, 0x1.03613f2812dafp+0 },
+	   { 0x1.760aba57a76bfp-2, 0x1.0209a65e29545p+0 },
+	   { 0x1.7e15944d9d3e4p-2, 0x1.00abcf3e187a9p+0 },
+	   { 0x1.861566f5fd3c0p-2, 0x1.fe8fb01a47307p-1 },
+	   { 0x1.8e0a01cab516bp-2, 0x1.fbbbbef34b4b2p-1 },
+	   { 0x1.95f3353cbb146p-2, 0x1.f8dc092d58ff8p-1 },
+	   { 0x1.9dd0d2b721f39p-2, 0x1.f5f0cdaf15313p-1 },
+	   { 0x1.a5a2aca209394p-2, 0x1.f2fa4c16c0019p-1 },
+	   { 0x1.ad68966569a87p-2, 0x1.eff8c4b1375dbp-1 },
+	   { 0x1.b522646bbda68p-2, 0x1.ecec7870ebca7p-1 },
+	   { 0x1.bccfec24855b8p-2, 0x1.e9d5a8e4c934ep-1 },
+	   { 0x1.c4710406a65fcp-2, 0x1.e6b4982f158b9p-1 },
+	   { 0x1.cc058392a6d2dp-2, 0x1.e38988fc46e72p-1 },
+	   { 0x1.d38d4354c3bd0p-2, 0x1.e054be79d3042p-1 },
+	   { 0x1.db081ce6e2a48p-2, 0x1.dd167c4cf9d2ap-1 },
+	   { 0x1.e275eaf25e458p-2, 0x1.d9cf06898cdafp-1 },
+	   { 0x1.e9d68931ae650p-2, 0x1.d67ea1a8b5368p-1 },
+	   { 0x1.f129d471eabb1p-2, 0x1.d325927fb9d89p-1 },
+	   { 0x1.f86faa9428f9dp-2, 0x1.cfc41e36c7df9p-1 },
+	   { 0x1.ffa7ea8eb5fd0p-2, 0x1.cc5a8a3fbea40p-1 },
+	   { 0x1.03693a371519cp-1, 0x1.c8e91c4d01368p-1 },
+	   { 0x1.06f794ab2cae7p-1, 0x1.c5701a484ef9dp-1 },
+	   { 0x1.0a7ef5c18edd2p-1, 0x1.c1efca49a5011p-1 },
+	   { 0x1.0dff4f247f6c6p-1, 0x1.be68728e29d5dp-1 },
+	   { 0x1.1178930ada115p-1, 0x1.bada596f25436p-1 },
+	   { 0x1.14eab43841b55p-1, 0x1.b745c55905bf8p-1 },
+	   { 0x1.1855a5fd3dd50p-1, 0x1.b3aafcc27502ep-1 },
+	   { 0x1.1bb95c3746199p-1, 0x1.b00a46237d5bep-1 },
+	   { 0x1.1f15cb50bc4dep-1, 0x1.ac63e7ecc1411p-1 },
+	   { 0x1.226ae840d4d70p-1, 0x1.a8b8287ec6a09p-1 },
+	   { 0x1.25b8a88b6dd7fp-1, 0x1.a5074e2157620p-1 },
+	   { 0x1.28ff0240d52cdp-1, 0x1.a1519efaf889ep-1 },
+	   { 0x1.2c3debfd7d6c1p-1, 0x1.9d97610879642p-1 },
+	   { 0x1.2f755ce9a21f4p-1, 0x1.99d8da149c13fp-1 },
+	   { 0x1.32a54cb8db67bp-1, 0x1.96164fafd8de3p-1 },
+	   { 0x1.35cdb3a9a144dp-1, 0x1.925007283d7aap-1 },
+	   { 0x1.38ee8a84beb71p-1, 0x1.8e86458169af8p-1 },
+	   { 0x1.3c07ca9cb4f9ep-1, 0x1.8ab94f6caa71dp-1 },
+	   { 0x1.3f196dcd0f135p-1, 0x1.86e9694134b9ep-1 },
+	   { 0x1.42236e79a5fa6p-1, 0x1.8316d6f48133dp-1 },
+	   { 0x1.4525c78dd5966p-1, 0x1.7f41dc12c9e89p-1 },
+	   { 0x1.4820747ba2dc2p-1, 0x1.7b6abbb7aaf19p-1 },
+	   { 0x1.4b13713ad3513p-1, 0x1.7791b886e7403p-1 },
+	   { 0x1.4dfeba47f63ccp-1, 0x1.73b714a552763p-1 },
+	   { 0x1.50e24ca35fd2cp-1, 0x1.6fdb11b1e0c34p-1 },
+	   { 0x1.53be25d016a4fp-1, 0x1.6bfdf0beddaf5p-1 },
+	   { 0x1.569243d2b3a9bp-1, 0x1.681ff24b4ab04p-1 },
+	   { 0x1.595ea53035283p-1, 0x1.6441563c665d4p-1 },
+	   { 0x1.5c2348ecc4dc3p-1, 0x1.60625bd75d07bp-1 },
+	   { 0x1.5ee02e8a71a53p-1, 0x1.5c8341bb23767p-1 },
+	   { 0x1.61955607dd15dp-1, 0x1.58a445da7c74cp-1 },
+	   { 0x1.6442bfdedd397p-1, 0x1.54c5a57629db0p-1 },
+	   { 0x1.66e86d0312e82p-1, 0x1.50e79d1749ac9p-1 },
+	   { 0x1.69865ee075011p-1, 0x1.4d0a6889dfd9fp-1 },
+	   { 0x1.6c1c9759d0e5fp-1, 0x1.492e42d78d2c5p-1 },
+	   { 0x1.6eab18c74091bp-1, 0x1.4553664273d24p-1 },
+	   { 0x1.7131e5f496a5ap-1, 0x1.417a0c4049fd0p-1 },
+	   { 0x1.73b1021fc0cb8p-1, 0x1.3da26d759aef5p-1 },
+	   { 0x1.762870f720c6fp-1, 0x1.39ccc1b136d5ap-1 },
+	   { 0x1.78983697dc96fp-1, 0x1.35f93fe7d1b3dp-1 },
+	   { 0x1.7b00578c26037p-1, 0x1.32281e2fd1a92p-1 },
+	   { 0x1.7d60d8c979f7bp-1, 0x1.2e5991bd4cbfcp-1 },
+	   { 0x1.7fb9bfaed8078p-1, 0x1.2a8dcede3673bp-1 },
+	   { 0x1.820b1202f27fbp-1, 0x1.26c508f6bd0ffp-1 },
+	   { 0x1.8454d5f25760dp-1, 0x1.22ff727dd6f7bp-1 },
+	   { 0x1.8697120d92a4ap-1, 0x1.1f3d3cf9ffe5ap-1 },
+	   { 0x1.88d1cd474a2e0p-1, 0x1.1b7e98fe26217p-1 },
+	   { 0x1.8b050ef253c37p-1, 0x1.17c3b626c7a11p-1 },
+	   { 0x1.8d30debfc572ep-1, 0x1.140cc3173f007p-1 },
+	   { 0x1.8f5544bd00c04p-1, 0x1.1059ed7740313p-1 },
+	   { 0x1.91724951b8fc6p-1, 0x1.0cab61f084b93p-1 },
+	   { 0x1.9387f53df5238p-1, 0x1.09014c2ca74dap-1 },
+	   { 0x1.959651980da31p-1, 0x1.055bd6d32e8d7p-1 },
+	   { 0x1.979d67caa6631p-1, 0x1.01bb2b87c6968p-1 },
+	   { 0x1.999d4192a5715p-1, 0x1.fc3ee5d1524b0p-2 },
+	   { 0x1.9b95e8fd26abap-1, 0x1.f511a91a67d2ap-2 },
+	   { 0x1.9d8768656cc42p-1, 0x1.edeeee0959518p-2 },
+	   { 0x1.9f71ca72cffb6p-1, 0x1.e6d6ffaa65a25p-2 },
+	   { 0x1.a1551a16aaeafp-1, 0x1.dfca26f5bbf88p-2 },
+	   { 0x1.a331628a45b92p-1, 0x1.d8c8aace11e63p-2 },
+	   { 0x1.a506af4cc00f4p-1, 0x1.d1d2cfff91594p-2 },
+	   { 0x1.a6d50c20fa293p-1, 0x1.cae8d93f1d7b6p-2 },
+	   { 0x1.a89c850b7d54dp-1, 0x1.c40b0729ed547p-2 },
+	   { 0x1.aa5d265064366p-1, 0x1.bd3998457afdap-2 },
+	   { 0x1.ac16fc7143263p-1, 0x1.b674c8ffc6283p-2 },
+	   { 0x1.adca142b10f98p-1, 0x1.afbcd3afe8ab6p-2 },
+	   { 0x1.af767a741088bp-1, 0x1.a911f096fbc26p-2 },
+	   { 0x1.b11c3c79bb424p-1, 0x1.a27455e14c93cp-2 },
+	   { 0x1.b2bb679ead19cp-1, 0x1.9be437a7de946p-2 },
+	   { 0x1.b4540978921eep-1, 0x1.9561c7f23a47bp-2 },
+	   { 0x1.b5e62fce16095p-1, 0x1.8eed36b886d93p-2 },
+	   { 0x1.b771e894d602ep-1, 0x1.8886b1e5ecfd1p-2 },
+	   { 0x1.b8f741ef54f83p-1, 0x1.822e655b417e6p-2 },
+	   { 0x1.ba764a2af2b78p-1, 0x1.7be47af1f5d89p-2 },
+	   { 0x1.bbef0fbde6221p-1, 0x1.75a91a7f4d2edp-2 },
+	   { 0x1.bd61a1453ab44p-1, 0x1.6f7c69d7d3ef8p-2 },
+	   { 0x1.bece0d82d1a5cp-1, 0x1.695e8cd31867ep-2 },
+	   { 0x1.c034635b66e23p-1, 0x1.634fa54fa285fp-2 },
+	   { 0x1.c194b1d49a184p-1, 0x1.5d4fd33729015p-2 },
+	   { 0x1.c2ef0812fc1bdp-1, 0x1.575f3483021c3p-2 },
+	   { 0x1.c443755820d64p-1, 0x1.517de540ce2a3p-2 },
+	   { 0x1.c5920900b5fd1p-1, 0x1.4babff975a04cp-2 },
+	   { 0x1.c6dad2829ec62p-1, 0x1.45e99bcbb7915p-2 },
+	   { 0x1.c81de16b14cefp-1, 0x1.4036d0468a7a2p-2 },
+	   { 0x1.c95b455cce69dp-1, 0x1.3a93b1998736cp-2 },
+	   { 0x1.ca930e0e2a825p-1, 0x1.35005285227f1p-2 },
+	   { 0x1.cbc54b476248dp-1, 0x1.2f7cc3fe6f423p-2 },
+	   { 0x1.ccf20ce0c0d27p-1, 0x1.2a09153529381p-2 },
+	   { 0x1.ce1962c0e0d8bp-1, 0x1.24a55399ea239p-2 },
+	   { 0x1.cf3b5cdaf0c39p-1, 0x1.1f518ae487dc8p-2 },
+	   { 0x1.d0580b2cfd249p-1, 0x1.1a0dc51a9934dp-2 },
+	   { 0x1.d16f7dbe41ca0p-1, 0x1.14da0a961fd14p-2 },
+	   { 0x1.d281c49d818d0p-1, 0x1.0fb6620c550afp-2 },
+	   { 0x1.d38eefdf64fddp-1, 0x1.0aa2d09497f2bp-2 },
+	   { 0x1.d4970f9ce00d9p-1, 0x1.059f59af7a906p-2 },
+	   { 0x1.d59a33f19ed42p-1, 0x1.00abff4dec7a3p-2 },
+	   { 0x1.d6986cfa798e7p-1, 0x1.f79183b101c5bp-3 },
+	   { 0x1.d791cad3eff01p-1, 0x1.edeb406d9c824p-3 },
+	   { 0x1.d8865d98abe01p-1, 0x1.e4652fadcb6b2p-3 },
+	   { 0x1.d97635600bb89p-1, 0x1.daff4969c0b04p-3 },
+	   { 0x1.da61623cb41e0p-1, 0x1.d1b982c501370p-3 },
+	   { 0x1.db47f43b2980dp-1, 0x1.c893ce1dcbef7p-3 },
+	   { 0x1.dc29fb60715afp-1, 0x1.bf8e1b1ca2279p-3 },
+	   { 0x1.dd0787a8bb39dp-1, 0x1.b6a856c3ed54fp-3 },
+	   { 0x1.dde0a90611a0dp-1, 0x1.ade26b7fbed95p-3 },
+	   { 0x1.deb56f5f12d28p-1, 0x1.a53c4135a6526p-3 },
+	   { 0x1.df85ea8db188ep-1, 0x1.9cb5bd549b111p-3 },
+	   { 0x1.e0522a5dfda73p-1, 0x1.944ec2e4f5630p-3 },
+	   { 0x1.e11a3e8cf4eb8p-1, 0x1.8c07329874652p-3 },
+	   { 0x1.e1de36c75ba58p-1, 0x1.83deeada4d25ap-3 },
+	   { 0x1.e29e22a89d766p-1, 0x1.7bd5c7df3fe9cp-3 },
+	   { 0x1.e35a11b9b61cep-1, 0x1.73eba3b5b07b7p-3 },
+	   { 0x1.e4121370224ccp-1, 0x1.6c205655be71fp-3 },
+	   { 0x1.e4c6372cd8927p-1, 0x1.6473b5b15a7a1p-3 },
+	   { 0x1.e5768c3b4a3fcp-1, 0x1.5ce595c455b0ap-3 },
+	   { 0x1.e62321d06c5e0p-1, 0x1.5575c8a468361p-3 },
+	   { 0x1.e6cc0709c8a0dp-1, 0x1.4e241e912c305p-3 },
+	   { 0x1.e7714aec96534p-1, 0x1.46f066040a832p-3 },
+	   { 0x1.e812fc64db369p-1, 0x1.3fda6bc016994p-3 },
+	   { 0x1.e8b12a44944a8p-1, 0x1.38e1fae1d6a9dp-3 },
+	   { 0x1.e94be342e6743p-1, 0x1.3206dceef5f87p-3 },
+	   { 0x1.e9e335fb56f87p-1, 0x1.2b48d9e5dea1cp-3 },
+	   { 0x1.ea7730ed0bbb9p-1, 0x1.24a7b84d38971p-3 },
+	   { 0x1.eb07e27a133aap-1, 0x1.1e233d434b813p-3 },
+	   { 0x1.eb9558e6b42cep-1, 0x1.17bb2c8d41535p-3 },
+	   { 0x1.ec1fa258c4beap-1, 0x1.116f48a6476ccp-3 },
+	   { 0x1.eca6ccd709544p-1, 0x1.0b3f52ce8c383p-3 },
+	   { 0x1.ed2ae6489ac1ep-1, 0x1.052b0b1a174eap-3 },
+	   { 0x1.edabfc7453e63p-1, 0x1.fe6460fef4680p-4 },
+	   { 0x1.ee2a1d004692cp-1, 0x1.f2a901ccafb37p-4 },
+	   { 0x1.eea5557137ae0p-1, 0x1.e723726b824a9p-4 },
+	   { 0x1.ef1db32a2277cp-1, 0x1.dbd32ac4c99b0p-4 },
+	   { 0x1.ef93436bc2daap-1, 0x1.d0b7a0f921e7cp-4 },
+	   { 0x1.f006135426b26p-1, 0x1.c5d0497c09e74p-4 },
+	   { 0x1.f0762fde45ee6p-1, 0x1.bb1c972f23e50p-4 },
+	   { 0x1.f0e3a5e1a1788p-1, 0x1.b09bfb7d11a83p-4 },
+	   { 0x1.f14e8211e8c55p-1, 0x1.a64de673e8837p-4 },
+	   { 0x1.f1b6d0fea5f4dp-1, 0x1.9c31c6df3b1b8p-4 },
+	   { 0x1.f21c9f12f0677p-1, 0x1.92470a61b6965p-4 },
+	   { 0x1.f27ff89525acfp-1, 0x1.888d1d8e510a3p-4 },
+	   { 0x1.f2e0e9a6a8b09p-1, 0x1.7f036c0107294p-4 },
+	   { 0x1.f33f7e43a706bp-1, 0x1.75a96077274bap-4 },
+	   { 0x1.f39bc242e43e6p-1, 0x1.6c7e64e7281cbp-4 },
+	   { 0x1.f3f5c1558b19ep-1, 0x1.6381e2980956bp-4 },
+	   { 0x1.f44d870704911p-1, 0x1.5ab342383d177p-4 },
+	   { 0x1.f4a31ebcd47dfp-1, 0x1.5211ebf41880bp-4 },
+	   { 0x1.f4f693b67bd77p-1, 0x1.499d478bca735p-4 },
+	   { 0x1.f547f10d60597p-1, 0x1.4154bc68d75c3p-4 },
+	   { 0x1.f59741b4b97cfp-1, 0x1.3937b1b319259p-4 },
+	   { 0x1.f5e4907982a07p-1, 0x1.31458e6542847p-4 },
+	   { 0x1.f62fe80272419p-1, 0x1.297db960e4f63p-4 },
+	   { 0x1.f67952cff6282p-1, 0x1.21df9981f8e53p-4 },
+	   { 0x1.f6c0db3c34641p-1, 0x1.1a6a95b1e786fp-4 },
+	   { 0x1.f7068b7b10fd9p-1, 0x1.131e14fa1625dp-4 },
+	   { 0x1.f74a6d9a38383p-1, 0x1.0bf97e95f2a64p-4 },
+	   { 0x1.f78c8b812d498p-1, 0x1.04fc3a0481321p-4 },
+	   { 0x1.f7cceef15d631p-1, 0x1.fc4b5e32d6259p-5 },
+	   { 0x1.f80ba18636f07p-1, 0x1.eeea8c1b1db93p-5 },
+	   { 0x1.f848acb544e95p-1, 0x1.e1d4cf1e2450ap-5 },
+	   { 0x1.f88419ce4e184p-1, 0x1.d508f9a1ea64ep-5 },
+	   { 0x1.f8bdf1fb78370p-1, 0x1.c885df3451a07p-5 },
+	   { 0x1.f8f63e416ebffp-1, 0x1.bc4a54a84e834p-5 },
+	   { 0x1.f92d077f8d56dp-1, 0x1.b055303221015p-5 },
+	   { 0x1.f96256700da8ep-1, 0x1.a4a549829587ep-5 },
+	   { 0x1.f99633a838a57p-1, 0x1.993979e14fffdp-5 },
+	   { 0x1.f9c8a7989af0dp-1, 0x1.8e109c4622913p-5 },
+	   { 0x1.f9f9ba8d3c733p-1, 0x1.83298d717210ep-5 },
+	   { 0x1.fa2974addae45p-1, 0x1.78832c03aa2b1p-5 },
+	   { 0x1.fa57ddfe27376p-1, 0x1.6e1c5893c380bp-5 },
+	   { 0x1.fa84fe5e05c8dp-1, 0x1.63f3f5c4de13bp-5 },
+	   { 0x1.fab0dd89d1309p-1, 0x1.5a08e85af27e0p-5 },
+	   { 0x1.fadb831a9f9c3p-1, 0x1.505a174e9c929p-5 },
+	   { 0x1.fb04f6868a944p-1, 0x1.46e66be002240p-5 },
+	   { 0x1.fb2d3f20f9101p-1, 0x1.3dacd1a8d8ccdp-5 },
+	   { 0x1.fb54641aebbc9p-1, 0x1.34ac36ad8dafep-5 },
+	   { 0x1.fb7a6c834b5a2p-1, 0x1.2be38b6d92415p-5 },
+	   { 0x1.fb9f5f4739170p-1, 0x1.2351c2f2d1449p-5 },
+	   { 0x1.fbc3433260ca5p-1, 0x1.1af5d2e04f3f6p-5 },
+	   { 0x1.fbe61eef4cf6ap-1, 0x1.12ceb37ff9bc3p-5 },
+	   { 0x1.fc07f907bc794p-1, 0x1.0adb5fcfa8c75p-5 },
+	   { 0x1.fc28d7e4f9cd0p-1, 0x1.031ad58d56279p-5 },
+	   { 0x1.fc48c1d033c7ap-1, 0x1.f7182a851bca2p-6 },
+	   { 0x1.fc67bcf2d7b8fp-1, 0x1.e85c449e377f2p-6 },
+	   { 0x1.fc85cf56ecd38p-1, 0x1.da0005e5f28dfp-6 },
+	   { 0x1.fca2fee770c79p-1, 0x1.cc0180af00a8bp-6 },
+	   { 0x1.fcbf5170b578bp-1, 0x1.be5ecd2fcb5f9p-6 },
+	   { 0x1.fcdacca0bfb73p-1, 0x1.b1160991ff737p-6 },
+	   { 0x1.fcf57607a6e7cp-1, 0x1.a4255a00b9f03p-6 },
+	   { 0x1.fd0f5317f582fp-1, 0x1.978ae8b55ce1bp-6 },
+	   { 0x1.fd2869270a56fp-1, 0x1.8b44e6031383ep-6 },
+	   { 0x1.fd40bd6d7a785p-1, 0x1.7f5188610ddc8p-6 },
+	   { 0x1.fd58550773cb5p-1, 0x1.73af0c737bb45p-6 },
+	   { 0x1.fd6f34f52013ap-1, 0x1.685bb5134ef13p-6 },
+	   { 0x1.fd85621b0876dp-1, 0x1.5d55cb54cd53ap-6 },
+	   { 0x1.fd9ae142795e3p-1, 0x1.529b9e8cf9a1ep-6 },
+	   { 0x1.fdafb719e6a69p-1, 0x1.482b8455dc491p-6 },
+	   { 0x1.fdc3e835500b3p-1, 0x1.3e03d891b37dep-6 },
+	   { 0x1.fdd7790ea5bc0p-1, 0x1.3422fd6d12e2bp-6 },
+	   { 0x1.fdea6e062d0c9p-1, 0x1.2a875b5ffab56p-6 },
+	   { 0x1.fdfccb62e52d3p-1, 0x1.212f612dee7fbp-6 },
+	   { 0x1.fe0e9552ebdd6p-1, 0x1.181983e5133ddp-6 },
+	   { 0x1.fe1fcfebe2083p-1, 0x1.0f443edc5ce49p-6 },
+	   { 0x1.fe307f2b503d0p-1, 0x1.06ae13b0d3255p-6 },
+	   { 0x1.fe40a6f70af4bp-1, 0x1.fcab1483ea7fcp-7 },
+	   { 0x1.fe504b1d9696cp-1, 0x1.ec72615a894c4p-7 },
+	   { 0x1.fe5f6f568b301p-1, 0x1.dcaf3691fc448p-7 },
+	   { 0x1.fe6e1742f7cf6p-1, 0x1.cd5ec93c12431p-7 },
+	   { 0x1.fe7c466dc57a1p-1, 0x1.be7e5ac24963bp-7 },
+	   { 0x1.fe8a004c19ae6p-1, 0x1.b00b38d6b3575p-7 },
+	   { 0x1.fe97483db8670p-1, 0x1.a202bd6372dcep-7 },
+	   { 0x1.fea4218d6594ap-1, 0x1.94624e78e0fafp-7 },
+	   { 0x1.feb08f7146046p-1, 0x1.87275e3a6869dp-7 },
+	   { 0x1.febc950b3fa75p-1, 0x1.7a4f6aca256cbp-7 },
+	   { 0x1.fec835695932ep-1, 0x1.6dd7fe3358230p-7 },
+	   { 0x1.fed37386190fbp-1, 0x1.61beae53b72b7p-7 },
+	   { 0x1.fede5248e38f4p-1, 0x1.56011cc3b036dp-7 },
+	   { 0x1.fee8d486585eep-1, 0x1.4a9cf6bda3f4cp-7 },
+	   { 0x1.fef2fd00af31ap-1, 0x1.3f8ff5042a88ep-7 },
+	   { 0x1.fefcce6813974p-1, 0x1.34d7dbc76d7e5p-7 },
+	   { 0x1.ff064b5afffbep-1, 0x1.2a727a89a3f14p-7 },
+	   { 0x1.ff0f766697c76p-1, 0x1.205dac02bd6b9p-7 },
+	   { 0x1.ff18520700971p-1, 0x1.1697560347b25p-7 },
+	   { 0x1.ff20e0a7ba8c2p-1, 0x1.0d1d69569b82dp-7 },
+	   { 0x1.ff2924a3f7a83p-1, 0x1.03ede1a45bfeep-7 },
+	   { 0x1.ff312046f2339p-1, 0x1.f60d8aa2a88f2p-8 },
+	   { 0x1.ff38d5cc4227fp-1, 0x1.e4cc4abf7d065p-8 },
+	   { 0x1.ff404760319b4p-1, 0x1.d4143a9dfe965p-8 },
+	   { 0x1.ff47772010262p-1, 0x1.c3e1a5f5c077cp-8 },
+	   { 0x1.ff4e671a85425p-1, 0x1.b430ecf4a83a8p-8 },
+	   { 0x1.ff55194fe19dfp-1, 0x1.a4fe83fb9db25p-8 },
+	   { 0x1.ff5b8fb26f5f6p-1, 0x1.9646f35a76623p-8 },
+	   { 0x1.ff61cc26c1578p-1, 0x1.8806d70b2fc36p-8 },
+	   { 0x1.ff67d08401202p-1, 0x1.7a3ade6c8b3e4p-8 },
+	   { 0x1.ff6d9e943c231p-1, 0x1.6cdfcbfc1e263p-8 },
+	   { 0x1.ff733814af88cp-1, 0x1.5ff2750fe7820p-8 },
+	   { 0x1.ff789eb6130c9p-1, 0x1.536fc18f7ce5cp-8 },
+	   { 0x1.ff7dd41ce2b4dp-1, 0x1.4754abacdf1dcp-8 },
+	   { 0x1.ff82d9e1a76d8p-1, 0x1.3b9e3f9d06e3fp-8 },
+	   { 0x1.ff87b1913e853p-1, 0x1.30499b503957fp-8 },
+	   { 0x1.ff8c5cad200a5p-1, 0x1.2553ee2a336bfp-8 },
+	   { 0x1.ff90dcaba4096p-1, 0x1.1aba78ba3af89p-8 },
+	   { 0x1.ff9532f846ab0p-1, 0x1.107a8c7323a6ep-8 },
+	   { 0x1.ff9960f3eb327p-1, 0x1.06918b6355624p-8 },
+	   { 0x1.ff9d67f51ddbap-1, 0x1.f9f9cfd9c3035p-9 },
+	   { 0x1.ffa14948549a7p-1, 0x1.e77448fb66bb9p-9 },
+	   { 0x1.ffa506302ebaep-1, 0x1.d58da68fd1170p-9 },
+	   { 0x1.ffa89fe5b3625p-1, 0x1.c4412bf4b8f0bp-9 },
+	   { 0x1.ffac17988ef4bp-1, 0x1.b38a3af2e55b4p-9 },
+	   { 0x1.ffaf6e6f4f5c0p-1, 0x1.a3645330550ffp-9 },
+	   { 0x1.ffb2a5879f35ep-1, 0x1.93cb11a30d765p-9 },
+	   { 0x1.ffb5bdf67fe6fp-1, 0x1.84ba3004a50d0p-9 },
+	   { 0x1.ffb8b8c88295fp-1, 0x1.762d84469c18fp-9 },
+	   { 0x1.ffbb970200110p-1, 0x1.6821000795a03p-9 },
+	   { 0x1.ffbe599f4f9d9p-1, 0x1.5a90b00981d93p-9 },
+	   { 0x1.ffc10194fcb64p-1, 0x1.4d78bba8ca5fdp-9 },
+	   { 0x1.ffc38fcffbb7cp-1, 0x1.40d564548fad7p-9 },
+	   { 0x1.ffc60535dd7f5p-1, 0x1.34a305080681fp-9 },
+	   { 0x1.ffc862a501fd7p-1, 0x1.28de11c5031ebp-9 },
+	   { 0x1.ffcaa8f4c9beap-1, 0x1.1d83170fbf6fbp-9 },
+	   { 0x1.ffccd8f5c66d1p-1, 0x1.128eb96be8798p-9 },
+	   { 0x1.ffcef371ea4d7p-1, 0x1.07fdb4dafea5fp-9 },
+	   { 0x1.ffd0f92cb6ba7p-1, 0x1.fb99b8b8279e1p-10 },
+	   { 0x1.ffd2eae369a07p-1, 0x1.e7f232d9e2630p-10 },
+	   { 0x1.ffd4c94d29fdbp-1, 0x1.d4fed7195d7e8p-10 },
+	   { 0x1.ffd6951b33686p-1, 0x1.c2b9cf7f893bfp-10 },
+	   { 0x1.ffd84ef9009eep-1, 0x1.b11d702b3deb1p-10 },
+	   { 0x1.ffd9f78c7524ap-1, 0x1.a024365f771bdp-10 },
+	   { 0x1.ffdb8f7605ee7p-1, 0x1.8fc8c794b03b5p-10 },
+	   { 0x1.ffdd1750e1220p-1, 0x1.8005f08d6f1efp-10 },
+	   { 0x1.ffde8fb314ebfp-1, 0x1.70d6a46e07ddap-10 },
+	   { 0x1.ffdff92db56e5p-1, 0x1.6235fbd7a4345p-10 },
+	   { 0x1.ffe1544d01ccbp-1, 0x1.541f340697987p-10 },
+	   { 0x1.ffe2a1988857cp-1, 0x1.468dadf4080abp-10 },
+	   { 0x1.ffe3e19349dc7p-1, 0x1.397ced7af2b15p-10 },
+	   { 0x1.ffe514bbdc197p-1, 0x1.2ce898809244ep-10 },
+	   { 0x1.ffe63b8c8b5f7p-1, 0x1.20cc76202c5fap-10 },
+	   { 0x1.ffe7567b7b5e1p-1, 0x1.15246dda49d47p-10 },
+	   { 0x1.ffe865fac722bp-1, 0x1.09ec86c75d497p-10 },
+	   { 0x1.ffe96a78a04a9p-1, 0x1.fe41cd9bb4eeep-11 },
+	   { 0x1.ffea645f6d6dap-1, 0x1.e97ba3b77f306p-11 },
+	   { 0x1.ffeb5415e7c44p-1, 0x1.d57f524723822p-11 },
+	   { 0x1.ffec39ff380b9p-1, 0x1.c245d4b998479p-11 },
+	   { 0x1.ffed167b12ac2p-1, 0x1.afc85e0f82e12p-11 },
+	   { 0x1.ffede9e5d3262p-1, 0x1.9e005769dbc1dp-11 },
+	   { 0x1.ffeeb49896c6dp-1, 0x1.8ce75e9f6f8a0p-11 },
+	   { 0x1.ffef76e956a9fp-1, 0x1.7c7744d9378f7p-11 },
+	   { 0x1.fff0312b010b5p-1, 0x1.6caa0d3582fe9p-11 },
+	   { 0x1.fff0e3ad91ec2p-1, 0x1.5d79eb71e893bp-11 },
+	   { 0x1.fff18ebe2b0e1p-1, 0x1.4ee1429bf7cc0p-11 },
+	   { 0x1.fff232a72b48ep-1, 0x1.40daa3c89f5b6p-11 },
+	   { 0x1.fff2cfb0453d9p-1, 0x1.3360ccd23db3ap-11 },
+	   { 0x1.fff3661e9569dp-1, 0x1.266ea71d4f71ap-11 },
+	   { 0x1.fff3f634b79f9p-1, 0x1.19ff4663ae9dfp-11 },
+	   { 0x1.fff48032dbe40p-1, 0x1.0e0de78654d1ep-11 },
+	   { 0x1.fff50456dab8cp-1, 0x1.0295ef6591848p-11 },
+	   { 0x1.fff582dc48d30p-1, 0x1.ef25d37f49fe1p-12 },
+	   { 0x1.fff5fbfc8a439p-1, 0x1.da01102b5f851p-12 },
+	   { 0x1.fff66feee5129p-1, 0x1.c5b5412dcafadp-12 },
+	   { 0x1.fff6dee89352ep-1, 0x1.b23a5a23e4210p-12 },
+	   { 0x1.fff7491cd4af6p-1, 0x1.9f8893d8fd1c1p-12 },
+	   { 0x1.fff7aebcff755p-1, 0x1.8d986a4187285p-12 },
+	   { 0x1.fff80ff8911fdp-1, 0x1.7c629a822bc9ep-12 },
+	   { 0x1.fff86cfd3e657p-1, 0x1.6be02102b3520p-12 },
+	   { 0x1.fff8c5f702ccfp-1, 0x1.5c0a378c90bcap-12 },
+	   { 0x1.fff91b102fca8p-1, 0x1.4cda5374ea275p-12 },
+	   { 0x1.fff96c717b695p-1, 0x1.3e4a23d1f4702p-12 },
+	   { 0x1.fff9ba420e834p-1, 0x1.30538fbb77ecdp-12 },
+	   { 0x1.fffa04a7928b1p-1, 0x1.22f0b496539bdp-12 },
+	   { 0x1.fffa4bc63ee9ap-1, 0x1.161be46ad3b50p-12 },
+	   { 0x1.fffa8fc0e5f33p-1, 0x1.09cfa445b00ffp-12 },
+	   { 0x1.fffad0b901755p-1, 0x1.fc0d55470cf51p-13 },
+	   { 0x1.fffb0ecebee1bp-1, 0x1.e577bbcd49935p-13 },
+	   { 0x1.fffb4a210b172p-1, 0x1.cfd4a5adec5bfp-13 },
+	   { 0x1.fffb82cd9dcbfp-1, 0x1.bb1a9657ce465p-13 },
+	   { 0x1.fffbb8f1049c6p-1, 0x1.a740684026555p-13 },
+	   { 0x1.fffbeca6adbe9p-1, 0x1.943d4a1d1ed39p-13 },
+	   { 0x1.fffc1e08f25f5p-1, 0x1.8208bc334a6a5p-13 },
+	   { 0x1.fffc4d3120aa1p-1, 0x1.709a8db59f25cp-13 },
+	   { 0x1.fffc7a37857d2p-1, 0x1.5feada379d8b7p-13 },
+	   { 0x1.fffca53375ce3p-1, 0x1.4ff207314a102p-13 },
+	   { 0x1.fffcce3b57bffp-1, 0x1.40a8c1949f75ep-13 },
+	   { 0x1.fffcf564ab6b7p-1, 0x1.3207fb7420eb9p-13 },
+	   { 0x1.fffd1ac4135f9p-1, 0x1.2408e9ba3327fp-13 },
+	   { 0x1.fffd3e6d5cd87p-1, 0x1.16a501f0e42cap-13 },
+	   { 0x1.fffd607387b07p-1, 0x1.09d5f819c9e29p-13 },
+	   { 0x1.fffd80e8ce0dap-1, 0x1.fb2b792b40a22p-14 },
+	   { 0x1.fffd9fdeabccep-1, 0x1.e3bcf436a1a95p-14 },
+	   { 0x1.fffdbd65e5ad0p-1, 0x1.cd55277c18d05p-14 },
+	   { 0x1.fffdd98e903b2p-1, 0x1.b7e94604479dcp-14 },
+	   { 0x1.fffdf46816833p-1, 0x1.a36eec00926ddp-14 },
+	   { 0x1.fffe0e0140857p-1, 0x1.8fdc1b2dcf7b9p-14 },
+	   { 0x1.fffe26683972ap-1, 0x1.7d2737527c3f9p-14 },
+	   { 0x1.fffe3daa95b18p-1, 0x1.6b4702d7d5849p-14 },
+	   { 0x1.fffe53d558ae9p-1, 0x1.5a329b7d30748p-14 },
+	   { 0x1.fffe68f4fa777p-1, 0x1.49e17724f4d41p-14 },
+	   { 0x1.fffe7d156d244p-1, 0x1.3a4b60ba9aa4dp-14 },
+	   { 0x1.fffe904222101p-1, 0x1.2b6875310f785p-14 },
+	   { 0x1.fffea2860ee1ep-1, 0x1.1d312098e9dbap-14 },
+	   { 0x1.fffeb3ebb267bp-1, 0x1.0f9e1b4dd36dfp-14 },
+	   { 0x1.fffec47d19457p-1, 0x1.02a8673a94691p-14 },
+	   { 0x1.fffed443e2787p-1, 0x1.ec929a665b449p-15 },
+	   { 0x1.fffee34943b15p-1, 0x1.d4f4b4c8e09edp-15 },
+	   { 0x1.fffef1960d85dp-1, 0x1.be6abbb10a5aap-15 },
+	   { 0x1.fffeff32af7afp-1, 0x1.a8e8cc1fadef6p-15 },
+	   { 0x1.ffff0c273bea2p-1, 0x1.94637d5bacfdbp-15 },
+	   { 0x1.ffff187b6bc0ep-1, 0x1.80cfdc72220cfp-15 },
+	   { 0x1.ffff2436a21dcp-1, 0x1.6e2367dc27f95p-15 },
+	   { 0x1.ffff2f5fefcaap-1, 0x1.5c540b4936fd2p-15 },
+	   { 0x1.ffff39fe16963p-1, 0x1.4b581b8d170fcp-15 },
+	   { 0x1.ffff44178c8d2p-1, 0x1.3b2652b06c2b2p-15 },
+	   { 0x1.ffff4db27f146p-1, 0x1.2bb5cc22e5db6p-15 },
+	   { 0x1.ffff56d4d5e5ep-1, 0x1.1cfe010e2052dp-15 },
+	   { 0x1.ffff5f8435efcp-1, 0x1.0ef6c4c84a0fep-15 },
+	   { 0x1.ffff67c604180p-1, 0x1.01984165a5f36p-15 },
+	   { 0x1.ffff6f9f67e55p-1, 0x1.e9b5e8d00ce76p-16 },
+	   { 0x1.ffff77154e0d6p-1, 0x1.d16f5716c6c1ap-16 },
+	   { 0x1.ffff7e2c6aea2p-1, 0x1.ba4f035d60e02p-16 },
+	   { 0x1.ffff84e93cd75p-1, 0x1.a447b7b03f045p-16 },
+	   { 0x1.ffff8b500e77cp-1, 0x1.8f4ccca7fc90dp-16 },
+	   { 0x1.ffff9164f8e46p-1, 0x1.7b5223dac7336p-16 },
+	   { 0x1.ffff972be5c59p-1, 0x1.684c227fcacefp-16 },
+	   { 0x1.ffff9ca891572p-1, 0x1.562fac4329b48p-16 },
+	   { 0x1.ffffa1de8c582p-1, 0x1.44f21e49054f2p-16 },
+	   { 0x1.ffffa6d13de73p-1, 0x1.34894a5e24657p-16 },
+	   { 0x1.ffffab83e54b8p-1, 0x1.24eb7254ccf83p-16 },
+	   { 0x1.ffffaff99bac4p-1, 0x1.160f438c70913p-16 },
+	   { 0x1.ffffb43555b5fp-1, 0x1.07ebd2a2d2844p-16 },
+	   { 0x1.ffffb839e52f3p-1, 0x1.f4f12e9ab070ap-17 },
+	   { 0x1.ffffbc09fa7cdp-1, 0x1.db5ad0b27805cp-17 },
+	   { 0x1.ffffbfa82616bp-1, 0x1.c304efa2c6f4ep-17 },
+	   { 0x1.ffffc316d9ed0p-1, 0x1.abe09e9144b5ep-17 },
+	   { 0x1.ffffc6586abf6p-1, 0x1.95df988e76644p-17 },
+	   { 0x1.ffffc96f1165ep-1, 0x1.80f439b4ee04bp-17 },
+	   { 0x1.ffffcc5cec0c1p-1, 0x1.6d11788a69c64p-17 },
+	   { 0x1.ffffcf23ff5fcp-1, 0x1.5a2adfa0b4bc4p-17 },
+	   { 0x1.ffffd1c637b2bp-1, 0x1.4834877429b8fp-17 },
+	   { 0x1.ffffd4456a10dp-1, 0x1.37231085c7d9ap-17 },
+	   { 0x1.ffffd6a3554a1p-1, 0x1.26eb9daed6f7ep-17 },
+	   { 0x1.ffffd8e1a2f22p-1, 0x1.1783ceac28910p-17 },
+	   { 0x1.ffffdb01e8546p-1, 0x1.08e1badf0fcedp-17 },
+	   { 0x1.ffffdd05a75eap-1, 0x1.f5f7d88472604p-18 },
+	   { 0x1.ffffdeee4f810p-1, 0x1.db92b5212fb8dp-18 },
+	   { 0x1.ffffe0bd3e852p-1, 0x1.c282cd3957edap-18 },
+	   { 0x1.ffffe273c15b7p-1, 0x1.aab7abace48dcp-18 },
+	   { 0x1.ffffe41314e06p-1, 0x1.94219bfcb4928p-18 },
+	   { 0x1.ffffe59c6698bp-1, 0x1.7eb1a2075864dp-18 },
+	   { 0x1.ffffe710d565ep-1, 0x1.6a597219a93d9p-18 },
+	   { 0x1.ffffe8717232dp-1, 0x1.570b69502f313p-18 },
+	   { 0x1.ffffe9bf4098cp-1, 0x1.44ba864670882p-18 },
+	   { 0x1.ffffeafb377d5p-1, 0x1.335a62115bce2p-18 },
+	   { 0x1.ffffec2641a9ep-1, 0x1.22df298214423p-18 },
+	   { 0x1.ffffed413e5b7p-1, 0x1.133d96ae7e0ddp-18 },
+	   { 0x1.ffffee4d01cd6p-1, 0x1.046aeabcfcdecp-18 },
+	   { 0x1.ffffef4a55bd4p-1, 0x1.ecb9cfe1d8642p-19 },
+	   { 0x1.fffff039f9e8fp-1, 0x1.d21397ead99cbp-19 },
+	   { 0x1.fffff11ca4876p-1, 0x1.b8d094c86d374p-19 },
+	   { 0x1.fffff1f302bc1p-1, 0x1.a0df0f0c626dcp-19 },
+	   { 0x1.fffff2bdb904dp-1, 0x1.8a2e269750a39p-19 },
+	   { 0x1.fffff37d63a36p-1, 0x1.74adc8f4064d3p-19 },
+	   { 0x1.fffff43297019p-1, 0x1.604ea819f007cp-19 },
+	   { 0x1.fffff4dde0118p-1, 0x1.4d0231928c6f9p-19 },
+	   { 0x1.fffff57fc4a95p-1, 0x1.3aba85fe22e1fp-19 },
+	   { 0x1.fffff618c3da6p-1, 0x1.296a70f414053p-19 },
+	   { 0x1.fffff6a956450p-1, 0x1.1905613b3abf2p-19 },
+	   { 0x1.fffff731ee681p-1, 0x1.097f6156f32c5p-19 },
+	   { 0x1.fffff7b2f8ed6p-1, 0x1.f59a20caf6695p-20 },
+	   { 0x1.fffff82cdcf1bp-1, 0x1.d9c73698fb1dcp-20 },
+	   { 0x1.fffff89ffc4aap-1, 0x1.bf716c6168baep-20 },
+	   { 0x1.fffff90cb3c81p-1, 0x1.a6852c6b58392p-20 },
+	   { 0x1.fffff9735b73bp-1, 0x1.8eefd70594a88p-20 },
+	   { 0x1.fffff9d446cccp-1, 0x1.789fb715aae95p-20 },
+	   { 0x1.fffffa2fc5015p-1, 0x1.6383f726a8e04p-20 },
+	   { 0x1.fffffa8621251p-1, 0x1.4f8c96f26a26ap-20 },
+	   { 0x1.fffffad7a2652p-1, 0x1.3caa61607f920p-20 },
+	   { 0x1.fffffb248c39dp-1, 0x1.2acee2f5ecdb8p-20 },
+	   { 0x1.fffffb6d1e95dp-1, 0x1.19ec60b1242edp-20 },
+	   { 0x1.fffffbb196132p-1, 0x1.09f5cf4dd2877p-20 },
+	   { 0x1.fffffbf22c1e2p-1, 0x1.f5bd95