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