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_UADDW2_8H_TRACE_A64_H_
     35 #define VIXL_SIM_UADDW2_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_uaddw2_8H[] = {
     38   0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000,
     39   0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001,
     40   0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002,
     41   0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x0008,
     42   0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033,
     43   0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055,
     44   0x017d, 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, 0x0080,
     48   0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x0081,
     49   0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x0082,
     50   0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x0083,
     51   0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa,
     52   0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc,
     53   0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8,
     54   0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd,
     55   0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe,
     56   0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff,
     57   0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001,
     58   0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002,
     59   0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003,
     60   0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002, 0x0009,
     61   0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034,
     62   0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056,
     63   0x017e, 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, 0x0081,
     67   0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x0080, 0x0082,
     68   0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x0081, 0x0083,
     69   0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x0082, 0x0084,
     70   0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x0083, 0x00ab,
     71   0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd,
     72   0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9,
     73   0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe,
     74   0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff,
     75   0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100,
     76   0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002,
     77   0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003,
     78   0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004,
     79   0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003, 0x000a,
     80   0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035,
     81   0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057,
     82   0x3432, 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, 0x0082,
     86   0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0x0081, 0x0083,
     87   0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x0080, 0x0082, 0x0084,
     88   0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x0081, 0x0083, 0x0085,
     89   0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x0082, 0x0084, 0x00ac,
     90   0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce,
     91   0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa,
     92   0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff,
     93   0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100,
     94   0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101,
     95   0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010,
     96   0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011,
     97   0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012,
     98   0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004, 0x0018,
     99   0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043,
    100   0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065,
    101   0x5654, 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, 0x0090,
    105   0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0x0082, 0x0091,
    106   0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0x0081, 0x0083, 0x0092,
    107   0x55aa, 0x807a, 0x807c, 0x807e, 0x0080, 0x0082, 0x0084, 0x0093,
    108   0x55d2, 0x807b, 0x807d, 0x807f, 0x0081, 0x0083, 0x0085, 0x00ba,
    109   0x55d3, 0x807c, 0x807e, 0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc,
    110   0x55d4, 0x807d, 0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108,
    111   0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d,
    112   0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e,
    113   0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f,
    114   0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d,
    115   0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e,
    116   0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011, 0x007f,
    117   0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012, 0x0085,
    118   0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0,
    119   0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2,
    120   0x80fc, 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, 0x00fd,
    124   0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0x0090, 0x00fe,
    125   0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0x0082, 0x0091, 0x00ff,
    126   0x8052, 0x807b, 0x807d, 0x007f, 0x0081, 0x0083, 0x0092, 0x0100,
    127   0x807a, 0x807c, 0x807e, 0x0080, 0x0082, 0x0084, 0x0093, 0x0127,
    128   0x807b, 0x807d, 0x807f, 0x0081, 0x0083, 0x0085, 0x00ba, 0x0149,
    129   0x807c, 0x807e, 0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175,
    130   0x807d, 0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a,
    131   0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b,
    132   0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c,
    133   0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e,
    134   0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d, 0x007f,
    135   0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e, 0x0080,
    136   0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011, 0x007f, 0x0086,
    137   0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1,
    138   0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3,
    139   0x80fd, 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, 0x00fe,
    143   0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff,
    144   0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0x0090, 0x00fe, 0x0100,
    145   0x8053, 0x807c, 0x007e, 0x0080, 0x0082, 0x0091, 0x00ff, 0x0101,
    146   0x807b, 0x807d, 0x007f, 0x0081, 0x0083, 0x0092, 0x0100, 0x0128,
    147   0x807c, 0x807e, 0x0080, 0x0082, 0x0084, 0x0093, 0x0127, 0x014a,
    148   0x807d, 0x807f, 0x0081, 0x0083, 0x0085, 0x00ba, 0x0149, 0x0176,
    149   0x807e, 0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b,
    150   0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c,
    151   0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d,
    152   0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d, 0x007f,
    153   0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e, 0x0080,
    154   0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d, 0x007f, 0x0081,
    155   0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e, 0x0080, 0x0087,
    156   0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2,
    157   0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4,
    158   0x80fe, 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, 0x00ff,
    162   0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100,
    163   0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101,
    164   0x8054, 0x007d, 0x007f, 0x0081, 0x0090, 0x00fe, 0x0100, 0x0102,
    165   0x807c, 0x007e, 0x0080, 0x0082, 0x0091, 0x00ff, 0x0101, 0x0129,
    166   0x807d, 0x007f, 0x0081, 0x0083, 0x0092, 0x0100, 0x0128, 0x014b,
    167   0x807e, 0x0080, 0x0082, 0x0084, 0x0093, 0x0127, 0x014a, 0x0177,
    168   0x807f, 0x0081, 0x0083, 0x0085, 0x00ba, 0x0149, 0x0176, 0x017c,
    169   0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d,
    170   0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c, 0x017e,
    171   0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c, 0x017e, 0x3333,
    172   0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d, 0x007f, 0x3334,
    173   0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e, 0x0080, 0x3335,
    174   0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d, 0x007f, 0x0081, 0x333b,
    175   0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366,
    176   0x00fe, 0x0100, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388,
    177   0x00ff, 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, 0x33b3,
    181   0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4,
    182   0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5,
    183   0x0055, 0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6,
    184   0x007d, 0x007f, 0x0081, 0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd,
    185   0x007e, 0x0080, 0x0082, 0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff,
    186   0x007f, 0x0081, 0x0083, 0x0092, 0x0100, 0x0128, 0x014b, 0x342b,
    187   0x0080, 0x0082, 0x0084, 0x0093, 0x0127, 0x014a, 0x0177, 0x3430,
    188   0x0081, 0x0083, 0x0085, 0x00ba, 0x0149, 0x0176, 0x017c, 0x3431,
    189   0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d, 0x3432,
    190   0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d, 0x3432, 0x5555,
    191   0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c, 0x017e, 0x3333, 0x5556,
    192   0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d, 0x007f, 0x3334, 0x5557,
    193   0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e, 0x0080, 0x3335, 0x555d,
    194   0x00fe, 0x0100, 0x010f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588,
    195   0x00ff, 0x0101, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa,
    196   0x0100, 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, 0x55d5,
    200   0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6,
    201   0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7,
    202   0x0056, 0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8,
    203   0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff,
    204   0x007f, 0x0081, 0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621,
    205   0x0080, 0x0082, 0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d,
    206   0x0081, 0x0083, 0x0092, 0x0100, 0x0128, 0x014b, 0x342b, 0x5652,
    207   0x0082, 0x0084, 0x0093, 0x0127, 0x014a, 0x0177, 0x3430, 0x5653,
    208   0x0083, 0x0085, 0x00ba, 0x0149, 0x0176, 0x017c, 0x3431, 0x5654,
    209   0x0085, 0x00ba, 0x0149, 0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd,
    210   0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe,
    211   0x00ce, 0x0108, 0x017a, 0x017c, 0x017e, 0x3333, 0x5556, 0x7fff,
    212   0x00fa, 0x010d, 0x017b, 0x017d, 0x007f, 0x3334, 0x5557, 0x8005,
    213   0x00ff, 0x010e, 0x017c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030,
    214   0x0100, 0x010f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052,
    215   0x0101, 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, 0x807d,
    219   0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e,
    220   0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f,
    221   0x0057, 0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080,
    222   0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7,
    223   0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9,
    224   0x0081, 0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5,
    225   0x0082, 0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa,
    226   0x0083, 0x0092, 0x0100, 0x0128, 0x014b, 0x342b, 0x5652, 0x80fb,
    227   0x0084, 0x0093, 0x0127, 0x014a, 0x0177, 0x3430, 0x5653, 0x80fc,
    228   0x0093, 0x0127, 0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe,
    229   0x00ba, 0x0149, 0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff,
    230   0x00dc, 0x0175, 0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000,
    231   0x0108, 0x017a, 0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006,
    232   0x010d, 0x017b, 0x017d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031,
    233   0x010e, 0x017c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053,
    234   0x010f, 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, 0x807e,
    238   0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f,
    239   0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080,
    240   0x0065, 0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081,
    241   0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8,
    242   0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca,
    243   0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6,
    244   0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb,
    245   0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc,
    246   0x0092, 0x0100, 0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd,
    247   0x0100, 0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff,
    248   0x0127, 0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000,
    249   0x0149, 0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001,
    250   0x0175, 0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007,
    251   0x017a, 0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032,
    252   0x017b, 0x017d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054,
    253   0x017c, 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, 0x807f,
    257   0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080,
    258   0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081,
    259   0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082,
    260   0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9,
    261   0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb,
    262   0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7,
    263   0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc,
    264   0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd,
    265   0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe,
    266   0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000,
    267   0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001,
    268   0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002,
    269   0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x8008,
    270   0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033,
    271   0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055,
    272   0x017d, 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, 0x8080,
    276   0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x8081,
    277   0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x8082,
    278   0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x8083,
    279   0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa,
    280   0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc,
    281   0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8,
    282   0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd,
    283   0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe,
    284   0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff,
    285   0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001,
    286   0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002,
    287   0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003,
    288   0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002, 0x8009,
    289   0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034,
    290   0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056,
    291   0x017e, 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, 0x8081,
    295   0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x8080, 0x8082,
    296   0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x8081, 0x8083,
    297   0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x8082, 0x8084,
    298   0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x8083, 0x80ab,
    299   0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd,
    300   0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9,
    301   0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe,
    302   0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff,
    303   0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100,
    304   0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa,
    305   0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab,
    306   0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac,
    307   0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003, 0xaab2,
    308   0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd,
    309   0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff,
    310   0x3432, 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, 0xab2a,
    314   0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x8081, 0xab2b,
    315   0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x8080, 0x8082, 0xab2c,
    316   0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x8081, 0x8083, 0xab2d,
    317   0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x8082, 0x8084, 0xab54,
    318   0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x8083, 0x80ab, 0xab76,
    319   0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2,
    320   0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7,
    321   0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8,
    322   0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9,
    323   0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc,
    324   0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd,
    325   0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce,
    326   0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac, 0xccd4,
    327   0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff,
    328   0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21,
    329   0x5654, 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, 0xcd4c,
    333   0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d,
    334   0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e,
    335   0x55aa, 0x807a, 0x807c, 0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f,
    336   0x55d2, 0x807b, 0x807d, 0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76,
    337   0x55d3, 0x807c, 0x807e, 0x8080, 0x8082, 0x8084, 0xab54, 0xcd98,
    338   0x55d4, 0x807d, 0x807f, 0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4,
    339   0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9,
    340   0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca,
    341   0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb,
    342   0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80,
    343   0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81,
    344   0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82,
    345   0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce, 0xff88,
    346   0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3,
    347   0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5,
    348   0x80fc, 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, 0x0000,
    352   0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001,
    353   0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002,
    354   0x8052, 0x807b, 0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003,
    355   0x807a, 0x807c, 0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a,
    356   0x807b, 0x807d, 0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c,
    357   0x807c, 0x807e, 0x8080, 0x8082, 0x8084, 0xab54, 0xcd98, 0x0078,
    358   0x807d, 0x807f, 0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d,
    359   0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e,
    360   0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f,
    361   0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81,
    362   0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82,
    363   0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83,
    364   0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82, 0xff89,
    365   0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4,
    366   0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6,
    367   0x80fd, 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, 0x0001,
    371   0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002,
    372   0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003,
    373   0x8053, 0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004,
    374   0x807b, 0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b,
    375   0x807c, 0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d,
    376   0x807d, 0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079,
    377   0x807e, 0x8080, 0x8082, 0x8084, 0xab54, 0xcd98, 0x0078, 0x007e,
    378   0x807f, 0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f,
    379   0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080,
    380   0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82,
    381   0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83,
    382   0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84,
    383   0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83, 0xff8a,
    384   0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5,
    385   0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7,
    386   0x80fe, 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, 0x0002,
    390   0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003,
    391   0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004,
    392   0x8054, 0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005,
    393   0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c,
    394   0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e,
    395   0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a,
    396   0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f,
    397   0x8080, 0x8082, 0x8084, 0xab54, 0xcd98, 0x0078, 0x007e, 0x0080,
    398   0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081,
    399   0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83,
    400   0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84,
    401   0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83, 0xff85,
    402   0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84, 0xff8b,
    403   0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6,
    404   0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8,
    405   0x80ff, 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, 0x0003,
    409   0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004,
    410   0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005,
    411   0x8055, 0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006,
    412   0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d,
    413   0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f,
    414   0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b,
    415   0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080,
    416   0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f, 0x0081,
    417   0x8082, 0x8084, 0xab54, 0xcd98, 0x0078, 0x007e, 0x0080, 0x0082,
    418   0x8084, 0xab54, 0xcd98, 0x0078, 0x007e, 0x0080, 0x0082, 0xfff0,
    419   0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83, 0xfff1,
    420   0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84, 0xfff2,
    421   0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83, 0xff85, 0xfff8,
    422   0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023,
    423   0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045,
    424   0x8100, 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, 0x0070,
    428   0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0x0003, 0x0071,
    429   0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0072,
    430   0x8056, 0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005, 0x0073,
    431   0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006, 0x009a,
    432   0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d, 0x00bc,
    433   0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f, 0x00e8,
    434   0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b, 0x00ed,
    435   0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080, 0x00ee,
    436   0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f, 0x0081, 0x00ef,
    437   0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f, 0x0081, 0x00ef, 0xfffd,
    438   0xab54, 0xcd98, 0x0078, 0x007e, 0x0080, 0x0082, 0xfff0, 0xfffe,
    439   0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83, 0xfff1, 0xffff,
    440   0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84, 0xfff2, 0x0005,
    441   0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030,
    442   0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052,
    443   0xaba9, 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, 0x007d,
    447   0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0x0070, 0x007e,
    448   0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0x0003, 0x0071, 0x007f,
    449   0xaaff, 0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0072, 0x0080,
    450   0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005, 0x0073, 0x00a7,
    451   0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006, 0x009a, 0x00c9,
    452   0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d, 0x00bc, 0x00f5,
    453   0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f, 0x00e8, 0x00fa,
    454   0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b, 0x00ed, 0x00fb,
    455   0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080, 0x00ee, 0x00fc,
    456   0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080, 0x00ee, 0x00fc, 0xfffe,
    457   0xcd76, 0x004c, 0x0079, 0x007f, 0x0081, 0x00ef, 0xfffd, 0xffff,
    458   0xcd98, 0x0078, 0x007e, 0x0080, 0x0082, 0xfff0, 0xfffe, 0x0000,
    459   0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83, 0xfff1, 0xffff, 0x0006,
    460   0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031,
    461   0xcdca, 0x007f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030, 0x0053,
    462   0xcdcb, 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, 0x007e,
    466   0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0x007d, 0x007f,
    467   0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0x0070, 0x007e, 0x0080,
    468   0xcd21, 0xfffd, 0xffff, 0x0001, 0x0003, 0x0071, 0x007f, 0x0081,
    469   0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0072, 0x0080, 0x00a8,
    470   0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005, 0x0073, 0x00a7, 0x00ca,
    471   0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006, 0x009a, 0x00c9, 0x00f6,
    472   0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d, 0x00bc, 0x00f5, 0x00fb,
    473   0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f, 0x00e8, 0x00fa, 0x00fc,
    474   0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b, 0x00ed, 0x00fb, 0x00fd,
    475   0x0003, 0x002b, 0x004e, 0x007b, 0x00ed, 0x00fb, 0x00fd, 0xffff,
    476   0x002a, 0x004d, 0x007a, 0x0080, 0x00ee, 0x00fc, 0xfffe, 0x0000,
    477   0x004c, 0x0079, 0x007f, 0x0081, 0x00ef, 0xfffd, 0xffff, 0x0001,
    478   0x0078, 0x007e, 0x0080, 0x0082, 0xfff0, 0xfffe, 0x0000, 0x0007,
    479   0x007d, 0x007f, 0x0081, 0xff83, 0xfff1, 0xffff, 0x0006, 0x0032,
    480   0x007e, 0x0080, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031, 0x0054,
    481   0x007f, 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, 0x007f,
    485   0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c, 0x007e, 0x0080,
    486   0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0x007d, 0x007f, 0x0081,
    487   0xffd5, 0xfffe, 0x0000, 0x0002, 0x0070, 0x007e, 0x0080, 0x0082,
    488   0xfffd, 0xffff, 0x0001, 0x0003, 0x0071, 0x007f, 0x0081, 0x00a9,
    489   0xfffe, 0x0000, 0x0002, 0x0004, 0x0072, 0x0080, 0x00a8, 0x00cb,
    490   0xffff, 0x0001, 0x0003, 0x0005, 0x0073, 0x00a7, 0x00ca, 0x00f7,
    491   0x0000, 0x0002, 0x0004, 0x0006, 0x009a, 0x00c9, 0x00f6, 0x00fc,
    492   0x0001, 0x0003, 0x0005, 0x002d, 0x00bc, 0x00f5, 0x00fb, 0x00fd,
    493   0x0002, 0x0004, 0x002c, 0x004f, 0x00e8, 0x00fa, 0x00fc, 0x00fe,
    494 };
    495 const unsigned kExpectedCount_NEON_uaddw2_8H = 456;
    496 
    497 #endif  // VIXL_SIM_UADDW2_8H_TRACE_A64_H_
    498