blob: af07eac7e66f084478c51526ac0769bbd4e8c772 [file] [log] [blame]
/*
* 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 4074599
* @summary Tests for StrictMath.log10
* @author Joseph D. Darcy
*/
/**
* The tests in ../Math/Log10Tests.java test properties that should
* hold for any log10 implementation, including the FDLIBM-based one
* required for StrictMath.log10. Therefore, the test cases in
* ../Math/Log10Tests.java are run against both the Math and
* StrictMath versions of log10. The role of this test is to verify
* that the FDLIBM log10 algorithm is being used by running golden
* file tests on values that may vary from one conforming log10
* implementation to another.
*/
public class Log10Tests {
private Log10Tests(){}
static int testLog10Case(double input, double expected) {
return Tests.test("StrictMath.log10(double)", input,
StrictMath.log10(input), expected);
}
static int testLog10() {
int failures = 0;
double [][] testCases = {
{0x1.3fffffffffec1p-297, -0x1.653c6a27ae2f8p6},
{0x1.4p-297, -0x1.653c6a27ae2f7p6},
{0x1.3fffffffffbe1p-296, -0x1.640828f2a4382p6},
{0x1.4p-296, -0x1.640828f2a437dp6},
{0x1.3fffffffffd52p-295, -0x1.62d3e7bd9a406p6},
{0x1.4p-295, -0x1.62d3e7bd9a403p6},
{0x1.3fffffffffa72p-294, -0x1.619fa6889049p6},
{0x1.4p-294, -0x1.619fa68890489p6},
{0x1.3fffffffff9bbp-293, -0x1.606b655386518p6},
{0x1.4p-293, -0x1.606b65538650fp6},
{0x1.3fffffffffbe4p-292, -0x1.5f37241e7c59ap6},
{0x1.4p-292, -0x1.5f37241e7c595p6},
{0x1.3ffffffffff7ep-291, -0x1.5e02e2e97261cp6},
{0x1.4p-291, -0x1.5e02e2e97261bp6},
{0x1.3fffffffffc9ep-290, -0x1.5ccea1b4686a6p6},
{0x1.4p-290, -0x1.5ccea1b4686a1p6},
{0x1.3fffffffffec7p-289, -0x1.5b9a607f5e728p6},
{0x1.4p-289, -0x1.5b9a607f5e727p6},
{0x1.3fffffffffbe7p-288, -0x1.5a661f4a547b2p6},
{0x1.4p-288, -0x1.5a661f4a547adp6},
{0x1.3fffffffff907p-287, -0x1.5931de154a83cp6},
{0x1.4p-287, -0x1.5931de154a833p6},
{0x1.3fffffffffd59p-286, -0x1.57fd9ce0408bcp6},
{0x1.4p-286, -0x1.57fd9ce0408b9p6},
{0x1.3fffffffffecap-285, -0x1.56c95bab3694p6},
{0x1.4p-285, -0x1.56c95bab3693fp6},
{0x1.3fffffffffbeap-284, -0x1.55951a762c9cap6},
{0x1.4p-284, -0x1.55951a762c9c5p6},
{0x1.3ffffffffff84p-283, -0x1.5460d94122a4cp6},
{0x1.4p-283, -0x1.5460d94122a4bp6},
{0x1.3fffffffffca4p-282, -0x1.532c980c18ad6p6},
{0x1.4p-282, -0x1.532c980c18ad1p6},
{0x1.3fffffffff9c4p-281, -0x1.51f856d70eb6p6},
{0x1.4p-281, -0x1.51f856d70eb57p6},
{0x1.3fffffffffe16p-280, -0x1.50c415a204bep6},
{0x1.4p-280, -0x1.50c415a204bddp6},
{0x1.3fffffffffd5ep-279, -0x1.4f8fd46cfac66p6},
{0x1.4p-279, -0x1.4f8fd46cfac63p6},
{0x1.3fffffffffd5fp-278, -0x1.4e5b9337f0cecp6},
{0x1.4p-278, -0x1.4e5b9337f0ce9p6},
{0x1.3fffffffffedp-277, -0x1.4d275202e6d7p6},
{0x1.4p-277, -0x1.4d275202e6d6fp6},
{0x1.3fffffffffbfp-276, -0x1.4bf310cddcdfap6},
{0x1.4p-276, -0x1.4bf310cddcdf5p6},
{0x1.3ffffffffff8ap-275, -0x1.4abecf98d2e7bp6},
{0x1.4p-275, -0x1.4abecf98d2e7bp6},
{0x1.3fffffffffd62p-274, -0x1.498a8e63c8f04p6},
{0x1.4p-274, -0x1.498a8e63c8f01p6},
{0x1.3fffffffff9cap-273, -0x1.48564d2ebef9p6},
{0x1.4p-273, -0x1.48564d2ebef87p6},
{0x1.3fffffffff6eap-272, -0x1.47220bf9b501ap6},
{0x1.4p-272, -0x1.47220bf9b500dp6},
{0x1.3fffffffffb3cp-271, -0x1.45edcac4ab09ap6},
{0x1.4p-271, -0x1.45edcac4ab093p6},
{0x1.3fffffffffd65p-270, -0x1.44b9898fa111cp6},
{0x1.4p-270, -0x1.44b9898fa1119p6},
{0x1.3fffffffffa85p-269, -0x1.4385485a971a6p6},
{0x1.4p-269, -0x1.4385485a9719fp6},
{0x1.3ffffffffe2c7p-268, -0x1.425107258d24dp6},
{0x1.3fffffffffed7p-268, -0x1.425107258d226p6},
{0x1.4p-268, -0x1.425107258d225p6},
{0x1.3fffffffff916p-267, -0x1.411cc5f0832b4p6},
{0x1.4p-267, -0x1.411cc5f0832abp6},
{0x1.3fffffffffd68p-266, -0x1.3fe884bb79334p6},
{0x1.4p-266, -0x1.3fe884bb79331p6},
{0x1.3fffffffffe21p-265, -0x1.3eb443866f3b9p6},
{0x1.4p-265, -0x1.3eb443866f3b7p6},
{0x1.3fffffffffedap-264, -0x1.3d8002516543ep6},
{0x1.4p-264, -0x1.3d8002516543dp6},
{0x1.3fffffffffbfap-263, -0x1.3c4bc11c5b4c9p6},
{0x1.4p-263, -0x1.3c4bc11c5b4c3p6},
{0x1.3fffffffff862p-262, -0x1.3b177fe751554p6},
{0x1.4p-262, -0x1.3b177fe751549p6},
{0x1.3fffffffffa8bp-261, -0x1.39e33eb2475d6p6},
{0x1.4p-261, -0x1.39e33eb2475cfp6},
{0x1.3fffffffffeddp-260, -0x1.38aefd7d3d656p6},
{0x1.4p-260, -0x1.38aefd7d3d655p6},
{0x1.3fffffffffbfdp-259, -0x1.377abc48336ep6},
{0x1.4p-259, -0x1.377abc48336dbp6},
{0x1.3ffffffffff97p-258, -0x1.36467b1329762p6},
{0x1.4p-258, -0x1.36467b1329761p6},
{0x1.3fffffffffedfp-257, -0x1.351239de1f7e8p6},
{0x1.4p-257, -0x1.351239de1f7e7p6},
{0x1.3fffffffffeep-256, -0x1.33ddf8a91586ep6},
{0x1.4p-256, -0x1.33ddf8a91586dp6},
{0x1.3fffffffffcp-255, -0x1.32a9b7740b8f8p6},
{0x1.4p-255, -0x1.32a9b7740b8f3p6},
{0x1.3fffffffffd71p-254, -0x1.3175763f0197cp6},
{0x1.4p-254, -0x1.3175763f01979p6},
{0x1.3fffffffff588p-253, -0x1.30413509f7a0ep6},
{0x1.4p-253, -0x1.30413509f79ffp6},
{0x1.3fffffffff7b1p-252, -0x1.2f0cf3d4eda9p6},
{0x1.4p-252, -0x1.2f0cf3d4eda85p6},
{0x1.3fffffffffc03p-251, -0x1.2dd8b29fe3b1p6},
{0x1.4p-251, -0x1.2dd8b29fe3b0bp6},
{0x1.3fffffffff86bp-250, -0x1.2ca4716ad9b9cp6},
{0x1.4p-250, -0x1.2ca4716ad9b91p6},
{0x1.3fffffffffcbdp-249, -0x1.2b703035cfc1cp6},
{0x1.4p-249, -0x1.2b703035cfc17p6},
{0x1.3fffffffffee6p-248, -0x1.2a3bef00c5c9ep6},
{0x1.4p-248, -0x1.2a3bef00c5c9dp6},
{0x1.3fffffffffc06p-247, -0x1.2907adcbbbd28p6},
{0x1.4p-247, -0x1.2907adcbbbd23p6},
{0x1.3fffffffffd77p-246, -0x1.27d36c96b1dacp6},
{0x1.4p-246, -0x1.27d36c96b1da9p6},
{0x1.3fffffffffd78p-245, -0x1.269f2b61a7e32p6},
{0x1.4p-245, -0x1.269f2b61a7e2fp6},
{0x1.3ffffffffea0bp-244, -0x1.256aea2c9ded3p6},
{0x1.3fffffffffee9p-244, -0x1.256aea2c9deb6p6},
{0x1.4p-244, -0x1.256aea2c9deb5p6},
{0x1.3fffffffffe32p-243, -0x1.2436a8f793f3ep6},
{0x1.4p-243, -0x1.2436a8f793f3bp6},
{0x1.3ffffffffffa3p-242, -0x1.230267c289fc2p6},
{0x1.4p-242, -0x1.230267c289fc1p6},
{0x1.3fffffffff591p-241, -0x1.21ce268d80056p6},
{0x1.4p-241, -0x1.21ce268d80047p6},
{0x1.3fffffffff9e3p-240, -0x1.2099e558760d6p6},
{0x1.4p-240, -0x1.2099e558760cdp6},
{0x1.3fffffffffc0cp-239, -0x1.1f65a4236c158p6},
{0x1.4p-239, -0x1.1f65a4236c153p6},
{0x1.3fffffffffd7dp-238, -0x1.1e3162ee621dcp6},
{0x1.4p-238, -0x1.1e3162ee621d9p6},
{0x1.3fffffffffd7ep-237, -0x1.1cfd21b958262p6},
{0x1.4p-237, -0x1.1cfd21b95825fp6},
{0x1.3fffffffffeefp-236, -0x1.1bc8e0844e2e6p6},
{0x1.4p-236, -0x1.1bc8e0844e2e5p6},
{0x1.3fffffffffc0fp-235, -0x1.1a949f4f4437p6},
{0x1.4p-235, -0x1.1a949f4f4436bp6},
{0x1.3ffffffffffa9p-234, -0x1.19605e1a3a3f1p6},
{0x1.4p-234, -0x1.19605e1a3a3f1p6},
{0x1.3ffffffffffaap-233, -0x1.182c1ce530478p6},
{0x1.4p-233, -0x1.182c1ce530477p6},
{0x1.3fffffffff2b7p-232, -0x1.16f7dbb02651p6},
{0x1.4p-232, -0x1.16f7dbb0264fdp6},
{0x1.3fffffffffef3p-231, -0x1.15c39a7b1c584p6},
{0x1.4p-231, -0x1.15c39a7b1c583p6},
{0x1.3fffffffff932p-230, -0x1.148f594612612p6},
{0x1.4p-230, -0x1.148f594612609p6},
{0x1.3fffffffffd84p-229, -0x1.135b181108692p6},
{0x1.4p-229, -0x1.135b18110868fp6},
{0x1.3fffffffffaa4p-228, -0x1.1226d6dbfe71cp6},
{0x1.4p-228, -0x1.1226d6dbfe715p6},
{0x1.3fffffffffef6p-227, -0x1.10f295a6f479cp6},
{0x1.4p-227, -0x1.10f295a6f479bp6},
{0x1.3fffffffffd86p-226, -0x1.0fbe5471ea824p6},
{0x1.4p-226, -0x1.0fbe5471ea821p6},
{0x1.3fffffffffd87p-225, -0x1.0e8a133ce08aap6},
{0x1.4p-225, -0x1.0e8a133ce08a7p6},
{0x1.3fffffffffef8p-224, -0x1.0d55d207d692ep6},
{0x1.4p-224, -0x1.0d55d207d692dp6},
{0x1.3fffffffffef9p-223, -0x1.0c2190d2cc9b4p6},
{0x1.4p-223, -0x1.0c2190d2cc9b3p6},
{0x1.3fffffffff42fp-222, -0x1.0aed4f9dc2a4ap6},
{0x1.4p-222, -0x1.0aed4f9dc2a39p6},
{0x1.3fffffffff658p-221, -0x1.09b90e68b8accp6},
{0x1.4p-221, -0x1.09b90e68b8abfp6},
{0x1.3fffffffffaaap-220, -0x1.0884cd33aeb4cp6},
{0x1.4p-220, -0x1.0884cd33aeb45p6},
{0x1.3fffffffffefcp-219, -0x1.07508bfea4bccp6},
{0x1.4p-219, -0x1.07508bfea4bcbp6},
{0x1.3fffffffffc1cp-218, -0x1.061c4ac99ac56p6},
{0x1.4p-218, -0x1.061c4ac99ac51p6},
{0x1.3fffffffffd8dp-217, -0x1.04e8099490cdap6},
{0x1.4p-217, -0x1.04e8099490cd7p6},
{0x1.3fffffffffaadp-216, -0x1.03b3c85f86d65p6},
{0x1.3fffffffffefep-216, -0x1.03b3c85f86d5ep6},
{0x1.4p-216, -0x1.03b3c85f86d5dp6},
{0x1.3ffffffffdbbdp-215, -0x1.027f872a7ce16p6},
{0x1.3fffffffffeffp-215, -0x1.027f872a7cde4p6},
{0x1.4p-215, -0x1.027f872a7cde3p6},
{0x1.3fffffffffc1fp-214, -0x1.014b45f572e6ep6},
{0x1.4p-214, -0x1.014b45f572e69p6},
{0x1.3ffffffffffb9p-213, -0x1.001704c068efp6},
{0x1.4p-213, -0x1.001704c068eefp6},
{0x1.3fffffffffdbfp-212, -0x1.fdc58716bdefp5},
{0x1.4p-212, -0x1.fdc58716bdeeap5},
{0x1.3ffffffffff3p-211, -0x1.fb5d04aca9ff8p5},
{0x1.4p-211, -0x1.fb5d04aca9ff6p5},
{0x1.3ffffffffffe9p-210, -0x1.f8f4824296102p5},
{0x1.4p-210, -0x1.f8f4824296102p5},
{0x1.3fffffffffd09p-209, -0x1.f68bffd882216p5},
{0x1.4p-209, -0x1.f68bffd88220ep5},
{0x1.3fffffffffdc2p-208, -0x1.f4237d6e6e32p5},
{0x1.4p-208, -0x1.f4237d6e6e31ap5},
{0x1.3fffffffff23fp-207, -0x1.f1bafb045a44cp5},
{0x1.3fffffffffe7bp-207, -0x1.f1bafb045a42ap5},
{0x1.4p-207, -0x1.f1bafb045a426p5},
{0x1.3ffffffffffecp-206, -0x1.ef52789a46532p5},
{0x1.4p-206, -0x1.ef52789a46532p5},
{0x1.3fffffffffdc4p-205, -0x1.ece9f63032644p5},
{0x1.4p-205, -0x1.ece9f6303263ep5},
{0x1.3ffffffffe211p-204, -0x1.ea8173c61e79ep5},
{0x1.3ffffffffff35p-204, -0x1.ea8173c61e74cp5},
{0x1.4p-204, -0x1.ea8173c61e74ap5},
{0x1.3ffffffffec25p-203, -0x1.e818f15c0a88ep5},
{0x1.3fffffffffe7ep-203, -0x1.e818f15c0a85ap5},
{0x1.4p-203, -0x1.e818f15c0a856p5},
{0x1.3ffffffffdcadp-202, -0x1.e5b06ef1f69c5p5},
{0x1.3fffffffffedbp-202, -0x1.e5b06ef1f6966p5},
{0x1.4p-202, -0x1.e5b06ef1f6962p5},
{0x1.3fffffffffd0fp-201, -0x1.e347ec87e2a76p5},
{0x1.4p-201, -0x1.e347ec87e2a6ep5},
{0x1.3fffffffffe8p-200, -0x1.e0df6a1dceb7ep5},
{0x1.4p-200, -0x1.e0df6a1dceb7ap5},
{0x1.3ffffffffff39p-199, -0x1.de76e7b3bac88p5},
{0x1.4p-199, -0x1.de76e7b3bac86p5},
{0x1.3fffffffffff2p-198, -0x1.dc0e6549a6d92p5},
{0x1.4p-198, -0x1.dc0e6549a6d92p5},
{0x1.3ffffffffff97p-197, -0x1.d9a5e2df92eap5},
{0x1.4p-197, -0x1.d9a5e2df92e9ep5},
{0x1.3fffffffffdcbp-196, -0x1.d73d60757efbp5},
{0x1.4p-196, -0x1.d73d60757efaap5},
{0x1.3ffffffffff3cp-195, -0x1.d4d4de0b6b0b8p5},
{0x1.4p-195, -0x1.d4d4de0b6b0b6p5},
{0x1.3fffffffffee1p-194, -0x1.d26c5ba1571c6p5},
{0x1.4p-194, -0x1.d26c5ba1571c2p5},
{0x1.3ffffffffff9ap-193, -0x1.d003d937432dp5},
{0x1.4p-193, -0x1.d003d937432cep5},
{0x1.3fffffffffdcep-192, -0x1.cd9b56cd2f3ep5},
{0x1.4p-192, -0x1.cd9b56cd2f3dap5},
{0x1.3fffffffffe87p-191, -0x1.cb32d4631b4eap5},
{0x1.4p-191, -0x1.cb32d4631b4e6p5},
{0x1.3fffffffffff8p-190, -0x1.c8ca51f9075f2p5},
{0x1.4p-190, -0x1.c8ca51f9075f2p5},
{0x1.3fffffffffff9p-189, -0x1.c661cf8ef36fep5},
{0x1.4p-189, -0x1.c661cf8ef36fep5},
{0x1.3fffffffffdd1p-188, -0x1.c3f94d24df81p5},
{0x1.4p-188, -0x1.c3f94d24df80ap5},
{0x1.3fffffffffe8ap-187, -0x1.c190cabacb91ap5},
{0x1.4p-187, -0x1.c190cabacb916p5},
{0x1.3ffffffffff43p-186, -0x1.bf284850b7a24p5},
{0x1.4p-186, -0x1.bf284850b7a22p5},
{0x1.3fffffffffffcp-185, -0x1.bcbfc5e6a3b2ep5},
{0x1.4p-185, -0x1.bcbfc5e6a3b2ep5},
{0x1.3ffffffffffa1p-184, -0x1.ba57437c8fc3cp5},
{0x1.4p-184, -0x1.ba57437c8fc3ap5},
{0x1.3fffffffffd79p-183, -0x1.b7eec1127bd4ep5},
{0x1.4p-183, -0x1.b7eec1127bd46p5},
{0x1.3fffffffffe32p-182, -0x1.b5863ea867e58p5},
{0x1.4p-182, -0x1.b5863ea867e52p5},
{0x1.3ffffffffe4a7p-181, -0x1.b31dbc3e53faap5},
{0x1.3ffffffffffffp-181, -0x1.b31dbc3e53f5ep5},
{0x1.4p-181, -0x1.b31dbc3e53f5ep5},
{0x1.3fffffffffdd7p-180, -0x1.b0b539d44007p5},
{0x1.4p-180, -0x1.b0b539d44006ap5},
{0x1.3fffffffffa9bp-179, -0x1.ae4cb76a2c185p5},
{0x1.3fffffffffe9p-179, -0x1.ae4cb76a2c17ap5},
{0x1.4p-179, -0x1.ae4cb76a2c177p5},
{0x1.3ffffffffe3f1p-178, -0x1.abe43500182d1p5},
{0x1.3ffffffffff49p-178, -0x1.abe4350018284p5},
{0x1.4p-178, -0x1.abe4350018283p5},
{0x1.3fffffffffc69p-177, -0x1.a97bb29604398p5},
{0x1.4p-177, -0x1.a97bb2960438fp5},
{0x1.3fffffffffddap-176, -0x1.a713302bf04ap5},
{0x1.4p-176, -0x1.a713302bf049bp5},
{0x1.3fffffffffe93p-175, -0x1.a4aaadc1dc5aap5},
{0x1.4p-175, -0x1.a4aaadc1dc5a7p5},
{0x1.3fffffffff481p-174, -0x1.a2422b57c86d3p5},
{0x1.3fffffffffe38p-174, -0x1.a2422b57c86b8p5},
{0x1.4p-174, -0x1.a2422b57c86b3p5},
{0x1.3fffffffffef1p-173, -0x1.9fd9a8edb47c2p5},
{0x1.4p-173, -0x1.9fd9a8edb47bfp5},
{0x1.3ffffffffffaap-172, -0x1.9d712683a08ccp5},
{0x1.4p-172, -0x1.9d712683a08cbp5},
{0x1.3fffffffffddep-171, -0x1.9b08a4198c9dcp5},
{0x1.4p-171, -0x1.9b08a4198c9d7p5},
{0x1.3ffffffffff4fp-170, -0x1.98a021af78ae4p5},
{0x1.4p-170, -0x1.98a021af78ae3p5},
{0x1.3fffffffffd27p-169, -0x1.96379f4564bf6p5},
{0x1.4p-169, -0x1.96379f4564befp5},
{0x1.3fffffffffdep-168, -0x1.93cf1cdb50dp5},
{0x1.4p-168, -0x1.93cf1cdb50cfbp5},
{0x1.3fffffffffe99p-167, -0x1.91669a713ce0ap5},
{0x1.4p-167, -0x1.91669a713ce07p5},
{0x1.3ffffffffff52p-166, -0x1.8efe180728f14p5},
{0x1.4p-166, -0x1.8efe180728f13p5},
{0x1.3fffffffffc72p-165, -0x1.8c95959d15028p5},
{0x1.4p-165, -0x1.8c95959d1501fp5},
{0x1.3ffffffffffbp-164, -0x1.8a2d13330112cp5},
{0x1.4p-164, -0x1.8a2d13330112bp5},
{0x1.3fffffffffd88p-163, -0x1.87c490c8ed23ep5},
{0x1.4p-163, -0x1.87c490c8ed237p5},
{0x1.3fffffffffe9dp-162, -0x1.855c0e5ed9346p5},
{0x1.4p-162, -0x1.855c0e5ed9343p5},
{0x1.3fffffffffefap-161, -0x1.82f38bf4c5452p5},
{0x1.4p-161, -0x1.82f38bf4c544fp5},
{0x1.3fffffffffd2ep-160, -0x1.808b098ab1562p5},
{0x1.4p-160, -0x1.808b098ab155bp5},
{0x1.3fffffffffe9fp-159, -0x1.7e2287209d66ap5},
{0x1.4p-159, -0x1.7e2287209d667p5},
{0x1.3ffffffffff58p-158, -0x1.7bba04b689774p5},
{0x1.4p-158, -0x1.7bba04b689773p5},
{0x1.3fffffffff099p-157, -0x1.7951824c758aap5},
{0x1.3ffffffffff59p-157, -0x1.7951824c7588p5},
{0x1.4p-157, -0x1.7951824c7587fp5},
{0x1.3fffffffffd31p-156, -0x1.76e8ffe261992p5},
{0x1.4p-156, -0x1.76e8ffe26198bp5},
{0x1.3fffffffffdeap-155, -0x1.74807d784da9cp5},
{0x1.4p-155, -0x1.74807d784da97p5},
{0x1.3fffffffffea3p-154, -0x1.7217fb0e39ba6p5},
{0x1.4p-154, -0x1.7217fb0e39ba3p5},
{0x1.3fffffffffc7bp-153, -0x1.6faf78a425cb8p5},
{0x1.3ffffffffff5cp-153, -0x1.6faf78a425cbp5},
{0x1.4p-153, -0x1.6faf78a425cafp5},
{0x1.3ffffffffffb9p-152, -0x1.6d46f63a11dbcp5},
{0x1.4p-152, -0x1.6d46f63a11dbbp5},
{0x1.3fffffffffa54p-151, -0x1.6ade73cffded6p5},
{0x1.4p-151, -0x1.6ade73cffdec7p5},
{0x1.3fffffffffbc5p-150, -0x1.6875f165e9fdfp5},
{0x1.3fffffffffea6p-150, -0x1.6875f165e9fd6p5},
{0x1.4p-150, -0x1.6875f165e9fd3p5},
{0x1.3ffffffffff5fp-149, -0x1.660d6efbd60ep5},
{0x1.4p-149, -0x1.660d6efbd60dfp5},
{0x1.3fffffffffdefp-148, -0x1.63a4ec91c21fp5},
{0x1.4p-148, -0x1.63a4ec91c21ebp5},
{0x1.3fffffffffea8p-147, -0x1.613c6a27ae2fap5},
{0x1.4p-147, -0x1.613c6a27ae2f7p5},
{0x1.3ffffffffff61p-146, -0x1.5ed3e7bd9a404p5},
{0x1.4p-146, -0x1.5ed3e7bd9a403p5},
{0x1.3ffffffffff62p-145, -0x1.5c6b65538651p5},
{0x1.4p-145, -0x1.5c6b65538650fp5},
{0x1.3ffffffffffbfp-144, -0x1.5a02e2e97261cp5},
{0x1.4p-144, -0x1.5a02e2e97261bp5},
{0x1.3fffffffffcdfp-143, -0x1.579a607f5e73p5},
{0x1.4p-143, -0x1.579a607f5e727p5},
{0x1.3fffffffffd98p-142, -0x1.5531de154a83ap5},
{0x1.4p-142, -0x1.5531de154a833p5},
{0x1.3fffffffffe51p-141, -0x1.52c95bab36944p5},
{0x1.4p-141, -0x1.52c95bab3693fp5},
{0x1.3ffffffffffc2p-140, -0x1.5060d94122a4cp5},
{0x1.4p-140, -0x1.5060d94122a4bp5},
{0x1.3fffffffffdf6p-139, -0x1.4df856d70eb5cp5},
{0x1.4p-139, -0x1.4df856d70eb57p5},
{0x1.3fffffffffeafp-138, -0x1.4b8fd46cfac66p5},
{0x1.4p-138, -0x1.4b8fd46cfac63p5},
{0x1.3ffffffffff68p-137, -0x1.49275202e6d7p5},
{0x1.4p-137, -0x1.49275202e6d6fp5},
{0x1.3ffffffffffc5p-136, -0x1.46becf98d2e7bp5},
{0x1.4p-136, -0x1.46becf98d2e7bp5},
{0x1.3fffffffffdf9p-135, -0x1.44564d2ebef8cp5},
{0x1.4p-135, -0x1.44564d2ebef87p5},
{0x1.3fffffffffeb2p-134, -0x1.41edcac4ab096p5},
{0x1.4p-134, -0x1.41edcac4ab093p5},
{0x1.3ffffffffff6bp-133, -0x1.3f85485a971ap5},
{0x1.4p-133, -0x1.3f85485a9719fp5},
{0x1.3ffffffffe699p-132, -0x1.3d1cc5f0832f2p5},
{0x1.3ffffffffff1p-132, -0x1.3d1cc5f0832aep5},
{0x1.4p-132, -0x1.3d1cc5f0832abp5},
{0x1.3ffffffffffc9p-131, -0x1.3ab443866f3b8p5},
{0x1.4p-131, -0x1.3ab443866f3b7p5},
{0x1.3fffffffffda1p-130, -0x1.384bc11c5b4cap5},
{0x1.4p-130, -0x1.384bc11c5b4c3p5},
{0x1.3ffffffffed15p-129, -0x1.35e33eb247604p5},
{0x1.3ffffffffff6ep-129, -0x1.35e33eb2475dp5},
{0x1.4p-129, -0x1.35e33eb2475cfp5},
{0x1.3ffffffffdd9dp-128, -0x1.337abc483373bp5},
{0x1.3fffffffffd46p-128, -0x1.337abc48336e2p5},
{0x1.4p-128, -0x1.337abc48336dbp5},
{0x1.3fffffffffdffp-127, -0x1.311239de1f7ecp5},
{0x1.4p-127, -0x1.311239de1f7e7p5},
{0x1.3fffffffff391p-126, -0x1.2ea9b7740b916p5},
{0x1.3ffffffffff7p-126, -0x1.2ea9b7740b8f4p5},
{0x1.4p-126, -0x1.2ea9b7740b8f3p5},
{0x1.3ffffffffff71p-125, -0x1.2c413509f7ap5},
{0x1.4p-125, -0x1.2c413509f79ffp5},
{0x1.3fffffffffc91p-124, -0x1.29d8b29fe3b14p5},
{0x1.4p-124, -0x1.29d8b29fe3b0bp5},
{0x1.3fffffffffd4ap-123, -0x1.27703035cfc1ep5},
{0x1.4p-123, -0x1.27703035cfc17p5},
{0x1.3fffffffffe03p-122, -0x1.2507adcbbbd28p5},
{0x1.4p-122, -0x1.2507adcbbbd23p5},
{0x1.3fffffffffebcp-121, -0x1.229f2b61a7e32p5},
{0x1.4p-121, -0x1.229f2b61a7e2fp5},
{0x1.3ffffffffff19p-120, -0x1.2036a8f793f3ep5},
{0x1.4p-120, -0x1.2036a8f793f3bp5},
{0x1.3fffffffffd4dp-119, -0x1.1dce268d8004ep5},
{0x1.4p-119, -0x1.1dce268d80047p5},
{0x1.3fffffffffebep-118, -0x1.1b65a4236c156p5},
{0x1.4p-118, -0x1.1b65a4236c153p5},
{0x1.3ffffffffff77p-117, -0x1.18fd21b95826p5},
{0x1.4p-117, -0x1.18fd21b95825fp5},
{0x1.3ffffffffffd4p-116, -0x1.16949f4f4436bp5},
{0x1.4p-116, -0x1.16949f4f4436bp5},
{0x1.3fffffffffe08p-115, -0x1.142c1ce53047cp5},
{0x1.4p-115, -0x1.142c1ce530477p5},
{0x1.3fffffffffe09p-114, -0x1.11c39a7b1c588p5},
{0x1.4p-114, -0x1.11c39a7b1c583p5},
{0x1.3fffffffffec2p-113, -0x1.0f5b181108692p5},
{0x1.4p-113, -0x1.0f5b18110868fp5},
{0x1.3ffffffffff7bp-112, -0x1.0cf295a6f479cp5},
{0x1.4p-112, -0x1.0cf295a6f479bp5},
{0x1.3ffffffffffd8p-111, -0x1.0a8a133ce08a8p5},
{0x1.4p-111, -0x1.0a8a133ce08a7p5},
{0x1.3fffffffffa73p-110, -0x1.082190d2cc9c2p5},
{0x1.4p-110, -0x1.082190d2cc9b3p5},
{0x1.3fffffffffec5p-109, -0x1.05b90e68b8ac2p5},
{0x1.4p-109, -0x1.05b90e68b8abfp5},
{0x1.3ffffffffedddp-108, -0x1.03508bfea4bfep5},
{0x1.3ffffffffff7ep-108, -0x1.03508bfea4bccp5},
{0x1.4p-108, -0x1.03508bfea4bcbp5},
{0x1.3ffffffffde65p-107, -0x1.00e8099490d35p5},
{0x1.3fffffffffe0ep-107, -0x1.00e8099490cdcp5},
{0x1.4p-107, -0x1.00e8099490cd7p5},
{0x1.3ffffffffed3dp-106, -0x1.fcff0e54f9c2fp4},
{0x1.3fffffffffe82p-106, -0x1.fcff0e54f9bcep4},
{0x1.4p-106, -0x1.fcff0e54f9bc6p4},
{0x1.3fffffffffff3p-105, -0x1.f82e0980d1ddep4},
{0x1.4p-105, -0x1.f82e0980d1ddep4},
{0x1.3ffffffffff98p-104, -0x1.f35d04aca9ff8p4},
{0x1.4p-104, -0x1.f35d04aca9ff6p4},
{0x1.3ffffffffe3b7p-103, -0x1.ee8bffd8822abp4},
{0x1.3ffffffffffc7p-103, -0x1.ee8bffd88221p4},
{0x1.4p-103, -0x1.ee8bffd88220ep4},
{0x1.3fffffffffdcdp-102, -0x1.e9bafb045a432p4},
{0x1.4p-102, -0x1.e9bafb045a426p4},
{0x1.3ffffffffff3ep-101, -0x1.e4e9f63032642p4},
{0x1.4p-101, -0x1.e4e9f6303263ep4},
{0x1.3ffffffffe301p-100, -0x1.e018f15c0a8f8p4},
{0x1.3fffffffffff7p-100, -0x1.e018f15c0a856p4},
{0x1.4p-100, -0x1.e018f15c0a856p4},
{0x1.3fffffffffd73p-99, -0x1.db47ec87e2a7cp4},
{0x1.4p-99, -0x1.db47ec87e2a6ep4},
{0x1.3ffffffffdd9dp-98, -0x1.d676e7b3bad46p4},
{0x1.3fffffffffee4p-98, -0x1.d676e7b3bac8cp4},
{0x1.4p-98, -0x1.d676e7b3bac86p4},
{0x1.3ffffffffff9dp-97, -0x1.d1a5e2df92eap4},
{0x1.4p-97, -0x1.d1a5e2df92e9ep4},
{0x1.3fffffffffffap-96, -0x1.ccd4de0b6b0b6p4},
{0x1.4p-96, -0x1.ccd4de0b6b0b6p4},
{0x1.3ffffffffffcdp-95, -0x1.c803d937432dp4},
{0x1.4p-95, -0x1.c803d937432cep4},
{0x1.3ffffffffffcep-94, -0x1.c332d4631b4e8p4},
{0x1.4p-94, -0x1.c332d4631b4e6p4},
{0x1.3fffffffffe8cp-93, -0x1.be61cf8ef3706p4},
{0x1.4p-93, -0x1.be61cf8ef36fep4},
{0x1.3fffffffff983p-92, -0x1.b990cabacb93ap4},
{0x1.3ffffffffff45p-92, -0x1.b990cabacb91ap4},
{0x1.4p-92, -0x1.b990cabacb916p4},
{0x1.3fffffffffffep-91, -0x1.b4bfc5e6a3b2ep4},
{0x1.4p-91, -0x1.b4bfc5e6a3b2ep4},
{0x1.3fffffffffdd6p-90, -0x1.afeec1127bd52p4},
{0x1.4p-90, -0x1.afeec1127bd46p4},
{0x1.3fffffffffeebp-89, -0x1.ab1dbc3e53f64p4},
{0x1.4p-89, -0x1.ab1dbc3e53f5ep4},
{0x1.3ffffffffffa4p-88, -0x1.a64cb76a2c178p4},
{0x1.4p-88, -0x1.a64cb76a2c177p4},
{0x1.3fffffffffa9bp-87, -0x1.a17bb296043acp4},
{0x1.3fffffffffd7cp-87, -0x1.a17bb2960439cp4},
{0x1.4p-87, -0x1.a17bb2960438fp4},
{0x1.3fffffffffe91p-86, -0x1.9caaadc1dc5aep4},
{0x1.3ffffffffffc5p-86, -0x1.9caaadc1dc5a8p4},
{0x1.3fffffffffe36p-85, -0x1.97d9a8edb47c8p4},
{0x1.3ffffffffffa7p-84, -0x1.9308a4198c9d8p4},
{0x1.3ffffffffff7ap-83, -0x1.8e379f4564bf2p4},
{0x1.3ffffffffffd7p-82, -0x1.89669a713ce08p4},
{0x1.3fffffffffe95p-81, -0x1.8495959d15026p4},
{0x1.3ffffffffff4ep-80, -0x1.7fc490c8ed23ap4},
{0x1.3ffffffffeafbp-79, -0x1.7af38bf4c54c3p4},
{0x1.3ffffffffffd9p-79, -0x1.7af38bf4c544fp4},
{0x1.3fffffffffe3bp-78, -0x1.762287209d67p4},
{0x1.3ffffffffde65p-77, -0x1.7151824c7593ap4},
{0x1.3fffffffffef4p-77, -0x1.7151824c75884p4},
{0x1.3ffffffffffadp-76, -0x1.6c807d784da98p4},
{0x1.3fffffffffb8bp-75, -0x1.67af78a425cc7p4},
{0x1.3ffffffffffaep-75, -0x1.67af78a425cbp4},
{0x1.3ffffffffffddp-74, -0x1.62de73cffdec8p4},
{0x1.3fffffffffe3fp-73, -0x1.5e0d6efbd60e8p4},
{0x1.3ffffffffff54p-72, -0x1.593c6a27ae2fap4},
{0x1.3ffffffffffb1p-71, -0x1.546b65538651p4},
{0x1.3fffffffff571p-70, -0x1.4f9a607f5e762p4},
{0x1.3fffffffffde5p-70, -0x1.4f9a607f5e732p4},
{0x1.3fffffffffe9ep-69, -0x1.4ac95bab36946p4},
{0x1.3ffffffffffb3p-68, -0x1.45f856d70eb58p4},
{0x1.3ffffffffe1d7p-67, -0x1.41275202e6e16p4},
{0x1.3ffffffffffb4p-67, -0x1.41275202e6d7p4},
{0x1.3fffffffffe44p-66, -0x1.3c564d2ebef9p4},
{0x1.3fffffffffd5fp-65, -0x1.3785485a971aep4},
{0x1.3fffffffffaadp-64, -0x1.32b443866f3d5p4},
{0x1.3fffffffffefep-64, -0x1.32b443866f3bcp4},
{0x1.3ffffffffeb35p-63, -0x1.2de33eb247643p4},
{0x1.3ffffffffffb7p-63, -0x1.2de33eb2475dp4},
{0x1.3ffffffffffe6p-62, -0x1.291239de1f7e8p4},
{0x1.3fffffffffdecp-61, -0x1.24413509f7a0ap4},
{0x1.3ffffffffff5dp-60, -0x1.1f703035cfc1ap4},
{0x1.3ffffffffffbap-59, -0x1.1a9f2b61a7e3p4},
{0x1.3fffffffffd92p-58, -0x1.15ce268d80054p4},
{0x1.3ffffffffff03p-57, -0x1.10fd21b958264p4},
{0x1.3ffffffffe6e9p-56, -0x1.0c2c1ce530503p4},
{0x1.3ffffffffffbcp-56, -0x1.0c2c1ce530478p4},
{0x1.3ffffffffe2c7p-55, -0x1.075b181108731p4},
{0x1.3ffffffffff61p-55, -0x1.075b181108692p4},
{0x1.3ffffffffffecp-54, -0x1.028a133ce08a8p4},
{0x1.3fffffffff14fp-53, -0x1.fb721cd171621p3},
{0x1.3fffffffffff8p-53, -0x1.fb721cd17157ep3},
{0x1.3ffffffffdd9dp-52, -0x1.f1d0132921b2dp3},
{0x1.3ffffffffffe2p-52, -0x1.f1d01329219bp3},
{0x1.3ffffffffebebp-51, -0x1.e82e0980d1ebdp3},
{0x1.3fffffffffe2dp-51, -0x1.e82e0980d1df2p3},
{0x1.3ffffffffff7p-50, -0x1.de8bffd882214p3},
{0x1.3fffffffffaadp-49, -0x1.d4e9f6303267ap3},
{0x1.3ffffffffffcdp-49, -0x1.d4e9f6303264p3},
{0x1.3fffffffffd77p-48, -0x1.cb47ec87e2a8ap3},
{0x1.3fffffffffda5p-48, -0x1.cb47ec87e2a89p3},
{0x1.3ffffffffff16p-47, -0x1.c1a5e2df92ea8p3},
{0x1.3fffffffff983p-46, -0x1.b803d93743316p3},
{0x1.3ffffffffffcfp-46, -0x1.b803d937432dp3},
{0x1.3ffffffffffa2p-45, -0x1.ae61cf8ef3702p3},
{0x1.3fffffffffbc5p-44, -0x1.a4bfc5e6a3b5ep3},
{0x1.3ffffffffffffp-44, -0x1.a4bfc5e6a3b2ep3},
{0x1.3fffffffffdd7p-43, -0x1.9b1dbc3e53f76p3},
{0x1.3fffffffffebep-42, -0x1.917bb2960439cp3},
{0x1.3ffffffffe3f1p-41, -0x1.87d9a8edb48f7p3},
{0x1.3ffffffffff77p-41, -0x1.87d9a8edb47c4p3},
{0x1.3fffffffff23fp-40, -0x1.7e379f4564c87p3},
{0x1.3ffffffffffbdp-40, -0x1.7e379f4564bf2p3},
{0x1.3fffffffffe36p-39, -0x1.7495959d15032p3},
{0x1.3ffffffffecdbp-38, -0x1.6af38bf4c5523p3},
{0x1.3ffffffffffa7p-38, -0x1.6af38bf4c5452p3},
{0x1.3ffffffffffd6p-37, -0x1.6151824c7588p3},
{0x1.3ffffffffffeep-36, -0x1.57af78a425cafp3},
{0x1.3ffffffffdcadp-35, -0x1.4e0d6efbd6268p3},
{0x1.3ffffffffffefp-35, -0x1.4e0d6efbd60ep3},
{0x1.3fffffffffe68p-34, -0x1.446b65538652p3},
{0x1.3ffffffffeafbp-33, -0x1.3ac95bab36a28p3},
{0x1.3ffffffffffd9p-33, -0x1.3ac95bab3694p3},
{0x1.3ffffffffffdap-32, -0x1.31275202e6d7p3},
{0x1.3fffffffffcb5p-31, -0x1.2785485a971c4p3},
{0x1.3ffffffffffc4p-31, -0x1.2785485a971a2p3},
{0x1.3fffffffffec7p-30, -0x1.1de33eb2475dcp3},
{0x1.3ffffffffffaep-29, -0x1.14413509f7a02p3},
{0x1.3ffffffffd9a3p-28, -0x1.0a9f2b61a7fd9p3},
{0x1.3ffffffffffddp-28, -0x1.0a9f2b61a7e3p3},
{0x1.3fffffffff32fp-27, -0x1.00fd21b9582edp3},
{0x1.3fffffffffe6dp-27, -0x1.00fd21b95827p3},
{0x1.3ffffffffffe4p-26, -0x1.eeb6302210d2p2},
{0x1.3ffffffffeb35p-25, -0x1.db721cd17174dp2},
{0x1.3fffffffffffcp-25, -0x1.db721cd17157ep2},
{0x1.3ffffffffde65p-24, -0x1.c82e0980d20cap2},
{0x1.3fffffffffeafp-24, -0x1.c82e0980d1dfcp2},
{0x1.3ffffffffed3dp-23, -0x1.b4e9f630327ep2},
{0x1.3ffffffffff7fp-23, -0x1.b4e9f6303264ap2},
{0x1.3ffffffffffdcp-22, -0x1.a1a5e2df92ea2p2},
{0x1.3ffffffffe91bp-21, -0x1.8e61cf8ef38fbp2},
{0x1.3ffffffffffffp-21, -0x1.8e61cf8ef36fep2},
{0x1.3fffffffffeb2p-20, -0x1.7b1dbc3e53f7bp2},
{0x1.3ffffffffe3b7p-19, -0x1.67d9a8edb4a33p2},
{0x1.3ffffffffff3dp-19, -0x1.67d9a8edb47dp2},
{0x1.3ffffffffe6e9p-18, -0x1.5495959d1524dp2},
{0x1.3fffffffffff6p-18, -0x1.5495959d1502p2},
{0x1.3ffffffffdb5bp-17, -0x1.4151824c75badp2},
{0x1.3ffffffffffebp-17, -0x1.4151824c7588p2},
{0x1.3ffffffffe301p-16, -0x1.2e0d6efbd6364p2},
{0x1.3ffffffffff11p-16, -0x1.2e0d6efbd60f3p2},
{0x1.3fffffffff14fp-15, -0x1.1ac95bab36a85p2},
{0x1.3ffffffffff57p-15, -0x1.1ac95bab3694ep2},
{0x1.3fffffffff481p-14, -0x1.0785485a9729fp2},
{0x1.3fffffffffff9p-14, -0x1.0785485a971ap2},
{0x1.3fffffffff571p-13, -0x1.e8826a13ef5d4p1},
{0x1.3fffffffffff1p-13, -0x1.e8826a13ef4p1},
{0x1.3fffffffffc7bp-12, -0x1.c1fa4372b055ap1},
{0x1.3ffffffffffcfp-12, -0x1.c1fa4372b04c6p1},
{0x1.3fffffffff189p-11, -0x1.9b721cd171802p1},
{0x1.3fffffffffffep-11, -0x1.9b721cd17157ep1},
{0x1.3ffffffffe211p-10, -0x1.74e9f63032b72p1},
{0x1.3fffffffffff3p-10, -0x1.74e9f6303264p1},
{0x1.3fffffffffbc5p-9, -0x1.4e61cf8ef37bbp1},
{0x1.3fffffffffff4p-9, -0x1.4e61cf8ef37p1},
{0x1.3fffffffff391p-8, -0x1.27d9a8edb49e8p1},
{0x1.3ffffffffffe9p-8, -0x1.27d9a8edb47c2p1},
{0x1.3fffffffffaadp-7, -0x1.0151824c7596cp1},
{0x1.3ffffffffffeap-7, -0x1.0151824c75882p1},
{0x1.3fffffffffc7bp-6, -0x1.b592b7566d3b6p0},
{0x1.3fffffffffff2p-6, -0x1.b592b7566d282p0},
{0x1.3fffffffffda5p-5, -0x1.68826a13ef4dp0},
{0x1.3fffffffffff6p-5, -0x1.68826a13ef402p0},
{0x1.3fffffffffb8bp-4, -0x1.1b721cd17170ap0},
{0x1.3ffffffffffffp-4, -0x1.1b721cd17157ep0},
{0x1.3fffffffffcb5p-3, -0x1.9cc39f1de7047p-1},
{0x1.3fffffffffff2p-3, -0x1.9cc39f1de6e06p-1},
{0x1.3fffffffffc7bp-2, -0x1.02a30498eb36fp-1},
{0x1.4p-2, -0x1.02a30498eb0fep-1},
{0x1.3fffffffffda5p-1, -0x1.a209a84fbd684p-3},
{0x1.3fffffffffffcp-1, -0x1.a209a84fbd002p-3},
{0x1.3fffffffffff3p0, 0x1.8cf18388647c5p-4},
{0x1.3fffffffffffdp0, 0x1.8cf18388647fbp-4},
{0x1.3ffffffffff7bp1, 0x1.977d95ec10b4ap-2},
{0x1.3fffffffffffcp1, 0x1.977d95ec10bfcp-2},
{0x1.3ffffffffff2bp2, 0x1.65df657b0426dp-1},
{0x1.3fffffffffff3p2, 0x1.65df657b042f8p-1},
{0x1.3fffffffffc83p4, 0x1.4d104d427dd4ap0},
{0x1.3fffffffffff1p4, 0x1.4d104d427de7ap0},
{0x1.4p4, 0x1.4d104d427de8p0},
{0x1.3ffffffffff2bp5, 0x1.9a209a84fbcb6p0},
{0x1.4p5, 0x1.9a209a84fbdp0},
{0x1.3fffffffffd23p6, 0x1.e730e7c779a81p0},
{0x1.3fffffffffffep6, 0x1.e730e7c779b7ep0},
{0x1.4p6, 0x1.e730e7c779b7fp0},
{0x1.3ffffffffece3p7, 0x1.1a209a84fb9aep1},
{0x1.4p7, 0x1.1a209a84fbdp1},
{0x1.3fffffffffeb3p8, 0x1.40a8c1263ac06p1},
{0x1.3ffffffffff71p8, 0x1.40a8c1263ac26p1},
{0x1.4p8, 0x1.40a8c1263ac3fp1},
{0x1.3fffffffffe3bp9, 0x1.6730e7c779b31p1},
{0x1.3fffffffffffcp9, 0x1.6730e7c779b7ep1},
{0x1.4p9, 0x1.6730e7c779b7fp1},
{0x1.3fffffffff657p10, 0x1.8db90e68b8912p1},
{0x1.3ffffffffff67p10, 0x1.8db90e68b8aa4p1},
{0x1.4p10, 0x1.8db90e68b8abfp1},
{0x1.3fffffffff8ffp11, 0x1.b4413509f78c8p1},
{0x1.3ffffffffffecp11, 0x1.b4413509f79fcp1},
{0x1.4p11, 0x1.b4413509f79ffp1},
{0x1.3fffffffffd23p12, 0x1.dac95bab368cp1},
{0x1.3ffffffffff5dp12, 0x1.dac95bab36922p1},
{0x1.4p12, 0x1.dac95bab3693fp1},
{0x1.3fffffffffe13p13, 0x1.00a8c1263ac15p2},
{0x1.3fffffffffee2p13, 0x1.00a8c1263ac26p2},
{0x1.4p13, 0x1.00a8c1263ac3fp2},
{0x1.3fffffffff193p14, 0x1.13ecd476da29fp2},
{0x1.3ffffffffffc9p14, 0x1.13ecd476da3dap2},
{0x1.4p14, 0x1.13ecd476da3dfp2},
{0x1.3fffffffff5b7p15, 0x1.2730e7c779a9bp2},
{0x1.3ffffffffff1dp15, 0x1.2730e7c779b6cp2},
{0x1.4p15, 0x1.2730e7c779b7fp2},
{0x1.3ffffffffec2fp16, 0x1.3a74fb1819167p2},
{0x1.3ffffffffffedp16, 0x1.3a74fb181931ep2},
{0x1.4p16, 0x1.3a74fb181931fp2},
{0x1.3fffffffffb07p17, 0x1.4db90e68b8a51p2},
{0x1.3fffffffffecep17, 0x1.4db90e68b8aa4p2},
{0x1.4p17, 0x1.4db90e68b8abfp2},
{0x1.3ffffffffff2bp18, 0x1.60fd21b95824dp2},
{0x1.3ffffffffffb5p18, 0x1.60fd21b958258p2},
{0x1.4p18, 0x1.60fd21b95825fp2},
{0x1.3ffffffffffe4p19, 0x1.74413509f79fcp2},
{0x1.4p19, 0x1.74413509f79ffp2},
{0x1.3fffffffff6cfp20, 0x1.8785485a970d3p2},
{0x1.3ffffffffffd9p20, 0x1.8785485a9719cp2},
{0x1.4p20, 0x1.8785485a9719fp2},
{0x1.3ffffffffed47p21, 0x1.9ac95bab3679fp2},
{0x1.3fffffffffebap21, 0x1.9ac95bab36922p2},
{0x1.4p21, 0x1.9ac95bab3693fp2},
{0x1.3fffffffff16bp22, 0x1.ae0d6efbd5f9bp2},
{0x1.3ffffffffff8ap22, 0x1.ae0d6efbd60d4p2},
{0x1.4p22, 0x1.ae0d6efbd60dfp2},
{0x1.3ffffffffe667p23, 0x1.c151824c75646p2},
{0x1.3fffffffffffep23, 0x1.c151824c7587ep2},
{0x1.4p23, 0x1.c151824c7587fp2},
{0x1.3fffffffffff3p24, 0x1.d495959d1501ep2},
{0x1.4p24, 0x1.d495959d1501fp2},
{0x1.3fffffffffadfp25, 0x1.e7d9a8edb474dp2},
{0x1.3fffffffffebdp25, 0x1.e7d9a8edb47a2p2},
{0x1.4p25, 0x1.e7d9a8edb47bfp2},
};
for (double[] testCase: testCases)
failures+=testLog10Case(testCase[0], testCase[1]);
return failures;
}
public static void main(String [] argv) {
int failures = 0;
failures += testLog10();
if (failures > 0) {
System.err.println("Testing log10 incurred "
+ failures + " failures.");
throw new RuntimeException();
}
}
}