| blob | b8e07ea289938425e695269f25d9c192bfd0e12b |
1 ## args: double
2 ## ret: double
3 ## includes: math.h
4 # Random inputs in [0,b=0xa.b9fd72b0fb24p+4]
5 # where b is the smallest number such that tgamma rounds to +Inf (to nearest)
6 0x5.6c7f215351cc8p+4
7 0x5.34bfa84dae954p+4
8 0x3.524de5e1c14eep+4
9 0x1.18b7af2410886p+4
10 0xa.913f0bd5d2998p+4
11 0x2.de9c4c0adc222p+4
12 0x3.fd3de55d9a6e8p+4
13 0xf.2ed7623aeb8bp+0
14 0xa.af05f67e7fb08p+4
15 0x4.998b6c494138p+4
16 0x9.d618a4d5be748p+4
17 0x1.f83a715cab693p+4
18 0x5.89b1758282d2cp+4
19 0x4.79148107c9ff8p+4
20 0x7.1c0b0a9930874p+0
21 0x9.5972a5411dbbp+4
22 0x9.ffffad22d4078p+4
23 0x8.6446e419890e8p+4
24 0x3.343f2e93fb8dap+4
25 0x2.ac53570d8490ap+4
26 0xa.5fe9898f1b7dp+0
27 0x8.cbec6080c3d8p+4
28 0x6.956445e8b642cp+4
29 0x9.57a62aa782bc8p+4
30 0x4.67f4734a7047p+4
31 0xa.46b0c25e76b58p+4
32 0x2.40e15f6c2125ep+4
33 0x2.6c112495c98bp+4
34 0x5.1fdc5626a3bbp+4
35 0x8.10fc4c64c1ba8p+4
36 0x4.90530b5588bd4p+4
37 0x8.720403e8f67ap+4
38 0xa.9157101b23bcp+4
39 0xa.6ecdffe6bfb1p+4
40 0x3.cf9ee833361e8p+4
41 0x6.5f49078a79374p+4
42 0x4.166eae5acd84cp+4
43 0x8.a5c9e888654e8p+4
44 0x2.1a9c6ec5b2778p+4
45 0x7.b6ea0891c16b8p+0
46 0xa.6e85d11423f8p+4
47 0x8.cf29bc5dc5f6p+4
48 0x1.3307ba6e33ee7p+4
49 0x3.aeec1dca4f634p+4
50 0x8.f68b4c6160528p+4
51 0xa.8e64ba52f3218p+4
52 0x1.5fe01581d26b1p+4
53 0x5.4f1ee4d7faedcp+4
54 0x6.01637d890b534p+4
55 0x4.ca60ca4ecd43p+4
56 0x3.ec1d0f96a98a4p+4
57 0x6.3fa325a4a5e88p+4
58 0x6.d80a0ff931e2cp+4
59 0x7.2d81d4b885f4cp+4
60 0x3.4e4d565fa2p+4
61 0x9.ee3b47357f398p+4
62 0x9.8fef3efba3bep+4
63 0x1.7003230aca0a3p+4
64 0xa.6f9c2c48b8c58p+4
65 0x6.86d684dd47844p+4
66 0x1.0b2be65fe39a7p+4
67 0x1.f5e34c17c6e4p+4
68 0x3.1b9af9bc7f514p+4
69 0x7.6088bc2dc26dcp+4
70 0x5.4bcc32040006cp+4
71 0x2.88e810c73bccap+4
72 0x9.49b6182f04878p+4
73 0x6.5e167b3739224p+4
74 0x7.f2914af3f74fcp+4
75 0x9.ba7a0cb04ca4p+4
76 0x3.90acf20ee47d8p+4
77 0x1.8e76dfa0c7ebbp+4
78 0x9.74cdab4d641bp+4
79 0x6.054d0f86c433cp+4
80 0x2.93bb1fb59b65ep+4
81 0x9.f76459771bfbp+4
82 0x5.a63cdbf098898p+4
83 0x6.4439310a8857p+4
84 0x2.f15f723e7e40cp+4
85 0x8.2c65a59ef131p+4
86 0x3.9fec4dbd52834p+4
87 0x5.4497d3682fa18p+4
88 0xa.c9a3ea75803ep+0
89 0xa.8d628fd09fc9p+4
90 0x6.ffb9693a1e554p+4
91 0xc.393e23fa5176p-4
92 0x1.a5e65be620228p+4
93 0x1.fac97fa42c06ap+4
94 0x4.3805f955dec98p+4
95 0x8.3c1d5db222078p+4
96 0x6.2a4ce3ecfe12p+4
97 0x5.1801d1eb2d4ecp+4
98 0x3.7adac48393f6ap+4
99 0x2.0ea1193ebb73ep+4
100 0x7.9e877a2fdac4p+4
101 0x8.c8d1e400b558p+4
102 0x9.e3d75c80e97f8p+4
103 0xa.02c17bcaa2a1p+4
104 0xc.f9bdb934d9cc8p+0
105 0x4.1a0abd0822234p+4
106 0x8.1bd93962b7848p+4
107 0x9.d308daaa70268p+4
108 0x7.033df7f35452cp+4
109 0xa.3002890885bbp+4
110 0x6.b830d0c6f552cp+0
111 0x8.cd198b262a9ap+4
112 0x1.71f6eb271c2dp+4
113 0x8.9086f2c6cf388p+4
114 0x6.22ec02d89db6cp+4
115 0x7.339abc0ddf804p+4
116 0x4.3abf2bea841d4p+4
117 0x3.ab38b02aba50cp+4
118 0x6.0326e3af08044p+0
119 0x8.3c20d271dcd68p+4
120 0x7.549ae23a3e92p+4
121 0x5.5d3a99eb5ff6p+4
122 0x5.0f82a439f0b94p+4
123 0x3.3339b076020a8p+4
124 0x3.bd36c918427aap+4
125 0x1.4cb7579ad0288p+4
126 0x4.1422c7ac5a324p+4
127 0x3.0e2f0bff588d4p+4
128 0x5.954d724ae544p+4
129 0x7.a48c7a44111fp+0
130 0x2.314f256df6ff4p+4
131 0x3.cb8668266b002p+4
132 0x5.19c2cf2921b28p+4
133 0x2.3fb22167c7b3ap+4
134 0x8.b9f0c5b5c5ef8p+0
135 0x6.9a498544511f4p+4
136 0x8.eb2d587c1f9fp+4
137 0x2.0aa61eee052fp+4
138 0x2.7a38011f57aeep+4
139 0x8.3bb3ba356d62p+4
140 0x8.b2de59a0e7c68p+4
141 0x8.06962fb48de48p+4
142 0x1.11a796811bd01p+4
143 0x5.7b55735f88068p+4
144 0x9.ad6a9427ba508p+4
145 0x3.13662bdbc53cp+4
146 0x5.0571b1422d974p+4
147 0xa.5c6ecbbf48028p+4
148 0x1.282f2e920eb53p+4
149 0x8.0e2256a1374dp+4
150 0x2.f96d201bc1764p+4
151 0x3.f81c0f6fcb4ep+4
152 0x8.2281a6301c918p+4
153 0x4.8eac227d7378p+0
154 0x4.d16c7e39acd38p+4
155 0x9.29824cdb5ce18p+4
156 0x9.d2f30cef92e18p+4
157 0x9.f4aa850c42c78p+4
158 0x6.96ca4481b7f54p+4
159 0x5.0bd746ea8e258p+4
160 0x5.a551e38b2a49p+4
161 0xa.9f8b33d53dc4p+4
162 0xa.54d67fb6e74fp+4
163 0x8.56a709053bb28p+4
164 0x5.ee374658f202cp+4
165 0x6.818b34d397258p+4
166 0x9.37300b8e958f8p+4
167 0xa.3becf7ecdc0fp+4
168 0x9.5c83f39e2eb68p+4
169 0x6.fdc564f1c6114p+0
170 0x5.eb1847676fedp+4
171 0x4.3a771c29eb0b4p+4
172 0x3.f1633d18af3a4p+4
173 0x7.63a196132b678p+4
174 0x6.517d13c124d1cp+4
175 0x6.839e7d5a182dp+4
176 0x1.d5c9119ed1d37p+4
177 0x7.a2b99005221e8p+4
178 0x5.e1d8b5592d434p+4
179 0x3.418e584b566f8p+4
180 0x1.36c2d0a5614dbp+4
181 0x6.4d68517cb2e54p+0
182 0x7.30200e4d1f4e4p+4
183 0x8.d14ce54107f6p+4
184 0x6.ce0a5d67c8b5cp+4
185 0x8.03a69124a344p+4
186 0x8.18f0281ecfa18p+4
187 0x2.256c8a423ef5cp+4
188 0x2.8cd1bc3794e1ep+4
189 0x7.0366eeca7622cp+4
190 0x7.59b24eeb0081cp+4
191 0xa.5493f964f07p+4
192 0x7.ad5d85707c49p+4
193 0x2.541a7ba0fe338p+4
194 0xa.6c3ddd9cba618p+4
195 0x8.0df19989cf178p+4
196 0x3.f1faae6fa81bep+4
197 0x8.16d5dcf6120b8p+4
198 0x8.10d41bf6a3f2p+4
199 0x9.6603da1dcc2dp+4
200 0xa.23c3921a40a48p+4
201 0x8.ff7b4b51681b8p+4
202 0x7.7cd72f0249778p+4
203 0x8.35044b7b2018p+4
204 0xa.27e4082147a48p+0
205 0x7.90ad5cffed498p+4
206 0x9.942c9f030e39p+0
207 0x9.80b063b05c9dp+4
208 0xb.2397acb48fff8p+0
209 0x2.784590aa837ecp+0
210 0x5.877ac8932f0cp+4
211 0x4.861c302629f68p+4
212 0x4.875279573f2f8p+4
213 0x8.7722d6068e1a8p+4
214 0x4.8465d70dadbd4p+4
215 0x6.7384649a1cc7p+4
216 0x8.b119a308d39bp+4
217 0x3.99ecbf5111062p+4
218 0x1.95e8f3cc4509dp+4
219 0xa.590bf8738c5bp+4
220 0x4.0bb325d568b44p+4
221 0xb.382cc7c091558p+0
222 0x4.ff88f858ed64p+4
223 0xc.fd9a71e5bc628p+0
224 0x7.7ecee1a3a30ecp+4
225 0xa.84f74a0fce6e8p+4
226 0x3.8b4ed8beb308ep+4
227 0x1.3db68de3c3115p+4
228 0x1.e6d94216e33bp+4
229 0x3.295daffe9d4a8p+4
230 0x1.ac0d36aff4bb8p+4
231 0x1.9fcec3a8683f8p+4
232 0x4.971de7cae60d8p+4
233 0x4.a0058b67e8b18p+4
234 0x7.31d72ee3a4074p+4
235 0x5.6ee65085c634cp+4
236 0x7.bae99571e80dcp+4
237 0x5.5e0d1228eabc4p+4
238 0x4.754497728a0dcp+4
239 0x5.12078b2bac2a8p+4
240 0x5.fb3303de57914p+4
241 0x8.57e4fb1baa5e8p+4
242 0x7.76e5f7582591cp+4
243 0x2.06b271e0e5bcap+4
244 0x5.056afdc72a104p+4
245 0x3.a4ccc9cd3265p+4
246 0x4.e585ee0238ca4p+4
247 0x9.c104bcb6b27b8p+4
248 0xa.cee4d90428068p+0
249 0x2.1e1b66c421602p+4
250 0x8.ee00aef84c3d8p+4
251 0xb.b33d04fcaaae8p+0
252 0x2.7d89641ee96dcp+4
253 0x9.0034ffba6d8f8p+4
254 0x5.17c26823ee33p+4
255 0x4.d46f11a9007acp+4
256 0x7.dd613717b1a78p+4
257 0x7.da45826da3c0cp+4
258 0x8.52798239b30d8p+4
259 0xa.b4a0c3f5a96c8p+4
260 0x4.c6b86a5f85cf4p+4
261 0xa.4ddbe6796406p+4
262 0x6.deb1190eb2038p+4
263 0x1.db40c063dabfcp+0
264 0x7.ecc88066c9ca8p+4
265 0xa.444815e73df38p+4
266 0x5.280a3c64cfa7p+4
267 0x4.13e21162c2268p+4
268 0x8.be29abbf57c38p+4
269 0x1.4403abf90662ap+4
270 0x5.83342bc6b394cp+4
271 0x3.6047766f7d1b8p+4
272 0x4.14b68b5be5088p+4
273 0x3.b3303357d9f4ap+4
274 0x3.42ac19c174dd4p+4
275 0x7.0246d0a1a5414p+4
276 0x5.637d769bd34a4p-4
277 0x3.843f801b51988p+4
278 0x6.a550e17ed89ecp+4
279 0xa.4d834fb45cf8p+4
280 0x4.82dfa4b998eccp+4
281 0x4.047b8704ea0ccp+0
282 0x5.4006ce3dcae0cp+4
283 0x2.20dfa47635468p+4
284 0x8.6a985ee72cdd8p+4
285 0x9.16ffb48855ea8p+4
286 0x4.c3e6c2db40e8p+0
287 0x1.172c2fec19ec7p+4
288 0x6.8db7aac437ef4p+4
289 0x7.aec53d2849bep+4
290 0x7.ed05da127ab68p+4
291 0x2.c5f4674a4903ap+4
292 0x3.4a869690216aep+4
293 0x5.2c9e03e8952f8p+0
294 0x8.2e49d2dc6dbf8p+4
295 0x8.5e96b00565a4p+4
296 0x9.9ead244279168p+4
297 0x8.d3419030a0158p+4
298 0x7.be6f603621114p+4
299 0x8.f549ff2fe85d8p+0
300 0x1.0aa23d03a31dbp+4
301 0xa.0755d1361432p+4
302 0x5.31f1338407304p+4
303 0x6.7218d637e32fcp+4
304 0x8.62f8be00a2e8p+4
305 0x6.7b87cd20d6d5cp+4
306 0x7.ab89ec88094bcp+4
307 0x5.e4efbc794211p+4
308 0xf.131dab048dab8p+0
309 0x2.8b0be801ae6bap+4
310 0x6.03689259da89cp+4
311 0x1.49ab7306f784p+4
312 0x1.7d8c53a414803p+4
313 0x8.c0a2c0795cf18p+4
314 0x7.0d7409b286768p+4
315 0x9.db47586ac3398p+4
316 0x5.c81d87dd252cp+4
317 0x7.21d92e7203614p+4
318 0xa.b0ef314458118p+4
319 0x9.3f461284dfcfp+4
320 0x3.19944ef4791a8p+4
321 0x5.1a563559e6fcp+4
322 0x1.0d37950de6b8ep+4
323 0x2.f31729b8e4b36p+4
324 0x2.b128a2d974648p+4
325 0x1.029d885ee7358p+4
326 0x6.962a5cf8749e4p+4
327 0x9.887936c2a57c8p+4
328 0x7.f94876b400b14p+4
329 0x5.daf5da3557ab8p+4
330 0x5.1d73408e24adp+4
331 0x2.d4f2bd255401ap+4
332 0x4.3f9d1222e1a08p+4
333 0x3.4b547c93386dep+4
334 0x8.e38de8c922168p+4
335 0x9.e679b0bed8548p+4
336 0x7.b15a2fcafa9d8p+4
337 0x2.752a071f7327ep+4
338 0x8.f65ba06a2be4p+4
339 0x2.34a90cd4eba5ap+4
340 0x1.c37f1ad6de4ebp+4
341 0x9.e524e130bff8p+4
342 0x2.0d78de1e9983ep+4
343 0x5.bc77fd45231d4p+4
344 0x5.ad7434198f1d8p+4
345 0x5.93ccd1556abap+4
346 0x2.6d94ec05adc3ap+4
347 0x8.ef0132f4b46f8p+4
348 0x6.00433fc634e4p+4
349 0x1.bcf4b89f7be6bp+4
350 0x9.ac1a4f1048e38p+4
351 0xa.49cd7ddbe48bp+4
352 0x2.ad8d9edf3a68cp+4
353 0x9.62c84d545c98p+4
354 0x9.13a82c4906308p+4
355 0x1.05e631a23d959p+4
356 0x2.350452d3e0476p+4
357 0x4.afde347439e14p+4
358 0x2.5a446a83917d6p+4
359 0x5.975164d97ef18p+4
360 0x4.4e9375e22127cp+4
361 0xa.897016fd09e2p+4
362 0x3.b68fdc65ee454p+4
363 0xa.5f0aef7e24298p+4
364 0x4.8d20ddd68f75p+4
365 0x2.9485c2e2eca2cp+4
366 0xd.786c6d63ff218p+0
367 0x5.858fe9c77dd08p+4
368 0x1.28aa366ddc39bp+4
369 0x6.c55b1408e3d2p+4
370 0x7.f9cfedd248ebp+4
371 0x2.a7cb97aa6d7f6p+4
372 0x7.e16641e308c4p+4
373 0x7.bc26c30a0632cp+4
374 0x6.25b29e131fde4p+4
375 0x4.6441697e215e8p+4
376 0x1.7cdd8975c57d8p+4
377 0x6.11155b05540fcp+4
378 0xf.d2de7e4cbb15p+0
379 0x5.b33b25ba9bee4p+4
380 0xa.927ad41ead848p+4
381 0x3.62d0401a84b4cp+4
382 0x3.3e5c7cc33d4d2p-4
383 0x2.5eed442984b4ep+4
384 0x9.c01396b3bdbd8p+4
385 0x3.ab3c2c5dcc476p+4
386 0x5.50a0dd35cc6e4p+4
387 0x9.998ecc974c3ep+4
388 0x6.24ae380b61fbp+4
389 0x4.0ea08a7e36d38p+4
390 0xd.f50cdcb0d62a8p+0
391 0x3.671cee55571bcp+4
392 0x3.078a9b76bef82p+4
393 0x2.962276d570b44p+4
394 0x4.344a00e4acdb4p+4
395 0x7.785018f1559bp+4
396 0x3.f98438376ee2cp+4
397 0x1.1ef3282c62e17p+4
398 0x1.d501a65c160e9p+4
399 0x1.aeb6acebb4941p+4
400 0x7.9d41fe922c318p+4
401 0x6.50b5fcc307b34p+4
402 0x1.41f4948770444p+4
403 0x4.deb697cf7f00cp+4
404 0xa.5939e0246c2b8p+4
405 0x6.81b309c7db11p+4
406 0x8.cebd7c3366d2p+4
407 0x1.a875ec7c13cc1p+4
408 0x7.1ceaf2a76dd6cp+4
409 0x8.90087c3b551cp+4
410 0x9.d7923935364cp+4
411 0x2.35d75d5698ea4p+4
412 0xf.69e8b1bfb364p+0
413 0x5.9850122b08b2p+4
414 0x2.e77eb8d05e9b4p+4
415 0x3.84446dc7fbb9cp+4
416 0x7.d8d0faeba68d4p+4
417 0x9.6beac1ed999dp+4
418 0x1.9832ba8306978p+4
419 0xa.4551014dbcac8p+4
420 0x8.d23853ba9eb7p+4
421 0xa.68ec387a1c82p+4
422 0xf.8e097519e1678p+0
423 0xa.778cd9e5f7fbp+4
424 0x8.99e547e377738p-4
425 0x1.2463017fd8f01p+4
426 0x3.fa6d2cf741a92p+4
427 0x8.20fc972781bp+4
428 0x1.a4a4b7f1d13e9p+4
429 0x5.c286f35f68a7p+4
430 0x4.cecd47a54771cp+4
431 0x3.eaaa3dae7f1cap+4
432 0x3.c84f209641478p+4
433 0x5.0980c97e0ad0cp+0
434 0x6.174381f21c41cp+4
435 0x8.1be438c5ec8c8p+4
436 0xa.b603e861ef428p+4
437 0x7.1ec4907cd1974p+4
438 0x8.924f7b07da29p+4
439 0x9.fd849e7ab759p+4
440 0x7.c686ab316d07cp+4
441 0x1.39d9387a89af7p+4
442 0x5.9bdc79b2e4134p+4
443 0x4.2ad52f2ae002p+4
444 0x7.1b78f4b76cd48p+4
445 0x9.ec3018e6c2538p+4
446 0x8.01e30b2ad777p+4
447 0x8.2615c10408df8p+4
448 0x3.24a08b6e772fep+4
449 0x2.4ab672c5f319p+4
450 0x3.88b4882b4f49cp+4
451 0x2.bd5e48d65bb58p+4
452 0x5.bdb13a57c9eb8p+4
453 0x7.95c39358ec8ap+4
454 0x3.08d7a874c724ep+4
455 0x9.b0208fc2e0db8p+4
456 0x8.a3bd82a356b3p+4
457 0x2.9e8806ccfc2eep+0
458 0x1.debe37ed405e8p+4
459 0x8.3fcfe4b48f9b8p+4
460 0x9.1c91ab4aefc2p+4
461 0x2.708c790c51b56p+4
462 0x9.ac6537c4eeb5p+4
463 0xa.0e39ee28bad08p+4
464 0x6.a4ce7c96609ecp+4
465 0x8.9e9b00b4a4228p+4
466 0x9.923b100862dfp+4
467 0x8.3c9c9efb3c74p+4
468 0x5.330cb69bfff48p+0
469 0x9.1388244e02ca8p+4
470 0x9.b536b57247f58p+4
471 0x3.9ea76bb4db1aep+4
472 0x1.c5f94a9d96306p+4
473 0x6.0d8bfb84f77ap+4
474 0x9.f749667143fcp+4
475 0x8.0851e69e67a7p+4
476 0x1.adfb6dd176271p+4
477 0x6.749b12695867cp+4
478 0x9.604a1c88321ep+4
479 0x4.2b658b265c64p+4
480 0x7.063eb786faa3p+4
481 0x2.fe86e1495b896p+4
482 0x5.483dd2f110a6cp+4
483 0x9.d85b4190c817p+4
484 0x9.526ed56f441fp+4
485 0x2.fa6dd5778f736p+4
486 0x9.06fcfff726b2p+4
487 0x1.ed73f4276c1aep+4
488 0x8.b337f9a7a8578p+4
489 0x4.eddcc13e89e1p+4
490 0x4.2b050e8886a38p+4
491 0x7.f2935a11c622cp+4
492 0x2.cf7abe3a52218p+4
493 0x2.80d7e41c2fd9ep+4
494 0x9.6e52b0e659888p+0
495 0x5.0176a86471b1cp+4
496 0x8.05993211d2cc8p+4
497 0x6.472da12d399ap+4
498 0x7.2197eea84e044p+4
499 0x9.3151a574caaep+4
500 0x1.3541e7f86d154p+4
501 0x6.b740941d7d0a8p+4
502 0x1.5ac49879f18p+4
503 0x3.e6ed783c502a2p+4
504 0x1.ef29ee8831e1ep+4
505 0x6.d0f55c94d209cp+4
506 0x5.7387b2adf0408p+4
507 0x6.de0bc665f2008p+4
508 0x3.c98752fd0838p+4
509 0x9.f8cd08e1c6158p+4
510 0x1.8871129359e2dp+4
511 0xa.46848f876dbc8p+4
512 0x6.2b947bca38fb8p+4
513 0xa.80e580f50af28p+4
514 0x1.8839dbc4d16d2p+4
515 0x6.0cc0249e82ad8p+4
516 0x2.81d9f858e9c7p+4
517 0x8.99a082cb696p+4
518 0x9.99c193438facp+4
519 0x4.70fc9f76de57cp+4
520 0x4.b32a9ef7bd2p+4
521 0x2.f6b7c398939cep+4
522 0x7.2b09902c1460cp+4
523 0x1.da27982990c5p+4
524 0xa.70d9f87a58a98p+4
525 0x6.34af00f24f1c4p+4
526 0x1.4c3f38199d972p+4
527 0x2.06d7d6ccbd4d4p+4
528 0x1.5c4f7b0c53bc4p+4
529 0x6.58e4a16923698p+4
530 0x5.6c6c6b7061344p+0
531 0x9.bcd2604b6fbdp+4
532 0x3.09bec953c65fep+4
533 0x9.336283a3574ep+4
534 0x9.4d2b290e5d248p+4
535 0x9.02a3c92f4f7c8p+4
536 0x6.824a69d6d3148p+4
537 0x4.5d00f957eccc4p+4
538 0x3.fc5c093cea16ap+4
539 0x2.5dc53e1c297aep+4
540 0x4.e93c210b55fa8p+4
541 0x6.53b93c60201d4p+4
542 0x4.14f18fc7b5e24p+4
543 0xa.5cf13af9e89dp+4
544 0xa.59fc34ab82fdp+4
545 0x1.9ca47fb465bap+4
546 0x8.dd94b0c1ec01p+4
547 0x3.8185e442ff5e2p+4
548 0x7.527e62b009574p+0
549 0x7.9db49715ef9ap+4
550 0x2.00e035b700c7cp+4
551 0x8.c5b8168f965ep+0
552 0x4.b8285aa2c567p+4
553 0x5.7bc65382e8f44p+4
554 0x5.fbfd668b087a4p+4
555 0x8.d5079939b57cp+4
556 0x9.d8aded5172748p+4
557 0x7.2d8717e64ce7cp+4
558 0x8.632380112e92p+4
559 0x3.3d11a569711acp+4
560 0x1.f8221c7bd27b2p+4
561 0x8.06cef2ff98ad8p+4
562 0x6.dc2780806641p+4
563 0x6.08adb9eb84c38p+0
564 0x8.dd4297c52829p+4
565 0x2.74ef1189e56eap+4
566 0x4.fbcddcafb1aep+4
567 0x4.468e63ee82384p+4
568 0x4.770d98fd012c4p+4
569 0x4.ff312f1efed14p+4
570 0x1.4cf85d0f1ddd9p+4
571 0x1.f692782d88a04p+4
572 0xa.b89b3d52da898p+4
573 0xa.6dc89f626087p+4
574 0x9.2ea302d5b659p+4
575 0x7.ac74c7f2bdfa8p+4
576 0x7.f479aded3a328p+4
577 0x3.eaf4d83ab911cp+4
578 0x1.26d339891505cp+4
579 0x4.b9fb24d3ddf78p+4
580 0x9.035cf3be0c19p+0
581 0x4.0f62b5e3995ep+4
582 0xa.3462b312cfcdp+0
583 0x5.dcdd65ac8051cp+4
584 0x4.8ddb87d407004p+4
585 0x3.7727791a55p+4
586 0x2.d43876ddbf3bap+4
587 0x6.5b70cefbb12ap+4
588 0x6.2b902301e7bbcp+4
589 0x3.1b3769a1a34f8p+4
590 0x4.a4a11b76d873cp+4
591 0x6.919979eab7becp+4
592 0x6.e3b7734cfa33cp+4
593 0x6.c6446279a8978p+4
594 0x7.a704e4d4e41fcp+4
595 0x8.7ef8d9cf622c8p+4
596 0x1.f78dd12cedd73p+4
597 0x5.f9b1e52578374p+4
598 0x6.94303596f4fdcp+0
599 0x5.5dd8c638f2f68p+4
600 0xa.1e35ffc6f6ec8p+4
601 0x3.36547ca5cbecap+4
602 0x2.d1f23b0b8f538p+0
603 0x2.e50022bbf7b7cp+4
604 0x9.26edd40bbe7dp+4
605 0x1.cbd2976631fdcp+4
606 0x8.cfb8e137704ap+4
607 0x1.86674faaada49p+4
608 0x5.2d0396bb76b6p+4
609 0x7.daa7cc1279e74p+4
610 0x9.a331bb20c34dp+4
611 0xe.d94b7a1b396p+0
612 0xa.512bf25a8ba7p+4
613 0x1.a5309b59bd2a3p+4
614 0x5.fa07722bdaaa4p+4
615 0x7.335bd4e49f5dcp+0
616 0x5.75a5d5f14aa6p+4
617 0x1.02919e7049614p+4
618 0x6.68c5229b6fe68p+4
619 0x7.6b4d6a6a7a5f8p+4
620 0xf.a3138d8e69768p+0
621 0x2.cf9face5b8bcep+4
622 0x2.81288770f4c24p+4
623 0x8.90688aa15d53p+4
624 0x5.e9ba4d0590b84p+4
625 0x3.e19d4ff35354p+4
626 0xa.3ab85677346f8p+4
627 0x7.933d8ede37eep+4
628 0x6.b6234d7a258a8p+4
629 0xa.5af5266fae908p+4
630 0x2.8f2cbbbb8c09p+4
631 0x2.dc619888040f4p+4
632 0x8.13873c90d266p+4
633 0x3.2df1f2efa428cp+0
634 0x6.6a00278dda38cp+0
635 0x4.0ed9f2598f06p+4
636 0x6.14f0a19255becp+4
637 0xa.1146a8c739e48p+4
638 0x6.13f9bfdfc7b24p+4
639 0x2.709b70dec4042p+4
640 0x3.b6e10255979c4p+4
641 0xf.479f7f0687208p+0
642 0x8.f641b6bb59b08p+4
643 0x9.2927674099428p+4
644 0x2.e5b97c257dba6p+4
645 0xd.c2b03c8845928p+0
646 0x8.2589fe39879dp+4
647 0x3.668a654ca48bep+4
648 0x1.bca386b012811p+4
649 0x8.b329a5e00eda8p+4
650 0x8.72f9a41bbfaep+4
651 0xa.5912895165d1p+4
652 0x7.f286cc86ed83p+4
653 0x9.97cf1bf6b6bp+4
654 0x2.5b5d40a1e728ep+4
655 0x9.0b47942fe584p+4
656 0x1.e535e0d4ebf1cp+4
657 0x7.6a1d45685abdcp+4
658 0x1.e27db78e3c73ep+4
659 0xa.a6399aadce5fp+4
660 0x9.6a152964d6b5p+4
661 0x6.bfd2a352659ap+4
662 0x7.89b7bc16e1cf8p+4
663 0xe.ce9288f521fb8p+0
664 0x4.3569d00e08f14p+4
665 0x3.dedad1aa2d318p+4
666 0xd.1c22fb7f6b79p+0
667 0x9.35e0bc1637d5p+4
668 0xa.23b0709b7f268p+4
669 0x9.03a64697fa578p+4
670 0x7.b4f20c783d4ep+4
671 0x2.be17385e74b74p+4
672 0x7.04f82c6d8ff2p+4
673 0x8.bcee9f0c07538p+4
674 0x6.5835546598ec4p+4
675 0x2.ac4a996e493e8p-4
676 0xa.2b68064b69e18p+4
677 0x1.58fd48baa728fp+4
678 0x7.c43d6f4b05dbcp+4
679 0x8.0a935b6690db8p+4
680 0x7.15c8b4eee2794p+4
681 0x8.c28da38cea468p+4
682 0x6.60dfa891a3788p+4
683 0x2.f36ac0b157566p+4
684 0x8.30d95ca694e48p+4
685 0x8.159cbeca590a8p+4
686 0xa.1ca91129cb2a8p+4
687 0x3.789ac60b72906p+4
688 0x1.76420b5bcfaa2p+4
689 0x1.1a20d90f0a80ap+4
690 0x2.e7c68ba700eaep+4
691 0x7.5efd0fac6a0e8p+4
692 0x8.37b0d2ea60748p+4
693 0x1.54459c7a91ed6p+4
694 0x8.4f17578055d08p+4
695 0x3.1e736a1e0f62ep+4
696 0x4.7b0500042846cp+4
697 0x3.4719624f1225ep+4
698 0x7.92b16f09bc0dcp+4
699 0x1.bcbe01fe18baep+4
700 0x8.ee73a6850f518p+4
701 0x7.8c91ca1e53d18p+4
702 0x7.af06477769368p+4
703 0x2.e32825f3aa4e4p+4
704 0xc.63971b73249b8p+0
705 0x4.7da5956ad96bcp+4
706 0x5.62ad6cb48613p+4
707 0x6.5a7ef61c2c6bcp+4
708 0x9.dbf06199ec8p+4
709 0x3.ab4f3e10c1a7cp+4
710 0xa.8a4bdfe3e2a7p+4
711 0x5.214e02b63188cp+4
712 0x3.03b11ba3840d4p+4
713 0x5.64eabcccc3458p+0
714 0x7.469a6a45666f8p+4
715 0x2.4d7e9b2072954p+4
716 0x1.5e613241a691bp+4
717 0x4.2edd036177584p+4
718 0x4.d2cb7bbe49488p+4
719 0x1.ad95ffdc19eb3p+4
720 0xa.06751f2fdf1fp+4
721 0x2.f6b1ae6d2e868p+4
722 0x5.490f700a9d9d4p+4
723 0x2.c76a76489c30cp+4
724 0x9.a52af164809e8p+4
725 0x5.d4c4ecdf3dc34p+4
726 0x1.5f093a6696408p+0
727 0xa.4498e82b3ad6p+4
728 0x3.6fa2063a31688p+4
729 0x1.46d001dcff0bdp+4
730 0x1.477174d50e98cp+4
731 0x1.81a74e579838fp+4
732 0x1.da646518274a5p+4
733 0x1.d7d868bfd3cbap+4
734 0x4.669950538fa5cp+4
735 0x3.c697d0d38f84ap+4
736 0x7.d2a90d160df68p+4
737 0xe.972b6cd318028p-4
738 0x2.a6982246fa956p+4
739 0x7.72032c722bb6cp+4
740 0xa.27d9ef5721098p+4
741 0x1.e403d3ca3d143p+4
742 0x4.e3010fb49d66cp+4
743 0x1.e1c8ae3307177p+0
744 0xa.8dee2e1602b18p+4
745 0x6.205d89518bd3cp+4
746 0x4.9eae27b62a174p+4
747 0x8.372ba502b5ccp+4
748 0x8.ca1d2a436988p+4
749 0xa.a93489b96f8b8p+4
750 0x8.891a31e09884p+0
751 0x4.c7fd396992b14p+4
752 0x7.d75db90cbceb4p+4
753 0x5.adae9f2119068p+0
754 0x5.89c2541b0b6b8p+4
755 0x7.02101536cbdf4p+4
756 0x3.7144ba5e89426p+4
757 0x6.a3a7a0eb1bae4p+4
758 0x6.2299fb34bcbdp+4
759 0x5.ca2db03426a2cp+4
760 0x6.aa794467ced3p-4
761 0x5.a415985a35afcp+4
762 0x3.a7c5cdc3c6c74p+4
763 0xa.37583ebc9b418p+4
764 0x5.bdeaffe77af9cp+4
765 0x7.f98bac9ce9eacp+4
766 0x3.d8bf3baff99eap+4
767 0x7.7bd7e71d71ep+4
768 0x2.46fa38d112bdep+0
769 0x3.7bcd7b735b36ap+4
770 0x7.b9f5189d1ebc8p+4
771 0x9.0b2c9bc9ae0ap+4
772 0x2.02e6255f8e2ap+4
773 0x3.244623a343f72p+4
774 0xa.29c89b86b09c8p+4
775 0x3.4c25ae017f058p+4
776 0x9.70ab0a3f7ffd8p+0
777 0x6.ee1408f1d5d84p+4
778 0x3.804f4192d6a6cp+4
779 0x2.e1a6ccf318f3cp+4
780 0x7.d7ddb112bffc8p+4
781 0x8.ef558797f2778p+4
782 0x9.32defd9575c08p+4
783 0x8.6cd2cb527fa38p+4
784 0x1.af19a8184a2eep+4
785 0x7.67d5c8c9eee8cp+4
786 0x7.963824bfe2348p+4
787 0x1.68c3628531fd9p+4
788 0x3.722809b22c5a6p+4
789 0x2.8047fd19d64ap+4
790 0x2.3c78f5f591d8cp+4
791 0x1.cde0b816541e3p+4
792 0x9.fbf4187302308p+4
793 0x9.b6154f92bb5a8p+4
794 0x5.e9a60dcce97a8p+4
795 0x2.98462ef07a61p+4
796 0x7.3a7a825927798p+4
797 0x8.e128210317b2p+4
798 0x3.73d544e23b558p+4
799 0x4.fa26114d1b77p+4
800 0x8.679161cc3fe68p+4
801 0x9.0b8aaa9e1615p+4
802 0xa.0ef68de3f9498p+4
803 0x1.4dc3261e01a09p+4
804 0x7.c1a3edae0aa84p+4
805 0x6.9220c4645eabcp+4
806 0x5.5ce0356956184p+4
807 0x4.495c3bd0fd0c8p+4
808 0x3.2e3c92617020ep+4
809 0x1.b470955ba5b9ep+4
810 0x3.720eb4667ef36p+4
811 0x8.03fff4f7ebd88p+4
812 0x4.09317b76f0468p+4
813 0x7.fd4c31f6978a4p+4
814 0xf.0757eb2a361c8p-4
815 0x7.5d655d5b21ep+4
816 0x3.9b9a77e8c5812p+4
817 0x5.0db6e6bcbd988p+4
818 0x3.ab9758ea3267p+4
819 0x2.350e997de5478p+4
820 0x8.246273e065978p+4
821 0x4.b628772a5bca8p+4
822 0x8.b507801ea6028p+4
823 0x8.839eaa218a55p+4
824 0x6.9365a0926775cp+4
825 0x5.ced679bdf69dp+4
826 0x5.8a7458db7272p+4
827 0x6.c1aa53075504cp+4
828 0x4.c0705c8a6b008p+4
829 0x8.ff40a504884dp+4
830 0x2.13e69263105dp+4
831 0x8.7598b31370d6p+4
832 0x9.3f8dcfcd9c7ep+4
833 0x6.8153ed9981464p+4
834 0x8.4fee1381c0db8p+4
835 0x1.925d774c6c322p+4
836 0x3.fcf0938569f2cp+4
837 0x9.955534e4cdf5p+4
838 0x4.413b93d66481p+4
839 0x2.6966ac8f8b4e2p+4
840 0x4.3309bba7a269p+4
841 0x7.208214537321p+4
842 0x6.15eaf2a284d2p+4
843 0x1.387f78fed273cp+4
844 0x6.5989c12504ea4p+4
845 0x3.8e76afec6ea98p+4
846 0x9.ace4c0d3510b8p+4
847 0xf.6654a6c967f68p-4
848 0x7.37f479bc9c254p+4
849 0xa.b3d14883028ap+4
850 0x8.7de8595d87afp+4
851 0xa.c9ec3be573a6p+0
852 0x6.2761fc887a24p+4
853 0x7.c4308a62d08c8p+4
854 0x5.a4a6abdc9661p+4
855 0x7.07a1ac404f95p+4
856 0x4.b08ec4e8c17f4p+4
857 0x1.bac6873f6880dp+4
858 0x4.07e6f940e4438p+4
859 0x9.8be5890c88168p+4
860 0x9.7698289eb9e18p+4
861 0x5.5acb68a6d0f3p+0
862 0x3.36a4bb792c2a6p+4
863 0x6.3a5e2c2099cfcp+4
864 0x7.54ec6b2cee634p+4
865 0x8.f57986fc9eb48p+4
866 0x4.df2c7a5ff52ap+4
867 0x6.cee3c3d6fcc9cp+4
868 0x1.9fb8ce0b43df1p+0
869 0x6.27788953ca1e4p+4
870 0x6.84612be13beecp-4
871 0x3.2704e13da9b56p+4
872 0x3.a7e32db8442dcp+4
873 0x9.3c2803fba29dp+4
874 0x3.25d799a28f0f6p+4
875 0x5.66d8ba97fb2b8p+4
876 0xa.91804ab0613ap+4
877 0x4.69aec57593dd4p+4
878 0x6.c6447a79896bp+4
879 0x9.c43c073c7613p+4
880 0x5.124a885107b9p+4
881 0x2.9d56fd8b4f518p+4
882 0x8.1b5e2d78e842p+4
883 0xf.d9ddb985b88e8p+0
884 0x9.dcd9d8d4e5988p+4
885 0x6.836efe3055d2cp+4
886 0x1.4966d86f5166bp+4
887 0x9.72f6f599c495p+4
888 0x6.1d7534b8dap+4
889 0x3.fbe7ff66f932cp+4
890 0x5.cf771c868cd0cp+0
891 0x4.080cbcbc512a4p+4
892 0xd.01e251228bb38p+0
893 0x9.0ceac4bbf69cp+4
894 0x4.70a5d585f9484p+4
895 0x8.d8c282a51eab8p+4
896 0x6.092904c9c7c7p+4
897 0x1.8df2bea696bd2p+4
898 0x7.b50af9d1811a4p+4
899 0x4.3b8bf38d7a8f8p+4
900 0x2.8476d83a43f6ep+4
901 0x6.baff0c0934bap+4
902 0x8.0ca3d4a9a724p+4
903 0x2.0159348044fb2p+4
904 0x3.5dcce038562e8p+4
905 0xf.a642f46edfc28p+0
906 0x3.0171ccdc7176ep+4
907 0x2.48adaa09909fap+4
908 0x8.07c83a788af7p+4
909 0x8.957f25c7508a8p+4
910 0x3.03b0a03efb50cp+4
911 0x4.66e1d16b65698p+4
912 0x4.50aca7752509cp+4
913 0x8.ee5de73cfa2b8p+4
914 0x5.9bbdb2daf0ca4p+4
915 0x2.c497067dadf74p+4
916 0xa.689f2bfc064d8p+4
917 0x2.da4bc1b0ba05ep+4
918 0x9.4e6cc86086fd8p+4
919 0x8.061999e3cab7p+4
920 0x9.ddbd4fecea6b8p+4
921 0x8.9d13c6225c0dp+4
922 0x8.96b6524b421c8p+4
923 0x9.280b68d6091a8p+4
924 0x3.573a3cc63803ep+4
925 0x2.fabcc99537e1ap+4
926 0xd.752faa5c9f748p+0
927 0x7.6132ead3dfc84p+4
928 0x4.a5e9f5af0571p+4
929 0x9.795f688a67748p+4
930 0x9.75a9a915b12fp+4
931 0x7.ed45ea19ed5ecp+4
932 0x4.efeeef24adaa8p+4
933 0x1.fd69de9acb436p+4
934 0x2.a6528eddadffep+4
935 0x1.b9d16207906fp+4
936 0x1.3575d003ccc64p+4
937 0xa.7b57916281bfp+4
938 0x9.5b971eca60dbp+4
939 0x8.ee65493692fp+4
940 0x1.3234061cae087p+4
941 0x7.167df31bce708p+4
942 0xa.5497ab689afdp+4
943 0x8.7cadc1ed2f5ap+4
944 0x1.849fe01d4a9d3p+4
945 0x2.40d882876f33p+4
946 0x5.4f0af27da32fp+4
947 0x2.4d42f35b988dep+4
948 0x5.9079fd11ce124p+4
949 0x6.9c869f78958p+4
950 0x6.0abbe9b11bcfcp+4
951 0x2.b4689fe95e014p+4
952 0x5.13c1e35f90c54p+4
953 0x7.8e88cc98d3418p+4
954 0x7.335950517c8cp+4
955 0x3.c3310e111b85ap+4
956 0x2.42154e5f6f11cp+4
957 0x7.3a60e6202ba7p+4
958 0x4.b682ac0b6f06cp+4
959 0x7.8e7004b6c1f1p+4
960 0x4.a9b8a5b520b34p+4
961 0x5.fadd8b146b3e4p+4
962 0x3.1f705801c157cp+4
963 0xe.de9b1fe33f85p+0
964 0x5.b1aa694cf2278p+4
965 0x3.0030a625b1de6p+4
966 0x6.4be6e157871cp+4
967 0x8.04f11cd47c138p+4
968 0x1.45afbbb1bbbb3p+4
969 0x6.fd2839fc0a47cp+4
970 0x4.a6b97c1f4cc5cp+4
971 0xb.c73618b9a7d98p+0
972 0x2.e7c1d291bef5ap+4
973 0x4.92be7b9aed128p+4
974 0x7.b67121b7fa7d8p+4
975 0xb.2f58beb40fe7p+0
976 0x5.8859d71c7c43cp+4
977 0x2.9ff79cb50d0fcp+4
978 0x7.d7b9e4ca3ec3p+4
979 0x1.2def401c3ff6fp+4
980 0x5.baf54dc3366f4p+4
981 0x7.2fc71dca9cf7p+4
982 0x4.1f3e347d81b3p+0
983 0x4.b8ebd830000e8p+4
984 0x8.69599573935a8p+4
985 0x8.bb39ec35fb7c8p+4
986 0x6.9d7df6d0cffecp+4
987 0xa.52a48ab6ec7cp+4
988 0x8.65dd7b8562558p+4
989 0x3.4c4d16a63518cp+4
990 0x3.b63510753f638p+4
991 0x6.aac7652130de8p+4
992 0x1.c618a84c704bap+4
993 0x8.07339e35b22ep+4
994 0x3.2ebc316e48df8p+4
995 0x6.101af54471404p+4
996 0x4.d275c07eb2088p+4
997 0x1.655d9a2ffa48p+4
998 0x9.2eec17842bb2p+4
999 0x2.6d27e10a42df4p+4
1000 0x9.0885c8fe75c98p+0
1001 0x6.0790978a36c14p+4
1002 0x5.23aa483024d6cp+4
1003 0x3.62a97266e3fa6p+4
1004 0x1.cef76300ba2b7p+4
1005 0x4.f29b77025a77cp+4