diff mbox series

[RFC,2/2] newlib: Add RISC-V vector math library support

Message ID 20260204181533.1498013-3-pincheng.plct@isrc.iscas.ac.cn
State New
Headers
Series Add RISC-V vector math library support |

Commit Message

Pincheng Wang Feb. 4, 2026, 6:15 p.m. UTC 
  This patch introduces infrastructure for RISC-V Vector Extension (RVV)
optimized math functions in newlib. This patch enables applications to
benefit from SIMD parallelism on RISC-V systems with vector extensions.
It adds a new configure option "--enable-vecmath" to conditionally build
vector math implementations, and provides a vectorized sin() function as
the initial implementation.

The vector math implementations is derived from the SLEEF library[3]
which is licensed under Boost Software License 1.0, and needs further
optimization to fit into newlib project.

After applying this gcc patch[1], compiler can automatically vectorize
loops containing math function calls when optimizing with -O3
-ffast-math. The compiler will replace scalar calls with vector variants
following this RFC vector ABI naming convention:
_ZGV<isa><mask><len><parameters>_<func-name> [2]. For the sin function
in this example patch, this translates to: _ZGV1N2v_sin.

Since this is a experimental feature and does not fit for all embedded
system situations, we add a configure option called "--enable-vecmath"
and is disabled by default.

For implementation details, "riscv-vec-math.h" contains helper macros
and inline functions for RVV operations. "vec_sin.c" and other vec_*.c"
in the future implementation contains vectorized math functions and
targets 1 ULP accuracy.

To configure and build, use below command.
	configure --target=riscv64-unknown-elf \
		--prefix=/opt/vecmath-newlib \
		CFLAGS_FOR_TARGET="-O2 -march=rv64gcv -mabi=lp64d" \
		--enable-vecmath

To compile a program that can take
benefit of this patch, use the patched[1] gcc and run command like
below.
	/opt/vecmath-gcc/bin/riscv64-unknown-elf-gcc \
		-O3 -ffast-math -march=rv64gcv \
		--sysroot=/opt/vecmath-newlib \
		-L/opt/vecmath-newlib/riscv64-unknown-elf/lib \
		-I/opt/vecmath-newlib/riscv64-unknown-elf/include \
		test_sin.c -o test_sin -lm

Only double precision sin() function is implemented in this initial
patch and detailed implementation still needs further optimization. This
RFC patch aims to determine whether this framework meets the newlib
community's expectations for RISC-V vector math library support,
including the build system integration and directory structure.

[1] https://gcc.gnu.org/pipermail/gcc-patches/2024-November/667352.html
[2] https://github.com/riscv-non-isa/riscv-elf-psabi-doc/pull/455
[3] https://github.com/shibatch/sleef

Signed-off-by: Pincheng Wang <pincheng.plct@isrc.iscas.ac.cn>
---
 newlib/configure.ac                        |   10 +
 newlib/libc/include/math.h                 |    1 +
 newlib/libm/machine/riscv/Makefile.inc     |    5 +
 newlib/libm/machine/riscv/riscv-vec-math.h | 1461 ++++++++++++++++++++
 newlib/libm/machine/riscv/vec_sin.c        |   79 ++
 5 files changed, 1556 insertions(+)
 create mode 100644 newlib/libm/machine/riscv/riscv-vec-math.h
 create mode 100644 newlib/libm/machine/riscv/vec_sin.c
diff mbox series

Patch

diff --git a/newlib/configure.ac b/newlib/configure.ac
index a4807830e..de4e52e88 100644
--- a/newlib/configure.ac
+++ b/newlib/configure.ac
@@ -143,6 +143,15 @@  AC_ARG_ENABLE(newlib-atexit-dynamic-alloc,
   esac
  fi], [newlib_atexit_dynamic_alloc=${newlib_atexit_dynamic_alloc}])dnl
 
+dnl Support --enable-vecmath
+AC_ARG_ENABLE(vecmath,
+[  --enable-vecmath   enable vector math optimized functions],
+[case "${enableval}" in
+  yes) enable_vecmath=yes;;
+  no)  enable_vecmath=no ;;
+  *)   AC_MSG_ERROR(bad value ${enableval} for vecmath option) ;;
+ esac], [enable_vecmath=no])dnl
+
 dnl Support --enable-newlib-global-atexit
 dnl Enable atexit data structure as global variables to save memory usage in
 dnl _reent.  This is no longer optional.  It is enabled in all Newlib
@@ -350,6 +359,7 @@  newlib_hw_fp=false
 #   *) AC_MSG_ERROR(bad value ${enableval} for --enable-newlib-hw-fp) ;;
 # esac],[newlib_hw_fp=false])
 AM_CONDITIONAL(NEWLIB_HW_FP, test x$newlib_hw_fp = xtrue)
+AM_CONDITIONAL(NEWLIB_VECMATH, test x$enable_vecmath = xyes)
 
 # These get added in the top-level configure.in, except in the case where
 # newlib is being built natively.
diff --git a/newlib/libc/include/math.h b/newlib/libc/include/math.h
index 5e92d2662..9c7ce901f 100644
--- a/newlib/libc/include/math.h
+++ b/newlib/libc/include/math.h
@@ -85,6 +85,7 @@  _BEGIN_STD_C
 #ifndef __math_68881
 extern double atan (double);
 extern double cos (double);
+__attribute__ ((__simd__ ("notinbranch")))
 extern double sin (double);
 extern double tan (double);
 extern double tanh (double);
diff --git a/newlib/libm/machine/riscv/Makefile.inc b/newlib/libm/machine/riscv/Makefile.inc
index 9ce71e7be..59658003a 100644
--- a/newlib/libm/machine/riscv/Makefile.inc
+++ b/newlib/libm/machine/riscv/Makefile.inc
@@ -16,3 +16,8 @@ 
 	%D%/s_llround.c %D%/sf_llround.c
 
 libm_a_SOURCES += $(%C%_src)
+
+if NEWLIB_VECMATH
+libm_a_SOURCES += %D%/vec_sin.c
+endif
+
diff --git a/newlib/libm/machine/riscv/riscv-vec-math.h b/newlib/libm/machine/riscv/riscv-vec-math.h
new file mode 100644
index 000000000..82703a857
--- /dev/null
+++ b/newlib/libm/machine/riscv/riscv-vec-math.h
@@ -0,0 +1,1461 @@ 
+//   Copyright Naoki Shibata and contributors 2010 - 2025.
+// Distributed under the Boost Software License, Version 1.0.
+//    (See accompanying file LICENSE.txt or copy at
+//          http://www.boost.org/LICENSE_1_0.txt)
+
+// RISC-V Vector Math Library Header
+// Extracted from SLEEF for standalone use on RISC-V architecture
+
+#ifndef RISCV_VEC_MATH_H
+#define RISCV_VEC_MATH_H
+
+#include <stdint.h>
+#include <riscv_vector.h>
+
+// Vector length configuration
+#define VECTLENDP (__riscv_vsetvlmax_e64m1())
+
+// RISC-V Vector Types (LMUL=1)
+typedef vfloat64m1_t vdouble;
+typedef vfloat64m2_t vdouble2;
+typedef vint32mf2_t vint;
+typedef vint32m1_t vint2;
+typedef vuint64m1_t vmask;
+typedef vbool64_t vopmask;
+
+// Composite types - SLEEF's approach: use larger LMUL vectors
+// di_t: packs vdouble + vint in a LMUL=2 integer vector
+// ddi_t: packs vdouble2 + vint in a LMUL=4 integer vector
+typedef vint32m2_t di_t;
+typedef vint32m4_t ddi_t;
+
+// Constants
+#define M_PI 3.141592653589793238462643383279502884
+#define M_1_PI 0.318309886183790671537767526745028724
+
+#define PI_A 3.1415926218032836914
+#define PI_B 3.1786509424591713469e-08
+#define PI_C 1.2246467864107188502e-16
+#define PI_D 1.2736634327021899816e-24
+#define PI_A2 3.141592653589793116
+#define PI_B2 1.2246467991473532072e-16
+
+#define TRIGRANGEMAX2 15.0
+#define TRIGRANGEMAX 1e+14
+
+#define L2U .69314718055966295651160180568695068359375
+#define L2L .28235290563031577122588448175013436025525412068e-12
+#define R_LN2 1.442695040888963407359924681001892137426645954152985934135449406931
+#define LOG_DBL_MAX 0x1.62e42fefa39efp+9
+
+#define SLEEF_INFINITY __builtin_inf()
+#define SLEEF_NAN __builtin_nan("")
+#define SLEEF_DBL_MIN 0x1p-1022
+
+// Macros
+#define LIKELY(condition) __builtin_expect(!!(condition), 1)
+#define INLINE static inline __attribute__((always_inline))
+
+// Estrin polynomial evaluation macros
+#define POLY2(x, c1, c0) vmla_vd_vd_vd_vd(x, vcast_vd_d(c1), vcast_vd_d(c0))
+#define POLY3(x, x2, c2, c1, c0) vmla_vd_vd_vd_vd(x2, vcast_vd_d(c2), vmla_vd_vd_vd_vd(x, vcast_vd_d(c1), vcast_vd_d(c0)))
+#define POLY4(x, x2, c3, c2, c1, c0) vmla_vd_vd_vd_vd(x2, vmla_vd_vd_vd_vd(x, vcast_vd_d(c3), vcast_vd_d(c2)), vmla_vd_vd_vd_vd(x, vcast_vd_d(c1), vcast_vd_d(c0)))
+#define POLY5(x, x2, x4, c4, c3, c2, c1, c0) vmla_vd_vd_vd_vd(x4, vcast_vd_d(c4), POLY4(x, x2, c3, c2, c1, c0))
+#define POLY6(x, x2, x4, c5, c4, c3, c2, c1, c0) vmla_vd_vd_vd_vd(x4, POLY2(x, c5, c4), POLY4(x, x2, c3, c2, c1, c0))
+#define POLY7(x, x2, x4, c6, c5, c4, c3, c2, c1, c0) vmla_vd_vd_vd_vd(x4, POLY3(x, x2, c6, c5, c4), POLY4(x, x2, c3, c2, c1, c0))
+#define POLY8(x, x2, x4, c7, c6, c5, c4, c3, c2, c1, c0) vmla_vd_vd_vd_vd(x4, POLY4(x, x2, c7, c6, c5, c4), POLY4(x, x2, c3, c2, c1, c0))
+#define POLY10(x, x2, x4, x8, c9, c8, c7, c6, c5, c4, c3, c2, c1, c0) vmla_vd_vd_vd_vd(x8, POLY2(x, c9, c8), POLY8(x, x2, x4, c7, c6, c5, c4, c3, c2, c1, c0))
+
+// Type conversion helpers
+INLINE vmask vreinterpret_vm_vd(vdouble vd) {
+    return __riscv_vreinterpret_u64m1(__riscv_vreinterpret_i64m1(vd));
+}
+
+INLINE vdouble vreinterpret_vd_vm(vmask vm) {
+    return __riscv_vreinterpret_f64m1(__riscv_vreinterpret_i64m1(vm));
+}
+
+INLINE vint2 vreinterpret_vi2_vd(vdouble vd) {
+    vint64m1_t vi64 = __riscv_vreinterpret_i64m1(vd);
+    return __riscv_vreinterpret_i32m1(vi64);
+}
+
+INLINE vdouble vcast_vd_d(double d) {
+    return __riscv_vfmv_v_f_f64m1(d, VECTLENDP);
+}
+
+INLINE vint vcast_vi_i(int i) {
+    return __riscv_vmv_v_x_i32mf2(i, VECTLENDP);
+}
+
+// vdouble2 accessors
+INLINE vdouble vd2getx_vd_vd2(vdouble2 v) {
+    return __riscv_vget_f64m1(v, 0);
+}
+
+INLINE vdouble vd2gety_vd_vd2(vdouble2 v) {
+    return __riscv_vget_f64m1(v, 1);
+}
+
+INLINE vdouble2 vd2setxy_vd2_vd_vd(vdouble x, vdouble y) {
+    return __riscv_vcreate_v_f64m1_f64m2(x, y);
+}
+
+INLINE vdouble2 vd2setx_vd2_vd2_vd(vdouble2 v, vdouble d) {
+    return __riscv_vset(v, 0, d);
+}
+
+INLINE vdouble2 vd2sety_vd2_vd2_vd(vdouble2 v, vdouble d) {
+    return __riscv_vset(v, 1, d);
+}
+
+// di_t accessors (vdouble + vint packed in vint32m2_t)
+INLINE vdouble digetd_vd_di(di_t d) {
+    vint2 vi = __riscv_vget_i32m1(d, 0);
+    return __riscv_vreinterpret_f64m1(__riscv_vreinterpret_i64m1(vi));
+}
+
+INLINE vint digeti_vi_di(di_t d) {
+    vint2 vi = __riscv_vget_i32m1(d, 1);
+    return __riscv_vlmul_trunc_i32mf2(vi);
+}
+
+INLINE di_t disetdi_di_vd_vi(vdouble d, vint i) {
+    vint2 vd = vreinterpret_vi2_vd(d);
+    vint2 vi = __riscv_vlmul_ext_v_i32mf2_i32m1(i);
+    return __riscv_vcreate_v_i32m1_i32m2(vd, vi);
+}
+
+// ddi_t accessors (vdouble2 + vint packed in vint32m4_t)
+INLINE vdouble2 ddigetdd_vd2_ddi(ddi_t d) {
+    vfloat64m4_t vd4 = __riscv_vreinterpret_f64m4(__riscv_vreinterpret_i64m4(d));
+    return __riscv_vget_f64m2(vd4, 0);
+}
+
+INLINE vint ddigeti_vi_ddi(ddi_t d) {
+    vint2 vi2 = __riscv_vget_i32m1(d, 2);
+    return __riscv_vlmul_trunc_i32mf2(vi2);
+}
+
+INLINE ddi_t ddisetddi_ddi_vd2_vi(vdouble2 v, vint i) {
+    di_t vdi = __riscv_vreinterpret_i32m2(__riscv_vreinterpret_i64m2(v));
+    vint2 vi_m1 = __riscv_vlmul_ext_v_i32mf2_i32m1(i);
+    di_t vi_m2 = __riscv_vlmul_ext_v_i32m1_i32m2(vi_m1);
+    return __riscv_vcreate_v_i32m2_i32m4(vdi, vi_m2);
+}
+
+INLINE ddi_t ddisetdd_ddi_ddi_vd2(ddi_t ddi, vdouble2 v) {
+    di_t vdi = __riscv_vreinterpret_i32m2(__riscv_vreinterpret_i64m2(v));
+    return __riscv_vset(ddi, 0, vdi);
+}
+
+// Arithmetic operations
+INLINE vdouble vadd_vd_vd_vd(vdouble x, vdouble y) {
+    return __riscv_vfadd(x, y, VECTLENDP);
+}
+
+INLINE vdouble vsub_vd_vd_vd(vdouble x, vdouble y) {
+    return __riscv_vfsub(x, y, VECTLENDP);
+}
+
+INLINE vdouble vmul_vd_vd_vd(vdouble x, vdouble y) {
+    return __riscv_vfmul(x, y, VECTLENDP);
+}
+
+INLINE vdouble vabs_vd_vd(vdouble x) {
+    return __riscv_vfabs(x, VECTLENDP);
+}
+
+INLINE vdouble vmla_vd_vd_vd_vd(vdouble x, vdouble y, vdouble z) {
+    return __riscv_vfmadd(x, y, z, VECTLENDP);
+}
+
+// Comparison operations
+INLINE vopmask vlt_vo_vd_vd(vdouble x, vdouble y) {
+    return __riscv_vmflt(x, y, VECTLENDP);
+}
+
+INLINE vopmask vgt_vo_vd_vd(vdouble x, vdouble y) {
+    return __riscv_vmfgt(x, y, VECTLENDP);
+}
+
+// Select/merge operations
+INLINE vdouble vsel_vd_vo_vd_vd(vopmask mask, vdouble x, vdouble y) {
+    return __riscv_vmerge(y, x, mask, VECTLENDP);
+}
+
+// Integer operations
+INLINE vint vadd_vi_vi_vi(vint x, vint y) {
+    return __riscv_vadd(x, y, VECTLENDP);
+}
+
+// ============================================================================
+// Helper Functions and Type Operations
+// ============================================================================
+
+INLINE vint vrint_vi_vd(vdouble vd) {
+  return __riscv_vfncvt_x_f_w_i32mf2_rm(vd, __RISCV_FRM_RNE, VECTLENDP);
+}
+
+INLINE vdouble vrint_vd_vd(vdouble vd) {
+  return __riscv_vfcvt_f_x_v_f64m1(__riscv_vfcvt_x_f_v_i64m1_rm(vd, __RISCV_FRM_RNE, VECTLENDP), VECTLENDP);
+}
+
+INLINE vdouble vcast_vd_vi(vint i) {
+  return __riscv_vfwcvt_f(i, VECTLENDP);
+}
+
+INLINE vint vtruncate_vi_vd(vdouble vd) {
+  return __riscv_vfncvt_rtz_x(vd, VECTLENDP);
+}
+
+INLINE vdouble vtruncate_vd_vd(vdouble vd) {
+  return vcast_vd_vi(vtruncate_vi_vd(vd));
+}
+
+INLINE vdouble vmlapn_vd_vd_vd_vd(vdouble x, vdouble y, vdouble z) {
+  return __riscv_vfmsub(x, y, z, VECTLENDP);
+}
+
+INLINE vdouble vfma_vd_vd_vd_vd(vdouble x, vdouble y, vdouble z) {
+  return __riscv_vfmadd(x, y, z, VECTLENDP);
+}
+
+INLINE vdouble vfmapn_vd_vd_vd_vd(vdouble x, vdouble y, vdouble z) {
+  return __riscv_vfmsub(x, y, z, VECTLENDP);
+}
+
+INLINE vdouble vmulsign_vd_vd_vd(vdouble x, vdouble y) {
+  return __riscv_vfsgnjx(x, y, VECTLENDP);
+}
+
+INLINE vint vsub_vi_vi_vi(vint x, vint y) {
+  return __riscv_vsub(x, y, VECTLENDP);
+}
+
+INLINE vint vand_vi_vi_vi(vint x, vint y) {
+  return __riscv_vand(x, y, VECTLENDP);
+}
+
+INLINE vint vsra_vi_vi_i(vint x, int c) {
+  return __riscv_vsra(x, c, VECTLENDP);
+}
+
+INLINE vint vsll_vi_vi_i(vint x, int c) {
+  return __riscv_vsll(x, c, VECTLENDP);
+}
+
+INLINE vint vsrl_vi_vi_i(vint x, int c) {
+  vuint32mf2_t xu = __riscv_vreinterpret_u32mf2(x);
+  return __riscv_vreinterpret_i32mf2(__riscv_vsrl(xu, c, VECTLENDP));
+}
+
+INLINE vint vand_vi_vo_vi(vopmask x, vint y) {
+  return __riscv_vmerge(y, 0, __riscv_vmnot(x, VECTLENDP), VECTLENDP);
+}
+
+INLINE vopmask vgt_vo_vi_vi(vint x, vint y) {
+  return __riscv_vmsgt(x, y, VECTLENDP);
+}
+
+INLINE vmask vxor_vm_vm_vm(vmask x, vmask y) {
+  return __riscv_vxor(x, y, VECTLENDP);
+}
+
+INLINE vmask vandnot_vm_vo64_vm(vopmask x, vmask y) {
+  return __riscv_vmerge(y, 0, x, VECTLENDP);
+}
+
+INLINE vmask vand_vm_vo64_vm(vopmask x, vmask y) {
+  return __riscv_vmerge(y, 0, __riscv_vmnot(x, VECTLENDP), VECTLENDP);
+}
+
+INLINE vmask vor_vm_vo64_vm(vopmask x, vmask y) {
+  return __riscv_vmerge(y, -1, x, VECTLENDP);
+}
+
+INLINE vopmask veq_vo_vd_vd(vdouble x, vdouble y) {
+  return __riscv_vmfeq(x, y, VECTLENDP);
+}
+
+INLINE vopmask veq_vo_vi_vi(vint x, vint y) {
+  return __riscv_vmseq(x, y, VECTLENDP);
+}
+
+INLINE vopmask visinf_vo_vd(vdouble d) {
+  return __riscv_vmfeq(__riscv_vfabs(d, VECTLENDP), SLEEF_INFINITY, VECTLENDP);
+}
+
+INLINE vopmask visnan_vo_vd(vdouble d) {
+  return __riscv_vmfne(d, d, VECTLENDP);
+}
+
+INLINE int vtestallones_i_vo64(vopmask g) {
+  return (int)__riscv_vcpop(g, VECTLENDP) == (int)VECTLENDP;
+}
+
+INLINE vopmask vcast_vo32_vo64(vopmask vo) {
+  return vo;
+}
+
+INLINE vopmask vcast_vo64_vo32(vopmask vo) {
+  return vo;
+}
+
+INLINE vopmask vor_vo_vo_vo(vopmask x, vopmask y) {
+  return __riscv_vmor(x, y, VECTLENDP);
+}
+
+INLINE vint vsel_vi_vo_vi_vi(vopmask m, vint x, vint y) {
+  return __riscv_vmerge(y, x, m, VECTLENDP);
+}
+
+INLINE vdouble2 vsel_vd2_vo_vd2_vd2(vopmask m, vdouble2 x, vdouble2 y) {
+  return vd2setxy_vd2_vd_vd(vsel_vd_vo_vd_vd(m, vd2getx_vd_vd2(x), vd2getx_vd_vd2(y)),
+                            vsel_vd_vo_vd_vd(m, vd2gety_vd_vd2(x), vd2gety_vd_vd2(y)));
+}
+
+INLINE vdouble vadd_vd_3vd(vdouble v0, vdouble v1, vdouble v2) {
+  return vadd_vd_vd_vd(vadd_vd_vd_vd(v0, v1), v2);
+}
+
+INLINE vdouble vadd_vd_4vd(vdouble v0, vdouble v1, vdouble v2, vdouble v3) {
+  return vadd_vd_3vd(vadd_vd_vd_vd(v0, v1), v2, v3);
+}
+
+INLINE vdouble2 ddadd_vd2_vd_vd(vdouble x, vdouble y) {
+  vdouble s = vadd_vd_vd_vd(x, y);
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_vd_vd(vsub_vd_vd_vd(x, s), y));
+}
+
+INLINE vdouble2 ddadd2_vd2_vd_vd(vdouble x, vdouble y) {
+  vdouble s = vadd_vd_vd_vd(x, y);
+  vdouble v = vsub_vd_vd_vd(s, x);
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_vd_vd(vsub_vd_vd_vd(x, vsub_vd_vd_vd(s, v)), vsub_vd_vd_vd(y, v)));
+}
+
+INLINE vdouble2 ddadd_vd2_vd2_vd(vdouble2 x, vdouble y) {
+  vdouble s = vadd_vd_vd_vd(vd2getx_vd_vd2(x), y);
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_3vd(vsub_vd_vd_vd(vd2getx_vd_vd2(x), s), y, vd2gety_vd_vd2(x)));
+}
+
+INLINE vdouble2 ddadd2_vd2_vd2_vd(vdouble2 x, vdouble y) {
+  vdouble s = vadd_vd_vd_vd(vd2getx_vd_vd2(x), y);
+  vdouble v = vsub_vd_vd_vd(s, vd2getx_vd_vd2(x));
+  vdouble w = vadd_vd_vd_vd(vsub_vd_vd_vd(vd2getx_vd_vd2(x), vsub_vd_vd_vd(s, v)), vsub_vd_vd_vd(y, v));
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_vd_vd(w, vd2gety_vd_vd2(x)));
+}
+
+INLINE vdouble2 ddadd_vd2_vd2_vd2(vdouble2 x, vdouble2 y) {
+  vdouble s = vadd_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(y));
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_4vd(vsub_vd_vd_vd(vd2getx_vd_vd2(x), s), vd2getx_vd_vd2(y), vd2gety_vd_vd2(x), vd2gety_vd_vd2(y)));
+}
+
+INLINE vdouble2 ddadd2_vd2_vd2_vd2(vdouble2 x, vdouble2 y) {
+  vdouble s = vadd_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(y));
+  vdouble v = vsub_vd_vd_vd(s, vd2getx_vd_vd2(x));
+  vdouble t = vadd_vd_vd_vd(vsub_vd_vd_vd(vd2getx_vd_vd2(x), vsub_vd_vd_vd(s, v)), vsub_vd_vd_vd(vd2getx_vd_vd2(y), v));
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_vd_vd(t, vadd_vd_vd_vd(vd2gety_vd_vd2(x), vd2gety_vd_vd2(y))));
+}
+
+INLINE vdouble2 ddnormalize_vd2_vd2(vdouble2 t) {
+  vdouble s = vadd_vd_vd_vd(vd2getx_vd_vd2(t), vd2gety_vd_vd2(t));
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_vd_vd(vsub_vd_vd_vd(vd2getx_vd_vd2(t), s), vd2gety_vd_vd2(t)));
+}
+
+INLINE vdouble2 ddmul_vd2_vd_vd2(vdouble x, vdouble2 y) {
+  vdouble s = vmul_vd_vd_vd(x, vd2getx_vd_vd2(y));
+  return vd2setxy_vd2_vd_vd(s, vfma_vd_vd_vd_vd(x, vd2gety_vd_vd2(y), vfmapn_vd_vd_vd_vd(x, vd2getx_vd_vd2(y), s)));
+}
+
+INLINE vdouble2 ddmul_vd2_vd2_vd(vdouble2 x, vdouble y) {
+  vdouble s = vmul_vd_vd_vd(vd2getx_vd_vd2(x), y);
+  return vd2setxy_vd2_vd_vd(s, vfma_vd_vd_vd_vd(vd2gety_vd_vd2(x), y, vfmapn_vd_vd_vd_vd(vd2getx_vd_vd2(x), y, s)));
+}
+
+INLINE vdouble2 ddmul_vd2_vd2_vd2(vdouble2 x, vdouble2 y) {
+  vdouble s = vmul_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(y));
+  return vd2setxy_vd2_vd_vd(s, vfma_vd_vd_vd_vd(vd2getx_vd_vd2(x), vd2gety_vd_vd2(y),
+                                                 vfma_vd_vd_vd_vd(vd2gety_vd_vd2(x), vd2getx_vd_vd2(y),
+                                                                  vfmapn_vd_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(y), s))));
+}
+
+INLINE vdouble ddmul_vd_vd2_vd2(vdouble2 x, vdouble2 y) {
+  return vfma_vd_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(y),
+                          vfma_vd_vd_vd_vd(vd2gety_vd_vd2(x), vd2getx_vd_vd2(y),
+                                           vmul_vd_vd_vd(vd2getx_vd_vd2(x), vd2gety_vd_vd2(y))));
+}
+
+INLINE vdouble2 ddsqu_vd2_vd2(vdouble2 x) {
+  vdouble s = vmul_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(x));
+  return vd2setxy_vd2_vd_vd(s, vfma_vd_vd_vd_vd(vadd_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(x)), vd2gety_vd_vd2(x),
+                                                 vfmapn_vd_vd_vd_vd(vd2getx_vd_vd2(x), vd2getx_vd_vd2(x), s)));
+}
+
+INLINE vdouble2 ddadd_vd2_vd_vd2(vdouble x, vdouble2 y) {
+  vdouble s = vadd_vd_vd_vd(x, vd2getx_vd_vd2(y));
+  return vd2setxy_vd2_vd_vd(s, vadd_vd_3vd(vsub_vd_vd_vd(x, s), vd2getx_vd_vd2(y), vd2gety_vd_vd2(y)));
+}
+
+// ldexp helper
+INLINE vmask vcastu_vm_vi(vint vi) {
+  vint64m1_t vi64 = __riscv_vwcvt_x(vi, VECTLENDP);
+  vmask vm = __riscv_vreinterpret_u64m1(vi64);
+  return __riscv_vsll(vm, 32, VECTLENDP);
+}
+
+// 64位加法 - 用于ldexp
+INLINE vmask vadd64_vm_vm_vm(vmask x, vmask y) {
+  return __riscv_vadd(x, y, VECTLENDP);
+}
+
+INLINE vdouble vldexp3_vd_vd_vi(vdouble d, vint q) {
+  return vreinterpret_vd_vm(vadd64_vm_vm_vm(vreinterpret_vm_vd(d), vcastu_vm_vi(vsll_vi_vi_i(q, 20))));
+}
+
+// ilogb helper
+INLINE vint vcastu_vi_vm(vmask vm) {
+  return __riscv_vreinterpret_i32mf2(__riscv_vnsrl(vm, 32, VECTLENDP));
+}
+
+INLINE vint vilogb2k_vi_vd(vdouble d) {
+  vint q = vcastu_vi_vm(vreinterpret_vm_vd(d));
+  q = vsrl_vi_vi_i(q, 20);
+  q = vand_vi_vi_vi(q, vcast_vi_i(0x7ff));
+  q = vsub_vi_vi_vi(q, vcast_vi_i(0x3ff));
+  return q;
+}
+
+// rempisub helper
+INLINE di_t rempisub(vdouble x) {
+  vdouble c = vmulsign_vd_vd_vd(vcast_vd_d((double)((int64_t)1 << 52)), x);
+  vdouble rint4x = vsel_vd_vo_vd_vd(vgt_vo_vd_vd(vabs_vd_vd(vmul_vd_vd_vd(vcast_vd_d(4), x)), vcast_vd_d((double)((int64_t)1 << 52))),
+                                    vmul_vd_vd_vd(vcast_vd_d(4), x),
+                                    __riscv_vfsgnj(vsub_vd_vd_vd(vmla_vd_vd_vd_vd(vcast_vd_d(4), x, c), c), x, VECTLENDP));
+  vdouble rintx  = vsel_vd_vo_vd_vd(vgt_vo_vd_vd(vabs_vd_vd(x), vcast_vd_d((double)((int64_t)1 << 52))),
+                                    x, __riscv_vfsgnj(vsub_vd_vd_vd(vadd_vd_vd_vd(x, c), c), x, VECTLENDP));
+  return disetdi_di_vd_vi(vmla_vd_vd_vd_vd(vcast_vd_d(-0.25), rint4x, x),
+                          __riscv_vfncvt_rtz_x(vmla_vd_vd_vd_vd(vcast_vd_d(-4), rintx, rint4x), VECTLENDP));
+}
+
+// Rempitab table (constants for rempi)
+static const double Sleef_rempitabdp[] = {
+  +0x1.45f306dc9c882p-3, +0x1.4a7f09d5f47d4p-56, +0x1.a6ee06db14accp-109, +0x1.3c439041fe516p-162,
+  +0x1.17cc1b727220ap-5, +0x1.29fc2757d1f52p-58, +0x1.4ddc0db629598p-110, +0x1.3c439041fe516p-162,
+  +0x1.17cc1b727220ap-5, +0x1.29fc2757d1f52p-58, +0x1.4ddc0db629598p-110, +0x1.3c439041fe516p-162,
+  +0x1.7cc1b727220a8p-9, +0x1.4fe13abe8fa9ap-61, +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e3p-169,
+  +0x1.7cc1b727220a8p-9, +0x1.4fe13abe8fa9ap-61, +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e3p-169,
+  +0x1.7cc1b727220a8p-9, +0x1.4fe13abe8fa9ap-61, +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e3p-169,
+  +0x1.7cc1b727220a8p-9, +0x1.4fe13abe8fa9ap-61, +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e3p-169,
+  +0x1.f306dc9c882a4p-11, +0x1.3f84eafa3ea6ap-63, -0x1.11f924eb53362p-117, +0x1.0e4107f9458ebp-172,
+  +0x1.f306dc9c882a4p-11, +0x1.3f84eafa3ea6ap-63, -0x1.11f924eb53362p-117, +0x1.0e4107f9458ebp-172,
+  +0x1.e60db9391054ap-12, +0x1.fc2757d1f534ep-66, -0x1.1f924eb53361ep-121, +0x1.c820ff28b1d5fp-177,
+  +0x1.cc1b727220a94p-13, +0x1.fc2757d1f534ep-66, -0x1.1f924eb53361ep-121, +0x1.c820ff28b1d5fp-177,
+  +0x1.9836e4e44152ap-14, -0x1.ec54170565912p-73, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.306dc9c882a54p-15, -0x1.ec54170565912p-73, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.836e4e44152a0p-18, -0x1.ec54170565912p-73, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.836e4e44152a0p-18, -0x1.ec54170565912p-73, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.836e4e44152a0p-18, -0x1.ec54170565912p-73, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.06dc9c882a540p-19, -0x1.ec54170565912p-73, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.b727220a94fe0p-25, +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.b727220a94fe0p-25, +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.b727220a94fe0p-25, +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.b727220a94fe0p-25, +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.b727220a94fe0p-25, +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.b727220a94fe0p-25, +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7afp-188,
+  +0x1.6e4e441529fc2p-26, +0x1.d5f47d4d37702p-80, +0x1.6d8a5664f10e4p-132, +0x1.07f9458eaf7afp-188,
+  +0x1.b9391054a7f0ap-28, -0x1.505c1596447e4p-83, -0x1.275a99b0ef1bep-136, -0x1.f00d74e2a10a2p-189,
+  +0x1.b9391054a7f0ap-28, -0x1.505c1596447e4p-83, -0x1.275a99b0ef1bep-136, -0x1.f00d74e2a10a2p-189,
+  +0x1.727220a94fe14p-29, -0x1.505c1596447e4p-83, -0x1.275a99b0ef1bep-136, -0x1.f00d74e2a10a2p-189,
+  +0x1.c9c882a53f84ep-31, +0x1.5f47d4d377036p-84, +0x1.b14acc9e21c82p-137, +0x1.fe5163abdebbcp-194,
+  +0x1.c9c882a53f84ep-31, +0x1.5f47d4d377036p-84, +0x1.b14acc9e21c82p-137, +0x1.fe5163abdebbcp-194,
+  +0x1.9391054a7f09cp-32, +0x1.5f47d4d377036p-84, +0x1.b14acc9e21c82p-137, +0x1.fe5163abdebbcp-194,
+  +0x1.27220a94fe13ap-33, +0x1.7d1f534ddc0dap-86, +0x1.6295993c43904p-138, +0x1.fe5163abdebbcp-194,
+  +0x1.391054a7f09d6p-36, -0x1.70565911f924ep-93, -0x1.6a66c3bc6fbe0p-146, -0x1.ae9c5421443aap-202,
+  +0x1.391054a7f09d6p-36, -0x1.70565911f924ep-93, -0x1.6a66c3bc6fbe0p-146, -0x1.ae9c5421443aap-202,
+  +0x1.391054a7f09d6p-36, -0x1.70565911f924ep-93, -0x1.6a66c3bc6fbe0p-146, -0x1.ae9c5421443aap-202,
+  +0x1.c882a53f84eb0p-39, -0x1.70565911f924ep-93, -0x1.6a66c3bc6fbe0p-146, -0x1.ae9c5421443aap-202,
+  +0x1.c882a53f84eb0p-39, -0x1.70565911f924ep-93, -0x1.6a66c3bc6fbe0p-146, -0x1.ae9c5421443aap-202,
+  +0x1.c882a53f84eb0p-39, -0x1.70565911f924ep-93, -0x1.6a66c3bc6fbe0p-146, -0x1.ae9c5421443aap-202,
+  +0x1.91054a7f09d5ep-40, +0x1.47d4d377036d8p-92, +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202,
+  +0x1.220a94fe13abep-41, +0x1.1f534ddc0db62p-94, +0x1.2b32788720840p-147, -0x1.ae9c5421443aap-202,
+  +0x1.1054a7f09d5f4p-44, +0x1.f534ddc0db628p-98, +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204,
+  +0x1.1054a7f09d5f4p-44, +0x1.f534ddc0db628p-98, +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204,
+  +0x1.1054a7f09d5f4p-44, +0x1.f534ddc0db628p-98, +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204,
+  +0x1.054a7f09d5f48p-48, -0x1.596447e493ad4p-103, -0x1.9b0ef1bef806cp-156, +0x1.63abdebbc561bp-210,
+  +0x1.054a7f09d5f48p-48, -0x1.596447e493ad4p-103, -0x1.9b0ef1bef806cp-156, +0x1.63abdebbc561bp-210,
+  +0x1.054a7f09d5f48p-48, -0x1.596447e493ad4p-103, -0x1.9b0ef1bef806cp-156, +0x1.63abdebbc561bp-210,
+  +0x1.054a7f09d5f48p-48, -0x1.596447e493ad4p-103, -0x1.9b0ef1bef806cp-156, +0x1.63abdebbc561bp-210,
+  +0x1.529fc2757d1f4p-54, +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e49p-214,
+  +0x1.529fc2757d1f4p-54, +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e49p-214,
+  +0x1.529fc2757d1f4p-54, +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e49p-214,
+  +0x1.529fc2757d1f4p-54, +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e49p-214,
+  +0x1.529fc2757d1f4p-54, +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e49p-214,
+  +0x1.529fc2757d1f4p-54, +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e49p-214,
+  +0x1.4a7f09d5f47d4p-56, +0x1.a6ee06db14accp-109, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db9p-217,
+  +0x1.4a7f09d5f47d4p-56, +0x1.a6ee06db14accp-109, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db9p-217,
+  +0x1.29fc2757d1f52p-58, +0x1.4ddc0db629598p-110, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db9p-217,
+  +0x1.29fc2757d1f52p-58, +0x1.4ddc0db629598p-110, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db9p-217,
+  +0x1.4fe13abe8fa9ap-61, +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e2p-169, -0x1.421443a9e48dcp-222,
+  +0x1.4fe13abe8fa9ap-61, +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e2p-169, -0x1.421443a9e48dcp-222,
+  +0x1.4fe13abe8fa9ap-61, +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e2p-169, -0x1.421443a9e48dcp-222,
+  +0x1.3f84eafa3ea6ap-63, -0x1.11f924eb53362p-117, +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db923p-225,
+  +0x1.3f84eafa3ea6ap-63, -0x1.11f924eb53362p-117, +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db923p-225,
+  +0x1.fc2757d1f534ep-66, -0x1.1f924eb53361ep-121, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230,
+  +0x1.fc2757d1f534ep-66, -0x1.1f924eb53361ep-121, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230,
+  +0x1.fc2757d1f534ep-66, -0x1.1f924eb53361ep-121, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230,
+  +0x1.f84eafa3ea69cp-67, -0x1.1f924eb53361ep-121, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230,
+  +0x1.f09d5f47d4d36p-68, +0x1.7036d8a5664f0p-120, +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db923p-225,
+  +0x1.e13abe8fa9a6ep-69, +0x1.c0db6295993c4p-122, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230,
+  +0x1.c2757d1f534dep-70, -0x1.f924eb53361dep-125, -0x1.bef806ba71508p-180, -0x1.443a9e48db91cp-234,
+  +0x1.84eafa3ea69bcp-71, -0x1.f924eb53361dep-125, -0x1.bef806ba71508p-180, -0x1.443a9e48db91cp-234,
+  +0x1.09d5f47d4d376p-72, +0x1.036d8a5664f10p-124, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230,
+  +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.3abe8fa9a6ee0p-77, +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.d5f47d4d37702p-80, +0x1.6d8a5664f10e4p-132, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.d5f47d4d37702p-80, +0x1.6d8a5664f10e4p-132, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.d5f47d4d37702p-80, +0x1.6d8a5664f10e4p-132, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.abe8fa9a6ee06p-81, +0x1.b6295993c4390p-134, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241,
+  +0x1.57d1f534ddc0ep-82, -0x1.275a99b0ef1bep-136, -0x1.f00d74e2a10a2p-189, -0x1.d4f246dc8e2dfp-245,
+  +0x1.5f47d4d377036p-84, +0x1.b14acc9e21c82p-137, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e909p-248,
+  +0x1.5f47d4d377036p-84, +0x1.b14acc9e21c82p-137, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e909p-248,
+  +0x1.7d1f534ddc0dap-86, +0x1.6295993c43904p-138, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e909p-248,
+  +0x1.7d1f534ddc0dap-86, +0x1.6295993c43904p-138, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e909p-248,
+  +0x1.f47d4d377036ep-88, -0x1.d6a66c3bc6fbep-142, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424ddp-258,
+  +0x1.f47d4d377036ep-88, -0x1.d6a66c3bc6fbep-142, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424ddp-258,
+  +0x1.e8fa9a6ee06dap-89, +0x1.14acc9e21c820p-141, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e909p-248,
+  +0x1.d1f534ddc0db6p-90, +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424ddp-258,
+  +0x1.a3ea69bb81b6cp-91, +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424ddp-258,
+  +0x1.47d4d377036d8p-92, +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424ddp-258,
+  +0x1.1f534ddc0db62p-94, +0x1.2b32788720840p-147, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424ddp-258,
+  +0x1.1f534ddc0db62p-94, +0x1.2b32788720840p-147, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424ddp-258,
+  +0x1.f534ddc0db628p-98, +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424ddp-258,
+  +0x1.f534ddc0db628p-98, +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424ddp-258,
+  +0x1.f534ddc0db628p-98, +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424ddp-258,
+  +0x1.f534ddc0db628p-98, +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424ddp-258,
+  +0x1.ea69bb81b6c52p-99, +0x1.664f10e4107f8p-152, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424ddp-258,
+  +0x1.d4d377036d8a4p-100, +0x1.664f10e4107f8p-152, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424ddp-258,
+  +0x1.a9a6ee06db14ap-101, +0x1.993c439041fe4p-154, +0x1.163abdebbc562p-206, -0x1.236e4716f6c8bp-260,
+  +0x1.534ddc0db6296p-102, -0x1.9b0ef1bef806cp-156, +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd3p-262,
+  +0x1.4d377036d8a56p-104, +0x1.93c439041fe50p-158, +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd3p-262,
+  +0x1.4d377036d8a56p-104, +0x1.93c439041fe50p-158, +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd3p-262,
+  +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e48p-214, -0x1.b7238b7b645a4p-267,
+  +0x1.34ddc0db6295ap-106, -0x1.b0ef1bef806bap-160, -0x1.c5421443a9e48p-214, -0x1.b7238b7b645a4p-267,
+  +0x1.a6ee06db14accp-109, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269,
+  +0x1.a6ee06db14accp-109, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269,
+  +0x1.a6ee06db14accp-109, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269,
+  +0x1.4ddc0db629598p-110, +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269,
+  +0x1.377036d8a5664p-112, +0x1.e21c820ff28b2p-165, -0x1.508510ea79236p-220, -0x1.c8e2ded916900p-273,
+  +0x1.377036d8a5664p-112, +0x1.e21c820ff28b2p-165, -0x1.508510ea79236p-220, -0x1.c8e2ded916900p-273,
+  +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e2p-169, -0x1.421443a9e48dcp-222, +0x1.b8e909374b802p-276,
+  +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e2p-169, -0x1.421443a9e48dcp-222, +0x1.b8e909374b802p-276,
+  +0x1.bb81b6c52b328p-115, -0x1.de37df00d74e2p-169, -0x1.421443a9e48dcp-222, +0x1.b8e909374b802p-276,
+  +0x1.77036d8a5664ep-116, +0x1.10e4107f9458ep-168, +0x1.5ef5de2b0db92p-221, +0x1.b8e909374b802p-276,
+  +0x1.dc0db6295993cp-118, +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97003p-277,
+  +0x1.dc0db6295993cp-118, +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97003p-277,
+  +0x1.b81b6c52b3278p-119, +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97003p-277,
+  +0x1.7036d8a5664f0p-120, +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97003p-277,
+  +0x1.c0db6295993c4p-122, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700325p-285,
+  +0x1.c0db6295993c4p-122, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700325p-285,
+  +0x1.81b6c52b32788p-123, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700325p-285,
+  +0x1.036d8a5664f10p-124, +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700325p-285,
+  +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6c52b3278872p-131, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.6d8a5664f10e4p-132, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6295993c4390p-134, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b6295993c4390p-134, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.6c52b32788720p-135, +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324977p-297,
+  +0x1.b14acc9e21c82p-137, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbbp-300,
+  +0x1.b14acc9e21c82p-137, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbbp-300,
+  +0x1.6295993c43904p-138, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbbp-300,
+  +0x1.8a5664f10e410p-140, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbbp-300,
+  +0x1.8a5664f10e410p-140, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbbp-300,
+  +0x1.14acc9e21c820p-141, +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbbp-300,
+  +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.4acc9e21c8210p-145, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.2b32788720840p-147, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.2b32788720840p-147, -0x1.ae9c5421443aap-202, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.5993c439041fep-150, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.664f10e4107f8p-152, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.664f10e4107f8p-152, +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310,
+  +0x1.993c439041fe4p-154, +0x1.163abdebbc562p-206, -0x1.236e4716f6c8ap-260, -0x1.47fe6db4457d9p-312,
+  +0x1.993c439041fe4p-154, +0x1.163abdebbc562p-206, -0x1.236e4716f6c8ap-260, -0x1.47fe6db4457d9p-312,
+  +0x1.3278872083fcap-155, +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315,
+  +0x1.93c439041fe50p-158, +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315,
+  +0x1.93c439041fe50p-158, +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315,
+  +0x1.93c439041fe50p-158, +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315,
+  +0x1.278872083fca2p-159, +0x1.8eaf7aef1586ep-212, -0x1.b7238b7b645a4p-267, +0x1.924bba8274648p-328,
+  +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328,
+  +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328,
+  +0x1.3c439041fe516p-162, +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328,
+  +0x1.e21c820ff28b2p-165, -0x1.508510ea79236p-220, -0x1.c8e2ded916900p-273, +0x1.924bba8274648p-328,
+  +0x1.e21c820ff28b2p-165, -0x1.508510ea79236p-220, -0x1.c8e2ded916900p-273, +0x1.924bba8274648p-328,
+  +0x1.e21c820ff28b2p-165, -0x1.508510ea79236p-220, -0x1.c8e2ded916900p-273, +0x1.924bba8274648p-328,
+  +0x1.c439041fe5164p-166, -0x1.508510ea79236p-220, -0x1.c8e2ded916900p-273, +0x1.924bba8274648p-328,
+  +0x1.8872083fca2c6p-167, +0x1.57bd778ac36e4p-219, +0x1.1b8e909374b80p-272, +0x1.924bba8274648p-328,
+  +0x1.10e4107f9458ep-168, +0x1.5ef5de2b0db92p-221, +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330,
+  +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97002p-277, +0x1.24977504e8c91p-329,
+  +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97002p-277, +0x1.24977504e8c91p-329,
+  +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97002p-277, +0x1.24977504e8c91p-329,
+  +0x1.0e4107f9458eap-172, +0x1.ef5de2b0db922p-225, +0x1.71d2126e97002p-277, +0x1.24977504e8c91p-329,
+  +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338,
+  +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338,
+  +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338,
+  +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338,
+  +0x1.c820ff28b1d5ep-177, +0x1.ebbc561b7246ep-230, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338,
+  +0x1.9041fe5163abep-178, -0x1.443a9e48db91cp-234, -0x1.6f6c8b47fe6dap-288, -0x1.4457d8b9b78c0p-340,
+  +0x1.2083fca2c757cp-179, -0x1.443a9e48db91cp-234, -0x1.6f6c8b47fe6dap-288, -0x1.4457d8b9b78c0p-340,
+  +0x1.041fe5163abdep-182, +0x1.778ac36e48dc6p-235, +0x1.4849ba5c00c92p-287, +0x1.77504e8c90e7fp-341,
+  +0x1.041fe5163abdep-182, +0x1.778ac36e48dc6p-235, +0x1.4849ba5c00c92p-287, +0x1.77504e8c90e7fp-341,
+  +0x1.041fe5163abdep-182, +0x1.778ac36e48dc6p-235, +0x1.4849ba5c00c92p-287, +0x1.77504e8c90e7fp-341,
+  +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0fp-349,
+  +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0fp-349,
+  +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0fp-349,
+  +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0fp-349,
+  +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0fp-349,
+  +0x1.07f9458eaf7aep-188, +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0fp-349,
+  +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.fe5163abdebbcp-194, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.fca2c757bd778p-195, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.f9458eaf7aef0p-196, +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0efp-353,
+  +0x1.f28b1d5ef5de2p-197, +0x1.61b7246e3a424p-250, +0x1.ba5c00c925dd4p-303, +0x1.3a32439fc3bd6p-359,
+  +0x1.e5163abdebbc4p-198, +0x1.61b7246e3a424p-250, +0x1.ba5c00c925dd4p-303, +0x1.3a32439fc3bd6p-359,
+  +0x1.ca2c757bd778ap-199, +0x1.86dc91b8e9092p-252, +0x1.74b801924bba8p-304, +0x1.3a32439fc3bd6p-359,
+  +0x1.9458eaf7aef16p-200, -0x1.e48db91c5bdb2p-254, -0x1.68ffcdb688afap-309, -0x1.1736f180f10a7p-361,
+  +0x1.28b1d5ef5de2ap-201, +0x1.0db92371d2126p-253, +0x1.d2e006492eea0p-306, +0x1.3a32439fc3bd6p-359,
+  +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365,
+  +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365,
+  +0x1.458eaf7aef158p-204, +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365,
+  +0x1.163abdebbc562p-206, -0x1.236e4716f6c8ap-260, -0x1.47fe6db4457d8p-312, -0x1.736f180f10a72p-365,
+  +0x1.163abdebbc562p-206, -0x1.236e4716f6c8ap-260, -0x1.47fe6db4457d8p-312, -0x1.736f180f10a72p-365,
+  +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315, +0x1.921cfe1deb1cbp-370,
+  +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315, +0x1.921cfe1deb1cbp-370,
+  +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315, +0x1.921cfe1deb1cbp-370,
+  +0x1.63abdebbc561ap-210, +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315, +0x1.921cfe1deb1cbp-370,
+  +0x1.8eaf7aef1586ep-212, -0x1.b7238b7b645a4p-267, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.8eaf7aef1586ep-212, -0x1.b7238b7b645a4p-267, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.1d5ef5de2b0dcp-213, -0x1.b7238b7b645a4p-267, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.d5ef5de2b0db8p-217, +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.abdebbc561b72p-218, +0x1.1b8e909374b80p-272, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.57bd778ac36e4p-219, +0x1.1b8e909374b80p-272, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382,
+  +0x1.5ef5de2b0db92p-221, +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b3p-385,
+  +0x1.5ef5de2b0db92p-221, +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b3p-385,
+  +0x1.7bd778ac36e48p-223, +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b3p-385,
+  +0x1.7bd778ac36e48p-223, +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b3p-385,
+  +0x1.ef5de2b0db922p-225, +0x1.71d2126e97002p-277, +0x1.24977504e8c90p-329, +0x1.cfe1deb1cb12ap-382,
+  +0x1.ef5de2b0db922p-225, +0x1.71d2126e97002p-277, +0x1.24977504e8c90p-329, +0x1.cfe1deb1cb12ap-382,
+  +0x1.debbc561b7246p-226, +0x1.c74849ba5c00cp-279, +0x1.24bba82746486p-332, +0x1.3f877ac72c4a7p-384,
+  +0x1.bd778ac36e48ep-227, -0x1.c5bdb22d1ff9ap-282, -0x1.6d115f62e6de2p-334, -0x1.01e214e34ed66p-386,
+  +0x1.7aef1586dc91cp-228, -0x1.c5bdb22d1ff9ap-282, -0x1.6d115f62e6de2p-334, -0x1.01e214e34ed66p-386,
+  +0x1.ebbc561b7246ep-230, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394,
+  +0x1.ebbc561b7246ep-230, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394,
+  +0x1.d778ac36e48dcp-231, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394,
+  +0x1.aef1586dc91b8p-232, +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394,
+  +0x1.5de2b0db92372p-233, -0x1.6f6c8b47fe6dap-288, -0x1.4457d8b9b78c0p-340, -0x1.e214e34ed658cp-394,
+  +0x1.778ac36e48dc6p-235, +0x1.4849ba5c00c92p-287, +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393,
+  +0x1.778ac36e48dc6p-235, +0x1.4849ba5c00c92p-287, +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393,
+  +0x1.de2b0db92371cp-237, +0x1.2126e97003248p-289, +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393,
+  +0x1.de2b0db92371cp-237, +0x1.2126e97003248p-289, +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393,
+  +0x1.bc561b7246e3ap-238, +0x1.09374b801924cp-292, -0x1.15f62e6de301ep-346, -0x1.0a71a76b2c609p-401,
+  +0x1.78ac36e48dc74p-239, +0x1.09374b801924cp-292, -0x1.15f62e6de301ep-346, -0x1.0a71a76b2c609p-401,
+  +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73efp-402,
+  +0x1.e2b0db92371d2p-241, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73efp-402,
+  +0x1.c561b7246e3a4p-242, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73efp-402,
+  +0x1.8ac36e48dc748p-243, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73efp-402,
+  +0x1.1586dc91b8e90p-244, +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73efp-402,
+  +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405,
+  +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405,
+  +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405,
+  +0x1.586dc91b8e908p-248, +0x1.374b801924bbap-300, +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405,
+  +0x1.61b7246e3a424p-250, +0x1.ba5c00c925dd4p-303, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414,
+  +0x1.61b7246e3a424p-250, +0x1.ba5c00c925dd4p-303, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414,
+  +0x1.86dc91b8e9092p-252, +0x1.74b801924bba8p-304, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414,
+  +0x1.86dc91b8e9092p-252, +0x1.74b801924bba8p-304, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414,
+  +0x1.0db92371d2126p-253, +0x1.d2e006492eea0p-306, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414,
+  +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365, +0x1.62534e7dd1047p-419,
+  +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365, +0x1.62534e7dd1047p-419,
+  +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365, +0x1.62534e7dd1047p-419,
+  +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365, +0x1.62534e7dd1047p-419,
+  +0x1.b7246e3a424dcp-258, +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365, +0x1.62534e7dd1047p-419,
+  +0x1.6e48dc74849bap-259, +0x1.700324977504ep-313, +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1047p-419,
+  +0x1.b92371d2126e8p-261, +0x1.700324977504ep-313, +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1047p-419,
+  +0x1.b92371d2126e8p-261, +0x1.700324977504ep-313, +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1047p-419,
+  +0x1.7246e3a424dd2p-262, +0x1.c00c925dd413ap-315, +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422,
+  +0x1.c91b8e909374cp-264, -0x1.ff9b6d115f62ep-318, -0x1.b78c0788538d4p-372, +0x1.29a73ee88235fp-426,
+  +0x1.c91b8e909374cp-264, -0x1.ff9b6d115f62ep-318, -0x1.b78c0788538d4p-372, +0x1.29a73ee88235fp-426,
+  +0x1.92371d2126e96p-265, +0x1.00324977504e8p-317, +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422,
+  +0x1.246e3a424dd2ep-266, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.2371d2126e970p-269, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.1b8e909374b80p-272, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.1b8e909374b80p-272, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.1b8e909374b80p-272, +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b2p-385, -0x1.8c1177dca0ad1p-438,
+  +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b2p-385, -0x1.8c1177dca0ad1p-438,
+  +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b2p-385, -0x1.8c1177dca0ad1p-438,
+  +0x1.b8e909374b802p-276, -0x1.b6d115f62e6dep-330, -0x1.80f10a71a76b2p-385, -0x1.8c1177dca0ad1p-438,
+  +0x1.71d2126e97002p-277, +0x1.24977504e8c90p-329, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436,
+  +0x1.c74849ba5c00cp-279, +0x1.24bba82746486p-332, +0x1.3f877ac72c4a6p-384, +0x1.39f74411afa97p-437,
+  +0x1.c74849ba5c00cp-279, +0x1.24bba82746486p-332, +0x1.3f877ac72c4a6p-384, +0x1.39f74411afa97p-437,
+  +0x1.8e909374b8018p-280, +0x1.24bba82746486p-332, +0x1.3f877ac72c4a6p-384, +0x1.39f74411afa97p-437,
+  +0x1.1d2126e970032p-281, +0x1.25dd413a3243ap-335, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450,
+  +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450,
+  +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450,
+  +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450,
+  +0x1.d2126e9700324p-285, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450,
+  +0x1.a424dd2e00648p-286, +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450,
+  +0x1.4849ba5c00c92p-287, +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393, -0x1.177dca0ad144cp-450,
+  +0x1.2126e97003248p-289, +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393, -0x1.177dca0ad144cp-450,
+  +0x1.2126e97003248p-289, +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393, -0x1.177dca0ad144cp-450,
+  +0x1.09374b801924cp-292, -0x1.15f62e6de301ep-346, -0x1.0a71a76b2c608p-401, -0x1.77dca0ad144bbp-454,
+  +0x1.09374b801924cp-292, -0x1.15f62e6de301ep-346, -0x1.0a71a76b2c608p-401, -0x1.77dca0ad144bbp-454,
+  +0x1.09374b801924cp-292, -0x1.15f62e6de301ep-346, -0x1.0a71a76b2c608p-401, -0x1.77dca0ad144bbp-454,
+  +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7689p-455,
+  +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7689p-455,
+  +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7689p-455,
+  +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7689p-455,
+  +0x1.26e9700324976p-297, +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7689p-455,
+  +0x1.374b801924bbap-300, +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405, +0x1.046bea5d76891p-459,
+  +0x1.374b801924bbap-300, +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405, +0x1.046bea5d76891p-459,
+  +0x1.374b801924bbap-300, +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405, +0x1.046bea5d76891p-459,
+  +0x1.ba5c00c925dd4p-303, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24275p-469,
+  +0x1.ba5c00c925dd4p-303, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24275p-469,
+  +0x1.ba5c00c925dd4p-303, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24275p-469,
+  +0x1.74b801924bba8p-304, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24275p-469,
+  +0x1.d2e006492eea0p-306, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24275p-469,
+  +0x1.d2e006492eea0p-306, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24275p-469,
+  +0x1.a5c00c925dd40p-307, +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24275p-469,
+  +0x1.4b801924bba82p-308, +0x1.d1921cfe1deb2p-362, -0x1.a76b2c608bbeep-417, -0x1.415a28976f62dp-471,
+  +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365, +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472,
+  +0x1.2e006492eea0ap-310, -0x1.736f180f10a72p-365, +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472,
+  +0x1.700324977504ep-313, +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472,
+  +0x1.700324977504ep-313, +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472,
+  +0x1.700324977504ep-313, +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472,
+  +0x1.c00c925dd413ap-315, +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc7p-479,
+  +0x1.c00c925dd413ap-315, +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc7p-479,
+  +0x1.801924bba8274p-316, +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc7p-479,
+  +0x1.00324977504e8p-317, +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc7p-479,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.924bba8274648p-328, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.24977504e8c90p-329, +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490,
+  +0x1.24bba82746486p-332, +0x1.3f877ac72c4a6p-384, +0x1.39f74411afa96p-437, +0x1.5da24274ce381p-489,
+  +0x1.24bba82746486p-332, +0x1.3f877ac72c4a6p-384, +0x1.39f74411afa96p-437, +0x1.5da24274ce381p-489,
+  +0x1.24bba82746486p-332, +0x1.3f877ac72c4a6p-384, +0x1.39f74411afa96p-437, +0x1.5da24274ce381p-489,
+  +0x1.25dd413a3243ap-335, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.25dd413a3243ap-335, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.25dd413a3243ap-335, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.2eea09d1921d0p-338, -0x1.e214e34ed658cp-394, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.77504e8c90e7ep-341, +0x1.0ef58e5894d3ap-393, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad1p-504,
+  +0x1.dd413a32439fcp-343, +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad1p-504,
+  +0x1.dd413a32439fcp-343, +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad1p-504,
+  +0x1.ba827464873f8p-344, +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad1p-504,
+  +0x1.7504e8c90e7f0p-345, +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad1p-504,
+  +0x1.d413a32439fc4p-347, -0x1.0a71a76b2c608p-401, -0x1.77dca0ad144bap-454, -0x1.7b16638fd94bap-506,
+  +0x1.d413a32439fc4p-347, -0x1.0a71a76b2c608p-401, -0x1.77dca0ad144bap-454, -0x1.7b16638fd94bap-506,
+  +0x1.a827464873f86p-348, +0x1.7ac72c4a69cfcp-400, -0x1.77dca0ad144bap-454, -0x1.7b16638fd94bap-506,
+  +0x1.504e8c90e7f0ep-349, +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7688p-455, +0x1.09d338e04d68cp-507,
+  +0x1.413a32439fc3cp-351, -0x1.4e34ed658c116p-406, -0x1.7dca0ad144bb8p-458, +0x1.3a671c09ad17ep-512,
+  +0x1.413a32439fc3cp-351, -0x1.4e34ed658c116p-406, -0x1.7dca0ad144bb8p-458, +0x1.3a671c09ad17ep-512,
+  +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405, +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512,
+  +0x1.04e8c90e7f0eep-353, +0x1.58e5894d39f74p-405, +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512,
+  +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522,
+  +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522,
+  +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522,
+  +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522,
+  +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522,
+  +0x1.3a32439fc3bd6p-359, +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522,
+  +0x1.d1921cfe1deb2p-362, -0x1.a76b2c608bbeep-417, -0x1.415a28976f62cp-471, -0x1.8e3f652e82070p-524,
+  +0x1.d1921cfe1deb2p-362, -0x1.a76b2c608bbeep-417, -0x1.415a28976f62cp-471, -0x1.8e3f652e82070p-524,
+  +0x1.d1921cfe1deb2p-362, -0x1.a76b2c608bbeep-417, -0x1.415a28976f62cp-471, -0x1.8e3f652e82070p-524,
+  +0x1.a32439fc3bd64p-363, -0x1.a76b2c608bbeep-417, -0x1.415a28976f62cp-471, -0x1.8e3f652e82070p-524,
+  +0x1.464873f877ac6p-364, +0x1.2c4a69cfba208p-416, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522,
+  +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472, +0x1.c7026b45f7e41p-526,
+  +0x1.1921cfe1deb1cp-366, +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472, +0x1.c7026b45f7e41p-526,
+  +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc6p-479, -0x1.1fb29741037d9p-531,
+  +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc6p-479, -0x1.1fb29741037d9p-531,
+  +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc6p-479, -0x1.1fb29741037d9p-531,
+  +0x1.921cfe1deb1cap-370, +0x1.129a73ee88236p-422, -0x1.5a28976f62cc6p-479, -0x1.1fb29741037d9p-531,
+  +0x1.2439fc3bd6396p-371, +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532,
+  +0x1.21cfe1deb1cb0p-374, +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532,
+  +0x1.21cfe1deb1cb0p-374, +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532,
+  +0x1.21cfe1deb1cb0p-374, +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532,
+  +0x1.0e7f0ef58e588p-377, +0x1.4d39f74411afap-429, +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534,
+  +0x1.0e7f0ef58e588p-377, +0x1.4d39f74411afap-429, +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534,
+  +0x1.0e7f0ef58e588p-377, +0x1.4d39f74411afap-429, +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534,
+  +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490, +0x1.ad17df904e647p-544,
+  +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490, +0x1.ad17df904e647p-544,
+  +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490, +0x1.ad17df904e647p-544,
+  +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490, +0x1.ad17df904e647p-544,
+  +0x1.cfe1deb1cb12ap-382, -0x1.63045df7282b4p-436, -0x1.44bb7b16638fep-490, +0x1.ad17df904e647p-544,
+  +0x1.9fc3bd6396252p-383, +0x1.4e7dd1046bea6p-435, -0x1.44bb7b16638fep-490, +0x1.ad17df904e647p-544,
+  +0x1.3f877ac72c4a6p-384, +0x1.39f74411afa96p-437, +0x1.5da24274ce380p-489, +0x1.35a2fbf209cc9p-541,
+  +0x1.fc3bd63962534p-387, +0x1.cfba208d7d4bap-440, +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8fp-545,
+  +0x1.fc3bd63962534p-387, +0x1.cfba208d7d4bap-440, +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8fp-545,
+  +0x1.fc3bd63962534p-387, +0x1.cfba208d7d4bap-440, +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8fp-545,
+  +0x1.f877ac72c4a6ap-388, -0x1.822efb9415a28p-443, -0x1.2edec598e3f64p-496, -0x1.2e8206fb19b8ap-548,
+  +0x1.f0ef58e5894d4p-389, -0x1.822efb9415a28p-443, -0x1.2edec598e3f64p-496, -0x1.2e8206fb19b8ap-548,
+  +0x1.e1deb1cb129a6p-390, +0x1.3ee88235f52ecp-442, -0x1.2edec598e3f64p-496, -0x1.2e8206fb19b8ap-548,
+  +0x1.c3bd63962534ep-391, +0x1.f74411afa975ep-445, -0x1.76f62cc71fb28p-499, -0x1.741037d8cdc54p-551,
+  +0x1.877ac72c4a69cp-392, +0x1.f74411afa975ep-445, -0x1.76f62cc71fb28p-499, -0x1.741037d8cdc54p-551,
+  +0x1.0ef58e5894d3ap-393, -0x1.177dca0ad144cp-450, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556,
+  +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556,
+  +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556,
+  +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556,
+  +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556,
+  +0x1.deb1cb129a73ep-398, +0x1.d1046bea5d768p-451, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556,
+  +0x1.bd63962534e7ep-399, -0x1.77dca0ad144bap-454, -0x1.7b16638fd94bap-506, -0x1.037d8cdc538d0p-563,
+  +0x1.7ac72c4a69cfcp-400, -0x1.77dca0ad144bap-454, -0x1.7b16638fd94bap-506, -0x1.037d8cdc538d0p-563,
+  +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7688p-455, +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563,
+  +0x1.eb1cb129a73eep-402, +0x1.1046bea5d7688p-455, +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563,
+  +0x1.d63962534e7dcp-403, +0x1.1046bea5d7688p-455, +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563,
+  +0x1.ac72c4a69cfbap-404, +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cbp-570,
+  +0x1.58e5894d39f74p-405, +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cbp-570,
+  +0x1.63962534e7dd0p-407, +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cbp-570,
+  +0x1.63962534e7dd0p-407, +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cbp-570,
+  +0x1.8e5894d39f744p-409, +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1bp-569,
+  +0x1.8e5894d39f744p-409, +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1bp-569,
+  +0x1.1cb129a73ee88p-410, +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1bp-569,
+  +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578,
+  +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578,
+  +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578,
+  +0x1.cb129a73ee882p-414, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578,
+  +0x1.962534e7dd104p-415, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578,
+  +0x1.2c4a69cfba208p-416, +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578,
+  +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472, +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578,
+  +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472, +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578,
+  +0x1.62534e7dd1046p-419, +0x1.7d4baed1213a6p-472, +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578,
+  +0x1.894d39f74411ap-421, +0x1.f52ebb4484e9ap-474, -0x1.c7eca5d040df6p-529, -0x1.9b8a719f2b318p-584,
+  +0x1.894d39f74411ap-421, +0x1.f52ebb4484e9ap-474, -0x1.c7eca5d040df6p-529, -0x1.9b8a719f2b318p-584,
+  +0x1.129a73ee88236p-422, -0x1.5a28976f62cc6p-479, -0x1.1fb29741037d8p-531, -0x1.9b8a719f2b318p-584,
+  +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532, +0x1.91d639835339fp-586,
+  +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532, +0x1.91d639835339fp-586,
+  +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532, +0x1.91d639835339fp-586,
+  +0x1.29a73ee88235ep-426, +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532, +0x1.91d639835339fp-586,
+  +0x1.4d39f74411afap-429, +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534, -0x1.b8a719f2b3183p-588,
+  +0x1.4d39f74411afap-429, +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534, -0x1.b8a719f2b3183p-588,
+  +0x1.4d39f74411afap-429, +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534, -0x1.b8a719f2b3183p-588,
+  +0x1.34e7dd1046beap-431, +0x1.75da24274ce38p-485, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594,
+  +0x1.34e7dd1046beap-431, +0x1.75da24274ce38p-485, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594,
+  +0x1.a73ee88235f52p-434, +0x1.d768909d338e0p-487, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594,
+  +0x1.a73ee88235f52p-434, +0x1.d768909d338e0p-487, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594,
+  +0x1.a73ee88235f52p-434, +0x1.d768909d338e0p-487, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594,
+  +0x1.4e7dd1046bea6p-435, -0x1.44bb7b16638fep-490, +0x1.ad17df904e646p-544, +0x1.58e60d4ce7d27p-596,
+  +0x1.39f74411afa96p-437, +0x1.5da24274ce380p-489, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594,
+  +0x1.39f74411afa96p-437, +0x1.5da24274ce380p-489, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594,
+  +0x1.cfba208d7d4bap-440, +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8ep-545, +0x1.639835339f49dp-598,
+  +0x1.cfba208d7d4bap-440, +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8ep-545, +0x1.639835339f49dp-598,
+  +0x1.cfba208d7d4bap-440, +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8ep-545, +0x1.639835339f49dp-598,
+  +0x1.9f74411afa976p-441, -0x1.2edec598e3f64p-496, -0x1.2e8206fb19b8ap-548, -0x1.c67cacc60b638p-602,
+  +0x1.3ee88235f52ecp-442, -0x1.2edec598e3f64p-496, -0x1.2e8206fb19b8ap-548, -0x1.c67cacc60b638p-602,
+  +0x1.f74411afa975ep-445, -0x1.76f62cc71fb28p-499, -0x1.741037d8cdc54p-551, +0x1.cc1a99cfa4e42p-605,
+  +0x1.f74411afa975ep-445, -0x1.76f62cc71fb28p-499, -0x1.741037d8cdc54p-551, +0x1.cc1a99cfa4e42p-605,
+  +0x1.f74411afa975ep-445, -0x1.76f62cc71fb28p-499, -0x1.741037d8cdc54p-551, +0x1.cc1a99cfa4e42p-605,
+  +0x1.ee88235f52ebap-446, +0x1.4484e99c7026ap-498, +0x1.45f7e413991d6p-550, +0x1.cc1a99cfa4e42p-605,
+  +0x1.dd1046bea5d76p-447, +0x1.1213a671c09acp-500, +0x1.17df904e64758p-552, +0x1.cc1a99cfa4e42p-605,
+  +0x1.ba208d7d4baecp-448, +0x1.1213a671c09acp-500, +0x1.17df904e64758p-552, +0x1.cc1a99cfa4e42p-605,
+  +0x1.74411afa975dap-449, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610,
+  +0x1.d1046bea5d768p-451, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610,
+  +0x1.d1046bea5d768p-451, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610,
+  +0x1.a208d7d4baed0p-452, +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610,
+  +0x1.4411afa975da2p-453, +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563, +0x1.a99cfa4e422fcp-617,
+  +0x1.1046bea5d7688p-455, +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563, +0x1.a99cfa4e422fcp-617,
+  +0x1.1046bea5d7688p-455, +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563, +0x1.a99cfa4e422fcp-617,
+  +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e9p-623,
+  +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e9p-623,
+  +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e9p-623,
+  +0x1.046bea5d76890p-459, +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e9p-623,
+  +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622,
+  +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622,
+  +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622,
+  +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622,
+  +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622,
+  +0x1.1afa975da2426p-465, +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622,
+  +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632,
+  +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632,
+  +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632,
+  +0x1.afa975da24274p-469, +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632,
+  +0x1.5f52ebb4484eap-470, -0x1.8e3f652e82070p-524, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632,
+  +0x1.7d4baed1213a6p-472, +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632,
+  +0x1.7d4baed1213a6p-472, +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632,
+  +0x1.f52ebb4484e9ap-474, -0x1.c7eca5d040df6p-529, -0x1.9b8a719f2b318p-584, -0x1.6c6f740e8840ep-639,
+  +0x1.f52ebb4484e9ap-474, -0x1.c7eca5d040df6p-529, -0x1.9b8a719f2b318p-584, -0x1.6c6f740e8840ep-639,
+  +0x1.ea5d768909d34p-475, -0x1.c7eca5d040df6p-529, -0x1.9b8a719f2b318p-584, -0x1.6c6f740e8840ep-639,
+  +0x1.d4baed1213a66p-476, +0x1.1c09ad17df904p-528, +0x1.cc8eb1cc1a99cp-581, +0x1.f49c845f8bbe0p-634,
+  +0x1.a975da24274cep-477, +0x1.c09ad17df904ep-532, +0x1.91d639835339ep-586, +0x1.49c845f8bbdf9p-638,
+  +0x1.52ebb4484e99cp-478, +0x1.c09ad17df904ep-532, +0x1.91d639835339ep-586, +0x1.49c845f8bbdf9p-638,
+  +0x1.4baed1213a672p-480, -0x1.fb29741037d8cp-535, -0x1.b8a719f2b3182p-588, -0x1.b1bdd03a21037p-641,
+  +0x1.4baed1213a672p-480, -0x1.fb29741037d8cp-535, -0x1.b8a719f2b3182p-588, -0x1.b1bdd03a21037p-641,
+  +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534, -0x1.b8a719f2b3182p-588, -0x1.b1bdd03a21037p-641,
+  +0x1.2ebb4484e99c6p-482, +0x1.026b45f7e413ap-534, -0x1.b8a719f2b3182p-588, -0x1.b1bdd03a21037p-641,
+  +0x1.75da24274ce38p-485, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649,
+  +0x1.75da24274ce38p-485, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649,
+  +0x1.75da24274ce38p-485, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649,
+  +0x1.d768909d338e0p-487, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649,
+  +0x1.d768909d338e0p-487, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649,
+  +0x1.aed1213a671c0p-488, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649,
+  +0x1.5da24274ce380p-489, +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649,
+  +0x1.768909d338e04p-491, +0x1.ad17df904e646p-544, +0x1.58e60d4ce7d26p-596, +0x1.2117e2ef7e4a1p-648,
+  +0x1.768909d338e04p-491, +0x1.ad17df904e646p-544, +0x1.58e60d4ce7d26p-596, +0x1.2117e2ef7e4a1p-648,
+  +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8ep-545, +0x1.639835339f49cp-598, +0x1.08bf177bf2507p-651,
+  +0x1.da24274ce3812p-493, +0x1.5a2fbf209cc8ep-545, +0x1.639835339f49cp-598, +0x1.08bf177bf2507p-651,
+  +0x1.b4484e99c7026p-494, +0x1.68befc827323ap-547, +0x1.8e60d4ce7d272p-600, +0x1.17e2ef7e4a0ecp-656,
+  +0x1.68909d338e04cp-495, +0x1.68befc827323ap-547, +0x1.8e60d4ce7d272p-600, +0x1.17e2ef7e4a0ecp-656,
+  +0x1.a24274ce38136p-497, -0x1.741037d8cdc54p-551, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660,
+  +0x1.a24274ce38136p-497, -0x1.741037d8cdc54p-551, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660,
+  +0x1.4484e99c7026ap-498, +0x1.45f7e413991d6p-550, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660,
+  +0x1.1213a671c09acp-500, +0x1.17df904e64758p-552, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660,
+  +0x1.1213a671c09acp-500, +0x1.17df904e64758p-552, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660,
+  +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668,
+  +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668,
+  +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668,
+  +0x1.213a671c09ad0p-504, +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668,
+  +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff1p-671,
+  +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff1p-671,
+  +0x1.09d338e04d68cp-507, -0x1.037d8cdc538d0p-563, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff1p-671,
+  +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.3a671c09ad17ep-512, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.d338e04d68bf0p-515, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.d338e04d68bf0p-515, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.d338e04d68bf0p-515, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.a671c09ad17e0p-516, -0x1.bec66e29c67cap-570, -0x1.98c16c6f740e8p-623, -0x1.081b5f13801dap-676,
+  +0x1.4ce38135a2fbep-517, +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622, -0x1.081b5f13801dap-676,
+  +0x1.338e04d68befcp-519, +0x1.04e64758e60d4p-572, +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681,
+  +0x1.338e04d68befcp-519, +0x1.04e64758e60d4p-572, +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681,
+  +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da001p-688,
+  +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da001p-688,
+  +0x1.9c7026b45f7e4p-522, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da001p-688,
+  +0x1.38e04d68befc8p-523, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da001p-688,
+  +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da001p-688,
+  +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da001p-688,
+  +0x1.c7026b45f7e40p-526, +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da001p-688,
+  +0x1.8e04d68befc82p-527, +0x1.cc8eb1cc1a99cp-581, +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da001p-688,
+  +0x1.1c09ad17df904p-528, +0x1.cc8eb1cc1a99cp-581, +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da001p-688,
+  +0x1.c09ad17df904ep-532, +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690,
+  +0x1.c09ad17df904ep-532, +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690,
+  +0x1.c09ad17df904ep-532, +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690,
+  +0x1.c09ad17df904ep-532, +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690,
+  +0x1.8135a2fbf209cp-533, +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690,
+  +0x1.026b45f7e413ap-534, -0x1.b8a719f2b3182p-588, -0x1.b1bdd03a21036p-641, -0x1.7c4e007680022p-694,
+  +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704,
+  +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704,
+  +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704,
+  +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704,
+  +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704,
+  +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704,
+  +0x1.35a2fbf209cc8p-541, +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704,
+  +0x1.ad17df904e646p-544, +0x1.58e60d4ce7d26p-596, +0x1.2117e2ef7e4a0p-648, +0x1.d8ffc4bffef03p-701,
+  +0x1.ad17df904e646p-544, +0x1.58e60d4ce7d26p-596, +0x1.2117e2ef7e4a0p-648, +0x1.d8ffc4bffef03p-701,
+  +0x1.ad17df904e646p-544, +0x1.58e60d4ce7d26p-596, +0x1.2117e2ef7e4a0p-648, +0x1.d8ffc4bffef03p-701,
+  +0x1.5a2fbf209cc8ep-545, +0x1.639835339f49cp-598, +0x1.08bf177bf2506p-651, +0x1.63ff12fffbc0bp-703,
+  +0x1.68befc827323ap-547, +0x1.8e60d4ce7d272p-600, +0x1.17e2ef7e4a0ecp-656, +0x1.ff897ffde0598p-710,
+  +0x1.68befc827323ap-547, +0x1.8e60d4ce7d272p-600, +0x1.17e2ef7e4a0ecp-656, +0x1.ff897ffde0598p-710,
+  +0x1.a2fbf209cc8eap-549, +0x1.1cc1a99cfa4e4p-601, +0x1.17e2ef7e4a0ecp-656, +0x1.ff897ffde0598p-710,
+  +0x1.a2fbf209cc8eap-549, +0x1.1cc1a99cfa4e4p-601, +0x1.17e2ef7e4a0ecp-656, +0x1.ff897ffde0598p-710,
+  +0x1.45f7e413991d6p-550, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720,
+  +0x1.17df904e64758p-552, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720,
+  +0x1.17df904e64758p-552, +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720,
+  +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723,
+  +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723,
+  +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723,
+  +0x1.7df904e64758ep-556, +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723,
+  +0x1.f7e413991d63ap-558, -0x1.f2b3182d8dee8p-612, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723,
+  +0x1.f7e413991d63ap-558, -0x1.f2b3182d8dee8p-612, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723,
+  +0x1.efc827323ac72p-559, +0x1.06a673e93908cp-611, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723,
+  +0x1.df904e64758e6p-560, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723,
+  +0x1.bf209cc8eb1ccp-561, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723,
+  +0x1.7e413991d6398p-562, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723,
+  +0x1.f904e64758e60p-564, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723,
+  +0x1.f904e64758e60p-564, +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723,
+  +0x1.f209cc8eb1cc2p-565, -0x1.598c16c6f740ep-619, -0x1.1081b5f13801ep-672, +0x1.7ffde05980fefp-726,
+  +0x1.e413991d63982p-566, +0x1.5339f49c845f8p-618, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723,
+  +0x1.c827323ac7306p-567, +0x1.4ce7d272117e2p-620, +0x1.defc941d8ffc4p-673, +0x1.7ffde05980fefp-726,
+  +0x1.904e64758e60cp-568, +0x1.4ce7d272117e2p-620, +0x1.defc941d8ffc4p-673, +0x1.7ffde05980fefp-726,
+  +0x1.209cc8eb1cc1ap-569, +0x1.339f49c845f8cp-622, -0x1.081b5f13801dap-676, -0x1.0fd33f8086877p-741,
+  +0x1.04e64758e60d4p-572, +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681, -0x1.0fd33f8086877p-741,
+  +0x1.04e64758e60d4p-572, +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681, -0x1.0fd33f8086877p-741,
+  +0x1.04e64758e60d4p-572, +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681, -0x1.0fd33f8086877p-741,
+  +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.3991d63983534p-578, -0x1.82d8dee81d108p-632, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.cc8eb1cc1a99cp-581, +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.cc8eb1cc1a99cp-581, +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.cc8eb1cc1a99cp-581, +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da000p-688, -0x1.0fd33f8086877p-741,
+  +0x1.991d63983533ap-582, -0x1.6c6f740e8840ep-639, +0x1.41d8ffc4bffeep-693, +0x1.02cc07f79788cp-745,
+  +0x1.323ac7306a674p-583, -0x1.6c6f740e8840ep-639, +0x1.41d8ffc4bffeep-693, +0x1.02cc07f79788cp-745,
+  +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690, -0x1.fa67f010d0ee7p-746,
+  +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690, -0x1.fa67f010d0ee7p-746,
+  +0x1.91d639835339ep-586, +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690, -0x1.fa67f010d0ee7p-746,
+  +0x1.23ac7306a673ep-587, +0x1.272117e2ef7e4p-640, +0x1.41d8ffc4bffeep-693, +0x1.02cc07f79788cp-745,
+  +0x1.1d639835339f4p-590, +0x1.3908bf177bf24p-643, +0x1.0763ff12fffbcp-695, +0x1.6603fbcbc462dp-752,
+  +0x1.1d639835339f4p-590, +0x1.3908bf177bf24p-643, +0x1.0763ff12fffbcp-695, +0x1.6603fbcbc462dp-752,
+  +0x1.1d639835339f4p-590, +0x1.3908bf177bf24p-643, +0x1.0763ff12fffbcp-695, +0x1.6603fbcbc462dp-752,
+  +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704, +0x1.80fef2f118b5ap-758,
+  +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704, +0x1.80fef2f118b5ap-758,
+  +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704, +0x1.80fef2f118b5ap-758,
+  +0x1.d639835339f4ap-594, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704, +0x1.80fef2f118b5ap-758,
+  +0x1.ac7306a673e94p-595, -0x1.bdd03a21036bep-649, -0x1.3801da00087eap-704, +0x1.80fef2f118b5ap-758,
+  +0x1.58e60d4ce7d26p-596, +0x1.2117e2ef7e4a0p-648, +0x1.d8ffc4bffef02p-701, +0x1.980fef2f118b6p-754,
+  +0x1.639835339f49cp-598, +0x1.08bf177bf2506p-651, +0x1.63ff12fffbc0ap-703, +0x1.301fde5e2316bp-755,
+  +0x1.639835339f49cp-598, +0x1.08bf177bf2506p-651, +0x1.63ff12fffbc0ap-703, +0x1.301fde5e2316bp-755,
+  +0x1.8e60d4ce7d272p-600, +0x1.17e2ef7e4a0ecp-656, +0x1.ff897ffde0598p-710, +0x1.fde5e2316b415p-767,
+  +0x1.8e60d4ce7d272p-600, +0x1.17e2ef7e4a0ecp-656, +0x1.ff897ffde0598p-710, +0x1.fde5e2316b415p-767,
+  +0x1.1cc1a99cfa4e4p-601, +0x1.17e2ef7e4a0ecp-656, +0x1.ff897ffde0598p-710, +0x1.fde5e2316b415p-767,
+  +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720, -0x1.0d0ee74a5f593p-774,
+  +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720, -0x1.0d0ee74a5f593p-774,
+  +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720, -0x1.0d0ee74a5f593p-774,
+  +0x1.cc1a99cfa4e42p-605, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720, -0x1.0d0ee74a5f593p-774,
+  +0x1.9835339f49c84p-606, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720, -0x1.0d0ee74a5f593p-774,
+  +0x1.306a673e93908p-607, +0x1.7e2ef7e4a0ec8p-660, -0x1.da00087e99fc0p-720, -0x1.0d0ee74a5f593p-774,
+  +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.835339f49c846p-610, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.06a673e93908cp-611, -0x1.d1081b5f13802p-668, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.a99cfa4e422fcp-617, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.5339f49c845f8p-618, +0x1.77bf250763ff0p-671, +0x1.2fffbc0b301fep-723, -0x1.a1dce94beb25cp-779,
+  +0x1.4ce7d272117e2p-620, +0x1.defc941d8ffc4p-673, +0x1.7ffde05980feep-726, +0x1.2f118b5a0a6d2p-778,
+  +0x1.4ce7d272117e2p-620, +0x1.defc941d8ffc4p-673, +0x1.7ffde05980feep-726, +0x1.2f118b5a0a6d2p-778,
+  +0x1.339f49c845f8cp-622, -0x1.081b5f13801dap-676, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.339f49c845f8cp-622, -0x1.081b5f13801dap-676, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.9cfa4e422fc5ep-625, -0x1.036be27003b40p-681, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.39f49c845f8bcp-626, -0x1.036be27003b40p-681, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.cfa4e422fc5dep-629, +0x1.f9283b1ff8980p-682, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.cfa4e422fc5dep-629, +0x1.f9283b1ff8980p-682, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.cfa4e422fc5dep-629, +0x1.f9283b1ff8980p-682, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.9f49c845f8bbep-630, -0x1.b5f13801da000p-688, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.3e93908bf177cp-631, -0x1.b5f13801da000p-688, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da000p-688, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da000p-688, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.f49c845f8bbe0p-634, -0x1.b5f13801da000p-688, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.e93908bf177bep-635, +0x1.250763ff13000p-687, -0x1.0fd33f8086876p-741, -0x1.3a52fac970496p-793,
+  +0x1.d272117e2ef7ep-636, +0x1.283b1ff897ffep-690, -0x1.fa67f010d0ee6p-746, -0x1.4a5f592e092cap-798,
+  +0x1.a4e422fc5defcp-637, +0x1.283b1ff897ffep-690, -0x1.fa67f010d0ee6p-746, -0x1.4a5f592e092cap-798,
+  +0x1.49c845f8bbdf8p-638, +0x1.283b1ff897ffep-690, -0x1.fa67f010d0ee6p-746, -0x1.4a5f592e092cap-798,
+  +0x1.272117e2ef7e4p-640, +0x1.41d8ffc4bffeep-693, +0x1.02cc07f79788cp-745, +0x1.6b414da3eda6dp-799,
+  +0x1.272117e2ef7e4p-640, +0x1.41d8ffc4bffeep-693, +0x1.02cc07f79788cp-745, +0x1.6b414da3eda6dp-799,
+  +0x1.3908bf177bf24p-643, +0x1.0763ff12fffbcp-695, +0x1.6603fbcbc462cp-752, +0x1.6829b47db4da0p-804,
+  +0x1.3908bf177bf24p-643, +0x1.0763ff12fffbcp-695, +0x1.6603fbcbc462cp-752, +0x1.6829b47db4da0p-804,
+  +0x1.3908bf177bf24p-643, +0x1.0763ff12fffbcp-695, +0x1.6603fbcbc462cp-752, +0x1.6829b47db4da0p-804,
+  +0x1.c845f8bbdf928p-646, +0x1.d8ffc4bffef02p-701, +0x1.980fef2f118b6p-754, -0x1.7d64b824b2605p-808,
+  +0x1.c845f8bbdf928p-646, +0x1.d8ffc4bffef02p-701, +0x1.980fef2f118b6p-754, -0x1.7d64b824b2605p-808,
+  +0x1.c845f8bbdf928p-646, +0x1.d8ffc4bffef02p-701, +0x1.980fef2f118b6p-754, -0x1.7d64b824b2605p-808,
+  +0x1.908bf177bf250p-647, +0x1.d8ffc4bffef02p-701, +0x1.980fef2f118b6p-754, -0x1.7d64b824b2605p-808,
+  +0x1.2117e2ef7e4a0p-648, +0x1.d8ffc4bffef02p-701, +0x1.980fef2f118b6p-754, -0x1.7d64b824b2605p-808,
+  +0x1.08bf177bf2506p-587, +0x1.63ff12fffbc0ap-639, +0x1.301fde5e2316ap-691, +0x1.414da3eda6cfep-743,
+  +0x1.08bf177bf2506p-587, +0x1.63ff12fffbc0ap-639, +0x1.301fde5e2316ap-691, +0x1.414da3eda6cfep-743,
+  +0x1.08bf177bf2506p-587, +0x1.63ff12fffbc0ap-639, +0x1.301fde5e2316ap-691, +0x1.414da3eda6cfep-743,
+  +0x1.17e2ef7e4a0ecp-592, +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756,
+  +0x1.17e2ef7e4a0ecp-592, +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756,
+  +0x1.17e2ef7e4a0ecp-592, +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756,
+  +0x1.17e2ef7e4a0ecp-592, +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756,
+  +0x1.17e2ef7e4a0ecp-592, +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756,
+  +0x1.7e2ef7e4a0ec8p-596, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.7e2ef7e4a0ec8p-596, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.7e2ef7e4a0ec8p-596, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.7e2ef7e4a0ec8p-596, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.f8bbdf9283b20p-598, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.f8bbdf9283b20p-598, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.f177bf2507640p-599, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.e2ef7e4a0ec80p-600, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.c5defc941d900p-601, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.8bbdf9283b200p-602, -0x1.da00087e99fc0p-656, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.177bf250763fep-603, +0x1.12fffbc0b3020p-655, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b07p-763,
+  +0x1.77bf250763ff0p-607, +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069fp-771,
+  +0x1.77bf250763ff0p-607, +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069fp-771,
+  +0x1.77bf250763ff0p-607, +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069fp-771,
+  +0x1.77bf250763ff0p-607, +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069fp-771,
+  +0x1.defc941d8ffc4p-609, +0x1.7ffde05980feep-662, +0x1.2f118b5a0a6d2p-714, -0x1.25930261b069fp-771,
+  +0x1.defc941d8ffc4p-609, +0x1.7ffde05980feep-662, +0x1.2f118b5a0a6d2p-714, -0x1.25930261b069fp-771,
+  +0x1.bdf9283b1ff88p-610, +0x1.7ffde05980feep-662, +0x1.2f118b5a0a6d2p-714, -0x1.25930261b069fp-771,
+  +0x1.7bf250763ff12p-611, +0x1.fff7816603fbcp-664, +0x1.788c5ad053690p-717, -0x1.25930261b069fp-771,
+  +0x1.efc941d8ffc4cp-613, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.efc941d8ffc4cp-613, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.df9283b1ff898p-614, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.bf250763ff130p-615, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.7e4a0ec7fe260p-616, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.f9283b1ff8980p-618, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.f9283b1ff8980p-618, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.f250763ff1300p-619, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.e4a0ec7fe2600p-620, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.c941d8ffc4c00p-621, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.9283b1ff89800p-622, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.250763ff13000p-623, -0x1.0fd33f8086876p-677, -0x1.3a52fac970496p-729, -0x1.30261b069ec91p-783,
+  +0x1.283b1ff897ffep-626, -0x1.fa67f010d0ee6p-682, -0x1.4a5f592e092cap-734, +0x1.fb3c9f2c26dd4p-788,
+  +0x1.283b1ff897ffep-626, -0x1.fa67f010d0ee6p-682, -0x1.4a5f592e092cap-734, +0x1.fb3c9f2c26dd4p-788,
+  +0x1.283b1ff897ffep-626, -0x1.fa67f010d0ee6p-682, -0x1.4a5f592e092cap-734, +0x1.fb3c9f2c26dd4p-788,
+  +0x1.41d8ffc4bffeep-629, +0x1.02cc07f79788cp-681, +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788,
+  +0x1.41d8ffc4bffeep-629, +0x1.02cc07f79788cp-681, +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788,
+  +0x1.41d8ffc4bffeep-629, +0x1.02cc07f79788cp-681, +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788,
+  +0x1.0763ff12fffbcp-631, +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794,
+  +0x1.0763ff12fffbcp-631, +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794,
+  +0x1.d8ffc4bffef02p-637, +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585dp-797,
+  +0x1.d8ffc4bffef02p-637, +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585dp-797,
+  +0x1.d8ffc4bffef02p-637, +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585dp-797,
+  +0x1.d8ffc4bffef02p-637, +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585dp-797,
+  +0x1.d8ffc4bffef02p-637, +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585dp-797,
+  +0x1.d8ffc4bffef02p-637, +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585dp-797,
+  +0x1.b1ff897ffde06p-638, -0x1.9fc04343b9d28p-692, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585dp-797,
+  +0x1.63ff12fffbc0ap-639, +0x1.301fde5e2316ap-691, +0x1.414da3eda6cfep-743, -0x1.86c1a7b24585dp-797,
+  +0x1.8ffc4bffef02cp-641, +0x1.80fef2f118b5ap-694, +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805,
+  +0x1.8ffc4bffef02cp-641, +0x1.80fef2f118b5ap-694, +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805,
+  +0x1.1ff897ffde05ap-642, -0x1.fc04343b9d298p-696, +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805,
+  +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.ff897ffde0598p-646, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.ff12fffbc0b30p-647, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.fe25fff781660p-648, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.fc4bffef02cc0p-649, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.f897ffde05980p-650, +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04dp-813,
+  +0x1.f12fffbc0b302p-651, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b06p-763, -0x1.3d922c2e70266p-816,
+  +0x1.e25fff7816604p-652, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b06p-763, -0x1.3d922c2e70266p-816,
+  +0x1.c4bffef02cc08p-653, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b06p-763, -0x1.3d922c2e70266p-816,
+  +0x1.897ffde059810p-654, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b06p-763, -0x1.3d922c2e70266p-816,
+  +0x1.12fffbc0b3020p-655, -0x1.0d0ee74a5f592p-710, -0x1.c125930261b06p-763, -0x1.3d922c2e70266p-816,
+  +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.2fffbc0b301fep-659, -0x1.a1dce94beb25cp-715, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.7ffde05980feep-662, +0x1.2f118b5a0a6d2p-714, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.7ffde05980feep-662, +0x1.2f118b5a0a6d2p-714, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.7ffde05980feep-662, +0x1.2f118b5a0a6d2p-714, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.fff7816603fbcp-664, +0x1.788c5ad053690p-717, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.fff7816603fbcp-664, +0x1.788c5ad053690p-717, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.ffef02cc07f78p-665, +0x1.788c5ad053690p-717, -0x1.25930261b069ep-771, -0x1.922c2e7026587p-824,
+  +0x1.ffde05980fef2p-666, +0x1.e2316b414da3ep-719, +0x1.b4d9fb3c9f2c2p-772, +0x1.b74f463f669e6p-826,
+  +0x1.ffbc0b301fde6p-667, -0x1.dce94beb25c12p-723, -0x1.64c0986c1a7b2p-777, -0x1.161738132c340p-831,
+  +0x1.ff7816603fbccp-668, -0x1.dce94beb25c12p-723, -0x1.64c0986c1a7b2p-777, -0x1.161738132c340p-831,
+  +0x1.fef02cc07f798p-669, -0x1.dce94beb25c12p-723, -0x1.64c0986c1a7b2p-777, -0x1.161738132c340p-831,
+  +0x1.fde05980fef2ep-670, +0x1.118b5a0a6d1f6p-722, +0x1.a6cfd9e4f9612p-775, +0x1.6e9e8c7ecd3ccp-827,
+  +0x1.fbc0b301fde5ep-671, +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830,
+  +0x1.f7816603fbcbcp-672, +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830,
+  +0x1.ef02cc07f7978p-673, +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830,
+  +0x1.de05980fef2f0p-674, +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830,
+  +0x1.bc0b301fde5e2p-675, +0x1.8b5a0a6d1f6d2p-730, +0x1.67ecf27cb09b6p-782, +0x1.4f463f669e5ffp-834,
+  +0x1.7816603fbcbc4p-676, +0x1.8b5a0a6d1f6d2p-730, +0x1.67ecf27cb09b6p-782, +0x1.4f463f669e5ffp-834,
+  +0x1.e05980fef2f12p-678, -0x1.d297d64b824b2p-732, -0x1.8130d834f648ap-786, -0x1.0b9c09961a016p-838,
+  +0x1.e05980fef2f12p-678, -0x1.d297d64b824b2p-732, -0x1.8130d834f648ap-786, -0x1.0b9c09961a016p-838,
+  +0x1.c0b301fde5e22p-679, +0x1.16b414da3eda6p-731, +0x1.9fb3c9f2c26dcp-784, +0x1.3d18fd9a797fbp-836,
+  +0x1.816603fbcbc46p-680, +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843,
+  +0x1.02cc07f79788cp-681, +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843,
+  +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848,
+  +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848,
+  +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848,
+  +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848,
+  +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848,
+  +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848,
+  +0x1.6603fbcbc462cp-688, +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848,
+  +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585cp-797, -0x1.c09961a015d29p-850,
+  +0x1.980fef2f118b6p-690, -0x1.7d64b824b2604p-744, -0x1.86c1a7b24585cp-797, -0x1.c09961a015d29p-850,
+  +0x1.301fde5e2316ap-691, +0x1.414da3eda6cfep-743, -0x1.86c1a7b24585cp-797, -0x1.c09961a015d29p-850,
+  +0x1.80fef2f118b5ap-694, +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515bp-859,
+  +0x1.80fef2f118b5ap-694, +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515bp-859,
+  +0x1.80fef2f118b5ap-694, +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515bp-859,
+  +0x1.01fde5e2316b4p-695, +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515bp-859,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fde5e2316b414p-703, +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.fbcbc462d682ap-704, -0x1.2e092c98130d8p-758, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.f79788c5ad052p-705, +0x1.68fb69b3f6794p-757, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.ef2f118b5a0a6p-706, +0x1.a3eda6cfd9e50p-759, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866,
+  +0x1.de5e2316b414ep-707, -0x1.704964c0986c2p-761, +0x1.6136e9e8c7eccp-815, +0x1.3cbfd45aea4f7p-867,
+  +0x1.bcbc462d6829ap-708, +0x1.47db4d9fb3c9ep-760, +0x1.2c26dd3d18fdap-812, -0x1.61a015d28ad84p-866,
+  +0x1.79788c5ad0536p-709, +0x1.1f6d367ecf27cp-762, +0x1.6136e9e8c7eccp-815, +0x1.3cbfd45aea4f7p-867,
+  +0x1.e5e2316b414dap-711, +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874,
+  +0x1.e5e2316b414dap-711, +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874,
+  +0x1.cbc462d6829b4p-712, +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874,
+  +0x1.9788c5ad05368p-713, +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874,
+  +0x1.2f118b5a0a6d2p-714, -0x1.25930261b069ep-771, -0x1.922c2e7026586p-824, -0x1.00ae9456c229cp-877,
+  +0x1.788c5ad053690p-717, -0x1.25930261b069ep-771, -0x1.922c2e7026586p-824, -0x1.00ae9456c229cp-877,
+  +0x1.788c5ad053690p-717, -0x1.25930261b069ep-771, -0x1.922c2e7026586p-824, -0x1.00ae9456c229cp-877,
+  +0x1.788c5ad053690p-717, -0x1.25930261b069ep-771, -0x1.922c2e7026586p-824, -0x1.00ae9456c229cp-877,
+  +0x1.e2316b414da3ep-719, +0x1.b4d9fb3c9f2c2p-772, +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886,
+  +0x1.e2316b414da3ep-719, +0x1.b4d9fb3c9f2c2p-772, +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886,
+  +0x1.c462d6829b47ep-720, -0x1.2c98130d834f6p-774, -0x1.22c2e70265868p-828, -0x1.5d28ad8453814p-886,
+  +0x1.88c5ad05368fap-721, +0x1.69b3f6793e584p-773, +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886,
+  +0x1.118b5a0a6d1f6p-722, +0x1.a6cfd9e4f9612p-775, +0x1.6e9e8c7ecd3ccp-827, -0x1.5d28ad8453814p-886,
+  +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830, -0x1.5d28ad8453814p-886,
+  +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830, -0x1.5d28ad8453814p-886,
+  +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830, -0x1.5d28ad8453814p-886,
+  +0x1.18b5a0a6d1f6cp-726, +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830, -0x1.5d28ad8453814p-886,
+  +0x1.8b5a0a6d1f6d2p-730, +0x1.67ecf27cb09b6p-782, +0x1.4f463f669e5fep-834, +0x1.45aea4f758fd8p-887,
+  +0x1.8b5a0a6d1f6d2p-730, +0x1.67ecf27cb09b6p-782, +0x1.4f463f669e5fep-834, +0x1.45aea4f758fd8p-887,
+  +0x1.8b5a0a6d1f6d2p-730, +0x1.67ecf27cb09b6p-782, +0x1.4f463f669e5fep-834, +0x1.45aea4f758fd8p-887,
+  +0x1.8b5a0a6d1f6d2p-730, +0x1.67ecf27cb09b6p-782, +0x1.4f463f669e5fep-834, +0x1.45aea4f758fd8p-887,
+  +0x1.16b414da3eda6p-731, +0x1.9fb3c9f2c26dcp-784, +0x1.3d18fd9a797fap-836, +0x1.16ba93dd63f5fp-889,
+  +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897,
+  +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897,
+  +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897,
+  +0x1.6b414da3eda6cp-735, +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897,
+  +0x1.ad05368fb69b4p-737, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341dp-903,
+  +0x1.ad05368fb69b4p-737, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341dp-903,
+  +0x1.5a0a6d1f6d368p-738, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341dp-903,
+  +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341dp-903,
+  +0x1.6829b47db4da0p-740, -0x1.30d834f648b0cp-794, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341dp-903,
+  +0x1.a0a6d1f6d367ep-742, +0x1.9e4f96136e9e8p-795, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341dp-903,
+  +0x1.a0a6d1f6d367ep-742, +0x1.9e4f96136e9e8p-795, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341dp-903,
+  +0x1.414da3eda6cfep-743, -0x1.86c1a7b24585cp-797, -0x1.c09961a015d28p-850, -0x1.5b08a7028341dp-903,
+  +0x1.05368fb69b3f6p-745, +0x1.e4f96136e9e8cp-799, +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906,
+  +0x1.05368fb69b3f6p-745, +0x1.e4f96136e9e8cp-799, +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906,
+  +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.4da3eda6cfd9ep-751, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.368fb69b3f678p-753, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.368fb69b3f678p-753, +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911,
+  +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920,
+  +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920,
+  +0x1.b47db4d9fb3cap-756, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920,
+  +0x1.68fb69b3f6794p-757, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920,
+  +0x1.a3eda6cfd9e50p-759, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920,
+  +0x1.a3eda6cfd9e50p-759, -0x1.a7b24585ce04cp-813, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920,
+  +0x1.47db4d9fb3c9ep-760, +0x1.2c26dd3d18fdap-812, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920,
+  +0x1.1f6d367ecf27cp-762, +0x1.6136e9e8c7eccp-815, +0x1.3cbfd45aea4f6p-867, +0x1.58fd7cbe2f67ap-919,
+  +0x1.1f6d367ecf27cp-762, +0x1.6136e9e8c7eccp-815, +0x1.3cbfd45aea4f6p-867, +0x1.58fd7cbe2f67ap-919,
+  +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874, +0x1.faf97c5ecf41dp-928,
+  +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874, +0x1.faf97c5ecf41dp-928,
+  +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874, +0x1.faf97c5ecf41dp-928,
+  +0x1.f6d367ecf27cap-766, +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874, +0x1.faf97c5ecf41dp-928,
+  +0x1.eda6cfd9e4f96p-767, +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934,
+  +0x1.db4d9fb3c9f2cp-768, +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934,
+  +0x1.b69b3f6793e58p-769, +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934,
+  +0x1.6d367ecf27cb0p-770, +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934,
+  +0x1.b4d9fb3c9f2c2p-772, +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.b4d9fb3c9f2c2p-772, +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.69b3f6793e584p-773, +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.a6cfd9e4f9612p-775, +0x1.6e9e8c7ecd3ccp-827, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.a6cfd9e4f9612p-775, +0x1.6e9e8c7ecd3ccp-827, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.4d9fb3c9f2c26p-776, +0x1.ba7a31fb34f30p-829, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.367ecf27cb09ap-778, +0x1.74f463f669e60p-830, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942,
+  +0x1.b3f6793e584dcp-781, -0x1.61738132c3402p-835, -0x1.74a2b6114e050p-888, -0x1.a0e84c2f8c608p-942,
+  +0x1.b3f6793e584dcp-781, -0x1.61738132c3402p-835, -0x1.74a2b6114e050p-888, -0x1.a0e84c2f8c608p-942,
+  +0x1.b3f6793e584dcp-781, -0x1.61738132c3402p-835, -0x1.74a2b6114e050p-888, -0x1.a0e84c2f8c608p-942,
+  +0x1.67ecf27cb09b6p-782, +0x1.4f463f669e5fep-834, +0x1.45aea4f758fd8p-887, -0x1.a0e84c2f8c608p-942,
+  +0x1.9fb3c9f2c26dcp-784, +0x1.3d18fd9a797fap-836, +0x1.16ba93dd63f5ep-889, +0x1.2f8bd9e839cfcp-941,
+  +0x1.9fb3c9f2c26dcp-784, +0x1.3d18fd9a797fap-836, +0x1.16ba93dd63f5ep-889, +0x1.2f8bd9e839cfcp-941,
+  +0x1.3f6793e584dbap-785, +0x1.e8c7ecd3cbfd4p-839, +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f79p-946,
+  +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897, -0x1.d0985f18c10ebp-951,
+  +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897, -0x1.d0985f18c10ebp-951,
+  +0x1.fb3c9f2c26dd4p-788, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897, -0x1.d0985f18c10ebp-951,
+  +0x1.f6793e584dba8p-789, -0x1.738132c3402bap-843, -0x1.456c229c0a0d0p-897, -0x1.d0985f18c10ebp-951,
+  +0x1.ecf27cb09b74ep-790, +0x1.463f669e5fea2p-842, +0x1.aea4f758fd7ccp-895, -0x1.d0985f18c10ebp-951,
+  +0x1.d9e4f96136e9ep-791, +0x1.18fd9a797fa8ap-844, +0x1.5d49eeb1faf98p-896, -0x1.d0985f18c10ebp-951,
+  +0x1.b3c9f2c26dd3cp-792, +0x1.18fd9a797fa8ap-844, +0x1.5d49eeb1faf98p-896, -0x1.d0985f18c10ebp-951,
+  +0x1.6793e584dba7ap-793, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955,
+  +0x1.9e4f96136e9e8p-795, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955,
+  +0x1.9e4f96136e9e8p-795, +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955,
+  +0x1.3c9f2c26dd3d2p-796, -0x1.c09961a015d28p-850, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955,
+  +0x1.e4f96136e9e8cp-799, +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960,
+  +0x1.e4f96136e9e8cp-799, +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960,
+  +0x1.e4f96136e9e8cp-799, +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960,
+  +0x1.c9f2c26dd3d18p-800, +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960,
+  +0x1.93e584dba7a32p-801, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911, +0x1.e839cfbc52949p-965,
+  +0x1.27cb09b74f464p-802, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911, +0x1.e839cfbc52949p-965,
+  +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911, +0x1.e839cfbc52949p-965,
+  +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911, +0x1.e839cfbc52949p-965,
+  +0x1.3e584dba7a320p-805, -0x1.32c3402ba515ap-859, -0x1.08a7028341d0ap-911, +0x1.e839cfbc52949p-965,
+  +0x1.f2c26dd3d18fep-808, -0x1.961a015d28ad8p-862, -0x1.14e050683a130p-916, -0x1.7c63043ad6b69p-969,
+  +0x1.f2c26dd3d18fep-808, -0x1.961a015d28ad8p-862, -0x1.14e050683a130p-916, -0x1.7c63043ad6b69p-969,
+  +0x1.f2c26dd3d18fep-808, -0x1.961a015d28ad8p-862, -0x1.14e050683a130p-916, -0x1.7c63043ad6b69p-969,
+  +0x1.e584dba7a31fap-809, +0x1.34f2ff516ba94p-861, -0x1.14e050683a130p-916, -0x1.7c63043ad6b69p-969,
+  +0x1.cb09b74f463f6p-810, +0x1.a797fa8b5d49ep-864, +0x1.d63f5f2f8bd9ep-917, +0x1.0739f78a5292fp-970,
+  +0x1.96136e9e8c7ecp-811, +0x1.a797fa8b5d49ep-864, +0x1.d63f5f2f8bd9ep-917, +0x1.0739f78a5292fp-970,
+  +0x1.2c26dd3d18fdap-812, -0x1.61a015d28ad84p-866, -0x1.4e050683a130cp-920, +0x1.ce7de294a4baap-976,
+  +0x1.6136e9e8c7eccp-815, +0x1.3cbfd45aea4f6p-867, +0x1.58fd7cbe2f67ap-919, +0x1.ce7de294a4baap-976,
+  +0x1.6136e9e8c7eccp-815, +0x1.3cbfd45aea4f6p-867, +0x1.58fd7cbe2f67ap-919, +0x1.ce7de294a4baap-976,
+  +0x1.6136e9e8c7eccp-815, +0x1.3cbfd45aea4f6p-867, +0x1.58fd7cbe2f67ap-919, +0x1.ce7de294a4baap-976,
+  +0x1.84dba7a31fb34p-817, +0x1.e5fea2d7527bap-870, +0x1.8fd7cbe2f67a0p-923, +0x1.ce7de294a4baap-976,
+  +0x1.84dba7a31fb34p-817, +0x1.e5fea2d7527bap-870, +0x1.8fd7cbe2f67a0p-923, +0x1.ce7de294a4baap-976,
+  +0x1.09b74f463f66ap-818, -0x1.a015d28ad8454p-874, +0x1.faf97c5ecf41cp-928, +0x1.cfbc529497536p-981,
+  +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2809p-991,
+  +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2809p-991,
+  +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2809p-991,
+  +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2809p-991,
+  +0x1.36e9e8c7ecd3cp-823, +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2809p-991,
+  +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.b74f463f669e6p-826, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.6e9e8c7ecd3ccp-827, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.ba7a31fb34f30p-829, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.ba7a31fb34f30p-829, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.74f463f669e60p-830, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.d3d18fd9a7980p-832, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.d3d18fd9a7980p-832, -0x1.5d28ad8453814p-886, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.a7a31fb34f2fep-833, +0x1.516ba93dd63f6p-885, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.4f463f669e5fep-834, +0x1.45aea4f758fd8p-887, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996,
+  +0x1.3d18fd9a797fap-836, +0x1.16ba93dd63f5ep-889, +0x1.2f8bd9e839cfcp-941, -0x1.d6b5b45650128p-996,
+  +0x1.3d18fd9a797fap-836, +0x1.16ba93dd63f5ep-889, +0x1.2f8bd9e839cfcp-941, -0x1.d6b5b45650128p-996,
+  +0x1.e8c7ecd3cbfd4p-839, +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bfp-999,
+  +0x1.e8c7ecd3cbfd4p-839, +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bfp-999,
+  +0x1.e8c7ecd3cbfd4p-839, +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bfp-999,
+  +0x1.d18fd9a797fa8p-840, +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bfp-999,
+  +0x1.a31fb34f2ff50p-841, +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bfp-999,
+  +0x1.463f669e5fea2p-842, +0x1.aea4f758fd7ccp-895, -0x1.d0985f18c10eap-951, -0x1.5ada2b280940ap-1003,
+  +0x1.18fd9a797fa8ap-844, +0x1.5d49eeb1faf98p-896, -0x1.d0985f18c10eap-951, -0x1.5ada2b280940ap-1003,
+  +0x1.18fd9a797fa8ap-844, +0x1.5d49eeb1faf98p-896, -0x1.d0985f18c10eap-951, -0x1.5ada2b280940ap-1003,
+  +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955, +0x1.497535fdafd89p-1009,
+  +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955, +0x1.497535fdafd89p-1009,
+  +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955, +0x1.497535fdafd89p-1009,
+  +0x1.8fd9a797fa8b6p-848, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955, +0x1.497535fdafd89p-1009,
+  +0x1.1fb34f2ff516cp-849, -0x1.5b08a7028341cp-903, -0x1.0985f18c10eb6p-955, +0x1.497535fdafd89p-1009,
+  +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014,
+  +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014,
+  +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014,
+  +0x1.fb34f2ff516bap-853, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014,
+  +0x1.f669e5fea2d74p-854, +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014,
+  +0x1.ecd3cbfd45aeap-855, +0x1.3dd63f5f2f8bep-909, -0x1.85f18c10eb5aep-963, +0x1.7535fdafd88fcp-1017,
+  +0x1.d9a797fa8b5d4p-856, +0x1.3dd63f5f2f8bep-909, -0x1.85f18c10eb5aep-963, +0x1.7535fdafd88fcp-1017,
+  +0x1.b34f2ff516ba8p-857, +0x1.3dd63f5f2f8bep-909, -0x1.85f18c10eb5aep-963, +0x1.7535fdafd88fcp-1017,
+  +0x1.669e5fea2d752p-858, +0x1.eeb1faf97c5ecp-912, +0x1.e839cfbc52948p-965, +0x1.7535fdafd88fcp-1017,
+  +0x1.9a797fa8b5d4ap-860, -0x1.14e050683a130p-916, -0x1.7c63043ad6b68p-969, -0x1.59404a04ee073p-1022,
+  +0x1.9a797fa8b5d4ap-860, -0x1.14e050683a130p-916, -0x1.7c63043ad6b68p-969, -0x1.59404a04ee073p-1022,
+  +0x1.34f2ff516ba94p-861, -0x1.14e050683a130p-916, -0x1.7c63043ad6b68p-969, -0x1.59404a04ee073p-1022,
+  +0x1.a797fa8b5d49ep-864, +0x1.d63f5f2f8bd9ep-917, +0x1.0739f78a5292ep-970, +0x0.a6bfb5fb11f8dp-1022,
+  +0x1.a797fa8b5d49ep-864, +0x1.d63f5f2f8bd9ep-917, +0x1.0739f78a5292ep-970, +0x0.a6bfb5fb11f8dp-1022,
+  +0x1.a797fa8b5d49ep-864, +0x1.d63f5f2f8bd9ep-917, +0x1.0739f78a5292ep-970, +0x0.a6bfb5fb11f8dp-1022,
+  +0x1.4f2ff516ba93ep-865, -0x1.4e050683a130cp-920, +0x1.ce7de294a4baap-976, -0x0.01404a04ee073p-1022,
+  +0x1.3cbfd45aea4f6p-867, +0x1.58fd7cbe2f67ap-919, +0x1.ce7de294a4baap-976, -0x0.01404a04ee073p-1022,
+  +0x1.3cbfd45aea4f6p-867, +0x1.58fd7cbe2f67ap-919, +0x1.ce7de294a4baap-976, -0x0.01404a04ee073p-1022,
+  +0x1.e5fea2d7527bap-870, +0x1.8fd7cbe2f67a0p-923, +0x1.ce7de294a4baap-976, -0x0.01404a04ee073p-1022,
+  +0x1.e5fea2d7527bap-870, +0x1.8fd7cbe2f67a0p-923, +0x1.ce7de294a4baap-976, -0x0.01404a04ee073p-1022,
+  +0x1.e5fea2d7527bap-870, +0x1.8fd7cbe2f67a0p-923, +0x1.ce7de294a4baap-976, -0x0.01404a04ee073p-1022,
+  +0x1.cbfd45aea4f76p-871, -0x1.c0a0d0742617cp-925, -0x1.8c10eb5ada2b2p-979, -0x0.00404a04ee073p-1022,
+  +0x1.97fa8b5d49eeap-872, +0x1.1faf97c5ecf42p-924, -0x1.8c10eb5ada2b2p-979, -0x0.00404a04ee073p-1022,
+  +0x1.2ff516ba93dd6p-873, +0x1.faf97c5ecf41cp-928, +0x1.cfbc529497536p-981, -0x0.00004a04ee073p-1022,
+  +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.7fa8b5d49eeb2p-876, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.fea2d7527bac8p-878, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.fea2d7527bac8p-878, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.fd45aea4f7590p-879, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.fa8b5d49eeb20p-880, -0x1.41a0e84c2f8c6p-934, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.f516ba93dd63ep-881, +0x1.5f2f8bd9e839cp-933, +0x1.f78a5292ea6c0p-986, -0x0.00004a04ee073p-1022,
+  +0x1.ea2d7527bac7ep-882, +0x1.7cbe2f67a0e74p-935, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.d45aea4f758fcp-883, +0x1.7cbe2f67a0e74p-935, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.a8b5d49eeb1fap-884, +0x1.f2f8bd9e839d0p-937, -0x1.0eb5ada2b2808p-991, -0x0.00000a04ee073p-1022,
+  +0x1.516ba93dd63f6p-885, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996, -0x0.00000004ee073p-1022,
+  +0x1.45aea4f758fd8p-887, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996, -0x0.00000004ee073p-1022,
+  +0x1.45aea4f758fd8p-887, -0x1.a0e84c2f8c608p-942, -0x1.d6b5b45650128p-996, -0x0.00000004ee073p-1022,
+  +0x1.16ba93dd63f5ep-889, +0x1.2f8bd9e839cfcp-941, -0x1.d6b5b45650128p-996, -0x0.00000004ee073p-1022,
+  +0x1.16ba93dd63f5ep-889, +0x1.2f8bd9e839cfcp-941, -0x1.d6b5b45650128p-996, -0x0.00000004ee073p-1022,
+  +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bep-999, +0x0.0000000b11f8dp-1022,
+  +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bep-999, +0x0.0000000b11f8dp-1022,
+  +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bep-999, +0x0.0000000b11f8dp-1022,
+  +0x1.6ba93dd63f5f2p-893, +0x1.f17b3d0739f78p-946, +0x1.4a525d4d7f6bep-999, +0x0.0000000b11f8dp-1022,
+  +0x1.aea4f758fd7ccp-895, -0x1.d0985f18c10eap-951, -0x1.5ada2b280940ap-1003, +0x0.0000000011f8dp-1022,
+  +0x1.aea4f758fd7ccp-895, -0x1.d0985f18c10eap-951, -0x1.5ada2b280940ap-1003, +0x0.0000000011f8dp-1022,
+  +0x1.5d49eeb1faf98p-896, -0x1.d0985f18c10eap-951, -0x1.5ada2b280940ap-1003, +0x0.0000000011f8dp-1022,
+  +0x1.7527bac7ebe5ep-898, +0x1.17b3d0739f78ap-950, +0x1.4a4ba9afed7ecp-1004, +0x0.0000000011f8dp-1022,
+  +0x1.7527bac7ebe5ep-898, +0x1.17b3d0739f78ap-950, +0x1.4a4ba9afed7ecp-1004, +0x0.0000000011f8dp-1022,
+  +0x1.d49eeb1faf97cp-900, +0x1.7b3d0739f78a4p-954, +0x1.292ea6bfb5fb0p-1006, +0x0.0000000011f8dp-1022,
+  +0x1.d49eeb1faf97cp-900, +0x1.7b3d0739f78a4p-954, +0x1.292ea6bfb5fb0p-1006, +0x0.0000000011f8dp-1022,
+  +0x1.a93dd63f5f2f8p-901, +0x1.7b3d0739f78a4p-954, +0x1.292ea6bfb5fb0p-1006, +0x0.0000000011f8dp-1022,
+  +0x1.527bac7ebe5f0p-902, +0x1.7b3d0739f78a4p-954, +0x1.292ea6bfb5fb0p-1006, +0x0.0000000011f8dp-1022,
+  +0x1.49eeb1faf97c6p-904, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014, -0x0.0000000000073p-1022,
+  +0x1.49eeb1faf97c6p-904, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014, -0x0.0000000000073p-1022,
+  +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014, -0x0.0000000000073p-1022,
+  +0x1.27bac7ebe5f18p-906, -0x1.30be31821d6b6p-960, +0x1.2ea6bfb5fb120p-1014, -0x0.0000000000073p-1022,
+  +0x1.3dd63f5f2f8bep-909, -0x1.85f18c10eb5aep-963, +0x1.7535fdafd88fcp-1017, +0x0.000000000000dp-1022,
+  0, 0, 0, 0,
+};
+
+// vgather_vd_p_vi helper
+INLINE vdouble vgather_vd_p_vi(const double *ptr, vint vi) {
+  return __riscv_vluxei64(ptr, __riscv_vwmulu(__riscv_vreinterpret_u32mf2(vi), sizeof(double), VECTLENDP), VECTLENDP);
+}
+
+INLINE vdouble2 vcast_vd2_vd_vd(vdouble h, vdouble l) {
+  return vd2setxy_vd2_vd_vd(h, l);
+}
+
+INLINE vdouble2 vcast_vd2_d_d(double h, double l) {
+  return vd2setxy_vd2_vd_vd(vcast_vd_d(h), vcast_vd_d(l));
+}
+
+// rempi function
+INLINE ddi_t rempi(vdouble a) {
+  vdouble2 x, y;
+  vint ex = vilogb2k_vi_vd(a);
+  ex = vsub_vi_vi_vi(ex, vcast_vi_i(55));
+  vint q = vand_vi_vo_vi(vgt_vo_vi_vi(ex, vcast_vi_i(700-55)), vcast_vi_i(-64));
+  a = vldexp3_vd_vd_vi(a, q);
+  ex = __riscv_vand(__riscv_vnot(vsra_vi_vi_i(ex, 31), VECTLENDP), ex, VECTLENDP);
+  ex = vsll_vi_vi_i(ex, 2);
+  x = ddmul_vd2_vd_vd2(a, vcast_vd2_vd_vd(vgather_vd_p_vi(Sleef_rempitabdp, ex),
+                                           vgather_vd_p_vi(Sleef_rempitabdp+1, ex)));
+  di_t di = rempisub(vd2getx_vd_vd2(x));
+  q = digeti_vi_di(di);
+  x = vd2setx_vd2_vd2_vd(x, digetd_vd_di(di));
+  x = ddnormalize_vd2_vd2(x);
+  y = ddmul_vd2_vd_vd2(a, vcast_vd2_vd_vd(vgather_vd_p_vi(Sleef_rempitabdp+2, ex),
+                                           vgather_vd_p_vi(Sleef_rempitabdp+3, ex)));
+  x = ddadd2_vd2_vd2_vd2(x, y);
+  di = rempisub(vd2getx_vd_vd2(x));
+  q = vadd_vi_vi_vi(q, digeti_vi_di(di));
+  x = vd2setx_vd2_vd2_vd(x, digetd_vd_di(di));
+  x = ddnormalize_vd2_vd2(x);
+  x = ddmul_vd2_vd2_vd2(x, vcast_vd2_d_d(3.141592653589793116*2, 1.2246467991473532072e-16*2));
+  vopmask o = vlt_vo_vd_vd(vabs_vd_vd(a), vcast_vd_d(0.7));
+  x = vd2setx_vd2_vd2_vd(x, vsel_vd_vo_vd_vd(o, a, vd2getx_vd_vd2(x)));
+  x = vd2sety_vd2_vd2_vd(x, vreinterpret_vd_vm(vandnot_vm_vo64_vm(o, vreinterpret_vm_vd(vd2gety_vd_vd2(x)))));
+  return ddisetddi_ddi_vd2_vi(x, q);
+}
+
+// Public API
+// RISC-V Vector ABI: _ZGV + version (n) + N2 + v + function name
+vdouble _ZGV1N2v_sin(vdouble d);
+
+#endif
diff --git a/newlib/libm/machine/riscv/vec_sin.c b/newlib/libm/machine/riscv/vec_sin.c
new file mode 100644
index 000000000..f1f3defc7
--- /dev/null
+++ b/newlib/libm/machine/riscv/vec_sin.c
@@ -0,0 +1,79 @@ 
+//   Copyright Naoki Shibata and contributors 2010 - 2025.
+// Distributed under the Boost Software License, Version 1.0.
+//    (See accompanying file LICENSE.txt or copy at
+//          http://www.boost.org/LICENSE_1_0.txt)
+
+// RISC-V Vector sin implementation
+// Ported to newlib
+
+#include "riscv-vec-math.h"
+#include <math.h>
+
+vdouble _ZGV1N2v_sin(vdouble d) {
+  vdouble u;
+  vdouble2 s, t, x;
+  vint ql;
+
+  vopmask g = vlt_vo_vd_vd(vabs_vd_vd(d), vcast_vd_d(TRIGRANGEMAX2));
+  vdouble dql = vrint_vd_vd(vmul_vd_vd_vd(d, vcast_vd_d(M_1_PI)));
+  ql = vrint_vi_vd(dql);
+  u = vmla_vd_vd_vd_vd(dql, vcast_vd_d(-PI_A2), d);
+  x = ddadd_vd2_vd_vd(u, vmul_vd_vd_vd(dql, vcast_vd_d(-PI_B2)));
+
+  if (!LIKELY(vtestallones_i_vo64(g))) {
+    vdouble dqh = vtruncate_vd_vd(vmul_vd_vd_vd(d, vcast_vd_d(M_1_PI / (1 << 24))));
+    dqh = vmul_vd_vd_vd(dqh, vcast_vd_d(1 << 24));
+    const vdouble dql = vrint_vd_vd(vmlapn_vd_vd_vd_vd(d, vcast_vd_d(M_1_PI), dqh));
+
+    u = vmla_vd_vd_vd_vd(dqh, vcast_vd_d(-PI_A), d);
+    s = ddadd_vd2_vd_vd(u, vmul_vd_vd_vd(dql, vcast_vd_d(-PI_A)));
+    s = ddadd2_vd2_vd2_vd(s, vmul_vd_vd_vd(dqh, vcast_vd_d(-PI_B)));
+    s = ddadd2_vd2_vd2_vd(s, vmul_vd_vd_vd(dql, vcast_vd_d(-PI_B)));
+    s = ddadd2_vd2_vd2_vd(s, vmul_vd_vd_vd(dqh, vcast_vd_d(-PI_C)));
+    s = ddadd2_vd2_vd2_vd(s, vmul_vd_vd_vd(dql, vcast_vd_d(-PI_C)));
+    s = ddadd_vd2_vd2_vd(s, vmul_vd_vd_vd(vadd_vd_vd_vd(dqh, dql), vcast_vd_d(-PI_D)));
+
+    ql = vsel_vi_vo_vi_vi(vcast_vo32_vo64(g), ql, vrint_vi_vd(dql));
+    x = vsel_vd2_vo_vd2_vd2(g, x, s);
+    g = vlt_vo_vd_vd(vabs_vd_vd(d), vcast_vd_d(TRIGRANGEMAX));
+
+    if (!LIKELY(vtestallones_i_vo64(g))) {
+      ddi_t ddi = rempi(d);
+      vint ql2 = vand_vi_vi_vi(ddigeti_vi_ddi(ddi), vcast_vi_i(3));
+      ql2 = vadd_vi_vi_vi(vadd_vi_vi_vi(ql2, ql2), vsel_vi_vo_vi_vi(vcast_vo32_vo64(vgt_vo_vd_vd(vd2getx_vd_vd2(ddigetdd_vd2_ddi(ddi)), vcast_vd_d(0))), vcast_vi_i(2), vcast_vi_i(1)));
+      ql2 = vsra_vi_vi_i(ql2, 2);
+      vopmask o = veq_vo_vi_vi(vand_vi_vi_vi(ddigeti_vi_ddi(ddi), vcast_vi_i(1)), vcast_vi_i(1));
+      vdouble2 t = vcast_vd2_vd_vd(vmulsign_vd_vd_vd(vcast_vd_d(-3.141592653589793116 * 0.5), vd2getx_vd_vd2(ddigetdd_vd2_ddi(ddi))), 
+                                   vmulsign_vd_vd_vd(vcast_vd_d(-1.2246467991473532072e-16 * 0.5), vd2getx_vd_vd2(ddigetdd_vd2_ddi(ddi))));
+      t = ddadd2_vd2_vd2_vd2(ddigetdd_vd2_ddi(ddi), t);
+      ddi = ddisetdd_ddi_ddi_vd2(ddi, vsel_vd2_vo_vd2_vd2(vcast_vo64_vo32(o), t, ddigetdd_vd2_ddi(ddi)));
+      s = ddnormalize_vd2_vd2(ddigetdd_vd2_ddi(ddi));
+      ql = vsel_vi_vo_vi_vi(vcast_vo32_vo64(g), ql, ql2);
+      x = vsel_vd2_vo_vd2_vd2(g, x, s);
+      x = vd2setx_vd2_vd2_vd(x, vreinterpret_vd_vm(vor_vm_vo64_vm(vor_vo_vo_vo(visinf_vo_vd(d), visnan_vo_vd(d)), vreinterpret_vm_vd(vd2getx_vd_vd2(x)))));
+    }
+  }
+  
+  t = x;
+  s = ddsqu_vd2_vd2(x);
+
+  vdouble s2 = vmul_vd_vd_vd(vd2getx_vd_vd2(s), vd2getx_vd_vd2(s)), s4 = vmul_vd_vd_vd(s2, s2);
+  u = POLY6(vd2getx_vd_vd2(s), s2, s4,
+            2.72052416138529567917983e-15,
+            -7.6429259411395447190023e-13,
+            1.60589370117277896211623e-10,
+            -2.5052106814843123359368e-08,
+            2.75573192104428224777379e-06,
+            -0.000198412698412046454654947);
+  u = vmla_vd_vd_vd_vd(u, vd2getx_vd_vd2(s), vcast_vd_d(0.00833333333333318056201922));
+
+  x = ddadd_vd2_vd_vd2(vcast_vd_d(1), ddmul_vd2_vd2_vd2(ddadd_vd2_vd_vd(vcast_vd_d(-0.166666666666666657414808), vmul_vd_vd_vd(u, vd2getx_vd_vd2(s))), s));
+  u = ddmul_vd_vd2_vd2(t, x);
+
+  u = vreinterpret_vd_vm(vxor_vm_vm_vm(vand_vm_vo64_vm(vcast_vo64_vo32(veq_vo_vi_vi(vand_vi_vi_vi(ql, vcast_vi_i(1)), vcast_vi_i(1))),
+                                                       vreinterpret_vm_vd(vcast_vd_d(-0.0))), vreinterpret_vm_vd(u)));
+
+  u = vsel_vd_vo_vd_vd(veq_vo_vd_vd(d, vcast_vd_d(0)), d, u);
+  
+  return u;
+}