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_SRSRA_8H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SRSRA_8H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_srsra_8H_2OPIMM[] = {
     38   0xffc1, 0xffc1, 0xffc2, 0xfff8, 0xffff, 0xffff, 0x0000, 0x0000,
     39   0xffa1, 0xffa2, 0xffa3, 0xfff4, 0xfffe, 0xffff, 0x0000, 0x0000,
     40   0xff91, 0xff92, 0xff93, 0xfff2, 0xfffe, 0xffff, 0x0000, 0x0000,
     41   0xff89, 0xff8a, 0xff8b, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     42   0xff85, 0xff86, 0xff87, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     43   0xff83, 0xff84, 0xff85, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     44   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     45   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     46   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     47   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     48   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     49   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     50   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     51   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     52   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     53   0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000,
     54   0xffc1, 0xffc2, 0xfff8, 0xffff, 0xffff, 0x0000, 0x0000, 0x0001,
     55   0xffa2, 0xffa3, 0xfff4, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     56   0xff92, 0xff93, 0xfff2, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     57   0xff8a, 0xff8b, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     58   0xff86, 0xff87, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     59   0xff84, 0xff85, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     60   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     61   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     62   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     63   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     64   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     65   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     66   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     67   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     68   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     69   0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001,
     70   0xffc2, 0xfff8, 0xffff, 0xffff, 0x0000, 0x0000, 0x0001, 0x0001,
     71   0xffa3, 0xfff4, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     72   0xff93, 0xfff2, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     73   0xff8b, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     74   0xff87, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     75   0xff85, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     76   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     77   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     78   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     79   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     80   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     81   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     82   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     83   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     84   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     85   0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002,
     86   0xfff8, 0xffff, 0xffff, 0x0000, 0x0000, 0x0001, 0x0001, 0x0008,
     87   0xfff4, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000c,
     88   0xfff2, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000e,
     89   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000f,
     90   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     91   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     92   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     93   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     94   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     95   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     96   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     97   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     98   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
     99   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
    100   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
    101   0xfff1, 0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010,
    102   0xffff, 0xffff, 0x0000, 0x0000, 0x0001, 0x0001, 0x0008, 0x003f,
    103   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000c, 0x005e,
    104   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000e, 0x006e,
    105   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000f, 0x0076,
    106   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007a,
    107   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007c,
    108   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    109   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    110   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    111   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    112   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    113   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    114   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    115   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    116   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    117   0xfffe, 0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    118   0xffff, 0x0000, 0x0000, 0x0001, 0x0001, 0x0008, 0x003f, 0x003f,
    119   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000c, 0x005e, 0x005f,
    120   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000e, 0x006e, 0x006f,
    121   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x000f, 0x0076, 0x0077,
    122   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007a, 0x007b,
    123   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007c, 0x007d,
    124   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    125   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    126   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    127   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    128   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    129   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    130   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    131   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    132   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    133   0xffff, 0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    134   0x0000, 0x0000, 0x0001, 0x0001, 0x0008, 0x003f, 0x003f, 0x0040,
    135   0x0000, 0x0000, 0x0001, 0x0002, 0x000c, 0x005e, 0x005f, 0x0060,
    136   0x0000, 0x0000, 0x0001, 0x0002, 0x000e, 0x006e, 0x006f, 0x0070,
    137   0x0000, 0x0000, 0x0001, 0x0002, 0x000f, 0x0076, 0x0077, 0x0078,
    138   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007a, 0x007b, 0x007c,
    139   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007c, 0x007d, 0x007e,
    140   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    141   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    142   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    143   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    144   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    145   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    146   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    147   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    148   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    149   0x0000, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    150   0x0000, 0x0001, 0x0001, 0x0008, 0x003f, 0x003f, 0x0040, 0x199a,
    151   0x0000, 0x0001, 0x0002, 0x000c, 0x005e, 0x005f, 0x0060, 0x2667,
    152   0x0000, 0x0001, 0x0002, 0x000e, 0x006e, 0x006f, 0x0070, 0x2ccd,
    153   0x0000, 0x0001, 0x0002, 0x000f, 0x0076, 0x0077, 0x0078, 0x3000,
    154   0x0000, 0x0001, 0x0002, 0x0010, 0x007a, 0x007b, 0x007c, 0x319a,
    155   0x0000, 0x0001, 0x0002, 0x0010, 0x007c, 0x007d, 0x007e, 0x3267,
    156   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x32cd,
    157   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3300,
    158   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x331a,
    159   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3327,
    160   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x332d,
    161   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3330,
    162   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3332,
    163   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    164   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    165   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    166   0x0001, 0x0001, 0x0008, 0x003f, 0x003f, 0x0040, 0x199a, 0x2aab,
    167   0x0001, 0x0002, 0x000c, 0x005e, 0x005f, 0x0060, 0x2667, 0x4000,
    168   0x0001, 0x0002, 0x000e, 0x006e, 0x006f, 0x0070, 0x2ccd, 0x4aab,
    169   0x0001, 0x0002, 0x000f, 0x0076, 0x0077, 0x0078, 0x3000, 0x5000,
    170   0x0001, 0x0002, 0x0010, 0x007a, 0x007b, 0x007c, 0x319a, 0x52ab,
    171   0x0001, 0x0002, 0x0010, 0x007c, 0x007d, 0x007e, 0x3267, 0x5400,
    172   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x32cd, 0x54ab,
    173   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3300, 0x5500,
    174   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x331a, 0x552b,
    175   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3327, 0x5540,
    176   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x332d, 0x554b,
    177   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3330, 0x5550,
    178   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3332, 0x5553,
    179   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5554,
    180   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
    181   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
    182   0x0001, 0x0008, 0x003f, 0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff,
    183   0x0002, 0x000c, 0x005e, 0x005f, 0x0060, 0x2667, 0x4000, 0x5ffe,
    184   0x0002, 0x000e, 0x006e, 0x006f, 0x0070, 0x2ccd, 0x4aab, 0x6ffe,
    185   0x0002, 0x000f, 0x0076, 0x0077, 0x0078, 0x3000, 0x5000, 0x77fe,
    186   0x0002, 0x0010, 0x007a, 0x007b, 0x007c, 0x319a, 0x52ab, 0x7bfe,
    187   0x0002, 0x0010, 0x007c, 0x007d, 0x007e, 0x3267, 0x5400, 0x7dfe,
    188   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x32cd, 0x54ab, 0x7efe,
    189   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3300, 0x5500, 0x7f7e,
    190   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x331a, 0x552b, 0x7fbe,
    191   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3327, 0x5540, 0x7fde,
    192   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x332d, 0x554b, 0x7fee,
    193   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3330, 0x5550, 0x7ff6,
    194   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3332, 0x5553, 0x7ffa,
    195   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5554, 0x7ffc,
    196   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
    197   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
    198   0x0008, 0x003f, 0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff,
    199   0x000c, 0x005e, 0x005f, 0x0060, 0x2667, 0x4000, 0x5ffe, 0x5fff,
    200   0x000e, 0x006e, 0x006f, 0x0070, 0x2ccd, 0x4aab, 0x6ffe, 0x6fff,
    201   0x000f, 0x0076, 0x0077, 0x0078, 0x3000, 0x5000, 0x77fe, 0x77ff,
    202   0x0010, 0x007a, 0x007b, 0x007c, 0x319a, 0x52ab, 0x7bfe, 0x7bff,
    203   0x0010, 0x007c, 0x007d, 0x007e, 0x3267, 0x5400, 0x7dfe, 0x7dff,
    204   0x0010, 0x007d, 0x007e, 0x007f, 0x32cd, 0x54ab, 0x7efe, 0x7eff,
    205   0x0010, 0x007d, 0x007e, 0x007f, 0x3300, 0x5500, 0x7f7e, 0x7f7f,
    206   0x0010, 0x007d, 0x007e, 0x007f, 0x331a, 0x552b, 0x7fbe, 0x7fbf,
    207   0x0010, 0x007d, 0x007e, 0x007f, 0x3327, 0x5540, 0x7fde, 0x7fdf,
    208   0x0010, 0x007d, 0x007e, 0x007f, 0x332d, 0x554b, 0x7fee, 0x7fef,
    209   0x0010, 0x007d, 0x007e, 0x007f, 0x3330, 0x5550, 0x7ff6, 0x7ff7,
    210   0x0010, 0x007d, 0x007e, 0x007f, 0x3332, 0x5553, 0x7ffa, 0x7ffb,
    211   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5554, 0x7ffc, 0x7ffd,
    212   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
    213   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
    214   0x003f, 0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000,
    215   0x005e, 0x005f, 0x0060, 0x2667, 0x4000, 0x5ffe, 0x5fff, 0x6000,
    216   0x006e, 0x006f, 0x0070, 0x2ccd, 0x4aab, 0x6ffe, 0x6fff, 0x7000,
    217   0x0076, 0x0077, 0x0078, 0x3000, 0x5000, 0x77fe, 0x77ff, 0x7800,
    218   0x007a, 0x007b, 0x007c, 0x319a, 0x52ab, 0x7bfe, 0x7bff, 0x7c00,
    219   0x007c, 0x007d, 0x007e, 0x3267, 0x5400, 0x7dfe, 0x7dff, 0x7e00,
    220   0x007d, 0x007e, 0x007f, 0x32cd, 0x54ab, 0x7efe, 0x7eff, 0x7f00,
    221   0x007d, 0x007e, 0x007f, 0x3300, 0x5500, 0x7f7e, 0x7f7f, 0x7f80,
    222   0x007d, 0x007e, 0x007f, 0x331a, 0x552b, 0x7fbe, 0x7fbf, 0x7fc0,
    223   0x007d, 0x007e, 0x007f, 0x3327, 0x5540, 0x7fde, 0x7fdf, 0x7fe0,
    224   0x007d, 0x007e, 0x007f, 0x332d, 0x554b, 0x7fee, 0x7fef, 0x7ff0,
    225   0x007d, 0x007e, 0x007f, 0x3330, 0x5550, 0x7ff6, 0x7ff7, 0x7ff8,
    226   0x007d, 0x007e, 0x007f, 0x3332, 0x5553, 0x7ffa, 0x7ffb, 0x7ffc,
    227   0x007d, 0x007e, 0x007f, 0x3333, 0x5554, 0x7ffc, 0x7ffd, 0x7ffe,
    228   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
    229   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
    230   0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000, 0xc000,
    231   0x005f, 0x0060, 0x2667, 0x4000, 0x5ffe, 0x5fff, 0x6000, 0xa000,
    232   0x006f, 0x0070, 0x2ccd, 0x4aab, 0x6ffe, 0x6fff, 0x7000, 0x9000,
    233   0x0077, 0x0078, 0x3000, 0x5000, 0x77fe, 0x77ff, 0x7800, 0x8800,
    234   0x007b, 0x007c, 0x319a, 0x52ab, 0x7bfe, 0x7bff, 0x7c00, 0x8400,
    235   0x007d, 0x007e, 0x3267, 0x5400, 0x7dfe, 0x7dff, 0x7e00, 0x8200,
    236   0x007e, 0x007f, 0x32cd, 0x54ab, 0x7efe, 0x7eff, 0x7f00, 0x8100,
    237   0x007e, 0x007f, 0x3300, 0x5500, 0x7f7e, 0x7f7f, 0x7f80, 0x8080,
    238   0x007e, 0x007f, 0x331a, 0x552b, 0x7fbe, 0x7fbf, 0x7fc0, 0x8040,
    239   0x007e, 0x007f, 0x3327, 0x5540, 0x7fde, 0x7fdf, 0x7fe0, 0x8020,
    240   0x007e, 0x007f, 0x332d, 0x554b, 0x7fee, 0x7fef, 0x7ff0, 0x8010,
    241   0x007e, 0x007f, 0x3330, 0x5550, 0x7ff6, 0x7ff7, 0x7ff8, 0x8008,
    242   0x007e, 0x007f, 0x3332, 0x5553, 0x7ffa, 0x7ffb, 0x7ffc, 0x8004,
    243   0x007e, 0x007f, 0x3333, 0x5554, 0x7ffc, 0x7ffd, 0x7ffe, 0x8002,
    244   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001,
    245   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001,
    246   0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000, 0xc000, 0xc001,
    247   0x0060, 0x2667, 0x4000, 0x5ffe, 0x5fff, 0x6000, 0xa000, 0xa001,
    248   0x0070, 0x2ccd, 0x4aab, 0x6ffe, 0x6fff, 0x7000, 0x9000, 0x9001,
    249   0x0078, 0x3000, 0x5000, 0x77fe, 0x77ff, 0x7800, 0x8800, 0x8801,
    250   0x007c, 0x319a, 0x52ab, 0x7bfe, 0x7bff, 0x7c00, 0x8400, 0x8401,
    251   0x007e, 0x3267, 0x5400, 0x7dfe, 0x7dff, 0x7e00, 0x8200, 0x8201,
    252   0x007f, 0x32cd, 0x54ab, 0x7efe, 0x7eff, 0x7f00, 0x8100, 0x8101,
    253   0x007f, 0x3300, 0x5500, 0x7f7e, 0x7f7f, 0x7f80, 0x8080, 0x8081,
    254   0x007f, 0x331a, 0x552b, 0x7fbe, 0x7fbf, 0x7fc0, 0x8040, 0x8041,
    255   0x007f, 0x3327, 0x5540, 0x7fde, 0x7fdf, 0x7fe0, 0x8020, 0x8021,
    256   0x007f, 0x332d, 0x554b, 0x7fee, 0x7fef, 0x7ff0, 0x8010, 0x8011,
    257   0x007f, 0x3330, 0x5550, 0x7ff6, 0x7ff7, 0x7ff8, 0x8008, 0x8009,
    258   0x007f, 0x3332, 0x5553, 0x7ffa, 0x7ffb, 0x7ffc, 0x8004, 0x8005,
    259   0x007f, 0x3333, 0x5554, 0x7ffc, 0x7ffd, 0x7ffe, 0x8002, 0x8003,
    260   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002,
    261   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002,
    262   0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000, 0xc000, 0xc001, 0xd555,
    263   0x2667, 0x4000, 0x5ffe, 0x5fff, 0x6000, 0xa000, 0xa001, 0xc000,
    264   0x2ccd, 0x4aab, 0x6ffe, 0x6fff, 0x7000, 0x9000, 0x9001, 0xb555,
    265   0x3000, 0x5000, 0x77fe, 0x77ff, 0x7800, 0x8800, 0x8801, 0xb000,
    266   0x319a, 0x52ab, 0x7bfe, 0x7bff, 0x7c00, 0x8400, 0x8401, 0xad55,
    267   0x3267, 0x5400, 0x7dfe, 0x7dff, 0x7e00, 0x8200, 0x8201, 0xac00,
    268   0x32cd, 0x54ab, 0x7efe, 0x7eff, 0x7f00, 0x8100, 0x8101, 0xab55,
    269   0x3300, 0x5500, 0x7f7e, 0x7f7f, 0x7f80, 0x8080, 0x8081, 0xab00,
    270   0x331a, 0x552b, 0x7fbe, 0x7fbf, 0x7fc0, 0x8040, 0x8041, 0xaad5,
    271   0x3327, 0x5540, 0x7fde, 0x7fdf, 0x7fe0, 0x8020, 0x8021, 0xaac0,
    272   0x332d, 0x554b, 0x7fee, 0x7fef, 0x7ff0, 0x8010, 0x8011, 0xaab5,
    273   0x3330, 0x5550, 0x7ff6, 0x7ff7, 0x7ff8, 0x8008, 0x8009, 0xaab0,
    274   0x3332, 0x5553, 0x7ffa, 0x7ffb, 0x7ffc, 0x8004, 0x8005, 0xaaad,
    275   0x3333, 0x5554, 0x7ffc, 0x7ffd, 0x7ffe, 0x8002, 0x8003, 0xaaac,
    276   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab,
    277   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab,
    278   0x2aab, 0x3fff, 0x3fff, 0x4000, 0xc000, 0xc001, 0xd555, 0xe666,
    279   0x4000, 0x5ffe, 0x5fff, 0x6000, 0xa000, 0xa001, 0xc000, 0xd999,
    280   0x4aab, 0x6ffe, 0x6fff, 0x7000, 0x9000, 0x9001, 0xb555, 0xd333,
    281   0x5000, 0x77fe, 0x77ff, 0x7800, 0x8800, 0x8801, 0xb000, 0xd000,
    282   0x52ab, 0x7bfe, 0x7bff, 0x7c00, 0x8400, 0x8401, 0xad55, 0xce66,
    283   0x5400, 0x7dfe, 0x7dff, 0x7e00, 0x8200, 0x8201, 0xac00, 0xcd99,
    284   0x54ab, 0x7efe, 0x7eff, 0x7f00, 0x8100, 0x8101, 0xab55, 0xcd33,
    285   0x5500, 0x7f7e, 0x7f7f, 0x7f80, 0x8080, 0x8081, 0xab00, 0xcd00,
    286   0x552b, 0x7fbe, 0x7fbf, 0x7fc0, 0x8040, 0x8041, 0xaad5, 0xcce6,
    287   0x5540, 0x7fde, 0x7fdf, 0x7fe0, 0x8020, 0x8021, 0xaac0, 0xccd9,
    288   0x554b, 0x7fee, 0x7fef, 0x7ff0, 0x8010, 0x8011, 0xaab5, 0xccd3,
    289   0x5550, 0x7ff6, 0x7ff7, 0x7ff8, 0x8008, 0x8009, 0xaab0, 0xccd0,
    290   0x5553, 0x7ffa, 0x7ffb, 0x7ffc, 0x8004, 0x8005, 0xaaad, 0xccce,
    291   0x5554, 0x7ffc, 0x7ffd, 0x7ffe, 0x8002, 0x8003, 0xaaac, 0xcccd,
    292   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd,
    293   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd,
    294   0x3fff, 0x3fff, 0x4000, 0xc000, 0xc001, 0xd555, 0xe666, 0xffc0,
    295   0x5ffe, 0x5fff, 0x6000, 0xa000, 0xa001, 0xc000, 0xd999, 0xffa0,
    296   0x6ffe, 0x6fff, 0x7000, 0x9000, 0x9001, 0xb555, 0xd333, 0xff90,
    297   0x77fe, 0x77ff, 0x7800, 0x8800, 0x8801, 0xb000, 0xd000, 0xff88,
    298   0x7bfe, 0x7bff, 0x7c00, 0x8400, 0x8401, 0xad55, 0xce66, 0xff84,
    299   0x7dfe, 0x7dff, 0x7e00, 0x8200, 0x8201, 0xac00, 0xcd99, 0xff82,
    300   0x7efe, 0x7eff, 0x7f00, 0x8100, 0x8101, 0xab55, 0xcd33, 0xff81,
    301   0x7f7e, 0x7f7f, 0x7f80, 0x8080, 0x8081, 0xab00, 0xcd00, 0xff81,
    302   0x7fbe, 0x7fbf, 0x7fc0, 0x8040, 0x8041, 0xaad5, 0xcce6, 0xff81,
    303   0x7fde, 0x7fdf, 0x7fe0, 0x8020, 0x8021, 0xaac0, 0xccd9, 0xff81,
    304   0x7fee, 0x7fef, 0x7ff0, 0x8010, 0x8011, 0xaab5, 0xccd3, 0xff81,
    305   0x7ff6, 0x7ff7, 0x7ff8, 0x8008, 0x8009, 0xaab0, 0xccd0, 0xff81,
    306   0x7ffa, 0x7ffb, 0x7ffc, 0x8004, 0x8005, 0xaaad, 0xccce, 0xff81,
    307   0x7ffc, 0x7ffd, 0x7ffe, 0x8002, 0x8003, 0xaaac, 0xcccd, 0xff81,
    308   0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81,
    309   0x7ffd, 0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81,
    310   0x3fff, 0x4000, 0xc000, 0xc001, 0xd555, 0xe666, 0xffc0, 0xffc1,
    311   0x5fff, 0x6000, 0xa000, 0xa001, 0xc000, 0xd999, 0xffa0, 0xffa1,
    312   0x6fff, 0x7000, 0x9000, 0x9001, 0xb555, 0xd333, 0xff90, 0xff91,
    313   0x77ff, 0x7800, 0x8800, 0x8801, 0xb000, 0xd000, 0xff88, 0xff89,
    314   0x7bff, 0x7c00, 0x8400, 0x8401, 0xad55, 0xce66, 0xff84, 0xff85,
    315   0x7dff, 0x7e00, 0x8200, 0x8201, 0xac00, 0xcd99, 0xff82, 0xff83,
    316   0x7eff, 0x7f00, 0x8100, 0x8101, 0xab55, 0xcd33, 0xff81, 0xff82,
    317   0x7f7f, 0x7f80, 0x8080, 0x8081, 0xab00, 0xcd00, 0xff81, 0xff82,
    318   0x7fbf, 0x7fc0, 0x8040, 0x8041, 0xaad5, 0xcce6, 0xff81, 0xff82,
    319   0x7fdf, 0x7fe0, 0x8020, 0x8021, 0xaac0, 0xccd9, 0xff81, 0xff82,
    320   0x7fef, 0x7ff0, 0x8010, 0x8011, 0xaab5, 0xccd3, 0xff81, 0xff82,
    321   0x7ff7, 0x7ff8, 0x8008, 0x8009, 0xaab0, 0xccd0, 0xff81, 0xff82,
    322   0x7ffb, 0x7ffc, 0x8004, 0x8005, 0xaaad, 0xccce, 0xff81, 0xff82,
    323   0x7ffd, 0x7ffe, 0x8002, 0x8003, 0xaaac, 0xcccd, 0xff81, 0xff82,
    324   0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82,
    325   0x7ffe, 0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82,
    326   0x4000, 0xc000, 0xc001, 0xd555, 0xe666, 0xffc0, 0xffc1, 0xffc1,
    327   0x6000, 0xa000, 0xa001, 0xc000, 0xd999, 0xffa0, 0xffa1, 0xffa2,
    328   0x7000, 0x9000, 0x9001, 0xb555, 0xd333, 0xff90, 0xff91, 0xff92,
    329   0x7800, 0x8800, 0x8801, 0xb000, 0xd000, 0xff88, 0xff89, 0xff8a,
    330   0x7c00, 0x8400, 0x8401, 0xad55, 0xce66, 0xff84, 0xff85, 0xff86,
    331   0x7e00, 0x8200, 0x8201, 0xac00, 0xcd99, 0xff82, 0xff83, 0xff84,
    332   0x7f00, 0x8100, 0x8101, 0xab55, 0xcd33, 0xff81, 0xff82, 0xff83,
    333   0x7f80, 0x8080, 0x8081, 0xab00, 0xcd00, 0xff81, 0xff82, 0xff83,
    334   0x7fc0, 0x8040, 0x8041, 0xaad5, 0xcce6, 0xff81, 0xff82, 0xff83,
    335   0x7fe0, 0x8020, 0x8021, 0xaac0, 0xccd9, 0xff81, 0xff82, 0xff83,
    336   0x7ff0, 0x8010, 0x8011, 0xaab5, 0xccd3, 0xff81, 0xff82, 0xff83,
    337   0x7ff8, 0x8008, 0x8009, 0xaab0, 0xccd0, 0xff81, 0xff82, 0xff83,
    338   0x7ffc, 0x8004, 0x8005, 0xaaad, 0xccce, 0xff81, 0xff82, 0xff83,
    339   0x7ffe, 0x8002, 0x8003, 0xaaac, 0xcccd, 0xff81, 0xff82, 0xff83,
    340   0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83,
    341   0x7fff, 0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83,
    342   0xc000, 0xc001, 0xd555, 0xe666, 0xffc0, 0xffc1, 0xffc1, 0xffc2,
    343   0xa000, 0xa001, 0xc000, 0xd999, 0xffa0, 0xffa1, 0xffa2, 0xffa3,
    344   0x9000, 0x9001, 0xb555, 0xd333, 0xff90, 0xff91, 0xff92, 0xff93,
    345   0x8800, 0x8801, 0xb000, 0xd000, 0xff88, 0xff89, 0xff8a, 0xff8b,
    346   0x8400, 0x8401, 0xad55, 0xce66, 0xff84, 0xff85, 0xff86, 0xff87,
    347   0x8200, 0x8201, 0xac00, 0xcd99, 0xff82, 0xff83, 0xff84, 0xff85,
    348   0x8100, 0x8101, 0xab55, 0xcd33, 0xff81, 0xff82, 0xff83, 0xff84,
    349   0x8080, 0x8081, 0xab00, 0xcd00, 0xff81, 0xff82, 0xff83, 0xff84,
    350   0x8040, 0x8041, 0xaad5, 0xcce6, 0xff81, 0xff82, 0xff83, 0xff84,
    351   0x8020, 0x8021, 0xaac0, 0xccd9, 0xff81, 0xff82, 0xff83, 0xff84,
    352   0x8010, 0x8011, 0xaab5, 0xccd3, 0xff81, 0xff82, 0xff83, 0xff84,
    353   0x8008, 0x8009, 0xaab0, 0xccd0, 0xff81, 0xff82, 0xff83, 0xff84,
    354   0x8004, 0x8005, 0xaaad, 0xccce, 0xff81, 0xff82, 0xff83, 0xff84,
    355   0x8002, 0x8003, 0xaaac, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84,
    356   0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84,
    357   0x8001, 0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84,
    358   0xc001, 0xd555, 0xe666, 0xffc0, 0xffc1, 0xffc1, 0xffc2, 0xfff8,
    359   0xa001, 0xc000, 0xd999, 0xffa0, 0xffa1, 0xffa2, 0xffa3, 0xfff4,
    360   0x9001, 0xb555, 0xd333, 0xff90, 0xff91, 0xff92, 0xff93, 0xfff2,
    361   0x8801, 0xb000, 0xd000, 0xff88, 0xff89, 0xff8a, 0xff8b, 0xfff1,
    362   0x8401, 0xad55, 0xce66, 0xff84, 0xff85, 0xff86, 0xff87, 0xfff1,
    363   0x8201, 0xac00, 0xcd99, 0xff82, 0xff83, 0xff84, 0xff85, 0xfff1,
    364   0x8101, 0xab55, 0xcd33, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    365   0x8081, 0xab00, 0xcd00, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    366   0x8041, 0xaad5, 0xcce6, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    367   0x8021, 0xaac0, 0xccd9, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    368   0x8011, 0xaab5, 0xccd3, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    369   0x8009, 0xaab0, 0xccd0, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    370   0x8005, 0xaaad, 0xccce, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    371   0x8003, 0xaaac, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    372   0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    373   0x8002, 0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1,
    374   0xd555, 0xe666, 0xffc0, 0xffc1, 0xffc1, 0xffc2, 0xfff8, 0xffff,
    375   0xc000, 0xd999, 0xffa0, 0xffa1, 0xffa2, 0xffa3, 0xfff4, 0xfffe,
    376   0xb555, 0xd333, 0xff90, 0xff91, 0xff92, 0xff93, 0xfff2, 0xfffe,
    377   0xb000, 0xd000, 0xff88, 0xff89, 0xff8a, 0xff8b, 0xfff1, 0xfffe,
    378   0xad55, 0xce66, 0xff84, 0xff85, 0xff86, 0xff87, 0xfff1, 0xfffe,
    379   0xac00, 0xcd99, 0xff82, 0xff83, 0xff84, 0xff85, 0xfff1, 0xfffe,
    380   0xab55, 0xcd33, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    381   0xab00, 0xcd00, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    382   0xaad5, 0xcce6, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    383   0xaac0, 0xccd9, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    384   0xaab5, 0xccd3, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    385   0xaab0, 0xccd0, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    386   0xaaad, 0xccce, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    387   0xaaac, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    388   0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    389   0xaaab, 0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe,
    390   0xe666, 0xffc0, 0xffc1, 0xffc1, 0xffc2, 0xfff8, 0xffff, 0xffff,
    391   0xd999, 0xffa0, 0xffa1, 0xffa2, 0xffa3, 0xfff4, 0xfffe, 0xffff,
    392   0xd333, 0xff90, 0xff91, 0xff92, 0xff93, 0xfff2, 0xfffe, 0xffff,
    393   0xd000, 0xff88, 0xff89, 0xff8a, 0xff8b, 0xfff1, 0xfffe, 0xffff,
    394   0xce66, 0xff84, 0xff85, 0xff86, 0xff87, 0xfff1, 0xfffe, 0xffff,
    395   0xcd99, 0xff82, 0xff83, 0xff84, 0xff85, 0xfff1, 0xfffe, 0xffff,
    396   0xcd33, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    397   0xcd00, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    398   0xcce6, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    399   0xccd9, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    400   0xccd3, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    401   0xccd0, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    402   0xccce, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    403   0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    404   0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    405   0xcccd, 0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff,
    406   0xffc0, 0xffc1, 0xffc1, 0xffc2, 0xfff8, 0xffff, 0xffff, 0x0000,
    407   0xffa0, 0xffa1, 0xffa2, 0xffa3, 0xfff4, 0xfffe, 0xffff, 0x0000,
    408   0xff90, 0xff91, 0xff92, 0xff93, 0xfff2, 0xfffe, 0xffff, 0x0000,
    409   0xff88, 0xff89, 0xff8a, 0xff8b, 0xfff1, 0xfffe, 0xffff, 0x0000,
    410   0xff84, 0xff85, 0xff86, 0xff87, 0xfff1, 0xfffe, 0xffff, 0x0000,
    411   0xff82, 0xff83, 0xff84, 0xff85, 0xfff1, 0xfffe, 0xffff, 0x0000,
    412   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    413   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    414   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    415   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    416   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    417   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    418   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    419   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    420   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    421   0xff81, 0xff82, 0xff83, 0xff84, 0xfff1, 0xfffe, 0xffff, 0x0000,
    422 };
    423 const unsigned kExpectedCount_NEON_srsra_8H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_SRSRA_8H_2OPIMM_TRACE_A64_H_
    426