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