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_UHSUB_8H_TRACE_A64_H_
     35 #define VIXL_SIM_UHSUB_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_uhsub_8H[] = {
     38   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
     39   0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0x3fff, 0xffff,
     40   0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0x3fff, 0x3fff, 0xffff,
     41   0xd594, 0xc041, 0xd99a, 0xeaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8,
     42   0xc040, 0xc040, 0xd99a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1,
     43   0xc040, 0xc040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1,
     44   0xc03f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0,
     45   0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666,
     46   0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555,
     47   0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001,
     48   0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001,
     49   0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0xc000,
     50   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xc000,
     51   0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff,
     52   0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab,
     53   0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a,
     54   0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040,
     55   0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f,
     56   0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f,
     57   0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e,
     58   0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008,
     59   0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001,
     60   0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001,
     61   0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0x8000,
     62   0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0x8000, 0x0000,
     63   0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x0000, 0x0000,
     64   0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff,
     65   0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8,
     66   0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2,
     67   0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1,
     68   0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1,
     69   0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667,
     70   0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556,
     71   0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002,
     72   0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001,
     73   0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001, 0xc001,
     74   0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0xc000,
     75   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xc000, 0xc000,
     76   0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab,
     77   0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab, 0x999a,
     78   0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040,
     79   0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040,
     80   0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f,
     81   0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f,
     82   0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008,
     83   0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002,
     84   0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001,
     85   0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001, 0x8001,
     86   0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001, 0x8001, 0x0001,
     87   0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0x8000, 0x0000, 0x0000,
     88   0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x0000, 0x0000, 0x0000,
     89   0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9,
     90   0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2,
     91   0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2,
     92   0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1,
     93   0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667,
     94   0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556,
     95   0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002,
     96   0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002,
     97   0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001, 0xc001,
     98   0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0xc001,
     99   0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0xc000, 0xc000,
    100   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xc000, 0xc000, 0xaaac,
    101   0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b,
    102   0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab, 0x999a, 0x8041,
    103   0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040,
    104   0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040,
    105   0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f, 0x803f,
    106   0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009,
    107   0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002,
    108   0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002,
    109   0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001, 0x8001,
    110   0xaaea, 0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001, 0x8001, 0x0008,
    111   0xaae9, 0xc03d, 0xc007, 0xc001, 0x8001, 0x8001, 0x0001, 0x0007,
    112   0xaae9, 0xc006, 0xc000, 0xc000, 0x8000, 0x0000, 0x0000, 0x0007,
    113   0xaab2, 0xc000, 0xc000, 0xc000, 0x0000, 0x0000, 0x0000, 0x0000,
    114   0xaaac, 0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9,
    115   0xaaab, 0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9,
    116   0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8,
    117   0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e,
    118   0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d,
    119   0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009,
    120   0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009,
    121   0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002, 0xc008,
    122   0x2a6b, 0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0xc008,
    123   0x2a6b, 0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0xc001, 0xc007,
    124   0x1111, 0x1554, 0x0000, 0x0000, 0xc000, 0xc000, 0xc000, 0xaab3,
    125   0x0000, 0x0000, 0x0000, 0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2,
    126   0xeaac, 0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048,
    127   0xeaab, 0xffff, 0xffff, 0xffff, 0xaaab, 0x999a, 0x8041, 0x8047,
    128   0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047,
    129   0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040, 0x8046,
    130   0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f, 0x803f, 0x8010,
    131   0xd555, 0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009, 0x8009,
    132   0xc444, 0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002, 0x8009,
    133   0xaaea, 0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002, 0x8008,
    134   0xc03e, 0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002, 0x8008, 0x003e,
    135   0xc03d, 0xc03d, 0xc007, 0x8001, 0x8001, 0x8001, 0x0008, 0x003e,
    136   0xc03d, 0xc007, 0xc001, 0x8001, 0x8001, 0x0001, 0x0007, 0x003d,
    137   0xc006, 0xc000, 0xc000, 0x8000, 0x0000, 0x0000, 0x0007, 0x0036,
    138   0xc000, 0xc000, 0xc000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    139   0xbfff, 0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff,
    140   0xbfff, 0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff,
    141   0x3ffe, 0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5,
    142   0x3ffe, 0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594,
    143   0x3ffd, 0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040,
    144   0x3ff6, 0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f,
    145   0x3fc0, 0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009, 0xc03f,
    146   0x3fbf, 0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0xc03e,
    147   0x3fbf, 0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0xc008, 0xc03e,
    148   0x2665, 0x1554, 0x0001, 0xc001, 0xc001, 0xc001, 0xc007, 0xaae9,
    149   0x1554, 0x0000, 0x0000, 0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8,
    150   0x0000, 0x0000, 0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e,
    151   0xffff, 0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e,
    152   0xffff, 0xffff, 0xffff, 0xaaab, 0x999a, 0x8041, 0x8047, 0x807d,
    153   0xfffe, 0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047, 0x807d,
    154   0xfffe, 0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040, 0x8046, 0x8046,
    155   0xeaa9, 0xd999, 0xc03f, 0x803f, 0x803f, 0x803f, 0x8010, 0x8040,
    156   0xd998, 0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009, 0x8009, 0x803f,
    157   0xc03e, 0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002, 0x8009, 0x803f,
    158   0xc03e, 0xc03e, 0x803e, 0x8008, 0x8002, 0x8009, 0x803f, 0x003f,
    159   0xc03e, 0xc03e, 0x8008, 0x8002, 0x8002, 0x8008, 0x003e, 0x003e,
    160   0xc03d, 0xc007, 0x8001, 0x8001, 0x8001, 0x0008, 0x003e, 0x003e,
    161   0xc007, 0xc001, 0x8001, 0x8001, 0x0001, 0x0007, 0x003d, 0x0037,
    162   0xc000, 0xc000, 0x8000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000,
    163   0xc000, 0xc000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    164   0xbfff, 0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff,
    165   0x3fff, 0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5,
    166   0x3ffe, 0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594,
    167   0x3ffe, 0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040,
    168   0x3ff7, 0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040,
    169   0x3fc0, 0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f,
    170   0x3fc0, 0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f,
    171   0x3fbf, 0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e,
    172   0x2665, 0x1555, 0xc001, 0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea,
    173   0x1554, 0x0001, 0xc001, 0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9,
    174   0x0000, 0x0000, 0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f,
    175   0x0000, 0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e,
    176   0xffff, 0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e, 0x807e,
    177   0xffff, 0xffff, 0xaaab, 0x999a, 0x8041, 0x8047, 0x807d, 0x807d,
    178   0xfffe, 0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047, 0x807d, 0x8047,
    179   0xeaaa, 0xd999, 0x8040, 0x8040, 0x8040, 0x8046, 0x8046, 0x8040,
    180   0xd999, 0xc03f, 0x803f, 0x803f, 0x803f, 0x8010, 0x8040, 0x8040,
    181   0xc03f, 0xc03f, 0x803f, 0x803f, 0x8009, 0x8009, 0x803f, 0x803f,
    182   0xc03f, 0x803f, 0x803f, 0x8009, 0x8009, 0x803f, 0x803f, 0x003f,
    183   0xc03e, 0x803e, 0x8008, 0x8002, 0x8009, 0x803f, 0x003f, 0x003f,
    184   0xc03e, 0x8008, 0x8002, 0x8002, 0x8008, 0x003e, 0x003e, 0x003e,
    185   0xc007, 0x8001, 0x8001, 0x8001, 0x0008, 0x003e, 0x003e, 0x0037,
    186   0xc001, 0x8001, 0x8001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001,
    187   0xc000, 0x8000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000, 0x0000,
    188   0xc000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    189   0x3fff, 0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6,
    190   0x3fff, 0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595,
    191   0x3ffe, 0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041,
    192   0x3ff7, 0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040,
    193   0x3fc1, 0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040, 0xc040,
    194   0x3fc0, 0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f,
    195   0x3fc0, 0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f,
    196   0x2666, 0xd555, 0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea,
    197   0x1555, 0xc001, 0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9,
    198   0x0001, 0xc001, 0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f,
    199   0x0000, 0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f,
    200   0x0000, 0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e,
    201   0xffff, 0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e, 0x807e, 0x807e,
    202   0xffff, 0xaaab, 0x999a, 0x8041, 0x8047, 0x807d, 0x807d, 0x8047,
    203   0xeaaa, 0x999a, 0x8040, 0x8040, 0x8047, 0x807d, 0x8047, 0x8041,
    204   0xd999, 0x8040, 0x8040, 0x8040, 0x8046, 0x8046, 0x8040, 0x8040,
    205   0xc03f, 0x803f, 0x803f, 0x803f, 0x8010, 0x8040, 0x8040, 0x8040,
    206   0x803f, 0x803f, 0x803f, 0x8010, 0x8040, 0x8040, 0x8040, 0x1999,
    207   0x803f, 0x803f, 0x8009, 0x8009, 0x803f, 0x803f, 0x003f, 0x1999,
    208   0x803e, 0x8008, 0x8002, 0x8009, 0x803f, 0x003f, 0x003f, 0x1998,
    209   0x8008, 0x8002, 0x8002, 0x8008, 0x003e, 0x003e, 0x003e, 0x1991,
    210   0x8001, 0x8001, 0x8001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b,
    211   0x8001, 0x8001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001, 0x195a,
    212   0x8000, 0x0000, 0x0000, 0x0007, 0x0036, 0x0000, 0x0000, 0x195a,
    213   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    214   0xffff, 0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef,
    215   0xffff, 0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b,
    216   0xfff8, 0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a,
    217   0xffc1, 0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a,
    218   0xffc1, 0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0xd999,
    219   0xffc0, 0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999,
    220   0xe666, 0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444,
    221   0xd555, 0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333,
    222   0xc001, 0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9,
    223   0xc001, 0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9,
    224   0xc000, 0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8,
    225   0xc000, 0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8,
    226   0xbfff, 0xaaab, 0x999b, 0x8048, 0x807e, 0x807e, 0x807e, 0x99a1,
    227   0xaaab, 0x999a, 0x8041, 0x8047, 0x807d, 0x807d, 0x8047, 0x999b,
    228   0x999a, 0x8040, 0x8040, 0x8047, 0x807d, 0x8047, 0x8041, 0x999a,
    229   0x8040, 0x8040, 0x8040, 0x8046, 0x8046, 0x8040, 0x8040, 0x999a,
    230   0x8040, 0x8040, 0x8046, 0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa,
    231   0x803f, 0x803f, 0x8010, 0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa,
    232   0x803f, 0x8009, 0x8009, 0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9,
    233   0x8008, 0x8002, 0x8009, 0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2,
    234   0x8002, 0x8002, 0x8008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c,
    235   0x8001, 0x8001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b,
    236   0x8001, 0x0001, 0x0007, 0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b,
    237   0x0000, 0x0000, 0x0007, 0x0036, 0x0000, 0x0000, 0x195a, 0x1111,
    238   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    239   0xffff, 0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac,
    240   0xfff8, 0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab,
    241   0xffc2, 0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab,
    242   0xffc1, 0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa,
    243   0xffc1, 0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa,
    244   0xe667, 0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555,
    245   0xd556, 0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444,
    246   0xc002, 0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea,
    247   0xc001, 0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea,
    248   0xc001, 0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9,
    249   0xc000, 0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9,
    250   0xc000, 0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2,
    251   0xaaab, 0x999b, 0x8048, 0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac,
    252   0x999a, 0x8041, 0x8047, 0x807d, 0x807d, 0x8047, 0x999b, 0xaaab,
    253   0x8040, 0x8040, 0x8047, 0x807d, 0x8047, 0x8041, 0x999a, 0xaaab,
    254   0x8040, 0x8047, 0x807d, 0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe,
    255   0x8040, 0x8046, 0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe,
    256   0x803f, 0x8010, 0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd,
    257   0x8009, 0x8009, 0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6,
    258   0x8002, 0x8009, 0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0,
    259   0x8002, 0x8008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf,
    260   0x8001, 0x0008, 0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf,
    261   0x0001, 0x0007, 0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665,
    262   0x0000, 0x0007, 0x0036, 0x0000, 0x0000, 0x195a, 0x1111, 0x1554,
    263   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    264   0xfff9, 0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff,
    265   0xffc2, 0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff,
    266   0xffc2, 0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe,
    267   0xffc1, 0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe,
    268   0xe667, 0xd55d, 0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9,
    269   0xd556, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998,
    270   0xc002, 0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e,
    271   0xc002, 0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e,
    272   0xc001, 0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d,
    273   0xc001, 0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d,
    274   0xc000, 0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006,
    275   0xaaac, 0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000,
    276   0x999b, 0x8048, 0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff,
    277   0x8041, 0x8047, 0x807d, 0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff,
    278   0x8047, 0x807d, 0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff,
    279   0x8047, 0x807d, 0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe,
    280   0x8046, 0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe,
    281   0x8010, 0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7,
    282   0x8009, 0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0,
    283   0x8009, 0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0,
    284   0x8008, 0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf,
    285   0x0008, 0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665,
    286   0x0007, 0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554,
    287   0x0007, 0x0036, 0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000,
    288   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    289   0xffc9, 0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff,
    290   0xffc9, 0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff,
    291   0xffc8, 0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe,
    292   0xe66e, 0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa,
    293   0xd55d, 0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999,
    294   0xc009, 0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f,
    295   0xc009, 0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e,
    296   0xc008, 0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e,
    297   0xc008, 0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d,
    298   0xc007, 0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007,
    299   0xaab3, 0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000,
    300   0x99a2, 0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000,
    301   0x8048, 0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff,
    302   0x807e, 0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff,
    303   0x807d, 0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff,
    304   0x807d, 0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe,
    305   0x8046, 0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7,
    306   0x8040, 0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1,
    307   0x803f, 0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0,
    308   0x803f, 0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0,
    309   0x003e, 0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666,
    310   0x003e, 0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555,
    311   0x003d, 0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001,
    312   0x0036, 0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000,
    313   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    314   0xffff, 0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff,
    315   0xffff, 0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff,
    316   0xe6a5, 0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa,
    317   0xd594, 0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999,
    318   0xc040, 0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f,
    319   0xc03f, 0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f,
    320   0xc03f, 0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e,
    321   0xc03e, 0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e,
    322   0xc03e, 0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007,
    323   0xaae9, 0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001,
    324   0x99d8, 0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000,
    325   0x807e, 0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000,
    326   0x807e, 0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x4000,
    327   0x807e, 0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff,
    328   0x807d, 0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff,
    329   0x8047, 0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8,
    330   0x8040, 0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1,
    331   0x8040, 0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1,
    332   0x803f, 0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0,
    333   0x003f, 0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666,
    334   0x003e, 0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555,
    335   0x003e, 0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001,
    336   0x0037, 0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001,
    337   0x0000, 0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x0000,
    338   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    339   0xffff, 0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xffff,
    340   0xe6a5, 0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab,
    341   0xd594, 0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a,
    342   0xc040, 0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040,
    343   0xc040, 0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f,
    344   0xc03f, 0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f,
    345   0xc03f, 0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e,
    346   0xc03e, 0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008,
    347   0xaaea, 0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001,
    348   0x99d9, 0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001,
    349   0x807f, 0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0xc000,
    350   0x807f, 0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0xc000, 0x4000,
    351   0x807e, 0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x4000, 0x4000,
    352   0x807e, 0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff,
    353   0x8047, 0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8,
    354   0x8041, 0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2,
    355   0x8040, 0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1,
    356   0x8040, 0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1,
    357   0x003f, 0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667,
    358   0x003f, 0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556,
    359   0x003e, 0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002,
    360   0x0037, 0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001,
    361   0x0001, 0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001, 0x0001,
    362   0x0000, 0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x0000, 0x0000,
    363   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    364   0xe6a6, 0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xffff, 0xeaab,
    365   0xd595, 0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a,
    366   0xc041, 0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040,
    367   0xc040, 0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040,
    368   0xc040, 0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f,
    369   0xc03f, 0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f,
    370   0xc03f, 0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008,
    371   0xaaea, 0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002,
    372   0x99d9, 0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001,
    373   0x807f, 0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001, 0xc001,
    374   0x99d9, 0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001, 0xc001, 0x5555,
    375   0x99d8, 0xaae9, 0xc006, 0xc000, 0xc000, 0xc000, 0x4000, 0x5554,
    376   0x99d8, 0xaab2, 0xc000, 0xc000, 0xc000, 0x4000, 0x4000, 0x5554,
    377   0x99a1, 0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d,
    378   0x999b, 0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516,
    379   0x999a, 0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516,
    380   0x999a, 0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515,
    381   0x1999, 0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb,
    382   0x1999, 0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa,
    383   0x1998, 0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556,
    384   0x1991, 0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556,
    385   0x195b, 0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001, 0x1555,
    386   0x195a, 0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001, 0x0001, 0x1555,
    387   0x195a, 0x1111, 0x1554, 0x0000, 0x0000, 0x0000, 0x0000, 0x1554,
    388   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    389   0xeeef, 0xeaac, 0xffff, 0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef,
    390   0xd99b, 0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595,
    391   0xd99a, 0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594,
    392   0xd99a, 0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594,
    393   0xd999, 0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593,
    394   0xd999, 0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d,
    395   0xc444, 0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556,
    396   0xb333, 0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556,
    397   0x99d9, 0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001, 0xd555,
    398   0xaaea, 0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001, 0xd555, 0x6666,
    399   0xaae9, 0xc03d, 0xc007, 0xc001, 0xc001, 0xc001, 0x5555, 0x6665,
    400   0xaae9, 0xc006, 0xc000, 0xc000, 0xc000, 0x4000, 0x5554, 0x6665,
    401   0xaab2, 0xc000, 0xc000, 0xc000, 0x4000, 0x4000, 0x5554, 0x665e,
    402   0xaaac, 0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627,
    403   0xaaab, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627,
    404   0xaaab, 0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626,
    405   0x2aaa, 0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc,
    406   0x2aaa, 0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb,
    407   0x2aa9, 0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667,
    408   0x2aa2, 0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667,
    409   0x2a6c, 0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556, 0x2666,
    410   0x2a6b, 0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001, 0x1555, 0x2666,
    411   0x2a6b, 0x2665, 0x1554, 0x0001, 0x0001, 0x0001, 0x1555, 0x2665,
    412   0x1111, 0x1554, 0x0000, 0x0000, 0x0000, 0x0000, 0x1554, 0x1111,
    413   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    414   0xeaac, 0xffff, 0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6,
    415   0xeaab, 0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5,
    416   0xeaab, 0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5,
    417   0xeaaa, 0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4,
    418   0xeaaa, 0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e,
    419   0xd555, 0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667,
    420   0xc444, 0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667,
    421   0xaaea, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556, 0xe666,
    422   0xc03e, 0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0,
    423   0xc03d, 0xc03d, 0xc007, 0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf,
    424   0xc03d, 0xc007, 0xc001, 0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf,
    425   0xc006, 0xc000, 0xc000, 0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8,
    426   0xc000, 0xc000, 0xc000, 0x4000, 0x4000, 0x5554, 0x665e, 0x7f81,
    427   0xbfff, 0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81,
    428   0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80,
    429   0x3ffe, 0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626,
    430   0x3ffe, 0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515,
    431   0x3ffd, 0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1,
    432   0x3ff6, 0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1,
    433   0x3fc0, 0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0,
    434   0x3fbf, 0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0,
    435   0x3fbf, 0x2665, 0x1555, 0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf,
    436   0x2665, 0x1554, 0x0001, 0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b,
    437   0x1554, 0x0000, 0x0000, 0x0000, 0x0000, 0x1554, 0x1111, 0x195a,
    438   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    439   0xffff, 0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff,
    440   0xffff, 0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff,
    441   0xfffe, 0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe,
    442   0xfffe, 0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8,
    443   0xeaa9, 0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1,
    444   0xd998, 0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1,
    445   0xc03e, 0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0,
    446   0xc03e, 0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0,
    447   0xc03e, 0xc03e, 0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0,
    448   0xc03d, 0xc007, 0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf,
    449   0xc007, 0xc001, 0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8,
    450   0xc000, 0xc000, 0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82,
    451   0xc000, 0xc000, 0x4000, 0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81,
    452   0xbfff, 0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81,
    453   0x3fff, 0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627,
    454   0x3ffe, 0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516,
    455   0x3ffe, 0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2,
    456   0x3ff7, 0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1,
    457   0x3fc0, 0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1,
    458   0x3fc0, 0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0,
    459   0x3fbf, 0x2666, 0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0,
    460   0x2665, 0x1555, 0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b,
    461   0x1554, 0x0001, 0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a,
    462   0x0000, 0x0000, 0x0000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000,
    463   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    464   0xffff, 0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff,
    465   0xffff, 0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff,
    466   0xfffe, 0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8,
    467   0xeaaa, 0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2,
    468   0xd999, 0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1,
    469   0xc03f, 0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1,
    470   0xc03f, 0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1,
    471   0xc03e, 0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0,
    472   0xc03e, 0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0,
    473   0xc007, 0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9,
    474   0xc001, 0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82,
    475   0xc000, 0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82,
    476   0xc000, 0x4000, 0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81,
    477   0x3fff, 0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627,
    478   0x3fff, 0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627, 0x5516,
    479   0x3ffe, 0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2,
    480   0x3ff7, 0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2,
    481   0x3fc1, 0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1,
    482   0x3fc0, 0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1,
    483   0x3fc0, 0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0,
    484   0x2666, 0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c,
    485   0x1555, 0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b,
    486   0x0001, 0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001,
    487   0x0000, 0x0000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000, 0x0000,
    488   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    489   0xffff, 0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff,
    490   0xffff, 0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9,
    491   0xeaaa, 0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2,
    492   0xd999, 0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2,
    493   0xc03f, 0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1,
    494   0xc03f, 0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1,
    495   0xc03f, 0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1,
    496   0xc03e, 0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0,
    497   0xc008, 0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9,
    498   0xc001, 0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83,
    499   0xc001, 0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82,
    500   0xc000, 0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82,
    501   0x4000, 0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628,
    502   0x3fff, 0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517,
    503   0x3fff, 0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3,
    504   0x3ff8, 0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2,
    505   0x3fc1, 0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2,
    506   0x3fc1, 0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1,
    507   0x3fc0, 0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1,
    508   0x2666, 0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c,
    509   0x1555, 0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b,
    510   0x0001, 0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001,
    511   0x0001, 0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001,
    512   0x0000, 0x0000, 0x1554, 0x1111, 0x195a, 0x0000, 0x0000, 0x0000,
    513   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    514   0xffff, 0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9,
    515   0xeaab, 0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3,
    516   0xd99a, 0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2,
    517   0xc040, 0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2,
    518   0xc040, 0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8,
    519   0xc03f, 0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7,
    520   0xc03f, 0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7,
    521   0xc008, 0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0,
    522   0xc002, 0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9,
    523   0xc001, 0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9,
    524   0xc001, 0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8,
    525   0x4000, 0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e,
    526   0x4000, 0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d,
    527   0x3fff, 0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9,
    528   0x3ff8, 0x5516, 0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9,
    529   0x3fc2, 0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8,
    530   0x3fc1, 0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8,
    531   0x3fc1, 0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7,
    532   0x2667, 0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3,
    533   0x1556, 0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992,
    534   0x0002, 0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038,
    535   0x0001, 0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037,
    536   0x0001, 0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037,
    537   0x0000, 0x1554, 0x1111, 0x195a, 0x0000, 0x0000, 0x0000, 0x0036,
    538   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    539   0xeaab, 0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9,
    540   0xd99a, 0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9,
    541   0xc040, 0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8,
    542   0xd594, 0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0x7ffe,
    543   0xd594, 0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8, 0x7ffe,
    544   0xd593, 0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7, 0x7ffd,
    545   0xd55d, 0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7, 0x7ff6,
    546   0xd556, 0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0, 0x7fc0,
    547   0xd556, 0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9, 0x7fbf,
    548   0xd555, 0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9, 0x7fbf,
    549   0x5555, 0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8, 0x6665,
    550   0x5554, 0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e, 0x5554,
    551   0x5554, 0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d, 0x4000,
    552   0x554d, 0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9, 0x3fff,
    553   0x5516, 0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9, 0x3fff,
    554   0x5516, 0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe,
    555   0x5515, 0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe,
    556   0x3bbb, 0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7, 0x2aa9,
    557   0x2aaa, 0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998,
    558   0x1556, 0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e,
    559   0x1556, 0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038, 0x003e,
    560   0x1555, 0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037, 0x003d,
    561   0x1555, 0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037, 0x003d,
    562   0x1554, 0x1111, 0x195a, 0x0000, 0x0000, 0x0000, 0x0036, 0x0006,
    563   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    564   0xeeef, 0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9, 0xffff,
    565   0xd595, 0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9, 0xffff,
    566   0xe6a5, 0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9, 0xffff, 0x7fff,
    567   0xe6a5, 0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0x7ffe, 0x7ffe,
    568   0xe6a4, 0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8, 0x7ffe, 0x7ffe,
    569   0xe66e, 0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7, 0x7ffd, 0x7ff7,
    570   0xe667, 0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7, 0x7ff6, 0x7fc0,
    571   0xe667, 0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0, 0x7fc0, 0x7fc0,
    572   0xe666, 0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9, 0x7fbf, 0x7fbf,
    573   0x6666, 0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9, 0x7fbf, 0x6665,
    574   0x6665, 0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8, 0x6665, 0x5554,
    575   0x6665, 0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e, 0x5554, 0x4000,
    576   0x665e, 0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d, 0x4000, 0x4000,
    577   0x6627, 0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9, 0x3fff, 0x3fff,
    578   0x6627, 0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9, 0x3fff, 0x3fff,
    579   0x6626, 0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x3ffe,
    580   0x4ccc, 0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x2aaa,
    581   0x3bbb, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7, 0x2aa9, 0x1999,
    582   0x2667, 0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998, 0x003f,
    583   0x2667, 0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e, 0x003e,
    584   0x2666, 0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038, 0x003e, 0x003e,
    585   0x2666, 0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037, 0x003d, 0x003d,
    586   0x2665, 0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037, 0x003d, 0x0007,
    587   0x1111, 0x195a, 0x0000, 0x0000, 0x0000, 0x0036, 0x0006, 0x0000,
    588   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    589   0xe6a6, 0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9, 0xffff, 0xffff,
    590   0xffff, 0xffff, 0xffff, 0xffc9, 0xfff9, 0xffff, 0xffff, 0x7fff,
    591   0xffff, 0xffff, 0xffc9, 0xffc3, 0xfff9, 0xffff, 0x7fff, 0x7fff,
    592   0xfffe, 0xffc8, 0xffc2, 0xffc2, 0xfff8, 0x7ffe, 0x7ffe, 0x7ffe,
    593   0xffc8, 0xffc2, 0xffc2, 0xffc2, 0x7ff8, 0x7ffe, 0x7ffe, 0x7ff7,
    594   0xffc1, 0xffc1, 0xffc1, 0x7fc1, 0x7ff7, 0x7ffd, 0x7ff7, 0x7fc1,
    595   0xffc1, 0xffc1, 0x7fc1, 0x7fc1, 0x7ff7, 0x7ff6, 0x7fc0, 0x7fc0,
    596   0xffc0, 0x7fc0, 0x7fc0, 0x7fc0, 0x7ff0, 0x7fc0, 0x7fc0, 0x7fc0,
    597   0x7fc0, 0x7fc0, 0x7fc0, 0x7fb9, 0x7fb9, 0x7fbf, 0x7fbf, 0x6666,
    598   0x7fbf, 0x7fbf, 0x7fb9, 0x7f83, 0x7fb9, 0x7fbf, 0x6665, 0x5555,
    599   0x7fbf, 0x7fb8, 0x7f82, 0x7f82, 0x7fb8, 0x6665, 0x5554, 0x4001,
    600   0x7fb8, 0x7f82, 0x7f82, 0x7f82, 0x665e, 0x5554, 0x4000, 0x4000,
    601   0x7f81, 0x7f81, 0x7f81, 0x6628, 0x554d, 0x4000, 0x4000, 0x4000,
    602   0x7f81, 0x7f81, 0x6627, 0x5517, 0x3ff9, 0x3fff, 0x3fff, 0x3fff,
    603   0x7f80, 0x6627, 0x5516, 0x3fc3, 0x3ff9, 0x3fff, 0x3fff, 0x3fff,
    604   0x6626, 0x5516, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x3ffe, 0x2aaa,
    605   0x5515, 0x3fc2, 0x3fc2, 0x3fc2, 0x3ff8, 0x3ffe, 0x2aaa, 0x1999,
    606   0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x3ff7, 0x2aa9, 0x1999, 0x003f,
    607   0x3fc1, 0x3fc1, 0x3fc1, 0x3fc1, 0x2aa3, 0x1998, 0x003f, 0x003f,
    608   0x3fc0, 0x3fc0, 0x3fc0, 0x2a6c, 0x1992, 0x003e, 0x003e, 0x003e,
    609   0x3fc0, 0x3fc0, 0x2a6c, 0x195b, 0x0038, 0x003e, 0x003e, 0x003e,
    610   0x3fbf, 0x2a6b, 0x195b, 0x0001, 0x0037, 0x003d, 0x003d, 0x0007,
    611   0x2a6b, 0x195a, 0x0001, 0x0001, 0x0037, 0x003d, 0x0007, 0x0001,
    612   0x195a, 0x0000, 0x0000, 0x0000, 0x0036, 0x0006, 0x0000, 0x0000,
    613   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    614 };
    615 const unsigned kExpectedCount_NEON_uhsub_8H = 576;
    616 
    617 #endif  // VIXL_SIM_UHSUB_8H_TRACE_A64_H_
    618