1 /*
2  * Copyright (c) 2003, 2004, Oracle and/or its affiliates. All rights reserved.
3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4  *
5  * This code is free software; you can redistribute it and/or modify it
6  * under the terms of the GNU General Public License version 2 only, as
7  * published by the Free Software Foundation.
8  *
9  * This code is distributed in the hope that it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12  * version 2 for more details (a copy is included in the LICENSE file that
13  * accompanied this code).
14  *
15  * You should have received a copy of the GNU General Public License version
16  * 2 along with this work; if not, write to the Free Software Foundation,
17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18  *
19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20  * or visit www.oracle.com if you need additional information or have any
21  * questions.
22  */
23 
24 /*
25  * @test
26  * @bug 4851638
27  * @summary Tests for StrictMath.expm1
28  * @author Joseph D. Darcy
29  */
30 package test.java.lang.StrictMath;
31 
32 import org.testng.annotations.Test;
33 
34 /**
35  * The tests in ../Math/Expm1Tests.java test properties that should hold for any expm1
36  * implementation, including the FDLIBM-based one required for StrictMath.expm1.  Therefore, the
37  * test cases in ../Math/Expm1Tests.java are run against both the Math and StrictMath versions of
38  * expm1.  The role of this test is to verify that the FDLIBM expm1 algorithm is being used by
39  * running golden file tests on values that may vary from one conforming expm1 implementation to
40  * another.
41  */
42 
43 public class Expm1Tests {
44 
Expm1Tests()45     private Expm1Tests() {
46     }
47 
testExpm1Case(double input, double expected)48     static void testExpm1Case(double input, double expected) {
49         Tests.test("StrictMath.expm1(double)", input, StrictMath.expm1(input), expected);
50     }
51 
52     @Test
testExpm1()53     public void testExpm1() {
54         // Test cases in the range [-36.75, 710]
55         double[][] testCases = {
56                 {-0x1.580000008c619p3, -0x1.fffd3069586f6p-1},
57                 {-0x1.380000008c721p3, -0x1.fff85bf4a6e98p-1},
58                 {-0x1.180000008c9fap3, -0x1.ffeb3aeb95524p-1},
59                 {-0x1.f0000001197ccp2, -0x1.ffc78aadc116ap-1},
60                 {-0x1.b0000001197e7p2, -0x1.ff6687cca710bp-1},
61                 {-0x1.70000001197f6p2, -0x1.fe5ed3992a519p-1},
62                 {-0x1.30000001198p2, -0x1.fb9201482bdfap-1},
63                 {-0x1.e000000233006p1, -0x1.f3f57b658d6fbp-1},
64                 {-0x1.6000000233012p1, -0x1.df44d8ee30b76p-1},
65                 {-0x1.c000000466028p0, -0x1.a7071a097ed5ep-1},
66                 {-0x1.80000008cc052p-1, -0x1.0e25f8a4a95b7p-1},
67                 {0x1.ffffffdccfeb7p-3, 0x1.22d78ef909144p-2},
68                 {0x1.3ffffffb99fd7p0, 0x1.3ec38ed3629a6p1},
69                 {0x1.1ffffffdccfebp1, 0x1.0f9b882a107edp3},
70                 {0x1.9ffffffdccfebp1, 0x1.8ca53b70fa11bp4},
71                 {0x1.0ffffffee67f6p2, 0x1.146bf132050c5p6},
72                 {0x1.4ffffffee67f5p2, 0x1.7b21ede9f0bdap7},
73                 {0x1.8ffffffee67f5p2, 0x1.0281a438aa523p9},
74                 {0x1.cffffffee67f5p2, 0x1.5fc6b5cf322c4p10},
75                 {0x1.07ffffff733fap3, 0x1.de5406b276b92p11},
76                 {0x1.27ffffff733fap3, 0x1.451c8690d1567p13},
77                 {0x1.47ffffff733fap3, 0x1.b9e62ae5924dfp14},
78                 {0x1.67ffffff733fap3, 0x1.2c4eeb7089cp16},
79                 {0x1.87ffffff733fap3, 0x1.982a24f2ab78ap17},
80                 {0x1.a7ffffff733fap3, 0x1.1560a14319349p19},
81                 {0x1.c7ffffff733fap3, 0x1.78fed772b40f2p20},
82                 {0x1.e7ffffff733fap3, 0x1.0031f18ee602fp22},
83                 {0x1.03ffffffb99fdp4, 0x1.5c348d8118f26p23},
84                 {0x1.13ffffffb99fdp4, 0x1.d942943e22d74p24},
85                 {0x1.23ffffffb99fcp4, 0x1.419d1309466ep26},
86                 {0x1.33ffffffb99fcp4, 0x1.b51e403430afep27},
87                 {0x1.43ffffffb99fcp4, 0x1.290d76c47bd4cp29},
88                 {0x1.53ffffffb99fcp4, 0x1.93bc8061146dp30},
89                 {0x1.63ffffffb99fbp4, 0x1.125e0665544a5p32},
90                 {0x1.73ffffffb99fbp4, 0x1.74e75f9de5d7cp33},
91                 {0x1.83ffffffb99fbp4, 0x1.fad42d3f28732p34},
92                 {0x1.93ffffffb99fbp4, 0x1.586d071cb8f87p36},
93                 {0x1.a3ffffffb99fbp4, 0x1.d41f91d0b4e6ep37},
94                 {0x1.b3ffffffb99fbp4, 0x1.3e1f6e5bc0242p39},
95                 {0x1.c3ffffffb99fbp4, 0x1.b05fa9aebfa64p40},
96                 {0x1.d3ffffffb99fbp4, 0x1.25d410cc90a38p42},
97                 {0x1.e3ffffffb99fbp4, 0x1.8f5aab33aa6c6p43},
98                 {0x1.f3ffffffb99fbp4, 0x1.0f63a91bc9797p45},
99                 {0x1.01ffffffdccfep5, 0x1.70db367c88b28p46},
100                 {0x1.09ffffffdccfep5, 0x1.f553e36d2975fp47},
101                 {0x1.11ffffffdccfep5, 0x1.54afff2230e99p49},
102                 {0x1.19ffffffdccfep5, 0x1.cf0ad451f1e9fp50},
103                 {0x1.21ffffffdccfep5, 0x1.3aab7c88ef991p52},
104                 {0x1.29ffffffdccfep5, 0x1.abae41ecccd22p53},
105                 {0x1.31ffffffdccfep5, 0x1.22a3a0462535fp55},
106                 {0x1.39ffffffdccfdp5, 0x1.8b050329f95c8p56},
107                 {0x1.41ffffffdccfdp5, 0x1.0c719224d80a2p58},
108                 {0x1.49ffffffdccfdp5, 0x1.6cda4c755ea56p59},
109                 {0x1.51ffffffdccfdp5, 0x1.efe2e2b6ad6ebp60},
110                 {0x1.59ffffffdccfdp5, 0x1.50fd5a6337c61p62},
111                 {0x1.61ffffffdccfdp5, 0x1.ca043518d78acp63},
112                 {0x1.69ffffffdccfdp5, 0x1.374122dd2fbdbp65},
113                 {0x1.71ffffffdccfdp5, 0x1.a709e46cc671ep66},
114                 {0x1.79ffffffdccfdp5, 0x1.1f7c0c5482bf3p68},
115                 {0x1.81ffffffdccfdp5, 0x1.86bb667297515p69},
116                 {0x1.89ffffffdccfcp5, 0x1.0987aa8375abcp71},
117                 {0x1.91ffffffdccfcp5, 0x1.68e48248f27ddp72},
118                 {0x1.99ffffffdccfcp5, 0x1.ea8100a2e27e9p73},
119                 {0x1.a1ffffffdccfcp5, 0x1.4d54fc02d9352p75},
120                 {0x1.a9ffffffdccfcp5, 0x1.c50b8ceab6ad1p76},
121                 {0x1.b1ffffffdccfcp5, 0x1.33e046afc7062p78},
122                 {0x1.b9ffffffdccfcp5, 0x1.a2726cf2e78e3p79},
123                 {0x1.c1ffffffdccfcp5, 0x1.1c5d3c581edf2p81},
124                 {0x1.c9ffffffdccfcp5, 0x1.827db3961daecp82},
125                 {0x1.d1ffffffdccfbp5, 0x1.06a5db797b4b2p84},
126                 {0x1.d9ffffffdccfbp5, 0x1.64f9b90e23fb4p85},
127                 {0x1.e1ffffffdccfbp5, 0x1.e52e132ebafe2p86},
128                 {0x1.e9ffffffdccfbp5, 0x1.49b6c774442efp88},
129                 {0x1.f1ffffffdccfbp5, 0x1.c020b4f9d926cp89},
130                 {0x1.f9ffffffdccfbp5, 0x1.3088cda20d465p91},
131                 {0x1.00ffffffee67ep6, 0x1.9de7b7a818186p92},
132                 {0x1.04ffffffee67ep6, 0x1.194717f5da259p94},
133                 {0x1.08ffffffee67ep6, 0x1.7e4bc97a2360dp95},
134                 {0x1.0cffffffee67ep6, 0x1.03cc0e87f367bp97},
135                 {0x1.10ffffffee67ep6, 0x1.6119d231b67f5p98},
136                 {0x1.14ffffffee67ep6, 0x1.dfe9f0cbe5942p99},
137                 {0x1.18ffffffee67ep6, 0x1.4622a079fc2a6p101},
138                 {0x1.1cffffffee67ep6, 0x1.bb4386e45ae94p102},
139                 {0x1.20ffffffee67ep6, 0x1.2d3a9d9e9fe6p104},
140                 {0x1.24ffffffee67ep6, 0x1.9969a118d6261p105},
141                 {0x1.28ffffffee67ep6, 0x1.1639871642331p107},
142                 {0x1.2cffffffee67ep6, 0x1.7a2587603a84bp108},
143                 {0x1.30ffffffee67ep6, 0x1.00fa2d6e6a76ep110},
144                 {0x1.34ffffffee67ep6, 0x1.5d44af7562574p111},
145                 {0x1.38ffffffee67ep6, 0x1.dab4705f88c02p112},
146                 {0x1.3cffffffee67ep6, 0x1.42986b24fc9dcp114},
147                 {0x1.40ffffffee67ep6, 0x1.b673dcb2fe519p115},
148                 {0x1.44ffffffee67ep6, 0x1.29f59cd896383p117},
149                 {0x1.48ffffffee67ep6, 0x1.94f806342143cp118},
150                 {0x1.4cffffffee67ep6, 0x1.133471e4d5b38p120},
151                 {0x1.50ffffffee67ep6, 0x1.760acce4f0e03p121},
152                 {0x1.54ffffffee67ep6, 0x1.fc604454828ddp122},
153                 {0x1.58ffffffee67ep6, 0x1.597a32eee8c46p124},
154                 {0x1.5cffffffee67ep6, 0x1.d58d694102246p125},
155                 {0x1.60ffffffee67ep6, 0x1.3f180bd3df0d2p127},
156                 {0x1.64ffffffee67ep6, 0x1.b1b190d803f07p128},
157                 {0x1.68ffffffee67ep6, 0x1.26b9b1cab82dap130},
158                 {0x1.6cffffffee67ep6, 0x1.9092c44a68bc1p131},
159                 {0x1.70ffffffee67ep6, 0x1.1037c0cf4a5a6p133},
160                 {0x1.74ffffffee67ep6, 0x1.71fb79fed30fbp134},
161                 {0x1.78ffffffee67ep6, 0x1.f6dbadec024eep135},
162                 {0x1.7cffffffee67ep6, 0x1.55ba3f072a6dbp137},
163                 {0x1.80ffffffee67ep6, 0x1.d074b338a9163p138},
164                 {0x1.84ffffffee67ep6, 0x1.3ba167320351ap140},
165                 {0x1.88ffffffee67ep6, 0x1.acfc7e2e0558bp141},
166                 {0x1.8cffffffee67ep6, 0x1.2386c336b7163p143},
167                 {0x1.90ffffffee67ep6, 0x1.8c39b90c7cdap144},
168                 {0x1.94ffffffee67ep6, 0x1.0d435c84d4e66p146},
169                 {0x1.98ffffffee67ep6, 0x1.6df76efd7275ep147},
170                 {0x1.9cffffffee67ep6, 0x1.f1666c9163f86p148},
171                 {0x1.a0ffffffee67ep6, 0x1.5204b679406b7p150},
172                 {0x1.a4ffffffee67ep6, 0x1.cb6a267e94b7ap151},
173                 {0x1.a8ffffffee67ep6, 0x1.38346236ba483p153},
174                 {0x1.acffffffee67ep6, 0x1.a8547ff6d3311p154},
175                 {0x1.b0ffffffee67ep6, 0x1.205cb8246899ap156},
176                 {0x1.b4ffffffee67ep6, 0x1.87ecc28a831c1p157},
177                 {0x1.b8ffffffee67ep6, 0x1.0a572df57323ep159},
178                 {0x1.bcffffffee67ep6, 0x1.69fe8c886de24p160},
179                 {0x1.c0ffffffee67ep6, 0x1.ec0055aa644acp161},
180                 {0x1.c4ffffffee67ep6, 0x1.4e597c5197d13p163},
181                 {0x1.c8ffffffee67ep6, 0x1.c66d9bb965746p164},
182                 {0x1.ccffffffee67ep6, 0x1.34d0e22472ce2p166},
183                 {0x1.d0ffffffee67ep6, 0x1.a3b971da5668ap167},
184                 {0x1.d4ffffffee67ep6, 0x1.1d3b77e103d1ap169},
185                 {0x1.d8ffffffee67ep6, 0x1.83abbf32ed4f6p170},
186                 {0x1.dcffffffee67ep6, 0x1.07731e5137e95p172},
187                 {0x1.e0ffffffee67ep6, 0x1.6610b39e7ce7p173},
188                 {0x1.e4ffffffee67ep6, 0x1.e6a93f132076cp174},
189                 {0x1.e8ffffffee67ep6, 0x1.4ab873ed0fb2cp176},
190                 {0x1.ecffffffee67ep6, 0x1.c17eebfd11debp177},
191                 {0x1.f0ffffffee67ep6, 0x1.3176cc87e9082p179},
192                 {0x1.f4ffffffee67ep6, 0x1.9f2b2fe57487ap180},
193                 {0x1.f8ffffffee67ep6, 0x1.1a22e9fe60816p182},
194                 {0x1.fcffffffee67ep6, 0x1.7f768dd1738aap183},
195                 {0x1.007ffffff733fp7, 0x1.049717079907bp185},
196                 {0x1.027ffffff733fp7, 0x1.622dc5947dd63p186},
197                 {0x1.047ffffff733fp7, 0x1.e160ff1ccd30cp187},
198                 {0x1.067ffffff733fp7, 0x1.472180f8199d7p189},
199                 {0x1.087ffffff733fp7, 0x1.bc9df0c9b6e0fp190},
200                 {0x1.0a7ffffff733fp7, 0x1.2e26073757ed6p192},
201                 {0x1.0c7ffffff733fp7, 0x1.9aa99688f714bp193},
202                 {0x1.0e7ffffff733fp7, 0x1.1712f6523864dp195},
203                 {0x1.107ffffff733fp7, 0x1.7b4d0d8e11012p196},
204                 {0x1.127ffffff733fp7, 0x1.01c301c6bf29cp198},
205                 {0x1.147ffffff733fp7, 0x1.5e55a41486608p199},
206                 {0x1.167ffffff733fp7, 0x1.dc276c8c7156p200},
207                 {0x1.187ffffff733fp7, 0x1.4394876ddc7dap202},
208                 {0x1.1a7ffffff733fp7, 0x1.b7ca840a6b3bap203},
209                 {0x1.1c7ffffff733fp7, 0x1.2ade7851ad0fep205},
210                 {0x1.1e7ffffff733fp7, 0x1.963482987606p206},
211                 {0x1.207ffffff733fp7, 0x1.140b84f56a91bp208},
212                 {0x1.227ffffff733fp7, 0x1.772f1dec03a66p209},
213                 {0x1.247ffffff733fp7, 0x1.fded90f5af3ap210},
214                 {0x1.267ffffff733fp7, 0x1.5a88311cf6cbdp212},
215                 {0x1.287ffffff733fp7, 0x1.d6fc5e99a419dp213},
216                 {0x1.2a7ffffff733fp7, 0x1.40116b9759ebap215},
217                 {0x1.2c7ffffff733fp7, 0x1.b304801416466p216},
218                 {0x1.2e7ffffff733fp7, 0x1.27a0063dbe9cep218},
219                 {0x1.307ffffff733fp7, 0x1.91cbd14945353p219},
220                 {0x1.327ffffff733fp7, 0x1.110c7e4340e4fp221},
221                 {0x1.347ffffff733fp7, 0x1.731c9ec8ce996p222},
222                 {0x1.367ffffff733fp7, 0x1.f864aa9acffbdp223},
223                 {0x1.387ffffff733fp7, 0x1.56c54eff8fbcdp225},
224                 {0x1.3a7ffffff733fp7, 0x1.d1dfaced4eb1p226},
225                 {0x1.3c7ffffff733fp7, 0x1.3c98120a95d78p228},
226                 {0x1.3e7ffffff733fp7, 0x1.ae4bbfa449eaap229},
227                 {0x1.407ffffff733fp7, 0x1.246a97a9838dcp231},
228                 {0x1.427ffffff733fp7, 0x1.8d6f603164cebp232},
229                 {0x1.447ffffff733fp7, 0x1.0e15cad8b775ep234},
230                 {0x1.467ffffff733fp7, 0x1.6f15705b3f514p235},
231                 {0x1.487ffffff733fp7, 0x1.f2eb25494787dp236},
232                 {0x1.4a7ffffff733fp7, 0x1.530ce0608a8acp238},
233                 {0x1.4c7ffffff733fp7, 0x1.ccd12fa07172p239},
234                 {0x1.4e7ffffff733fp7, 0x1.39285fa9c08e7p241},
235                 {0x1.507ffffff733fp7, 0x1.a9a01de01fd02p242},
236                 {0x1.527ffffff733fp7, 0x1.213e13894e05p244},
237                 {0x1.547ffffff733fp7, 0x1.891f0d4674b33p245},
238                 {0x1.567ffffff733fp7, 0x1.0b275393c60b2p247},
239                 {0x1.587ffffff733fp7, 0x1.6b1973327581dp248},
240                 {0x1.5a7ffffff733fp7, 0x1.ed80d645874cfp249},
241                 {0x1.5c7ffffff733fp7, 0x1.4f5ec835b4172p251},
242                 {0x1.5e7ffffff733fp7, 0x1.c7d0bf3aec5fcp252},
243                 {0x1.607ffffff733fp7, 0x1.35c239a263125p254},
244                 {0x1.627ffffff733fp7, 0x1.a501765319bp255},
245                 {0x1.647ffffff733fp7, 0x1.1e1a611707cfbp257},
246                 {0x1.667ffffff733fp7, 0x1.84dab6dcaac3cp258},
247                 {0x1.687ffffff733fp7, 0x1.08410192ab89ep260},
248                 {0x1.6a7ffffff733fp7, 0x1.67288834edb2fp261},
249                 {0x1.6c7ffffff733fp7, 0x1.e825934abdad9p262},
250                 {0x1.6e7ffffff733fp7, 0x1.4bbae9c58a222p264},
251                 {0x1.707ffffff733fp7, 0x1.c2de34b24b161p265},
252                 {0x1.727ffffff733fp7, 0x1.3265856c8dbdcp267},
253                 {0x1.747ffffff733fp7, 0x1.a06fa4ee04c8ep268},
254                 {0x1.767ffffff733fp7, 0x1.1aff67d171068p270},
255                 {0x1.787ffffff733fp7, 0x1.80a23ba5cc0fep271},
256                 {0x1.7a7ffffff733fp7, 0x1.0562be333b5b6p273},
257                 {0x1.7c7ffffff733fp7, 0x1.6342909f8e806p274},
258                 {0x1.7e7ffffff733fp7, 0x1.e2d932898c11cp275},
259                 {0x1.807ffffff733ep7, 0x1.482128a65b0aap277},
260                 {0x1.827ffffff733ep7, 0x1.bdf9696894p278},
261                 {0x1.847ffffff733ep7, 0x1.2f1228ca0924p280},
262                 {0x1.867ffffff733ep7, 0x1.9bea8605e05b8p281},
263                 {0x1.887ffffff733ep7, 0x1.17ed0f7b60befp283},
264                 {0x1.8a7ffffff733ep7, 0x1.7c757ab028d2cp284},
265                 {0x1.8c7ffffff733ep7, 0x1.028c73122cbaap286},
266                 {0x1.8e7ffffff733ep7, 0x1.5f676e04b872p287},
267                 {0x1.907ffffff733ep7, 0x1.dd9b8aa6c07f4p288},
268                 {0x1.927ffffff733ep7, 0x1.449168bd6830bp290},
269                 {0x1.947ffffff733ep7, 0x1.b922372b1b22fp291},
270                 {0x1.967ffffff733ep7, 0x1.2bc809c589606p293},
271                 {0x1.987ffffff733ep7, 0x1.9771f652c776ap294},
272                 {0x1.9a7ffffff733ep7, 0x1.14e3401b07fc7p296},
273                 {0x1.9c7ffffff733ep7, 0x1.785453659b7d4p297},
274                 {0x1.9e7ffffff733ep7, 0x1.ff7c1414d829fp298},
275                 {0x1.a07ffffff733ep7, 0x1.5b97024b58a63p300},
276                 {0x1.a27ffffff733ep7, 0x1.d86c72ba13072p301},
277                 {0x1.a47ffffff733ep7, 0x1.410b8e3e0a59p303},
278                 {0x1.a67ffffff733ep7, 0x1.b458783157a34p304},
279                 {0x1.a87ffffff733ep7, 0x1.28870eb1e33efp306},
280                 {0x1.aa7ffffff733ep7, 0x1.9305d2eedd47p307},
281                 {0x1.ac7ffffff733ep7, 0x1.11e1e1f93656cp309},
282                 {0x1.ae7ffffff733ep7, 0x1.743ea58a8a142p310},
283                 {0x1.b07ffffff733ep7, 0x1.f9eeda68dbff6p311},
284                 {0x1.b27ffffff733ep7, 0x1.57d12fadfda18p313},
285                 {0x1.b47ffffff733ep7, 0x1.d34bc24ce61e7p314},
286                 {0x1.b67ffffff733ep7, 0x1.3d8f7da8d8d95p316},
287                 {0x1.b87ffffff733ep7, 0x1.af9c071bbd116p317},
288                 {0x1.ba7ffffff733ep7, 0x1.254f1e2943f7fp319},
289                 {0x1.bc7ffffff733ep7, 0x1.8ea5f9553ce5ep320},
290                 {0x1.be7ffffff733ep7, 0x1.0ee8dda0a100cp322},
291                 {0x1.c07ffffff733ep7, 0x1.7034513ceac7dp323},
292                 {0x1.c27ffffff733ep7, 0x1.f4710dcb08bdcp324},
293                 {0x1.c47ffffff733ep7, 0x1.5415d8b9ef19cp326},
294                 {0x1.c67ffffff733ep7, 0x1.ce3951590b045p327},
295                 {0x1.c87ffffff733ep7, 0x1.3a1d1bcad2ec4p329},
296                 {0x1.ca7ffffff733ep7, 0x1.aaecbef297a4ap330},
297                 {0x1.cc7ffffff733ep7, 0x1.22201f0c6ae88p332},
298                 {0x1.ce7ffffff733ep7, 0x1.8a524760ebdc1p333},
299                 {0x1.d07ffffff733ep7, 0x1.0bf81bdd2ba52p335},
300                 {0x1.d27ffffff733ep7, 0x1.6c3536f34b0c2p336},
301                 {0x1.d47ffffff733ep7, 0x1.ef02835e6a7d8p337},
302                 {0x1.d67ffffff733ep7, 0x1.5064e04e480fep339},
303                 {0x1.d87ffffff733ep7, 0x1.c934f847894a8p340},
304                 {0x1.da7ffffff733ep7, 0x1.36b44dbc8b633p342},
305                 {0x1.dc7ffffff733ep7, 0x1.a64a7b24ebae2p343},
306                 {0x1.de7ffffff733ep7, 0x1.1ef9f881e57b8p345},
307                 {0x1.e07ffffff733ep7, 0x1.860a9b4bcf9dfp346},
308                 {0x1.e27ffffff733ep7, 0x1.090f85bb33493p348},
309                 {0x1.e47ffffff733ep7, 0x1.6841377bd96e9p349},
310                 {0x1.e67ffffff733ep7, 0x1.e9a310bd2715dp350},
311                 {0x1.e87ffffff733ep7, 0x1.4cbe299b1372dp352},
312                 {0x1.ea7ffffff733ep7, 0x1.c43e8fef69d0dp353},
313                 {0x1.ec7ffffff733ep7, 0x1.3354f8e156a72p355},
314                 {0x1.ee7ffffff733ep7, 0x1.a1b51787582dfp356},
315                 {0x1.f07ffffff733ep7, 0x1.1bdc91f54d333p358},
316                 {0x1.f27ffffff733ep7, 0x1.81ced3ada5ec9p359},
317                 {0x1.f47ffffff733ep7, 0x1.062f0486db268p361},
318                 {0x1.f67ffffff733ep7, 0x1.645833fb72196p362},
319                 {0x1.f87ffffff733ep7, 0x1.e4528bf7332d2p363},
320                 {0x1.fa7ffffff733ep7, 0x1.492198206b3aep365},
321                 {0x1.fc7ffffff733ep7, 0x1.bf55f194851b5p366},
322                 {0x1.fe7ffffff733ep7, 0x1.2fff02e67affep368},
323                 {0x1.003ffffffb99fp8, 0x1.9d2c7052fc80ep369},
324                 {0x1.013ffffffb99fp8, 0x1.18c7d31687cep371},
325                 {0x1.023ffffffb99fp8, 0x1.7d9ecf7b00132p372},
326                 {0x1.033ffffffb99fp8, 0x1.035681cb5b766p374},
327                 {0x1.043ffffffb99fp8, 0x1.607a0decadfaep375},
328                 {0x1.053ffffffb99fp8, 0x1.df10cb910ae14p376},
329                 {0x1.063ffffffb99fp8, 0x1.458f0fad99f57p378},
330                 {0x1.073ffffffb99fp8, 0x1.ba7af6e654fa2p379},
331                 {0x1.083ffffffb99fp8, 0x1.2cb251c2631d6p381},
332                 {0x1.093ffffffb99fp8, 0x1.98b06224611f2p382},
333                 {0x1.0a3ffffffb99fp8, 0x1.15bba3d909807p384},
334                 {0x1.0b3ffffffb99fp8, 0x1.797a6e0440f8fp385},
335                 {0x1.0c3ffffffb99fp8, 0x1.0085e752522ap387},
336                 {0x1.0d3ffffffb99fp8, 0x1.5ca6a71ef489ep388},
337                 {0x1.0e3ffffffb99fp8, 0x1.d9dda6826dfc7p389},
338                 {0x1.0f3ffffffb99fp8, 0x1.420674603ebb2p391},
339                 {0x1.103ffffffb99fp8, 0x1.b5ad79fec979p392},
340                 {0x1.113ffffffb99fp8, 0x1.296ecbb3d2db7p394},
341                 {0x1.123ffffffb99fp8, 0x1.9440c9fa6362ap395},
342                 {0x1.133ffffffb99fp8, 0x1.12b7ec73193e4p397},
343                 {0x1.143ffffffb99fp8, 0x1.75618ef49dffep398},
344                 {0x1.153ffffffb99fp8, 0x1.fb7a3e462b12ap399},
345                 {0x1.163ffffffb99fp8, 0x1.58dde1b590206p401},
346                 {0x1.173ffffffb99fp8, 0x1.d4b8f4351faecp402},
347                 {0x1.183ffffffb99fp8, 0x1.3e87aaa373892p404},
348                 {0x1.193ffffffb99fp8, 0x1.b0ed5561210d9p405},
349                 {0x1.1a3ffffffb99fp8, 0x1.263457411e3a5p407},
350                 {0x1.1b3ffffffb99fp8, 0x1.8fdd8535244cdp408},
351                 {0x1.1c3ffffffb99fp8, 0x1.0fbc955d170d1p410},
352                 {0x1.1d3ffffffb99fp8, 0x1.7154125122a86p411},
353                 {0x1.1e3ffffffb99fp8, 0x1.f5f8270411675p412},
354                 {0x1.1f3ffffffb99fp8, 0x1.551fa026c4e4cp414},
355                 {0x1.203ffffffb99fp8, 0x1.cfa28c83a9c15p415},
356                 {0x1.213ffffffb99fp8, 0x1.3b12972ef5f7ap417},
357                 {0x1.223ffffffb99fp8, 0x1.ac3a63f8c3fc9p418},
358                 {0x1.233ffffffb99fp8, 0x1.2302db376285dp420},
359                 {0x1.243ffffffb99fp8, 0x1.8b867194fa443p421},
360                 {0x1.253ffffffb99fp8, 0x1.0cc98750c45aep423},
361                 {0x1.263ffffffb99fp8, 0x1.6d51d877b6f1bp424},
362                 {0x1.273ffffffb99fp8, 0x1.f0855ddfe3faap425},
363                 {0x1.283ffffffb99fp8, 0x1.516bc53aea3aap427},
364                 {0x1.293ffffffb99fp8, 0x1.ca9a47b823396p428},
365                 {0x1.2a3ffffffb99fp8, 0x1.37a71f0652462p430},
366                 {0x1.2b3ffffffb99fp8, 0x1.a794811822eb3p431},
367                 {0x1.2c3ffffffb99fp8, 0x1.1fda3ea9c1a4fp433},
368                 {0x1.2d3ffffffb99fp8, 0x1.873b6d3965cp434},
369                 {0x1.2e3ffffffb99fp8, 0x1.09deab488e539p436},
370                 {0x1.2f3ffffffb99fp8, 0x1.695ac21e2870ep437},
371                 {0x1.303ffffffb99fp8, 0x1.eb21b852a647cp438},
372                 {0x1.313ffffffb99fp8, 0x1.4dc2340b86b4cp440},
373                 {0x1.323ffffffb99fp8, 0x1.c59ffe8afa62cp441},
374                 {0x1.333ffffffb99fp8, 0x1.3445277810b78p443},
375                 {0x1.343ffffffb99fp8, 0x1.a2fb88779894fp444},
376                 {0x1.353ffffffb99fp8, 0x1.1cba68f09f8c5p446},
377                 {0x1.363ffffffb99fp8, 0x1.82fc56a008db6p447},
378                 {0x1.373ffffffb99fp8, 0x1.06fbea7eda2dfp449},
379                 {0x1.383ffffffb99fp8, 0x1.656eb0513614ep450},
380                 {0x1.393ffffffb99fp8, 0x1.e5cd0c4b86aaap451},
381                 {0x1.3a3ffffffb99fp8, 0x1.4a22d0026e7ffp453},
382                 {0x1.3b3ffffffb99fp8, 0x1.c0b38a21c236cp454},
383                 {0x1.3c3ffffffb99fp8, 0x1.30ec961ce5379p456},
384                 {0x1.3d3ffffffb99fp8, 0x1.9e6f56344e9dp457},
385                 {0x1.3e3ffffffb99fp8, 0x1.19a341a8e1ccbp459},
386                 {0x1.3f3ffffffb99fp8, 0x1.7ec90ca3a1c6dp460},
387                 {0x1.403ffffffb99fp8, 0x1.04212e6d536d6p462},
388                 {0x1.413ffffffb99fp8, 0x1.618d84739e91cp463},
389                 {0x1.423ffffffb99fp8, 0x1.e087302e9607ap464},
390                 {0x1.433ffffffb99fp8, 0x1.468d7cd8e4417p466},
391                 {0x1.443ffffffb99fp8, 0x1.bbd4c40e0317cp467},
392                 {0x1.453ffffffb99fp8, 0x1.2d9d50d6e1436p469},
393                 {0x1.463ffffffb99fp8, 0x1.99efc6cf25729p470},
394                 {0x1.473ffffffb99fp8, 0x1.1694b0b33138ap472},
395                 {0x1.483ffffffb99fp8, 0x1.7aa16e7b0810dp473},
396                 {0x1.493ffffffb99fp8, 0x1.014e60cc3c10bp475},
397                 {0x1.4a3ffffffb99fp8, 0x1.5db7203d316b3p476},
398                 {0x1.4b3ffffffb99fp8, 0x1.db4ffad383047p477},
399                 {0x1.4c3ffffffb99fp8, 0x1.43021e96bc60ep479},
400                 {0x1.4d3ffffffb99fp8, 0x1.b703864c0ed74p480},
401                 {0x1.4e3ffffffb99fp8, 0x1.2a573dd0a80e6p482},
402                 {0x1.4f3ffffffb99fp8, 0x1.957cb72b9f3f6p483},
403                 {0x1.503ffffffb99fp8, 0x1.138e9e333d9afp485},
404                 {0x1.513ffffffb99fp8, 0x1.76855bb82cbcep486},
405                 {0x1.523ffffffb99fp8, 0x1.fd06d7237d52bp487},
406                 {0x1.533ffffffb99fp8, 0x1.59eb65b9e296ap489},
407                 {0x1.543ffffffb99fp8, 0x1.d627438458c6ap490},
408                 {0x1.553ffffffb99fp8, 0x1.3f80999182b7ap492},
409                 {0x1.563ffffffb99fp8, 0x1.b23fab41d7fcdp493},
410                 {0x1.573ffffffb99fp8, 0x1.271a437ca4dd9p495},
411                 {0x1.583ffffffb99fp8, 0x1.9116048ecdd82p496},
412                 {0x1.593ffffffb99fp8, 0x1.1090f28f03784p498},
413                 {0x1.5a3ffffffb99fp8, 0x1.7274b4471d222p499},
414                 {0x1.5b3ffffffb99fp8, 0x1.f78071e284acfp500},
415                 {0x1.5c3ffffffb99fp8, 0x1.562a3748e0ae8p502},
416                 {0x1.5d3ffffffb99fp8, 0x1.d10ce1fc412f2p503},
417                 {0x1.5e3ffffffb99fp8, 0x1.3c08d26ba29edp505},
418                 {0x1.5f3ffffffb99fp8, 0x1.ad890dbdcc46ap506},
419                 {0x1.603ffffffb99fp8, 0x1.23e648944393ap508},
420                 {0x1.613ffffffb99fp8, 0x1.8cbb8c9e43a63p509},
421                 {0x1.623ffffffb99fp8, 0x1.0d9b966e13d61p511},
422                 {0x1.633ffffffb99fp8, 0x1.6e6f586d0888dp512},
423                 {0x1.643ffffffb99fp8, 0x1.f20966b5813aep513},
424                 {0x1.653ffffffb99fp8, 0x1.5273779badaf2p515},
425                 {0x1.663ffffffb99fp8, 0x1.cc00ae664a89p516},
426                 {0x1.673ffffffb99fp8, 0x1.389aae1391554p518},
427                 {0x1.683ffffffb99fp8, 0x1.a8df88f5b2588p519},
428                 {0x1.693ffffffb99fp8, 0x1.20bb34172b66ap521},
429                 {0x1.6a3ffffffb99fp8, 0x1.886d2d5f07833p522},
430                 {0x1.6b3ffffffb99fp8, 0x1.0aae72b8de01ep524},
431                 {0x1.6c3ffffffb99fp8, 0x1.6a7528c7487fep525},
432                 {0x1.6d3ffffffb99fp8, 0x1.eca18af43a36cp526},
433                 {0x1.6e3ffffffb99fp8, 0x1.4ec709b53a35fp528},
434                 {0x1.6f3ffffffb99fp8, 0x1.c702815c30a11p529},
435                 {0x1.703ffffffb99fp8, 0x1.353611c2fab72p531},
436                 {0x1.713ffffffb99fp8, 0x1.a442f8858a925p532},
437                 {0x1.723ffffffb99fp8, 0x1.1d98ed4a7bba3p534},
438                 {0x1.733ffffffb99fp8, 0x1.842ac5348b7cep535},
439                 {0x1.743ffffffb99fp8, 0x1.07c97097fb529p537},
440                 {0x1.753ffffffb99fp8, 0x1.6686064a6be2ap538},
441                 {0x1.763ffffffb99fp8, 0x1.e748b46cfe14cp539},
442                 {0x1.773ffffffb99fp8, 0x1.4b24d0e9033c7p541},
443                 {0x1.783ffffffb99fp8, 0x1.c21233e5293dap542},
444                 {0x1.793ffffffb99fp8, 0x1.31dae2fdf0407p544},
445                 {0x1.7a3ffffffb99fp8, 0x1.9fb3386e7303dp545},
446                 {0x1.7b3ffffffb99fp8, 0x1.1a7f5bb80b183p547},
447                 {0x1.7c3ffffffb99fp8, 0x1.7ff432dfa67a9p548},
448                 {0x1.7d3ffffffb99fp8, 0x1.04ec79737cde7p550},
449                 {0x1.7e3ffffffb99fp8, 0x1.62a1d2414486ep551},
450                 {0x1.7f3ffffffb99fp8, 0x1.e1feb963592a3p552},
451                 {0x1.803ffffffb99fp8, 0x1.478cb0da3248p554},
452                 {0x1.813ffffffb99fp8, 0x1.bd2f9f74b3ecep555},
453                 {0x1.823ffffffb99fp8, 0x1.2e8907921a545p557},
454                 {0x1.833ffffffb99fp8, 0x1.9b3025158e763p558},
455                 {0x1.843ffffffb99fp8, 0x1.176e672da841p560},
456                 {0x1.853ffffffb99fp8, 0x1.7bc9557d90bb5p561},
457                 {0x1.863ffffffb99fp8, 0x1.021776f23b20ap563},
458                 {0x1.873ffffffb99fp8, 0x1.5ec86e4bf78ccp564},
459                 {0x1.883ffffffb99fp8, 0x1.dcc3708ecfe88p565},
460                 {0x1.893ffffffb99fp8, 0x1.43fe8d7ac0079p567},
461                 {0x1.8a3ffffffb99fp8, 0x1.b85a9de96d206p568},
462                 {0x1.8b3ffffffb99fp8, 0x1.2b406595ebc2fp570},
463                 {0x1.8c3ffffffb99fp8, 0x1.96b99b42ee81ep571},
464                 {0x1.8d3ffffffb99fp8, 0x1.1465f7bc5d4f3p573},
465                 {0x1.8e3ffffffb99fp8, 0x1.77aa0c86e3254p574},
466                 {0x1.8f3ffffffb99fp8, 0x1.fe94a5f24f127p575},
467                 {0x1.903ffffffb99fp8, 0x1.5af9bc5f10484p577},
468                 {0x1.913ffffffb99fp8, 0x1.d796b1199ca0dp578},
469                 {0x1.923ffffffb99fp8, 0x1.407a4b0a99581p580},
470                 {0x1.933ffffffb99fp8, 0x1.b393098be48c6p581},
471                 {0x1.943ffffffb99fp8, 0x1.2800e367d7873p583},
472                 {0x1.953ffffffb99fp8, 0x1.924f782080a9p584},
473                 {0x1.963ffffffb99fp8, 0x1.1165f5b7b4e77p586},
474                 {0x1.973ffffffb99fp8, 0x1.739637ce995dep587},
475                 {0x1.983ffffffb99fp8, 0x1.f909ef553fe1dp588},
476                 {0x1.993ffffffb99fp8, 0x1.57359ec295bd8p590},
477                 {0x1.9a3ffffffb99fp8, 0x1.d278529f70c72p591},
478                 {0x1.9b3ffffffb99fp8, 0x1.3cffce16c6a9fp593},
479                 {0x1.9c3ffffffb99fp8, 0x1.aed8bd0d76c2ep594},
480                 {0x1.9d3ffffffb99fp8, 0x1.24ca67ad88b68p596},
481                 {0x1.9e3ffffffb99fp8, 0x1.8df19938fe6d4p597},
482                 {0x1.9f3ffffffb99fp8, 0x1.0e6e49b5016fbp599},
483                 {0x1.a03ffffffb99fp8, 0x1.6f8db78116a48p600},
484                 {0x1.a13ffffffb99fp8, 0x1.f38e9ecb87da4p601},
485                 {0x1.a23ffffffb99fp8, 0x1.537bf81122a93p603},
486                 {0x1.a33ffffffb99fp8, 0x1.cd682d2c39ab4p604},
487                 {0x1.a43ffffffb99fp8, 0x1.398efb7895c02p606},
488                 {0x1.a53ffffffb99fp8, 0x1.aa2b938729ffap607},
489                 {0x1.a63ffffffb99fp8, 0x1.219cd9531c9cep609},
490                 {0x1.a73ffffffb99fp8, 0x1.899fdc76e059bp610},
491                 {0x1.a83ffffffb99fp8, 0x1.0b7edc8aa647ep612},
492                 {0x1.a93ffffffb99fp8, 0x1.6b906c232d65ep613},
493                 {0x1.aa3ffffffb99fp8, 0x1.ee22898b97fbep614},
494                 {0x1.ab3ffffffb99fp8, 0x1.4fccab37000cep616},
495                 {0x1.ac3ffffffb99fp8, 0x1.c866193ae89dbp617},
496                 {0x1.ad3ffffffb99fp8, 0x1.3627b854c5c27p619},
497                 {0x1.ae3ffffffb99fp8, 0x1.a58b68788e1e6p620},
498                 {0x1.af3ffffffb99fp8, 0x1.1e781f8a5efe5p622},
499                 {0x1.b03ffffffb99fp8, 0x1.855a202353f77p623},
500                 {0x1.b13ffffffb99fp8, 0x1.0897974f62fe1p625},
501                 {0x1.b23ffffffb99fp8, 0x1.679e369129826p626},
502                 {0x1.b33ffffffb99fp8, 0x1.e8c58542c521dp627},
503                 {0x1.b43ffffffb99fp8, 0x1.4c279b7142392p629},
504                 {0x1.b53ffffffb99fp8, 0x1.c371efb43e76ep630},
505                 {0x1.b63ffffffb99fp8, 0x1.32c9ea1ab59ccp632},
506                 {0x1.b73ffffffb99fp8, 0x1.a0f817c69fb0ap633},
507                 {0x1.b83ffffffb99fp8, 0x1.1b5c21ca08788p635},
508                 {0x1.b93ffffffb99fp8, 0x1.812042e534a64p636},
509                 {0x1.ba3ffffffb99fp8, 0x1.05b86359a079cp638},
510                 {0x1.bb3ffffffb99fp8, 0x1.63b6f7fddd3efp639},
511                 {0x1.bc3ffffffb99fp8, 0x1.e3776813fda8ep640},
512                 {0x1.bd3ffffffb99fp8, 0x1.488cac4ce84e7p642},
513                 {0x1.be3ffffffb99fp8, 0x1.be8b89ed9a77dp643},
514                 {0x1.bf3ffffffb99fp8, 0x1.2f75768394a5p645},
515                 {0x1.c03ffffffb99fp8, 0x1.9c717dbaae2b8p646},
516                 {0x1.c13ffffffb99fp8, 0x1.1848c7ccfefe3p648},
517                 {0x1.c23ffffffb99fp8, 0x1.7cf223c0074fbp649},
518                 {0x1.c33ffffffb99fp8, 0x1.02e12a3ec0173p651},
519                 {0x1.c43ffffffb99fp8, 0x1.5fda91f1b0d98p652},
520                 {0x1.c53ffffffb99fp8, 0x1.de38089682abp653},
521                 {0x1.c63ffffffb99fp8, 0x1.44fbc1a5fe2ddp655},
522                 {0x1.c73ffffffb99fp8, 0x1.b9b2c1a7cc7aap656},
523                 {0x1.c83ffffffb99fp8, 0x1.2c2a43919580dp658},
524                 {0x1.c93ffffffb99fp8, 0x1.97f7770145248p659},
525                 {0x1.ca3ffffffb99fp8, 0x1.153df9919867p661},
526                 {0x1.cb3ffffffb99fp8, 0x1.78cfa212f8edcp662},
527                 {0x1.cc3ffffffb99fp8, 0x1.0011d5d26caedp664},
528                 {0x1.cd3ffffffb99fp8, 0x1.5c08e649b4b94p665},
529                 {0x1.ce3ffffffb99fp8, 0x1.d9073dd4a4c7bp666},
530                 {0x1.cf3ffffffb99fp8, 0x1.4174bfa6c0d24p668},
531                 {0x1.d03ffffffb99fp8, 0x1.b4e7710dea691p669},
532                 {0x1.d13ffffffb99fp8, 0x1.28e8378f2345ap671},
533                 {0x1.d23ffffffb99fp8, 0x1.9389e0a91894fp672},
534                 {0x1.d33ffffffb99fp8, 0x1.123b9f58df0dap674},
535                 {0x1.d43ffffffb99fp8, 0x1.74b89d97dfdd3p675},
536                 {0x1.d53ffffffb99fp8, 0x1.fa94a04bdb05cp676},
537                 {0x1.d63ffffffb99fp8, 0x1.5841d736b633cp678},
538                 {0x1.d73ffffffb99fp8, 0x1.d3e4df4a846ddp679},
539                 {0x1.d83ffffffb99fp8, 0x1.3df78ac6c50cep681},
540                 {0x1.d93ffffffb99fp8, 0x1.b02972b428f19p682},
541                 {0x1.da3ffffffb99fp8, 0x1.25af390e18cbep684},
542                 {0x1.db3ffffffb99fp8, 0x1.8f289821f41b9p685},
543                 {0x1.dc3ffffffb99fp8, 0x1.0f41a1a5d8764p687},
544                 {0x1.dd3ffffffb99fp8, 0x1.70acf6623ff32p688},
545                 {0x1.de3ffffffb99fp8, 0x1.f515070ef61acp689},
546                 {0x1.df3ffffffb99fp8, 0x1.5485473c56dfcp691},
547                 {0x1.e03ffffffb99fp8, 0x1.ced0c4e4d59e4p692},
548                 {0x1.e13ffffffb99fp8, 0x1.3a8407ca209c6p694},
549                 {0x1.e23ffffffb99fp8, 0x1.ab78a196b76fdp695},
550                 {0x1.e33ffffffb99fp8, 0x1.227f2ee6fa305p697},
551                 {0x1.e43ffffffb99fp8, 0x1.8ad37b3bad33ep698},
552                 {0x1.e53ffffffb99fp8, 0x1.0c4fe93ccdf88p700},
553                 {0x1.e63ffffffb99fp8, 0x1.6cac8cde514efp701},
554                 {0x1.e73ffffffb99fp8, 0x1.efa4b5032b54fp702},
555                 {0x1.e83ffffffb99fp8, 0x1.50d31930266e8p704},
556                 {0x1.e93ffffffb99fp8, 0x1.c9cac6ffa71cbp705},
557                 {0x1.ea3ffffffb99fp8, 0x1.371a1bc09599dp707},
558                 {0x1.eb3ffffffb99fp8, 0x1.a6d4d9189f018p708},
559                 {0x1.ec3ffffffb99fp8, 0x1.1f580038307ccp710},
560                 {0x1.ed3ffffffb99fp8, 0x1.868a6825185b7p711},
561                 {0x1.ee3ffffffb99fp8, 0x1.09665f229766bp713},
562                 {0x1.ef3ffffffb99fp8, 0x1.68b741d009e02p714},
563                 {0x1.f03ffffffb99fp8, 0x1.ea437fb4bc319p715},
564                 {0x1.f13ffffffb99fp8, 0x1.4d2b3038bf046p717},
565                 {0x1.f23ffffffb99ep8, 0x1.c4d2be652cea4p718},
566                 {0x1.f33ffffffb99ep8, 0x1.33b9ac04c0212p720},
567                 {0x1.f43ffffffb99ep8, 0x1.a23df502a4a3ap721},
568                 {0x1.f53ffffffb99ep8, 0x1.1c39946547606p723},
569                 {0x1.f63ffffffb99ep8, 0x1.824d3d6b0103dp724},
570                 {0x1.f73ffffffb99ep8, 0x1.0684ec9be79c4p726},
571                 {0x1.f83ffffffb99ep8, 0x1.64ccf65229834p727},
572                 {0x1.f93ffffffb99ep8, 0x1.e4f13d25df78ap728},
573                 {0x1.fa3ffffffb99ep8, 0x1.498d6fcce3f5ep730},
574                 {0x1.fb3ffffffb99ep8, 0x1.bfe8844c8ea89p731},
575                 {0x1.fc3ffffffb99ep8, 0x1.30629e3b46a18p733},
576                 {0x1.fd3ffffffb99ep8, 0x1.9db3d1822eed1p734},
577                 {0x1.fe3ffffffb99ep8, 0x1.1923d3162d5cep736},
578                 {0x1.ff3ffffffb99ep8, 0x1.7e1bd9f724dbcp737},
579                 {0x1.001ffffffdccfp9, 0x1.03ab7b2c9b517p739},
580                 {0x1.009ffffffdccfp9, 0x1.60ed8bd54933ep740},
581                 {0x1.011ffffffdccfp9, 0x1.dfadc3cd79f32p741},
582                 {0x1.019ffffffdccfp9, 0x1.45f9bbb2a35d1p743},
583                 {0x1.021ffffffdccfp9, 0x1.bb0bf258b833ap744},
584                 {0x1.029ffffffdccfp9, 0x1.2d14d8520baf7p746},
585                 {0x1.031ffffffdccfp9, 0x1.99364b282dd34p747},
586                 {0x1.039ffffffdccfp9, 0x1.1616a4367556fp749},
587                 {0x1.041ffffffdccfp9, 0x1.79f61d0f30fbp750},
588                 {0x1.049ffffffdccfp9, 0x1.00d9f49709365p752},
589                 {0x1.051ffffffdccfp9, 0x1.5d18e41eebfc4p753},
590                 {0x1.059ffffffdccfp9, 0x1.da78ea95d97f9p754},
591                 {0x1.061ffffffdccfp9, 0x1.426ff7fe794b6p756},
592                 {0x1.069ffffffdccfp9, 0x1.b63ce2972ea1ep757},
593                 {0x1.071ffffffdccfp9, 0x1.29d0407f62d33p759},
594                 {0x1.079ffffffdccfp9, 0x1.94c53ee806803p760},
595                 {0x1.081ffffffdccfp9, 0x1.1311eff49ae9ap762},
596                 {0x1.089ffffffdccfp9, 0x1.75dbe653c2ceap763},
597                 {0x1.091ffffffdccfp9, 0x1.fc2085b6a9375p764},
598                 {0x1.099ffffffdccfp9, 0x1.594ee148935c8p766},
599                 {0x1.0a1ffffffdccfp9, 0x1.d55288db74dc3p767},
600                 {0x1.0a9ffffffdccfp9, 0x1.3ef00912762eap769},
601                 {0x1.0b1ffffffdccfp9, 0x1.b17b2f7ee7f4ep770},
602                 {0x1.0b9ffffffdccfp9, 0x1.2694bd41472c4p772},
603                 {0x1.0c1ffffffdccfp9, 0x1.90608a1681a3ep773},
604                 {0x1.0c9ffffffdccfp9, 0x1.10159ec1486a4p775},
605                 {0x1.0d1ffffffdccfp9, 0x1.71cd15bf6b516p776},
606                 {0x1.0d9ffffffdccfp9, 0x1.f69ca06d83551p777},
607                 {0x1.0e1ffffffdccfp9, 0x1.558f65bed5d1ap779},
608                 {0x1.0e9ffffffdccfp9, 0x1.d03a766bae541p780},
609                 {0x1.0f1ffffffdccfp9, 0x1.3b79d39d672c6p782},
610                 {0x1.0f9ffffffdccfp9, 0x1.acc6b3ef261e7p783},
611                 {0x1.101ffffffdccfp9, 0x1.2362355c94574p785},
612                 {0x1.109ffffffdccfp9, 0x1.8c080a68bcd97p786},
613                 {0x1.111ffffffdccfp9, 0x1.0d21994e9f02ap788},
614                 {0x1.119ffffffdccfp9, 0x1.6dc98ba5b51bp789},
615                 {0x1.121ffffffdccfp9, 0x1.f1280e4617147p790},
616                 {0x1.129ffffffdccfp9, 0x1.51da544077fa2p792},
617                 {0x1.131ffffffdccfp9, 0x1.cb308b8399fb7p793},
618                 {0x1.139ffffffdccfp9, 0x1.380d3c9a00e7ep795},
619                 {0x1.141ffffffdccfp9, 0x1.a81f4b2e55334p796},
620                 {0x1.149ffffffdccfp9, 0x1.20388fdc417d5p798},
621                 {0x1.151ffffffdccfp9, 0x1.87bb9df31efbp799},
622                 {0x1.159ffffffdccfp9, 0x1.0a35c88f80cbp801},
623                 {0x1.161ffffffdccfp9, 0x1.69d128b22d25ap802},
624                 {0x1.169ffffffdccfp9, 0x1.ebc2a4ab78bb5p803},
625                 {0x1.171ffffffdccfp9, 0x1.4e2f8fdd883d6p805},
626                 {0x1.179ffffffdccfp9, 0x1.c634a0cec7546p806},
627                 {0x1.181ffffffdccfp9, 0x1.34aa294e0c99ep808},
628                 {0x1.189ffffffdccfp9, 0x1.a384d0e8ecc3p809},
629                 {0x1.191ffffffdccfp9, 0x1.1d17b4109e865p811},
630                 {0x1.199ffffffdccfp9, 0x1.837b23284f5e9p812},
631                 {0x1.1a1ffffffdccfp9, 0x1.075215b6dcdc8p814},
632                 {0x1.1a9ffffffdccfp9, 0x1.65e3cde76e421p815},
633                 {0x1.1b1ffffffdccfp9, 0x1.e66c397f0e285p816},
634                 {0x1.1b9ffffffdccfp9, 0x1.4a8efbf67ceccp818},
635                 {0x1.1c1ffffffdccfp9, 0x1.c1468f660e51bp819},
636                 {0x1.1c9ffffffdccfp9, 0x1.31507f4997713p821},
637                 {0x1.1d1ffffffdccfp9, 0x1.9ef72130544cep822},
638                 {0x1.1d9ffffffdccfp9, 0x1.19ff898e9368dp824},
639                 {0x1.1e1ffffffdccfp9, 0x1.7f4678d82ff18p825},
640                 {0x1.1e9ffffffdccfp9, 0x1.04766a36fd582p827},
641                 {0x1.1f1ffffffdccfp9, 0x1.62015c9e2f34p828},
642                 {0x1.1f9ffffffdccfp9, 0x1.e124a317460fp829},
643                 {0x1.201ffffffdccfp9, 0x1.46f87c3b54d8ep831},
644                 {0x1.209ffffffdccfp9, 0x1.bc6630ce5faecp832},
645                 {0x1.211ffffffdccfp9, 0x1.2e00246624382p834},
646                 {0x1.219ffffffdccfp9, 0x1.9a761879cac82p835},
647                 {0x1.221ffffffdccfp9, 0x1.16eff82ee1911p837},
648                 {0x1.229ffffffdccfp9, 0x1.7b1d7e2eda2c6p838},
649                 {0x1.231ffffffdccfp9, 0x1.01a2afc0d75c2p840},
650                 {0x1.239ffffffdccfp9, 0x1.5e29b684536ep841},
651                 {0x1.241ffffffdccfp9, 0x1.dbebb83e52c5dp842},
652                 {0x1.249ffffffdccfp9, 0x1.436bf4aaba53p844},
653                 {0x1.251ffffffdccfp9, 0x1.b7935ef798935p845},
654                 {0x1.259ffffffdccfp9, 0x1.2ab8fec5df362p847},
655                 {0x1.261ffffffdccfp9, 0x1.9601939d5137dp848},
656                 {0x1.269ffffffdccfp9, 0x1.13e8e80d6759dp850},
657                 {0x1.271ffffffdccfp9, 0x1.770012b39ed67p851},
658                 {0x1.279ffffffdccfp9, 0x1.fdada086b9c52p852},
659                 {0x1.281ffffffdccfp9, 0x1.5a5cbd9bfe665p854},
660                 {0x1.289ffffffdccfp9, 0x1.d6c15030e89c1p855},
661                 {0x1.291ffffffdccfp9, 0x1.3fe9499128953p857},
662                 {0x1.299ffffffdccfp9, 0x1.b2cdf43b59797p858},
663                 {0x1.2a1ffffffdccfp9, 0x1.277af4d2d449ap860},
664                 {0x1.2a9ffffffdccfp9, 0x1.91996fd498417p861},
665                 {0x1.2b1ffffffdccfp9, 0x1.10ea41886590dp863},
666                 {0x1.2b9ffffffdccfp9, 0x1.72ee16480890ep864},
667                 {0x1.2c1ffffffdccfp9, 0x1.f8256bd5a1072p865},
668                 {0x1.2c9ffffffdccfp9, 0x1.569a543aa97d8p867},
669                 {0x1.2d1ffffffdccfp9, 0x1.d1a5429cffadp868},
670                 {0x1.2d9ffffffdccfp9, 0x1.3c705f8813894p870},
671                 {0x1.2e1ffffffdccfp9, 0x1.ae15cb5be04dap871},
672                 {0x1.2e9ffffffdccfp9, 0x1.2445ed3e27324p873},
673                 {0x1.2f1ffffffdccfp9, 0x1.8d3d8ab9f0bdep874},
674                 {0x1.2f9ffffffdccfp9, 0x1.0df3ed3fc701dp876},
675                 {0x1.301ffffffdccfp9, 0x1.6ee76926e122bp877},
676                 {0x1.309ffffffdccfp9, 0x1.f2ac9640362cap878},
677                 {0x1.311ffffffdccfp9, 0x1.52e25d083c6f6p880},
678                 {0x1.319ffffffdccfp9, 0x1.cc9767a099276p881},
679                 {0x1.321ffffffdccfp9, 0x1.39011b7511e91p883},
680                 {0x1.329ffffffdccfp9, 0x1.a96abf82e5bedp884},
681                 {0x1.331ffffffdccfp9, 0x1.2119ceff4e062p886},
682                 {0x1.339ffffffdccfp9, 0x1.88edc2473f3cfp887},
683                 {0x1.341ffffffdccfp9, 0x1.0b05d4146a019p889},
684                 {0x1.349ffffffdccfp9, 0x1.6aebebe3397ccp890},
685                 {0x1.351ffffffdccfp9, 0x1.ed42f5104656ep891},
686                 {0x1.359ffffffdccfp9, 0x1.4f34bafe2847bp893},
687                 {0x1.361ffffffdccfp9, 0x1.c79797c887ff8p894},
688                 {0x1.369ffffffdccfp9, 0x1.359b628909b0ap896},
689                 {0x1.371ffffffdccfp9, 0x1.a4ccac407db6ep897},
690                 {0x1.379ffffffdccfp9, 0x1.1df681534dcc2p899},
691                 {0x1.381ffffffdccfp9, 0x1.84a9f4d4f272ap900},
692                 {0x1.389ffffffdccfp9, 0x1.081fdf276bf44p902},
693                 {0x1.391ffffffdccfp9, 0x1.66fb7f67746f6p903},
694                 {0x1.399ffffffdccfp9, 0x1.e7e85e064cb73p904},
695                 {0x1.3a1ffffffdccfp9, 0x1.4b91516684d28p906},
696                 {0x1.3a9ffffffdccfp9, 0x1.c2a5ac0f3d022p907},
697                 {0x1.3b1ffffffdccfp9, 0x1.323f1a3f5edc4p909},
698                 {0x1.3b9ffffffdccfp9, 0x1.a03b6d89faf11p910},
699                 {0x1.3c1ffffffdccfp9, 0x1.1adbebbbf9351p912},
700                 {0x1.3c9ffffffdccfp9, 0x1.80720118fc863p913},
701                 {0x1.3d1ffffffdccfp9, 0x1.0541f7d976c95p915},
702                 {0x1.3d9ffffffdccfp9, 0x1.631604f454091p916},
703                 {0x1.3e1ffffffdccfp9, 0x1.e29ca75828ca4p917},
704                 {0x1.3e9ffffffdccfp9, 0x1.47f803db3082ep919},
705                 {0x1.3f1ffffffdccfp9, 0x1.bdc17ddb963f2p920},
706                 {0x1.3f9ffffffdccfp9, 0x1.2eec285d246c2p922},
707                 {0x1.401ffffffdccfp9, 0x1.9bb6dfb8d5a7bp923},
708                 {0x1.409ffffffdccfp9, 0x1.17c9f5ff316ddp925},
709                 {0x1.411ffffffdccfp9, 0x1.7c45c625cf3bcp926},
710                 {0x1.419ffffffdccfp9, 0x1.026c07ca1067p928},
711                 {0x1.421ffffffdccfp9, 0x1.5f3b5e200997dp929},
712                 {0x1.429ffffffdccfp9, 0x1.dd5fa7afd8289p930},
713                 {0x1.431ffffffdccfp9, 0x1.4468b644f2c7fp932},
714                 {0x1.439ffffffdccfp9, 0x1.b8eae6ffb1c26p933},
715                 {0x1.441ffffffdccfp9, 0x1.2ba272f04fa72p935},
716                 {0x1.449ffffffdccfp9, 0x1.973edf89954efp936},
717                 {0x1.451ffffffdccfp9, 0x1.14c088262904bp938},
718                 {0x1.459ffffffdccfp9, 0x1.782523695aef2p939},
719                 {0x1.461ffffffdccfp9, 0x1.ff3bf1add8023p940},
720                 {0x1.469ffffffdccfp9, 0x1.5b6b6cd54844dp942},
721                 {0x1.471ffffffdccfp9, 0x1.d831362a33e02p943},
722                 {0x1.479ffffffdccfp9, 0x1.40e34cdaa0c9dp945},
723                 {0x1.481ffffffdccfp9, 0x1.b421c1b7c391cp946},
724                 {0x1.489ffffffdccfp9, 0x1.2861e04eed965p948},
725                 {0x1.491ffffffdccfp9, 0x1.92d34a1abd55p949},
726                 {0x1.499ffffffdccfp9, 0x1.11bf8a7ca8dc9p951},
727                 {0x1.4a1ffffffdccfp9, 0x1.740ff8ac10594p952},
728                 {0x1.4a9ffffffdccfp9, 0x1.f9af6a367aa8cp953},
729                 {0x1.4b1ffffffdccfp9, 0x1.57a613525a444p955},
730                 {0x1.4b9ffffffdccfp9, 0x1.d3112a55b14f7p956},
731                 {0x1.4c1ffffffdccfp9, 0x1.3d67ac204487bp958},
732                 {0x1.4c9ffffffdccfp9, 0x1.af65e8a8eee76p959},
733                 {0x1.4d1ffffffdccfp9, 0x1.252a57165ab35p961},
734                 {0x1.4d9ffffffdccfp9, 0x1.8e73fcebbcdf2p962},
735                 {0x1.4e1ffffffdccfp9, 0x1.0ec6e5905727p964},
736                 {0x1.4e9ffffffdccfp9, 0x1.7006260fe518p965},
737                 {0x1.4f1ffffffdccfp9, 0x1.f4324dde1b853p966},
738                 {0x1.4f9ffffffdccfp9, 0x1.53eb342838912p968},
739                 {0x1.501ffffffdccfp9, 0x1.cdff5c312677p969},
740                 {0x1.509ffffffdccfp9, 0x1.39f5b8e646512p971},
741                 {0x1.511ffffffdccfp9, 0x1.aab736e0229e8p972},
742                 {0x1.519ffffffdccfp9, 0x1.21fbbe2a7cc33p974},
743                 {0x1.521ffffffdccfp9, 0x1.8a20d5dbe17b1p975},
744                 {0x1.529ffffffdccfp9, 0x1.0bd6823000616p977},
745                 {0x1.531ffffffdccfp9, 0x1.6c078c0f5af0cp978},
746                 {0x1.539ffffffdccfp9, 0x1.eec471cd26923p979},
747                 {0x1.541ffffffdccfp9, 0x1.503ab239a52eep981},
748                 {0x1.549ffffffdccfp9, 0x1.c8fba42a91b8p982},
749                 {0x1.551ffffffdccfp9, 0x1.368d584898928p984},
750                 {0x1.559ffffffdccfp9, 0x1.a61587d0f8cb4p985},
751                 {0x1.561ffffffdccfp9, 0x1.1ed5fcb4fed8p987},
752                 {0x1.569ffffffdccfp9, 0x1.85d9b3294cbccp988},
753                 {0x1.571ffffffdccfp9, 0x1.08ee496ae24e1p990},
754                 {0x1.579ffffffdccfp9, 0x1.68140b7c89c5cp991},
755                 {0x1.581ffffffdccfp9, 0x1.e965aba3129a2p992},
756                 {0x1.589ffffffdccfp9, 0x1.4c9470ba47e91p994},
757                 {0x1.591ffffffdccfp9, 0x1.c405db1de4f69p995},
758                 {0x1.599ffffffdccfp9, 0x1.332e6fade5fp997},
759                 {0x1.5a1ffffffdccfp9, 0x1.a180b7549973p998},
760                 {0x1.5a9ffffffdccfp9, 0x1.1bb8fa248f731p1000},
761                 {0x1.5b1ffffffdccfp9, 0x1.819e736fecc0ap1001},
762                 {0x1.5b9ffffffdccfp9, 0x1.060e248ff8e45p1003},
763                 {0x1.5c1ffffffdccfp9, 0x1.642b85802c37dp1004},
764                 {0x1.5c9ffffffdccfp9, 0x1.e415d17516714p1005},
765                 {0x1.5d1ffffffdccfp9, 0x1.48f8532dcd8aap1007},
766                 {0x1.5d9ffffffdccfp9, 0x1.bf1dda53d4168p1008},
767                 {0x1.5e1ffffffdccfp9, 0x1.2fd8e4c6c1a74p1010},
768                 {0x1.5e9ffffffdccfp9, 0x1.9cf8a1a8a05e1p1011},
769                 {0x1.5f1ffffffdccfp9, 0x1.18a49e2c20c14p1013},
770                 {0x1.5f9ffffffdccfp9, 0x1.7d6ef5a877896p1014},
771                 {0x1.601ffffffdccfp9, 0x1.0335fd2d4d32ap1016},
772                 {0x1.609ffffffdccfp9, 0x1.604ddb98aeeb6p1017},
773                 {0x1.611ffffffdccfp9, 0x1.ded4b9cce1c65p1018},
774                 {0x1.619ffffffdccep9, 0x1.45663d67095d1p1020},
775                 {0x1.621ffffffdccep9, 0x1.ba437b80a6915p1021},
776                 {0x1.629ffffffdccep9, 0x1.2c8c9d8cda0c8p1023},
777         };
778 
779         for (double[] testCase : testCases) {
780             testExpm1Case(testCase[0], testCase[1]);
781         }
782     }
783 }
784