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_SRI_8H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SRI_8H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_sri_8H_2OPIMM[] = {
     38   0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000,
     39   0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     40   0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     41   0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     42   0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     43   0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     44   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     45   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     46   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     47   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     48   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     49   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     50   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     51   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     52   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     53   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
     54   0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000,
     55   0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     56   0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     57   0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     58   0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     59   0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     60   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     61   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     62   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     63   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     64   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     65   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     66   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     67   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     68   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     69   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000,
     70   0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001,
     71   0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     72   0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     73   0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     74   0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     75   0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     76   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     77   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     78   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     79   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     80   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     81   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     82   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     83   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     84   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     85   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000,
     86   0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008,
     87   0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0004,
     88   0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0002,
     89   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0001,
     90   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     91   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     92   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     93   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     94   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     95   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     96   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     97   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     98   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
     99   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
    100   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
    101   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000,
    102   0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e,
    103   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f,
    104   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f,
    105   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007,
    106   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003,
    107   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    108   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    109   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    110   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    111   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    112   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    113   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    114   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    115   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    116   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    117   0x7fff, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    118   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f,
    119   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f,
    120   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f,
    121   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007,
    122   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003,
    123   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    124   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    125   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    126   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    127   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    128   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    129   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    130   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    131   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    132   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    133   0x7fff, 0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    134   0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f,
    135   0x7fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f,
    136   0x7fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f,
    137   0x7fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007,
    138   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003,
    139   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
    140   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    141   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    142   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    143   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    144   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    145   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    146   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    147   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    148   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    149   0x7fff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    150   0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999,
    151   0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc,
    152   0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666,
    153   0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333,
    154   0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199,
    155   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc,
    156   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066,
    157   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033,
    158   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019,
    159   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c,
    160   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006,
    161   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003,
    162   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    163   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    164   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    165   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    166   0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa,
    167   0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555,
    168   0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa,
    169   0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555,
    170   0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa,
    171   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155,
    172   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa,
    173   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055,
    174   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a,
    175   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015,
    176   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a,
    177   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005,
    178   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002,
    179   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    180   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    181   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    182   0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe,
    183   0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff,
    184   0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff,
    185   0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff,
    186   0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff,
    187   0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff,
    188   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff,
    189   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f,
    190   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f,
    191   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f,
    192   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f,
    193   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007,
    194   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003,
    195   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    196   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    197   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    198   0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff,
    199   0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff,
    200   0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff,
    201   0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff,
    202   0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff,
    203   0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff,
    204   0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff,
    205   0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f,
    206   0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f,
    207   0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f,
    208   0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f,
    209   0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007,
    210   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003,
    211   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
    212   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    213   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    214   0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff,
    215   0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff,
    216   0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff,
    217   0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff,
    218   0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff,
    219   0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff,
    220   0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff,
    221   0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f,
    222   0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f,
    223   0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f,
    224   0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f,
    225   0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007,
    226   0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003,
    227   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001,
    228   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    229   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    230   0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000,
    231   0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000,
    232   0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000,
    233   0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800,
    234   0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00,
    235   0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00,
    236   0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00,
    237   0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x7f80,
    238   0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0,
    239   0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0,
    240   0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0,
    241   0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8,
    242   0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc,
    243   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe,
    244   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff,
    245   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff,
    246   0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000,
    247   0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000,
    248   0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000,
    249   0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800,
    250   0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00,
    251   0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00,
    252   0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00,
    253   0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80,
    254   0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0,
    255   0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0,
    256   0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0,
    257   0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8,
    258   0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc,
    259   0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe,
    260   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff,
    261   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff,
    262   0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555,
    263   0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa,
    264   0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555,
    265   0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa,
    266   0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55,
    267   0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa,
    268   0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55,
    269   0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa,
    270   0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5,
    271   0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea,
    272   0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5,
    273   0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa,
    274   0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd,
    275   0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe,
    276   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff,
    277   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff,
    278   0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666,
    279   0x1555, 0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333,
    280   0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555, 0x7999,
    281   0x0555, 0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc,
    282   0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66,
    283   0x0155, 0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33,
    284   0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99,
    285   0x0055, 0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc,
    286   0x002a, 0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6,
    287   0x0015, 0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3,
    288   0x000a, 0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9,
    289   0x0005, 0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc,
    290   0x0002, 0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe,
    291   0x0001, 0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff,
    292   0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    293   0x0000, 0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    294   0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0,
    295   0x1fff, 0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0,
    296   0x0fff, 0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0,
    297   0x07ff, 0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8,
    298   0x03ff, 0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc,
    299   0x01ff, 0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe,
    300   0x00ff, 0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff,
    301   0x007f, 0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff,
    302   0x003f, 0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff,
    303   0x001f, 0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff,
    304   0x000f, 0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff,
    305   0x0007, 0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff,
    306   0x0003, 0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff,
    307   0x0001, 0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff,
    308   0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    309   0x0000, 0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    310   0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0,
    311   0x1fff, 0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0,
    312   0x0fff, 0x0fff, 0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0,
    313   0x07ff, 0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8,
    314   0x03ff, 0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc,
    315   0x01ff, 0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe,
    316   0x00ff, 0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff,
    317   0x007f, 0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff,
    318   0x003f, 0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff,
    319   0x001f, 0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff,
    320   0x000f, 0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff,
    321   0x0007, 0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff,
    322   0x0003, 0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff,
    323   0x0001, 0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
    324   0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    325   0x0000, 0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    326   0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1,
    327   0x1fff, 0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0,
    328   0x0fff, 0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0,
    329   0x07ff, 0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8,
    330   0x03ff, 0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc,
    331   0x01ff, 0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe,
    332   0x00ff, 0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff,
    333   0x007f, 0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff,
    334   0x003f, 0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff,
    335   0x001f, 0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff,
    336   0x000f, 0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff,
    337   0x0007, 0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff,
    338   0x0003, 0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
    339   0x0001, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    340   0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    341   0x0000, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    342   0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1,
    343   0x6000, 0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0,
    344   0x7000, 0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0,
    345   0x7800, 0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8,
    346   0x7c00, 0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc,
    347   0x7e00, 0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe,
    348   0x7f00, 0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    349   0x7f80, 0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    350   0x7fc0, 0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    351   0x7fe0, 0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    352   0x7ff0, 0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    353   0x7ff8, 0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    354   0x7ffc, 0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    355   0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    356   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    357   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    358   0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8,
    359   0x6000, 0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc,
    360   0x7000, 0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe,
    361   0x7800, 0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff,
    362   0x7c00, 0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff,
    363   0x7e00, 0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff,
    364   0x7f00, 0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    365   0x7f80, 0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    366   0x7fc0, 0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    367   0x7fe0, 0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    368   0x7ff0, 0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    369   0x7ff8, 0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    370   0x7ffc, 0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    371   0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    372   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    373   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    374   0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe,
    375   0x6aaa, 0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff,
    376   0x7555, 0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff,
    377   0x7aaa, 0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff,
    378   0x7d55, 0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff,
    379   0x7eaa, 0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff,
    380   0x7f55, 0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    381   0x7faa, 0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    382   0x7fd5, 0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    383   0x7fea, 0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    384   0x7ff5, 0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    385   0x7ffa, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    386   0x7ffd, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    387   0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    388   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    389   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    390   0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff,
    391   0x7333, 0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff,
    392   0x7999, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff,
    393   0x7ccc, 0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff,
    394   0x7e66, 0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff,
    395   0x7f33, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
    396   0x7f99, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    397   0x7fcc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    398   0x7fe6, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    399   0x7ff3, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    400   0x7ff9, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    401   0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    402   0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    403   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    404   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    405   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    406   0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff,
    407   0x7fe0, 0x7fe0, 0x7fe0, 0x7fe0, 0x7ffc, 0x7fff, 0x7fff, 0x7fff,
    408   0x7ff0, 0x7ff0, 0x7ff0, 0x7ff0, 0x7ffe, 0x7fff, 0x7fff, 0x7fff,
    409   0x7ff8, 0x7ff8, 0x7ff8, 0x7ff8, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    410   0x7ffc, 0x7ffc, 0x7ffc, 0x7ffc, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    411   0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    412   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    413   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    414   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    415   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    416   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    417   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    418   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    419   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    420   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    421   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    422 };
    423 const unsigned kExpectedCount_NEON_sri_8H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_SRI_8H_2OPIMM_TRACE_A64_H_
    426