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_UQRSHL_4H_TRACE_A64_H_
     35 #define VIXL_SIM_UQRSHL_4H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_uqrshl_4H[] = {
     38   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     39   0xffff, 0xffff, 0xffff, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
     40   0xffff, 0xffff, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
     41   0xffff, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
     42   0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
     43   0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
     44   0x003f, 0x007f, 0x6666, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     45   0x007e, 0x00fe, 0xcccc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     46   0x00fc, 0x01fc, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     47   0x01f8, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     48   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     49   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     50   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     51   0xffff, 0xffff, 0xffff, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
     52   0xffff, 0xffff, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
     53   0xffff, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
     54   0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
     55   0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
     56   0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     57   0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     58   0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     59   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     60   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     61   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     62   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     63   0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
     64   0x0000, 0x0000, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
     65   0x0000, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
     66   0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
     67   0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
     68   0x0040, 0x3333, 0xaaaa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     69   0x007f, 0x6666, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     70   0x00fe, 0xcccc, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     71   0x01fc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     72   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     73   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     74   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     75   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
     76   0xffff, 0xffff, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
     77   0xffff, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
     78   0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
     79   0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
     80   0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     81   0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     82   0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     83   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     84   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     85   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     86   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     87   0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
     88   0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
     89   0x0000, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
     90   0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
     91   0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
     92   0x199a, 0x5555, 0xfffa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     93   0x3333, 0xaaaa, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     94   0x6666, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     95   0xcccc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     96   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     97   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     98   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     99   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    100   0xffff, 0xffff, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    101   0xffff, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
    102   0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
    103   0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
    104   0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    105   0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    106   0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    107   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    108   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    109   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    110   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    111   0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    112   0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    113   0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
    114   0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
    115   0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
    116   0x2aab, 0x7ffd, 0xfffc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    117   0x5555, 0xfffa, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    118   0xaaaa, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    119   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    120   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    121   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    122   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    123   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    124   0xffff, 0xffff, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    125   0xffff, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
    126   0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
    127   0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
    128   0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    129   0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    130   0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    131   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    132   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    133   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    134   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    135   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    136   0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    137   0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    138   0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    139   0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    140   0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    141   0x7ffd, 0xfffc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    142   0xfffa, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    143   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    144   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    145   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    146   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    147   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    148   0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    149   0xffff, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    150   0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    151   0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    152   0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    153   0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    154   0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    155   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    156   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    157   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    158   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    159   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    160   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    161   0x0000, 0x1000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    162   0x1000, 0x2000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    163   0x2000, 0x4000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
    164   0x3fff, 0x7fff, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
    165   0x7ffe, 0xfffe, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    166   0xfffc, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    167   0xffff, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    168   0xffff, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    169   0xffff, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    170   0xffff, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    171   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    172   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    173   0xffff, 0x1000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    174   0x1000, 0x2000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    175   0x2000, 0x4000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
    176   0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    177   0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    178   0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    179   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    180   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    181   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    182   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    183   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    184   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    185   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    186   0x1000, 0x0000, 0x0001, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
    187   0x2000, 0x0000, 0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
    188   0x4000, 0x0000, 0x0002, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000,
    189   0x7fff, 0x0000, 0x0004, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    190   0xfffe, 0x0000, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    191   0xffff, 0x0000, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    192   0xffff, 0x0000, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    193   0xffff, 0x0000, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    194   0xffff, 0x0000, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    195   0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    196   0xffff, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    197   0xffff, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    198   0x1000, 0x0000, 0x0001, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
    199   0x2000, 0x0000, 0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
    200   0x4000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    201   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    202   0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    203   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    204   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    205   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    206   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    207   0x0000, 0x0000, 0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
    208   0x0000, 0x0000, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
    209   0x0000, 0x0000, 0x0001, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000,
    210   0x0000, 0x0000, 0x0001, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    211   0x0000, 0x0001, 0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
    212   0x0000, 0x0001, 0x0004, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000,
    213   0x0000, 0x0002, 0x0008, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    214   0x0000, 0x0004, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    215   0x0000, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    216   0x0000, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    217   0x0000, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    218   0x0000, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    219   0x0000, 0xffff, 0xffff, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
    220   0x0000, 0xffff, 0x0000, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
    221   0x0000, 0x0000, 0x0001, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000,
    222   0x0000, 0x0000, 0x0001, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    223   0x0000, 0x0001, 0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
    224   0x0000, 0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    225   0x0000, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    226   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    227   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    228   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    229   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    230   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    231   0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    232   0x0000, 0x0000, 0x0002, 0x001f, 0x0000, 0x0000, 0x0000, 0x0000,
    233   0x0000, 0x0000, 0x0004, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
    234   0x0000, 0x0001, 0x0008, 0x007d, 0x0000, 0x0000, 0x0000, 0x0000,
    235   0x0000, 0x0001, 0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000,
    236   0x0001, 0x0002, 0x0020, 0x01f4, 0x0000, 0x0000, 0x0000, 0x0000,
    237   0x0001, 0x0004, 0x0040, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    238   0x0002, 0x0008, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    239   0x0004, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    240   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    241   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    242   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    243   0xffff, 0xffff, 0xffff, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    244   0xffff, 0xffff, 0x0002, 0x001f, 0x0000, 0x0000, 0x0000, 0x0000,
    245   0xffff, 0x0000, 0x0004, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
    246   0x0000, 0x0001, 0x0008, 0x007d, 0x0000, 0x0000, 0x0000, 0x0000,
    247   0x0000, 0x0001, 0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000,
    248   0x0001, 0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    249   0x0001, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    250   0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    251   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    252   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    253   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    254   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    255   0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    256   0x0000, 0x0000, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
    257   0x0000, 0x0002, 0x001f, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
    258   0x0000, 0x0004, 0x003f, 0x007e, 0x0000, 0x0000, 0x0000, 0x0000,
    259   0x0001, 0x0008, 0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000,
    260   0x0001, 0x0010, 0x00fa, 0x01f8, 0x0000, 0x0000, 0x0000, 0x0000,
    261   0x0002, 0x0020, 0x01f4, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    262   0x0004, 0x0040, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    263   0x0008, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    264   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    265   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    266   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    267   0xffff, 0xffff, 0xffff, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    268   0xffff, 0xffff, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
    269   0xffff, 0x0002, 0x001f, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000,
    270   0x0000, 0x0004, 0x003f, 0x007e, 0x0000, 0x0000, 0x0000, 0x0000,
    271   0x0001, 0x0008, 0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000,
    272   0x0001, 0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    273   0x0002, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    274   0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    275   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    276   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    277   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    278   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    279   0x0000, 0x0000, 0x0000, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    280   0x0000, 0x0000, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
    281   0x0000, 0x0010, 0x0020, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000,
    282   0x0002, 0x001f, 0x003f, 0x007f, 0x0000, 0x0000, 0x0000, 0x0000,
    283   0x0004, 0x003f, 0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000,
    284   0x0008, 0x007d, 0x00fc, 0x01fc, 0x0000, 0x0000, 0x0000, 0x0000,
    285   0x0010, 0x00fa, 0x01f8, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    286   0x0020, 0x01f4, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    287   0x0040, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    288   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    289   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    290   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    291   0xffff, 0xffff, 0xffff, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
    292   0xffff, 0xffff, 0x0010, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
    293   0xffff, 0x0010, 0x0020, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000,
    294   0x0002, 0x001f, 0x003f, 0x007f, 0x0000, 0x0000, 0x0000, 0x0000,
    295   0x0004, 0x003f, 0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000,
    296   0x0008, 0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    297   0x0010, 0x00fa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    298   0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    299   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    300   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    301   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    302   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    303   0x0000, 0x0000, 0x0000, 0x0666, 0x0000, 0x0000, 0x0000, 0x0000,
    304   0x0000, 0x0000, 0x0010, 0x0ccd, 0x0000, 0x0000, 0x0000, 0x0000,
    305   0x0000, 0x0010, 0x0020, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
    306   0x0010, 0x0020, 0x0040, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
    307   0x001f, 0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
    308   0x003f, 0x007e, 0x00fe, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000,
    309   0x007d, 0x00fc, 0x01fc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    310   0x00fa, 0x01f8, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    311   0x01f4, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    312   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    313   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    314   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    315   0xffff, 0xffff, 0xffff, 0x0666, 0x0000, 0x0000, 0x0000, 0x0000,
    316   0xffff, 0xffff, 0x0010, 0x0ccd, 0x0000, 0x0000, 0x0000, 0x0000,
    317   0xffff, 0x0010, 0x0020, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
    318   0x0010, 0x0020, 0x0040, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
    319   0x001f, 0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
    320   0x003f, 0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    321   0x007d, 0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    322   0x00fa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    323   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    324   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    325   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    326   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    327   0x0000, 0x0000, 0x0000, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
    328   0x0000, 0x0000, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
    329   0x0000, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
    330   0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
    331   0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
    332   0x003f, 0x007f, 0x6666, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    333   0x007e, 0x00fe, 0xcccc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    334   0x00fc, 0x01fc, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    335   0x01f8, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    336   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    337   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    338   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    339   0xffff, 0xffff, 0xffff, 0x0aab, 0x0000, 0x0000, 0x0000, 0x0000,
    340   0xffff, 0xffff, 0x0666, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
    341   0xffff, 0x0010, 0x0ccd, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
    342   0x0010, 0x0020, 0x199a, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
    343   0x0020, 0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
    344   0x003f, 0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    345   0x007e, 0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    346   0x00fc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    347   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    348   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    349   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    350   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    351   0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    352   0x0000, 0x0000, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
    353   0x0000, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
    354   0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
    355   0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
    356   0x0040, 0x3333, 0xaaaa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    357   0x007f, 0x6666, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    358   0x00fe, 0xcccc, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    359   0x01fc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    360   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    361   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    362   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    363   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    364   0xffff, 0xffff, 0x0aab, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0000,
    365   0xffff, 0x0666, 0x1555, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
    366   0x0010, 0x0ccd, 0x2aab, 0x7ffd, 0x0000, 0x0000, 0x0000, 0x0000,
    367   0x0020, 0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000,
    368   0x0040, 0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    369   0x007f, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    370   0x00fe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    371   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    372   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    373   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    374   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    375   0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    376   0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    377   0x0000, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
    378   0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
    379   0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
    380   0x199a, 0x5555, 0xfffa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    381   0x3333, 0xaaaa, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    382   0x6666, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    383   0xcccc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    384   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    385   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    386   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    387   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    388   0xffff, 0xffff, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    389   0xffff, 0x0aab, 0x1fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0000,
    390   0x0666, 0x1555, 0x3fff, 0x7ffe, 0x0000, 0x0000, 0x0000, 0x0000,
    391   0x0ccd, 0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000,
    392   0x199a, 0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    393   0x3333, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    394   0x6666, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    395   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    396   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    397   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    398   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    399   0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    400   0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    401   0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
    402   0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
    403   0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
    404   0x2aab, 0x7ffd, 0xfffc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    405   0x5555, 0xfffa, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    406   0xaaaa, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    407   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    408   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    409   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    410   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    411   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    412   0xffff, 0xffff, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    413   0xffff, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
    414   0x0aab, 0x1fff, 0x3fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
    415   0x1555, 0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000,
    416   0x2aab, 0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    417   0x5555, 0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    418   0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    419   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    420   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    421   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    422   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    423   0x0000, 0x0000, 0x0000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    424   0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    425   0x0000, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
    426   0x1000, 0x2000, 0x4000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0000,
    427   0x1fff, 0x3fff, 0x7fff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    428   0x3fff, 0x7ffe, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    429   0x7ffd, 0xfffc, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    430   0xfffa, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    431   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    432   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    433   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    434   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    435   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    436   0xffff, 0xffff, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    437   0xffff, 0x1000, 0x2000, 0x4000, 0x0000, 0x0000, 0x0000, 0x0000,
    438   0x1000, 0x2000, 0x4000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0000,
    439   0x1fff, 0x3fff, 0x7fff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    440   0x3fff, 0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    441   0x7ffd, 0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    442   0xfffa, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    443   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    444   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    445   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    446   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    447   0x0000, 0x0000, 0x0001, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    448   0x0000, 0x0000, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    449   0x0000, 0x1000, 0x2000, 0x4001, 0x0000, 0x0000, 0x0000, 0x0000,
    450   0x1000, 0x2000, 0x4000, 0x8001, 0x0000, 0x0000, 0x0000, 0x0000,
    451   0x2000, 0x4000, 0x8000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    452   0x3fff, 0x7fff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    453   0x7ffe, 0xfffe, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    454   0xfffc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    455   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    456   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    457   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    458   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    459   0xffff, 0xffff, 0xffff, 0x1000, 0x0000, 0x0000, 0x0000, 0x0000,
    460   0xffff, 0xffff, 0x1000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0000,
    461   0xffff, 0x1000, 0x2000, 0x4001, 0x0000, 0x0000, 0x0000, 0x0000,
    462   0x1000, 0x2000, 0x4000, 0x8001, 0x0000, 0x0000, 0x0000, 0x0000,
    463   0x2000, 0x4000, 0x8000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    464   0x3fff, 0x7fff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    465   0x7ffe, 0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    466   0xfffc, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    467   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    468   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    469   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    470   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    471   0x0000, 0x0000, 0x0001, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
    472   0x0000, 0x0001, 0x1000, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
    473   0x0000, 0x1000, 0x2000, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
    474   0x1000, 0x2000, 0x4001, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
    475   0x2000, 0x4000, 0x8001, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    476   0x4000, 0x8000, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    477   0x7fff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    478   0xfffe, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    479   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    480   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    481   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    482   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    483   0xffff, 0xffff, 0xffff, 0x1555, 0x0000, 0x0000, 0x0000, 0x0000,
    484   0xffff, 0xffff, 0x1000, 0x2aab, 0x0000, 0x0000, 0x0000, 0x0000,
    485   0xffff, 0x1000, 0x2000, 0x5555, 0x0000, 0x0000, 0x0000, 0x0000,
    486   0x1000, 0x2000, 0x4001, 0xaaaa, 0x0000, 0x0000, 0x0000, 0x0000,
    487   0x2000, 0x4000, 0x8001, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    488   0x4000, 0x8000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    489   0x7fff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    490   0xfffe, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    491   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    492   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    493   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    494   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    495   0x0000, 0x0000, 0x0001, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
    496   0x0000, 0x0001, 0x1555, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
    497   0x0001, 0x1000, 0x2aab, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
    498   0x1000, 0x2000, 0x5555, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000,
    499   0x2000, 0x4001, 0xaaaa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    500   0x4000, 0x8001, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    501   0x8000, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    502   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    503   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    504   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    505   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    506   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    507   0xffff, 0xffff, 0xffff, 0x199a, 0x0000, 0x0000, 0x0000, 0x0000,
    508   0xffff, 0xffff, 0x1555, 0x3333, 0x0000, 0x0000, 0x0000, 0x0000,
    509   0xffff, 0x1000, 0x2aab, 0x6666, 0x0000, 0x0000, 0x0000, 0x0000,
    510   0x1000, 0x2000, 0x5555, 0xcccc, 0x0000, 0x0000, 0x0000, 0x0000,
    511   0x2000, 0x4001, 0xaaaa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    512   0x4000, 0x8001, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    513   0x8000, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    514   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    515   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    516   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    517   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    518   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    519   0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    520   0x0000, 0x0001, 0x199a, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
    521   0x0001, 0x1555, 0x3333, 0x7fc0, 0x0000, 0x0000, 0x0000, 0x0000,
    522   0x1000, 0x2aab, 0x6666, 0xff80, 0x0000, 0x0000, 0x0000, 0x0000,
    523   0x2000, 0x5555, 0xcccc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    524   0x4001, 0xaaaa, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    525   0x8001, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    526   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    527   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    528   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    529   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    530   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    531   0xffff, 0xffff, 0xffff, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    532   0xffff, 0xffff, 0x199a, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
    533   0xffff, 0x1555, 0x3333, 0x7fc0, 0x0000, 0x0000, 0x0000, 0x0000,
    534   0x1000, 0x2aab, 0x6666, 0xff80, 0x0000, 0x0000, 0x0000, 0x0000,
    535   0x2000, 0x5555, 0xcccc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    536   0x4001, 0xaaaa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    537   0x8001, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    538   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    539   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    540   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    541   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    542   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    543   0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    544   0x0000, 0x0001, 0x1ff0, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
    545   0x0001, 0x199a, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
    546   0x1555, 0x3333, 0x7fc0, 0xff81, 0x0000, 0x0000, 0x0000, 0x0000,
    547   0x2aab, 0x6666, 0xff80, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    548   0x5555, 0xcccc, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    549   0xaaaa, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    550   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    551   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    552   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    553   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    554   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    555   0xffff, 0xffff, 0xffff, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    556   0xffff, 0xffff, 0x1ff0, 0x3fe0, 0x0000, 0x0000, 0x0000, 0x0000,
    557   0xffff, 0x199a, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
    558   0x1555, 0x3333, 0x7fc0, 0xff81, 0x0000, 0x0000, 0x0000, 0x0000,
    559   0x2aab, 0x6666, 0xff80, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    560   0x5555, 0xcccc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    561   0xaaaa, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    562   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    563   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    564   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    565   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    566   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    567   0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    568   0x0000, 0x0001, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
    569   0x0001, 0x1ff0, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
    570   0x199a, 0x3fe0, 0x7fc1, 0xff82, 0x0000, 0x0000, 0x0000, 0x0000,
    571   0x3333, 0x7fc0, 0xff81, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    572   0x6666, 0xff80, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    573   0xcccc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    574   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    575   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    576   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    577   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    578   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    579   0xffff, 0xffff, 0xffff, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    580   0xffff, 0xffff, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
    581   0xffff, 0x1ff0, 0x3fe0, 0x7fc1, 0x0000, 0x0000, 0x0000, 0x0000,
    582   0x199a, 0x3fe0, 0x7fc1, 0xff82, 0x0000, 0x0000, 0x0000, 0x0000,
    583   0x3333, 0x7fc0, 0xff81, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    584   0x6666, 0xff80, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    585   0xcccc, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    586   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    587   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    588   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    589   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    590   0x0000, 0x0000, 0x0000, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    591   0x0000, 0x0000, 0x0001, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    592   0x0000, 0x0001, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
    593   0x0001, 0x1ff0, 0x3fe1, 0x7fc2, 0x0000, 0x0000, 0x0000, 0x0000,
    594   0x1ff0, 0x3fe0, 0x7fc1, 0xff83, 0x0000, 0x0000, 0x0000, 0x0000,
    595   0x3fe0, 0x7fc1, 0xff82, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    596   0x7fc0, 0xff81, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    597   0xff80, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    598   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    599   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    600   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    601   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    602   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    603   0xffff, 0xffff, 0xffff, 0x1ff0, 0x0000, 0x0000, 0x0000, 0x0000,
    604   0xffff, 0xffff, 0x1ff0, 0x3fe1, 0x0000, 0x0000, 0x0000, 0x0000,
    605   0xffff, 0x1ff0, 0x3fe1, 0x7fc2, 0x0000, 0x0000, 0x0000, 0x0000,
    606   0x1ff0, 0x3fe0, 0x7fc1, 0xff83, 0x0000, 0x0000, 0x0000, 0x0000,
    607   0x3fe0, 0x7fc1, 0xff82, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    608   0x7fc0, 0xff81, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    609   0xff80, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    610   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    611   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    612   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    613   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    614 };
    615 const unsigned kExpectedCount_NEON_uqrshl_4H = 576;
    616 
    617 #endif  // VIXL_SIM_UQRSHL_4H_TRACE_A64_H_
    618