| /* |
| * Copyright (c) 2003, 2004, Oracle and/or its affiliates. All rights reserved. |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| * |
| * This code is free software; you can redistribute it and/or modify it |
| * under the terms of the GNU General Public License version 2 only, as |
| * published by the Free Software Foundation. |
| * |
| * This code is distributed in the hope that it will be useful, but WITHOUT |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| * version 2 for more details (a copy is included in the LICENSE file that |
| * accompanied this code). |
| * |
| * You should have received a copy of the GNU General Public License version |
| * 2 along with this work; if not, write to the Free Software Foundation, |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| * |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| * or visit www.oracle.com if you need additional information or have any |
| * questions. |
| */ |
| |
| /* |
| * @test |
| * @bug 4851638 |
| * @summary Tests for StrictMath.expm1 |
| * @author Joseph D. Darcy |
| */ |
| |
| /** |
| * The tests in ../Math/Expm1Tests.java test properties that should |
| * hold for any expm1 implementation, including the FDLIBM-based one |
| * required for StrictMath.expm1. Therefore, the test cases in |
| * ../Math/Expm1Tests.java are run against both the Math and |
| * StrictMath versions of expm1. The role of this test is to verify |
| * that the FDLIBM expm1 algorithm is being used by running golden |
| * file tests on values that may vary from one conforming expm1 |
| * implementation to another. |
| */ |
| |
| public class Expm1Tests { |
| private Expm1Tests(){} |
| |
| static int testExpm1Case(double input, double expected) { |
| return Tests.test("StrictMath.expm1(double)", input, |
| StrictMath.expm1(input), expected); |
| } |
| |
| static int testExpm1() { |
| int failures = 0; |
| |
| // Test cases in the range [-36.75, 710] |
| double [][] testCases = { |
| {-0x1.580000008c619p3, -0x1.fffd3069586f6p-1}, |
| {-0x1.380000008c721p3, -0x1.fff85bf4a6e98p-1}, |
| {-0x1.180000008c9fap3, -0x1.ffeb3aeb95524p-1}, |
| {-0x1.f0000001197ccp2, -0x1.ffc78aadc116ap-1}, |
| {-0x1.b0000001197e7p2, -0x1.ff6687cca710bp-1}, |
| {-0x1.70000001197f6p2, -0x1.fe5ed3992a519p-1}, |
| {-0x1.30000001198p2, -0x1.fb9201482bdfap-1}, |
| {-0x1.e000000233006p1, -0x1.f3f57b658d6fbp-1}, |
| {-0x1.6000000233012p1, -0x1.df44d8ee30b76p-1}, |
| {-0x1.c000000466028p0, -0x1.a7071a097ed5ep-1}, |
| {-0x1.80000008cc052p-1, -0x1.0e25f8a4a95b7p-1}, |
| {0x1.ffffffdccfeb7p-3, 0x1.22d78ef909144p-2}, |
| {0x1.3ffffffb99fd7p0, 0x1.3ec38ed3629a6p1}, |
| {0x1.1ffffffdccfebp1, 0x1.0f9b882a107edp3}, |
| {0x1.9ffffffdccfebp1, 0x1.8ca53b70fa11bp4}, |
| {0x1.0ffffffee67f6p2, 0x1.146bf132050c5p6}, |
| {0x1.4ffffffee67f5p2, 0x1.7b21ede9f0bdap7}, |
| {0x1.8ffffffee67f5p2, 0x1.0281a438aa523p9}, |
| {0x1.cffffffee67f5p2, 0x1.5fc6b5cf322c4p10}, |
| {0x1.07ffffff733fap3, 0x1.de5406b276b92p11}, |
| {0x1.27ffffff733fap3, 0x1.451c8690d1567p13}, |
| {0x1.47ffffff733fap3, 0x1.b9e62ae5924dfp14}, |
| {0x1.67ffffff733fap3, 0x1.2c4eeb7089cp16}, |
| {0x1.87ffffff733fap3, 0x1.982a24f2ab78ap17}, |
| {0x1.a7ffffff733fap3, 0x1.1560a14319349p19}, |
| {0x1.c7ffffff733fap3, 0x1.78fed772b40f2p20}, |
| {0x1.e7ffffff733fap3, 0x1.0031f18ee602fp22}, |
| {0x1.03ffffffb99fdp4, 0x1.5c348d8118f26p23}, |
| {0x1.13ffffffb99fdp4, 0x1.d942943e22d74p24}, |
| {0x1.23ffffffb99fcp4, 0x1.419d1309466ep26}, |
| {0x1.33ffffffb99fcp4, 0x1.b51e403430afep27}, |
| {0x1.43ffffffb99fcp4, 0x1.290d76c47bd4cp29}, |
| {0x1.53ffffffb99fcp4, 0x1.93bc8061146dp30}, |
| {0x1.63ffffffb99fbp4, 0x1.125e0665544a5p32}, |
| {0x1.73ffffffb99fbp4, 0x1.74e75f9de5d7cp33}, |
| {0x1.83ffffffb99fbp4, 0x1.fad42d3f28732p34}, |
| {0x1.93ffffffb99fbp4, 0x1.586d071cb8f87p36}, |
| {0x1.a3ffffffb99fbp4, 0x1.d41f91d0b4e6ep37}, |
| {0x1.b3ffffffb99fbp4, 0x1.3e1f6e5bc0242p39}, |
| {0x1.c3ffffffb99fbp4, 0x1.b05fa9aebfa64p40}, |
| {0x1.d3ffffffb99fbp4, 0x1.25d410cc90a38p42}, |
| {0x1.e3ffffffb99fbp4, 0x1.8f5aab33aa6c6p43}, |
| {0x1.f3ffffffb99fbp4, 0x1.0f63a91bc9797p45}, |
| {0x1.01ffffffdccfep5, 0x1.70db367c88b28p46}, |
| {0x1.09ffffffdccfep5, 0x1.f553e36d2975fp47}, |
| {0x1.11ffffffdccfep5, 0x1.54afff2230e99p49}, |
| {0x1.19ffffffdccfep5, 0x1.cf0ad451f1e9fp50}, |
| {0x1.21ffffffdccfep5, 0x1.3aab7c88ef991p52}, |
| {0x1.29ffffffdccfep5, 0x1.abae41ecccd22p53}, |
| {0x1.31ffffffdccfep5, 0x1.22a3a0462535fp55}, |
| {0x1.39ffffffdccfdp5, 0x1.8b050329f95c8p56}, |
| {0x1.41ffffffdccfdp5, 0x1.0c719224d80a2p58}, |
| {0x1.49ffffffdccfdp5, 0x1.6cda4c755ea56p59}, |
| {0x1.51ffffffdccfdp5, 0x1.efe2e2b6ad6ebp60}, |
| {0x1.59ffffffdccfdp5, 0x1.50fd5a6337c61p62}, |
| {0x1.61ffffffdccfdp5, 0x1.ca043518d78acp63}, |
| {0x1.69ffffffdccfdp5, 0x1.374122dd2fbdbp65}, |
| {0x1.71ffffffdccfdp5, 0x1.a709e46cc671ep66}, |
| {0x1.79ffffffdccfdp5, 0x1.1f7c0c5482bf3p68}, |
| {0x1.81ffffffdccfdp5, 0x1.86bb667297515p69}, |
| {0x1.89ffffffdccfcp5, 0x1.0987aa8375abcp71}, |
| {0x1.91ffffffdccfcp5, 0x1.68e48248f27ddp72}, |
| {0x1.99ffffffdccfcp5, 0x1.ea8100a2e27e9p73}, |
| {0x1.a1ffffffdccfcp5, 0x1.4d54fc02d9352p75}, |
| {0x1.a9ffffffdccfcp5, 0x1.c50b8ceab6ad1p76}, |
| {0x1.b1ffffffdccfcp5, 0x1.33e046afc7062p78}, |
| {0x1.b9ffffffdccfcp5, 0x1.a2726cf2e78e3p79}, |
| {0x1.c1ffffffdccfcp5, 0x1.1c5d3c581edf2p81}, |
| {0x1.c9ffffffdccfcp5, 0x1.827db3961daecp82}, |
| {0x1.d1ffffffdccfbp5, 0x1.06a5db797b4b2p84}, |
| {0x1.d9ffffffdccfbp5, 0x1.64f9b90e23fb4p85}, |
| {0x1.e1ffffffdccfbp5, 0x1.e52e132ebafe2p86}, |
| {0x1.e9ffffffdccfbp5, 0x1.49b6c774442efp88}, |
| {0x1.f1ffffffdccfbp5, 0x1.c020b4f9d926cp89}, |
| {0x1.f9ffffffdccfbp5, 0x1.3088cda20d465p91}, |
| {0x1.00ffffffee67ep6, 0x1.9de7b7a818186p92}, |
| {0x1.04ffffffee67ep6, 0x1.194717f5da259p94}, |
| {0x1.08ffffffee67ep6, 0x1.7e4bc97a2360dp95}, |
| {0x1.0cffffffee67ep6, 0x1.03cc0e87f367bp97}, |
| {0x1.10ffffffee67ep6, 0x1.6119d231b67f5p98}, |
| {0x1.14ffffffee67ep6, 0x1.dfe9f0cbe5942p99}, |
| {0x1.18ffffffee67ep6, 0x1.4622a079fc2a6p101}, |
| {0x1.1cffffffee67ep6, 0x1.bb4386e45ae94p102}, |
| {0x1.20ffffffee67ep6, 0x1.2d3a9d9e9fe6p104}, |
| {0x1.24ffffffee67ep6, 0x1.9969a118d6261p105}, |
| {0x1.28ffffffee67ep6, 0x1.1639871642331p107}, |
| {0x1.2cffffffee67ep6, 0x1.7a2587603a84bp108}, |
| {0x1.30ffffffee67ep6, 0x1.00fa2d6e6a76ep110}, |
| {0x1.34ffffffee67ep6, 0x1.5d44af7562574p111}, |
| {0x1.38ffffffee67ep6, 0x1.dab4705f88c02p112}, |
| {0x1.3cffffffee67ep6, 0x1.42986b24fc9dcp114}, |
| {0x1.40ffffffee67ep6, 0x1.b673dcb2fe519p115}, |
| {0x1.44ffffffee67ep6, 0x1.29f59cd896383p117}, |
| {0x1.48ffffffee67ep6, 0x1.94f806342143cp118}, |
| {0x1.4cffffffee67ep6, 0x1.133471e4d5b38p120}, |
| {0x1.50ffffffee67ep6, 0x1.760acce4f0e03p121}, |
| {0x1.54ffffffee67ep6, 0x1.fc604454828ddp122}, |
| {0x1.58ffffffee67ep6, 0x1.597a32eee8c46p124}, |
| {0x1.5cffffffee67ep6, 0x1.d58d694102246p125}, |
| {0x1.60ffffffee67ep6, 0x1.3f180bd3df0d2p127}, |
| {0x1.64ffffffee67ep6, 0x1.b1b190d803f07p128}, |
| {0x1.68ffffffee67ep6, 0x1.26b9b1cab82dap130}, |
| {0x1.6cffffffee67ep6, 0x1.9092c44a68bc1p131}, |
| {0x1.70ffffffee67ep6, 0x1.1037c0cf4a5a6p133}, |
| {0x1.74ffffffee67ep6, 0x1.71fb79fed30fbp134}, |
| {0x1.78ffffffee67ep6, 0x1.f6dbadec024eep135}, |
| {0x1.7cffffffee67ep6, 0x1.55ba3f072a6dbp137}, |
| {0x1.80ffffffee67ep6, 0x1.d074b338a9163p138}, |
| {0x1.84ffffffee67ep6, 0x1.3ba167320351ap140}, |
| {0x1.88ffffffee67ep6, 0x1.acfc7e2e0558bp141}, |
| {0x1.8cffffffee67ep6, 0x1.2386c336b7163p143}, |
| {0x1.90ffffffee67ep6, 0x1.8c39b90c7cdap144}, |
| {0x1.94ffffffee67ep6, 0x1.0d435c84d4e66p146}, |
| {0x1.98ffffffee67ep6, 0x1.6df76efd7275ep147}, |
| {0x1.9cffffffee67ep6, 0x1.f1666c9163f86p148}, |
| {0x1.a0ffffffee67ep6, 0x1.5204b679406b7p150}, |
| {0x1.a4ffffffee67ep6, 0x1.cb6a267e94b7ap151}, |
| {0x1.a8ffffffee67ep6, 0x1.38346236ba483p153}, |
| {0x1.acffffffee67ep6, 0x1.a8547ff6d3311p154}, |
| {0x1.b0ffffffee67ep6, 0x1.205cb8246899ap156}, |
| {0x1.b4ffffffee67ep6, 0x1.87ecc28a831c1p157}, |
| {0x1.b8ffffffee67ep6, 0x1.0a572df57323ep159}, |
| {0x1.bcffffffee67ep6, 0x1.69fe8c886de24p160}, |
| {0x1.c0ffffffee67ep6, 0x1.ec0055aa644acp161}, |
| {0x1.c4ffffffee67ep6, 0x1.4e597c5197d13p163}, |
| {0x1.c8ffffffee67ep6, 0x1.c66d9bb965746p164}, |
| {0x1.ccffffffee67ep6, 0x1.34d0e22472ce2p166}, |
| {0x1.d0ffffffee67ep6, 0x1.a3b971da5668ap167}, |
| {0x1.d4ffffffee67ep6, 0x1.1d3b77e103d1ap169}, |
| {0x1.d8ffffffee67ep6, 0x1.83abbf32ed4f6p170}, |
| {0x1.dcffffffee67ep6, 0x1.07731e5137e95p172}, |
| {0x1.e0ffffffee67ep6, 0x1.6610b39e7ce7p173}, |
| {0x1.e4ffffffee67ep6, 0x1.e6a93f132076cp174}, |
| {0x1.e8ffffffee67ep6, 0x1.4ab873ed0fb2cp176}, |
| {0x1.ecffffffee67ep6, 0x1.c17eebfd11debp177}, |
| {0x1.f0ffffffee67ep6, 0x1.3176cc87e9082p179}, |
| {0x1.f4ffffffee67ep6, 0x1.9f2b2fe57487ap180}, |
| {0x1.f8ffffffee67ep6, 0x1.1a22e9fe60816p182}, |
| {0x1.fcffffffee67ep6, 0x1.7f768dd1738aap183}, |
| {0x1.007ffffff733fp7, 0x1.049717079907bp185}, |
| {0x1.027ffffff733fp7, 0x1.622dc5947dd63p186}, |
| {0x1.047ffffff733fp7, 0x1.e160ff1ccd30cp187}, |
| {0x1.067ffffff733fp7, 0x1.472180f8199d7p189}, |
| {0x1.087ffffff733fp7, 0x1.bc9df0c9b6e0fp190}, |
| {0x1.0a7ffffff733fp7, 0x1.2e26073757ed6p192}, |
| {0x1.0c7ffffff733fp7, 0x1.9aa99688f714bp193}, |
| {0x1.0e7ffffff733fp7, 0x1.1712f6523864dp195}, |
| {0x1.107ffffff733fp7, 0x1.7b4d0d8e11012p196}, |
| {0x1.127ffffff733fp7, 0x1.01c301c6bf29cp198}, |
| {0x1.147ffffff733fp7, 0x1.5e55a41486608p199}, |
| {0x1.167ffffff733fp7, 0x1.dc276c8c7156p200}, |
| {0x1.187ffffff733fp7, 0x1.4394876ddc7dap202}, |
| {0x1.1a7ffffff733fp7, 0x1.b7ca840a6b3bap203}, |
| {0x1.1c7ffffff733fp7, 0x1.2ade7851ad0fep205}, |
| {0x1.1e7ffffff733fp7, 0x1.963482987606p206}, |
| {0x1.207ffffff733fp7, 0x1.140b84f56a91bp208}, |
| {0x1.227ffffff733fp7, 0x1.772f1dec03a66p209}, |
| {0x1.247ffffff733fp7, 0x1.fded90f5af3ap210}, |
| {0x1.267ffffff733fp7, 0x1.5a88311cf6cbdp212}, |
| {0x1.287ffffff733fp7, 0x1.d6fc5e99a419dp213}, |
| {0x1.2a7ffffff733fp7, 0x1.40116b9759ebap215}, |
| {0x1.2c7ffffff733fp7, 0x1.b304801416466p216}, |
| {0x1.2e7ffffff733fp7, 0x1.27a0063dbe9cep218}, |
| {0x1.307ffffff733fp7, 0x1.91cbd14945353p219}, |
| {0x1.327ffffff733fp7, 0x1.110c7e4340e4fp221}, |
| {0x1.347ffffff733fp7, 0x1.731c9ec8ce996p222}, |
| {0x1.367ffffff733fp7, 0x1.f864aa9acffbdp223}, |
| {0x1.387ffffff733fp7, 0x1.56c54eff8fbcdp225}, |
| {0x1.3a7ffffff733fp7, 0x1.d1dfaced4eb1p226}, |
| {0x1.3c7ffffff733fp7, 0x1.3c98120a95d78p228}, |
| {0x1.3e7ffffff733fp7, 0x1.ae4bbfa449eaap229}, |
| {0x1.407ffffff733fp7, 0x1.246a97a9838dcp231}, |
| {0x1.427ffffff733fp7, 0x1.8d6f603164cebp232}, |
| {0x1.447ffffff733fp7, 0x1.0e15cad8b775ep234}, |
| {0x1.467ffffff733fp7, 0x1.6f15705b3f514p235}, |
| {0x1.487ffffff733fp7, 0x1.f2eb25494787dp236}, |
| {0x1.4a7ffffff733fp7, 0x1.530ce0608a8acp238}, |
| {0x1.4c7ffffff733fp7, 0x1.ccd12fa07172p239}, |
| {0x1.4e7ffffff733fp7, 0x1.39285fa9c08e7p241}, |
| {0x1.507ffffff733fp7, 0x1.a9a01de01fd02p242}, |
| {0x1.527ffffff733fp7, 0x1.213e13894e05p244}, |
| {0x1.547ffffff733fp7, 0x1.891f0d4674b33p245}, |
| {0x1.567ffffff733fp7, 0x1.0b275393c60b2p247}, |
| {0x1.587ffffff733fp7, 0x1.6b1973327581dp248}, |
| {0x1.5a7ffffff733fp7, 0x1.ed80d645874cfp249}, |
| {0x1.5c7ffffff733fp7, 0x1.4f5ec835b4172p251}, |
| {0x1.5e7ffffff733fp7, 0x1.c7d0bf3aec5fcp252}, |
| {0x1.607ffffff733fp7, 0x1.35c239a263125p254}, |
| {0x1.627ffffff733fp7, 0x1.a501765319bp255}, |
| {0x1.647ffffff733fp7, 0x1.1e1a611707cfbp257}, |
| {0x1.667ffffff733fp7, 0x1.84dab6dcaac3cp258}, |
| {0x1.687ffffff733fp7, 0x1.08410192ab89ep260}, |
| {0x1.6a7ffffff733fp7, 0x1.67288834edb2fp261}, |
| {0x1.6c7ffffff733fp7, 0x1.e825934abdad9p262}, |
| {0x1.6e7ffffff733fp7, 0x1.4bbae9c58a222p264}, |
| {0x1.707ffffff733fp7, 0x1.c2de34b24b161p265}, |
| {0x1.727ffffff733fp7, 0x1.3265856c8dbdcp267}, |
| {0x1.747ffffff733fp7, 0x1.a06fa4ee04c8ep268}, |
| {0x1.767ffffff733fp7, 0x1.1aff67d171068p270}, |
| {0x1.787ffffff733fp7, 0x1.80a23ba5cc0fep271}, |
| {0x1.7a7ffffff733fp7, 0x1.0562be333b5b6p273}, |
| {0x1.7c7ffffff733fp7, 0x1.6342909f8e806p274}, |
| {0x1.7e7ffffff733fp7, 0x1.e2d932898c11cp275}, |
| {0x1.807ffffff733ep7, 0x1.482128a65b0aap277}, |
| {0x1.827ffffff733ep7, 0x1.bdf9696894p278}, |
| {0x1.847ffffff733ep7, 0x1.2f1228ca0924p280}, |
| {0x1.867ffffff733ep7, 0x1.9bea8605e05b8p281}, |
| {0x1.887ffffff733ep7, 0x1.17ed0f7b60befp283}, |
| {0x1.8a7ffffff733ep7, 0x1.7c757ab028d2cp284}, |
| {0x1.8c7ffffff733ep7, 0x1.028c73122cbaap286}, |
| {0x1.8e7ffffff733ep7, 0x1.5f676e04b872p287}, |
| {0x1.907ffffff733ep7, 0x1.dd9b8aa6c07f4p288}, |
| {0x1.927ffffff733ep7, 0x1.449168bd6830bp290}, |
| {0x1.947ffffff733ep7, 0x1.b922372b1b22fp291}, |
| {0x1.967ffffff733ep7, 0x1.2bc809c589606p293}, |
| {0x1.987ffffff733ep7, 0x1.9771f652c776ap294}, |
| {0x1.9a7ffffff733ep7, 0x1.14e3401b07fc7p296}, |
| {0x1.9c7ffffff733ep7, 0x1.785453659b7d4p297}, |
| {0x1.9e7ffffff733ep7, 0x1.ff7c1414d829fp298}, |
| {0x1.a07ffffff733ep7, 0x1.5b97024b58a63p300}, |
| {0x1.a27ffffff733ep7, 0x1.d86c72ba13072p301}, |
| {0x1.a47ffffff733ep7, 0x1.410b8e3e0a59p303}, |
| {0x1.a67ffffff733ep7, 0x1.b458783157a34p304}, |
| {0x1.a87ffffff733ep7, 0x1.28870eb1e33efp306}, |
| {0x1.aa7ffffff733ep7, 0x1.9305d2eedd47p307}, |
| {0x1.ac7ffffff733ep7, 0x1.11e1e1f93656cp309}, |
| {0x1.ae7ffffff733ep7, 0x1.743ea58a8a142p310}, |
| {0x1.b07ffffff733ep7, 0x1.f9eeda68dbff6p311}, |
| {0x1.b27ffffff733ep7, 0x1.57d12fadfda18p313}, |
| {0x1.b47ffffff733ep7, 0x1.d34bc24ce61e7p314}, |
| {0x1.b67ffffff733ep7, 0x1.3d8f7da8d8d95p316}, |
| {0x1.b87ffffff733ep7, 0x1.af9c071bbd116p317}, |
| {0x1.ba7ffffff733ep7, 0x1.254f1e2943f7fp319}, |
| {0x1.bc7ffffff733ep7, 0x1.8ea5f9553ce5ep320}, |
| {0x1.be7ffffff733ep7, 0x1.0ee8dda0a100cp322}, |
| {0x1.c07ffffff733ep7, 0x1.7034513ceac7dp323}, |
| {0x1.c27ffffff733ep7, 0x1.f4710dcb08bdcp324}, |
| {0x1.c47ffffff733ep7, 0x1.5415d8b9ef19cp326}, |
| {0x1.c67ffffff733ep7, 0x1.ce3951590b045p327}, |
| {0x1.c87ffffff733ep7, 0x1.3a1d1bcad2ec4p329}, |
| {0x1.ca7ffffff733ep7, 0x1.aaecbef297a4ap330}, |
| {0x1.cc7ffffff733ep7, 0x1.22201f0c6ae88p332}, |
| {0x1.ce7ffffff733ep7, 0x1.8a524760ebdc1p333}, |
| {0x1.d07ffffff733ep7, 0x1.0bf81bdd2ba52p335}, |
| {0x1.d27ffffff733ep7, 0x1.6c3536f34b0c2p336}, |
| {0x1.d47ffffff733ep7, 0x1.ef02835e6a7d8p337}, |
| {0x1.d67ffffff733ep7, 0x1.5064e04e480fep339}, |
| {0x1.d87ffffff733ep7, 0x1.c934f847894a8p340}, |
| {0x1.da7ffffff733ep7, 0x1.36b44dbc8b633p342}, |
| {0x1.dc7ffffff733ep7, 0x1.a64a7b24ebae2p343}, |
| {0x1.de7ffffff733ep7, 0x1.1ef9f881e57b8p345}, |
| {0x1.e07ffffff733ep7, 0x1.860a9b4bcf9dfp346}, |
| {0x1.e27ffffff733ep7, 0x1.090f85bb33493p348}, |
| {0x1.e47ffffff733ep7, 0x1.6841377bd96e9p349}, |
| {0x1.e67ffffff733ep7, 0x1.e9a310bd2715dp350}, |
| {0x1.e87ffffff733ep7, 0x1.4cbe299b1372dp352}, |
| {0x1.ea7ffffff733ep7, 0x1.c43e8fef69d0dp353}, |
| {0x1.ec7ffffff733ep7, 0x1.3354f8e156a72p355}, |
| {0x1.ee7ffffff733ep7, 0x1.a1b51787582dfp356}, |
| {0x1.f07ffffff733ep7, 0x1.1bdc91f54d333p358}, |
| {0x1.f27ffffff733ep7, 0x1.81ced3ada5ec9p359}, |
| {0x1.f47ffffff733ep7, 0x1.062f0486db268p361}, |
| {0x1.f67ffffff733ep7, 0x1.645833fb72196p362}, |
| {0x1.f87ffffff733ep7, 0x1.e4528bf7332d2p363}, |
| {0x1.fa7ffffff733ep7, 0x1.492198206b3aep365}, |
| {0x1.fc7ffffff733ep7, 0x1.bf55f194851b5p366}, |
| {0x1.fe7ffffff733ep7, 0x1.2fff02e67affep368}, |
| {0x1.003ffffffb99fp8, 0x1.9d2c7052fc80ep369}, |
| {0x1.013ffffffb99fp8, 0x1.18c7d31687cep371}, |
| {0x1.023ffffffb99fp8, 0x1.7d9ecf7b00132p372}, |
| {0x1.033ffffffb99fp8, 0x1.035681cb5b766p374}, |
| {0x1.043ffffffb99fp8, 0x1.607a0decadfaep375}, |
| {0x1.053ffffffb99fp8, 0x1.df10cb910ae14p376}, |
| {0x1.063ffffffb99fp8, 0x1.458f0fad99f57p378}, |
| {0x1.073ffffffb99fp8, 0x1.ba7af6e654fa2p379}, |
| {0x1.083ffffffb99fp8, 0x1.2cb251c2631d6p381}, |
| {0x1.093ffffffb99fp8, 0x1.98b06224611f2p382}, |
| {0x1.0a3ffffffb99fp8, 0x1.15bba3d909807p384}, |
| {0x1.0b3ffffffb99fp8, 0x1.797a6e0440f8fp385}, |
| {0x1.0c3ffffffb99fp8, 0x1.0085e752522ap387}, |
| {0x1.0d3ffffffb99fp8, 0x1.5ca6a71ef489ep388}, |
| {0x1.0e3ffffffb99fp8, 0x1.d9dda6826dfc7p389}, |
| {0x1.0f3ffffffb99fp8, 0x1.420674603ebb2p391}, |
| {0x1.103ffffffb99fp8, 0x1.b5ad79fec979p392}, |
| {0x1.113ffffffb99fp8, 0x1.296ecbb3d2db7p394}, |
| {0x1.123ffffffb99fp8, 0x1.9440c9fa6362ap395}, |
| {0x1.133ffffffb99fp8, 0x1.12b7ec73193e4p397}, |
| {0x1.143ffffffb99fp8, 0x1.75618ef49dffep398}, |
| {0x1.153ffffffb99fp8, 0x1.fb7a3e462b12ap399}, |
| {0x1.163ffffffb99fp8, 0x1.58dde1b590206p401}, |
| {0x1.173ffffffb99fp8, 0x1.d4b8f4351faecp402}, |
| {0x1.183ffffffb99fp8, 0x1.3e87aaa373892p404}, |
| {0x1.193ffffffb99fp8, 0x1.b0ed5561210d9p405}, |
| {0x1.1a3ffffffb99fp8, 0x1.263457411e3a5p407}, |
| {0x1.1b3ffffffb99fp8, 0x1.8fdd8535244cdp408}, |
| {0x1.1c3ffffffb99fp8, 0x1.0fbc955d170d1p410}, |
| {0x1.1d3ffffffb99fp8, 0x1.7154125122a86p411}, |
| {0x1.1e3ffffffb99fp8, 0x1.f5f8270411675p412}, |
| {0x1.1f3ffffffb99fp8, 0x1.551fa026c4e4cp414}, |
| {0x1.203ffffffb99fp8, 0x1.cfa28c83a9c15p415}, |
| {0x1.213ffffffb99fp8, 0x1.3b12972ef5f7ap417}, |
| {0x1.223ffffffb99fp8, 0x1.ac3a63f8c3fc9p418}, |
| {0x1.233ffffffb99fp8, 0x1.2302db376285dp420}, |
| {0x1.243ffffffb99fp8, 0x1.8b867194fa443p421}, |
| {0x1.253ffffffb99fp8, 0x1.0cc98750c45aep423}, |
| {0x1.263ffffffb99fp8, 0x1.6d51d877b6f1bp424}, |
| {0x1.273ffffffb99fp8, 0x1.f0855ddfe3faap425}, |
| {0x1.283ffffffb99fp8, 0x1.516bc53aea3aap427}, |
| {0x1.293ffffffb99fp8, 0x1.ca9a47b823396p428}, |
| {0x1.2a3ffffffb99fp8, 0x1.37a71f0652462p430}, |
| {0x1.2b3ffffffb99fp8, 0x1.a794811822eb3p431}, |
| {0x1.2c3ffffffb99fp8, 0x1.1fda3ea9c1a4fp433}, |
| {0x1.2d3ffffffb99fp8, 0x1.873b6d3965cp434}, |
| {0x1.2e3ffffffb99fp8, 0x1.09deab488e539p436}, |
| {0x1.2f3ffffffb99fp8, 0x1.695ac21e2870ep437}, |
| {0x1.303ffffffb99fp8, 0x1.eb21b852a647cp438}, |
| {0x1.313ffffffb99fp8, 0x1.4dc2340b86b4cp440}, |
| {0x1.323ffffffb99fp8, 0x1.c59ffe8afa62cp441}, |
| {0x1.333ffffffb99fp8, 0x1.3445277810b78p443}, |
| {0x1.343ffffffb99fp8, 0x1.a2fb88779894fp444}, |
| {0x1.353ffffffb99fp8, 0x1.1cba68f09f8c5p446}, |
| {0x1.363ffffffb99fp8, 0x1.82fc56a008db6p447}, |
| {0x1.373ffffffb99fp8, 0x1.06fbea7eda2dfp449}, |
| {0x1.383ffffffb99fp8, 0x1.656eb0513614ep450}, |
| {0x1.393ffffffb99fp8, 0x1.e5cd0c4b86aaap451}, |
| {0x1.3a3ffffffb99fp8, 0x1.4a22d0026e7ffp453}, |
| {0x1.3b3ffffffb99fp8, 0x1.c0b38a21c236cp454}, |
| {0x1.3c3ffffffb99fp8, 0x1.30ec961ce5379p456}, |
| {0x1.3d3ffffffb99fp8, 0x1.9e6f56344e9dp457}, |
| {0x1.3e3ffffffb99fp8, 0x1.19a341a8e1ccbp459}, |
| {0x1.3f3ffffffb99fp8, 0x1.7ec90ca3a1c6dp460}, |
| {0x1.403ffffffb99fp8, 0x1.04212e6d536d6p462}, |
| {0x1.413ffffffb99fp8, 0x1.618d84739e91cp463}, |
| {0x1.423ffffffb99fp8, 0x1.e087302e9607ap464}, |
| {0x1.433ffffffb99fp8, 0x1.468d7cd8e4417p466}, |
| {0x1.443ffffffb99fp8, 0x1.bbd4c40e0317cp467}, |
| {0x1.453ffffffb99fp8, 0x1.2d9d50d6e1436p469}, |
| {0x1.463ffffffb99fp8, 0x1.99efc6cf25729p470}, |
| {0x1.473ffffffb99fp8, 0x1.1694b0b33138ap472}, |
| {0x1.483ffffffb99fp8, 0x1.7aa16e7b0810dp473}, |
| {0x1.493ffffffb99fp8, 0x1.014e60cc3c10bp475}, |
| {0x1.4a3ffffffb99fp8, 0x1.5db7203d316b3p476}, |
| {0x1.4b3ffffffb99fp8, 0x1.db4ffad383047p477}, |
| {0x1.4c3ffffffb99fp8, 0x1.43021e96bc60ep479}, |
| {0x1.4d3ffffffb99fp8, 0x1.b703864c0ed74p480}, |
| {0x1.4e3ffffffb99fp8, 0x1.2a573dd0a80e6p482}, |
| {0x1.4f3ffffffb99fp8, 0x1.957cb72b9f3f6p483}, |
| {0x1.503ffffffb99fp8, 0x1.138e9e333d9afp485}, |
| {0x1.513ffffffb99fp8, 0x1.76855bb82cbcep486}, |
| {0x1.523ffffffb99fp8, 0x1.fd06d7237d52bp487}, |
| {0x1.533ffffffb99fp8, 0x1.59eb65b9e296ap489}, |
| {0x1.543ffffffb99fp8, 0x1.d627438458c6ap490}, |
| {0x1.553ffffffb99fp8, 0x1.3f80999182b7ap492}, |
| {0x1.563ffffffb99fp8, 0x1.b23fab41d7fcdp493}, |
| {0x1.573ffffffb99fp8, 0x1.271a437ca4dd9p495}, |
| {0x1.583ffffffb99fp8, 0x1.9116048ecdd82p496}, |
| {0x1.593ffffffb99fp8, 0x1.1090f28f03784p498}, |
| {0x1.5a3ffffffb99fp8, 0x1.7274b4471d222p499}, |
| {0x1.5b3ffffffb99fp8, 0x1.f78071e284acfp500}, |
| {0x1.5c3ffffffb99fp8, 0x1.562a3748e0ae8p502}, |
| {0x1.5d3ffffffb99fp8, 0x1.d10ce1fc412f2p503}, |
| {0x1.5e3ffffffb99fp8, 0x1.3c08d26ba29edp505}, |
| {0x1.5f3ffffffb99fp8, 0x1.ad890dbdcc46ap506}, |
| {0x1.603ffffffb99fp8, 0x1.23e648944393ap508}, |
| {0x1.613ffffffb99fp8, 0x1.8cbb8c9e43a63p509}, |
| {0x1.623ffffffb99fp8, 0x1.0d9b966e13d61p511}, |
| {0x1.633ffffffb99fp8, 0x1.6e6f586d0888dp512}, |
| {0x1.643ffffffb99fp8, 0x1.f20966b5813aep513}, |
| {0x1.653ffffffb99fp8, 0x1.5273779badaf2p515}, |
| {0x1.663ffffffb99fp8, 0x1.cc00ae664a89p516}, |
| {0x1.673ffffffb99fp8, 0x1.389aae1391554p518}, |
| {0x1.683ffffffb99fp8, 0x1.a8df88f5b2588p519}, |
| {0x1.693ffffffb99fp8, 0x1.20bb34172b66ap521}, |
| {0x1.6a3ffffffb99fp8, 0x1.886d2d5f07833p522}, |
| {0x1.6b3ffffffb99fp8, 0x1.0aae72b8de01ep524}, |
| {0x1.6c3ffffffb99fp8, 0x1.6a7528c7487fep525}, |
| {0x1.6d3ffffffb99fp8, 0x1.eca18af43a36cp526}, |
| {0x1.6e3ffffffb99fp8, 0x1.4ec709b53a35fp528}, |
| {0x1.6f3ffffffb99fp8, 0x1.c702815c30a11p529}, |
| {0x1.703ffffffb99fp8, 0x1.353611c2fab72p531}, |
| {0x1.713ffffffb99fp8, 0x1.a442f8858a925p532}, |
| {0x1.723ffffffb99fp8, 0x1.1d98ed4a7bba3p534}, |
| {0x1.733ffffffb99fp8, 0x1.842ac5348b7cep535}, |
| {0x1.743ffffffb99fp8, 0x1.07c97097fb529p537}, |
| {0x1.753ffffffb99fp8, 0x1.6686064a6be2ap538}, |
| {0x1.763ffffffb99fp8, 0x1.e748b46cfe14cp539}, |
| {0x1.773ffffffb99fp8, 0x1.4b24d0e9033c7p541}, |
| {0x1.783ffffffb99fp8, 0x1.c21233e5293dap542}, |
| {0x1.793ffffffb99fp8, 0x1.31dae2fdf0407p544}, |
| {0x1.7a3ffffffb99fp8, 0x1.9fb3386e7303dp545}, |
| {0x1.7b3ffffffb99fp8, 0x1.1a7f5bb80b183p547}, |
| {0x1.7c3ffffffb99fp8, 0x1.7ff432dfa67a9p548}, |
| {0x1.7d3ffffffb99fp8, 0x1.04ec79737cde7p550}, |
| {0x1.7e3ffffffb99fp8, 0x1.62a1d2414486ep551}, |
| {0x1.7f3ffffffb99fp8, 0x1.e1feb963592a3p552}, |
| {0x1.803ffffffb99fp8, 0x1.478cb0da3248p554}, |
| {0x1.813ffffffb99fp8, 0x1.bd2f9f74b3ecep555}, |
| {0x1.823ffffffb99fp8, 0x1.2e8907921a545p557}, |
| {0x1.833ffffffb99fp8, 0x1.9b3025158e763p558}, |
| {0x1.843ffffffb99fp8, 0x1.176e672da841p560}, |
| {0x1.853ffffffb99fp8, 0x1.7bc9557d90bb5p561}, |
| {0x1.863ffffffb99fp8, 0x1.021776f23b20ap563}, |
| {0x1.873ffffffb99fp8, 0x1.5ec86e4bf78ccp564}, |
| {0x1.883ffffffb99fp8, 0x1.dcc3708ecfe88p565}, |
| {0x1.893ffffffb99fp8, 0x1.43fe8d7ac0079p567}, |
| {0x1.8a3ffffffb99fp8, 0x1.b85a9de96d206p568}, |
| {0x1.8b3ffffffb99fp8, 0x1.2b406595ebc2fp570}, |
| {0x1.8c3ffffffb99fp8, 0x1.96b99b42ee81ep571}, |
| {0x1.8d3ffffffb99fp8, 0x1.1465f7bc5d4f3p573}, |
| {0x1.8e3ffffffb99fp8, 0x1.77aa0c86e3254p574}, |
| {0x1.8f3ffffffb99fp8, 0x1.fe94a5f24f127p575}, |
| {0x1.903ffffffb99fp8, 0x1.5af9bc5f10484p577}, |
| {0x1.913ffffffb99fp8, 0x1.d796b1199ca0dp578}, |
| {0x1.923ffffffb99fp8, 0x1.407a4b0a99581p580}, |
| {0x1.933ffffffb99fp8, 0x1.b393098be48c6p581}, |
| {0x1.943ffffffb99fp8, 0x1.2800e367d7873p583}, |
| {0x1.953ffffffb99fp8, 0x1.924f782080a9p584}, |
| {0x1.963ffffffb99fp8, 0x1.1165f5b7b4e77p586}, |
| {0x1.973ffffffb99fp8, 0x1.739637ce995dep587}, |
| {0x1.983ffffffb99fp8, 0x1.f909ef553fe1dp588}, |
| {0x1.993ffffffb99fp8, 0x1.57359ec295bd8p590}, |
| {0x1.9a3ffffffb99fp8, 0x1.d278529f70c72p591}, |
| {0x1.9b3ffffffb99fp8, 0x1.3cffce16c6a9fp593}, |
| {0x1.9c3ffffffb99fp8, 0x1.aed8bd0d76c2ep594}, |
| {0x1.9d3ffffffb99fp8, 0x1.24ca67ad88b68p596}, |
| {0x1.9e3ffffffb99fp8, 0x1.8df19938fe6d4p597}, |
| {0x1.9f3ffffffb99fp8, 0x1.0e6e49b5016fbp599}, |
| {0x1.a03ffffffb99fp8, 0x1.6f8db78116a48p600}, |
| {0x1.a13ffffffb99fp8, 0x1.f38e9ecb87da4p601}, |
| {0x1.a23ffffffb99fp8, 0x1.537bf81122a93p603}, |
| {0x1.a33ffffffb99fp8, 0x1.cd682d2c39ab4p604}, |
| {0x1.a43ffffffb99fp8, 0x1.398efb7895c02p606}, |
| {0x1.a53ffffffb99fp8, 0x1.aa2b938729ffap607}, |
| {0x1.a63ffffffb99fp8, 0x1.219cd9531c9cep609}, |
| {0x1.a73ffffffb99fp8, 0x1.899fdc76e059bp610}, |
| {0x1.a83ffffffb99fp8, 0x1.0b7edc8aa647ep612}, |
| {0x1.a93ffffffb99fp8, 0x1.6b906c232d65ep613}, |
| {0x1.aa3ffffffb99fp8, 0x1.ee22898b97fbep614}, |
| {0x1.ab3ffffffb99fp8, 0x1.4fccab37000cep616}, |
| {0x1.ac3ffffffb99fp8, 0x1.c866193ae89dbp617}, |
| {0x1.ad3ffffffb99fp8, 0x1.3627b854c5c27p619}, |
| {0x1.ae3ffffffb99fp8, 0x1.a58b68788e1e6p620}, |
| {0x1.af3ffffffb99fp8, 0x1.1e781f8a5efe5p622}, |
| {0x1.b03ffffffb99fp8, 0x1.855a202353f77p623}, |
| {0x1.b13ffffffb99fp8, 0x1.0897974f62fe1p625}, |
| {0x1.b23ffffffb99fp8, 0x1.679e369129826p626}, |
| {0x1.b33ffffffb99fp8, 0x1.e8c58542c521dp627}, |
| {0x1.b43ffffffb99fp8, 0x1.4c279b7142392p629}, |
| {0x1.b53ffffffb99fp8, 0x1.c371efb43e76ep630}, |
| {0x1.b63ffffffb99fp8, 0x1.32c9ea1ab59ccp632}, |
| {0x1.b73ffffffb99fp8, 0x1.a0f817c69fb0ap633}, |
| {0x1.b83ffffffb99fp8, 0x1.1b5c21ca08788p635}, |
| {0x1.b93ffffffb99fp8, 0x1.812042e534a64p636}, |
| {0x1.ba3ffffffb99fp8, 0x1.05b86359a079cp638}, |
| {0x1.bb3ffffffb99fp8, 0x1.63b6f7fddd3efp639}, |
| {0x1.bc3ffffffb99fp8, 0x1.e3776813fda8ep640}, |
| {0x1.bd3ffffffb99fp8, 0x1.488cac4ce84e7p642}, |
| {0x1.be3ffffffb99fp8, 0x1.be8b89ed9a77dp643}, |
| {0x1.bf3ffffffb99fp8, 0x1.2f75768394a5p645}, |
| {0x1.c03ffffffb99fp8, 0x1.9c717dbaae2b8p646}, |
| {0x1.c13ffffffb99fp8, 0x1.1848c7ccfefe3p648}, |
| {0x1.c23ffffffb99fp8, 0x1.7cf223c0074fbp649}, |
| {0x1.c33ffffffb99fp8, 0x1.02e12a3ec0173p651}, |
| {0x1.c43ffffffb99fp8, 0x1.5fda91f1b0d98p652}, |
| {0x1.c53ffffffb99fp8, 0x1.de38089682abp653}, |
| {0x1.c63ffffffb99fp8, 0x1.44fbc1a5fe2ddp655}, |
| {0x1.c73ffffffb99fp8, 0x1.b9b2c1a7cc7aap656}, |
| {0x1.c83ffffffb99fp8, 0x1.2c2a43919580dp658}, |
| {0x1.c93ffffffb99fp8, 0x1.97f7770145248p659}, |
| {0x1.ca3ffffffb99fp8, 0x1.153df9919867p661}, |
| {0x1.cb3ffffffb99fp8, 0x1.78cfa212f8edcp662}, |
| {0x1.cc3ffffffb99fp8, 0x1.0011d5d26caedp664}, |
| {0x1.cd3ffffffb99fp8, 0x1.5c08e649b4b94p665}, |
| {0x1.ce3ffffffb99fp8, 0x1.d9073dd4a4c7bp666}, |
| {0x1.cf3ffffffb99fp8, 0x1.4174bfa6c0d24p668}, |
| {0x1.d03ffffffb99fp8, 0x1.b4e7710dea691p669}, |
| {0x1.d13ffffffb99fp8, 0x1.28e8378f2345ap671}, |
| {0x1.d23ffffffb99fp8, 0x1.9389e0a91894fp672}, |
| {0x1.d33ffffffb99fp8, 0x1.123b9f58df0dap674}, |
| {0x1.d43ffffffb99fp8, 0x1.74b89d97dfdd3p675}, |
| {0x1.d53ffffffb99fp8, 0x1.fa94a04bdb05cp676}, |
| {0x1.d63ffffffb99fp8, 0x1.5841d736b633cp678}, |
| {0x1.d73ffffffb99fp8, 0x1.d3e4df4a846ddp679}, |
| {0x1.d83ffffffb99fp8, 0x1.3df78ac6c50cep681}, |
| {0x1.d93ffffffb99fp8, 0x1.b02972b428f19p682}, |
| {0x1.da3ffffffb99fp8, 0x1.25af390e18cbep684}, |
| {0x1.db3ffffffb99fp8, 0x1.8f289821f41b9p685}, |
| {0x1.dc3ffffffb99fp8, 0x1.0f41a1a5d8764p687}, |
| {0x1.dd3ffffffb99fp8, 0x1.70acf6623ff32p688}, |
| {0x1.de3ffffffb99fp8, 0x1.f515070ef61acp689}, |
| {0x1.df3ffffffb99fp8, 0x1.5485473c56dfcp691}, |
| {0x1.e03ffffffb99fp8, 0x1.ced0c4e4d59e4p692}, |
| {0x1.e13ffffffb99fp8, 0x1.3a8407ca209c6p694}, |
| {0x1.e23ffffffb99fp8, 0x1.ab78a196b76fdp695}, |
| {0x1.e33ffffffb99fp8, 0x1.227f2ee6fa305p697}, |
| {0x1.e43ffffffb99fp8, 0x1.8ad37b3bad33ep698}, |
| {0x1.e53ffffffb99fp8, 0x1.0c4fe93ccdf88p700}, |
| {0x1.e63ffffffb99fp8, 0x1.6cac8cde514efp701}, |
| {0x1.e73ffffffb99fp8, 0x1.efa4b5032b54fp702}, |
| {0x1.e83ffffffb99fp8, 0x1.50d31930266e8p704}, |
| {0x1.e93ffffffb99fp8, 0x1.c9cac6ffa71cbp705}, |
| {0x1.ea3ffffffb99fp8, 0x1.371a1bc09599dp707}, |
| {0x1.eb3ffffffb99fp8, 0x1.a6d4d9189f018p708}, |
| {0x1.ec3ffffffb99fp8, 0x1.1f580038307ccp710}, |
| {0x1.ed3ffffffb99fp8, 0x1.868a6825185b7p711}, |
| {0x1.ee3ffffffb99fp8, 0x1.09665f229766bp713}, |
| {0x1.ef3ffffffb99fp8, 0x1.68b741d009e02p714}, |
| {0x1.f03ffffffb99fp8, 0x1.ea437fb4bc319p715}, |
| {0x1.f13ffffffb99fp8, 0x1.4d2b3038bf046p717}, |
| {0x1.f23ffffffb99ep8, 0x1.c4d2be652cea4p718}, |
| {0x1.f33ffffffb99ep8, 0x1.33b9ac04c0212p720}, |
| {0x1.f43ffffffb99ep8, 0x1.a23df502a4a3ap721}, |
| {0x1.f53ffffffb99ep8, 0x1.1c39946547606p723}, |
| {0x1.f63ffffffb99ep8, 0x1.824d3d6b0103dp724}, |
| {0x1.f73ffffffb99ep8, 0x1.0684ec9be79c4p726}, |
| {0x1.f83ffffffb99ep8, 0x1.64ccf65229834p727}, |
| {0x1.f93ffffffb99ep8, 0x1.e4f13d25df78ap728}, |
| {0x1.fa3ffffffb99ep8, 0x1.498d6fcce3f5ep730}, |
| {0x1.fb3ffffffb99ep8, 0x1.bfe8844c8ea89p731}, |
| {0x1.fc3ffffffb99ep8, 0x1.30629e3b46a18p733}, |
| {0x1.fd3ffffffb99ep8, 0x1.9db3d1822eed1p734}, |
| {0x1.fe3ffffffb99ep8, 0x1.1923d3162d5cep736}, |
| {0x1.ff3ffffffb99ep8, 0x1.7e1bd9f724dbcp737}, |
| {0x1.001ffffffdccfp9, 0x1.03ab7b2c9b517p739}, |
| {0x1.009ffffffdccfp9, 0x1.60ed8bd54933ep740}, |
| {0x1.011ffffffdccfp9, 0x1.dfadc3cd79f32p741}, |
| {0x1.019ffffffdccfp9, 0x1.45f9bbb2a35d1p743}, |
| {0x1.021ffffffdccfp9, 0x1.bb0bf258b833ap744}, |
| {0x1.029ffffffdccfp9, 0x1.2d14d8520baf7p746}, |
| {0x1.031ffffffdccfp9, 0x1.99364b282dd34p747}, |
| {0x1.039ffffffdccfp9, 0x1.1616a4367556fp749}, |
| {0x1.041ffffffdccfp9, 0x1.79f61d0f30fbp750}, |
| {0x1.049ffffffdccfp9, 0x1.00d9f49709365p752}, |
| {0x1.051ffffffdccfp9, 0x1.5d18e41eebfc4p753}, |
| {0x1.059ffffffdccfp9, 0x1.da78ea95d97f9p754}, |
| {0x1.061ffffffdccfp9, 0x1.426ff7fe794b6p756}, |
| {0x1.069ffffffdccfp9, 0x1.b63ce2972ea1ep757}, |
| {0x1.071ffffffdccfp9, 0x1.29d0407f62d33p759}, |
| {0x1.079ffffffdccfp9, 0x1.94c53ee806803p760}, |
| {0x1.081ffffffdccfp9, 0x1.1311eff49ae9ap762}, |
| {0x1.089ffffffdccfp9, 0x1.75dbe653c2ceap763}, |
| {0x1.091ffffffdccfp9, 0x1.fc2085b6a9375p764}, |
| {0x1.099ffffffdccfp9, 0x1.594ee148935c8p766}, |
| {0x1.0a1ffffffdccfp9, 0x1.d55288db74dc3p767}, |
| {0x1.0a9ffffffdccfp9, 0x1.3ef00912762eap769}, |
| {0x1.0b1ffffffdccfp9, 0x1.b17b2f7ee7f4ep770}, |
| {0x1.0b9ffffffdccfp9, 0x1.2694bd41472c4p772}, |
| {0x1.0c1ffffffdccfp9, 0x1.90608a1681a3ep773}, |
| {0x1.0c9ffffffdccfp9, 0x1.10159ec1486a4p775}, |
| {0x1.0d1ffffffdccfp9, 0x1.71cd15bf6b516p776}, |
| {0x1.0d9ffffffdccfp9, 0x1.f69ca06d83551p777}, |
| {0x1.0e1ffffffdccfp9, 0x1.558f65bed5d1ap779}, |
| {0x1.0e9ffffffdccfp9, 0x1.d03a766bae541p780}, |
| {0x1.0f1ffffffdccfp9, 0x1.3b79d39d672c6p782}, |
| {0x1.0f9ffffffdccfp9, 0x1.acc6b3ef261e7p783}, |
| {0x1.101ffffffdccfp9, 0x1.2362355c94574p785}, |
| {0x1.109ffffffdccfp9, 0x1.8c080a68bcd97p786}, |
| {0x1.111ffffffdccfp9, 0x1.0d21994e9f02ap788}, |
| {0x1.119ffffffdccfp9, 0x1.6dc98ba5b51bp789}, |
| {0x1.121ffffffdccfp9, 0x1.f1280e4617147p790}, |
| {0x1.129ffffffdccfp9, 0x1.51da544077fa2p792}, |
| {0x1.131ffffffdccfp9, 0x1.cb308b8399fb7p793}, |
| {0x1.139ffffffdccfp9, 0x1.380d3c9a00e7ep795}, |
| {0x1.141ffffffdccfp9, 0x1.a81f4b2e55334p796}, |
| {0x1.149ffffffdccfp9, 0x1.20388fdc417d5p798}, |
| {0x1.151ffffffdccfp9, 0x1.87bb9df31efbp799}, |
| {0x1.159ffffffdccfp9, 0x1.0a35c88f80cbp801}, |
| {0x1.161ffffffdccfp9, 0x1.69d128b22d25ap802}, |
| {0x1.169ffffffdccfp9, 0x1.ebc2a4ab78bb5p803}, |
| {0x1.171ffffffdccfp9, 0x1.4e2f8fdd883d6p805}, |
| {0x1.179ffffffdccfp9, 0x1.c634a0cec7546p806}, |
| {0x1.181ffffffdccfp9, 0x1.34aa294e0c99ep808}, |
| {0x1.189ffffffdccfp9, 0x1.a384d0e8ecc3p809}, |
| {0x1.191ffffffdccfp9, 0x1.1d17b4109e865p811}, |
| {0x1.199ffffffdccfp9, 0x1.837b23284f5e9p812}, |
| {0x1.1a1ffffffdccfp9, 0x1.075215b6dcdc8p814}, |
| {0x1.1a9ffffffdccfp9, 0x1.65e3cde76e421p815}, |
| {0x1.1b1ffffffdccfp9, 0x1.e66c397f0e285p816}, |
| {0x1.1b9ffffffdccfp9, 0x1.4a8efbf67ceccp818}, |
| {0x1.1c1ffffffdccfp9, 0x1.c1468f660e51bp819}, |
| {0x1.1c9ffffffdccfp9, 0x1.31507f4997713p821}, |
| {0x1.1d1ffffffdccfp9, 0x1.9ef72130544cep822}, |
| {0x1.1d9ffffffdccfp9, 0x1.19ff898e9368dp824}, |
| {0x1.1e1ffffffdccfp9, 0x1.7f4678d82ff18p825}, |
| {0x1.1e9ffffffdccfp9, 0x1.04766a36fd582p827}, |
| {0x1.1f1ffffffdccfp9, 0x1.62015c9e2f34p828}, |
| {0x1.1f9ffffffdccfp9, 0x1.e124a317460fp829}, |
| {0x1.201ffffffdccfp9, 0x1.46f87c3b54d8ep831}, |
| {0x1.209ffffffdccfp9, 0x1.bc6630ce5faecp832}, |
| {0x1.211ffffffdccfp9, 0x1.2e00246624382p834}, |
| {0x1.219ffffffdccfp9, 0x1.9a761879cac82p835}, |
| {0x1.221ffffffdccfp9, 0x1.16eff82ee1911p837}, |
| {0x1.229ffffffdccfp9, 0x1.7b1d7e2eda2c6p838}, |
| {0x1.231ffffffdccfp9, 0x1.01a2afc0d75c2p840}, |
| {0x1.239ffffffdccfp9, 0x1.5e29b684536ep841}, |
| {0x1.241ffffffdccfp9, 0x1.dbebb83e52c5dp842}, |
| {0x1.249ffffffdccfp9, 0x1.436bf4aaba53p844}, |
| {0x1.251ffffffdccfp9, 0x1.b7935ef798935p845}, |
| {0x1.259ffffffdccfp9, 0x1.2ab8fec5df362p847}, |
| {0x1.261ffffffdccfp9, 0x1.9601939d5137dp848}, |
| {0x1.269ffffffdccfp9, 0x1.13e8e80d6759dp850}, |
| {0x1.271ffffffdccfp9, 0x1.770012b39ed67p851}, |
| {0x1.279ffffffdccfp9, 0x1.fdada086b9c52p852}, |
| {0x1.281ffffffdccfp9, 0x1.5a5cbd9bfe665p854}, |
| {0x1.289ffffffdccfp9, 0x1.d6c15030e89c1p855}, |
| {0x1.291ffffffdccfp9, 0x1.3fe9499128953p857}, |
| {0x1.299ffffffdccfp9, 0x1.b2cdf43b59797p858}, |
| {0x1.2a1ffffffdccfp9, 0x1.277af4d2d449ap860}, |
| {0x1.2a9ffffffdccfp9, 0x1.91996fd498417p861}, |
| {0x1.2b1ffffffdccfp9, 0x1.10ea41886590dp863}, |
| {0x1.2b9ffffffdccfp9, 0x1.72ee16480890ep864}, |
| {0x1.2c1ffffffdccfp9, 0x1.f8256bd5a1072p865}, |
| {0x1.2c9ffffffdccfp9, 0x1.569a543aa97d8p867}, |
| {0x1.2d1ffffffdccfp9, 0x1.d1a5429cffadp868}, |
| {0x1.2d9ffffffdccfp9, 0x1.3c705f8813894p870}, |
| {0x1.2e1ffffffdccfp9, 0x1.ae15cb5be04dap871}, |
| {0x1.2e9ffffffdccfp9, 0x1.2445ed3e27324p873}, |
| {0x1.2f1ffffffdccfp9, 0x1.8d3d8ab9f0bdep874}, |
| {0x1.2f9ffffffdccfp9, 0x1.0df3ed3fc701dp876}, |
| {0x1.301ffffffdccfp9, 0x1.6ee76926e122bp877}, |
| {0x1.309ffffffdccfp9, 0x1.f2ac9640362cap878}, |
| {0x1.311ffffffdccfp9, 0x1.52e25d083c6f6p880}, |
| {0x1.319ffffffdccfp9, 0x1.cc9767a099276p881}, |
| {0x1.321ffffffdccfp9, 0x1.39011b7511e91p883}, |
| {0x1.329ffffffdccfp9, 0x1.a96abf82e5bedp884}, |
| {0x1.331ffffffdccfp9, 0x1.2119ceff4e062p886}, |
| {0x1.339ffffffdccfp9, 0x1.88edc2473f3cfp887}, |
| {0x1.341ffffffdccfp9, 0x1.0b05d4146a019p889}, |
| {0x1.349ffffffdccfp9, 0x1.6aebebe3397ccp890}, |
| {0x1.351ffffffdccfp9, 0x1.ed42f5104656ep891}, |
| {0x1.359ffffffdccfp9, 0x1.4f34bafe2847bp893}, |
| {0x1.361ffffffdccfp9, 0x1.c79797c887ff8p894}, |
| {0x1.369ffffffdccfp9, 0x1.359b628909b0ap896}, |
| {0x1.371ffffffdccfp9, 0x1.a4ccac407db6ep897}, |
| {0x1.379ffffffdccfp9, 0x1.1df681534dcc2p899}, |
| {0x1.381ffffffdccfp9, 0x1.84a9f4d4f272ap900}, |
| {0x1.389ffffffdccfp9, 0x1.081fdf276bf44p902}, |
| {0x1.391ffffffdccfp9, 0x1.66fb7f67746f6p903}, |
| {0x1.399ffffffdccfp9, 0x1.e7e85e064cb73p904}, |
| {0x1.3a1ffffffdccfp9, 0x1.4b91516684d28p906}, |
| {0x1.3a9ffffffdccfp9, 0x1.c2a5ac0f3d022p907}, |
| {0x1.3b1ffffffdccfp9, 0x1.323f1a3f5edc4p909}, |
| {0x1.3b9ffffffdccfp9, 0x1.a03b6d89faf11p910}, |
| {0x1.3c1ffffffdccfp9, 0x1.1adbebbbf9351p912}, |
| {0x1.3c9ffffffdccfp9, 0x1.80720118fc863p913}, |
| {0x1.3d1ffffffdccfp9, 0x1.0541f7d976c95p915}, |
| {0x1.3d9ffffffdccfp9, 0x1.631604f454091p916}, |
| {0x1.3e1ffffffdccfp9, 0x1.e29ca75828ca4p917}, |
| {0x1.3e9ffffffdccfp9, 0x1.47f803db3082ep919}, |
| {0x1.3f1ffffffdccfp9, 0x1.bdc17ddb963f2p920}, |
| {0x1.3f9ffffffdccfp9, 0x1.2eec285d246c2p922}, |
| {0x1.401ffffffdccfp9, 0x1.9bb6dfb8d5a7bp923}, |
| {0x1.409ffffffdccfp9, 0x1.17c9f5ff316ddp925}, |
| {0x1.411ffffffdccfp9, 0x1.7c45c625cf3bcp926}, |
| {0x1.419ffffffdccfp9, 0x1.026c07ca1067p928}, |
| {0x1.421ffffffdccfp9, 0x1.5f3b5e200997dp929}, |
| {0x1.429ffffffdccfp9, 0x1.dd5fa7afd8289p930}, |
| {0x1.431ffffffdccfp9, 0x1.4468b644f2c7fp932}, |
| {0x1.439ffffffdccfp9, 0x1.b8eae6ffb1c26p933}, |
| {0x1.441ffffffdccfp9, 0x1.2ba272f04fa72p935}, |
| {0x1.449ffffffdccfp9, 0x1.973edf89954efp936}, |
| {0x1.451ffffffdccfp9, 0x1.14c088262904bp938}, |
| {0x1.459ffffffdccfp9, 0x1.782523695aef2p939}, |
| {0x1.461ffffffdccfp9, 0x1.ff3bf1add8023p940}, |
| {0x1.469ffffffdccfp9, 0x1.5b6b6cd54844dp942}, |
| {0x1.471ffffffdccfp9, 0x1.d831362a33e02p943}, |
| {0x1.479ffffffdccfp9, 0x1.40e34cdaa0c9dp945}, |
| {0x1.481ffffffdccfp9, 0x1.b421c1b7c391cp946}, |
| {0x1.489ffffffdccfp9, 0x1.2861e04eed965p948}, |
| {0x1.491ffffffdccfp9, 0x1.92d34a1abd55p949}, |
| {0x1.499ffffffdccfp9, 0x1.11bf8a7ca8dc9p951}, |
| {0x1.4a1ffffffdccfp9, 0x1.740ff8ac10594p952}, |
| {0x1.4a9ffffffdccfp9, 0x1.f9af6a367aa8cp953}, |
| {0x1.4b1ffffffdccfp9, 0x1.57a613525a444p955}, |
| {0x1.4b9ffffffdccfp9, 0x1.d3112a55b14f7p956}, |
| {0x1.4c1ffffffdccfp9, 0x1.3d67ac204487bp958}, |
| {0x1.4c9ffffffdccfp9, 0x1.af65e8a8eee76p959}, |
| {0x1.4d1ffffffdccfp9, 0x1.252a57165ab35p961}, |
| {0x1.4d9ffffffdccfp9, 0x1.8e73fcebbcdf2p962}, |
| {0x1.4e1ffffffdccfp9, 0x1.0ec6e5905727p964}, |
| {0x1.4e9ffffffdccfp9, 0x1.7006260fe518p965}, |
| {0x1.4f1ffffffdccfp9, 0x1.f4324dde1b853p966}, |
| {0x1.4f9ffffffdccfp9, 0x1.53eb342838912p968}, |
| {0x1.501ffffffdccfp9, 0x1.cdff5c312677p969}, |
| {0x1.509ffffffdccfp9, 0x1.39f5b8e646512p971}, |
| {0x1.511ffffffdccfp9, 0x1.aab736e0229e8p972}, |
| {0x1.519ffffffdccfp9, 0x1.21fbbe2a7cc33p974}, |
| {0x1.521ffffffdccfp9, 0x1.8a20d5dbe17b1p975}, |
| {0x1.529ffffffdccfp9, 0x1.0bd6823000616p977}, |
| {0x1.531ffffffdccfp9, 0x1.6c078c0f5af0cp978}, |
| {0x1.539ffffffdccfp9, 0x1.eec471cd26923p979}, |
| {0x1.541ffffffdccfp9, 0x1.503ab239a52eep981}, |
| {0x1.549ffffffdccfp9, 0x1.c8fba42a91b8p982}, |
| {0x1.551ffffffdccfp9, 0x1.368d584898928p984}, |
| {0x1.559ffffffdccfp9, 0x1.a61587d0f8cb4p985}, |
| {0x1.561ffffffdccfp9, 0x1.1ed5fcb4fed8p987}, |
| {0x1.569ffffffdccfp9, 0x1.85d9b3294cbccp988}, |
| {0x1.571ffffffdccfp9, 0x1.08ee496ae24e1p990}, |
| {0x1.579ffffffdccfp9, 0x1.68140b7c89c5cp991}, |
| {0x1.581ffffffdccfp9, 0x1.e965aba3129a2p992}, |
| {0x1.589ffffffdccfp9, 0x1.4c9470ba47e91p994}, |
| {0x1.591ffffffdccfp9, 0x1.c405db1de4f69p995}, |
| {0x1.599ffffffdccfp9, 0x1.332e6fade5fp997}, |
| {0x1.5a1ffffffdccfp9, 0x1.a180b7549973p998}, |
| {0x1.5a9ffffffdccfp9, 0x1.1bb8fa248f731p1000}, |
| {0x1.5b1ffffffdccfp9, 0x1.819e736fecc0ap1001}, |
| {0x1.5b9ffffffdccfp9, 0x1.060e248ff8e45p1003}, |
| {0x1.5c1ffffffdccfp9, 0x1.642b85802c37dp1004}, |
| {0x1.5c9ffffffdccfp9, 0x1.e415d17516714p1005}, |
| {0x1.5d1ffffffdccfp9, 0x1.48f8532dcd8aap1007}, |
| {0x1.5d9ffffffdccfp9, 0x1.bf1dda53d4168p1008}, |
| {0x1.5e1ffffffdccfp9, 0x1.2fd8e4c6c1a74p1010}, |
| {0x1.5e9ffffffdccfp9, 0x1.9cf8a1a8a05e1p1011}, |
| {0x1.5f1ffffffdccfp9, 0x1.18a49e2c20c14p1013}, |
| {0x1.5f9ffffffdccfp9, 0x1.7d6ef5a877896p1014}, |
| {0x1.601ffffffdccfp9, 0x1.0335fd2d4d32ap1016}, |
| {0x1.609ffffffdccfp9, 0x1.604ddb98aeeb6p1017}, |
| {0x1.611ffffffdccfp9, 0x1.ded4b9cce1c65p1018}, |
| {0x1.619ffffffdccep9, 0x1.45663d67095d1p1020}, |
| {0x1.621ffffffdccep9, 0x1.ba437b80a6915p1021}, |
| {0x1.629ffffffdccep9, 0x1.2c8c9d8cda0c8p1023}, |
| }; |
| |
| for (double[] testCase: testCases) |
| failures+=testExpm1Case(testCase[0], testCase[1]); |
| |
| return failures; |
| } |
| |
| public static void main(String [] argv) { |
| int failures = 0; |
| |
| failures += testExpm1(); |
| |
| if (failures > 0) { |
| System.err.println("Testing expm1 incurred " |
| + failures + " failures."); |
| throw new RuntimeException(); |
| } |
| } |
| } |