initial commit
[libm] / test / io / cr / cospi.testdata
1 cospi     # Name of the function to test
2
3 # cospi.testdata
4 # copyright (C) 2006 Ch. Q. Lauter, F. de Dinechin 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 N 00000000 00000000 3ff00000 00000000 # zero
17 N 80000000 00000000 3ff00000 00000000 # -zero
18 P 00000000 00000000 3ff00000 00000000 # zero
19 P 80000000 00000000 3ff00000 00000000 # -zero
20 M 00000000 00000000 3ff00000 00000000 # zero
21 M 80000000 00000000 3ff00000 00000000 # -zero
22 Z 00000000 00000000 3ff00000 00000000 # zero
23 Z 80000000 00000000 3FF00000 00000000 # -zero
24
25 N 3ff00000 00000000 bff00000 00000000 #  1
26 N bff00000 00000000 bff00000 00000000 # -1
27 N 40000000 00000000 3ff00000 00000000 #  2
28 N c0000000 00000000 3ff00000 00000000 # -2
29
30
31
32 N 00000000 00000001 3ff00000 00000000 # smallest denorm positive
33 N 80000000 00000001 3ff00000 00000000 # smallest denorm negative
34 P 00000000 00000001 3ff00000 00000000 # smallest denorm positive 
35 P 80000000 00000001 3ff00000 00000000 # smallest denorm negative
36 M 00000000 00000001 3fefffff ffffffff # smallest denorm positive
37 M 80000000 00000001 3fefffff ffffffff # smallest denorm negative
38 Z 00000000 00000001 3fefffff ffffffff # smallest denorm positive
39 Z 80000000 00000001 3fefffff ffffffff # smallest denorm negative
40
41 N 7ff00000 00000000 fff80000 00000000 # +inf
42 N fff00000 00000000 fff80000 00000000 # -inf
43 P 7ff00000 00000000 fff80000 00000000 # +inf
44 P fff00000 00000000 fff80000 00000000 # -inf
45 M 7ff00000 00000000 fff80000 00000000 # +inf
46 M fff00000 00000000 fff80000 00000000 # -inf
47 Z 7ff00000 00000000 fff80000 00000000 # +inf
48 Z fff00000 00000000 fff80000 00000000 # -inf
49
50 N fff80000 00000000 fff80000 00000000 # NaN
51 P fff80000 00000000 fff80000 00000000 # NaN
52 M fff80000 00000000 fff80000 00000000 # NaN
53 Z fff80000 00000000 fff80000 00000000 # NaN
54
55
56 #The very worst cases for this function
57 N 0x3E782428 0x46E3D0AF  0x3FEFFFFF 0xFFFFFE98  # 4.496656279439104163951187380192e-08
58
59 # A few random numbers, easy to round
60 N 3e6a4717 972f9a3b  3fefffff ffffff96 # 4.894603735494075460340143691150e-08
61 M 4230ed84 ef9629bf  3febe44c a8f68a43 # 7.270438901416307067871093750000e+10
62 P 4230ed84 ef9629bf  3febe44c a8f68a44 # 7.270438901416307067871093750000e+10
63 Z 4230ed84 ef9629bf  3febe44c a8f68a43 # 7.270438901416307067871093750000e+10
64 M 41cf6240 067b2c2c  bfefc690 efe8a719 # 1.053065228962285518646240234375e+09
65 P 41cf6240 067b2c2c  bfefc690 efe8a718 # 1.053065228962285518646240234375e+09
66 Z 41cf6240 067b2c2c  bfefc690 efe8a718 # 1.053065228962285518646240234375e+09
67 N bf00a7f8 e4c05b56  3fefffff fd5379e7 # -3.176906884066212067001949703737e-05
68 M 3eeb469b f03e5a07  3fefffff ff8d453b # 1.300612303349342960951100928169e-05
69 P 3eeb469b f03e5a07  3fefffff ff8d453c # 1.300612303349342960951100928169e-05
70 Z 3eeb469b f03e5a07  3fefffff ff8d453b # 1.300612303349342960951100928169e-05
71 M c12f9766 1d676970  bfef7b07 bf7ea5c8 # -1.035187057429594919085502624512e+06
72 P c12f9766 1d676970  bfef7b07 bf7ea5c7 # -1.035187057429594919085502624512e+06
73 Z c12f9766 1d676970  bfef7b07 bf7ea5c7 # -1.035187057429594919085502624512e+06
74 M 3fa78668 35652813  3fefaacd 7db923d1 # 4.594731952472854569213822628626e-02
75 P 3fa78668 35652813  3fefaacd 7db923d2 # 4.594731952472854569213822628626e-02
76 Z 3fa78668 35652813  3fefaacd 7db923d1 # 4.594731952472854569213822628626e-02
77 N 401a3ff0 82992302  bfc8f2c0 eb64164a # 6.562440910908437174953178327996e+00
78 N bf9e63d5 1e5867c1  3fefdc6b 8657b956 # -2.967770574296202737429872797748e-02
79 M be50df21 297fa291  3fefffff fffffff5 # -1.571290172966834466925608768898e-08
80 P be50df21 297fa291  3fefffff fffffff6 # -1.571290172966834466925608768898e-08
81 Z be50df21 297fa291  3fefffff fffffff5 # -1.571290172966834466925608768898e-08
82 M c24e2e70 f97cb8a6  bfc6f872 a6dae0dd # -2.592563494334425659179687500000e+11
83 P c24e2e70 f97cb8a6  bfc6f872 a6dae0dc # -2.592563494334425659179687500000e+11
84 Z c24e2e70 f97cb8a6  bfc6f872 a6dae0dc # -2.592563494334425659179687500000e+11
85 M c231962f 42085976  3fdd2715 0b38280f # -7.553412352834945678710937500000e+10
86 P c231962f 42085976  3fdd2715 0b382810 # -7.553412352834945678710937500000e+10
87 Z c231962f 42085976  3fdd2715 0b38280f # -7.553412352834945678710937500000e+10
88 M 41f6910a ab36c0fb  bfcf0211 a3b9c82b # 6.057667251422114372253417968750e+09
89 P 41f6910a ab36c0fb  bfcf0211 a3b9c82a # 6.057667251422114372253417968750e+09
90 Z 41f6910a ab36c0fb  bfcf0211 a3b9c82a # 6.057667251422114372253417968750e+09
91 M c20d65c1 cdd61091  bfe731f0 12c00663 # -1.578265644275808906555175781250e+10
92 P c20d65c1 cdd61091  bfe731f0 12c00662 # -1.578265644275808906555175781250e+10
93 Z c20d65c1 cdd61091  bfe731f0 12c00662 # -1.578265644275808906555175781250e+10
94 N c25c1705 46edb83a  bfedb2d1 33c16045 # -4.825812243748785400390625000000e+11
95 N 3ef3c3ec a1c6561f  3fefffff ff0f0425 # 1.884968706774268432601292244666e-05
96 N 3f90db65 07fdcab9  3feff50c 17110db8 # 1.646192418361167378315634834962e-02
97 N c23a7012 1b50d6ea  bfec0498 b11f201e # -1.135493845288395080566406250000e+11
98 M 41176fb6 e96b0650  3fe501ba 5fdb3f59 # 3.839817279473291710019111633301e+05
99 P 41176fb6 e96b0650  3fe501ba 5fdb3f5a # 3.839817279473291710019111633301e+05
100 Z 41176fb6 e96b0650  3fe501ba 5fdb3f59 # 3.839817279473291710019111633301e+05
101 M 3e5a7db1 171fe6bb  3fefffff ffffffe4 # 2.467165089584746437717233103187e-08
102 P 3e5a7db1 171fe6bb  3fefffff ffffffe5 # 2.467165089584746437717233103187e-08
103 Z 3e5a7db1 171fe6bb  3fefffff ffffffe4 # 2.467165089584746437717233103187e-08
104 M 41a59afe ac037692  3feffe26 886a3d62 # 1.812396380067639946937561035156e+08
105 P 41a59afe ac037692  3feffe26 886a3d63 # 1.812396380067639946937561035156e+08
106 Z 41a59afe ac037692  3feffe26 886a3d62 # 1.812396380067639946937561035156e+08
107 N c12448f9 83102890  bfe70c76 3d05c52b # -6.647007559826541692018508911133e+05
108 N 4053ba08 94dd7959  bfeea328 5811e759 # 7.890677377346345622299850219861e+01
109 M bfc1369d d72bb153  3fed2fb8 78f9fdde # -1.344792652738627525277337326770e-01
110 P bfc1369d d72bb153  3fed2fb8 78f9fddf # -1.344792652738627525277337326770e-01
111 Z bfc1369d d72bb153  3fed2fb8 78f9fdde # -1.344792652738627525277337326770e-01
112 N bef21de0 776faff1  3fefffff ff358a5b # -1.727743753214545010935855595680e-05
113 M c096a9da 811391e9  3fbd625c 472247a0 # -1.450463383012562417206936515868e+03
114 P c096a9da 811391e9  3fbd625c 472247a1 # -1.450463383012562417206936515868e+03
115 Z c096a9da 811391e9  3fbd625c 472247a0 # -1.450463383012562417206936515868e+03
116
117
118 # Bad cases generated by tests/crlibm_generate_test_vectors cospi 15 10 
119 M c19af885 77833ba9  3fedaf24 b563c7f6 # -1.131236778781572729349136352539e+08
120 P c19af885 77833ba9  3fedaf24 b563c7f7 # -1.131236778781572729349136352539e+08
121 Z c19af885 77833ba9  3fedaf24 b563c7f6 # -1.131236778781572729349136352539e+08
122 N bf8f3159 74788606  3feff69f b435badf # -1.523084532442721059086743196076e-02
123 M c243e7fc 58fc542a  bfde657c 18857db4 # -1.709929067446575317382812500000e+11
124 P c243e7fc 58fc542a  bfde657c 18857db3 # -1.709929067446575317382812500000e+11
125 Z c243e7fc 58fc542a  bfde657c 18857db3 # -1.709929067446575317382812500000e+11
126 M 3ff4dbfd 86076c49  bfe28198 a0f933e9 # 1.303708575773969480238179130538e+00
127 P 3ff4dbfd 86076c49  bfe28198 a0f933e8 # 1.303708575773969480238179130538e+00
128 Z 3ff4dbfd 86076c49  bfe28198 a0f933e8 # 1.303708575773969480238179130538e+00
129 M 3fc2036e 33007658  3fecec53 f38c36d6 # 1.407296895057921215510532420012e-01
130 P 3fc2036e 33007658  3fecec53 f38c36d7 # 1.407296895057921215510532420012e-01
131 Z 3fc2036e 33007658  3fecec53 f38c36d6 # 1.407296895057921215510532420012e-01
132 N 41faed76 ccfcb722  3fe99289 082ef923 # 7.228320975794710159301757812500e+09
133 N c0f56205 f1e790ef  3fd92129 46a118c0 # -8.758437155872931180056184530258e+04
134 M c23d6654 3a4c57ac  3fde657c 18857db3 # -1.262708475643424682617187500000e+11
135 P c23d6654 3a4c57ac  3fde657c 18857db4 # -1.262708475643424682617187500000e+11
136 Z c23d6654 3a4c57ac  3fde657c 18857db3 # -1.262708475643424682617187500000e+11
137 N 3f1dda45 024dc538  3fefffff dda46b5a # 1.138786906958081475080279965084e-04
138 M 3fd7b5ab 0d8bde06  3fd954fc 6084f878 # 3.704631454743040341881510357780e-01
139 P 3fd7b5ab 0d8bde06  3fd954fc 6084f879 # 3.704631454743040341881510357780e-01
140 Z 3fd7b5ab 0d8bde06  3fd954fc 6084f878 # 3.704631454743040341881510357780e-01
141 N 3ef1ec22 f76627c6  3fefffff ff39dc1f # 1.709214071746853247152006516352e-05
142 M 425aa323 3be9ea15  3fde657c 18857db3 # 4.576245800076575317382812500000e+11
143 P 425aa323 3be9ea15  3fde657c 18857db4 # 4.576245800076575317382812500000e+11
144 Z 425aa323 3be9ea15  3fde657c 18857db3 # 4.576245800076575317382812500000e+11
145 N c1ecd9b4 21996e44  bfe99289 082ef923 # -3.872235788794710159301757812500e+09
146 N c1d8c9e8 8c8d642e  3fe954ed 750e2a23 # -1.663541810209239482879638671875e+09
147 N bfa2ef1b 205f2f17  3fefc8c7 0800a24b # -3.698048372424816293557725543906e-02
148 M bfaffd02 6a76362f  3fef62b5 222b1316 # -6.247718381483157584765919523306e-02
149 P bfaffd02 6a76362f  3fef62b5 222b1317 # -6.247718381483157584765919523306e-02
150 Z bfaffd02 6a76362f  3fef62b5 222b1316 # -6.247718381483157584765919523306e-02
151 M 40efedd8 faed1a15  bfe8b260 a3e8bfa5 # 6.539078063063711306313052773476e+04
152 P 40efedd8 faed1a15  bfe8b260 a3e8bfa4 # 6.539078063063711306313052773476e+04
153 Z 40efedd8 faed1a15  bfe8b260 a3e8bfa4 # 6.539078063063711306313052773476e+04
154 M c0f9d56d a335a1a3  bfec9e56 8da2afb6 # -1.058148523460687574697658419609e+05
155 P c0f9d56d a335a1a3  bfec9e56 8da2afb5 # -1.058148523460687574697658419609e+05
156 Z c0f9d56d a335a1a3  bfec9e56 8da2afb5 # -1.058148523460687574697658419609e+05
157 N 3edd9f65 22bd839c  3fefffff ffde2b6a # 7.062587012857895980627240262173e-06
158 M c029681d b3ec846f  bfe314a6 e1b20f58 # -1.270335161459135342454374040244e+01
159 P c029681d b3ec846f  bfe314a6 e1b20f57 # -1.270335161459135342454374040244e+01
160 Z c029681d b3ec846f  bfe314a6 e1b20f57 # -1.270335161459135342454374040244e+01
161 M 424e6363 b94babd6  bfde657c 18857db4 # 2.610329975273424682617187500000e+11
162 P 424e6363 b94babd6  bfde657c 18857db3 # 2.610329975273424682617187500000e+11
163 Z 424e6363 b94babd6  bfde657c 18857db3 # 2.610329975273424682617187500000e+11
164 N bffe7dfa 1b01ecbd  3fee9b8e 544c7d28 # -1.905756097314948549481528061733e+00
165 N c02ec75e 6eff4341  bfd5cb4c c9ba9c6e # -1.538939234605789074805670679780e+01
166 N 406ee701 9007a908  bfe8b962 dd921cb5 # 2.472189407491316615050891414285e+02
167 N c018ff67 d7385e3c  3fe6ab2c 098373ae # -6.249419558349071479597114375792e+00
168 N c1e375f4 fb46b217  3fe954ed 750e2a23 # -2.611980250209239482879638671875e+09
169 N 40b7cda6 00d3b2d6  3fdcc703 1c7b9a83 # 6.093648450118218534043990075588e+03
170 N c0e5fbf6 28802db6  3fe23078 b9ebafd8 # -4.502369244393279950600117444992e+04
171 N c0dc21c3 40ef6285  bfef97bd 6034a811 # -2.880705083832379386876709759235e+04
172 M bfdd889b ffd6f6c8  3fbeeaeb 9188a63a # -4.614629743990517063423340005102e-01
173 P bfdd889b ffd6f6c8  3fbeeaeb 9188a63b # -4.614629743990517063423340005102e-01
174 Z bfdd889b ffd6f6c8  3fbeeaeb 9188a63a # -4.614629743990517063423340005102e-01
175 M c01bff0c cf69dbcb  bfeffff7 17eb6e43 # -6.999072304569334157520188455237e+00
176 P c01bff0c cf69dbcb  bfeffff7 17eb6e42 # -6.999072304569334157520188455237e+00
177 Z c01bff0c cf69dbcb  bfeffff7 17eb6e42 # -6.999072304569334157520188455237e+00
178 N c17fc6fa 80f70a81  3fef6d62 92a984bf # -3.332087206031275168061256408691e+07
179 M c03ac58e 93a3409f  bfe81dde c5f402dc # -2.677170679793982444039102119859e+01
180 P c03ac58e 93a3409f  bfe81dde c5f402db # -2.677170679793982444039102119859e+01
181 Z c03ac58e 93a3409f  bfe81dde c5f402db # -2.677170679793982444039102119859e+01
182 N 401b2c2b 06e1f90e  bfe97a0d 86224aa7 # 6.793132884542741223299344710540e+00
183 M 408180cf a314450b  3fee63f6 e4b60e1b # 5.601013852675981752327061258256e+02
184 P 408180cf a314450b  3fee63f6 e4b60e1c # 5.601013852675981752327061258256e+02
185 Z 408180cf a314450b  3fee63f6 e4b60e1b # 5.601013852675981752327061258256e+02
186 M c2543b3c d24895eb  3fde657c 18857db3 # -3.475727506263424682617187500000e+11
187 P c2543b3c d24895eb  3fde657c 18857db4 # -3.475727506263424682617187500000e+11
188 Z c2543b3c d24895eb  3fde657c 18857db3 # -3.475727506263424682617187500000e+11
189 M 3f70202a 9aba78c2  3fefff5f 9930e251 # 3.936926291912170097764267495677e-03
190 P 3f70202a 9aba78c2  3fefff5f 9930e252 # 3.936926291912170097764267495677e-03
191 Z 3f70202a 9aba78c2  3fefff5f 9930e251 # 3.936926291912170097764267495677e-03
192 M 420927ed 52bf1911  3fee0357 0b6ca411 # 1.350550587988723945617675781250e+10
193 P 420927ed 52bf1911  3fee0357 0b6ca412 # 1.350550587988723945617675781250e+10
194 Z 420927ed 52bf1911  3fee0357 0b6ca411 # 1.350550587988723945617675781250e+10
195 M 40665183 77975776  bfc2f328 6acf5f1e # 1.785472982364551057798962574452e+02
196 P 40665183 77975776  bfc2f328 6acf5f1d # 1.785472982364551057798962574452e+02
197 Z 40665183 77975776  bfc2f328 6acf5f1d # 1.785472982364551057798962574452e+02
198 M c25686be d10755eb  bfde657c 18857db4 # -3.869997312293424682617187500000e+11
199 P c25686be d10755eb  bfde657c 18857db3 # -3.869997312293424682617187500000e+11
200 Z c25686be d10755eb  bfde657c 18857db3 # -3.869997312293424682617187500000e+11
201
202
203
204
205 # One in five of the very worst cases computed by Lefevre and Muller.
206 # Rounding these values requires evaluating the function to at least 2^(-100).
207 # These worst cases have been selected thanks to the filterlists 5 script
208 # If you want the full list please contact Jean-Michel Muller
209 N 0x3F668787 0x680AA24F  0x3FEFFFB1 0xB9E4E26B  # 1.375086052727198448683565423778e-03
210 N 0x3F670DF9 0xF77D7BC5  0x3FEFFFAE 0x08CA56FC  # 1.407140834963392346870780791335e-03
211 Z 0x3F544EBC 0xF85D6B0E  0x3FEFFFF0 0x19CE3A00  # 6.197378831801229805836817021714e-04
212 Z 0x3F553A5A 0xB5759B65  0x3FEFFFEE 0xA0823242  # 6.478255190075331163349070529023e-04
213 N 0x3F5B1F76 0xA9EBB24B  0x3FEFFFE3 0xA36C3631  # 8.277253544669097842442773149685e-04
214 Z 0x3F5DE7C0 0x0EF66FF0  0x3FEFFFDD 0x8562CE3F  # 9.126365456952872240448115803702e-04
215 N 0x3F5F3BEB 0x28414801  0x3FEFFFDA 0x63933F98  # 9.531877735844408424184526218426e-04
216 N 0x3F462AF9 0x5F1D53A4  0x3FEFFFFB 0x437BF077  # 3.382548157920223317468577661771e-04
217 Z 0x3F32DC95 0xC97ACD55  0x3FEFFFFF 0x248C4866  # 1.439030499931030218033894962915e-04
218 Z 0x3F2B17C0 0x8C8AB938  0x3FEFFFFF 0x8ECE1969  # 1.033507607057546724346752675672e-04
219 Z 0x3F20DEF8 0x514D697A  0x3FEFFFFF 0xD41B439C  # 6.435766802096411416146681805373e-05
220 Z 0x3F2CA789 0xBB3BD98D  0x3FEFFFFF 0x81612BD0  # 1.093080343784523191701454902791e-04
221 Z 0x3F22A997 0x785E014E  0x3FEFFFFF 0xCA4A2739  # 7.119166374814253866847024720954e-05
222 Z 0x3F2BE836 0xA0B91E99  0x3FEFFFFF 0x87E5FFF2  # 1.064570753267442189968564059122e-04
223 N 0x3F197EFE 0x60CAB2B5  0x3FEFFFFF 0xE6F044AF  # 4.862989235241336165175077277389e-05
224 Z 0x3F1D9F03 0xA66E1356  0x3FEFFFFF 0xDE2C492E  # 5.649785889886317624946493465288e-05
225 Z 0x3F047BDA 0xD205589A  0x3FEFFFFF 0xFBF4B64C  # 1.953488129066063280292811499272e-05
226 Z 0x3F02A4BF 0x311496E2  0x3FEFFFFF 0xFCA66069  # 1.777986750996815823152100155546e-05
227 N 0x3EF03ECA 0x1CA96821  0x3FEFFFFF 0xFF5D3530  # 7.746349088556176269997240180221e-06
228 N 0x3EF22384 0x60BF14A2  0x3FEFFFFF 0xFF350C38  # 8.649224603982718853492986377240e-06
229 N 0x3EF2C1B1 0xF6A70751  0x3FEFFFFF 0xFF26FC42  # 8.943854216239952549462495501320e-06
230 N 0x3EFCE0E0 0x8FBEF8DE  0x3FEFFFFF 0xFDFD91C2  # 1.377030684312742641619252415008e-05
231 N 0x3EF8E05E 0xBD2DAD28  0x3FEFFFFF 0xFE824518  # 1.186201362709264812717729897784e-05
232 N 0x3EFD57C8 0x93F5FCD6  0x3FEFFFFF 0xFDECE360  # 1.399178711269795542869280591258e-05
233 Z 0x3EF714C7 0xDD0F2694  0x3FEFFFFF 0xFEB760F9  # 1.100596174010156589337730559386e-05
234 N 0x3EE9E578 0xEAC2EB7B  0x3FEFFFFF 0xFF9894E4  # 6.174177240743086468924543525061e-06
235 Z 0x3EEF3B7A 0x79B73F01  0x3FEFFFFF 0xFF69926D  # 7.446369547150838930570874302228e-06
236 N 0x3ED42689 0x71A07998  0x3FEFFFFF 0xFFF05881  # 2.402130928848971602338965847245e-06
237 N 0x3EDFD7F6 0xCE68F482  0x3FEFFFFF 0xFFD8E811  # 3.796054090869780091104749436548e-06
238 N 0x3ED70A2D 0x368CBC42  0x3FEFFFFF 0xFFEB88EA  # 2.746552514663474555691672490676e-06
239 N 0x3FEE9D26 0x8484D89F  0xBFEFB443 0xC78A2533  # 4.783417028551272820457995749166e-01
240 N 0x3FE8E719 0x07CE6B3B  0xBFE88A95 0x573C70F0  # 3.891050888284330322441917360266e-01
241 Z 0x3FE3C84B 0x05206813  0xBFD7391B 0x089344E4  # 3.090999174179397956940817948635e-01
242 N 0x3FEE1B21 0x17E97295  0xBFEF72C9 0x06962631  # 4.704058393015569383699414629518e-01
243 N 0x3FE05AF7 0xD415A0E9  0xBFA1DBA0 0x82FEED43  # 2.555522509706081302205404881533e-01
244 N 0x3ECE48F6 0xEF12291A  0x3FEFFFFF 0xFFF728F1  # 1.805127734652031037655911874240e-06
245 Z 0x3EB20F48 0xBA58CD63  0x3FEFFFFF 0xFFFF36D0  # 5.382211056337452827904948259030e-07
246 Z 0x3EBAF085 0x138FCFBE  0x3FEFFFFF 0xFFFE4053  # 8.028605754648830203351736120587e-07
247 N 0x3EB8DC1E 0x94C48D18  0x3FEFFFFF 0xFFFE82C7  # 7.408810147917995432629949259518e-07
248 N 0x3EB369A9 0x9D5405C2  0x3FEFFFFF 0xFFFF178A  # 5.785448659313858450417436887769e-07
249 N 0x3EB93552 0x99C621DB  0x3FEFFFFF 0xFFFE7805  # 7.512656341893981232549540837107e-07
250 N 0x3EBD8F12 0xC4FD89C5  0x3FEFFFFF 0xFFFDE50A  # 8.809232756419466280856469565796e-07
251 N 0x3EB9BFA6 0x4827C98B  0x3FEFFFFF 0xFFFE6709  # 7.673690023953466472889073900221e-07
252 Z 0x3EA65AFF 0xA42C5E3C  0x3FEFFFFF 0xFFFFB2ED  # 3.331223618492921389582775079652e-07
253 Z 0x3EAC49D5 0xE552F7E8  0x3FEFFFFF 0xFFFF8498  # 4.215303069479994217303667897179e-07
254 Z 0x3E919E9A 0x04D26F2E  0x3FEFFFFF 0xFFFFF408  # 1.312757852742802843868817532641e-07
255 N 0x3E99D9CE 0x0957F1C8  0x3FEFFFFF 0xFFFFE63D  # 1.926034697701397742499807366756e-07
256 Z 0x3E842C02 0x2A200C36  0x3FEFFFFF 0xFFFFFC14  # 7.514621327979449907798323218117e-08
257 Z 0x3E823809 0x9D83F807  0x3FEFFFFF 0xFFFFFCCD  # 6.787067919134045433260680807094e-08
258 Z 0x3FD73840 0xFED765D9  0x3FDABCE6 0x2B33C17F  # 1.814042324393046190511569193404e-01
259 N 0x3FC6BCBB 0xF906A667  0x3FEB2529 0x11181E83  # 8.881735639320141595387525512706e-02
260 N 0x3FC19BA6 0x2CFE6243  0x3FED0ED5 0xBF9487A1  # 6.878126715162928561664301696510e-02
261 Z 0x3FCCC4F5 0x3652DBC0  0x3FE8593E 0x763228F2  # 1.123803384424340023883814865258e-01
262 N 0x3FC8E204 0x264AA375  0x3FEA372F 0xDA7AED14  # 9.719873366215188437156058398614e-02
263 Z 0x3FC31E4D 0x1C940333  0x3FEC8A90 0x01E0F3B5  # 7.468110988339730915708258862651e-02
264 N 0x3FC97B12 0xC28FB5C0  0x3FE9F188 0x058B2CB1  # 9.953419923814177394660873687826e-02
265 N 0x3FC7EA6E 0x4DD1BABB  0x3FEAA4CB 0xC9D51C55  # 9.342088127025764687783038198177e-02
266 Z 0x3FBA67C4 0xD04A9236  0x3FEE55A7 0xFA9A24C3  # 5.157294314020470504811299861103e-02
267 Z 0x3FB8BC9D 0x4D4867BA  0x3FEE896F 0x1FC14BE4  # 4.831401413339571349059298199791e-02
268 N 0x3FB54032 0xCD857264  0x3FEEEB02 0x277B66EE  # 4.150542029194495552424370998779e-02
269 N 0x3FB381FB 0xD2A5E55E  0x3FEF1660 0x0D18D066  # 3.810107180010889604826473942012e-02
270 N 0x3FA62D97 0xB7B27610  0x3FEFB443 0xC78A2533  # 2.165829714487271795420042508340e-02
271 N 0x3FA23588 0x3E4E3AA8  0x3FEFCCEB 0xAF9A71F2  # 1.778233413966270881623188415688e-02
272 N 0x3FAE4DEE 0x8168D6B0  0x3FEF72C9 0x06962631  # 2.959416069844306163005853704817e-02
273 N 0x3FA46B71 0x72F182F8  0x3FEFBFC8 0x705312FD  # 1.994111312922350331966470093903e-02
274 Z 0x3FAB25D5 0x7923444D  0x3FEF8E9B 0x86D9363D  # 2.651151229730812700080555543991e-02
275 N 0x3FAAFC98 0xFDD86AD5  0x3FEF8FF2 0x3216FEAF  # 2.635420846318477575143113256217e-02
276 Z 0x3F972339 0xF2FABCD6  0x3FEFEB5E 0x89E743A1  # 1.129765770687500212043907765747e-02
277 Z 0x3F9B0C42 0xBCBB1AFD  0x3FEFE3CF 0xA72A901C  # 1.320697916470469669703025061835e-02
278 N 0x3F98A83F 0x06A14E8B  0x3FEFE892 0x5B949DFA  # 1.203965414985154989968574312798e-02
279 N 0x3F8FF6D0 0xA6EDE184  0x3FEFF627 0x8C826775  # 7.803740546357910284891445940048e-03
280 Z 0x3F8AB801 0x085D697B  0x3FEFF91E 0xC99E1C64  # 6.523136171234229611914923196991e-03
281 Z 0x3F76889A 0x45771046  0x3FEFFEC6 0xCB3A62C3  # 2.750684081293672082757506558437e-03