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_nextafter_intel_data[] = {
     18   { // Entry 0
     19     -0x1.p-1074,
     20     -0x1.0p-1074,
     21     -0x1.0p-1074
     22   },
     23   { // Entry 1
     24     -0.0,
     25     -0x1.0p-1074,
     26     -0.0
     27   },
     28   { // Entry 2
     29     -0.0,
     30     -0x1.0p-1074,
     31     0x1.0p-1074
     32   },
     33   { // Entry 3
     34     -0x1.p-1074,
     35     -0.0,
     36     -0x1.0p-1074
     37   },
     38   { // Entry 4
     39     -0.0,
     40     -0.0,
     41     -0.0
     42   },
     43   { // Entry 5
     44     0x1.p-1074,
     45     -0.0,
     46     0x1.0p-1074
     47   },
     48   { // Entry 6
     49     0.0,
     50     0x1.0p-1074,
     51     -0x1.0p-1074
     52   },
     53   { // Entry 7
     54     0.0,
     55     0x1.0p-1074,
     56     -0.0
     57   },
     58   { // Entry 8
     59     0x1.p-1074,
     60     0x1.0p-1074,
     61     0x1.0p-1074
     62   },
     63   { // Entry 9
     64     0x1.fffffffffffff0p-1,
     65     0x1.fffffffffffffp-1,
     66     0x1.fffffffffffffp-1
     67   },
     68   { // Entry 10
     69     0x1.p0,
     70     0x1.fffffffffffffp-1,
     71     0x1.0p0
     72   },
     73   { // Entry 11
     74     0x1.p0,
     75     0x1.fffffffffffffp-1,
     76     0x1.0000000000001p0
     77   },
     78   { // Entry 12
     79     0x1.fffffffffffff0p-1,
     80     0x1.0p0,
     81     0x1.fffffffffffffp-1
     82   },
     83   { // Entry 13
     84     0x1.p0,
     85     0x1.0p0,
     86     0x1.0p0
     87   },
     88   { // Entry 14
     89     0x1.00000000000010p0,
     90     0x1.0p0,
     91     0x1.0000000000001p0
     92   },
     93   { // Entry 15
     94     0x1.p0,
     95     0x1.0000000000001p0,
     96     0x1.fffffffffffffp-1
     97   },
     98   { // Entry 16
     99     0x1.p0,
    100     0x1.0000000000001p0,
    101     0x1.0p0
    102   },
    103   { // Entry 17
    104     0x1.00000000000010p0,
    105     0x1.0000000000001p0,
    106     0x1.0000000000001p0
    107   },
    108   { // Entry 18
    109     0x1.ffffffffffffe0p-1,
    110     0x1.fffffffffffffp-1,
    111     -0x1.0000000000001p0
    112   },
    113   { // Entry 19
    114     0x1.ffffffffffffe0p-1,
    115     0x1.fffffffffffffp-1,
    116     -0x1.0p0
    117   },
    118   { // Entry 20
    119     0x1.ffffffffffffe0p-1,
    120     0x1.fffffffffffffp-1,
    121     -0x1.fffffffffffffp-1
    122   },
    123   { // Entry 21
    124     0x1.fffffffffffff0p-1,
    125     0x1.0p0,
    126     -0x1.0000000000001p0
    127   },
    128   { // Entry 22
    129     0x1.fffffffffffff0p-1,
    130     0x1.0p0,
    131     -0x1.0p0
    132   },
    133   { // Entry 23
    134     0x1.fffffffffffff0p-1,
    135     0x1.0p0,
    136     -0x1.fffffffffffffp-1
    137   },
    138   { // Entry 24
    139     0x1.p0,
    140     0x1.0000000000001p0,
    141     -0x1.0000000000001p0
    142   },
    143   { // Entry 25
    144     0x1.p0,
    145     0x1.0000000000001p0,
    146     -0x1.0p0
    147   },
    148   { // Entry 26
    149     0x1.p0,
    150     0x1.0000000000001p0,
    151     -0x1.fffffffffffffp-1
    152   },
    153   { // Entry 27
    154     -0x1.p0,
    155     -0x1.0000000000001p0,
    156     0x1.fffffffffffffp-1
    157   },
    158   { // Entry 28
    159     -0x1.p0,
    160     -0x1.0000000000001p0,
    161     0x1.0p0
    162   },
    163   { // Entry 29
    164     -0x1.p0,
    165     -0x1.0000000000001p0,
    166     0x1.0000000000001p0
    167   },
    168   { // Entry 30
    169     -0x1.fffffffffffff0p-1,
    170     -0x1.0p0,
    171     0x1.fffffffffffffp-1
    172   },
    173   { // Entry 31
    174     -0x1.fffffffffffff0p-1,
    175     -0x1.0p0,
    176     0x1.0p0
    177   },
    178   { // Entry 32
    179     -0x1.fffffffffffff0p-1,
    180     -0x1.0p0,
    181     0x1.0000000000001p0
    182   },
    183   { // Entry 33
    184     -0x1.ffffffffffffe0p-1,
    185     -0x1.fffffffffffffp-1,
    186     0x1.fffffffffffffp-1
    187   },
    188   { // Entry 34
    189     -0x1.ffffffffffffe0p-1,
    190     -0x1.fffffffffffffp-1,
    191     0x1.0p0
    192   },
    193   { // Entry 35
    194     -0x1.ffffffffffffe0p-1,
    195     -0x1.fffffffffffffp-1,
    196     0x1.0000000000001p0
    197   },
    198   { // Entry 36
    199     -0x1.00000000000010p0,
    200     -0x1.0000000000001p0,
    201     -0x1.0000000000001p0
    202   },
    203   { // Entry 37
    204     -0x1.p0,
    205     -0x1.0000000000001p0,
    206     -0x1.0p0
    207   },
    208   { // Entry 38
    209     -0x1.p0,
    210     -0x1.0000000000001p0,
    211     -0x1.fffffffffffffp-1
    212   },
    213   { // Entry 39
    214     -0x1.00000000000010p0,
    215     -0x1.0p0,
    216     -0x1.0000000000001p0
    217   },
    218   { // Entry 40
    219     -0x1.p0,
    220     -0x1.0p0,
    221     -0x1.0p0
    222   },
    223   { // Entry 41
    224     -0x1.fffffffffffff0p-1,
    225     -0x1.0p0,
    226     -0x1.fffffffffffffp-1
    227   },
    228   { // Entry 42
    229     -0x1.p0,
    230     -0x1.fffffffffffffp-1,
    231     -0x1.0000000000001p0
    232   },
    233   { // Entry 43
    234     -0x1.p0,
    235     -0x1.fffffffffffffp-1,
    236     -0x1.0p0
    237   },
    238   { // Entry 44
    239     -0x1.fffffffffffff0p-1,
    240     -0x1.fffffffffffffp-1,
    241     -0x1.fffffffffffffp-1
    242   },
    243   { // Entry 45
    244     0x1.fffffffffffff0p0,
    245     0x1.fffffffffffffp0,
    246     0x1.fffffffffffffp0
    247   },
    248   { // Entry 46
    249     0x1.p1,
    250     0x1.fffffffffffffp0,
    251     0x1.0p1
    252   },
    253   { // Entry 47
    254     0x1.p1,
    255     0x1.fffffffffffffp0,
    256     0x1.0000000000001p1
    257   },
    258   { // Entry 48
    259     0x1.fffffffffffff0p0,
    260     0x1.0p1,
    261     0x1.fffffffffffffp0
    262   },
    263   { // Entry 49
    264     0x1.p1,
    265     0x1.0p1,
    266     0x1.0p1
    267   },
    268   { // Entry 50
    269     0x1.00000000000010p1,
    270     0x1.0p1,
    271     0x1.0000000000001p1
    272   },
    273   { // Entry 51
    274     0x1.p1,
    275     0x1.0000000000001p1,
    276     0x1.fffffffffffffp0
    277   },
    278   { // Entry 52
    279     0x1.p1,
    280     0x1.0000000000001p1,
    281     0x1.0p1
    282   },
    283   { // Entry 53
    284     0x1.00000000000010p1,
    285     0x1.0000000000001p1,
    286     0x1.0000000000001p1
    287   },
    288   { // Entry 54
    289     0x1.ffffffffffffe0p0,
    290     0x1.fffffffffffffp0,
    291     -0x1.0000000000001p1
    292   },
    293   { // Entry 55
    294     0x1.ffffffffffffe0p0,
    295     0x1.fffffffffffffp0,
    296     -0x1.0p1
    297   },
    298   { // Entry 56
    299     0x1.ffffffffffffe0p0,
    300     0x1.fffffffffffffp0,
    301     -0x1.fffffffffffffp0
    302   },
    303   { // Entry 57
    304     0x1.fffffffffffff0p0,
    305     0x1.0p1,
    306     -0x1.0000000000001p1
    307   },
    308   { // Entry 58
    309     0x1.fffffffffffff0p0,
    310     0x1.0p1,
    311     -0x1.0p1
    312   },
    313   { // Entry 59
    314     0x1.fffffffffffff0p0,
    315     0x1.0p1,
    316     -0x1.fffffffffffffp0
    317   },
    318   { // Entry 60
    319     0x1.p1,
    320     0x1.0000000000001p1,
    321     -0x1.0000000000001p1
    322   },
    323   { // Entry 61
    324     0x1.p1,
    325     0x1.0000000000001p1,
    326     -0x1.0p1
    327   },
    328   { // Entry 62
    329     0x1.p1,
    330     0x1.0000000000001p1,
    331     -0x1.fffffffffffffp0
    332   },
    333   { // Entry 63
    334     -0x1.p1,
    335     -0x1.0000000000001p1,
    336     0x1.fffffffffffffp0
    337   },
    338   { // Entry 64
    339     -0x1.p1,
    340     -0x1.0000000000001p1,
    341     0x1.0p1
    342   },
    343   { // Entry 65
    344     -0x1.p1,
    345     -0x1.0000000000001p1,
    346     0x1.0000000000001p1
    347   },
    348   { // Entry 66
    349     -0x1.fffffffffffff0p0,
    350     -0x1.0p1,
    351     0x1.fffffffffffffp0
    352   },
    353   { // Entry 67
    354     -0x1.fffffffffffff0p0,
    355     -0x1.0p1,
    356     0x1.0p1
    357   },
    358   { // Entry 68
    359     -0x1.fffffffffffff0p0,
    360     -0x1.0p1,
    361     0x1.0000000000001p1
    362   },
    363   { // Entry 69
    364     -0x1.ffffffffffffe0p0,
    365     -0x1.fffffffffffffp0,
    366     0x1.fffffffffffffp0
    367   },
    368   { // Entry 70
    369     -0x1.ffffffffffffe0p0,
    370     -0x1.fffffffffffffp0,
    371     0x1.0p1
    372   },
    373   { // Entry 71
    374     -0x1.ffffffffffffe0p0,
    375     -0x1.fffffffffffffp0,
    376     0x1.0000000000001p1
    377   },
    378   { // Entry 72
    379     -0x1.00000000000010p1,
    380     -0x1.0000000000001p1,
    381     -0x1.0000000000001p1
    382   },
    383   { // Entry 73
    384     -0x1.p1,
    385     -0x1.0000000000001p1,
    386     -0x1.0p1
    387   },
    388   { // Entry 74
    389     -0x1.p1,
    390     -0x1.0000000000001p1,
    391     -0x1.fffffffffffffp0
    392   },
    393   { // Entry 75
    394     -0x1.00000000000010p1,
    395     -0x1.0p1,
    396     -0x1.0000000000001p1
    397   },
    398   { // Entry 76
    399     -0x1.p1,
    400     -0x1.0p1,
    401     -0x1.0p1
    402   },
    403   { // Entry 77
    404     -0x1.fffffffffffff0p0,
    405     -0x1.0p1,
    406     -0x1.fffffffffffffp0
    407   },
    408   { // Entry 78
    409     -0x1.p1,
    410     -0x1.fffffffffffffp0,
    411     -0x1.0000000000001p1
    412   },
    413   { // Entry 79
    414     -0x1.p1,
    415     -0x1.fffffffffffffp0,
    416     -0x1.0p1
    417   },
    418   { // Entry 80
    419     -0x1.fffffffffffff0p0,
    420     -0x1.fffffffffffffp0,
    421     -0x1.fffffffffffffp0
    422   },
    423   { // Entry 81
    424     0x1.fffffffffffff0p9,
    425     0x1.fffffffffffffp9,
    426     0x1.fffffffffffffp9
    427   },
    428   { // Entry 82
    429     0x1.p10,
    430     0x1.fffffffffffffp9,
    431     0x1.0p10
    432   },
    433   { // Entry 83
    434     0x1.p10,
    435     0x1.fffffffffffffp9,
    436     0x1.0000000000001p10
    437   },
    438   { // Entry 84
    439     0x1.fffffffffffff0p9,
    440     0x1.0p10,
    441     0x1.fffffffffffffp9
    442   },
    443   { // Entry 85
    444     0x1.p10,
    445     0x1.0p10,
    446     0x1.0p10
    447   },
    448   { // Entry 86
    449     0x1.00000000000010p10,
    450     0x1.0p10,
    451     0x1.0000000000001p10
    452   },
    453   { // Entry 87
    454     0x1.p10,
    455     0x1.0000000000001p10,
    456     0x1.fffffffffffffp9
    457   },
    458   { // Entry 88
    459     0x1.p10,
    460     0x1.0000000000001p10,
    461     0x1.0p10
    462   },
    463   { // Entry 89
    464     0x1.00000000000010p10,
    465     0x1.0000000000001p10,
    466     0x1.0000000000001p10
    467   },
    468   { // Entry 90
    469     0x1.ffffffffffffe0p9,
    470     0x1.fffffffffffffp9,
    471     -0x1.0000000000001p10
    472   },
    473   { // Entry 91
    474     0x1.ffffffffffffe0p9,
    475     0x1.fffffffffffffp9,
    476     -0x1.0p10
    477   },
    478   { // Entry 92
    479     0x1.ffffffffffffe0p9,
    480     0x1.fffffffffffffp9,
    481     -0x1.fffffffffffffp9
    482   },
    483   { // Entry 93
    484     0x1.fffffffffffff0p9,
    485     0x1.0p10,
    486     -0x1.0000000000001p10
    487   },
    488   { // Entry 94
    489     0x1.fffffffffffff0p9,
    490     0x1.0p10,
    491     -0x1.0p10
    492   },
    493   { // Entry 95
    494     0x1.fffffffffffff0p9,
    495     0x1.0p10,
    496     -0x1.fffffffffffffp9
    497   },
    498   { // Entry 96
    499     0x1.p10,
    500     0x1.0000000000001p10,
    501     -0x1.0000000000001p10
    502   },
    503   { // Entry 97
    504     0x1.p10,
    505     0x1.0000000000001p10,
    506     -0x1.0p10
    507   },
    508   { // Entry 98
    509     0x1.p10,
    510     0x1.0000000000001p10,
    511     -0x1.fffffffffffffp9
    512   },
    513   { // Entry 99
    514     -0x1.p10,
    515     -0x1.0000000000001p10,
    516     0x1.fffffffffffffp9
    517   },
    518   { // Entry 100
    519     -0x1.p10,
    520     -0x1.0000000000001p10,
    521     0x1.0p10
    522   },
    523   { // Entry 101
    524     -0x1.p10,
    525     -0x1.0000000000001p10,
    526     0x1.0000000000001p10
    527   },
    528   { // Entry 102
    529     -0x1.fffffffffffff0p9,
    530     -0x1.0p10,
    531     0x1.fffffffffffffp9
    532   },
    533   { // Entry 103
    534     -0x1.fffffffffffff0p9,
    535     -0x1.0p10,
    536     0x1.0p10
    537   },
    538   { // Entry 104
    539     -0x1.fffffffffffff0p9,
    540     -0x1.0p10,
    541     0x1.0000000000001p10
    542   },
    543   { // Entry 105
    544     -0x1.ffffffffffffe0p9,
    545     -0x1.fffffffffffffp9,
    546     0x1.fffffffffffffp9
    547   },
    548   { // Entry 106
    549     -0x1.ffffffffffffe0p9,
    550     -0x1.fffffffffffffp9,
    551     0x1.0p10
    552   },
    553   { // Entry 107
    554     -0x1.ffffffffffffe0p9,
    555     -0x1.fffffffffffffp9,
    556     0x1.0000000000001p10
    557   },
    558   { // Entry 108
    559     -0x1.00000000000010p10,
    560     -0x1.0000000000001p10,
    561     -0x1.0000000000001p10
    562   },
    563   { // Entry 109
    564     -0x1.p10,
    565     -0x1.0000000000001p10,
    566     -0x1.0p10
    567   },
    568   { // Entry 110
    569     -0x1.p10,
    570     -0x1.0000000000001p10,
    571     -0x1.fffffffffffffp9
    572   },
    573   { // Entry 111
    574     -0x1.00000000000010p10,
    575     -0x1.0p10,
    576     -0x1.0000000000001p10
    577   },
    578   { // Entry 112
    579     -0x1.p10,
    580     -0x1.0p10,
    581     -0x1.0p10
    582   },
    583   { // Entry 113
    584     -0x1.fffffffffffff0p9,
    585     -0x1.0p10,
    586     -0x1.fffffffffffffp9
    587   },
    588   { // Entry 114
    589     -0x1.p10,
    590     -0x1.fffffffffffffp9,
    591     -0x1.0000000000001p10
    592   },
    593   { // Entry 115
    594     -0x1.p10,
    595     -0x1.fffffffffffffp9,
    596     -0x1.0p10
    597   },
    598   { // Entry 116
    599     -0x1.fffffffffffff0p9,
    600     -0x1.fffffffffffffp9,
    601     -0x1.fffffffffffffp9
    602   },
    603   { // Entry 117
    604     0x1.fffffffffffff0p99,
    605     0x1.fffffffffffffp99,
    606     0x1.fffffffffffffp99
    607   },
    608   { // Entry 118
    609     0x1.p100,
    610     0x1.fffffffffffffp99,
    611     0x1.0p100
    612   },
    613   { // Entry 119
    614     0x1.p100,
    615     0x1.fffffffffffffp99,
    616     0x1.0000000000001p100
    617   },
    618   { // Entry 120
    619     0x1.fffffffffffff0p99,
    620     0x1.0p100,
    621     0x1.fffffffffffffp99
    622   },
    623   { // Entry 121
    624     0x1.p100,
    625     0x1.0p100,
    626     0x1.0p100
    627   },
    628   { // Entry 122
    629     0x1.00000000000010p100,
    630     0x1.0p100,
    631     0x1.0000000000001p100
    632   },
    633   { // Entry 123
    634     0x1.p100,
    635     0x1.0000000000001p100,
    636     0x1.fffffffffffffp99
    637   },
    638   { // Entry 124
    639     0x1.p100,
    640     0x1.0000000000001p100,
    641     0x1.0p100
    642   },
    643   { // Entry 125
    644     0x1.00000000000010p100,
    645     0x1.0000000000001p100,
    646     0x1.0000000000001p100
    647   },
    648   { // Entry 126
    649     0x1.ffffffffffffe0p99,
    650     0x1.fffffffffffffp99,
    651     -0x1.0000000000001p100
    652   },
    653   { // Entry 127
    654     0x1.ffffffffffffe0p99,
    655     0x1.fffffffffffffp99,
    656     -0x1.0p100
    657   },
    658   { // Entry 128
    659     0x1.ffffffffffffe0p99,
    660     0x1.fffffffffffffp99,
    661     -0x1.fffffffffffffp99
    662   },
    663   { // Entry 129
    664     0x1.fffffffffffff0p99,
    665     0x1.0p100,
    666     -0x1.0000000000001p100
    667   },
    668   { // Entry 130
    669     0x1.fffffffffffff0p99,
    670     0x1.0p100,
    671     -0x1.0p100
    672   },
    673   { // Entry 131
    674     0x1.fffffffffffff0p99,
    675     0x1.0p100,
    676     -0x1.fffffffffffffp99
    677   },
    678   { // Entry 132
    679     0x1.p100,
    680     0x1.0000000000001p100,
    681     -0x1.0000000000001p100
    682   },
    683   { // Entry 133
    684     0x1.p100,
    685     0x1.0000000000001p100,
    686     -0x1.0p100
    687   },
    688   { // Entry 134
    689     0x1.p100,
    690     0x1.0000000000001p100,
    691     -0x1.fffffffffffffp99
    692   },
    693   { // Entry 135
    694     -0x1.p100,
    695     -0x1.0000000000001p100,
    696     0x1.fffffffffffffp99
    697   },
    698   { // Entry 136
    699     -0x1.p100,
    700     -0x1.0000000000001p100,
    701     0x1.0p100
    702   },
    703   { // Entry 137
    704     -0x1.p100,
    705     -0x1.0000000000001p100,
    706     0x1.0000000000001p100
    707   },
    708   { // Entry 138
    709     -0x1.fffffffffffff0p99,
    710     -0x1.0p100,
    711     0x1.fffffffffffffp99
    712   },
    713   { // Entry 139
    714     -0x1.fffffffffffff0p99,
    715     -0x1.0p100,
    716     0x1.0p100
    717   },
    718   { // Entry 140
    719     -0x1.fffffffffffff0p99,
    720     -0x1.0p100,
    721     0x1.0000000000001p100
    722   },
    723   { // Entry 141
    724     -0x1.ffffffffffffe0p99,
    725     -0x1.fffffffffffffp99,
    726     0x1.fffffffffffffp99
    727   },
    728   { // Entry 142
    729     -0x1.ffffffffffffe0p99,
    730     -0x1.fffffffffffffp99,
    731     0x1.0p100
    732   },
    733   { // Entry 143
    734     -0x1.ffffffffffffe0p99,
    735     -0x1.fffffffffffffp99,
    736     0x1.0000000000001p100
    737   },
    738   { // Entry 144
    739     -0x1.00000000000010p100,
    740     -0x1.0000000000001p100,
    741     -0x1.0000000000001p100
    742   },
    743   { // Entry 145
    744     -0x1.p100,
    745     -0x1.0000000000001p100,
    746     -0x1.0p100
    747   },
    748   { // Entry 146
    749     -0x1.p100,
    750     -0x1.0000000000001p100,
    751     -0x1.fffffffffffffp99
    752   },
    753   { // Entry 147
    754     -0x1.00000000000010p100,
    755     -0x1.0p100,
    756     -0x1.0000000000001p100
    757   },
    758   { // Entry 148
    759     -0x1.p100,
    760     -0x1.0p100,
    761     -0x1.0p100
    762   },
    763   { // Entry 149
    764     -0x1.fffffffffffff0p99,
    765     -0x1.0p100,
    766     -0x1.fffffffffffffp99
    767   },
    768   { // Entry 150
    769     -0x1.p100,
    770     -0x1.fffffffffffffp99,
    771     -0x1.0000000000001p100
    772   },
    773   { // Entry 151
    774     -0x1.p100,
    775     -0x1.fffffffffffffp99,
    776     -0x1.0p100
    777   },
    778   { // Entry 152
    779     -0x1.fffffffffffff0p99,
    780     -0x1.fffffffffffffp99,
    781     -0x1.fffffffffffffp99
    782   },
    783   { // Entry 153
    784     0x1.fffffffffffff0p999,
    785     0x1.fffffffffffffp999,
    786     0x1.fffffffffffffp999
    787   },
    788   { // Entry 154
    789     0x1.p1000,
    790     0x1.fffffffffffffp999,
    791     0x1.0p1000
    792   },
    793   { // Entry 155
    794     0x1.p1000,
    795     0x1.fffffffffffffp999,
    796     0x1.0000000000001p1000
    797   },
    798   { // Entry 156
    799     0x1.fffffffffffff0p999,
    800     0x1.0p1000,
    801     0x1.fffffffffffffp999
    802   },
    803   { // Entry 157
    804     0x1.p1000,
    805     0x1.0p1000,
    806     0x1.0p1000
    807   },
    808   { // Entry 158
    809     0x1.00000000000010p1000,
    810     0x1.0p1000,
    811     0x1.0000000000001p1000
    812   },
    813   { // Entry 159
    814     0x1.p1000,
    815     0x1.0000000000001p1000,
    816     0x1.fffffffffffffp999
    817   },
    818   { // Entry 160
    819     0x1.p1000,
    820     0x1.0000000000001p1000,
    821     0x1.0p1000
    822   },
    823   { // Entry 161
    824     0x1.00000000000010p1000,
    825     0x1.0000000000001p1000,
    826     0x1.0000000000001p1000
    827   },
    828   { // Entry 162
    829     0x1.ffffffffffffe0p999,
    830     0x1.fffffffffffffp999,
    831     -0x1.0000000000001p1000
    832   },
    833   { // Entry 163
    834     0x1.ffffffffffffe0p999,
    835     0x1.fffffffffffffp999,
    836     -0x1.0p1000
    837   },
    838   { // Entry 164
    839     0x1.ffffffffffffe0p999,
    840     0x1.fffffffffffffp999,
    841     -0x1.fffffffffffffp999
    842   },
    843   { // Entry 165
    844     0x1.fffffffffffff0p999,
    845     0x1.0p1000,
    846     -0x1.0000000000001p1000
    847   },
    848   { // Entry 166
    849     0x1.fffffffffffff0p999,
    850     0x1.0p1000,
    851     -0x1.0p1000
    852   },
    853   { // Entry 167
    854     0x1.fffffffffffff0p999,
    855     0x1.0p1000,
    856     -0x1.fffffffffffffp999
    857   },
    858   { // Entry 168
    859     0x1.p1000,
    860     0x1.0000000000001p1000,
    861     -0x1.0000000000001p1000
    862   },
    863   { // Entry 169
    864     0x1.p1000,
    865     0x1.0000000000001p1000,
    866     -0x1.0p1000
    867   },
    868   { // Entry 170
    869     0x1.p1000,
    870     0x1.0000000000001p1000,
    871     -0x1.fffffffffffffp999
    872   },
    873   { // Entry 171
    874     -0x1.p1000,
    875     -0x1.0000000000001p1000,
    876     0x1.fffffffffffffp999
    877   },
    878   { // Entry 172
    879     -0x1.p1000,
    880     -0x1.0000000000001p1000,
    881     0x1.0p1000
    882   },
    883   { // Entry 173
    884     -0x1.p1000,
    885     -0x1.0000000000001p1000,
    886     0x1.0000000000001p1000
    887   },
    888   { // Entry 174
    889     -0x1.fffffffffffff0p999,
    890     -0x1.0p1000,
    891     0x1.fffffffffffffp999
    892   },
    893   { // Entry 175
    894     -0x1.fffffffffffff0p999,
    895     -0x1.0p1000,
    896     0x1.0p1000
    897   },
    898   { // Entry 176
    899     -0x1.fffffffffffff0p999,
    900     -0x1.0p1000,
    901     0x1.0000000000001p1000
    902   },
    903   { // Entry 177
    904     -0x1.ffffffffffffe0p999,
    905     -0x1.fffffffffffffp999,
    906     0x1.fffffffffffffp999
    907   },
    908   { // Entry 178
    909     -0x1.ffffffffffffe0p999,
    910     -0x1.fffffffffffffp999,
    911     0x1.0p1000
    912   },
    913   { // Entry 179
    914     -0x1.ffffffffffffe0p999,
    915     -0x1.fffffffffffffp999,
    916     0x1.0000000000001p1000
    917   },
    918   { // Entry 180
    919     -0x1.00000000000010p1000,
    920     -0x1.0000000000001p1000,
    921     -0x1.0000000000001p1000
    922   },
    923   { // Entry 181
    924     -0x1.p1000,
    925     -0x1.0000000000001p1000,
    926     -0x1.0p1000
    927   },
    928   { // Entry 182
    929     -0x1.p1000,
    930     -0x1.0000000000001p1000,
    931     -0x1.fffffffffffffp999
    932   },
    933   { // Entry 183
    934     -0x1.00000000000010p1000,
    935     -0x1.0p1000,
    936     -0x1.0000000000001p1000
    937   },
    938   { // Entry 184
    939     -0x1.p1000,
    940     -0x1.0p1000,
    941     -0x1.0p1000
    942   },
    943   { // Entry 185
    944     -0x1.fffffffffffff0p999,
    945     -0x1.0p1000,
    946     -0x1.fffffffffffffp999
    947   },
    948   { // Entry 186
    949     -0x1.p1000,
    950     -0x1.fffffffffffffp999,
    951     -0x1.0000000000001p1000
    952   },
    953   { // Entry 187
    954     -0x1.p1000,
    955     -0x1.fffffffffffffp999,
    956     -0x1.0p1000
    957   },
    958   { // Entry 188
    959     -0x1.fffffffffffff0p999,
    960     -0x1.fffffffffffffp999,
    961     -0x1.fffffffffffffp999
    962   },
    963   { // Entry 189
    964     0x1.ffffffffffffe0p1023,
    965     0x1.ffffffffffffep1023,
    966     0x1.ffffffffffffep1023
    967   },
    968   { // Entry 190
    969     0x1.fffffffffffff0p1023,
    970     0x1.ffffffffffffep1023,
    971     0x1.fffffffffffffp1023
    972   },
    973   { // Entry 191
    974     0x1.fffffffffffff0p1023,
    975     0x1.ffffffffffffep1023,
    976     0x1.fffffffffffffp1023
    977   },
    978   { // Entry 192
    979     0x1.ffffffffffffe0p1023,
    980     0x1.fffffffffffffp1023,
    981     0x1.ffffffffffffep1023
    982   },
    983   { // Entry 193
    984     0x1.fffffffffffff0p1023,
    985     0x1.fffffffffffffp1023,
    986     0x1.fffffffffffffp1023
    987   },
    988   { // Entry 194
    989     0x1.fffffffffffff0p1023,
    990     0x1.fffffffffffffp1023,
    991     0x1.fffffffffffffp1023
    992   },
    993   { // Entry 195
    994     0x1.ffffffffffffe0p1023,
    995     0x1.fffffffffffffp1023,
    996     0x1.ffffffffffffep1023
    997   },
    998   { // Entry 196
    999     0x1.fffffffffffff0p1023,
   1000     0x1.fffffffffffffp1023,
   1001     0x1.fffffffffffffp1023
   1002   },
   1003   { // Entry 197
   1004     0x1.fffffffffffff0p1023,
   1005     0x1.fffffffffffffp1023,
   1006     0x1.fffffffffffffp1023
   1007   },
   1008   { // Entry 198
   1009     -0x1.fffffffffffff0p1023,
   1010     -0x1.fffffffffffffp1023,
   1011     -0x1.fffffffffffffp1023
   1012   },
   1013   { // Entry 199
   1014     -0x1.ffffffffffffe0p1023,
   1015     -0x1.fffffffffffffp1023,
   1016     -0x1.ffffffffffffep1023
   1017   },
   1018   { // Entry 200
   1019     -0x1.ffffffffffffe0p1023,
   1020     -0x1.fffffffffffffp1023,
   1021     -0x1.ffffffffffffdp1023
   1022   },
   1023   { // Entry 201
   1024     -0x1.fffffffffffff0p1023,
   1025     -0x1.ffffffffffffep1023,
   1026     -0x1.fffffffffffffp1023
   1027   },
   1028   { // Entry 202
   1029     -0x1.ffffffffffffe0p1023,
   1030     -0x1.ffffffffffffep1023,
   1031     -0x1.ffffffffffffep1023
   1032   },
   1033   { // Entry 203
   1034     -0x1.ffffffffffffd0p1023,
   1035     -0x1.ffffffffffffep1023,
   1036     -0x1.ffffffffffffdp1023
   1037   },
   1038   { // Entry 204
   1039     -0x1.ffffffffffffe0p1023,
   1040     -0x1.ffffffffffffdp1023,
   1041     -0x1.fffffffffffffp1023
   1042   },
   1043   { // Entry 205
   1044     -0x1.ffffffffffffe0p1023,
   1045     -0x1.ffffffffffffdp1023,
   1046     -0x1.ffffffffffffep1023
   1047   },
   1048   { // Entry 206
   1049     -0x1.ffffffffffffd0p1023,
   1050     -0x1.ffffffffffffdp1023,
   1051     -0x1.ffffffffffffdp1023
   1052   },
   1053   { // Entry 207
   1054     0x1.ffffffffffffd0p1023,
   1055     0x1.ffffffffffffep1023,
   1056     -0x1.fffffffffffffp1023
   1057   },
   1058   { // Entry 208
   1059     0x1.ffffffffffffd0p1023,
   1060     0x1.ffffffffffffep1023,
   1061     -0x1.ffffffffffffep1023
   1062   },
   1063   { // Entry 209
   1064     0x1.ffffffffffffd0p1023,
   1065     0x1.ffffffffffffep1023,
   1066     -0x1.ffffffffffffdp1023
   1067   },
   1068   { // Entry 210
   1069     0x1.ffffffffffffe0p1023,
   1070     0x1.fffffffffffffp1023,
   1071     -0x1.fffffffffffffp1023
   1072   },
   1073   { // Entry 211
   1074     0x1.ffffffffffffe0p1023,
   1075     0x1.fffffffffffffp1023,
   1076     -0x1.ffffffffffffep1023
   1077   },
   1078   { // Entry 212
   1079     0x1.ffffffffffffe0p1023,
   1080     0x1.fffffffffffffp1023,
   1081     -0x1.ffffffffffffdp1023
   1082   },
   1083   { // Entry 213
   1084     0x1.ffffffffffffe0p1023,
   1085     0x1.fffffffffffffp1023,
   1086     -0x1.fffffffffffffp1023
   1087   },
   1088   { // Entry 214
   1089     0x1.ffffffffffffe0p1023,
   1090     0x1.fffffffffffffp1023,
   1091     -0x1.ffffffffffffep1023
   1092   },
   1093   { // Entry 215
   1094     0x1.ffffffffffffe0p1023,
   1095     0x1.fffffffffffffp1023,
   1096     -0x1.ffffffffffffdp1023
   1097   },
   1098   { // Entry 216
   1099     -0x1.ffffffffffffe0p1023,
   1100     -0x1.fffffffffffffp1023,
   1101     0x1.ffffffffffffep1023
   1102   },
   1103   { // Entry 217
   1104     -0x1.ffffffffffffe0p1023,
   1105     -0x1.fffffffffffffp1023,
   1106     0x1.fffffffffffffp1023
   1107   },
   1108   { // Entry 218
   1109     -0x1.ffffffffffffe0p1023,
   1110     -0x1.fffffffffffffp1023,
   1111     0x1.fffffffffffffp1023
   1112   },
   1113   { // Entry 219
   1114     -0x1.ffffffffffffd0p1023,
   1115     -0x1.ffffffffffffep1023,
   1116     0x1.ffffffffffffep1023
   1117   },
   1118   { // Entry 220
   1119     -0x1.ffffffffffffd0p1023,
   1120     -0x1.ffffffffffffep1023,
   1121     0x1.fffffffffffffp1023
   1122   },
   1123   { // Entry 221
   1124     -0x1.ffffffffffffd0p1023,
   1125     -0x1.ffffffffffffep1023,
   1126     0x1.fffffffffffffp1023
   1127   },
   1128   { // Entry 222
   1129     -0x1.ffffffffffffc0p1023,
   1130     -0x1.ffffffffffffdp1023,
   1131     0x1.ffffffffffffep1023
   1132   },
   1133   { // Entry 223
   1134     -0x1.ffffffffffffc0p1023,
   1135     -0x1.ffffffffffffdp1023,
   1136     0x1.fffffffffffffp1023
   1137   },
   1138   { // Entry 224
   1139     -0x1.ffffffffffffc0p1023,
   1140     -0x1.ffffffffffffdp1023,
   1141     0x1.fffffffffffffp1023
   1142   },
   1143   { // Entry 225
   1144     0x1.ffffffffffffd0p1023,
   1145     0x1.ffffffffffffep1023,
   1146     -0x1.0p-1074
   1147   },
   1148   { // Entry 226
   1149     0x1.ffffffffffffd0p1023,
   1150     0x1.ffffffffffffep1023,
   1151     -0.0
   1152   },
   1153   { // Entry 227
   1154     0x1.ffffffffffffd0p1023,
   1155     0x1.ffffffffffffep1023,
   1156     0x1.0p-1074
   1157   },
   1158   { // Entry 228
   1159     0x1.ffffffffffffe0p1023,
   1160     0x1.fffffffffffffp1023,
   1161     -0x1.0p-1074
   1162   },
   1163   { // Entry 229
   1164     0x1.ffffffffffffe0p1023,
   1165     0x1.fffffffffffffp1023,
   1166     -0.0
   1167   },
   1168   { // Entry 230
   1169     0x1.ffffffffffffe0p1023,
   1170     0x1.fffffffffffffp1023,
   1171     0x1.0p-1074
   1172   },
   1173   { // Entry 231
   1174     0x1.ffffffffffffe0p1023,
   1175     0x1.fffffffffffffp1023,
   1176     -0x1.0p-1074
   1177   },
   1178   { // Entry 232
   1179     0x1.ffffffffffffe0p1023,
   1180     0x1.fffffffffffffp1023,
   1181     -0.0
   1182   },
   1183   { // Entry 233
   1184     0x1.ffffffffffffe0p1023,
   1185     0x1.fffffffffffffp1023,
   1186     0x1.0p-1074
   1187   },
   1188   { // Entry 234
   1189     -0x1.ffffffffffffe0p1023,
   1190     -0x1.fffffffffffffp1023,
   1191     -0x1.0p-1074
   1192   },
   1193   { // Entry 235
   1194     -0x1.ffffffffffffe0p1023,
   1195     -0x1.fffffffffffffp1023,
   1196     -0.0
   1197   },
   1198   { // Entry 236
   1199     -0x1.ffffffffffffe0p1023,
   1200     -0x1.fffffffffffffp1023,
   1201     0x1.0p-1074
   1202   },
   1203   { // Entry 237
   1204     -0x1.ffffffffffffd0p1023,
   1205     -0x1.ffffffffffffep1023,
   1206     -0x1.0p-1074
   1207   },
   1208   { // Entry 238
   1209     -0x1.ffffffffffffd0p1023,
   1210     -0x1.ffffffffffffep1023,
   1211     -0.0
   1212   },
   1213   { // Entry 239
   1214     -0x1.ffffffffffffd0p1023,
   1215     -0x1.ffffffffffffep1023,
   1216     0x1.0p-1074
   1217   },
   1218   { // Entry 240
   1219     -0x1.ffffffffffffc0p1023,
   1220     -0x1.ffffffffffffdp1023,
   1221     -0x1.0p-1074
   1222   },
   1223   { // Entry 241
   1224     -0x1.ffffffffffffc0p1023,
   1225     -0x1.ffffffffffffdp1023,
   1226     -0.0
   1227   },
   1228   { // Entry 242
   1229     -0x1.ffffffffffffc0p1023,
   1230     -0x1.ffffffffffffdp1023,
   1231     0x1.0p-1074
   1232   },
   1233   { // Entry 243
   1234     -0.0,
   1235     -0x1.0p-1074,
   1236     0x1.ffffffffffffep1023
   1237   },
   1238   { // Entry 244
   1239     -0.0,
   1240     -0x1.0p-1074,
   1241     0x1.fffffffffffffp1023
   1242   },
   1243   { // Entry 245
   1244     -0.0,
   1245     -0x1.0p-1074,
   1246     0x1.fffffffffffffp1023
   1247   },
   1248   { // Entry 246
   1249     0x1.p-1074,
   1250     -0.0,
   1251     0x1.ffffffffffffep1023
   1252   },
   1253   { // Entry 247
   1254     0x1.p-1074,
   1255     -0.0,
   1256     0x1.fffffffffffffp1023
   1257   },
   1258   { // Entry 248
   1259     0x1.p-1074,
   1260     -0.0,
   1261     0x1.fffffffffffffp1023
   1262   },
   1263   { // Entry 249
   1264     0x1.p-1073,
   1265     0x1.0p-1074,
   1266     0x1.ffffffffffffep1023
   1267   },
   1268   { // Entry 250
   1269     0x1.p-1073,
   1270     0x1.0p-1074,
   1271     0x1.fffffffffffffp1023
   1272   },
   1273   { // Entry 251
   1274     0x1.p-1073,
   1275     0x1.0p-1074,
   1276     0x1.fffffffffffffp1023
   1277   },
   1278   { // Entry 252
   1279     -0x1.p-1073,
   1280     -0x1.0p-1074,
   1281     -0x1.fffffffffffffp1023
   1282   },
   1283   { // Entry 253
   1284     -0x1.p-1073,
   1285     -0x1.0p-1074,
   1286     -0x1.ffffffffffffep1023
   1287   },
   1288   { // Entry 254
   1289     -0x1.p-1073,
   1290     -0x1.0p-1074,
   1291     -0x1.ffffffffffffdp1023
   1292   },
   1293   { // Entry 255
   1294     -0x1.p-1074,
   1295     -0.0,
   1296     -0x1.fffffffffffffp1023
   1297   },
   1298   { // Entry 256
   1299     -0x1.p-1074,
   1300     -0.0,
   1301     -0x1.ffffffffffffep1023
   1302   },
   1303   { // Entry 257
   1304     -0x1.p-1074,
   1305     -0.0,
   1306     -0x1.ffffffffffffdp1023
   1307   },
   1308   { // Entry 258
   1309     0.0,
   1310     0x1.0p-1074,
   1311     -0x1.fffffffffffffp1023
   1312   },
   1313   { // Entry 259
   1314     0.0,
   1315     0x1.0p-1074,
   1316     -0x1.ffffffffffffep1023
   1317   },
   1318   { // Entry 260
   1319     0.0,
   1320     0x1.0p-1074,
   1321     -0x1.ffffffffffffdp1023
   1322   },
   1323   { // Entry 261
   1324     0x1.00000fffffffe0p1,
   1325     0x1.00000fffffffep1,
   1326     0x1.00000fffffffep1
   1327   },
   1328   { // Entry 262
   1329     0x1.00000ffffffff0p1,
   1330     0x1.00000fffffffep1,
   1331     0x1.00000ffffffffp1
   1332   },
   1333   { // Entry 263
   1334     0x1.00000ffffffff0p1,
   1335     0x1.00000fffffffep1,
   1336     0x1.00001p1
   1337   },
   1338   { // Entry 264
   1339     0x1.00000fffffffe0p1,
   1340     0x1.00000ffffffffp1,
   1341     0x1.00000fffffffep1
   1342   },
   1343   { // Entry 265
   1344     0x1.00000ffffffff0p1,
   1345     0x1.00000ffffffffp1,
   1346     0x1.00000ffffffffp1
   1347   },
   1348   { // Entry 266
   1349     0x1.000010p1,
   1350     0x1.00000ffffffffp1,
   1351     0x1.00001p1
   1352   },
   1353   { // Entry 267
   1354     0x1.00000ffffffff0p1,
   1355     0x1.00001p1,
   1356     0x1.00000fffffffep1
   1357   },
   1358   { // Entry 268
   1359     0x1.00000ffffffff0p1,
   1360     0x1.00001p1,
   1361     0x1.00000ffffffffp1
   1362   },
   1363   { // Entry 269
   1364     0x1.000010p1,
   1365     0x1.00001p1,
   1366     0x1.00001p1
   1367   },
   1368   { // Entry 270
   1369     HUGE_VAL,
   1370     HUGE_VAL,
   1371     HUGE_VAL
   1372   },
   1373   { // Entry 271
   1374     0x1.fffffffffffff0p1023,
   1375     HUGE_VAL,
   1376     0x1.fffffffffffffp1023
   1377   },
   1378   { // Entry 272
   1379     0x1.fffffffffffff0p1023,
   1380     HUGE_VAL,
   1381     0x1.0p-1022
   1382   },
   1383   { // Entry 273
   1384     0x1.fffffffffffff0p1023,
   1385     HUGE_VAL,
   1386     0x1.ffffffffffffep-1023
   1387   },
   1388   { // Entry 274
   1389     0x1.fffffffffffff0p1023,
   1390     HUGE_VAL,
   1391     0x1.0p-1074
   1392   },
   1393   { // Entry 275
   1394     0x1.fffffffffffff0p1023,
   1395     HUGE_VAL,
   1396     0.0
   1397   },
   1398   { // Entry 276
   1399     0x1.fffffffffffff0p1023,
   1400     HUGE_VAL,
   1401     -0.0
   1402   },
   1403   { // Entry 277
   1404     0x1.fffffffffffff0p1023,
   1405     HUGE_VAL,
   1406     -0x1.0p-1074
   1407   },
   1408   { // Entry 278
   1409     0x1.fffffffffffff0p1023,
   1410     HUGE_VAL,
   1411     -0x1.ffffffffffffep-1023
   1412   },
   1413   { // Entry 279
   1414     0x1.fffffffffffff0p1023,
   1415     HUGE_VAL,
   1416     -0x1.0p-1022
   1417   },
   1418   { // Entry 280
   1419     0x1.fffffffffffff0p1023,
   1420     HUGE_VAL,
   1421     -0x1.fffffffffffffp1023
   1422   },
   1423   { // Entry 281
   1424     0x1.fffffffffffff0p1023,
   1425     HUGE_VAL,
   1426     -HUGE_VAL
   1427   },
   1428   { // Entry 282
   1429     HUGE_VAL,
   1430     0x1.fffffffffffffp1023,
   1431     HUGE_VAL
   1432   },
   1433   { // Entry 283
   1434     0x1.fffffffffffff0p1023,
   1435     0x1.fffffffffffffp1023,
   1436     0x1.fffffffffffffp1023
   1437   },
   1438   { // Entry 284
   1439     0x1.ffffffffffffe0p1023,
   1440     0x1.fffffffffffffp1023,
   1441     0x1.0p-1022
   1442   },
   1443   { // Entry 285
   1444     0x1.ffffffffffffe0p1023,
   1445     0x1.fffffffffffffp1023,
   1446     0x1.ffffffffffffep-1023
   1447   },
   1448   { // Entry 286
   1449     0x1.ffffffffffffe0p1023,
   1450     0x1.fffffffffffffp1023,
   1451     0x1.0p-1074
   1452   },
   1453   { // Entry 287
   1454     0x1.ffffffffffffe0p1023,
   1455     0x1.fffffffffffffp1023,
   1456     0.0
   1457   },
   1458   { // Entry 288
   1459     0x1.ffffffffffffe0p1023,
   1460     0x1.fffffffffffffp1023,
   1461     -0.0
   1462   },
   1463   { // Entry 289
   1464     0x1.ffffffffffffe0p1023,
   1465     0x1.fffffffffffffp1023,
   1466     -0x1.0p-1074
   1467   },
   1468   { // Entry 290
   1469     0x1.ffffffffffffe0p1023,
   1470     0x1.fffffffffffffp1023,
   1471     -0x1.ffffffffffffep-1023
   1472   },
   1473   { // Entry 291
   1474     0x1.ffffffffffffe0p1023,
   1475     0x1.fffffffffffffp1023,
   1476     -0x1.0p-1022
   1477   },
   1478   { // Entry 292
   1479     0x1.ffffffffffffe0p1023,
   1480     0x1.fffffffffffffp1023,
   1481     -0x1.fffffffffffffp1023
   1482   },
   1483   { // Entry 293
   1484     0x1.ffffffffffffe0p1023,
   1485     0x1.fffffffffffffp1023,
   1486     -HUGE_VAL
   1487   },
   1488   { // Entry 294
   1489     0x1.00000000000010p-1022,
   1490     0x1.0p-1022,
   1491     HUGE_VAL
   1492   },
   1493   { // Entry 295
   1494     0x1.00000000000010p-1022,
   1495     0x1.0p-1022,
   1496     0x1.fffffffffffffp1023
   1497   },
   1498   { // Entry 296
   1499     0x1.p-1022,
   1500     0x1.0p-1022,
   1501     0x1.0p-1022
   1502   },
   1503   { // Entry 297
   1504     0x1.ffffffffffffe0p-1023,
   1505     0x1.0p-1022,
   1506     0x1.ffffffffffffep-1023
   1507   },
   1508   { // Entry 298
   1509     0x1.ffffffffffffe0p-1023,
   1510     0x1.0p-1022,
   1511     0x1.0p-1074
   1512   },
   1513   { // Entry 299
   1514     0x1.ffffffffffffe0p-1023,
   1515     0x1.0p-1022,
   1516     0.0
   1517   },
   1518   { // Entry 300
   1519     0x1.ffffffffffffe0p-1023,
   1520     0x1.0p-1022,
   1521     -0.0
   1522   },
   1523   { // Entry 301
   1524     0x1.ffffffffffffe0p-1023,
   1525     0x1.0p-1022,
   1526     -0x1.0p-1074
   1527   },
   1528   { // Entry 302
   1529     0x1.ffffffffffffe0p-1023,
   1530     0x1.0p-1022,
   1531     -0x1.ffffffffffffep-1023
   1532   },
   1533   { // Entry 303
   1534     0x1.ffffffffffffe0p-1023,
   1535     0x1.0p-1022,
   1536     -0x1.0p-1022
   1537   },
   1538   { // Entry 304
   1539     0x1.ffffffffffffe0p-1023,
   1540     0x1.0p-1022,
   1541     -0x1.fffffffffffffp1023
   1542   },
   1543   { // Entry 305
   1544     0x1.ffffffffffffe0p-1023,
   1545     0x1.0p-1022,
   1546     -HUGE_VAL
   1547   },
   1548   { // Entry 306
   1549     0x1.p-1022,
   1550     0x1.ffffffffffffep-1023,
   1551     HUGE_VAL
   1552   },
   1553   { // Entry 307
   1554     0x1.p-1022,
   1555     0x1.ffffffffffffep-1023,
   1556     0x1.fffffffffffffp1023
   1557   },
   1558   { // Entry 308
   1559     0x1.p-1022,
   1560     0x1.ffffffffffffep-1023,
   1561     0x1.0p-1022
   1562   },
   1563   { // Entry 309
   1564     0x1.ffffffffffffe0p-1023,
   1565     0x1.ffffffffffffep-1023,
   1566     0x1.ffffffffffffep-1023
   1567   },
   1568   { // Entry 310
   1569     0x1.ffffffffffffc0p-1023,
   1570     0x1.ffffffffffffep-1023,
   1571     0x1.0p-1074
   1572   },
   1573   { // Entry 311
   1574     0x1.ffffffffffffc0p-1023,
   1575     0x1.ffffffffffffep-1023,
   1576     0.0
   1577   },
   1578   { // Entry 312
   1579     0x1.ffffffffffffc0p-1023,
   1580     0x1.ffffffffffffep-1023,
   1581     -0.0
   1582   },
   1583   { // Entry 313
   1584     0x1.ffffffffffffc0p-1023,
   1585     0x1.ffffffffffffep-1023,
   1586     -0x1.0p-1074
   1587   },
   1588   { // Entry 314
   1589     0x1.ffffffffffffc0p-1023,
   1590     0x1.ffffffffffffep-1023,
   1591     -0x1.ffffffffffffep-1023
   1592   },
   1593   { // Entry 315
   1594     0x1.ffffffffffffc0p-1023,
   1595     0x1.ffffffffffffep-1023,
   1596     -0x1.0p-1022
   1597   },
   1598   { // Entry 316
   1599     0x1.ffffffffffffc0p-1023,
   1600     0x1.ffffffffffffep-1023,
   1601     -0x1.fffffffffffffp1023
   1602   },
   1603   { // Entry 317
   1604     0x1.ffffffffffffc0p-1023,
   1605     0x1.ffffffffffffep-1023,
   1606     -HUGE_VAL
   1607   },
   1608   { // Entry 318
   1609     0x1.p-1073,
   1610     0x1.0p-1074,
   1611     HUGE_VAL
   1612   },
   1613   { // Entry 319
   1614     0x1.p-1073,
   1615     0x1.0p-1074,
   1616     0x1.fffffffffffffp1023
   1617   },
   1618   { // Entry 320
   1619     0x1.p-1073,
   1620     0x1.0p-1074,
   1621     0x1.0p-1022
   1622   },
   1623   { // Entry 321
   1624     0x1.p-1073,
   1625     0x1.0p-1074,
   1626     0x1.ffffffffffffep-1023
   1627   },
   1628   { // Entry 322
   1629     0x1.p-1074,
   1630     0x1.0p-1074,
   1631     0x1.0p-1074
   1632   },
   1633   { // Entry 323
   1634     0.0,
   1635     0x1.0p-1074,
   1636     0.0
   1637   },
   1638   { // Entry 324
   1639     0.0,
   1640     0x1.0p-1074,
   1641     -0.0
   1642   },
   1643   { // Entry 325
   1644     0.0,
   1645     0x1.0p-1074,
   1646     -0x1.0p-1074
   1647   },
   1648   { // Entry 326
   1649     0.0,
   1650     0x1.0p-1074,
   1651     -0x1.ffffffffffffep-1023
   1652   },
   1653   { // Entry 327
   1654     0.0,
   1655     0x1.0p-1074,
   1656     -0x1.0p-1022
   1657   },
   1658   { // Entry 328
   1659     0.0,
   1660     0x1.0p-1074,
   1661     -0x1.fffffffffffffp1023
   1662   },
   1663   { // Entry 329
   1664     0.0,
   1665     0x1.0p-1074,
   1666     -HUGE_VAL
   1667   },
   1668   { // Entry 330
   1669     0x1.p-1074,
   1670     0.0,
   1671     HUGE_VAL
   1672   },
   1673   { // Entry 331
   1674     0x1.p-1074,
   1675     0.0,
   1676     0x1.fffffffffffffp1023
   1677   },
   1678   { // Entry 332
   1679     0x1.p-1074,
   1680     0.0,
   1681     0x1.0p-1022
   1682   },
   1683   { // Entry 333
   1684     0x1.p-1074,
   1685     0.0,
   1686     0x1.ffffffffffffep-1023
   1687   },
   1688   { // Entry 334
   1689     0x1.p-1074,
   1690     0.0,
   1691     0x1.0p-1074
   1692   },
   1693   { // Entry 335
   1694     0.0,
   1695     0.0,
   1696     0.0
   1697   },
   1698   { // Entry 336
   1699     -0.0,
   1700     0.0,
   1701     -0.0
   1702   },
   1703   { // Entry 337
   1704     -0x1.p-1074,
   1705     0.0,
   1706     -0x1.0p-1074
   1707   },
   1708   { // Entry 338
   1709     -0x1.p-1074,
   1710     0.0,
   1711     -0x1.ffffffffffffep-1023
   1712   },
   1713   { // Entry 339
   1714     -0x1.p-1074,
   1715     0.0,
   1716     -0x1.0p-1022
   1717   },
   1718   { // Entry 340
   1719     -0x1.p-1074,
   1720     0.0,
   1721     -0x1.fffffffffffffp1023
   1722   },
   1723   { // Entry 341
   1724     -0x1.p-1074,
   1725     0.0,
   1726     -HUGE_VAL
   1727   },
   1728   { // Entry 342
   1729     0x1.p-1074,
   1730     -0.0,
   1731     HUGE_VAL
   1732   },
   1733   { // Entry 343
   1734     0x1.p-1074,
   1735     -0.0,
   1736     0x1.fffffffffffffp1023
   1737   },
   1738   { // Entry 344
   1739     0x1.p-1074,
   1740     -0.0,
   1741     0x1.0p-1022
   1742   },
   1743   { // Entry 345
   1744     0x1.p-1074,
   1745     -0.0,
   1746     0x1.ffffffffffffep-1023
   1747   },
   1748   { // Entry 346
   1749     0x1.p-1074,
   1750     -0.0,
   1751     0x1.0p-1074
   1752   },
   1753   { // Entry 347
   1754     0.0,
   1755     -0.0,
   1756     0.0
   1757   },
   1758   { // Entry 348
   1759     -0.0,
   1760     -0.0,
   1761     -0.0
   1762   },
   1763   { // Entry 349
   1764     -0x1.p-1074,
   1765     -0.0,
   1766     -0x1.0p-1074
   1767   },
   1768   { // Entry 350
   1769     -0x1.p-1074,
   1770     -0.0,
   1771     -0x1.ffffffffffffep-1023
   1772   },
   1773   { // Entry 351
   1774     -0x1.p-1074,
   1775     -0.0,
   1776     -0x1.0p-1022
   1777   },
   1778   { // Entry 352
   1779     -0x1.p-1074,
   1780     -0.0,
   1781     -0x1.fffffffffffffp1023
   1782   },
   1783   { // Entry 353
   1784     -0x1.p-1074,
   1785     -0.0,
   1786     -HUGE_VAL
   1787   },
   1788   { // Entry 354
   1789     -0.0,
   1790     -0x1.0p-1074,
   1791     HUGE_VAL
   1792   },
   1793   { // Entry 355
   1794     -0.0,
   1795     -0x1.0p-1074,
   1796     0x1.fffffffffffffp1023
   1797   },
   1798   { // Entry 356
   1799     -0.0,
   1800     -0x1.0p-1074,
   1801     0x1.0p-1022
   1802   },
   1803   { // Entry 357
   1804     -0.0,
   1805     -0x1.0p-1074,
   1806     0x1.ffffffffffffep-1023
   1807   },
   1808   { // Entry 358
   1809     -0.0,
   1810     -0x1.0p-1074,
   1811     0x1.0p-1074
   1812   },
   1813   { // Entry 359
   1814     -0.0,
   1815     -0x1.0p-1074,
   1816     0.0
   1817   },
   1818   { // Entry 360
   1819     -0.0,
   1820     -0x1.0p-1074,
   1821     -0.0
   1822   },
   1823   { // Entry 361
   1824     -0x1.p-1074,
   1825     -0x1.0p-1074,
   1826     -0x1.0p-1074
   1827   },
   1828   { // Entry 362
   1829     -0x1.p-1073,
   1830     -0x1.0p-1074,
   1831     -0x1.ffffffffffffep-1023
   1832   },
   1833   { // Entry 363
   1834     -0x1.p-1073,
   1835     -0x1.0p-1074,
   1836     -0x1.0p-1022
   1837   },
   1838   { // Entry 364
   1839     -0x1.p-1073,
   1840     -0x1.0p-1074,
   1841     -0x1.fffffffffffffp1023
   1842   },
   1843   { // Entry 365
   1844     -0x1.p-1073,
   1845     -0x1.0p-1074,
   1846     -HUGE_VAL
   1847   },
   1848   { // Entry 366
   1849     -0x1.ffffffffffffc0p-1023,
   1850     -0x1.ffffffffffffep-1023,
   1851     HUGE_VAL
   1852   },
   1853   { // Entry 367
   1854     -0x1.ffffffffffffc0p-1023,
   1855     -0x1.ffffffffffffep-1023,
   1856     0x1.fffffffffffffp1023
   1857   },
   1858   { // Entry 368
   1859     -0x1.ffffffffffffc0p-1023,
   1860     -0x1.ffffffffffffep-1023,
   1861     0x1.0p-1022
   1862   },
   1863   { // Entry 369
   1864     -0x1.ffffffffffffc0p-1023,
   1865     -0x1.ffffffffffffep-1023,
   1866     0x1.ffffffffffffep-1023
   1867   },
   1868   { // Entry 370
   1869     -0x1.ffffffffffffc0p-1023,
   1870     -0x1.ffffffffffffep-1023,
   1871     0x1.0p-1074
   1872   },
   1873   { // Entry 371
   1874     -0x1.ffffffffffffc0p-1023,
   1875     -0x1.ffffffffffffep-1023,
   1876     0.0
   1877   },
   1878   { // Entry 372
   1879     -0x1.ffffffffffffc0p-1023,
   1880     -0x1.ffffffffffffep-1023,
   1881     -0.0
   1882   },
   1883   { // Entry 373
   1884     -0x1.ffffffffffffc0p-1023,
   1885     -0x1.ffffffffffffep-1023,
   1886     -0x1.0p-1074
   1887   },
   1888   { // Entry 374
   1889     -0x1.ffffffffffffe0p-1023,
   1890     -0x1.ffffffffffffep-1023,
   1891     -0x1.ffffffffffffep-1023
   1892   },
   1893   { // Entry 375
   1894     -0x1.p-1022,
   1895     -0x1.ffffffffffffep-1023,
   1896     -0x1.0p-1022
   1897   },
   1898   { // Entry 376
   1899     -0x1.p-1022,
   1900     -0x1.ffffffffffffep-1023,
   1901     -0x1.fffffffffffffp1023
   1902   },
   1903   { // Entry 377
   1904     -0x1.p-1022,
   1905     -0x1.ffffffffffffep-1023,
   1906     -HUGE_VAL
   1907   },
   1908   { // Entry 378
   1909     -0x1.ffffffffffffe0p-1023,
   1910     -0x1.0p-1022,
   1911     HUGE_VAL
   1912   },
   1913   { // Entry 379
   1914     -0x1.ffffffffffffe0p-1023,
   1915     -0x1.0p-1022,
   1916     0x1.fffffffffffffp1023
   1917   },
   1918   { // Entry 380
   1919     -0x1.ffffffffffffe0p-1023,
   1920     -0x1.0p-1022,
   1921     0x1.0p-1022
   1922   },
   1923   { // Entry 381
   1924     -0x1.ffffffffffffe0p-1023,
   1925     -0x1.0p-1022,
   1926     0x1.ffffffffffffep-1023
   1927   },
   1928   { // Entry 382
   1929     -0x1.ffffffffffffe0p-1023,
   1930     -0x1.0p-1022,
   1931     0x1.0p-1074
   1932   },
   1933   { // Entry 383
   1934     -0x1.ffffffffffffe0p-1023,
   1935     -0x1.0p-1022,
   1936     0.0
   1937   },
   1938   { // Entry 384
   1939     -0x1.ffffffffffffe0p-1023,
   1940     -0x1.0p-1022,
   1941     -0.0
   1942   },
   1943   { // Entry 385
   1944     -0x1.ffffffffffffe0p-1023,
   1945     -0x1.0p-1022,
   1946     -0x1.0p-1074
   1947   },
   1948   { // Entry 386
   1949     -0x1.ffffffffffffe0p-1023,
   1950     -0x1.0p-1022,
   1951     -0x1.ffffffffffffep-1023
   1952   },
   1953   { // Entry 387
   1954     -0x1.p-1022,
   1955     -0x1.0p-1022,
   1956     -0x1.0p-1022
   1957   },
   1958   { // Entry 388
   1959     -0x1.00000000000010p-1022,
   1960     -0x1.0p-1022,
   1961     -0x1.fffffffffffffp1023
   1962   },
   1963   { // Entry 389
   1964     -0x1.00000000000010p-1022,
   1965     -0x1.0p-1022,
   1966     -HUGE_VAL
   1967   },
   1968   { // Entry 390
   1969     -0x1.ffffffffffffe0p1023,
   1970     -0x1.fffffffffffffp1023,
   1971     HUGE_VAL
   1972   },
   1973   { // Entry 391
   1974     -0x1.ffffffffffffe0p1023,
   1975     -0x1.fffffffffffffp1023,
   1976     0x1.fffffffffffffp1023
   1977   },
   1978   { // Entry 392
   1979     -0x1.ffffffffffffe0p1023,
   1980     -0x1.fffffffffffffp1023,
   1981     0x1.0p-1022
   1982   },
   1983   { // Entry 393
   1984     -0x1.ffffffffffffe0p1023,
   1985     -0x1.fffffffffffffp1023,
   1986     0x1.ffffffffffffep-1023
   1987   },
   1988   { // Entry 394
   1989     -0x1.ffffffffffffe0p1023,
   1990     -0x1.fffffffffffffp1023,
   1991     0x1.0p-1074
   1992   },
   1993   { // Entry 395
   1994     -0x1.ffffffffffffe0p1023,
   1995     -0x1.fffffffffffffp1023,
   1996     0.0
   1997   },
   1998   { // Entry 396
   1999     -0x1.ffffffffffffe0p1023,
   2000     -0x1.fffffffffffffp1023,
   2001     -0.0
   2002   },
   2003   { // Entry 397
   2004     -0x1.ffffffffffffe0p1023,
   2005     -0x1.fffffffffffffp1023,
   2006     -0x1.0p-1074
   2007   },
   2008   { // Entry 398
   2009     -0x1.ffffffffffffe0p1023,
   2010     -0x1.fffffffffffffp1023,
   2011     -0x1.ffffffffffffep-1023
   2012   },
   2013   { // Entry 399
   2014     -0x1.ffffffffffffe0p1023,
   2015     -0x1.fffffffffffffp1023,
   2016     -0x1.0p-1022
   2017   },
   2018   { // Entry 400
   2019     -0x1.fffffffffffff0p1023,
   2020     -0x1.fffffffffffffp1023,
   2021     -0x1.fffffffffffffp1023
   2022   },
   2023   { // Entry 401
   2024     -HUGE_VAL,
   2025     -0x1.fffffffffffffp1023,
   2026     -HUGE_VAL
   2027   },
   2028   { // Entry 402
   2029     -0x1.fffffffffffff0p1023,
   2030     -HUGE_VAL,
   2031     HUGE_VAL
   2032   },
   2033   { // Entry 403
   2034     -0x1.fffffffffffff0p1023,
   2035     -HUGE_VAL,
   2036     0x1.fffffffffffffp1023
   2037   },
   2038   { // Entry 404
   2039     -0x1.fffffffffffff0p1023,
   2040     -HUGE_VAL,
   2041     0x1.0p-1022
   2042   },
   2043   { // Entry 405
   2044     -0x1.fffffffffffff0p1023,
   2045     -HUGE_VAL,
   2046     0x1.ffffffffffffep-1023
   2047   },
   2048   { // Entry 406
   2049     -0x1.fffffffffffff0p1023,
   2050     -HUGE_VAL,
   2051     0x1.0p-1074
   2052   },
   2053   { // Entry 407
   2054     -0x1.fffffffffffff0p1023,
   2055     -HUGE_VAL,
   2056     0.0
   2057   },
   2058   { // Entry 408
   2059     -0x1.fffffffffffff0p1023,
   2060     -HUGE_VAL,
   2061     -0.0
   2062   },
   2063   { // Entry 409
   2064     -0x1.fffffffffffff0p1023,
   2065     -HUGE_VAL,
   2066     -0x1.0p-1074
   2067   },
   2068   { // Entry 410
   2069     -0x1.fffffffffffff0p1023,
   2070     -HUGE_VAL,
   2071     -0x1.ffffffffffffep-1023
   2072   },
   2073   { // Entry 411
   2074     -0x1.fffffffffffff0p1023,
   2075     -HUGE_VAL,
   2076     -0x1.0p-1022
   2077   },
   2078   { // Entry 412
   2079     -0x1.fffffffffffff0p1023,
   2080     -HUGE_VAL,
   2081     -0x1.fffffffffffffp1023
   2082   },
   2083   { // Entry 413
   2084     -HUGE_VAL,
   2085     -HUGE_VAL,
   2086     -HUGE_VAL
   2087   }
   2088 };
   2089