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