aarch64/fpu: Add vector variants of erfc

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

1 files changed, 3519 insertions, 0 deletions

diff --git a/sysdeps/aarch64/fpu/erfc_data.c b/sysdeps/aarch64/fpu/erfc_data.c
new file mode 100644
index 0000000000..76a94e4681
--- /dev/null
+++ b/sysdeps/aarch64/fpu/erfc_data.c
@@ -0,0 +1,3519 @@
+/* Table for Advanced SIMD erfc
+
+   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 erfc.
+   For each possible rounded input r (multiples of 1/128), between
+   r = 0.0 and r = ~27.0 (3488 values):
+   - the first entry __erfc_data.tab.erfc contains the values of erfc(r),
+   - the second entry __erfc_data.tab.scale contains the values of
+   2/sqrt(pi)*exp(-r^2). Both values may go into subnormal range, therefore
+   they are scaled by a large enough value 2^128 (fits in 8bit).  */
+const struct erfc_data __erfc_data = {
+  .tab = { { 0x1p128, 0x1.20dd750429b6dp128 },
+	   { 0x1.fb7c9030853b3p127, 0x1.20d8f1975c85dp128 },
+	   { 0x1.f6f9447be0743p127, 0x1.20cb67bd452c7p128 },
+	   { 0x1.f27640f9853d9p127, 0x1.20b4d8bac36c1p128 },
+	   { 0x1.edf3a9ba22dadp127, 0x1.209546ad13ccfp128 },
+	   { 0x1.e971a2c4436aep127, 0x1.206cb4897b148p128 },
+	   { 0x1.e4f05010eca8cp127, 0x1.203b261cd0053p128 },
+	   { 0x1.e06fd58842c7ep127, 0x1.2000a00ae3804p128 },
+	   { 0x1.dbf056fe2df35p127, 0x1.1fbd27cdc72d3p128 },
+	   { 0x1.d771f82f02f4ep127, 0x1.1f70c3b4f2cc8p128 },
+	   { 0x1.d2f4dcbc2f894p127, 0x1.1f1b7ae44867fp128 },
+	   { 0x1.ce792828eae5cp127, 0x1.1ebd5552f795bp128 },
+	   { 0x1.c9fefdd6eaf19p127, 0x1.1e565bca400d4p128 },
+	   { 0x1.c58681031eb6ap127, 0x1.1de697e413d29p128 },
+	   { 0x1.c10fd4c26e896p127, 0x1.1d6e14099944ap128 },
+	   { 0x1.bc9b1bfe82687p127, 0x1.1cecdb718d61cp128 },
+	   { 0x1.b82879728f11ep127, 0x1.1c62fa1e869b6p128 },
+	   { 0x1.b3b80fa82a4bbp127, 0x1.1bd07cdd189acp128 },
+	   { 0x1.af4a00f426daap127, 0x1.1b357141d95d5p128 },
+	   { 0x1.aade6f7378a0ep127, 0x1.1a91e5a748165p128 },
+	   { 0x1.a6757d08215d8p127, 0x1.19e5e92b964abp128 },
+	   { 0x1.a20f4b5626818p127, 0x1.19318bae53a04p128 },
+	   { 0x1.9dabfbc090901p127, 0x1.1874ddcdfce24p128 },
+	   { 0x1.994baf66747adp127, 0x1.17aff0e56ec1p128 },
+	   { 0x1.94ee8720076b6p127, 0x1.16e2d7093cd8cp128 },
+	   { 0x1.9094a37bbd66ep127, 0x1.160da304ed92fp128 },
+	   { 0x1.8c3e24bb73372p127, 0x1.153068581b781p128 },
+	   { 0x1.87eb2ad1a4032p127, 0x1.144b3b337c90cp128 },
+	   { 0x1.839bd55eaafc8p127, 0x1.135e3075d076bp128 },
+	   { 0x1.7f5043ae11862p127, 0x1.12695da8b5bdep128 },
+	   { 0x1.7b0894b3ea35cp127, 0x1.116cd8fd67618p128 },
+	   { 0x1.76c4e70a390e7p127, 0x1.1068b94962e5ep128 },
+	   { 0x1.728558ee694fcp127, 0x1.0f5d1602f7e41p128 },
+	   { 0x1.6e4a083ed132fp127, 0x1.0e4a073dc1b91p128 },
+	   { 0x1.6a13127843ec1p127, 0x1.0d2fa5a70c168p128 },
+	   { 0x1.65e094b3b2413p127, 0x1.0c0e0a8223359p128 },
+	   { 0x1.61b2aba3da093p127, 0x1.0ae54fa490723p128 },
+	   { 0x1.5d89739304dcfp127, 0x1.09b58f724416bp128 },
+	   { 0x1.59650860d6469p127, 0x1.087ee4d9ad247p128 },
+	   { 0x1.5545858029b39p127, 0x1.07416b4fbfe7cp128 },
+	   { 0x1.512b05f5006e1p127, 0x1.05fd3ecbec298p128 },
+	   { 0x1.4d15a4527fdc7p127, 0x1.04b27bc403d3p128 },
+	   { 0x1.49057ab900447p127, 0x1.03613f2812dafp128 },
+	   { 0x1.44faa2d42c4ap127, 0x1.0209a65e29545p128 },
+	   { 0x1.40f535d93160ep127, 0x1.00abcf3e187a9p128 },
+	   { 0x1.3cf54c850162p127, 0x1.fe8fb01a47307p127 },
+	   { 0x1.38faff1aa574ap127, 0x1.fbbbbef34b4b2p127 },
+	   { 0x1.35066561a275dp127, 0x1.f8dc092d58ff8p127 },
+	   { 0x1.311796a46f064p127, 0x1.f5f0cdaf15313p127 },
+	   { 0x1.2d2ea9aefb636p127, 0x1.f2fa4c16c0019p127 },
+	   { 0x1.294bb4cd4b2bdp127, 0x1.eff8c4b1375dbp127 },
+	   { 0x1.256ecdca212ccp127, 0x1.ecec7870ebca8p127 },
+	   { 0x1.219809edbd524p127, 0x1.e9d5a8e4c934ep127 },
+	   { 0x1.1dc77dfcacd02p127, 0x1.e6b4982f158b9p127 },
+	   { 0x1.19fd3e36ac96ap127, 0x1.e38988fc46e72p127 },
+	   { 0x1.16395e559e218p127, 0x1.e054be79d3042p127 },
+	   { 0x1.127bf18c8eadcp127, 0x1.dd167c4cf9d2ap127 },
+	   { 0x1.0ec50a86d0dd4p127, 0x1.d9cf06898cdafp127 },
+	   { 0x1.0b14bb6728cd8p127, 0x1.d67ea1a8b5368p127 },
+	   { 0x1.076b15c70aa28p127, 0x1.d325927fb9d89p127 },
+	   { 0x1.03c82ab5eb831p127, 0x1.cfc41e36c7df9p127 },
+	   { 0x1.002c0ab8a5018p127, 0x1.cc5a8a3fbea4p127 },
+	   { 0x1.f92d8b91d5cc7p126, 0x1.c8e91c4d01368p127 },
+	   { 0x1.f210d6a9a6a31p126, 0x1.c5701a484ef9dp127 },
+	   { 0x1.eb02147ce245cp126, 0x1.c1efca49a5011p127 },
+	   { 0x1.e40161b701275p126, 0x1.be68728e29d5ep127 },
+	   { 0x1.dd0ed9ea4bdd6p126, 0x1.bada596f25436p127 },
+	   { 0x1.d62a978f7c957p126, 0x1.b745c55905bf8p127 },
+	   { 0x1.cf54b4058455fp126, 0x1.b3aafcc27502ep127 },
+	   { 0x1.c88d479173ccep126, 0x1.b00a46237d5bep127 },
+	   { 0x1.c1d4695e87644p126, 0x1.ac63e7ecc1411p127 },
+	   { 0x1.bb2a2f7e5652p126, 0x1.a8b8287ec6a09p127 },
+	   { 0x1.b48eaee924501p126, 0x1.a5074e215762p127 },
+	   { 0x1.ae01fb7e55a66p126, 0x1.a1519efaf889ep127 },
+	   { 0x1.a78428050527ep126, 0x1.9d97610879642p127 },
+	   { 0x1.a115462cbbc17p126, 0x1.99d8da149c13fp127 },
+	   { 0x1.9ab5668e4930ap126, 0x1.96164fafd8de3p127 },
+	   { 0x1.946498acbd766p126, 0x1.925007283d7aap127 },
+	   { 0x1.8e22eaf68291ep126, 0x1.8e86458169af8p127 },
+	   { 0x1.87f06ac6960c4p126, 0x1.8ab94f6caa71dp127 },
+	   { 0x1.81cd2465e1d96p126, 0x1.86e9694134b9ep127 },
+	   { 0x1.7bb9230cb40b4p126, 0x1.8316d6f48133dp127 },
+	   { 0x1.75b470e454d35p126, 0x1.7f41dc12c9e89p127 },
+	   { 0x1.6fbf1708ba47cp126, 0x1.7b6abbb7aaf19p127 },
+	   { 0x1.69d91d8a595dap126, 0x1.7791b886e7403p127 },
+	   { 0x1.64028b7013867p126, 0x1.73b714a552763p127 },
+	   { 0x1.5e3b66b9405a9p126, 0x1.6fdb11b1e0c34p127 },
+	   { 0x1.5883b45fd2b63p126, 0x1.6bfdf0beddaf5p127 },
+	   { 0x1.52db785a98acap126, 0x1.681ff24b4ab04p127 },
+	   { 0x1.4d42b59f95afap126, 0x1.6441563c665d4p127 },
+	   { 0x1.47b96e267647ap126, 0x1.60625bd75d07bp127 },
+	   { 0x1.423fa2eb1cb59p126, 0x1.5c8341bb23767p127 },
+	   { 0x1.3cd553f045d45p126, 0x1.58a445da7c74cp127 },
+	   { 0x1.377a8042458d1p126, 0x1.54c5a57629dbp127 },
+	   { 0x1.322f25f9da2fdp126, 0x1.50e79d1749ac9p127 },
+	   { 0x1.2cf3423f15fdfp126, 0x1.4d0a6889dfd9fp127 },
+	   { 0x1.27c6d14c5e341p126, 0x1.492e42d78d2c5p127 },
+	   { 0x1.22a9ce717edcbp126, 0x1.4553664273d24p127 },
+	   { 0x1.1d9c3416d2b4bp126, 0x1.417a0c4049fdp127 },
+	   { 0x1.189dfbc07e69p126, 0x1.3da26d759aef5p127 },
+	   { 0x1.13af1e11be721p126, 0x1.39ccc1b136d5ap127 },
+	   { 0x1.0ecf92d046d22p126, 0x1.35f93fe7d1b3dp127 },
+	   { 0x1.09ff50e7b3f93p126, 0x1.32281e2fd1a92p127 },
+	   { 0x1.053e4e6d0c10bp126, 0x1.2e5991bd4cbfcp127 },
+	   { 0x1.008c80a24ff1p126, 0x1.2a8dcede3673bp127 },
+	   { 0x1.f7d3b7f436013p125, 0x1.26c508f6bd0ffp127 },
+	   { 0x1.eeaca836a27ccp125, 0x1.22ff727dd6f7bp127 },
+	   { 0x1.e5a3b7c9b56dap125, 0x1.1f3d3cf9ffe5ap127 },
+	   { 0x1.dcb8cae2d747fp125, 0x1.1b7e98fe26217p127 },
+	   { 0x1.d3ebc436b0f26p125, 0x1.17c3b626c7a12p127 },
+	   { 0x1.cb3c8500ea349p125, 0x1.140cc3173f007p127 },
+	   { 0x1.c2aaed0bfcfeep125, 0x1.1059ed7740313p127 },
+	   { 0x1.ba36dab91c0e9p125, 0x1.0cab61f084b93p127 },
+	   { 0x1.b1e02b082b72p125, 0x1.09014c2ca74dap127 },
+	   { 0x1.a9a6b99fc973bp125, 0x1.055bd6d32e8d7p127 },
+	   { 0x1.a18a60d56673ep125, 0x1.01bb2b87c6968p127 },
+	   { 0x1.998af9b56a3aep125, 0x1.fc3ee5d1524bp126 },
+	   { 0x1.91a85c0b65519p125, 0x1.f511a91a67d2ap126 },
+	   { 0x1.89e25e6a4cef9p125, 0x1.edeeee0959518p126 },
+	   { 0x1.8238d634c0127p125, 0x1.e6d6ffaa65a25p126 },
+	   { 0x1.7aab97a554544p125, 0x1.dfca26f5bbf88p126 },
+	   { 0x1.733a75d6e91b8p125, 0x1.d8c8aace11e63p126 },
+	   { 0x1.6be542ccffc2fp125, 0x1.d1d2cfff91594p126 },
+	   { 0x1.64abcf7c175b4p125, 0x1.cae8d93f1d7b7p126 },
+	   { 0x1.5d8debd20aacep125, 0x1.c40b0729ed548p126 },
+	   { 0x1.568b66be6f268p125, 0x1.bd3998457afdbp126 },
+	   { 0x1.4fa40e3af3674p125, 0x1.b674c8ffc6283p126 },
+	   { 0x1.48d7af53bc19fp125, 0x1.afbcd3afe8ab6p126 },
+	   { 0x1.4226162fbddd5p125, 0x1.a911f096fbc26p126 },
+	   { 0x1.3b8f0e1912f7p125, 0x1.a27455e14c93cp126 },
+	   { 0x1.351261854b991p125, 0x1.9be437a7de946p126 },
+	   { 0x1.2eafda1db784ap125, 0x1.9561c7f23a47bp126 },
+	   { 0x1.286740c7a7dabp125, 0x1.8eed36b886d93p126 },
+	   { 0x1.22385daca7f47p125, 0x1.8886b1e5ecfd1p126 },
+	   { 0x1.1c22f842ac1f2p125, 0x1.822e655b417e7p126 },
+	   { 0x1.1626d7543522p125, 0x1.7be47af1f5d89p126 },
+	   { 0x1.1043c1086777dp125, 0x1.75a91a7f4d2edp126 },
+	   { 0x1.0a797aeb152f2p125, 0x1.6f7c69d7d3ef8p126 },
+	   { 0x1.04c7c9f4b969p125, 0x1.695e8cd31867ep126 },
+	   { 0x1.fe5ce524c8ee5p124, 0x1.634fa54fa285fp126 },
+	   { 0x1.f35a715b2f3e1p124, 0x1.5d4fd33729015p126 },
+	   { 0x1.e887bf681f218p124, 0x1.575f3483021c3p126 },
+	   { 0x1.dde4553ef94dep124, 0x1.517de540ce2a3p126 },
+	   { 0x1.d36fb7fa50177p124, 0x1.4babff975a04cp126 },
+	   { 0x1.c9296beb09cf1p124, 0x1.45e99bcbb7915p126 },
+	   { 0x1.bf10f4a759889p124, 0x1.4036d0468a7a2p126 },
+	   { 0x1.b525d5198cb1cp124, 0x1.3a93b1998736cp126 },
+	   { 0x1.ab678f8eabedbp124, 0x1.35005285227f1p126 },
+	   { 0x1.a1d5a5c4edb96p124, 0x1.2f7cc3fe6f423p126 },
+	   { 0x1.986f98f9f96c8p124, 0x1.2a09153529381p126 },
+	   { 0x1.8f34e9f8f93a6p124, 0x1.24a55399ea239p126 },
+	   { 0x1.8625192879e39p124, 0x1.1f518ae487dc8p126 },
+	   { 0x1.7d3fa69816db5p124, 0x1.1a0dc51a9934dp126 },
+	   { 0x1.7484120df1b01p124, 0x1.14da0a961fd14p126 },
+	   { 0x1.6bf1db13f3983p124, 0x1.0fb6620c550afp126 },
+	   { 0x1.63888104d811ap124, 0x1.0aa2d09497f2bp126 },
+	   { 0x1.5b478318ff939p124, 0x1.059f59af7a906p126 },
+	   { 0x1.532e6073095f2p124, 0x1.00abff4dec7a3p126 },
+	   { 0x1.4b3c982c338c7p124, 0x1.f79183b101c5bp125 },
+	   { 0x1.4371a960807f8p124, 0x1.edeb406d9c825p125 },
+	   { 0x1.3bcd133aa0ffcp124, 0x1.e4652fadcb6b2p125 },
+	   { 0x1.344e54ffa23b9p124, 0x1.daff4969c0b04p125 },
+	   { 0x1.2cf4ee1a5f0fcp124, 0x1.d1b982c50137p125 },
+	   { 0x1.25c05e26b3f99p124, 0x1.c893ce1dcbef7p125 },
+	   { 0x1.1eb024fc75285p124, 0x1.bf8e1b1ca2279p125 },
+	   { 0x1.17c3c2ba26319p124, 0x1.b6a856c3ed54fp125 },
+	   { 0x1.10fab7cf72f94p124, 0x1.ade26b7fbed95p125 },
+	   { 0x1.0a548507696cp124, 0x1.a53c4135a6526p125 },
+	   { 0x1.03d0ab9273b94p124, 0x1.9cb5bd549b111p125 },
+	   { 0x1.fadd5a20258d3p123, 0x1.944ec2e4f563p125 },
+	   { 0x1.ee5c1730b147cp123, 0x1.8c07329874652p125 },
+	   { 0x1.e21c938a45a83p123, 0x1.83deeada4d25ap125 },
+	   { 0x1.d61dd57628999p123, 0x1.7bd5c7df3fe9cp125 },
+	   { 0x1.ca5ee4649e31fp123, 0x1.73eba3b5b07b7p125 },
+	   { 0x1.bedec8fddb34p123, 0x1.6c205655be72p125 },
+	   { 0x1.b39c8d3276d8ap123, 0x1.6473b5b15a7a1p125 },
+	   { 0x1.a8973c4b5c03ep123, 0x1.5ce595c455b0ap125 },
+	   { 0x1.9dcde2f93a207p123, 0x1.5575c8a468362p125 },
+	   { 0x1.933f8f6375f2cp123, 0x1.4e241e912c305p125 },
+	   { 0x1.88eb51369acb9p123, 0x1.46f066040a832p125 },
+	   { 0x1.7ed039b24c96bp123, 0x1.3fda6bc016994p125 },
+	   { 0x1.74ed5bb6bb581p123, 0x1.38e1fae1d6a9dp125 },
+	   { 0x1.6b41cbd198bc8p123, 0x1.3206dceef5f87p125 },
+	   { 0x1.61cca04a90795p123, 0x1.2b48d9e5dea1cp125 },
+	   { 0x1.588cf12f4446bp123, 0x1.24a7b84d38971p125 },
+	   { 0x1.4f81d85ecc55bp123, 0x1.1e233d434b813p125 },
+	   { 0x1.46aa7194bd324p123, 0x1.17bb2c8d41535p125 },
+	   { 0x1.3e05da73b4159p123, 0x1.116f48a6476ccp125 },
+	   { 0x1.3593328f6abbep123, 0x1.0b3f52ce8c383p125 },
+	   { 0x1.2d519b7653e1ep123, 0x1.052b0b1a174eap125 },
+	   { 0x1.254038bac19d6p123, 0x1.fe6460fef468p124 },
+	   { 0x1.1d5e2ffb96d4p123, 0x1.f2a901ccafb37p124 },
+	   { 0x1.15aaa8ec85205p123, 0x1.e723726b824a9p124 },
+	   { 0x1.0e24cd5dd8846p123, 0x1.dbd32ac4c99bp124 },
+	   { 0x1.06cbc943d255ap123, 0x1.d0b7a0f921e7cp124 },
+	   { 0x1.ff3d957b29b39p122, 0x1.c5d0497c09e74p124 },
+	   { 0x1.f13a043742333p122, 0x1.bb1c972f23e5p124 },
+	   { 0x1.e38b43cbd0f0fp122, 0x1.b09bfb7d11a84p124 },
+	   { 0x1.d62fbdc2e756bp122, 0x1.a64de673e8837p124 },
+	   { 0x1.c925e02b41668p122, 0x1.9c31c6df3b1b8p124 },
+	   { 0x1.bc6c1da1f3121p122, 0x1.92470a61b6965p124 },
+	   { 0x1.b000ed5b4a626p122, 0x1.888d1d8e510a3p124 },
+	   { 0x1.a3e2cb2ae9edbp122, 0x1.7f036c0107294p124 },
+	   { 0x1.9810378b1f299p122, 0x1.75a96077274bap124 },
+	   { 0x1.8c87b7a37834fp122, 0x1.6c7e64e7281cbp124 },
+	   { 0x1.8147d54e9cc33p122, 0x1.6381e2980956bp124 },
+	   { 0x1.764f1f1f6ddeap122, 0x1.5ab342383d178p124 },
+	   { 0x1.6b9c28657041ap122, 0x1.5211ebf41880bp124 },
+	   { 0x1.612d893085125p122, 0x1.499d478bca735p124 },
+	   { 0x1.5701de53f4d2ep122, 0x1.4154bc68d75c3p124 },
+	   { 0x1.4d17c968d062bp122, 0x1.3937b1b31925ap124 },
+	   { 0x1.436df0cfabf1dp122, 0x1.31458e6542847p124 },
+	   { 0x1.3a02ffb1b7ceep122, 0x1.297db960e4f63p124 },
+	   { 0x1.30d5a6013afc5p122, 0x1.21df9981f8e53p124 },
+	   { 0x1.27e49879737d3p122, 0x1.1a6a95b1e786fp124 },
+	   { 0x1.1f2e909de04d2p122, 0x1.131e14fa1625dp124 },
+	   { 0x1.16b24cb8f8f92p122, 0x1.0bf97e95f2a64p124 },
+	   { 0x1.0e6e8fda56cf7p122, 0x1.04fc3a0481321p124 },
+	   { 0x1.066221d4539d8p122, 0x1.fc4b5e32d6259p123 },
+	   { 0x1.fd179e7243e3cp121, 0x1.eeea8c1b1db94p123 },
+	   { 0x1.edd4d2aec5adbp121, 0x1.e1d4cf1e2450ap123 },
+	   { 0x1.def98c6c79efap121, 0x1.d508f9a1ea64fp123 },
+	   { 0x1.d0838121f2418p121, 0x1.c885df3451a07p123 },
+	   { 0x1.c2706fa45005ep121, 0x1.bc4a54a84e834p123 },
+	   { 0x1.b4be201caa4b4p121, 0x1.b055303221015p123 },
+	   { 0x1.a76a63fc95c79p121, 0x1.a4a549829587ep123 },
+	   { 0x1.9a7315f1d6a55p121, 0x1.993979e14fffep123 },
+	   { 0x1.8dd619d943ca1p121, 0x1.8e109c4622913p123 },
+	   { 0x1.81915cb0e3323p121, 0x1.83298d717210ep123 },
+	   { 0x1.75a2d48946eb1p121, 0x1.78832c03aa2b1p123 },
+	   { 0x1.6a08807632262p121, 0x1.6e1c5893c380bp123 },
+	   { 0x1.5ec0687e8dcb2p121, 0x1.63f3f5c4de13bp123 },
+	   { 0x1.53c89d8bb3ddbp121, 0x1.5a08e85af27ep123 },
+	   { 0x1.491f395818f54p121, 0x1.505a174e9c929p123 },
+	   { 0x1.3ec25e5d5af12p121, 0x1.46e66be00224p123 },
+	   { 0x1.34b037c1bbfc5p121, 0x1.3dacd1a8d8ccep123 },
+	   { 0x1.2ae6f94510dd8p121, 0x1.34ac36ad8dafep123 },
+	   { 0x1.2164df2d29765p121, 0x1.2be38b6d92415p123 },
+	   { 0x1.18282e31ba3e8p121, 0x1.2351c2f2d1449p123 },
+	   { 0x1.0f2f3367cd6aap121, 0x1.1af5d2e04f3f6p123 },
+	   { 0x1.0678442cc256fp121, 0x1.12ceb37ff9bc3p123 },
+	   { 0x1.fc037c21c3622p120, 0x1.0adb5fcfa8c75p123 },
+	   { 0x1.eb940d8319831p120, 0x1.031ad58d56279p123 },
+	   { 0x1.db9f17e61c31p120, 0x1.f7182a851bca2p122 },
+	   { 0x1.cc218694238a2p120, 0x1.e85c449e377f3p122 },
+	   { 0x1.bd18548996419p120, 0x1.da0005e5f28dfp122 },
+	   { 0x1.ae808c479c371p120, 0x1.cc0180af00a8bp122 },
+	   { 0x1.a05747a543aa7p120, 0x1.be5ecd2fcb5f9p122 },
+	   { 0x1.9299afa0246a6p120, 0x1.b1160991ff737p122 },
+	   { 0x1.8544fc2c8c1dap120, 0x1.a4255a00b9f03p122 },
+	   { 0x1.785674053e8b9p120, 0x1.978ae8b55ce1bp122 },
+	   { 0x1.6bcb6c7ad4854p120, 0x1.8b44e6031383ep122 },
+	   { 0x1.5fa14942c3d54p120, 0x1.7f5188610ddc8p122 },
+	   { 0x1.53d57c461a5a7p120, 0x1.73af0c737bb45p122 },
+	   { 0x1.4865856ff632ap120, 0x1.685bb5134ef13p122 },
+	   { 0x1.3d4ef27bc49a6p120, 0x1.5d55cb54cd53ap122 },
+	   { 0x1.328f5ec350e67p120, 0x1.529b9e8cf9a1ep122 },
+	   { 0x1.2824730cacbb4p120, 0x1.482b8455dc491p122 },
+	   { 0x1.1e0be557fa673p120, 0x1.3e03d891b37dep122 },
+	   { 0x1.144378ad22027p120, 0x1.3422fd6d12e2bp122 },
+	   { 0x1.0ac8fce979b96p120, 0x1.2a875b5ffab56p122 },
+	   { 0x1.019a4e8d69649p120, 0x1.212f612dee7fbp122 },
+	   { 0x1.f16aad1422a55p119, 0x1.181983e5133ddp122 },
+	   { 0x1.e030141df7d25p119, 0x1.0f443edc5ce49p122 },
+	   { 0x1.cf80d4afc3019p119, 0x1.06ae13b0d3255p122 },
+	   { 0x1.bf5908f50b4ap119, 0x1.fcab1483ea7fcp121 },
+	   { 0x1.afb4e269693dfp119, 0x1.ec72615a894c4p121 },
+	   { 0x1.a090a974cfebep119, 0x1.dcaf3691fc448p121 },
+	   { 0x1.91e8bd0830a74p119, 0x1.cd5ec93c12432p121 },
+	   { 0x1.83b9923a85f7bp119, 0x1.be7e5ac24963bp121 },
+	   { 0x1.75ffb3e6519ap119, 0x1.b00b38d6b3575p121 },
+	   { 0x1.68b7c2479902dp119, 0x1.a202bd6372dcep121 },
+	   { 0x1.5bde729a6b60fp119, 0x1.94624e78e0fafp121 },
+	   { 0x1.4f708eb9fba63p119, 0x1.87275e3a6869ep121 },
+	   { 0x1.436af4c058acbp119, 0x1.7a4f6aca256cbp121 },
+	   { 0x1.37ca96a6cd1d4p119, 0x1.6dd7fe335823p121 },
+	   { 0x1.2c8c79e6f04a3p119, 0x1.61beae53b72b7p121 },
+	   { 0x1.21adb71c70c75p119, 0x1.56011cc3b036dp121 },
+	   { 0x1.172b79a7a1181p119, 0x1.4a9cf6bda3f4cp121 },
+	   { 0x1.0d02ff50ce651p119, 0x1.3f8ff5042a88ep121 },
+	   { 0x1.033197ec68c0ep119, 0x1.34d7dbc76d7e5p121 },
+	   { 0x1.f3694a0008381p118, 0x1.2a727a89a3f14p121 },
+	   { 0x1.e11332d0714c5p118, 0x1.205dac02bd6b9p121 },
+	   { 0x1.cf5bf1fed1e7p118, 0x1.1697560347b26p121 },
+	   { 0x1.be3eb08ae7c2p118, 0x1.0d1d69569b82dp121 },
+	   { 0x1.adb6b810af9e2p118, 0x1.03ede1a45bfeep121 },
+	   { 0x1.9dbf721b98dfap118, 0x1.f60d8aa2a88f2p120 },
+	   { 0x1.8e54677bb0151p118, 0x1.e4cc4abf7d065p120 },
+	   { 0x1.7f713f9cc9784p118, 0x1.d4143a9dfe965p120 },
+	   { 0x1.7111bfdfb3cep118, 0x1.c3e1a5f5c077cp120 },
+	   { 0x1.6331caf57b5dbp118, 0x1.b430ecf4a83a8p120 },
+	   { 0x1.55cd603cc415p118, 0x1.a4fe83fb9db25p120 },
+	   { 0x1.48e09b21414bfp118, 0x1.9646f35a76624p120 },
+	   { 0x1.3c67b27d50fe7p118, 0x1.8806d70b2fc36p120 },
+	   { 0x1.305ef7fdbfb95p118, 0x1.7a3ade6c8b3e5p120 },
+	   { 0x1.24c2d787b9e37p118, 0x1.6cdfcbfc1e263p120 },
+	   { 0x1.198fd6a0ee7bdp118, 0x1.5ff2750fe782p120 },
+	   { 0x1.0ec293d9e6d85p118, 0x1.536fc18f7ce5cp120 },
+	   { 0x1.0457c63a9669p118, 0x1.4754abacdf1dcp120 },
+	   { 0x1.f49879624a021p117, 0x1.3b9e3f9d06e3fp120 },
+	   { 0x1.e139bb05eb49ep117, 0x1.30499b503957fp120 },
+	   { 0x1.ce8d4b7fd6c7p117, 0x1.2553ee2a336bfp120 },
+	   { 0x1.bc8d516fda8bap117, 0x1.1aba78ba3af89p120 },
+	   { 0x1.ab341ee553e25p117, 0x1.107a8c7323a6ep120 },
+	   { 0x1.9a7c305336484p117, 0x1.06918b6355624p120 },
+	   { 0x1.8a602b88919cp117, 0x1.f9f9cfd9c3035p119 },
+	   { 0x1.7adadead962edp117, 0x1.e77448fb66bb9p119 },
+	   { 0x1.6be73f45149fbp117, 0x1.d58da68fd117p119 },
+	   { 0x1.5d80693276a6dp117, 0x1.c4412bf4b8f0bp119 },
+	   { 0x1.4fa19dc42d409p117, 0x1.b38a3af2e55b4p119 },
+	   { 0x1.424642c28ff75p117, 0x1.a3645330550ffp119 },
+	   { 0x1.3569e18328604p117, 0x1.93cb11a30d765p119 },
+	   { 0x1.29082600643fdp117, 0x1.84ba3004a50dp119 },
+	   { 0x1.1d1cddf5a82dep117, 0x1.762d84469c18fp119 },
+	   { 0x1.11a3f7ffbbfeap117, 0x1.6821000795a03p119 },
+	   { 0x1.069982c189a9ep117, 0x1.5a90b00981d93p119 },
+	   { 0x1.f7f3581a4dc2cp116, 0x1.4d78bba8ca5fdp119 },
+	   { 0x1.e381802242163p116, 0x1.40d564548fad7p119 },
+	   { 0x1.cfd6511405b2dp116, 0x1.34a305080681fp119 },
+	   { 0x1.bcead7f01492fp116, 0x1.28de11c5031ebp119 },
+	   { 0x1.aab859b20ac9ep116, 0x1.1d83170fbf6fbp119 },
+	   { 0x1.993851cc9779ap116, 0x1.128eb96be8798p119 },
+	   { 0x1.886470ad946a7p116, 0x1.07fdb4dafea5fp119 },
+	   { 0x1.78369a4a2cbd6p116, 0x1.fb99b8b8279e1p118 },
+	   { 0x1.68a8e4b2fc8c2p116, 0x1.e7f232d9e263p118 },
+	   { 0x1.59b596b012aaap116, 0x1.d4fed7195d7e8p118 },
+	   { 0x1.4b572664bd2dcp116, 0x1.c2b9cf7f893bfp118 },
+	   { 0x1.3d8837fb08d1dp116, 0x1.b11d702b3deb2p118 },
+	   { 0x1.30439c56dadf6p116, 0x1.a024365f771bdp118 },
+	   { 0x1.23844fd08cb93p116, 0x1.8fc8c794b03b5p118 },
+	   { 0x1.174578f6efd5dp116, 0x1.8005f08d6f1efp118 },
+	   { 0x1.0b826758a086bp116, 0x1.70d6a46e07ddap118 },
+	   { 0x1.003692548d98bp116, 0x1.6235fbd7a4345p118 },
+	   { 0x1.eabb2fe335196p115, 0x1.541f340697987p118 },
+	   { 0x1.d5e6777a83c2ap115, 0x1.468dadf4080abp118 },
+	   { 0x1.c1e6cb6239574p115, 0x1.397ced7af2b15p118 },
+	   { 0x1.aeb4423e690e7p115, 0x1.2ce898809244ep118 },
+	   { 0x1.9c47374a0974ep115, 0x1.20cc76202c5fbp118 },
+	   { 0x1.8a98484a1e8d3p115, 0x1.15246dda49d47p118 },
+	   { 0x1.79a0538dd4fc7p115, 0x1.09ec86c75d497p118 },
+	   { 0x1.695875fb574ap115, 0x1.fe41cd9bb4eeep117 },
+	   { 0x1.59ba0929261c5p115, 0x1.e97ba3b77f306p117 },
+	   { 0x1.4abea183bc47p115, 0x1.d57f524723822p117 },
+	   { 0x1.3c600c7f477c5p115, 0x1.c245d4b99847ap117 },
+	   { 0x1.2e984ed53e777p115, 0x1.afc85e0f82e12p117 },
+	   { 0x1.2161a2cd9d894p115, 0x1.9e005769dbc1dp117 },
+	   { 0x1.14b67693928cfp115, 0x1.8ce75e9f6f8ap117 },
+	   { 0x1.08916a956172p115, 0x1.7c7744d9378f7p117 },
+	   { 0x1.f9da9fde95755p114, 0x1.6caa0d3582fe9p117 },
+	   { 0x1.e38a4dc27b11bp114, 0x1.5d79eb71e893bp117 },
+	   { 0x1.ce283a9e3e33p114, 0x1.4ee1429bf7ccp117 },
+	   { 0x1.b9ab1a96e3b3ep114, 0x1.40daa3c89f5b6p117 },
+	   { 0x1.a609f7584d32bp114, 0x1.3360ccd23db3ap117 },
+	   { 0x1.933c2d52c56c9p114, 0x1.266ea71d4f71ap117 },
+	   { 0x1.8139690c0d187p114, 0x1.19ff4663ae9dfp117 },
+	   { 0x1.6ff9a4837fa43p114, 0x1.0e0de78654d1ep117 },
+	   { 0x1.5f7524a8e81a2p114, 0x1.0295ef6591848p117 },
+	   { 0x1.4fa476e59f668p114, 0x1.ef25d37f49fe1p116 },
+	   { 0x1.40806eb78e353p114, 0x1.da01102b5f851p116 },
+	   { 0x1.3202235dada5p114, 0x1.c5b5412dcafadp116 },
+	   { 0x1.2422ed95a3235p114, 0x1.b23a5a23e421p116 },
+	   { 0x1.16dc656a14df6p114, 0x1.9f8893d8fd1c1p116 },
+	   { 0x1.0a2860115569cp114, 0x1.8d986a4187285p116 },
+	   { 0x1.fc01dbb80c841p113, 0x1.7c629a822bc9ep116 },
+	   { 0x1.e4c0b066a497p113, 0x1.6be02102b352p116 },
+	   { 0x1.ce823f4cc4badp113, 0x1.5c0a378c90bcap116 },
+	   { 0x1.b93bf40d5eccbp113, 0x1.4cda5374ea275p116 },
+	   { 0x1.a4e3a125adc76p113, 0x1.3e4a23d1f4703p116 },
+	   { 0x1.916f7c5f2f764p113, 0x1.30538fbb77ecdp116 },
+	   { 0x1.7ed61b5d3db0ap113, 0x1.22f0b496539bep116 },
+	   { 0x1.6d0e7045988cbp113, 0x1.161be46ad3b5p116 },
+	   { 0x1.5c0fc68335b0cp113, 0x1.09cfa445b00ffp116 },
+	   { 0x1.4bd1bfa2aba3dp113, 0x1.fc0d55470cf51p115 },
+	   { 0x1.3c4c504792bf8p113, 0x1.e577bbcd49935p115 },
+	   { 0x1.2d77bd3a382bcp113, 0x1.cfd4a5adec5cp115 },
+	   { 0x1.1f4c988d02149p113, 0x1.bb1a9657ce465p115 },
+	   { 0x1.11c3bed8e716ap113, 0x1.a740684026555p115 },
+	   { 0x1.04d654905dadp113, 0x1.943d4a1d1ed39p115 },
+	   { 0x1.f0fb86d056745p112, 0x1.8208bc334a6a5p115 },
+	   { 0x1.d9676faafa27fp112, 0x1.709a8db59f25cp115 },
+	   { 0x1.c2e43d417197bp112, 0x1.5feada379d8b7p115 },
+	   { 0x1.ad664518e771bp112, 0x1.4ff207314a102p115 },
+	   { 0x1.98e25420092dap112, 0x1.40a8c1949f75ep115 },
+	   { 0x1.854daa4a49b0fp112, 0x1.3207fb7420eb9p115 },
+	   { 0x1.729df6503422ap112, 0x1.2408e9ba3327fp115 },
+	   { 0x1.60c95193c542dp112, 0x1.16a501f0e42cap115 },
+	   { 0x1.4fc63c27c71aep112, 0x1.09d5f819c9e29p115 },
+	   { 0x1.3f8b98f93052ap112, 0x1.fb2b792b40a22p114 },
+	   { 0x1.3010aa198de78p112, 0x1.e3bcf436a1a95p114 },
+	   { 0x1.214d0d298365p112, 0x1.cd55277c18d05p114 },
+	   { 0x1.1338b7e273194p112, 0x1.b7e94604479dcp114 },
+	   { 0x1.05cbf4be650abp112, 0x1.a36eec00926ddp114 },
+	   { 0x1.f1febf7a916aap111, 0x1.8fdc1b2dcf7b9p114 },
+	   { 0x1.d997c68d65936p111, 0x1.7d2737527c3f9p114 },
+	   { 0x1.c2556a4e7a90fp111, 0x1.6b4702d7d5849p114 },
+	   { 0x1.ac2aa7516ade4p111, 0x1.5a329b7d30748p114 },
+	   { 0x1.970b05888fda2p111, 0x1.49e17724f4d41p114 },
+	   { 0x1.82ea92dbc1a27p111, 0x1.3a4b60ba9aa4ep114 },
+	   { 0x1.6fbdddeff308fp111, 0x1.2b6875310f785p114 },
+	   { 0x1.5d79f11e27f6bp111, 0x1.1d312098e9dbap114 },
+	   { 0x1.4c144d984e1b8p111, 0x1.0f9e1b4dd36dfp114 },
+	   { 0x1.3b82e6ba892a4p111, 0x1.02a8673a94692p114 },
+	   { 0x1.2bbc1d878d272p111, 0x1.ec929a665b449p113 },
+	   { 0x1.1cb6bc4eaa678p111, 0x1.d4f4b4c8e09edp113 },
+	   { 0x1.0e69f27a37df3p111, 0x1.be6abbb10a5aap113 },
+	   { 0x1.00cd508511266p111, 0x1.a8e8cc1fadef6p113 },
+	   { 0x1.e7b1882bccac5p110, 0x1.94637d5bacfdbp113 },
+	   { 0x1.cf09287e48bb9p110, 0x1.80cfdc72220cfp113 },
+	   { 0x1.b792bbc489b04p110, 0x1.6e2367dc27f95p113 },
+	   { 0x1.a140206ab945p110, 0x1.5c540b4936fd2p113 },
+	   { 0x1.8c03d2d39119bp110, 0x1.4b581b8d170fcp113 },
+	   { 0x1.77d0e6e5bed21p110, 0x1.3b2652b06c2b2p113 },
+	   { 0x1.649b01d73110ap110, 0x1.2bb5cc22e5db6p113 },
+	   { 0x1.525654343aad2p110, 0x1.1cfe010e2052dp113 },
+	   { 0x1.40f79420887c7p110, 0x1.0ef6c4c84a0fep113 },
+	   { 0x1.3073f7cff4a85p110, 0x1.01984165a5f36p113 },
+	   { 0x1.20c1303550f0ep110, 0x1.e9b5e8d00ce77p112 },
+	   { 0x1.11d563e54f40ep110, 0x1.d16f5716c6c1ap112 },
+	   { 0x1.03a72a2bbdc06p110, 0x1.ba4f035d60e03p112 },
+	   { 0x1.ec5b0ca2b20f5p109, 0x1.a447b7b03f045p112 },
+	   { 0x1.d2bfc6210880ap109, 0x1.8f4ccca7fc90dp112 },
+	   { 0x1.ba6c1c6e87c4p109, 0x1.7b5223dac7336p112 },
+	   { 0x1.a35068e9c89cfp109, 0x1.684c227fcacefp112 },
+	   { 0x1.8d5dbaa383b98p109, 0x1.562fac4329b48p112 },
+	   { 0x1.7885ce9f67cdbp109, 0x1.44f21e49054f2p112 },
+	   { 0x1.64bb0863504ddp109, 0x1.34894a5e24657p112 },
+	   { 0x1.51f06ad20e4c3p109, 0x1.24eb7254ccf83p112 },
+	   { 0x1.4019914f0b53ap109, 0x1.160f438c70913p112 },
+	   { 0x1.2f2aa92823e8p109, 0x1.07ebd2a2d2844p112 },
+	   { 0x1.1f186b432c98bp109, 0x1.f4f12e9ab070ap111 },
+	   { 0x1.0fd8160ca94ap109, 0x1.db5ad0b27805cp111 },
+	   { 0x1.015f67a552924p109, 0x1.c304efa2c6f4ep111 },
+	   { 0x1.e749309831666p108, 0x1.abe09e9144b5ep111 },
+	   { 0x1.cd3caa04cdd1bp108, 0x1.95df988e76644p111 },
+	   { 0x1.b48774d0f8e45p108, 0x1.80f439b4ee04bp111 },
+	   { 0x1.9d189f9f85cbfp108, 0x1.6d11788a69c64p111 },
+	   { 0x1.86e0050236315p108, 0x1.5a2adfa0b4bc4p111 },
+	   { 0x1.71ce426a561d3p108, 0x1.4834877429b8fp111 },
+	   { 0x1.5dd4af79906a9p108, 0x1.37231085c7d9ap111 },
+	   { 0x1.4ae555af52cdfp108, 0x1.26eb9daed6f7ep111 },
+	   { 0x1.38f2e86f38216p108, 0x1.1783ceac2891p111 },
+	   { 0x1.27f0bd5d0e6b1p108, 0x1.08e1badf0fcedp111 },
+	   { 0x1.17d2c50b2bfafp108, 0x1.f5f7d88472604p110 },
+	   { 0x1.088d83f7e4069p108, 0x1.db92b5212fb8dp110 },
+	   { 0x1.f42c17ae0ebf6p107, 0x1.c282cd3957edap110 },
+	   { 0x1.d8c3ea48f2889p107, 0x1.aab7abace48dcp110 },
+	   { 0x1.beceb1f9f5b3dp107, 0x1.94219bfcb4928p110 },
+	   { 0x1.a6399674d366bp107, 0x1.7eb1a2075864ep110 },
+	   { 0x1.8ef2a9a18d857p107, 0x1.6a597219a93dap110 },
+	   { 0x1.78e8dcd2e6bfdp107, 0x1.570b69502f313p110 },
+	   { 0x1.640bf6745325ep107, 0x1.44ba864670882p110 },
+	   { 0x1.504c882a97424p107, 0x1.335a62115bce2p110 },
+	   { 0x1.3d9be56279ee9p107, 0x1.22df298214423p110 },
+	   { 0x1.2bec1a4917edbp107, 0x1.133d96ae7e0ddp110 },
+	   { 0x1.1b2fe32991d5cp107, 0x1.046aeabcfcdecp110 },
+	   { 0x1.0b5aa42bf5054p107, 0x1.ecb9cfe1d8642p109 },
+	   { 0x1.f8c0c2e2ce8dep106, 0x1.d21397ead99cbp109 },
+	   { 0x1.dc6b6f1384e18p106, 0x1.b8d094c86d374p109 },
+	   { 0x1.c19fa87de37fbp106, 0x1.a0df0f0c626dcp109 },
+	   { 0x1.a848df650bea7p106, 0x1.8a2e269750a39p109 },
+	   { 0x1.90538b942ea7cp106, 0x1.74adc8f4064d3p109 },
+	   { 0x1.79ad1fce5b3d8p106, 0x1.604ea819f007cp109 },
+	   { 0x1.6443fdcf0c327p106, 0x1.4d0231928c6f9p109 },
+	   { 0x1.50076ad55cc39p106, 0x1.3aba85fe22e2p109 },
+	   { 0x1.3ce784b411931p106, 0x1.296a70f414053p109 },
+	   { 0x1.2ad53760d7287p106, 0x1.1905613b3abf2p109 },
+	   { 0x1.19c232fd50b88p106, 0x1.097f6156f32c5p109 },
+	   { 0x1.09a0e254c75ep106, 0x1.f59a20caf6695p108 },
+	   { 0x1.f4c8c392fb944p105, 0x1.d9c73698fb1dcp108 },
+	   { 0x1.d800ed59bd026p105, 0x1.bf716c6168baep108 },