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