Blame - test/java/lang/StrictMath/HypotTests.java - platform/external/oj-libjdwp

darcy

32db449

2009-01-26 19:49:26 -0800

[diff] [blame]

1

/*

2

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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,

20

* CA 95054 USA or visit www.sun.com if you need additional information or

21

* have any questions.

*/

/*

* @test

* @bug 4851638

* @summary Tests for StrictMath.hypot

28

* @author Joseph D. Darcy

*/

/**

* The tests in ../Math/HypotTests.java test properties that should

33

* hold for any hypot implementation, including the FDLIBM-based one

34

* required for StrictMath.hypot. Therefore, the test cases in

35

* ../Math/HypotTests.java are run against both the Math and

36

* StrictMath versions of hypot. The role of this test is to verify

37

* that the FDLIBM hypot algorithm is being used by running golden

38

* file tests on values that may vary from one conforming hypot

39

* implementation to another.

40

*/

41

42

public class HypotTests {

43

private HypotTests(){}

44

45

static int testHypotCase(double input1, double input2, double expected) {

46

return Tests.test("StrictMath.hypot(double)", input1, input2,

47

StrictMath.hypot(input1, input2), expected);

48

}

49

50

static int testHypot() {

51

int failures = 0;

52

53

double [][] testCases = {

54

{0x1.0p0, 0x1.ffffffffffab5p-1, 0x1.6a09e667f39edp0},

55

{0x1.0p0, 0x1.ffffffffffffbp0, 0x1.1e3779b97f4a6p1},

56

{0x1.0p0, 0x1.7ffffffffffffp1, 0x1.94c583ada5b51p1},

57

{0x1.0p0, 0x1.ffffffffffffdp1, 0x1.07e0f66afed06p2},

58

{0x1.0p0, 0x1.3fffffffffffdp2, 0x1.465655f122ff3p2},

59

{0x1.0p0, 0x1.4p2, 0x1.465655f122ff6p2},

60

{0x1.0p0, 0x1.7ffffffffffffp2, 0x1.854bfb363dc38p2},

61

{0x1.0p0, 0x1.8p2, 0x1.854bfb363dc39p2},

62

{0x1.0p0, 0x1.bfffffffffffep2, 0x1.c48c6001f0abdp2},

63

{0x1.0p0, 0x1.fffffffffffffp2, 0x1.01fe03f61badp3},

64

{0x1.0p0, 0x1.1fffffffffffap3, 0x1.21c5b70d9f81dp3},

65

{0x1.0p0, 0x1.3ffffffffffe5p3, 0x1.419894c2329d5p3},

66

{0x1.0p0, 0x1.3ffffffffffe7p3, 0x1.419894c2329d8p3},

67

{0x1.0p0, 0x1.5ffffffffff7ep3, 0x1.617398f2aa9c6p3},

68

{0x1.0p0, 0x1.5ffffffffff8dp3, 0x1.617398f2aa9d5p3},

69

{0x1.0p0, 0x1.7ffffffffff9bp3, 0x1.8154be27734c1p3},

70

{0x1.0p0, 0x1.8p3, 0x1.8154be2773526p3},

71

{0x1.0p0, 0x1.9fffffffffff4p3, 0x1.a13a9cb996644p3},

72

{0x1.0p0, 0x1.9ffffffffffffp3, 0x1.a13a9cb99664fp3},

73

{0x1.0p0, 0x1.bfffffffffffep3, 0x1.c12432fec0327p3},

74

{0x1.0p0, 0x1.cp3, 0x1.c12432fec0329p3},

75

{0x1.0p0, 0x1.dffffffffffbcp3, 0x1.e110c39105f6bp3},

76

{0x1.0p0, 0x1.ep3, 0x1.e110c39105fafp3},

77

{0x1.0p0, 0x1.ffffffffffeafp3, 0x1.007fe00ff5fc8p4},

78

{0x1.0p0, 0x1.0fffffffffff4p4, 0x1.10785dd689a1cp4},

79

{0x1.0p0, 0x1.0fffffffffffbp4, 0x1.10785dd689a23p4},

80

{0x1.0p0, 0x1.1ffffffffff92p4, 0x1.2071b0abcd7cap4},

81

{0x1.0p0, 0x1.1ffffffffff99p4, 0x1.2071b0abcd7d1p4},

82

{0x1.0p0, 0x1.2fffffffffffcp4, 0x1.306bb705ae7bfp4},

83

{0x1.0p0, 0x1.2ffffffffffffp4, 0x1.306bb705ae7c3p4},

84

{0x1.0p0, 0x1.3fffffffffffdp4, 0x1.4066560954a8bp4},

85

{0x1.0p0, 0x1.4fffffffffe14p4, 0x1.506177f548fcfp4},

86

{0x1.0p0, 0x1.5p4, 0x1.506177f5491bbp4},

87

{0x1.0p0, 0x1.5fffffffffffdp4, 0x1.605d0af9d3a42p4},

88

{0x1.0p0, 0x1.5fffffffffffep4, 0x1.605d0af9d3a42p4},

89

{0x1.0p0, 0x1.6fffffffffff8p4, 0x1.7059005e2c015p4},

90

{0x1.0p0, 0x1.6ffffffffffffp4, 0x1.7059005e2c01dp4},

91

{0x1.0p0, 0x1.7fffffffffffdp4, 0x1.80554bdc2dc4dp4},

92

{0x1.0p0, 0x1.7ffffffffffffp4, 0x1.80554bdc2dc4ep4},

93

{0x1.0p0, 0x1.8fffffffffe68p4, 0x1.9051e3235a2cp4},

94

{0x1.0p0, 0x1.9p4, 0x1.9051e3235a458p4},

95

{0x1.0p0, 0x1.9fffffffffff4p4, 0x1.a04ebd789d00cp4},

96

{0x1.0p0, 0x1.ap4, 0x1.a04ebd789d019p4},

97

{0x1.0p0, 0x1.afffffffffed8p4, 0x1.b04bd36b639fbp4},

98

{0x1.0p0, 0x1.affffffffff43p4, 0x1.b04bd36b63a66p4},

99

{0x1.0p0, 0x1.bfffffffffe3ep4, 0x1.c0491e9ab90fdp4},

100

{0x1.0p0, 0x1.cp4, 0x1.c0491e9ab92bfp4},

101

{0x1.0p0, 0x1.cfffffffffed8p4, 0x1.d0469986884d6p4},

102

{0x1.0p0, 0x1.cfffffffffee8p4, 0x1.d0469986884e5p4},

103

{0x1.0p0, 0x1.dfffffffffe5cp4, 0x1.e0443f6a33104p4},

104

{0x1.0p0, 0x1.dffffffffffffp4, 0x1.e0443f6a332a7p4},

105

{0x1.0p0, 0x1.efffffffffff8p4, 0x1.f0420c1e63084p4},

106

{0x1.0p0, 0x1.fp4, 0x1.f0420c1e6308dp4},

107

{0x1.0p0, 0x1.ffffffffffffdp4, 0x1.001ffe003ff5fp5},

108

{0x1.0p0, 0x1.07ffffffffed8p5, 0x1.081f05ef4d755p5},

109

{0x1.0p0, 0x1.07ffffffffee8p5, 0x1.081f05ef4d764p5},

110

{0x1.0p0, 0x1.0fffffffffff4p5, 0x1.101e1c7371c6bp5},

111

{0x1.0p0, 0x1.0fffffffffffbp5, 0x1.101e1c7371c72p5},

112

{0x1.0p0, 0x1.17ffffffffff8p5, 0x1.181d404cf7f51p5},

113

{0x1.0p0, 0x1.17ffffffffffdp5, 0x1.181d404cf7f56p5},

114

{0x1.0p0, 0x1.1fffffffffbf2p5, 0x1.201c705fa7a27p5},

115

{0x1.0p0, 0x1.1fffffffffc65p5, 0x1.201c705fa7a9ap5},

116

{0x1.0p0, 0x1.27ffffffffe08p5, 0x1.281babadfba01p5},

117

{0x1.0p0, 0x1.28p5, 0x1.281babadfbbf9p5},

118

{0x1.0p0, 0x1.2ffffffffff64p5, 0x1.301af15517357p5},

119

{0x1.0p0, 0x1.2ffffffffff6cp5, 0x1.301af1551735ep5},

120

{0x1.0p0, 0x1.37ffffffffc78p5, 0x1.381a40895d3f5p5},

121

{0x1.0p0, 0x1.37ffffffffc88p5, 0x1.381a40895d406p5},

122

{0x1.0p0, 0x1.3fffffffffffdp5, 0x1.4019989389b2dp5},

123

{0x1.0p0, 0x1.4p5, 0x1.4019989389b3p5},

124

{0x1.0p0, 0x1.47fffffffffe8p5, 0x1.4818f8ce34e19p5},

125

{0x1.0p0, 0x1.47ffffffffffap5, 0x1.4818f8ce34e2cp5},

126

{0x1.0p0, 0x1.4fffffffffa64p5, 0x1.501860a3b54bep5},

127

{0x1.0p0, 0x1.4fffffffffe47p5, 0x1.501860a3b58a1p5},

128

{0x1.0p0, 0x1.57ffffffffff8p5, 0x1.5817cf8c4c199p5},

129

{0x1.0p0, 0x1.57fffffffffffp5, 0x1.5817cf8c4c1ap5},

130

{0x1.0p0, 0x1.5fffffffffbeep5, 0x1.6017450c8d3e7p5},

131

{0x1.0p0, 0x1.6p5, 0x1.6017450c8d7f9p5},

132

{0x1.0p0, 0x1.67fffffffffe8p5, 0x1.6816c0b405afp5},

133

{0x1.0p0, 0x1.68p5, 0x1.6816c0b405b09p5},

134

{0x1.0p0, 0x1.6fffffffffb78p5, 0x1.7016421c06043p5},

135

{0x1.0p0, 0x1.7p5, 0x1.7016421c064cbp5},

136

{0x1.0p0, 0x1.77ffffffffffp5, 0x1.7815c8e69cc37p5},

137

{0x1.0p0, 0x1.77ffffffffffcp5, 0x1.7815c8e69cc43p5},

138

{0x1.0p0, 0x1.7ffffffffffffp5, 0x1.801554bda99c5p5},

139

{0x1.0p0, 0x1.87fffffffffdp5, 0x1.8814e55214271p5},

140

{0x1.0p0, 0x1.87ffffffffffcp5, 0x1.8814e5521429ep5},

141

{0x1.0p0, 0x1.8ffffffffffe8p5, 0x1.90147a5b16ce5p5},

142

{0x1.0p0, 0x1.8fffffffffffcp5, 0x1.90147a5b16cfap5},

143

{0x1.0p0, 0x1.97ffffffffffp5, 0x1.98141395a0592p5},

144

{0x1.0p0, 0x1.97fffffffffffp5, 0x1.98141395a05a1p5},

145

{0x1.0p0, 0x1.9fffffffff8f4p5, 0x1.a013b0c3c7377p5},

146

{0x1.0p0, 0x1.9fffffffffb18p5, 0x1.a013b0c3c759bp5},

147

{0x1.0p0, 0x1.a7fffffffffdp5, 0x1.a81351ac4f317p5},

148

{0x1.0p0, 0x1.a7ffffffffffp5, 0x1.a81351ac4f338p5},

149

{0x1.0p0, 0x1.afffffffff698p5, 0x1.b012f61a35d98p5},

150

{0x1.0p0, 0x1.bp5, 0x1.b012f61a367p5},

151

{0x1.0p0, 0x1.b7ffffffff85p5, 0x1.b8129ddc56b26p5},

152

{0x1.0p0, 0x1.b7ffffffff87p5, 0x1.b8129ddc56b45p5},

153

{0x1.0p0, 0x1.bfffffffffffdp5, 0x1.c01248c50d99cp5},

154

{0x1.0p0, 0x1.bfffffffffffep5, 0x1.c01248c50d99cp5},

155

{0x1.0p0, 0x1.c7ffffffffedp5, 0x1.c811f6a9e9676p5},

156

{0x1.0p0, 0x1.c8p5, 0x1.c811f6a9e97a6p5},

157

{0x1.0p0, 0x1.cffffffffffe8p5, 0x1.d011a7636789ep5},

158

{0x1.0p0, 0x1.d7ffffffffffp5, 0x1.d8115accb20f3p5},

159

{0x1.0p0, 0x1.d8p5, 0x1.d8115accb2103p5},

160

{0x1.0p0, 0x1.dfffffffffebcp5, 0x1.e01110c367a41p5},

161

{0x1.0p0, 0x1.ep5, 0x1.e01110c367b85p5},

162

{0x1.0p0, 0x1.e7fffffffffdp5, 0x1.e810c927681fap5},

163

{0x1.0p0, 0x1.e8p5, 0x1.e810c9276822ap5},

164

{0x1.0p0, 0x1.efffffffff7f8p5, 0x1.f01083daa4dadp5},

165

{0x1.0p0, 0x1.fp5, 0x1.f01083daa55b5p5},

166

{0x1.0p0, 0x1.f7ffffffffffp5, 0x1.f81040c0f9c6p5},

167

{0x1.0p0, 0x1.f8p5, 0x1.f81040c0f9c71p5},

168

{0x1.0p0, 0x1.fffffffffffffp5, 0x1.0007ffe000fffp6},

169

{0x1.0p0, 0x1.03fffffffffdp6, 0x1.0407e05f7d188p6},

170

{0x1.0p0, 0x1.03ffffffffffbp6, 0x1.0407e05f7d1b4p6},

171

{0x1.0p0, 0x1.07ffffffff7f8p6, 0x1.0807c1d34edd5p6},

172

{0x1.0p0, 0x1.07ffffffff808p6, 0x1.0807c1d34ede4p6},

173

{0x1.0p0, 0x1.0bffffffff65p6, 0x1.0c07a430870e5p6},

174

{0x1.0p0, 0x1.0bffffffff67p6, 0x1.0c07a43087104p6},

175

{0x1.0p0, 0x1.0fffffffffc54p6, 0x1.1007876cda509p6},

176

{0x1.0p0, 0x1.0fffffffffe0dp6, 0x1.1007876cda6c2p6},

177

{0x1.0p0, 0x1.13fffffffffdp6, 0x1.14076b7e954b4p6},

178

{0x1.0p0, 0x1.13ffffffffffep6, 0x1.14076b7e954e3p6},

179

{0x1.0p0, 0x1.17ffffffffff8p6, 0x1.1807505c9310dp6},

180

{0x1.0p0, 0x1.18p6, 0x1.1807505c93116p6},

181

{0x1.0p0, 0x1.1bfffffffecbp6, 0x1.1c0735fe3197ap6},

182

{0x1.0p0, 0x1.1bffffffff1dbp6, 0x1.1c0735fe31ea5p6},

183

{0x1.0p0, 0x1.1ffffffffebcap6, 0x1.20071c5b4ce64p6},

184

{0x1.0p0, 0x1.1fffffffffaf1p6, 0x1.20071c5b4dd8bp6},

185

{0x1.0p0, 0x1.23ffffffff83p6, 0x1.2407036c309fdp6},

186

{0x1.0p0, 0x1.23ffffffff85p6, 0x1.2407036c30a1cp6},

187

{0x1.0p0, 0x1.27ffffffffba8p6, 0x1.2806eb2991e76p6},

188

{0x1.0p0, 0x1.28p6, 0x1.2806eb29922cep6},

189

{0x1.0p0, 0x1.2bfffffffff7p6, 0x1.2c06d38c8b4ffp6},

190

{0x1.0p0, 0x1.2bfffffffff9p6, 0x1.2c06d38c8b52p6},

191

{0x1.0p0, 0x1.2fffffffffff4p6, 0x1.3006bc8e938c8p6},

192

{0x1.0p0, 0x1.2fffffffffffcp6, 0x1.3006bc8e938cfp6},

193

{0x1.0p0, 0x1.33ffffffff87p6, 0x1.3406a6297821ep6},

194

{0x1.0p0, 0x1.33ffffffff89p6, 0x1.3406a6297823dp6},

195

{0x1.0p0, 0x1.37ffffffff9d8p6, 0x1.380690575943dp6},

196

{0x1.0p0, 0x1.37ffffffff9eap6, 0x1.380690575944fp6},

197

{0x1.0p0, 0x1.3bffffffffffp6, 0x1.3c067b12a2013p6},

198

{0x1.0p0, 0x1.3cp6, 0x1.3c067b12a2024p6},

199

{0x1.0p0, 0x1.3fffffffffe19p6, 0x1.40066656044ep6},

200

{0x1.0p0, 0x1.4p6, 0x1.40066656046c7p6},

201

{0x1.0p0, 0x1.43ffffffff1dp6, 0x1.4406521c75c3p6},

202

{0x1.0p0, 0x1.43ffffffffccfp6, 0x1.4406521c7672fp6},

203

{0x1.0p0, 0x1.47ffffffff8a8p6, 0x1.48063e612ce7ap6},

204

{0x1.0p0, 0x1.47ffffffffcb9p6, 0x1.48063e612d28bp6},

205

{0x1.0p0, 0x1.4bfffffffe1fp6, 0x1.4c062b1f96823p6},

206

{0x1.0p0, 0x1.4cp6, 0x1.4c062b1f98633p6},

207

{0x1.0p0, 0x1.4ffffffffde04p6, 0x1.500618535d07dp6},

208

{0x1.0p0, 0x1.5p6, 0x1.500618535f279p6},

209

{0x1.0p0, 0x1.53fffffffef1p6, 0x1.540605f85c637p6},

210

{0x1.0p0, 0x1.53ffffffffdf3p6, 0x1.540605f85d51ap6},

211

{0x1.0p0, 0x1.57ffffffffff8p6, 0x1.5805f40aa0595p6},

212

{0x1.0p0, 0x1.5bffffffffffp6, 0x1.5c05e286636b5p6},

213

{0x1.0p0, 0x1.5bfffffffffffp6, 0x1.5c05e286636c4p6},

214

{0x1.0p0, 0x1.5ffffffffd9cep6, 0x1.6005d1680baa2p6},

215

{0x1.0p0, 0x1.5fffffffff873p6, 0x1.6005d1680d947p6},

216

{0x1.0p0, 0x1.63ffffffffa5p6, 0x1.6405c0ac30a35p6},

217

{0x1.0p0, 0x1.63ffffffffa7p6, 0x1.6405c0ac30a56p6},

218

{0x1.0p0, 0x1.67ffffffff988p6, 0x1.6805b04f83ac3p6},

219

{0x1.0p0, 0x1.68p6, 0x1.6805b04f8413bp6},

220

{0x1.0p0, 0x1.6bfffffffffep6, 0x1.6c05a04ee40c3p6},

221

{0x1.0p0, 0x1.6cp6, 0x1.6c05a04ee40e3p6},

222

{0x1.0p0, 0x1.6fffffffff018p6, 0x1.700590a74f9b5p6},

223

{0x1.0p0, 0x1.6fffffffffbe2p6, 0x1.700590a75057fp6},

224

{0x1.0p0, 0x1.73ffffffff4ap6, 0x1.74058155e9b72p6},

225

{0x1.0p0, 0x1.74p6, 0x1.74058155ea6d2p6},

226

{0x1.0p0, 0x1.77ffffffffffp6, 0x1.78057257f1868p6},

227

{0x1.0p0, 0x1.78p6, 0x1.78057257f1878p6},

228

{0x1.0p0, 0x1.7bfffffffffep6, 0x1.7c0563aac389bp6},

229

{0x1.0p0, 0x1.7bfffffffffe4p6, 0x1.7c0563aac389fp6},

230

{0x1.0p0, 0x1.7ffffffffffffp6, 0x1.8005554bda349p6},

231

{0x1.0p0, 0x1.8p6, 0x1.8005554bda34bp6},

232

{0x1.0p0, 0x1.83fffffffffap6, 0x1.84054738c9dcdp6},

233

{0x1.0p0, 0x1.84p6, 0x1.84054738c9e2dp6},

234

{0x1.0p0, 0x1.87ffffffff09p6, 0x1.8805396f3f494p6},

235

{0x1.0p0, 0x1.87ffffffff0bp6, 0x1.8805396f3f4b5p6},

236

{0x1.0p0, 0x1.8bfffffffffep6, 0x1.8c052bed02f7ap6},

237

{0x1.0p0, 0x1.8cp6, 0x1.8c052bed02f9bp6},

238

{0x1.0p0, 0x1.8fffffffff7c8p6, 0x1.90051eafee07bp6},

239

{0x1.0p0, 0x1.9p6, 0x1.90051eafee8b3p6},

240

{0x1.0p1, 0x1.fffffffffdcb5p-1, 0x1.1e3779b97f0b5p1},

241

{0x1.0p1, 0x1.ffffffffffab5p0, 0x1.6a09e667f39edp1},

242

{0x1.0p1, 0x1.7ffffffffffffp1, 0x1.cd82b446159f2p1},

243

{0x1.0p1, 0x1.8p1, 0x1.cd82b446159f3p1},

244

{0x1.0p1, 0x1.ffffffffffffbp1, 0x1.1e3779b97f4a6p2},

245

{0x1.0p1, 0x1.3fffffffffffdp2, 0x1.58a68a4a8d9fp2},

246

{0x1.0p1, 0x1.3fffffffffffep2, 0x1.58a68a4a8d9f1p2},

247

{0x1.0p1, 0x1.7ffffffffffffp2, 0x1.94c583ada5b51p2},

248

{0x1.0p1, 0x1.bfffffffffffep2, 0x1.d1ed52076fbe7p2},

249

{0x1.0p1, 0x1.cp2, 0x1.d1ed52076fbe9p2},

250

{0x1.0p1, 0x1.ffffffffffffdp2, 0x1.07e0f66afed06p3},

251

{0x1.0p1, 0x1.1fffffffffff2p3, 0x1.2706821902e8cp3},

252

{0x1.0p1, 0x1.2p3, 0x1.2706821902e9ap3},

253

{0x1.0p1, 0x1.3fffffffffffdp3, 0x1.465655f122ff3p3},

254

{0x1.0p1, 0x1.4p3, 0x1.465655f122ff6p3},

255

{0x1.0p1, 0x1.5ffffffffffd6p3, 0x1.65c55827df1a8p3},

256

{0x1.0p1, 0x1.7ffffffffffffp3, 0x1.854bfb363dc38p3},

257

{0x1.0p1, 0x1.8p3, 0x1.854bfb363dc39p3},

258

{0x1.0p1, 0x1.9ffffffffffe4p3, 0x1.a4e4efeda34c2p3},

259

{0x1.0p1, 0x1.ap3, 0x1.a4e4efeda34dep3},

260

{0x1.0p1, 0x1.bfffffffffffep3, 0x1.c48c6001f0abdp3},

261

{0x1.0p1, 0x1.dfffffffffffcp3, 0x1.e43f746f77956p3},

262

{0x1.0p1, 0x1.ep3, 0x1.e43f746f7795bp3},

263

{0x1.0p1, 0x1.fffffffffffffp3, 0x1.01fe03f61badp4},

264

{0x1.0p1, 0x1.0ffffffffffc4p4, 0x1.11e039f40ee2ap4},

265

{0x1.0p1, 0x1.0ffffffffffc7p4, 0x1.11e039f40ee2dp4},

266

{0x1.0p1, 0x1.1fffffffffffap4, 0x1.21c5b70d9f81dp4},

267

{0x1.0p1, 0x1.2fffffffffffcp4, 0x1.31adf859f9e5ap4},

268

{0x1.0p1, 0x1.2fffffffffffep4, 0x1.31adf859f9e5cp4},

269

{0x1.0p1, 0x1.3ffffffffffe5p4, 0x1.419894c2329d5p4},

270

{0x1.0p1, 0x1.3ffffffffffe7p4, 0x1.419894c2329d8p4},

271

{0x1.0p1, 0x1.4fffffffffff4p4, 0x1.518536f3ca668p4},

272

{0x1.0p1, 0x1.5p4, 0x1.518536f3ca675p4},

273

{0x1.0p1, 0x1.5ffffffffff7ep4, 0x1.617398f2aa9c6p4},

274

{0x1.0p1, 0x1.5ffffffffff8dp4, 0x1.617398f2aa9d5p4},

275

{0x1.0p1, 0x1.6ffffffffffb8p4, 0x1.716380ce70352p4},

276

{0x1.0p1, 0x1.7p4, 0x1.716380ce7039ap4},

277

{0x1.0p1, 0x1.7ffffffffff9bp4, 0x1.8154be27734c1p4},

278

{0x1.0p1, 0x1.8p4, 0x1.8154be2773526p4},

279

{0x1.0p1, 0x1.8ffffffffffe8p4, 0x1.9147284a4142fp4},

280

{0x1.0p1, 0x1.8ffffffffffffp4, 0x1.9147284a41446p4},

281

{0x1.0p1, 0x1.9fffffffffff4p4, 0x1.a13a9cb996644p4},

282

{0x1.0p1, 0x1.9ffffffffffffp4, 0x1.a13a9cb99664fp4},

283

{0x1.0p1, 0x1.affffffffff58p4, 0x1.b12efe0a8f113p4},

284

{0x1.0p1, 0x1.affffffffffd2p4, 0x1.b12efe0a8f18dp4},

285

{0x1.0p1, 0x1.bfffffffffffep4, 0x1.c12432fec0327p4},

286

{0x1.0p1, 0x1.cp4, 0x1.c12432fec0329p4},

287

{0x1.0p1, 0x1.cffffffffffe8p4, 0x1.d11a25cd6ed78p4},

288

{0x1.0p1, 0x1.dp4, 0x1.d11a25cd6ed91p4},

289

{0x1.0p1, 0x1.dffffffffffbcp4, 0x1.e110c39105f6bp4},

290

{0x1.0p1, 0x1.ep4, 0x1.e110c39105fafp4},

291

{0x1.0p1, 0x1.effffffffffe8p4, 0x1.f107fbd0adcf1p4},

292

{0x1.0p1, 0x1.efffffffffff8p4, 0x1.f107fbd0addp4},

293

{0x1.0p1, 0x1.ffffffffffeafp4, 0x1.007fe00ff5fc8p5},

294

{0x1.0p1, 0x1.07fffffffffe8p5, 0x1.087c01e7d5092p5},

295

{0x1.0p1, 0x1.08p5, 0x1.087c01e7d50abp5},

296

{0x1.0p1, 0x1.0fffffffffff4p5, 0x1.10785dd689a1cp5},

297

{0x1.0p1, 0x1.0fffffffffffbp5, 0x1.10785dd689a23p5},

298

{0x1.0p1, 0x1.17ffffffffed8p5, 0x1.1874eee5c5cb1p5},

299

{0x1.0p1, 0x1.17ffffffffee8p5, 0x1.1874eee5c5cc2p5},

300

{0x1.0p1, 0x1.1ffffffffff92p5, 0x1.2071b0abcd7cap5},

301

{0x1.0p1, 0x1.1ffffffffff99p5, 0x1.2071b0abcd7d1p5},

302

{0x1.0p1, 0x1.27ffffffffea8p5, 0x1.286e9f388de9fp5},

303

{0x1.0p1, 0x1.28p5, 0x1.286e9f388dff7p5},

304

{0x1.0p1, 0x1.2fffffffffffcp5, 0x1.306bb705ae7bfp5},

305

{0x1.0p1, 0x1.2ffffffffffffp5, 0x1.306bb705ae7c3p5},

306

{0x1.0p1, 0x1.37ffffffffff8p5, 0x1.3868f4e9108b9p5},

307

{0x1.0p1, 0x1.38p5, 0x1.3868f4e9108c1p5},

308

{0x1.0p1, 0x1.3fffffffffffdp5, 0x1.4066560954a8bp5},

309

{0x1.0p1, 0x1.47ffffffffe28p5, 0x1.4863d7d40ad39p5},

310

{0x1.0p1, 0x1.48p5, 0x1.4863d7d40af11p5},

311

{0x1.0p1, 0x1.4fffffffffe14p5, 0x1.506177f548fcfp5},

312

{0x1.0p1, 0x1.5p5, 0x1.506177f5491bbp5},

313

{0x1.0p1, 0x1.57ffffffffeb8p5, 0x1.585f34506bafbp5},

314

{0x1.0p1, 0x1.58p5, 0x1.585f34506bc43p5},

315

{0x1.0p1, 0x1.5fffffffffffdp5, 0x1.605d0af9d3a42p5},

316

{0x1.0p1, 0x1.5fffffffffffep5, 0x1.605d0af9d3a42p5},

317

{0x1.0p1, 0x1.67ffffffffda8p5, 0x1.685afa317791bp5},

318

{0x1.0p1, 0x1.68p5, 0x1.685afa3177b73p5},

319

{0x1.0p1, 0x1.6fffffffffff8p5, 0x1.7059005e2c015p5},

320

{0x1.0p1, 0x1.6ffffffffffffp5, 0x1.7059005e2c01dp5},

321

{0x1.0p1, 0x1.77ffffffffffp5, 0x1.78571c0982328p5},

322

{0x1.0p1, 0x1.78p5, 0x1.78571c0982339p5},

323

{0x1.0p1, 0x1.7fffffffffffdp5, 0x1.80554bdc2dc4dp5},

324

{0x1.0p1, 0x1.7ffffffffffffp5, 0x1.80554bdc2dc4ep5},

325

{0x1.0p1, 0x1.87fffffffffdp5, 0x1.88538e9ad8dacp5},

326

{0x1.0p1, 0x1.87fffffffffffp5, 0x1.88538e9ad8ddbp5},

327

{0x1.0p1, 0x1.8fffffffffe68p5, 0x1.9051e3235a2cp5},

328

{0x1.0p1, 0x1.9p5, 0x1.9051e3235a458p5},

329

{0x1.0p1, 0x1.97ffffffffffp5, 0x1.9850486a3f17p5},

330

{0x1.0p1, 0x1.97fffffffffffp5, 0x1.9850486a3f17fp5},

331

{0x1.0p1, 0x1.9fffffffffff4p5, 0x1.a04ebd789d00cp5},

332

{0x1.0p1, 0x1.ap5, 0x1.a04ebd789d019p5},

333

{0x1.0p1, 0x1.a7ffffffffe1p5, 0x1.a84d416a2354dp5},

334

{0x1.0p1, 0x1.a8p5, 0x1.a84d416a2373dp5},

335

{0x1.0p1, 0x1.afffffffffed8p5, 0x1.b04bd36b639fbp5},

336

{0x1.0p1, 0x1.affffffffff43p5, 0x1.b04bd36b63a66p5},

337

{0x1.0p1, 0x1.b7ffffffffd7p5, 0x1.b84a72b848951p5},

338

{0x1.0p1, 0x1.b7ffffffffe2bp5, 0x1.b84a72b848a0cp5},

339

{0x1.0p1, 0x1.bfffffffffe3ep5, 0x1.c0491e9ab90fdp5},

340

{0x1.0p1, 0x1.cp5, 0x1.c0491e9ab92bfp5},

341

{0x1.0p1, 0x1.c7fffffffffdp5, 0x1.c847d6695dbc5p5},

342

{0x1.0p1, 0x1.c8p5, 0x1.c847d6695dbf6p5},

343

{0x1.0p1, 0x1.cfffffffffed8p5, 0x1.d0469986884d6p5},

344

{0x1.0p1, 0x1.cfffffffffee8p5, 0x1.d0469986884e5p5},

345

{0x1.0p1, 0x1.d7ffffffffdfp5, 0x1.d845675f37721p5},

346

{0x1.0p1, 0x1.d8p5, 0x1.d845675f37931p5},

347

{0x1.0p1, 0x1.dfffffffffe5cp5, 0x1.e0443f6a33104p5},

348

{0x1.0p1, 0x1.dffffffffffffp5, 0x1.e0443f6a332a7p5},

349

{0x1.0p1, 0x1.e7fffffffff05p5, 0x1.e84321273f31ep5},

350

{0x1.0p1, 0x1.e7fffffffff1p5, 0x1.e84321273f328p5},

351

{0x1.0p1, 0x1.efffffffffff8p5, 0x1.f0420c1e63084p5},

352

{0x1.0p1, 0x1.fp5, 0x1.f0420c1e6308dp5},

353

{0x1.0p1, 0x1.f7ffffffffc3p5, 0x1.f840ffdf40effp5},

354

{0x1.0p1, 0x1.f7fffffffff08p5, 0x1.f840ffdf411d7p5},

355

{0x1.0p1, 0x1.ffffffffffffdp5, 0x1.001ffe003ff5fp6},

356

{0x1.0p1, 0x1.03fffffffffdp6, 0x1.041f800f9f928p6},

357

{0x1.0p1, 0x1.03ffffffffffap6, 0x1.041f800f9f953p6},

358

{0x1.0p1, 0x1.07ffffffffed8p6, 0x1.081f05ef4d755p6},

359

{0x1.0p1, 0x1.07ffffffffee8p6, 0x1.081f05ef4d764p6},

360

{0x1.0p1, 0x1.0bfffffffff5p6, 0x1.0c1e8f739cdcap6},

361

{0x1.0p1, 0x1.0bfffffffff7p6, 0x1.0c1e8f739cde9p6},

362

{0x1.0p1, 0x1.0fffffffffff4p6, 0x1.101e1c7371c6bp6},

363

{0x1.0p1, 0x1.0fffffffffffbp6, 0x1.101e1c7371c72p6},

364

{0x1.0p1, 0x1.13fffffffffdp6, 0x1.141dacc811a34p6},

365

{0x1.0p1, 0x1.13ffffffffffcp6, 0x1.141dacc811a6p6},

366

{0x1.0p1, 0x1.17ffffffffff8p6, 0x1.181d404cf7f51p6},

367

{0x1.0p1, 0x1.17ffffffffffdp6, 0x1.181d404cf7f56p6},

368

{0x1.0p1, 0x1.1bffffffffffp6, 0x1.1c1cd6dfae4a5p6},

369

{0x1.0p1, 0x1.1bffffffffffep6, 0x1.1c1cd6dfae4b4p6},

370

{0x1.0p1, 0x1.1fffffffffbf2p6, 0x1.201c705fa7a27p6},

371

{0x1.0p1, 0x1.1fffffffffc65p6, 0x1.201c705fa7a9ap6},

372

{0x1.0p1, 0x1.23fffffffffdp6, 0x1.241c0cae201cap6},

373

{0x1.0p1, 0x1.23ffffffffffp6, 0x1.241c0cae201ebp6},

374

{0x1.0p1, 0x1.27ffffffffe08p6, 0x1.281babadfba01p6},

375

{0x1.0p1, 0x1.28p6, 0x1.281babadfbbf9p6},

376

{0x1.0p1, 0x1.2bffffffffc1p6, 0x1.2c1b4d43ac4cfp6},

377

{0x1.0p1, 0x1.2bffffffffc3p6, 0x1.2c1b4d43ac4eep6},

378

{0x1.0p1, 0x1.2ffffffffff64p6, 0x1.301af15517357p6},

379

{0x1.0p1, 0x1.2ffffffffff6cp6, 0x1.301af1551735ep6},

380

{0x1.0p1, 0x1.33ffffffffadp6, 0x1.341a97c97b22ep6},

381

{0x1.0p1, 0x1.33ffffffffafp6, 0x1.341a97c97b24fp6},

382

{0x1.0p1, 0x1.37ffffffffc78p6, 0x1.381a40895d3f5p6},

383

{0x1.0p1, 0x1.37ffffffffc88p6, 0x1.381a40895d406p6},

384

{0x1.0p1, 0x1.3bffffffffffp6, 0x1.3c19eb7e71afcp6},

385

{0x1.0p1, 0x1.3bfffffffffffp6, 0x1.3c19eb7e71b0cp6},

386

{0x1.0p1, 0x1.3fffffffffffdp6, 0x1.4019989389b2dp6},

387

{0x1.0p1, 0x1.4p6, 0x1.4019989389b3p6},

388

{0x1.0p1, 0x1.43fffffffffdp6, 0x1.441947b4829e8p6},

389

{0x1.0p1, 0x1.43ffffffffff8p6, 0x1.441947b482a11p6},

390

{0x1.0p1, 0x1.47fffffffffe8p6, 0x1.4818f8ce34e19p6},

391

{0x1.0p1, 0x1.47ffffffffffap6, 0x1.4818f8ce34e2cp6},

392

{0x1.0p1, 0x1.4bffffffffffp6, 0x1.4c18abce6501fp6},

393

{0x1.0p1, 0x1.4bffffffffffcp6, 0x1.4c18abce6502cp6},

394

{0x1.0p1, 0x1.4fffffffffa64p6, 0x1.501860a3b54bep6},

395

{0x1.0p1, 0x1.4fffffffffe47p6, 0x1.501860a3b58a1p6},

396

{0x1.0p1, 0x1.53ffffffffd5p6, 0x1.5418173d9a501p6},

397

{0x1.0p1, 0x1.53ffffffffd7p6, 0x1.5418173d9a522p6},

398

{0x1.0p1, 0x1.57ffffffffff8p6, 0x1.5817cf8c4c199p6},

399

{0x1.0p1, 0x1.57fffffffffffp6, 0x1.5817cf8c4c1ap6},

400

{0x1.0p1, 0x1.5bffffffff83p6, 0x1.5c178980bc34bp6},

401

{0x1.0p1, 0x1.5bffffffff988p6, 0x1.5c178980bc4a3p6},

402

{0x1.0p1, 0x1.5fffffffffbeep6, 0x1.6017450c8d3e7p6},

403

{0x1.0p1, 0x1.6p6, 0x1.6017450c8d7f9p6},

404

{0x1.0p1, 0x1.63fffffffffdp6, 0x1.6417022204f99p6},

405

{0x1.0p1, 0x1.67fffffffffe8p6, 0x1.6816c0b405afp6},

406

{0x1.0p1, 0x1.68p6, 0x1.6816c0b405b09p6},

407

{0x1.0p1, 0x1.6bfffffffffep6, 0x1.6c1680b6059e8p6},

408

{0x1.0p1, 0x1.6cp6, 0x1.6c1680b605a08p6},

409

{0x1.0p1, 0x1.6fffffffffb78p6, 0x1.7016421c06043p6},

410

{0x1.0p1, 0x1.7p6, 0x1.7016421c064cbp6},

411

{0x1.0p1, 0x1.73fffffffffap6, 0x1.741604da8d2b9p6},

412

{0x1.0p1, 0x1.73ffffffffff8p6, 0x1.741604da8d311p6},

413

{0x1.0p1, 0x1.77ffffffffffp6, 0x1.7815c8e69cc37p6},

414

{0x1.0p1, 0x1.77ffffffffffcp6, 0x1.7815c8e69cc43p6},

415

{0x1.0p1, 0x1.7bfffffffffep6, 0x1.7c158e35adde4p6},

416

{0x1.0p1, 0x1.7bfffffffffe8p6, 0x1.7c158e35addecp6},

417

{0x1.0p1, 0x1.7ffffffffffffp6, 0x1.801554bda99c5p6},

418

{0x1.0p1, 0x1.83ffffffffdap6, 0x1.84151c74e35e4p6},

419

{0x1.0p1, 0x1.83ffffffffdep6, 0x1.84151c74e3625p6},

420

{0x1.0p1, 0x1.87fffffffffdp6, 0x1.8814e55214271p6},

421

{0x1.0p1, 0x1.87ffffffffffcp6, 0x1.8814e5521429ep6},

422

{0x1.0p1, 0x1.8bfffffffffep6, 0x1.8c14af4c540b6p6},

423

{0x1.0p1, 0x1.8bffffffffff6p6, 0x1.8c14af4c540cdp6},

424

{0x1.0p1, 0x1.8ffffffffffe8p6, 0x1.90147a5b16ce5p6},

425

{0x1.0p1, 0x1.8fffffffffffcp6, 0x1.90147a5b16cfap6},

426

{0x1.8p1, 0x1.ffffffffffffdp-1, 0x1.94c583ada5b53p1},

427

{0x1.8p1, 0x1.0p1, 0x1.cd82b446159f3p1},

428

{0x1.8p1, 0x1.7fffffffffff7p1, 0x1.0f876ccdf6cd6p2},

429

{0x1.8p1, 0x1.8p1, 0x1.0f876ccdf6cd9p2},

430

{0x1.8p1, 0x1.fffffffffffffp1, 0x1.4p2},

431

{0x1.8p1, 0x1.3ffffffffffe1p2, 0x1.752e50db3a387p2},

432

{0x1.8p1, 0x1.4p2, 0x1.752e50db3a3a2p2},

433

{0x1.8p1, 0x1.7ffffffffffffp2, 0x1.ad5336963eefap2},

434

{0x1.8p1, 0x1.bfffffffffffep2, 0x1.e768d399dc46dp2},

435

{0x1.8p1, 0x1.bffffffffffffp2, 0x1.e768d399dc46fp2},

436

{0x1.8p1, 0x1.fffffffffffffp2, 0x1.11687a8ae14a3p3},

437

{0x1.8p1, 0x1.1fffffffffff2p3, 0x1.2f9422c23c47p3},

438

{0x1.8p1, 0x1.1fffffffffff7p3, 0x1.2f9422c23c475p3},

439

{0x1.8p1, 0x1.3fffffffffff1p3, 0x1.4e16fdacff928p3},

440

{0x1.8p1, 0x1.3fffffffffff4p3, 0x1.4e16fdacff92bp3},

441

{0x1.8p1, 0x1.5ffffffffffffp3, 0x1.6cdb2bbb212ebp3},

442

{0x1.8p1, 0x1.7fffffffffffdp3, 0x1.8bd171a07e388p3},

443

{0x1.8p1, 0x1.7ffffffffffffp3, 0x1.8bd171a07e389p3},

444

{0x1.8p1, 0x1.9ffffffffffe4p3, 0x1.aaeee979b481cp3},

445

{0x1.8p1, 0x1.9ffffffffffecp3, 0x1.aaeee979b4825p3},

446

{0x1.8p1, 0x1.bffffffffffeep3, 0x1.ca2b9714180e5p3},

447

{0x1.8p1, 0x1.cp3, 0x1.ca2b9714180f7p3},

448

{0x1.8p1, 0x1.dfffffffffffcp3, 0x1.e98180e9b47edp3},

449

{0x1.8p1, 0x1.dfffffffffffep3, 0x1.e98180e9b47efp3},

450

{0x1.8p1, 0x1.fffffffffffffp3, 0x1.04760c95db31p4},

451

{0x1.8p1, 0x1.0fffffffffff4p4, 0x1.1433ec467efefp4},

452

{0x1.8p1, 0x1.1ffffffffffeap4, 0x1.23f8fc68ae515p4},

453

{0x1.8p1, 0x1.2p4, 0x1.23f8fc68ae52bp4},

454

{0x1.8p1, 0x1.2fffffffffffcp4, 0x1.33c42213ee0c5p4},

455

{0x1.8p1, 0x1.3p4, 0x1.33c42213ee0c9p4},

456

{0x1.8p1, 0x1.3ffffffffffd9p4, 0x1.439479381ec96p4},

457

{0x1.8p1, 0x1.3fffffffffff6p4, 0x1.439479381ecb3p4},

458

{0x1.8p1, 0x1.4ffffffffffc4p4, 0x1.53694801747d4p4},

459

{0x1.8p1, 0x1.4ffffffffffccp4, 0x1.53694801747dcp4},

460

{0x1.8p1, 0x1.5ffffffffffbep4, 0x1.6341f58bad9d2p4},

461

{0x1.8p1, 0x1.5ffffffffffc2p4, 0x1.6341f58bad9d7p4},

462

{0x1.8p1, 0x1.6fffffffffff8p4, 0x1.731e02ed21f18p4},

463

{0x1.8p1, 0x1.6ffffffffffffp4, 0x1.731e02ed21f2p4},

464

{0x1.8p1, 0x1.7fffffffffffdp4, 0x1.82fd05f129836p4},

465

{0x1.8p1, 0x1.7ffffffffffffp4, 0x1.82fd05f129837p4},

466

{0x1.8p1, 0x1.8ffffffffffa8p4, 0x1.92dea50d28578p4},

467

{0x1.8p1, 0x1.8ffffffffffffp4, 0x1.92dea50d285cep4},

468

{0x1.8p1, 0x1.9ffffffffffe4p4, 0x1.a2c2943e2866p4},

469

{0x1.8p1, 0x1.9fffffffffffcp4, 0x1.a2c2943e28678p4},

470

{0x1.8p1, 0x1.afffffffffff8p4, 0x1.b2a892946f42dp4},

471

{0x1.8p1, 0x1.afffffffffffep4, 0x1.b2a892946f434p4},

472

{0x1.8p1, 0x1.bffffffffffeep4, 0x1.c2906842b6bf3p4},

473

{0x1.8p1, 0x1.bfffffffffff2p4, 0x1.c2906842b6bf8p4},

474

{0x1.8p1, 0x1.cffffffffffe8p4, 0x1.d279e51208c72p4},

475

{0x1.8p1, 0x1.dp4, 0x1.d279e51208c8ap4},

476

{0x1.8p1, 0x1.dfffffffffff4p4, 0x1.e264df234beddp4},

477

{0x1.8p1, 0x1.dfffffffffffcp4, 0x1.e264df234bee4p4},

478

{0x1.8p1, 0x1.efffffffffff8p4, 0x1.f25131ed54d64p4},

479

{0x1.8p1, 0x1.fp4, 0x1.f25131ed54d6cp4},

480

{0x1.8p1, 0x1.fffffffffffffp4, 0x1.011f5eb54147p5},

481

{0x1.8p1, 0x1.07fffffffff88p5, 0x1.0916b2b5fff3ep5},

482

{0x1.8p1, 0x1.07fffffffffaap5, 0x1.0916b2b5fff6p5},

483

{0x1.8p1, 0x1.0ffffffffffc4p5, 0x1.110e8885865b8p5},

484

{0x1.8p1, 0x1.0ffffffffffccp5, 0x1.110e8885865c1p5},

485

{0x1.8p1, 0x1.17fffffffff58p5, 0x1.1906d51932b7ep5},

486

{0x1.8p1, 0x1.17fffffffff77p5, 0x1.1906d51932b9dp5},

487

{0x1.8p1, 0x1.1fffffffffffap5, 0x1.20ff8e9d967d6p5},

488

{0x1.8p1, 0x1.1fffffffffffep5, 0x1.20ff8e9d967dbp5},

489

{0x1.8p1, 0x1.27fffffffffc8p5, 0x1.28f8ac4cd98f2p5},

490

{0x1.8p1, 0x1.27fffffffffd8p5, 0x1.28f8ac4cd9903p5},

491

{0x1.8p1, 0x1.2ffffffffff7cp5, 0x1.30f2264b9c502p5},

492

{0x1.8p1, 0x1.2ffffffffffafp5, 0x1.30f2264b9c535p5},

493

{0x1.8p1, 0x1.37ffffffffff8p5, 0x1.38ebf58b30cb4p5},

494

{0x1.8p1, 0x1.37fffffffffffp5, 0x1.38ebf58b30cbcp5},

495

{0x1.8p1, 0x1.3fffffffffffdp5, 0x1.40e613b03f1dcp5},

496

{0x1.8p1, 0x1.3ffffffffffffp5, 0x1.40e613b03f1dfp5},

497

{0x1.8p1, 0x1.47fffffffffa1p5, 0x1.48e07afd169d5p5},

498

{0x1.8p1, 0x1.47fffffffffa8p5, 0x1.48e07afd169dbp5},

499

{0x1.8p1, 0x1.4ffffffffff84p5, 0x1.50db263f101e3p5},

500

{0x1.8p1, 0x1.4ffffffffff8cp5, 0x1.50db263f101ecp5},

501

{0x1.8p1, 0x1.57ffffffffff8p5, 0x1.58d610be831eep5},

502

{0x1.8p1, 0x1.58p5, 0x1.58d610be831f7p5},

503

{0x1.8p1, 0x1.5fffffffffffap5, 0x1.60d13630e611p5},

504

{0x1.8p1, 0x1.5fffffffffffep5, 0x1.60d13630e6113p5},

505

{0x1.8p1, 0x1.67fffffffffe8p5, 0x1.68cc92acc47abp5},

506

{0x1.8p1, 0x1.68p5, 0x1.68cc92acc47c3p5},

507

{0x1.8p1, 0x1.6fffffffffff8p5, 0x1.70c8229f43a38p5},

508

{0x1.8p1, 0x1.6fffffffffffap5, 0x1.70c8229f43a3ap5},

509

{0x1.8p1, 0x1.77ffffffffffp5, 0x1.78c3e2c2fb433p5},

510

{0x1.8p1, 0x1.77ffffffffffep5, 0x1.78c3e2c2fb441p5},

511

{0x1.8p1, 0x1.7ffffffffffffp5, 0x1.80bfd017f10a6p5},

512

{0x1.8p1, 0x1.87fffffffff5p5, 0x1.88bbe7dc8d9ap5},

513

{0x1.8p1, 0x1.88p5, 0x1.88bbe7dc8da5p5},

514

{0x1.8p1, 0x1.8ffffffffffe8p5, 0x1.90b8278768b67p5},

515

{0x1.8p1, 0x1.9p5, 0x1.90b8278768b8p5},

516

{0x1.8p1, 0x1.97fffffffff2bp5, 0x1.98b48cc1ce669p5},

517

{0x1.8p1, 0x1.97fffffffff3p5, 0x1.98b48cc1ce66dp5},

518

{0x1.8p1, 0x1.9ffffffffff34p5, 0x1.a0b11562e5efcp5},

519

{0x1.8p1, 0x1.ap5, 0x1.a0b11562e5fc8p5},

520

{0x1.8p1, 0x1.a7fffffffffdp5, 0x1.a8adbf6b63874p5},

521

{0x1.8p1, 0x1.a8p5, 0x1.a8adbf6b638a4p5},

522

{0x1.8p1, 0x1.affffffffffd8p5, 0x1.b0aa8901b442cp5},

523

{0x1.8p1, 0x1.affffffffffe8p5, 0x1.b0aa8901b443dp5},

524

{0x1.8p1, 0x1.b7ffffffffffp5, 0x1.b8a7706e94761p5},

525

{0x1.8p1, 0x1.b7ffffffffffep5, 0x1.b8a7706e9477p5},

526

{0x1.8p1, 0x1.bfffffffffffep5, 0x1.c0a4741a02dcap5},

527

{0x1.8p1, 0x1.cp5, 0x1.c0a4741a02dcdp5},

528

{0x1.8p1, 0x1.c7fffffffffdp5, 0x1.c8a1928885b75p5},

529

{0x1.8p1, 0x1.c7ffffffffff9p5, 0x1.c8a1928885b9fp5},

530

{0x1.8p1, 0x1.cffffffffff28p5, 0x1.d09eca58b7d2cp5},

531

{0x1.8p1, 0x1.dp5, 0x1.d09eca58b7e04p5},

532

{0x1.8p1, 0x1.d7ffffffffffp5, 0x1.d89c1a4115253p5},

533

{0x1.8p1, 0x1.d8p5, 0x1.d89c1a4115264p5},

534

{0x1.8p1, 0x1.dfffffffffffcp5, 0x1.e099810dfefd1p5},

535

{0x1.8p1, 0x1.e7fffffffffdp5, 0x1.e896fd9ff2afep5},

536

{0x1.8p1, 0x1.e7ffffffffffap5, 0x1.e896fd9ff2b29p5},

537

{0x1.8p1, 0x1.effffffffff98p5, 0x1.f0948ee9ebc7bp5},

538

{0x1.8p1, 0x1.effffffffffcap5, 0x1.f0948ee9ebcadp5},

539

{0x1.8p1, 0x1.f7fffffffff7p5, 0x1.f89233efeda08p5},

540

{0x1.8p1, 0x1.f7fffffffffb2p5, 0x1.f89233efeda4ap5},

541

{0x1.8p1, 0x1.ffffffffffda9p5, 0x1.0047f5e2d7ed7p6},

542

{0x1.8p1, 0x1.03ffffffffedp6, 0x1.0446dac6b5468p6},

543

{0x1.8p1, 0x1.04p6, 0x1.0446dac6b5598p6},

544

{0x1.8p1, 0x1.07fffffffffe8p6, 0x1.0845c83b5eb9bp6},

545

{0x1.8p1, 0x1.07ffffffffff9p6, 0x1.0845c83b5ebadp6},

546

{0x1.8p1, 0x1.0bffffffffe9bp6, 0x1.0c44bdded82bdp6},

547

{0x1.8p1, 0x1.0bffffffffebp6, 0x1.0c44bdded82d1p6},

548

{0x1.8p1, 0x1.0fffffffffed4p6, 0x1.1043bb54e5cc9p6},

549

{0x1.8p1, 0x1.0ffffffffff1fp6, 0x1.1043bb54e5d14p6},

550

{0x1.8p1, 0x1.13ffffffffe9p6, 0x1.1442c046a0ea6p6},

551

{0x1.8p1, 0x1.13fffffffff5ap6, 0x1.1442c046a0f7p6},

552

{0x1.8p1, 0x1.17fffffffffa8p6, 0x1.1841cc62174cbp6},

553

{0x1.8p1, 0x1.17fffffffffb8p6, 0x1.1841cc62174dap6},

554

{0x1.8p1, 0x1.1bffffffffffp6, 0x1.1c40df59f1a57p6},

555

{0x1.8p1, 0x1.1cp6, 0x1.1c40df59f1a67p6},

556

{0x1.8p1, 0x1.1fffffffffffap6, 0x1.203ff8e522535p6},

557

{0x1.8p1, 0x1.1ffffffffffffp6, 0x1.203ff8e52253bp6},

558

{0x1.8p1, 0x1.23fffffffffdp6, 0x1.243f18be9a334p6},

559

{0x1.8p1, 0x1.23ffffffffffbp6, 0x1.243f18be9a36p6},

560

{0x1.8p1, 0x1.27fffffffffe8p6, 0x1.283e3ea503c63p6},

561

{0x1.8p1, 0x1.27ffffffffff8p6, 0x1.283e3ea503c74p6},

562

{0x1.8p1, 0x1.2bffffffffdfp6, 0x1.2c3d6a5a83932p6},

563

{0x1.8p1, 0x1.2bffffffffe1p6, 0x1.2c3d6a5a83953p6},

564

{0x1.8p1, 0x1.2fffffffffffcp6, 0x1.303c9ba47e6d4p6},

565

{0x1.8p1, 0x1.3p6, 0x1.303c9ba47e6d8p6},

566

{0x1.8p1, 0x1.33fffffffffdp6, 0x1.343bd24b62468p6},

567

{0x1.8p1, 0x1.33fffffffffffp6, 0x1.343bd24b62498p6},

568

{0x1.8p1, 0x1.37ffffffffff8p6, 0x1.383b0e1a75c0ap6},

569

{0x1.8p1, 0x1.37fffffffffffp6, 0x1.383b0e1a75c12p6},

570

{0x1.8p1, 0x1.3bffffffffffp6, 0x1.3c3a4edfa9748p6},

571

{0x1.8p1, 0x1.3bffffffffffep6, 0x1.3c3a4edfa9756p6},

572

{0x1.8p1, 0x1.3fffffffffd4dp6, 0x1.4039946b6d79fp6},

573

{0x1.8p1, 0x1.3ffffffffffffp6, 0x1.4039946b6da51p6},

574

{0x1.8p1, 0x1.43fffffffff9p6, 0x1.4438de908abeap6},

575

{0x1.8p1, 0x1.43fffffffffbp6, 0x1.4438de908ac0bp6},

576

{0x1.8p1, 0x1.47ffffffffd08p6, 0x1.48382d23fccedp6},

577

{0x1.8p1, 0x1.47fffffffffa2p6, 0x1.48382d23fcf87p6},

578

{0x1.8p1, 0x1.4bffffffffcebp6, 0x1.4c377ffcd212fp6},

579

{0x1.8p1, 0x1.4bffffffffcfp6, 0x1.4c377ffcd2133p6},

580

{0x1.8p1, 0x1.4ffffffffff44p6, 0x1.5036d6f40ad53p6},

581

{0x1.8p1, 0x1.4ffffffffff9bp6, 0x1.5036d6f40adaap6},

582

{0x1.8p1, 0x1.53ffffffffedp6, 0x1.543631e47c1e1p6},

583

{0x1.8p1, 0x1.54p6, 0x1.543631e47c311p6},

584

{0x1.8p1, 0x1.57ffffffffd78p6, 0x1.583590aab542dp6},

585

{0x1.8p1, 0x1.58p6, 0x1.583590aab56b5p6},

586

{0x1.8p1, 0x1.5bffffffffc7p6, 0x1.5c34f324e60eep6},

587

{0x1.8p1, 0x1.5bffffffffc9p6, 0x1.5c34f324e610fp6},

588

{0x1.8p1, 0x1.5fffffffffffdp6, 0x1.60345932c760dp6},

589

{0x1.8p1, 0x1.5fffffffffffep6, 0x1.60345932c760dp6},

590

{0x1.8p1, 0x1.63fffffffff79p6, 0x1.6433c2b58421fp6},

591

{0x1.8p1, 0x1.63fffffffff9p6, 0x1.6433c2b584235p6},

592

{0x1.8p1, 0x1.67ffffffffda8p6, 0x1.68332f8fa63a6p6},

593

{0x1.8p1, 0x1.67fffffffff4dp6, 0x1.68332f8fa654bp6},

594

{0x1.8p1, 0x1.6bfffffffffep6, 0x1.6c329fa502ccfp6},

595

{0x1.8p1, 0x1.6cp6, 0x1.6c329fa502cefp6},

596

{0x1.8p1, 0x1.6fffffffffff8p6, 0x1.703212daa75f3p6},

597

{0x1.8p1, 0x1.6ffffffffffffp6, 0x1.703212daa75fbp6},

598

{0x1.8p1, 0x1.73fffffffffap6, 0x1.74318916ca409p6},

599

{0x1.8p1, 0x1.74p6, 0x1.74318916ca46ap6},

600

{0x1.8p1, 0x1.77ffffffffffp6, 0x1.78310240ba47p6},

601

{0x1.8p1, 0x1.78p6, 0x1.78310240ba481p6},

602

{0x1.8p1, 0x1.7bfffffffffep6, 0x1.7c307e40cff7fp6},

603

{0x1.8p1, 0x1.7bfffffffffe4p6, 0x1.7c307e40cff83p6},

604

{0x1.8p1, 0x1.7fffffffffff7p6, 0x1.802ffd005ff07p6},

605

{0x1.8p1, 0x1.7fffffffffff9p6, 0x1.802ffd005ff0ap6},

606

{0x1.8p1, 0x1.83fffffffffap6, 0x1.842f7e69adc1ep6},

607

{0x1.8p1, 0x1.83fffffffffffp6, 0x1.842f7e69adc7dp6},

608

{0x1.8p1, 0x1.87fffffffffdp6, 0x1.882f0267dfef4p6},

609

{0x1.8p1, 0x1.88p6, 0x1.882f0267dff24p6},

610

{0x1.8p1, 0x1.8bfffffffffep6, 0x1.8c2e88e6f449ap6},

611

{0x1.8p1, 0x1.8bffffffffff6p6, 0x1.8c2e88e6f44b1p6},

612

{0x1.8p1, 0x1.8ffffffffffe8p6, 0x1.902e11d3b5549p6},

613

{0x1.8p1, 0x1.8fffffffffffep6, 0x1.902e11d3b556p6},

614

};

615

616

for (double[] testCase: testCases)

617

failures+=testHypotCase(testCase[0], testCase[1], testCase[2]);

return failures;

}

public static void main(String [] argv) {

623

int failures = 0;

624

625

failures += testHypot();

626

627

if (failures > 0) {

628

System.err.println("Testing log1p incurred "

629

+ failures + " failures.");

630

throw new RuntimeException();

631

}

632

}

633

}