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_SSUBW_8H_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SSUBW_8H_TRACE_AARCH64_H_
     36 
     37 const uint16_t kExpected_NEON_ssubw_8H[] = {
     38   0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x807e, 0x807e, 0x007e,
     39   0x0029, 0x0002, 0x32b5, 0x54d6, 0x807d, 0x807d, 0x807d, 0x007d,
     40   0x0001, 0x0001, 0x32b4, 0x55d5, 0x807c, 0x807c, 0x807c, 0x0056,
     41   0x0000, 0x0000, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x8055, 0x0034,
     42   0xffff, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x8054, 0x8033, 0x0008,
     43   0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x8053, 0x8032, 0x8007, 0x0003,
     44   0x00fd, 0x00fd, 0x33b0, 0x55ab, 0x8031, 0x8006, 0x8002, 0x0002,
     45   0x00fc, 0x00fc, 0x3389, 0x5589, 0x8005, 0x8001, 0x8001, 0x0001,
     46   0x00fb, 0x00d5, 0x3367, 0x555d, 0x8000, 0x8000, 0x8000, 0x0000,
     47   0x00d4, 0x00b3, 0x333b, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0xffff,
     48   0x00b2, 0x0087, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0xfffe,
     49   0x0086, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8,
     50   0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd,
     51   0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab,
     52   0x007f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83,
     53   0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82,
     54   0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81,
     55   0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x0080,
     56   0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x007f,
     57   0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x007f, 0x007f,
     58   0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x807e, 0x807e, 0x007e, 0x007e,
     59   0x0002, 0x32b5, 0x54d6, 0x807d, 0x807d, 0x807d, 0x007d, 0x0057,
     60   0x0001, 0x32b4, 0x55d5, 0x807c, 0x807c, 0x807c, 0x0056, 0x0035,
     61   0x0000, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x8055, 0x0034, 0x0009,
     62   0x00ff, 0x33b2, 0x55d3, 0x807a, 0x8054, 0x8033, 0x0008, 0x0004,
     63   0x00fe, 0x33b1, 0x55d2, 0x8053, 0x8032, 0x8007, 0x0003, 0x0003,
     64   0x00fd, 0x33b0, 0x55ab, 0x8031, 0x8006, 0x8002, 0x0002, 0x0002,
     65   0x00fc, 0x3389, 0x5589, 0x8005, 0x8001, 0x8001, 0x0001, 0x0001,
     66   0x00d5, 0x3367, 0x555d, 0x8000, 0x8000, 0x8000, 0x0000, 0x0000,
     67   0x00b3, 0x333b, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff,
     68   0x0087, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9,
     69   0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce,
     70   0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac,
     71   0x0080, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84,
     72   0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83,
     73   0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82,
     74   0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81, 0x0081,
     75   0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x0080, 0x0080,
     76   0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x0080, 0x0080, 0x0080,
     77   0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x007f, 0x007f, 0x007f,
     78   0x32b6, 0x54d7, 0x7f7e, 0x807e, 0x807e, 0x007e, 0x007e, 0x0058,
     79   0x32b5, 0x54d6, 0x807d, 0x807d, 0x807d, 0x007d, 0x0057, 0x0036,
     80   0x32b4, 0x55d5, 0x807c, 0x807c, 0x807c, 0x0056, 0x0035, 0x000a,
     81   0x33b3, 0x55d4, 0x807b, 0x807b, 0x8055, 0x0034, 0x0009, 0x0005,
     82   0x33b2, 0x55d3, 0x807a, 0x8054, 0x8033, 0x0008, 0x0004, 0x0004,
     83   0x33b1, 0x55d2, 0x8053, 0x8032, 0x8007, 0x0003, 0x0003, 0x0003,
     84   0x33b0, 0x55ab, 0x8031, 0x8006, 0x8002, 0x0002, 0x0002, 0x0002,
     85   0x3389, 0x5589, 0x8005, 0x8001, 0x8001, 0x0001, 0x0001, 0x0001,
     86   0x3367, 0x555d, 0x8000, 0x8000, 0x8000, 0x0000, 0x0000, 0x0000,
     87   0x333b, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff, 0xfffa,
     88   0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf,
     89   0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad,
     90   0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85,
     91   0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84,
     92   0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83,
     93   0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82, 0x0082,
     94   0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81, 0x0081, 0x0081,
     95   0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81, 0x0081, 0x0081, 0x008e,
     96   0x5500, 0x7f80, 0x7f80, 0x7f80, 0x0080, 0x0080, 0x0080, 0x008d,
     97   0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x007f, 0x007f, 0x007f, 0x0066,
     98   0x54d7, 0x7f7e, 0x807e, 0x807e, 0x007e, 0x007e, 0x0058, 0x0044,
     99   0x54d6, 0x807d, 0x807d, 0x807d, 0x007d, 0x0057, 0x0036, 0x0018,
    100   0x55d5, 0x807c, 0x807c, 0x807c, 0x0056, 0x0035, 0x000a, 0x0013,
    101   0x55d4, 0x807b, 0x807b, 0x8055, 0x0034, 0x0009, 0x0005, 0x0012,
    102   0x55d3, 0x807a, 0x8054, 0x8033, 0x0008, 0x0004, 0x0004, 0x0011,
    103   0x55d2, 0x8053, 0x8032, 0x8007, 0x0003, 0x0003, 0x0003, 0x0010,
    104   0x55ab, 0x8031, 0x8006, 0x8002, 0x0002, 0x0002, 0x0002, 0x000f,
    105   0x5589, 0x8005, 0x8001, 0x8001, 0x0001, 0x0001, 0x0001, 0x000e,
    106   0x555d, 0x8000, 0x8000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0008,
    107   0x5558, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd,
    108   0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb,
    109   0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93,
    110   0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92,
    111   0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91,
    112   0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83, 0x0090,
    113   0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82, 0x0082, 0x008f,
    114   0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82, 0x0082, 0x008f, 0x00fb,
    115   0x7fa8, 0x7f81, 0x7f81, 0xff81, 0x0081, 0x0081, 0x008e, 0x00fa,
    116   0x7f80, 0x7f80, 0x7f80, 0x0080, 0x0080, 0x0080, 0x008d, 0x00d3,
    117   0x7f7f, 0x7f7f, 0x807f, 0x007f, 0x007f, 0x007f, 0x0066, 0x00b1,
    118   0x7f7e, 0x807e, 0x807e, 0x007e, 0x007e, 0x0058, 0x0044, 0x0085,
    119   0x807d, 0x807d, 0x807d, 0x007d, 0x0057, 0x0036, 0x0018, 0x0080,
    120   0x807c, 0x807c, 0x807c, 0x0056, 0x0035, 0x000a, 0x0013, 0x007f,
    121   0x807b, 0x807b, 0x8055, 0x0034, 0x0009, 0x0005, 0x0012, 0x007e,
    122   0x807a, 0x8054, 0x8033, 0x0008, 0x0004, 0x0004, 0x0011, 0x007d,
    123   0x8053, 0x8032, 0x8007, 0x0003, 0x0003, 0x0003, 0x0010, 0x007c,
    124   0x8031, 0x8006, 0x8002, 0x0002, 0x0002, 0x0002, 0x000f, 0x007b,
    125   0x8005, 0x8001, 0x8001, 0x0001, 0x0001, 0x0001, 0x000e, 0x0075,
    126   0x8000, 0x8000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0008, 0x004a,
    127   0x7fff, 0x7fff, 0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028,
    128   0x7ffe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000,
    129   0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93, 0xffff,
    130   0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe,
    131   0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91, 0x00fd,
    132   0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83, 0x0090, 0x00fc,
    133   0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83, 0x0090, 0x00fc, 0x00fc,
    134   0x7fa9, 0x7f82, 0xff82, 0xff82, 0x0082, 0x008f, 0x00fb, 0x00fb,
    135   0x7f81, 0x7f81, 0xff81, 0x0081, 0x0081, 0x008e, 0x00fa, 0x00d4,
    136   0x7f80, 0x7f80, 0x0080, 0x0080, 0x0080, 0x008d, 0x00d3, 0x00b2,
    137   0x7f7f, 0x807f, 0x007f, 0x007f, 0x007f, 0x0066, 0x00b1, 0x0086,
    138   0x807e, 0x807e, 0x007e, 0x007e, 0x0058, 0x0044, 0x0085, 0x0081,
    139   0x807d, 0x807d, 0x007d, 0x0057, 0x0036, 0x0018, 0x0080, 0x0080,
    140   0x807c, 0x807c, 0x0056, 0x0035, 0x000a, 0x0013, 0x007f, 0x007f,
    141   0x807b, 0x8055, 0x0034, 0x0009, 0x0005, 0x0012, 0x007e, 0x007e,
    142   0x8054, 0x8033, 0x0008, 0x0004, 0x0004, 0x0011, 0x007d, 0x007d,
    143   0x8032, 0x8007, 0x0003, 0x0003, 0x0003, 0x0010, 0x007c, 0x007c,
    144   0x8006, 0x8002, 0x0002, 0x0002, 0x0002, 0x000f, 0x007b, 0x0076,
    145   0x8001, 0x8001, 0x0001, 0x0001, 0x0001, 0x000e, 0x0075, 0x004b,
    146   0x8000, 0x8000, 0x0000, 0x0000, 0x0000, 0x0008, 0x004a, 0x0029,
    147   0x7fff, 0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001,
    148   0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000,
    149   0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93, 0xffff, 0xffff,
    150   0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe, 0x00fe,
    151   0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91, 0x00fd, 0x00fd,
    152   0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91, 0x00fd, 0x00fd, 0x00fd,
    153   0x7faa, 0xff83, 0xff83, 0xff83, 0x0090, 0x00fc, 0x00fc, 0x00fc,
    154   0x7f82, 0xff82, 0xff82, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x00d5,
    155   0x7f81, 0xff81, 0x0081, 0x0081, 0x008e, 0x00fa, 0x00d4, 0x00b3,
    156   0x7f80, 0x0080, 0x0080, 0x0080, 0x008d, 0x00d3, 0x00b2, 0x0087,
    157   0x807f, 0x007f, 0x007f, 0x007f, 0x0066, 0x00b1, 0x0086, 0x0082,
    158   0x807e, 0x007e, 0x007e, 0x0058, 0x0044, 0x0085, 0x0081, 0x0081,
    159   0x807d, 0x007d, 0x0057, 0x0036, 0x0018, 0x0080, 0x0080, 0x0080,
    160   0x807c, 0x0056, 0x0035, 0x000a, 0x0013, 0x007f, 0x007f, 0x007f,
    161   0x8055, 0x0034, 0x0009, 0x0005, 0x0012, 0x007e, 0x007e, 0x007e,
    162   0x8033, 0x0008, 0x0004, 0x0004, 0x0011, 0x007d, 0x007d, 0x007d,
    163   0x8007, 0x0003, 0x0003, 0x0003, 0x0010, 0x007c, 0x007c, 0x0077,
    164   0x8002, 0x0002, 0x0002, 0x0002, 0x000f, 0x007b, 0x0076, 0x004c,
    165   0x8001, 0x0001, 0x0001, 0x0001, 0x000e, 0x0075, 0x004b, 0x002a,
    166   0x8000, 0x0000, 0x0000, 0x0000, 0x0008, 0x004a, 0x0029, 0x0002,
    167   0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001,
    168   0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000,
    169   0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93, 0xffff, 0xffff, 0x00ff,
    170   0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe, 0x00fe, 0x00fe,
    171   0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe, 0x00fe, 0x00fe, 0x33b1,
    172   0xffab, 0xff84, 0xff84, 0xff91, 0x00fd, 0x00fd, 0x00fd, 0x33b0,
    173   0xff83, 0xff83, 0xff83, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3389,
    174   0xff82, 0xff82, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x00d5, 0x3367,
    175   0xff81, 0x0081, 0x0081, 0x008e, 0x00fa, 0x00d4, 0x00b3, 0x333b,
    176   0x0080, 0x0080, 0x0080, 0x008d, 0x00d3, 0x00b2, 0x0087, 0x3336,
    177   0x007f, 0x007f, 0x007f, 0x0066, 0x00b1, 0x0086, 0x0082, 0x3335,
    178   0x007e, 0x007e, 0x0058, 0x0044, 0x0085, 0x0081, 0x0081, 0x3334,
    179   0x007d, 0x0057, 0x0036, 0x0018, 0x0080, 0x0080, 0x0080, 0x3333,
    180   0x0056, 0x0035, 0x000a, 0x0013, 0x007f, 0x007f, 0x007f, 0x3332,
    181   0x0034, 0x0009, 0x0005, 0x0012, 0x007e, 0x007e, 0x007e, 0x3331,
    182   0x0008, 0x0004, 0x0004, 0x0011, 0x007d, 0x007d, 0x007d, 0x332b,
    183   0x0003, 0x0003, 0x0003, 0x0010, 0x007c, 0x007c, 0x0077, 0x3300,
    184   0x0002, 0x0002, 0x0002, 0x000f, 0x007b, 0x0076, 0x004c, 0x32de,
    185   0x0001, 0x0001, 0x0001, 0x000e, 0x0075, 0x004b, 0x002a, 0x32b6,
    186   0x0000, 0x0000, 0x0000, 0x0008, 0x004a, 0x0029, 0x0002, 0x32b5,
    187   0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4,
    188   0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000, 0x33b3,
    189   0xfff8, 0xffce, 0xffad, 0xff93, 0xffff, 0xffff, 0x00ff, 0x33b2,
    190   0xffce, 0xffad, 0xff93, 0xffff, 0xffff, 0x00ff, 0x33b2, 0x55d3,
    191   0xffac, 0xff85, 0xff92, 0xfffe, 0x00fe, 0x00fe, 0x33b1, 0x55d2,
    192   0xff84, 0xff84, 0xff91, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x55ab,
    193   0xff83, 0xff83, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3389, 0x5589,
    194   0xff82, 0x0082, 0x008f, 0x00fb, 0x00fb, 0x00d5, 0x3367, 0x555d,
    195   0x0081, 0x0081, 0x008e, 0x00fa, 0x00d4, 0x00b3, 0x333b, 0x5558,
    196   0x0080, 0x0080, 0x008d, 0x00d3, 0x00b2, 0x0087, 0x3336, 0x5557,
    197   0x007f, 0x007f, 0x0066, 0x00b1, 0x0086, 0x0082, 0x3335, 0x5556,
    198   0x007e, 0x0058, 0x0044, 0x0085, 0x0081, 0x0081, 0x3334, 0x5555,
    199   0x0057, 0x0036, 0x0018, 0x0080, 0x0080, 0x0080, 0x3333, 0x5554,
    200   0x0035, 0x000a, 0x0013, 0x007f, 0x007f, 0x007f, 0x3332, 0x5553,
    201   0x0009, 0x0005, 0x0012, 0x007e, 0x007e, 0x007e, 0x3331, 0x554d,
    202   0x0004, 0x0004, 0x0011, 0x007d, 0x007d, 0x007d, 0x332b, 0x5522,
    203   0x0003, 0x0003, 0x0010, 0x007c, 0x007c, 0x0077, 0x3300, 0x5500,
    204   0x0002, 0x0002, 0x000f, 0x007b, 0x0076, 0x004c, 0x32de, 0x54d8,
    205   0x0001, 0x0001, 0x000e, 0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7,
    206   0x0000, 0x0000, 0x0008, 0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6,
    207   0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4, 0x55d5,
    208   0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000, 0x33b3, 0x55d4,
    209   0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000, 0x33b3, 0x55d4, 0x807b,
    210   0xffad, 0xff93, 0xffff, 0xffff, 0x00ff, 0x33b2, 0x55d3, 0x807a,
    211   0xff85, 0xff92, 0xfffe, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x8053,
    212   0xff84, 0xff91, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x55ab, 0x8031,
    213   0xff83, 0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3389, 0x5589, 0x8005,
    214   0x0082, 0x008f, 0x00fb, 0x00fb, 0x00d5, 0x3367, 0x555d, 0x8000,
    215   0x0081, 0x008e, 0x00fa, 0x00d4, 0x00b3, 0x333b, 0x5558, 0x7fff,
    216   0x0080, 0x008d, 0x00d3, 0x00b2, 0x0087, 0x3336, 0x5557, 0x7ffe,
    217   0x007f, 0x0066, 0x00b1, 0x0086, 0x0082, 0x3335, 0x5556, 0x7ffd,
    218   0x0058, 0x0044, 0x0085, 0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc,
    219   0x0036, 0x0018, 0x0080, 0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb,
    220   0x000a, 0x0013, 0x007f, 0x007f, 0x007f, 0x3332, 0x5553, 0x7ff5,
    221   0x0005, 0x0012, 0x007e, 0x007e, 0x007e, 0x3331, 0x554d, 0x7fca,
    222   0x0004, 0x0011, 0x007d, 0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8,
    223   0x0003, 0x0010, 0x007c, 0x007c, 0x0077, 0x3300, 0x5500, 0x7f80,
    224   0x0002, 0x000f, 0x007b, 0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f,
    225   0x0001, 0x000e, 0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e,
    226   0x0000, 0x0008, 0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6, 0x807d,
    227   0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4, 0x55d5, 0x807c,
    228   0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4, 0x55d5, 0x807c, 0x807c,
    229   0xffbb, 0x0000, 0x0000, 0x0000, 0x33b3, 0x55d4, 0x807b, 0x807b,
    230   0xff93, 0xffff, 0xffff, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x8054,
    231   0xff92, 0xfffe, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x8053, 0x8032,
    232   0xff91, 0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x55ab, 0x8031, 0x8006,
    233   0x0090, 0x00fc, 0x00fc, 0x00fc, 0x3389, 0x5589, 0x8005, 0x8001,
    234   0x008f, 0x00fb, 0x00fb, 0x00d5, 0x3367, 0x555d, 0x8000, 0x8000,
    235   0x008e, 0x00fa, 0x00d4, 0x00b3, 0x333b, 0x5558, 0x7fff, 0x7fff,
    236   0x008d, 0x00d3, 0x00b2, 0x0087, 0x3336, 0x5557, 0x7ffe, 0x7ffe,
    237   0x0066, 0x00b1, 0x0086, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd,
    238   0x0044, 0x0085, 0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc,
    239   0x0018, 0x0080, 0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7ff6,
    240   0x0013, 0x007f, 0x007f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb,
    241   0x0012, 0x007e, 0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9,
    242   0x0011, 0x007d, 0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81,
    243   0x0010, 0x007c, 0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80,
    244   0x000f, 0x007b, 0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f,
    245   0x000e, 0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x807e,
    246   0x0008, 0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6, 0x807d, 0x807d,
    247   0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6, 0x807d, 0x807d, 0x807d,
    248   0x0028, 0x0001, 0x0001, 0x32b4, 0x55d5, 0x807c, 0x807c, 0x807c,
    249   0x0000, 0x0000, 0x0000, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x8055,
    250   0xffff, 0xffff, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x8054, 0x8033,
    251   0xfffe, 0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x8053, 0x8032, 0x8007,
    252   0x00fd, 0x00fd, 0x00fd, 0x33b0, 0x55ab, 0x8031, 0x8006, 0x8002,
    253   0x00fc, 0x00fc, 0x00fc, 0x3389, 0x5589, 0x8005, 0x8001, 0x8001,
    254   0x00fb, 0x00fb, 0x00d5, 0x3367, 0x555d, 0x8000, 0x8000, 0x8000,
    255   0x00fa, 0x00d4, 0x00b3, 0x333b, 0x5558, 0x7fff, 0x7fff, 0x7fff,
    256   0x00d3, 0x00b2, 0x0087, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe,
    257   0x00b1, 0x0086, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd,
    258   0x0085, 0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7,
    259   0x0080, 0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc,
    260   0x007f, 0x007f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa,
    261   0x007e, 0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82,
    262   0x007d, 0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81,
    263   0x007c, 0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80,
    264   0x007b, 0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x807f,
    265   0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x807e, 0x807e,
    266   0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x807e, 0x807e, 0x807e,
    267   0x0029, 0x0002, 0x32b5, 0x54d6, 0x807d, 0x807d, 0x807d, 0x807d,
    268   0x0001, 0x0001, 0x32b4, 0x55d5, 0x807c, 0x807c, 0x807c, 0x8056,
    269   0x0000, 0x0000, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x8055, 0x8034,
    270   0xffff, 0x00ff, 0x33b2, 0x55d3, 0x807a, 0x8054, 0x8033, 0x8008,
    271   0x00fe, 0x00fe, 0x33b1, 0x55d2, 0x8053, 0x8032, 0x8007, 0x8003,
    272   0x00fd, 0x00fd, 0x33b0, 0x55ab, 0x8031, 0x8006, 0x8002, 0x8002,
    273   0x00fc, 0x00fc, 0x3389, 0x5589, 0x8005, 0x8001, 0x8001, 0x8001,
    274   0x00fb, 0x00d5, 0x3367, 0x555d, 0x8000, 0x8000, 0x8000, 0x8000,
    275   0x00d4, 0x00b3, 0x333b, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    276   0x00b2, 0x0087, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe,
    277   0x0086, 0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8,
    278   0x0081, 0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd,
    279   0x0080, 0x0080, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab,
    280   0x007f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83,
    281   0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82,
    282   0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81,
    283   0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x8080,
    284   0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x807f,
    285   0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x807f, 0x807f,
    286   0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x807e, 0x807e, 0x807e, 0x807e,
    287   0x0002, 0x32b5, 0x54d6, 0x807d, 0x807d, 0x807d, 0x807d, 0x8057,
    288   0x0001, 0x32b4, 0x55d5, 0x807c, 0x807c, 0x807c, 0x8056, 0x8035,
    289   0x0000, 0x33b3, 0x55d4, 0x807b, 0x807b, 0x8055, 0x8034, 0x8009,
    290   0x00ff, 0x33b2, 0x55d3, 0x807a, 0x8054, 0x8033, 0x8008, 0x8004,
    291   0x00fe, 0x33b1, 0x55d2, 0x8053, 0x8032, 0x8007, 0x8003, 0x8003,
    292   0x00fd, 0x33b0, 0x55ab, 0x8031, 0x8006, 0x8002, 0x8002, 0x8002,
    293   0x00fc, 0x3389, 0x5589, 0x8005, 0x8001, 0x8001, 0x8001, 0x8001,
    294   0x00d5, 0x3367, 0x555d, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000,
    295   0x00b3, 0x333b, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
    296   0x0087, 0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9,
    297   0x0082, 0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce,
    298   0x0081, 0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac,
    299   0x0080, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84,
    300   0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83,
    301   0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82,
    302   0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x8081,
    303   0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x8080, 0x8080,
    304   0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x8080, 0x8080, 0xab28,
    305   0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x807f, 0x807f, 0xab27,
    306   0x32b6, 0x54d7, 0x7f7e, 0x807e, 0x807e, 0x807e, 0x807e, 0xab00,
    307   0x32b5, 0x54d6, 0x807d, 0x807d, 0x807d, 0x807d, 0x8057, 0xaade,
    308   0x32b4, 0x55d5, 0x807c, 0x807c, 0x807c, 0x8056, 0x8035, 0xaab2,
    309   0x33b3, 0x55d4, 0x807b, 0x807b, 0x8055, 0x8034, 0x8009, 0xaaad,
    310   0x33b2, 0x55d3, 0x807a, 0x8054, 0x8033, 0x8008, 0x8004, 0xaaac,
    311   0x33b1, 0x55d2, 0x8053, 0x8032, 0x8007, 0x8003, 0x8003, 0xaaab,
    312   0x33b0, 0x55ab, 0x8031, 0x8006, 0x8002, 0x8002, 0x8002, 0xaaaa,
    313   0x3389, 0x5589, 0x8005, 0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9,
    314   0x3367, 0x555d, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8,
    315   0x333b, 0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2,
    316   0x3336, 0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77,
    317   0x3335, 0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55,
    318   0x3334, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d,
    319   0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c,
    320   0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b,
    321   0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xab2a,
    322   0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x8081, 0xab29,
    323   0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x8081, 0xab29, 0xcd4a,
    324   0x5500, 0x7f80, 0x7f80, 0x7f80, 0x8080, 0x8080, 0xab28, 0xcd49,
    325   0x54d8, 0x7f7f, 0x7f7f, 0x807f, 0x807f, 0x807f, 0xab27, 0xcd22,
    326   0x54d7, 0x7f7e, 0x807e, 0x807e, 0x807e, 0x807e, 0xab00, 0xcd00,
    327   0x54d6, 0x807d, 0x807d, 0x807d, 0x807d, 0x8057, 0xaade, 0xccd4,
    328   0x55d5, 0x807c, 0x807c, 0x807c, 0x8056, 0x8035, 0xaab2, 0xcccf,
    329   0x55d4, 0x807b, 0x807b, 0x8055, 0x8034, 0x8009, 0xaaad, 0xccce,
    330   0x55d3, 0x807a, 0x8054, 0x8033, 0x8008, 0x8004, 0xaaac, 0xcccd,
    331   0x55d2, 0x8053, 0x8032, 0x8007, 0x8003, 0x8003, 0xaaab, 0xcccc,
    332   0x55ab, 0x8031, 0x8006, 0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb,
    333   0x5589, 0x8005, 0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca,
    334   0x555d, 0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8, 0xccc4,
    335   0x5558, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99,
    336   0x5557, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77,
    337   0x5556, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f,
    338   0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e,
    339   0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d,
    340   0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcd4c,
    341   0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xab2a, 0xcd4b,
    342   0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xab2a, 0xcd4b, 0xfffe,
    343   0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x8081, 0xab29, 0xcd4a, 0xfffd,
    344   0x7f80, 0x7f80, 0x7f80, 0x8080, 0x8080, 0xab28, 0xcd49, 0xffd6,
    345   0x7f7f, 0x7f7f, 0x807f, 0x807f, 0x807f, 0xab27, 0xcd22, 0xffb4,
    346   0x7f7e, 0x807e, 0x807e, 0x807e, 0x807e, 0xab00, 0xcd00, 0xff88,
    347   0x807d, 0x807d, 0x807d, 0x807d, 0x8057, 0xaade, 0xccd4, 0xff83,
    348   0x807c, 0x807c, 0x807c, 0x8056, 0x8035, 0xaab2, 0xcccf, 0xff82,
    349   0x807b, 0x807b, 0x8055, 0x8034, 0x8009, 0xaaad, 0xccce, 0xff81,
    350   0x807a, 0x8054, 0x8033, 0x8008, 0x8004, 0xaaac, 0xcccd, 0xff80,
    351   0x8053, 0x8032, 0x8007, 0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f,
    352   0x8031, 0x8006, 0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e,
    353   0x8005, 0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca, 0xff78,
    354   0x8000, 0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d,
    355   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b,
    356   0x7ffe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03,
    357   0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02,
    358   0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01,
    359   0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0x0000,
    360   0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcd4c, 0xffff,
    361   0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcd4c, 0xffff, 0xffff,
    362   0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xab2a, 0xcd4b, 0xfffe, 0xfffe,
    363   0x7f81, 0x7f81, 0x7f81, 0x8081, 0xab29, 0xcd4a, 0xfffd, 0xffd7,
    364   0x7f80, 0x7f80, 0x8080, 0x8080, 0xab28, 0xcd49, 0xffd6, 0xffb5,
    365   0x7f7f, 0x807f, 0x807f, 0x807f, 0xab27, 0xcd22, 0xffb4, 0xff89,
    366   0x807e, 0x807e, 0x807e, 0x807e, 0xab00, 0xcd00, 0xff88, 0xff84,
    367   0x807d, 0x807d, 0x807d, 0x8057, 0xaade, 0xccd4, 0xff83, 0xff83,
    368   0x807c, 0x807c, 0x8056, 0x8035, 0xaab2, 0xcccf, 0xff82, 0xff82,
    369   0x807b, 0x8055, 0x8034, 0x8009, 0xaaad, 0xccce, 0xff81, 0xff81,
    370   0x8054, 0x8033, 0x8008, 0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80,
    371   0x8032, 0x8007, 0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f,
    372   0x8006, 0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff79,
    373   0x8001, 0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e,
    374   0x8000, 0x8000, 0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c,
    375   0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04,
    376   0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03,
    377   0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02,
    378   0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0x0001,
    379   0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0x0000, 0x0000,
    380   0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0x0000, 0x0000, 0x0000,
    381   0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcd4c, 0xffff, 0xffff, 0xffff,
    382   0x7f82, 0x7f82, 0x7f82, 0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xffd8,
    383   0x7f81, 0x7f81, 0x8081, 0xab29, 0xcd4a, 0xfffd, 0xffd7, 0xffb6,
    384   0x7f80, 0x8080, 0x8080, 0xab28, 0xcd49, 0xffd6, 0xffb5, 0xff8a,
    385   0x807f, 0x807f, 0x807f, 0xab27, 0xcd22, 0xffb4, 0xff89, 0xff85,
    386   0x807e, 0x807e, 0x807e, 0xab00, 0xcd00, 0xff88, 0xff84, 0xff84,
    387   0x807d, 0x807d, 0x8057, 0xaade, 0xccd4, 0xff83, 0xff83, 0xff83,
    388   0x807c, 0x8056, 0x8035, 0xaab2, 0xcccf, 0xff82, 0xff82, 0xff82,
    389   0x8055, 0x8034, 0x8009, 0xaaad, 0xccce, 0xff81, 0xff81, 0xff81,
    390   0x8033, 0x8008, 0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80,
    391   0x8007, 0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff7a,
    392   0x8002, 0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f,
    393   0x8001, 0x8001, 0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d,
    394   0x8000, 0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05,
    395   0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04,
    396   0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03,
    397   0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02, 0x0002,
    398   0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0x0001, 0x0001,
    399   0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0x0001, 0x0001, 0x0001,
    400   0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0x0000, 0x0000, 0x0000, 0x0000,
    401   0x7f83, 0x7f83, 0xaa2b, 0xcd4c, 0xffff, 0xffff, 0xffff, 0xffd9,
    402   0x7f82, 0x7f82, 0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xffd8, 0xffb7,
    403   0x7f81, 0x8081, 0xab29, 0xcd4a, 0xfffd, 0xffd7, 0xffb6, 0xff8b,
    404   0x8080, 0x8080, 0xab28, 0xcd49, 0xffd6, 0xffb5, 0xff8a, 0xff86,
    405   0x807f, 0x807f, 0xab27, 0xcd22, 0xffb4, 0xff89, 0xff85, 0xff85,
    406   0x807e, 0x807e, 0xab00, 0xcd00, 0xff88, 0xff84, 0xff84, 0xff84,
    407   0x807d, 0x8057, 0xaade, 0xccd4, 0xff83, 0xff83, 0xff83, 0xff83,
    408   0x8056, 0x8035, 0xaab2, 0xcccf, 0xff82, 0xff82, 0xff82, 0xff82,
    409   0x8034, 0x8009, 0xaaad, 0xccce, 0xff81, 0xff81, 0xff81, 0xff81,
    410   0x8008, 0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80, 0xff7b,
    411   0x8003, 0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50,
    412   0x8002, 0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e,
    413   0x8001, 0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06,
    414   0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05,
    415   0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04,
    416   0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03, 0x0003,
    417   0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02, 0x0002, 0x0002,
    418   0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02, 0x0002, 0x0002, 0x006e,
    419   0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0x0001, 0x0001, 0x0001, 0x006d,
    420   0x7f84, 0xaa2c, 0xcc4d, 0x0000, 0x0000, 0x0000, 0x0000, 0x0046,
    421   0x7f83, 0xaa2b, 0xcd4c, 0xffff, 0xffff, 0xffff, 0xffd9, 0x0024,
    422   0x7f82, 0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xfff8,
    423   0x8081, 0xab29, 0xcd4a, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xfff3,
    424   0x8080, 0xab28, 0xcd49, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xfff2,
    425   0x807f, 0xab27, 0xcd22, 0xffb4, 0xff89, 0xff85, 0xff85, 0xfff1,
    426   0x807e, 0xab00, 0xcd00, 0xff88, 0xff84, 0xff84, 0xff84, 0xfff0,
    427   0x8057, 0xaade, 0xccd4, 0xff83, 0xff83, 0xff83, 0xff83, 0xffef,
    428   0x8035, 0xaab2, 0xcccf, 0xff82, 0xff82, 0xff82, 0xff82, 0xffee,
    429   0x8009, 0xaaad, 0xccce, 0xff81, 0xff81, 0xff81, 0xff81, 0xffe8,
    430   0x8004, 0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd,
    431   0x8003, 0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b,
    432   0x8002, 0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73,
    433   0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72,
    434   0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71,
    435   0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04, 0x0070,
    436   0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03, 0x0003, 0x006f,
    437   0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03, 0x0003, 0x006f, 0x007b,
    438   0xaa55, 0xcc4f, 0xff02, 0xff02, 0x0002, 0x0002, 0x006e, 0x007a,
    439   0xaa2d, 0xcc4e, 0xff01, 0x0001, 0x0001, 0x0001, 0x006d, 0x0053,
    440   0xaa2c, 0xcc4d, 0x0000, 0x0000, 0x0000, 0x0000, 0x0046, 0x0031,
    441   0xaa2b, 0xcd4c, 0xffff, 0xffff, 0xffff, 0xffd9, 0x0024, 0x0005,
    442   0xab2a, 0xcd4b, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xfff8, 0x0000,
    443   0xab29, 0xcd4a, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xfff3, 0xffff,
    444   0xab28, 0xcd49, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xfff2, 0xfffe,
    445   0xab27, 0xcd22, 0xffb4, 0xff89, 0xff85, 0xff85, 0xfff1, 0xfffd,
    446   0xab00, 0xcd00, 0xff88, 0xff84, 0xff84, 0xff84, 0xfff0, 0xfffc,
    447   0xaade, 0xccd4, 0xff83, 0xff83, 0xff83, 0xff83, 0xffef, 0xfffb,
    448   0xaab2, 0xcccf, 0xff82, 0xff82, 0xff82, 0xff82, 0xffee, 0xfff5,
    449   0xaaad, 0xccce, 0xff81, 0xff81, 0xff81, 0xff81, 0xffe8, 0xffca,
    450   0xaaac, 0xcccd, 0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd, 0xffa8,
    451   0xaaab, 0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b, 0xff80,
    452   0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73, 0xff7f,
    453   0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72, 0xff7e,
    454   0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71, 0x007d,
    455   0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04, 0x0070, 0x007c,
    456   0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04, 0x0070, 0x007c, 0x007c,
    457   0xcc77, 0xff03, 0xff03, 0xff03, 0x0003, 0x006f, 0x007b, 0x007b,
    458   0xcc4f, 0xff02, 0xff02, 0x0002, 0x0002, 0x006e, 0x007a, 0x0054,
    459   0xcc4e, 0xff01, 0x0001, 0x0001, 0x0001, 0x006d, 0x0053, 0x0032,
    460   0xcc4d, 0x0000, 0x0000, 0x0000, 0x0000, 0x0046, 0x0031, 0x0006,
    461   0xcd4c, 0xffff, 0xffff, 0xffff, 0xffd9, 0x0024, 0x0005, 0x0001,
    462   0xcd4b, 0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xfff8, 0x0000, 0x0000,
    463   0xcd4a, 0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xfff3, 0xffff, 0xffff,
    464   0xcd49, 0xffd6, 0xffb5, 0xff8a, 0xff86, 0xfff2, 0xfffe, 0xfffe,
    465   0xcd22, 0xffb4, 0xff89, 0xff85, 0xff85, 0xfff1, 0xfffd, 0xfffd,
    466   0xcd00, 0xff88, 0xff84, 0xff84, 0xff84, 0xfff0, 0xfffc, 0xfffc,
    467   0xccd4, 0xff83, 0xff83, 0xff83, 0xff83, 0xffef, 0xfffb, 0xfff6,
    468   0xcccf, 0xff82, 0xff82, 0xff82, 0xff82, 0xffee, 0xfff5, 0xffcb,
    469   0xccce, 0xff81, 0xff81, 0xff81, 0xff81, 0xffe8, 0xffca, 0xffa9,
    470   0xcccd, 0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd, 0xffa8, 0xff81,
    471   0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b, 0xff80, 0xff80,
    472   0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73, 0xff7f, 0xff7f,
    473   0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72, 0xff7e, 0x007e,
    474   0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71, 0x007d, 0x007d,
    475   0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71, 0x007d, 0x007d, 0x007d,
    476   0xff2b, 0xff04, 0xff04, 0xff04, 0x0070, 0x007c, 0x007c, 0x007c,
    477   0xff03, 0xff03, 0xff03, 0x0003, 0x006f, 0x007b, 0x007b, 0x0055,
    478   0xff02, 0xff02, 0x0002, 0x0002, 0x006e, 0x007a, 0x0054, 0x0033,
    479   0xff01, 0x0001, 0x0001, 0x0001, 0x006d, 0x0053, 0x0032, 0x0007,
    480   0x0000, 0x0000, 0x0000, 0x0000, 0x0046, 0x0031, 0x0006, 0x0002,
    481   0xffff, 0xffff, 0xffff, 0xffd9, 0x0024, 0x0005, 0x0001, 0x0001,
    482   0xfffe, 0xfffe, 0xffd8, 0xffb7, 0xfff8, 0x0000, 0x0000, 0x0000,
    483   0xfffd, 0xffd7, 0xffb6, 0xff8b, 0xfff3, 0xffff, 0xffff, 0xffff,
    484   0xffd6, 0xffb5, 0xff8a, 0xff86, 0xfff2, 0xfffe, 0xfffe, 0xfffe,
    485   0xffb4, 0xff89, 0xff85, 0xff85, 0xfff1, 0xfffd, 0xfffd, 0xfffd,
    486   0xff88, 0xff84, 0xff84, 0xff84, 0xfff0, 0xfffc, 0xfffc, 0xfff7,
    487   0xff83, 0xff83, 0xff83, 0xff83, 0xffef, 0xfffb, 0xfff6, 0xffcc,
    488   0xff82, 0xff82, 0xff82, 0xff82, 0xffee, 0xfff5, 0xffcb, 0xffaa,
    489   0xff81, 0xff81, 0xff81, 0xff81, 0xffe8, 0xffca, 0xffa9, 0xff82,
    490   0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd, 0xffa8, 0xff81, 0xff81,
    491   0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b, 0xff80, 0xff80, 0xff80,
    492   0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73, 0xff7f, 0xff7f, 0x007f,
    493   0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72, 0xff7e, 0x007e, 0x007e,
    494 };
    495 const unsigned kExpectedCount_NEON_ssubw_8H = 456;
    496 
    497 #endif  // VIXL_SIM_SSUBW_8H_TRACE_AARCH64_H_
    498