TODO update
[libm] / test / io / cr / acos.testdata
1 acos     # Name of the function to test
2
3 # acos.testdata
4 # copyright (C) 2007  F. de Dinechin, Ch. Q. Lauter and V. Lefevre
5 # This file is part of crlibm and is distributed under the GNU Public Licence
6 # See file COPYING for details
7
8 # The following lines are either comments (beginning with a #)
9 # or give 
10 #   1/ a rounding mode : RN|RU|RD|RZ (crlibm syntax) or  N|P|M|Z (libmcr syntax)
11 #   2/ The high and low hexadecimal halves of an input
12 #   3/ The high and low hexadecimal halves of the expected corresponding output
13
14
15 # Special cases
16
17 N 00000000 00000000 3ff921fb 54442d18  # +0 -> RN(Pi/2)
18 N 80000000 00000000 3ff921fb 54442d18  # -0 -> RN(Pi/2)
19 M 00000000 00000000 3ff921fb 54442d18  # +0 -> RD(Pi/2)
20 M 80000000 00000000 3ff921fb 54442d18  # -0 -> RD(Pi/2)
21 Z 00000000 00000000 3ff921fb 54442d18  # +0 -> RZ(Pi/2)
22 Z 80000000 00000000 3ff921fb 54442d18  # -0 -> RZ(Pi/2)
23 P 00000000 00000000 3ff921fb 54442d19  # +0 -> RU(Pi/2)
24 P 80000000 00000000 3ff921fb 54442d19  # -0 -> RU(Pi/2)
25
26
27 N 3ff00000 00000000 00000000 00000000  # +1 -> +0
28 N bff00000 00000000 400921fb 54442d18  # -1 -> RN(Pi)
29 M 3ff00000 00000000 00000000 00000000  # +1 -> +0
30 M bff00000 00000000 400921fb 54442d18  # -1 -> RN(Pi)
31 Z 3ff00000 00000000 00000000 00000000  # +1 -> +0
32 Z bff00000 00000000 400921fb 54442d18  # -1 -> RN(Pi)
33 P 3ff00000 00000000 00000000 00000000  # +1 -> +0
34 P bff00000 00000000 400921fb 54442d19  # -1 -> RN(Pi)
35
36
37 N 3ff00000 00000001 fff80000 00000000  # +1 + 1ulp -> NaN the first one
38 N bff00000 00000001 fff80000 00000000  # -1 - 1ulp -> NaN the first one
39 P 3ff00000 00000001 fff80000 00000000  # +1 + 1ulp -> NaN the first one
40 P bff00000 00000001 fff80000 00000000  # -1 - 1ulp -> NaN the first one
41 M 3ff00000 00000001 fff80000 00000000  # +1 + 1ulp -> NaN the first one
42 M bff00000 00000001 fff80000 00000000  # -1 - 1ulp -> NaN the first one
43 Z 3ff00000 00000001 fff80000 00000000  # +1 + 1ulp -> NaN the first one
44 Z bff00000 00000001 fff80000 00000000  # -1 - 1ulp -> NaN the first one
45
46
47
48 # Cases around the interval bounds in the implementation
49
50 # A VIRER: CA CORRESPOND PLUS A LA NOUVELLE IMPLEMENTATION
51 # SI ON VEUT LAISSER LES TESTS AUTOUR DES BORNES JE PEUX LES FOURNIR
52
53
54 N 3FC7AE14 00000000 3ff627d4 e6aebaaa  # BOUND 1 
55 N 3FD32E91 00000000 3ff4432c c777bc6d  # BOUND 2 
56 N 3FD9CA24 00000000 3ff27f28 a9778f27  # BOUND 3 
57 N 3FDF90B3 00000000 3ff0e160 fb695be7  # BOUND 4 
58 N 3FE23ADC 00000000 3feede9b a1492b14  # BOUND 5 
59 N 3FE4781D 00000000 3fec0e3b da3f6bd0  # BOUND 6 
60 N 3FE647BB 00000000 3fe99ebe 5a6febce  # BOUND 7 
61 N 3FE7BC81 00000000 3fe785f9 b11a0b20  # BOUND 8 
62 N 3FE8F5C2 00000000 3fe5a2dd 58639a11  # BOUND 9 
63
64 N 3FC7AE14 00000001 3ff627d4 e6aebaa9  # BOUND 1 + 1ulp
65 N 3FD32E91 00000001 3ff4432c c777bc6d  # BOUND 2 + 1ulp
66 N 3FD9CA24 00000001 3ff27f28 a9778f27  # BOUND 3 + 1ulp
67 N 3FDF90B3 00000001 3ff0e160 fb695be6  # BOUND 4 + 1ulp
68 N 3FE23ADC 00000001 3feede9b a1492b13  # BOUND 5 + 1ulp
69 N 3FE4781D 00000001 3fec0e3b da3f6bcf  # BOUND 6 + 1ulp
70 N 3FE647BB 00000001 3fe99ebe 5a6febcd  # BOUND 7 + 1ulp
71 N 3FE7BC81 00000001 3fe785f9 b11a0b1e  # BOUND 8 + 1ulp
72 N 3FE8F5C2 00000001 3fe5a2dd 58639a0f  # BOUND 9 + 1ulp
73
74 N 3FC7AE13 ffffffff 3ff627d4 e6aebaaa  # BOUND 1 - 1ulp
75 N 3FD32E90 ffffffff 3ff4432c c777bc6e  # BOUND 2 - 1ulp
76 N 3FD9CA23 ffffffff 3ff27f28 a9778f27  # BOUND 3 - 1ulp
77 N 3FDF90B2 ffffffff 3ff0e160 fb695be7  # BOUND 4 - 1ulp
78 N 3FE23ADB ffffffff 3feede9b a1492b15  # BOUND 5 - 1ulp
79 N 3FE4781C ffffffff 3fec0e3b da3f6bd1  # BOUND 6 - 1ulp
80 N 3FE647BA ffffffff 3fe99ebe 5a6febd0  # BOUND 7 - 1ulp
81 N 3FE7BC80 ffffffff 3fe785f9 b11a0b21  # BOUND 8 - 1ulp
82 N 3FE8F5C1 ffffffff 3fe5a2dd 58639a12  # BOUND 9 - 1ulp
83
84 M 3FC7AE14 00000000 3ff627d4 e6aebaa9  # BOUND 1 
85 M 3FD32E91 00000000 3ff4432c c777bc6d  # BOUND 2 
86 M 3FD9CA24 00000000 3ff27f28 a9778f26  # BOUND 3 
87 M 3FDF90B3 00000000 3ff0e160 fb695be6  # BOUND 4 
88 M 3FE23ADC 00000000 3feede9b a1492b13  # BOUND 5 
89 M 3FE4781D 00000000 3fec0e3b da3f6bcf  # BOUND 6 
90 M 3FE647BB 00000000 3fe99ebe 5a6febce  # BOUND 7 
91 M 3FE7BC81 00000000 3fe785f9 b11a0b1f  # BOUND 8 
92 M 3FE8F5C2 00000000 3fe5a2dd 58639a10  # BOUND 9 
93
94 M 3FC7AE14 00000001 3ff627d4 e6aebaa9  # BOUND 1 + 1ulp
95 M 3FD32E91 00000001 3ff4432c c777bc6c  # BOUND 2 + 1ulp
96 M 3FD9CA24 00000001 3ff27f28 a9778f26  # BOUND 3 + 1ulp
97 M 3FDF90B3 00000001 3ff0e160 fb695be6  # BOUND 4 + 1ulp
98 M 3FE23ADC 00000001 3feede9b a1492b12  # BOUND 5 + 1ulp
99 M 3FE4781D 00000001 3fec0e3b da3f6bce  # BOUND 6 + 1ulp
100 M 3FE647BB 00000001 3fe99ebe 5a6febcd  # BOUND 7 + 1ulp
101 M 3FE7BC81 00000001 3fe785f9 b11a0b1e  # BOUND 8 + 1ulp
102 M 3FE8F5C2 00000001 3fe5a2dd 58639a0f  # BOUND 9 + 1ulp
103
104 M 3FC7AE13 ffffffff 3ff627d4 e6aebaa9  # BOUND 1 - 1ulp
105 M 3FD32E90 ffffffff 3ff4432c c777bc6d  # BOUND 2 - 1ulp
106 M 3FD9CA23 ffffffff 3ff27f28 a9778f27  # BOUND 3 - 1ulp
107 M 3FDF90B2 ffffffff 3ff0e160 fb695be6  # BOUND 4 - 1ulp
108 M 3FE23ADB ffffffff 3feede9b a1492b15  # BOUND 5 - 1ulp
109 M 3FE4781C ffffffff 3fec0e3b da3f6bd1  # BOUND 6 - 1ulp
110 M 3FE647BA ffffffff 3fe99ebe 5a6febcf  # BOUND 7 - 1ulp
111 M 3FE7BC80 ffffffff 3fe785f9 b11a0b21  # BOUND 8 - 1ulp
112 M 3FE8F5C1 ffffffff 3fe5a2dd 58639a12  # BOUND 9 - 1ulp
113
114
115 Z 3FC7AE14 00000000 3ff627d4 e6aebaa9  # BOUND 1 
116 Z 3FD32E91 00000000 3ff4432c c777bc6d  # BOUND 2 
117 Z 3FD9CA24 00000000 3ff27f28 a9778f26  # BOUND 3 
118 Z 3FDF90B3 00000000 3ff0e160 fb695be6  # BOUND 4 
119 Z 3FE23ADC 00000000 3feede9b a1492b13  # BOUND 5 
120 Z 3FE4781D 00000000 3fec0e3b da3f6bcf  # BOUND 6 
121 Z 3FE647BB 00000000 3fe99ebe 5a6febce  # BOUND 7 
122 Z 3FE7BC81 00000000 3fe785f9 b11a0b1f  # BOUND 8 
123 Z 3FE8F5C2 00000000 3fe5a2dd 58639a10  # BOUND 9 
124
125 Z 3FC7AE14 00000001 3ff627d4 e6aebaa9  # BOUND 1 + 1ulp
126 Z 3FD32E91 00000001 3ff4432c c777bc6c  # BOUND 2 + 1ulp
127 Z 3FD9CA24 00000001 3ff27f28 a9778f26  # BOUND 3 + 1ulp
128 Z 3FDF90B3 00000001 3ff0e160 fb695be6  # BOUND 4 + 1ulp
129 Z 3FE23ADC 00000001 3feede9b a1492b12  # BOUND 5 + 1ulp
130 Z 3FE4781D 00000001 3fec0e3b da3f6bce  # BOUND 6 + 1ulp
131 Z 3FE647BB 00000001 3fe99ebe 5a6febcd  # BOUND 7 + 1ulp
132 Z 3FE7BC81 00000001 3fe785f9 b11a0b1e  # BOUND 8 + 1ulp
133 Z 3FE8F5C2 00000001 3fe5a2dd 58639a0f  # BOUND 9 + 1ulp
134
135 Z 3FC7AE13 ffffffff 3ff627d4 e6aebaa9  # BOUND 1 - 1ulp
136 Z 3FD32E90 ffffffff 3ff4432c c777bc6d  # BOUND 2 - 1ulp
137 Z 3FD9CA23 ffffffff 3ff27f28 a9778f27  # BOUND 3 - 1ulp
138 Z 3FDF90B2 ffffffff 3ff0e160 fb695be6  # BOUND 4 - 1ulp
139 Z 3FE23ADB ffffffff 3feede9b a1492b15  # BOUND 5 - 1ulp
140 Z 3FE4781C ffffffff 3fec0e3b da3f6bd1  # BOUND 6 - 1ulp
141 Z 3FE647BA ffffffff 3fe99ebe 5a6febcf  # BOUND 7 - 1ulp
142 Z 3FE7BC80 ffffffff 3fe785f9 b11a0b21  # BOUND 8 - 1ulp
143 Z 3FE8F5C1 ffffffff 3fe5a2dd 58639a12  # BOUND 9 - 1ulp
144
145
146 P 3FC7AE14 00000000 3ff627d4 e6aebaaa  # BOUND 1 
147 P 3FD32E91 00000000 3ff4432c c777bc6e  # BOUND 2 
148 P 3FD9CA24 00000000 3ff27f28 a9778f27  # BOUND 3 
149 P 3FDF90B3 00000000 3ff0e160 fb695be7  # BOUND 4 
150 P 3FE23ADC 00000000 3feede9b a1492b14  # BOUND 5 
151 P 3FE4781D 00000000 3fec0e3b da3f6bd0  # BOUND 6 
152 P 3FE647BB 00000000 3fe99ebe 5a6febcf  # BOUND 7 
153 P 3FE7BC81 00000000 3fe785f9 b11a0b20  # BOUND 8 
154 P 3FE8F5C2 00000000 3fe5a2dd 58639a11  # BOUND 9 
155
156 P 3FC7AE14 00000001 3ff627d4 e6aebaaa  # BOUND 1 + 1ulp
157 P 3FD32E91 00000001 3ff4432c c777bc6d  # BOUND 2 + 1ulp
158 P 3FD9CA24 00000001 3ff27f28 a9778f27  # BOUND 3 + 1ulp
159 P 3FDF90B3 00000001 3ff0e160 fb695be7  # BOUND 4 + 1ulp
160 P 3FE23ADC 00000001 3feede9b a1492b13  # BOUND 5 + 1ulp
161 P 3FE4781D 00000001 3fec0e3b da3f6bcf  # BOUND 6 + 1ulp
162 P 3FE647BB 00000001 3fe99ebe 5a6febce  # BOUND 7 + 1ulp
163 P 3FE7BC81 00000001 3fe785f9 b11a0b1f  # BOUND 8 + 1ulp
164 P 3FE8F5C2 00000001 3fe5a2dd 58639a10  # BOUND 9 + 1ulp
165
166 P 3FC7AE13 ffffffff 3ff627d4 e6aebaaa  # BOUND 1 - 1ulp
167 P 3FD32E90 ffffffff 3ff4432c c777bc6e  # BOUND 2 - 1ulp
168 P 3FD9CA23 ffffffff 3ff27f28 a9778f28  # BOUND 3 - 1ulp
169 P 3FDF90B2 ffffffff 3ff0e160 fb695be7  # BOUND 4 - 1ulp
170 P 3FE23ADB ffffffff 3feede9b a1492b16  # BOUND 5 - 1ulp
171 P 3FE4781C ffffffff 3fec0e3b da3f6bd2  # BOUND 6 - 1ulp
172 P 3FE647BA ffffffff 3fe99ebe 5a6febd0  # BOUND 7 - 1ulp
173 P 3FE7BC80 ffffffff 3fe785f9 b11a0b22  # BOUND 8 - 1ulp
174 P 3FE8F5C1 ffffffff 3fe5a2dd 58639a13  # BOUND 9 - 1ulp
175
176
177
178 # One in five of the very worst cases computed by Lefevre and Muller.
179 # Rounding these values requires evaluating the function to at least 2^(-100).
180 # These worst cases have been selected thanks to the filterlists 5 script
181 # If you want the full list please contact Jean-Michel Muller
182 Z 0x3FE688A8 0x428FE10E  0x3FE943CC 0x78413F14  # 7.041817951240163520054693435668e-01
183 N 0x3FE297C5 0x87BF1E61  0x3FEE6D01 0xF178BB48  # 5.810268069553324865594845505257e-01
184 N 0x3FEFFFFE 0xF098CD9D  0x3F50796C 0xDE517C20  # 9.999994944723088474702876737865e-01
185 Z 0x3FEFFFFE 0xD60F908D  0x3F5142CB 0x677B2F07  # 9.999994450449932736901814678276e-01
186 N 0x3FEFFFFD 0x94E09234  0x3F58E1D6 0x8E9F70BB  # 9.999988467939773251202950632432e-01
187 N 0x3FEFFFFD 0x06342E6A  0x3F5B99C4 0xC093BE27  # 9.999985810440652489461399454740e-01
188 Z 0x3FEFFFFF 0xCA706E81  0x3F3D462B 0x88FA7B59  # 9.999999002352099042312261190091e-01
189 Z 0x3FEFFFFF 0xC025060D  0x3F3FF6BD 0x2AFD78A3  # 9.999998810600928544900511951710e-01
190 N 0x3FEFFFFF 0xFB0D5090  0x3F21CB96 0x3F486A47  # 9.999999907836514267955863033421e-01
191 N 0x3FEFFFFF 0xF07FBFAF  0x3F2F7F3D 0x4503EFBC  # 9.999999711271722047101206953812e-01
192 N 0x3FEFFFFF 0xFD7110E7  0x3F199778 0x3346A6E5  # 9.999999952347281562126113385602e-01
193 N 0x3FEFFFFF 0xFFA9B9AE  0x3F0293AB 0x61A8A8F9  # 9.999999993722690216912951655104e-01
194 Z 0x3FEFFFFF 0xFF7490E9  0x3F079DCE 0x5FDC9126  # 9.999999989854845283687723167532e-01
195 N 0x3FEFFFFF 0xFF092E7B  0x3F0F6BC0 0xEC199FED  # 9.999999982041595236736952756473e-01
196 Z 0x3FEFFFFF 0xFF5A1B3D  0x3F09C28B 0x4ABE4B2B  # 9.999999987929651945606224217045e-01
197 N 0x3FEFFFFF 0xFF482EA5  0x3F0B1DAA 0x974F9A83  # 9.999999986625495163039545332140e-01
198 Z 0x3FEFFFFF 0xFFCEF9B2  0x3EFC01CD 0x15C171EE  # 9.999999996432988869088376304717e-01
199 N 0x3FEFFFFF 0xFFDFCB84  0x3EF6B325 0x28D0AD4C  # 9.999999997656776606902440107660e-01
200 Z 0x3FEFFFFF 0xFFDE9656  0x3EF71F1A 0xF76D1310  # 9.999999997568902454503358967486e-01
201 N 0x3FEFFFFF 0xFFF94636  0x3EE4BF4A 0x030D7ADF  # 9.999999999510638115651772750425e-01
202 N 0x3FEFFFFF 0xFFF92D95  0x3EE4E524 0x2845C86C  # 9.999999999503638159481511138438e-01
203 Z 0x3FEFFFFF 0xFFF0ECDE  0x3EEF0F9B 0x0A2E462D  # 9.999999998903168485497872097767e-01
204 Z 0x3FEFFFFF 0xFFFEFD6A  0x3ED014A2 0xB16721EC  # 9.999999999926505456215863887337e-01
205 N 0x3FEFFFFF 0xFFFECEC6  0x3ED17882 0x0DAE0668  # 9.999999999913249393301839518244e-01
206 Z 0x3FEFFFFF 0xFFFE5B99  0x3ED480F3 0x7D7945A1  # 9.999999999880514467420766777650e-01
207 Z 0x3FEFFFFF 0xFFFC88AF  0x3EDDC9B0 0xF9E2836E  # 9.999999999747809509287321816373e-01
208 N 0x3FEFFFFF 0xFFFC859E  0x3EDDD6DB 0x40E49582  # 9.999999999746937984212991068489e-01
209 N 0x3FEFFFFF 0xFFFDA901  0x3ED87972 0x0FE10CDC  # 9.999999999829755070734904620622e-01
210 Z 0x3FEFFFFF 0xFFFD4222  0x3EDA7E26 0x93B54BB1  # 9.999999999800517347381401123130e-01
211 N 0x3FEFFFFF 0xFFFD3309  0x3EDAC6B4 0xFDAF8F8E  # 9.999999999796226335391224893101e-01
212 Z 0x3FEFFFFF 0xFFFFAE4A  0x3EC2142D 0x943E09F1  # 9.999999999976776354770890975487e-01
213 N 0x3FEFFFFF 0xFFFF9FBD  0x3EC39F63 0x7497CF72  # 9.999999999972640774004162267374e-01
214 Z 0x3FEFFFFF 0xFFFF09DB  0x3ECF60C3 0xD0BCA448  # 9.999999999930041516549295010918e-01
215 Z 0x3FEEB240 0xB349FF64  0x3FD254D3 0x598C30A0  # 9.592593671550102563116979581537e-01
216 N 0x3FEE63A5 0x0440B91B  0x3FD46487 0xAB808FA9  # 9.496636469901064137033586121106e-01
217 N 0x3FEDCE3B 0x4D53F901  0x3FD7D6D7 0xE84C63B4  # 9.314247618019920738063888165925e-01
218 N 0x3FEFFFFF 0xFFFFC43E  0x3EBEEBD8 0x6A7E0818  # 9.999999999983015808169284355245e-01
219 N 0x3FEFFFFF 0xFFFFD93D  0x3EB8E74F 0xF86E4B93  # 9.999999999988983256926644571649e-01
220 N 0x3FEFFFFF 0xFFFFD2D0  0x3EBAE37F 0x2D5A8A2E  # 9.999999999987156940051136189140e-01
221 Z 0x3FEFFFFF 0xFFFFFAA8  0x3EA27E45 0x1BB94505  # 9.999999999998481214902312785853e-01
222 Z 0x3FEFFFFF 0xFFFFF22E  0x3EADBD94 0x56A821E5  # 9.999999999996072030938876196160e-01
223 Z 0x3FEFFFFF 0xFFFFF58F  0x3EA9D9BC 0x758F2BC1  # 9.999999999997032373855176956567e-01
224 Z 0x3FEFFFFF 0xFFFFFF30  0x3E8CD82B 0x44615A03  # 9.999999999999769073610877967440e-01
225 N 0x3FEFFFFF 0xFFFFFF2B  0x3E8D3064 0xDCC8AE77  # 9.999999999999763522495754841657e-01
226 Z 0x3FEFFFFF 0xFFFFFF17  0x3E8E8757 0x3F6C42D7  # 9.999999999999741318035262338526e-01
227 N 0x3FEFFFFF 0xFFFFFF0D  0x3E8F2D4A 0x45635653  # 9.999999999999730215805016086961e-01
228 Z 0x3FEFFFFF 0xFFFFFFDF  0x3E76FA6E 0xA162D0F2  # 9.999999999999963362640187369834e-01
229 Z 0x3FEFFFFF 0xFFFFFFDA  0x3E78A85C 0x24F7065B  # 9.999999999999957811525064244051e-01
230 Z 0x3FEFFFFF 0xFFFFFFF8  0x3E66A09E 0x667F3BCD  # 9.999999999999991118215802998748e-01
231 N 0x3FEFFFFF 0xFFFFFFF3  0x3E6CD82B 0x446159F4  # 9.999999999999985567100679872965e-01
232 N 0x3FEFAAD6 0xD27476D2  0x3FC278F9 0x4A153D2B  # 9.896043882797249668925587684498e-01
233 N 0x3FEF335B 0x29C05035  0x3FCCABB0 0x34220AFC  # 9.750190558866110857039188886120e-01
234 Z 0x3FEF23BE 0x534BA3E8  0x3FCDBFBE 0x258B6554  # 9.731132151474612967945176933426e-01
235 Z 0x3FEF10FC 0x61E2C78F  0x3FCEFEEF 0x61D39AC1  # 9.708234702904848800741888226185e-01
236 N 0x3FEFEECA 0x7AB99A61  0x3FB098AF 0xA65A1A05  # 9.978992840741051084663126857777e-01
237 N 0x3FEFECE3 0x319E4315  0x3FB17D94 0xBDACCED0  # 9.976669282060323107330646053015e-01
238 N 0x3FEFD2FC 0x398EE733  0x3FBAD979 0xE726361B  # 9.945050357993977518944461735373e-01
239 Z 0x3FEFF08F 0x4F87EC0A  0x3FAF70AD 0x89CCACF9  # 9.981152108515527476839679366094e-01
240 N 0x3FEFFCEB 0xB5298934  0x3F9C13D2 0x0B108A93  # 9.996241129231635547114365181187e-01
241 N 0x3FEFFFA0 0x56E1DE78  0x3F838FB2 0xE3E655B4  # 9.999543854637087392234207072761e-01
242 N 0x3FEFFF86 0x02CD2DC0  0x3F8616FF 0xA520E2C5  # 9.999418310848611213259573560208e-01
243 N 0x3FEFFF63 0x0DCB5242  0x3F890E47 0xD6D22876  # 9.999251622599063527019325192668e-01
244 N 0x3FEFFF42 0xBD16A254  0x3F8B83C1 0x317BEAF0  # 9.999097531445593212140465766424e-01
245 N 0x3FEFFF24 0x75257BA0  0x3F8DA259 0xEFA0B49B  # 9.998953140274018380750931100920e-01
246 N 0x3FEFFFE5 0xFB9E8E35  0x3F74671E 0x8C50077E  # 9.999875940743040425573440188600e-01
247 N 0x3FEFFFE3 0xE569B6F5  0x3F75348B 0x5E4A64FB  # 9.999865990373267843338567217870e-01
248 Z 0x3FEFFFD6 0x1B7CAFEE  0x3F79E3CD 0x27D785EC  # 9.999800240379934646028914357885e-01
249 N 0x3FEFFFFB 0xD341CA3B  0x3F605887 0xAD8A4EA7  # 9.999980093110204526496431753912e-01
250 Z 0x3FEFFFF9 0x952D2175  0x3F644411 0x1B54C1FC  # 9.999969400023888121964432684763e-01
251 Z 0x3FEFFFF0 0x7C013EEC  0x3F6F830C 0x0D1FB4E0  # 9.999926015825315595009215030586e-01
252 Z 0x3FB9D464 0xED5224B4  0x3FF78400 0xAF71DC24  # 1.008971290012990462692243909260e-01
253 N 0x3F5313FA 0xEB270984  0x3FF91D36 0x55774E16  # 1.164431607876354780872762972876e-03
254 Z 0x3F55D34B 0x171EC691  0x3FF91C86 0x8163526F  # 1.332114534744386702760921004085e-03
255 N 0x3F578416 0x5BB07615  0x3FF91C1A 0x4E8B6369  # 1.435300668851784535243187868048e-03
256 N 0x3F47239B 0x57B9E41F  0x3FF91F16 0xE0D52D6F  # 7.061489590817238452477577759225e-04
257 N 0x3F475412 0x08B069CD  0x3FF91F10 0xD1FEF512  # 7.119262749058441691954457475333e-04
258 N 0x3F49787D 0x818010A1  0x3FF91ECC 0x448E9C11  # 7.773030110915965214604672617327e-04
259 N 0x3F4AA4A6 0x197DBABB  0x3FF91EA6 0xBF7AD54F  # 8.130847008781175297084664599367e-04
260 Z 0x3F495D8F 0xED4497F2  0x3FF91ECF 0xA241347E  # 7.740929382051826932592542007683e-04
261 Z 0x3F48E78B 0xAB627239  0x3FF91EDE 0x62C9B993  # 7.600242595518564474657563501125e-04
262 Z 0x3F343EFE 0xDD9D8C4C  0x3FF920B7 0x6455FCCD  # 3.089306097676144512859108814951e-04
263 N 0x3F33FB7D 0xC443BC04  0x3FF920BB 0x9C6795C0  # 3.049070403581823855004850898354e-04
264 N 0x3F28602B 0x333E9FBA  0x3FF92138 0x52EA8048  # 1.859715208614146531203303869262e-04
265 N 0x3F283595 0x20A26523  0x3FF92139 0xA79B158C  # 1.847023525598868781607414524260e-04
266 N 0x3F17EF5B 0x6B8D9C69  0x3FF9219B 0x96D67CA7  # 9.130473598660680172121179021261e-05
267 N 0x3F0989DA 0xFAE502E8  0x3FF921C8 0x408E36F8  # 4.871081852054153340028652685589e-05
268 N 0x3F0A9BF1 0x8DF252F1  0x3FF921C6 0x1C6110D1  # 5.075293460624585411807355161962e-05
269 N 0x3F0635E7 0x4F2D5ADA  0x3FF921CE 0xE8758E85  # 4.236328267974926516537675924567e-05
270 Z 0x3F0DEBD9 0x5835E09D  0x3FF921BF 0x7C917C21  # 5.707032235141680037932357394403e-05
271 N 0x3EF277E3 0x6864ACBD  0x3FF921E8 0xDC60C4B0  # 1.761275645965615564117641433928e-05
272 N 0x3EF28AC3 0xB5A8A01D  0x3FF921E8 0xC980776C  # 1.768307570607095924428327216038e-05
273 N 0x3EFBE56B 0xFB36A47A  0x3FF921DF 0x6ED831D4  # 2.660386935607716697932759175593e-05
274 N 0x3EFB848F 0x4A3035B6  0x3FF921DF 0xCFB4E2DA  # 2.624303000336110266435193927315e-05
275 Z 0x3EFEF843 0x4B14EFF0  0x3FF921DC 0x5C00E1EF  # 2.953508073243177453268137888642e-05
276 N 0x3EE0B62B 0x5CD6CABA  0x3FF921F2 0xF92E7EAD  # 7.968711453231403022941584102234e-06
277 Z 0x3EEAD406 0x5459689F  0x3FF921ED 0xEA4102EA  # 1.279269293801384723113356151059e-05
278 Z 0x3EEC83A2 0x6B10C734  0x3FF921ED 0x1272F78D  # 1.359662869235590956307549448390e-05
279 Z 0x3ED3EC3F 0x8C14C803  0x3FF921F6 0x59344A12  # 4.749976313877040988507393509677e-06
280 Z 0x3ED9B694 0x8E04694B  0x3FF921F4 0xE69F0996  # 6.130505625168775100063394550842e-06
281 N 0x3EDC8A48 0x8732283A  0x3FF921F4 0x31B20B4B  # 6.804506585864463497612987519236e-06
282 Z 0x3EC01C5B 0x7C0229E1  0x3FF921F9 0x50B8BD98  # 1.920553558025883386027295521292e-06
283 N 0x3EC068D8 0xEF862943  0x3FF921F9 0x47290F28  # 1.956172010324529991455921526522e-06
284 Z 0x3EC2B69A 0xA1F223B4  0x3FF921F8 0xFD70D8D9  # 2.230798841266741920131601306654e-06
285 Z 0x3EB23DAB 0x68946596  0x3FF921FA 0x3069768F  # 1.087242170355562643607174808102e-06
286 Z 0x3EB17B84 0x24E4660F  0x3FF921FA 0x3C8BEACA  # 1.042037314719061280335831408406e-06
287 N 0x3EB272EA 0xE19C6573  0x3FF921FA 0x2D157EFF  # 1.099639922624799454203034336508e-06
288 N 0x3EB47231 0x01EC63F9  0x3FF921FA 0x0D211CF9  # 1.218680160958031641178452887664e-06
289 Z 0x3EB32AB7 0x3BC464F4  0x3FF921FA 0x2198B95C  # 1.142433787631934984714999342659e-06
290 N 0x3EBFD4E1 0xB87C548A  0x3FF921F9 0x56F61190  # 1.897309376224374104403938914865e-06
291 Z 0x3EA04A1D 0x9808D25F  0x3FF921FA 0xD1F34058  # 4.854653497589467437201070192099e-07
292 Z 0x3EA3DAB1 0x6528D1CD  0x3FF921FA 0xB56EA1EE  # 5.917033355008728283519329506357e-07
293 Z 0x3E92559D 0xFA91A5E6  0x3FF921FB 0x0AEDB52D  # 2.732044728838702056915462533515e-07
294 Z 0x3E99AB83 0x0451A576  0x3FF921FA 0xED962106  # 3.825123296498586920430149370398e-07
295 N 0x3E9D7DEB 0x2D31A51B  0x3FF921FA 0xDE4C8064  # 4.394631051897640001875102160750e-07
296 Z 0x3E9DFF8A 0x6351A50D  0x3FF921FA 0xDC46038B  # 4.470080939346529947326432542082e-07
297 N 0x3E86EE3D 0xA5634C2D  0x3FF921FB 0x2667B1CD  # 1.708464931251012953418233009453e-07
298 Z 0x3E8924F4 0xB1A34C23  0x3FF921FB 0x21FA43B4  # 1.873400712950081832858538260708e-07
299 Z 0x3E8CD457 0x1D234C0E  0x3FF921FB 0x1A9B7EDE  # 2.147961724653942871804521066309e-07
300 N 0x3E7E1FE7 0xF0C69887  0x3FF921FB 0x36244527  # 1.122230026186532298037123295785e-07
301 N 0x3E6567B0 0xAF8D3130  0x3FF921FB 0x499054C0  # 3.986999347910600196420857418977e-08
302 N 0x3E6E73BF 0x758D312D  0x3FF921FB 0x450A4D5D  # 5.672153119990270973816730488461e-08
303 N 0x3FA1F495 0xF9DB9BB9  0x3FF8924F 0x19CCC408  # 3.506916689894219035794620253910e-02
304 N 0x3FA55260 0x9C6F3437  0x3FF8775B 0xADC293A3  # 4.164411458587163189504209981351e-02
305 N 0x3FA59D20 0xF7F204A5  0x3FF87505 0x24261966  # 4.221442248036425676227523240414e-02
306 Z 0x3FA8B20D 0xEEB74CAB  0x3FF85C57 0x4332D575  # 4.823344744695508973242326078434e-02
307 Z 0x3F93C753 0x6F0ECBDC  0x3FF8D2DC 0xC41734D8  # 1.931505551665312070408475619843e-02
308 Z 0x3F94E952 0x79F75385  0x3FF8CE54 0x8D46DA0E  # 2.042130345747096911712681333029e-02
309 Z 0x3F98649B 0x0D970141  0x3FF8C066 0x8B2366FC  # 2.382128019758167694619466203676e-02
310 N 0x3F9BB271 0xEF23E5A8  0x3FF8B32E 0x16F0C084  # 2.704790136428916746957895611558e-02
311 Z 0x3F80CB49 0xC5FCF88D  0x3FF90064 0xA80C7F5B  # 8.200241427058574741892904569340e-03
312 Z 0x3F883049 0x752DDF78  0x3FF8F19A 0x77A2A050  # 1.181085003712188663538285027244e-02
313 N 0x3F8D652A 0x9B8F530C  0x3FF8E730 0x7ABFA96A  # 1.435311591368695210979566923015e-02
314 Z 0x3F70E2D4 0xB52F447E  0x3FF91118 0x7C6C81AB  # 4.122572793634591767353292368625e-03
315 Z 0x3F71EAB8 0xAAAFED95  0x3FF91010 0x97DAE24D  # 4.374238352279920423459902423247e-03
316 N 0x3F76EDED 0x9A52B89B  0x3FF90B0D 0x5ED09B23  # 5.597999702486112887089841905208e-03
317 N 0x3F77560E 0x989E0472  0x3FF90AA5 0x3D657971  # 5.697304741148477916223846762023e-03
318 N 0x3F7884D6 0x8A0873E1  0x3FF90976 0x74216808  # 5.986059230534275001078814426592e-03
319 N 0x3F661191 0xE4AD34AF  0x3FF916F2 0x8A71EBD2  # 2.693924854077232432930655292580e-03
320 Z 0x3F6BC52B 0xD8CAB8C1  0x3FF91418 0xBC999CD2  # 3.389917028775974328774767130312e-03
321 Z 0x3F6D6CEF 0x073CC8C7  0x3FF91344 0xDAADC0FD  # 3.591982700435900326824123496294e-03