1/*
2 * Data used in single-precision erfc(x) function.
3 *
4 * Copyright (c) 2023, Arm Limited.
5 * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception
6 */
7
8#include "math_config.h"
9
10/* Lookup table used in erfcf.
11   For each possible rounded input r (multiples of 1/64), between
12   r = 0.0 and r = 10.0625 (645 values):
13   - the first entry __erfcf_data.tab.erfc contains the values of erfc(r),
14   - the second entry __erfcf_data.tab.scale contains the values of
15   2/sqrt(pi)*exp(-r^2). Both values may go into subnormal range, therefore
16   they are scaled by a large enough value 2^47 (fits in 8 bits).  */
17const struct erfcf_data __erfcf_data = {
18  .tab = { { 0x1p47, 0x1.20dd76p47 },
19	   { 0x1.f6f944p46, 0x1.20cb68p47 },
20	   { 0x1.edf3aap46, 0x1.209546p47 },
21	   { 0x1.e4f05p46, 0x1.203b26p47 },
22	   { 0x1.dbf056p46, 0x1.1fbd28p47 },
23	   { 0x1.d2f4dcp46, 0x1.1f1b7ap47 },
24	   { 0x1.c9fefep46, 0x1.1e565cp47 },
25	   { 0x1.c10fd4p46, 0x1.1d6e14p47 },
26	   { 0x1.b8287ap46, 0x1.1c62fap47 },
27	   { 0x1.af4ap46, 0x1.1b3572p47 },
28	   { 0x1.a6757ep46, 0x1.19e5eap47 },
29	   { 0x1.9dabfcp46, 0x1.1874dep47 },
30	   { 0x1.94ee88p46, 0x1.16e2d8p47 },
31	   { 0x1.8c3e24p46, 0x1.153068p47 },
32	   { 0x1.839bd6p46, 0x1.135e3p47 },
33	   { 0x1.7b0894p46, 0x1.116cd8p47 },
34	   { 0x1.728558p46, 0x1.0f5d16p47 },
35	   { 0x1.6a1312p46, 0x1.0d2fa6p47 },
36	   { 0x1.61b2acp46, 0x1.0ae55p47 },
37	   { 0x1.596508p46, 0x1.087ee4p47 },
38	   { 0x1.512b06p46, 0x1.05fd3ep47 },
39	   { 0x1.49057ap46, 0x1.03614p47 },
40	   { 0x1.40f536p46, 0x1.00abdp47 },
41	   { 0x1.38fbp46, 0x1.fbbbbep46 },
42	   { 0x1.311796p46, 0x1.f5f0cep46 },
43	   { 0x1.294bb4p46, 0x1.eff8c4p46 },
44	   { 0x1.21980ap46, 0x1.e9d5a8p46 },
45	   { 0x1.19fd3ep46, 0x1.e38988p46 },
46	   { 0x1.127bf2p46, 0x1.dd167cp46 },
47	   { 0x1.0b14bcp46, 0x1.d67ea2p46 },
48	   { 0x1.03c82ap46, 0x1.cfc41ep46 },
49	   { 0x1.f92d8cp45, 0x1.c8e91cp46 },
50	   { 0x1.eb0214p45, 0x1.c1efcap46 },
51	   { 0x1.dd0edap45, 0x1.bada5ap46 },
52	   { 0x1.cf54b4p45, 0x1.b3aafcp46 },
53	   { 0x1.c1d46ap45, 0x1.ac63e8p46 },
54	   { 0x1.b48eaep45, 0x1.a5074ep46 },
55	   { 0x1.a78428p45, 0x1.9d9762p46 },
56	   { 0x1.9ab566p45, 0x1.96165p46 },
57	   { 0x1.8e22eap45, 0x1.8e8646p46 },
58	   { 0x1.81cd24p45, 0x1.86e96ap46 },
59	   { 0x1.75b47p45, 0x1.7f41dcp46 },
60	   { 0x1.69d91ep45, 0x1.7791b8p46 },
61	   { 0x1.5e3b66p45, 0x1.6fdb12p46 },
62	   { 0x1.52db78p45, 0x1.681ff2p46 },
63	   { 0x1.47b96ep45, 0x1.60625cp46 },
64	   { 0x1.3cd554p45, 0x1.58a446p46 },
65	   { 0x1.322f26p45, 0x1.50e79ep46 },
66	   { 0x1.27c6d2p45, 0x1.492e42p46 },
67	   { 0x1.1d9c34p45, 0x1.417a0cp46 },
68	   { 0x1.13af1ep45, 0x1.39ccc2p46 },
69	   { 0x1.09ff5p45, 0x1.32281ep46 },
70	   { 0x1.008c8p45, 0x1.2a8dcep46 },
71	   { 0x1.eeaca8p44, 0x1.22ff72p46 },
72	   { 0x1.dcb8cap44, 0x1.1b7e98p46 },
73	   { 0x1.cb3c86p44, 0x1.140cc4p46 },
74	   { 0x1.ba36dap44, 0x1.0cab62p46 },
75	   { 0x1.a9a6bap44, 0x1.055bd6p46 },
76	   { 0x1.998afap44, 0x1.fc3ee6p45 },
77	   { 0x1.89e25ep44, 0x1.edeeeep45 },
78	   { 0x1.7aab98p44, 0x1.dfca26p45 },
79	   { 0x1.6be542p44, 0x1.d1d2dp45 },
80	   { 0x1.5d8decp44, 0x1.c40b08p45 },
81	   { 0x1.4fa40ep44, 0x1.b674c8p45 },
82	   { 0x1.422616p44, 0x1.a911fp45 },
83	   { 0x1.351262p44, 0x1.9be438p45 },
84	   { 0x1.28674p44, 0x1.8eed36p45 },
85	   { 0x1.1c22f8p44, 0x1.822e66p45 },
86	   { 0x1.1043c2p44, 0x1.75a91ap45 },
87	   { 0x1.04c7cap44, 0x1.695e8cp45 },
88	   { 0x1.f35a72p43, 0x1.5d4fd4p45 },
89	   { 0x1.dde456p43, 0x1.517de6p45 },
90	   { 0x1.c9296cp43, 0x1.45e99cp45 },
91	   { 0x1.b525d6p43, 0x1.3a93b2p45 },
92	   { 0x1.a1d5a6p43, 0x1.2f7cc4p45 },
93	   { 0x1.8f34eap43, 0x1.24a554p45 },
94	   { 0x1.7d3fa6p43, 0x1.1a0dc6p45 },
95	   { 0x1.6bf1dcp43, 0x1.0fb662p45 },
96	   { 0x1.5b4784p43, 0x1.059f5ap45 },
97	   { 0x1.4b3c98p43, 0x1.f79184p44 },
98	   { 0x1.3bcd14p43, 0x1.e4653p44 },
99	   { 0x1.2cf4eep43, 0x1.d1b982p44 },
100	   { 0x1.1eb024p43, 0x1.bf8e1cp44 },
101	   { 0x1.10fab8p43, 0x1.ade26cp44 },
102	   { 0x1.03d0acp43, 0x1.9cb5bep44 },
103	   { 0x1.ee5c18p42, 0x1.8c0732p44 },
104	   { 0x1.d61dd6p42, 0x1.7bd5c8p44 },
105	   { 0x1.bedec8p42, 0x1.6c2056p44 },
106	   { 0x1.a8973cp42, 0x1.5ce596p44 },
107	   { 0x1.933f9p42, 0x1.4e241ep44 },
108	   { 0x1.7ed03ap42, 0x1.3fda6cp44 },
109	   { 0x1.6b41ccp42, 0x1.3206dcp44 },
110	   { 0x1.588cf2p42, 0x1.24a7b8p44 },
111	   { 0x1.46aa72p42, 0x1.17bb2cp44 },
112	   { 0x1.359332p42, 0x1.0b3f52p44 },
113	   { 0x1.254038p42, 0x1.fe646p43 },
114	   { 0x1.15aaa8p42, 0x1.e72372p43 },
115	   { 0x1.06cbcap42, 0x1.d0b7ap43 },
116	   { 0x1.f13a04p41, 0x1.bb1c98p43 },
117	   { 0x1.d62fbep41, 0x1.a64de6p43 },
118	   { 0x1.bc6c1ep41, 0x1.92470ap43 },
119	   { 0x1.a3e2ccp41, 0x1.7f036cp43 },
120	   { 0x1.8c87b8p41, 0x1.6c7e64p43 },
121	   { 0x1.764f2p41, 0x1.5ab342p43 },
122	   { 0x1.612d8ap41, 0x1.499d48p43 },
123	   { 0x1.4d17cap41, 0x1.3937b2p43 },
124	   { 0x1.3a03p41, 0x1.297dbap43 },
125	   { 0x1.27e498p41, 0x1.1a6a96p43 },
126	   { 0x1.16b24cp41, 0x1.0bf97ep43 },
127	   { 0x1.066222p41, 0x1.fc4b5ep42 },
128	   { 0x1.edd4d2p40, 0x1.e1d4dp42 },
129	   { 0x1.d08382p40, 0x1.c885ep42 },
130	   { 0x1.b4be2p40, 0x1.b0553p42 },
131	   { 0x1.9a7316p40, 0x1.99397ap42 },
132	   { 0x1.81915cp40, 0x1.83298ep42 },
133	   { 0x1.6a088p40, 0x1.6e1c58p42 },
134	   { 0x1.53c89ep40, 0x1.5a08e8p42 },
135	   { 0x1.3ec25ep40, 0x1.46e66cp42 },
136	   { 0x1.2ae6fap40, 0x1.34ac36p42 },
137	   { 0x1.18282ep40, 0x1.2351c2p42 },
138	   { 0x1.067844p40, 0x1.12ceb4p42 },
139	   { 0x1.eb940ep39, 0x1.031ad6p42 },
140	   { 0x1.cc2186p39, 0x1.e85c44p41 },
141	   { 0x1.ae808cp39, 0x1.cc018p41 },
142	   { 0x1.9299bp39, 0x1.b1160ap41 },
143	   { 0x1.785674p39, 0x1.978ae8p41 },
144	   { 0x1.5fa14ap39, 0x1.7f5188p41 },
145	   { 0x1.486586p39, 0x1.685bb6p41 },
146	   { 0x1.328f5ep39, 0x1.529b9ep41 },
147	   { 0x1.1e0be6p39, 0x1.3e03d8p41 },
148	   { 0x1.0ac8fcp39, 0x1.2a875cp41 },
149	   { 0x1.f16aaep38, 0x1.181984p41 },
150	   { 0x1.cf80d4p38, 0x1.06ae14p41 },
151	   { 0x1.afb4e2p38, 0x1.ec7262p40 },
152	   { 0x1.91e8bep38, 0x1.cd5ecap40 },
153	   { 0x1.75ffb4p38, 0x1.b00b38p40 },
154	   { 0x1.5bde72p38, 0x1.94624ep40 },
155	   { 0x1.436af4p38, 0x1.7a4f6ap40 },
156	   { 0x1.2c8c7ap38, 0x1.61beaep40 },
157	   { 0x1.172b7ap38, 0x1.4a9cf6p40 },
158	   { 0x1.033198p38, 0x1.34d7dcp40 },
159	   { 0x1.e11332p37, 0x1.205dacp40 },
160	   { 0x1.be3ebp37, 0x1.0d1d6ap40 },
161	   { 0x1.9dbf72p37, 0x1.f60d8ap39 },
162	   { 0x1.7f714p37, 0x1.d4143ap39 },
163	   { 0x1.6331cap37, 0x1.b430ecp39 },
164	   { 0x1.48e09cp37, 0x1.9646f4p39 },
165	   { 0x1.305ef8p37, 0x1.7a3adep39 },
166	   { 0x1.198fd6p37, 0x1.5ff276p39 },
167	   { 0x1.0457c6p37, 0x1.4754acp39 },
168	   { 0x1.e139bcp36, 0x1.30499cp39 },
169	   { 0x1.bc8d52p36, 0x1.1aba78p39 },
170	   { 0x1.9a7c3p36, 0x1.06918cp39 },
171	   { 0x1.7adadep36, 0x1.e77448p38 },
172	   { 0x1.5d806ap36, 0x1.c4412cp38 },
173	   { 0x1.424642p36, 0x1.a36454p38 },
174	   { 0x1.290826p36, 0x1.84ba3p38 },
175	   { 0x1.11a3f8p36, 0x1.6821p38 },
176	   { 0x1.f7f358p35, 0x1.4d78bcp38 },
177	   { 0x1.cfd652p35, 0x1.34a306p38 },
178	   { 0x1.aab85ap35, 0x1.1d8318p38 },
179	   { 0x1.88647p35, 0x1.07fdb4p38 },
180	   { 0x1.68a8e4p35, 0x1.e7f232p37 },
181	   { 0x1.4b5726p35, 0x1.c2b9dp37 },
182	   { 0x1.30439cp35, 0x1.a02436p37 },
183	   { 0x1.174578p35, 0x1.8005fp37 },
184	   { 0x1.003692p35, 0x1.6235fcp37 },
185	   { 0x1.d5e678p34, 0x1.468daep37 },
186	   { 0x1.aeb442p34, 0x1.2ce898p37 },
187	   { 0x1.8a9848p34, 0x1.15246ep37 },
188	   { 0x1.695876p34, 0x1.fe41cep36 },
189	   { 0x1.4abea2p34, 0x1.d57f52p36 },
190	   { 0x1.2e984ep34, 0x1.afc85ep36 },
191	   { 0x1.14b676p34, 0x1.8ce75ep36 },
192	   { 0x1.f9daap33, 0x1.6caa0ep36 },
193	   { 0x1.ce283ap33, 0x1.4ee142p36 },
194	   { 0x1.a609f8p33, 0x1.3360ccp36 },
195	   { 0x1.81396ap33, 0x1.19ff46p36 },
196	   { 0x1.5f7524p33, 0x1.0295fp36 },
197	   { 0x1.40806ep33, 0x1.da011p35 },
198	   { 0x1.2422eep33, 0x1.b23a5ap35 },
199	   { 0x1.0a286p33, 0x1.8d986ap35 },
200	   { 0x1.e4c0bp32, 0x1.6be022p35 },
201	   { 0x1.b93bf4p32, 0x1.4cda54p35 },
202	   { 0x1.916f7cp32, 0x1.30539p35 },
203	   { 0x1.6d0e7p32, 0x1.161be4p35 },
204	   { 0x1.4bd1cp32, 0x1.fc0d56p34 },
205	   { 0x1.2d77bep32, 0x1.cfd4a6p34 },
206	   { 0x1.11c3bep32, 0x1.a74068p34 },
207	   { 0x1.f0fb86p31, 0x1.8208bcp34 },
208	   { 0x1.c2e43ep31, 0x1.5feadap34 },
209	   { 0x1.98e254p31, 0x1.40a8c2p34 },
210	   { 0x1.729df6p31, 0x1.2408eap34 },
211	   { 0x1.4fc63cp31, 0x1.09d5f8p34 },
212	   { 0x1.3010aap31, 0x1.e3bcf4p33 },
213	   { 0x1.1338b8p31, 0x1.b7e946p33 },
214	   { 0x1.f1fecp30, 0x1.8fdc1cp33 },
215	   { 0x1.c2556ap30, 0x1.6b4702p33 },
216	   { 0x1.970b06p30, 0x1.49e178p33 },
217	   { 0x1.6fbddep30, 0x1.2b6876p33 },
218	   { 0x1.4c144ep30, 0x1.0f9e1cp33 },
219	   { 0x1.2bbc1ep30, 0x1.ec929ap32 },
220	   { 0x1.0e69f2p30, 0x1.be6abcp32 },
221	   { 0x1.e7b188p29, 0x1.94637ep32 },
222	   { 0x1.b792bcp29, 0x1.6e2368p32 },
223	   { 0x1.8c03d2p29, 0x1.4b581cp32 },
224	   { 0x1.649b02p29, 0x1.2bb5ccp32 },
225	   { 0x1.40f794p29, 0x1.0ef6c4p32 },
226	   { 0x1.20c13p29, 0x1.e9b5e8p31 },
227	   { 0x1.03a72ap29, 0x1.ba4f04p31 },
228	   { 0x1.d2bfc6p28, 0x1.8f4cccp31 },
229	   { 0x1.a35068p28, 0x1.684c22p31 },
230	   { 0x1.7885cep28, 0x1.44f21ep31 },
231	   { 0x1.51f06ap28, 0x1.24eb72p31 },
232	   { 0x1.2f2aaap28, 0x1.07ebd2p31 },
233	   { 0x1.0fd816p28, 0x1.db5adp30 },
234	   { 0x1.e7493p27, 0x1.abe09ep30 },
235	   { 0x1.b48774p27, 0x1.80f43ap30 },
236	   { 0x1.86e006p27, 0x1.5a2aep30 },
237	   { 0x1.5dd4bp27, 0x1.37231p30 },
238	   { 0x1.38f2e8p27, 0x1.1783cep30 },
239	   { 0x1.17d2c6p27, 0x1.f5f7d8p29 },
240	   { 0x1.f42c18p26, 0x1.c282cep29 },
241	   { 0x1.beceb2p26, 0x1.94219cp29 },
242	   { 0x1.8ef2aap26, 0x1.6a5972p29 },
243	   { 0x1.640bf6p26, 0x1.44ba86p29 },
244	   { 0x1.3d9be6p26, 0x1.22df2ap29 },
245	   { 0x1.1b2fe4p26, 0x1.046aeap29 },
246	   { 0x1.f8c0c2p25, 0x1.d21398p28 },
247	   { 0x1.c19fa8p25, 0x1.a0df1p28 },
248	   { 0x1.90538cp25, 0x1.74adc8p28 },
249	   { 0x1.6443fep25, 0x1.4d0232p28 },
250	   { 0x1.3ce784p25, 0x1.296a7p28 },
251	   { 0x1.19c232p25, 0x1.097f62p28 },
252	   { 0x1.f4c8c4p24, 0x1.d9c736p27 },
253	   { 0x1.bcd30ep24, 0x1.a6852cp27 },
254	   { 0x1.8aee4cp24, 0x1.789fb8p27 },
255	   { 0x1.5e77b6p24, 0x1.4f8c96p27 },
256	   { 0x1.36dcf2p24, 0x1.2acee2p27 },
257	   { 0x1.139a7cp24, 0x1.09f5dp27 },
258	   { 0x1.e8747p23, 0x1.d9371ep26 },
259	   { 0x1.b0a44ap23, 0x1.a4c89ep26 },
260	   { 0x1.7f064ap23, 0x1.75fa8ep26 },
261	   { 0x1.52efep23, 0x1.4c37cp26 },
262	   { 0x1.2bc82ap23, 0x1.26f9ep26 },
263	   { 0x1.09064p23, 0x1.05c804p26 },
264	   { 0x1.d45f16p22, 0x1.d06ad6p25 },
265	   { 0x1.9dacb2p22, 0x1.9bc0ap25 },
266	   { 0x1.6d3126p22, 0x1.6ce1aap25 },
267	   { 0x1.423d14p22, 0x1.43302cp25 },
268	   { 0x1.1c33cep22, 0x1.1e1e86p25 },
269	   { 0x1.f512dep21, 0x1.fa5b5p24 },
270	   { 0x1.b9823cp21, 0x1.bfd756p24 },
271	   { 0x1.84d6fep21, 0x1.8be4f8p24 },
272	   { 0x1.564a92p21, 0x1.5dcd66p24 },
273	   { 0x1.2d2c0ap21, 0x1.34ecf8p24 },
274	   { 0x1.08ddd2p21, 0x1.10b148p24 },
275	   { 0x1.d1a75p20, 0x1.e12eep23 },
276	   { 0x1.99218cp20, 0x1.a854eap23 },
277	   { 0x1.674c6ap20, 0x1.7603bap23 },
278	   { 0x1.3b62b6p20, 0x1.4980ccp23 },
279	   { 0x1.14b54p20, 0x1.2225b2p23 },
280	   { 0x1.e55102p19, 0x1.febc1p22 },
281	   { 0x1.a964eep19, 0x1.c14b22p22 },
282	   { 0x1.74b17ap19, 0x1.8b0cfcp22 },
283	   { 0x1.465daap19, 0x1.5b2fe6p22 },
284	   { 0x1.1da944p19, 0x1.30f93cp22 },
285	   { 0x1.f3d41p18, 0x1.0bc30cp22 },
286	   { 0x1.b512a2p18, 0x1.d5f3a8p21 },
287	   { 0x1.7e03b2p18, 0x1.9c3518p21 },
288	   { 0x1.4dbb98p18, 0x1.6961b8p21 },
289	   { 0x1.236a1ap18, 0x1.3cab14p21 },
290	   { 0x1.fcae94p17, 0x1.155a0ap21 },
291	   { 0x1.bbc1ap17, 0x1.e5989p20 },
292	   { 0x1.82eedcp17, 0x1.a8e406p20 },
293	   { 0x1.5139a6p17, 0x1.7397c6p20 },
294	   { 0x1.25c354p17, 0x1.44d26ep20 },
295	   { 0x1.ff8f84p16, 0x1.1bcca4p20 },
296	   { 0x1.bd3474p16, 0x1.efac52p19 },
297	   { 0x1.834586p16, 0x1.b0a68ap19 },
298	   { 0x1.50b75cp16, 0x1.7974e8p19 },
299	   { 0x1.249ef2p16, 0x1.4924a8p19 },
300	   { 0x1.fc5b88p15, 0x1.1edfa4p19 },
301	   { 0x1.b95ceep15, 0x1.f3d218p18 },
302	   { 0x1.7f03bap15, 0x1.b334fap18 },
303	   { 0x1.4c389cp15, 0x1.7ac2d8p18 },
304	   { 0x1.2006aep15, 0x1.4979acp18 },
305	   { 0x1.f32eap14, 0x1.1e767cp18 },
306	   { 0x1.b05cfep14, 0x1.f1e352p17 },
307	   { 0x1.764f46p14, 0x1.b0778cp17 },
308	   { 0x1.43e56cp14, 0x1.77756ep17 },
309	   { 0x1.18238p14, 0x1.45ce66p17 },
310	   { 0x1.e45a98p13, 0x1.1a95p17 },
311	   { 0x1.a284ccp13, 0x1.e9f2p16 },
312	   { 0x1.697596p13, 0x1.a887bep16 },
313	   { 0x1.3807acp13, 0x1.6fab64p16 },
314	   { 0x1.0d3b36p13, 0x1.3e44e4p16 },
315	   { 0x1.d0624p12, 0x1.135f28p16 },
316	   { 0x1.904e0cp12, 0x1.dc479ep15 },
317	   { 0x1.58e72ap12, 0x1.9baed4p15 },
318	   { 0x1.2906ccp12, 0x1.63ac6cp15 },
319	   { 0x1.ff58dap11, 0x1.33225ap15 },
320	   { 0x1.b7f1f4p11, 0x1.0916fp15 },
321	   { 0x1.7a551p11, 0x1.c960cp14 },
322	   { 0x1.453142p11, 0x1.8a6174p14 },
323	   { 0x1.1761f8p11, 0x1.53e4f8p14 },
324	   { 0x1.dfd296p10, 0x1.24caf2p14 },
325	   { 0x1.9bd5fp10, 0x1.f830cp13 },
326	   { 0x1.61501p10, 0x1.b1e5acp13 },
327	   { 0x1.2ef6p10, 0x1.7538c6p13 },
328	   { 0x1.03a918p10, 0x1.40dfd8p13 },
329	   { 0x1.bce26ap9, 0x1.13bc08p13 },
330	   { 0x1.7cef42p9, 0x1.d9a88p12 },
331	   { 0x1.46056p9, 0x1.96a0b4p12 },
332	   { 0x1.16e3cap9, 0x1.5ce9acp12 },
333	   { 0x1.dcea68p8, 0x1.2b3e54p12 },
334	   { 0x1.97945ap8, 0x1.0085p12 },
335	   { 0x1.5c2828p8, 0x1.b7937ep11 },
336	   { 0x1.29415p8, 0x1.7872dap11 },
337	   { 0x1.fb58fap7, 0x1.423acp11 },
338	   { 0x1.b0c1a8p7, 0x1.13af5p11 },
339	   { 0x1.70f474p7, 0x1.d77f0cp10 },
340	   { 0x1.3a68a8p7, 0x1.92ff34p10 },
341	   { 0x1.0bcc6p7, 0x1.5847eep10 },
342	   { 0x1.c7fa0cp6, 0x1.25f9eep10 },
343	   { 0x1.8401b6p6, 0x1.f5cc78p9 },
344	   { 0x1.4a029ap6, 0x1.ac0f6p9 },
345	   { 0x1.188c46p6, 0x1.6cfa9cp9 },
346	   { 0x1.dcc4fap5, 0x1.370ab8p9 },
347	   { 0x1.94ec06p5, 0x1.08f24p9 },
348	   { 0x1.57bc96p5, 0x1.c324c2p8 },
349	   { 0x1.23a81ap5, 0x1.7fe904p8 },
350	   { 0x1.eeb278p4, 0x1.46897ep8 },
351	   { 0x1.a35794p4, 0x1.159a38p8 },
352	   { 0x1.634b8p4, 0x1.d7c594p7 },
353	   { 0x1.2ce2a4p4, 0x1.90ae4ep7 },
354	   { 0x1.fd5f08p3, 0x1.5422fp7 },
355	   { 0x1.aef3cep3, 0x1.20998p7 },
356	   { 0x1.6c6e62p3, 0x1.e98102p6 },
357	   { 0x1.3407b6p3, 0x1.9eee06p6 },
358	   { 0x1.043bap3, 0x1.5f8b88p6 },
359	   { 0x1.b77e5cp2, 0x1.29b294p6 },
360	   { 0x1.72f0c4p2, 0x1.f7f338p5 },
361	   { 0x1.38ee18p2, 0x1.aa5772p5 },
362	   { 0x1.07dd68p2, 0x1.68823ep5 },
363	   { 0x1.bcc58ep1, 0x1.30b14ep5 },
364	   { 0x1.76aca4p1, 0x1.01647cp5 },
365	   { 0x1.3b7912p1, 0x1.b2a87ep4 },
366	   { 0x1.097f82p1, 0x1.6ed2f2p4 },
367	   { 0x1.beaa3ep0, 0x1.356cd6p4 },
368	   { 0x1.778be2p0, 0x1.04e15ep4 },
369	   { 0x1.3b9984p0, 0x1.b7b04p3 },
370	   { 0x1.09182cp0, 0x1.725862p3 },
371	   { 0x1.bd20fcp-1, 0x1.37c92cp3 },
372	   { 0x1.75892p-1, 0x1.065b96p3 },
373	   { 0x1.394e7ap-1, 0x1.b950d4p2 },
374	   { 0x1.06a996p-1, 0x1.72fd94p2 },
375	   { 0x1.b8328ep-2, 0x1.37b83cp2 },
376	   { 0x1.70aff4p-2, 0x1.05ca5p2 },
377	   { 0x1.34a53cp-2, 0x1.b7807ep1 },
378	   { 0x1.0241dep-2, 0x1.70bebp1 },
379	   { 0x1.affb9p-3, 0x1.353a6cp1 },
380	   { 0x1.691c7cp-3, 0x1.0330fp1 },
381	   { 0x1.2db8cap-3, 0x1.b24a16p0 },
382	   { 0x1.f7f4f8p-4, 0x1.6ba91ap0 },
383	   { 0x1.a4ab64p-4, 0x1.305e98p0 },
384	   { 0x1.5efa4ep-4, 0x1.fd3de2p-1 },
385	   { 0x1.24b0d8p-4, 0x1.a9cc94p-1 },
386	   { 0x1.e7eeap-5, 0x1.63daf8p-1 },
387	   { 0x1.96826ep-5, 0x1.294176p-1 },
388	   { 0x1.5282d2p-5, 0x1.f05e82p-2 },
389	   { 0x1.19c05p-5, 0x1.9e39dcp-2 },
390	   { 0x1.d4ca9cp-6, 0x1.5982p-2 },
391	   { 0x1.85cfacp-6, 0x1.200c8ap-2 },
392	   { 0x1.43fb32p-6, 0x1.e00e92p-3 },
393	   { 0x1.0d2382p-6, 0x1.8fd4ep-3 },
394	   { 0x1.bef1b2p-7, 0x1.4cd9cp-3 },
395	   { 0x1.72ede4p-7, 0x1.14f48ap-3 },
396	   { 0x1.33b1cap-7, 0x1.ccaaeap-4 },
397	   { 0x1.fe3bdp-8, 0x1.7eef14p-4 },
398	   { 0x1.a6d7d2p-8, 0x1.3e2964p-4 },
399	   { 0x1.5e4062p-8, 0x1.083768p-4 },
400	   { 0x1.21fb7ap-8, 0x1.b69f1p-5 },
401	   { 0x1.dfefbep-9, 0x1.6be574p-5 },
402	   { 0x1.8cf816p-9, 0x1.2dc11ap-5 },
403	   { 0x1.482fa8p-9, 0x1.f4343cp-6 },
404	   { 0x1.0f30c4p-9, 0x1.9e614ep-6 },
405	   { 0x1.bff86ep-10, 0x1.571d34p-6 },
406	   { 0x1.71d0b6p-10, 0x1.1bf742p-6 },
407	   { 0x1.3125f6p-10, 0x1.d5cc6cp-7 },
408	   { 0x1.f755eap-11, 0x1.846e9ep-7 },
409	   { 0x1.9eebaap-11, 0x1.410048p-7 },
410	   { 0x1.55df18p-11, 0x1.09258p-7 },
411	   { 0x1.198c18p-11, 0x1.b5ceb6p-8 },
412	   { 0x1.cf82ep-12, 0x1.69468p-8 },
413	   { 0x1.7d5af6p-12, 0x1.29f9e8p-8 },
414	   { 0x1.399c28p-12, 0x1.eb4b9ep-9 },
415	   { 0x1.01c65ap-12, 0x1.94d1dep-9 },
416	   { 0x1.a78e82p-13, 0x1.4d6706p-9 },
417	   { 0x1.5bcf92p-13, 0x1.127346p-9 },
418	   { 0x1.1d791cp-13, 0x1.c39fap-10 },
419	   { 0x1.d463dcp-14, 0x1.73679cp-10 },
420	   { 0x1.8011fcp-14, 0x1.314916p-10 },
421	   { 0x1.3ac71cp-14, 0x1.f5a11ap-11 },
422	   { 0x1.01dcc2p-14, 0x1.9beca8p-11 },
423	   { 0x1.a6459cp-15, 0x1.52189ap-11 },
424	   { 0x1.59962ap-15, 0x1.155d48p-11 },
425	   { 0x1.1ab0e4p-15, 0x1.c6dc8ap-12 },
426	   { 0x1.ce42dep-16, 0x1.74ca88p-12 },
427	   { 0x1.79c43p-16, 0x1.31612ap-12 },
428	   { 0x1.349128p-16, 0x1.f4125ap-13 },
429	   { 0x1.f7d80ep-17, 0x1.993e82p-13 },
430	   { 0x1.9b270cp-17, 0x1.4ec006p-13 },
431	   { 0x1.4f59fap-17, 0x1.11aebp-13 },
432	   { 0x1.1164acp-17, 0x1.bf4ab2p-14 },
433	   { 0x1.bd8c96p-18, 0x1.6d561ep-14 },
434	   { 0x1.6ae172p-18, 0x1.2a406ep-14 },
435	   { 0x1.276874p-18, 0x1.e6bba6p-15 },
436	   { 0x1.e0bad2p-19, 0x1.8cf814p-15 },
437	   { 0x1.86f788p-19, 0x1.4399f8p-15 },
438	   { 0x1.3dcfaep-19, 0x1.07aa3p-15 },
439	   { 0x1.023828p-19, 0x1.ad7302p-16 },
440	   { 0x1.a3666ep-20, 0x1.5d90f4p-16 },
441	   { 0x1.546e38p-20, 0x1.1c674ep-16 },
442	   { 0x1.143264p-20, 0x1.ce8ccp-17 },
443	   { 0x1.bff316p-21, 0x1.77f562p-17 },
444	   { 0x1.6b13ecp-21, 0x1.316da8p-17 },
445	   { 0x1.2624f4p-21, 0x1.f0046p-18 },
446	   { 0x1.dc5de4p-22, 0x1.92920ap-18 },
447	   { 0x1.818d3ap-22, 0x1.4691b2p-18 },
448	   { 0x1.37e62p-22, 0x1.08c96ap-18 },
449	   { 0x1.f8637ep-23, 0x1.ad2d0ap-19 },
450	   { 0x1.97a3dcp-23, 0x1.5ba462p-19 },
451	   { 0x1.494a4p-23, 0x1.1975ep-19 },
452	   { 0x1.09dee4p-23, 0x1.c78892p-20 },
453	   { 0x1.ad1fap-24, 0x1.7073c4p-20 },
454	   { 0x1.5a245ep-24, 0x1.29df48p-20 },
455	   { 0x1.171278p-24, 0x1.e163bep-21 },
456	   { 0x1.c1c74cp-25, 0x1.84cbbp-21 },
457	   { 0x1.6a46f4p-25, 0x1.39dbcep-21 },
458	   { 0x1.23a858p-25, 0x1.fa7b92p-22 },
459	   { 0x1.d56196p-26, 0x1.9876ap-22 },
460	   { 0x1.7984b6p-26, 0x1.4940bcp-22 },
461	   { 0x1.2f7cc4p-26, 0x1.094608p-22 },
462	   { 0x1.e7b62cp-27, 0x1.ab3e8cp-23 },
463	   { 0x1.87b15ep-27, 0x1.57e33ep-23 },
464	   { 0x1.3a6dp-27, 0x1.14a8b6p-23 },
465	   { 0x1.f88ebap-28, 0x1.bcede6p-24 },
466	   { 0x1.94a282p-28, 0x1.659918p-24 },
467	   { 0x1.44580ap-28, 0x1.1f4498p-24 },
468	   { 0x1.03dbf8p-28, 0x1.cd5086p-25 },
469	   { 0x1.a03066p-29, 0x1.723974p-25 },
470	   { 0x1.4d1f2ep-29, 0x1.28f9cap-25 },
471	   { 0x1.0a814ap-29, 0x1.dc34b6p-26 },
472	   { 0x1.aa36cap-30, 0x1.7d9dbp-26 },
473	   { 0x1.54a6b6p-30, 0x1.31aa56p-26 },
474	   { 0x1.102232p-30, 0x1.e96c26p-27 },
475	   { 0x1.b2959ep-31, 0x1.87a218p-27 },
476	   { 0x1.5ad66cp-31, 0x1.393ad2p-27 },
477	   { 0x1.14ac7ep-31, 0x1.f4ccdap-28 },
478	   { 0x1.b931b8p-32, 0x1.9026a8p-28 },
479	   { 0x1.5f9a24p-32, 0x1.3f92eap-28 },
480	   { 0x1.181154p-32, 0x1.fe3208p-29 },
481	   { 0x1.bdf55ep-33, 0x1.970fbp-29 },
482	   { 0x1.62e226p-33, 0x1.449de6p-29 },
483	   { 0x1.1a4576p-33, 0x1.02be7p-29 },
484	   { 0x1.c0d0bep-34, 0x1.9c4672p-30 },
485	   { 0x1.64a386p-34, 0x1.484b1ep-30 },
486	   { 0x1.1b418cp-34, 0x1.054a9ap-30 },
487	   { 0x1.c1ba4ap-35, 0x1.9fb994p-31 },
488	   { 0x1.64d86p-35, 0x1.4a8e4ep-31 },
489	   { 0x1.1b0242p-35, 0x1.06b4fep-31 },
490	   { 0x1.c0aee6p-36, 0x1.a15d86p-32 },
491	   { 0x1.637ffap-36, 0x1.4b5fdep-32 },
492	   { 0x1.198862p-36, 0x1.06f8dap-32 },
493	   { 0x1.bdb204p-37, 0x1.a12cc8p-33 },
494	   { 0x1.609ec2p-37, 0x1.4abd0ap-33 },
495	   { 0x1.16d8d2p-37, 0x1.06154ap-33 },
496	   { 0x1.b8cd88p-38, 0x1.9f27fap-34 },
497	   { 0x1.5c3e42p-38, 0x1.48a7fcp-34 },
498	   { 0x1.12fc6cp-38, 0x1.040d4ap-34 },
499	   { 0x1.b2119p-39, 0x1.9b55e8p-35 },
500	   { 0x1.566cep-39, 0x1.4527acp-35 },
501	   { 0x1.0dffep-39, 0x1.00e7acp-35 },
502	   { 0x1.a99426p-40, 0x1.95c358p-36 },
503	   { 0x1.4f3d92p-40, 0x1.4047cep-36 },
504	   { 0x1.07f35ep-40, 0x1.f95dcep-37 },
505	   { 0x1.9f70cp-41, 0x1.8e82cep-37 },
506	   { 0x1.46c77ap-41, 0x1.3a1882p-37 },
507	   { 0x1.00ea48p-41, 0x1.eee1d4p-38 },
508	   { 0x1.93c7acp-42, 0x1.85ac18p-38 },
509	   { 0x1.3d256ap-42, 0x1.32ae04p-38 },
510	   { 0x1.f1f59p-43, 0x1.e27d88p-39 },
511	   { 0x1.86bd6ap-43, 0x1.7b5bdap-39 },
512	   { 0x1.327554p-43, 0x1.2a2036p-39 },
513	   { 0x1.e07ab4p-44, 0x1.d458ap-40 },
514	   { 0x1.7879ecp-44, 0x1.6fb2eap-40 },
515	   { 0x1.26d7bp-44, 0x1.208a2cp-40 },
516	   { 0x1.cd98a2p-45, 0x1.c49f8ap-41 },
517	   { 0x1.6927c2p-45, 0x1.62d5aap-41 },
518	   { 0x1.1a6ed6p-45, 0x1.16098ep-41 },
519	   { 0x1.b986acp-46, 0x1.b3828ep-42 },
520	   { 0x1.58f35ap-46, 0x1.54eb3ep-42 },
521	   { 0x1.0d5e6p-46, 0x1.0abe0ep-42 },
522	   { 0x1.a47db6p-47, 0x1.a134d4p-43 },
523	   { 0x1.480a18p-47, 0x1.461cdap-43 },
524	   { 0x1.ff94e4p-48, 0x1.fd9182p-44 },
525	   { 0x1.8eb738p-48, 0x1.8deb62p-44 },
526	   { 0x1.369994p-48, 0x1.3694e8p-44 },
527	   { 0x1.e3ae4ap-49, 0x1.e49706p-45 },
528	   { 0x1.786c3ep-49, 0x1.79dc28p-45 },
529	   { 0x1.24cec8p-49, 0x1.267e46p-45 },
530	   { 0x1.c74fc4p-50, 0x1.cad0bp-46 },
531	   { 0x1.61d46cp-50, 0x1.653d08p-46 },
532	   { 0x1.12d55cp-50, 0x1.16038cp-46 },
533	   { 0x1.aabdacp-51, 0x1.b081aap-47 },
534	   { 0x1.4b252ep-51, 0x1.5042e2p-47 },
535	   { 0x1.00d6f8p-51, 0x1.054e44p-47 },
536	   { 0x1.8e38ep-52, 0x1.95eb2cp-48 },
537	   { 0x1.3490e8p-52, 0x1.3b20c6p-48 },
538	   { 0x1.ddf56ap-53, 0x1.e90cb6p-49 },
539	   { 0x1.71fdep-53, 0x1.7b4b76p-49 },
540	   { 0x1.1e465ap-53, 0x1.26072ap-49 },
541	   { 0x1.bac92ep-54, 0x1.c7a2ecp-50 },
542	   { 0x1.56441cp-54, 0x1.60dcfp-50 },
543	   { 0x1.08700cp-54, 0x1.112346p-50 },
544	   { 0x1.986a66p-55, 0x1.a6a50ap-51 },
545	   { 0x1.3b3d56p-55, 0x1.46d572p-51 },
546	   { 0x1.e667dap-56, 0x1.f93d0ep-52 },
547	   { 0x1.7712b8p-56, 0x1.86529ep-52 },
548	   { 0x1.211544p-56, 0x1.2d65aep-52 },
549	   { 0x1.bd660ap-57, 0x1.d13c32p-53 },
550	   { 0x1.56f3eep-57, 0x1.66e45ap-53 },
551	   { 0x1.07f14ap-57, 0x1.14b8b6p-53 },
552	   { 0x1.96129cp-58, 0x1.aa854cp-54 },
553	   { 0x1.3837cp-58, 0x1.488b94p-54 },
554	   { 0x1.dfe0c2p-59, 0x1.f9e772p-55 },
555	   { 0x1.709b5ap-59, 0x1.85503p-55 },
556	   { 0x1.1affd2p-59, 0x1.2b7218p-55 },
557	   { 0x1.b2564p-60, 0x1.cc6bb6p-56 },
558	   { 0x1.4d23fap-60, 0x1.61cb1ap-56 },
559	   { 0x1.fecbdp-61, 0x1.0fba0ep-56 },
560	   { 0x1.8767d8p-61, 0x1.a13072p-57 },
561	   { 0x1.2bc67ep-61, 0x1.401abcp-57 },
562	   { 0x1.caf846p-62, 0x1.eafc2cp-58 },
563	   { 0x1.5f2e7ap-62, 0x1.785cp-58 },
564	   { 0x1.0c93acp-62, 0x1.205a7ep-58 },
565	   { 0x1.9a9b06p-63, 0x1.b9a31ap-59 },
566	   { 0x1.39b7fcp-63, 0x1.520968p-59 },
567	   { 0x1.df277ap-64, 0x1.029ce6p-59 },
568	   { 0x1.6dbcdp-64, 0x1.8b81d6p-60 },
569	   { 0x1.17080ap-64, 0x1.2e48f2p-60 },
570	   { 0x1.a98e26p-65, 0x1.cdd86cp-61 },
571	   { 0x1.445a6ap-65, 0x1.60a47ap-61 },
572	   { 0x1.ee324ep-66, 0x1.0d210cp-61 },
573	   { 0x1.784e3p-66, 0x1.9a961ep-62 },
574	   { 0x1.1e65fep-66, 0x1.390b74p-62 },
575	   { 0x1.b3bb86p-67, 0x1.dd1e52p-63 },
576	   { 0x1.4b4e36p-67, 0x1.6b6a7ap-63 },
577	   { 0x1.f790f6p-68, 0x1.14acc2p-63 },
578	   { 0x1.7e82cep-68, 0x1.a511aap-64 },
579	   { 0x1.226a7ap-68, 0x1.404114p-64 },
580	   { 0x1.b8c634p-69, 0x1.e6ea96p-65 },
581	   { 0x1.4e53acp-69, 0x1.71f97ap-65 },
582	   { 0x1.faed5cp-70, 0x1.18fb2ep-65 },
583	   { 0x1.80217ep-70, 0x1.aa947ep-66 },
584	   { 0x1.22f066p-70, 0x1.43a796p-66 },
585	   { 0x1.b87f86p-71, 0x1.eae2fp-67 },
586	   { 0x1.4d4ec8p-71, 0x1.7414e6p-67 },
587	   { 0x1.f8283ep-72, 0x1.19e474p-67 },
588	   { 0x1.7d1b22p-72, 0x1.aaeb7ep-68 },
589	   { 0x1.1ff2dp-72, 0x1.431f66p-68 },
590	   { 0x1.b2e9e8p-73, 0x1.e8e272p-69 },
591	   { 0x1.4848dep-73, 0x1.71a91ep-69 },
592	   { 0x1.ef5b16p-74, 0x1.176014p-69 },
593	   { 0x1.758b92p-74, 0x1.a6137cp-70 },
594	   { 0x1.198d42p-74, 0x1.3ead74p-70 },
595	   { 0x1.a838bp-75, 0x1.e0fbc2p-71 },
596	   { 0x1.3f700cp-75, 0x1.6accaep-71 },
597	   { 0x1.e0d68ep-76, 0x1.118578p-71 },
598	   { 0x1.69b7f4p-76, 0x1.9c3974p-72 },
599	   { 0x1.0ffa12p-76, 0x1.367afap-72 },
600	   { 0x1.98cd1cp-77, 0x1.d377fap-73 },
601	   { 0x1.33148p-77, 0x1.5fbee6p-73 },
602	   { 0x1.cd1dbap-78, 0x1.088a8p-73 },
603	   { 0x1.5a0a9cp-78, 0x1.8db7ccp-74 },
604	   { 0x1.038ef4p-78, 0x1.2ad2ecp-74 },
605	   { 0x1.85308ap-79, 0x1.c0d23ep-75 },
606	   { 0x1.23a3cp-79, 0x1.50e41ap-75 },
607	   { 0x1.b4de68p-80, 0x1.f980a8p-76 },
608	   { 0x1.470ce4p-80, 0x1.7b10fep-76 },
609	   { 0x1.e9700cp-81, 0x1.1c1d98p-76 },
610	   { 0x1.6e0c9p-81, 0x1.a9b08p-77 },
611	   { 0x1.11a25ap-81, 0x1.3ebfb4p-77 },
612	   { 0x1.98e73ap-82, 0x1.dd1d36p-78 },
613	   { 0x1.315f58p-82, 0x1.64e7fp-78 },
614	   { 0x1.c7e35cp-83, 0x1.0ada94p-78 },
615	   { 0x1.542176p-83, 0x1.8ed9e8p-79 },
616	   { 0x1.fb491ep-84, 0x1.29ecb2p-79 },
617	   { 0x1.7a1c34p-84, 0x1.bcdb34p-80 },
618	   { 0x1.19b0f2p-84, 0x1.4bf6cap-80 },
619	   { 0x1.a383cap-85, 0x1.ef3318p-81 },
620	   { 0x1.383bf2p-85, 0x1.712bc2p-81 },
621	   { 0x1.d08cdap-86, 0x1.13151p-81 },
622	   { 0x1.596adp-86, 0x1.99bf36p-82 },
623	   { 0x1.00b602p-86, 0x1.3104d6p-82 },
624	   { 0x1.7d62a2p-87, 0x1.c5e534p-83 },
625	   { 0x1.1b2abcp-87, 0x1.518db2p-83 },
626	   { 0x1.a4480ep-88, 0x1.f5d1c6p-84 },
627	   { 0x1.37be42p-88, 0x1.74d45ap-84 },
628	   { 0x1.ce3ee4p-89, 0x1.14dc4ap-84 },
629	   { 0x1.568986p-89, 0x1.9afd0ep-85 },
630	   { 0x1.fb69c6p-90, 0x1.30e632p-85 },
631	   { 0x1.77a47ep-90, 0x1.c42b48p-86 },
632	   { 0x1.15f4ep-90, 0x1.4f1f52p-86 },
633	   { 0x1.9b25dcp-91, 0x1.f08156p-87 },
634	   { 0x1.2feeeep-91, 0x1.6f9f62p-87 },
635	   { 0x1.c122bcp-92, 0x1.100ffap-87 },
636	   { 0x1.4bb154p-92, 0x1.927ce6p-88 },
637	   { 0x1.e9ae56p-93, 0x1.2992f4p-88 },
638	   { 0x1.6948e8p-93, 0x1.b7cccap-89 },
639	   { 0x1.0a6cd2p-93, 0x1.44d7c4p-89 },
640	   { 0x1.88c0cap-94, 0x1.dfa22p-90 },
641	   { 0x1.215988p-94, 0x1.61eb26p-90 },
642	   { 0x1.aa222ap-95, 0x1.0506e2p-90 },
643	   { 0x1.39a30ep-95, 0x1.80d828p-91 },
644	   { 0x1.cd740ep-96, 0x1.1b8f04p-91 },
645	   { 0x1.534d82p-96, 0x1.a1a7ecp-92 },
646	   { 0x1.f2bb06p-97, 0x1.336f3p-92 },
647	   { 0x1.6e5b34p-97, 0x1.c46172p-93 },
648	   { 0x1.0cfc82p-97, 0x1.4cab82p-93 },
649	   { 0x1.8acc82p-98, 0x1.e9094cp-94 },
650	   { 0x1.219686p-98, 0x1.67465p-94 },
651	   { 0x1.a89fa6p-99, 0x1.07d0b8p-94 },
652	   { 0x1.372982p-99, 0x1.833ffap-95 },
653	   { 0x1.c7d094p-100, 0x1.1c147ap-95 },
654	   { 0x1.4db1c8p-100, 0x1.a096ccp-96 },
655	   { 0x1.e858d8p-101, 0x1.314decp-96 },
656	   { 0x1.6529ep-101, 0x1.bf46cep-97 },
657	   { 0x1.0517bap-101, 0x1.47796ap-97 },
658	   { 0x1.7d8a8p-102, 0x1.df49a2p-98 },
659	   { 0x1.16a46p-102, 0x1.5e9198p-98 },
660	   { 0x1.96ca76p-103, 0x1.004b34p-98 },
661	   { 0x1.28cb2cp-103, 0x1.768f3ep-99 },
662	   { 0x1.b0de98p-104, 0x1.1190d2p-99 },
663	},
664 };
665