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