Home | History | Annotate | Download | only in math_data
      1 /*
      2  * Copyright (C) 2014 The Android Open Source Project
      3  *
      4  * Licensed under the Apache License, Version 2.0 (the "License");
      5  * you may not use this file except in compliance with the License.
      6  * You may obtain a copy of the License at
      7  *
      8  *      http://www.apache.org/licenses/LICENSE-2.0
      9  *
     10  * Unless required by applicable law or agreed to in writing, software
     11  * distributed under the License is distributed on an "AS IS" BASIS,
     12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     13  * See the License for the specific language governing permissions and
     14  * limitations under the License.
     15  */
     16 
     17 static data_1_2_t<double, double, double> g_hypot_intel_data[] = {
     18   { // Entry 0
     19     0x1.74334f2872bf324a8b6c0ffaf2f4ee3dp0,
     20     -0x1.0b2502b3f7656p0,
     21     0x1.032a74c8e2bbdp0
     22   },
     23   { // Entry 1
     24     0x1.21c9123e6cbbf812953910371e275dc7p3,
     25     -0x1.21c9107b0e488p3,
     26     0x1.ff77fffffffffp-9
     27   },
     28   { // Entry 2
     29     0x1.ad09d0c85a9b738fbeb590492c45108fp-21,
     30     -0x1.3db5af72d9074p-21,
     31     0x1.2054976e47184p-21
     32   },
     33   { // Entry 3
     34     0x1.6a1f7b584e052800e5d5eb2c842defa6p-1,
     35     -0x1.47200db32f88cp-1,
     36     -0x1.36a049ab1eee0p-2
     37   },
     38   { // Entry 4
     39     0x1.893eff10a04aed61358d3d5b6481eebcp-425,
     40     -0x1.5a9c9453941a0p-426,
     41     -0x1.60ff7b7326510p-425
     42   },
     43   { // Entry 5
     44     0x1.94c583ada5b5218962e6ed1568fead12p0,
     45     -0x1.7ffffffffffffp0,
     46     0x1.0000000000003p-1
     47   },
     48   { // Entry 6
     49     0x1.97cfe6e25cd448cf5dbcb52213679796p-11,
     50     -0x1.8e38e38e38e37p-11,
     51     -0x1.5fad40a57eb38p-13
     52   },
     53   { // Entry 7
     54     0x1.9e661829e5ee17ffba1d22ecf0580873p421,
     55     -0x1.9897fbb0fa747p418,
     56     0x1.9b3d45740c34cp421
     57   },
     58   { // Entry 8
     59     0x1.c7653d4e9e6c77fe2eb3fc6720505db6p-11,
     60     -0x1.bbbbbbbbbbbbcp-11,
     61     -0x1.9999999999c33p-13
     62   },
     63   { // Entry 9
     64     0x1.ddffe6e5a3a8384016ed35f115bc095ep-11,
     65     -0x1.e9131abf0b717p-14,
     66     0x1.da12f684bda24p-11
     67   },
     68   { // Entry 10
     69     0x1.7158b50ca33488012d796eb6f1a7589bp0,
     70     -0x1.f5723be0cafb4p-1,
     71     0x1.0f35b6d1e4e0fp0
     72   },
     73   { // Entry 11
     74     0x1.00007fffdffff7ffe2000dfff64007afp0,
     75     -0x1.ffffffffffffdp-1,
     76     0x1.ffffffffffffcp-9
     77   },
     78   { // Entry 12
     79     0x1.fffffffep-1043,
     80     0.0,
     81     0x1.fffffffe0p-1043
     82   },
     83   { // Entry 13
     84     0x1.199999999999a0p0,
     85     0x1.0p-1074,
     86     -0x1.199999999999ap0
     87   },
     88   { // Entry 14
     89     0x1.aaaaaaaaaaaaa0p0,
     90     0x1.0p-1074,
     91     -0x1.aaaaaaaaaaaaap0
     92   },
     93   { // Entry 15
     94     0x1.b87065d24cee52b080d32543ca9cfc19p-1,
     95     0x1.0000000000001p-1,
     96     -0x1.6666666666668p-1
     97   },
     98   { // Entry 16
     99     0x1.43596ffaa74788558d1fbef5bc6654e5p0,
    100     0x1.0000000000001p-2,
    101     -0x1.3cf3cf3cf3cf4p0
    102   },
    103   { // Entry 17
    104     0x1.4ccccccccccd08000000000000627627p-2,
    105     0x1.0000000000001p-3,
    106     -0x1.3333333333337p-2
    107   },
    108   { // Entry 18
    109     0x1.801554bda99c72d8de8e8d0810523d56p0,
    110     0x1.0000000000001p-5,
    111     0x1.8000000000001p0
    112   },
    113   { // Entry 19
    114     0x1.74b50ce2454308015045eece9494acfbp-3,
    115     0x1.0000000000001p-7,
    116     -0x1.745d1745d0e18p-3
    117   },
    118   { // Entry 20
    119     0x1.28ff91ab72d727facf9be8fbd129e05ep-2,
    120     0x1.0000000000080p-3,
    121     0x1.0c0p-2
    122   },
    123   { // Entry 21
    124     0x1.000033d5ab09e8017b9fe870280d1247p9,
    125     0x1.0000000000aeep9,
    126     0x1.45d1745d1745ep0
    127   },
    128   { // Entry 22
    129     0x1.07e0f670c16e48e1e7c24e5939e31f55p-3,
    130     0x1.00000009880p-3,
    131     0x1.ffffff8cfffffp-6
    132   },
    133   { // Entry 23
    134     0x1.b596b5878e25800001094dfd216cf693p-1,
    135     0x1.00000040ed435p-1,
    136     0x1.62e42fefa39efp-1
    137   },
    138   { // Entry 24
    139     0x1.0008ffd80967981d0efdf34de42be658p-4,
    140     0x1.0000007ffffdep-10,
    141     0x1.0000fffffffffp-4
    142   },
    143   { // Entry 25
    144     0x1.6a09e8e19116080994af0efbde159838p-20,
    145     0x1.0000037ffffdfp-20,
    146     0x1.00000000110p-20
    147   },
    148   { // Entry 26
    149     0x1.00009ec452a8c81c490f9ba38768ce7cp-3,
    150     0x1.0000043ffffdfp-3,
    151     0x1.19453808ca296p-11
    152   },
    153   { // Entry 27
    154     0x1.b879b2c3faae37fe5d8254c1a9443fd6p-1,
    155     0x1.000fffffff6c8p-1,
    156     -0x1.6666666666668p-1
    157   },
    158   { // Entry 28
    159     0x1.6b9824a5d9fefc6fac3c06f2beba6d16p0,
    160     0x1.001p0,
    161     0x1.0222222222223p0
    162   },
    163   { // Entry 29
    164     0x1.6b1dc233c08aacf04d42b3d293e12a49p0,
    165     0x1.0016f5e74bfddp0,
    166     -0x1.016eb68415ab1p0
    167   },
    168   { // Entry 30
    169     0x1.778d27690518dd41bd73ad488f2a2174p-27,
    170     0x1.00a436e9442ddp-27,
    171     0x1.122dc42e12491p-27
    172   },
    173   { // Entry 31
    174     0x1.6c9ed56d3e093800300f2c229b359a3dp0,
    175     0x1.01b59372d3dp0,
    176     -0x1.01f11caa0d8fap0
    177   },
    178   { // Entry 32
    179     0x1.62e44823f6c828019d99f2ea6e42b44dp-1,
    180     0x1.0624dd41fac87p-10,
    181     0x1.62e42fefa39efp-1
    182   },
    183   { // Entry 33
    184     0x1.62e44823f6c9980000fc0f85b3c55a79p-1,
    185     0x1.0624dd49c38c9p-10,
    186     0x1.62e42fefa39efp-1
    187   },
    188   { // Entry 34
    189     0x1.086b948a12d8c800cf1808a10a5174d9p3,
    190     0x1.086ac9804c16fp3,
    191     0x1.47ae147ae1488p-5
    192   },
    193   { // Entry 35
    194     0x1.74334f2872bf324a8b6c0ffaf2f4ee3dp0,
    195     0x1.0b2502b3f7656p0,
    196     -0x1.032a74c8e2bbdp0
    197   },
    198   { // Entry 36
    199     0x1.b174e26559df6801e67982110c79e921p0,
    200     0x1.0dadec75407d1p0,
    201     0x1.53594d6535950p0
    202   },
    203   { // Entry 37
    204     0x1.0fa6ab587be3f81316d103dd56845189p2,
    205     0x1.0dc27b7edad61p2,
    206     -0x1.fffffffffffdfp-2
    207   },
    208   { // Entry 38
    209     0x1.0e00000001e77800795b3317cdb8cf48p-1,
    210     0x1.0e0p-1,
    211     0x1.00880p-20
    212   },
    213   { // Entry 39
    214     0x1.1e643a24dde918108702a958a34659bdp1,
    215     0x1.17261d1fbe70fp1,
    216     -0x1.0p-1
    217   },
    218   { // Entry 40
    219     0x1.00009ec452a8c81c490f9ba38768ce7cp-3,
    220     0x1.19453808ca296p-11,
    221     0x1.0000043ffffdfp-3
    222   },
    223   { // Entry 41
    224     0x1.1f7648cb9c2928102f301b4e2a6da7f8p3,
    225     0x1.1f6fb7dbedf31p3,
    226     -0x1.eb851eb851eb2p-4
    227   },
    228   { // Entry 42
    229     0x1.3fc168b1ba65f7fefcba8c51c9dceebep1,
    230     0x1.333333334955dp1,
    231     0x1.62e42fefa39efp-1
    232   },
    233   { // Entry 43
    234     0x1.d561dc6bbc69b7fffefd4eef36bb45cep-1,
    235     0x1.33333336ffb33p-1,
    236     0x1.62e42fefa39efp-1
    237   },
    238   { // Entry 44
    239     0x1.b6d63492d208b7fe66769600852b12d8p7,
    240     0x1.3845636425767p7,
    241     0x1.34534564561d4p7
    242   },
    243   { // Entry 45
    244     0x1.b6d63492cf6ddfff7a4bf179a9f2d6cap7,
    245     0x1.3845636425776p7,
    246     0x1.3453456452673p7
    247   },
    248   { // Entry 46
    249     0x1.853a0d5122cef456b05a1510fbead643p6,
    250     0x1.3bbd9e1fa27b4p6,
    251     0x1.c7372b6a514bcp5
    252   },
    253   { // Entry 47
    254     0x1.3fba0ae4ce08b810e8f56ddaf12a7f4fp3,
    255     0x1.3e1f0f87c3dd1p3,
    256     -0x1.fffffffffffdfp-1
    257   },
    258   { // Entry 48
    259     0x1.b71be4215a53283d71f5b110a870e894p-11,
    260     0x1.484e2afe0bbc6p-13,
    261     -0x1.af5ebd7af5ec0p-11
    262   },
    263   { // Entry 49
    264     0x1.56d07f9feb80d804781ae4305058b676p2,
    265     0x1.550fe1779c5p2,
    266     -0x1.14f2805f85d24p-1
    267   },
    268   { // Entry 50
    269     0x1.a52df5c24c89489d50528533a7f35763p2,
    270     0x1.5555555555556p0,
    271     0x1.9c71c71c71c69p2
    272   },
    273   { // Entry 51
    274     0x1.b993cc4482b447ff4f74030e8ba14870p-1,
    275     0x1.57354071c6426p-3,
    276     -0x1.b1293f6f53880p-1
    277   },
    278   { // Entry 52
    279     0x1.a7e2abc57f0e380a70c24d675241f120p0,
    280     0x1.5b2d96cb65bp0,
    281     -0x1.e666666666664p-1
    282   },
    283   { // Entry 53
    284     0x1.e44d26303c8e703260adac35beb0201ap421,
    285     0x1.600ec23b7b61ep421,
    286     -0x1.4c92148cef14ap421
    287   },
    288   { // Entry 54
    289     0x1.f8611701969ccfffff045c3f99fe48f7p-1,
    290     0x1.6666666dac2fap-1,
    291     0x1.62e42fefa39efp-1
    292   },
    293   { // Entry 55
    294     0x1.6cc93c4d65368802345842af2282a5eap1,
    295     0x1.6cc93a754133ep1,
    296     0x1.257430139p-10
    297   },
    298   { // Entry 56
    299     0x1.6cc93c4d653688025c9147b5b60441e9p1,
    300     0x1.6cc93a754133ep1,
    301     0x1.25743013900c8p-10
    302   },
    303   { // Entry 57
    304     0x1.6cc93c4d653688025e2d2930daa313d5p1,
    305     0x1.6cc93a754133ep1,
    306     0x1.25743013900d0p-10
    307   },
    308   { // Entry 58
    309     0x1.d488ac97053f37fbba277d07ac43cad5p-20,
    310     0x1.7p-20,
    311     0x1.220p-20
    312   },
    313   { // Entry 59
    314     0x1.400000004cccc800052f1bc6a6c17e88p-1,
    315     0x1.7ffffffffffffp-2,
    316     0x1.000000006p-1
    317   },
    318   { // Entry 60
    319     0x1.ffee8df9517ff7fe75600bb975e5ce61p0,
    320     0x1.81792910a5db1p-1,
    321     -0x1.da43b5dce0b18p0
    322   },
    323   { // Entry 61
    324     0x1.9b0a5736513fc7ffab037ae75d04e99ap2,
    325     0x1.88a4522914881p2,
    326     0x1.e666666666667p0
    327   },
    328   { // Entry 62
    329     0x1.a5fa08a755b5c900f2d5cc6751e1ecf9p2,
    330     0x1.88cb3c9484e2ap0,
    331     0x1.9a6449e59bb5dp2
    332   },
    333   { // Entry 63
    334     0x1.8befefed027e87ff6c70308e205c2a19p6,
    335     0x1.8beea4e1a0873p6,
    336     -0x1.0p-1
    337   },
    338   { // Entry 64
    339     0x1.96991a72bfd0100000868ffe3e831279p1,
    340     0x1.8cccccce3bcbdp1,
    341     0x1.62e42fefa39efp-1
    342   },
    343   { // Entry 65
    344     0x1.bf7cd9d02c7e220c699cc834fdd4fb41p-4,
    345     0x1.8ddf4152067fcp-4,
    346     -0x1.999999999999ap-5
    347   },
    348   { // Entry 66
    349     0x1.76e7ba8bc745280094a71daf10d4a68ep25,
    350     0x1.97fe3896c80f0p2,
    351     0x1.76e7ba8bc741bp25
    352   },
    353   { // Entry 67
    354     0x1.0efacef2e4e81ffffefe587f1ae783b6p0,
    355     0x1.999999a0c0a0bp-1,
    356     0x1.62e42fefa39efp-1
    357   },
    358   { // Entry 68
    359     0x1.715e867859a8580001048a1e9e9dff7cp-1,
    360     0x1.999999b9ce793p-3,
    361     0x1.62e42fefa39efp-1
    362   },
    363   { // Entry 69
    364     0x1.6690cd7c39fa4800010745dc1f901919p-1,
    365     0x1.999999da8ed7ap-4,
    366     0x1.62e42fefa39efp-1
    367   },
    368   { // Entry 70
    369     0x1.f65294baeb7788330decefa598e273d5p-11,
    370     0x1.9dbcc48676f94p-15,
    371     0x1.f5a814afd6a11p-11
    372   },
    373   { // Entry 71
    374     0x1.c26cb730864d698c82db5769586bd519p0,
    375     0x1.a2882f7660c18p-2,
    376     0x1.b61a64501888ap0
    377   },
    378   { // Entry 72
    379     0x1.209f4f2c5979e816bf99efe18e6f1cdap1,
    380     0x1.b8f22f033c872p-3,
    381     0x1.1f4db533bcddcp1
    382   },
    383   { // Entry 73
    384     0x1.50225479d4b157fe785588557cc66cdep-10,
    385     0x1.bd8caaaf99090p-11,
    386     -0x1.f76b23986ff44p-11
    387   },
    388   { // Entry 74
    389     0x1.060db00245bf781048c529e4efff0afbp25,
    390     0x1.bffffffffffffp22,
    391     0x1.0000027ffffdfp25
    392   },
    393   { // Entry 75
    394     0x1.c8c25b45aba168f0187bb5c3abbc3d16p-11,
    395     0x1.c06b09e919d94p-11,
    396     -0x1.5b911048a3310p-13
    397   },
    398   { // Entry 76
    399     0x1.f53b21b5c40249b92a9c223bae43323bp0,
    400     0x1.c81e6f7fe3993p-2,
    401     -0x1.e8167b6df2ee0p0
    402   },
    403   { // Entry 77
    404     0x1.f5950f056e39e90cbaac1f89ab36b40ap2,
    405     0x1.cba2e8ba2e8b7p0,
    406     0x1.e83e0f83e0f76p2
    407   },
    408   { // Entry 78
    409     0x1.ddffe6e5a3a8384016ed35f115bc095ep-11,
    410     0x1.da12f684bda24p-11,
    411     -0x1.e9131abf0b717p-14
    412   },
    413   { // Entry 79
    414     0x1.7941bb05a39ca7ff5e4553b1fc4d7db9p-423,
    415     0x1.f8d7bbd7ce920p-426,
    416     -0x1.73f0fd4fd9fd0p-423
    417   },
    418   { // Entry 80
    419     0x1.b13fad7cb7c50801dede1905f3f366a1p9,
    420     0x1.f91b91b91b905p2,
    421     0x1.b13b13b13b130p9
    422   },
    423   { // Entry 81
    424     0x1.69fd85887947900071fbc08183b8ab23p0,
    425     0x1.fcf76c540d958p-1,
    426     -0x1.017098d82f95ep0
    427   },
    428   { // Entry 82
    429     0x1.21c9123e6cbbf812953910371e275dc7p3,
    430     0x1.ff77fffffffffp-9,
    431     -0x1.21c9107b0e488p3
    432   },
    433   { // Entry 83
    434     0x1.c66addfec91c411f38e2aacb6ea06a91p-3,
    435     0x1.ffeffffffffffp-4,
    436     -0x1.7777777777774p-3
    437   },
    438   { // Entry 84
    439     0x1.4eb522b24186e8254574c77b5f914855p-1,
    440     0x1.ffeffffffffffp-4,
    441     0x1.488888888888ap-1
    442   },
    443   { // Entry 85
    444     0x1.002caffe59b0a7feeda747a94b176ccap4,
    445     0x1.ffeffffffffffp3,
    446     -0x1.4888888888888p-1
    447   },
    448   { // Entry 86
    449     0x1.fff28f6f00e797fec43eb25e08b861abp3,
    450     0x1.ffeffffffffffp3,
    451     -0x1.99999999a7508p-4
    452   },
    453   { // Entry 87
    454     0x1.00000001fffff7fe0007f00400100ff6p20,
    455     0x1.fffffbfffffffp4,
    456     0x1.0p20
    457   },
    458   { // Entry 88
    459     0x1.0082de91198ee8170bcff2900895b92ap2,
    460     0x1.ffffffffffdffp-3,
    461     0x1.0002fffffffdfp2
    462   },
    463   { // Entry 89
    464     0x1.6a09e667f3c5125ab5042ba7be436cbbp-2,
    465     0x1.ffffffffffff7p-3,
    466     0x1.00000000000c0p-2
    467   },
    468   { // Entry 90
    469     0x1.ffffffffffffb0p500,
    470     0x1.ffffffffffffbp500,
    471     0x1.ffffffffffffbp-1
    472   },
    473   { // Entry 91
    474     0x1.333574eb66a002798d20bb2ca70862e4p-1,
    475     0x1.ffffffffffffep-3,
    476     0x1.1745d1745d177p-1
    477   },
    478   { // Entry 92
    479     0x1.745d1745d17557ffffffffffc41ap-3,
    480     0x1.ffffffffffffep-28,
    481     0x1.745d1745d1750p-3
    482   },
    483   { // Entry 93
    484     0x1.00000000000000007fffffffffffefffp1,
    485     0x1.ffffffffffffep-32,
    486     -0x1.0p1
    487   },
    488   { // Entry 94
    489     0x1.7777777777780000015d1745d1745c6cp-4,
    490     0x1.ffffffffffffep-40,
    491     0x1.7777777777780p-4
    492   },
    493   { // Entry 95
    494     0x1.01c5967e49cb581b1ce389659d8f68ecp2,
    495     0x1.ffffffffffffep1,
    496     -0x1.e2be2be2be2c3p-2
    497   },
    498   { // Entry 96
    499     0x1.0058d424f448e820225d2e7a25abc0ebp4,
    500     0x1.ffffffffffffep3,
    501     -0x1.aaaaaaaaaaaa8p-1
    502   },
    503   { // Entry 97
    504     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
    505     -0x1.0000000000001p0,
    506     -0x1.0000000000001p0
    507   },
    508   { // Entry 98
    509     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    510     -0x1.0000000000001p0,
    511     -0x1.0p0
    512   },
    513   { // Entry 99
    514     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    515     -0x1.0000000000001p0,
    516     -0x1.fffffffffffffp-1
    517   },
    518   { // Entry 100
    519     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    520     -0x1.0p0,
    521     -0x1.0000000000001p0
    522   },
    523   { // Entry 101
    524     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    525     -0x1.0p0,
    526     -0x1.0p0
    527   },
    528   { // Entry 102
    529     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    530     -0x1.0p0,
    531     -0x1.fffffffffffffp-1
    532   },
    533   { // Entry 103
    534     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    535     -0x1.fffffffffffffp-1,
    536     -0x1.0000000000001p0
    537   },
    538   { // Entry 104
    539     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    540     -0x1.fffffffffffffp-1,
    541     -0x1.0p0
    542   },
    543   { // Entry 105
    544     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
    545     -0x1.fffffffffffffp-1,
    546     -0x1.fffffffffffffp-1
    547   },
    548   { // Entry 106
    549     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    550     -0x1.0000000000001p0,
    551     0x1.fffffffffffffp-1
    552   },
    553   { // Entry 107
    554     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    555     -0x1.0000000000001p0,
    556     0x1.0p0
    557   },
    558   { // Entry 108
    559     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
    560     -0x1.0000000000001p0,
    561     0x1.0000000000001p0
    562   },
    563   { // Entry 109
    564     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    565     -0x1.0p0,
    566     0x1.fffffffffffffp-1
    567   },
    568   { // Entry 110
    569     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    570     -0x1.0p0,
    571     0x1.0p0
    572   },
    573   { // Entry 111
    574     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    575     -0x1.0p0,
    576     0x1.0000000000001p0
    577   },
    578   { // Entry 112
    579     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
    580     -0x1.fffffffffffffp-1,
    581     0x1.fffffffffffffp-1
    582   },
    583   { // Entry 113
    584     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    585     -0x1.fffffffffffffp-1,
    586     0x1.0p0
    587   },
    588   { // Entry 114
    589     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    590     -0x1.fffffffffffffp-1,
    591     0x1.0000000000001p0
    592   },
    593   { // Entry 115
    594     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    595     0x1.fffffffffffffp-1,
    596     -0x1.0000000000001p0
    597   },
    598   { // Entry 116
    599     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    600     0x1.fffffffffffffp-1,
    601     -0x1.0p0
    602   },
    603   { // Entry 117
    604     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
    605     0x1.fffffffffffffp-1,
    606     -0x1.fffffffffffffp-1
    607   },
    608   { // Entry 118
    609     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    610     0x1.0p0,
    611     -0x1.0000000000001p0
    612   },
    613   { // Entry 119
    614     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    615     0x1.0p0,
    616     -0x1.0p0
    617   },
    618   { // Entry 120
    619     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    620     0x1.0p0,
    621     -0x1.fffffffffffffp-1
    622   },
    623   { // Entry 121
    624     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
    625     0x1.0000000000001p0,
    626     -0x1.0000000000001p0
    627   },
    628   { // Entry 122
    629     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    630     0x1.0000000000001p0,
    631     -0x1.0p0
    632   },
    633   { // Entry 123
    634     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    635     0x1.0000000000001p0,
    636     -0x1.fffffffffffffp-1
    637   },
    638   { // Entry 124
    639     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p0,
    640     0x1.fffffffffffffp-1,
    641     0x1.fffffffffffffp-1
    642   },
    643   { // Entry 125
    644     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    645     0x1.fffffffffffffp-1,
    646     0x1.0p0
    647   },
    648   { // Entry 126
    649     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    650     0x1.fffffffffffffp-1,
    651     0x1.0000000000001p0
    652   },
    653   { // Entry 127
    654     0x1.6a09e667f3bcc3608b617397f77caac1p0,
    655     0x1.0p0,
    656     0x1.fffffffffffffp-1
    657   },
    658   { // Entry 128
    659     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    660     0x1.0p0,
    661     0x1.0p0
    662   },
    663   { // Entry 129
    664     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    665     0x1.0p0,
    666     0x1.0000000000001p0
    667   },
    668   { // Entry 130
    669     0x1.6a09e667f3bcceb0da94b335de1f72d2p0,
    670     0x1.0000000000001p0,
    671     0x1.fffffffffffffp-1
    672   },
    673   { // Entry 131
    674     0x1.6a09e667f3bcd459022e5304d10b0412p0,
    675     0x1.0000000000001p0,
    676     0x1.0p0
    677   },
    678   { // Entry 132
    679     0x1.6a09e667f3bcdfa9516192a2b726086dp0,
    680     0x1.0000000000001p0,
    681     0x1.0000000000001p0
    682   },
    683   { // Entry 133
    684     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    685     -0x1.0p0,
    686     -0x1.0p0
    687   },
    688   { // Entry 134
    689     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    690     -0x1.0p0,
    691     0x1.0p0
    692   },
    693   { // Entry 135
    694     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    695     0x1.0p0,
    696     -0x1.0p0
    697   },
    698   { // Entry 136
    699     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    700     0x1.0p0,
    701     0x1.0p0
    702   },
    703   { // Entry 137
    704     0x1.6a09e667f3bcc908b2fb1366ea957d3ep0,
    705     0x1.0p0,
    706     0x1.0p0
    707   },
    708   { // Entry 138
    709     0x1.01fe03f61bad04b1068572febc925ad1p3,
    710     0x1.0p0,
    711     0x1.0p3
    712   },
    713   { // Entry 139
    714     0x1.01fe03f61bad04b1068572febc925ad1p3,
    715     0x1.0p3,
    716     0x1.0p0
    717   },
    718   { // Entry 140
    719     0x1.6a09e667f3bcc908b2fb1366ea957d3ep3,
    720     0x1.0p3,
    721     0x1.0p3
    722   },
    723   { // Entry 141
    724     0x1.00001ffffe00003ffff60001bfffacp9,
    725     0x1.0p0,
    726     0x1.0p9
    727   },
    728   { // Entry 142
    729     0x1.000007ffffe00000fffff600006ffffap10,
    730     0x1.0p0,
    731     0x1.0p10
    732   },
    733   { // Entry 143
    734     0x1.0007ffe000fff6006ffac041fca62cadp9,
    735     0x1.0p3,
    736     0x1.0p9
    737   },
    738   { // Entry 144
    739     0x1.0001fffe0003fff6001bffac0107fca6p10,
    740     0x1.0p3,
    741     0x1.0p10
    742   },
    743   { // Entry 145
    744     0x1.p100,
    745     0x1.0p0,
    746     0x1.0p100
    747   },
    748   { // Entry 146
    749     0x1.p101,
    750     0x1.0p0,
    751     0x1.0p101
    752   },
    753   { // Entry 147
    754     0x1.p100,
    755     0x1.0p3,
    756     0x1.0p100
    757   },
    758   { // Entry 148
    759     0x1.p101,
    760     0x1.0p3,
    761     0x1.0p101
    762   },
    763   { // Entry 149
    764     0x1.00001ffffe00003ffff60001bfffacp9,
    765     0x1.0p9,
    766     0x1.0p0
    767   },
    768   { // Entry 150
    769     0x1.0007ffe000fff6006ffac041fca62cadp9,
    770     0x1.0p9,
    771     0x1.0p3
    772   },
    773   { // Entry 151
    774     0x1.000007ffffe00000fffff600006ffffap10,
    775     0x1.0p10,
    776     0x1.0p0
    777   },
    778   { // Entry 152
    779     0x1.0001fffe0003fff6001bffac0107fca6p10,
    780     0x1.0p10,
    781     0x1.0p3
    782   },
    783   { // Entry 153
    784     0x1.6a09e667f3bcc908b2fb1366ea957d3ep9,
    785     0x1.0p9,
    786     0x1.0p9
    787   },
    788   { // Entry 154
    789     0x1.1e3779b97f4a7c15f39cc0605cedc834p10,
    790     0x1.0p9,
    791     0x1.0p10
    792   },
    793   { // Entry 155
    794     0x1.1e3779b97f4a7c15f39cc0605cedc834p10,
    795     0x1.0p10,
    796     0x1.0p9
    797   },
    798   { // Entry 156
    799     0x1.6a09e667f3bcc908b2fb1366ea957d3ep10,
    800     0x1.0p10,
    801     0x1.0p10
    802   },
    803   { // Entry 157
    804     0x1.p100,
    805     0x1.0p9,
    806     0x1.0p100
    807   },
    808   { // Entry 158
    809     0x1.p101,
    810     0x1.0p9,
    811     0x1.0p101
    812   },
    813   { // Entry 159
    814     0x1.p100,
    815     0x1.0p10,
    816     0x1.0p100
    817   },
    818   { // Entry 160
    819     0x1.p101,
    820     0x1.0p10,
    821     0x1.0p101
    822   },
    823   { // Entry 161
    824     0x1.p100,
    825     0x1.0p100,
    826     0x1.0p0
    827   },
    828   { // Entry 162
    829     0x1.p100,
    830     0x1.0p100,
    831     0x1.0p3
    832   },
    833   { // Entry 163
    834     0x1.p101,
    835     0x1.0p101,
    836     0x1.0p0
    837   },
    838   { // Entry 164
    839     0x1.p101,
    840     0x1.0p101,
    841     0x1.0p3
    842   },
    843   { // Entry 165
    844     0x1.p100,
    845     0x1.0p100,
    846     0x1.0p9
    847   },
    848   { // Entry 166
    849     0x1.p100,
    850     0x1.0p100,
    851     0x1.0p10
    852   },
    853   { // Entry 167
    854     0x1.p101,
    855     0x1.0p101,
    856     0x1.0p9
    857   },
    858   { // Entry 168
    859     0x1.p101,
    860     0x1.0p101,
    861     0x1.0p10
    862   },
    863   { // Entry 169
    864     0x1.6a09e667f3bcc908b2fb1366ea957d3ep100,
    865     0x1.0p100,
    866     0x1.0p100
    867   },
    868   { // Entry 170
    869     0x1.1e3779b97f4a7c15f39cc0605cedc834p101,
    870     0x1.0p100,
    871     0x1.0p101
    872   },
    873   { // Entry 171
    874     0x1.1e3779b97f4a7c15f39cc0605cedc834p101,
    875     0x1.0p101,
    876     0x1.0p100
    877   },
    878   { // Entry 172
    879     0x1.6a09e667f3bcc908b2fb1366ea957d3ep101,
    880     0x1.0p101,
    881     0x1.0p101
    882   },
    883   { // Entry 173
    884     0x1.ad5336963eefa83d75cf889be3a34d14p2,
    885     0x1.7ffffffffffffp2,
    886     0x1.7ffffffffffffp1
    887   },
    888   { // Entry 174
    889     0x1.ad5336963eefabd15a8840999ed93d89p2,
    890     0x1.7ffffffffffffp2,
    891     0x1.8p1
    892   },
    893   { // Entry 175
    894     0x1.ad5336963eefaf653f40f8975a2db59ep2,
    895     0x1.7ffffffffffffp2,
    896     0x1.8000000000001p1
    897   },
    898   { // Entry 176
    899     0x1.ad5336963eefb68d08b26892d04d4378p2,
    900     0x1.8p2,
    901     0x1.7ffffffffffffp1
    902   },
    903   { // Entry 177
    904     0x1.ad5336963eefba20ed6b20908b64ac4ep2,
    905     0x1.8p2,
    906     0x1.8p1
    907   },
    908   { // Entry 178
    909     0x1.ad5336963eefbdb4d223d88e469a9cc3p2,
    910     0x1.8p2,
    911     0x1.8000000000001p1
    912   },
    913   { // Entry 179
    914     0x1.ad5336963eefc4dc9b954889bd15c17dp2,
    915     0x1.8000000000001p2,
    916     0x1.7ffffffffffffp1
    917   },
    918   { // Entry 180
    919     0x1.ad5336963eefc870804e0087780ea2b2p2,
    920     0x1.8000000000001p2,
    921     0x1.8p1
    922   },
    923   { // Entry 181
    924     0x1.ad5336963eefcc046506b88533260b87p2,
    925     0x1.8000000000001p2,
    926     0x1.8000000000001p1
    927   },
    928   { // Entry 182
    929     0x1.fffffffffffff0p1023,
    930     0x1.fffffffffffffp1023,
    931     0.0
    932   },
    933   { // Entry 183
    934     0x1.6a09e667f3bc9bc7762e14ef517466dep-1022,
    935     0x1.ffffffffffffcp-1023,
    936     0x1.ffffffffffffcp-1023
    937   },
    938   { // Entry 184
    939     0x1.6a09e667f3bca717c561548d37e9edb3p-1022,
    940     0x1.ffffffffffffcp-1023,
    941     0x1.ffffffffffffep-1023
    942   },
    943   { // Entry 185
    944     0x1.6a09e667f3bcb2681494942b1eb9f701p-1022,
    945     0x1.ffffffffffffcp-1023,
    946     0x1.0p-1022
    947   },
    948   { // Entry 186
    949     0x1.6a09e667f3bca717c561548d37e9edb3p-1022,
    950     0x1.ffffffffffffep-1023,
    951     0x1.ffffffffffffcp-1023
    952   },
    953   { // Entry 187
    954     0x1.6a09e667f3bcb2681494942b1e04f20ep-1022,
    955     0x1.ffffffffffffep-1023,
    956     0x1.ffffffffffffep-1023
    957   },
    958   { // Entry 188
    959     0x1.6a09e667f3bcbdb863c7d3c9047a78e3p-1022,
    960     0x1.ffffffffffffep-1023,
    961     0x1.0p-1022
    962   },
    963   { // Entry 189
    964     0x1.6a09e667f3bcb2681494942b1eb9f701p-1022,
    965     0x1.0p-1022,
    966     0x1.ffffffffffffcp-1023
    967   },
    968   { // Entry 190
    969     0x1.6a09e667f3bcbdb863c7d3c9047a78e3p-1022,
    970     0x1.0p-1022,
    971     0x1.ffffffffffffep-1023
    972   },
    973   { // Entry 191
    974     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1022,
    975     0x1.0p-1022,
    976     0x1.0p-1022
    977   },
    978   { // Entry 192
    979     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
    980     0x1.0p-1074,
    981     0x1.0p-1074
    982   },
    983   { // Entry 193
    984     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p512,
    985     0x1.fffffffffffffp511,
    986     0x1.fffffffffffffp511
    987   },
    988   { // Entry 194
    989     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p512,
    990     0x1.fffffffffffffp511,
    991     0x1.fffffffffffffp511
    992   },
    993   { // Entry 195
    994     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p501,
    995     0x1.fffffffffffffp500,
    996     0x1.fffffffffffffp500
    997   },
    998   { // Entry 196
    999     0x1.6a09e667f3bcc3608b617397f77caac1p501,
   1000     0x1.fffffffffffffp500,
   1001     0x1.0p501
   1002   },
   1003   { // Entry 197
   1004     0x1.6a09e667f3bcceb0da94b335de1f72d2p501,
   1005     0x1.fffffffffffffp500,
   1006     0x1.0000000000001p501
   1007   },
   1008   { // Entry 198
   1009     0x1.6a09e667f3bcc3608b617397f77caac1p501,
   1010     0x1.0p501,
   1011     0x1.fffffffffffffp500
   1012   },
   1013   { // Entry 199
   1014     0x1.6a09e667f3bcc908b2fb1366ea957d3ep501,
   1015     0x1.0p501,
   1016     0x1.0p501
   1017   },
   1018   { // Entry 200
   1019     0x1.6a09e667f3bcd459022e5304d10b0412p501,
   1020     0x1.0p501,
   1021     0x1.0000000000001p501
   1022   },
   1023   { // Entry 201
   1024     0x1.6a09e667f3bcceb0da94b335de1f72d2p501,
   1025     0x1.0000000000001p501,
   1026     0x1.fffffffffffffp500
   1027   },
   1028   { // Entry 202
   1029     0x1.6a09e667f3bcd459022e5304d10b0412p501,
   1030     0x1.0000000000001p501,
   1031     0x1.0p501
   1032   },
   1033   { // Entry 203
   1034     0x1.6a09e667f3bcdfa9516192a2b726086dp501,
   1035     0x1.0000000000001p501,
   1036     0x1.0000000000001p501
   1037   },
   1038   { // Entry 204
   1039     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-501,
   1040     0x1.fffffffffffffp-502,
   1041     0x1.fffffffffffffp-502
   1042   },
   1043   { // Entry 205
   1044     0x1.6a09e667f3bcc3608b617397f77caac1p-501,
   1045     0x1.fffffffffffffp-502,
   1046     0x1.0p-501
   1047   },
   1048   { // Entry 206
   1049     0x1.6a09e667f3bcceb0da94b335de1f72d2p-501,
   1050     0x1.fffffffffffffp-502,
   1051     0x1.0000000000001p-501
   1052   },
   1053   { // Entry 207
   1054     0x1.6a09e667f3bcc3608b617397f77caac1p-501,
   1055     0x1.0p-501,
   1056     0x1.fffffffffffffp-502
   1057   },
   1058   { // Entry 208
   1059     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-501,
   1060     0x1.0p-501,
   1061     0x1.0p-501
   1062   },
   1063   { // Entry 209
   1064     0x1.6a09e667f3bcd459022e5304d10b0412p-501,
   1065     0x1.0p-501,
   1066     0x1.0000000000001p-501
   1067   },
   1068   { // Entry 210
   1069     0x1.6a09e667f3bcceb0da94b335de1f72d2p-501,
   1070     0x1.0000000000001p-501,
   1071     0x1.fffffffffffffp-502
   1072   },
   1073   { // Entry 211
   1074     0x1.6a09e667f3bcd459022e5304d10b0412p-501,
   1075     0x1.0000000000001p-501,
   1076     0x1.0p-501
   1077   },
   1078   { // Entry 212
   1079     0x1.6a09e667f3bcdfa9516192a2b726086dp-501,
   1080     0x1.0000000000001p-501,
   1081     0x1.0000000000001p-501
   1082   },
   1083   { // Entry 213
   1084     0x1.fffffffffffff0p500,
   1085     0x1.fffffffffffffp500,
   1086     0x1.fffffffffffffp-502
   1087   },
   1088   { // Entry 214
   1089     0x1.fffffffffffff0p500,
   1090     0x1.fffffffffffffp500,
   1091     0x1.0p-501
   1092   },
   1093   { // Entry 215
   1094     0x1.fffffffffffff0p500,
   1095     0x1.fffffffffffffp500,
   1096     0x1.0000000000001p-501
   1097   },
   1098   { // Entry 216
   1099     0x1.p501,
   1100     0x1.0p501,
   1101     0x1.fffffffffffffp-502
   1102   },
   1103   { // Entry 217
   1104     0x1.p501,
   1105     0x1.0p501,
   1106     0x1.0p-501
   1107   },
   1108   { // Entry 218
   1109     0x1.p501,
   1110     0x1.0p501,
   1111     0x1.0000000000001p-501
   1112   },
   1113   { // Entry 219
   1114     0x1.00000000000010p501,
   1115     0x1.0000000000001p501,
   1116     0x1.fffffffffffffp-502
   1117   },
   1118   { // Entry 220
   1119     0x1.00000000000010p501,
   1120     0x1.0000000000001p501,
   1121     0x1.0p-501
   1122   },
   1123   { // Entry 221
   1124     0x1.00000000000010p501,
   1125     0x1.0000000000001p501,
   1126     0x1.0000000000001p-501
   1127   },
   1128   { // Entry 222
   1129     0x1.fffffffffffff0p500,
   1130     0x1.fffffffffffffp500,
   1131     -0x1.0p-1074
   1132   },
   1133   { // Entry 223
   1134     0x1.fffffffffffff0p500,
   1135     0x1.fffffffffffffp500,
   1136     -0.0
   1137   },
   1138   { // Entry 224
   1139     0x1.fffffffffffff0p500,
   1140     0x1.fffffffffffffp500,
   1141     0x1.0p-1074
   1142   },
   1143   { // Entry 225
   1144     0x1.p501,
   1145     0x1.0p501,
   1146     -0x1.0p-1074
   1147   },
   1148   { // Entry 226
   1149     0x1.p501,
   1150     0x1.0p501,
   1151     -0.0
   1152   },
   1153   { // Entry 227
   1154     0x1.p501,
   1155     0x1.0p501,
   1156     0x1.0p-1074
   1157   },
   1158   { // Entry 228
   1159     0x1.00000000000010p501,
   1160     0x1.0000000000001p501,
   1161     -0x1.0p-1074
   1162   },
   1163   { // Entry 229
   1164     0x1.00000000000010p501,
   1165     0x1.0000000000001p501,
   1166     -0.0
   1167   },
   1168   { // Entry 230
   1169     0x1.00000000000010p501,
   1170     0x1.0000000000001p501,
   1171     0x1.0p-1074
   1172   },
   1173   { // Entry 231
   1174     0x1.fffffffffffff0p-502,
   1175     0x1.fffffffffffffp-502,
   1176     -0x1.0p-1074
   1177   },
   1178   { // Entry 232
   1179     0x1.fffffffffffff0p-502,
   1180     0x1.fffffffffffffp-502,
   1181     -0.0
   1182   },
   1183   { // Entry 233
   1184     0x1.fffffffffffff0p-502,
   1185     0x1.fffffffffffffp-502,
   1186     0x1.0p-1074
   1187   },
   1188   { // Entry 234
   1189     0x1.p-501,
   1190     0x1.0p-501,
   1191     -0x1.0p-1074
   1192   },
   1193   { // Entry 235
   1194     0x1.p-501,
   1195     0x1.0p-501,
   1196     -0.0
   1197   },
   1198   { // Entry 236
   1199     0x1.p-501,
   1200     0x1.0p-501,
   1201     0x1.0p-1074
   1202   },
   1203   { // Entry 237
   1204     0x1.00000000000010p-501,
   1205     0x1.0000000000001p-501,
   1206     -0x1.0p-1074
   1207   },
   1208   { // Entry 238
   1209     0x1.00000000000010p-501,
   1210     0x1.0000000000001p-501,
   1211     -0.0
   1212   },
   1213   { // Entry 239
   1214     0x1.00000000000010p-501,
   1215     0x1.0000000000001p-501,
   1216     0x1.0p-1074
   1217   },
   1218   { // Entry 240
   1219     0x1.fffffffffffff0p500,
   1220     0x1.fffffffffffffp500,
   1221     0x1.fffffffffffffp-1
   1222   },
   1223   { // Entry 241
   1224     0x1.fffffffffffff0p500,
   1225     0x1.fffffffffffffp500,
   1226     0x1.0p0
   1227   },
   1228   { // Entry 242
   1229     0x1.fffffffffffff0p500,
   1230     0x1.fffffffffffffp500,
   1231     0x1.0000000000001p0
   1232   },
   1233   { // Entry 243
   1234     0x1.p501,
   1235     0x1.0p501,
   1236     0x1.fffffffffffffp-1
   1237   },
   1238   { // Entry 244
   1239     0x1.p501,
   1240     0x1.0p501,
   1241     0x1.0p0
   1242   },
   1243   { // Entry 245
   1244     0x1.p501,
   1245     0x1.0p501,
   1246     0x1.0000000000001p0
   1247   },
   1248   { // Entry 246
   1249     0x1.00000000000010p501,
   1250     0x1.0000000000001p501,
   1251     0x1.fffffffffffffp-1
   1252   },
   1253   { // Entry 247
   1254     0x1.00000000000010p501,
   1255     0x1.0000000000001p501,
   1256     0x1.0p0
   1257   },
   1258   { // Entry 248
   1259     0x1.00000000000010p501,
   1260     0x1.0000000000001p501,
   1261     0x1.0000000000001p0
   1262   },
   1263   { // Entry 249
   1264     0x1.fffffffffffff0p-1,
   1265     0x1.fffffffffffffp-502,
   1266     0x1.fffffffffffffp-1
   1267   },
   1268   { // Entry 250
   1269     0x1.p0,
   1270     0x1.fffffffffffffp-502,
   1271     0x1.0p0
   1272   },
   1273   { // Entry 251
   1274     0x1.00000000000010p0,
   1275     0x1.fffffffffffffp-502,
   1276     0x1.0000000000001p0
   1277   },
   1278   { // Entry 252
   1279     0x1.fffffffffffff0p-1,
   1280     0x1.0p-501,
   1281     0x1.fffffffffffffp-1
   1282   },
   1283   { // Entry 253
   1284     0x1.p0,
   1285     0x1.0p-501,
   1286     0x1.0p0
   1287   },
   1288   { // Entry 254
   1289     0x1.00000000000010p0,
   1290     0x1.0p-501,
   1291     0x1.0000000000001p0
   1292   },
   1293   { // Entry 255
   1294     0x1.fffffffffffff0p-1,
   1295     0x1.0000000000001p-501,
   1296     0x1.fffffffffffffp-1
   1297   },
   1298   { // Entry 256
   1299     0x1.p0,
   1300     0x1.0000000000001p-501,
   1301     0x1.0p0
   1302   },
   1303   { // Entry 257
   1304     0x1.00000000000010p0,
   1305     0x1.0000000000001p-501,
   1306     0x1.0000000000001p0
   1307   },
   1308   { // Entry 258
   1309     0x1.fffffffffffff000000000000fffffffp49,
   1310     0x1.fffffffffffffp49,
   1311     0x1.fffffffffffffp-1
   1312   },
   1313   { // Entry 259
   1314     0x1.fffffffffffff0000000000010p49,
   1315     0x1.fffffffffffffp49,
   1316     0x1.0p0
   1317   },
   1318   { // Entry 260
   1319     0x1.fffffffffffff0000000000010p49,
   1320     0x1.fffffffffffffp49,
   1321     0x1.0000000000001p0
   1322   },
   1323   { // Entry 261
   1324     0x1.00000000000000000000000007ffffffp50,
   1325     0x1.0p50,
   1326     0x1.fffffffffffffp-1
   1327   },
   1328   { // Entry 262
   1329     0x1.00000000000000000000000007ffffffp50,
   1330     0x1.0p50,
   1331     0x1.0p0
   1332   },
   1333   { // Entry 263
   1334     0x1.00000000000000000000000008p50,
   1335     0x1.0p50,
   1336     0x1.0000000000001p0
   1337   },
   1338   { // Entry 264
   1339     0x1.00000000000010000000000007ffffffp50,
   1340     0x1.0000000000001p50,
   1341     0x1.fffffffffffffp-1
   1342   },
   1343   { // Entry 265
   1344     0x1.00000000000010000000000007ffffffp50,
   1345     0x1.0000000000001p50,
   1346     0x1.0p0
   1347   },
   1348   { // Entry 266
   1349     0x1.00000000000010000000000008p50,
   1350     0x1.0000000000001p50,
   1351     0x1.0000000000001p0
   1352   },
   1353   { // Entry 267
   1354     0x1.fffffffffffff0000000000003ffffffp50,
   1355     0x1.fffffffffffffp50,
   1356     0x1.fffffffffffffp-1
   1357   },
   1358   { // Entry 268
   1359     0x1.fffffffffffff0000000000004p50,
   1360     0x1.fffffffffffffp50,
   1361     0x1.0p0
   1362   },
   1363   { // Entry 269
   1364     0x1.fffffffffffff0000000000004p50,
   1365     0x1.fffffffffffffp50,
   1366     0x1.0000000000001p0
   1367   },
   1368   { // Entry 270
   1369     0x1.00000000000000000000000001ffffffp51,
   1370     0x1.0p51,
   1371     0x1.fffffffffffffp-1
   1372   },
   1373   { // Entry 271
   1374     0x1.00000000000000000000000001ffffffp51,
   1375     0x1.0p51,
   1376     0x1.0p0
   1377   },
   1378   { // Entry 272
   1379     0x1.00000000000000000000000002p51,
   1380     0x1.0p51,
   1381     0x1.0000000000001p0
   1382   },
   1383   { // Entry 273
   1384     0x1.00000000000010000000000001ffffffp51,
   1385     0x1.0000000000001p51,
   1386     0x1.fffffffffffffp-1
   1387   },
   1388   { // Entry 274
   1389     0x1.00000000000010000000000001ffffffp51,
   1390     0x1.0000000000001p51,
   1391     0x1.0p0
   1392   },
   1393   { // Entry 275
   1394     0x1.00000000000010000000000002p51,
   1395     0x1.0000000000001p51,
   1396     0x1.0000000000001p0
   1397   },
   1398   { // Entry 276
   1399     0x1.fffffffffffff0000000000000ffffffp51,
   1400     0x1.fffffffffffffp51,
   1401     0x1.fffffffffffffp-1
   1402   },
   1403   { // Entry 277
   1404     0x1.fffffffffffff0000000000001p51,
   1405     0x1.fffffffffffffp51,
   1406     0x1.0p0
   1407   },
   1408   { // Entry 278
   1409     0x1.fffffffffffff0000000000001p51,
   1410     0x1.fffffffffffffp51,
   1411     0x1.0000000000001p0
   1412   },
   1413   { // Entry 279
   1414     0x1.000000000000000000000000007fffffp52,
   1415     0x1.0p52,
   1416     0x1.fffffffffffffp-1
   1417   },
   1418   { // Entry 280
   1419     0x1.000000000000000000000000007fffffp52,
   1420     0x1.0p52,
   1421     0x1.0p0
   1422   },
   1423   { // Entry 281
   1424     0x1.0000000000000000000000000080p52,
   1425     0x1.0p52,
   1426     0x1.0000000000001p0
   1427   },
   1428   { // Entry 282
   1429     0x1.000000000000100000000000007fffffp52,
   1430     0x1.0000000000001p52,
   1431     0x1.fffffffffffffp-1
   1432   },
   1433   { // Entry 283
   1434     0x1.000000000000100000000000007fffffp52,
   1435     0x1.0000000000001p52,
   1436     0x1.0p0
   1437   },
   1438   { // Entry 284
   1439     0x1.0000000000001000000000000080p52,
   1440     0x1.0000000000001p52,
   1441     0x1.0000000000001p0
   1442   },
   1443   { // Entry 285
   1444     0x1.fffffffffffff00000000000003fffffp52,
   1445     0x1.fffffffffffffp52,
   1446     0x1.fffffffffffffp-1
   1447   },
   1448   { // Entry 286
   1449     0x1.fffffffffffff000000000000040p52,
   1450     0x1.fffffffffffffp52,
   1451     0x1.0p0
   1452   },
   1453   { // Entry 287
   1454     0x1.fffffffffffff000000000000040p52,
   1455     0x1.fffffffffffffp52,
   1456     0x1.0000000000001p0
   1457   },
   1458   { // Entry 288
   1459     0x1.000000000000000000000000001fffffp53,
   1460     0x1.0p53,
   1461     0x1.fffffffffffffp-1
   1462   },
   1463   { // Entry 289
   1464     0x1.000000000000000000000000001fffffp53,
   1465     0x1.0p53,
   1466     0x1.0p0
   1467   },
   1468   { // Entry 290
   1469     0x1.0000000000000000000000000020p53,
   1470     0x1.0p53,
   1471     0x1.0000000000001p0
   1472   },
   1473   { // Entry 291
   1474     0x1.000000000000100000000000001fffffp53,
   1475     0x1.0000000000001p53,
   1476     0x1.fffffffffffffp-1
   1477   },
   1478   { // Entry 292
   1479     0x1.000000000000100000000000001fffffp53,
   1480     0x1.0000000000001p53,
   1481     0x1.0p0
   1482   },
   1483   { // Entry 293
   1484     0x1.0000000000001000000000000020p53,
   1485     0x1.0000000000001p53,
   1486     0x1.0000000000001p0
   1487   },
   1488   { // Entry 294
   1489     0x1.fffffffffffff00000000000000fffffp53,
   1490     0x1.fffffffffffffp53,
   1491     0x1.fffffffffffffp-1
   1492   },
   1493   { // Entry 295
   1494     0x1.fffffffffffff000000000000010p53,
   1495     0x1.fffffffffffffp53,
   1496     0x1.0p0
   1497   },
   1498   { // Entry 296
   1499     0x1.fffffffffffff000000000000010p53,
   1500     0x1.fffffffffffffp53,
   1501     0x1.0000000000001p0
   1502   },
   1503   { // Entry 297
   1504     0x1.0000000000000000000000000007ffffp54,
   1505     0x1.0p54,
   1506     0x1.fffffffffffffp-1
   1507   },
   1508   { // Entry 298
   1509     0x1.0000000000000000000000000007ffffp54,
   1510     0x1.0p54,
   1511     0x1.0p0
   1512   },
   1513   { // Entry 299
   1514     0x1.0000000000000000000000000008p54,
   1515     0x1.0p54,
   1516     0x1.0000000000001p0
   1517   },
   1518   { // Entry 300
   1519     0x1.0000000000001000000000000007ffffp54,
   1520     0x1.0000000000001p54,
   1521     0x1.fffffffffffffp-1
   1522   },
   1523   { // Entry 301
   1524     0x1.0000000000001000000000000007ffffp54,
   1525     0x1.0000000000001p54,
   1526     0x1.0p0
   1527   },
   1528   { // Entry 302
   1529     0x1.0000000000001000000000000008p54,
   1530     0x1.0000000000001p54,
   1531     0x1.0000000000001p0
   1532   },
   1533   { // Entry 303
   1534     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-500,
   1535     0x1.fffffffffffffp-501,
   1536     0x1.fffffffffffffp-501
   1537   },
   1538   { // Entry 304
   1539     0x1.6a09e667f3bcc3608b617397f77caac1p-500,
   1540     0x1.fffffffffffffp-501,
   1541     0x1.0p-500
   1542   },
   1543   { // Entry 305
   1544     0x1.6a09e667f3bcceb0da94b335de1f72d2p-500,
   1545     0x1.fffffffffffffp-501,
   1546     0x1.0000000000001p-500
   1547   },
   1548   { // Entry 306
   1549     0x1.6a09e667f3bcc3608b617397f77caac1p-500,
   1550     0x1.0p-500,
   1551     0x1.fffffffffffffp-501
   1552   },
   1553   { // Entry 307
   1554     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-500,
   1555     0x1.0p-500,
   1556     0x1.0p-500
   1557   },
   1558   { // Entry 308
   1559     0x1.6a09e667f3bcd459022e5304d10b0412p-500,
   1560     0x1.0p-500,
   1561     0x1.0000000000001p-500
   1562   },
   1563   { // Entry 309
   1564     0x1.6a09e667f3bcceb0da94b335de1f72d2p-500,
   1565     0x1.0000000000001p-500,
   1566     0x1.fffffffffffffp-501
   1567   },
   1568   { // Entry 310
   1569     0x1.6a09e667f3bcd459022e5304d10b0412p-500,
   1570     0x1.0000000000001p-500,
   1571     0x1.0p-500
   1572   },
   1573   { // Entry 311
   1574     0x1.6a09e667f3bcdfa9516192a2b726086dp-500,
   1575     0x1.0000000000001p-500,
   1576     0x1.0000000000001p-500
   1577   },
   1578   { // Entry 312
   1579     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-60,
   1580     0x1.fffffffffffffp-61,
   1581     0x1.fffffffffffffp-61
   1582   },
   1583   { // Entry 313
   1584     0x1.6a09e667f3bcc3608b617397f77caac1p-60,
   1585     0x1.fffffffffffffp-61,
   1586     0x1.0p-60
   1587   },
   1588   { // Entry 314
   1589     0x1.6a09e667f3bcceb0da94b335de1f72d2p-60,
   1590     0x1.fffffffffffffp-61,
   1591     0x1.0000000000001p-60
   1592   },
   1593   { // Entry 315
   1594     0x1.6a09e667f3bcc3608b617397f77caac1p-60,
   1595     0x1.0p-60,
   1596     0x1.fffffffffffffp-61
   1597   },
   1598   { // Entry 316
   1599     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-60,
   1600     0x1.0p-60,
   1601     0x1.0p-60
   1602   },
   1603   { // Entry 317
   1604     0x1.6a09e667f3bcd459022e5304d10b0412p-60,
   1605     0x1.0p-60,
   1606     0x1.0000000000001p-60
   1607   },
   1608   { // Entry 318
   1609     0x1.6a09e667f3bcceb0da94b335de1f72d2p-60,
   1610     0x1.0000000000001p-60,
   1611     0x1.fffffffffffffp-61
   1612   },
   1613   { // Entry 319
   1614     0x1.6a09e667f3bcd459022e5304d10b0412p-60,
   1615     0x1.0000000000001p-60,
   1616     0x1.0p-60
   1617   },
   1618   { // Entry 320
   1619     0x1.6a09e667f3bcdfa9516192a2b726086dp-60,
   1620     0x1.0000000000001p-60,
   1621     0x1.0000000000001p-60
   1622   },
   1623   { // Entry 321
   1624     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-10,
   1625     0x1.fffffffffffffp-11,
   1626     0x1.fffffffffffffp-11
   1627   },
   1628   { // Entry 322
   1629     0x1.6a09e667f3bcc3608b617397f77caac1p-10,
   1630     0x1.fffffffffffffp-11,
   1631     0x1.0p-10
   1632   },
   1633   { // Entry 323
   1634     0x1.6a09e667f3bcceb0da94b335de1f72d2p-10,
   1635     0x1.fffffffffffffp-11,
   1636     0x1.0000000000001p-10
   1637   },
   1638   { // Entry 324
   1639     0x1.6a09e667f3bcc3608b617397f77caac1p-10,
   1640     0x1.0p-10,
   1641     0x1.fffffffffffffp-11
   1642   },
   1643   { // Entry 325
   1644     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-10,
   1645     0x1.0p-10,
   1646     0x1.0p-10
   1647   },
   1648   { // Entry 326
   1649     0x1.6a09e667f3bcd459022e5304d10b0412p-10,
   1650     0x1.0p-10,
   1651     0x1.0000000000001p-10
   1652   },
   1653   { // Entry 327
   1654     0x1.6a09e667f3bcceb0da94b335de1f72d2p-10,
   1655     0x1.0000000000001p-10,
   1656     0x1.fffffffffffffp-11
   1657   },
   1658   { // Entry 328
   1659     0x1.6a09e667f3bcd459022e5304d10b0412p-10,
   1660     0x1.0000000000001p-10,
   1661     0x1.0p-10
   1662   },
   1663   { // Entry 329
   1664     0x1.6a09e667f3bcdfa9516192a2b726086dp-10,
   1665     0x1.0000000000001p-10,
   1666     0x1.0000000000001p-10
   1667   },
   1668   { // Entry 330
   1669     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-1,
   1670     0x1.fffffffffffffp-2,
   1671     0x1.fffffffffffffp-2
   1672   },
   1673   { // Entry 331
   1674     0x1.6a09e667f3bcc3608b617397f77caac1p-1,
   1675     0x1.fffffffffffffp-2,
   1676     0x1.0p-1
   1677   },
   1678   { // Entry 332
   1679     0x1.6a09e667f3bcceb0da94b335de1f72d2p-1,
   1680     0x1.fffffffffffffp-2,
   1681     0x1.0000000000001p-1
   1682   },
   1683   { // Entry 333
   1684     0x1.6a09e667f3bcc3608b617397f77caac1p-1,
   1685     0x1.0p-1,
   1686     0x1.fffffffffffffp-2
   1687   },
   1688   { // Entry 334
   1689     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1,
   1690     0x1.0p-1,
   1691     0x1.0p-1
   1692   },
   1693   { // Entry 335
   1694     0x1.6a09e667f3bcd459022e5304d10b0412p-1,
   1695     0x1.0p-1,
   1696     0x1.0000000000001p-1
   1697   },
   1698   { // Entry 336
   1699     0x1.6a09e667f3bcceb0da94b335de1f72d2p-1,
   1700     0x1.0000000000001p-1,
   1701     0x1.fffffffffffffp-2
   1702   },
   1703   { // Entry 337
   1704     0x1.6a09e667f3bcd459022e5304d10b0412p-1,
   1705     0x1.0000000000001p-1,
   1706     0x1.0p-1
   1707   },
   1708   { // Entry 338
   1709     0x1.6a09e667f3bcdfa9516192a2b726086dp-1,
   1710     0x1.0000000000001p-1,
   1711     0x1.0000000000001p-1
   1712   },
   1713   { // Entry 339
   1714     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p1,
   1715     0x1.fffffffffffffp0,
   1716     0x1.fffffffffffffp0
   1717   },
   1718   { // Entry 340
   1719     0x1.6a09e667f3bcc3608b617397f77caac1p1,
   1720     0x1.fffffffffffffp0,
   1721     0x1.0p1
   1722   },
   1723   { // Entry 341
   1724     0x1.6a09e667f3bcceb0da94b335de1f72d2p1,
   1725     0x1.fffffffffffffp0,
   1726     0x1.0000000000001p1
   1727   },
   1728   { // Entry 342
   1729     0x1.6a09e667f3bcc3608b617397f77caac1p1,
   1730     0x1.0p1,
   1731     0x1.fffffffffffffp0
   1732   },
   1733   { // Entry 343
   1734     0x1.6a09e667f3bcc908b2fb1366ea957d3ep1,
   1735     0x1.0p1,
   1736     0x1.0p1
   1737   },
   1738   { // Entry 344
   1739     0x1.6a09e667f3bcd459022e5304d10b0412p1,
   1740     0x1.0p1,
   1741     0x1.0000000000001p1
   1742   },
   1743   { // Entry 345
   1744     0x1.6a09e667f3bcceb0da94b335de1f72d2p1,
   1745     0x1.0000000000001p1,
   1746     0x1.fffffffffffffp0
   1747   },
   1748   { // Entry 346
   1749     0x1.6a09e667f3bcd459022e5304d10b0412p1,
   1750     0x1.0000000000001p1,
   1751     0x1.0p1
   1752   },
   1753   { // Entry 347
   1754     0x1.6a09e667f3bcdfa9516192a2b726086dp1,
   1755     0x1.0000000000001p1,
   1756     0x1.0000000000001p1
   1757   },
   1758   { // Entry 348
   1759     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p10,
   1760     0x1.fffffffffffffp9,
   1761     0x1.fffffffffffffp9
   1762   },
   1763   { // Entry 349
   1764     0x1.6a09e667f3bcc3608b617397f77caac1p10,
   1765     0x1.fffffffffffffp9,
   1766     0x1.0p10
   1767   },
   1768   { // Entry 350
   1769     0x1.6a09e667f3bcceb0da94b335de1f72d2p10,
   1770     0x1.fffffffffffffp9,
   1771     0x1.0000000000001p10
   1772   },
   1773   { // Entry 351
   1774     0x1.6a09e667f3bcc3608b617397f77caac1p10,
   1775     0x1.0p10,
   1776     0x1.fffffffffffffp9
   1777   },
   1778   { // Entry 352
   1779     0x1.6a09e667f3bcc908b2fb1366ea957d3ep10,
   1780     0x1.0p10,
   1781     0x1.0p10
   1782   },
   1783   { // Entry 353
   1784     0x1.6a09e667f3bcd459022e5304d10b0412p10,
   1785     0x1.0p10,
   1786     0x1.0000000000001p10
   1787   },
   1788   { // Entry 354
   1789     0x1.6a09e667f3bcceb0da94b335de1f72d2p10,
   1790     0x1.0000000000001p10,
   1791     0x1.fffffffffffffp9
   1792   },
   1793   { // Entry 355
   1794     0x1.6a09e667f3bcd459022e5304d10b0412p10,
   1795     0x1.0000000000001p10,
   1796     0x1.0p10
   1797   },
   1798   { // Entry 356
   1799     0x1.6a09e667f3bcdfa9516192a2b726086dp10,
   1800     0x1.0000000000001p10,
   1801     0x1.0000000000001p10
   1802   },
   1803   { // Entry 357
   1804     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p60,
   1805     0x1.fffffffffffffp59,
   1806     0x1.fffffffffffffp59
   1807   },
   1808   { // Entry 358
   1809     0x1.6a09e667f3bcc3608b617397f77caac1p60,
   1810     0x1.fffffffffffffp59,
   1811     0x1.0p60
   1812   },
   1813   { // Entry 359
   1814     0x1.6a09e667f3bcceb0da94b335de1f72d2p60,
   1815     0x1.fffffffffffffp59,
   1816     0x1.0000000000001p60
   1817   },
   1818   { // Entry 360
   1819     0x1.6a09e667f3bcc3608b617397f77caac1p60,
   1820     0x1.0p60,
   1821     0x1.fffffffffffffp59
   1822   },
   1823   { // Entry 361
   1824     0x1.6a09e667f3bcc908b2fb1366ea957d3ep60,
   1825     0x1.0p60,
   1826     0x1.0p60
   1827   },
   1828   { // Entry 362
   1829     0x1.6a09e667f3bcd459022e5304d10b0412p60,
   1830     0x1.0p60,
   1831     0x1.0000000000001p60
   1832   },
   1833   { // Entry 363
   1834     0x1.6a09e667f3bcceb0da94b335de1f72d2p60,
   1835     0x1.0000000000001p60,
   1836     0x1.fffffffffffffp59
   1837   },
   1838   { // Entry 364
   1839     0x1.6a09e667f3bcd459022e5304d10b0412p60,
   1840     0x1.0000000000001p60,
   1841     0x1.0p60
   1842   },
   1843   { // Entry 365
   1844     0x1.6a09e667f3bcdfa9516192a2b726086dp60,
   1845     0x1.0000000000001p60,
   1846     0x1.0000000000001p60
   1847   },
   1848   { // Entry 366
   1849     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p500,
   1850     0x1.fffffffffffffp499,
   1851     0x1.fffffffffffffp499
   1852   },
   1853   { // Entry 367
   1854     0x1.6a09e667f3bcc3608b617397f77caac1p500,
   1855     0x1.fffffffffffffp499,
   1856     0x1.0p500
   1857   },
   1858   { // Entry 368
   1859     0x1.6a09e667f3bcceb0da94b335de1f72d2p500,
   1860     0x1.fffffffffffffp499,
   1861     0x1.0000000000001p500
   1862   },
   1863   { // Entry 369
   1864     0x1.6a09e667f3bcc3608b617397f77caac1p500,
   1865     0x1.0p500,
   1866     0x1.fffffffffffffp499
   1867   },
   1868   { // Entry 370
   1869     0x1.6a09e667f3bcc908b2fb1366ea957d3ep500,
   1870     0x1.0p500,
   1871     0x1.0p500
   1872   },
   1873   { // Entry 371
   1874     0x1.6a09e667f3bcd459022e5304d10b0412p500,
   1875     0x1.0p500,
   1876     0x1.0000000000001p500
   1877   },
   1878   { // Entry 372
   1879     0x1.6a09e667f3bcceb0da94b335de1f72d2p500,
   1880     0x1.0000000000001p500,
   1881     0x1.fffffffffffffp499
   1882   },
   1883   { // Entry 373
   1884     0x1.6a09e667f3bcd459022e5304d10b0412p500,
   1885     0x1.0000000000001p500,
   1886     0x1.0p500
   1887   },
   1888   { // Entry 374
   1889     0x1.6a09e667f3bcdfa9516192a2b726086dp500,
   1890     0x1.0000000000001p500,
   1891     0x1.0000000000001p500
   1892   },
   1893   { // Entry 375
   1894     0x1.fffffffffffff0p1022,
   1895     0x1.fffffffffffffp1022,
   1896     0x1.fffffffffffffp-1
   1897   },
   1898   { // Entry 376
   1899     0x1.fffffffffffff0p1022,
   1900     0x1.fffffffffffffp1022,
   1901     0x1.0p0
   1902   },
   1903   { // Entry 377
   1904     0x1.fffffffffffff0p1022,
   1905     0x1.fffffffffffffp1022,
   1906     0x1.0000000000001p0
   1907   },
   1908   { // Entry 378
   1909     0x1.p1023,
   1910     0x1.0p1023,
   1911     0x1.fffffffffffffp-1
   1912   },
   1913   { // Entry 379
   1914     0x1.p1023,
   1915     0x1.0p1023,
   1916     0x1.0p0
   1917   },
   1918   { // Entry 380
   1919     0x1.p1023,
   1920     0x1.0p1023,
   1921     0x1.0000000000001p0
   1922   },
   1923   { // Entry 381
   1924     0x1.00000000000010p1023,
   1925     0x1.0000000000001p1023,
   1926     0x1.fffffffffffffp-1
   1927   },
   1928   { // Entry 382
   1929     0x1.00000000000010p1023,
   1930     0x1.0000000000001p1023,
   1931     0x1.0p0
   1932   },
   1933   { // Entry 383
   1934     0x1.00000000000010p1023,
   1935     0x1.0000000000001p1023,
   1936     0x1.0000000000001p0
   1937   },
   1938   { // Entry 384
   1939     0x1.778d27690518c71d8d4d782889fc1c38p-27,
   1940     0x1.00a436e9442ebp-27,
   1941     0x1.122dc42e12482p-27
   1942   },
   1943   { // Entry 385
   1944     0x1.778d27690518d2cbeb1e43a94a18dcbbp-27,
   1945     0x1.00a436e9442ebp-27,
   1946     0x1.122dc42e12483p-27
   1947   },
   1948   { // Entry 386
   1949     0x1.778d27690518de7a48ef0f2a0a871bb3p-27,
   1950     0x1.00a436e9442ebp-27,
   1951     0x1.122dc42e12484p-27
   1952   },
   1953   { // Entry 387
   1954     0x1.778d27690518d20ca53cbc1df3f2eff8p-27,
   1955     0x1.00a436e9442ecp-27,
   1956     0x1.122dc42e12482p-27
   1957   },
   1958   { // Entry 388
   1959     0x1.778d27690518ddbb030d879eb3b8a069p-27,
   1960     0x1.00a436e9442ecp-27,
   1961     0x1.122dc42e12483p-27
   1962   },
   1963   { // Entry 389
   1964     0x1.778d27690518e96960de531f73cfcf4fp-27,
   1965     0x1.00a436e9442ecp-27,
   1966     0x1.122dc42e12484p-27
   1967   },
   1968   { // Entry 390
   1969     0x1.778d27690518dcfbbd2c00135e46c6d1p-27,
   1970     0x1.00a436e9442edp-27,
   1971     0x1.122dc42e12482p-27
   1972   },
   1973   { // Entry 391
   1974     0x1.778d27690518e8aa1afccb941db56731p-27,
   1975     0x1.00a436e9442edp-27,
   1976     0x1.122dc42e12483p-27
   1977   },
   1978   { // Entry 392
   1979     0x1.778d27690518f45878cd9714dd758605p-27,
   1980     0x1.00a436e9442edp-27,
   1981     0x1.122dc42e12484p-27
   1982   },
   1983   { // Entry 393
   1984     0x1.74334f2872bf31f2bd78c8d32ad384a6p0,
   1985     0x1.0b2502b3f7655p0,
   1986     -0x1.032a74c8e2bbep0
   1987   },
   1988   { // Entry 394
   1989     0x1.74334f2872bf26ceaa6e8d36067093ffp0,
   1990     0x1.0b2502b3f7655p0,
   1991     -0x1.032a74c8e2bbdp0
   1992   },
   1993   { // Entry 395
   1994     0x1.74334f2872bf1baa97645198e2685868p0,
   1995     0x1.0b2502b3f7655p0,
   1996     -0x1.032a74c8e2bbcp0
   1997   },
   1998   { // Entry 396
   1999     0x1.74334f2872bf3d6e9e764b9816ffdf5ep0,
   2000     0x1.0b2502b3f7656p0,
   2001     -0x1.032a74c8e2bbep0
   2002   },
   2003   { // Entry 397
   2004     0x1.74334f2872bf324a8b6c0ffaf2f4ee3dp0,
   2005     0x1.0b2502b3f7656p0,
   2006     -0x1.032a74c8e2bbdp0
   2007   },
   2008   { // Entry 398
   2009     0x1.74334f2872bf27267861d45dcf44b22bp0,
   2010     0x1.0b2502b3f7656p0,
   2011     -0x1.032a74c8e2bbcp0
   2012   },
   2013   { // Entry 399
   2014     0x1.74334f2872bf48ea7f73ce5d038198c9p0,
   2015     0x1.0b2502b3f7657p0,
   2016     -0x1.032a74c8e2bbep0
   2017   },
   2018   { // Entry 400
   2019     0x1.74334f2872bf3dc66c6992bfdfcea72ep0,
   2020     0x1.0b2502b3f7657p0,
   2021     -0x1.032a74c8e2bbdp0
   2022   },
   2023   { // Entry 401
   2024     0x1.74334f2872bf32a2595f5722bc766aa2p0,
   2025     0x1.0b2502b3f7657p0,
   2026     -0x1.032a74c8e2bbcp0
   2027   },
   2028   { // Entry 402
   2029     0x1.b6d63492cf6c5f0d4a9e41a4ed8f8b94p7,
   2030     0x1.3845636425763p7,
   2031     0x1.3453456452664p7
   2032   },
   2033   { // Entry 403
   2034     0x1.b6d63492cf6c6a4b20bba441a2ca5ba3p7,
   2035     0x1.3845636425763p7,
   2036     0x1.3453456452665p7
   2037   },
   2038   { // Entry 404
   2039     0x1.b6d63492cf6c7588f6d906de5850ca51p7,
   2040     0x1.3845636425763p7,
   2041     0x1.3453456452666p7
   2042   },
   2043   { // Entry 405
   2044     0x1.b6d63492cf6c6a6ff4ee83c89e71f86dp7,
   2045     0x1.3845636425764p7,
   2046     0x1.3453456452664p7
   2047   },
   2048   { // Entry 406
   2049     0x1.b6d63492cf6c75adcb0be66553621e7ap7,
   2050     0x1.3845636425764p7,
   2051     0x1.3453456452665p7
   2052   },
   2053   { // Entry 407
   2054     0x1.b6d63492cf6c80eba1294902089de325p7,
   2055     0x1.3845636425764p7,
   2056     0x1.3453456452666p7
   2057   },
   2058   { // Entry 408
   2059     0x1.b6d63492cf6c75d29f3ec5ec4f9e1dc5p7,
   2060     0x1.3845636425765p7,
   2061     0x1.3453456452664p7
   2062   },
   2063   { // Entry 409
   2064     0x1.b6d63492cf6c8110755c2889044399cfp7,
   2065     0x1.3845636425765p7,
   2066     0x1.3453456452665p7
   2067   },
   2068   { // Entry 410
   2069     0x1.b6d63492cf6c8c4e4b798b25b934b477p7,
   2070     0x1.3845636425765p7,
   2071     0x1.3453456452666p7
   2072   },
   2073   { // Entry 411
   2074     0x1.b6d63492cf6c8c4e4b798b25b934b477p-6,
   2075     -0x1.3845636425765p-6,
   2076     -0x1.3453456452666p-6
   2077   },
   2078   { // Entry 412
   2079     0x1.b6d63492cf6c8110755c2889044399cfp-6,
   2080     -0x1.3845636425765p-6,
   2081     -0x1.3453456452665p-6
   2082   },
   2083   { // Entry 413
   2084     0x1.b6d63492cf6c75d29f3ec5ec4f9e1dc5p-6,
   2085     -0x1.3845636425765p-6,
   2086     -0x1.3453456452664p-6
   2087   },
   2088   { // Entry 414
   2089     0x1.b6d63492cf6c80eba1294902089de325p-6,
   2090     -0x1.3845636425764p-6,
   2091     -0x1.3453456452666p-6
   2092   },
   2093   { // Entry 415
   2094     0x1.b6d63492cf6c75adcb0be66553621e7ap-6,
   2095     -0x1.3845636425764p-6,
   2096     -0x1.3453456452665p-6
   2097   },
   2098   { // Entry 416
   2099     0x1.b6d63492cf6c6a6ff4ee83c89e71f86dp-6,
   2100     -0x1.3845636425764p-6,
   2101     -0x1.3453456452664p-6
   2102   },
   2103   { // Entry 417
   2104     0x1.b6d63492cf6c7588f6d906de5850ca51p-6,
   2105     -0x1.3845636425763p-6,
   2106     -0x1.3453456452666p-6
   2107   },
   2108   { // Entry 418
   2109     0x1.b6d63492cf6c6a4b20bba441a2ca5ba3p-6,
   2110     -0x1.3845636425763p-6,
   2111     -0x1.3453456452665p-6
   2112   },
   2113   { // Entry 419
   2114     0x1.b6d63492cf6c5f0d4a9e41a4ed8f8b94p-6,
   2115     -0x1.3845636425763p-6,
   2116     -0x1.3453456452664p-6
   2117   },
   2118   { // Entry 420
   2119     0x1.9a134186a4136915d6a2f7171812deefp-16,
   2120     -0x1.3845636425765p-16,
   2121     -0x1.09cc3d7f1c881p-16
   2122   },
   2123   { // Entry 421
   2124     0x1.9a134186a4135eb6f0c519097d75243dp-16,
   2125     -0x1.3845636425765p-16,
   2126     -0x1.09cc3d7f1c880p-16
   2127   },
   2128   { // Entry 422
   2129     0x1.9a134186a41354580ae73afbe33415cfp-16,
   2130     -0x1.3845636425765p-16,
   2131     -0x1.09cc3d7f1c87fp-16
   2132   },
   2133   { // Entry 423
   2134     0x1.9a134186a4135ce6bf291d40fc6e4392p-16,
   2135     -0x1.3845636425764p-16,
   2136     -0x1.09cc3d7f1c881p-16
   2137   },
   2138   { // Entry 424
   2139     0x1.9a134186a4135287d94b3f336181a757p-16,
   2140     -0x1.3845636425764p-16,
   2141     -0x1.09cc3d7f1c880p-16
   2142   },
   2143   { // Entry 425
   2144     0x1.9a134186a4134828f36d6125c6f1b75fp-16,
   2145     -0x1.3845636425764p-16,
   2146     -0x1.09cc3d7f1c87fp-16
   2147   },
   2148   { // Entry 426
   2149     0x1.9a134186a41350b7a7af436ae10ccc7ap-16,
   2150     -0x1.3845636425763p-16,
   2151     -0x1.09cc3d7f1c881p-16
   2152   },
   2153   { // Entry 427
   2154     0x1.9a134186a4134658c1d1655d45d14eb5p-16,
   2155     -0x1.3845636425763p-16,
   2156     -0x1.09cc3d7f1c880p-16
   2157   },
   2158   { // Entry 428
   2159     0x1.9a134186a4133bf9dbf3874faaf27d32p-16,
   2160     -0x1.3845636425763p-16,
   2161     -0x1.09cc3d7f1c87fp-16
   2162   },
   2163   { // Entry 429
   2164     0x1.6a09e667f3bcdfa9516192a2b726086dp-6,
   2165     -0x1.0000000000001p-6,
   2166     -0x1.0000000000001p-6
   2167   },
   2168   { // Entry 430
   2169     0x1.6a09e667f3bcd459022e5304d10b0412p-6,
   2170     -0x1.0000000000001p-6,
   2171     -0x1.0p-6
   2172   },
   2173   { // Entry 431
   2174     0x1.6a09e667f3bcceb0da94b335de1f72d2p-6,
   2175     -0x1.0000000000001p-6,
   2176     -0x1.fffffffffffffp-7
   2177   },
   2178   { // Entry 432
   2179     0x1.6a09e667f3bcd459022e5304d10b0412p-6,
   2180     -0x1.0p-6,
   2181     -0x1.0000000000001p-6
   2182   },
   2183   { // Entry 433
   2184     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-6,
   2185     -0x1.0p-6,
   2186     -0x1.0p-6
   2187   },
   2188   { // Entry 434
   2189     0x1.6a09e667f3bcc3608b617397f77caac1p-6,
   2190     -0x1.0p-6,
   2191     -0x1.fffffffffffffp-7
   2192   },
   2193   { // Entry 435
   2194     0x1.6a09e667f3bcceb0da94b335de1f72d2p-6,
   2195     -0x1.fffffffffffffp-7,
   2196     -0x1.0000000000001p-6
   2197   },
   2198   { // Entry 436
   2199     0x1.6a09e667f3bcc3608b617397f77caac1p-6,
   2200     -0x1.fffffffffffffp-7,
   2201     -0x1.0p-6
   2202   },
   2203   { // Entry 437
   2204     0x1.6a09e667f3bcbdb863c7d3c9044d37a6p-6,
   2205     -0x1.fffffffffffffp-7,
   2206     -0x1.fffffffffffffp-7
   2207   },
   2208   { // Entry 438
   2209     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
   2210     -0x1.0p-1074,
   2211     -0x1.0p-1074
   2212   },
   2213   { // Entry 439
   2214     0x1.p-1074,
   2215     -0x1.0p-1074,
   2216     -0.0
   2217   },
   2218   { // Entry 440
   2219     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
   2220     -0x1.0p-1074,
   2221     0x1.0p-1074
   2222   },
   2223   { // Entry 441
   2224     0x1.p-1074,
   2225     -0.0,
   2226     -0x1.0p-1074
   2227   },
   2228   { // Entry 442
   2229     0.0,
   2230     -0.0,
   2231     -0.0
   2232   },
   2233   { // Entry 443
   2234     0x1.p-1074,
   2235     -0.0,
   2236     0x1.0p-1074
   2237   },
   2238   { // Entry 444
   2239     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
   2240     0x1.0p-1074,
   2241     -0x1.0p-1074
   2242   },
   2243   { // Entry 445
   2244     0x1.p-1074,
   2245     0x1.0p-1074,
   2246     -0.0
   2247   },
   2248   { // Entry 446
   2249     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
   2250     0x1.0p-1074,
   2251     0x1.0p-1074
   2252   },
   2253   { // Entry 447
   2254     0x1.1e3779b97f4a732437cef466090d1897p-400,
   2255     0x1.fffffffffffffp-401,
   2256     0x1.fffffffffffffp-402
   2257   },
   2258   { // Entry 448
   2259     0x1.1e3779b97f4a74ee2a2b5064e6a62857p-400,
   2260     0x1.fffffffffffffp-401,
   2261     0x1.0p-401
   2262   },
   2263   { // Entry 449
   2264     0x1.1e3779b97f4a78820ee40862a1faa06cp-400,
   2265     0x1.fffffffffffffp-401,
   2266     0x1.0000000000001p-401
   2267   },
   2268   { // Entry 450
   2269     0x1.1e3779b97f4a7a4c014064617f602b4fp-400,
   2270     0x1.0p-400,
   2271     0x1.fffffffffffffp-402
   2272   },
   2273   { // Entry 451
   2274     0x1.1e3779b97f4a7c15f39cc0605cedc834p-400,
   2275     0x1.0p-400,
   2276     0x1.0p-401
   2277   },
   2278   { // Entry 452
   2279     0x1.1e3779b97f4a7fa9d855785e182b5a91p-400,
   2280     0x1.0p-400,
   2281     0x1.0000000000001p-401
   2282   },
   2283   { // Entry 453
   2284     0x1.1e3779b97f4a889b942344586c28a953p-400,
   2285     0x1.0000000000001p-400,
   2286     0x1.fffffffffffffp-402
   2287   },
   2288   { // Entry 454
   2289     0x1.1e3779b97f4a8a65867fa057499f6080p-400,
   2290     0x1.0000000000001p-400,
   2291     0x1.0p-401
   2292   },
   2293   { // Entry 455
   2294     0x1.1e3779b97f4a8df96b38585504af276dp-400,
   2295     0x1.0000000000001p-400,
   2296     0x1.0000000000001p-401
   2297   },
   2298   { // Entry 456
   2299     0x1.1e3779b97f4a732437cef466090d1897p-511,
   2300     0x1.fffffffffffffp-513,
   2301     0x1.fffffffffffffp-512
   2302   },
   2303   { // Entry 457
   2304     0x1.1e3779b97f4a7a4c014064617f602b4fp-511,
   2305     0x1.fffffffffffffp-513,
   2306     0x1.0p-511
   2307   },
   2308   { // Entry 458
   2309     0x1.1e3779b97f4a889b942344586c28a953p-511,
   2310     0x1.fffffffffffffp-513,
   2311     0x1.0000000000001p-511
   2312   },
   2313   { // Entry 459
   2314     0x1.1e3779b97f4a74ee2a2b5064e6a62857p-511,
   2315     0x1.0p-512,
   2316     0x1.fffffffffffffp-512
   2317   },
   2318   { // Entry 460
   2319     0x1.1e3779b97f4a7c15f39cc0605cedc834p-511,
   2320     0x1.0p-512,
   2321     0x1.0p-511
   2322   },
   2323   { // Entry 461
   2324     0x1.1e3779b97f4a8a65867fa057499f6080p-511,
   2325     0x1.0p-512,
   2326     0x1.0000000000001p-511
   2327   },
   2328   { // Entry 462
   2329     0x1.1e3779b97f4a78820ee40862a1faa06cp-511,
   2330     0x1.0000000000001p-512,
   2331     0x1.fffffffffffffp-512
   2332   },
   2333   { // Entry 463
   2334     0x1.1e3779b97f4a7fa9d855785e182b5a91p-511,
   2335     0x1.0000000000001p-512,
   2336     0x1.0p-511
   2337   },
   2338   { // Entry 464
   2339     0x1.1e3779b97f4a8df96b38585504af276dp-511,
   2340     0x1.0000000000001p-512,
   2341     0x1.0000000000001p-511
   2342   },
   2343   { // Entry 465
   2344     0x1.1e3779b97f4a732437cef466090d1897p1022,
   2345     0x1.fffffffffffffp1021,
   2346     0x1.fffffffffffffp1020
   2347   },
   2348   { // Entry 466
   2349     0x1.1e3779b97f4a74ee2a2b5064e6a62857p1022,
   2350     0x1.fffffffffffffp1021,
   2351     0x1.0p1021
   2352   },
   2353   { // Entry 467
   2354     0x1.1e3779b97f4a78820ee40862a1faa06cp1022,
   2355     0x1.fffffffffffffp1021,
   2356     0x1.0000000000001p1021
   2357   },
   2358   { // Entry 468
   2359     0x1.1e3779b97f4a7a4c014064617f602b4fp1022,
   2360     0x1.0p1022,
   2361     0x1.fffffffffffffp1020
   2362   },
   2363   { // Entry 469
   2364     0x1.1e3779b97f4a7c15f39cc0605cedc834p1022,
   2365     0x1.0p1022,
   2366     0x1.0p1021
   2367   },
   2368   { // Entry 470
   2369     0x1.1e3779b97f4a7fa9d855785e182b5a91p1022,
   2370     0x1.0p1022,
   2371     0x1.0000000000001p1021
   2372   },
   2373   { // Entry 471
   2374     0x1.1e3779b97f4a889b942344586c28a953p1022,
   2375     0x1.0000000000001p1022,
   2376     0x1.fffffffffffffp1020
   2377   },
   2378   { // Entry 472
   2379     0x1.1e3779b97f4a8a65867fa057499f6080p1022,
   2380     0x1.0000000000001p1022,
   2381     0x1.0p1021
   2382   },
   2383   { // Entry 473
   2384     0x1.1e3779b97f4a8df96b38585504af276dp1022,
   2385     0x1.0000000000001p1022,
   2386     0x1.0000000000001p1021
   2387   },
   2388   { // Entry 474
   2389     HUGE_VAL,
   2390     HUGE_VAL,
   2391     HUGE_VAL
   2392   },
   2393   { // Entry 475
   2394     HUGE_VAL,
   2395     HUGE_VAL,
   2396     0x1.fffffffffffffp1023
   2397   },
   2398   { // Entry 476
   2399     HUGE_VAL,
   2400     HUGE_VAL,
   2401     0x1.0p-1022
   2402   },
   2403   { // Entry 477
   2404     HUGE_VAL,
   2405     HUGE_VAL,
   2406     0x1.0p-1074
   2407   },
   2408   { // Entry 478
   2409     HUGE_VAL,
   2410     HUGE_VAL,
   2411     0.0
   2412   },
   2413   { // Entry 479
   2414     HUGE_VAL,
   2415     HUGE_VAL,
   2416     -0.0
   2417   },
   2418   { // Entry 480
   2419     HUGE_VAL,
   2420     HUGE_VAL,
   2421     -0x1.0p-1074
   2422   },
   2423   { // Entry 481
   2424     HUGE_VAL,
   2425     HUGE_VAL,
   2426     -0x1.0p-1022
   2427   },
   2428   { // Entry 482
   2429     HUGE_VAL,
   2430     HUGE_VAL,
   2431     -0x1.fffffffffffffp1023
   2432   },
   2433   { // Entry 483
   2434     HUGE_VAL,
   2435     HUGE_VAL,
   2436     -HUGE_VAL
   2437   },
   2438   { // Entry 484
   2439     HUGE_VAL,
   2440     -HUGE_VAL,
   2441     HUGE_VAL
   2442   },
   2443   { // Entry 485
   2444     HUGE_VAL,
   2445     -HUGE_VAL,
   2446     0x1.fffffffffffffp1023
   2447   },
   2448   { // Entry 486
   2449     HUGE_VAL,
   2450     -HUGE_VAL,
   2451     0x1.0p-1022
   2452   },
   2453   { // Entry 487
   2454     HUGE_VAL,
   2455     -HUGE_VAL,
   2456     0x1.0p-1074
   2457   },
   2458   { // Entry 488
   2459     HUGE_VAL,
   2460     -HUGE_VAL,
   2461     0.0
   2462   },
   2463   { // Entry 489
   2464     HUGE_VAL,
   2465     -HUGE_VAL,
   2466     -0.0
   2467   },
   2468   { // Entry 490
   2469     HUGE_VAL,
   2470     -HUGE_VAL,
   2471     -0x1.0p-1074
   2472   },
   2473   { // Entry 491
   2474     HUGE_VAL,
   2475     -HUGE_VAL,
   2476     -0x1.0p-1022
   2477   },
   2478   { // Entry 492
   2479     HUGE_VAL,
   2480     -HUGE_VAL,
   2481     -0x1.fffffffffffffp1023
   2482   },
   2483   { // Entry 493
   2484     HUGE_VAL,
   2485     -HUGE_VAL,
   2486     -HUGE_VAL
   2487   },
   2488   { // Entry 494
   2489     HUGE_VAL,
   2490     0x1.fffffffffffffp1023,
   2491     HUGE_VAL
   2492   },
   2493   { // Entry 495
   2494     HUGE_VAL,
   2495     0x1.0p-1022,
   2496     HUGE_VAL
   2497   },
   2498   { // Entry 496
   2499     HUGE_VAL,
   2500     0x1.0p-1074,
   2501     HUGE_VAL
   2502   },
   2503   { // Entry 497
   2504     HUGE_VAL,
   2505     0.0,
   2506     HUGE_VAL
   2507   },
   2508   { // Entry 498
   2509     HUGE_VAL,
   2510     -0.0,
   2511     HUGE_VAL
   2512   },
   2513   { // Entry 499
   2514     HUGE_VAL,
   2515     -0x1.0p-1074,
   2516     HUGE_VAL
   2517   },
   2518   { // Entry 500
   2519     HUGE_VAL,
   2520     -0x1.0p-1022,
   2521     HUGE_VAL
   2522   },
   2523   { // Entry 501
   2524     HUGE_VAL,
   2525     -0x1.fffffffffffffp1023,
   2526     HUGE_VAL
   2527   },
   2528   { // Entry 502
   2529     HUGE_VAL,
   2530     -HUGE_VAL,
   2531     HUGE_VAL
   2532   },
   2533   { // Entry 503
   2534     HUGE_VAL,
   2535     HUGE_VAL,
   2536     -HUGE_VAL
   2537   },
   2538   { // Entry 504
   2539     HUGE_VAL,
   2540     0x1.fffffffffffffp1023,
   2541     -HUGE_VAL
   2542   },
   2543   { // Entry 505
   2544     HUGE_VAL,
   2545     0x1.0p-1022,
   2546     -HUGE_VAL
   2547   },
   2548   { // Entry 506
   2549     HUGE_VAL,
   2550     0x1.0p-1074,
   2551     -HUGE_VAL
   2552   },
   2553   { // Entry 507
   2554     HUGE_VAL,
   2555     0.0,
   2556     -HUGE_VAL
   2557   },
   2558   { // Entry 508
   2559     HUGE_VAL,
   2560     -0.0,
   2561     -HUGE_VAL
   2562   },
   2563   { // Entry 509
   2564     HUGE_VAL,
   2565     -0x1.0p-1074,
   2566     -HUGE_VAL
   2567   },
   2568   { // Entry 510
   2569     HUGE_VAL,
   2570     -0x1.0p-1022,
   2571     -HUGE_VAL
   2572   },
   2573   { // Entry 511
   2574     HUGE_VAL,
   2575     -0x1.fffffffffffffp1023,
   2576     -HUGE_VAL
   2577   },
   2578   { // Entry 512
   2579     0x1.fffffffffffff0p1023,
   2580     0.0,
   2581     0x1.fffffffffffffp1023
   2582   },
   2583   { // Entry 513
   2584     0x1.p-1022,
   2585     0.0,
   2586     0x1.0p-1022
   2587   },
   2588   { // Entry 514
   2589     0x1.p-1074,
   2590     0.0,
   2591     0x1.0p-1074
   2592   },
   2593   { // Entry 515
   2594     0.0,
   2595     0.0,
   2596     0.0
   2597   },
   2598   { // Entry 516
   2599     0.0,
   2600     0.0,
   2601     -0.0
   2602   },
   2603   { // Entry 517
   2604     0x1.p-1074,
   2605     0.0,
   2606     -0x1.0p-1074
   2607   },
   2608   { // Entry 518
   2609     0x1.p-1022,
   2610     0.0,
   2611     -0x1.0p-1022
   2612   },
   2613   { // Entry 519
   2614     0x1.fffffffffffff0p1023,
   2615     0.0,
   2616     -0x1.fffffffffffffp1023
   2617   },
   2618   { // Entry 520
   2619     0x1.fffffffffffff0p1023,
   2620     -0.0,
   2621     0x1.fffffffffffffp1023
   2622   },
   2623   { // Entry 521
   2624     0x1.p-1022,
   2625     -0.0,
   2626     0x1.0p-1022
   2627   },
   2628   { // Entry 522
   2629     0x1.p-1074,
   2630     -0.0,
   2631     0x1.0p-1074
   2632   },
   2633   { // Entry 523
   2634     0.0,
   2635     -0.0,
   2636     0.0
   2637   },
   2638   { // Entry 524
   2639     0.0,
   2640     -0.0,
   2641     -0.0
   2642   },
   2643   { // Entry 525
   2644     0x1.p-1074,
   2645     -0.0,
   2646     -0x1.0p-1074
   2647   },
   2648   { // Entry 526
   2649     0x1.p-1022,
   2650     -0.0,
   2651     -0x1.0p-1022
   2652   },
   2653   { // Entry 527
   2654     0x1.fffffffffffff0p1023,
   2655     -0.0,
   2656     -0x1.fffffffffffffp1023
   2657   },
   2658   { // Entry 528
   2659     0x1.fffffffffffff0p1023,
   2660     0x1.fffffffffffffp1023,
   2661     0.0
   2662   },
   2663   { // Entry 529
   2664     0x1.p-1022,
   2665     0x1.0p-1022,
   2666     0.0
   2667   },
   2668   { // Entry 530
   2669     0x1.p-1074,
   2670     0x1.0p-1074,
   2671     0.0
   2672   },
   2673   { // Entry 531
   2674     0x1.p-1074,
   2675     -0x1.0p-1074,
   2676     0.0
   2677   },
   2678   { // Entry 532
   2679     0x1.p-1022,
   2680     -0x1.0p-1022,
   2681     0.0
   2682   },
   2683   { // Entry 533
   2684     0x1.fffffffffffff0p1023,
   2685     -0x1.fffffffffffffp1023,
   2686     0.0
   2687   },
   2688   { // Entry 534
   2689     0x1.fffffffffffff0p1023,
   2690     0x1.fffffffffffffp1023,
   2691     -0.0
   2692   },
   2693   { // Entry 535
   2694     0x1.p-1022,
   2695     0x1.0p-1022,
   2696     -0.0
   2697   },
   2698   { // Entry 536
   2699     0x1.p-1074,
   2700     0x1.0p-1074,
   2701     -0.0
   2702   },
   2703   { // Entry 537
   2704     0x1.p-1074,
   2705     -0x1.0p-1074,
   2706     -0.0
   2707   },
   2708   { // Entry 538
   2709     0x1.p-1022,
   2710     -0x1.0p-1022,
   2711     -0.0
   2712   },
   2713   { // Entry 539
   2714     0x1.fffffffffffff0p1023,
   2715     -0x1.fffffffffffffp1023,
   2716     -0.0
   2717   },
   2718   { // Entry 540
   2719     HUGE_VAL,
   2720     0x1.fffffffffffffp1023,
   2721     0x1.fffffffffffffp1023
   2722   },
   2723   { // Entry 541
   2724     0x1.fffffffffffff0p1023,
   2725     0x1.fffffffffffffp1023,
   2726     0x1.0p-1022
   2727   },
   2728   { // Entry 542
   2729     0x1.fffffffffffff0p1023,
   2730     0x1.fffffffffffffp1023,
   2731     0x1.0p-1074
   2732   },
   2733   { // Entry 543
   2734     0x1.fffffffffffff0p1023,
   2735     0x1.fffffffffffffp1023,
   2736     -0x1.0p-1074
   2737   },
   2738   { // Entry 544
   2739     0x1.fffffffffffff0p1023,
   2740     0x1.fffffffffffffp1023,
   2741     -0x1.0p-1022
   2742   },
   2743   { // Entry 545
   2744     HUGE_VAL,
   2745     0x1.fffffffffffffp1023,
   2746     -0x1.fffffffffffffp1023
   2747   },
   2748   { // Entry 546
   2749     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1022,
   2750     0x1.0p-1022,
   2751     0x1.0p-1022
   2752   },
   2753   { // Entry 547
   2754     0x1.000000000000000000000000007fffffp-1022,
   2755     0x1.0p-1022,
   2756     0x1.0p-1074
   2757   },
   2758   { // Entry 548
   2759     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
   2760     0x1.0p-1074,
   2761     0x1.0p-1074
   2762   },
   2763   { // Entry 549
   2764     0x1.6a09e667f3bcc908b2fb1366ea957d3ep-1074,
   2765     -0x1.0p-1074,
   2766     0x1.0p-1074
   2767   },
   2768   { // Entry 550
   2769     0x1.40p2,
   2770     0x1.8p1,
   2771     0x1.0p2
   2772   },
   2773   { // Entry 551
   2774     0x1.40p2,
   2775     0x1.8p1,
   2776     -0x1.0p2
   2777   },
   2778   { // Entry 552
   2779     0x1.a0p3,
   2780     0x1.4p2,
   2781     0x1.8p3
   2782   },
   2783   { // Entry 553
   2784     0x1.a0p3,
   2785     0x1.4p2,
   2786     -0x1.8p3
   2787   }
   2788 };
   2789