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