1// REQUIRES: target-is-powerpc64le
2// RUN: %clang_builtins %s %librt -o %t && %run %t
3#include <stdio.h>
4#include "DD.h"
5
6long double __gcc_qdiv(long double x, long double y);
7int memcmp(const void *, const void *, __typeof__(sizeof(0)));
8
9double testAccuracy();
10int testEdgeCases();
11
12int main(int argc, char *argv[]) {
13 if (testEdgeCases())
14 return 1;
15
16 if (testAccuracy() > 4.0)
17 return 1;
18
19 return 0;
20}
21
22struct testVector {
23 double xhi; double xlo;
24 double yhi; double ylo;
25 double rhi; double rlo;
26};
27
28#define INFINITY __builtin_inf()
29#define HUGE 0x1.fffffffffffffp1023
30#define QNAN __builtin_nan("")
31
32const struct testVector edgeCases[] = {
33{ .xhi: 0.0, .xlo: 0.0, .yhi: 0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
34{ .xhi: -0.0, .xlo: 0.0, .yhi: 0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
35{ .xhi: 0.0, .xlo: 0.0, .yhi: -0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
36{ .xhi: -0.0, .xlo: 0.0, .yhi: -0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
37
38{ INFINITY, .xlo: 0.0, .yhi: 0.0, .ylo: 0.0, INFINITY, .rlo: 0.0 },
39{ .xhi: -INFINITY, .xlo: 0.0, .yhi: 0.0, .ylo: 0.0, .rhi: -INFINITY, .rlo: 0.0 },
40{ INFINITY, .xlo: 0.0, .yhi: -0.0, .ylo: 0.0, .rhi: -INFINITY, .rlo: 0.0 },
41{ .xhi: -INFINITY, .xlo: 0.0, .yhi: -0.0, .ylo: 0.0, INFINITY, .rlo: 0.0 },
42{ INFINITY, .xlo: 0.0, .yhi: 1.0, .ylo: 0.0, INFINITY, .rlo: 0.0 },
43{ .xhi: -INFINITY, .xlo: 0.0, .yhi: 1.0, .ylo: 0.0, .rhi: -INFINITY, .rlo: 0.0 },
44{ INFINITY, .xlo: 0.0, .yhi: -1.0, .ylo: 0.0, .rhi: -INFINITY, .rlo: 0.0 },
45{ .xhi: -INFINITY, .xlo: 0.0, .yhi: -1.0, .ylo: 0.0, INFINITY, .rlo: 0.0 },
46{ INFINITY, .xlo: 0.0, HUGE, .ylo: 0.0, INFINITY, .rlo: 0.0 },
47{ .xhi: -INFINITY, .xlo: 0.0, HUGE, .ylo: 0.0, .rhi: -INFINITY, .rlo: 0.0 },
48{ INFINITY, .xlo: 0.0, .yhi: -HUGE, .ylo: 0.0, .rhi: -INFINITY, .rlo: 0.0 },
49{ .xhi: -INFINITY, .xlo: 0.0, .yhi: -HUGE, .ylo: 0.0, INFINITY, .rlo: 0.0 },
50{ INFINITY, .xlo: 0.0, INFINITY, .ylo: 0.0, QNAN, .rlo: 0.0 },
51{ .xhi: -INFINITY, .xlo: 0.0, INFINITY, .ylo: 0.0, .rhi: -QNAN, .rlo: 0.0 },
52{ INFINITY, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, .rhi: -QNAN, .rlo: 0.0 },
53{ .xhi: -INFINITY, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, QNAN, .rlo: 0.0 },
54{ .xhi: 0.0, .xlo: 0.0, INFINITY, .ylo: 0.0, .rhi: 0.0, .rlo: 0.0 },
55{ .xhi: 0.0, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, .rhi: -0.0, .rlo: 0.0 },
56{ .xhi: -0.0, .xlo: 0.0, INFINITY, .ylo: 0.0, .rhi: -0.0, .rlo: 0.0 },
57{ .xhi: -0.0, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, .rhi: 0.0, .rlo: 0.0 },
58{ .xhi: 1.0, .xlo: 0.0, INFINITY, .ylo: 0.0, .rhi: 0.0, .rlo: 0.0 },
59{ .xhi: 1.0, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, .rhi: -0.0, .rlo: 0.0 },
60{ .xhi: -1.0, .xlo: 0.0, INFINITY, .ylo: 0.0, .rhi: -0.0, .rlo: 0.0 },
61{ .xhi: -1.0, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, .rhi: 0.0, .rlo: 0.0 },
62{ HUGE, .xlo: 0.0, INFINITY, .ylo: 0.0, .rhi: 0.0, .rlo: 0.0 },
63{ HUGE, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, .rhi: -0.0, .rlo: 0.0 },
64{ .xhi: -HUGE, .xlo: 0.0, INFINITY, .ylo: 0.0, .rhi: -0.0, .rlo: 0.0 },
65{ .xhi: -HUGE, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, .rhi: 0.0, .rlo: 0.0 },
66
67{ QNAN, .xlo: 0.0, .yhi: 0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
68{ .xhi: -QNAN, .xlo: 0.0, .yhi: 0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
69{ QNAN, .xlo: 0.0, .yhi: -0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
70{ .xhi: -QNAN, .xlo: 0.0, .yhi: -0.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
71{ QNAN, .xlo: 0.0, .yhi: 1.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
72{ .xhi: -QNAN, .xlo: 0.0, .yhi: 1.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
73{ QNAN, .xlo: 0.0, .yhi: -1.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
74{ .xhi: -QNAN, .xlo: 0.0, .yhi: -1.0, .ylo: 0.0, QNAN, .rlo: 0.0 },
75{ QNAN, .xlo: 0.0, HUGE, .ylo: 0.0, QNAN, .rlo: 0.0 },
76{ .xhi: -QNAN, .xlo: 0.0, HUGE, .ylo: 0.0, QNAN, .rlo: 0.0 },
77{ QNAN, .xlo: 0.0, .yhi: -HUGE, .ylo: 0.0, QNAN, .rlo: 0.0 },
78{ .xhi: -QNAN, .xlo: 0.0, .yhi: -HUGE, .ylo: 0.0, QNAN, .rlo: 0.0 },
79{ QNAN, .xlo: 0.0, INFINITY, .ylo: 0.0, QNAN, .rlo: 0.0 },
80{ .xhi: -QNAN, .xlo: 0.0, INFINITY, .ylo: 0.0, QNAN, .rlo: 0.0 },
81{ QNAN, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, QNAN, .rlo: 0.0 },
82{ .xhi: -QNAN, .xlo: 0.0, .yhi: -INFINITY, .ylo: 0.0, QNAN, .rlo: 0.0 },
83{ QNAN, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
84{ .xhi: -QNAN, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
85{ QNAN, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
86{ .xhi: -QNAN, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
87{ .xhi: 0.0, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
88{ .xhi: 0.0, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
89{ .xhi: -0.0, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
90{ .xhi: -0.0, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
91{ .xhi: 1.0, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
92{ .xhi: 1.0, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
93{ .xhi: -1.0, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
94{ .xhi: -1.0, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
95{ HUGE, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
96{ HUGE, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
97{ .xhi: -HUGE, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
98{ .xhi: -HUGE, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
99{ INFINITY, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
100{ INFINITY, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
101{ .xhi: -INFINITY, .xlo: 0.0, QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
102{ .xhi: -INFINITY, .xlo: 0.0, .yhi: -QNAN, .ylo: 0.0, QNAN, .rlo: 0.0 },
103};
104
105const int numEdgeCases = sizeof(edgeCases) / sizeof(struct testVector);
106
107
108int testEdgeCases() {
109 int i;
110 DD a, b, c, r;
111 for (i=0; i<numEdgeCases; ++i) {
112 a.hi = edgeCases[i].xhi;
113 a.lo = edgeCases[i].xlo;
114 b.hi = edgeCases[i].yhi;
115 b.lo = edgeCases[i].ylo;
116 r.hi = edgeCases[i].rhi;
117 r.lo = edgeCases[i].rlo;
118
119 int error;
120
121 DD c = { .ld = __gcc_qdiv(x: a.ld, y: b.ld) };
122
123 if (r.hi != r.hi) {
124 if (c.hi == c.hi)
125 error = 1;
126 else if (c.lo != 0.0)
127 error = 1;
128 else
129 error = 0;
130 }
131
132 else if (r.hi == 0.0)
133 error = memcmp(&c, &r, sizeof(DD));
134
135 else
136 error = ((c.hi != r.hi) || (c.lo != r.lo));
137
138 if (error) {
139 printf(format: "Error on edge case %a / %a: expected (%a, %a), got (%a, %a).\n", a.hi, b.hi, r.hi, r.lo, c.hi, c.lo);
140 return 1;
141 }
142 }
143
144 return 0;
145}
146
147
148/*
149
150 #include <stdio.h>
151 #include <stdlib.h>
152 #include <mpfr.h>
153 #include <math.h>
154
155 #ifdef __x86_64__
156 #define randlength 2
157 #else
158 #define randlength 4
159 #endif
160
161 void printTest(mpfr_t a, mpfr_t b, mpfr_t c) {
162 static const double infinityD = __builtin_inf();
163
164 MPFR_DECL_INIT(tmp, 53);
165
166 double ahi = mpfr_get_d(a, GMP_RNDN);
167 mpfr_set_d(tmp, ahi, GMP_RNDN);
168 mpfr_sub(tmp, a, tmp, GMP_RNDN);
169 double alo = mpfr_get_d(tmp, GMP_RNDN);
170 printf("{%0.13a, %0.13a, ", ahi, alo);
171
172 double bhi = mpfr_get_d(b, GMP_RNDN);
173 mpfr_set_d(tmp, bhi, GMP_RNDN);
174 mpfr_sub(tmp, b, tmp, GMP_RNDN);
175 double blo = mpfr_get_d(tmp, GMP_RNDN);
176 printf("%0.13a, %0.13a, ", bhi, blo);
177
178 double chi = mpfr_get_d(c, GMP_RNDN);
179 mpfr_set_d(tmp, chi, GMP_RNDN);
180 mpfr_sub(tmp, c, tmp, GMP_RNDN);
181 double clo = isinf(chi) ? 0.0 : mpfr_get_d(tmp, GMP_RNDN);
182 printf("%0.13a, %0.13a},\n", chi, clo);
183 }
184
185 int main(int argc, char *argv[]) {
186
187 MPFR_DECL_INIT(a, 106);
188 MPFR_DECL_INIT(b, 106);
189 MPFR_DECL_INIT(c, 106);
190
191 int exponent_range = atoi(argv[1]);
192
193 int i;
194 for (i=0; i<128; ++i) {
195 mpfr_random2(a, randlength, exponent_range);
196 mpfr_random2(b, randlength, exponent_range);
197 mpfr_div(c, a, b, GMP_RNDN);
198 printTest(a, b, c);
199
200 mpfr_neg(b, b, GMP_RNDN);
201 mpfr_div(c, a, b, GMP_RNDN);
202 printTest(a, b, c);
203
204 mpfr_neg(a, a, GMP_RNDN);
205 mpfr_neg(b, b, GMP_RNDN);
206 mpfr_div(c, a, b, GMP_RNDN);
207 printTest(a, b, c);
208
209 mpfr_neg(b, b, GMP_RNDN);
210 mpfr_div(c, a, b, GMP_RNDN);
211 printTest(a, b, c);
212 }
213 return 0;
214 }
215
216 */
217
218const struct testVector accuracyTests[] = {
219{.xhi: 0x1.00001ffffff00p+419, .xlo: 0x1.fffff83ff8000p+364, .yhi: 0x1.00ffc00ffff00p-598, .ylo: 0x1.fe0007fffff00p-654, .rhi: 0x1.fe02bca42ad25p+1016, .rlo: 0x1.29aa5d717c42cp+961},
220{.xhi: 0x1.00001ffffff00p+419, .xlo: 0x1.fffff83ff8000p+364, .yhi: -0x1.00ffc00ffff00p-598, .ylo: -0x1.fe0007fffff00p-654, .rhi: -0x1.fe02bca42ad25p+1016, .rlo: -0x1.29aa5d717c42cp+961},
221{.xhi: -0x1.00001ffffff00p+419, .xlo: -0x1.fffff83ff8000p+364, .yhi: 0x1.00ffc00ffff00p-598, .ylo: 0x1.fe0007fffff00p-654, .rhi: -0x1.fe02bca42ad25p+1016, .rlo: -0x1.29aa5d717c42cp+961},
222{.xhi: -0x1.00001ffffff00p+419, .xlo: -0x1.fffff83ff8000p+364, .yhi: -0x1.00ffc00ffff00p-598, .ylo: -0x1.fe0007fffff00p-654, .rhi: 0x1.fe02bca42ad25p+1016, .rlo: 0x1.29aa5d717c42cp+961},
223{.xhi: 0x1.00001fffff800p-575, .xlo: 0x1.fffffffe00000p-649, .yhi: 0x1.3fffffff80000p-17, .ylo: 0x1.ffffffff00000p-90, .rhi: 0x1.9999cccd6fd72p-559, .rlo: -0x1.476d58085a038p-615},
224{.xhi: 0x1.00001fffff800p-575, .xlo: 0x1.fffffffe00000p-649, .yhi: -0x1.3fffffff80000p-17, .ylo: -0x1.ffffffff00000p-90, .rhi: -0x1.9999cccd6fd72p-559, .rlo: 0x1.476d58085a038p-615},
225{.xhi: -0x1.00001fffff800p-575, .xlo: -0x1.fffffffe00000p-649, .yhi: 0x1.3fffffff80000p-17, .ylo: 0x1.ffffffff00000p-90, .rhi: -0x1.9999cccd6fd72p-559, .rlo: 0x1.476d58085a038p-615},
226{.xhi: -0x1.00001fffff800p-575, .xlo: -0x1.fffffffe00000p-649, .yhi: -0x1.3fffffff80000p-17, .ylo: -0x1.ffffffff00000p-90, .rhi: 0x1.9999cccd6fd72p-559, .rlo: -0x1.476d58085a038p-615},
227{.xhi: 0x1.0000000800000p-557, .xlo: -0x1.0000000000000p-629, .yhi: 0x1.000003fffc002p+323, .ylo: -0x1.0000000000000p+218, .rhi: 0x1.fffff810081f8p-881, .rlo: -0x1.00fb820825b80p-939},
228{.xhi: 0x1.0000000800000p-557, .xlo: -0x1.0000000000000p-629, .yhi: -0x1.000003fffc002p+323, .ylo: 0x1.0000000000000p+218, .rhi: -0x1.fffff810081f8p-881, .rlo: 0x1.00fb820825b80p-939},
229{.xhi: -0x1.0000000800000p-557, .xlo: 0x1.0000000000000p-629, .yhi: 0x1.000003fffc002p+323, .ylo: -0x1.0000000000000p+218, .rhi: -0x1.fffff810081f8p-881, .rlo: 0x1.00fb820825b80p-939},
230{.xhi: -0x1.0000000800000p-557, .xlo: 0x1.0000000000000p-629, .yhi: -0x1.000003fffc002p+323, .ylo: 0x1.0000000000000p+218, .rhi: 0x1.fffff810081f8p-881, .rlo: -0x1.00fb820825b80p-939},
231{.xhi: 0x1.000003ffffffep+356, .xlo: -0x1.ffe0080000000p+272, .yhi: 0x1.0800000000000p-150, .ylo: -0x1.0000000000000p-246, .rhi: 0x1.f07c26c9b26c6p+505, .rlo: -0x1.745d1764d6558p+450},
232{.xhi: 0x1.000003ffffffep+356, .xlo: -0x1.ffe0080000000p+272, .yhi: -0x1.0800000000000p-150, .ylo: 0x1.0000000000000p-246, .rhi: -0x1.f07c26c9b26c6p+505, .rlo: 0x1.745d1764d6558p+450},
233{.xhi: -0x1.000003ffffffep+356, .xlo: 0x1.ffe0080000000p+272, .yhi: 0x1.0800000000000p-150, .ylo: -0x1.0000000000000p-246, .rhi: -0x1.f07c26c9b26c6p+505, .rlo: 0x1.745d1764d6558p+450},
234{.xhi: -0x1.000003ffffffep+356, .xlo: 0x1.ffe0080000000p+272, .yhi: -0x1.0800000000000p-150, .ylo: 0x1.0000000000000p-246, .rhi: 0x1.f07c26c9b26c6p+505, .rlo: -0x1.745d1764d6558p+450},
235{.xhi: 0x1.0000007fffc00p-14, .xlo: 0x1.efe0000000000p-108, .yhi: 0x1.007fffffe0000p-312, .ylo: 0x0.0000000000000p+0, .rhi: 0x1.ff0080bfdf705p+297, .rlo: 0x1.fb017ac5608fap+243},
236{.xhi: 0x1.0000007fffc00p-14, .xlo: 0x1.efe0000000000p-108, .yhi: -0x1.007fffffe0000p-312, .ylo: 0x0.0000000000000p+0, .rhi: -0x1.ff0080bfdf705p+297, .rlo: -0x1.fb017ac5608fap+243},
237{.xhi: -0x1.0000007fffc00p-14, .xlo: -0x1.efe0000000000p-108, .yhi: 0x1.007fffffe0000p-312, .ylo: 0x0.0000000000000p+0, .rhi: -0x1.ff0080bfdf705p+297, .rlo: -0x1.fb017ac5608fap+243},
238{.xhi: -0x1.0000007fffc00p-14, .xlo: -0x1.efe0000000000p-108, .yhi: -0x1.007fffffe0000p-312, .ylo: 0x0.0000000000000p+0, .rhi: 0x1.ff0080bfdf705p+297, .rlo: 0x1.fb017ac5608fap+243},
239{.xhi: 0x1.3fe0000100000p-744, .xlo: -0x1.0000000000000p-817, .yhi: 0x1.3fffffffffe00p+293, .ylo: 0x1.fe00040000000p+218, .rhi: 0x1.ffccccce60000p-1038, .rlo: 0x0.0000000000000p+0},
240{.xhi: 0x1.3fe0000100000p-744, .xlo: -0x1.0000000000000p-817, .yhi: -0x1.3fffffffffe00p+293, .ylo: -0x1.fe00040000000p+218, .rhi: -0x1.ffccccce60000p-1038, .rlo: -0x0.0000000000000p+0},
241{.xhi: -0x1.3fe0000100000p-744, .xlo: 0x1.0000000000000p-817, .yhi: 0x1.3fffffffffe00p+293, .ylo: 0x1.fe00040000000p+218, .rhi: -0x1.ffccccce60000p-1038, .rlo: -0x0.0000000000000p+0},
242{.xhi: -0x1.3fe0000100000p-744, .xlo: 0x1.0000000000000p-817, .yhi: -0x1.3fffffffffe00p+293, .ylo: -0x1.fe00040000000p+218, .rhi: 0x1.ffccccce60000p-1038, .rlo: 0x0.0000000000000p+0},
243{.xhi: 0x1.0001fff800000p+0, .xlo: 0x1.ffffff0000ffep-54, .yhi: 0x1.00ff000000800p+11, .ylo: -0x1.0000000800000p-55, .rhi: 0x1.fe07f601f30ffp-12, .rlo: -0x1.b3714144d2a90p-69},
244{.xhi: 0x1.0001fff800000p+0, .xlo: 0x1.ffffff0000ffep-54, .yhi: -0x1.00ff000000800p+11, .ylo: 0x1.0000000800000p-55, .rhi: -0x1.fe07f601f30ffp-12, .rlo: 0x1.b3714144d2a90p-69},
245{.xhi: -0x1.0001fff800000p+0, .xlo: -0x1.ffffff0000ffep-54, .yhi: 0x1.00ff000000800p+11, .ylo: -0x1.0000000800000p-55, .rhi: -0x1.fe07f601f30ffp-12, .rlo: 0x1.b3714144d2a90p-69},
246{.xhi: -0x1.0001fff800000p+0, .xlo: -0x1.ffffff0000ffep-54, .yhi: -0x1.00ff000000800p+11, .ylo: 0x1.0000000800000p-55, .rhi: 0x1.fe07f601f30ffp-12, .rlo: -0x1.b3714144d2a90p-69},
247{.xhi: 0x1.0000800000000p-381, .xlo: -0x1.ffffffe400000p-444, .yhi: 0x1.000001ffffffap+606, .ylo: -0x1.ffe1f80400000p+531, .rhi: 0x1.00007dffff046p-987, .rlo: -0x1.d940000000000p-1051},
248{.xhi: 0x1.0000800000000p-381, .xlo: -0x1.ffffffe400000p-444, .yhi: -0x1.000001ffffffap+606, .ylo: 0x1.ffe1f80400000p+531, .rhi: -0x1.00007dffff046p-987, .rlo: 0x1.d940000000000p-1051},
249{.xhi: -0x1.0000800000000p-381, .xlo: 0x1.ffffffe400000p-444, .yhi: 0x1.000001ffffffap+606, .ylo: -0x1.ffe1f80400000p+531, .rhi: -0x1.00007dffff046p-987, .rlo: 0x1.d940000000000p-1051},
250{.xhi: -0x1.0000800000000p-381, .xlo: 0x1.ffffffe400000p-444, .yhi: -0x1.000001ffffffap+606, .ylo: 0x1.ffe1f80400000p+531, .rhi: 0x1.00007dffff046p-987, .rlo: -0x1.d940000000000p-1051},
251{.xhi: 0x1.0000010000000p+772, .xlo: -0x1.0000000000000p+667, .yhi: 0x1.007fffffffc00p+750, .ylo: 0x1.fffffc0000000p+679, .rhi: 0x1.ff0081bf20ef5p+21, .rlo: -0x1.e0f5922874ff2p-33},
252{.xhi: 0x1.0000010000000p+772, .xlo: -0x1.0000000000000p+667, .yhi: -0x1.007fffffffc00p+750, .ylo: -0x1.fffffc0000000p+679, .rhi: -0x1.ff0081bf20ef5p+21, .rlo: 0x1.e0f5922874ff2p-33},
253{.xhi: -0x1.0000010000000p+772, .xlo: 0x1.0000000000000p+667, .yhi: 0x1.007fffffffc00p+750, .ylo: 0x1.fffffc0000000p+679, .rhi: -0x1.ff0081bf20ef5p+21, .rlo: 0x1.e0f5922874ff2p-33},
254{.xhi: -0x1.0000010000000p+772, .xlo: 0x1.0000000000000p+667, .yhi: -0x1.007fffffffc00p+750, .ylo: -0x1.fffffc0000000p+679, .rhi: 0x1.ff0081bf20ef5p+21, .rlo: -0x1.e0f5922874ff2p-33},
255{.xhi: 0x1.0080000000000p-547, .xlo: -0x1.0000000000000p-620, .yhi: 0x1.001ffffffc000p+963, .ylo: 0x1.fffffffff001cp+908, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
256{.xhi: 0x1.0080000000000p-547, .xlo: -0x1.0000000000000p-620, .yhi: -0x1.001ffffffc000p+963, .ylo: -0x1.fffffffff001cp+908, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
257{.xhi: -0x1.0080000000000p-547, .xlo: 0x1.0000000000000p-620, .yhi: 0x1.001ffffffc000p+963, .ylo: 0x1.fffffffff001cp+908, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
258{.xhi: -0x1.0080000000000p-547, .xlo: 0x1.0000000000000p-620, .yhi: -0x1.001ffffffc000p+963, .ylo: -0x1.fffffffff001cp+908, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
259{.xhi: 0x1.000001fffff80p-138, .xlo: 0x1.fffffc001fffcp-193, .yhi: 0x1.00001ffff8000p-554, .ylo: 0x1.00007f001e000p-609, .rhi: 0x1.ffffc40017700p+415, .rlo: -0x1.9c017d7fb3e20p+358},
260{.xhi: 0x1.000001fffff80p-138, .xlo: 0x1.fffffc001fffcp-193, .yhi: -0x1.00001ffff8000p-554, .ylo: -0x1.00007f001e000p-609, .rhi: -0x1.ffffc40017700p+415, .rlo: 0x1.9c017d7fb3e20p+358},
261{.xhi: -0x1.000001fffff80p-138, .xlo: -0x1.fffffc001fffcp-193, .yhi: 0x1.00001ffff8000p-554, .ylo: 0x1.00007f001e000p-609, .rhi: -0x1.ffffc40017700p+415, .rlo: 0x1.9c017d7fb3e20p+358},
262{.xhi: -0x1.000001fffff80p-138, .xlo: -0x1.fffffc001fffcp-193, .yhi: -0x1.00001ffff8000p-554, .ylo: -0x1.00007f001e000p-609, .rhi: 0x1.ffffc40017700p+415, .rlo: -0x1.9c017d7fb3e20p+358},
263{.xhi: 0x1.00f3ffffff000p-238, .xlo: 0x1.fff8000000000p-306, .yhi: 0x1.3dfffffffc000p-529, .ylo: 0x1.ff000003ffe00p-590, .rhi: 0x1.9db5efe640c6bp+290, .rlo: 0x1.d0e9f9b84e302p+236},
264{.xhi: 0x1.00f3ffffff000p-238, .xlo: 0x1.fff8000000000p-306, .yhi: -0x1.3dfffffffc000p-529, .ylo: -0x1.ff000003ffe00p-590, .rhi: -0x1.9db5efe640c6bp+290, .rlo: -0x1.d0e9f9b84e302p+236},
265{.xhi: -0x1.00f3ffffff000p-238, .xlo: -0x1.fff8000000000p-306, .yhi: 0x1.3dfffffffc000p-529, .ylo: 0x1.ff000003ffe00p-590, .rhi: -0x1.9db5efe640c6bp+290, .rlo: -0x1.d0e9f9b84e302p+236},
266{.xhi: -0x1.00f3ffffff000p-238, .xlo: -0x1.fff8000000000p-306, .yhi: -0x1.3dfffffffc000p-529, .ylo: -0x1.ff000003ffe00p-590, .rhi: 0x1.9db5efe640c6bp+290, .rlo: 0x1.d0e9f9b84e302p+236},
267{.xhi: 0x1.0000001ffff80p-69, .xlo: 0x1.fffffdfffff8ep-123, .yhi: 0x1.0000000000000p-311, .ylo: -0x1.0000000000000p-381, .rhi: 0x1.0000001ffff81p+242, .rlo: -0x1.ffff01ffffe72p+188},
268{.xhi: 0x1.0000001ffff80p-69, .xlo: 0x1.fffffdfffff8ep-123, .yhi: -0x1.0000000000000p-311, .ylo: 0x1.0000000000000p-381, .rhi: -0x1.0000001ffff81p+242, .rlo: 0x1.ffff01ffffe72p+188},
269{.xhi: -0x1.0000001ffff80p-69, .xlo: -0x1.fffffdfffff8ep-123, .yhi: 0x1.0000000000000p-311, .ylo: -0x1.0000000000000p-381, .rhi: -0x1.0000001ffff81p+242, .rlo: 0x1.ffff01ffffe72p+188},
270{.xhi: -0x1.0000001ffff80p-69, .xlo: -0x1.fffffdfffff8ep-123, .yhi: -0x1.0000000000000p-311, .ylo: 0x1.0000000000000p-381, .rhi: 0x1.0000001ffff81p+242, .rlo: -0x1.ffff01ffffe72p+188},
271{.xhi: 0x1.001fffffffe00p-160, .xlo: 0x0.0000000000000p+0, .yhi: 0x1.0000002000000p+499, .ylo: -0x1.0000000000000p+399, .rhi: 0x1.001fffdffbe00p-659, .rlo: 0x1.0020ffdffbe40p-713},
272{.xhi: 0x1.001fffffffe00p-160, .xlo: 0x0.0000000000000p+0, .yhi: -0x1.0000002000000p+499, .ylo: 0x1.0000000000000p+399, .rhi: -0x1.001fffdffbe00p-659, .rlo: -0x1.0020ffdffbe40p-713},
273{.xhi: -0x1.001fffffffe00p-160, .xlo: 0x0.0000000000000p+0, .yhi: 0x1.0000002000000p+499, .ylo: -0x1.0000000000000p+399, .rhi: -0x1.001fffdffbe00p-659, .rlo: -0x1.0020ffdffbe40p-713},
274{.xhi: -0x1.001fffffffe00p-160, .xlo: 0x0.0000000000000p+0, .yhi: -0x1.0000002000000p+499, .ylo: 0x1.0000000000000p+399, .rhi: 0x1.001fffdffbe00p-659, .rlo: 0x1.0020ffdffbe40p-713},
275{.xhi: 0x1.01ffffffe0000p+182, .xlo: 0x1.c000000200000p+121, .yhi: 0x1.0001fff800ffep-8, .ylo: 0x1.c000000000000p-111, .rhi: 0x1.01fdfc0bf6d61p+190, .rlo: 0x1.41500c3427868p+136},
276{.xhi: 0x1.01ffffffe0000p+182, .xlo: 0x1.c000000200000p+121, .yhi: -0x1.0001fff800ffep-8, .ylo: -0x1.c000000000000p-111, .rhi: -0x1.01fdfc0bf6d61p+190, .rlo: -0x1.41500c3427868p+136},
277{.xhi: -0x1.01ffffffe0000p+182, .xlo: -0x1.c000000200000p+121, .yhi: 0x1.0001fff800ffep-8, .ylo: 0x1.c000000000000p-111, .rhi: -0x1.01fdfc0bf6d61p+190, .rlo: -0x1.41500c3427868p+136},
278{.xhi: -0x1.01ffffffe0000p+182, .xlo: -0x1.c000000200000p+121, .yhi: -0x1.0001fff800ffep-8, .ylo: -0x1.c000000000000p-111, .rhi: 0x1.01fdfc0bf6d61p+190, .rlo: 0x1.41500c3427868p+136},
279{.xhi: 0x1.00000007ff800p-868, .xlo: 0x1.ffff800000000p-956, .yhi: 0x1.00003fe0c4000p+822, .ylo: -0x1.fffc032000000p+759, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
280{.xhi: 0x1.00000007ff800p-868, .xlo: 0x1.ffff800000000p-956, .yhi: -0x1.00003fe0c4000p+822, .ylo: 0x1.fffc032000000p+759, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
281{.xhi: -0x1.00000007ff800p-868, .xlo: -0x1.ffff800000000p-956, .yhi: 0x1.00003fe0c4000p+822, .ylo: -0x1.fffc032000000p+759, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
282{.xhi: -0x1.00000007ff800p-868, .xlo: -0x1.ffff800000000p-956, .yhi: -0x1.00003fe0c4000p+822, .ylo: 0x1.fffc032000000p+759, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
283{.xhi: 0x1.000001fff8008p-330, .xlo: -0x1.0000000000000p-412, .yhi: 0x1.000ffffff8000p-674, .ylo: 0x1.ffffffffffc00p-729, .rhi: 0x1.ffe005ffa005fp+343, .rlo: 0x1.f43ff5ecf10d0p+289},
284{.xhi: 0x1.000001fff8008p-330, .xlo: -0x1.0000000000000p-412, .yhi: -0x1.000ffffff8000p-674, .ylo: -0x1.ffffffffffc00p-729, .rhi: -0x1.ffe005ffa005fp+343, .rlo: -0x1.f43ff5ecf10d0p+289},
285{.xhi: -0x1.000001fff8008p-330, .xlo: 0x1.0000000000000p-412, .yhi: 0x1.000ffffff8000p-674, .ylo: 0x1.ffffffffffc00p-729, .rhi: -0x1.ffe005ffa005fp+343, .rlo: -0x1.f43ff5ecf10d0p+289},
286{.xhi: -0x1.000001fff8008p-330, .xlo: 0x1.0000000000000p-412, .yhi: -0x1.000ffffff8000p-674, .ylo: -0x1.ffffffffffc00p-729, .rhi: 0x1.ffe005ffa005fp+343, .rlo: 0x1.f43ff5ecf10d0p+289},
287{.xhi: 0x1.007fbfffffcf0p+664, .xlo: 0x1.ffff803ffe000p+609, .yhi: 0x1.0007ffff00000p+281, .ylo: 0x1.fffff80000000p+211, .rhi: 0x1.0077bc431e2ddp+383, .rlo: -0x1.2b617a631e528p+327},
288{.xhi: 0x1.007fbfffffcf0p+664, .xlo: 0x1.ffff803ffe000p+609, .yhi: -0x1.0007ffff00000p+281, .ylo: -0x1.fffff80000000p+211, .rhi: -0x1.0077bc431e2ddp+383, .rlo: 0x1.2b617a631e528p+327},
289{.xhi: -0x1.007fbfffffcf0p+664, .xlo: -0x1.ffff803ffe000p+609, .yhi: 0x1.0007ffff00000p+281, .ylo: 0x1.fffff80000000p+211, .rhi: -0x1.0077bc431e2ddp+383, .rlo: 0x1.2b617a631e528p+327},
290{.xhi: -0x1.007fbfffffcf0p+664, .xlo: -0x1.ffff803ffe000p+609, .yhi: -0x1.0007ffff00000p+281, .ylo: -0x1.fffff80000000p+211, .rhi: 0x1.0077bc431e2ddp+383, .rlo: -0x1.2b617a631e528p+327},
291{.xhi: 0x1.0000001fc4000p+296, .xlo: -0x1.fe003ffe00000p+240, .yhi: 0x1.01ffffffc0004p+770, .ylo: -0x1.fffc100000000p+709, .rhi: 0x1.fc07f05f4870ap-475, .rlo: -0x1.fd9f5028f5e8ap-529},
292{.xhi: 0x1.0000001fc4000p+296, .xlo: -0x1.fe003ffe00000p+240, .yhi: -0x1.01ffffffc0004p+770, .ylo: 0x1.fffc100000000p+709, .rhi: -0x1.fc07f05f4870ap-475, .rlo: 0x1.fd9f5028f5e8ap-529},
293{.xhi: -0x1.0000001fc4000p+296, .xlo: 0x1.fe003ffe00000p+240, .yhi: 0x1.01ffffffc0004p+770, .ylo: -0x1.fffc100000000p+709, .rhi: -0x1.fc07f05f4870ap-475, .rlo: 0x1.fd9f5028f5e8ap-529},
294{.xhi: -0x1.0000001fc4000p+296, .xlo: 0x1.fe003ffe00000p+240, .yhi: -0x1.01ffffffc0004p+770, .ylo: 0x1.fffc100000000p+709, .rhi: 0x1.fc07f05f4870ap-475, .rlo: -0x1.fd9f5028f5e8ap-529},
295{.xhi: 0x1.0007e3ffe0000p+601, .xlo: 0x1.fe0ffffffe000p+537, .yhi: 0x1.0000001000000p+631, .ylo: -0x1.ffffff0000800p+567, .rhi: 0x1.0007e3efdf81cp-30, .rlo: 0x1.060603b67f558p-86},
296{.xhi: 0x1.0007e3ffe0000p+601, .xlo: 0x1.fe0ffffffe000p+537, .yhi: -0x1.0000001000000p+631, .ylo: 0x1.ffffff0000800p+567, .rhi: -0x1.0007e3efdf81cp-30, .rlo: -0x1.060603b67f558p-86},
297{.xhi: -0x1.0007e3ffe0000p+601, .xlo: -0x1.fe0ffffffe000p+537, .yhi: 0x1.0000001000000p+631, .ylo: -0x1.ffffff0000800p+567, .rhi: -0x1.0007e3efdf81cp-30, .rlo: -0x1.060603b67f558p-86},
298{.xhi: -0x1.0007e3ffe0000p+601, .xlo: -0x1.fe0ffffffe000p+537, .yhi: -0x1.0000001000000p+631, .ylo: 0x1.ffffff0000800p+567, .rhi: 0x1.0007e3efdf81cp-30, .rlo: 0x1.060603b67f558p-86},
299{.xhi: 0x1.00000003ff800p+298, .xlo: 0x1.ffffe00000000p+212, .yhi: 0x1.0000200000000p+469, .ylo: -0x1.ff80800000000p+404, .rhi: 0x1.ffffc00806ff0p-172, .rlo: -0x1.bbc0c7e7b71b0p-229},
300{.xhi: 0x1.00000003ff800p+298, .xlo: 0x1.ffffe00000000p+212, .yhi: -0x1.0000200000000p+469, .ylo: 0x1.ff80800000000p+404, .rhi: -0x1.ffffc00806ff0p-172, .rlo: 0x1.bbc0c7e7b71b0p-229},
301{.xhi: -0x1.00000003ff800p+298, .xlo: -0x1.ffffe00000000p+212, .yhi: 0x1.0000200000000p+469, .ylo: -0x1.ff80800000000p+404, .rhi: -0x1.ffffc00806ff0p-172, .rlo: 0x1.bbc0c7e7b71b0p-229},
302{.xhi: -0x1.00000003ff800p+298, .xlo: -0x1.ffffe00000000p+212, .yhi: -0x1.0000200000000p+469, .ylo: 0x1.ff80800000000p+404, .rhi: 0x1.ffffc00806ff0p-172, .rlo: -0x1.bbc0c7e7b71b0p-229},
303{.xhi: 0x1.0000001000000p-64, .xlo: -0x1.fffffff804000p-131, .yhi: 0x1.003ffffff8000p+483, .ylo: 0x1.f00000007fc00p+425, .rhi: 0x1.ff80201809f98p-548, .rlo: 0x1.a8143b315e430p-604},
304{.xhi: 0x1.0000001000000p-64, .xlo: -0x1.fffffff804000p-131, .yhi: -0x1.003ffffff8000p+483, .ylo: -0x1.f00000007fc00p+425, .rhi: -0x1.ff80201809f98p-548, .rlo: -0x1.a8143b315e430p-604},
305{.xhi: -0x1.0000001000000p-64, .xlo: 0x1.fffffff804000p-131, .yhi: 0x1.003ffffff8000p+483, .ylo: 0x1.f00000007fc00p+425, .rhi: -0x1.ff80201809f98p-548, .rlo: -0x1.a8143b315e430p-604},
306{.xhi: -0x1.0000001000000p-64, .xlo: 0x1.fffffff804000p-131, .yhi: -0x1.003ffffff8000p+483, .ylo: -0x1.f00000007fc00p+425, .rhi: 0x1.ff80201809f98p-548, .rlo: 0x1.a8143b315e430p-604},
307{.xhi: 0x1.1ffff80000000p-10, .xlo: 0x1.ffffff7ff8000p-69, .yhi: 0x1.00ff000000004p-167, .ylo: -0x1.ffffff0000400p-230, .rhi: 0x1.1ee234ad87262p+157, .rlo: -0x1.99e41e6e04f48p+103},
308{.xhi: 0x1.1ffff80000000p-10, .xlo: 0x1.ffffff7ff8000p-69, .yhi: -0x1.00ff000000004p-167, .ylo: 0x1.ffffff0000400p-230, .rhi: -0x1.1ee234ad87262p+157, .rlo: 0x1.99e41e6e04f48p+103},
309{.xhi: -0x1.1ffff80000000p-10, .xlo: -0x1.ffffff7ff8000p-69, .yhi: 0x1.00ff000000004p-167, .ylo: -0x1.ffffff0000400p-230, .rhi: -0x1.1ee234ad87262p+157, .rlo: 0x1.99e41e6e04f48p+103},
310{.xhi: -0x1.1ffff80000000p-10, .xlo: -0x1.ffffff7ff8000p-69, .yhi: -0x1.00ff000000004p-167, .ylo: 0x1.ffffff0000400p-230, .rhi: 0x1.1ee234ad87262p+157, .rlo: -0x1.99e41e6e04f48p+103},
311{.xhi: 0x1.000000ffff800p+869, .xlo: 0x1.fffffc0000000p+786, .yhi: 0x1.0008000000000p+602, .ylo: -0x1.0000000000000p+534, .rhi: 0x1.fff0027feb00ap+266, .rlo: 0x1.feb80a1fb901ap+212},
312{.xhi: 0x1.000000ffff800p+869, .xlo: 0x1.fffffc0000000p+786, .yhi: -0x1.0008000000000p+602, .ylo: 0x1.0000000000000p+534, .rhi: -0x1.fff0027feb00ap+266, .rlo: -0x1.feb80a1fb901ap+212},
313{.xhi: -0x1.000000ffff800p+869, .xlo: -0x1.fffffc0000000p+786, .yhi: 0x1.0008000000000p+602, .ylo: -0x1.0000000000000p+534, .rhi: -0x1.fff0027feb00ap+266, .rlo: -0x1.feb80a1fb901ap+212},
314{.xhi: -0x1.000000ffff800p+869, .xlo: -0x1.fffffc0000000p+786, .yhi: -0x1.0008000000000p+602, .ylo: 0x1.0000000000000p+534, .rhi: 0x1.fff0027feb00ap+266, .rlo: 0x1.feb80a1fb901ap+212},
315{.xhi: 0x1.0000183ffffc0p+625, .xlo: 0x1.fff07fcfffffcp+571, .yhi: 0x1.0000010000000p-809, .ylo: -0x1.0000000000000p-884, INFINITY, .rlo: 0x0.0000000000000p+0},
316{.xhi: 0x1.0000183ffffc0p+625, .xlo: 0x1.fff07fcfffffcp+571, .yhi: -0x1.0000010000000p-809, .ylo: 0x1.0000000000000p-884, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
317{.xhi: -0x1.0000183ffffc0p+625, .xlo: -0x1.fff07fcfffffcp+571, .yhi: 0x1.0000010000000p-809, .ylo: -0x1.0000000000000p-884, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
318{.xhi: -0x1.0000183ffffc0p+625, .xlo: -0x1.fff07fcfffffcp+571, .yhi: -0x1.0000010000000p-809, .ylo: 0x1.0000000000000p-884, INFINITY, .rlo: 0x0.0000000000000p+0},
319{.xhi: 0x1.0001000000000p+252, .xlo: -0x1.fffffff800400p+189, .yhi: 0x1.0000800000000p+229, .ylo: -0x1.fffff80100000p+156, .rhi: 0x1.00007fffc0002p+23, .rlo: -0x1.03bf7dfd41200p-39},
320{.xhi: 0x1.0001000000000p+252, .xlo: -0x1.fffffff800400p+189, .yhi: -0x1.0000800000000p+229, .ylo: 0x1.fffff80100000p+156, .rhi: -0x1.00007fffc0002p+23, .rlo: 0x1.03bf7dfd41200p-39},
321{.xhi: -0x1.0001000000000p+252, .xlo: 0x1.fffffff800400p+189, .yhi: 0x1.0000800000000p+229, .ylo: -0x1.fffff80100000p+156, .rhi: -0x1.00007fffc0002p+23, .rlo: 0x1.03bf7dfd41200p-39},
322{.xhi: -0x1.0001000000000p+252, .xlo: 0x1.fffffff800400p+189, .yhi: -0x1.0000800000000p+229, .ylo: 0x1.fffff80100000p+156, .rhi: 0x1.00007fffc0002p+23, .rlo: -0x1.03bf7dfd41200p-39},
323{.xhi: 0x1.3ffff800fff81p+251, .xlo: -0x1.0000000000000p+160, .yhi: 0x1.1fffffff00000p-134, .ylo: 0x1.fffffff000000p-211, .rhi: 0x1.1c71c001e05e1p+385, .rlo: -0x1.c571834f1dba0p+329},
324{.xhi: 0x1.3ffff800fff81p+251, .xlo: -0x1.0000000000000p+160, .yhi: -0x1.1fffffff00000p-134, .ylo: -0x1.fffffff000000p-211, .rhi: -0x1.1c71c001e05e1p+385, .rlo: 0x1.c571834f1dba0p+329},
325{.xhi: -0x1.3ffff800fff81p+251, .xlo: 0x1.0000000000000p+160, .yhi: 0x1.1fffffff00000p-134, .ylo: 0x1.fffffff000000p-211, .rhi: -0x1.1c71c001e05e1p+385, .rlo: 0x1.c571834f1dba0p+329},
326{.xhi: -0x1.3ffff800fff81p+251, .xlo: 0x1.0000000000000p+160, .yhi: -0x1.1fffffff00000p-134, .ylo: -0x1.fffffff000000p-211, .rhi: 0x1.1c71c001e05e1p+385, .rlo: -0x1.c571834f1dba0p+329},
327{.xhi: 0x1.fffffc0000100p+380, .xlo: -0x1.fffe000040000p+309, .yhi: 0x1.0000800000000p+410, .ylo: -0x1.c000fffffffd0p+353, .rhi: 0x1.fffefc00820fcp-30, .rlo: 0x1.703780ec1f1f0p-87},
328{.xhi: 0x1.fffffc0000100p+380, .xlo: -0x1.fffe000040000p+309, .yhi: -0x1.0000800000000p+410, .ylo: 0x1.c000fffffffd0p+353, .rhi: -0x1.fffefc00820fcp-30, .rlo: -0x1.703780ec1f1f0p-87},
329{.xhi: -0x1.fffffc0000100p+380, .xlo: 0x1.fffe000040000p+309, .yhi: 0x1.0000800000000p+410, .ylo: -0x1.c000fffffffd0p+353, .rhi: -0x1.fffefc00820fcp-30, .rlo: -0x1.703780ec1f1f0p-87},
330{.xhi: -0x1.fffffc0000100p+380, .xlo: 0x1.fffe000040000p+309, .yhi: -0x1.0000800000000p+410, .ylo: 0x1.c000fffffffd0p+353, .rhi: 0x1.fffefc00820fcp-30, .rlo: 0x1.703780ec1f1f0p-87},
331{.xhi: 0x1.003f80ff00004p-166, .xlo: -0x1.ffffc00040000p-237, .yhi: 0x1.0000ffffff000p+849, .ylo: 0x1.ffe000003ffe0p+791, .rhi: 0x1.003e80c080400p-1015, .rlo: -0x1.2000000000000p-1070},
332{.xhi: 0x1.003f80ff00004p-166, .xlo: -0x1.ffffc00040000p-237, .yhi: -0x1.0000ffffff000p+849, .ylo: -0x1.ffe000003ffe0p+791, .rhi: -0x1.003e80c080400p-1015, .rlo: 0x1.2000000000000p-1070},
333{.xhi: -0x1.003f80ff00004p-166, .xlo: 0x1.ffffc00040000p-237, .yhi: 0x1.0000ffffff000p+849, .ylo: 0x1.ffe000003ffe0p+791, .rhi: -0x1.003e80c080400p-1015, .rlo: 0x1.2000000000000p-1070},
334{.xhi: -0x1.003f80ff00004p-166, .xlo: 0x1.ffffc00040000p-237, .yhi: -0x1.0000ffffff000p+849, .ylo: -0x1.ffe000003ffe0p+791, .rhi: 0x1.003e80c080400p-1015, .rlo: -0x1.2000000000000p-1070},
335{.xhi: 0x1.000003fffff80p-485, .xlo: 0x1.f007ffe00fc00p-548, .yhi: 0x1.3ff8007ffffc0p+163, .ylo: 0x1.e0007ff000000p+97, .rhi: 0x1.99a3dd0e7862fp-649, .rlo: -0x1.e94ba8273c842p-703},
336{.xhi: 0x1.000003fffff80p-485, .xlo: 0x1.f007ffe00fc00p-548, .yhi: -0x1.3ff8007ffffc0p+163, .ylo: -0x1.e0007ff000000p+97, .rhi: -0x1.99a3dd0e7862fp-649, .rlo: 0x1.e94ba8273c842p-703},
337{.xhi: -0x1.000003fffff80p-485, .xlo: -0x1.f007ffe00fc00p-548, .yhi: 0x1.3ff8007ffffc0p+163, .ylo: 0x1.e0007ff000000p+97, .rhi: -0x1.99a3dd0e7862fp-649, .rlo: 0x1.e94ba8273c842p-703},
338{.xhi: -0x1.000003fffff80p-485, .xlo: -0x1.f007ffe00fc00p-548, .yhi: -0x1.3ff8007ffffc0p+163, .ylo: -0x1.e0007ff000000p+97, .rhi: 0x1.99a3dd0e7862fp-649, .rlo: -0x1.e94ba8273c842p-703},
339{.xhi: 0x1.ffffffe000000p-232, .xlo: -0x1.ff80000020000p-288, .yhi: 0x1.0000ffffff81fp+818, .ylo: 0x1.ffc7fff800000p+754, .rhi: 0x1.fffe000000000p-1050, .rlo: -0x0.0000000000000p+0},
340{.xhi: 0x1.ffffffe000000p-232, .xlo: -0x1.ff80000020000p-288, .yhi: -0x1.0000ffffff81fp+818, .ylo: -0x1.ffc7fff800000p+754, .rhi: -0x1.fffe000000000p-1050, .rlo: 0x0.0000000000000p+0},
341{.xhi: -0x1.ffffffe000000p-232, .xlo: 0x1.ff80000020000p-288, .yhi: 0x1.0000ffffff81fp+818, .ylo: 0x1.ffc7fff800000p+754, .rhi: -0x1.fffe000000000p-1050, .rlo: 0x0.0000000000000p+0},
342{.xhi: -0x1.ffffffe000000p-232, .xlo: 0x1.ff80000020000p-288, .yhi: -0x1.0000ffffff81fp+818, .ylo: -0x1.ffc7fff800000p+754, .rhi: 0x1.fffe000000000p-1050, .rlo: -0x0.0000000000000p+0},
343{.xhi: 0x1.0000000800000p-741, .xlo: -0x1.ffffc02000000p-819, .yhi: 0x1.7fffe00800000p-232, .ylo: -0x1.0000000000000p-337, .rhi: 0x1.555571caad093p-510, .rlo: -0x1.e0b116af638a0p-568},
344{.xhi: 0x1.0000000800000p-741, .xlo: -0x1.ffffc02000000p-819, .yhi: -0x1.7fffe00800000p-232, .ylo: 0x1.0000000000000p-337, .rhi: -0x1.555571caad093p-510, .rlo: 0x1.e0b116af638a0p-568},
345{.xhi: -0x1.0000000800000p-741, .xlo: 0x1.ffffc02000000p-819, .yhi: 0x1.7fffe00800000p-232, .ylo: -0x1.0000000000000p-337, .rhi: -0x1.555571caad093p-510, .rlo: 0x1.e0b116af638a0p-568},
346{.xhi: -0x1.0000000800000p-741, .xlo: 0x1.ffffc02000000p-819, .yhi: -0x1.7fffe00800000p-232, .ylo: 0x1.0000000000000p-337, .rhi: 0x1.555571caad093p-510, .rlo: -0x1.e0b116af638a0p-568},
347{.xhi: 0x1.0000400000000p-741, .xlo: -0x1.0000000000000p-832, .yhi: 0x1.4000000000000p-919, .ylo: -0x1.ffffffff00020p-977, .rhi: 0x1.999a000000000p+177, .rlo: 0x1.47ae66655c2a0p+120},
348{.xhi: 0x1.0000400000000p-741, .xlo: -0x1.0000000000000p-832, .yhi: -0x1.4000000000000p-919, .ylo: 0x1.ffffffff00020p-977, .rhi: -0x1.999a000000000p+177, .rlo: -0x1.47ae66655c2a0p+120},
349{.xhi: -0x1.0000400000000p-741, .xlo: 0x1.0000000000000p-832, .yhi: 0x1.4000000000000p-919, .ylo: -0x1.ffffffff00020p-977, .rhi: -0x1.999a000000000p+177, .rlo: -0x1.47ae66655c2a0p+120},
350{.xhi: -0x1.0000400000000p-741, .xlo: 0x1.0000000000000p-832, .yhi: -0x1.4000000000000p-919, .ylo: 0x1.ffffffff00020p-977, .rhi: 0x1.999a000000000p+177, .rlo: 0x1.47ae66655c2a0p+120},
351{.xhi: 0x1.000000fffff80p+807, .xlo: 0x1.ffffef003e000p+744, .yhi: 0x1.0000010000000p+666, .ylo: -0x1.8000000000020p+608, .rhi: 0x1.fffffffffff00p+140, .rlo: 0x1.901ffde7e1e80p+83},
352{.xhi: 0x1.000000fffff80p+807, .xlo: 0x1.ffffef003e000p+744, .yhi: -0x1.0000010000000p+666, .ylo: 0x1.8000000000020p+608, .rhi: -0x1.fffffffffff00p+140, .rlo: -0x1.901ffde7e1e80p+83},
353{.xhi: -0x1.000000fffff80p+807, .xlo: -0x1.ffffef003e000p+744, .yhi: 0x1.0000010000000p+666, .ylo: -0x1.8000000000020p+608, .rhi: -0x1.fffffffffff00p+140, .rlo: -0x1.901ffde7e1e80p+83},
354{.xhi: -0x1.000000fffff80p+807, .xlo: -0x1.ffffef003e000p+744, .yhi: -0x1.0000010000000p+666, .ylo: 0x1.8000000000020p+608, .rhi: 0x1.fffffffffff00p+140, .rlo: 0x1.901ffde7e1e80p+83},
355{.xhi: 0x1.7fffffffc0000p-420, .xlo: 0x1.fffc000000000p-490, .yhi: 0x1.0000001fe0000p+340, .ylo: 0x1.fffffc0001f00p+279, .rhi: 0x1.7fffffcff0000p-760, .rlo: 0x1.79017fd9cf2a6p-814},
356{.xhi: 0x1.7fffffffc0000p-420, .xlo: 0x1.fffc000000000p-490, .yhi: -0x1.0000001fe0000p+340, .ylo: -0x1.fffffc0001f00p+279, .rhi: -0x1.7fffffcff0000p-760, .rlo: -0x1.79017fd9cf2a6p-814},
357{.xhi: -0x1.7fffffffc0000p-420, .xlo: -0x1.fffc000000000p-490, .yhi: 0x1.0000001fe0000p+340, .ylo: 0x1.fffffc0001f00p+279, .rhi: -0x1.7fffffcff0000p-760, .rlo: -0x1.79017fd9cf2a6p-814},
358{.xhi: -0x1.7fffffffc0000p-420, .xlo: -0x1.fffc000000000p-490, .yhi: -0x1.0000001fe0000p+340, .ylo: -0x1.fffffc0001f00p+279, .rhi: 0x1.7fffffcff0000p-760, .rlo: 0x1.79017fd9cf2a6p-814},
359{.xhi: 0x1.0000004000000p-97, .xlo: -0x1.0000000000000p-155, .yhi: 0x1.8000000000000p-464, .ylo: -0x1.ffe7ffc001000p-529, .rhi: 0x1.555555aaaaaabp+366, .rlo: -0x1.6a71c9c71555ep+312},
360{.xhi: 0x1.0000004000000p-97, .xlo: -0x1.0000000000000p-155, .yhi: -0x1.8000000000000p-464, .ylo: 0x1.ffe7ffc001000p-529, .rhi: -0x1.555555aaaaaabp+366, .rlo: 0x1.6a71c9c71555ep+312},
361{.xhi: -0x1.0000004000000p-97, .xlo: 0x1.0000000000000p-155, .yhi: 0x1.8000000000000p-464, .ylo: -0x1.ffe7ffc001000p-529, .rhi: -0x1.555555aaaaaabp+366, .rlo: 0x1.6a71c9c71555ep+312},
362{.xhi: -0x1.0000004000000p-97, .xlo: 0x1.0000000000000p-155, .yhi: -0x1.8000000000000p-464, .ylo: 0x1.ffe7ffc001000p-529, .rhi: 0x1.555555aaaaaabp+366, .rlo: -0x1.6a71c9c71555ep+312},
363{.xhi: 0x1.0000000800000p-953, .xlo: -0x1.fffffff400000p-1028, .yhi: 0x1.007fc00007800p-531, .ylo: 0x1.e0000f80001e0p-589, .rhi: 0x1.ff00ff5088975p-423, .rlo: -0x1.eb9bace924318p-479},
364{.xhi: 0x1.0000000800000p-953, .xlo: -0x1.fffffff400000p-1028, .yhi: -0x1.007fc00007800p-531, .ylo: -0x1.e0000f80001e0p-589, .rhi: -0x1.ff00ff5088975p-423, .rlo: 0x1.eb9bace924318p-479},
365{.xhi: -0x1.0000000800000p-953, .xlo: 0x1.fffffff400000p-1028, .yhi: 0x1.007fc00007800p-531, .ylo: 0x1.e0000f80001e0p-589, .rhi: -0x1.ff00ff5088975p-423, .rlo: 0x1.eb9bace924318p-479},
366{.xhi: -0x1.0000000800000p-953, .xlo: 0x1.fffffff400000p-1028, .yhi: -0x1.007fc00007800p-531, .ylo: -0x1.e0000f80001e0p-589, .rhi: 0x1.ff00ff5088975p-423, .rlo: -0x1.eb9bace924318p-479},
367{.xhi: 0x1.3fffff0000000p+486, .xlo: 0x1.fffffe0000000p+423, .yhi: 0x1.0000200000000p-608, .ylo: -0x1.0000000000000p-713, INFINITY, .rlo: 0x0.0000000000000p+0},
368{.xhi: 0x1.3fffff0000000p+486, .xlo: 0x1.fffffe0000000p+423, .yhi: -0x1.0000200000000p-608, .ylo: 0x1.0000000000000p-713, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
369{.xhi: -0x1.3fffff0000000p+486, .xlo: -0x1.fffffe0000000p+423, .yhi: 0x1.0000200000000p-608, .ylo: -0x1.0000000000000p-713, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
370{.xhi: -0x1.3fffff0000000p+486, .xlo: -0x1.fffffe0000000p+423, .yhi: -0x1.0000200000000p-608, .ylo: 0x1.0000000000000p-713, INFINITY, .rlo: 0x0.0000000000000p+0},
371{.xhi: 0x1.7fe0000000008p-874, .xlo: -0x1.fffff3ff80200p-936, .yhi: 0x1.000001fff8400p+934, .ylo: -0x1.fffff80010000p+869, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
372{.xhi: 0x1.7fe0000000008p-874, .xlo: -0x1.fffff3ff80200p-936, .yhi: -0x1.000001fff8400p+934, .ylo: 0x1.fffff80010000p+869, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
373{.xhi: -0x1.7fe0000000008p-874, .xlo: 0x1.fffff3ff80200p-936, .yhi: 0x1.000001fff8400p+934, .ylo: -0x1.fffff80010000p+869, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
374{.xhi: -0x1.7fe0000000008p-874, .xlo: 0x1.fffff3ff80200p-936, .yhi: -0x1.000001fff8400p+934, .ylo: 0x1.fffff80010000p+869, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
375{.xhi: 0x1.00000fffffff8p-940, .xlo: 0x1.fffffffc00000p-999, .yhi: 0x1.0000007001000p+288, .ylo: -0x1.e00000fff8200p+228, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
376{.xhi: 0x1.00000fffffff8p-940, .xlo: 0x1.fffffffc00000p-999, .yhi: -0x1.0000007001000p+288, .ylo: 0x1.e00000fff8200p+228, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
377{.xhi: -0x1.00000fffffff8p-940, .xlo: -0x1.fffffffc00000p-999, .yhi: 0x1.0000007001000p+288, .ylo: -0x1.e00000fff8200p+228, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
378{.xhi: -0x1.00000fffffff8p-940, .xlo: -0x1.fffffffc00000p-999, .yhi: -0x1.0000007001000p+288, .ylo: 0x1.e00000fff8200p+228, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
379{.xhi: 0x1.001fffc000400p-967, .xlo: -0x1.e000000001000p-1032, .yhi: 0x1.0200000000000p+224, .ylo: -0x1.0000000000000p+121, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
380{.xhi: 0x1.001fffc000400p-967, .xlo: -0x1.e000000001000p-1032, .yhi: -0x1.0200000000000p+224, .ylo: 0x1.0000000000000p+121, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
381{.xhi: -0x1.001fffc000400p-967, .xlo: 0x1.e000000001000p-1032, .yhi: 0x1.0200000000000p+224, .ylo: -0x1.0000000000000p+121, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
382{.xhi: -0x1.001fffc000400p-967, .xlo: 0x1.e000000001000p-1032, .yhi: -0x1.0200000000000p+224, .ylo: 0x1.0000000000000p+121, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
383{.xhi: 0x1.0000008000000p-97, .xlo: -0x1.0000000000000p-167, .yhi: 0x1.07fff80000002p-376, .ylo: -0x1.c010000000000p-447, .rhi: 0x1.f07c2f0b854dbp+278, .rlo: 0x1.2c698df3c3460p+221},
384{.xhi: 0x1.0000008000000p-97, .xlo: -0x1.0000000000000p-167, .yhi: -0x1.07fff80000002p-376, .ylo: 0x1.c010000000000p-447, .rhi: -0x1.f07c2f0b854dbp+278, .rlo: -0x1.2c698df3c3460p+221},
385{.xhi: -0x1.0000008000000p-97, .xlo: 0x1.0000000000000p-167, .yhi: 0x1.07fff80000002p-376, .ylo: -0x1.c010000000000p-447, .rhi: -0x1.f07c2f0b854dbp+278, .rlo: -0x1.2c698df3c3460p+221},
386{.xhi: -0x1.0000008000000p-97, .xlo: 0x1.0000000000000p-167, .yhi: -0x1.07fff80000002p-376, .ylo: 0x1.c010000000000p-447, .rhi: 0x1.f07c2f0b854dbp+278, .rlo: 0x1.2c698df3c3460p+221},
387{.xhi: 0x1.03ffffffe0000p+781, .xlo: 0x1.ff80000000000p+692, .yhi: 0x1.7ffff00000002p-601, .ylo: -0x1.0000000000000p-694, INFINITY, .rlo: 0x0.0000000000000p+0},
388{.xhi: 0x1.03ffffffe0000p+781, .xlo: 0x1.ff80000000000p+692, .yhi: -0x1.7ffff00000002p-601, .ylo: 0x1.0000000000000p-694, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
389{.xhi: -0x1.03ffffffe0000p+781, .xlo: -0x1.ff80000000000p+692, .yhi: 0x1.7ffff00000002p-601, .ylo: -0x1.0000000000000p-694, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
390{.xhi: -0x1.03ffffffe0000p+781, .xlo: -0x1.ff80000000000p+692, .yhi: -0x1.7ffff00000002p-601, .ylo: 0x1.0000000000000p-694, INFINITY, .rlo: 0x0.0000000000000p+0},
391{.xhi: 0x1.0008000000000p+386, .xlo: -0x1.9000000000000p+285, .yhi: 0x1.0000000700002p+420, .ylo: -0x1.fffff80200000p+357, .rhi: 0x1.0007fff8ffc7ep-34, .rlo: 0x1.a00d4d7413580p-93},
392{.xhi: 0x1.0008000000000p+386, .xlo: -0x1.9000000000000p+285, .yhi: -0x1.0000000700002p+420, .ylo: 0x1.fffff80200000p+357, .rhi: -0x1.0007fff8ffc7ep-34, .rlo: -0x1.a00d4d7413580p-93},
393{.xhi: -0x1.0008000000000p+386, .xlo: 0x1.9000000000000p+285, .yhi: 0x1.0000000700002p+420, .ylo: -0x1.fffff80200000p+357, .rhi: -0x1.0007fff8ffc7ep-34, .rlo: -0x1.a00d4d7413580p-93},
394{.xhi: -0x1.0008000000000p+386, .xlo: 0x1.9000000000000p+285, .yhi: -0x1.0000000700002p+420, .ylo: 0x1.fffff80200000p+357, .rhi: 0x1.0007fff8ffc7ep-34, .rlo: 0x1.a00d4d7413580p-93},
395{.xhi: 0x1.0010000000000p-808, .xlo: -0x1.0000000000000p-885, .yhi: 0x1.007fc00001000p-874, .ylo: -0x1.ff80000400000p-930, .rhi: 0x1.ff20ef50918c4p+65, .rlo: 0x1.5059d3d1c2168p+9},
396{.xhi: 0x1.0010000000000p-808, .xlo: -0x1.0000000000000p-885, .yhi: -0x1.007fc00001000p-874, .ylo: 0x1.ff80000400000p-930, .rhi: -0x1.ff20ef50918c4p+65, .rlo: -0x1.5059d3d1c2168p+9},
397{.xhi: -0x1.0010000000000p-808, .xlo: 0x1.0000000000000p-885, .yhi: 0x1.007fc00001000p-874, .ylo: -0x1.ff80000400000p-930, .rhi: -0x1.ff20ef50918c4p+65, .rlo: -0x1.5059d3d1c2168p+9},
398{.xhi: -0x1.0010000000000p-808, .xlo: 0x1.0000000000000p-885, .yhi: -0x1.007fc00001000p-874, .ylo: 0x1.ff80000400000p-930, .rhi: 0x1.ff20ef50918c4p+65, .rlo: 0x1.5059d3d1c2168p+9},
399{.xhi: 0x1.0000008000000p+531, .xlo: -0x1.fff0000000100p+472, .yhi: 0x1.7fffff8100000p-278, .ylo: -0x1.fffcc00000080p-338, .rhi: 0x1.55555670e38e9p+808, .rlo: 0x1.9c985b0496336p+754},
400{.xhi: 0x1.0000008000000p+531, .xlo: -0x1.fff0000000100p+472, .yhi: -0x1.7fffff8100000p-278, .ylo: 0x1.fffcc00000080p-338, .rhi: -0x1.55555670e38e9p+808, .rlo: -0x1.9c985b0496336p+754},
401{.xhi: -0x1.0000008000000p+531, .xlo: 0x1.fff0000000100p+472, .yhi: 0x1.7fffff8100000p-278, .ylo: -0x1.fffcc00000080p-338, .rhi: -0x1.55555670e38e9p+808, .rlo: -0x1.9c985b0496336p+754},
402{.xhi: -0x1.0000008000000p+531, .xlo: 0x1.fff0000000100p+472, .yhi: -0x1.7fffff8100000p-278, .ylo: 0x1.fffcc00000080p-338, .rhi: 0x1.55555670e38e9p+808, .rlo: 0x1.9c985b0496336p+754},
403{.xhi: 0x1.0000003ffc010p-568, .xlo: -0x1.ffffc00400000p-637, .yhi: 0x1.0000c00400000p+799, .ylo: -0x1.ff80800000000p+718, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
404{.xhi: 0x1.0000003ffc010p-568, .xlo: -0x1.ffffc00400000p-637, .yhi: -0x1.0000c00400000p+799, .ylo: 0x1.ff80800000000p+718, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
405{.xhi: -0x1.0000003ffc010p-568, .xlo: 0x1.ffffc00400000p-637, .yhi: 0x1.0000c00400000p+799, .ylo: -0x1.ff80800000000p+718, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
406{.xhi: -0x1.0000003ffc010p-568, .xlo: 0x1.ffffc00400000p-637, .yhi: -0x1.0000c00400000p+799, .ylo: 0x1.ff80800000000p+718, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
407{.xhi: 0x1.0000007fff800p-430, .xlo: 0x1.ffff800007fc0p-489, .yhi: 0x1.0000007fff000p+851, .ylo: 0x1.ffffff8000000p+776, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
408{.xhi: 0x1.0000007fff800p-430, .xlo: 0x1.ffff800007fc0p-489, .yhi: -0x1.0000007fff000p+851, .ylo: -0x1.ffffff8000000p+776, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
409{.xhi: -0x1.0000007fff800p-430, .xlo: -0x1.ffff800007fc0p-489, .yhi: 0x1.0000007fff000p+851, .ylo: 0x1.ffffff8000000p+776, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
410{.xhi: -0x1.0000007fff800p-430, .xlo: -0x1.ffff800007fc0p-489, .yhi: -0x1.0000007fff000p+851, .ylo: -0x1.ffffff8000000p+776, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
411{.xhi: 0x1.4000000000000p-853, .xlo: -0x1.0000000000000p-935, .yhi: 0x1.0000001ff8040p+392, .ylo: -0x1.fff0ffffff008p+336, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
412{.xhi: 0x1.4000000000000p-853, .xlo: -0x1.0000000000000p-935, .yhi: -0x1.0000001ff8040p+392, .ylo: 0x1.fff0ffffff008p+336, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
413{.xhi: -0x1.4000000000000p-853, .xlo: 0x1.0000000000000p-935, .yhi: 0x1.0000001ff8040p+392, .ylo: -0x1.fff0ffffff008p+336, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
414{.xhi: -0x1.4000000000000p-853, .xlo: 0x1.0000000000000p-935, .yhi: -0x1.0000001ff8040p+392, .ylo: 0x1.fff0ffffff008p+336, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
415{.xhi: 0x1.0004000000000p+80, .xlo: -0x1.fffffffe40000p+9, .yhi: 0x1.000001ffff1f0p+442, .ylo: 0x1.ff807ffffc000p+388, .rhi: 0x1.0003fdfff8e50p-362, .rlo: -0x1.1b6c795bc3930p-416},
416{.xhi: 0x1.0004000000000p+80, .xlo: -0x1.fffffffe40000p+9, .yhi: -0x1.000001ffff1f0p+442, .ylo: -0x1.ff807ffffc000p+388, .rhi: -0x1.0003fdfff8e50p-362, .rlo: 0x1.1b6c795bc3930p-416},
417{.xhi: -0x1.0004000000000p+80, .xlo: 0x1.fffffffe40000p+9, .yhi: 0x1.000001ffff1f0p+442, .ylo: 0x1.ff807ffffc000p+388, .rhi: -0x1.0003fdfff8e50p-362, .rlo: 0x1.1b6c795bc3930p-416},
418{.xhi: -0x1.0004000000000p+80, .xlo: 0x1.fffffffe40000p+9, .yhi: -0x1.000001ffff1f0p+442, .ylo: -0x1.ff807ffffc000p+388, .rhi: 0x1.0003fdfff8e50p-362, .rlo: -0x1.1b6c795bc3930p-416},
419{.xhi: 0x1.003fe00030100p-112, .xlo: -0x1.00003fe002000p-178, .yhi: 0x1.3ffffff800200p+913, .ylo: -0x1.0000000000000p+836, .rhi: 0x1.99ffccd759890p-1026, .rlo: -0x0.0000000000000p+0},
420{.xhi: 0x1.003fe00030100p-112, .xlo: -0x1.00003fe002000p-178, .yhi: -0x1.3ffffff800200p+913, .ylo: 0x1.0000000000000p+836, .rhi: -0x1.99ffccd759890p-1026, .rlo: 0x0.0000000000000p+0},
421{.xhi: -0x1.003fe00030100p-112, .xlo: 0x1.00003fe002000p-178, .yhi: 0x1.3ffffff800200p+913, .ylo: -0x1.0000000000000p+836, .rhi: -0x1.99ffccd759890p-1026, .rlo: 0x0.0000000000000p+0},
422{.xhi: -0x1.003fe00030100p-112, .xlo: 0x1.00003fe002000p-178, .yhi: -0x1.3ffffff800200p+913, .ylo: 0x1.0000000000000p+836, .rhi: 0x1.99ffccd759890p-1026, .rlo: -0x0.0000000000000p+0},
423{.xhi: 0x1.0001ffc1ffc20p+846, .xlo: -0x1.fffffc0002000p+780, .yhi: 0x1.000003fffffc0p-56, .ylo: 0x1.fffffe0000000p-134, .rhi: 0x1.0001fbc1f7d70p+902, .rlo: -0x1.f5fb3830001ccp+848},
424{.xhi: 0x1.0001ffc1ffc20p+846, .xlo: -0x1.fffffc0002000p+780, .yhi: -0x1.000003fffffc0p-56, .ylo: -0x1.fffffe0000000p-134, .rhi: -0x1.0001fbc1f7d70p+902, .rlo: 0x1.f5fb3830001ccp+848},
425{.xhi: -0x1.0001ffc1ffc20p+846, .xlo: 0x1.fffffc0002000p+780, .yhi: 0x1.000003fffffc0p-56, .ylo: 0x1.fffffe0000000p-134, .rhi: -0x1.0001fbc1f7d70p+902, .rlo: 0x1.f5fb3830001ccp+848},
426{.xhi: -0x1.0001ffc1ffc20p+846, .xlo: 0x1.fffffc0002000p+780, .yhi: -0x1.000003fffffc0p-56, .ylo: -0x1.fffffe0000000p-134, .rhi: 0x1.0001fbc1f7d70p+902, .rlo: -0x1.f5fb3830001ccp+848},
427{.xhi: 0x1.0400000000000p-92, .xlo: -0x1.0000000000000p-146, .yhi: 0x1.0000200000000p+893, .ylo: -0x1.ffffffffffc40p+834, .rhi: 0x1.03ffdf8004100p-985, .rlo: -0x1.103fe00000000p-1039},
428{.xhi: 0x1.0400000000000p-92, .xlo: -0x1.0000000000000p-146, .yhi: -0x1.0000200000000p+893, .ylo: 0x1.ffffffffffc40p+834, .rhi: -0x1.03ffdf8004100p-985, .rlo: 0x1.103fe00000000p-1039},
429{.xhi: -0x1.0400000000000p-92, .xlo: 0x1.0000000000000p-146, .yhi: 0x1.0000200000000p+893, .ylo: -0x1.ffffffffffc40p+834, .rhi: -0x1.03ffdf8004100p-985, .rlo: 0x1.103fe00000000p-1039},
430{.xhi: -0x1.0400000000000p-92, .xlo: 0x1.0000000000000p-146, .yhi: -0x1.0000200000000p+893, .ylo: 0x1.ffffffffffc40p+834, .rhi: 0x1.03ffdf8004100p-985, .rlo: -0x1.103fe00000000p-1039},
431{.xhi: 0x1.00003ff820000p-373, .xlo: -0x1.ffffffe000100p-428, .yhi: 0x1.0001f80020000p-217, .ylo: -0x1.ffffffc1c0040p-276, .rhi: 0x1.fffc8ff6c4929p-157, .rlo: 0x1.c04a167bfc32cp-212},
432{.xhi: 0x1.00003ff820000p-373, .xlo: -0x1.ffffffe000100p-428, .yhi: -0x1.0001f80020000p-217, .ylo: 0x1.ffffffc1c0040p-276, .rhi: -0x1.fffc8ff6c4929p-157, .rlo: -0x1.c04a167bfc32cp-212},
433{.xhi: -0x1.00003ff820000p-373, .xlo: 0x1.ffffffe000100p-428, .yhi: 0x1.0001f80020000p-217, .ylo: -0x1.ffffffc1c0040p-276, .rhi: -0x1.fffc8ff6c4929p-157, .rlo: -0x1.c04a167bfc32cp-212},
434{.xhi: -0x1.00003ff820000p-373, .xlo: 0x1.ffffffe000100p-428, .yhi: -0x1.0001f80020000p-217, .ylo: 0x1.ffffffc1c0040p-276, .rhi: 0x1.fffc8ff6c4929p-157, .rlo: 0x1.c04a167bfc32cp-212},
435{.xhi: 0x1.007ffffffff80p+570, .xlo: 0x1.fffffffe00000p+496, .yhi: 0x1.0100000000000p-172, .ylo: -0x1.0000000000000p-249, .rhi: 0x1.ff00ff00fef11p+741, .rlo: -0x1.0ef00007f0190p+685},
436{.xhi: 0x1.007ffffffff80p+570, .xlo: 0x1.fffffffe00000p+496, .yhi: -0x1.0100000000000p-172, .ylo: 0x1.0000000000000p-249, .rhi: -0x1.ff00ff00fef11p+741, .rlo: 0x1.0ef00007f0190p+685},
437{.xhi: -0x1.007ffffffff80p+570, .xlo: -0x1.fffffffe00000p+496, .yhi: 0x1.0100000000000p-172, .ylo: -0x1.0000000000000p-249, .rhi: -0x1.ff00ff00fef11p+741, .rlo: 0x1.0ef00007f0190p+685},
438{.xhi: -0x1.007ffffffff80p+570, .xlo: -0x1.fffffffe00000p+496, .yhi: -0x1.0100000000000p-172, .ylo: 0x1.0000000000000p-249, .rhi: 0x1.ff00ff00fef11p+741, .rlo: -0x1.0ef00007f0190p+685},
439{.xhi: 0x1.0000000400000p-622, .xlo: -0x1.e00003fff8200p-684, .yhi: 0x1.000ffff802000p-88, .ylo: -0x1.fffe3fffffe00p-150, .rhi: 0x1.ffe00217d982cp-535, .rlo: -0x1.dbfb6b1d22926p-589},
440{.xhi: 0x1.0000000400000p-622, .xlo: -0x1.e00003fff8200p-684, .yhi: -0x1.000ffff802000p-88, .ylo: 0x1.fffe3fffffe00p-150, .rhi: -0x1.ffe00217d982cp-535, .rlo: 0x1.dbfb6b1d22926p-589},
441{.xhi: -0x1.0000000400000p-622, .xlo: 0x1.e00003fff8200p-684, .yhi: 0x1.000ffff802000p-88, .ylo: -0x1.fffe3fffffe00p-150, .rhi: -0x1.ffe00217d982cp-535, .rlo: 0x1.dbfb6b1d22926p-589},
442{.xhi: -0x1.0000000400000p-622, .xlo: 0x1.e00003fff8200p-684, .yhi: -0x1.000ffff802000p-88, .ylo: 0x1.fffe3fffffe00p-150, .rhi: 0x1.ffe00217d982cp-535, .rlo: -0x1.dbfb6b1d22926p-589},
443{.xhi: 0x1.00003ffffff00p+633, .xlo: 0x1.ffc003ffffe00p+578, .yhi: 0x1.0001ff0000000p+629, .ylo: 0x1.ff8007fffffe0p+574, .rhi: 0x1.fffc8206f8541p+3, .rlo: 0x1.944d561338738p-51},
444{.xhi: 0x1.00003ffffff00p+633, .xlo: 0x1.ffc003ffffe00p+578, .yhi: -0x1.0001ff0000000p+629, .ylo: -0x1.ff8007fffffe0p+574, .rhi: -0x1.fffc8206f8541p+3, .rlo: -0x1.944d561338738p-51},
445{.xhi: -0x1.00003ffffff00p+633, .xlo: -0x1.ffc003ffffe00p+578, .yhi: 0x1.0001ff0000000p+629, .ylo: 0x1.ff8007fffffe0p+574, .rhi: -0x1.fffc8206f8541p+3, .rlo: -0x1.944d561338738p-51},
446{.xhi: -0x1.00003ffffff00p+633, .xlo: -0x1.ffc003ffffe00p+578, .yhi: -0x1.0001ff0000000p+629, .ylo: -0x1.ff8007fffffe0p+574, .rhi: 0x1.fffc8206f8541p+3, .rlo: 0x1.944d561338738p-51},
447{.xhi: 0x1.1000000000000p+920, .xlo: -0x1.ff00000001000p+855, .yhi: 0x1.0200000000000p-494, .ylo: -0x1.c000000000008p-550, INFINITY, .rlo: 0x0.0000000000000p+0},
448{.xhi: 0x1.1000000000000p+920, .xlo: -0x1.ff00000001000p+855, .yhi: -0x1.0200000000000p-494, .ylo: 0x1.c000000000008p-550, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
449{.xhi: -0x1.1000000000000p+920, .xlo: 0x1.ff00000001000p+855, .yhi: 0x1.0200000000000p-494, .ylo: -0x1.c000000000008p-550, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
450{.xhi: -0x1.1000000000000p+920, .xlo: 0x1.ff00000001000p+855, .yhi: -0x1.0200000000000p-494, .ylo: 0x1.c000000000008p-550, INFINITY, .rlo: 0x0.0000000000000p+0},
451{.xhi: 0x1.1fffffc000000p+266, .xlo: 0x1.ffffffffffff0p+209, .yhi: 0x1.007fc00000800p-488, .ylo: -0x1.fffff03fff000p-548, .rhi: 0x1.1f708f547908ep+754, .rlo: 0x1.5692f64f2b738p+699},
452{.xhi: 0x1.1fffffc000000p+266, .xlo: 0x1.ffffffffffff0p+209, .yhi: -0x1.007fc00000800p-488, .ylo: 0x1.fffff03fff000p-548, .rhi: -0x1.1f708f547908ep+754, .rlo: -0x1.5692f64f2b738p+699},
453{.xhi: -0x1.1fffffc000000p+266, .xlo: -0x1.ffffffffffff0p+209, .yhi: 0x1.007fc00000800p-488, .ylo: -0x1.fffff03fff000p-548, .rhi: -0x1.1f708f547908ep+754, .rlo: -0x1.5692f64f2b738p+699},
454{.xhi: -0x1.1fffffc000000p+266, .xlo: -0x1.ffffffffffff0p+209, .yhi: -0x1.007fc00000800p-488, .ylo: 0x1.fffff03fff000p-548, .rhi: 0x1.1f708f547908ep+754, .rlo: 0x1.5692f64f2b738p+699},
455{.xhi: 0x1.00007fffff000p+951, .xlo: 0x1.ffffffff00000p+879, .yhi: 0x1.1fffffffc0000p+24, .ylo: 0x1.fff0000000000p-44, .rhi: 0x1.c71d5555b8b13p+926, .rlo: -0x1.2f9a266305f00p+869},
456{.xhi: 0x1.00007fffff000p+951, .xlo: 0x1.ffffffff00000p+879, .yhi: -0x1.1fffffffc0000p+24, .ylo: -0x1.fff0000000000p-44, .rhi: -0x1.c71d5555b8b13p+926, .rlo: 0x1.2f9a266305f00p+869},
457{.xhi: -0x1.00007fffff000p+951, .xlo: -0x1.ffffffff00000p+879, .yhi: 0x1.1fffffffc0000p+24, .ylo: 0x1.fff0000000000p-44, .rhi: -0x1.c71d5555b8b13p+926, .rlo: 0x1.2f9a266305f00p+869},
458{.xhi: -0x1.00007fffff000p+951, .xlo: -0x1.ffffffff00000p+879, .yhi: -0x1.1fffffffc0000p+24, .ylo: -0x1.fff0000000000p-44, .rhi: 0x1.c71d5555b8b13p+926, .rlo: -0x1.2f9a266305f00p+869},
459{.xhi: 0x1.0003ffffffffcp+259, .xlo: 0x1.f000000000000p+158, .yhi: 0x1.0000003ffff80p+431, .ylo: 0x1.fffffefff8000p+363, .rhi: 0x1.0003ffbfff07dp-172, .rlo: 0x1.00e05b827c740p-231},
460{.xhi: 0x1.0003ffffffffcp+259, .xlo: 0x1.f000000000000p+158, .yhi: -0x1.0000003ffff80p+431, .ylo: -0x1.fffffefff8000p+363, .rhi: -0x1.0003ffbfff07dp-172, .rlo: -0x1.00e05b827c740p-231},
461{.xhi: -0x1.0003ffffffffcp+259, .xlo: -0x1.f000000000000p+158, .yhi: 0x1.0000003ffff80p+431, .ylo: 0x1.fffffefff8000p+363, .rhi: -0x1.0003ffbfff07dp-172, .rlo: -0x1.00e05b827c740p-231},
462{.xhi: -0x1.0003ffffffffcp+259, .xlo: -0x1.f000000000000p+158, .yhi: -0x1.0000003ffff80p+431, .ylo: -0x1.fffffefff8000p+363, .rhi: 0x1.0003ffbfff07dp-172, .rlo: 0x1.00e05b827c740p-231},
463{.xhi: 0x1.00007ffc00000p-308, .xlo: 0x1.ffffe00000000p-377, .yhi: 0x1.3fffffc004000p+942, .ylo: -0x1.ffffe00010000p+878, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
464{.xhi: 0x1.00007ffc00000p-308, .xlo: 0x1.ffffe00000000p-377, .yhi: -0x1.3fffffc004000p+942, .ylo: 0x1.ffffe00010000p+878, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
465{.xhi: -0x1.00007ffc00000p-308, .xlo: -0x1.ffffe00000000p-377, .yhi: 0x1.3fffffc004000p+942, .ylo: -0x1.ffffe00010000p+878, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
466{.xhi: -0x1.00007ffc00000p-308, .xlo: -0x1.ffffe00000000p-377, .yhi: -0x1.3fffffc004000p+942, .ylo: 0x1.ffffe00010000p+878, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
467{.xhi: 0x1.0007ffffc0004p+198, .xlo: -0x1.fffffe0040000p+127, .yhi: 0x1.00ffffe000400p-503, .ylo: -0x1.0000000000000p-595, .rhi: 0x1.fe11ee50f0cdfp+700, .rlo: 0x1.eab4ac047c964p+646},
468{.xhi: 0x1.0007ffffc0004p+198, .xlo: -0x1.fffffe0040000p+127, .yhi: -0x1.00ffffe000400p-503, .ylo: 0x1.0000000000000p-595, .rhi: -0x1.fe11ee50f0cdfp+700, .rlo: -0x1.eab4ac047c964p+646},
469{.xhi: -0x1.0007ffffc0004p+198, .xlo: 0x1.fffffe0040000p+127, .yhi: 0x1.00ffffe000400p-503, .ylo: -0x1.0000000000000p-595, .rhi: -0x1.fe11ee50f0cdfp+700, .rlo: -0x1.eab4ac047c964p+646},
470{.xhi: -0x1.0007ffffc0004p+198, .xlo: 0x1.fffffe0040000p+127, .yhi: -0x1.00ffffe000400p-503, .ylo: 0x1.0000000000000p-595, .rhi: 0x1.fe11ee50f0cdfp+700, .rlo: 0x1.eab4ac047c964p+646},
471{.xhi: 0x1.007ffffffff00p+38, .xlo: 0x1.fff8003000000p-39, .yhi: 0x1.01fffffffe000p-764, .ylo: 0x1.fffc000000000p-852, .rhi: 0x1.fd05f417d431bp+801, .rlo: -0x1.da3f8ecab4cb2p+747},
472{.xhi: 0x1.007ffffffff00p+38, .xlo: 0x1.fff8003000000p-39, .yhi: -0x1.01fffffffe000p-764, .ylo: -0x1.fffc000000000p-852, .rhi: -0x1.fd05f417d431bp+801, .rlo: 0x1.da3f8ecab4cb2p+747},
473{.xhi: -0x1.007ffffffff00p+38, .xlo: -0x1.fff8003000000p-39, .yhi: 0x1.01fffffffe000p-764, .ylo: 0x1.fffc000000000p-852, .rhi: -0x1.fd05f417d431bp+801, .rlo: 0x1.da3f8ecab4cb2p+747},
474{.xhi: -0x1.007ffffffff00p+38, .xlo: -0x1.fff8003000000p-39, .yhi: -0x1.01fffffffe000p-764, .ylo: -0x1.fffc000000000p-852, .rhi: 0x1.fd05f417d431bp+801, .rlo: -0x1.da3f8ecab4cb2p+747},
475{.xhi: 0x1.00003e0000000p+844, .xlo: 0x1.ffffffffe0000p+785, .yhi: 0x1.07ffffff80000p+555, .ylo: 0x1.8007ffffc0000p+484, .rhi: 0x1.f07c9746c22cep+288, .rlo: 0x1.3edfd2a2574e4p+234},
476{.xhi: 0x1.00003e0000000p+844, .xlo: 0x1.ffffffffe0000p+785, .yhi: -0x1.07ffffff80000p+555, .ylo: -0x1.8007ffffc0000p+484, .rhi: -0x1.f07c9746c22cep+288, .rlo: -0x1.3edfd2a2574e4p+234},
477{.xhi: -0x1.00003e0000000p+844, .xlo: -0x1.ffffffffe0000p+785, .yhi: 0x1.07ffffff80000p+555, .ylo: 0x1.8007ffffc0000p+484, .rhi: -0x1.f07c9746c22cep+288, .rlo: -0x1.3edfd2a2574e4p+234},
478{.xhi: -0x1.00003e0000000p+844, .xlo: -0x1.ffffffffe0000p+785, .yhi: -0x1.07ffffff80000p+555, .ylo: -0x1.8007ffffc0000p+484, .rhi: 0x1.f07c9746c22cep+288, .rlo: 0x1.3edfd2a2574e4p+234},
479{.xhi: 0x1.00003ff810000p+183, .xlo: -0x1.fffffffc00800p+119, .yhi: 0x1.00000ffff8002p+532, .ylo: -0x1.fffffffe04000p+465, .rhi: 0x1.00002ff815006p-349, .rlo: 0x1.6fa53168c6300p-408},
480{.xhi: 0x1.00003ff810000p+183, .xlo: -0x1.fffffffc00800p+119, .yhi: -0x1.00000ffff8002p+532, .ylo: 0x1.fffffffe04000p+465, .rhi: -0x1.00002ff815006p-349, .rlo: -0x1.6fa53168c6300p-408},
481{.xhi: -0x1.00003ff810000p+183, .xlo: 0x1.fffffffc00800p+119, .yhi: 0x1.00000ffff8002p+532, .ylo: -0x1.fffffffe04000p+465, .rhi: -0x1.00002ff815006p-349, .rlo: -0x1.6fa53168c6300p-408},
482{.xhi: -0x1.00003ff810000p+183, .xlo: 0x1.fffffffc00800p+119, .yhi: -0x1.00000ffff8002p+532, .ylo: 0x1.fffffffe04000p+465, .rhi: 0x1.00002ff815006p-349, .rlo: 0x1.6fa53168c6300p-408},
483{.xhi: 0x1.0100000000000p-963, .xlo: -0x1.0000000000000p-1050, .yhi: 0x1.01ffffff00004p+35, .ylo: -0x1.0000000000000p-55, .rhi: 0x1.fe03f811da4eep-999, .rlo: -0x1.4936800000000p-1053},
484{.xhi: 0x1.0100000000000p-963, .xlo: -0x1.0000000000000p-1050, .yhi: -0x1.01ffffff00004p+35, .ylo: 0x1.0000000000000p-55, .rhi: -0x1.fe03f811da4eep-999, .rlo: 0x1.4936800000000p-1053},
485{.xhi: -0x1.0100000000000p-963, .xlo: 0x1.0000000000000p-1050, .yhi: 0x1.01ffffff00004p+35, .ylo: -0x1.0000000000000p-55, .rhi: -0x1.fe03f811da4eep-999, .rlo: 0x1.4936800000000p-1053},
486{.xhi: -0x1.0100000000000p-963, .xlo: 0x1.0000000000000p-1050, .yhi: -0x1.01ffffff00004p+35, .ylo: 0x1.0000000000000p-55, .rhi: 0x1.fe03f811da4eep-999, .rlo: -0x1.4936800000000p-1053},
487{.xhi: 0x1.001fffffff800p+716, .xlo: 0x1.fffff00000000p+636, .yhi: 0x1.07ffe00001000p-16, .ylo: -0x1.c7ffc001fe010p-73, .rhi: 0x1.f0ba6ac140645p+731, .rlo: -0x1.85bb11db4ee88p+676},
488{.xhi: 0x1.001fffffff800p+716, .xlo: 0x1.fffff00000000p+636, .yhi: -0x1.07ffe00001000p-16, .ylo: 0x1.c7ffc001fe010p-73, .rhi: -0x1.f0ba6ac140645p+731, .rlo: 0x1.85bb11db4ee88p+676},
489{.xhi: -0x1.001fffffff800p+716, .xlo: -0x1.fffff00000000p+636, .yhi: 0x1.07ffe00001000p-16, .ylo: -0x1.c7ffc001fe010p-73, .rhi: -0x1.f0ba6ac140645p+731, .rlo: 0x1.85bb11db4ee88p+676},
490{.xhi: -0x1.001fffffff800p+716, .xlo: -0x1.fffff00000000p+636, .yhi: -0x1.07ffe00001000p-16, .ylo: 0x1.c7ffc001fe010p-73, .rhi: 0x1.f0ba6ac140645p+731, .rlo: -0x1.85bb11db4ee88p+676},
491{.xhi: 0x1.000000ffffff8p+223, .xlo: 0x1.ffe0000000000p+151, .yhi: 0x1.1fffffff00001p+902, .ylo: -0x1.0000000000000p+817, .rhi: 0x1.c71c738fcd6dap-680, .rlo: 0x1.62af33c1d8a00p-735},
492{.xhi: 0x1.000000ffffff8p+223, .xlo: 0x1.ffe0000000000p+151, .yhi: -0x1.1fffffff00001p+902, .ylo: 0x1.0000000000000p+817, .rhi: -0x1.c71c738fcd6dap-680, .rlo: -0x1.62af33c1d8a00p-735},
493{.xhi: -0x1.000000ffffff8p+223, .xlo: -0x1.ffe0000000000p+151, .yhi: 0x1.1fffffff00001p+902, .ylo: -0x1.0000000000000p+817, .rhi: -0x1.c71c738fcd6dap-680, .rlo: -0x1.62af33c1d8a00p-735},
494{.xhi: -0x1.000000ffffff8p+223, .xlo: -0x1.ffe0000000000p+151, .yhi: -0x1.1fffffff00001p+902, .ylo: 0x1.0000000000000p+817, .rhi: 0x1.c71c738fcd6dap-680, .rlo: 0x1.62af33c1d8a00p-735},
495{.xhi: 0x1.00000007fff00p+641, .xlo: 0x1.fffc1ffff87f0p+585, .yhi: 0x1.0000007c00000p+146, .ylo: 0x1.fff0000000000p+75, .rhi: 0x1.ffffff17ffe07p+494, .rlo: 0x1.17ffe1f85d360p+440},
496{.xhi: 0x1.00000007fff00p+641, .xlo: 0x1.fffc1ffff87f0p+585, .yhi: -0x1.0000007c00000p+146, .ylo: -0x1.fff0000000000p+75, .rhi: -0x1.ffffff17ffe07p+494, .rlo: -0x1.17ffe1f85d360p+440},
497{.xhi: -0x1.00000007fff00p+641, .xlo: -0x1.fffc1ffff87f0p+585, .yhi: 0x1.0000007c00000p+146, .ylo: 0x1.fff0000000000p+75, .rhi: -0x1.ffffff17ffe07p+494, .rlo: -0x1.17ffe1f85d360p+440},
498{.xhi: -0x1.00000007fff00p+641, .xlo: -0x1.fffc1ffff87f0p+585, .yhi: -0x1.0000007c00000p+146, .ylo: -0x1.fff0000000000p+75, .rhi: 0x1.ffffff17ffe07p+494, .rlo: 0x1.17ffe1f85d360p+440},
499{.xhi: 0x1.fffffffe00000p+119, .xlo: 0x1.e000001fff800p+55, .yhi: 0x1.0000000000000p+792, .ylo: -0x1.f000080000000p+707, .rhi: 0x1.fffffffe00000p-673, .rlo: 0x1.e0001f2000000p-737},
500{.xhi: 0x1.fffffffe00000p+119, .xlo: 0x1.e000001fff800p+55, .yhi: -0x1.0000000000000p+792, .ylo: 0x1.f000080000000p+707, .rhi: -0x1.fffffffe00000p-673, .rlo: -0x1.e0001f2000000p-737},
501{.xhi: -0x1.fffffffe00000p+119, .xlo: -0x1.e000001fff800p+55, .yhi: 0x1.0000000000000p+792, .ylo: -0x1.f000080000000p+707, .rhi: -0x1.fffffffe00000p-673, .rlo: -0x1.e0001f2000000p-737},
502{.xhi: -0x1.fffffffe00000p+119, .xlo: -0x1.e000001fff800p+55, .yhi: -0x1.0000000000000p+792, .ylo: 0x1.f000080000000p+707, .rhi: 0x1.fffffffe00000p-673, .rlo: 0x1.e0001f2000000p-737},
503{.xhi: 0x1.00007fffffe00p-629, .xlo: 0x1.ffffff8000000p-699, .yhi: 0x1.001f03f07ff00p-553, .ylo: 0x1.ffffff8000000p-626, .rhi: 0x1.ffc2ff82ff538p-77, .rlo: -0x1.3d82a9119b388p-132},
504{.xhi: 0x1.00007fffffe00p-629, .xlo: 0x1.ffffff8000000p-699, .yhi: -0x1.001f03f07ff00p-553, .ylo: -0x1.ffffff8000000p-626, .rhi: -0x1.ffc2ff82ff538p-77, .rlo: 0x1.3d82a9119b388p-132},
505{.xhi: -0x1.00007fffffe00p-629, .xlo: -0x1.ffffff8000000p-699, .yhi: 0x1.001f03f07ff00p-553, .ylo: 0x1.ffffff8000000p-626, .rhi: -0x1.ffc2ff82ff538p-77, .rlo: 0x1.3d82a9119b388p-132},
506{.xhi: -0x1.00007fffffe00p-629, .xlo: -0x1.ffffff8000000p-699, .yhi: -0x1.001f03f07ff00p-553, .ylo: -0x1.ffffff8000000p-626, .rhi: 0x1.ffc2ff82ff538p-77, .rlo: -0x1.3d82a9119b388p-132},
507{.xhi: 0x1.00003fffffffcp-120, .xlo: 0x1.ffe0000700000p-193, .yhi: 0x1.001f000000040p-170, .ylo: 0x1.ffc0ffffc0000p-241, .rhi: 0x1.ffc287719935fp+49, .rlo: 0x1.b6b0fe47ab6b8p-6},
508{.xhi: 0x1.00003fffffffcp-120, .xlo: 0x1.ffe0000700000p-193, .yhi: -0x1.001f000000040p-170, .ylo: -0x1.ffc0ffffc0000p-241, .rhi: -0x1.ffc287719935fp+49, .rlo: -0x1.b6b0fe47ab6b8p-6},
509{.xhi: -0x1.00003fffffffcp-120, .xlo: -0x1.ffe0000700000p-193, .yhi: 0x1.001f000000040p-170, .ylo: 0x1.ffc0ffffc0000p-241, .rhi: -0x1.ffc287719935fp+49, .rlo: -0x1.b6b0fe47ab6b8p-6},
510{.xhi: -0x1.00003fffffffcp-120, .xlo: -0x1.ffe0000700000p-193, .yhi: -0x1.001f000000040p-170, .ylo: -0x1.ffc0ffffc0000p-241, .rhi: 0x1.ffc287719935fp+49, .rlo: 0x1.b6b0fe47ab6b8p-6},
511{.xhi: 0x1.0000100000000p+396, .xlo: -0x1.0000000000000p+314, .yhi: 0x1.0000020000000p-778, .ylo: -0x1.0000000000000p-870, INFINITY, .rlo: 0x0.0000000000000p+0},
512{.xhi: 0x1.0000100000000p+396, .xlo: -0x1.0000000000000p+314, .yhi: -0x1.0000020000000p-778, .ylo: 0x1.0000000000000p-870, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
513{.xhi: -0x1.0000100000000p+396, .xlo: 0x1.0000000000000p+314, .yhi: 0x1.0000020000000p-778, .ylo: -0x1.0000000000000p-870, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
514{.xhi: -0x1.0000100000000p+396, .xlo: 0x1.0000000000000p+314, .yhi: -0x1.0000020000000p-778, .ylo: 0x1.0000000000000p-870, INFINITY, .rlo: 0x0.0000000000000p+0},
515{.xhi: 0x1.000007c000000p-728, .xlo: 0x1.fff8000000000p-784, .yhi: 0x1.003fff0000200p-354, .ylo: -0x1.fe0003fc00040p-413, .rhi: 0x1.ff8031732328cp-375, .rlo: -0x1.49885abdce908p-430},
516{.xhi: 0x1.000007c000000p-728, .xlo: 0x1.fff8000000000p-784, .yhi: -0x1.003fff0000200p-354, .ylo: 0x1.fe0003fc00040p-413, .rhi: -0x1.ff8031732328cp-375, .rlo: 0x1.49885abdce908p-430},
517{.xhi: -0x1.000007c000000p-728, .xlo: -0x1.fff8000000000p-784, .yhi: 0x1.003fff0000200p-354, .ylo: -0x1.fe0003fc00040p-413, .rhi: -0x1.ff8031732328cp-375, .rlo: 0x1.49885abdce908p-430},
518{.xhi: -0x1.000007c000000p-728, .xlo: -0x1.fff8000000000p-784, .yhi: -0x1.003fff0000200p-354, .ylo: 0x1.fe0003fc00040p-413, .rhi: 0x1.ff8031732328cp-375, .rlo: -0x1.49885abdce908p-430},
519{.xhi: 0x1.00001fffcffc0p-216, .xlo: -0x1.fffe000000004p-271, .yhi: 0x1.03fffff800000p+515, .ylo: 0x1.fffffe0000000p+447, .rhi: 0x1.f81fc10b34257p-732, .rlo: -0x1.5454259251f24p-786},
520{.xhi: 0x1.00001fffcffc0p-216, .xlo: -0x1.fffe000000004p-271, .yhi: -0x1.03fffff800000p+515, .ylo: -0x1.fffffe0000000p+447, .rhi: -0x1.f81fc10b34257p-732, .rlo: 0x1.5454259251f24p-786},
521{.xhi: -0x1.00001fffcffc0p-216, .xlo: 0x1.fffe000000004p-271, .yhi: 0x1.03fffff800000p+515, .ylo: 0x1.fffffe0000000p+447, .rhi: -0x1.f81fc10b34257p-732, .rlo: 0x1.5454259251f24p-786},
522{.xhi: -0x1.00001fffcffc0p-216, .xlo: 0x1.fffe000000004p-271, .yhi: -0x1.03fffff800000p+515, .ylo: -0x1.fffffe0000000p+447, .rhi: 0x1.f81fc10b34257p-732, .rlo: -0x1.5454259251f24p-786},
523{.xhi: 0x1.0000008000000p-347, .xlo: -0x1.ffffff8200000p-404, .yhi: 0x1.000fff8000000p+341, .ylo: 0x1.fffffe0000000p+279, .rhi: 0x1.ffe003ffb0070p-689, .rlo: -0x1.53e881ead4d3cp-744},
524{.xhi: 0x1.0000008000000p-347, .xlo: -0x1.ffffff8200000p-404, .yhi: -0x1.000fff8000000p+341, .ylo: -0x1.fffffe0000000p+279, .rhi: -0x1.ffe003ffb0070p-689, .rlo: 0x1.53e881ead4d3cp-744},
525{.xhi: -0x1.0000008000000p-347, .xlo: 0x1.ffffff8200000p-404, .yhi: 0x1.000fff8000000p+341, .ylo: 0x1.fffffe0000000p+279, .rhi: -0x1.ffe003ffb0070p-689, .rlo: 0x1.53e881ead4d3cp-744},
526{.xhi: -0x1.0000008000000p-347, .xlo: 0x1.ffffff8200000p-404, .yhi: -0x1.000fff8000000p+341, .ylo: -0x1.fffffe0000000p+279, .rhi: 0x1.ffe003ffb0070p-689, .rlo: -0x1.53e881ead4d3cp-744},
527{.xhi: 0x1.00000010001f8p-866, .xlo: 0x1.fffc007e00000p-940, .yhi: 0x1.0003fc0000000p+17, .ylo: 0x1.ffff80ffffc00p-40, .rhi: 0x1.fff8083fbf610p-884, .rlo: -0x1.0ce0e337685c0p-941},
528{.xhi: 0x1.00000010001f8p-866, .xlo: 0x1.fffc007e00000p-940, .yhi: -0x1.0003fc0000000p+17, .ylo: -0x1.ffff80ffffc00p-40, .rhi: -0x1.fff8083fbf610p-884, .rlo: 0x1.0ce0e337685c0p-941},
529{.xhi: -0x1.00000010001f8p-866, .xlo: -0x1.fffc007e00000p-940, .yhi: 0x1.0003fc0000000p+17, .ylo: 0x1.ffff80ffffc00p-40, .rhi: -0x1.fff8083fbf610p-884, .rlo: 0x1.0ce0e337685c0p-941},
530{.xhi: -0x1.00000010001f8p-866, .xlo: -0x1.fffc007e00000p-940, .yhi: -0x1.0003fc0000000p+17, .ylo: -0x1.ffff80ffffc00p-40, .rhi: 0x1.fff8083fbf610p-884, .rlo: -0x1.0ce0e337685c0p-941},
531{.xhi: 0x1.0000000000000p-406, .xlo: -0x1.0000000000000p-501, .yhi: 0x1.0300000001f00p+916, .ylo: 0x1.fffffff800000p+840, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
532{.xhi: 0x1.0000000000000p-406, .xlo: -0x1.0000000000000p-501, .yhi: -0x1.0300000001f00p+916, .ylo: -0x1.fffffff800000p+840, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
533{.xhi: -0x1.0000000000000p-406, .xlo: 0x1.0000000000000p-501, .yhi: 0x1.0300000001f00p+916, .ylo: 0x1.fffffff800000p+840, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
534{.xhi: -0x1.0000000000000p-406, .xlo: 0x1.0000000000000p-501, .yhi: -0x1.0300000001f00p+916, .ylo: -0x1.fffffff800000p+840, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
535{.xhi: 0x1.07ffffff1fe00p-512, .xlo: 0x1.fc00000000000p-609, .yhi: 0x1.0040000000000p-704, .ylo: -0x1.c000000400000p-765, .rhi: 0x1.07be107b011fcp+192, .rlo: -0x1.f7e6ed0b063d2p+138},
536{.xhi: 0x1.07ffffff1fe00p-512, .xlo: 0x1.fc00000000000p-609, .yhi: -0x1.0040000000000p-704, .ylo: 0x1.c000000400000p-765, .rhi: -0x1.07be107b011fcp+192, .rlo: 0x1.f7e6ed0b063d2p+138},
537{.xhi: -0x1.07ffffff1fe00p-512, .xlo: -0x1.fc00000000000p-609, .yhi: 0x1.0040000000000p-704, .ylo: -0x1.c000000400000p-765, .rhi: -0x1.07be107b011fcp+192, .rlo: 0x1.f7e6ed0b063d2p+138},
538{.xhi: -0x1.07ffffff1fe00p-512, .xlo: -0x1.fc00000000000p-609, .yhi: -0x1.0040000000000p-704, .ylo: 0x1.c000000400000p-765, .rhi: 0x1.07be107b011fcp+192, .rlo: -0x1.f7e6ed0b063d2p+138},
539{.xhi: 0x1.0080000000000p+198, .xlo: -0x1.0000000000000p+93, .yhi: 0x1.fffff1ff80000p-814, .ylo: 0x1.ffffc000fe000p-869, .rhi: 0x1.00800703c0512p+1011, .rlo: -0x1.7f7600e4b93c0p+957},
540{.xhi: 0x1.0080000000000p+198, .xlo: -0x1.0000000000000p+93, .yhi: -0x1.fffff1ff80000p-814, .ylo: -0x1.ffffc000fe000p-869, .rhi: -0x1.00800703c0512p+1011, .rlo: 0x1.7f7600e4b93c0p+957},
541{.xhi: -0x1.0080000000000p+198, .xlo: 0x1.0000000000000p+93, .yhi: 0x1.fffff1ff80000p-814, .ylo: 0x1.ffffc000fe000p-869, .rhi: -0x1.00800703c0512p+1011, .rlo: 0x1.7f7600e4b93c0p+957},
542{.xhi: -0x1.0080000000000p+198, .xlo: 0x1.0000000000000p+93, .yhi: -0x1.fffff1ff80000p-814, .ylo: -0x1.ffffc000fe000p-869, .rhi: 0x1.00800703c0512p+1011, .rlo: -0x1.7f7600e4b93c0p+957},
543{.xhi: 0x1.0400000000000p+566, .xlo: -0x1.0000000000000p+461, .yhi: 0x1.7fffe00000008p+712, .ylo: -0x1.e000080000000p+632, .rhi: 0x1.5aaac78e3b4b6p-147, .rlo: 0x1.ae0183122f590p-201},
544{.xhi: 0x1.0400000000000p+566, .xlo: -0x1.0000000000000p+461, .yhi: -0x1.7fffe00000008p+712, .ylo: 0x1.e000080000000p+632, .rhi: -0x1.5aaac78e3b4b6p-147, .rlo: -0x1.ae0183122f590p-201},
545{.xhi: -0x1.0400000000000p+566, .xlo: 0x1.0000000000000p+461, .yhi: 0x1.7fffe00000008p+712, .ylo: -0x1.e000080000000p+632, .rhi: -0x1.5aaac78e3b4b6p-147, .rlo: -0x1.ae0183122f590p-201},
546{.xhi: -0x1.0400000000000p+566, .xlo: 0x1.0000000000000p+461, .yhi: -0x1.7fffe00000008p+712, .ylo: 0x1.e000080000000p+632, .rhi: 0x1.5aaac78e3b4b6p-147, .rlo: 0x1.ae0183122f590p-201},
547{.xhi: 0x1.000001d000000p-530, .xlo: -0x1.ff80000200000p-585, .yhi: 0x1.0000003fffffcp+783, .ylo: 0x1.feffff8000000p+703, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
548{.xhi: 0x1.000001d000000p-530, .xlo: -0x1.ff80000200000p-585, .yhi: -0x1.0000003fffffcp+783, .ylo: -0x1.feffff8000000p+703, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
549{.xhi: -0x1.000001d000000p-530, .xlo: 0x1.ff80000200000p-585, .yhi: 0x1.0000003fffffcp+783, .ylo: 0x1.feffff8000000p+703, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
550{.xhi: -0x1.000001d000000p-530, .xlo: 0x1.ff80000200000p-585, .yhi: -0x1.0000003fffffcp+783, .ylo: -0x1.feffff8000000p+703, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
551{.xhi: 0x1.001ffffffffc0p+355, .xlo: 0x1.fffffff03ff00p+294, .yhi: 0x1.0000010000000p-724, .ylo: -0x1.fffffff810000p-793, INFINITY, .rlo: 0x0.0000000000000p+0},
552{.xhi: 0x1.001ffffffffc0p+355, .xlo: 0x1.fffffff03ff00p+294, .yhi: -0x1.0000010000000p-724, .ylo: 0x1.fffffff810000p-793, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
553{.xhi: -0x1.001ffffffffc0p+355, .xlo: -0x1.fffffff03ff00p+294, .yhi: 0x1.0000010000000p-724, .ylo: -0x1.fffffff810000p-793, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
554{.xhi: -0x1.001ffffffffc0p+355, .xlo: -0x1.fffffff03ff00p+294, .yhi: -0x1.0000010000000p-724, .ylo: 0x1.fffffff810000p-793, INFINITY, .rlo: 0x0.0000000000000p+0},
555{.xhi: 0x1.00000fffc0001p+277, .xlo: -0x1.fc000007e0040p+218, .yhi: 0x1.000007fffffc0p+726, .ylo: 0x1.fc0003fc00000p+666, .rhi: 0x1.000007ffbfc41p-449, .rlo: 0x1.a2bf70aa60b60p-505},
556{.xhi: 0x1.00000fffc0001p+277, .xlo: -0x1.fc000007e0040p+218, .yhi: -0x1.000007fffffc0p+726, .ylo: -0x1.fc0003fc00000p+666, .rhi: -0x1.000007ffbfc41p-449, .rlo: -0x1.a2bf70aa60b60p-505},
557{.xhi: -0x1.00000fffc0001p+277, .xlo: 0x1.fc000007e0040p+218, .yhi: 0x1.000007fffffc0p+726, .ylo: 0x1.fc0003fc00000p+666, .rhi: -0x1.000007ffbfc41p-449, .rlo: -0x1.a2bf70aa60b60p-505},
558{.xhi: -0x1.00000fffc0001p+277, .xlo: 0x1.fc000007e0040p+218, .yhi: -0x1.000007fffffc0p+726, .ylo: -0x1.fc0003fc00000p+666, .rhi: 0x1.000007ffbfc41p-449, .rlo: 0x1.a2bf70aa60b60p-505},
559{.xhi: 0x1.01ffe000003fep-455, .xlo: 0x1.ffffff8000000p-521, .yhi: 0x1.00fffffe00000p-662, .ylo: 0x1.ffffffe7ff800p-723, .rhi: 0x1.00fee120e15c4p+207, .rlo: 0x1.7b11a0fd9d316p+153},
560{.xhi: 0x1.01ffe000003fep-455, .xlo: 0x1.ffffff8000000p-521, .yhi: -0x1.00fffffe00000p-662, .ylo: -0x1.ffffffe7ff800p-723, .rhi: -0x1.00fee120e15c4p+207, .rlo: -0x1.7b11a0fd9d316p+153},
561{.xhi: -0x1.01ffe000003fep-455, .xlo: -0x1.ffffff8000000p-521, .yhi: 0x1.00fffffe00000p-662, .ylo: 0x1.ffffffe7ff800p-723, .rhi: -0x1.00fee120e15c4p+207, .rlo: -0x1.7b11a0fd9d316p+153},
562{.xhi: -0x1.01ffe000003fep-455, .xlo: -0x1.ffffff8000000p-521, .yhi: -0x1.00fffffe00000p-662, .ylo: -0x1.ffffffe7ff800p-723, .rhi: 0x1.00fee120e15c4p+207, .rlo: 0x1.7b11a0fd9d316p+153},
563{.xhi: 0x1.3fffffffffc00p+478, .xlo: 0x1.ffffffe000000p+415, .yhi: 0x1.07c0ffc200000p+108, .ylo: -0x1.e000003bfffe0p+50, .rhi: 0x1.3697b20f8de20p+370, .rlo: -0x1.388b9803adee0p+316},
564{.xhi: 0x1.3fffffffffc00p+478, .xlo: 0x1.ffffffe000000p+415, .yhi: -0x1.07c0ffc200000p+108, .ylo: 0x1.e000003bfffe0p+50, .rhi: -0x1.3697b20f8de20p+370, .rlo: 0x1.388b9803adee0p+316},
565{.xhi: -0x1.3fffffffffc00p+478, .xlo: -0x1.ffffffe000000p+415, .yhi: 0x1.07c0ffc200000p+108, .ylo: -0x1.e000003bfffe0p+50, .rhi: -0x1.3697b20f8de20p+370, .rlo: 0x1.388b9803adee0p+316},
566{.xhi: -0x1.3fffffffffc00p+478, .xlo: -0x1.ffffffe000000p+415, .yhi: -0x1.07c0ffc200000p+108, .ylo: 0x1.e000003bfffe0p+50, .rhi: 0x1.3697b20f8de20p+370, .rlo: -0x1.388b9803adee0p+316},
567{.xhi: 0x1.0000001800000p+405, .xlo: 0x1.fffffc0000200p+351, .yhi: 0x1.0000004000000p-957, .ylo: -0x1.fff0000004000p-1024, INFINITY, .rlo: 0x0.0000000000000p+0},
568{.xhi: 0x1.0000001800000p+405, .xlo: 0x1.fffffc0000200p+351, .yhi: -0x1.0000004000000p-957, .ylo: 0x1.fff0000004000p-1024, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
569{.xhi: -0x1.0000001800000p+405, .xlo: -0x1.fffffc0000200p+351, .yhi: 0x1.0000004000000p-957, .ylo: -0x1.fff0000004000p-1024, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
570{.xhi: -0x1.0000001800000p+405, .xlo: -0x1.fffffc0000200p+351, .yhi: -0x1.0000004000000p-957, .ylo: 0x1.fff0000004000p-1024, INFINITY, .rlo: 0x0.0000000000000p+0},
571{.xhi: 0x1.0000800000000p+271, .xlo: -0x1.0000000000000p+208, .yhi: 0x1.0fc007c004000p-537, .ylo: -0x1.fffe100000000p-601, .rhi: 0x1.e2544251693b5p+807, .rlo: 0x1.bf6c5bc03d0b8p+751},
572{.xhi: 0x1.0000800000000p+271, .xlo: -0x1.0000000000000p+208, .yhi: -0x1.0fc007c004000p-537, .ylo: 0x1.fffe100000000p-601, .rhi: -0x1.e2544251693b5p+807, .rlo: -0x1.bf6c5bc03d0b8p+751},
573{.xhi: -0x1.0000800000000p+271, .xlo: 0x1.0000000000000p+208, .yhi: 0x1.0fc007c004000p-537, .ylo: -0x1.fffe100000000p-601, .rhi: -0x1.e2544251693b5p+807, .rlo: -0x1.bf6c5bc03d0b8p+751},
574{.xhi: -0x1.0000800000000p+271, .xlo: 0x1.0000000000000p+208, .yhi: -0x1.0fc007c004000p-537, .ylo: 0x1.fffe100000000p-601, .rhi: 0x1.e2544251693b5p+807, .rlo: 0x1.bf6c5bc03d0b8p+751},
575{.xhi: 0x1.00007fffffe00p-85, .xlo: 0x1.ffffffc003f00p-146, .yhi: 0x1.0080000000000p-834, .ylo: -0x1.0000000000000p-892, .rhi: 0x1.ff017f405f904p+748, .rlo: -0x1.df2057e109728p+694},
576{.xhi: 0x1.00007fffffe00p-85, .xlo: 0x1.ffffffc003f00p-146, .yhi: -0x1.0080000000000p-834, .ylo: 0x1.0000000000000p-892, .rhi: -0x1.ff017f405f904p+748, .rlo: 0x1.df2057e109728p+694},
577{.xhi: -0x1.00007fffffe00p-85, .xlo: -0x1.ffffffc003f00p-146, .yhi: 0x1.0080000000000p-834, .ylo: -0x1.0000000000000p-892, .rhi: -0x1.ff017f405f904p+748, .rlo: 0x1.df2057e109728p+694},
578{.xhi: -0x1.00007fffffe00p-85, .xlo: -0x1.ffffffc003f00p-146, .yhi: -0x1.0080000000000p-834, .ylo: 0x1.0000000000000p-892, .rhi: 0x1.ff017f405f904p+748, .rlo: -0x1.df2057e109728p+694},
579{.xhi: 0x1.0000200000000p-779, .xlo: -0x1.0000000000000p-835, .yhi: 0x1.00000ffffff80p-484, .ylo: 0x1.ffffff0007ff8p-540, .rhi: 0x1.00000fffff080p-295, .rlo: -0x1.77fff803e38b4p-350},
580{.xhi: 0x1.0000200000000p-779, .xlo: -0x1.0000000000000p-835, .yhi: -0x1.00000ffffff80p-484, .ylo: -0x1.ffffff0007ff8p-540, .rhi: -0x1.00000fffff080p-295, .rlo: 0x1.77fff803e38b4p-350},
581{.xhi: -0x1.0000200000000p-779, .xlo: 0x1.0000000000000p-835, .yhi: 0x1.00000ffffff80p-484, .ylo: 0x1.ffffff0007ff8p-540, .rhi: -0x1.00000fffff080p-295, .rlo: 0x1.77fff803e38b4p-350},
582{.xhi: -0x1.0000200000000p-779, .xlo: 0x1.0000000000000p-835, .yhi: -0x1.00000ffffff80p-484, .ylo: -0x1.ffffff0007ff8p-540, .rhi: 0x1.00000fffff080p-295, .rlo: -0x1.77fff803e38b4p-350},
583{.xhi: 0x1.00fe000000000p-622, .xlo: 0x1.001ffffff0000p-691, .yhi: 0x1.00007fffff000p+682, .ylo: 0x0.0000000000000p+0, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
584{.xhi: 0x1.00fe000000000p-622, .xlo: 0x1.001ffffff0000p-691, .yhi: -0x1.00007fffff000p+682, .ylo: 0x0.0000000000000p+0, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
585{.xhi: -0x1.00fe000000000p-622, .xlo: -0x1.001ffffff0000p-691, .yhi: 0x1.00007fffff000p+682, .ylo: 0x0.0000000000000p+0, .rhi: -0x0.0000000000000p+0, .rlo: -0x0.0000000000000p+0},
586{.xhi: -0x1.00fe000000000p-622, .xlo: -0x1.001ffffff0000p-691, .yhi: -0x1.00007fffff000p+682, .ylo: 0x0.0000000000000p+0, .rhi: 0x0.0000000000000p+0, .rlo: 0x0.0000000000000p+0},
587{.xhi: 0x1.01e0000000002p+213, .xlo: -0x1.fffffffffc200p+154, .yhi: 0x1.0000080000000p-358, .ylo: -0x1.0000000000000p-463, .rhi: 0x1.01dff7f100409p+571, .rlo: 0x1.ef7ed084099b0p+517},
588{.xhi: 0x1.01e0000000002p+213, .xlo: -0x1.fffffffffc200p+154, .yhi: -0x1.0000080000000p-358, .ylo: 0x1.0000000000000p-463, .rhi: -0x1.01dff7f100409p+571, .rlo: -0x1.ef7ed084099b0p+517},
589{.xhi: -0x1.01e0000000002p+213, .xlo: 0x1.fffffffffc200p+154, .yhi: 0x1.0000080000000p-358, .ylo: -0x1.0000000000000p-463, .rhi: -0x1.01dff7f100409p+571, .rlo: -0x1.ef7ed084099b0p+517},
590{.xhi: -0x1.01e0000000002p+213, .xlo: 0x1.fffffffffc200p+154, .yhi: -0x1.0000080000000p-358, .ylo: 0x1.0000000000000p-463, .rhi: 0x1.01dff7f100409p+571, .rlo: 0x1.ef7ed084099b0p+517},
591{.xhi: 0x1.000000f1fe001p+66, .xlo: -0x1.0000000000000p-17, .yhi: 0x1.00003fffffff0p-433, .ylo: 0x1.fc00000000000p-510, .rhi: 0x1.ffff81e41b892p+498, .rlo: -0x1.b8b120ccd3920p+444},
592{.xhi: 0x1.000000f1fe001p+66, .xlo: -0x1.0000000000000p-17, .yhi: -0x1.00003fffffff0p-433, .ylo: -0x1.fc00000000000p-510, .rhi: -0x1.ffff81e41b892p+498, .rlo: 0x1.b8b120ccd3920p+444},
593{.xhi: -0x1.000000f1fe001p+66, .xlo: 0x1.0000000000000p-17, .yhi: 0x1.00003fffffff0p-433, .ylo: 0x1.fc00000000000p-510, .rhi: -0x1.ffff81e41b892p+498, .rlo: 0x1.b8b120ccd3920p+444},
594{.xhi: -0x1.000000f1fe001p+66, .xlo: 0x1.0000000000000p-17, .yhi: -0x1.00003fffffff0p-433, .ylo: -0x1.fc00000000000p-510, .rhi: 0x1.ffff81e41b892p+498, .rlo: -0x1.b8b120ccd3920p+444},
595{.xhi: 0x1.0008000000010p+115, .xlo: -0x1.f8000ffff9000p+50, .yhi: 0x1.00001ffff0000p-192, .ylo: 0x1.ffff80001f000p-249, .rhi: 0x1.0007dfff1401ap+307, .rlo: -0x1.60516bf0b366cp+253},
596{.xhi: 0x1.0008000000010p+115, .xlo: -0x1.f8000ffff9000p+50, .yhi: -0x1.00001ffff0000p-192, .ylo: -0x1.ffff80001f000p-249, .rhi: -0x1.0007dfff1401ap+307, .rlo: 0x1.60516bf0b366cp+253},
597{.xhi: -0x1.0008000000010p+115, .xlo: 0x1.f8000ffff9000p+50, .yhi: 0x1.00001ffff0000p-192, .ylo: 0x1.ffff80001f000p-249, .rhi: -0x1.0007dfff1401ap+307, .rlo: 0x1.60516bf0b366cp+253},
598{.xhi: -0x1.0008000000010p+115, .xlo: 0x1.f8000ffff9000p+50, .yhi: -0x1.00001ffff0000p-192, .ylo: -0x1.ffff80001f000p-249, .rhi: 0x1.0007dfff1401ap+307, .rlo: -0x1.60516bf0b366cp+253},
599{.xhi: 0x1.0000100000000p-13, .xlo: -0x1.0000000000000p-118, .yhi: 0x1.0038000800000p+253, .ylo: -0x1.fffffe0000080p+193, .rhi: 0x1.ff903863adb04p-267, .rlo: -0x1.6b2c09860d9d8p-323},
600{.xhi: 0x1.0000100000000p-13, .xlo: -0x1.0000000000000p-118, .yhi: -0x1.0038000800000p+253, .ylo: 0x1.fffffe0000080p+193, .rhi: -0x1.ff903863adb04p-267, .rlo: 0x1.6b2c09860d9d8p-323},
601{.xhi: -0x1.0000100000000p-13, .xlo: 0x1.0000000000000p-118, .yhi: 0x1.0038000800000p+253, .ylo: -0x1.fffffe0000080p+193, .rhi: -0x1.ff903863adb04p-267, .rlo: 0x1.6b2c09860d9d8p-323},
602{.xhi: -0x1.0000100000000p-13, .xlo: 0x1.0000000000000p-118, .yhi: -0x1.0038000800000p+253, .ylo: 0x1.fffffe0000080p+193, .rhi: 0x1.ff903863adb04p-267, .rlo: -0x1.6b2c09860d9d8p-323},
603{.xhi: 0x1.00003fe008000p-845, .xlo: -0x1.fffdff0000080p-904, .yhi: 0x1.ffffffffff800p+109, .ylo: 0x1.fe00000000000p+11, .rhi: 0x1.00003fe008400p-955, .rlo: -0x1.803dee8002680p-1014},
604{.xhi: 0x1.00003fe008000p-845, .xlo: -0x1.fffdff0000080p-904, .yhi: -0x1.ffffffffff800p+109, .ylo: -0x1.fe00000000000p+11, .rhi: -0x1.00003fe008400p-955, .rlo: 0x1.803dee8002680p-1014},
605{.xhi: -0x1.00003fe008000p-845, .xlo: 0x1.fffdff0000080p-904, .yhi: 0x1.ffffffffff800p+109, .ylo: 0x1.fe00000000000p+11, .rhi: -0x1.00003fe008400p-955, .rlo: 0x1.803dee8002680p-1014},
606{.xhi: -0x1.00003fe008000p-845, .xlo: 0x1.fffdff0000080p-904, .yhi: -0x1.ffffffffff800p+109, .ylo: -0x1.fe00000000000p+11, .rhi: 0x1.00003fe008400p-955, .rlo: -0x1.803dee8002680p-1014},
607{.xhi: 0x1.1fffffff00000p-151, .xlo: 0x1.ffffff8000000p-223, .yhi: 0x1.0000100000000p-443, .ylo: -0x1.0000000000000p-537, .rhi: 0x1.1fffedff01201p+292, .rlo: -0x1.1fefee00c1200p+232},
608{.xhi: 0x1.1fffffff00000p-151, .xlo: 0x1.ffffff8000000p-223, .yhi: -0x1.0000100000000p-443, .ylo: 0x1.0000000000000p-537, .rhi: -0x1.1fffedff01201p+292, .rlo: 0x1.1fefee00c1200p+232},
609{.xhi: -0x1.1fffffff00000p-151, .xlo: -0x1.ffffff8000000p-223, .yhi: 0x1.0000100000000p-443, .ylo: -0x1.0000000000000p-537, .rhi: -0x1.1fffedff01201p+292, .rlo: 0x1.1fefee00c1200p+232},
610{.xhi: -0x1.1fffffff00000p-151, .xlo: -0x1.ffffff8000000p-223, .yhi: -0x1.0000100000000p-443, .ylo: 0x1.0000000000000p-537, .rhi: 0x1.1fffedff01201p+292, .rlo: -0x1.1fefee00c1200p+232},
611{.xhi: 0x1.0ffffc0000010p-901, .xlo: 0x1.f000000ff0000p-970, .yhi: 0x1.00003ff002010p-855, .ylo: -0x1.0000020000000p-920, .rhi: 0x1.0fffb8110fd73p-46, .rlo: -0x1.2a08548118244p-101},
612{.xhi: 0x1.0ffffc0000010p-901, .xlo: 0x1.f000000ff0000p-970, .yhi: -0x1.00003ff002010p-855, .ylo: 0x1.0000020000000p-920, .rhi: -0x1.0fffb8110fd73p-46, .rlo: 0x1.2a08548118244p-101},
613{.xhi: -0x1.0ffffc0000010p-901, .xlo: -0x1.f000000ff0000p-970, .yhi: 0x1.00003ff002010p-855, .ylo: -0x1.0000020000000p-920, .rhi: -0x1.0fffb8110fd73p-46, .rlo: 0x1.2a08548118244p-101},
614{.xhi: -0x1.0ffffc0000010p-901, .xlo: -0x1.f000000ff0000p-970, .yhi: -0x1.00003ff002010p-855, .ylo: 0x1.0000020000000p-920, .rhi: 0x1.0fffb8110fd73p-46, .rlo: -0x1.2a08548118244p-101},
615{.xhi: 0x1.00ffffffc0000p+149, .xlo: 0x1.fffffe00003f0p+94, .yhi: 0x1.1fffffffff020p-235, .ylo: -0x1.ffff000400000p-310, .rhi: 0x1.c8e38e38735a1p+383, .rlo: 0x1.ba7818263c098p+329},
616{.xhi: 0x1.00ffffffc0000p+149, .xlo: 0x1.fffffe00003f0p+94, .yhi: -0x1.1fffffffff020p-235, .ylo: 0x1.ffff000400000p-310, .rhi: -0x1.c8e38e38735a1p+383, .rlo: -0x1.ba7818263c098p+329},
617{.xhi: -0x1.00ffffffc0000p+149, .xlo: -0x1.fffffe00003f0p+94, .yhi: 0x1.1fffffffff020p-235, .ylo: -0x1.ffff000400000p-310, .rhi: -0x1.c8e38e38735a1p+383, .rlo: -0x1.ba7818263c098p+329},
618{.xhi: -0x1.00ffffffc0000p+149, .xlo: -0x1.fffffe00003f0p+94, .yhi: -0x1.1fffffffff020p-235, .ylo: 0x1.ffff000400000p-310, .rhi: 0x1.c8e38e38735a1p+383, .rlo: 0x1.ba7818263c098p+329},
619{.xhi: 0x1.0200000000000p+564, .xlo: -0x1.0000000000000p+511, .yhi: 0x1.0000700000000p-366, .ylo: 0x1.ffffffe000000p-437, .rhi: 0x1.01ff8f203161ep+930, .rlo: 0x1.329475dfee4e0p+875},
620{.xhi: 0x1.0200000000000p+564, .xlo: -0x1.0000000000000p+511, .yhi: -0x1.0000700000000p-366, .ylo: -0x1.ffffffe000000p-437, .rhi: -0x1.01ff8f203161ep+930, .rlo: -0x1.329475dfee4e0p+875},
621{.xhi: -0x1.0200000000000p+564, .xlo: 0x1.0000000000000p+511, .yhi: 0x1.0000700000000p-366, .ylo: 0x1.ffffffe000000p-437, .rhi: -0x1.01ff8f203161ep+930, .rlo: -0x1.329475dfee4e0p+875},
622{.xhi: -0x1.0200000000000p+564, .xlo: 0x1.0000000000000p+511, .yhi: -0x1.0000700000000p-366, .ylo: -0x1.ffffffe000000p-437, .rhi: 0x1.01ff8f203161ep+930, .rlo: 0x1.329475dfee4e0p+875},
623{.xhi: 0x1.3fffffc0001fcp+882, .xlo: 0x1.007fffff00000p+819, .yhi: 0x1.007fffff80000p-564, .ylo: 0x1.fffffffe00000p-632, INFINITY, .rlo: 0x0.0000000000000p+0},
624{.xhi: 0x1.3fffffc0001fcp+882, .xlo: 0x1.007fffff00000p+819, .yhi: -0x1.007fffff80000p-564, .ylo: -0x1.fffffffe00000p-632, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
625{.xhi: -0x1.3fffffc0001fcp+882, .xlo: -0x1.007fffff00000p+819, .yhi: 0x1.007fffff80000p-564, .ylo: 0x1.fffffffe00000p-632, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
626{.xhi: -0x1.3fffffc0001fcp+882, .xlo: -0x1.007fffff00000p+819, .yhi: -0x1.007fffff80000p-564, .ylo: -0x1.fffffffe00000p-632, INFINITY, .rlo: 0x0.0000000000000p+0},
627{.xhi: 0x1.00000ffffffd0p-606, .xlo: -0x1.ffffff8200000p-672, .yhi: 0x1.00000c0000004p+258, .ylo: -0x1.ff80000800000p+190, .rhi: 0x1.000003ffffcccp-864, .rlo: 0x1.02fbf43288800p-927},
628{.xhi: 0x1.00000ffffffd0p-606, .xlo: -0x1.ffffff8200000p-672, .yhi: -0x1.00000c0000004p+258, .ylo: 0x1.ff80000800000p+190, .rhi: -0x1.000003ffffcccp-864, .rlo: -0x1.02fbf43288800p-927},
629{.xhi: -0x1.00000ffffffd0p-606, .xlo: 0x1.ffffff8200000p-672, .yhi: 0x1.00000c0000004p+258, .ylo: -0x1.ff80000800000p+190, .rhi: -0x1.000003ffffcccp-864, .rlo: -0x1.02fbf43288800p-927},
630{.xhi: -0x1.00000ffffffd0p-606, .xlo: 0x1.ffffff8200000p-672, .yhi: -0x1.00000c0000004p+258, .ylo: 0x1.ff80000800000p+190, .rhi: 0x1.000003ffffcccp-864, .rlo: 0x1.02fbf43288800p-927},
631{.xhi: 0x1.18003ffff8000p-770, .xlo: 0x1.ffffff8000000p-836, .yhi: 0x1.1ffff80000040p-581, .ylo: -0x1.0000000000000p-671, .rhi: 0x1.f1c79c0c99a42p-190, .rlo: -0x1.672e152d5a5bep-244},
632{.xhi: 0x1.18003ffff8000p-770, .xlo: 0x1.ffffff8000000p-836, .yhi: -0x1.1ffff80000040p-581, .ylo: 0x1.0000000000000p-671, .rhi: -0x1.f1c79c0c99a42p-190, .rlo: 0x1.672e152d5a5bep-244},
633{.xhi: -0x1.18003ffff8000p-770, .xlo: -0x1.ffffff8000000p-836, .yhi: 0x1.1ffff80000040p-581, .ylo: -0x1.0000000000000p-671, .rhi: -0x1.f1c79c0c99a42p-190, .rlo: 0x1.672e152d5a5bep-244},
634{.xhi: -0x1.18003ffff8000p-770, .xlo: -0x1.ffffff8000000p-836, .yhi: -0x1.1ffff80000040p-581, .ylo: 0x1.0000000000000p-671, .rhi: 0x1.f1c79c0c99a42p-190, .rlo: -0x1.672e152d5a5bep-244},
635{.xhi: 0x1.0ffffff9ffff0p+390, .xlo: 0x1.f800008200000p+320, .yhi: 0x1.000000ffffff8p+202, .ylo: 0x1.ff0000007ffc0p+143, .rhi: 0x1.0ffffeea0000ap+188, .rlo: -0x1.21eba43b6d104p+133},
636{.xhi: 0x1.0ffffff9ffff0p+390, .xlo: 0x1.f800008200000p+320, .yhi: -0x1.000000ffffff8p+202, .ylo: -0x1.ff0000007ffc0p+143, .rhi: -0x1.0ffffeea0000ap+188, .rlo: 0x1.21eba43b6d104p+133},
637{.xhi: -0x1.0ffffff9ffff0p+390, .xlo: -0x1.f800008200000p+320, .yhi: 0x1.000000ffffff8p+202, .ylo: 0x1.ff0000007ffc0p+143, .rhi: -0x1.0ffffeea0000ap+188, .rlo: 0x1.21eba43b6d104p+133},
638{.xhi: -0x1.0ffffff9ffff0p+390, .xlo: -0x1.f800008200000p+320, .yhi: -0x1.000000ffffff8p+202, .ylo: -0x1.ff0000007ffc0p+143, .rhi: 0x1.0ffffeea0000ap+188, .rlo: -0x1.21eba43b6d104p+133},
639{.xhi: 0x1.1fffffe000000p-899, .xlo: 0x1.ffff800001ffep-953, .yhi: 0x1.0000008000000p-864, .ylo: -0x1.fffffc0000008p-920, .rhi: 0x1.1fffff5000006p-35, .rlo: 0x1.1ffee480048f8p-90},
640{.xhi: 0x1.1fffffe000000p-899, .xlo: 0x1.ffff800001ffep-953, .yhi: -0x1.0000008000000p-864, .ylo: 0x1.fffffc0000008p-920, .rhi: -0x1.1fffff5000006p-35, .rlo: -0x1.1ffee480048f8p-90},
641{.xhi: -0x1.1fffffe000000p-899, .xlo: -0x1.ffff800001ffep-953, .yhi: 0x1.0000008000000p-864, .ylo: -0x1.fffffc0000008p-920, .rhi: -0x1.1fffff5000006p-35, .rlo: -0x1.1ffee480048f8p-90},
642{.xhi: -0x1.1fffffe000000p-899, .xlo: -0x1.ffff800001ffep-953, .yhi: -0x1.0000008000000p-864, .ylo: 0x1.fffffc0000008p-920, .rhi: 0x1.1fffff5000006p-35, .rlo: 0x1.1ffee480048f8p-90},
643{.xhi: 0x1.0000200000000p-148, .xlo: -0x1.fffffff804000p-215, .yhi: 0x1.0000080000000p+818, .ylo: -0x1.0000000000000p+723, .rhi: 0x1.000017ffff400p-966, .rlo: 0x1.6ffff480c0400p-1028},
644{.xhi: 0x1.0000200000000p-148, .xlo: -0x1.fffffff804000p-215, .yhi: -0x1.0000080000000p+818, .ylo: 0x1.0000000000000p+723, .rhi: -0x1.000017ffff400p-966, .rlo: -0x1.6ffff480c0400p-1028},
645{.xhi: -0x1.0000200000000p-148, .xlo: 0x1.fffffff804000p-215, .yhi: 0x1.0000080000000p+818, .ylo: -0x1.0000000000000p+723, .rhi: -0x1.000017ffff400p-966, .rlo: -0x1.6ffff480c0400p-1028},
646{.xhi: -0x1.0000200000000p-148, .xlo: 0x1.fffffff804000p-215, .yhi: -0x1.0000080000000p+818, .ylo: 0x1.0000000000000p+723, .rhi: 0x1.000017ffff400p-966, .rlo: 0x1.6ffff480c0400p-1028},
647{.xhi: 0x1.03ffff0000010p+113, .xlo: -0x1.fffc010000000p+37, .yhi: 0x1.0000020000000p+293, .ylo: -0x1.0000000000000p+188, .rhi: 0x1.03fffcf800071p-180, .rlo: -0x1.c7fff471f0000p-249},
648{.xhi: 0x1.03ffff0000010p+113, .xlo: -0x1.fffc010000000p+37, .yhi: -0x1.0000020000000p+293, .ylo: 0x1.0000000000000p+188, .rhi: -0x1.03fffcf800071p-180, .rlo: 0x1.c7fff471f0000p-249},
649{.xhi: -0x1.03ffff0000010p+113, .xlo: 0x1.fffc010000000p+37, .yhi: 0x1.0000020000000p+293, .ylo: -0x1.0000000000000p+188, .rhi: -0x1.03fffcf800071p-180, .rlo: 0x1.c7fff471f0000p-249},
650{.xhi: -0x1.03ffff0000010p+113, .xlo: 0x1.fffc010000000p+37, .yhi: -0x1.0000020000000p+293, .ylo: 0x1.0000000000000p+188, .rhi: 0x1.03fffcf800071p-180, .rlo: -0x1.c7fff471f0000p-249},
651{.xhi: 0x1.7ffffffc00000p-873, .xlo: 0x1.fff80000fc000p-934, .yhi: 0x1.0010000000000p+21, .ylo: -0x1.ffffffffc4000p-46, .rhi: 0x1.7fe8017be8418p-894, .rlo: -0x1.01d7f400a641ep-948},
652{.xhi: 0x1.7ffffffc00000p-873, .xlo: 0x1.fff80000fc000p-934, .yhi: -0x1.0010000000000p+21, .ylo: 0x1.ffffffffc4000p-46, .rhi: -0x1.7fe8017be8418p-894, .rlo: 0x1.01d7f400a641ep-948},
653{.xhi: -0x1.7ffffffc00000p-873, .xlo: -0x1.fff80000fc000p-934, .yhi: 0x1.0010000000000p+21, .ylo: -0x1.ffffffffc4000p-46, .rhi: -0x1.7fe8017be8418p-894, .rlo: 0x1.01d7f400a641ep-948},
654{.xhi: -0x1.7ffffffc00000p-873, .xlo: -0x1.fff80000fc000p-934, .yhi: -0x1.0010000000000p+21, .ylo: 0x1.ffffffffc4000p-46, .rhi: 0x1.7fe8017be8418p-894, .rlo: -0x1.01d7f400a641ep-948},
655{.xhi: 0x1.000007fffc004p-531, .xlo: -0x1.8000004000000p-590, .yhi: 0x1.7fe000001ff00p+464, .ylo: 0x1.f000000000000p+363, .rhi: 0x1.5571d426e1829p-996, .rlo: -0x1.e917b80000000p-1050},
656{.xhi: 0x1.000007fffc004p-531, .xlo: -0x1.8000004000000p-590, .yhi: -0x1.7fe000001ff00p+464, .ylo: -0x1.f000000000000p+363, .rhi: -0x1.5571d426e1829p-996, .rlo: 0x1.e917b80000000p-1050},
657{.xhi: -0x1.000007fffc004p-531, .xlo: 0x1.8000004000000p-590, .yhi: 0x1.7fe000001ff00p+464, .ylo: 0x1.f000000000000p+363, .rhi: -0x1.5571d426e1829p-996, .rlo: 0x1.e917b80000000p-1050},
658{.xhi: -0x1.000007fffc004p-531, .xlo: 0x1.8000004000000p-590, .yhi: -0x1.7fe000001ff00p+464, .ylo: -0x1.f000000000000p+363, .rhi: 0x1.5571d426e1829p-996, .rlo: -0x1.e917b80000000p-1050},
659{.xhi: 0x1.01ffffffffc00p+132, .xlo: 0x0.0000000000000p+0, .yhi: 0x1.0ffffff000000p+156, .ylo: 0x1.fffffff000000p+86, .rhi: 0x1.e5a5a5c236733p-25, .rlo: -0x1.9d54b36e3ce32p-79},
660{.xhi: 0x1.01ffffffffc00p+132, .xlo: 0x0.0000000000000p+0, .yhi: -0x1.0ffffff000000p+156, .ylo: -0x1.fffffff000000p+86, .rhi: -0x1.e5a5a5c236733p-25, .rlo: 0x1.9d54b36e3ce32p-79},
661{.xhi: -0x1.01ffffffffc00p+132, .xlo: 0x0.0000000000000p+0, .yhi: 0x1.0ffffff000000p+156, .ylo: 0x1.fffffff000000p+86, .rhi: -0x1.e5a5a5c236733p-25, .rlo: 0x1.9d54b36e3ce32p-79},
662{.xhi: -0x1.01ffffffffc00p+132, .xlo: 0x0.0000000000000p+0, .yhi: -0x1.0ffffff000000p+156, .ylo: -0x1.fffffff000000p+86, .rhi: 0x1.e5a5a5c236733p-25, .rlo: -0x1.9d54b36e3ce32p-79},
663{.xhi: 0x1.0000010000000p-428, .xlo: -0x1.ffffffffe4000p-490, .yhi: 0x1.0000020000000p-498, .ylo: -0x1.ff80000100000p-571, .rhi: 0x1.fffffe0000040p+69, .rlo: -0x1.006005ff51e00p+9},
664{.xhi: 0x1.0000010000000p-428, .xlo: -0x1.ffffffffe4000p-490, .yhi: -0x1.0000020000000p-498, .ylo: 0x1.ff80000100000p-571, .rhi: -0x1.fffffe0000040p+69, .rlo: 0x1.006005ff51e00p+9},
665{.xhi: -0x1.0000010000000p-428, .xlo: 0x1.ffffffffe4000p-490, .yhi: 0x1.0000020000000p-498, .ylo: -0x1.ff80000100000p-571, .rhi: -0x1.fffffe0000040p+69, .rlo: 0x1.006005ff51e00p+9},
666{.xhi: -0x1.0000010000000p-428, .xlo: 0x1.ffffffffe4000p-490, .yhi: -0x1.0000020000000p-498, .ylo: 0x1.ff80000100000p-571, .rhi: 0x1.fffffe0000040p+69, .rlo: -0x1.006005ff51e00p+9},
667{.xhi: 0x1.0008000000000p+313, .xlo: -0x1.0000000000000p+208, .yhi: 0x1.000fffff80000p+721, .ylo: 0x1.fffffffc00000p+665, .rhi: 0x1.fff00100efe90p-409, .rlo: -0x1.07a38c84ab908p-464},
668{.xhi: 0x1.0008000000000p+313, .xlo: -0x1.0000000000000p+208, .yhi: -0x1.000fffff80000p+721, .ylo: -0x1.fffffffc00000p+665, .rhi: -0x1.fff00100efe90p-409, .rlo: 0x1.07a38c84ab908p-464},
669{.xhi: -0x1.0008000000000p+313, .xlo: 0x1.0000000000000p+208, .yhi: 0x1.000fffff80000p+721, .ylo: 0x1.fffffffc00000p+665, .rhi: -0x1.fff00100efe90p-409, .rlo: 0x1.07a38c84ab908p-464},
670{.xhi: -0x1.0008000000000p+313, .xlo: 0x1.0000000000000p+208, .yhi: -0x1.000fffff80000p+721, .ylo: -0x1.fffffffc00000p+665, .rhi: 0x1.fff00100efe90p-409, .rlo: -0x1.07a38c84ab908p-464},
671{.xhi: 0x1.007fffffffc00p+944, .xlo: 0x1.ffffc00000000p+879, .yhi: 0x1.1ffffffff8000p-208, .ylo: 0x1.fe001ffffffe0p-264, INFINITY, .rlo: 0x0.0000000000000p+0},
672{.xhi: 0x1.007fffffffc00p+944, .xlo: 0x1.ffffc00000000p+879, .yhi: -0x1.1ffffffff8000p-208, .ylo: -0x1.fe001ffffffe0p-264, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
673{.xhi: -0x1.007fffffffc00p+944, .xlo: -0x1.ffffc00000000p+879, .yhi: 0x1.1ffffffff8000p-208, .ylo: 0x1.fe001ffffffe0p-264, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
674{.xhi: -0x1.007fffffffc00p+944, .xlo: -0x1.ffffc00000000p+879, .yhi: -0x1.1ffffffff8000p-208, .ylo: -0x1.fe001ffffffe0p-264, INFINITY, .rlo: 0x0.0000000000000p+0},
675{.xhi: 0x1.0000000fffe00p+879, .xlo: 0x1.3fffff87fc000p+819, .yhi: 0x1.00003ffffc000p-310, .ylo: 0x1.e003ff8000000p-375, INFINITY, .rlo: 0x0.0000000000000p+0},
676{.xhi: 0x1.0000000fffe00p+879, .xlo: 0x1.3fffff87fc000p+819, .yhi: -0x1.00003ffffc000p-310, .ylo: -0x1.e003ff8000000p-375, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
677{.xhi: -0x1.0000000fffe00p+879, .xlo: -0x1.3fffff87fc000p+819, .yhi: 0x1.00003ffffc000p-310, .ylo: 0x1.e003ff8000000p-375, .rhi: -INFINITY, .rlo: 0x0.0000000000000p+0},
678{.xhi: -0x1.0000000fffe00p+879, .xlo: -0x1.3fffff87fc000p+819, .yhi: -0x1.00003ffffc000p-310, .ylo: -0x1.e003ff8000000p-375, INFINITY, .rlo: 0x0.0000000000000p+0},
679{.xhi: 0x1.0000000800000p-526, .xlo: -0x1.0000000000000p-631, .yhi: 0x1.7ffff80000000p-359, .ylo: 0x1.ffffffffe0000p-415, .rhi: 0x1.55555c7c71ed4p-168, .rlo: 0x1.30ff0fb9aebd0p-225},
680{.xhi: 0x1.0000000800000p-526, .xlo: -0x1.0000000000000p-631, .yhi: -0x1.7ffff80000000p-359, .ylo: -0x1.ffffffffe0000p-415, .rhi: -0x1.55555c7c71ed4p-168, .rlo: -0x1.30ff0fb9aebd0p-225},
681{.xhi: -0x1.0000000800000p-526, .xlo: 0x1.0000000000000p-631, .yhi: 0x1.7ffff80000000p-359, .ylo: 0x1.ffffffffe0000p-415, .rhi: -0x1.55555c7c71ed4p-168, .rlo: -0x1.30ff0fb9aebd0p-225},
682{.xhi: -0x1.0000000800000p-526, .xlo: 0x1.0000000000000p-631, .yhi: -0x1.7ffff80000000p-359, .ylo: -0x1.ffffffffe0000p-415, .rhi: 0x1.55555c7c71ed4p-168, .rlo: 0x1.30ff0fb9aebd0p-225},
683{.xhi: 0x1.00fffffff8000p-357, .xlo: 0x1.fffe000000000p-431, .yhi: 0x1.0000100000000p-423, .ylo: -0x1.fffffffffc100p-478, .rhi: 0x1.00ffefeff9010p+66, .rlo: 0x1.1cfbfe2017250p+12},
684{.xhi: 0x1.00fffffff8000p-357, .xlo: 0x1.fffe000000000p-431, .yhi: -0x1.0000100000000p-423, .ylo: 0x1.fffffffffc100p-478, .rhi: -0x1.00ffefeff9010p+66, .rlo: -0x1.1cfbfe2017250p+12},
685{.xhi: -0x1.00fffffff8000p-357, .xlo: -0x1.fffe000000000p-431, .yhi: 0x1.0000100000000p-423, .ylo: -0x1.fffffffffc100p-478, .rhi: -0x1.00ffefeff9010p+66, .rlo: -0x1.1cfbfe2017250p+12},
686{.xhi: -0x1.00fffffff8000p-357, .xlo: -0x1.fffe000000000p-431, .yhi: -0x1.0000100000000p-423, .ylo: 0x1.fffffffffc100p-478, .rhi: 0x1.00ffefeff9010p+66, .rlo: 0x1.1cfbfe2017250p+12},
687{.xhi: 0x1.0007ffffffff0p-319, .xlo: 0x1.fffffc0000000p-402, .yhi: 0x1.0003800000080p-931, .ylo: -0x1.0000000000000p-1036, .rhi: 0x1.00047ff0402e2p+612, .rlo: -0x1.8ad99d893a930p+555},
688{.xhi: 0x1.0007ffffffff0p-319, .xlo: 0x1.fffffc0000000p-402, .yhi: -0x1.0003800000080p-931, .ylo: 0x1.0000000000000p-1036, .rhi: -0x1.00047ff0402e2p+612, .rlo: 0x1.8ad99d893a930p+555},
689{.xhi: -0x1.0007ffffffff0p-319, .xlo: -0x1.fffffc0000000p-402, .yhi: 0x1.0003800000080p-931, .ylo: -0x1.0000000000000p-1036, .rhi: -0x1.00047ff0402e2p+612, .rlo: 0x1.8ad99d893a930p+555},
690{.xhi: -0x1.0007ffffffff0p-319, .xlo: -0x1.fffffc0000000p-402, .yhi: -0x1.0003800000080p-931, .ylo: 0x1.0000000000000p-1036, .rhi: 0x1.00047ff0402e2p+612, .rlo: -0x1.8ad99d893a930p+555},
691{.xhi: 0x1.000001fffff80p-279, .xlo: 0x1.ff00000000000p-363, .yhi: 0x1.0000020000000p-640, .ylo: -0x1.8002000000000p-716, .rhi: 0x1.fffffffffff00p+360, .rlo: 0x1.0181fefcfc000p+293},
692{.xhi: 0x1.000001fffff80p-279, .xlo: 0x1.ff00000000000p-363, .yhi: -0x1.0000020000000p-640, .ylo: 0x1.8002000000000p-716, .rhi: -0x1.fffffffffff00p+360, .rlo: -0x1.0181fefcfc000p+293},
693{.xhi: -0x1.000001fffff80p-279, .xlo: -0x1.ff00000000000p-363, .yhi: 0x1.0000020000000p-640, .ylo: -0x1.8002000000000p-716, .rhi: -0x1.fffffffffff00p+360, .rlo: -0x1.0181fefcfc000p+293},
694{.xhi: -0x1.000001fffff80p-279, .xlo: -0x1.ff00000000000p-363, .yhi: -0x1.0000020000000p-640, .ylo: 0x1.8002000000000p-716, .rhi: 0x1.fffffffffff00p+360, .rlo: 0x1.0181fefcfc000p+293},
695{.xhi: 0x1.0003fffff0000p+964, .xlo: 0x1.ffff800007f80p+904, .yhi: 0x1.000007ffffe00p+308, .ylo: -0x1.fe0c000004000p+250, .rhi: 0x1.0003f7ffd0600p+656, .rlo: 0x1.4dc26b9fd5b00p+601},
696{.xhi: 0x1.0003fffff0000p+964, .xlo: 0x1.ffff800007f80p+904, .yhi: -0x1.000007ffffe00p+308, .ylo: 0x1.fe0c000004000p+250, .rhi: -0x1.0003f7ffd0600p+656, .rlo: -0x1.4dc26b9fd5b00p+601},
697{.xhi: -0x1.0003fffff0000p+964, .xlo: -0x1.ffff800007f80p+904, .yhi: 0x1.000007ffffe00p+308, .ylo: -0x1.fe0c000004000p+250, .rhi: -0x1.0003f7ffd0600p+656, .rlo: -0x1.4dc26b9fd5b00p+601},
698{.xhi: -0x1.0003fffff0000p+964, .xlo: -0x1.ffff800007f80p+904, .yhi: -0x1.000007ffffe00p+308, .ylo: 0x1.fe0c000004000p+250, .rhi: 0x1.0003f7ffd0600p+656, .rlo: 0x1.4dc26b9fd5b00p+601},
699{.xhi: 0x1.00000003f0000p+137, .xlo: 0x1.ffffffe000000p+59, .yhi: 0x1.0100000000000p+110, .ylo: -0x1.fffffff000080p+50, .rhi: 0x1.fe01fe09d629dp+26, .rlo: 0x1.9a55be319d934p-28},
700{.xhi: 0x1.00000003f0000p+137, .xlo: 0x1.ffffffe000000p+59, .yhi: -0x1.0100000000000p+110, .ylo: 0x1.fffffff000080p+50, .rhi: -0x1.fe01fe09d629dp+26, .rlo: -0x1.9a55be319d934p-28},
701{.xhi: -0x1.00000003f0000p+137, .xlo: -0x1.ffffffe000000p+59, .yhi: 0x1.0100000000000p+110, .ylo: -0x1.fffffff000080p+50, .rhi: -0x1.fe01fe09d629dp+26, .rlo: -0x1.9a55be319d934p-28},
702{.xhi: -0x1.00000003f0000p+137, .xlo: -0x1.ffffffe000000p+59, .yhi: -0x1.0100000000000p+110, .ylo: 0x1.fffffff000080p+50, .rhi: 0x1.fe01fe09d629dp+26, .rlo: 0x1.9a55be319d934p-28},
703{.xhi: 0x1.007fffffffc00p+472, .xlo: 0x1.fffffe0000000p+390, .yhi: 0x1.0000003fffff8p-373, .ylo: 0x1.fffff80000000p-444, .rhi: 0x1.007fffbfdfc09p+845, .rlo: 0x1.202ee977b9860p+787},
704{.xhi: 0x1.007fffffffc00p+472, .xlo: 0x1.fffffe0000000p+390, .yhi: -0x1.0000003fffff8p-373, .ylo: -0x1.fffff80000000p-444, .rhi: -0x1.007fffbfdfc09p+845, .rlo: -0x1.202ee977b9860p+787},
705{.xhi: -0x1.007fffffffc00p+472, .xlo: -0x1.fffffe0000000p+390, .yhi: 0x1.0000003fffff8p-373, .ylo: 0x1.fffff80000000p-444, .rhi: -0x1.007fffbfdfc09p+845, .rlo: -0x1.202ee977b9860p+787},
706{.xhi: -0x1.007fffffffc00p+472, .xlo: -0x1.fffffe0000000p+390, .yhi: -0x1.0000003fffff8p-373, .ylo: -0x1.fffff80000000p-444, .rhi: 0x1.007fffbfdfc09p+845, .rlo: 0x1.202ee977b9860p+787},
707{.xhi: 0x1.00000003ff000p+517, .xlo: 0x1.ffffff0000000p+455, .yhi: 0x1.0000ffff80000p+482, .ylo: 0x1.e0000000fffc0p+423, .rhi: 0x1.fffe000afdf40p+34, .rlo: 0x1.a97dc87838c28p-22},
708{.xhi: 0x1.00000003ff000p+517, .xlo: 0x1.ffffff0000000p+455, .yhi: -0x1.0000ffff80000p+482, .ylo: -0x1.e0000000fffc0p+423, .rhi: -0x1.fffe000afdf40p+34, .rlo: -0x1.a97dc87838c28p-22},
709{.xhi: -0x1.00000003ff000p+517, .xlo: -0x1.ffffff0000000p+455, .yhi: 0x1.0000ffff80000p+482, .ylo: 0x1.e0000000fffc0p+423, .rhi: -0x1.fffe000afdf40p+34, .rlo: -0x1.a97dc87838c28p-22},
710{.xhi: -0x1.00000003ff000p+517, .xlo: -0x1.ffffff0000000p+455, .yhi: -0x1.0000ffff80000p+482, .ylo: -0x1.e0000000fffc0p+423, .rhi: 0x1.fffe000afdf40p+34, .rlo: 0x1.a97dc87838c28p-22},
711{.xhi: 0x1.007ffffffc000p-870, .xlo: 0x1.ffffff8000000p-937, .yhi: 0x1.0003fffffffe0p-380, .ylo: 0x1.fffffff000780p-440, .rhi: 0x1.007bfe1003c1fp-490, .rlo: 0x1.d0655eb0f91c0p-546},
712{.xhi: 0x1.007ffffffc000p-870, .xlo: 0x1.ffffff8000000p-937, .yhi: -0x1.0003fffffffe0p-380, .ylo: -0x1.fffffff000780p-440, .rhi: -0x1.007bfe1003c1fp-490, .rlo: -0x1.d0655eb0f91c0p-546},
713{.xhi: -0x1.007ffffffc000p-870, .xlo: -0x1.ffffff8000000p-937, .yhi: 0x1.0003fffffffe0p-380, .ylo: 0x1.fffffff000780p-440, .rhi: -0x1.007bfe1003c1fp-490, .rlo: -0x1.d0655eb0f91c0p-546},
714{.xhi: -0x1.007ffffffc000p-870, .xlo: -0x1.ffffff8000000p-937, .yhi: -0x1.0003fffffffe0p-380, .ylo: -0x1.fffffff000780p-440, .rhi: 0x1.007bfe1003c1fp-490, .rlo: 0x1.d0655eb0f91c0p-546},
715{.xhi: 0x1.07fffffe0003cp+175, .xlo: 0x1.ffe000007f000p+110, .yhi: 0x1.1ffff00800000p-290, .ylo: -0x1.0000000000000p-387, .rhi: 0x1.d5556f57b59dcp+464, .rlo: 0x1.ea436d67e8132p+410},
716{.xhi: 0x1.07fffffe0003cp+175, .xlo: 0x1.ffe000007f000p+110, .yhi: -0x1.1ffff00800000p-290, .ylo: 0x1.0000000000000p-387, .rhi: -0x1.d5556f57b59dcp+464, .rlo: -0x1.ea436d67e8132p+410},
717{.xhi: -0x1.07fffffe0003cp+175, .xlo: -0x1.ffe000007f000p+110, .yhi: 0x1.1ffff00800000p-290, .ylo: -0x1.0000000000000p-387, .rhi: -0x1.d5556f57b59dcp+464, .rlo: -0x1.ea436d67e8132p+410},
718{.xhi: -0x1.07fffffe0003cp+175, .xlo: -0x1.ffe000007f000p+110, .yhi: -0x1.1ffff00800000p-290, .ylo: 0x1.0000000000000p-387, .rhi: 0x1.d5556f57b59dcp+464, .rlo: 0x1.ea436d67e8132p+410},
719{.xhi: 0x1.000003fff8000p+401, .xlo: 0x1.ffff00000003cp+346, .yhi: 0x1.000001ffff020p+721, .ylo: -0x1.fff0000200000p+651, .rhi: 0x1.000001fff8fa0p-320, .rlo: 0x1.04037c2a010d6p-374},
720{.xhi: 0x1.000003fff8000p+401, .xlo: 0x1.ffff00000003cp+346, .yhi: -0x1.000001ffff020p+721, .ylo: 0x1.fff0000200000p+651, .rhi: -0x1.000001fff8fa0p-320, .rlo: -0x1.04037c2a010d6p-374},
721{.xhi: -0x1.000003fff8000p+401, .xlo: -0x1.ffff00000003cp+346, .yhi: 0x1.000001ffff020p+721, .ylo: -0x1.fff0000200000p+651, .rhi: -0x1.000001fff8fa0p-320, .rlo: -0x1.04037c2a010d6p-374},
722{.xhi: -0x1.000003fff8000p+401, .xlo: -0x1.ffff00000003cp+346, .yhi: -0x1.000001ffff020p+721, .ylo: 0x1.fff0000200000p+651, .rhi: 0x1.000001fff8fa0p-320, .rlo: 0x1.04037c2a010d6p-374},
723{.xhi: 0x1.00ffe00000000p-249, .xlo: 0x1.fe00000000000p-309, .yhi: 0x1.0000100000000p+516, .ylo: -0x1.ffff800010000p+447, .rhi: 0x1.00ffcff003010p-765, .rlo: -0x1.01fef05060e00p-825},
724{.xhi: 0x1.00ffe00000000p-249, .xlo: 0x1.fe00000000000p-309, .yhi: -0x1.0000100000000p+516, .ylo: 0x1.ffff800010000p+447, .rhi: -0x1.00ffcff003010p-765, .rlo: 0x1.01fef05060e00p-825},
725{.xhi: -0x1.00ffe00000000p-249, .xlo: -0x1.fe00000000000p-309, .yhi: 0x1.0000100000000p+516, .ylo: -0x1.ffff800010000p+447, .rhi: -0x1.00ffcff003010p-765, .rlo: 0x1.01fef05060e00p-825},
726{.xhi: -0x1.00ffe00000000p-249, .xlo: -0x1.fe00000000000p-309, .yhi: -0x1.0000100000000p+516, .ylo: 0x1.ffff800010000p+447, .rhi: 0x1.00ffcff003010p-765, .rlo: -0x1.01fef05060e00p-825},
727{.xhi: 0x1.fffffff000008p-375, .xlo: -0x1.ffffff1000000p-452, .yhi: 0x1.0001fffffff80p-412, .ylo: 0x1.fffe000000000p-497, .rhi: 0x1.fffbfff800208p+37, .rlo: -0x1.83fe387f7d700p-21},
728{.xhi: 0x1.fffffff000008p-375, .xlo: -0x1.ffffff1000000p-452, .yhi: -0x1.0001fffffff80p-412, .ylo: -0x1.fffe000000000p-497, .rhi: -0x1.fffbfff800208p+37, .rlo: 0x1.83fe387f7d700p-21},
729{.xhi: -0x1.fffffff000008p-375, .xlo: 0x1.ffffff1000000p-452, .yhi: 0x1.0001fffffff80p-412, .ylo: 0x1.fffe000000000p-497, .rhi: -0x1.fffbfff800208p+37, .rlo: 0x1.83fe387f7d700p-21},
730{.xhi: -0x1.fffffff000008p-375, .xlo: 0x1.ffffff1000000p-452, .yhi: -0x1.0001fffffff80p-412, .ylo: -0x1.fffe000000000p-497, .rhi: 0x1.fffbfff800208p+37, .rlo: -0x1.83fe387f7d700p-21},
731};
732
733const int numAccuracyTests = sizeof(accuracyTests) / sizeof(struct testVector);
734
735#include <math.h>
736
737double testAccuracy() {
738 int i;
739 DD a, b, c, r;
740
741 double worstUlps = 0.5;
742
743 for (i=0; i<numAccuracyTests; ++i) {
744 a.hi = accuracyTests[i].xhi;
745 a.lo = accuracyTests[i].xlo;
746 b.hi = accuracyTests[i].yhi;
747 b.lo = accuracyTests[i].ylo;
748 r.hi = accuracyTests[i].rhi;
749 r.lo = accuracyTests[i].rlo;
750
751 DD c = { .ld = __gcc_qdiv(x: a.ld, y: b.ld) };
752
753 double error = __builtin_fabs(((r.hi - c.hi) + r.lo) - c.lo);
754
755 if (error != 0.0) {
756
757 int exponent = ilogb(x: r.hi);
758 exponent = (exponent < -1022 ? -1022 : exponent);
759 double ulpError = scalbn(x: error, n: 106 - exponent);
760
761 if (ulpError > worstUlps) {
762#ifdef PRINT_ACCURACY_INFORMATION
763 printf("New worst rounding error for (%a,%a) / (%a,%a):\n", a.hi, a.lo, b.hi, b.lo);
764 printf("\tExpected: (%a,%a)\n", r.hi, r.lo);
765 printf("\tComputed: (%a,%a)\n", c.hi, c.lo);
766 printf("\tError: %f ulps\n", ulpError);
767#endif
768 worstUlps = ulpError;
769 }
770 }
771 }
772
773 return worstUlps;
774}
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799

source code of compiler-rt/test/builtins/Unit/ppc/qdiv_test.c