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