1 /*
2  * Copyright (C) 2014 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 static data_1_2_t<double, double, double> g_hypot_intel_data[] = {
18   { // Entry 0
19     0x1.74334f2872bf324a8b6c0ffaf2f4ee3dp0,
20     -0x1.0b2502b3f7656p0,
21     0x1.032a74c8e2bbdp0
22   },
23   { // Entry 1
24     0x1.21c9123e6cbbf812953910371e275dc7p3,
25     -0x1.21c9107b0e488p3,
26     0x1.ff77fffffffffp-9
27   },
28   { // Entry 2
29     0x1.ad09d0c85a9b738fbeb590492c45108fp-21,
30     -0x1.3db5af72d9074p-21,
31     0x1.2054976e47184p-21
32   },
33   { // Entry 3
34     0x1.6a1f7b584e052800e5d5eb2c842defa6p-1,
35     -0x1.47200db32f88cp-1,
36     -0x1.36a049ab1eee0p-2
37   },
38   { // Entry 4
39     0x1.893eff10a04aed61358d3d5b6481eebcp-425,
40     -0x1.5a9c9453941a0p-426,
41     -0x1.60ff7b7326510p-425
42   },
43   { // Entry 5
44     0x1.94c583ada5b5218962e6ed1568fead12p0,
45     -0x1.7ffffffffffffp0,
46     0x1.0000000000003p-1
47   },
48   { // Entry 6
49     0x1.97cfe6e25cd448cf5dbcb52213679796p-11,
50     -0x1.8e38e38e38e37p-11,
51     -0x1.5fad40a57eb38p-13
52   },
53   { // Entry 7
54     0x1.9e661829e5ee17ffba1d22ecf0580873p421,
55     -0x1.9897fbb0fa747p418,
56     0x1.9b3d45740c34cp421
57   },
58   { // Entry 8
59     0x1.c7653d4e9e6c77fe2eb3fc6720505db6p-11,
60     -0x1.bbbbbbbbbbbbcp-11,
61     -0x1.9999999999c33p-13
62   },
63   { // Entry 9
64     0x1.ddffe6e5a3a8384016ed35f115bc095ep-11,
65     -0x1.e9131abf0b717p-14,
66     0x1.da12f684bda24p-11
67   },
68   { // Entry 10
69     0x1.7158b50ca33488012d796eb6f1a7589bp0,
70     -0x1.f5723be0cafb4p-1,
71     0x1.0f35b6d1e4e0fp0
72   },
73   { // Entry 11
74     0x1.00007fffdffff7ffe2000dfff64007afp0,
75     -0x1.ffffffffffffdp-1,
76     0x1.ffffffffffffcp-9
77   },
78   { // Entry 12
79     0x1.fffffffep-1043,
80     0.0,
81     0x1.fffffffe0p-1043
82   },
83   { // Entry 13
84     0x1.199999999999a0p0,
85     0x1.0p-1074,
86     -0x1.199999999999ap0
87   },
88   { // Entry 14
89     0x1.aaaaaaaaaaaaa0p0,
90     0x1.0p-1074,
91     -0x1.aaaaaaaaaaaaap0
92   },
93   { // Entry 15
94     0x1.b87065d24cee52b080d32543ca9cfc19p-1,
95     0x1.0000000000001p-1,
96     -0x1.6666666666668p-1
97   },
98   { // Entry 16
99     0x1.43596ffaa74788558d1fbef5bc6654e5p0,
100     0x1.0000000000001p-2,
101     -0x1.3cf3cf3cf3cf4p0
102   },
103   { // Entry 17
104     0x1.4ccccccccccd08000000000000627627p-2,
105     0x1.0000000000001p-3,
106     -0x1.3333333333337p-2
107   },
108   { // Entry 18
109     0x1.801554bda99c72d8de8e8d0810523d56p0,
110     0x1.0000000000001p-5,
111     0x1.8000000000001p0
112   },
113   { // Entry 19
114     0x1.74b50ce2454308015045eece9494acfbp-3,
115     0x1.0000000000001p-7,
116     -0x1.745d1745d0e18p-3
117   },
118   { // Entry 20
119     0x1.28ff91ab72d727facf9be8fbd129e05ep-2,
120     0x1.0000000000080p-3,
121     0x1.0c0p-2
122   },
123   { // Entry 21
124     0x1.000033d5ab09e8017b9fe870280d1247p9,
125     0x1.0000000000aeep9,
126     0x1.45d1745d1745ep0
127   },
128   { // Entry 22
129     0x1.07e0f670c16e48e1e7c24e5939e31f55p-3,
130     0x1.00000009880p-3,
131     0x1.ffffff8cfffffp-6
132   },
133   { // Entry 23
134     0x1.b596b5878e25800001094dfd216cf693p-1,
135     0x1.00000040ed435p-1,
136     0x1.62e42fefa39efp-1
137   },
138   { // Entry 24
139     0x1.0008ffd80967981d0efdf34de42be658p-4,
140     0x1.0000007ffffdep-10,
141     0x1.0000fffffffffp-4
142   },
143   { // Entry 25
144     0x1.6a09e8e19116080994af0efbde159838p-20,
145     0x1.0000037ffffdfp-20,
146     0x1.00000000110p-20
147   },
148   { // Entry 26
149     0x1.00009ec452a8c81c490f9ba38768ce7cp-3,
150     0x1.0000043ffffdfp-3,
151     0x1.19453808ca296p-11
152   },
153   { // Entry 27
154     0x1.b879b2c3faae37fe5d8254c1a9443fd6p-1,
155     0x1.000fffffff6c8p-1,
156     -0x1.6666666666668p-1
157   },
158   { // Entry 28
159     0x1.6b9824a5d9fefc6fac3c06f2beba6d16p0,
160     0x1.001p0,
161     0x1.0222222222223p0
162   },
163   { // Entry 29
164     0x1.6b1dc233c08aacf04d42b3d293e12a49p0,
165     0x1.0016f5e74bfddp0,
166     -0x1.016eb68415ab1p0
167   },
168   { // Entry 30
169     0x1.778d27690518dd41bd73ad488f2a2174p-27,
170     0x1.00a436e9442ddp-27,
171     0x1.122dc42e12491p-27
172   },
173   { // Entry 31
174     0x1.6c9ed56d3e093800300f2c229b359a3dp0,
175     0x1.01b59372d3dp0,
176     -0x1.01f11caa0d8fap0
177   },
178   { // Entry 32
179     0x1.62e44823f6c828019d99f2ea6e42b44dp-1,
180     0x1.0624dd41fac87p-10,
181     0x1.62e42fefa39efp-1
182   },
183   { // Entry 33
184     0x1.62e44823f6c9980000fc0f85b3c55a79p-1,
185     0x1.0624dd49c38c9p-10,
186     0x1.62e42fefa39efp-1
187   },
188   { // Entry 34
189     0x1.086b948a12d8c800cf1808a10a5174d9p3,
190     0x1.086ac9804c16fp3,
191     0x1.47ae147ae1488p-5
192   },
193   { // Entry 35
194     0x1.74334f2872bf324a8b6c0ffaf2f4ee3dp0,
195     0x1.0b2502b3f7656p0,
196     -0x1.032a74c8e2bbdp0
197   },
198   { // Entry 36
199     0x1.b174e26559df6801e67982110c79e921p0,
200     0x1.0dadec75407d1p0,
201     0x1.53594d6535950p0
202   },
203   { // Entry 37
204     0x1.0fa6ab587be3f81316d103dd56845189p2,
205     0x1.0dc27b7edad61p2,
206     -0x1.fffffffffffdfp-2
207   },
208   { // Entry 38
209     0x1.0e00000001e77800795b3317cdb8cf48p-1,
210     0x1.0e0p-1,
211     0x1.00880p-20
212   },
213   { // Entry 39
214     0x1.1e643a24dde918108702a958a34659bdp1,
215     0x1.17261d1fbe70fp1,
216     -0x1.0p-1
217   },
218   { // Entry 40
219     0x1.00009ec452a8c81c490f9ba38768ce7cp-3,
220     0x1.19453808ca296p-11,
221     0x1.0000043ffffdfp-3
222   },
223   { // Entry 41
224     0x1.1f7648cb9c2928102f301b4e2a6da7f8p3,
225     0x1.1f6fb7dbedf31p3,
226     -0x1.eb851eb851eb2p-4
227   },
228   { // Entry 42
229     0x1.3fc168b1ba65f7fefcba8c51c9dceebep1,
230     0x1.333333334955dp1,
231     0x1.62e42fefa39efp-1
232   },
233   { // Entry 43
234     0x1.d561dc6bbc69b7fffefd4eef36bb45cep-1,
235     0x1.33333336ffb33p-1,
236     0x1.62e42fefa39efp-1
237   },
238   { // Entry 44
239     0x1.b6d63492d208b7fe66769600852b12d8p7,
240     0x1.3845636425767p7,
241     0x1.34534564561d4p7
242   },
243   { // Entry 45
244     0x1.b6d63492cf6ddfff7a4bf179a9f2d6cap7,
245     0x1.3845636425776p7,
246     0x1.3453456452673p7
247   },
248   { // Entry 46
249     0x1.853a0d5122cef456b05a1510fbead643p6,
250     0x1.3bbd9e1fa27b4p6,
251     0x1.c7372b6a514bcp5
252   },
253   { // Entry 47
254     0x1.3fba0ae4ce08b810e8f56ddaf12a7f4fp3,
255     0x1.3e1f0f87c3dd1p3,
256     -0x1.fffffffffffdfp-1
257   },
258   { // Entry 48
259     0x1.b71be4215a53283d71f5b110a870e894p-11,
260     0x1.484e2afe0bbc6p-13,
261     -0x1.af5ebd7af5ec0p-11
262   },
263   { // Entry 49
264     0x1.56d07f9feb80d804781ae4305058b676p2,
265     0x1.550fe1779c5p2,
266     -0x1.14f2805f85d24p-1
267   },
268   { // Entry 50
269     0x1.a52df5c24c89489d50528533a7f35763p2,
270     0x1.5555555555556p0,
271     0x1.9c71c71c71c69p2
272   },
273   { // Entry 51
274     0x1.b993cc4482b447ff4f74030e8ba14870p-1,
275     0x1.57354071c6426p-3,
276     -0x1.b1293f6f53880p-1
277   },
278   { // Entry 52
279     0x1.a7e2abc57f0e380a70c24d675241f120p0,
280     0x1.5b2d96cb65bp0,
281     -0x1.e666666666664p-1
282   },
283   { // Entry 53
284     0x1.e44d26303c8e703260adac35beb0201ap421,
285     0x1.600ec23b7b61ep421,
286     -0x1.4c92148cef14ap421
287   },
288   { // Entry 54
289     0x1.f8611701969ccfffff045c3f99fe48f7p-1,
290     0x1.6666666dac2fap-1,
291     0x1.62e42fefa39efp-1
292   },
293   { // Entry 55
294     0x1.6cc93c4d65368802345842af2282a5eap1,
295     0x1.6cc93a754133ep1,
296     0x1.257430139p-10
297   },
298   { // Entry 56
299     0x1.6cc93c4d653688025c9147b5b60441e9p1,
300     0x1.6cc93a754133ep1,
301     0x1.25743013900c8p-10
302   },
303   { // Entry 57
304     0x1.6cc93c4d653688025e2d2930daa313d5p1,
305     0x1.6cc93a754133ep1,
306     0x1.25743013900d0p-10
307   },
308   { // Entry 58
309     0x1.d488ac97053f37fbba277d07ac43cad5p-20,
310     0x1.7p-20,
311     0x1.220p-20
312   },
313   { // Entry 59
314     0x1.400000004cccc800052f1bc6a6c17e88p-1,
315     0x1.7ffffffffffffp-2,
316     0x1.000000006p-1
317   },
318   { // Entry 60
319     0x1.ffee8df9517ff7fe75600bb975e5ce61p0,
320     0x1.81792910a5db1p-1,
321     -0x1.da43b5dce0b18p0
322   },
323   { // Entry 61
324     0x1.9b0a5736513fc7ffab037ae75d04e99ap2,
325     0x1.88a4522914881p2,
326     0x1.e666666666667p0
327   },
328   { // Entry 62
329     0x1.a5fa08a755b5c900f2d5cc6751e1ecf9p2,
330     0x1.88cb3c9484e2ap0,
331     0x1.9a6449e59bb5dp2
332   },
333   { // Entry 63
334     0x1.8befefed027e87ff6c70308e205c2a19p6,
335     0x1.8beea4e1a0873p6,
336     -0x1.0p-1
337   },
338   { // Entry 64
339     0x1.96991a72bfd0100000868ffe3e831279p1,
340     0x1.8cccccce3bcbdp1,
341     0x1.62e42fefa39efp-1
342   },
343   { // Entry 65
344     0x1.bf7cd9d02c7e220c699cc834fdd4fb41p-4,
345     0x1.8ddf4152067fcp-4,
346     -0x1.999999999999ap-5
347   },
348   { // Entry 66
349     0x1.76e7ba8bc745280094a71daf10d4a68ep25,
350     0x1.97fe3896c80f0p2,
351     0x1.76e7ba8bc741bp25
352   },
353   { // Entry 67
354     0x1.0efacef2e4e81ffffefe587f1ae783b6p0,
355     0x1.999999a0c0a0bp-1,
356     0x1.62e42fefa39efp-1
357   },
358   { // Entry 68
359     0x1.715e867859a8580001048a1e9e9dff7cp-1,
360     0x1.999999b9ce793p-3,
361     0x1.62e42fefa39efp-1
362   },
363   { // Entry 69
364     0x1.6690cd7c39fa4800010745dc1f901919p-1,
365     0x1.999999da8ed7ap-4,
366     0x1.62e42fefa39efp-1
367   },
368   { // Entry 70
369     0x1.f65294baeb7788330decefa598e273d5p-11,
370     0x1.9dbcc48676f94p-15,
371     0x1.f5a814afd6a11p-11
372   },
373   { // Entry 71
374     0x1.c26cb730864d698c82db5769586bd519p0,
375     0x1.a2882f7660c18p-2,
376     0x1.b61a64501888ap0
377   },
378   { // Entry 72
379     0x1.209f4f2c5979e816bf99efe18e6f1cdap1,
380     0x1.b8f22f033c872p-3,
381     0x1.1f4db533bcddcp1
382   },
383   { // Entry 73
384     0x1.50225479d4b157fe785588557cc66cdep-10,
385     0x1.bd8caaaf99090p-11,
386     -0x1.f76b23986ff44p-11
387   },
388   { // Entry 74
389     0x1.060db00245bf781048c529e4efff0afbp25,
390     0x1.bffffffffffffp22,
391     0x1.0000027ffffdfp25
392   },
393   { // Entry 75
394     0x1.c8c25b45aba168f0187bb5c3abbc3d16p-11,
395     0x1.c06b09e919d94p-11,
396     -0x1.5b911048a3310p-13
397   },
398   { // Entry 76
399     0x1.f53b21b5c40249b92a9c223bae43323bp0,
400     0x1.c81e6f7fe3993p-2,
401     -0x1.e8167b6df2ee0p0
402   },
403   { // Entry 77
404     0x1.f5950f056e39e90cbaac1f89ab36b40ap2,
405     0x1.cba2e8ba2e8b7p0,
406     0x1.e83e0f83e0f76p2
407   },
408   { // Entry 78
409     0x1.ddffe6e5a3a8384016ed35f115bc095ep-11,
410     0x1.da12f684bda24p-11,
411     -0x1.e9131abf0b717p-14
412   },
413   { // Entry 79
414     0x1.7941bb05a39ca7ff5e4553b1fc4d7db9p-423,
415     0x1.f8d7bbd7ce920p-426,
416     -0x1.73f0fd4fd9fd0p-423
417   },
418   { // Entry 80
419     0x1.b13fad7cb7c50801dede1905f3f366a1p9,
420     0x1.f91b91b91b905p2,
421     0x1.b13b13b13b130p9
422   },
423   { // Entry 81
424     0x1.69fd85887947900071fbc08183b8ab23p0,
425     0x1.fcf76c540d958p-1,
426     -0x1.017098d82f95ep0
427   },
428   { // Entry 82
429     0x1.21c9123e6cbbf812953910371e275dc7p3,
430     0x1.ff77fffffffffp-9,
431     -0x1.21c9107b0e488p3
432   },
433   { // Entry 83
434     0x1.c66addfec91c411f38e2aacb6ea06a91p-3,
435     0x1.ffeffffffffffp-4,
436     -0x1.7777777777774p-3
437   },
438   { // Entry 84
439     0x1.4eb522b24186e8254574c77b5f914855p-1,
440     0x1.ffeffffffffffp-4,
441     0x1.488888888888ap-1
442   },
443   { // Entry 85
444     0x1.002caffe59b0a7feeda747a94b176ccap4,
445     0x1.ffeffffffffffp3,
446     -0x1.4888888888888p-1
447   },
448   { // Entry 86
449     0x1.fff28f6f00e797fec43eb25e08b861abp3,
450     0x1.ffeffffffffffp3,
451     -0x1.99999999a7508p-4
452   },
453   { // Entry 87
454     0x1.00000001fffff7fe0007f00400100ff6p20,
455     0x1.fffffbfffffffp4,
456     0x1.0p20
457   },
458   { // Entry 88
459     0x1.0082de91198ee8170bcff2900895b92ap2,
460     0x1.ffffffffffdffp-3,
461     0x1.0002fffffffdfp2
462   },
463   { // Entry 89
464     0x1.6a09e667f3c5125ab5042ba7be436cbbp-2,
465     0x1.ffffffffffff7p-3,
466     0x1.00000000000c0p-2
467   },
468   { // Entry 90
469     0x1.ffffffffffffb0p500,
470     0x1.ffffffffffffbp500,
471     0x1.ffffffffffffbp-1
472   },
473   { // Entry 91
474     0x1.333574eb66a002798d20bb2ca70862e4p-1,
475     0x1.ffffffffffffep-3,
476     0x1.1745d1745d177p-1
477   },
478   { // Entry 92
479     0x1.745d1745d17557ffffffffffc41ap-3,
480     0x1.ffffffffffffep-28,
481     0x1.745d1745d1750p-3
482   },
483   { // Entry 93
484     0x1.00000000000000007fffffffffffefffp1,
485     0x1.ffffffffffffep-32,
486     -0x1.0p1
487   },
488   { // Entry 94
489     0x1.7777777777780000015d1745d1745c6cp-4,
490     0x1.ffffffffffffep-40,
491     0x1.7777777777780p-4
492   },
493   { // Entry 95
494     0x1.01c5967e49cb581b1ce389659d8f68ecp2,
495     0x1.ffffffffffffep1,
496     -0x1.e2be2be2be2c3p-2
497   },
498   { // Entry 96
499     0x1.0058d424f448e820225d2e7a25abc0ebp4,
500     0x1.ffffffffffffep3,
501     -0x1.aaaaaaaaaaaa8p-1
502   },
503   { // Entry 97
504     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
505     -0x1.0000000000001p0,
506     -0x1.0000000000001p0
507   },
508   { // Entry 98
509     0x1.6a09e667f3bcd459022e5304d10b0412p0,
510     -0x1.0000000000001p0,
511     -0x1.0p0
512   },
513   { // Entry 99
514     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
515     -0x1.0000000000001p0,
516     -0x1.fffffffffffffp-1
517   },
518   { // Entry 100
519     0x1.6a09e667f3bcd459022e5304d10b0412p0,
520     -0x1.0p0,
521     -0x1.0000000000001p0
522   },
523   { // Entry 101
524     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
525     -0x1.0p0,
526     -0x1.0p0
527   },
528   { // Entry 102
529     0x1.6a09e667f3bcc3608b617397f77caac1p0,
530     -0x1.0p0,
531     -0x1.fffffffffffffp-1
532   },
533   { // Entry 103
534     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
535     -0x1.fffffffffffffp-1,
536     -0x1.0000000000001p0
537   },
538   { // Entry 104
539     0x1.6a09e667f3bcc3608b617397f77caac1p0,
540     -0x1.fffffffffffffp-1,
541     -0x1.0p0
542   },
543   { // Entry 105
544     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
545     -0x1.fffffffffffffp-1,
546     -0x1.fffffffffffffp-1
547   },
548   { // Entry 106
549     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
550     -0x1.0000000000001p0,
551     0x1.fffffffffffffp-1
552   },
553   { // Entry 107
554     0x1.6a09e667f3bcd459022e5304d10b0412p0,
555     -0x1.0000000000001p0,
556     0x1.0p0
557   },
558   { // Entry 108
559     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
560     -0x1.0000000000001p0,
561     0x1.0000000000001p0
562   },
563   { // Entry 109
564     0x1.6a09e667f3bcc3608b617397f77caac1p0,
565     -0x1.0p0,
566     0x1.fffffffffffffp-1
567   },
568   { // Entry 110
569     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
570     -0x1.0p0,
571     0x1.0p0
572   },
573   { // Entry 111
574     0x1.6a09e667f3bcd459022e5304d10b0412p0,
575     -0x1.0p0,
576     0x1.0000000000001p0
577   },
578   { // Entry 112
579     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
580     -0x1.fffffffffffffp-1,
581     0x1.fffffffffffffp-1
582   },
583   { // Entry 113
584     0x1.6a09e667f3bcc3608b617397f77caac1p0,
585     -0x1.fffffffffffffp-1,
586     0x1.0p0
587   },
588   { // Entry 114
589     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
590     -0x1.fffffffffffffp-1,
591     0x1.0000000000001p0
592   },
593   { // Entry 115
594     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
595     0x1.fffffffffffffp-1,
596     -0x1.0000000000001p0
597   },
598   { // Entry 116
599     0x1.6a09e667f3bcc3608b617397f77caac1p0,
600     0x1.fffffffffffffp-1,
601     -0x1.0p0
602   },
603   { // Entry 117
604     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
605     0x1.fffffffffffffp-1,
606     -0x1.fffffffffffffp-1
607   },
608   { // Entry 118
609     0x1.6a09e667f3bcd459022e5304d10b0412p0,
610     0x1.0p0,
611     -0x1.0000000000001p0
612   },
613   { // Entry 119
614     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
615     0x1.0p0,
616     -0x1.0p0
617   },
618   { // Entry 120
619     0x1.6a09e667f3bcc3608b617397f77caac1p0,
620     0x1.0p0,
621     -0x1.fffffffffffffp-1
622   },
623   { // Entry 121
624     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
625     0x1.0000000000001p0,
626     -0x1.0000000000001p0
627   },
628   { // Entry 122
629     0x1.6a09e667f3bcd459022e5304d10b0412p0,
630     0x1.0000000000001p0,
631     -0x1.0p0
632   },
633   { // Entry 123
634     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
635     0x1.0000000000001p0,
636     -0x1.fffffffffffffp-1
637   },
638   { // Entry 124
639     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
640     0x1.fffffffffffffp-1,
641     0x1.fffffffffffffp-1
642   },
643   { // Entry 125
644     0x1.6a09e667f3bcc3608b617397f77caac1p0,
645     0x1.fffffffffffffp-1,
646     0x1.0p0
647   },
648   { // Entry 126
649     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
650     0x1.fffffffffffffp-1,
651     0x1.0000000000001p0
652   },
653   { // Entry 127
654     0x1.6a09e667f3bcc3608b617397f77caac1p0,
655     0x1.0p0,
656     0x1.fffffffffffffp-1
657   },
658   { // Entry 128
659     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
660     0x1.0p0,
661     0x1.0p0
662   },
663   { // Entry 129
664     0x1.6a09e667f3bcd459022e5304d10b0412p0,
665     0x1.0p0,
666     0x1.0000000000001p0
667   },
668   { // Entry 130
669     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
670     0x1.0000000000001p0,
671     0x1.fffffffffffffp-1
672   },
673   { // Entry 131
674     0x1.6a09e667f3bcd459022e5304d10b0412p0,
675     0x1.0000000000001p0,
676     0x1.0p0
677   },
678   { // Entry 132
679     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
680     0x1.0000000000001p0,
681     0x1.0000000000001p0
682   },
683   { // Entry 133
684     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
685     -0x1.0p0,
686     -0x1.0p0
687   },
688   { // Entry 134
689     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
690     -0x1.0p0,
691     0x1.0p0
692   },
693   { // Entry 135
694     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
695     0x1.0p0,
696     -0x1.0p0
697   },
698   { // Entry 136
699     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
700     0x1.0p0,
701     0x1.0p0
702   },
703   { // Entry 137
704     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
705     0x1.0p0,
706     0x1.0p0
707   },
708   { // Entry 138
709     0x1.01fe03f61bad04b1068572febc925ad1p3,
710     0x1.0p0,
711     0x1.0p3
712   },
713   { // Entry 139
714     0x1.01fe03f61bad04b1068572febc925ad1p3,
715     0x1.0p3,
716     0x1.0p0
717   },
718   { // Entry 140
719     0x1.6a09e667f3bcc908b2fb1366ea957d3ep3,
720     0x1.0p3,
721     0x1.0p3
722   },
723   { // Entry 141
724     0x1.00001ffffe00003ffff60001bfffacp9,
725     0x1.0p0,
726     0x1.0p9
727   },
728   { // Entry 142
729     0x1.000007ffffe00000fffff600006ffffap10,
730     0x1.0p0,
731     0x1.0p10
732   },
733   { // Entry 143
734     0x1.0007ffe000fff6006ffac041fca62cadp9,
735     0x1.0p3,
736     0x1.0p9
737   },
738   { // Entry 144
739     0x1.0001fffe0003fff6001bffac0107fca6p10,
740     0x1.0p3,
741     0x1.0p10
742   },
743   { // Entry 145
744     0x1.p100,
745     0x1.0p0,
746     0x1.0p100
747   },
748   { // Entry 146
749     0x1.p101,
750     0x1.0p0,
751     0x1.0p101
752   },
753   { // Entry 147
754     0x1.p100,
755     0x1.0p3,
756     0x1.0p100
757   },
758   { // Entry 148
759     0x1.p101,
760     0x1.0p3,
761     0x1.0p101
762   },
763   { // Entry 149
764     0x1.00001ffffe00003ffff60001bfffacp9,
765     0x1.0p9,
766     0x1.0p0
767   },
768   { // Entry 150
769     0x1.0007ffe000fff6006ffac041fca62cadp9,
770     0x1.0p9,
771     0x1.0p3
772   },
773   { // Entry 151
774     0x1.000007ffffe00000fffff600006ffffap10,
775     0x1.0p10,
776     0x1.0p0
777   },
778   { // Entry 152
779     0x1.0001fffe0003fff6001bffac0107fca6p10,
780     0x1.0p10,
781     0x1.0p3
782   },
783   { // Entry 153
784     0x1.6a09e667f3bcc908b2fb1366ea957d3ep9,
785     0x1.0p9,
786     0x1.0p9
787   },
788   { // Entry 154
789     0x1.1e3779b97f4a7c15f39cc0605cedc834p10,
790     0x1.0p9,
791     0x1.0p10
792   },
793   { // Entry 155
794     0x1.1e3779b97f4a7c15f39cc0605cedc834p10,
795     0x1.0p10,
796     0x1.0p9
797   },
798   { // Entry 156
799     0x1.6a09e667f3bcc908b2fb1366ea957d3ep10,
800     0x1.0p10,
801     0x1.0p10
802   },
803   { // Entry 157
804     0x1.p100,
805     0x1.0p9,
806     0x1.0p100
807   },
808   { // Entry 158
809     0x1.p101,
810     0x1.0p9,
811     0x1.0p101
812   },
813   { // Entry 159
814     0x1.p100,
815     0x1.0p10,
816     0x1.0p100
817   },
818   { // Entry 160
819     0x1.p101,
820     0x1.0p10,
821     0x1.0p101
822   },
823   { // Entry 161
824     0x1.p100,
825     0x1.0p100,
826     0x1.0p0
827   },
828   { // Entry 162
829     0x1.p100,
830     0x1.0p100,
831     0x1.0p3
832   },
833   { // Entry 163
834     0x1.p101,
835     0x1.0p101,
836     0x1.0p0
837   },
838   { // Entry 164
839     0x1.p101,
840     0x1.0p101,
841     0x1.0p3
842   },
843   { // Entry 165
844     0x1.p100,
845     0x1.0p100,
846     0x1.0p9
847   },
848   { // Entry 166
849     0x1.p100,
850     0x1.0p100,
851     0x1.0p10
852   },
853   { // Entry 167
854     0x1.p101,
855     0x1.0p101,
856     0x1.0p9
857   },
858   { // Entry 168
859     0x1.p101,
860     0x1.0p101,
861     0x1.0p10
862   },
863   { // Entry 169
864     0x1.6a09e667f3bcc908b2fb1366ea957d3ep100,
865     0x1.0p100,
866     0x1.0p100
867   },
868   { // Entry 170
869     0x1.1e3779b97f4a7c15f39cc0605cedc834p101,
870     0x1.0p100,
871     0x1.0p101
872   },
873   { // Entry 171
874     0x1.1e3779b97f4a7c15f39cc0605cedc834p101,
875     0x1.0p101,
876     0x1.0p100
877   },
878   { // Entry 172
879     0x1.6a09e667f3bcc908b2fb1366ea957d3ep101,
880     0x1.0p101,
881     0x1.0p101
882   },
883   { // Entry 173
884     0x1.ad5336963eefa83d75cf889be3a34d14p2,
885     0x1.7ffffffffffffp2,
886     0x1.7ffffffffffffp1
887   },
888   { // Entry 174
889     0x1.ad5336963eefabd15a8840999ed93d89p2,
890     0x1.7ffffffffffffp2,
891     0x1.8p1
892   },
893   { // Entry 175
894     0x1.ad5336963eefaf653f40f8975a2db59ep2,
895     0x1.7ffffffffffffp2,
896     0x1.8000000000001p1
897   },
898   { // Entry 176
899     0x1.ad5336963eefb68d08b26892d04d4378p2,
900     0x1.8p2,
901     0x1.7ffffffffffffp1
902   },
903   { // Entry 177
904     0x1.ad5336963eefba20ed6b20908b64ac4ep2,
905     0x1.8p2,
906     0x1.8p1
907   },
908   { // Entry 178
909     0x1.ad5336963eefbdb4d223d88e469a9cc3p2,
910     0x1.8p2,
911     0x1.8000000000001p1
912   },
913   { // Entry 179
914     0x1.ad5336963eefc4dc9b954889bd15c17dp2,
915     0x1.8000000000001p2,
916     0x1.7ffffffffffffp1
917   },
918   { // Entry 180
919     0x1.ad5336963eefc870804e0087780ea2b2p2,
920     0x1.8000000000001p2,
921     0x1.8p1
922   },
923   { // Entry 181
924     0x1.ad5336963eefcc046506b88533260b87p2,
925     0x1.8000000000001p2,
926     0x1.8000000000001p1
927   },
928   { // Entry 182
929     0x1.fffffffffffff0p1023,
930     0x1.fffffffffffffp1023,
931     0.0
932   },
933   { // Entry 183
934     0x1.6a09e667f3bc9bc7762e14ef517466dep-1022,
935     0x1.ffffffffffffcp-1023,
936     0x1.ffffffffffffcp-1023
937   },
938   { // Entry 184
939     0x1.6a09e667f3bca717c561548d37e9edb3p-1022,
940     0x1.ffffffffffffcp-1023,
941     0x1.ffffffffffffep-1023
942   },
943   { // Entry 185
944     0x1.6a09e667f3bcb2681494942b1eb9f701p-1022,
945     0x1.ffffffffffffcp-1023,
946     0x1.0p-1022
947   },
948   { // Entry 186
949     0x1.6a09e667f3bca717c561548d37e9edb3p-1022,
950     0x1.ffffffffffffep-1023,
951     0x1.ffffffffffffcp-1023
952   },
953   { // Entry 187
954     0x1.6a09e667f3bcb2681494942b1e04f20ep-1022,
955     0x1.ffffffffffffep-1023,
956     0x1.ffffffffffffep-1023
957   },
958   { // Entry 188
959     0x1.6a09e667f3bcbdb863c7d3c9047a78e3p-1022,
960     0x1.ffffffffffffep-1023,
961     0x1.0p-1022
962   },
963   { // Entry 189
964     0x1.6a09e667f3bcb2681494942b1eb9f701p-1022,
965     0x1.0p-1022,
966     0x1.ffffffffffffcp-1023
967   },
968   { // Entry 190
969     0x1.6a09e667f3bcbdb863c7d3c9047a78e3p-1022,
970     0x1.0p-1022,
971     0x1.ffffffffffffep-1023
972   },
973   { // Entry 191
974     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1022,
975     0x1.0p-1022,
976     0x1.0p-1022
977   },
978   { // Entry 192
979     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
980     0x1.0p-1074,
981     0x1.0p-1074
982   },
983   { // Entry 193
984     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p512,
985     0x1.fffffffffffffp511,
986     0x1.fffffffffffffp511
987   },
988   { // Entry 194
989     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p512,
990     0x1.fffffffffffffp511,
991     0x1.fffffffffffffp511
992   },
993   { // Entry 195
994     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p501,
995     0x1.fffffffffffffp500,
996     0x1.fffffffffffffp500
997   },
998   { // Entry 196
999     0x1.6a09e667f3bcc3608b617397f77caac1p501,
1000     0x1.fffffffffffffp500,
1001     0x1.0p501
1002   },
1003   { // Entry 197
1004     0x1.6a09e667f3bcceb0da94b335de1f72d2p501,
1005     0x1.fffffffffffffp500,
1006     0x1.0000000000001p501
1007   },
1008   { // Entry 198
1009     0x1.6a09e667f3bcc3608b617397f77caac1p501,
1010     0x1.0p501,
1011     0x1.fffffffffffffp500
1012   },
1013   { // Entry 199
1014     0x1.6a09e667f3bcc908b2fb1366ea957d3ep501,
1015     0x1.0p501,
1016     0x1.0p501
1017   },
1018   { // Entry 200
1019     0x1.6a09e667f3bcd459022e5304d10b0412p501,
1020     0x1.0p501,
1021     0x1.0000000000001p501
1022   },
1023   { // Entry 201
1024     0x1.6a09e667f3bcceb0da94b335de1f72d2p501,
1025     0x1.0000000000001p501,
1026     0x1.fffffffffffffp500
1027   },
1028   { // Entry 202
1029     0x1.6a09e667f3bcd459022e5304d10b0412p501,
1030     0x1.0000000000001p501,
1031     0x1.0p501
1032   },
1033   { // Entry 203
1034     0x1.6a09e667f3bcdfa9516192a2b726086dp501,
1035     0x1.0000000000001p501,
1036     0x1.0000000000001p501
1037   },
1038   { // Entry 204
1039     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-501,
1040     0x1.fffffffffffffp-502,
1041     0x1.fffffffffffffp-502
1042   },
1043   { // Entry 205
1044     0x1.6a09e667f3bcc3608b617397f77caac1p-501,
1045     0x1.fffffffffffffp-502,
1046     0x1.0p-501
1047   },
1048   { // Entry 206
1049     0x1.6a09e667f3bcceb0da94b335de1f72d2p-501,
1050     0x1.fffffffffffffp-502,
1051     0x1.0000000000001p-501
1052   },
1053   { // Entry 207
1054     0x1.6a09e667f3bcc3608b617397f77caac1p-501,
1055     0x1.0p-501,
1056     0x1.fffffffffffffp-502
1057   },
1058   { // Entry 208
1059     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-501,
1060     0x1.0p-501,
1061     0x1.0p-501
1062   },
1063   { // Entry 209
1064     0x1.6a09e667f3bcd459022e5304d10b0412p-501,
1065     0x1.0p-501,
1066     0x1.0000000000001p-501
1067   },
1068   { // Entry 210
1069     0x1.6a09e667f3bcceb0da94b335de1f72d2p-501,
1070     0x1.0000000000001p-501,
1071     0x1.fffffffffffffp-502
1072   },
1073   { // Entry 211
1074     0x1.6a09e667f3bcd459022e5304d10b0412p-501,
1075     0x1.0000000000001p-501,
1076     0x1.0p-501
1077   },
1078   { // Entry 212
1079     0x1.6a09e667f3bcdfa9516192a2b726086dp-501,
1080     0x1.0000000000001p-501,
1081     0x1.0000000000001p-501
1082   },
1083   { // Entry 213
1084     0x1.fffffffffffff0p500,
1085     0x1.fffffffffffffp500,
1086     0x1.fffffffffffffp-502
1087   },
1088   { // Entry 214
1089     0x1.fffffffffffff0p500,
1090     0x1.fffffffffffffp500,
1091     0x1.0p-501
1092   },
1093   { // Entry 215
1094     0x1.fffffffffffff0p500,
1095     0x1.fffffffffffffp500,
1096     0x1.0000000000001p-501
1097   },
1098   { // Entry 216
1099     0x1.p501,
1100     0x1.0p501,
1101     0x1.fffffffffffffp-502
1102   },
1103   { // Entry 217
1104     0x1.p501,
1105     0x1.0p501,
1106     0x1.0p-501
1107   },
1108   { // Entry 218
1109     0x1.p501,
1110     0x1.0p501,
1111     0x1.0000000000001p-501
1112   },
1113   { // Entry 219
1114     0x1.00000000000010p501,
1115     0x1.0000000000001p501,
1116     0x1.fffffffffffffp-502
1117   },
1118   { // Entry 220
1119     0x1.00000000000010p501,
1120     0x1.0000000000001p501,
1121     0x1.0p-501
1122   },
1123   { // Entry 221
1124     0x1.00000000000010p501,
1125     0x1.0000000000001p501,
1126     0x1.0000000000001p-501
1127   },
1128   { // Entry 222
1129     0x1.fffffffffffff0p500,
1130     0x1.fffffffffffffp500,
1131     -0x1.0p-1074
1132   },
1133   { // Entry 223
1134     0x1.fffffffffffff0p500,
1135     0x1.fffffffffffffp500,
1136     -0.0
1137   },
1138   { // Entry 224
1139     0x1.fffffffffffff0p500,
1140     0x1.fffffffffffffp500,
1141     0x1.0p-1074
1142   },
1143   { // Entry 225
1144     0x1.p501,
1145     0x1.0p501,
1146     -0x1.0p-1074
1147   },
1148   { // Entry 226
1149     0x1.p501,
1150     0x1.0p501,
1151     -0.0
1152   },
1153   { // Entry 227
1154     0x1.p501,
1155     0x1.0p501,
1156     0x1.0p-1074
1157   },
1158   { // Entry 228
1159     0x1.00000000000010p501,
1160     0x1.0000000000001p501,
1161     -0x1.0p-1074
1162   },
1163   { // Entry 229
1164     0x1.00000000000010p501,
1165     0x1.0000000000001p501,
1166     -0.0
1167   },
1168   { // Entry 230
1169     0x1.00000000000010p501,
1170     0x1.0000000000001p501,
1171     0x1.0p-1074
1172   },
1173   { // Entry 231
1174     0x1.fffffffffffff0p-502,
1175     0x1.fffffffffffffp-502,
1176     -0x1.0p-1074
1177   },
1178   { // Entry 232
1179     0x1.fffffffffffff0p-502,
1180     0x1.fffffffffffffp-502,
1181     -0.0
1182   },
1183   { // Entry 233
1184     0x1.fffffffffffff0p-502,
1185     0x1.fffffffffffffp-502,
1186     0x1.0p-1074
1187   },
1188   { // Entry 234
1189     0x1.p-501,
1190     0x1.0p-501,
1191     -0x1.0p-1074
1192   },
1193   { // Entry 235
1194     0x1.p-501,
1195     0x1.0p-501,
1196     -0.0
1197   },
1198   { // Entry 236
1199     0x1.p-501,
1200     0x1.0p-501,
1201     0x1.0p-1074
1202   },
1203   { // Entry 237
1204     0x1.00000000000010p-501,
1205     0x1.0000000000001p-501,
1206     -0x1.0p-1074
1207   },
1208   { // Entry 238
1209     0x1.00000000000010p-501,
1210     0x1.0000000000001p-501,
1211     -0.0
1212   },
1213   { // Entry 239
1214     0x1.00000000000010p-501,
1215     0x1.0000000000001p-501,
1216     0x1.0p-1074
1217   },
1218   { // Entry 240
1219     0x1.fffffffffffff0p500,
1220     0x1.fffffffffffffp500,
1221     0x1.fffffffffffffp-1
1222   },
1223   { // Entry 241
1224     0x1.fffffffffffff0p500,
1225     0x1.fffffffffffffp500,
1226     0x1.0p0
1227   },
1228   { // Entry 242
1229     0x1.fffffffffffff0p500,
1230     0x1.fffffffffffffp500,
1231     0x1.0000000000001p0
1232   },
1233   { // Entry 243
1234     0x1.p501,
1235     0x1.0p501,
1236     0x1.fffffffffffffp-1
1237   },
1238   { // Entry 244
1239     0x1.p501,
1240     0x1.0p501,
1241     0x1.0p0
1242   },
1243   { // Entry 245
1244     0x1.p501,
1245     0x1.0p501,
1246     0x1.0000000000001p0
1247   },
1248   { // Entry 246
1249     0x1.00000000000010p501,
1250     0x1.0000000000001p501,
1251     0x1.fffffffffffffp-1
1252   },
1253   { // Entry 247
1254     0x1.00000000000010p501,
1255     0x1.0000000000001p501,
1256     0x1.0p0
1257   },
1258   { // Entry 248
1259     0x1.00000000000010p501,
1260     0x1.0000000000001p501,
1261     0x1.0000000000001p0
1262   },
1263   { // Entry 249
1264     0x1.fffffffffffff0p-1,
1265     0x1.fffffffffffffp-502,
1266     0x1.fffffffffffffp-1
1267   },
1268   { // Entry 250
1269     0x1.p0,
1270     0x1.fffffffffffffp-502,
1271     0x1.0p0
1272   },
1273   { // Entry 251
1274     0x1.00000000000010p0,
1275     0x1.fffffffffffffp-502,
1276     0x1.0000000000001p0
1277   },
1278   { // Entry 252
1279     0x1.fffffffffffff0p-1,
1280     0x1.0p-501,
1281     0x1.fffffffffffffp-1
1282   },
1283   { // Entry 253
1284     0x1.p0,
1285     0x1.0p-501,
1286     0x1.0p0
1287   },
1288   { // Entry 254
1289     0x1.00000000000010p0,
1290     0x1.0p-501,
1291     0x1.0000000000001p0
1292   },
1293   { // Entry 255
1294     0x1.fffffffffffff0p-1,
1295     0x1.0000000000001p-501,
1296     0x1.fffffffffffffp-1
1297   },
1298   { // Entry 256
1299     0x1.p0,
1300     0x1.0000000000001p-501,
1301     0x1.0p0
1302   },
1303   { // Entry 257
1304     0x1.00000000000010p0,
1305     0x1.0000000000001p-501,
1306     0x1.0000000000001p0
1307   },
1308   { // Entry 258
1309     0x1.fffffffffffff000000000000fffffffp49,
1310     0x1.fffffffffffffp49,
1311     0x1.fffffffffffffp-1
1312   },
1313   { // Entry 259
1314     0x1.fffffffffffff0000000000010p49,
1315     0x1.fffffffffffffp49,
1316     0x1.0p0
1317   },
1318   { // Entry 260
1319     0x1.fffffffffffff0000000000010p49,
1320     0x1.fffffffffffffp49,
1321     0x1.0000000000001p0
1322   },
1323   { // Entry 261
1324     0x1.00000000000000000000000007ffffffp50,
1325     0x1.0p50,
1326     0x1.fffffffffffffp-1
1327   },
1328   { // Entry 262
1329     0x1.00000000000000000000000007ffffffp50,
1330     0x1.0p50,
1331     0x1.0p0
1332   },
1333   { // Entry 263
1334     0x1.00000000000000000000000008p50,
1335     0x1.0p50,
1336     0x1.0000000000001p0
1337   },
1338   { // Entry 264
1339     0x1.00000000000010000000000007ffffffp50,
1340     0x1.0000000000001p50,
1341     0x1.fffffffffffffp-1
1342   },
1343   { // Entry 265
1344     0x1.00000000000010000000000007ffffffp50,
1345     0x1.0000000000001p50,
1346     0x1.0p0
1347   },
1348   { // Entry 266
1349     0x1.00000000000010000000000008p50,
1350     0x1.0000000000001p50,
1351     0x1.0000000000001p0
1352   },
1353   { // Entry 267
1354     0x1.fffffffffffff0000000000003ffffffp50,
1355     0x1.fffffffffffffp50,
1356     0x1.fffffffffffffp-1
1357   },
1358   { // Entry 268
1359     0x1.fffffffffffff0000000000004p50,
1360     0x1.fffffffffffffp50,
1361     0x1.0p0
1362   },
1363   { // Entry 269
1364     0x1.fffffffffffff0000000000004p50,
1365     0x1.fffffffffffffp50,
1366     0x1.0000000000001p0
1367   },
1368   { // Entry 270
1369     0x1.00000000000000000000000001ffffffp51,
1370     0x1.0p51,
1371     0x1.fffffffffffffp-1
1372   },
1373   { // Entry 271
1374     0x1.00000000000000000000000001ffffffp51,
1375     0x1.0p51,
1376     0x1.0p0
1377   },
1378   { // Entry 272
1379     0x1.00000000000000000000000002p51,
1380     0x1.0p51,
1381     0x1.0000000000001p0
1382   },
1383   { // Entry 273
1384     0x1.00000000000010000000000001ffffffp51,
1385     0x1.0000000000001p51,
1386     0x1.fffffffffffffp-1
1387   },
1388   { // Entry 274
1389     0x1.00000000000010000000000001ffffffp51,
1390     0x1.0000000000001p51,
1391     0x1.0p0
1392   },
1393   { // Entry 275
1394     0x1.00000000000010000000000002p51,
1395     0x1.0000000000001p51,
1396     0x1.0000000000001p0
1397   },
1398   { // Entry 276
1399     0x1.fffffffffffff0000000000000ffffffp51,
1400     0x1.fffffffffffffp51,
1401     0x1.fffffffffffffp-1
1402   },
1403   { // Entry 277
1404     0x1.fffffffffffff0000000000001p51,
1405     0x1.fffffffffffffp51,
1406     0x1.0p0
1407   },
1408   { // Entry 278
1409     0x1.fffffffffffff0000000000001p51,
1410     0x1.fffffffffffffp51,
1411     0x1.0000000000001p0
1412   },
1413   { // Entry 279
1414     0x1.000000000000000000000000007fffffp52,
1415     0x1.0p52,
1416     0x1.fffffffffffffp-1
1417   },
1418   { // Entry 280
1419     0x1.000000000000000000000000007fffffp52,
1420     0x1.0p52,
1421     0x1.0p0
1422   },
1423   { // Entry 281
1424     0x1.0000000000000000000000000080p52,
1425     0x1.0p52,
1426     0x1.0000000000001p0
1427   },
1428   { // Entry 282
1429     0x1.000000000000100000000000007fffffp52,
1430     0x1.0000000000001p52,
1431     0x1.fffffffffffffp-1
1432   },
1433   { // Entry 283
1434     0x1.000000000000100000000000007fffffp52,
1435     0x1.0000000000001p52,
1436     0x1.0p0
1437   },
1438   { // Entry 284
1439     0x1.0000000000001000000000000080p52,
1440     0x1.0000000000001p52,
1441     0x1.0000000000001p0
1442   },
1443   { // Entry 285
1444     0x1.fffffffffffff00000000000003fffffp52,
1445     0x1.fffffffffffffp52,
1446     0x1.fffffffffffffp-1
1447   },
1448   { // Entry 286
1449     0x1.fffffffffffff000000000000040p52,
1450     0x1.fffffffffffffp52,
1451     0x1.0p0
1452   },
1453   { // Entry 287
1454     0x1.fffffffffffff000000000000040p52,
1455     0x1.fffffffffffffp52,
1456     0x1.0000000000001p0
1457   },
1458   { // Entry 288
1459     0x1.000000000000000000000000001fffffp53,
1460     0x1.0p53,
1461     0x1.fffffffffffffp-1
1462   },
1463   { // Entry 289
1464     0x1.000000000000000000000000001fffffp53,
1465     0x1.0p53,
1466     0x1.0p0
1467   },
1468   { // Entry 290
1469     0x1.0000000000000000000000000020p53,
1470     0x1.0p53,
1471     0x1.0000000000001p0
1472   },
1473   { // Entry 291
1474     0x1.000000000000100000000000001fffffp53,
1475     0x1.0000000000001p53,
1476     0x1.fffffffffffffp-1
1477   },
1478   { // Entry 292
1479     0x1.000000000000100000000000001fffffp53,
1480     0x1.0000000000001p53,
1481     0x1.0p0
1482   },
1483   { // Entry 293
1484     0x1.0000000000001000000000000020p53,
1485     0x1.0000000000001p53,
1486     0x1.0000000000001p0
1487   },
1488   { // Entry 294
1489     0x1.fffffffffffff00000000000000fffffp53,
1490     0x1.fffffffffffffp53,
1491     0x1.fffffffffffffp-1
1492   },
1493   { // Entry 295
1494     0x1.fffffffffffff000000000000010p53,
1495     0x1.fffffffffffffp53,
1496     0x1.0p0
1497   },
1498   { // Entry 296
1499     0x1.fffffffffffff000000000000010p53,
1500     0x1.fffffffffffffp53,
1501     0x1.0000000000001p0
1502   },
1503   { // Entry 297
1504     0x1.0000000000000000000000000007ffffp54,
1505     0x1.0p54,
1506     0x1.fffffffffffffp-1
1507   },
1508   { // Entry 298
1509     0x1.0000000000000000000000000007ffffp54,
1510     0x1.0p54,
1511     0x1.0p0
1512   },
1513   { // Entry 299
1514     0x1.0000000000000000000000000008p54,
1515     0x1.0p54,
1516     0x1.0000000000001p0
1517   },
1518   { // Entry 300
1519     0x1.0000000000001000000000000007ffffp54,
1520     0x1.0000000000001p54,
1521     0x1.fffffffffffffp-1
1522   },
1523   { // Entry 301
1524     0x1.0000000000001000000000000007ffffp54,
1525     0x1.0000000000001p54,
1526     0x1.0p0
1527   },
1528   { // Entry 302
1529     0x1.0000000000001000000000000008p54,
1530     0x1.0000000000001p54,
1531     0x1.0000000000001p0
1532   },
1533   { // Entry 303
1534     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-500,
1535     0x1.fffffffffffffp-501,
1536     0x1.fffffffffffffp-501
1537   },
1538   { // Entry 304
1539     0x1.6a09e667f3bcc3608b617397f77caac1p-500,
1540     0x1.fffffffffffffp-501,
1541     0x1.0p-500
1542   },
1543   { // Entry 305
1544     0x1.6a09e667f3bcceb0da94b335de1f72d2p-500,
1545     0x1.fffffffffffffp-501,
1546     0x1.0000000000001p-500
1547   },
1548   { // Entry 306
1549     0x1.6a09e667f3bcc3608b617397f77caac1p-500,
1550     0x1.0p-500,
1551     0x1.fffffffffffffp-501
1552   },
1553   { // Entry 307
1554     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-500,
1555     0x1.0p-500,
1556     0x1.0p-500
1557   },
1558   { // Entry 308
1559     0x1.6a09e667f3bcd459022e5304d10b0412p-500,
1560     0x1.0p-500,
1561     0x1.0000000000001p-500
1562   },
1563   { // Entry 309
1564     0x1.6a09e667f3bcceb0da94b335de1f72d2p-500,
1565     0x1.0000000000001p-500,
1566     0x1.fffffffffffffp-501
1567   },
1568   { // Entry 310
1569     0x1.6a09e667f3bcd459022e5304d10b0412p-500,
1570     0x1.0000000000001p-500,
1571     0x1.0p-500
1572   },
1573   { // Entry 311
1574     0x1.6a09e667f3bcdfa9516192a2b726086dp-500,
1575     0x1.0000000000001p-500,
1576     0x1.0000000000001p-500
1577   },
1578   { // Entry 312
1579     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-60,
1580     0x1.fffffffffffffp-61,
1581     0x1.fffffffffffffp-61
1582   },
1583   { // Entry 313
1584     0x1.6a09e667f3bcc3608b617397f77caac1p-60,
1585     0x1.fffffffffffffp-61,
1586     0x1.0p-60
1587   },
1588   { // Entry 314
1589     0x1.6a09e667f3bcceb0da94b335de1f72d2p-60,
1590     0x1.fffffffffffffp-61,
1591     0x1.0000000000001p-60
1592   },
1593   { // Entry 315
1594     0x1.6a09e667f3bcc3608b617397f77caac1p-60,
1595     0x1.0p-60,
1596     0x1.fffffffffffffp-61
1597   },
1598   { // Entry 316
1599     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-60,
1600     0x1.0p-60,
1601     0x1.0p-60
1602   },
1603   { // Entry 317
1604     0x1.6a09e667f3bcd459022e5304d10b0412p-60,
1605     0x1.0p-60,
1606     0x1.0000000000001p-60
1607   },
1608   { // Entry 318
1609     0x1.6a09e667f3bcceb0da94b335de1f72d2p-60,
1610     0x1.0000000000001p-60,
1611     0x1.fffffffffffffp-61
1612   },
1613   { // Entry 319
1614     0x1.6a09e667f3bcd459022e5304d10b0412p-60,
1615     0x1.0000000000001p-60,
1616     0x1.0p-60
1617   },
1618   { // Entry 320
1619     0x1.6a09e667f3bcdfa9516192a2b726086dp-60,
1620     0x1.0000000000001p-60,
1621     0x1.0000000000001p-60
1622   },
1623   { // Entry 321
1624     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-10,
1625     0x1.fffffffffffffp-11,
1626     0x1.fffffffffffffp-11
1627   },
1628   { // Entry 322
1629     0x1.6a09e667f3bcc3608b617397f77caac1p-10,
1630     0x1.fffffffffffffp-11,
1631     0x1.0p-10
1632   },
1633   { // Entry 323
1634     0x1.6a09e667f3bcceb0da94b335de1f72d2p-10,
1635     0x1.fffffffffffffp-11,
1636     0x1.0000000000001p-10
1637   },
1638   { // Entry 324
1639     0x1.6a09e667f3bcc3608b617397f77caac1p-10,
1640     0x1.0p-10,
1641     0x1.fffffffffffffp-11
1642   },
1643   { // Entry 325
1644     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-10,
1645     0x1.0p-10,
1646     0x1.0p-10
1647   },
1648   { // Entry 326
1649     0x1.6a09e667f3bcd459022e5304d10b0412p-10,
1650     0x1.0p-10,
1651     0x1.0000000000001p-10
1652   },
1653   { // Entry 327
1654     0x1.6a09e667f3bcceb0da94b335de1f72d2p-10,
1655     0x1.0000000000001p-10,
1656     0x1.fffffffffffffp-11
1657   },
1658   { // Entry 328
1659     0x1.6a09e667f3bcd459022e5304d10b0412p-10,
1660     0x1.0000000000001p-10,
1661     0x1.0p-10
1662   },
1663   { // Entry 329
1664     0x1.6a09e667f3bcdfa9516192a2b726086dp-10,
1665     0x1.0000000000001p-10,
1666     0x1.0000000000001p-10
1667   },
1668   { // Entry 330
1669     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-1,
1670     0x1.fffffffffffffp-2,
1671     0x1.fffffffffffffp-2
1672   },
1673   { // Entry 331
1674     0x1.6a09e667f3bcc3608b617397f77caac1p-1,
1675     0x1.fffffffffffffp-2,
1676     0x1.0p-1
1677   },
1678   { // Entry 332
1679     0x1.6a09e667f3bcceb0da94b335de1f72d2p-1,
1680     0x1.fffffffffffffp-2,
1681     0x1.0000000000001p-1
1682   },
1683   { // Entry 333
1684     0x1.6a09e667f3bcc3608b617397f77caac1p-1,
1685     0x1.0p-1,
1686     0x1.fffffffffffffp-2
1687   },
1688   { // Entry 334
1689     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1,
1690     0x1.0p-1,
1691     0x1.0p-1
1692   },
1693   { // Entry 335
1694     0x1.6a09e667f3bcd459022e5304d10b0412p-1,
1695     0x1.0p-1,
1696     0x1.0000000000001p-1
1697   },
1698   { // Entry 336
1699     0x1.6a09e667f3bcceb0da94b335de1f72d2p-1,
1700     0x1.0000000000001p-1,
1701     0x1.fffffffffffffp-2
1702   },
1703   { // Entry 337
1704     0x1.6a09e667f3bcd459022e5304d10b0412p-1,
1705     0x1.0000000000001p-1,
1706     0x1.0p-1
1707   },
1708   { // Entry 338
1709     0x1.6a09e667f3bcdfa9516192a2b726086dp-1,
1710     0x1.0000000000001p-1,
1711     0x1.0000000000001p-1
1712   },
1713   { // Entry 339
1714     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p1,
1715     0x1.fffffffffffffp0,
1716     0x1.fffffffffffffp0
1717   },
1718   { // Entry 340
1719     0x1.6a09e667f3bcc3608b617397f77caac1p1,
1720     0x1.fffffffffffffp0,
1721     0x1.0p1
1722   },
1723   { // Entry 341
1724     0x1.6a09e667f3bcceb0da94b335de1f72d2p1,
1725     0x1.fffffffffffffp0,
1726     0x1.0000000000001p1
1727   },
1728   { // Entry 342
1729     0x1.6a09e667f3bcc3608b617397f77caac1p1,
1730     0x1.0p1,
1731     0x1.fffffffffffffp0
1732   },
1733   { // Entry 343
1734     0x1.6a09e667f3bcc908b2fb1366ea957d3ep1,
1735     0x1.0p1,
1736     0x1.0p1
1737   },
1738   { // Entry 344
1739     0x1.6a09e667f3bcd459022e5304d10b0412p1,
1740     0x1.0p1,
1741     0x1.0000000000001p1
1742   },
1743   { // Entry 345
1744     0x1.6a09e667f3bcceb0da94b335de1f72d2p1,
1745     0x1.0000000000001p1,
1746     0x1.fffffffffffffp0
1747   },
1748   { // Entry 346
1749     0x1.6a09e667f3bcd459022e5304d10b0412p1,
1750     0x1.0000000000001p1,
1751     0x1.0p1
1752   },
1753   { // Entry 347
1754     0x1.6a09e667f3bcdfa9516192a2b726086dp1,
1755     0x1.0000000000001p1,
1756     0x1.0000000000001p1
1757   },
1758   { // Entry 348
1759     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p10,
1760     0x1.fffffffffffffp9,
1761     0x1.fffffffffffffp9
1762   },
1763   { // Entry 349
1764     0x1.6a09e667f3bcc3608b617397f77caac1p10,
1765     0x1.fffffffffffffp9,
1766     0x1.0p10
1767   },
1768   { // Entry 350
1769     0x1.6a09e667f3bcceb0da94b335de1f72d2p10,
1770     0x1.fffffffffffffp9,
1771     0x1.0000000000001p10
1772   },
1773   { // Entry 351
1774     0x1.6a09e667f3bcc3608b617397f77caac1p10,
1775     0x1.0p10,
1776     0x1.fffffffffffffp9
1777   },
1778   { // Entry 352
1779     0x1.6a09e667f3bcc908b2fb1366ea957d3ep10,
1780     0x1.0p10,
1781     0x1.0p10
1782   },
1783   { // Entry 353
1784     0x1.6a09e667f3bcd459022e5304d10b0412p10,
1785     0x1.0p10,
1786     0x1.0000000000001p10
1787   },
1788   { // Entry 354
1789     0x1.6a09e667f3bcceb0da94b335de1f72d2p10,
1790     0x1.0000000000001p10,
1791     0x1.fffffffffffffp9
1792   },
1793   { // Entry 355
1794     0x1.6a09e667f3bcd459022e5304d10b0412p10,
1795     0x1.0000000000001p10,
1796     0x1.0p10
1797   },
1798   { // Entry 356
1799     0x1.6a09e667f3bcdfa9516192a2b726086dp10,
1800     0x1.0000000000001p10,
1801     0x1.0000000000001p10
1802   },
1803   { // Entry 357
1804     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p60,
1805     0x1.fffffffffffffp59,
1806     0x1.fffffffffffffp59
1807   },
1808   { // Entry 358
1809     0x1.6a09e667f3bcc3608b617397f77caac1p60,
1810     0x1.fffffffffffffp59,
1811     0x1.0p60
1812   },
1813   { // Entry 359
1814     0x1.6a09e667f3bcceb0da94b335de1f72d2p60,
1815     0x1.fffffffffffffp59,
1816     0x1.0000000000001p60
1817   },
1818   { // Entry 360
1819     0x1.6a09e667f3bcc3608b617397f77caac1p60,
1820     0x1.0p60,
1821     0x1.fffffffffffffp59
1822   },
1823   { // Entry 361
1824     0x1.6a09e667f3bcc908b2fb1366ea957d3ep60,
1825     0x1.0p60,
1826     0x1.0p60
1827   },
1828   { // Entry 362
1829     0x1.6a09e667f3bcd459022e5304d10b0412p60,
1830     0x1.0p60,
1831     0x1.0000000000001p60
1832   },
1833   { // Entry 363
1834     0x1.6a09e667f3bcceb0da94b335de1f72d2p60,
1835     0x1.0000000000001p60,
1836     0x1.fffffffffffffp59
1837   },
1838   { // Entry 364
1839     0x1.6a09e667f3bcd459022e5304d10b0412p60,
1840     0x1.0000000000001p60,
1841     0x1.0p60
1842   },
1843   { // Entry 365
1844     0x1.6a09e667f3bcdfa9516192a2b726086dp60,
1845     0x1.0000000000001p60,
1846     0x1.0000000000001p60
1847   },
1848   { // Entry 366
1849     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p500,
1850     0x1.fffffffffffffp499,
1851     0x1.fffffffffffffp499
1852   },
1853   { // Entry 367
1854     0x1.6a09e667f3bcc3608b617397f77caac1p500,
1855     0x1.fffffffffffffp499,
1856     0x1.0p500
1857   },
1858   { // Entry 368
1859     0x1.6a09e667f3bcceb0da94b335de1f72d2p500,
1860     0x1.fffffffffffffp499,
1861     0x1.0000000000001p500
1862   },
1863   { // Entry 369
1864     0x1.6a09e667f3bcc3608b617397f77caac1p500,
1865     0x1.0p500,
1866     0x1.fffffffffffffp499
1867   },
1868   { // Entry 370
1869     0x1.6a09e667f3bcc908b2fb1366ea957d3ep500,
1870     0x1.0p500,
1871     0x1.0p500
1872   },
1873   { // Entry 371
1874     0x1.6a09e667f3bcd459022e5304d10b0412p500,
1875     0x1.0p500,
1876     0x1.0000000000001p500
1877   },
1878   { // Entry 372
1879     0x1.6a09e667f3bcceb0da94b335de1f72d2p500,
1880     0x1.0000000000001p500,
1881     0x1.fffffffffffffp499
1882   },
1883   { // Entry 373
1884     0x1.6a09e667f3bcd459022e5304d10b0412p500,
1885     0x1.0000000000001p500,
1886     0x1.0p500
1887   },
1888   { // Entry 374
1889     0x1.6a09e667f3bcdfa9516192a2b726086dp500,
1890     0x1.0000000000001p500,
1891     0x1.0000000000001p500
1892   },
1893   { // Entry 375
1894     0x1.fffffffffffff0p1022,
1895     0x1.fffffffffffffp1022,
1896     0x1.fffffffffffffp-1
1897   },
1898   { // Entry 376
1899     0x1.fffffffffffff0p1022,
1900     0x1.fffffffffffffp1022,
1901     0x1.0p0
1902   },
1903   { // Entry 377
1904     0x1.fffffffffffff0p1022,
1905     0x1.fffffffffffffp1022,
1906     0x1.0000000000001p0
1907   },
1908   { // Entry 378
1909     0x1.p1023,
1910     0x1.0p1023,
1911     0x1.fffffffffffffp-1
1912   },
1913   { // Entry 379
1914     0x1.p1023,
1915     0x1.0p1023,
1916     0x1.0p0
1917   },
1918   { // Entry 380
1919     0x1.p1023,
1920     0x1.0p1023,
1921     0x1.0000000000001p0
1922   },
1923   { // Entry 381
1924     0x1.00000000000010p1023,
1925     0x1.0000000000001p1023,
1926     0x1.fffffffffffffp-1
1927   },
1928   { // Entry 382
1929     0x1.00000000000010p1023,
1930     0x1.0000000000001p1023,
1931     0x1.0p0
1932   },
1933   { // Entry 383
1934     0x1.00000000000010p1023,
1935     0x1.0000000000001p1023,
1936     0x1.0000000000001p0
1937   },
1938   { // Entry 384
1939     0x1.778d27690518c71d8d4d782889fc1c38p-27,
1940     0x1.00a436e9442ebp-27,
1941     0x1.122dc42e12482p-27
1942   },
1943   { // Entry 385
1944     0x1.778d27690518d2cbeb1e43a94a18dcbbp-27,
1945     0x1.00a436e9442ebp-27,
1946     0x1.122dc42e12483p-27
1947   },
1948   { // Entry 386
1949     0x1.778d27690518de7a48ef0f2a0a871bb3p-27,
1950     0x1.00a436e9442ebp-27,
1951     0x1.122dc42e12484p-27
1952   },
1953   { // Entry 387
1954     0x1.778d27690518d20ca53cbc1df3f2eff8p-27,
1955     0x1.00a436e9442ecp-27,
1956     0x1.122dc42e12482p-27
1957   },
1958   { // Entry 388
1959     0x1.778d27690518ddbb030d879eb3b8a069p-27,
1960     0x1.00a436e9442ecp-27,
1961     0x1.122dc42e12483p-27
1962   },
1963   { // Entry 389
1964     0x1.778d27690518e96960de531f73cfcf4fp-27,
1965     0x1.00a436e9442ecp-27,
1966     0x1.122dc42e12484p-27
1967   },
1968   { // Entry 390
1969     0x1.778d27690518dcfbbd2c00135e46c6d1p-27,
1970     0x1.00a436e9442edp-27,
1971     0x1.122dc42e12482p-27
1972   },
1973   { // Entry 391
1974     0x1.778d27690518e8aa1afccb941db56731p-27,
1975     0x1.00a436e9442edp-27,
1976     0x1.122dc42e12483p-27
1977   },
1978   { // Entry 392
1979     0x1.778d27690518f45878cd9714dd758605p-27,
1980     0x1.00a436e9442edp-27,
1981     0x1.122dc42e12484p-27
1982   },
1983   { // Entry 393
1984     0x1.74334f2872bf31f2bd78c8d32ad384a6p0,
1985     0x1.0b2502b3f7655p0,
1986     -0x1.032a74c8e2bbep0
1987   },
1988   { // Entry 394
1989     0x1.74334f2872bf26ceaa6e8d36067093ffp0,
1990     0x1.0b2502b3f7655p0,
1991     -0x1.032a74c8e2bbdp0
1992   },
1993   { // Entry 395
1994     0x1.74334f2872bf1baa97645198e2685868p0,
1995     0x1.0b2502b3f7655p0,
1996     -0x1.032a74c8e2bbcp0
1997   },
1998   { // Entry 396
1999     0x1.74334f2872bf3d6e9e764b9816ffdf5ep0,
2000     0x1.0b2502b3f7656p0,
2001     -0x1.032a74c8e2bbep0
2002   },
2003   { // Entry 397
2004     0x1.74334f2872bf324a8b6c0ffaf2f4ee3dp0,
2005     0x1.0b2502b3f7656p0,
2006     -0x1.032a74c8e2bbdp0
2007   },
2008   { // Entry 398
2009     0x1.74334f2872bf27267861d45dcf44b22bp0,
2010     0x1.0b2502b3f7656p0,
2011     -0x1.032a74c8e2bbcp0
2012   },
2013   { // Entry 399
2014     0x1.74334f2872bf48ea7f73ce5d038198c9p0,
2015     0x1.0b2502b3f7657p0,
2016     -0x1.032a74c8e2bbep0
2017   },
2018   { // Entry 400
2019     0x1.74334f2872bf3dc66c6992bfdfcea72ep0,
2020     0x1.0b2502b3f7657p0,
2021     -0x1.032a74c8e2bbdp0
2022   },
2023   { // Entry 401
2024     0x1.74334f2872bf32a2595f5722bc766aa2p0,
2025     0x1.0b2502b3f7657p0,
2026     -0x1.032a74c8e2bbcp0
2027   },
2028   { // Entry 402
2029     0x1.b6d63492cf6c5f0d4a9e41a4ed8f8b94p7,
2030     0x1.3845636425763p7,
2031     0x1.3453456452664p7
2032   },
2033   { // Entry 403
2034     0x1.b6d63492cf6c6a4b20bba441a2ca5ba3p7,
2035     0x1.3845636425763p7,
2036     0x1.3453456452665p7
2037   },
2038   { // Entry 404
2039     0x1.b6d63492cf6c7588f6d906de5850ca51p7,
2040     0x1.3845636425763p7,
2041     0x1.3453456452666p7
2042   },
2043   { // Entry 405
2044     0x1.b6d63492cf6c6a6ff4ee83c89e71f86dp7,
2045     0x1.3845636425764p7,
2046     0x1.3453456452664p7
2047   },
2048   { // Entry 406
2049     0x1.b6d63492cf6c75adcb0be66553621e7ap7,
2050     0x1.3845636425764p7,
2051     0x1.3453456452665p7
2052   },
2053   { // Entry 407
2054     0x1.b6d63492cf6c80eba1294902089de325p7,
2055     0x1.3845636425764p7,
2056     0x1.3453456452666p7
2057   },
2058   { // Entry 408
2059     0x1.b6d63492cf6c75d29f3ec5ec4f9e1dc5p7,
2060     0x1.3845636425765p7,
2061     0x1.3453456452664p7
2062   },
2063   { // Entry 409
2064     0x1.b6d63492cf6c8110755c2889044399cfp7,
2065     0x1.3845636425765p7,
2066     0x1.3453456452665p7
2067   },
2068   { // Entry 410
2069     0x1.b6d63492cf6c8c4e4b798b25b934b477p7,
2070     0x1.3845636425765p7,
2071     0x1.3453456452666p7
2072   },
2073   { // Entry 411
2074     0x1.b6d63492cf6c8c4e4b798b25b934b477p-6,
2075     -0x1.3845636425765p-6,
2076     -0x1.3453456452666p-6
2077   },
2078   { // Entry 412
2079     0x1.b6d63492cf6c8110755c2889044399cfp-6,
2080     -0x1.3845636425765p-6,
2081     -0x1.3453456452665p-6
2082   },
2083   { // Entry 413
2084     0x1.b6d63492cf6c75d29f3ec5ec4f9e1dc5p-6,
2085     -0x1.3845636425765p-6,
2086     -0x1.3453456452664p-6
2087   },
2088   { // Entry 414
2089     0x1.b6d63492cf6c80eba1294902089de325p-6,
2090     -0x1.3845636425764p-6,
2091     -0x1.3453456452666p-6
2092   },
2093   { // Entry 415
2094     0x1.b6d63492cf6c75adcb0be66553621e7ap-6,
2095     -0x1.3845636425764p-6,
2096     -0x1.3453456452665p-6
2097   },
2098   { // Entry 416
2099     0x1.b6d63492cf6c6a6ff4ee83c89e71f86dp-6,
2100     -0x1.3845636425764p-6,
2101     -0x1.3453456452664p-6
2102   },
2103   { // Entry 417
2104     0x1.b6d63492cf6c7588f6d906de5850ca51p-6,
2105     -0x1.3845636425763p-6,
2106     -0x1.3453456452666p-6
2107   },
2108   { // Entry 418
2109     0x1.b6d63492cf6c6a4b20bba441a2ca5ba3p-6,
2110     -0x1.3845636425763p-6,
2111     -0x1.3453456452665p-6
2112   },
2113   { // Entry 419
2114     0x1.b6d63492cf6c5f0d4a9e41a4ed8f8b94p-6,
2115     -0x1.3845636425763p-6,
2116     -0x1.3453456452664p-6
2117   },
2118   { // Entry 420
2119     0x1.9a134186a4136915d6a2f7171812deefp-16,
2120     -0x1.3845636425765p-16,
2121     -0x1.09cc3d7f1c881p-16
2122   },
2123   { // Entry 421
2124     0x1.9a134186a4135eb6f0c519097d75243dp-16,
2125     -0x1.3845636425765p-16,
2126     -0x1.09cc3d7f1c880p-16
2127   },
2128   { // Entry 422
2129     0x1.9a134186a41354580ae73afbe33415cfp-16,
2130     -0x1.3845636425765p-16,
2131     -0x1.09cc3d7f1c87fp-16
2132   },
2133   { // Entry 423
2134     0x1.9a134186a4135ce6bf291d40fc6e4392p-16,
2135     -0x1.3845636425764p-16,
2136     -0x1.09cc3d7f1c881p-16
2137   },
2138   { // Entry 424
2139     0x1.9a134186a4135287d94b3f336181a757p-16,
2140     -0x1.3845636425764p-16,
2141     -0x1.09cc3d7f1c880p-16
2142   },
2143   { // Entry 425
2144     0x1.9a134186a4134828f36d6125c6f1b75fp-16,
2145     -0x1.3845636425764p-16,
2146     -0x1.09cc3d7f1c87fp-16
2147   },
2148   { // Entry 426
2149     0x1.9a134186a41350b7a7af436ae10ccc7ap-16,
2150     -0x1.3845636425763p-16,
2151     -0x1.09cc3d7f1c881p-16
2152   },
2153   { // Entry 427
2154     0x1.9a134186a4134658c1d1655d45d14eb5p-16,
2155     -0x1.3845636425763p-16,
2156     -0x1.09cc3d7f1c880p-16
2157   },
2158   { // Entry 428
2159     0x1.9a134186a4133bf9dbf3874faaf27d32p-16,
2160     -0x1.3845636425763p-16,
2161     -0x1.09cc3d7f1c87fp-16
2162   },
2163   { // Entry 429
2164     0x1.6a09e667f3bcdfa9516192a2b726086dp-6,
2165     -0x1.0000000000001p-6,
2166     -0x1.0000000000001p-6
2167   },
2168   { // Entry 430
2169     0x1.6a09e667f3bcd459022e5304d10b0412p-6,
2170     -0x1.0000000000001p-6,
2171     -0x1.0p-6
2172   },
2173   { // Entry 431
2174     0x1.6a09e667f3bcceb0da94b335de1f72d2p-6,
2175     -0x1.0000000000001p-6,
2176     -0x1.fffffffffffffp-7
2177   },
2178   { // Entry 432
2179     0x1.6a09e667f3bcd459022e5304d10b0412p-6,
2180     -0x1.0p-6,
2181     -0x1.0000000000001p-6
2182   },
2183   { // Entry 433
2184     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-6,
2185     -0x1.0p-6,
2186     -0x1.0p-6
2187   },
2188   { // Entry 434
2189     0x1.6a09e667f3bcc3608b617397f77caac1p-6,
2190     -0x1.0p-6,
2191     -0x1.fffffffffffffp-7
2192   },
2193   { // Entry 435
2194     0x1.6a09e667f3bcceb0da94b335de1f72d2p-6,
2195     -0x1.fffffffffffffp-7,
2196     -0x1.0000000000001p-6
2197   },
2198   { // Entry 436
2199     0x1.6a09e667f3bcc3608b617397f77caac1p-6,
2200     -0x1.fffffffffffffp-7,
2201     -0x1.0p-6
2202   },
2203   { // Entry 437
2204     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-6,
2205     -0x1.fffffffffffffp-7,
2206     -0x1.fffffffffffffp-7
2207   },
2208   { // Entry 438
2209     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
2210     -0x1.0p-1074,
2211     -0x1.0p-1074
2212   },
2213   { // Entry 439
2214     0x1.p-1074,
2215     -0x1.0p-1074,
2216     -0.0
2217   },
2218   { // Entry 440
2219     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
2220     -0x1.0p-1074,
2221     0x1.0p-1074
2222   },
2223   { // Entry 441
2224     0x1.p-1074,
2225     -0.0,
2226     -0x1.0p-1074
2227   },
2228   { // Entry 442
2229     0.0,
2230     -0.0,
2231     -0.0
2232   },
2233   { // Entry 443
2234     0x1.p-1074,
2235     -0.0,
2236     0x1.0p-1074
2237   },
2238   { // Entry 444
2239     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
2240     0x1.0p-1074,
2241     -0x1.0p-1074
2242   },
2243   { // Entry 445
2244     0x1.p-1074,
2245     0x1.0p-1074,
2246     -0.0
2247   },
2248   { // Entry 446
2249     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
2250     0x1.0p-1074,
2251     0x1.0p-1074
2252   },
2253   { // Entry 447
2254     0x1.1e3779b97f4a732437cef466090d1897p-400,
2255     0x1.fffffffffffffp-401,
2256     0x1.fffffffffffffp-402
2257   },
2258   { // Entry 448
2259     0x1.1e3779b97f4a74ee2a2b5064e6a62857p-400,
2260     0x1.fffffffffffffp-401,
2261     0x1.0p-401
2262   },
2263   { // Entry 449
2264     0x1.1e3779b97f4a78820ee40862a1faa06cp-400,
2265     0x1.fffffffffffffp-401,
2266     0x1.0000000000001p-401
2267   },
2268   { // Entry 450
2269     0x1.1e3779b97f4a7a4c014064617f602b4fp-400,
2270     0x1.0p-400,
2271     0x1.fffffffffffffp-402
2272   },
2273   { // Entry 451
2274     0x1.1e3779b97f4a7c15f39cc0605cedc834p-400,
2275     0x1.0p-400,
2276     0x1.0p-401
2277   },
2278   { // Entry 452
2279     0x1.1e3779b97f4a7fa9d855785e182b5a91p-400,
2280     0x1.0p-400,
2281     0x1.0000000000001p-401
2282   },
2283   { // Entry 453
2284     0x1.1e3779b97f4a889b942344586c28a953p-400,
2285     0x1.0000000000001p-400,
2286     0x1.fffffffffffffp-402
2287   },
2288   { // Entry 454
2289     0x1.1e3779b97f4a8a65867fa057499f6080p-400,
2290     0x1.0000000000001p-400,
2291     0x1.0p-401
2292   },
2293   { // Entry 455
2294     0x1.1e3779b97f4a8df96b38585504af276dp-400,
2295     0x1.0000000000001p-400,
2296     0x1.0000000000001p-401
2297   },
2298   { // Entry 456
2299     0x1.1e3779b97f4a732437cef466090d1897p-511,
2300     0x1.fffffffffffffp-513,
2301     0x1.fffffffffffffp-512
2302   },
2303   { // Entry 457
2304     0x1.1e3779b97f4a7a4c014064617f602b4fp-511,
2305     0x1.fffffffffffffp-513,
2306     0x1.0p-511
2307   },
2308   { // Entry 458
2309     0x1.1e3779b97f4a889b942344586c28a953p-511,
2310     0x1.fffffffffffffp-513,
2311     0x1.0000000000001p-511
2312   },
2313   { // Entry 459
2314     0x1.1e3779b97f4a74ee2a2b5064e6a62857p-511,
2315     0x1.0p-512,
2316     0x1.fffffffffffffp-512
2317   },
2318   { // Entry 460
2319     0x1.1e3779b97f4a7c15f39cc0605cedc834p-511,
2320     0x1.0p-512,
2321     0x1.0p-511
2322   },
2323   { // Entry 461
2324     0x1.1e3779b97f4a8a65867fa057499f6080p-511,
2325     0x1.0p-512,
2326     0x1.0000000000001p-511
2327   },
2328   { // Entry 462
2329     0x1.1e3779b97f4a78820ee40862a1faa06cp-511,
2330     0x1.0000000000001p-512,
2331     0x1.fffffffffffffp-512
2332   },
2333   { // Entry 463
2334     0x1.1e3779b97f4a7fa9d855785e182b5a91p-511,
2335     0x1.0000000000001p-512,
2336     0x1.0p-511
2337   },
2338   { // Entry 464
2339     0x1.1e3779b97f4a8df96b38585504af276dp-511,
2340     0x1.0000000000001p-512,
2341     0x1.0000000000001p-511
2342   },
2343   { // Entry 465
2344     0x1.1e3779b97f4a732437cef466090d1897p1022,
2345     0x1.fffffffffffffp1021,
2346     0x1.fffffffffffffp1020
2347   },
2348   { // Entry 466
2349     0x1.1e3779b97f4a74ee2a2b5064e6a62857p1022,
2350     0x1.fffffffffffffp1021,
2351     0x1.0p1021
2352   },
2353   { // Entry 467
2354     0x1.1e3779b97f4a78820ee40862a1faa06cp1022,
2355     0x1.fffffffffffffp1021,
2356     0x1.0000000000001p1021
2357   },
2358   { // Entry 468
2359     0x1.1e3779b97f4a7a4c014064617f602b4fp1022,
2360     0x1.0p1022,
2361     0x1.fffffffffffffp1020
2362   },
2363   { // Entry 469
2364     0x1.1e3779b97f4a7c15f39cc0605cedc834p1022,
2365     0x1.0p1022,
2366     0x1.0p1021
2367   },
2368   { // Entry 470
2369     0x1.1e3779b97f4a7fa9d855785e182b5a91p1022,
2370     0x1.0p1022,
2371     0x1.0000000000001p1021
2372   },
2373   { // Entry 471
2374     0x1.1e3779b97f4a889b942344586c28a953p1022,
2375     0x1.0000000000001p1022,
2376     0x1.fffffffffffffp1020
2377   },
2378   { // Entry 472
2379     0x1.1e3779b97f4a8a65867fa057499f6080p1022,
2380     0x1.0000000000001p1022,
2381     0x1.0p1021
2382   },
2383   { // Entry 473
2384     0x1.1e3779b97f4a8df96b38585504af276dp1022,
2385     0x1.0000000000001p1022,
2386     0x1.0000000000001p1021
2387   },
2388   { // Entry 474
2389     HUGE_VAL,
2390     HUGE_VAL,
2391     HUGE_VAL
2392   },
2393   { // Entry 475
2394     HUGE_VAL,
2395     HUGE_VAL,
2396     0x1.fffffffffffffp1023
2397   },
2398   { // Entry 476
2399     HUGE_VAL,
2400     HUGE_VAL,
2401     0x1.0p-1022
2402   },
2403   { // Entry 477
2404     HUGE_VAL,
2405     HUGE_VAL,
2406     0x1.0p-1074
2407   },
2408   { // Entry 478
2409     HUGE_VAL,
2410     HUGE_VAL,
2411     0.0
2412   },
2413   { // Entry 479
2414     HUGE_VAL,
2415     HUGE_VAL,
2416     -0.0
2417   },
2418   { // Entry 480
2419     HUGE_VAL,
2420     HUGE_VAL,
2421     -0x1.0p-1074
2422   },
2423   { // Entry 481
2424     HUGE_VAL,
2425     HUGE_VAL,
2426     -0x1.0p-1022
2427   },
2428   { // Entry 482
2429     HUGE_VAL,
2430     HUGE_VAL,
2431     -0x1.fffffffffffffp1023
2432   },
2433   { // Entry 483
2434     HUGE_VAL,
2435     HUGE_VAL,
2436     -HUGE_VAL
2437   },
2438   { // Entry 484
2439     HUGE_VAL,
2440     -HUGE_VAL,
2441     HUGE_VAL
2442   },
2443   { // Entry 485
2444     HUGE_VAL,
2445     -HUGE_VAL,
2446     0x1.fffffffffffffp1023
2447   },
2448   { // Entry 486
2449     HUGE_VAL,
2450     -HUGE_VAL,
2451     0x1.0p-1022
2452   },
2453   { // Entry 487
2454     HUGE_VAL,
2455     -HUGE_VAL,
2456     0x1.0p-1074
2457   },
2458   { // Entry 488
2459     HUGE_VAL,
2460     -HUGE_VAL,
2461     0.0
2462   },
2463   { // Entry 489
2464     HUGE_VAL,
2465     -HUGE_VAL,
2466     -0.0
2467   },
2468   { // Entry 490
2469     HUGE_VAL,
2470     -HUGE_VAL,
2471     -0x1.0p-1074
2472   },
2473   { // Entry 491
2474     HUGE_VAL,
2475     -HUGE_VAL,
2476     -0x1.0p-1022
2477   },
2478   { // Entry 492
2479     HUGE_VAL,
2480     -HUGE_VAL,
2481     -0x1.fffffffffffffp1023
2482   },
2483   { // Entry 493
2484     HUGE_VAL,
2485     -HUGE_VAL,
2486     -HUGE_VAL
2487   },
2488   { // Entry 494
2489     HUGE_VAL,
2490     0x1.fffffffffffffp1023,
2491     HUGE_VAL
2492   },
2493   { // Entry 495
2494     HUGE_VAL,
2495     0x1.0p-1022,
2496     HUGE_VAL
2497   },
2498   { // Entry 496
2499     HUGE_VAL,
2500     0x1.0p-1074,
2501     HUGE_VAL
2502   },
2503   { // Entry 497
2504     HUGE_VAL,
2505     0.0,
2506     HUGE_VAL
2507   },
2508   { // Entry 498
2509     HUGE_VAL,
2510     -0.0,
2511     HUGE_VAL
2512   },
2513   { // Entry 499
2514     HUGE_VAL,
2515     -0x1.0p-1074,
2516     HUGE_VAL
2517   },
2518   { // Entry 500
2519     HUGE_VAL,
2520     -0x1.0p-1022,
2521     HUGE_VAL
2522   },
2523   { // Entry 501
2524     HUGE_VAL,
2525     -0x1.fffffffffffffp1023,
2526     HUGE_VAL
2527   },
2528   { // Entry 502
2529     HUGE_VAL,
2530     -HUGE_VAL,
2531     HUGE_VAL
2532   },
2533   { // Entry 503
2534     HUGE_VAL,
2535     HUGE_VAL,
2536     -HUGE_VAL
2537   },
2538   { // Entry 504
2539     HUGE_VAL,
2540     0x1.fffffffffffffp1023,
2541     -HUGE_VAL
2542   },
2543   { // Entry 505
2544     HUGE_VAL,
2545     0x1.0p-1022,
2546     -HUGE_VAL
2547   },
2548   { // Entry 506
2549     HUGE_VAL,
2550     0x1.0p-1074,
2551     -HUGE_VAL
2552   },
2553   { // Entry 507
2554     HUGE_VAL,
2555     0.0,
2556     -HUGE_VAL
2557   },
2558   { // Entry 508
2559     HUGE_VAL,
2560     -0.0,
2561     -HUGE_VAL
2562   },
2563   { // Entry 509
2564     HUGE_VAL,
2565     -0x1.0p-1074,
2566     -HUGE_VAL
2567   },
2568   { // Entry 510
2569     HUGE_VAL,
2570     -0x1.0p-1022,
2571     -HUGE_VAL
2572   },
2573   { // Entry 511
2574     HUGE_VAL,
2575     -0x1.fffffffffffffp1023,
2576     -HUGE_VAL
2577   },
2578   { // Entry 512
2579     0x1.fffffffffffff0p1023,
2580     0.0,
2581     0x1.fffffffffffffp1023
2582   },
2583   { // Entry 513
2584     0x1.p-1022,
2585     0.0,
2586     0x1.0p-1022
2587   },
2588   { // Entry 514
2589     0x1.p-1074,
2590     0.0,
2591     0x1.0p-1074
2592   },
2593   { // Entry 515
2594     0.0,
2595     0.0,
2596     0.0
2597   },
2598   { // Entry 516
2599     0.0,
2600     0.0,
2601     -0.0
2602   },
2603   { // Entry 517
2604     0x1.p-1074,
2605     0.0,
2606     -0x1.0p-1074
2607   },
2608   { // Entry 518
2609     0x1.p-1022,
2610     0.0,
2611     -0x1.0p-1022
2612   },
2613   { // Entry 519
2614     0x1.fffffffffffff0p1023,
2615     0.0,
2616     -0x1.fffffffffffffp1023
2617   },
2618   { // Entry 520
2619     0x1.fffffffffffff0p1023,
2620     -0.0,
2621     0x1.fffffffffffffp1023
2622   },
2623   { // Entry 521
2624     0x1.p-1022,
2625     -0.0,
2626     0x1.0p-1022
2627   },
2628   { // Entry 522
2629     0x1.p-1074,
2630     -0.0,
2631     0x1.0p-1074
2632   },
2633   { // Entry 523
2634     0.0,
2635     -0.0,
2636     0.0
2637   },
2638   { // Entry 524
2639     0.0,
2640     -0.0,
2641     -0.0
2642   },
2643   { // Entry 525
2644     0x1.p-1074,
2645     -0.0,
2646     -0x1.0p-1074
2647   },
2648   { // Entry 526
2649     0x1.p-1022,
2650     -0.0,
2651     -0x1.0p-1022
2652   },
2653   { // Entry 527
2654     0x1.fffffffffffff0p1023,
2655     -0.0,
2656     -0x1.fffffffffffffp1023
2657   },
2658   { // Entry 528
2659     0x1.fffffffffffff0p1023,
2660     0x1.fffffffffffffp1023,
2661     0.0
2662   },
2663   { // Entry 529
2664     0x1.p-1022,
2665     0x1.0p-1022,
2666     0.0
2667   },
2668   { // Entry 530
2669     0x1.p-1074,
2670     0x1.0p-1074,
2671     0.0
2672   },
2673   { // Entry 531
2674     0x1.p-1074,
2675     -0x1.0p-1074,
2676     0.0
2677   },
2678   { // Entry 532
2679     0x1.p-1022,
2680     -0x1.0p-1022,
2681     0.0
2682   },
2683   { // Entry 533
2684     0x1.fffffffffffff0p1023,
2685     -0x1.fffffffffffffp1023,
2686     0.0
2687   },
2688   { // Entry 534
2689     0x1.fffffffffffff0p1023,
2690     0x1.fffffffffffffp1023,
2691     -0.0
2692   },
2693   { // Entry 535
2694     0x1.p-1022,
2695     0x1.0p-1022,
2696     -0.0
2697   },
2698   { // Entry 536
2699     0x1.p-1074,
2700     0x1.0p-1074,
2701     -0.0
2702   },
2703   { // Entry 537
2704     0x1.p-1074,
2705     -0x1.0p-1074,
2706     -0.0
2707   },
2708   { // Entry 538
2709     0x1.p-1022,
2710     -0x1.0p-1022,
2711     -0.0
2712   },
2713   { // Entry 539
2714     0x1.fffffffffffff0p1023,
2715     -0x1.fffffffffffffp1023,
2716     -0.0
2717   },
2718   { // Entry 540
2719     HUGE_VAL,
2720     0x1.fffffffffffffp1023,
2721     0x1.fffffffffffffp1023
2722   },
2723   { // Entry 541
2724     0x1.fffffffffffff0p1023,
2725     0x1.fffffffffffffp1023,
2726     0x1.0p-1022
2727   },
2728   { // Entry 542
2729     0x1.fffffffffffff0p1023,
2730     0x1.fffffffffffffp1023,
2731     0x1.0p-1074
2732   },
2733   { // Entry 543
2734     0x1.fffffffffffff0p1023,
2735     0x1.fffffffffffffp1023,
2736     -0x1.0p-1074
2737   },
2738   { // Entry 544
2739     0x1.fffffffffffff0p1023,
2740     0x1.fffffffffffffp1023,
2741     -0x1.0p-1022
2742   },
2743   { // Entry 545
2744     HUGE_VAL,
2745     0x1.fffffffffffffp1023,
2746     -0x1.fffffffffffffp1023
2747   },
2748   { // Entry 546
2749     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1022,
2750     0x1.0p-1022,
2751     0x1.0p-1022
2752   },
2753   { // Entry 547
2754     0x1.000000000000000000000000007fffffp-1022,
2755     0x1.0p-1022,
2756     0x1.0p-1074
2757   },
2758   { // Entry 548
2759     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
2760     0x1.0p-1074,
2761     0x1.0p-1074
2762   },
2763   { // Entry 549
2764     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
2765     -0x1.0p-1074,
2766     0x1.0p-1074
2767   },
2768   { // Entry 550
2769     0x1.40p2,
2770     0x1.8p1,
2771     0x1.0p2
2772   },
2773   { // Entry 551
2774     0x1.40p2,
2775     0x1.8p1,
2776     -0x1.0p2
2777   },
2778   { // Entry 552
2779     0x1.a0p3,
2780     0x1.4p2,
2781     0x1.8p3
2782   },
2783   { // Entry 553
2784     0x1.a0p3,
2785     0x1.4p2,
2786     -0x1.8p3
2787   }
2788 };
2789