177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <stdio.h> 277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include "DD.h" 377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaolong double __gcc_qmul(long double x, long double y); 577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaodouble testAccuracy(); 777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint testEdgeCases(); 877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint main(int argc, char *argv[]) { 1077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (testEdgeCases()) 1177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 1277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (testAccuracy() > 2.0) 1477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 1577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 0; 1777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 1877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaostruct testVector { 2077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double xhi; double xlo; 2177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double yhi; double ylo; 2277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double rhi; double rlo; 2377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao}; 2477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#define INFINITY __builtin_inf() 2677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#define HUGE 0x1.fffffffffffffp1023 2777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#define QNAN __builtin_nan("") 2877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoconst struct testVector edgeCases[] = { 3077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 }, 3177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -0.0, 0.0, 0.0, 0.0, -0.0, 0.0 }, 3277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 0.0, 0.0, -0.0, 0.0, -0.0, 0.0 }, 3377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -0.0, 0.0, -0.0, 0.0, 0.0, 0.0 }, 3477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 3577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, 0.0, 0.0, QNAN, 0.0 }, 3677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, 0.0, 0.0, QNAN, 0.0 }, 3777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, -0.0, 0.0, QNAN, 0.0 }, 3877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, -0.0, 0.0, QNAN, 0.0 }, 3977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, 1.0, 0.0, INFINITY, 0.0 }, 4077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, 1.0, 0.0, -INFINITY, 0.0 }, 4177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, -1.0, 0.0, -INFINITY, 0.0 }, 4277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, -1.0, 0.0, INFINITY, 0.0 }, 4377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, HUGE, 0.0, INFINITY, 0.0 }, 4477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, HUGE, 0.0, -INFINITY, 0.0 }, 4577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, -HUGE, 0.0, -INFINITY, 0.0 }, 4677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, -HUGE, 0.0, INFINITY, 0.0 }, 4777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, INFINITY, 0.0, INFINITY, 0.0 }, 4877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, INFINITY, 0.0, -INFINITY, 0.0 }, 4977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, -INFINITY, 0.0, -INFINITY, 0.0 }, 5077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, -INFINITY, 0.0, INFINITY, 0.0 }, 5177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 0.0, 0.0, INFINITY, 0.0, QNAN, 0.0 }, 5277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 0.0, 0.0, -INFINITY, 0.0, QNAN, 0.0 }, 5377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -0.0, 0.0, INFINITY, 0.0, QNAN, 0.0 }, 5477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -0.0, 0.0, -INFINITY, 0.0, QNAN, 0.0 }, 5577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 1.0, 0.0, INFINITY, 0.0, INFINITY, 0.0 }, 5677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 1.0, 0.0, -INFINITY, 0.0, -INFINITY, 0.0 }, 5777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -1.0, 0.0, INFINITY, 0.0, -INFINITY, 0.0 }, 5877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -1.0, 0.0, -INFINITY, 0.0, INFINITY, 0.0 }, 5977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ HUGE, 0.0, INFINITY, 0.0, INFINITY, 0.0 }, 6077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ HUGE, 0.0, -INFINITY, 0.0, -INFINITY, 0.0 }, 6177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -HUGE, 0.0, INFINITY, 0.0, -INFINITY, 0.0 }, 6277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -HUGE, 0.0, -INFINITY, 0.0, INFINITY, 0.0 }, 6377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 6477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, 0.0, 0.0, QNAN, 0.0 }, 6577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, 0.0, 0.0, QNAN, 0.0 }, 6677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, -0.0, 0.0, QNAN, 0.0 }, 6777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, -0.0, 0.0, QNAN, 0.0 }, 6877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, 1.0, 0.0, QNAN, 0.0 }, 6977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, 1.0, 0.0, QNAN, 0.0 }, 7077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, -1.0, 0.0, QNAN, 0.0 }, 7177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, -1.0, 0.0, QNAN, 0.0 }, 7277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, HUGE, 0.0, QNAN, 0.0 }, 7377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, HUGE, 0.0, QNAN, 0.0 }, 7477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, -HUGE, 0.0, QNAN, 0.0 }, 7577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, -HUGE, 0.0, QNAN, 0.0 }, 7677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, INFINITY, 0.0, QNAN, 0.0 }, 7777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, INFINITY, 0.0, QNAN, 0.0 }, 7877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, -INFINITY, 0.0, QNAN, 0.0 }, 7977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, -INFINITY, 0.0, QNAN, 0.0 }, 8077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, QNAN, 0.0, QNAN, 0.0 }, 8177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, QNAN, 0.0, QNAN, 0.0 }, 8277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ QNAN, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 8377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -QNAN, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 8477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 0.0, 0.0, QNAN, 0.0, QNAN, 0.0 }, 8577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 0.0, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 8677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -0.0, 0.0, QNAN, 0.0, QNAN, 0.0 }, 8777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -0.0, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 8877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 1.0, 0.0, QNAN, 0.0, QNAN, 0.0 }, 8977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 1.0, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 9077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -1.0, 0.0, QNAN, 0.0, QNAN, 0.0 }, 9177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -1.0, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 9277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ HUGE, 0.0, QNAN, 0.0, QNAN, 0.0 }, 9377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ HUGE, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 9477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -HUGE, 0.0, QNAN, 0.0, QNAN, 0.0 }, 9577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -HUGE, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 9677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, QNAN, 0.0, QNAN, 0.0 }, 9777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ INFINITY, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 9877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, QNAN, 0.0, QNAN, 0.0 }, 9977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ -INFINITY, 0.0, -QNAN, 0.0, QNAN, 0.0 }, 10077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao}; 10177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 10277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoconst int numEdgeCases = sizeof(edgeCases) / sizeof(struct testVector); 10377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 10477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 10577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint testEdgeCases() { 10677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao int i; 10777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao DD a, b, c, r; 10877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao for (i=0; i<numEdgeCases; ++i) { 10977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao a.hi = edgeCases[i].xhi; 11077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao a.lo = edgeCases[i].xlo; 11177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao b.hi = edgeCases[i].yhi; 11277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao b.lo = edgeCases[i].ylo; 11377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao r.hi = edgeCases[i].rhi; 11477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao r.lo = edgeCases[i].rlo; 11577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 11677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao int error; 11777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 11877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao DD c = { .ld = __gcc_qmul(a.ld, b.ld) }; 11977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 12077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (r.hi != r.hi) { 12177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (c.hi == c.hi) 12277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao error = 1; 12377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao else if (c.lo != 0.0) 12477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao error = 1; 12577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao else 12677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao error = 0; 12777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 12877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 12977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao else if (r.hi == 0.0) 13077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao error = memcmp(&c, &r, sizeof(DD)); 13177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 13277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao else 13377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao error = ((c.hi != r.hi) || (c.lo != r.lo)); 13477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 13577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (error) { 13677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("Error on edge case %a x %a: expected (%a, %a), got (%a, %a).\n", a.hi, b.hi, r.hi, r.lo, c.hi, c.lo); 13777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 13877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 13977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 14077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 14177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 0; 14277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 14377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 14477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 14577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao/* 14677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 14777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao Code for generating the test cases, requires the mpfr package to run. 14877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 14977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #include <stdio.h> 15077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #include <stdlib.h> 15177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #include <mpfr.h> 15277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #include <math.h> 15377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 15477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #ifdef __x86_64__ 15577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #define randlength 2 15677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #else 15777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #define randlength 4 15877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao #endif 15977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 16077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao void printTest(mpfr_t a, mpfr_t b, mpfr_t c) { 16177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao static const double INFINITYD = __builtin_INFINITY(); 16277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 16377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao MPFR_DECL_INIT(tmp, 53); 16477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 16577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double ahi = mpfr_get_d(a, GMP_RNDN); 16677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_set_d(tmp, ahi, GMP_RNDN); 16777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_sub(tmp, a, tmp, GMP_RNDN); 16877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double alo = mpfr_get_d(tmp, GMP_RNDN); 16977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("{%0.13a, %0.13a, ", ahi, alo); 17077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 17177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double bhi = mpfr_get_d(b, GMP_RNDN); 17277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_set_d(tmp, bhi, GMP_RNDN); 17377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_sub(tmp, b, tmp, GMP_RNDN); 17477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double blo = mpfr_get_d(tmp, GMP_RNDN); 17577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("%0.13a, %0.13a, ", bhi, blo); 17677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 17777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double chi = mpfr_get_d(c, GMP_RNDN); 17877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_set_d(tmp, chi, GMP_RNDN); 17977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_sub(tmp, c, tmp, GMP_RNDN); 18077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double clo = isINFINITY(chi) ? 0.0 : mpfr_get_d(tmp, GMP_RNDN); 18177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("%0.13a, %0.13a},\n", chi, clo); 18277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 18377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 18477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao int main(int argc, char *argv[]) { 18577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 18677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao MPFR_DECL_INIT(a, 106); 18777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao MPFR_DECL_INIT(b, 106); 18877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao MPFR_DECL_INIT(c, 106); 18977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 19077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao int exponent_range = atoi(argv[1]); 19177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 19277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao int i; 19377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao for (i=0; i<128; ++i) { 19477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_random2(a, randlength, exponent_range); 19577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_random2(b, randlength, exponent_range); 19677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_mul(c, a, b, GMP_RNDN); 19777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printTest(a, b, c); 19877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 19977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_neg(b, b, GMP_RNDN); 20077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_mul(c, a, b, GMP_RNDN); 20177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printTest(a, b, c); 20277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 20377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_neg(a, a, GMP_RNDN); 20477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_neg(b, b, GMP_RNDN); 20577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_mul(c, a, b, GMP_RNDN); 20677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printTest(a, b, c); 20777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 20877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_neg(b, b, GMP_RNDN); 20977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao mpfr_mul(c, a, b, GMP_RNDN); 21077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printTest(a, b, c); 21177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 21277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 0; 21377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 21477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 21577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao */ 21677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 21777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoconst struct testVector accuracyTests[] = { 21877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00001ffffff00p-784, 0x1.fffff83ff8000p-839, 0x1.00ffc00ffff00p-771, 0x1.fe0007fffff00p-827, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 21977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00001ffffff00p-784, 0x1.fffff83ff8000p-839, -0x1.00ffc00ffff00p-771, -0x1.fe0007fffff00p-827, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 22077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00001ffffff00p-784, -0x1.fffff83ff8000p-839, 0x1.00ffc00ffff00p-771, 0x1.fe0007fffff00p-827, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 22177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00001ffffff00p-784, -0x1.fffff83ff8000p-839, -0x1.00ffc00ffff00p-771, -0x1.fe0007fffff00p-827, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 22277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00001fffff800p-705, 0x1.fffffffe00000p-779, 0x1.3fffffff80000p+666, 0x1.ffffffff00000p+593, 0x1.400027ff7f5ffp-39, 0x1.e0001ffe80000p-111}, 22377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00001fffff800p-705, 0x1.fffffffe00000p-779, -0x1.3fffffff80000p+666, -0x1.ffffffff00000p+593, -0x1.400027ff7f5ffp-39, -0x1.e0001ffe80000p-111}, 22477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00001fffff800p-705, -0x1.fffffffe00000p-779, 0x1.3fffffff80000p+666, 0x1.ffffffff00000p+593, -0x1.400027ff7f5ffp-39, -0x1.e0001ffe80000p-111}, 22577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00001fffff800p-705, -0x1.fffffffe00000p-779, -0x1.3fffffff80000p+666, -0x1.ffffffff00000p+593, 0x1.400027ff7f5ffp-39, 0x1.e0001ffe80000p-111}, 22677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p-800, -0x1.0000000000000p-872, 0x1.000003fffc002p-916, -0x1.0000000000000p-1021, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 22777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p-800, -0x1.0000000000000p-872, -0x1.000003fffc002p-916, 0x1.0000000000000p-1021, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 22877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p-800, 0x1.0000000000000p-872, 0x1.000003fffc002p-916, -0x1.0000000000000p-1021, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 22977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p-800, 0x1.0000000000000p-872, -0x1.000003fffc002p-916, 0x1.0000000000000p-1021, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 23077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000003ffffffep-19, -0x1.ffe0080000000p-103, 0x1.0800000000000p-211, -0x1.0000000000000p-307, 0x1.0800041fffffep-230, -0x1.00000020fef08p-286}, 23177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000003ffffffep-19, -0x1.ffe0080000000p-103, -0x1.0800000000000p-211, 0x1.0000000000000p-307, -0x1.0800041fffffep-230, 0x1.00000020fef08p-286}, 23277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000003ffffffep-19, 0x1.ffe0080000000p-103, 0x1.0800000000000p-211, -0x1.0000000000000p-307, -0x1.0800041fffffep-230, 0x1.00000020fef08p-286}, 23377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000003ffffffep-19, 0x1.ffe0080000000p-103, -0x1.0800000000000p-211, 0x1.0000000000000p-307, 0x1.0800041fffffep-230, -0x1.00000020fef08p-286}, 23477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000007fffc00p-464, 0x1.efe0000000000p-558, 0x1.007fffffe0000p+756, 0x0.0000000000000p+0, 0x1.008000801fbfep+292, -0x1.fffeffff07900p+231}, 23577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000007fffc00p-464, 0x1.efe0000000000p-558, -0x1.007fffffe0000p+756, 0x0.0000000000000p+0, -0x1.008000801fbfep+292, 0x1.fffeffff07900p+231}, 23677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000007fffc00p-464, -0x1.efe0000000000p-558, 0x1.007fffffe0000p+756, 0x0.0000000000000p+0, -0x1.008000801fbfep+292, 0x1.fffeffff07900p+231}, 23777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000007fffc00p-464, -0x1.efe0000000000p-558, -0x1.007fffffe0000p+756, 0x0.0000000000000p+0, 0x1.008000801fbfep+292, -0x1.fffeffff07900p+231}, 23877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fe0000100000p-20, -0x1.0000000000000p-93, 0x1.3fffffffffe00p-397, 0x1.fe00040000000p-472, 0x1.8fd800013fd80p-417, 0x1.ffffc7d404500p-472}, 23977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fe0000100000p-20, -0x1.0000000000000p-93, -0x1.3fffffffffe00p-397, -0x1.fe00040000000p-472, -0x1.8fd800013fd80p-417, -0x1.ffffc7d404500p-472}, 24077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fe0000100000p-20, 0x1.0000000000000p-93, 0x1.3fffffffffe00p-397, 0x1.fe00040000000p-472, -0x1.8fd800013fd80p-417, -0x1.ffffc7d404500p-472}, 24177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fe0000100000p-20, 0x1.0000000000000p-93, -0x1.3fffffffffe00p-397, -0x1.fe00040000000p-472, 0x1.8fd800013fd80p-417, 0x1.ffffc7d404500p-472}, 24277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0001fff800000p-371, 0x1.ffffff0000ffep-425, 0x1.00ff000000800p-806, -0x1.0000000800000p-872, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 24377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0001fff800000p-371, 0x1.ffffff0000ffep-425, -0x1.00ff000000800p-806, 0x1.0000000800000p-872, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 24477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0001fff800000p-371, -0x1.ffffff0000ffep-425, 0x1.00ff000000800p-806, -0x1.0000000800000p-872, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 24577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0001fff800000p-371, -0x1.ffffff0000ffep-425, -0x1.00ff000000800p-806, 0x1.0000000800000p-872, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 24677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000800000000p-723, -0x1.ffffffe400000p-786, 0x1.000001ffffffap-94, -0x1.ffe1f80400000p-169, 0x1.0000820000ffap-817, -0x1.0c100109bfa00p-879}, 24777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000800000000p-723, -0x1.ffffffe400000p-786, -0x1.000001ffffffap-94, 0x1.ffe1f80400000p-169, -0x1.0000820000ffap-817, 0x1.0c100109bfa00p-879}, 24877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000800000000p-723, 0x1.ffffffe400000p-786, 0x1.000001ffffffap-94, -0x1.ffe1f80400000p-169, -0x1.0000820000ffap-817, 0x1.0c100109bfa00p-879}, 24977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000800000000p-723, 0x1.ffffffe400000p-786, -0x1.000001ffffffap-94, 0x1.ffe1f80400000p-169, 0x1.0000820000ffap-817, -0x1.0c100109bfa00p-879}, 25077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000010000000p-343, -0x1.0000000000000p-448, 0x1.007fffffffc00p-425, 0x1.fffffc0000000p-496, 0x1.008001007fc00p-768, -0x1.e000002004000p-835}, 25177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000010000000p-343, -0x1.0000000000000p-448, -0x1.007fffffffc00p-425, -0x1.fffffc0000000p-496, -0x1.008001007fc00p-768, 0x1.e000002004000p-835}, 25277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000010000000p-343, 0x1.0000000000000p-448, 0x1.007fffffffc00p-425, 0x1.fffffc0000000p-496, -0x1.008001007fc00p-768, 0x1.e000002004000p-835}, 25377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000010000000p-343, 0x1.0000000000000p-448, -0x1.007fffffffc00p-425, -0x1.fffffc0000000p-496, 0x1.008001007fc00p-768, -0x1.e000002004000p-835}, 25477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0080000000000p-417, -0x1.0000000000000p-490, 0x1.001ffffffc000p-985, 0x1.0000000000000p-1039, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 25577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0080000000000p-417, -0x1.0000000000000p-490, -0x1.001ffffffc000p-985, -0x1.0000000000000p-1039, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 25677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0080000000000p-417, 0x1.0000000000000p-490, 0x1.001ffffffc000p-985, 0x1.0000000000000p-1039, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 25777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0080000000000p-417, 0x1.0000000000000p-490, -0x1.001ffffffc000p-985, -0x1.0000000000000p-1039, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 25877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001fffff80p-758, 0x1.fffffc001fffcp-813, 0x1.00001ffff8000p+939, 0x1.00007f001e000p+884, 0x1.000021fff8380p+181, 0x1.7bc05e90173aep+127}, 25977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001fffff80p-758, 0x1.fffffc001fffcp-813, -0x1.00001ffff8000p+939, -0x1.00007f001e000p+884, -0x1.000021fff8380p+181, -0x1.7bc05e90173aep+127}, 26077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001fffff80p-758, -0x1.fffffc001fffcp-813, 0x1.00001ffff8000p+939, 0x1.00007f001e000p+884, -0x1.000021fff8380p+181, -0x1.7bc05e90173aep+127}, 26177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001fffff80p-758, -0x1.fffffc001fffcp-813, -0x1.00001ffff8000p+939, -0x1.00007f001e000p+884, 0x1.000021fff8380p+181, 0x1.7bc05e90173aep+127}, 26277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00f3ffffff000p-189, 0x1.fff8000000000p-257, 0x1.3dfffffffc000p+294, 0x1.ff000003ffe00p+233, 0x1.3f2f17fffabe3p+105, 0x1.02efbc1200d00p+45}, 26377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00f3ffffff000p-189, 0x1.fff8000000000p-257, -0x1.3dfffffffc000p+294, -0x1.ff000003ffe00p+233, -0x1.3f2f17fffabe3p+105, -0x1.02efbc1200d00p+45}, 26477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00f3ffffff000p-189, -0x1.fff8000000000p-257, 0x1.3dfffffffc000p+294, 0x1.ff000003ffe00p+233, -0x1.3f2f17fffabe3p+105, -0x1.02efbc1200d00p+45}, 26577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00f3ffffff000p-189, -0x1.fff8000000000p-257, -0x1.3dfffffffc000p+294, -0x1.ff000003ffe00p+233, 0x1.3f2f17fffabe3p+105, 0x1.02efbc1200d00p+45}, 26677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001ffff80p-98, 0x1.fffffdfffff8ep-152, 0x1.0000000000000p+1023, -0x1.0000000000000p+953, 0x1.0000001ffff80p+925, 0x1.fffefdffffd8ep+871}, 26777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001ffff80p-98, 0x1.fffffdfffff8ep-152, -0x1.0000000000000p+1023, 0x1.0000000000000p+953, -0x1.0000001ffff80p+925, -0x1.fffefdffffd8ep+871}, 26877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001ffff80p-98, -0x1.fffffdfffff8ep-152, 0x1.0000000000000p+1023, -0x1.0000000000000p+953, -0x1.0000001ffff80p+925, -0x1.fffefdffffd8ep+871}, 26977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001ffff80p-98, -0x1.fffffdfffff8ep-152, -0x1.0000000000000p+1023, 0x1.0000000000000p+953, 0x1.0000001ffff80p+925, 0x1.fffefdffffd8ep+871}, 27077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001fffffffe00p+730, 0x0.0000000000000p+0, 0x1.0000002000000p+702, -0x1.0000000000000p+602, INFINITY, 0x0.0000000000000p+0}, 27177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001fffffffe00p+730, 0x0.0000000000000p+0, -0x1.0000002000000p+702, 0x1.0000000000000p+602, -INFINITY, 0x0.0000000000000p+0}, 27277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001fffffffe00p+730, 0x0.0000000000000p+0, 0x1.0000002000000p+702, -0x1.0000000000000p+602, -INFINITY, 0x0.0000000000000p+0}, 27377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001fffffffe00p+730, 0x0.0000000000000p+0, -0x1.0000002000000p+702, 0x1.0000000000000p+602, INFINITY, 0x0.0000000000000p+0}, 27477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01ffffffe0000p+902, 0x1.c000000200000p+841, 0x1.0001fff800ffep-251, 0x1.c000000000000p-354, 0x1.020203f7d101ap+651, -0x1.88001fe2ff740p+592}, 27577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01ffffffe0000p+902, 0x1.c000000200000p+841, -0x1.0001fff800ffep-251, -0x1.c000000000000p-354, -0x1.020203f7d101ap+651, 0x1.88001fe2ff740p+592}, 27677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01ffffffe0000p+902, -0x1.c000000200000p+841, 0x1.0001fff800ffep-251, 0x1.c000000000000p-354, -0x1.020203f7d101ap+651, 0x1.88001fe2ff740p+592}, 27777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01ffffffe0000p+902, -0x1.c000000200000p+841, -0x1.0001fff800ffep-251, -0x1.c000000000000p-354, 0x1.020203f7d101ap+651, -0x1.88001fe2ff740p+592}, 27877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000007ff800p-179, 0x1.ffff800000000p-267, 0x1.00003fe0c4000p+973, -0x1.fffc032000000p+910, 0x1.00003fe8c3820p+794, -0x1.1dd05a045ffe0p+738}, 27977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000007ff800p-179, 0x1.ffff800000000p-267, -0x1.00003fe0c4000p+973, 0x1.fffc032000000p+910, -0x1.00003fe8c3820p+794, 0x1.1dd05a045ffe0p+738}, 28077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000007ff800p-179, -0x1.ffff800000000p-267, 0x1.00003fe0c4000p+973, -0x1.fffc032000000p+910, -0x1.00003fe8c3820p+794, 0x1.1dd05a045ffe0p+738}, 28177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000007ff800p-179, -0x1.ffff800000000p-267, -0x1.00003fe0c4000p+973, 0x1.fffc032000000p+910, 0x1.00003fe8c3820p+794, -0x1.1dd05a045ffe0p+738}, 28277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001fff8008p-475, -0x1.0000000000000p-557, 0x1.000ffffff8000p+593, 0x1.ffffffffffc00p+538, 0x1.0010020010000p+118, 0x1.fc0023ddedc10p+63}, 28377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001fff8008p-475, -0x1.0000000000000p-557, -0x1.000ffffff8000p+593, -0x1.ffffffffffc00p+538, -0x1.0010020010000p+118, -0x1.fc0023ddedc10p+63}, 28477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001fff8008p-475, 0x1.0000000000000p-557, 0x1.000ffffff8000p+593, 0x1.ffffffffffc00p+538, -0x1.0010020010000p+118, -0x1.fc0023ddedc10p+63}, 28577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001fff8008p-475, 0x1.0000000000000p-557, -0x1.000ffffff8000p+593, -0x1.ffffffffffc00p+538, 0x1.0010020010000p+118, 0x1.fc0023ddedc10p+63}, 28677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007fbfffffcf0p-964, 0x1.ffff803ffe000p-1019, 0x1.0007ffff00000p+383, 0x1.fffff80000000p+313, 0x1.0087c3fcff4f4p-581, 0x1.3c139ab8eff88p-636}, 28777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007fbfffffcf0p-964, 0x1.ffff803ffe000p-1019, -0x1.0007ffff00000p+383, -0x1.fffff80000000p+313, -0x1.0087c3fcff4f4p-581, -0x1.3c139ab8eff88p-636}, 28877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007fbfffffcf0p-964, -0x1.ffff803ffe000p-1019, 0x1.0007ffff00000p+383, 0x1.fffff80000000p+313, -0x1.0087c3fcff4f4p-581, -0x1.3c139ab8eff88p-636}, 28977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007fbfffffcf0p-964, -0x1.ffff803ffe000p-1019, -0x1.0007ffff00000p+383, -0x1.fffff80000000p+313, 0x1.0087c3fcff4f4p-581, 0x1.3c139ab8eff88p-636}, 29077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001fc4000p-493, -0x1.fe003ffe00000p-549, 0x1.01ffffffc0004p+997, -0x1.fffc100000000p+936, 0x1.0200001fc3884p+504, -0x1.0cf68c873c5e4p+449}, 29177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001fc4000p-493, -0x1.fe003ffe00000p-549, -0x1.01ffffffc0004p+997, 0x1.fffc100000000p+936, -0x1.0200001fc3884p+504, 0x1.0cf68c873c5e4p+449}, 29277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001fc4000p-493, 0x1.fe003ffe00000p-549, 0x1.01ffffffc0004p+997, -0x1.fffc100000000p+936, -0x1.0200001fc3884p+504, 0x1.0cf68c873c5e4p+449}, 29377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001fc4000p-493, 0x1.fe003ffe00000p-549, -0x1.01ffffffc0004p+997, 0x1.fffc100000000p+936, 0x1.0200001fc3884p+504, -0x1.0cf68c873c5e4p+449}, 29477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0007e3ffe0000p-845, 0x1.fe0ffffffe000p-909, 0x1.0000001000000p+62, -0x1.ffffff0000800p-2, 0x1.0007e40fe07e4p-783, -0x1.00ffe36fecc00p-846}, 29577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0007e3ffe0000p-845, 0x1.fe0ffffffe000p-909, -0x1.0000001000000p+62, 0x1.ffffff0000800p-2, -0x1.0007e40fe07e4p-783, 0x1.00ffe36fecc00p-846}, 29677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0007e3ffe0000p-845, -0x1.fe0ffffffe000p-909, 0x1.0000001000000p+62, -0x1.ffffff0000800p-2, -0x1.0007e40fe07e4p-783, 0x1.00ffe36fecc00p-846}, 29777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0007e3ffe0000p-845, -0x1.fe0ffffffe000p-909, -0x1.0000001000000p+62, 0x1.ffffff0000800p-2, 0x1.0007e40fe07e4p-783, -0x1.00ffe36fecc00p-846}, 29877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001000000p-487, -0x1.fffffff804000p-554, 0x1.003ffffff8000p+696, 0x1.f00000007fc00p+638, 0x1.0040000ffc000p+209, 0x1.ecffc01f83c60p+151}, 29977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001000000p-487, -0x1.fffffff804000p-554, -0x1.003ffffff8000p+696, -0x1.f00000007fc00p+638, -0x1.0040000ffc000p+209, -0x1.ecffc01f83c60p+151}, 30077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001000000p-487, 0x1.fffffff804000p-554, 0x1.003ffffff8000p+696, 0x1.f00000007fc00p+638, -0x1.0040000ffc000p+209, -0x1.ecffc01f83c60p+151}, 30177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001000000p-487, 0x1.fffffff804000p-554, -0x1.003ffffff8000p+696, -0x1.f00000007fc00p+638, 0x1.0040000ffc000p+209, 0x1.ecffc01f83c60p+151}, 30277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1ffff80000000p+591, 0x1.ffffff7ff8000p+532, 0x1.00ff000000004p+69, -0x1.ffffff0000400p+6, 0x1.211ed7f808005p+660, -0x1.f1108ffb743c6p+606}, 30377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1ffff80000000p+591, 0x1.ffffff7ff8000p+532, -0x1.00ff000000004p+69, 0x1.ffffff0000400p+6, -0x1.211ed7f808005p+660, 0x1.f1108ffb743c6p+606}, 30477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1ffff80000000p+591, -0x1.ffffff7ff8000p+532, 0x1.00ff000000004p+69, -0x1.ffffff0000400p+6, -0x1.211ed7f808005p+660, 0x1.f1108ffb743c6p+606}, 30577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1ffff80000000p+591, -0x1.ffffff7ff8000p+532, -0x1.00ff000000004p+69, 0x1.ffffff0000400p+6, 0x1.211ed7f808005p+660, -0x1.f1108ffb743c6p+606}, 30677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000ffff800p-309, 0x1.fffffc0000000p-392, 0x1.0008000000000p+75, -0x1.0000000000000p+7, 0x1.0008010007800p-234, -0x1.0003fff003802p-288}, 30777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000ffff800p-309, 0x1.fffffc0000000p-392, -0x1.0008000000000p+75, 0x1.0000000000000p+7, -0x1.0008010007800p-234, 0x1.0003fff003802p-288}, 30877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000ffff800p-309, -0x1.fffffc0000000p-392, 0x1.0008000000000p+75, -0x1.0000000000000p+7, -0x1.0008010007800p-234, 0x1.0003fff003802p-288}, 30977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000ffff800p-309, -0x1.fffffc0000000p-392, -0x1.0008000000000p+75, 0x1.0000000000000p+7, 0x1.0008010007800p-234, -0x1.0003fff003802p-288}, 31077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000183ffffc0p+670, 0x1.fff07fcfffffcp+616, 0x1.0000010000000p+363, -0x1.0000000000000p+288, INFINITY, 0x0.0000000000000p+0}, 31177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000183ffffc0p+670, 0x1.fff07fcfffffcp+616, -0x1.0000010000000p+363, 0x1.0000000000000p+288, -INFINITY, 0x0.0000000000000p+0}, 31277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000183ffffc0p+670, -0x1.fff07fcfffffcp+616, 0x1.0000010000000p+363, -0x1.0000000000000p+288, -INFINITY, 0x0.0000000000000p+0}, 31377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000183ffffc0p+670, -0x1.fff07fcfffffcp+616, -0x1.0000010000000p+363, 0x1.0000000000000p+288, INFINITY, 0x0.0000000000000p+0}, 31477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0001000000000p-455, -0x1.fffffff800400p-518, 0x1.0000800000000p-998, -0x1.0000000000000p-1070, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 31577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0001000000000p-455, -0x1.fffffff800400p-518, -0x1.0000800000000p-998, 0x1.0000000000000p-1070, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 31677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0001000000000p-455, 0x1.fffffff800400p-518, 0x1.0000800000000p-998, -0x1.0000000000000p-1070, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 31777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0001000000000p-455, 0x1.fffffff800400p-518, -0x1.0000800000000p-998, 0x1.0000000000000p-1070, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 31877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3ffff800fff81p-572, -0x1.0000000000000p-663, 0x1.1fffffff00000p+890, 0x1.fffffff000000p+813, 0x1.67fff6ffdff72p+318, -0x1.803ff90409202p+264}, 31977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3ffff800fff81p-572, -0x1.0000000000000p-663, -0x1.1fffffff00000p+890, -0x1.fffffff000000p+813, -0x1.67fff6ffdff72p+318, 0x1.803ff90409202p+264}, 32077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3ffff800fff81p-572, 0x1.0000000000000p-663, 0x1.1fffffff00000p+890, 0x1.fffffff000000p+813, -0x1.67fff6ffdff72p+318, 0x1.803ff90409202p+264}, 32177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3ffff800fff81p-572, 0x1.0000000000000p-663, -0x1.1fffffff00000p+890, -0x1.fffffff000000p+813, 0x1.67fff6ffdff72p+318, -0x1.803ff90409202p+264}, 32277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.fffffc0000100p-97, -0x1.fffe000040000p-168, 0x1.0000800000000p-692, -0x1.c000fffffffd0p-749, 0x1.00007dffff080p-788, -0x1.b804fc7dfe0a0p-845}, 32377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.fffffc0000100p-97, -0x1.fffe000040000p-168, -0x1.0000800000000p-692, 0x1.c000fffffffd0p-749, -0x1.00007dffff080p-788, 0x1.b804fc7dfe0a0p-845}, 32477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.fffffc0000100p-97, 0x1.fffe000040000p-168, 0x1.0000800000000p-692, -0x1.c000fffffffd0p-749, -0x1.00007dffff080p-788, 0x1.b804fc7dfe0a0p-845}, 32577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.fffffc0000100p-97, 0x1.fffe000040000p-168, -0x1.0000800000000p-692, 0x1.c000fffffffd0p-749, 0x1.00007dffff080p-788, -0x1.b804fc7dfe0a0p-845}, 32677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.003f80ff00004p-671, -0x1.ffffc00040000p-742, 0x1.0000ffffff000p+38, 0x1.ffe000003ffe0p-20, 0x1.0040813e7fff0p-633, 0x1.fea97cff90170p-690}, 32777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.003f80ff00004p-671, -0x1.ffffc00040000p-742, -0x1.0000ffffff000p+38, -0x1.ffe000003ffe0p-20, -0x1.0040813e7fff0p-633, -0x1.fea97cff90170p-690}, 32877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.003f80ff00004p-671, 0x1.ffffc00040000p-742, 0x1.0000ffffff000p+38, 0x1.ffe000003ffe0p-20, -0x1.0040813e7fff0p-633, -0x1.fea97cff90170p-690}, 32977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.003f80ff00004p-671, 0x1.ffffc00040000p-742, -0x1.0000ffffff000p+38, -0x1.ffe000003ffe0p-20, 0x1.0040813e7fff0p-633, 0x1.fea97cff90170p-690}, 33077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000003fffff80p+967, 0x1.f007ffe00fc00p+904, 0x1.3ff8007ffffc0p-732, 0x1.e0007ff000000p-798, 0x1.3ff8057fdff40p+235, 0x1.14efd48c70c80p+177}, 33177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000003fffff80p+967, 0x1.f007ffe00fc00p+904, -0x1.3ff8007ffffc0p-732, -0x1.e0007ff000000p-798, -0x1.3ff8057fdff40p+235, -0x1.14efd48c70c80p+177}, 33277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000003fffff80p+967, -0x1.f007ffe00fc00p+904, 0x1.3ff8007ffffc0p-732, 0x1.e0007ff000000p-798, -0x1.3ff8057fdff40p+235, -0x1.14efd48c70c80p+177}, 33377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000003fffff80p+967, -0x1.f007ffe00fc00p+904, -0x1.3ff8007ffffc0p-732, -0x1.e0007ff000000p-798, 0x1.3ff8057fdff40p+235, 0x1.14efd48c70c80p+177}, 33477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.ffffffe000000p-621, -0x1.ff80000020000p-677, 0x1.0000ffffff81fp+121, 0x1.ffc7fff800000p+57, 0x1.0000ffefff71fp-499, -0x1.fb72ad806efd0p-556}, 33577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.ffffffe000000p-621, -0x1.ff80000020000p-677, -0x1.0000ffffff81fp+121, -0x1.ffc7fff800000p+57, -0x1.0000ffefff71fp-499, 0x1.fb72ad806efd0p-556}, 33677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.ffffffe000000p-621, 0x1.ff80000020000p-677, 0x1.0000ffffff81fp+121, 0x1.ffc7fff800000p+57, -0x1.0000ffefff71fp-499, 0x1.fb72ad806efd0p-556}, 33777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.ffffffe000000p-621, 0x1.ff80000020000p-677, -0x1.0000ffffff81fp+121, -0x1.ffc7fff800000p+57, 0x1.0000ffefff71fp-499, -0x1.fb72ad806efd0p-556}, 33877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p-286, -0x1.ffffc02000000p-364, 0x1.7fffe00800000p-363, -0x1.0000000000000p-468, 0x1.7fffe013ffff0p-649, 0x1.ffffa00013f40p-708}, 33977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p-286, -0x1.ffffc02000000p-364, -0x1.7fffe00800000p-363, 0x1.0000000000000p-468, -0x1.7fffe013ffff0p-649, -0x1.ffffa00013f40p-708}, 34077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p-286, 0x1.ffffc02000000p-364, 0x1.7fffe00800000p-363, -0x1.0000000000000p-468, -0x1.7fffe013ffff0p-649, -0x1.ffffa00013f40p-708}, 34177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p-286, 0x1.ffffc02000000p-364, -0x1.7fffe00800000p-363, 0x1.0000000000000p-468, 0x1.7fffe013ffff0p-649, 0x1.ffffa00013f40p-708}, 34277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000400000000p+600, -0x1.0000000000000p+509, 0x1.4000000000000p-65, -0x1.ffffffff00020p-123, 0x1.4000500000000p+535, -0x1.00003fffd0010p+478}, 34377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000400000000p+600, -0x1.0000000000000p+509, -0x1.4000000000000p-65, 0x1.ffffffff00020p-123, -0x1.4000500000000p+535, 0x1.00003fffd0010p+478}, 34477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000400000000p+600, 0x1.0000000000000p+509, 0x1.4000000000000p-65, -0x1.ffffffff00020p-123, -0x1.4000500000000p+535, 0x1.00003fffd0010p+478}, 34577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000400000000p+600, 0x1.0000000000000p+509, -0x1.4000000000000p-65, 0x1.ffffffff00020p-123, 0x1.4000500000000p+535, -0x1.00003fffd0010p+478}, 34677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000fffff80p-307, 0x1.ffffef003e000p-370, 0x1.0000010000000p-490, -0x1.8000000000020p-548, 0x1.000001fffff90p-797, -0x1.702001f7fe060p-855}, 34777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000fffff80p-307, 0x1.ffffef003e000p-370, -0x1.0000010000000p-490, 0x1.8000000000020p-548, -0x1.000001fffff90p-797, 0x1.702001f7fe060p-855}, 34877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000fffff80p-307, -0x1.ffffef003e000p-370, 0x1.0000010000000p-490, -0x1.8000000000020p-548, -0x1.000001fffff90p-797, 0x1.702001f7fe060p-855}, 34977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000fffff80p-307, -0x1.ffffef003e000p-370, -0x1.0000010000000p-490, 0x1.8000000000020p-548, 0x1.000001fffff90p-797, -0x1.702001f7fe060p-855}, 35077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.7fffffffc0000p-18, 0x1.fffc000000000p-88, 0x1.0000001fe0000p-469, 0x1.fffffc0001f00p-530, 0x1.8000002f90000p-487, 0x1.00fffbffd1600p-547}, 35177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.7fffffffc0000p-18, 0x1.fffc000000000p-88, -0x1.0000001fe0000p-469, -0x1.fffffc0001f00p-530, -0x1.8000002f90000p-487, -0x1.00fffbffd1600p-547}, 35277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.7fffffffc0000p-18, -0x1.fffc000000000p-88, 0x1.0000001fe0000p-469, 0x1.fffffc0001f00p-530, -0x1.8000002f90000p-487, -0x1.00fffbffd1600p-547}, 35377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.7fffffffc0000p-18, -0x1.fffc000000000p-88, -0x1.0000001fe0000p-469, -0x1.fffffc0001f00p-530, 0x1.8000002f90000p-487, 0x1.00fffbffd1600p-547}, 35477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000004000000p+707, -0x1.0000000000000p+649, 0x1.8000000000000p+850, -0x1.ffe7ffc001000p+785, INFINITY, 0x0.0000000000000p+0}, 35577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000004000000p+707, -0x1.0000000000000p+649, -0x1.8000000000000p+850, 0x1.ffe7ffc001000p+785, -INFINITY, 0x0.0000000000000p+0}, 35677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000004000000p+707, 0x1.0000000000000p+649, 0x1.8000000000000p+850, -0x1.ffe7ffc001000p+785, -INFINITY, 0x0.0000000000000p+0}, 35777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000004000000p+707, 0x1.0000000000000p+649, -0x1.8000000000000p+850, 0x1.ffe7ffc001000p+785, INFINITY, 0x0.0000000000000p+0}, 35877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p+842, -0x1.fffffff400000p+767, 0x1.007fc00007800p+448, 0x1.e0000f80001e0p+390, INFINITY, 0x0.0000000000000p+0}, 35977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p+842, -0x1.fffffff400000p+767, -0x1.007fc00007800p+448, -0x1.e0000f80001e0p+390, -INFINITY, 0x0.0000000000000p+0}, 36077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p+842, 0x1.fffffff400000p+767, 0x1.007fc00007800p+448, 0x1.e0000f80001e0p+390, -INFINITY, 0x0.0000000000000p+0}, 36177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p+842, 0x1.fffffff400000p+767, -0x1.007fc00007800p+448, -0x1.e0000f80001e0p+390, INFINITY, 0x0.0000000000000p+0}, 36277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fffff0000000p+131, 0x1.fffffe0000000p+68, 0x1.0000200000000p+733, -0x1.0000000000000p+628, 0x1.400026ffffe00p+864, 0x1.00001effffc00p+802}, 36377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fffff0000000p+131, 0x1.fffffe0000000p+68, -0x1.0000200000000p+733, 0x1.0000000000000p+628, -0x1.400026ffffe00p+864, -0x1.00001effffc00p+802}, 36477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fffff0000000p+131, -0x1.fffffe0000000p+68, 0x1.0000200000000p+733, -0x1.0000000000000p+628, -0x1.400026ffffe00p+864, -0x1.00001effffc00p+802}, 36577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fffff0000000p+131, -0x1.fffffe0000000p+68, -0x1.0000200000000p+733, 0x1.0000000000000p+628, 0x1.400026ffffe00p+864, 0x1.00001effffc00p+802}, 36677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.7fe0000000008p+383, -0x1.fffff3ff80200p+321, 0x1.000001fff8400p-754, -0x1.fffff80010000p-819, 0x1.7fe002ffb4617p-371, 0x1.fda04808886c8p-425}, 36777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.7fe0000000008p+383, -0x1.fffff3ff80200p+321, -0x1.000001fff8400p-754, 0x1.fffff80010000p-819, -0x1.7fe002ffb4617p-371, -0x1.fda04808886c8p-425}, 36877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.7fe0000000008p+383, 0x1.fffff3ff80200p+321, 0x1.000001fff8400p-754, -0x1.fffff80010000p-819, -0x1.7fe002ffb4617p-371, -0x1.fda04808886c8p-425}, 36977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.7fe0000000008p+383, 0x1.fffff3ff80200p+321, -0x1.000001fff8400p-754, 0x1.fffff80010000p-819, 0x1.7fe002ffb4617p-371, 0x1.fda04808886c8p-425}, 37077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000fffffff8p-769, 0x1.fffffffc00000p-828, 0x1.0000007001000p+11, -0x1.e00000fff8200p-49, 0x1.0000107001068p-758, 0x1.8ffe315805e80p-817}, 37177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000fffffff8p-769, 0x1.fffffffc00000p-828, -0x1.0000007001000p+11, 0x1.e00000fff8200p-49, -0x1.0000107001068p-758, -0x1.8ffe315805e80p-817}, 37277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000fffffff8p-769, -0x1.fffffffc00000p-828, 0x1.0000007001000p+11, -0x1.e00000fff8200p-49, -0x1.0000107001068p-758, -0x1.8ffe315805e80p-817}, 37377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000fffffff8p-769, -0x1.fffffffc00000p-828, -0x1.0000007001000p+11, 0x1.e00000fff8200p-49, 0x1.0000107001068p-758, 0x1.8ffe315805e80p-817}, 37477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001fffc000400p-304, -0x1.e000000001000p-369, 0x1.0200000000000p+539, -0x1.0000000000000p+436, 0x1.02203fbf80408p+235, -0x1.e3c0000005000p+170}, 37577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001fffc000400p-304, -0x1.e000000001000p-369, -0x1.0200000000000p+539, 0x1.0000000000000p+436, -0x1.02203fbf80408p+235, 0x1.e3c0000005000p+170}, 37677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001fffc000400p-304, 0x1.e000000001000p-369, 0x1.0200000000000p+539, -0x1.0000000000000p+436, -0x1.02203fbf80408p+235, 0x1.e3c0000005000p+170}, 37777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001fffc000400p-304, 0x1.e000000001000p-369, -0x1.0200000000000p+539, 0x1.0000000000000p+436, 0x1.02203fbf80408p+235, -0x1.e3c0000005000p+170}, 37877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000008000000p+148, -0x1.0000000000000p+78, 0x1.07fff80000002p-186, -0x1.c010000000000p-257, 0x1.07fff883fffc2p-38, -0x1.e407f87000000p-108}, 37977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000008000000p+148, -0x1.0000000000000p+78, -0x1.07fff80000002p-186, 0x1.c010000000000p-257, -0x1.07fff883fffc2p-38, 0x1.e407f87000000p-108}, 38077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000008000000p+148, 0x1.0000000000000p+78, 0x1.07fff80000002p-186, -0x1.c010000000000p-257, -0x1.07fff883fffc2p-38, 0x1.e407f87000000p-108}, 38177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000008000000p+148, 0x1.0000000000000p+78, -0x1.07fff80000002p-186, 0x1.c010000000000p-257, 0x1.07fff883fffc2p-38, -0x1.e407f87000000p-108}, 38277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.03ffffffe0000p+267, 0x1.ff80000000000p+178, 0x1.7ffff00000002p+830, -0x1.0000000000000p+737, INFINITY, 0x0.0000000000000p+0}, 38377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.03ffffffe0000p+267, 0x1.ff80000000000p+178, -0x1.7ffff00000002p+830, 0x1.0000000000000p+737, -INFINITY, 0x0.0000000000000p+0}, 38477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.03ffffffe0000p+267, -0x1.ff80000000000p+178, 0x1.7ffff00000002p+830, -0x1.0000000000000p+737, -INFINITY, 0x0.0000000000000p+0}, 38577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.03ffffffe0000p+267, -0x1.ff80000000000p+178, -0x1.7ffff00000002p+830, 0x1.0000000000000p+737, INFINITY, 0x0.0000000000000p+0}, 38677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0008000000000p-881, -0x1.9000000000000p-982, 0x1.0000000700002p-545, -0x1.fffff80200000p-608, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 38777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0008000000000p-881, -0x1.9000000000000p-982, -0x1.0000000700002p-545, 0x1.fffff80200000p-608, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 38877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0008000000000p-881, 0x1.9000000000000p-982, 0x1.0000000700002p-545, -0x1.fffff80200000p-608, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 38977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0008000000000p-881, 0x1.9000000000000p-982, -0x1.0000000700002p-545, 0x1.fffff80200000p-608, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 39077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0010000000000p-465, -0x1.0000000000000p-542, 0x1.007fc00001000p+895, -0x1.ff80000400000p+839, 0x1.008fc7fc01001p+430, -0x1.ffa00007fe400p+374}, 39177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0010000000000p-465, -0x1.0000000000000p-542, -0x1.007fc00001000p+895, 0x1.ff80000400000p+839, -0x1.008fc7fc01001p+430, 0x1.ffa00007fe400p+374}, 39277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0010000000000p-465, 0x1.0000000000000p-542, 0x1.007fc00001000p+895, -0x1.ff80000400000p+839, -0x1.008fc7fc01001p+430, 0x1.ffa00007fe400p+374}, 39377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0010000000000p-465, 0x1.0000000000000p-542, -0x1.007fc00001000p+895, 0x1.ff80000400000p+839, 0x1.008fc7fc01001p+430, -0x1.ffa00007fe400p+374}, 39477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000008000000p-249, -0x1.fff0000000100p-308, 0x1.7fffff8100000p+89, -0x1.fffcc00000080p+29, 0x1.80000040ffffcp-160, 0x1.9a07df8c40000p-231}, 39577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000008000000p-249, -0x1.fff0000000100p-308, -0x1.7fffff8100000p+89, 0x1.fffcc00000080p+29, -0x1.80000040ffffcp-160, -0x1.9a07df8c40000p-231}, 39677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000008000000p-249, 0x1.fff0000000100p-308, 0x1.7fffff8100000p+89, -0x1.fffcc00000080p+29, -0x1.80000040ffffcp-160, -0x1.9a07df8c40000p-231}, 39777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000008000000p-249, 0x1.fff0000000100p-308, -0x1.7fffff8100000p+89, 0x1.fffcc00000080p+29, 0x1.80000040ffffcp-160, 0x1.9a07df8c40000p-231}, 39877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000003ffc010p+789, -0x1.ffffc00400000p+720, 0x1.0000c00400000p+535, -0x1.ff80800000000p+454, INFINITY, 0x0.0000000000000p+0}, 39977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000003ffc010p+789, -0x1.ffffc00400000p+720, -0x1.0000c00400000p+535, 0x1.ff80800000000p+454, -INFINITY, 0x0.0000000000000p+0}, 40077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000003ffc010p+789, 0x1.ffffc00400000p+720, 0x1.0000c00400000p+535, -0x1.ff80800000000p+454, -INFINITY, 0x0.0000000000000p+0}, 40177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000003ffc010p+789, 0x1.ffffc00400000p+720, -0x1.0000c00400000p+535, 0x1.ff80800000000p+454, INFINITY, 0x0.0000000000000p+0}, 40277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000007fff800p+957, 0x1.ffff800007fc0p+898, 0x1.0000007fff000p+26, 0x1.ffffff8000000p-49, 0x1.000000fffe804p+983, 0x1.fa018500063c0p+924}, 40377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000007fff800p+957, 0x1.ffff800007fc0p+898, -0x1.0000007fff000p+26, -0x1.ffffff8000000p-49, -0x1.000000fffe804p+983, -0x1.fa018500063c0p+924}, 40477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000007fff800p+957, -0x1.ffff800007fc0p+898, 0x1.0000007fff000p+26, 0x1.ffffff8000000p-49, -0x1.000000fffe804p+983, -0x1.fa018500063c0p+924}, 40577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000007fff800p+957, -0x1.ffff800007fc0p+898, -0x1.0000007fff000p+26, -0x1.ffffff8000000p-49, 0x1.000000fffe804p+983, 0x1.fa018500063c0p+924}, 40677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.4000000000000p-257, -0x1.0000000000000p-339, 0x1.0000001ff8040p+59, -0x1.fff0ffffff008p+3, 0x1.40000027f6050p-198, -0x1.3ff6a01fff604p-253}, 40777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.4000000000000p-257, -0x1.0000000000000p-339, -0x1.0000001ff8040p+59, 0x1.fff0ffffff008p+3, -0x1.40000027f6050p-198, 0x1.3ff6a01fff604p-253}, 40877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.4000000000000p-257, 0x1.0000000000000p-339, 0x1.0000001ff8040p+59, -0x1.fff0ffffff008p+3, -0x1.40000027f6050p-198, 0x1.3ff6a01fff604p-253}, 40977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.4000000000000p-257, 0x1.0000000000000p-339, -0x1.0000001ff8040p+59, 0x1.fff0ffffff008p+3, 0x1.40000027f6050p-198, -0x1.3ff6a01fff604p-253}, 41077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0004000000000p+457, -0x1.fffffffe40000p+386, 0x1.000001ffff1f0p+241, 0x1.ff807ffffc000p+187, 0x1.00040200071f0p+698, 0x1.1e877e01fa00ep+644}, 41177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0004000000000p+457, -0x1.fffffffe40000p+386, -0x1.000001ffff1f0p+241, -0x1.ff807ffffc000p+187, -0x1.00040200071f0p+698, -0x1.1e877e01fa00ep+644}, 41277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0004000000000p+457, 0x1.fffffffe40000p+386, 0x1.000001ffff1f0p+241, 0x1.ff807ffffc000p+187, -0x1.00040200071f0p+698, -0x1.1e877e01fa00ep+644}, 41377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0004000000000p+457, 0x1.fffffffe40000p+386, -0x1.000001ffff1f0p+241, -0x1.ff807ffffc000p+187, 0x1.00040200071f0p+698, 0x1.1e877e01fa00ep+644}, 41477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.003fe00030100p-370, -0x1.00003fe002000p-436, 0x1.3ffffff800200p-197, -0x1.0000000000000p-274, 0x1.404fd7f83a350p-567, 0x1.fe8bdf7b033fep-621}, 41577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.003fe00030100p-370, -0x1.00003fe002000p-436, -0x1.3ffffff800200p-197, 0x1.0000000000000p-274, -0x1.404fd7f83a350p-567, -0x1.fe8bdf7b033fep-621}, 41677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.003fe00030100p-370, 0x1.00003fe002000p-436, 0x1.3ffffff800200p-197, -0x1.0000000000000p-274, -0x1.404fd7f83a350p-567, -0x1.fe8bdf7b033fep-621}, 41777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.003fe00030100p-370, 0x1.00003fe002000p-436, -0x1.3ffffff800200p-197, 0x1.0000000000000p-274, 0x1.404fd7f83a350p-567, 0x1.fe8bdf7b033fep-621}, 41877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0001ffc1ffc20p+658, -0x1.fffffc0002000p+592, 0x1.000003fffffc0p-919, 0x1.fffffe0000000p-997, 0x1.000203c207bd0p-261, 0x1.fda2400001fd6p-315}, 41977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0001ffc1ffc20p+658, -0x1.fffffc0002000p+592, -0x1.000003fffffc0p-919, -0x1.fffffe0000000p-997, -0x1.000203c207bd0p-261, -0x1.fda2400001fd6p-315}, 42077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0001ffc1ffc20p+658, 0x1.fffffc0002000p+592, 0x1.000003fffffc0p-919, 0x1.fffffe0000000p-997, -0x1.000203c207bd0p-261, -0x1.fda2400001fd6p-315}, 42177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0001ffc1ffc20p+658, 0x1.fffffc0002000p+592, -0x1.000003fffffc0p-919, -0x1.fffffe0000000p-997, 0x1.000203c207bd0p-261, 0x1.fda2400001fd6p-315}, 42277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0400000000000p-38, -0x1.0000000000000p-92, 0x1.0000200000000p-364, -0x1.ffffffffffc40p-423, 0x1.0400208000000p-402, -0x1.10401ffffffe2p-456}, 42377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0400000000000p-38, -0x1.0000000000000p-92, -0x1.0000200000000p-364, 0x1.ffffffffffc40p-423, -0x1.0400208000000p-402, 0x1.10401ffffffe2p-456}, 42477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0400000000000p-38, 0x1.0000000000000p-92, 0x1.0000200000000p-364, -0x1.ffffffffffc40p-423, -0x1.0400208000000p-402, 0x1.10401ffffffe2p-456}, 42577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0400000000000p-38, 0x1.0000000000000p-92, -0x1.0000200000000p-364, 0x1.ffffffffffc40p-423, 0x1.0400208000000p-402, -0x1.10401ffffffe2p-456}, 42677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003ff820000p+644, -0x1.ffffffe000100p+589, 0x1.0001f80020000p+462, -0x1.ffffffc1c0040p+403, INFINITY, 0x0.0000000000000p+0}, 42777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003ff820000p+644, -0x1.ffffffe000100p+589, -0x1.0001f80020000p+462, 0x1.ffffffc1c0040p+403, -INFINITY, 0x0.0000000000000p+0}, 42877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003ff820000p+644, 0x1.ffffffe000100p+589, 0x1.0001f80020000p+462, -0x1.ffffffc1c0040p+403, -INFINITY, 0x0.0000000000000p+0}, 42977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003ff820000p+644, 0x1.ffffffe000100p+589, -0x1.0001f80020000p+462, 0x1.ffffffc1c0040p+403, INFINITY, 0x0.0000000000000p+0}, 43077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007ffffffff80p-432, 0x1.fffffffe00000p-506, 0x1.0100000000000p+937, -0x1.0000000000000p+860, 0x1.01807ffffff80p+505, -0x1.ffffe1e100002p+451}, 43177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007ffffffff80p-432, 0x1.fffffffe00000p-506, -0x1.0100000000000p+937, 0x1.0000000000000p+860, -0x1.01807ffffff80p+505, 0x1.ffffe1e100002p+451}, 43277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007ffffffff80p-432, -0x1.fffffffe00000p-506, 0x1.0100000000000p+937, -0x1.0000000000000p+860, -0x1.01807ffffff80p+505, 0x1.ffffe1e100002p+451}, 43377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007ffffffff80p-432, -0x1.fffffffe00000p-506, -0x1.0100000000000p+937, 0x1.0000000000000p+860, 0x1.01807ffffff80p+505, -0x1.ffffe1e100002p+451}, 43477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000400000p+229, -0x1.e00003fff8200p+167, 0x1.000ffff802000p-917, -0x1.fffe3fffffe00p-979, 0x1.000ffffc02400p-688, -0x1.7bc3887f27780p-747}, 43577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000400000p+229, -0x1.e00003fff8200p+167, -0x1.000ffff802000p-917, 0x1.fffe3fffffe00p-979, -0x1.000ffffc02400p-688, 0x1.7bc3887f27780p-747}, 43677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000400000p+229, 0x1.e00003fff8200p+167, 0x1.000ffff802000p-917, -0x1.fffe3fffffe00p-979, -0x1.000ffffc02400p-688, 0x1.7bc3887f27780p-747}, 43777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000400000p+229, 0x1.e00003fff8200p+167, -0x1.000ffff802000p-917, 0x1.fffe3fffffe00p-979, 0x1.000ffffc02400p-688, -0x1.7bc3887f27780p-747}, 43877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003ffffff00p-811, 0x1.ffc003ffffe00p-866, 0x1.0001ff0000000p+595, 0x1.ff8007fffffe0p+540, 0x1.00023f007fb00p-216, 0x1.f7a644b024dd0p-270}, 43977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003ffffff00p-811, 0x1.ffc003ffffe00p-866, -0x1.0001ff0000000p+595, -0x1.ff8007fffffe0p+540, -0x1.00023f007fb00p-216, -0x1.f7a644b024dd0p-270}, 44077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003ffffff00p-811, -0x1.ffc003ffffe00p-866, 0x1.0001ff0000000p+595, 0x1.ff8007fffffe0p+540, -0x1.00023f007fb00p-216, -0x1.f7a644b024dd0p-270}, 44177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003ffffff00p-811, -0x1.ffc003ffffe00p-866, -0x1.0001ff0000000p+595, -0x1.ff8007fffffe0p+540, 0x1.00023f007fb00p-216, 0x1.f7a644b024dd0p-270}, 44277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1000000000000p-978, -0x1.ff00000000000p-1043, 0x1.0200000000000p+352, -0x1.c000000000008p+296, 0x1.1220000000000p-626, -0x1.dd017f0000010p-682}, 44377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1000000000000p-978, -0x1.ff00000000000p-1043, -0x1.0200000000000p+352, 0x1.c000000000008p+296, -0x1.1220000000000p-626, 0x1.dd017f0000010p-682}, 44477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1000000000000p-978, 0x1.ff00000000000p-1043, 0x1.0200000000000p+352, -0x1.c000000000008p+296, -0x1.1220000000000p-626, 0x1.dd017f0000010p-682}, 44577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1000000000000p-978, 0x1.ff00000000000p-1043, -0x1.0200000000000p+352, 0x1.c000000000008p+296, 0x1.1220000000000p-626, -0x1.dd017f0000010p-682}, 44677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1fffffc000000p+620, 0x1.ffffffffffff0p+563, 0x1.007fc00000800p+980, -0x1.fffff03fff000p+920, INFINITY, 0x0.0000000000000p+0}, 44777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1fffffc000000p+620, 0x1.ffffffffffff0p+563, -0x1.007fc00000800p+980, 0x1.fffff03fff000p+920, -INFINITY, 0x0.0000000000000p+0}, 44877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1fffffc000000p+620, -0x1.ffffffffffff0p+563, 0x1.007fc00000800p+980, -0x1.fffff03fff000p+920, -INFINITY, 0x0.0000000000000p+0}, 44977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1fffffc000000p+620, -0x1.ffffffffffff0p+563, -0x1.007fc00000800p+980, 0x1.fffff03fff000p+920, INFINITY, 0x0.0000000000000p+0}, 45077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007fffff000p+841, 0x1.ffffffff00000p+769, 0x1.1fffffffc0000p+334, 0x1.fff0000000000p+266, INFINITY, 0x0.0000000000000p+0}, 45177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007fffff000p+841, 0x1.ffffffff00000p+769, -0x1.1fffffffc0000p+334, -0x1.fff0000000000p+266, -INFINITY, 0x0.0000000000000p+0}, 45277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007fffff000p+841, -0x1.ffffffff00000p+769, 0x1.1fffffffc0000p+334, 0x1.fff0000000000p+266, -INFINITY, 0x0.0000000000000p+0}, 45377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007fffff000p+841, -0x1.ffffffff00000p+769, -0x1.1fffffffc0000p+334, -0x1.fff0000000000p+266, INFINITY, 0x0.0000000000000p+0}, 45477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0003ffffffffcp+878, 0x1.f000000000000p+777, 0x1.0000003ffff80p+707, 0x1.fffffefff8000p+639, INFINITY, 0x0.0000000000000p+0}, 45577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0003ffffffffcp+878, 0x1.f000000000000p+777, -0x1.0000003ffff80p+707, -0x1.fffffefff8000p+639, -INFINITY, 0x0.0000000000000p+0}, 45677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0003ffffffffcp+878, -0x1.f000000000000p+777, 0x1.0000003ffff80p+707, 0x1.fffffefff8000p+639, -INFINITY, 0x0.0000000000000p+0}, 45777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0003ffffffffcp+878, -0x1.f000000000000p+777, -0x1.0000003ffff80p+707, -0x1.fffffefff8000p+639, INFINITY, 0x0.0000000000000p+0}, 45877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007ffc00000p+210, 0x1.ffffe00000000p+141, 0x1.3fffffc004000p+887, -0x1.ffffe00010000p+823, INFINITY, 0x0.0000000000000p+0}, 45977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007ffc00000p+210, 0x1.ffffe00000000p+141, -0x1.3fffffc004000p+887, 0x1.ffffe00010000p+823, -INFINITY, 0x0.0000000000000p+0}, 46077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007ffc00000p+210, -0x1.ffffe00000000p+141, 0x1.3fffffc004000p+887, -0x1.ffffe00010000p+823, -INFINITY, 0x0.0000000000000p+0}, 46177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007ffc00000p+210, -0x1.ffffe00000000p+141, -0x1.3fffffc004000p+887, 0x1.ffffe00010000p+823, INFINITY, 0x0.0000000000000p+0}, 46277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0007ffffc0004p+901, -0x1.fffffe0040000p+830, 0x1.00ffffe000400p-637, -0x1.0000000000000p-729, 0x1.010807dfbf004p+264, 0x1.23fdf20002418p+209}, 46377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0007ffffc0004p+901, -0x1.fffffe0040000p+830, -0x1.00ffffe000400p-637, 0x1.0000000000000p-729, -0x1.010807dfbf004p+264, -0x1.23fdf20002418p+209}, 46477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0007ffffc0004p+901, 0x1.fffffe0040000p+830, 0x1.00ffffe000400p-637, -0x1.0000000000000p-729, -0x1.010807dfbf004p+264, -0x1.23fdf20002418p+209}, 46577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0007ffffc0004p+901, 0x1.fffffe0040000p+830, -0x1.00ffffe000400p-637, 0x1.0000000000000p-729, 0x1.010807dfbf004p+264, 0x1.23fdf20002418p+209}, 46677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007ffffffff00p-57, 0x1.fff8003000000p-134, 0x1.01fffffffe000p-715, 0x1.fffc000000000p-803, 0x1.0280fffffdeeep-772, 0x1.041c07d800000p-848}, 46777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007ffffffff00p-57, 0x1.fff8003000000p-134, -0x1.01fffffffe000p-715, -0x1.fffc000000000p-803, -0x1.0280fffffdeeep-772, -0x1.041c07d800000p-848}, 46877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007ffffffff00p-57, -0x1.fff8003000000p-134, 0x1.01fffffffe000p-715, 0x1.fffc000000000p-803, -0x1.0280fffffdeeep-772, -0x1.041c07d800000p-848}, 46977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007ffffffff00p-57, -0x1.fff8003000000p-134, -0x1.01fffffffe000p-715, -0x1.fffc000000000p-803, 0x1.0280fffffdeeep-772, 0x1.041c07d800000p-848}, 47077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003e0000000p-443, 0x1.ffffffffe0000p-502, 0x1.07ffffff80000p+79, 0x1.8007ffffc0000p+8, 0x1.08003fef7fffep-364, 0x1.4203001095e38p-420}, 47177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003e0000000p-443, 0x1.ffffffffe0000p-502, -0x1.07ffffff80000p+79, -0x1.8007ffffc0000p+8, -0x1.08003fef7fffep-364, -0x1.4203001095e38p-420}, 47277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003e0000000p-443, -0x1.ffffffffe0000p-502, 0x1.07ffffff80000p+79, 0x1.8007ffffc0000p+8, -0x1.08003fef7fffep-364, -0x1.4203001095e38p-420}, 47377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003e0000000p-443, -0x1.ffffffffe0000p-502, -0x1.07ffffff80000p+79, -0x1.8007ffffc0000p+8, 0x1.08003fef7fffep-364, 0x1.4203001095e38p-420}, 47477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003ff810000p-96, -0x1.fffffffc00800p-160, 0x1.00000ffff8002p+307, -0x1.fffffffe04000p+240, 0x1.00004ff80bffap+211, -0x1.01f8812df9b50p+155}, 47577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003ff810000p-96, -0x1.fffffffc00800p-160, -0x1.00000ffff8002p+307, 0x1.fffffffe04000p+240, -0x1.00004ff80bffap+211, 0x1.01f8812df9b50p+155}, 47677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003ff810000p-96, 0x1.fffffffc00800p-160, 0x1.00000ffff8002p+307, -0x1.fffffffe04000p+240, -0x1.00004ff80bffap+211, 0x1.01f8812df9b50p+155}, 47777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003ff810000p-96, 0x1.fffffffc00800p-160, -0x1.00000ffff8002p+307, 0x1.fffffffe04000p+240, 0x1.00004ff80bffap+211, -0x1.01f8812df9b50p+155}, 47877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0100000000000p-135, -0x1.0000000000000p-222, 0x1.01ffffff00004p-1000, -0x0.0000000000000p+0, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 47977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0100000000000p-135, -0x1.0000000000000p-222, -0x1.01ffffff00004p-1000, 0x0.0000000000000p+0, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 48077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0100000000000p-135, 0x1.0000000000000p-222, 0x1.01ffffff00004p-1000, -0x0.0000000000000p+0, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 48177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0100000000000p-135, 0x1.0000000000000p-222, -0x1.01ffffff00004p-1000, 0x0.0000000000000p+0, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 48277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001fffffff800p+829, 0x1.fffff00000000p+749, 0x1.07ffe00001000p+551, -0x1.c7ffc001fe010p+494, INFINITY, 0x0.0000000000000p+0}, 48377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001fffffff800p+829, 0x1.fffff00000000p+749, -0x1.07ffe00001000p+551, 0x1.c7ffc001fe010p+494, -INFINITY, 0x0.0000000000000p+0}, 48477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001fffffff800p+829, -0x1.fffff00000000p+749, 0x1.07ffe00001000p+551, -0x1.c7ffc001fe010p+494, -INFINITY, 0x0.0000000000000p+0}, 48577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001fffffff800p+829, -0x1.fffff00000000p+749, -0x1.07ffe00001000p+551, 0x1.c7ffc001fe010p+494, INFINITY, 0x0.0000000000000p+0}, 48677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000ffffff8p-632, 0x1.ffe0000000000p-704, 0x1.1fffffff00001p+944, -0x1.0000000000000p+859, 0x1.2000011effff8p+312, -0x1.fffb5f5800140p+255}, 48777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000ffffff8p-632, 0x1.ffe0000000000p-704, -0x1.1fffffff00001p+944, 0x1.0000000000000p+859, -0x1.2000011effff8p+312, 0x1.fffb5f5800140p+255}, 48877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000ffffff8p-632, -0x1.ffe0000000000p-704, 0x1.1fffffff00001p+944, -0x1.0000000000000p+859, -0x1.2000011effff8p+312, 0x1.fffb5f5800140p+255}, 48977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000ffffff8p-632, -0x1.ffe0000000000p-704, -0x1.1fffffff00001p+944, 0x1.0000000000000p+859, 0x1.2000011effff8p+312, -0x1.fffb5f5800140p+255}, 49077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000007fff00p-172, 0x1.fffc1ffff87f0p-228, 0x1.0000007c00000p+935, 0x1.fff0000000000p+864, 0x1.00000083fff00p+763, 0x1.77fe1835fdafap+709}, 49177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000007fff00p-172, 0x1.fffc1ffff87f0p-228, -0x1.0000007c00000p+935, -0x1.fff0000000000p+864, -0x1.00000083fff00p+763, -0x1.77fe1835fdafap+709}, 49277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000007fff00p-172, -0x1.fffc1ffff87f0p-228, 0x1.0000007c00000p+935, 0x1.fff0000000000p+864, -0x1.00000083fff00p+763, -0x1.77fe1835fdafap+709}, 49377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000007fff00p-172, -0x1.fffc1ffff87f0p-228, -0x1.0000007c00000p+935, -0x1.fff0000000000p+864, 0x1.00000083fff00p+763, 0x1.77fe1835fdafap+709}, 49477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.fffffffe00000p-318, 0x1.e000001fff800p-382, 0x1.0000000000000p+232, -0x1.f000080000000p+147, 0x1.fffffffe00000p-86, 0x1.dfffe11fff000p-150}, 49577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.fffffffe00000p-318, 0x1.e000001fff800p-382, -0x1.0000000000000p+232, 0x1.f000080000000p+147, -0x1.fffffffe00000p-86, -0x1.dfffe11fff000p-150}, 49677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.fffffffe00000p-318, -0x1.e000001fff800p-382, 0x1.0000000000000p+232, -0x1.f000080000000p+147, -0x1.fffffffe00000p-86, -0x1.dfffe11fff000p-150}, 49777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.fffffffe00000p-318, -0x1.e000001fff800p-382, -0x1.0000000000000p+232, 0x1.f000080000000p+147, 0x1.fffffffe00000p-86, 0x1.dfffe11fff000p-150}, 49877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007fffffe00p+860, 0x1.ffffff8000000p+790, 0x1.001f03f07ff00p-428, 0x1.ffffff8000000p-501, 0x1.001f840001c84p+432, -0x1.f43a8782b15e0p+377}, 49977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007fffffe00p+860, 0x1.ffffff8000000p+790, -0x1.001f03f07ff00p-428, -0x1.ffffff8000000p-501, -0x1.001f840001c84p+432, 0x1.f43a8782b15e0p+377}, 50077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007fffffe00p+860, -0x1.ffffff8000000p+790, 0x1.001f03f07ff00p-428, 0x1.ffffff8000000p-501, -0x1.001f840001c84p+432, 0x1.f43a8782b15e0p+377}, 50177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007fffffe00p+860, -0x1.ffffff8000000p+790, -0x1.001f03f07ff00p-428, -0x1.ffffff8000000p-501, 0x1.001f840001c84p+432, -0x1.f43a8782b15e0p+377}, 50277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003fffffffcp+10, 0x1.ffe0000700000p-63, 0x1.001f000000040p-31, 0x1.ffc0ffffc0000p-102, 0x1.001f4007c003cp-21, -0x1.aec01b80c3200p-83}, 50377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003fffffffcp+10, 0x1.ffe0000700000p-63, -0x1.001f000000040p-31, -0x1.ffc0ffffc0000p-102, -0x1.001f4007c003cp-21, 0x1.aec01b80c3200p-83}, 50477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003fffffffcp+10, -0x1.ffe0000700000p-63, 0x1.001f000000040p-31, 0x1.ffc0ffffc0000p-102, -0x1.001f4007c003cp-21, 0x1.aec01b80c3200p-83}, 50577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003fffffffcp+10, -0x1.ffe0000700000p-63, -0x1.001f000000040p-31, -0x1.ffc0ffffc0000p-102, 0x1.001f4007c003cp-21, -0x1.aec01b80c3200p-83}, 50677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000100000000p+594, -0x1.0000000000000p+512, 0x1.0000020000000p+926, -0x1.0000000000000p+834, INFINITY, 0x0.0000000000000p+0}, 50777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000100000000p+594, -0x1.0000000000000p+512, -0x1.0000020000000p+926, 0x1.0000000000000p+834, -INFINITY, 0x0.0000000000000p+0}, 50877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000100000000p+594, 0x1.0000000000000p+512, 0x1.0000020000000p+926, -0x1.0000000000000p+834, -INFINITY, 0x0.0000000000000p+0}, 50977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000100000000p+594, 0x1.0000000000000p+512, -0x1.0000020000000p+926, 0x1.0000000000000p+834, INFINITY, 0x0.0000000000000p+0}, 51077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000007c000000p-87, 0x1.fff8000000000p-143, 0x1.003fff0000200p+65, -0x1.fe0003fc00040p+6, 0x1.004006c1f0184p-22, 0x1.c1aff992783b8p-78}, 51177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000007c000000p-87, 0x1.fff8000000000p-143, -0x1.003fff0000200p+65, 0x1.fe0003fc00040p+6, -0x1.004006c1f0184p-22, -0x1.c1aff992783b8p-78}, 51277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000007c000000p-87, -0x1.fff8000000000p-143, 0x1.003fff0000200p+65, -0x1.fe0003fc00040p+6, -0x1.004006c1f0184p-22, -0x1.c1aff992783b8p-78}, 51377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000007c000000p-87, -0x1.fff8000000000p-143, -0x1.003fff0000200p+65, 0x1.fe0003fc00040p+6, 0x1.004006c1f0184p-22, 0x1.c1aff992783b8p-78}, 51477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00001fffcffc0p+987, -0x1.fffe000000004p+932, 0x1.03fffff800000p-975, 0x1.fffffe0000000p-1043, 0x1.04002077cf3afp+12, -0x1.0396f3f70809ap-42}, 51577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00001fffcffc0p+987, -0x1.fffe000000004p+932, -0x1.03fffff800000p-975, -0x1.fffffe0000000p-1043, -0x1.04002077cf3afp+12, 0x1.0396f3f70809ap-42}, 51677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00001fffcffc0p+987, 0x1.fffe000000004p+932, 0x1.03fffff800000p-975, 0x1.fffffe0000000p-1043, -0x1.04002077cf3afp+12, 0x1.0396f3f70809ap-42}, 51777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00001fffcffc0p+987, 0x1.fffe000000004p+932, -0x1.03fffff800000p-975, -0x1.fffffe0000000p-1043, 0x1.04002077cf3afp+12, -0x1.0396f3f70809ap-42}, 51877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000008000000p-118, -0x1.ffffff8200000p-175, 0x1.000fff8000000p-555, 0x1.fffffe0000000p-617, 0x1.0010000007ffcp-673, -0x1.f01ffe89f8200p-730}, 51977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000008000000p-118, -0x1.ffffff8200000p-175, -0x1.000fff8000000p-555, -0x1.fffffe0000000p-617, -0x1.0010000007ffcp-673, 0x1.f01ffe89f8200p-730}, 52077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000008000000p-118, 0x1.ffffff8200000p-175, 0x1.000fff8000000p-555, 0x1.fffffe0000000p-617, -0x1.0010000007ffcp-673, 0x1.f01ffe89f8200p-730}, 52177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000008000000p-118, 0x1.ffffff8200000p-175, -0x1.000fff8000000p-555, -0x1.fffffe0000000p-617, 0x1.0010000007ffcp-673, -0x1.f01ffe89f8200p-730}, 52277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000010001f8p+695, 0x1.fffc007e00000p+621, 0x1.0003fc0000000p-756, 0x1.ffff80ffffc00p-813, 0x1.0003fc10005f4p-61, 0x1.7d824090fe170p-117}, 52377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000010001f8p+695, 0x1.fffc007e00000p+621, -0x1.0003fc0000000p-756, -0x1.ffff80ffffc00p-813, -0x1.0003fc10005f4p-61, -0x1.7d824090fe170p-117}, 52477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000010001f8p+695, -0x1.fffc007e00000p+621, 0x1.0003fc0000000p-756, 0x1.ffff80ffffc00p-813, -0x1.0003fc10005f4p-61, -0x1.7d824090fe170p-117}, 52577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000010001f8p+695, -0x1.fffc007e00000p+621, -0x1.0003fc0000000p-756, -0x1.ffff80ffffc00p-813, 0x1.0003fc10005f4p-61, 0x1.7d824090fe170p-117}, 52677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000000000p-985, -0x0.0000000000000p+0, 0x1.0300000001f00p-132, 0x1.fffffff800000p-208, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 52777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000000000p-985, -0x0.0000000000000p+0, -0x1.0300000001f00p-132, -0x1.fffffff800000p-208, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 52877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000000000p-985, 0x0.0000000000000p+0, 0x1.0300000001f00p-132, 0x1.fffffff800000p-208, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 52977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000000000p-985, 0x0.0000000000000p+0, -0x1.0300000001f00p-132, -0x1.fffffff800000p-208, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 53077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.07ffffff1fe00p+389, 0x1.fc00000000000p+292, 0x1.0040000000000p+564, -0x1.c000000400000p+503, 0x1.0841ffff1fa7fp+953, 0x1.fc63fffffb100p+899}, 53177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.07ffffff1fe00p+389, 0x1.fc00000000000p+292, -0x1.0040000000000p+564, 0x1.c000000400000p+503, -0x1.0841ffff1fa7fp+953, -0x1.fc63fffffb100p+899}, 53277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.07ffffff1fe00p+389, -0x1.fc00000000000p+292, 0x1.0040000000000p+564, -0x1.c000000400000p+503, -0x1.0841ffff1fa7fp+953, -0x1.fc63fffffb100p+899}, 53377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.07ffffff1fe00p+389, -0x1.fc00000000000p+292, -0x1.0040000000000p+564, 0x1.c000000400000p+503, 0x1.0841ffff1fa7fp+953, 0x1.fc63fffffb100p+899}, 53477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0080000000000p+192, -0x1.0000000000000p+87, 0x1.fffff1ff80000p+667, 0x1.ffffc000fe000p+612, 0x1.007ff8fc3fe00p+860, 0x1.007fdff07f3f4p+805}, 53577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0080000000000p+192, -0x1.0000000000000p+87, -0x1.fffff1ff80000p+667, -0x1.ffffc000fe000p+612, -0x1.007ff8fc3fe00p+860, -0x1.007fdff07f3f4p+805}, 53677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0080000000000p+192, 0x1.0000000000000p+87, 0x1.fffff1ff80000p+667, 0x1.ffffc000fe000p+612, -0x1.007ff8fc3fe00p+860, -0x1.007fdff07f3f4p+805}, 53777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0080000000000p+192, 0x1.0000000000000p+87, -0x1.fffff1ff80000p+667, -0x1.ffffc000fe000p+612, 0x1.007ff8fc3fe00p+860, 0x1.007fdff07f3f4p+805}, 53877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0400000000000p-301, -0x1.0000000000000p-406, 0x1.7fffe00000008p-283, -0x1.e000080000000p-363, 0x1.85ffdf8000008p-584, 0x1.fffffe187ff70p-640}, 53977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0400000000000p-301, -0x1.0000000000000p-406, -0x1.7fffe00000008p-283, 0x1.e000080000000p-363, -0x1.85ffdf8000008p-584, -0x1.fffffe187ff70p-640}, 54077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0400000000000p-301, 0x1.0000000000000p-406, 0x1.7fffe00000008p-283, -0x1.e000080000000p-363, -0x1.85ffdf8000008p-584, -0x1.fffffe187ff70p-640}, 54177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0400000000000p-301, 0x1.0000000000000p-406, -0x1.7fffe00000008p-283, 0x1.e000080000000p-363, 0x1.85ffdf8000008p-584, 0x1.fffffe187ff70p-640}, 54277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001d000000p+298, -0x1.ff80000200000p+243, 0x1.0000003fffffcp+636, 0x1.feffff8000000p+556, 0x1.0000021000003p+934, 0x1.ff19f68008000p+869}, 54377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001d000000p+298, -0x1.ff80000200000p+243, -0x1.0000003fffffcp+636, -0x1.feffff8000000p+556, -0x1.0000021000003p+934, -0x1.ff19f68008000p+869}, 54477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001d000000p+298, 0x1.ff80000200000p+243, 0x1.0000003fffffcp+636, 0x1.feffff8000000p+556, -0x1.0000021000003p+934, -0x1.ff19f68008000p+869}, 54577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001d000000p+298, 0x1.ff80000200000p+243, -0x1.0000003fffffcp+636, -0x1.feffff8000000p+556, 0x1.0000021000003p+934, 0x1.ff19f68008000p+869}, 54677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001ffffffffc0p+376, 0x1.fffffff03ff00p+315, 0x1.0000010000000p+147, -0x1.fffffff810000p+78, 0x1.002001001ffc0p+523, 0x1.fd7fc1f047e00p+462}, 54777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.001ffffffffc0p+376, 0x1.fffffff03ff00p+315, -0x1.0000010000000p+147, 0x1.fffffff810000p+78, -0x1.002001001ffc0p+523, -0x1.fd7fc1f047e00p+462}, 54877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001ffffffffc0p+376, -0x1.fffffff03ff00p+315, 0x1.0000010000000p+147, -0x1.fffffff810000p+78, -0x1.002001001ffc0p+523, -0x1.fd7fc1f047e00p+462}, 54977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.001ffffffffc0p+376, -0x1.fffffff03ff00p+315, -0x1.0000010000000p+147, 0x1.fffffff810000p+78, 0x1.002001001ffc0p+523, 0x1.fd7fc1f047e00p+462}, 55077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000fffc0001p+666, -0x1.fc000007e0040p+607, 0x1.000007fffffc0p+408, 0x1.fc0003fc00000p+348, INFINITY, 0x0.0000000000000p+0}, 55177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000fffc0001p+666, -0x1.fc000007e0040p+607, -0x1.000007fffffc0p+408, -0x1.fc0003fc00000p+348, -INFINITY, 0x0.0000000000000p+0}, 55277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000fffc0001p+666, 0x1.fc000007e0040p+607, 0x1.000007fffffc0p+408, 0x1.fc0003fc00000p+348, -INFINITY, 0x0.0000000000000p+0}, 55377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000fffc0001p+666, 0x1.fc000007e0040p+607, -0x1.000007fffffc0p+408, -0x1.fc0003fc00000p+348, INFINITY, 0x0.0000000000000p+0}, 55477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01ffe000003fep+235, 0x1.ffffff8000000p+169, 0x1.00fffffe00000p+680, 0x1.ffffffe7ff800p+619, 0x1.0301dfddfc406p+915, -0x1.ec00381c54000p+854}, 55577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01ffe000003fep+235, 0x1.ffffff8000000p+169, -0x1.00fffffe00000p+680, -0x1.ffffffe7ff800p+619, -0x1.0301dfddfc406p+915, 0x1.ec00381c54000p+854}, 55677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01ffe000003fep+235, -0x1.ffffff8000000p+169, 0x1.00fffffe00000p+680, 0x1.ffffffe7ff800p+619, -0x1.0301dfddfc406p+915, 0x1.ec00381c54000p+854}, 55777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01ffe000003fep+235, -0x1.ffffff8000000p+169, -0x1.00fffffe00000p+680, -0x1.ffffffe7ff800p+619, 0x1.0301dfddfc406p+915, -0x1.ec00381c54000p+854}, 55877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fffffffffc00p-546, 0x1.ffffffe000000p-609, 0x1.07c0ffc200000p+282, -0x1.e000003bfffe0p+224, 0x1.49b13fb27fbe1p-264, -0x1.a3a2f827f3a30p-321}, 55977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fffffffffc00p-546, 0x1.ffffffe000000p-609, -0x1.07c0ffc200000p+282, 0x1.e000003bfffe0p+224, -0x1.49b13fb27fbe1p-264, 0x1.a3a2f827f3a30p-321}, 56077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fffffffffc00p-546, -0x1.ffffffe000000p-609, 0x1.07c0ffc200000p+282, -0x1.e000003bfffe0p+224, -0x1.49b13fb27fbe1p-264, 0x1.a3a2f827f3a30p-321}, 56177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fffffffffc00p-546, -0x1.ffffffe000000p-609, -0x1.07c0ffc200000p+282, 0x1.e000003bfffe0p+224, 0x1.49b13fb27fbe1p-264, -0x1.a3a2f827f3a30p-321}, 56277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001800000p+988, 0x1.fffffc0000200p+934, 0x1.0000004000000p+36, -0x1.fff0000004000p-31, INFINITY, 0x0.0000000000000p+0}, 56377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000001800000p+988, 0x1.fffffc0000200p+934, -0x1.0000004000000p+36, 0x1.fff0000004000p-31, -INFINITY, 0x0.0000000000000p+0}, 56477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001800000p+988, -0x1.fffffc0000200p+934, 0x1.0000004000000p+36, -0x1.fff0000004000p-31, -INFINITY, 0x0.0000000000000p+0}, 56577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000001800000p+988, -0x1.fffffc0000200p+934, -0x1.0000004000000p+36, 0x1.fff0000004000p-31, INFINITY, 0x0.0000000000000p+0}, 56677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000800000000p+726, -0x1.0000000000000p+663, 0x1.0fc007c004000p-506, -0x1.fffe100000000p-570, 0x1.0fc08fa007e00p+220, 0x1.fbe080e080f00p+164}, 56777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000800000000p+726, -0x1.0000000000000p+663, -0x1.0fc007c004000p-506, 0x1.fffe100000000p-570, -0x1.0fc08fa007e00p+220, -0x1.fbe080e080f00p+164}, 56877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000800000000p+726, 0x1.0000000000000p+663, 0x1.0fc007c004000p-506, -0x1.fffe100000000p-570, -0x1.0fc08fa007e00p+220, -0x1.fbe080e080f00p+164}, 56977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000800000000p+726, 0x1.0000000000000p+663, -0x1.0fc007c004000p-506, 0x1.fffe100000000p-570, 0x1.0fc08fa007e00p+220, 0x1.fbe080e080f00p+164}, 57077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007fffffe00p-706, 0x1.ffffffc003f00p-767, 0x1.0080000000000p-265, -0x1.0000000000000p-323, 0x1.0080803fffdffp-971, -0x1.7fc1001006c00p-1030}, 57177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00007fffffe00p-706, 0x1.ffffffc003f00p-767, -0x1.0080000000000p-265, 0x1.0000000000000p-323, -0x1.0080803fffdffp-971, 0x1.7fc1001006c00p-1030}, 57277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007fffffe00p-706, -0x1.ffffffc003f00p-767, 0x1.0080000000000p-265, -0x1.0000000000000p-323, -0x1.0080803fffdffp-971, 0x1.7fc1001006c00p-1030}, 57377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00007fffffe00p-706, -0x1.ffffffc003f00p-767, -0x1.0080000000000p-265, 0x1.0000000000000p-323, 0x1.0080803fffdffp-971, -0x1.7fc1001006c00p-1030}, 57477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000200000000p+215, -0x1.0000000000000p+159, 0x1.00000ffffff80p+645, 0x1.ffffff0007ff8p+589, 0x1.0000300001f80p+860, 0x1.fe005e000fcf0p+803}, 57577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000200000000p+215, -0x1.0000000000000p+159, -0x1.00000ffffff80p+645, -0x1.ffffff0007ff8p+589, -0x1.0000300001f80p+860, -0x1.fe005e000fcf0p+803}, 57677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000200000000p+215, 0x1.0000000000000p+159, 0x1.00000ffffff80p+645, 0x1.ffffff0007ff8p+589, -0x1.0000300001f80p+860, -0x1.fe005e000fcf0p+803}, 57777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000200000000p+215, 0x1.0000000000000p+159, -0x1.00000ffffff80p+645, -0x1.ffffff0007ff8p+589, 0x1.0000300001f80p+860, 0x1.fe005e000fcf0p+803}, 57877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00fe000000000p-121, 0x1.001ffffff0000p-190, 0x1.00007fffff000p+370, 0x0.0000000000000p+0, 0x1.00fe807efeff0p+249, 0x1.00040082003fcp+194}, 57977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00fe000000000p-121, 0x1.001ffffff0000p-190, -0x1.00007fffff000p+370, 0x0.0000000000000p+0, -0x1.00fe807efeff0p+249, -0x1.00040082003fcp+194}, 58077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00fe000000000p-121, -0x1.001ffffff0000p-190, 0x1.00007fffff000p+370, 0x0.0000000000000p+0, -0x1.00fe807efeff0p+249, -0x1.00040082003fcp+194}, 58177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00fe000000000p-121, -0x1.001ffffff0000p-190, -0x1.00007fffff000p+370, 0x0.0000000000000p+0, 0x1.00fe807efeff0p+249, 0x1.00040082003fcp+194}, 58277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01e0000000002p+273, -0x1.fffffffffc200p+214, 0x1.0000080000000p-103, -0x1.0000000000000p-208, 0x1.01e0080f00002p+170, -0x1.fff80ffffc240p+111}, 58377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01e0000000002p+273, -0x1.fffffffffc200p+214, -0x1.0000080000000p-103, 0x1.0000000000000p-208, -0x1.01e0080f00002p+170, 0x1.fff80ffffc240p+111}, 58477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01e0000000002p+273, 0x1.fffffffffc200p+214, 0x1.0000080000000p-103, -0x1.0000000000000p-208, -0x1.01e0080f00002p+170, 0x1.fff80ffffc240p+111}, 58577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01e0000000002p+273, 0x1.fffffffffc200p+214, -0x1.0000080000000p-103, 0x1.0000000000000p-208, 0x1.01e0080f00002p+170, -0x1.fff80ffffc240p+111}, 58677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000f1fe001p-504, -0x1.0000000000000p-587, 0x1.00003fffffff0p-718, 0x1.fc00000000000p-795, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 58777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000000f1fe001p-504, -0x1.0000000000000p-587, -0x1.00003fffffff0p-718, -0x1.fc00000000000p-795, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 58877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000f1fe001p-504, 0x1.0000000000000p-587, 0x1.00003fffffff0p-718, 0x1.fc00000000000p-795, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 58977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000000f1fe001p-504, 0x1.0000000000000p-587, -0x1.00003fffffff0p-718, -0x1.fc00000000000p-795, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 59077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0008000000010p+198, -0x1.f8000ffff9000p+133, 0x1.00001ffff0000p+936, 0x1.ffff80001f000p+879, INFINITY, 0x0.0000000000000p+0}, 59177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0008000000010p+198, -0x1.f8000ffff9000p+133, -0x1.00001ffff0000p+936, -0x1.ffff80001f000p+879, -INFINITY, 0x0.0000000000000p+0}, 59277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0008000000010p+198, 0x1.f8000ffff9000p+133, 0x1.00001ffff0000p+936, 0x1.ffff80001f000p+879, -INFINITY, 0x0.0000000000000p+0}, 59377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0008000000010p+198, 0x1.f8000ffff9000p+133, -0x1.00001ffff0000p+936, -0x1.ffff80001f000p+879, INFINITY, 0x0.0000000000000p+0}, 59477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000100000000p+641, -0x1.0000000000000p+536, 0x1.0038000800000p-759, -0x1.fffffe0000080p-819, 0x1.0038100b80008p-118, -0x1.00000efffff80p-177}, 59577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000100000000p+641, -0x1.0000000000000p+536, -0x1.0038000800000p-759, 0x1.fffffe0000080p-819, -0x1.0038100b80008p-118, 0x1.00000efffff80p-177}, 59677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000100000000p+641, 0x1.0000000000000p+536, 0x1.0038000800000p-759, -0x1.fffffe0000080p-819, -0x1.0038100b80008p-118, 0x1.00000efffff80p-177}, 59777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000100000000p+641, 0x1.0000000000000p+536, -0x1.0038000800000p-759, 0x1.fffffe0000080p-819, 0x1.0038100b80008p-118, -0x1.00000efffff80p-177}, 59877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003fe008000p-579, -0x1.fffdff0000080p-638, 0x1.ffffffffff800p-344, 0x1.fe00000000000p-442, 0x1.00003fe007c00p-922, -0x1.3fdf077ffec60p-980}, 59977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00003fe008000p-579, -0x1.fffdff0000080p-638, -0x1.ffffffffff800p-344, -0x1.fe00000000000p-442, -0x1.00003fe007c00p-922, 0x1.3fdf077ffec60p-980}, 60077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003fe008000p-579, 0x1.fffdff0000080p-638, 0x1.ffffffffff800p-344, 0x1.fe00000000000p-442, -0x1.00003fe007c00p-922, 0x1.3fdf077ffec60p-980}, 60177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00003fe008000p-579, 0x1.fffdff0000080p-638, -0x1.ffffffffff800p-344, -0x1.fe00000000000p-442, 0x1.00003fe007c00p-922, -0x1.3fdf077ffec60p-980}, 60277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1fffffff00000p-455, 0x1.ffffff8000000p-527, 0x1.0000100000000p+435, -0x1.0000000000000p+341, 0x1.200011fefffffp-20, 0x1.00000d8000000p-91}, 60377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1fffffff00000p-455, 0x1.ffffff8000000p-527, -0x1.0000100000000p+435, 0x1.0000000000000p+341, -0x1.200011fefffffp-20, -0x1.00000d8000000p-91}, 60477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1fffffff00000p-455, -0x1.ffffff8000000p-527, 0x1.0000100000000p+435, -0x1.0000000000000p+341, -0x1.200011fefffffp-20, -0x1.00000d8000000p-91}, 60577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1fffffff00000p-455, -0x1.ffffff8000000p-527, -0x1.0000100000000p+435, 0x1.0000000000000p+341, 0x1.200011fefffffp-20, 0x1.00000d8000000p-91}, 60677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0ffffc0000010p+917, 0x1.f000000ff0000p+848, 0x1.00003ff002010p+155, -0x1.0000020000000p+90, INFINITY, 0x0.0000000000000p+0}, 60777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0ffffc0000010p+917, 0x1.f000000ff0000p+848, -0x1.00003ff002010p+155, 0x1.0000020000000p+90, -INFINITY, 0x0.0000000000000p+0}, 60877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0ffffc0000010p+917, -0x1.f000000ff0000p+848, 0x1.00003ff002010p+155, -0x1.0000020000000p+90, -INFINITY, 0x0.0000000000000p+0}, 60977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0ffffc0000010p+917, -0x1.f000000ff0000p+848, -0x1.00003ff002010p+155, 0x1.0000020000000p+90, INFINITY, 0x0.0000000000000p+0}, 61077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00ffffffc0000p+784, 0x1.fffffe00003f0p+729, 0x1.1fffffffff020p-125, -0x1.ffff000400000p-200, 0x1.211fffffb7010p+659, 0x1.9ffffeb0072d6p+605}, 61177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00ffffffc0000p+784, 0x1.fffffe00003f0p+729, -0x1.1fffffffff020p-125, 0x1.ffff000400000p-200, -0x1.211fffffb7010p+659, -0x1.9ffffeb0072d6p+605}, 61277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00ffffffc0000p+784, -0x1.fffffe00003f0p+729, 0x1.1fffffffff020p-125, -0x1.ffff000400000p-200, -0x1.211fffffb7010p+659, -0x1.9ffffeb0072d6p+605}, 61377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00ffffffc0000p+784, -0x1.fffffe00003f0p+729, -0x1.1fffffffff020p-125, 0x1.ffff000400000p-200, 0x1.211fffffb7010p+659, 0x1.9ffffeb0072d6p+605}, 61477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0200000000000p+902, -0x1.0000000000000p+849, 0x1.0000700000000p-969, 0x1.ffffffe000000p-1040, 0x1.020070e000000p-67, -0x1.ffffde0000102p-121}, 61577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0200000000000p+902, -0x1.0000000000000p+849, -0x1.0000700000000p-969, -0x1.ffffffe000000p-1040, -0x1.020070e000000p-67, 0x1.ffffde0000102p-121}, 61677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0200000000000p+902, 0x1.0000000000000p+849, 0x1.0000700000000p-969, 0x1.ffffffe000000p-1040, -0x1.020070e000000p-67, 0x1.ffffde0000102p-121}, 61777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0200000000000p+902, 0x1.0000000000000p+849, -0x1.0000700000000p-969, -0x1.ffffffe000000p-1040, 0x1.020070e000000p-67, -0x1.ffffde0000102p-121}, 61877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fffffc0001fcp+335, 0x1.007fffff00000p+272, 0x1.007fffff80000p+3, 0x1.fffffffe00000p-65, 0x1.409fffbf401fdp+338, 0x1.14f84ffa6b400p+275}, 61977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.3fffffc0001fcp+335, 0x1.007fffff00000p+272, -0x1.007fffff80000p+3, -0x1.fffffffe00000p-65, -0x1.409fffbf401fdp+338, -0x1.14f84ffa6b400p+275}, 62077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fffffc0001fcp+335, -0x1.007fffff00000p+272, 0x1.007fffff80000p+3, 0x1.fffffffe00000p-65, -0x1.409fffbf401fdp+338, -0x1.14f84ffa6b400p+275}, 62177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.3fffffc0001fcp+335, -0x1.007fffff00000p+272, -0x1.007fffff80000p+3, -0x1.fffffffe00000p-65, 0x1.409fffbf401fdp+338, 0x1.14f84ffa6b400p+275}, 62277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000ffffffd0p+189, -0x1.ffffff8200000p+123, 0x1.00000c0000004p-197, -0x1.ff80000800000p-265, 0x1.00001c0000bd4p-8, -0x1.7ff00fc280000p-73}, 62377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000ffffffd0p+189, -0x1.ffffff8200000p+123, -0x1.00000c0000004p-197, 0x1.ff80000800000p-265, -0x1.00001c0000bd4p-8, 0x1.7ff00fc280000p-73}, 62477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000ffffffd0p+189, 0x1.ffffff8200000p+123, 0x1.00000c0000004p-197, -0x1.ff80000800000p-265, -0x1.00001c0000bd4p-8, 0x1.7ff00fc280000p-73}, 62577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000ffffffd0p+189, 0x1.ffffff8200000p+123, -0x1.00000c0000004p-197, 0x1.ff80000800000p-265, 0x1.00001c0000bd4p-8, -0x1.7ff00fc280000p-73}, 62677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.18003ffff8000p+281, 0x1.ffffff8000000p+215, 0x1.1ffff80000040p-329, -0x1.0000000000000p-419, 0x1.3b003f3ff5046p-48, 0x1.063fff6e58000p-106}, 62777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.18003ffff8000p+281, 0x1.ffffff8000000p+215, -0x1.1ffff80000040p-329, 0x1.0000000000000p-419, -0x1.3b003f3ff5046p-48, -0x1.063fff6e58000p-106}, 62877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.18003ffff8000p+281, -0x1.ffffff8000000p+215, 0x1.1ffff80000040p-329, -0x1.0000000000000p-419, -0x1.3b003f3ff5046p-48, -0x1.063fff6e58000p-106}, 62977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.18003ffff8000p+281, -0x1.ffffff8000000p+215, -0x1.1ffff80000040p-329, 0x1.0000000000000p-419, 0x1.3b003f3ff5046p-48, 0x1.063fff6e58000p-106}, 63077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0ffffff9ffff0p+735, 0x1.f800008200000p+665, 0x1.000000ffffff8p+876, 0x1.ff0000007ffc0p+817, INFINITY, 0x0.0000000000000p+0}, 63177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0ffffff9ffff0p+735, 0x1.f800008200000p+665, -0x1.000000ffffff8p+876, -0x1.ff0000007ffc0p+817, -INFINITY, 0x0.0000000000000p+0}, 63277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0ffffff9ffff0p+735, -0x1.f800008200000p+665, 0x1.000000ffffff8p+876, 0x1.ff0000007ffc0p+817, -INFINITY, 0x0.0000000000000p+0}, 63377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0ffffff9ffff0p+735, -0x1.f800008200000p+665, -0x1.000000ffffff8p+876, -0x1.ff0000007ffc0p+817, INFINITY, 0x0.0000000000000p+0}, 63477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1fffffe000000p-807, 0x1.ffff800001ffep-861, 0x1.0000008000000p+287, -0x1.fffffc0000008p+231, 0x1.2000006ffffffp-520, 0x1.6fff823001bfap-574}, 63577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.1fffffe000000p-807, 0x1.ffff800001ffep-861, -0x1.0000008000000p+287, 0x1.fffffc0000008p+231, -0x1.2000006ffffffp-520, -0x1.6fff823001bfap-574}, 63677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1fffffe000000p-807, -0x1.ffff800001ffep-861, 0x1.0000008000000p+287, -0x1.fffffc0000008p+231, -0x1.2000006ffffffp-520, -0x1.6fff823001bfap-574}, 63777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.1fffffe000000p-807, -0x1.ffff800001ffep-861, -0x1.0000008000000p+287, 0x1.fffffc0000008p+231, 0x1.2000006ffffffp-520, 0x1.6fff823001bfap-574}, 63877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000200000000p-310, -0x1.fffffff804000p-377, 0x1.0000080000000p+614, -0x1.0000000000000p+519, 0x1.0000280001000p+304, -0x1.0000080402000p+238}, 63977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000200000000p-310, -0x1.fffffff804000p-377, -0x1.0000080000000p+614, 0x1.0000000000000p+519, -0x1.0000280001000p+304, 0x1.0000080402000p+238}, 64077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000200000000p-310, 0x1.fffffff804000p-377, 0x1.0000080000000p+614, -0x1.0000000000000p+519, -0x1.0000280001000p+304, 0x1.0000080402000p+238}, 64177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000200000000p-310, 0x1.fffffff804000p-377, -0x1.0000080000000p+614, 0x1.0000000000000p+519, 0x1.0000280001000p+304, -0x1.0000080402000p+238}, 64277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.03ffff0000010p-506, -0x1.fffc010000000p-582, 0x1.0000020000000p+657, -0x1.0000000000000p+552, 0x1.04000107ffff0p+151, 0x1.e0003faf80000p+79}, 64377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.03ffff0000010p-506, -0x1.fffc010000000p-582, -0x1.0000020000000p+657, 0x1.0000000000000p+552, -0x1.04000107ffff0p+151, -0x1.e0003faf80000p+79}, 64477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.03ffff0000010p-506, 0x1.fffc010000000p-582, 0x1.0000020000000p+657, -0x1.0000000000000p+552, -0x1.04000107ffff0p+151, -0x1.e0003faf80000p+79}, 64577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.03ffff0000010p-506, 0x1.fffc010000000p-582, -0x1.0000020000000p+657, 0x1.0000000000000p+552, 0x1.04000107ffff0p+151, 0x1.e0003faf80000p+79}, 64677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.7ffffffc00000p-455, 0x1.fff80000fc000p-516, 0x1.0010000000000p+908, -0x1.ffffffffc4000p+841, 0x1.8017fffbffc00p+453, 0x1.f417ff811d700p+392}, 64777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.7ffffffc00000p-455, 0x1.fff80000fc000p-516, -0x1.0010000000000p+908, 0x1.ffffffffc4000p+841, -0x1.8017fffbffc00p+453, -0x1.f417ff811d700p+392}, 64877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.7ffffffc00000p-455, -0x1.fff80000fc000p-516, 0x1.0010000000000p+908, -0x1.ffffffffc4000p+841, -0x1.8017fffbffc00p+453, -0x1.f417ff811d700p+392}, 64977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.7ffffffc00000p-455, -0x1.fff80000fc000p-516, -0x1.0010000000000p+908, 0x1.ffffffffc4000p+841, 0x1.8017fffbffc00p+453, 0x1.f417ff811d700p+392}, 65077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000007fffc004p-48, -0x1.8000004000000p-107, 0x1.7fe000001ff00p+482, 0x1.f000000000000p+381, 0x1.7fe00bff19f0ep+434, 0x1.5f0b0077ee250p+377}, 65177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000007fffc004p-48, -0x1.8000004000000p-107, -0x1.7fe000001ff00p+482, -0x1.f000000000000p+381, -0x1.7fe00bff19f0ep+434, -0x1.5f0b0077ee250p+377}, 65277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000007fffc004p-48, 0x1.8000004000000p-107, 0x1.7fe000001ff00p+482, 0x1.f000000000000p+381, -0x1.7fe00bff19f0ep+434, -0x1.5f0b0077ee250p+377}, 65377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000007fffc004p-48, 0x1.8000004000000p-107, -0x1.7fe000001ff00p+482, -0x1.f000000000000p+381, 0x1.7fe00bff19f0ep+434, 0x1.5f0b0077ee250p+377}, 65477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01ffffffffc00p-235, 0x0.0000000000000p+0, 0x1.0ffffff000000p-5, 0x1.fffffff000000p-75, 0x1.121fffefdfbc0p-240, 0x1.81fffff7f0000p-309}, 65577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.01ffffffffc00p-235, 0x0.0000000000000p+0, -0x1.0ffffff000000p-5, -0x1.fffffff000000p-75, -0x1.121fffefdfbc0p-240, -0x1.81fffff7f0000p-309}, 65677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01ffffffffc00p-235, 0x0.0000000000000p+0, 0x1.0ffffff000000p-5, 0x1.fffffff000000p-75, -0x1.121fffefdfbc0p-240, -0x1.81fffff7f0000p-309}, 65777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.01ffffffffc00p-235, 0x0.0000000000000p+0, -0x1.0ffffff000000p-5, -0x1.fffffff000000p-75, 0x1.121fffefdfbc0p-240, 0x1.81fffff7f0000p-309}, 65877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000010000000p-572, -0x1.ffffffffe4000p-634, 0x1.0000020000000p-195, -0x1.ff80000100000p-268, 0x1.0000030000020p-767, -0x1.001ffa0012000p-828}, 65977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000010000000p-572, -0x1.ffffffffe4000p-634, -0x1.0000020000000p-195, 0x1.ff80000100000p-268, -0x1.0000030000020p-767, 0x1.001ffa0012000p-828}, 66077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000010000000p-572, 0x1.ffffffffe4000p-634, 0x1.0000020000000p-195, -0x1.ff80000100000p-268, -0x1.0000030000020p-767, 0x1.001ffa0012000p-828}, 66177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000010000000p-572, 0x1.ffffffffe4000p-634, -0x1.0000020000000p-195, 0x1.ff80000100000p-268, 0x1.0000030000020p-767, -0x1.001ffa0012000p-828}, 66277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0008000000000p+139, -0x1.0000000000000p+34, 0x1.000fffff80000p+540, 0x1.fffffffc00000p+484, 0x1.0018007f7ffc0p+679, 0x1.0007fffdffefcp+624}, 66377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0008000000000p+139, -0x1.0000000000000p+34, -0x1.000fffff80000p+540, -0x1.fffffffc00000p+484, -0x1.0018007f7ffc0p+679, -0x1.0007fffdffefcp+624}, 66477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0008000000000p+139, 0x1.0000000000000p+34, 0x1.000fffff80000p+540, 0x1.fffffffc00000p+484, -0x1.0018007f7ffc0p+679, -0x1.0007fffdffefcp+624}, 66577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0008000000000p+139, 0x1.0000000000000p+34, -0x1.000fffff80000p+540, -0x1.fffffffc00000p+484, 0x1.0018007f7ffc0p+679, 0x1.0007fffdffefcp+624}, 66677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007fffffffc00p+663, 0x1.ffffc00000000p+598, 0x1.1ffffffff8000p-133, 0x1.fe001ffffffe0p-189, 0x1.208ffffff7b40p+530, 0x1.000f90f5ffbb4p+475}, 66777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007fffffffc00p+663, 0x1.ffffc00000000p+598, -0x1.1ffffffff8000p-133, -0x1.fe001ffffffe0p-189, -0x1.208ffffff7b40p+530, -0x1.000f90f5ffbb4p+475}, 66877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007fffffffc00p+663, -0x1.ffffc00000000p+598, 0x1.1ffffffff8000p-133, 0x1.fe001ffffffe0p-189, -0x1.208ffffff7b40p+530, -0x1.000f90f5ffbb4p+475}, 66977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007fffffffc00p+663, -0x1.ffffc00000000p+598, -0x1.1ffffffff8000p-133, -0x1.fe001ffffffe0p-189, 0x1.208ffffff7b40p+530, 0x1.000f90f5ffbb4p+475}, 67077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000fffe00p-673, 0x1.3fffff87fc000p-733, 0x1.00003ffffc000p-1010, 0x1.0000000000000p-1074, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 67177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000fffe00p-673, 0x1.3fffff87fc000p-733, -0x1.00003ffffc000p-1010, -0x1.0000000000000p-1074, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 67277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000fffe00p-673, -0x1.3fffff87fc000p-733, 0x1.00003ffffc000p-1010, 0x1.0000000000000p-1074, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 67377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000fffe00p-673, -0x1.3fffff87fc000p-733, -0x1.00003ffffc000p-1010, -0x1.0000000000000p-1074, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 67477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p+490, -0x1.0000000000000p+385, 0x1.7ffff80000000p+812, 0x1.ffffffffe0000p+756, INFINITY, 0x0.0000000000000p+0}, 67577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0000000800000p+490, -0x1.0000000000000p+385, -0x1.7ffff80000000p+812, -0x1.ffffffffe0000p+756, -INFINITY, 0x0.0000000000000p+0}, 67677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p+490, 0x1.0000000000000p+385, 0x1.7ffff80000000p+812, 0x1.ffffffffe0000p+756, -INFINITY, 0x0.0000000000000p+0}, 67777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0000000800000p+490, 0x1.0000000000000p+385, -0x1.7ffff80000000p+812, -0x1.ffffffffe0000p+756, INFINITY, 0x0.0000000000000p+0}, 67877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00fffffff8000p-776, 0x1.fffe000000000p-850, 0x1.0000100000000p+556, -0x1.fffffffffc100p+501, 0x1.0100100ff8000p-220, -0x1.20ffe00014060p-274}, 67977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00fffffff8000p-776, 0x1.fffe000000000p-850, -0x1.0000100000000p+556, 0x1.fffffffffc100p+501, -0x1.0100100ff8000p-220, 0x1.20ffe00014060p-274}, 68077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00fffffff8000p-776, -0x1.fffe000000000p-850, 0x1.0000100000000p+556, -0x1.fffffffffc100p+501, -0x1.0100100ff8000p-220, 0x1.20ffe00014060p-274}, 68177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00fffffff8000p-776, -0x1.fffe000000000p-850, -0x1.0000100000000p+556, 0x1.fffffffffc100p+501, 0x1.0100100ff8000p-220, -0x1.20ffe00014060p-274}, 68277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0007ffffffff0p+441, 0x1.fffffc0000000p+358, 0x1.0003800000080p+407, -0x1.0000000000000p+302, 0x1.000b801c00070p+848, 0x1.e40001ffc6f80p+789}, 68377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0007ffffffff0p+441, 0x1.fffffc0000000p+358, -0x1.0003800000080p+407, 0x1.0000000000000p+302, -0x1.000b801c00070p+848, -0x1.e40001ffc6f80p+789}, 68477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0007ffffffff0p+441, -0x1.fffffc0000000p+358, 0x1.0003800000080p+407, -0x1.0000000000000p+302, -0x1.000b801c00070p+848, -0x1.e40001ffc6f80p+789}, 68577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0007ffffffff0p+441, -0x1.fffffc0000000p+358, -0x1.0003800000080p+407, 0x1.0000000000000p+302, 0x1.000b801c00070p+848, 0x1.e40001ffc6f80p+789}, 68677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001fffff80p-397, 0x1.ff00000000000p-481, 0x1.0000020000000p+10, -0x1.8002000000000p-66, 0x1.000003fffffc0p-387, -0x1.017e030300000p-455}, 68777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000001fffff80p-397, 0x1.ff00000000000p-481, -0x1.0000020000000p+10, 0x1.8002000000000p-66, -0x1.000003fffffc0p-387, 0x1.017e030300000p-455}, 68877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001fffff80p-397, -0x1.ff00000000000p-481, 0x1.0000020000000p+10, -0x1.8002000000000p-66, -0x1.000003fffffc0p-387, 0x1.017e030300000p-455}, 68977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000001fffff80p-397, -0x1.ff00000000000p-481, -0x1.0000020000000p+10, 0x1.8002000000000p-66, 0x1.000003fffffc0p-387, -0x1.017e030300000p-455}, 69077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0003fffff0000p+165, 0x1.ffff800007f80p+105, 0x1.000007ffffe00p+981, -0x1.fe0c000004000p+923, INFINITY, 0x0.0000000000000p+0}, 69177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.0003fffff0000p+165, 0x1.ffff800007f80p+105, -0x1.000007ffffe00p+981, 0x1.fe0c000004000p+923, -INFINITY, 0x0.0000000000000p+0}, 69277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0003fffff0000p+165, -0x1.ffff800007f80p+105, 0x1.000007ffffe00p+981, -0x1.fe0c000004000p+923, -INFINITY, 0x0.0000000000000p+0}, 69377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.0003fffff0000p+165, -0x1.ffff800007f80p+105, -0x1.000007ffffe00p+981, 0x1.fe0c000004000p+923, INFINITY, 0x0.0000000000000p+0}, 69477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000003f0000p+687, 0x1.ffffffe000000p+609, 0x1.0100000000000p-215, -0x1.fffffff000080p-275, 0x1.01000003f3f00p+472, -0x1.ffff7f77e0100p+412}, 69577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000003f0000p+687, 0x1.ffffffe000000p+609, -0x1.0100000000000p-215, 0x1.fffffff000080p-275, -0x1.01000003f3f00p+472, 0x1.ffff7f77e0100p+412}, 69677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000003f0000p+687, -0x1.ffffffe000000p+609, 0x1.0100000000000p-215, -0x1.fffffff000080p-275, -0x1.01000003f3f00p+472, 0x1.ffff7f77e0100p+412}, 69777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000003f0000p+687, -0x1.ffffffe000000p+609, -0x1.0100000000000p-215, 0x1.fffffff000080p-275, 0x1.01000003f3f00p+472, -0x1.ffff7f77e0100p+412}, 69877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007fffffffc00p-448, 0x1.fffffe0000000p-530, 0x1.0000003fffff8p-643, 0x1.fffff80000000p-714, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 69977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007fffffffc00p-448, 0x1.fffffe0000000p-530, -0x1.0000003fffff8p-643, -0x1.fffff80000000p-714, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 70077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007fffffffc00p-448, -0x1.fffffe0000000p-530, 0x1.0000003fffff8p-643, 0x1.fffff80000000p-714, -0x0.0000000000000p+0, -0x0.0000000000000p+0}, 70177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007fffffffc00p-448, -0x1.fffffe0000000p-530, -0x1.0000003fffff8p-643, -0x1.fffff80000000p-714, 0x0.0000000000000p+0, 0x0.0000000000000p+0}, 70277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000003ff000p-711, 0x1.ffffff0000000p-773, 0x1.0000ffff80000p+16, 0x1.e0000000fffc0p-43, 0x1.000100037f040p-695, -0x1.7bfef005e8810p-752}, 70377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00000003ff000p-711, 0x1.ffffff0000000p-773, -0x1.0000ffff80000p+16, -0x1.e0000000fffc0p-43, -0x1.000100037f040p-695, 0x1.7bfef005e8810p-752}, 70477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000003ff000p-711, -0x1.ffffff0000000p-773, 0x1.0000ffff80000p+16, 0x1.e0000000fffc0p-43, -0x1.000100037f040p-695, 0x1.7bfef005e8810p-752}, 70577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00000003ff000p-711, -0x1.ffffff0000000p-773, -0x1.0000ffff80000p+16, -0x1.e0000000fffc0p-43, 0x1.000100037f040p-695, -0x1.7bfef005e8810p-752}, 70677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007ffffffc000p-157, 0x1.ffffff8000000p-224, 0x1.0003fffffffe0p-88, 0x1.fffffff000780p-148, 0x1.008401fffbfdfp-245, -0x1.bf5ffdf221f10p-302}, 70777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.007ffffffc000p-157, 0x1.ffffff8000000p-224, -0x1.0003fffffffe0p-88, -0x1.fffffff000780p-148, -0x1.008401fffbfdfp-245, 0x1.bf5ffdf221f10p-302}, 70877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007ffffffc000p-157, -0x1.ffffff8000000p-224, 0x1.0003fffffffe0p-88, 0x1.fffffff000780p-148, -0x1.008401fffbfdfp-245, 0x1.bf5ffdf221f10p-302}, 70977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.007ffffffc000p-157, -0x1.ffffff8000000p-224, -0x1.0003fffffffe0p-88, -0x1.fffffff000780p-148, 0x1.008401fffbfdfp-245, -0x1.bf5ffdf221f10p-302}, 71077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.07fffffe0003cp-432, 0x1.ffe000007f000p-497, 0x1.1ffff00800000p+307, -0x1.0000000000000p+210, 0x1.28ffef8600045p-125, 0x1.fc3902fc0230cp-179}, 71177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.07fffffe0003cp-432, 0x1.ffe000007f000p-497, -0x1.1ffff00800000p+307, 0x1.0000000000000p+210, -0x1.28ffef8600045p-125, -0x1.fc3902fc0230cp-179}, 71277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.07fffffe0003cp-432, -0x1.ffe000007f000p-497, 0x1.1ffff00800000p+307, -0x1.0000000000000p+210, -0x1.28ffef8600045p-125, -0x1.fc3902fc0230cp-179}, 71377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.07fffffe0003cp-432, -0x1.ffe000007f000p-497, -0x1.1ffff00800000p+307, 0x1.0000000000000p+210, 0x1.28ffef8600045p-125, 0x1.fc3902fc0230cp-179}, 71477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000003fff8000p+711, 0x1.ffff00000003cp+656, 0x1.000001ffff020p+18, -0x1.fff0000200000p-52, 0x1.000005fff70a0p+729, 0x1.f5ff0817ec048p+674}, 71577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.000003fff8000p+711, 0x1.ffff00000003cp+656, -0x1.000001ffff020p+18, 0x1.fff0000200000p-52, -0x1.000005fff70a0p+729, -0x1.f5ff0817ec048p+674}, 71677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000003fff8000p+711, -0x1.ffff00000003cp+656, 0x1.000001ffff020p+18, -0x1.fff0000200000p-52, -0x1.000005fff70a0p+729, -0x1.f5ff0817ec048p+674}, 71777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.000003fff8000p+711, -0x1.ffff00000003cp+656, -0x1.000001ffff020p+18, 0x1.fff0000200000p-52, 0x1.000005fff70a0p+729, 0x1.f5ff0817ec048p+674}, 71877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00ffe00000000p-302, 0x1.fe00000000000p-362, 0x1.0000100000000p+87, -0x1.ffff800010000p+18, 0x1.00fff00ffe000p-215, 0x1.fcff20403ff00p-275}, 71977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.00ffe00000000p-302, 0x1.fe00000000000p-362, -0x1.0000100000000p+87, 0x1.ffff800010000p+18, -0x1.00fff00ffe000p-215, -0x1.fcff20403ff00p-275}, 72077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00ffe00000000p-302, -0x1.fe00000000000p-362, 0x1.0000100000000p+87, -0x1.ffff800010000p+18, -0x1.00fff00ffe000p-215, -0x1.fcff20403ff00p-275}, 72177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.00ffe00000000p-302, -0x1.fe00000000000p-362, -0x1.0000100000000p+87, 0x1.ffff800010000p+18, 0x1.00fff00ffe000p-215, 0x1.fcff20403ff00p-275}, 72277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.fffffff000008p+565, -0x1.ffffff1000000p+488, 0x1.0001fffffff80p-162, 0x1.fffe000000000p-247, 0x1.0001fff7ffe84p+404, 0x1.00701fdbe7000p+339}, 72377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{0x1.fffffff000008p+565, -0x1.ffffff1000000p+488, -0x1.0001fffffff80p-162, -0x1.fffe000000000p-247, -0x1.0001fff7ffe84p+404, -0x1.00701fdbe7000p+339}, 72477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.fffffff000008p+565, 0x1.ffffff1000000p+488, 0x1.0001fffffff80p-162, 0x1.fffe000000000p-247, -0x1.0001fff7ffe84p+404, -0x1.00701fdbe7000p+339}, 72577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{-0x1.fffffff000008p+565, 0x1.ffffff1000000p+488, -0x1.0001fffffff80p-162, -0x1.fffe000000000p-247, 0x1.0001fff7ffe84p+404, 0x1.00701fdbe7000p+339}, 72677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao}; 72777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 72877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoconst int numAccuracyTests = sizeof(accuracyTests) / sizeof(struct testVector); 72977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 73077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <math.h> 73177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 73277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaodouble testAccuracy() { 73377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao int i; 73477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao DD a, b, c, r; 73577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 73677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double worstUlps = 0.5; 73777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 73877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao for (i=0; i<numAccuracyTests; ++i) { 73977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao a.hi = accuracyTests[i].xhi; 74077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao a.lo = accuracyTests[i].xlo; 74177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao b.hi = accuracyTests[i].yhi; 74277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao b.lo = accuracyTests[i].ylo; 74377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao r.hi = accuracyTests[i].rhi; 74477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao r.lo = accuracyTests[i].rlo; 74577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 74677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao DD c = { .ld = __gcc_qmul(a.ld, b.ld) }; 74777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 74877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double error = __builtin_fabs(((r.hi - c.hi) + r.lo) - c.lo); 74977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 75077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (error != 0.0) { 75177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 75277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao int exponent = ilogb(r.hi); 75377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao exponent = (exponent < -1022 ? -1022 : exponent); 75477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao double ulpError = scalbn(error, 106 - exponent); 75577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 75677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (ulpError > worstUlps) { 75777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#ifdef PRINT_ACCURACY_INFORMATION 75877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("New worst rounding error for (%a,%a) x (%a,%a):\n", a.hi, a.lo, b.hi, b.lo); 75977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("\tExpected: (%a,%a)\n", r.hi, r.lo); 76077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("\tComputed: (%a,%a)\n", c.hi, c.lo); 76177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("\tError: %f ulps\n", ulpError); 76277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#endif 76377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao worstUlps = ulpError; 76477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 76577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 76677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao } 76777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 76877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return worstUlps; 76977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 77077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 77977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 78977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 79077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 79177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 79277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 79377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 794