• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 #ifndef MATH_GTEST_MATH_TEST_DATA_HYPOT_DATA_H
2 #define MATH_GTEST_MATH_TEST_DATA_HYPOT_DATA_H
3 
4 DataDouble3Expected1 g_hypotData[] = {
5     {-0x1.0b043e1851815p+0, 0x1.0d67e56cb9c5ep+0, 0x1.7b4fcafd8b1d2p+0},
6     {-0x1.21c69b55c83dep+3, 0x1.c78c147ae1479p-7, 0x1.21c6b1b6fcaa3p+3},
7     {-0x1.3db5af72d6b8bp-21, 0x1.2053e782480cap-21, 0x1.ad095a8e7c363p-21},
8     {-0x1.46c44d98f8a6p-1, -0x1.3bbf01fd0a736p-2, 0x1.6ae7d34c42c55p-1},
9     {-0x1.5a9c9487ada69p-426, -0x1.60ff7b7355f34p-425, 0x1.893eff1c4604dp-425},
10     {-0x1.8p+0, 0x1p-1, 0x1.94c583ada5b53p+0},
11     {-0x1.3396c16c16c17p-1, -0x1.c6ebb904eb596p-11, 0x1.3396d672abdc3p-1},
12     {-0x1.987af05099b1dp+418, 0x1.9b3d425af0dcp+421, 0x1.9e65a28df9375p+421},
13     {-0x1.a088888888889p-5, -0x1.03afb7e91003dp-11, 0x1.a08d97b53e255p-5},
14     {-0x1.0dc9299a16cd8p-8, 0x1.9a101e573ac9p-1, 0x1.9a11815460dc4p-1},
15     {-0x1.f0d695fd77039p-1, 0x1.0ce7e3e03ae5p+0, 0x1.6e1737b8edb25p+0},
16     {-0x1.ffffffffffffdp-1, 0x1.02p-1, 0x1.1eaa51c2d2dbbp+0},
17     {0x0p+0, 0x0.00000ffffffffp-1022, 0x0.00000ffffffffp-1022},
18     {0x0.0000000000001p-1022, -0x1.199999999999ap+0, 0x1.199999999999ap+0},
19     {0x0.0000000000001p-1022, -0x1.a921735ee403bp+0, 0x1.a921735ee403bp+0},
20     {0x1.999999999999ap-1, -0x1.6666666666666p-1, 0x1.1021b93dbd9c5p+0},
21     {0x1.8p-1, -0x1.568d68d68d696p+0, 0x1.88b0de0d02297p+0},
22     {0x1.04189374bc6a8p-3, -0x1.3333333333333p-2, 0x1.4d97d20e3cfdbp-2},
23     {0x1.23d70a3d70a3dp-4, 0x1.8p+0, 0x1.806ed6330b98dp+0},
24     {0x1.9d9999999999ap-1, -0x1.0df6b0df6a7cp-3, 0x1.a3120460c88e9p-1},
25     {0x1.fbe76c8b43a78p-4, 0x1.111eb851eb852p-2, 0x1.2d317feaf4a83p-2},
26     {0x1.000020c49c54bp+9, 0x1.454e61ee7fb7cp+0, 0x1.0000547094157p+9},
27     {0x1.ccccccd654cd1p-3, 0x1.ef9db1ba0e556p-6, 0x1.d0f2268ef3583p-3},
28     {0x1.999999da86dccp-1, 0x1.92952cac140a6p-2, 0x1.c8636e4ddd5d4p-1},
29     {0x1.c9374be6a7ef1p-8, 0x1.ef9fb22d0e55fp-5, 0x1.f2e87ab686d82p-5},
30     {0x1.ffad90607274ap-21, 0x1.fffffc7b69b2ep-21, 0x1.69ecc113efdeap-20},
31     {0x1.147ae587ae134p-3, 0x1.17b930afa7425p-7, 0x1.15084200f022p-3},
32     {0x1.0f6c28f5c1fbep-1, -0x1.3333333333333p-2, 0x1.37ded12e18534p-1},
33     {0x1.025dd2f1a9fbep+0, 0x1.0740da740da65p+0, 0x1.70db6b677bf6bp+0},
34     {0x1.0535ae393783ap+0, -0x1.0bac2727ecb66p+0, 0x1.76010b9e7e527p+0},
35     {0x1.00a436e9d7c0ap-27, 0x1.122dc42e19a9dp-27, 0x1.778d27696f54dp-27},
36     {0x1.0bf30416aada3p+0, -0x1.6857831073f63p+0, 0x1.c10bfd7d1ed54p+0},
37     {0x1.0083126ea0fd6p-1, 0x1.96176322d6d2p-1, 0x1.e05243c407be9p-1},
38     {0x1.9a1cac083e7b6p-1, 0x1.4e694ea7f58a5p-1, 0x1.0895fdf97059bp+0},
39     {0x1.12046319e5b07p+3, 0x1.99999999999a8p-5, 0x1.1205953ba4aa6p+3},
40     {0x1.00e79210205a6p+0, -0x1.02a7625a4b2e5p+0, 0x1.6c8e9459ed33bp+0},
41     {0x1.0def75ac8c44ap+0, 0x1.60261a3202627p+0, 0x1.bbb46b709220fp+0},
42     {0x1.0e66528918471p+2, -0x1.fffffffffffeep-1, 0x1.15ded6e2456edp+2},
43     {0x1.cp-6, 0x1.0087fff6fe284p-20, 0x1.c00000049725ep-6},
44     {0x1.184d0698936f4p+1, -0x1.999999999999ap-3, 0x1.1977ad035d00fp+1},
45     {0x1.49e09eeaf2dcp-4, 0x1.f7cee19687289p-4, 0x1.2d194572f1a73p-3},
46     {0x1.1c3c84a8babfep+3, -0x1.c28f5c28f5c29p-3, 0x1.1c52d5755ca1p+3},
47     {0x1.7333333349555p+1, 0x1.c94a96560a053p-1, 0x1.8467e9c536292p+1},
48     {0x1.3851eb88eb387p-1, 0x1.2c2ec645ada3fp-2, 0x1.5a834e2aaabffp-1},
49     {0x1.38641bb610fb7p+7, 0x1.3520123122ea4p+7, 0x1.b77c06927143cp+7},
50     {0x1.384566033c277p+7, 0x1.34536cb6a6c82p+7, 0x1.b6d65210ec3a6p+7},
51     {0x1.3bbea4447faa4p+6, 0x1.c735538e5cc4p+5, 0x1.853a5801910a7p+6},
52     {0x1.2e1f0f87c3dcfp+3, -0x1.ff7ced9168707p-1, 0x1.2fced3c3947d9p+3},
53     {0x1.9dbc2e7688ab6p-9, -0x1.7d99ec2a40053p-8, 0x1.b211044211fa9p-8},
54     {0x1.54ef1cdbf66cfp+2, -0x1.1781dc887b951p-1, 0x1.56b8362840cf4p+2},
55     {0x1.5619f0fb38a86p+0, 0x1.a2d82d82d82d3p+2, 0x1.ab7cb4eeb8412p+2},
56     {0x1.8900834fa4c41p-1, -0x1.b184ff898a6afp-1, 0x1.249205a5c9ce7p+0},
57     {0x1.537f825084674p+0, -0x1.ccccccccccccdp-1, 0x1.9a4bdea1841eap+0},
58     {0x1.600ec2391a469p+421, -0x1.4c92148cef1f2p+421, 0x1.e44d262e81cd1p+421},
59     {0x1.8000000745c91p-1, 0x1.fc7dc9893d386p-1, 0x1.3e9928fa0d679p+0},
60     {0x1.70a044b2b1d76p+1, 0x1.50d9b5fb7dc7ap-5, 0x1.70a9e315653c4p+1},
61     {0x1.799607420e005p+1, 0x1.6c5c9a7d53496p-7, 0x1.7996b70ec4be8p+1},
62     {0x1.71e7f2c72cb8ap+1, 0x1.6c5c9a7d53496p-7, 0x1.71e8a63a45564p+1},
63     {0x1.70036f9bfb39bp-20, 0x1.21ff501400f5bp-20, 0x1.d48af294ae5b6p-20},
64     {0x1.f333333333333p-1, 0x1.0a3d70a4370a6p-1, 0x1.1ae147ae2b118p+0},
65     {0x1.81fc3b7f3d688p-1, -0x1.da575f0711067p+0, 0x1.000cba01d0333p+1},
66     {0x1.88007b1ed717cp+2, 0x1.e666666666666p+0, 0x1.9a6dd870a4d51p+2},
67     {0x1.9598096151b01p+0, 0x1.9ac697b88d5f8p+2, 0x1.a71b0a313430bp+2},
68     {0x1.8beed94f665d7p+6, -0x1p-1, 0x1.8bf0245a9c7edp+6},
69     {0x1.8d4fdf3cd358dp+1, 0x1.34cfb50e5bf0bp-1, 0x1.94be4610d874cp+1},
70     {0x1.71333920df967p-4, -0x1.999999999999ap-5, 0x1.a632de5a83342p-4},
71     {0x1.97cd11ad4f39bp+2, 0x1.76e7ba8bc7417p+25, 0x1.76e7ba8bc744fp+25},
72     {0x1.9a1cac0f582ep-1, 0x1.65738c1899615p-1, 0x1.100336f3056acp+0},
73     {0x1.a9fbe78cc0242p-3, 0x1.65738c1899615p-1, 0x1.74fa76f885ebbp-1},
74     {0x1.851eb87266243p-3, 0x1.96176322d6d2p-1, 0x1.a194a49de821p-1},
75     {0x1.73cb5974b027dp-15, 0x1.22a3a214e4ccp-4, 0x1.22a3a5cc1d4e3p-4},
76     {0x1.9a57088ce7ecbp-2, 0x1.cfb3fde9b223p+0, 0x1.daea3c3798befp+0},
77     {0x1.a4774dbb8e71cp-3, 0x1.1fb00306ae871p+1, 0x1.20e2a30a74e68p+1},
78     {0x1.c0e8e11c9b10bp-8, -0x1.451241a2289e4p-8, 0x1.151fcad8d3e82p-7},
79     {0x1.bffffffffffffp+22, 0x1.0000027ffffe5p+25, 0x1.060db00245bfdp+25},
80     {0x1.63b4c51972e54p-7, -0x1.3196ff382f05fp-10, 0x1.65c0557756ef8p-7},
81     {0x1.4a759e265832fp-1, -0x1.81b015078c88dp+0, 0x1.a39718efa04cap+0},
82     {0x1.c9138c9138c79p+0, 0x1.eacd6bacd6ba3p+2, 0x1.f7edd3727b273p+2},
83     {0x1.f2ed6a9264e21p-5, -0x1.2abb9f0a7c0a9p-7, 0x1.f87c6ba38dd92p-5},
84     {0x1.97b0dc0fc765bp-425, -0x1.73f0fc95c7e29p-423, 0x1.81a74ace55347p-423},
85     {0x1.f544877baaec5p+2, 0x1.b13b106a5eb58p+9, 0x1.b13f985ef7012p+9},
86     {0x1.635dd2ba73fbfp-1, -0x1.1b0a3271c92e7p+0, 0x1.4e309cb56b0b9p+0},
87     {0x1.f2a645a1cabf8p-10, -0x1.21a01ab87eec6p+3, 0x1.21a01b23cfcc1p+3},
88     {0x1.fbd76c8b43934p-4, -0x1.5dddddddddddbp-1, 0x1.639438bc8f8ebp-1},
89     {0x1.4cc8cccccccc4p-2, 0x1.5d0369d0369d3p-1, 0x1.82a5e290bd143p-1},
90     {0x1.effp+3, -0x1.57e4b17e4b181p-1, 0x1.f0672cea003adp+3},
91     {0x1.f98999999999ap+3, -0x1.99999999a076p-3, 0x1.f993f871d1e4fp+3},
92     {0x1.ffff2a48e8a68p+4, 0x1p+20, 0x1.00000001fffe5p+20},
93     {0x1.eb851eb851ccp-3, 0x1.009674bc6a7cep+2, 0x1.010c0b9be607dp+2},
94     {0x1.199999999999ap-1, 0x1.c28f5c28f5db5p-3, 0x1.2f4ae018a598bp-1},
95     {0x1.fcdf2ab0e8dd5p+500, 0x1.9999999999952p-4, 0x1.fcdf2ab0e8dd5p+500},
96     {0x1p-2, 0x1.29e4129e412b2p-3, 0x1.282d4878727cfp-2},
97     {0x1.ffffffff4ee97p-28, 0x1.7e9a87e9a87fp-3, 0x1.7e9a87e9a87f5p-3},
98     {0x1.00000001d83c7p-31, -0x1p+1, 0x1p+1},
99     {0x1.fe97b64795ee6p-40, 0x1.94237fa89e619p-4, 0x1.94237fa89e619p-4},
100     {0x1.ffffffffffffep+1, -0x1.e289be1ce7f4p-2, 0x1.01c53453e326bp+2},
101     {0x1.ffffffffffffep+3, -0x1.11111111110e1p-5, 0x1.00002468aa5a6p+4},
102     {-0x1.0000000000001p+0, -0x1.0000000000001p+0, 0x1.6a09e667f3bcep+0},
103     {-0x1.0000000000001p+0, -0x1p+0, 0x1.6a09e667f3bcdp+0},
104     {-0x1.0000000000001p+0, -0x1.fffffffffffffp-1, 0x1.6a09e667f3bcdp+0},
105     {-0x1p+0, -0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
106     {-0x1p+0, -0x1p+0, 0x1.6a09e667f3bcdp+0},
107     {-0x1p+0, -0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
108     {-0x1.fffffffffffffp-1, -0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
109     {-0x1.fffffffffffffp-1, -0x1p+0, 0x1.6a09e667f3bccp+0},
110     {-0x1.fffffffffffffp-1, -0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
111     {-0x1.0000000000001p+0, 0x1.fffffffffffffp-1, 0x1.6a09e667f3bcdp+0},
112     {-0x1.0000000000001p+0, 0x1p+0, 0x1.6a09e667f3bcdp+0},
113     {-0x1.0000000000001p+0, 0x1.0000000000001p+0, 0x1.6a09e667f3bcep+0},
114     {-0x1p+0, 0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
115     {-0x1p+0, 0x1p+0, 0x1.6a09e667f3bcdp+0},
116     {-0x1p+0, 0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
117     {-0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
118     {-0x1.fffffffffffffp-1, 0x1p+0, 0x1.6a09e667f3bccp+0},
119     {-0x1.fffffffffffffp-1, 0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
120     {0x1.fffffffffffffp-1, -0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
121     {0x1.fffffffffffffp-1, -0x1p+0, 0x1.6a09e667f3bccp+0},
122     {0x1.fffffffffffffp-1, -0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
123     {0x1p+0, -0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
124     {0x1p+0, -0x1p+0, 0x1.6a09e667f3bcdp+0},
125     {0x1p+0, -0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
126     {0x1.0000000000001p+0, -0x1.0000000000001p+0, 0x1.6a09e667f3bcep+0},
127     {0x1.0000000000001p+0, -0x1p+0, 0x1.6a09e667f3bcdp+0},
128     {0x1.0000000000001p+0, -0x1.fffffffffffffp-1, 0x1.6a09e667f3bcdp+0},
129     {0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
130     {0x1.fffffffffffffp-1, 0x1p+0, 0x1.6a09e667f3bccp+0},
131     {0x1.fffffffffffffp-1, 0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
132     {0x1p+0, 0x1.fffffffffffffp-1, 0x1.6a09e667f3bccp+0},
133     {0x1p+0, 0x1p+0, 0x1.6a09e667f3bcdp+0},
134     {0x1p+0, 0x1.0000000000001p+0, 0x1.6a09e667f3bcdp+0},
135     {0x1.0000000000001p+0, 0x1.fffffffffffffp-1, 0x1.6a09e667f3bcdp+0},
136     {0x1.0000000000001p+0, 0x1p+0, 0x1.6a09e667f3bcdp+0},
137     {0x1.0000000000001p+0, 0x1.0000000000001p+0, 0x1.6a09e667f3bcep+0},
138     {-0x1p+0, -0x1p+0, 0x1.6a09e667f3bcdp+0},
139     {-0x1p+0, 0x1p+0, 0x1.6a09e667f3bcdp+0},
140     {0x1p+0, -0x1p+0, 0x1.6a09e667f3bcdp+0},
141     {0x1p+0, 0x1p+0, 0x1.6a09e667f3bcdp+0},
142     {0x1p+0, 0x1p+0, 0x1.6a09e667f3bcdp+0},
143     {0x1p+0, 0x1p+3, 0x1.01fe03f61badp+3},
144     {0x1p+3, 0x1p+0, 0x1.01fe03f61badp+3},
145     {0x1p+3, 0x1p+3, 0x1.6a09e667f3bcdp+3},
146     {0x1p+0, 0x1p+9, 0x1.00001ffffep+9},
147     {0x1p+0, 0x1p+10, 0x1.000007ffffep+10},
148     {0x1p+3, 0x1p+9, 0x1.0007ffe000fffp+9},
149     {0x1p+3, 0x1p+10, 0x1.0001fffe0004p+10},
150     {0x1p+0, 0x1.000a56fa5b992p+100, 0x1.000a56fa5b992p+100},
151     {0x1p+0, 0x1.000013da329b8p+101, 0x1.000013da329b8p+101},
152     {0x1p+3, 0x1.000003f87085ap+100, 0x1.000003f87085ap+100},
153     {0x1p+3, 0x1.0000000000002p+101, 0x1.0000000000002p+101},
154     {0x1p+9, 0x1p+0, 0x1.00001ffffep+9},
155     {0x1p+9, 0x1p+3, 0x1.0007ffe000fffp+9},
156     {0x1p+10, 0x1p+0, 0x1.000007ffffep+10},
157     {0x1p+10, 0x1p+3, 0x1.0001fffe0004p+10},
158     {0x1p+9, 0x1p+9, 0x1.6a09e667f3bcdp+9},
159     {0x1p+9, 0x1p+10, 0x1.1e3779b97f4a8p+10},
160     {0x1p+10, 0x1p+9, 0x1.1e3779b97f4a8p+10},
161     {0x1p+10, 0x1p+10, 0x1.6a09e667f3bcdp+10},
162     {0x1p+9, 0x1.ffffffffffa77p+99, 0x1.ffffffffffa77p+99},
163     {0x1p+9, 0x1.00000043c33c4p+101, 0x1.00000043c33c4p+101},
164     {0x1p+10, 0x1.0002116545852p+100, 0x1.0002116545852p+100},
165     {0x1p+10, 0x1.03077b58d5d3ap+101, 0x1.03077b58d5d3ap+101},
166     {0x1.0000000d8d729p+100, 0x1p+0, 0x1.0000000d8d729p+100},
167     {0x1.00005ca4ec2aap+100, 0x1p+3, 0x1.00005ca4ec2aap+100},
168     {0x1.000001fc3842ep+101, 0x1p+0, 0x1.000001fc3842ep+101},
169     {0x1.fffffffea50e7p+100, 0x1p+3, 0x1.fffffffea50e7p+100},
170     {0x1.00000000340adp+100, 0x1p+9, 0x1.00000000340adp+100},
171     {0x1.d79c3e0a3252p+99, 0x1p+10, 0x1.d79c3e0a3252p+99},
172     {0x1.ffffffffd4a21p+100, 0x1p+9, 0x1.ffffffffd4a21p+100},
173     {0x1.fbf60634383bap+100, 0x1p+10, 0x1.fbf60634383bap+100},
174     {0x1.0000000000de3p+100, 0x1.000003f87085ap+100, 0x1.6a09e936af929p+100},
175     {0x1.00000014542bcp+100, 0x1.0000422ca8b0cp+101, 0x1.1e37b4ee3c1ecp+101},
176     {0x1.000002a5a0592p+101, 0x1.000027b46536fp+100, 0x1.1e3784f86a192p+101},
177     {0x1.ffffffffd4a21p+100, 0x1.00000010f0cf3p+101, 0x1.6a09e673defep+101},
178     {0x1.7ffffffffffffp+2, 0x1.7ffffffffffffp+1, 0x1.ad5336963eefbp+2},
179     {0x1.7ffffffffffffp+2, 0x1.8p+1, 0x1.ad5336963eefbp+2},
180     {0x1.7ffffffffffffp+2, 0x1.8000000000001p+1, 0x1.ad5336963eefbp+2},
181     {0x1.8p+2, 0x1.7ffffffffffffp+1, 0x1.ad5336963eefbp+2},
182     {0x1.8p+2, 0x1.8p+1, 0x1.ad5336963eefcp+2},
183     {0x1.8p+2, 0x1.8000000000001p+1, 0x1.ad5336963eefcp+2},
184     {0x1.8000000000001p+2, 0x1.7ffffffffffffp+1, 0x1.ad5336963eefcp+2},
185     {0x1.8000000000001p+2, 0x1.8p+1, 0x1.ad5336963eefdp+2},
186     {0x1.8000000000001p+2, 0x1.8000000000001p+1, 0x1.ad5336963eefdp+2},
187     {HUGE_VALF, 0x0p+0, HUGE_VALF},
188     {0x1.080dbd0164b2bp-1022, 0x0.ffffffff9d2b9p-1022, 0x1.6fc70e923379ap-1022},
189     {0x1.0000000004f0dp-1022, 0x1.22840573af909p-1022, 0x1.83370382bad22p-1022},
190     {0x1.000000000025cp-1022, 0x0.fffff0eb7bbf3p-1022, 0x1.6a09dbbe27d84p-1022},
191     {0x1.000025b34aa17p-1022, 0x1.22840573af909p-1022, 0x1.83371c6f7ea73p-1022},
192     {0x0.ffff6932d5798p-1022, 0x0.ffffffff6bc16p-1022, 0x1.6a097bc5a1148p-1022},
193     {0x1.0000000004f0dp-1022, 0x1.000bc807527eap-1022, 0x1.6a123b27fec33p-1022},
194     {0x0.fffffff46b1f6p-1022, 0x0.fffffab8d1b6p-1022, 0x1.6a09e2a4556adp-1022},
195     {0x1.03739a252b27ep-1022, 0x1.0000000018b4ep-1022, 0x1.6c7ccaff4960cp-1022},
196     {0x1.00000001ee254p-1022, 0x0.fffffb79d852dp-1022, 0x1.6a09e33660b7fp-1022},
197     {0x0.0000000000001p-1022, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
198     {0x1.fffc16f55d233p+511, 0x1.1317e5ef3ab33p+512, 0x1.77c6f12fe406cp+512},
199     {0x1.07a328c6177afp+512, 0x1.018708279e4bdp+512, 0x1.708b63fd005f8p+512},
200     {0x1.ff87e000efba8p+500, 0x1.01906aa78b91p+501, 0x1.6afb23203656p+501},
201     {0x1.ffffffff79a42p+500, 0x1.ffffffffef344p+500, 0x1.6a09e667be4bdp+501},
202     {0x1.fffffffff5ecp+500, 0x1.ffffffffffaa9p+500, 0x1.6a09e667f00e7p+501},
203     {0x1.fffffffff5ecp+500, 0x1.000100444244bp+501, 0x1.6a0a9b9d54e66p+501},
204     {0x1.0000000000042p+501, 0x1.fda76004aea5fp+500, 0x1.6935ca76b5ddp+501},
205     {0x1.0000008335614p+501, 0x1.ffffffffff549p+500, 0x1.6a09e6c4bac78p+501},
206     {0x1.00000000002b4p+501, 0x1.d8e595a35ed25p+500, 0x1.5c7cea1a92e48p+501},
207     {0x1.fff3fccce4c67p+500, 0x1.fffbfeeef6ec5p+500, 0x1.6a043cc10e5a2p+501},
208     {0x1.000a02aa96b0bp+501, 0x1.000000068f785p+501, 0x1.6a10fa92778d4p+501},
209     {0x1.000000000e651p-501, 0x1.fffffee6d1604p-502, 0x1.6a09e60494373p-501},
210     {0x1.0000057de91a1p-501, 0x1.000007b04657ep-501, 0x1.6a09efb9dc877p-501},
211     {0x1.00000afbd2349p-501, 0x1.00000013aec82p-501, 0x1.6a09ee3a20c47p-501},
212     {0x1.000000008ff6bp-501, 0x1.fffffffe5019dp-502, 0x1.6a09e667c0d5fp-501},
213     {0x1.000000086f7a2p-501, 0x1.ffffffffd4ceap-502, 0x1.6a09e66ddb728p-501},
214     {0x1.fff76b43c6924p-502, 0x1.4309fe80a2c35p-501, 0x1.9c2ac0df526cfp-501},
215     {0x1.de7b00bfae9d4p-502, 0x1.fffffffdc022cp-502, 0x1.5e63613cfe924p-501},
216     {0x1.00000010def4ap-501, 0x1.00000010def4ap-501, 0x1.6a09e67fcfa9cp-501},
217     {0x1.fdfd23e28a794p-502, 0x1.0055cf5a3e409p-501, 0x1.6990dd56cb12dp-501},
218     {0x1.ffffffffe1c4bp+500, 0x1.0000001c1e42bp-501, 0x1.ffffffffe1c4bp+500},
219     {0x1.03e90aa2dceacp+501, 0x1.0000000047fb2p-501, 0x1.03e90aa2dceacp+501},
220     {0x1.fff7fdddedd8fp+500, 0x1.fefe91f1453c3p-502, 0x1.fff7fdddedd8fp+500},
221     {0x1.000000275cd04p+501, 0x1.00000afbd2349p-501, 0x1.000000275cd04p+501},
222     {0x1.000100444244bp+501, 0x1.06b4330cdd132p-501, 0x1.000100444244bp+501},
223     {0x1.ffffffffffa9bp+500, 0x1.0000000047fb2p-501, 0x1.ffffffffffa9bp+500},
224     {0x1.00641aa9e2e49p+501, 0x1.ffffea085b951p-502, 0x1.00641aa9e2e49p+501},
225     {0x1.0000000010cbbp+501, 0x1.ffe641cb53b87p-502, 0x1.0000000010cbbp+501},
226     {0x1.00000000012d4p+501, 0x1.fffffdcda2c15p-502, 0x1.00000000012d4p+501},
227     {0x1.0002008884898p+501, -0x0.0000000000001p-1022, 0x1.0002008884898p+501},
228     {0x1.ffffffffe87c7p+500, -0x0p+0, 0x1.ffffffffe87c7p+500},
229     {0x1.fffffffc10514p+500, 0x0.0000000000001p-1022, 0x1.fffffffc10514p+500},
230     {0x1.00641aa9e2e42p+501, -0x0.0000000000001p-1022, 0x1.00641aa9e2e42p+501},
231     {0x1.fffffffc10514p+500, -0x0p+0, 0x1.fffffffc10514p+500},
232     {0x1.fffecc7ae3ad1p+500, 0x0.0000000000001p-1022, 0x1.fffecc7ae3ad1p+500},
233     {0x1.fffffffffffedp+500, -0x0.0000000000001p-1022, 0x1.fffffffffffedp+500},
234     {0x1.0000000010cbbp+501, -0x0p+0, 0x1.0000000010cbbp+501},
235     {0x1.fffffffff5ecep+500, 0x0.0000000000001p-1022, 0x1.fffffffff5ecep+500},
236     {0x1.ffffea085b951p-502, -0x0.0000000000001p-1022, 0x1.ffffea085b951p-502},
237     {0x1.fffffee6d1604p-502, -0x0p+0, 0x1.fffffee6d1604p-502},
238     {0x1.0000000b3f4dap-501, 0x0.0000000000001p-1022, 0x1.0000000b3f4dap-501},
239     {0x1.000007b04657ep-501, -0x0.0000000000001p-1022, 0x1.000007b04657ep-501},
240     {0x1.fda754884c385p-502, -0x0p+0, 0x1.fda754884c385p-502},
241     {0x1.fea8c29706fb4p-502, 0x0.0000000000001p-1022, 0x1.fea8c29706fb4p-502},
242     {0x1.fffffffffbad8p-502, -0x0.0000000000001p-1022, 0x1.fffffffffbad8p-502},
243     {0x1.ffffffffff46ep-502, -0x0p+0, 0x1.ffffffffff46ep-502},
244     {0x1.00006dd63611dp-501, 0x0.0000000000001p-1022, 0x1.00006dd63611dp-501},
245     {0x1.0000008335614p+501, 0x1.fffffffffffffp-1, 0x1.0000008335614p+501},
246     {0x1.00000013ae681p+501, 0x1p+0, 0x1.00000013ae681p+501},
247     {0x1.0000000010cb4p+501, 0x1.0000000000001p+0, 0x1.0000000010cb4p+501},
248     {0x1.000000347bc07p+501, 0x1.fffffffffffffp-1, 0x1.000000347bc07p+501},
249     {0x1.0000000000087p+501, 0x1p+0, 0x1.0000000000087p+501},
250     {0x1.000000014fe4ap+501, 0x1.0000000000001p+0, 0x1.000000014fe4ap+501},
251     {0x1.fffe65f92f926p+500, 0x1.fffffffffffffp-1, 0x1.fffe65f92f926p+500},
252     {0x1.ffff997e4be5p+500, 0x1p+0, 0x1.ffff997e4be5p+500},
253     {0x1.fffbfeeef6ed3p+500, 0x1.0000000000001p+0, 0x1.fffbfeeef6ed3p+500},
254     {0x1.035a19866e896p-501, 0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1},
255     {0x1.ffffffff70081p-502, 0x1p+0, 0x1p+0},
256     {0x1.9b71023f0bd99p-502, 0x1.0000000000001p+0, 0x1.0000000000001p+0},
257     {0x1.ffffffffff22p-502, 0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1},
258     {0x1.4309fe80a2c35p-501, 0x1p+0, 0x1p+0},
259     {0x1.10c27fa028b08p-501, 0x1.0000000000001p+0, 0x1.0000000000001p+0},
260     {0x1.08613fd014581p-501, 0x1.fffffffffffffp-1, 0x1.fffffffffffffp-1},
261     {0x1.fffffee6d1604p-502, 0x1p+0, 0x1p+0},
262     {0x1.fffffeae94da1p-502, 0x1.0000000000001p+0, 0x1.0000000000001p+0},
263     {0x1.ffffffe91c9ep+49, 0x1.fffffffffffffp-1, 0x1.ffffffe91c9ep+49},
264     {0x1.000000e4e1bfp+50, 0x1p+0, 0x1.000000e4e1bfp+50},
265     {0x1.ffff4d2fa1fep+49, 0x1.0000000000001p+0, 0x1.ffff4d2fa1fep+49},
266     {0x1.0da475abefffp+50, 0x1.fffffffffffffp-1, 0x1.0da475abefffp+50},
267     {0x1.ff172b5aeffep+49, 0x1p+0, 0x1.ff172b5aeffep+49},
268     {0x1.00000003d08fp+50, 0x1.0000000000001p+0, 0x1.00000003d08fp+50},
269     {0x1.ffffeb236c7ep+49, 0x1.fffffffffffffp-1, 0x1.ffffeb236c7ep+49},
270     {0x1.0000000001f3p+50, 0x1p+0, 0x1.0000000001f3p+50},
271     {0x1.fffc81ee29fep+49, 0x1.0000000000001p+0, 0x1.fffc81ee29fep+49},
272     {0x1.fffc81ee2a008p+50, 0x1.fffffffffffffp-1, 0x1.fffc81ee2a008p+50},
273     {0x1.000000000025cp+51, 0x1p+0, 0x1.000000000025cp+51},
274     {0x1.00e8d4a510004p+51, 0x1.0000000000001p+0, 0x1.00e8d4a510004p+51},
275     {0x1.00000000004b4p+51, 0x1.fffffffffffffp-1, 0x1.00000000004b4p+51},
276     {0x1.0000003938704p+51, 0x1p+0, 0x1.0000003938704p+51},
277     {0x1.001d1a94a2004p+51, 0x1.0000000000001p+0, 0x1.001d1a94a2004p+51},
278     {0x1.000000bebc204p+51, 0x1.fffffffffffffp-1, 0x1.000000bebc204p+51},
279     {0x1.03691d6afc004p+51, 0x1p+0, 0x1.03691d6afc004p+51},
280     {0x1.221b262dd8004p+51, 0x1.0000000000001p+0, 0x1.221b262dd8004p+51},
281     {0x1.0000011e1a304p+52, 0x1.fffffffffffffp-1, 0x1.0000011e1a304p+52},
282     {0x1.00000000927c4p+52, 0x1p+0, 0x1.00000000927c4p+52},
283     {0x1.d28677c2e0008p+51, 0x1.0000000000001p+0, 0x1.d28677c2e0008p+51},
284     {0x1.000e8d4a51004p+52, 0x1.fffffffffffffp-1, 0x1.000e8d4a51004p+52},
285     {0x1.f4a19df0b8008p+51, 0x1p+0, 0x1.f4a19df0b8008p+51},
286     {0x1.0000001c9c384p+52, 0x1.0000000000001p+0, 0x1.0000001c9c384p+52},
287     {0x1.000000000013p+52, 0x1.fffffffffffffp-1, 0x1.000000000013p+52},
288     {0x1.fffffff48e508p+51, 0x1p+0, 0x1.fffffff48e508p+51},
289     {0x1.fffffe8287c08p+51, 0x1.0000000000001p+0, 0x1.fffffe8287c08p+51},
290     {0x1.00000000f423fp+53, 0x1.fffffffffffffp-1, 0x1.00000000f423fp+53},
291     {0x1.ffffffff6d83ep+52, 0x1p+0, 0x1.ffffffff6d83ep+52},
292     {0x1.fffffffff8acep+52, 0x1.0000000000001p+0, 0x1.fffffffff8acep+52},
293     {0x1.000000026259fp+53, 0x1.fffffffffffffp-1, 0x1.000000026259fp+53},
294     {0x1.ffffe2329affep+52, 0x1p+0, 0x1.ffffe2329affep+52},
295     {0x1.01fd512912fffp+53, 0x1.0000000000001p+0, 0x1.01fd512912fffp+53},
296     {0x1.0b5e620f47fffp+53, 0x1.fffffffffffffp-1, 0x1.0b5e620f47fffp+53},
297     {0x1.fffed5fa0dffep+52, 0x1p+0, 0x1.fffed5fa0dffep+52},
298     {0x1.ffffffffffcdep+52, 0x1.0000000000001p+0, 0x1.ffffffffffcdep+52},
299     {0x1.fffffffffb1e8p+53, 0x1.fffffffffffffp-1, 0x1.fffffffffb1e8p+53},
300     {0x1.012309ce54004p+54, 0x1p+0, 0x1.012309ce54004p+54},
301     {0x1.000000001e84cp+54, 0x1.0000000000001p+0, 0x1.000000001e84cp+54},
302     {0x1.00000007270e4p+54, 0x1.fffffffffffffp-1, 0x1.00000007270e4p+54},
303     {0x1.0001176592e04p+54, 0x1p+0, 0x1.0001176592e04p+54},
304     {0x1.ffffffffdb618p+53, 0x1.0000000000001p+0, 0x1.ffffffffdb618p+53},
305     {0x1.000000ee6b284p+54, 0x1.fffffffffffffp-1, 0x1.000000ee6b284p+54},
306     {0x1.00000000005ep+54, 0x1p+0, 0x1.00000000005ep+54},
307     {0x1.00246139ca804p+54, 0x1.0000000000001p+0, 0x1.00246139ca804p+54},
308     {0x1.1923bf703d08fp-500, 0x1.fffffffff984bp-501, 0x1.7c3b18cc127d6p-500},
309     {0x1.000000000008dp-500, 0x1.fffffffffaf53p-501, 0x1.6a09e667f1faap-500},
310     {0x1.ffffdf0c89601p-501, 0x1.ffe1f76d3703dp-501, 0x1.69ff3c96de653p-500},
311     {0x1.035a19866e896p-500, 0x1.32477ee07a126p-500, 0x1.9155f7a0d51b4p-500},
312     {0x1.29e63f1065b9ep-500, 0x1.0000000167e95p-500, 0x1.88c8f571924fep-500},
313     {0x1.ffffd410b72b1p-501, 0x1.ffffffffffb74p-501, 0x1.6a09d6df6ffcp-500},
314     {0x1.0000000167ea4p-500, 0x1.000000006bf8ep-500, 0x1.6a09e6693e957p-500},
315     {0x1.00000000b3f56p-500, 0x1.0000008c974fp-500, 0x1.6a09e6cbdcaf9p-500},
316     {0x1.0000000e0f221p-500, 0x1.fffeb67d5dca4p-501, 0x1.6a0971f21994fp-500},
317     {0x1.fff0e36ff7f3fp-61, 0x1.ffffffffffbecp-61, 0x1.6a048eb3b9d49p-60},
318     {0x1.fed1c4bf5f15fp-61, 0x1.dc950e6d249d1p-61, 0x1.5d4f1aa2097c3p-60},
319     {0x1.05e7284324906p-60, 0x1.000000c612065p-60, 0x1.6e3c8a82a0da4p-60},
320     {0x1.00078e480406p-60, 0x1.fffcfa4997fd5p-61, 0x1.6a0e2ca856ca1p-60},
321     {0x1.004b8ed0283a9p-60, 0x1.fffffffe04f0ep-61, 0x1.6a3f57c712b9ap-60},
322     {0x1.fffe7d24cbff2p-61, 0x1.000000c612065p-60, 0x1.6a095e2de0ffcp-60},
323     {0x1.ffffffd862cbep-61, 0x1.000060b6cd002p-60, 0x1.6a0a2abd166d6p-60},
324     {0x1.000000000cad5p-60, 0x1.fffffffff8653p-61, 0x1.6a09e667fa035p-60},
325     {0x1.ffffffbaace49p-61, 0x1.000000000cad5p-60, 0x1.6a09e64f7a26dp-60},
326     {0x1.67ae147ae147bp-7, 0x1.46e978d4fdf3bp-7, 0x1.e60be4975b5eep-7},
327     {0x1.c9374bc6a7efap-8, 0x1.4fae147ae147bp-5, 0x1.5482b15e69178p-5},
328     {0x1.cd4cccccccccdp-1, 0x1.05604189374bcp-7, 0x1.cd516d8eb319ap-1},
329     {0x1.c9374bc6a7efap-8, 0x1.03126e978d4fep-9, 0x1.db362a1ea4965p-8},
330     {0x1.4bae147ae147bp-4, 0x1.cd4cccccccccdp-1, 0x1.cf28cddb901f3p-1},
331     {0x1.66e6666666666p-1, 0x1.67ae147ae147bp-7, 0x1.66f1a9eab418bp-1},
332     {0x1.9a1999999999ap-1, 0x1.03126e978d4fep-9, 0x1.9a19eb6e77001p-1},
333     {0x1.9d9999999999ap-4, 0x1.cd4cccccccccdp-1, 0x1.d030267630536p-1},
334     {0x1.2624dd2f1a9fcp-7, 0x1.049ba5e353f7dp-8, 0x1.41b6c14e0ceafp-7},
335     {0x1p-1, 0x1p-1, 0x1.6a09e667f3bcdp-1},
336     {0x1p-1, 0x1p-1, 0x1.6a09e667f3bcdp-1},
337     {0x1.999999999999ap-1, 0x1p-1, 0x1.e30513d6a7203p-1},
338     {0x1p-1, 0x1.ccccccccccccdp-1, 0x1.07917112b9a06p+0},
339     {0x1p-1, 0x1p-1, 0x1.6a09e667f3bcdp-1},
340     {0x1p-1, 0x1p-1, 0x1.6a09e667f3bcdp-1},
341     {0x1p-1, 0x1p-1, 0x1.6a09e667f3bcdp-1},
342     {0x1.999999999999ap-3, 0x1.999999999999ap-2, 0x1.c9f25c5bfedd9p-2},
343     {0x1.999999999999ap-3, 0x1.ccccccccccccdp-1, 0x1.d80a69c19e42ap-1},
344     {0x1.fffffffffffffp+0, 0x1.fffffffffffffp+0, 0x1.6a09e667f3bccp+1},
345     {0x1.fffffffffffffp+0, 0x1p+1, 0x1.6a09e667f3bccp+1},
346     {0x1.fffffffffffffp+0, 0x1.0000000000001p+1, 0x1.6a09e667f3bcdp+1},
347     {0x1p+1, 0x1.fffffffffffffp+0, 0x1.6a09e667f3bccp+1},
348     {0x1p+1, 0x1p+1, 0x1.6a09e667f3bcdp+1},
349     {0x1p+1, 0x1.0000000000001p+1, 0x1.6a09e667f3bcdp+1},
350     {0x1.0000000000001p+1, 0x1.fffffffffffffp+0, 0x1.6a09e667f3bcdp+1},
351     {0x1.0000000000001p+1, 0x1p+1, 0x1.6a09e667f3bcdp+1},
352     {0x1.0000000000001p+1, 0x1.0000000000001p+1, 0x1.6a09e667f3bcep+1},
353     {0x1.fffffffffffffp+9, 0x1.fffffffffffffp+9, 0x1.6a09e667f3bccp+10},
354     {0x1.fffffffffffffp+9, 0x1p+10, 0x1.6a09e667f3bccp+10},
355     {0x1.fffffffffffffp+9, 0x1.0000000000001p+10, 0x1.6a09e667f3bcdp+10},
356     {0x1p+10, 0x1.fffffffffffffp+9, 0x1.6a09e667f3bccp+10},
357     {0x1p+10, 0x1p+10, 0x1.6a09e667f3bcdp+10},
358     {0x1p+10, 0x1.0000000000001p+10, 0x1.6a09e667f3bcdp+10},
359     {0x1.0000000000001p+10, 0x1.fffffffffffffp+9, 0x1.6a09e667f3bcdp+10},
360     {0x1.0000000000001p+10, 0x1p+10, 0x1.6a09e667f3bcdp+10},
361     {0x1.0000000000001p+10, 0x1.0000000000001p+10, 0x1.6a09e667f3bcep+10},
362     {0x1.0000000000f4ep+60, 0x1.ff1ca056ce618p+59, 0x1.69b98bd2a8be2p+60},
363     {0x1.0000000000192p+60, 0x1.0000000042c29p+60, 0x1.6a09e66823036p+60},
364     {0x1.0000574fbde6cp+60, 0x1.fff4a19df0b98p+59, 0x1.6a061f31a2a58p+60},
365     {0x1.0002d79883d2cp+60, 0x1.00001d1a94a2cp+60, 0x1.6a0bfd7a8699bp+60},
366     {0x1.01550f7dca70cp+60, 0x1.fffffffffedc8p+59, 0x1.6afb6111ce859p+60},
367     {0x1.0038d7ea4c68cp+60, 0x1.0000000042c29p+60, 0x1.6a321a651df5dp+60},
368     {0x1.0000006fc23b8p+60, 0x1.b1a2bc2ec500cp+60, 0x1.f7902ebf51163p+60},
369     {0x1.9b6e64a8ec60cp+60, 0x1.00012309ce54cp+60, 0x1.e4937677b8d97p+60},
370     {0x1.00012309ce54cp+60, 0x1.000000004c4cp+60, 0x1.6a0ab433f3b3dp+60},
371     {0x1.000000419ab09p+500, 0x1.fffc6570ab07ep+499, 0x1.6a08a06a5398p+500},
372     {0x1.00002e20c43f7p+500, 0x1.000000000019ap+500, 0x1.6a0a0706045d7p+500},
373     {0x1.00501554b5834p+500, 0x1.000001066ac2bp+500, 0x1.6a428c2fbcc76p+500},
374     {0x1.001405552d60bp+500, 0x1.fffffffffca3dp+499, 0x1.6a180ed71efb5p+500},
375     {0x1.0000000d1efp+500, 0x1.00781fff1045p+500, 0x1.6a5ee157bbab1p+500},
376     {0x1.00641aa9e2e42p+500, 0x1.00501554b5834p+500, 0x1.6a895019a65e8p+500},
377     {0x1.fffffadfea318p+499, 0x1.000000000000bp+500, 0x1.6a09e4980f598p+500},
378     {0x1.fffffffe6ced2p+499, 0x1.fffffffffff8dp+499, 0x1.6a09e66765383p+500},
379     {0x1.f69d8012ba98ap+499, 0x1.0000000000042p+500, 0x1.66bc6a97518f8p+500},
380     {0x1.ffffffffffed4p+1022, 0x1.fffffffffffffp-1, 0x1.ffffffffffed4p+1022},
381     {0x1.fffd15639c66p+1022, 0x1p+0, 0x1.fffd15639c66p+1022},
382     {0x1.fffffffc2d67p+1022, 0x1.0000000000001p+0, 0x1.fffffffc2d67p+1022},
383     {0x1.ffd440d629f93p+1022, 0x1.fffffffffffffp-1, 0x1.ffd440d629f93p+1022},
384     {0x1.fffff888ad158p+1022, 0x1p+0, 0x1.fffff888ad158p+1022},
385     {0x1.fa4dc68d771cp+1022, 0x1.0000000000001p+0, 0x1.fa4dc68d771cp+1022},
386     {0x1.fffffdc29a534p+1022, 0x1.fffffffffffffp-1, 0x1.fffffdc29a534p+1022},
387     {0x1.00000004c73f5p+1023, 0x1p+0, 0x1.00000004c73f5p+1023},
388     {0x1.00074a86f9012p+1023, 0x1.0000000000001p+0, 0x1.00074a86f9012p+1023},
389     {0x1.00a4370616e16p-27, 0x1.122f868a38cccp-27, 0x1.778e70488ad31p-27},
390     {0x1.00a436e94441bp-27, 0x1.122dc467b7ad5p-27, 0x1.778d27931b14p-27},
391     {0x1.015422e84ff9fp-27, 0x1.122dc42e126dfp-27, 0x1.780575b3feda5p-27},
392     {0x1.00a436e8dce19p-27, 0x1.122dc42e118b4p-27, 0x1.778d2768bdf7p-27},
393     {0x1.00a436e93fc17p-27, 0x1.122dc42e153bbp-27, 0x1.778d27690439fp-27},
394     {0x1.00a436e944329p-27, 0x1.122dc42e12226p-27, 0x1.778d276904ffep-27},
395     {0x1.00a434a8ce3afp-27, 0x1.122d80a03fb44p-27, 0x1.778cf48d64922p-27},
396     {0x1.00a436e944329p-27, 0x1.122dc30dd74e3p-27, 0x1.778d269697746p-27},
397     {0x1.00a436e945a8ap-27, 0x1.122dc3bac77dcp-27, 0x1.778d2714da3e9p-27},
398     {0x1.24be9c4d90fe4p+0, -0x1.4ff74195af887p+0, 0x1.bd9d5af5a679cp+0},
399     {0x1.0895a68b01a21p+0, -0x1.04b3ac14a9639p+0, 0x1.73719891996d6p+0},
400     {0x1.06064a620bdf8p+0, -0x1.1515f9e79b0d8p+0, 0x1.7d5b7c711f468p+0},
401     {0x1.a4be9c4d90fe4p+0, -0x1.0344ababcdd7ep+0, 0x1.ee3667e835a8fp+0},
402     {0x1.0db45edced273p+0, -0x1.b65da7fc15eedp+0, 0x1.01583dfda8f8ap+1},
403     {0x1.24be9c4d90fe4p+0, -0x1.b65da7fc15eedp+0, 0x1.0790647a7b7afp+1},
404     {0x1.0c2b2791267f4p+0, -0x1.04b3ac14a9639p+0, 0x1.7601500031aa3p+0},
405     {0x1.24be9c4d90fe4p+0, -0x1.0337903a5849cp+0, 0x1.8703e1fd40734p+0},
406     {0x1.24be9c4d90fe4p+0, -0x1.05b9d0f1d87e3p+0, 0x1.88aecdbb5e4f1p+0},
407     {0x1.38453c11d115ap+7, 0x1.3453527fc3dadp+7, 0x1.b6d621cd422b5p+7},
408     {0x1.38457d9b08617p+7, 0x1.3458641ca450dp+7, 0x1.b6d9e0264657cp+7},
409     {0x1.384a821c7761dp+7, 0x1.34534175b05ddp+7, 0x1.b6d9d684bb19bp+7},
410     {0x1.3846698902a57p+7, 0x1.34534aa27fc78p+7, 0x1.b6d6f2cbd7352p+7},
411     {0x1.384568a252d88p+7, 0x1.352012311f321p+7, 0x1.b76634c5c41d7p+7},
412     {0x1.384fa0d4c94d6p+7, 0x1.3453527fc3ddp+7, 0x1.b6dd873a09f9dp+7},
413     {0x1.3878969758a98p+7, 0x1.34532b2d6f7a2p+7, 0x1.b6fa92906c972p+7},
414     {0x1.3846ec9b713cfp+7, 0x1.3455d4c07b5bp+7, 0x1.b6d918d5f6a76p+7},
415     {0x1.3846698902a57p+7, 0x1.3458641ca453p+7, 0x1.b6da8807895b1p+7},
416     {-0x1.91e5410e3bb08p-5, -0x1.4678678978599p-2, 0x1.4a501ba8876acp-2},
417     {-0x1.46b78969758a9p-2, -0x1.2f68fad83d193p-6, 0x1.47444d1dcc20cp-2},
418     {-0x1.ccb3bc8ada473p-7, -0x1.c024024623e65p-3, 0x1.c11092a2d9047p-3},
419     {-0x1.43d3e83532532p-4, -0x1.4678678978599p-2, 0x1.505bb9355d414p-2},
420     {-0x1.95bf6d53eaa51p-4, -0x1.7009009188f99p-1, 0x1.738371a9ceb57p-1},
421     {-0x1.3ed31c1eec865p-6, -0x1.32afd735a0a1ap-6, 0x1.ba62ff1cf72c7p-6},
422     {-0x1.91e5410e3bb08p-5, -0x1.e5941c31177bcp-7, 0x1.a3d44f4b636f9p-5},
423     {-0x1.3b8c3fc188fdep-6, -0x1.3e00acef99d6cp-5, 0x1.62fd9491fbfe3p-5},
424     {-0x1.27e3159133cb8p-6, -0x1.a40ae4e550d3dp-7, 0x1.6ad8e1568186bp-6},
425     {-0x1.384563804b383p-16, -0x1.09cc3d7f1cbf5p-16, 0x1.9a13419c1360ep-16},
426     {-0x1.3845659718a5fp-16, -0x1.09cc06855cd45p-16, 0x1.9a131f912cbcfp-16},
427     {-0x1.385adcf307a66p-16, -0x1.09cc3d73da3a3p-16, 0x1.9a239c1b8f331p-16},
428     {-0x1.38455efe3f158p-16, -0x1.09ca85b11eea8p-16, 0x1.9a12211c84b87p-16},
429     {-0x1.38456364262e4p-16, -0x1.09cc3d7f3226p-16, 0x1.9a134186b2a26p-16},
430     {-0x1.3845624aabddcp-16, -0x1.09d089021691bp-16, 0x1.9a16095ed6b3ap-16},
431     {-0x1.384566b0923ep-16, -0x1.ff76850a2b8c8p-17, 0x1.939f95a43a966p-16},
432     {-0x1.384566b0923ep-16, -0x1.09cc3d7f1f69ep-16, 0x1.9a134409acdf6p-16},
433     {-0x1.384563658dbf8p-16, -0x1.0976574393c5dp-16, 0x1.99db996011143p-16},
434     {-0x1.08p-1, -0x1.6e66666666666p-1, 0x1.c39a47be33c5cp-1},
435     {-0x1.5c28f5c28f5c3p-7, -0x1.b99999999999ap-3, 0x1.ba22c3315c011p-3},
436     {-0x1.01a36e2eb1c43p-6, -0x1.10624dd2f1aap-6, 0x1.76ed6d000fbcap-6},
437     {-0x1.10624dd2f1aap-6, -0x1.9db22d0e56042p-7, 0x1.5605aa6c00841p-6},
438     {-0x1.0cccccccccccdp-4, -0x1.5c28f5c28f5c3p-7, 0x1.104cddb207907p-4},
439     {-0x1.f972474538ef3p-7, -0x1.a3d70a3d70a3dp-6, 0x1.ea090c821def9p-6},
440     {-0x1.ef9db22d0e56p-7, -0x1.0cccccccccccdp-4, 0x1.13d8cbd52902ep-4},
441     {-0x1.3126e978d4fdfp-6, -0x1.9db22d0e56042p-7, 0x1.70a6c0aebaccp-6},
442     {-0x1.7ced916872b02p-7, -0x1.9db22d0e56042p-7, 0x1.192e4785f917dp-6},
443     {-0x0.0000000000001p-1022, -0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
444     {-0x0.0000000000001p-1022, -0x0p+0, 0x0.0000000000001p-1022},
445     {-0x0.0000000000001p-1022, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
446     {-0x0p+0, -0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
447     {-0x0p+0, -0x0p+0, 0x0p+0},
448     {-0x0p+0, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
449     {0x0.0000000000001p-1022, -0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
450     {0x0.0000000000001p-1022, -0x0p+0, 0x0.0000000000001p-1022},
451     {0x0.0000000000001p-1022, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
452     {0x1.fff93b14d9547p-401, 0x1.fffc9d8a6caa5p-402, 0x1.1e3411de2600ep-400},
453     {0x1.e58ec970f0dp-401, 0x1.ffff52b548ef1p-402, 0x1.12746b31c4f88p-400},
454     {0x1.006589c744118p-400, 0x1.0000000038c8ep-401, 0x1.1e924edd5bceap-400},
455     {0x1.069c4da3c3cc3p-400, 0x1.fff9e85f9065ap-402, 0x1.24244796c262dp-400},
456     {0x1.fffffffe7282dp-401, 0x1.0000000000918p-401, 0x1.1e3779b8cda7dp-400},
457     {0x1.fc089e375752ap-401, 0x1.00000000000ebp-401, 0x1.1c71bca115fc9p-400},
458     {0x1.fffffffffae3fp-401, 0x1.0000000022123p-401, 0x1.1e3779b9849fdp-400},
459     {0x1.015275ed8d8f5p-400, 0x1.ffffffe561e35p-402, 0x1.1f665c0bdbb8fp-400},
460     {0x1.00000000000ebp-400, 0x1.fffffe445f734p-402, 0x1.1e377987e5fe2p-400},
461     {0x1.000000005873ep-512, 0x1.ffff6289bb7e2p-512, 0x1.1e37334e48825p-511},
462     {0x1.01079bb4f8969p-512, 0x1.11297872d9cb7p-511, 0x1.2de221d71775p-511},
463     {0x1.ffcb474234aefp-513, 0x1.ffffffc669f51p-512, 0x1.1e3194e29eda6p-511},
464     {0x1.000070790c5c9p-512, 0x1.ffffffe8f72e8p-512, 0x1.1e3792d588d61p-511},
465     {0x1.000070790c5c9p-512, 0x1.fffe3e1bce8dep-512, 0x1.1e36c9ad67415p-511},
466     {0x1.000000000003ep-512, 0x1.0000011fee33ep-511, 0x1.1e377abb07b45p-511},
467     {0x1.f9229c9edc153p-513, 0x1.000070790c5c3p-511, 0x1.1d7471b139caap-511},
468     {0x1.00000002e11a4p-512, 0x1.000006bf95388p-511, 0x1.1e377fc35696ep-511},
469     {0x1.ffffffffc5086p-513, 0x1.ffffffffc507ap-512, 0x1.1e3779b95e537p-511},
470     {0x1.000000007a532p+1022, 0x1.ffffffffffefcp+1020, 0x1.1e3779b9ecb1cp+1022},
471     {0x1.0000005f90f22p+1022, 0x1.00000098e7e93p+1021, 0x1.1e377a312a3f9p+1022},
472     {0x1.f49b8d1aee37fp+1021, 0x1.ffc5abc837f83p+1020, 0x1.191b843627536p+1022},
473     {0x1.fffffa06f0dep+1021, 0x1.fea206b14fc81p+1020, 0x1.1e1060eb77048p+1022},
474     {0x1.fffffff85acdfp+1021, 0x1.fffa2ac738cabp+1020, 0x1.1e36d2c45661cp+1022},
475     {0x1.0000001cab7bep+1022, 0x1.00001665f8c02p+1021, 0x1.1e377ed54bca5p+1022},
476     {0x1.0000000009c94p+1022, 0x1.ffffffffff4f7p+1020, 0x1.1e3779b987f78p+1022},
477     {0x1.ffffffece302dp+1021, 0x1.fffffffffb1a3p+1020, 0x1.1e3779b0f2884p+1022},
478     {0x1.0000000004e4ap+1022, 0x1.fffffffc2d684p+1020, 0x1.1e3779b91641fp+1022},
479     {HUGE_VALF, HUGE_VALF, HUGE_VALF},
480     {HUGE_VALF, HUGE_VALF, HUGE_VALF},
481     {HUGE_VALF, 0x0.ffffff3ef963p-1022, HUGE_VALF},
482     {HUGE_VALF, 0x0.0000000000001p-1022, HUGE_VALF},
483     {HUGE_VALF, 0x0p+0, HUGE_VALF},
484     {HUGE_VALF, -0x0p+0, HUGE_VALF},
485     {HUGE_VALF, -0x0.0000000000001p-1022, HUGE_VALF},
486     {HUGE_VALF, -0x0.fffffe7df2c63p-1022, HUGE_VALF},
487     {HUGE_VALF, -0x1.ffffffffb69c3p+1023, HUGE_VALF},
488     {HUGE_VALF, -HUGE_VALF, HUGE_VALF},
489     {-HUGE_VALF, HUGE_VALF, HUGE_VALF},
490     {-HUGE_VALF, HUGE_VALF, HUGE_VALF},
491     {-HUGE_VALF, 0x1.1702ae4d1fb5ap-1022, HUGE_VALF},
492     {-HUGE_VALF, 0x0.0000000000001p-1022, HUGE_VALF},
493     {-HUGE_VALF, 0x0p+0, HUGE_VALF},
494     {-HUGE_VALF, -0x0p+0, HUGE_VALF},
495     {-HUGE_VALF, -0x0.0000000000001p-1022, HUGE_VALF},
496     {-HUGE_VALF, -0x1.012688b70e628p-1022, HUGE_VALF},
497     {-HUGE_VALF, -0x1.ffffed55b0b7p+1023, HUGE_VALF},
498     {-HUGE_VALF, -HUGE_VALF, HUGE_VALF},
499     {0x1.c709c186a718ep+1023, HUGE_VALF, HUGE_VALF},
500     {0x0.fffffffffe05dp-1022, HUGE_VALF, HUGE_VALF},
501     {0x0.0000000000001p-1022, HUGE_VALF, HUGE_VALF},
502     {0x0p+0, HUGE_VALF, HUGE_VALF},
503     {-0x0p+0, HUGE_VALF, HUGE_VALF},
504     {-0x0.0000000000001p-1022, HUGE_VALF, HUGE_VALF},
505     {-0x1.00000000007e5p-1022, HUGE_VALF, HUGE_VALF},
506     {-HUGE_VALF, HUGE_VALF, HUGE_VALF},
507     {-HUGE_VALF, HUGE_VALF, HUGE_VALF},
508     {HUGE_VALF, -HUGE_VALF, HUGE_VALF},
509     {0x1.f1c27061a9c73p+1023, -HUGE_VALF, HUGE_VALF},
510     {0x0.ffffffecb289cp-1022, -HUGE_VALF, HUGE_VALF},
511     {0x0.0000000000001p-1022, -HUGE_VALF, HUGE_VALF},
512     {0x0p+0, -HUGE_VALF, HUGE_VALF},
513     {-0x0p+0, -HUGE_VALF, HUGE_VALF},
514     {-0x0.0000000000001p-1022, -HUGE_VALF, HUGE_VALF},
515     {-0x1.000096cd2a863p-1022, -HUGE_VALF, HUGE_VALF},
516     {-0x1.fffffe222b46bp+1023, -HUGE_VALF, HUGE_VALF},
517     {0x0p+0, 0x1.ffff4558e71acp+1023, 0x1.ffff4558e71acp+1023},
518     {0x0p+0, 0x1.0000000013c3ep-1022, 0x1.0000000013c3ep-1022},
519     {0x0p+0, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
520     {0x0p+0, 0x0p+0, 0x0p+0},
521     {0x0p+0, -0x0p+0, 0x0p+0},
522     {0x0p+0, -0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
523     {0x0p+0, -0x1.0000000018b4ep-1022, 0x1.0000000018b4ep-1022},
524     {0x0p+0, -0x1.fa4dc68d771d4p+1023, 0x1.fa4dc68d771d4p+1023},
525     {-0x0p+0, 0x1.8e13830d4e308p+1023, 0x1.8e13830d4e308p+1023},
526     {-0x0p+0, 0x1.3986b3c0cf466p-1022, 0x1.3986b3c0cf466p-1022},
527     {-0x0p+0, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
528     {-0x0p+0, 0x0p+0, 0x0p+0},
529     {-0x0p+0, -0x0p+0, 0x0p+0},
530     {-0x0p+0, -0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
531     {-0x0p+0, -0x0.ffffffffffffdp-1022, 0x0.ffffffffffffdp-1022},
532     {-0x0p+0, -HUGE_VALF, HUGE_VALF},
533     {HUGE_VALF, 0x0p+0, HUGE_VALF},
534     {0x1.0000000000192p-1022, 0x0p+0, 0x1.0000000000192p-1022},
535     {0x0.0000000000001p-1022, 0x0p+0, 0x0.0000000000001p-1022},
536     {-0x0.0000000000001p-1022, 0x0p+0, 0x0.0000000000001p-1022},
537     {-0x1.00000039e8621p-1022, 0x0p+0, 0x1.00000039e8621p-1022},
538     {-HUGE_VALF, 0x0p+0, HUGE_VALF},
539     {0x1.e9371a35dc712p+1023, -0x0p+0, 0x1.e9371a35dc712p+1023},
540     {0x1.00000f1484407p-1022, -0x0p+0, 0x1.00000f1484407p-1022},
541     {0x0.0000000000001p-1022, -0x0p+0, 0x0.0000000000001p-1022},
542     {-0x0.0000000000001p-1022, -0x0p+0, 0x0.0000000000001p-1022},
543     {-0x0.fffffffffe845p-1022, -0x0p+0, 0x0.fffffffffe845p-1022},
544     {-HUGE_VALF, -0x0p+0, HUGE_VALF},
545     {0x1.fffffffffffe2p+1023, HUGE_VALF, HUGE_VALF},
546     {HUGE_VALF, 0x1.00000000943e4p-1022, HUGE_VALF},
547     {0x1.fffffffe16b4cp+1023, 0x0.0000000000001p-1022, 0x1.fffffffe16b4cp+1023},
548     {0x1.fffffffe9107ep+1023, -0x0.0000000000001p-1022, 0x1.fffffffe9107ep+1023},
549     {HUGE_VALF, -0x1.0008d6057ddefp-1022, HUGE_VALF},
550     {0x1.ffffffffffa35p+1023, -HUGE_VALF, HUGE_VALF},
551     {0x1.0011ac0afbbe1p-1022, 0x0.fffff0eb7bbf3p-1022, 0x1.6a165af0f73d5p-1022},
552     {0x0.ffc517db6385bp-1022, 0x0.0000000000001p-1022, 0x0.ffc517db6385bp-1022},
553     {0x0.0000000000001p-1022, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
554     {-0x0.0000000000001p-1022, 0x0.0000000000001p-1022, 0x0.0000000000001p-1022},
555     {0x1.8p+1, 0x1p+2, 0x1.4p+2},
556     {0x1.8p+1, -0x1p+2, 0x1.4p+2},
557     {0x1.4p+2, 0x1.8p+3, 0x1.ap+3},
558     {0x1.4p+2, -0x1.8p+3, 0x1.ap+3}
559 };
560 
561 #endif
562