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