Home | History | Annotate | Download | only in a64
      1 // Copyright 2015, ARM Limited
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_FRECPS_4S_TRACE_A64_H_
     35 #define VIXL_SIM_FRECPS_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_frecps_4S[] = {
     38   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     39   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     40   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     41   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     42   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     43   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     44   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     45   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     46   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     47   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     48   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
     49   0x40000000, 0x40000000, 0x7fcfffff, 0x40000000,
     50   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
     51   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
     52   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
     53   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
     54   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
     55   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
     56   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
     57   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     58   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     59   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     60   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     61   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     62   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     63   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     64   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     65   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     66   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     67   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
     68   0x40000000, 0x40000000, 0xffcfffff, 0x40000000,
     69   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
     70   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
     71   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
     72   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
     73   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
     74   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
     75   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
     76   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     77   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     78   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     79   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     80   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     81   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     82   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     83   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     84   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     85   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     86   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
     87   0x40000000, 0x40000000, 0x7fcfffff, 0xff800000,
     88   0x40000000, 0x7fcfffff, 0x40000000, 0x7fd23456,
     89   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
     90   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
     91   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
     92   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
     93   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
     94   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
     95   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     96   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     97   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     98   0x40000000, 0x40000000, 0x40000000, 0x40000000,
     99   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    100   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    101   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    102   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    103   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    104   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    105   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    106   0x40000000, 0x40000000, 0xffcfffff, 0x7f800000,
    107   0x40000000, 0xffcfffff, 0x40000000, 0xffd23456,
    108   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    109   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    110   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    111   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    112   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    113   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    114   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    115   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    116   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    117   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    118   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    119   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    120   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    121   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    122   0x40000000, 0x40000000, 0x40000000, 0x3fa00000,
    123   0x40000000, 0x40000000, 0x40000000, 0xc03fffff,
    124   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
    125   0x40000000, 0x40000000, 0x7fcfffff, 0xff800000,
    126   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
    127   0x7fcfffff, 0x40000000, 0x7fd23456, 0x7fc00000,
    128   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    129   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    130   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    131   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    132   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    133   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    134   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    135   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    136   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    137   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    138   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    139   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    140   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    141   0x40000000, 0x40000000, 0x40000000, 0x40300000,
    142   0x40000000, 0x40000000, 0x40000000, 0x40dfffff,
    143   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    144   0x40000000, 0x40000000, 0xffcfffff, 0x7f800000,
    145   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    146   0xffcfffff, 0x40000000, 0xffd23456, 0xffc00000,
    147   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    148   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    149   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    150   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    151   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    152   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    153   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    154   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    155   0x40000000, 0x40000000, 0x3fe00000, 0x3fe00000,
    156   0x40000000, 0x40000000, 0x3fe00000, 0x3fe00000,
    157   0x40000000, 0x40000000, 0x3fe00000, 0x3fc00000,
    158   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
    159   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
    160   0x40000000, 0x40000000, 0x3fc00000, 0x3fa00000,
    161   0x40000000, 0x40000000, 0x3fa00000, 0xc0400000,
    162   0x40000000, 0x40000000, 0xc03fffff, 0x7fcfffff,
    163   0x40000000, 0x40000000, 0x7fcfffff, 0xff800000,
    164   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
    165   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    166   0x40000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    167   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    168   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    169   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    170   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    171   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    172   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    173   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    174   0x40000000, 0x40000000, 0x40100000, 0x40100000,
    175   0x40000000, 0x40000000, 0x40100000, 0x40100000,
    176   0x40000000, 0x40000000, 0x40100000, 0x40200000,
    177   0x40000000, 0x40000000, 0x40200000, 0x40200000,
    178   0x40000000, 0x40000000, 0x40200000, 0x40200000,
    179   0x40000000, 0x40000000, 0x40200000, 0x40300000,
    180   0x40000000, 0x40000000, 0x40300000, 0x40e00000,
    181   0x40000000, 0x40000000, 0x40dfffff, 0xffcfffff,
    182   0x40000000, 0x40000000, 0xffcfffff, 0x7f800000,
    183   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    184   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    185   0x40000000, 0xffd23456, 0xffc00000, 0xffd23456,
    186   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    187   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    188   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    189   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    190   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    191   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    192   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    193   0x40000000, 0x40000000, 0x3fe00000, 0x3fe00000,
    194   0x40000000, 0x3fe00000, 0x3fe00000, 0x3fdfffff,
    195   0x40000000, 0x3fe00000, 0x3fe00000, 0x3fc00000,
    196   0x40000000, 0x3fe00000, 0x3fc00000, 0x3fc00000,
    197   0x40000000, 0x3fc00000, 0x3fc00000, 0x3fbfffff,
    198   0x40000000, 0x3fc00000, 0x3fc00000, 0x3f9fffff,
    199   0x40000000, 0x3fc00000, 0x3fa00000, 0xc0400002,
    200   0x40000000, 0x3fa00000, 0xc0400000, 0x7fcfffff,
    201   0x40000000, 0xc03fffff, 0x7fcfffff, 0xff800000,
    202   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
    203   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    204   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    205   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    206   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    207   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    208   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    209   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    210   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    211   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    212   0x40000000, 0x40000000, 0x40100000, 0x40100000,
    213   0x40000000, 0x40100000, 0x40100000, 0x40100000,
    214   0x40000000, 0x40100000, 0x40100000, 0x40200000,
    215   0x40000000, 0x40100000, 0x40200000, 0x40200000,
    216   0x40000000, 0x40200000, 0x40200000, 0x40200001,
    217   0x40000000, 0x40200000, 0x40200000, 0x40300000,
    218   0x40000000, 0x40200000, 0x40300000, 0x40e00001,
    219   0x40000000, 0x40300000, 0x40e00000, 0xffcfffff,
    220   0x40000000, 0x40dfffff, 0xffcfffff, 0x7f800000,
    221   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    222   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    223   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    224   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    225   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    226   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    227   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    228   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    229   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    230   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    231   0x40000000, 0x40000000, 0x3fe00000, 0x3fc00000,
    232   0x40000000, 0x3fe00000, 0x3fe00000, 0x3fc00000,
    233   0x3fe00000, 0x3fe00000, 0x3fdfffff, 0x3f800001,
    234   0x3fe00000, 0x3fe00000, 0x3fc00000, 0x3f800000,
    235   0x3fe00000, 0x3fc00000, 0x3fc00000, 0x3f7fffff,
    236   0x3fc00000, 0x3fc00000, 0x3fbfffff, 0x3f000002,
    237   0x3fc00000, 0x3fc00000, 0x3f9fffff, 0xc0ffffff,
    238   0x3fc00000, 0x3fa00000, 0xc0400002, 0x7fcfffff,
    239   0x3fa00000, 0xc0400000, 0x7fcfffff, 0xff800000,
    240   0xc03fffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
    241   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    242   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    243   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    244   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    245   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    246   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    247   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    248   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    249   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    250   0x40000000, 0x40000000, 0x40100000, 0x40200000,
    251   0x40000000, 0x40100000, 0x40100000, 0x40200000,
    252   0x40100000, 0x40100000, 0x40100000, 0x40400000,
    253   0x40100000, 0x40100000, 0x40200000, 0x40400000,
    254   0x40100000, 0x40200000, 0x40200000, 0x40400000,
    255   0x40200000, 0x40200000, 0x40200001, 0x40600000,
    256   0x40200000, 0x40200000, 0x40300000, 0x413fffff,
    257   0x40200000, 0x40300000, 0x40e00001, 0xffcfffff,
    258   0x40300000, 0x40e00000, 0xffcfffff, 0x7f800000,
    259   0x40dfffff, 0xffcfffff, 0x7f800000, 0xffd23456,
    260   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    261   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    262   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    263   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    264   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    265   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    266   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    267   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    268   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    269   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
    270   0x40000000, 0x3fe00000, 0x3fc00000, 0x3fc00000,
    271   0x3fe00000, 0x3fe00000, 0x3fc00000, 0x3f800000,
    272   0x3fe00000, 0x3fdfffff, 0x3f800001, 0x3f800000,
    273   0x3fe00000, 0x3fc00000, 0x3f800000, 0x3f7ffffe,
    274   0x3fc00000, 0x3fc00000, 0x3f7fffff, 0x3f000000,
    275   0x3fc00000, 0x3fbfffff, 0x3f000002, 0xc1000000,
    276   0x3fc00000, 0x3f9fffff, 0xc0ffffff, 0x7fcfffff,
    277   0x3fa00000, 0xc0400002, 0x7fcfffff, 0xff800000,
    278   0xc0400000, 0x7fcfffff, 0xff800000, 0x7fd23456,
    279   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    280   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    281   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    282   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    283   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    284   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    285   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    286   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    287   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    288   0x40000000, 0x40000000, 0x40200000, 0x40200000,
    289   0x40000000, 0x40100000, 0x40200000, 0x40200000,
    290   0x40100000, 0x40100000, 0x40200000, 0x40400000,
    291   0x40100000, 0x40100000, 0x40400000, 0x40400000,
    292   0x40100000, 0x40200000, 0x40400000, 0x40400000,
    293   0x40200000, 0x40200000, 0x40400000, 0x40600000,
    294   0x40200000, 0x40200001, 0x40600000, 0x41400000,
    295   0x40200000, 0x40300000, 0x413fffff, 0xffcfffff,
    296   0x40300000, 0x40e00001, 0xffcfffff, 0x7f800000,
    297   0x40e00000, 0xffcfffff, 0x7f800000, 0xffd23456,
    298   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    299   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    300   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    301   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    302   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    303   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    304   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    305   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    306   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    307   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
    308   0x40000000, 0x3fc00000, 0x3fc00000, 0x3fbfffff,
    309   0x3fe00000, 0x3fc00000, 0x3fc00000, 0x3f7fffff,
    310   0x3fe00000, 0x3fc00000, 0x3f800000, 0x3f7ffffe,
    311   0x3fdfffff, 0x3f800001, 0x3f800000, 0x3f7ffffc,
    312   0x3fc00000, 0x3f800000, 0x3f7ffffe, 0x3efffffa,
    313   0x3fc00000, 0x3f7fffff, 0x3f000000, 0xc1000001,
    314   0x3fbfffff, 0x3f000002, 0xc1000000, 0x7fcfffff,
    315   0x3f9fffff, 0xc0ffffff, 0x7fcfffff, 0xff800000,
    316   0xc0400002, 0x7fcfffff, 0xff800000, 0x7fd23456,
    317   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    318   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    319   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    320   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    321   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    322   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    323   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    324   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    325   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    326   0x40000000, 0x40000000, 0x40200000, 0x40200000,
    327   0x40000000, 0x40200000, 0x40200000, 0x40200001,
    328   0x40100000, 0x40200000, 0x40200000, 0x40400000,
    329   0x40100000, 0x40200000, 0x40400000, 0x40400000,
    330   0x40100000, 0x40400000, 0x40400000, 0x40400001,
    331   0x40200000, 0x40400000, 0x40400000, 0x40600001,
    332   0x40200000, 0x40400000, 0x40600000, 0x41400001,
    333   0x40200001, 0x40600000, 0x41400000, 0xffcfffff,
    334   0x40300000, 0x413fffff, 0xffcfffff, 0x7f800000,
    335   0x40e00001, 0xffcfffff, 0x7f800000, 0xffd23456,
    336   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    337   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    338   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    339   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    340   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    341   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    342   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    343   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    344   0x40000000, 0x40000000, 0x40000000, 0x3fa00000,
    345   0x40000000, 0x40000000, 0x3fc00000, 0x3fa00000,
    346   0x40000000, 0x3fc00000, 0x3fc00000, 0x3f9fffff,
    347   0x3fc00000, 0x3fc00000, 0x3fbfffff, 0x3f000002,
    348   0x3fc00000, 0x3fc00000, 0x3f7fffff, 0x3f000000,
    349   0x3fc00000, 0x3f800000, 0x3f7ffffe, 0x3efffffa,
    350   0x3f800001, 0x3f800000, 0x3f7ffffc, 0xbe800000,
    351   0x3f800000, 0x3f7ffffe, 0x3efffffa, 0xc1500000,
    352   0x3f7fffff, 0x3f000000, 0xc1000001, 0x7fcfffff,
    353   0x3f000002, 0xc1000000, 0x7fcfffff, 0xff800000,
    354   0xc0ffffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
    355   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    356   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    357   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    358   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    359   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    360   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    361   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    362   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    363   0x40000000, 0x40000000, 0x40000000, 0x40300000,
    364   0x40000000, 0x40000000, 0x40200000, 0x40300000,
    365   0x40000000, 0x40200000, 0x40200000, 0x40300000,
    366   0x40200000, 0x40200000, 0x40200001, 0x40600000,
    367   0x40200000, 0x40200000, 0x40400000, 0x40600000,
    368   0x40200000, 0x40400000, 0x40400000, 0x40600001,
    369   0x40400000, 0x40400000, 0x40400001, 0x40880000,
    370   0x40400000, 0x40400000, 0x40600001, 0x41880000,
    371   0x40400000, 0x40600000, 0x41400001, 0xffcfffff,
    372   0x40600000, 0x41400000, 0xffcfffff, 0x7f800000,
    373   0x413fffff, 0xffcfffff, 0x7f800000, 0xffd23456,
    374   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    375   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    376   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    377   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    378   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    379   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    380   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    381   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    382   0x40000000, 0x40000000, 0x40000000, 0xc03fffff,
    383   0x40000000, 0x40000000, 0x3fa00000, 0xc0400000,
    384   0x40000000, 0x3fc00000, 0x3fa00000, 0xc0400002,
    385   0x3fc00000, 0x3fc00000, 0x3f9fffff, 0xc0ffffff,
    386   0x3fc00000, 0x3fbfffff, 0x3f000002, 0xc1000000,
    387   0x3fc00000, 0x3f7fffff, 0x3f000000, 0xc1000001,
    388   0x3f800000, 0x3f7ffffe, 0x3efffffa, 0xc1500000,
    389   0x3f800000, 0x3f7ffffc, 0xbe800000, 0xc2c40000,
    390   0x3f7ffffe, 0x3efffffa, 0xc1500000, 0x7fcfffff,
    391   0x3f000000, 0xc1000001, 0x7fcfffff, 0xff800000,
    392   0xc1000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
    393   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    394   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    395   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    396   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    397   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    398   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    399   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    400   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    401   0x40000000, 0x40000000, 0x40000000, 0x40dfffff,
    402   0x40000000, 0x40000000, 0x40300000, 0x40e00000,
    403   0x40000000, 0x40200000, 0x40300000, 0x40e00001,
    404   0x40200000, 0x40200000, 0x40300000, 0x413fffff,
    405   0x40200000, 0x40200001, 0x40600000, 0x41400000,
    406   0x40200000, 0x40400000, 0x40600000, 0x41400001,
    407   0x40400000, 0x40400000, 0x40600001, 0x41880000,
    408   0x40400000, 0x40400001, 0x40880000, 0x42cc0000,
    409   0x40400000, 0x40600001, 0x41880000, 0xffcfffff,
    410   0x40600000, 0x41400001, 0xffcfffff, 0x7f800000,
    411   0x41400000, 0xffcfffff, 0x7f800000, 0xffd23456,
    412   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    413   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    414   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    415   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    416   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    417   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    418   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    419   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    420   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    421   0x40000000, 0x40000000, 0xc03fffff, 0xffcfffff,
    422   0x40000000, 0x3fa00000, 0xc0400000, 0xffcfffff,
    423   0x3fc00000, 0x3fa00000, 0xc0400002, 0xffcfffff,
    424   0x3fc00000, 0x3f9fffff, 0xc0ffffff, 0xffcfffff,
    425   0x3fbfffff, 0x3f000002, 0xc1000000, 0xffcfffff,
    426   0x3f7fffff, 0x3f000000, 0xc1000001, 0xffcfffff,
    427   0x3f7ffffe, 0x3efffffa, 0xc1500000, 0xffcfffff,
    428   0x3f7ffffc, 0xbe800000, 0xc2c40000, 0xffcfffff,
    429   0x3efffffa, 0xc1500000, 0x7fcfffff, 0xffcfffff,
    430   0xc1000001, 0x7fcfffff, 0xff800000, 0xffcfffff,
    431   0x7fcfffff, 0xff800000, 0x7fd23456, 0xffcfffff,
    432   0xff800000, 0x7fd23456, 0x7fc00000, 0xffcfffff,
    433   0x7fd23456, 0x7fc00000, 0x7fd23456, 0xffcfffff,
    434   0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffcfffff,
    435   0x7fd23456, 0x7fc00001, 0x40000000, 0xffcfffff,
    436   0x7fc00001, 0x40000000, 0x40000000, 0xffcfffff,
    437   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    438   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    439   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    440   0x40000000, 0x40000000, 0x40dfffff, 0xffcfffff,
    441   0x40000000, 0x40300000, 0x40e00000, 0xffcfffff,
    442   0x40200000, 0x40300000, 0x40e00001, 0xffcfffff,
    443   0x40200000, 0x40300000, 0x413fffff, 0xffcfffff,
    444   0x40200001, 0x40600000, 0x41400000, 0xffcfffff,
    445   0x40400000, 0x40600000, 0x41400001, 0xffcfffff,
    446   0x40400000, 0x40600001, 0x41880000, 0xffcfffff,
    447   0x40400001, 0x40880000, 0x42cc0000, 0xffcfffff,
    448   0x40600001, 0x41880000, 0xffcfffff, 0xffcfffff,
    449   0x41400001, 0xffcfffff, 0x7f800000, 0xffcfffff,
    450   0xffcfffff, 0x7f800000, 0xffd23456, 0xffcfffff,
    451   0x7f800000, 0xffd23456, 0xffc00000, 0xffcfffff,
    452   0xffd23456, 0xffc00000, 0xffd23456, 0xffcfffff,
    453   0xffc00000, 0xffd23456, 0xffc00001, 0xffcfffff,
    454   0xffd23456, 0xffc00001, 0x40000000, 0xffcfffff,
    455   0xffc00001, 0x40000000, 0x40000000, 0xffcfffff,
    456   0x40000000, 0x40000000, 0xffcfffff, 0x40000000,
    457   0x40000000, 0x40000000, 0xffcfffff, 0xff800000,
    458   0x40000000, 0x40000000, 0xffcfffff, 0xff800000,
    459   0x40000000, 0x40000000, 0xffcfffff, 0xff800000,
    460   0x40000000, 0xc03fffff, 0xffcfffff, 0xff800000,
    461   0x3fa00000, 0xc0400000, 0xffcfffff, 0xff800000,
    462   0x3fa00000, 0xc0400002, 0xffcfffff, 0xff800000,
    463   0x3f9fffff, 0xc0ffffff, 0xffcfffff, 0xff800000,
    464   0x3f000002, 0xc1000000, 0xffcfffff, 0xff800000,
    465   0x3f000000, 0xc1000001, 0xffcfffff, 0xff800000,
    466   0x3efffffa, 0xc1500000, 0xffcfffff, 0x7fcfffff,
    467   0xbe800000, 0xc2c40000, 0xffcfffff, 0xff800000,
    468   0xc1500000, 0x7fcfffff, 0xffcfffff, 0x7fd23456,
    469   0x7fcfffff, 0xff800000, 0xffcfffff, 0x7fc00000,
    470   0xff800000, 0x7fd23456, 0xffcfffff, 0x7fd23456,
    471   0x7fd23456, 0x7fc00000, 0xffcfffff, 0x7fc00001,
    472   0x7fc00000, 0x7fd23456, 0xffcfffff, 0xff800000,
    473   0x7fd23456, 0x7fc00001, 0xffcfffff, 0xff800000,
    474   0x7fc00001, 0x40000000, 0xffcfffff, 0xff800000,
    475   0x40000000, 0x40000000, 0xffcfffff, 0x40000000,
    476   0x40000000, 0x40000000, 0xffcfffff, 0x7f800000,
    477   0x40000000, 0x40000000, 0xffcfffff, 0x7f800000,
    478   0x40000000, 0x40000000, 0xffcfffff, 0x7f800000,
    479   0x40000000, 0x40dfffff, 0xffcfffff, 0x7f800000,
    480   0x40300000, 0x40e00000, 0xffcfffff, 0x7f800000,
    481   0x40300000, 0x40e00001, 0xffcfffff, 0x7f800000,
    482   0x40300000, 0x413fffff, 0xffcfffff, 0x7f800000,
    483   0x40600000, 0x41400000, 0xffcfffff, 0x7f800000,
    484   0x40600000, 0x41400001, 0xffcfffff, 0x7f800000,
    485   0x40600001, 0x41880000, 0xffcfffff, 0xffcfffff,
    486   0x40880000, 0x42cc0000, 0xffcfffff, 0x7f800000,
    487   0x41880000, 0xffcfffff, 0xffcfffff, 0xffd23456,
    488   0xffcfffff, 0x7f800000, 0xffcfffff, 0xffc00000,
    489   0x7f800000, 0xffd23456, 0xffcfffff, 0xffd23456,
    490   0xffd23456, 0xffc00000, 0xffcfffff, 0xffc00001,
    491   0xffc00000, 0xffd23456, 0xffcfffff, 0x7f800000,
    492   0xffd23456, 0xffc00001, 0xffcfffff, 0x7f800000,
    493   0xffc00001, 0x40000000, 0xffcfffff, 0x7f800000,
    494   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    495   0x40000000, 0xffcfffff, 0x40000000, 0xffd23456,
    496   0x40000000, 0xffcfffff, 0xff800000, 0xffd23456,
    497   0x40000000, 0xffcfffff, 0xff800000, 0xffd23456,
    498   0x40000000, 0xffcfffff, 0xff800000, 0xffd23456,
    499   0xc03fffff, 0xffcfffff, 0xff800000, 0xffd23456,
    500   0xc0400000, 0xffcfffff, 0xff800000, 0xffd23456,
    501   0xc0400002, 0xffcfffff, 0xff800000, 0xffd23456,
    502   0xc0ffffff, 0xffcfffff, 0xff800000, 0xffd23456,
    503   0xc1000000, 0xffcfffff, 0xff800000, 0xffd23456,
    504   0xc1000001, 0xffcfffff, 0xff800000, 0x7fcfffff,
    505   0xc1500000, 0xffcfffff, 0x7fcfffff, 0xffd23456,
    506   0xc2c40000, 0xffcfffff, 0xff800000, 0xffd23456,
    507   0x7fcfffff, 0xffcfffff, 0x7fd23456, 0xffd23456,
    508   0xff800000, 0xffcfffff, 0x7fc00000, 0x7fd23456,
    509   0x7fd23456, 0xffcfffff, 0x7fd23456, 0x7fc00001,
    510   0x7fc00000, 0xffcfffff, 0x7fc00001, 0xffd23456,
    511   0x7fd23456, 0xffcfffff, 0xff800000, 0xffd23456,
    512   0x7fc00001, 0xffcfffff, 0xff800000, 0xffd23456,
    513   0x40000000, 0xffcfffff, 0xff800000, 0xffd23456,
    514   0x40000000, 0xffcfffff, 0x40000000, 0xffd23456,
    515   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    516   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    517   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    518   0x40dfffff, 0xffcfffff, 0x7f800000, 0xffd23456,
    519   0x40e00000, 0xffcfffff, 0x7f800000, 0xffd23456,
    520   0x40e00001, 0xffcfffff, 0x7f800000, 0xffd23456,
    521   0x413fffff, 0xffcfffff, 0x7f800000, 0xffd23456,
    522   0x41400000, 0xffcfffff, 0x7f800000, 0xffd23456,
    523   0x41400001, 0xffcfffff, 0x7f800000, 0xffcfffff,
    524   0x41880000, 0xffcfffff, 0xffcfffff, 0xffd23456,
    525   0x42cc0000, 0xffcfffff, 0x7f800000, 0xffd23456,
    526   0xffcfffff, 0xffcfffff, 0xffd23456, 0xffd23456,
    527   0x7f800000, 0xffcfffff, 0xffc00000, 0xffd23456,
    528   0xffd23456, 0xffcfffff, 0xffd23456, 0xffc00001,
    529   0xffc00000, 0xffcfffff, 0xffc00001, 0xffd23456,
    530   0xffd23456, 0xffcfffff, 0x7f800000, 0xffd23456,
    531   0xffc00001, 0xffcfffff, 0x7f800000, 0xffd23456,
    532   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    533   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    534   0xffcfffff, 0x40000000, 0xffd23456, 0xffc00000,
    535   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    536   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    537   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    538   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    539   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    540   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    541   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    542   0xffcfffff, 0xff800000, 0xffd23456, 0x7fcfffff,
    543   0xffcfffff, 0xff800000, 0x7fcfffff, 0xffc00000,
    544   0xffcfffff, 0x7fcfffff, 0xffd23456, 0xffc00000,
    545   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    546   0xffcfffff, 0x7fd23456, 0xffd23456, 0x7fd23456,
    547   0xffcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    548   0xffcfffff, 0x7fd23456, 0x7fc00001, 0xffc00000,
    549   0xffcfffff, 0x7fc00001, 0xffd23456, 0xffc00000,
    550   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    551   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    552   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    553   0xffcfffff, 0x40000000, 0xffd23456, 0xffc00000,
    554   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    555   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    556   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    557   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    558   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    559   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    560   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    561   0xffcfffff, 0x7f800000, 0xffd23456, 0xffcfffff,
    562   0xffcfffff, 0x7f800000, 0xffcfffff, 0xffc00000,
    563   0xffcfffff, 0xffcfffff, 0xffd23456, 0xffc00000,
    564   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    565   0xffcfffff, 0xffd23456, 0xffd23456, 0xffd23456,
    566   0xffcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
    567   0xffcfffff, 0xffd23456, 0xffc00001, 0xffc00000,
    568   0xffcfffff, 0xffc00001, 0xffd23456, 0xffc00000,
    569   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    570   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    571   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    572   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    573   0x40000000, 0xffd23456, 0xffc00000, 0xffd23456,
    574   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    575   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    576   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    577   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    578   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    579   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    580   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    581   0xff800000, 0xffd23456, 0x7fcfffff, 0xffd23456,
    582   0xff800000, 0x7fcfffff, 0xffc00000, 0xffd23456,
    583   0x7fcfffff, 0xffd23456, 0xffc00000, 0xffd23456,
    584   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    585   0x7fd23456, 0xffd23456, 0x7fd23456, 0xffd23456,
    586   0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffd23456,
    587   0x7fd23456, 0x7fc00001, 0xffc00000, 0xffd23456,
    588   0x7fc00001, 0xffd23456, 0xffc00000, 0xffd23456,
    589   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    590   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    591   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    592   0x40000000, 0xffd23456, 0xffc00000, 0xffd23456,
    593   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    594   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    595   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    596   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    597   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    598   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    599   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    600   0x7f800000, 0xffd23456, 0xffcfffff, 0xffd23456,
    601   0x7f800000, 0xffcfffff, 0xffc00000, 0xffd23456,
    602   0xffcfffff, 0xffd23456, 0xffc00000, 0xffd23456,
    603   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    604   0xffd23456, 0xffd23456, 0xffd23456, 0xffd23456,
    605   0xffc00000, 0xffd23456, 0xffc00001, 0xffd23456,
    606   0xffd23456, 0xffc00001, 0xffc00000, 0xffd23456,
    607   0xffc00001, 0xffd23456, 0xffc00000, 0xffd23456,
    608   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    609   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    610   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    611   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    612   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    613   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    614   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    615   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    616   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    617   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    618   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    619   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    620   0xffd23456, 0x7fcfffff, 0xffd23456, 0xffc00001,
    621   0x7fcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
    622   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    623   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    624   0xffd23456, 0x7fd23456, 0xffd23456, 0xffc00001,
    625   0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00001,
    626   0x7fc00001, 0xffc00000, 0xffd23456, 0xffc00001,
    627   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    628   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    629   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    630   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    631   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    632   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    633   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    634   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    635   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    636   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    637   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    638   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    639   0xffd23456, 0xffcfffff, 0xffd23456, 0xffc00001,
    640   0xffcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
    641   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    642   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    643   0xffd23456, 0xffd23456, 0xffd23456, 0xffc00001,
    644   0xffd23456, 0xffc00001, 0xffd23456, 0xffc00001,
    645   0xffc00001, 0xffc00000, 0xffd23456, 0xffc00001,
    646   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    647   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    648   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    649   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    650   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    651   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    652   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    653   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    654   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    655   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    656   0xffc00000, 0xffd23456, 0xffc00001, 0x7fcfffff,
    657   0xffc00000, 0xffd23456, 0xffc00001, 0xff800000,
    658   0xffc00000, 0xffd23456, 0xffc00001, 0x7fd23456,
    659   0x7fcfffff, 0xffd23456, 0xffc00001, 0x7fc00000,
    660   0xffc00000, 0xffd23456, 0xffc00001, 0x7fd23456,
    661   0xffc00000, 0xffd23456, 0xffc00001, 0x7fc00001,
    662   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    663   0x7fd23456, 0xffd23456, 0xffc00001, 0x40000000,
    664   0x7fc00001, 0xffd23456, 0xffc00001, 0x40000000,
    665   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    666   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    667   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    668   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    669   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    670   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    671   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    672   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    673   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    674   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    675   0xffc00000, 0xffd23456, 0xffc00001, 0xffcfffff,
    676   0xffc00000, 0xffd23456, 0xffc00001, 0x7f800000,
    677   0xffc00000, 0xffd23456, 0xffc00001, 0xffd23456,
    678   0xffcfffff, 0xffd23456, 0xffc00001, 0xffc00000,
    679   0xffc00000, 0xffd23456, 0xffc00001, 0xffd23456,
    680   0xffc00000, 0xffd23456, 0xffc00001, 0xffc00001,
    681   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    682   0xffd23456, 0xffd23456, 0xffc00001, 0x40000000,
    683   0xffc00001, 0xffd23456, 0xffc00001, 0x40000000,
    684   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    685   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    686   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    687   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    688   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    689   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    690   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    691   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    692   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    693   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    694   0xffd23456, 0xffc00001, 0x40000000, 0x7fcfffff,
    695   0xffd23456, 0xffc00001, 0x7fcfffff, 0xff800000,
    696   0xffd23456, 0xffc00001, 0xff800000, 0x7fd23456,
    697   0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00000,
    698   0xffd23456, 0xffc00001, 0x7fc00000, 0x7fd23456,
    699   0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00001,
    700   0xffd23456, 0xffc00001, 0x7fc00001, 0x40000000,
    701   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    702   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    703   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    704   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    705   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    706   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    707   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    708   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    709   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    710   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    711   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    712   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    713   0xffd23456, 0xffc00001, 0x40000000, 0xffcfffff,
    714   0xffd23456, 0xffc00001, 0xffcfffff, 0x7f800000,
    715   0xffd23456, 0xffc00001, 0x7f800000, 0xffd23456,
    716   0xffd23456, 0xffc00001, 0xffd23456, 0xffc00000,
    717   0xffd23456, 0xffc00001, 0xffc00000, 0xffd23456,
    718   0xffd23456, 0xffc00001, 0xffd23456, 0xffc00001,
    719   0xffd23456, 0xffc00001, 0xffc00001, 0x40000000,
    720   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    721   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    722   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    723   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    724   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    725   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    726   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    727   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    728   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    729   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    730   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    731   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    732   0xffc00001, 0x40000000, 0x40000000, 0x7fcfffff,
    733   0xffc00001, 0x40000000, 0x7fcfffff, 0xff800000,
    734   0xffc00001, 0x7fcfffff, 0xff800000, 0x7fd23456,
    735   0xffc00001, 0xff800000, 0x7fd23456, 0x7fc00000,
    736   0xffc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    737   0xffc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    738   0xffc00001, 0x7fd23456, 0x7fc00001, 0x40000000,
    739   0xffc00001, 0x7fc00001, 0x40000000, 0x40000000,
    740   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    741   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    742   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    743   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    744   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    745   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    746   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    747   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    748   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    749   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    750   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    751   0xffc00001, 0x40000000, 0x40000000, 0xffcfffff,
    752   0xffc00001, 0x40000000, 0xffcfffff, 0x7f800000,
    753   0xffc00001, 0xffcfffff, 0x7f800000, 0xffd23456,
    754   0xffc00001, 0x7f800000, 0xffd23456, 0xffc00000,
    755   0xffc00001, 0xffd23456, 0xffc00000, 0xffd23456,
    756   0xffc00001, 0xffc00000, 0xffd23456, 0xffc00001,
    757   0xffc00001, 0xffd23456, 0xffc00001, 0x40000000,
    758   0xffc00001, 0xffc00001, 0x40000000, 0x40000000,
    759   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    760   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    761   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    762   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    763   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    764   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    765   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    766   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    767   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    768   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    769   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    770   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
    771   0x40000000, 0x40000000, 0x7fcfffff, 0x40000000,
    772   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
    773   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    774   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    775   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    776   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    777   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    778   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    779   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    780   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    781   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    782   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    783   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    784   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    785   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    786   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    787   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    788   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    789   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    790   0x40000000, 0x40000000, 0xffcfffff, 0x40000000,
    791   0x40000000, 0xffcfffff, 0x7f800000, 0xffd23456,
    792   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    793   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    794   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    795   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    796   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    797   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    798   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    799   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    800   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    801   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    802   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    803   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    804   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    805   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    806   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    807   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    808   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
    809   0x40000000, 0x40000000, 0x7fcfffff, 0x7f800000,
    810   0x40000000, 0x7fcfffff, 0x40000000, 0x7fd23456,
    811   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
    812   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    813   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    814   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    815   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    816   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    817   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    818   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    819   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    820   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    821   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    822   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    823   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    824   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    825   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    826   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    827   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    828   0x40000000, 0x40000000, 0xffcfffff, 0xff800000,
    829   0x40000000, 0xffcfffff, 0x40000000, 0xffd23456,
    830   0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
    831   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    832   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    833   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    834   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    835   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    836   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    837   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    838   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    839   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    840   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    841   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    842   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    843   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    844   0x40000000, 0x40000000, 0x40000000, 0x40300000,
    845   0x40000000, 0x40000000, 0x40000000, 0x40dfffff,
    846   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
    847   0x40000000, 0x40000000, 0x7fcfffff, 0x7f800000,
    848   0x40000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
    849   0x7fcfffff, 0x40000000, 0x7fd23456, 0x7fc00000,
    850   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    851   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    852   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    853   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    854   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    855   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    856   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    857   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    858   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    859   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    860   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    861   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    862   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    863   0x40000000, 0x40000000, 0x40000000, 0x3fa00000,
    864   0x40000000, 0x40000000, 0x40000000, 0xc03fffff,
    865   0x40000000, 0x40000000, 0x40000000, 0xffcfffff,
    866   0x40000000, 0x40000000, 0xffcfffff, 0xff800000,
    867   0x40000000, 0xffcfffff, 0xff800000, 0xffd23456,
    868   0xffcfffff, 0x40000000, 0xffd23456, 0xffc00000,
    869   0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
    870   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    871   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    872   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    873   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    874   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    875   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    876   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    877   0x40000000, 0x40000000, 0x40100000, 0x40100000,
    878   0x40000000, 0x40000000, 0x40100000, 0x40100000,
    879   0x40000000, 0x40000000, 0x40100000, 0x40200000,
    880   0x40000000, 0x40000000, 0x40200000, 0x40200000,
    881   0x40000000, 0x40000000, 0x40200000, 0x40200000,
    882   0x40000000, 0x40000000, 0x40200000, 0x40300000,
    883   0x40000000, 0x40000000, 0x40300000, 0x40e00000,
    884   0x40000000, 0x40000000, 0x40dfffff, 0x7fcfffff,
    885   0x40000000, 0x40000000, 0x7fcfffff, 0x7f800000,
    886   0x40000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
    887   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
    888   0x40000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    889   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    890   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    891   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    892   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    893   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    894   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    895   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    896   0x40000000, 0x40000000, 0x3fe00000, 0x3fe00000,
    897   0x40000000, 0x40000000, 0x3fe00000, 0x3fe00000,
    898   0x40000000, 0x40000000, 0x3fe00000, 0x3fc00000,
    899   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
    900   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
    901   0x40000000, 0x40000000, 0x3fc00000, 0x3fa00000,
    902   0x40000000, 0x40000000, 0x3fa00000, 0xc0400000,
    903   0x40000000, 0x40000000, 0xc03fffff, 0xffcfffff,
    904   0x40000000, 0x40000000, 0xffcfffff, 0xff800000,
    905   0x40000000, 0xffcfffff, 0xff800000, 0xffd23456,
    906   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    907   0x40000000, 0xffd23456, 0xffc00000, 0xffd23456,
    908   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    909   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    910   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    911   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    912   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    913   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    914   0x40000000, 0x40000000, 0x40000000, 0x40100000,
    915   0x40000000, 0x40000000, 0x40100000, 0x40100000,
    916   0x40000000, 0x40100000, 0x40100000, 0x40100000,
    917   0x40000000, 0x40100000, 0x40100000, 0x40200000,
    918   0x40000000, 0x40100000, 0x40200000, 0x40200000,
    919   0x40000000, 0x40200000, 0x40200000, 0x40200001,
    920   0x40000000, 0x40200000, 0x40200000, 0x40300000,
    921   0x40000000, 0x40200000, 0x40300000, 0x40e00001,
    922   0x40000000, 0x40300000, 0x40e00000, 0x7fcfffff,
    923   0x40000000, 0x40dfffff, 0x7fcfffff, 0x7f800000,
    924   0x40000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
    925   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
    926   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    927   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    928   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    929   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    930   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    931   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    932   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    933   0x40000000, 0x40000000, 0x40000000, 0x3fe00000,
    934   0x40000000, 0x40000000, 0x3fe00000, 0x3fe00000,
    935   0x40000000, 0x3fe00000, 0x3fe00000, 0x3fdfffff,
    936   0x40000000, 0x3fe00000, 0x3fe00000, 0x3fc00000,
    937   0x40000000, 0x3fe00000, 0x3fc00000, 0x3fc00000,
    938   0x40000000, 0x3fc00000, 0x3fc00000, 0x3fbfffff,
    939   0x40000000, 0x3fc00000, 0x3fc00000, 0x3f9fffff,
    940   0x40000000, 0x3fc00000, 0x3fa00000, 0xc0400002,
    941   0x40000000, 0x3fa00000, 0xc0400000, 0xffcfffff,
    942   0x40000000, 0xc03fffff, 0xffcfffff, 0xff800000,
    943   0x40000000, 0xffcfffff, 0xff800000, 0xffd23456,
    944   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    945   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    946   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    947   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    948   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    949   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    950   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    951   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    952   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    953   0x40000000, 0x40000000, 0x40100000, 0x40200000,
    954   0x40000000, 0x40100000, 0x40100000, 0x40200000,
    955   0x40100000, 0x40100000, 0x40100000, 0x40400000,
    956   0x40100000, 0x40100000, 0x40200000, 0x40400000,
    957   0x40100000, 0x40200000, 0x40200000, 0x40400000,
    958   0x40200000, 0x40200000, 0x40200001, 0x40600000,
    959   0x40200000, 0x40200000, 0x40300000, 0x413fffff,
    960   0x40200000, 0x40300000, 0x40e00001, 0x7fcfffff,
    961   0x40300000, 0x40e00000, 0x7fcfffff, 0x7f800000,
    962   0x40dfffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
    963   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
    964   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
    965   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
    966   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
    967   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
    968   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
    969   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    970   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    971   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
    972   0x40000000, 0x40000000, 0x3fe00000, 0x3fc00000,
    973   0x40000000, 0x3fe00000, 0x3fe00000, 0x3fc00000,
    974   0x3fe00000, 0x3fe00000, 0x3fdfffff, 0x3f800001,
    975   0x3fe00000, 0x3fe00000, 0x3fc00000, 0x3f800000,
    976   0x3fe00000, 0x3fc00000, 0x3fc00000, 0x3f7fffff,
    977   0x3fc00000, 0x3fc00000, 0x3fbfffff, 0x3f000002,
    978   0x3fc00000, 0x3fc00000, 0x3f9fffff, 0xc0ffffff,
    979   0x3fc00000, 0x3fa00000, 0xc0400002, 0xffcfffff,
    980   0x3fa00000, 0xc0400000, 0xffcfffff, 0xff800000,
    981   0xc03fffff, 0xffcfffff, 0xff800000, 0xffd23456,
    982   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
    983   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
    984   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
    985   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
    986   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
    987   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
    988   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    989   0x40000000, 0x40000000, 0x40000000, 0x40000000,
    990   0x40000000, 0x40000000, 0x40000000, 0x40200000,
    991   0x40000000, 0x40000000, 0x40200000, 0x40200000,
    992   0x40000000, 0x40100000, 0x40200000, 0x40200000,
    993   0x40100000, 0x40100000, 0x40200000, 0x40400000,
    994   0x40100000, 0x40100000, 0x40400000, 0x40400000,
    995   0x40100000, 0x40200000, 0x40400000, 0x40400000,
    996   0x40200000, 0x40200000, 0x40400000, 0x40600000,
    997   0x40200000, 0x40200001, 0x40600000, 0x41400000,
    998   0x40200000, 0x40300000, 0x413fffff, 0x7fcfffff,
    999   0x40300000, 0x40e00001, 0x7fcfffff, 0x7f800000,
   1000   0x40e00000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1001   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1002   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1003   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1004   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1005   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1006   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1007   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1008   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1009   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
   1010   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
   1011   0x40000000, 0x3fe00000, 0x3fc00000, 0x3fc00000,
   1012   0x3fe00000, 0x3fe00000, 0x3fc00000, 0x3f800000,
   1013   0x3fe00000, 0x3fdfffff, 0x3f800001, 0x3f800000,
   1014   0x3fe00000, 0x3fc00000, 0x3f800000, 0x3f7ffffe,
   1015   0x3fc00000, 0x3fc00000, 0x3f7fffff, 0x3f000000,
   1016   0x3fc00000, 0x3fbfffff, 0x3f000002, 0xc1000000,
   1017   0x3fc00000, 0x3f9fffff, 0xc0ffffff, 0xffcfffff,
   1018   0x3fa00000, 0xc0400002, 0xffcfffff, 0xff800000,
   1019   0xc0400000, 0xffcfffff, 0xff800000, 0xffd23456,
   1020   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
   1021   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
   1022   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
   1023   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
   1024   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
   1025   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
   1026   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1027   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1028   0x40000000, 0x40000000, 0x40000000, 0x40200000,
   1029   0x40000000, 0x40000000, 0x40200000, 0x40200000,
   1030   0x40000000, 0x40200000, 0x40200000, 0x40200001,
   1031   0x40100000, 0x40200000, 0x40200000, 0x40400000,
   1032   0x40100000, 0x40200000, 0x40400000, 0x40400000,
   1033   0x40100000, 0x40400000, 0x40400000, 0x40400001,
   1034   0x40200000, 0x40400000, 0x40400000, 0x40600001,
   1035   0x40200000, 0x40400000, 0x40600000, 0x41400001,
   1036   0x40200001, 0x40600000, 0x41400000, 0x7fcfffff,
   1037   0x40300000, 0x413fffff, 0x7fcfffff, 0x7f800000,
   1038   0x40e00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1039   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1040   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1041   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1042   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1043   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1044   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1045   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1046   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1047   0x40000000, 0x40000000, 0x40000000, 0x3fc00000,
   1048   0x40000000, 0x40000000, 0x3fc00000, 0x3fc00000,
   1049   0x40000000, 0x3fc00000, 0x3fc00000, 0x3fbfffff,
   1050   0x3fe00000, 0x3fc00000, 0x3fc00000, 0x3f7fffff,
   1051   0x3fe00000, 0x3fc00000, 0x3f800000, 0x3f7ffffe,
   1052   0x3fdfffff, 0x3f800001, 0x3f800000, 0x3f7ffffc,
   1053   0x3fc00000, 0x3f800000, 0x3f7ffffe, 0x3efffffa,
   1054   0x3fc00000, 0x3f7fffff, 0x3f000000, 0xc1000001,
   1055   0x3fbfffff, 0x3f000002, 0xc1000000, 0xffcfffff,
   1056   0x3f9fffff, 0xc0ffffff, 0xffcfffff, 0xff800000,
   1057   0xc0400002, 0xffcfffff, 0xff800000, 0xffd23456,
   1058   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
   1059   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
   1060   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
   1061   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
   1062   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
   1063   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
   1064   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1065   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1066   0x40000000, 0x40000000, 0x40000000, 0x40300000,
   1067   0x40000000, 0x40000000, 0x40200000, 0x40300000,
   1068   0x40000000, 0x40200000, 0x40200000, 0x40300000,
   1069   0x40200000, 0x40200000, 0x40200001, 0x40600000,
   1070   0x40200000, 0x40200000, 0x40400000, 0x40600000,
   1071   0x40200000, 0x40400000, 0x40400000, 0x40600001,
   1072   0x40400000, 0x40400000, 0x40400001, 0x40880000,
   1073   0x40400000, 0x40400000, 0x40600001, 0x41880000,
   1074   0x40400000, 0x40600000, 0x41400001, 0x7fcfffff,
   1075   0x40600000, 0x41400000, 0x7fcfffff, 0x7f800000,
   1076   0x413fffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1077   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1078   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1079   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1080   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1081   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1082   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1083   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1084   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1085   0x40000000, 0x40000000, 0x40000000, 0x3fa00000,
   1086   0x40000000, 0x40000000, 0x3fc00000, 0x3fa00000,
   1087   0x40000000, 0x3fc00000, 0x3fc00000, 0x3f9fffff,
   1088   0x3fc00000, 0x3fc00000, 0x3fbfffff, 0x3f000002,
   1089   0x3fc00000, 0x3fc00000, 0x3f7fffff, 0x3f000000,
   1090   0x3fc00000, 0x3f800000, 0x3f7ffffe, 0x3efffffa,
   1091   0x3f800001, 0x3f800000, 0x3f7ffffc, 0xbe800000,
   1092   0x3f800000, 0x3f7ffffe, 0x3efffffa, 0xc1500000,
   1093   0x3f7fffff, 0x3f000000, 0xc1000001, 0xffcfffff,
   1094   0x3f000002, 0xc1000000, 0xffcfffff, 0xff800000,
   1095   0xc0ffffff, 0xffcfffff, 0xff800000, 0xffd23456,
   1096   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
   1097   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
   1098   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
   1099   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
   1100   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
   1101   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
   1102   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1103   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1104   0x40000000, 0x40000000, 0x40000000, 0x40dfffff,
   1105   0x40000000, 0x40000000, 0x40300000, 0x40e00000,
   1106   0x40000000, 0x40200000, 0x40300000, 0x40e00001,
   1107   0x40200000, 0x40200000, 0x40300000, 0x413fffff,
   1108   0x40200000, 0x40200001, 0x40600000, 0x41400000,
   1109   0x40200000, 0x40400000, 0x40600000, 0x41400001,
   1110   0x40400000, 0x40400000, 0x40600001, 0x41880000,
   1111   0x40400000, 0x40400001, 0x40880000, 0x42cc0000,
   1112   0x40400000, 0x40600001, 0x41880000, 0x7fcfffff,
   1113   0x40600000, 0x41400001, 0x7fcfffff, 0x7f800000,
   1114   0x41400000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1115   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1116   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1117   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1118   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1119   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1120   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1121   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1122   0x40000000, 0x40000000, 0x40000000, 0x40000000,
   1123   0x40000000, 0x40000000, 0x40000000, 0xc03fffff,
   1124   0x40000000, 0x40000000, 0x3fa00000, 0xc0400000,
   1125   0x40000000, 0x3fc00000, 0x3fa00000, 0xc0400002,
   1126   0x3fc00000, 0x3fc00000, 0x3f9fffff, 0xc0ffffff,
   1127   0x3fc00000, 0x3fbfffff, 0x3f000002, 0xc1000000,
   1128   0x3fc00000, 0x3f7fffff, 0x3f000000, 0xc1000001,
   1129   0x3f800000, 0x3f7ffffe, 0x3efffffa, 0xc1500000,
   1130   0x3f800000, 0x3f7ffffc, 0xbe800000, 0xc2c40000,
   1131   0x3f7ffffe, 0x3efffffa, 0xc1500000, 0xffcfffff,
   1132   0x3f000000, 0xc1000001, 0xffcfffff, 0xff800000,
   1133   0xc1000000, 0xffcfffff, 0xff800000, 0xffd23456,
   1134   0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
   1135   0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
   1136   0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
   1137   0xffc00000, 0xffd23456, 0xffc00001, 0x40000000,
   1138   0xffd23456, 0xffc00001, 0x40000000, 0x40000000,
   1139   0xffc00001, 0x40000000, 0x40000000, 0x40000000,
   1140   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
   1141   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
   1142   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
   1143   0x40000000, 0x40000000, 0x40dfffff, 0x7fcfffff,
   1144   0x40000000, 0x40300000, 0x40e00000, 0x7fcfffff,
   1145   0x40200000, 0x40300000, 0x40e00001, 0x7fcfffff,
   1146   0x40200000, 0x40300000, 0x413fffff, 0x7fcfffff,
   1147   0x40200001, 0x40600000, 0x41400000, 0x7fcfffff,
   1148   0x40400000, 0x40600000, 0x41400001, 0x7fcfffff,
   1149   0x40400000, 0x40600001, 0x41880000, 0x7fcfffff,
   1150   0x40400001, 0x40880000, 0x42cc0000, 0x7fcfffff,
   1151   0x40600001, 0x41880000, 0x7fcfffff, 0x7fcfffff,
   1152   0x41400001, 0x7fcfffff, 0x7f800000, 0x7fcfffff,
   1153   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fcfffff,
   1154   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fcfffff,
   1155   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fcfffff,
   1156   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fcfffff,
   1157   0x7fd23456, 0x7fc00001, 0x40000000, 0x7fcfffff,
   1158   0x7fc00001, 0x40000000, 0x40000000, 0x7fcfffff,
   1159   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
   1160   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
   1161   0x40000000, 0x40000000, 0x40000000, 0x7fcfffff,
   1162   0x40000000, 0x40000000, 0xc03fffff, 0x7fcfffff,
   1163   0x40000000, 0x3fa00000, 0xc0400000, 0x7fcfffff,
   1164   0x3fc00000, 0x3fa00000, 0xc0400002, 0x7fcfffff,
   1165   0x3fc00000, 0x3f9fffff, 0xc0ffffff, 0x7fcfffff,
   1166   0x3fbfffff, 0x3f000002, 0xc1000000, 0x7fcfffff,
   1167   0x3f7fffff, 0x3f000000, 0xc1000001, 0x7fcfffff,
   1168   0x3f7ffffe, 0x3efffffa, 0xc1500000, 0x7fcfffff,
   1169   0x3f7ffffc, 0xbe800000, 0xc2c40000, 0x7fcfffff,
   1170   0x3efffffa, 0xc1500000, 0xffcfffff, 0x7fcfffff,
   1171   0xc1000001, 0xffcfffff, 0xff800000, 0x7fcfffff,
   1172   0xffcfffff, 0xff800000, 0xffd23456, 0x7fcfffff,
   1173   0xff800000, 0xffd23456, 0xffc00000, 0x7fcfffff,
   1174   0xffd23456, 0xffc00000, 0xffd23456, 0x7fcfffff,
   1175   0xffc00000, 0xffd23456, 0xffc00001, 0x7fcfffff,
   1176   0xffd23456, 0xffc00001, 0x40000000, 0x7fcfffff,
   1177   0xffc00001, 0x40000000, 0x40000000, 0x7fcfffff,
   1178   0x40000000, 0x40000000, 0x7fcfffff, 0x40000000,
   1179   0x40000000, 0x40000000, 0x7fcfffff, 0x7f800000,
   1180   0x40000000, 0x40000000, 0x7fcfffff, 0x7f800000,
   1181   0x40000000, 0x40000000, 0x7fcfffff, 0x7f800000,
   1182   0x40000000, 0x40dfffff, 0x7fcfffff, 0x7f800000,
   1183   0x40300000, 0x40e00000, 0x7fcfffff, 0x7f800000,
   1184   0x40300000, 0x40e00001, 0x7fcfffff, 0x7f800000,
   1185   0x40300000, 0x413fffff, 0x7fcfffff, 0x7f800000,
   1186   0x40600000, 0x41400000, 0x7fcfffff, 0x7f800000,
   1187   0x40600000, 0x41400001, 0x7fcfffff, 0x7f800000,
   1188   0x40600001, 0x41880000, 0x7fcfffff, 0x7fcfffff,
   1189   0x40880000, 0x42cc0000, 0x7fcfffff, 0x7f800000,
   1190   0x41880000, 0x7fcfffff, 0x7fcfffff, 0x7fd23456,
   1191   0x7fcfffff, 0x7f800000, 0x7fcfffff, 0x7fc00000,
   1192   0x7f800000, 0x7fd23456, 0x7fcfffff, 0x7fd23456,
   1193   0x7fd23456, 0x7fc00000, 0x7fcfffff, 0x7fc00001,
   1194   0x7fc00000, 0x7fd23456, 0x7fcfffff, 0x7f800000,
   1195   0x7fd23456, 0x7fc00001, 0x7fcfffff, 0x7f800000,
   1196   0x7fc00001, 0x40000000, 0x7fcfffff, 0x7f800000,
   1197   0x40000000, 0x40000000, 0x7fcfffff, 0x40000000,
   1198   0x40000000, 0x40000000, 0x7fcfffff, 0xff800000,
   1199   0x40000000, 0x40000000, 0x7fcfffff, 0xff800000,
   1200   0x40000000, 0x40000000, 0x7fcfffff, 0xff800000,
   1201   0x40000000, 0xc03fffff, 0x7fcfffff, 0xff800000,
   1202   0x3fa00000, 0xc0400000, 0x7fcfffff, 0xff800000,
   1203   0x3fa00000, 0xc0400002, 0x7fcfffff, 0xff800000,
   1204   0x3f9fffff, 0xc0ffffff, 0x7fcfffff, 0xff800000,
   1205   0x3f000002, 0xc1000000, 0x7fcfffff, 0xff800000,
   1206   0x3f000000, 0xc1000001, 0x7fcfffff, 0xff800000,
   1207   0x3efffffa, 0xc1500000, 0x7fcfffff, 0xffcfffff,
   1208   0xbe800000, 0xc2c40000, 0x7fcfffff, 0xff800000,
   1209   0xc1500000, 0xffcfffff, 0x7fcfffff, 0xffd23456,
   1210   0xffcfffff, 0xff800000, 0x7fcfffff, 0xffc00000,
   1211   0xff800000, 0xffd23456, 0x7fcfffff, 0xffd23456,
   1212   0xffd23456, 0xffc00000, 0x7fcfffff, 0xffc00001,
   1213   0xffc00000, 0xffd23456, 0x7fcfffff, 0xff800000,
   1214   0xffd23456, 0xffc00001, 0x7fcfffff, 0xff800000,
   1215   0xffc00001, 0x40000000, 0x7fcfffff, 0xff800000,
   1216   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1217   0x40000000, 0x7fcfffff, 0x40000000, 0x7fd23456,
   1218   0x40000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1219   0x40000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1220   0x40000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1221   0x40dfffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1222   0x40e00000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1223   0x40e00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1224   0x413fffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1225   0x41400000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1226   0x41400001, 0x7fcfffff, 0x7f800000, 0x7fcfffff,
   1227   0x41880000, 0x7fcfffff, 0x7fcfffff, 0x7fd23456,
   1228   0x42cc0000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1229   0x7fcfffff, 0x7fcfffff, 0x7fd23456, 0x7fd23456,
   1230   0x7f800000, 0x7fcfffff, 0x7fc00000, 0x7fd23456,
   1231   0x7fd23456, 0x7fcfffff, 0x7fd23456, 0x7fc00001,
   1232   0x7fc00000, 0x7fcfffff, 0x7fc00001, 0x7fd23456,
   1233   0x7fd23456, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1234   0x7fc00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1235   0x40000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1236   0x40000000, 0x7fcfffff, 0x40000000, 0x7fd23456,
   1237   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1238   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1239   0x40000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1240   0xc03fffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1241   0xc0400000, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1242   0xc0400002, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1243   0xc0ffffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1244   0xc1000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1245   0xc1000001, 0x7fcfffff, 0xff800000, 0xffcfffff,
   1246   0xc1500000, 0x7fcfffff, 0xffcfffff, 0x7fd23456,
   1247   0xc2c40000, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1248   0xffcfffff, 0x7fcfffff, 0xffd23456, 0x7fd23456,
   1249   0xff800000, 0x7fcfffff, 0xffc00000, 0xffd23456,
   1250   0xffd23456, 0x7fcfffff, 0xffd23456, 0xffc00001,
   1251   0xffc00000, 0x7fcfffff, 0xffc00001, 0x7fd23456,
   1252   0xffd23456, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1253   0xffc00001, 0x7fcfffff, 0xff800000, 0x7fd23456,
   1254   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1255   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1256   0x7fcfffff, 0x40000000, 0x7fd23456, 0x7fc00000,
   1257   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1258   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1259   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1260   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1261   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1262   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1263   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1264   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fcfffff,
   1265   0x7fcfffff, 0x7f800000, 0x7fcfffff, 0x7fc00000,
   1266   0x7fcfffff, 0x7fcfffff, 0x7fd23456, 0x7fc00000,
   1267   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1268   0x7fcfffff, 0x7fd23456, 0x7fd23456, 0x7fd23456,
   1269   0x7fcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1270   0x7fcfffff, 0x7fd23456, 0x7fc00001, 0x7fc00000,
   1271   0x7fcfffff, 0x7fc00001, 0x7fd23456, 0x7fc00000,
   1272   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1273   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1274   0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1275   0x7fcfffff, 0x40000000, 0x7fd23456, 0x7fc00000,
   1276   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1277   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1278   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1279   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1280   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1281   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1282   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1283   0x7fcfffff, 0xff800000, 0x7fd23456, 0xffcfffff,
   1284   0x7fcfffff, 0xff800000, 0xffcfffff, 0x7fc00000,
   1285   0x7fcfffff, 0xffcfffff, 0x7fd23456, 0x7fc00000,
   1286   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1287   0x7fcfffff, 0xffd23456, 0x7fd23456, 0xffd23456,
   1288   0x7fcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
   1289   0x7fcfffff, 0xffd23456, 0xffc00001, 0x7fc00000,
   1290   0x7fcfffff, 0xffc00001, 0x7fd23456, 0x7fc00000,
   1291   0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
   1292   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1293   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1294   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1295   0x40000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1296   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1297   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1298   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1299   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1300   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1301   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1302   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1303   0x7f800000, 0x7fd23456, 0x7fcfffff, 0x7fd23456,
   1304   0x7f800000, 0x7fcfffff, 0x7fc00000, 0x7fd23456,
   1305   0x7fcfffff, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1306   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1307   0x7fd23456, 0x7fd23456, 0x7fd23456, 0x7fd23456,
   1308   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fd23456,
   1309   0x7fd23456, 0x7fc00001, 0x7fc00000, 0x7fd23456,
   1310   0x7fc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1311   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1312   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1313   0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1314   0x40000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1315   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1316   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1317   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1318   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1319   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1320   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1321   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1322   0xff800000, 0x7fd23456, 0xffcfffff, 0x7fd23456,
   1323   0xff800000, 0xffcfffff, 0x7fc00000, 0x7fd23456,
   1324   0xffcfffff, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1325   0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1326   0xffd23456, 0x7fd23456, 0xffd23456, 0x7fd23456,
   1327   0xffc00000, 0xffd23456, 0xffc00001, 0x7fd23456,
   1328   0xffd23456, 0xffc00001, 0x7fc00000, 0x7fd23456,
   1329   0xffc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1330   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1331   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1332   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1333   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1334   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1335   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1336   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1337   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1338   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1339   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1340   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1341   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1342   0x7fd23456, 0x7fcfffff, 0x7fd23456, 0x7fc00001,
   1343   0x7fcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1344   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1345   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1346   0x7fd23456, 0x7fd23456, 0x7fd23456, 0x7fc00001,
   1347   0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00001,
   1348   0x7fc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1349   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1350   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1351   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1352   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1353   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1354   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1355   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1356   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1357   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1358   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1359   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1360   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1361   0x7fd23456, 0xffcfffff, 0x7fd23456, 0x7fc00001,
   1362   0xffcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1363   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1364   0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1365   0x7fd23456, 0xffd23456, 0x7fd23456, 0x7fc00001,
   1366   0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00001,
   1367   0xffc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1368   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1369   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1370   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1371   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1372   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1373   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1374   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1375   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1376   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1377   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1378   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fcfffff,
   1379   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7f800000,
   1380   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fd23456,
   1381   0x7fcfffff, 0x7fd23456, 0x7fc00001, 0x7fc00000,
   1382   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fd23456,
   1383   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fc00001,
   1384   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1385   0x7fd23456, 0x7fd23456, 0x7fc00001, 0x40000000,
   1386   0x7fc00001, 0x7fd23456, 0x7fc00001, 0x40000000,
   1387   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1388   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1389   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1390   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1391   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1392   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1393   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1394   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1395   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1396   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1397   0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffcfffff,
   1398   0x7fc00000, 0x7fd23456, 0x7fc00001, 0xff800000,
   1399   0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffd23456,
   1400   0xffcfffff, 0x7fd23456, 0x7fc00001, 0xffc00000,
   1401   0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffd23456,
   1402   0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffc00001,
   1403   0x7fc00000, 0x7fd23456, 0x7fc00001, 0x40000000,
   1404   0xffd23456, 0x7fd23456, 0x7fc00001, 0x40000000,
   1405   0xffc00001, 0x7fd23456, 0x7fc00001, 0x40000000,
   1406   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1407   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1408   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1409   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1410   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1411   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1412   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1413   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1414   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1415   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1416   0x7fd23456, 0x7fc00001, 0x40000000, 0x7fcfffff,
   1417   0x7fd23456, 0x7fc00001, 0x7fcfffff, 0x7f800000,
   1418   0x7fd23456, 0x7fc00001, 0x7f800000, 0x7fd23456,
   1419   0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00000,
   1420   0x7fd23456, 0x7fc00001, 0x7fc00000, 0x7fd23456,
   1421   0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00001,
   1422   0x7fd23456, 0x7fc00001, 0x7fc00001, 0x40000000,
   1423   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1424   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1425   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1426   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1427   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1428   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1429   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1430   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1431   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1432   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1433   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1434   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1435   0x7fd23456, 0x7fc00001, 0x40000000, 0xffcfffff,
   1436   0x7fd23456, 0x7fc00001, 0xffcfffff, 0xff800000,
   1437   0x7fd23456, 0x7fc00001, 0xff800000, 0xffd23456,
   1438   0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00000,
   1439   0x7fd23456, 0x7fc00001, 0xffc00000, 0xffd23456,
   1440   0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00001,
   1441   0x7fd23456, 0x7fc00001, 0xffc00001, 0x40000000,
   1442   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1443   0x7fd23456, 0x7fc00001, 0x40000000, 0x40000000,
   1444   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1445   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1446   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1447   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1448   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1449   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1450   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1451   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1452   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1453   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1454   0x7fc00001, 0x40000000, 0x40000000, 0x7fcfffff,
   1455   0x7fc00001, 0x40000000, 0x7fcfffff, 0x7f800000,
   1456   0x7fc00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
   1457   0x7fc00001, 0x7f800000, 0x7fd23456, 0x7fc00000,
   1458   0x7fc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
   1459   0x7fc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
   1460   0x7fc00001, 0x7fd23456, 0x7fc00001, 0x40000000,
   1461   0x7fc00001, 0x7fc00001, 0x40000000, 0x40000000,
   1462   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1463   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1464   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1465   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1466   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1467   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1468   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1469   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1470   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1471   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1472   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1473   0x7fc00001, 0x40000000, 0x40000000, 0xffcfffff,
   1474   0x7fc00001, 0x40000000, 0xffcfffff, 0xff800000,
   1475   0x7fc00001, 0xffcfffff, 0xff800000, 0xffd23456,
   1476   0x7fc00001, 0xff800000, 0xffd23456, 0xffc00000,
   1477   0x7fc00001, 0xffd23456, 0xffc00000, 0xffd23456,
   1478   0x7fc00001, 0xffc00000, 0xffd23456, 0xffc00001,
   1479   0x7fc00001, 0xffd23456, 0xffc00001, 0x40000000,
   1480   0x7fc00001, 0xffc00001, 0x40000000, 0x40000000,
   1481   0x7fc00001, 0x40000000, 0x40000000, 0x40000000,
   1482 };
   1483 const unsigned kExpectedCount_NEON_frecps_4S = 1444;
   1484 
   1485 #endif  // VIXL_SIM_FRECPS_4S_TRACE_A64_H_
   1486