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_PMULL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_PMULL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_pmull_8H[] = {
     38   0x0505, 0x1111, 0x1551, 0x1554, 0x1555, 0x4000, 0x4001, 0x4004,
     39   0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182, 0x4086,
     40   0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454,
     41   0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798,
     42   0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0,
     43   0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a,
     44   0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc,
     45   0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e,
     46   0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000,
     47   0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082,
     48   0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104,
     49   0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410,
     50   0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6,
     51   0x1122, 0x3333, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a,
     52   0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a,
     53   0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc,
     54   0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e,
     55   0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100,
     56   0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182,
     57   0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182, 0x4086,
     58   0x1111, 0x1551, 0x1554, 0x1555, 0x4000, 0x4001, 0x4004, 0x4005,
     59   0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe,
     60   0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454, 0x6754,
     61   0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08,
     62   0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87,
     63   0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02,
     64   0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81,
     65   0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000,
     66   0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083,
     67   0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106,
     68   0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418,
     69   0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410, 0x19d5,
     70   0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f,
     71   0x3333, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07,
     72   0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82,
     73   0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01,
     74   0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180,
     75   0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103,
     76   0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454,
     77   0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe,
     78   0x1551, 0x1554, 0x1555, 0x4000, 0x4001, 0x4004, 0x4005, 0x4444,
     79   0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe, 0x7878,
     80   0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454, 0x6754, 0x6530,
     81   0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732,
     82   0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc,
     83   0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666,
     84   0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000,
     85   0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa,
     86   0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154,
     87   0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550,
     88   0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e,
     89   0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410, 0x19d5, 0x2222,
     90   0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232,
     91   0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc,
     92   0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366,
     93   0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500,
     94   0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa,
     95   0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798,
     96   0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454, 0x6754,
     97   0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe, 0x7878,
     98   0x1554, 0x1555, 0x4000, 0x4001, 0x4004, 0x4005, 0x4444, 0x5050,
     99   0x152a, 0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe, 0x7878, 0x4620,
    100   0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454, 0x6754, 0x6530, 0x45dc,
    101   0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488,
    102   0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444,
    103   0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000,
    104   0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc,
    105   0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198,
    106   0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660,
    107   0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x1414,
    108   0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c,
    109   0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc,
    110   0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288,
    111   0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244,
    112   0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600,
    113   0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc,
    114   0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0,
    115   0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08,
    116   0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454, 0x6754, 0x6530,
    117   0x152a, 0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe, 0x7878, 0x4620,
    118   0x1555, 0x4000, 0x4001, 0x4004, 0x4005, 0x4444, 0x5050, 0x5540,
    119   0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe, 0x7878, 0x4620, 0x5658,
    120   0x3fff, 0x4100, 0x4103, 0x5454, 0x6754, 0x6530, 0x45dc, 0x5750,
    121   0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8,
    122   0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000,
    123   0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8,
    124   0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0,
    125   0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0,
    126   0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660, 0x1188,
    127   0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x1414, 0x3298,
    128   0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58,
    129   0x0000, 0x0080, 0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50,
    130   0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8,
    131   0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00,
    132   0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8,
    133   0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a,
    134   0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87,
    135   0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732,
    136   0x3f00, 0x3fff, 0x4100, 0x4103, 0x5454, 0x6754, 0x6530, 0x45dc,
    137   0x3f80, 0x4080, 0x4182, 0x4086, 0x54fe, 0x7878, 0x4620, 0x5658,
    138   0x4000, 0x4001, 0x4004, 0x4005, 0x4444, 0x5050, 0x5540, 0x5551,
    139   0x4080, 0x4182, 0x4086, 0x54fe, 0x7878, 0x4620, 0x5658, 0x5456,
    140   0x4100, 0x4103, 0x5454, 0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab,
    141   0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000,
    142   0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd,
    143   0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa,
    144   0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8,
    145   0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177,
    146   0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660, 0x1188, 0x3399,
    147   0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1,
    148   0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6,
    149   0x0080, 0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b,
    150   0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80,
    151   0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d,
    152   0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc,
    153   0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02,
    154   0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc,
    155   0x3f7e, 0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488,
    156   0x3fff, 0x4100, 0x4103, 0x5454, 0x6754, 0x6530, 0x45dc, 0x5750,
    157   0x4080, 0x4182, 0x4086, 0x54fe, 0x7878, 0x4620, 0x5658, 0x5456,
    158   0x4001, 0x4004, 0x4005, 0x4444, 0x5050, 0x5540, 0x5551, 0x5554,
    159   0x4182, 0x4086, 0x54fe, 0x7878, 0x4620, 0x5658, 0x5456, 0x55aa,
    160   0x4103, 0x5454, 0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000,
    161   0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe,
    162   0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc,
    163   0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0,
    164   0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122,
    165   0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366,
    166   0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660, 0x1188, 0x3399, 0x2b56,
    167   0x0000, 0x0082, 0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54,
    168   0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa,
    169   0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00,
    170   0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe,
    171   0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e,
    172   0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81,
    173   0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666,
    174   0x3ffc, 0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444,
    175   0x3f7e, 0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8,
    176   0x4100, 0x4103, 0x5454, 0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab,
    177   0x4182, 0x4086, 0x54fe, 0x7878, 0x4620, 0x5658, 0x5456, 0x55aa,
    178   0x4004, 0x4005, 0x4444, 0x5050, 0x5540, 0x5551, 0x5554, 0x5555,
    179   0x4086, 0x54fe, 0x7878, 0x4620, 0x5658, 0x5456, 0x55aa, 0x0000,
    180   0x5454, 0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff,
    181   0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe,
    182   0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8,
    183   0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111,
    184   0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333,
    185   0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b,
    186   0x0000, 0x0083, 0x0154, 0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a,
    187   0x0082, 0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5,
    188   0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80,
    189   0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f,
    190   0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000,
    191   0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000,
    192   0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000,
    193   0x3f82, 0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000,
    194   0x3f01, 0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000,
    195   0x4180, 0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000,
    196   0x4103, 0x5454, 0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000,
    197   0x4086, 0x54fe, 0x7878, 0x4620, 0x5658, 0x5456, 0x55aa, 0x0000,
    198   0x4005, 0x4444, 0x5050, 0x5540, 0x5551, 0x5554, 0x5555, 0x0000,
    199   0x54fe, 0x7878, 0x4620, 0x5658, 0x5456, 0x55aa, 0x0000, 0x0000,
    200   0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000,
    201   0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000,
    202   0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000,
    203   0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000,
    204   0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000,
    205   0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000,
    206   0x0083, 0x0154, 0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000,
    207   0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000,
    208   0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000,
    209   0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082,
    210   0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083,
    211   0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa,
    212   0x33cc, 0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc,
    213   0x3366, 0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8,
    214   0x5500, 0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd,
    215   0x55aa, 0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe,
    216   0x5454, 0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff,
    217   0x54fe, 0x7878, 0x4620, 0x5658, 0x5456, 0x55aa, 0x0000, 0x0000,
    218   0x4444, 0x5050, 0x5540, 0x5551, 0x5554, 0x5555, 0x0000, 0x0001,
    219   0x7878, 0x4620, 0x5658, 0x5456, 0x55aa, 0x0000, 0x0000, 0x0002,
    220   0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008,
    221   0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033,
    222   0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055,
    223   0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d,
    224   0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000, 0x007e,
    225   0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f,
    226   0x0154, 0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080,
    227   0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081,
    228   0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104,
    229   0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106,
    230   0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154,
    231   0x2288, 0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198,
    232   0x2244, 0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0,
    233   0x6600, 0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa,
    234   0x66cc, 0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc,
    235   0x6798, 0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe,
    236   0x6754, 0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000,
    237   0x7878, 0x4620, 0x5658, 0x5456, 0x55aa, 0x0000, 0x0000, 0x0002,
    238   0x5050, 0x5540, 0x5551, 0x5554, 0x5555, 0x0000, 0x0001, 0x0004,
    239   0x4620, 0x5658, 0x5456, 0x55aa, 0x0000, 0x0000, 0x0002, 0x0010,
    240   0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066,
    241   0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa,
    242   0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa,
    243   0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc,
    244   0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000, 0x007e, 0x00fe,
    245   0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100,
    246   0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102,
    247   0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410,
    248   0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418,
    249   0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550,
    250   0x2b50, 0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660,
    251   0x2ba8, 0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0,
    252   0x7c00, 0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8,
    253   0x7cf8, 0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0,
    254   0x7df0, 0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8,
    255   0x7d08, 0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000,
    256   0x6530, 0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008,
    257   0x4620, 0x5658, 0x5456, 0x55aa, 0x0000, 0x0000, 0x0002, 0x0010,
    258   0x5540, 0x5551, 0x5554, 0x5555, 0x0000, 0x0001, 0x0004, 0x0040,
    259   0x5658, 0x5456, 0x55aa, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198,
    260   0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8,
    261   0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8,
    262   0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0,
    263   0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8,
    264   0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000, 0x007e, 0x00fe, 0x0400,
    265   0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408,
    266   0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6,
    267   0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410, 0x19d5,
    268   0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e,
    269   0x2ad6, 0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x1414,
    270   0x2a2b, 0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660, 0x1188,
    271   0x7e80, 0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177,
    272   0x7e7d, 0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122,
    273   0x7f7a, 0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111,
    274   0x7f87, 0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000,
    275   0x6732, 0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033,
    276   0x45dc, 0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066,
    277   0x5658, 0x5456, 0x55aa, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198,
    278   0x5551, 0x5554, 0x5555, 0x0000, 0x0001, 0x0004, 0x0040, 0x0505,
    279   0x5456, 0x55aa, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f,
    280   0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7,
    281   0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2,
    282   0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891,
    283   0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980,
    284   0x07e8, 0x1122, 0x3333, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3,
    285   0x1122, 0x3333, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a,
    286   0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f,
    287   0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410, 0x19d5, 0x2222,
    288   0x2a54, 0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c,
    289   0x2aaa, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x1414, 0x3298,
    290   0x7f00, 0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660, 0x1188, 0x3399,
    291   0x7ffe, 0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366,
    292   0x7efc, 0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333,
    293   0x7e02, 0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000,
    294   0x66cc, 0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055,
    295   0x4488, 0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa,
    296   0x5750, 0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8,
    297   0x5456, 0x55aa, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f,
    298   0x5554, 0x5555, 0x0000, 0x0001, 0x0004, 0x0040, 0x0505, 0x1111,
    299   0x55aa, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919,
    300   0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6,
    301   0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3,
    302   0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80,
    303   0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5,
    304   0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a,
    305   0x3333, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07,
    306   0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232,
    307   0x2a2a, 0x0000, 0x0080, 0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc,
    308   0x2ad5, 0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58,
    309   0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1,
    310   0x7f7f, 0x0000, 0x0083, 0x0154, 0x0660, 0x1188, 0x3399, 0x2b56,
    311   0x7e7e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b,
    312   0x7e81, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000,
    313   0x6666, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d,
    314   0x4444, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa,
    315   0x57a8, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8,
    316   0x54ab, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7,
    317   0x55aa, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919,
    318   0x5555, 0x0000, 0x0001, 0x0004, 0x0040, 0x0505, 0x1111, 0x1551,
    319   0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6,
    320   0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab,
    321   0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80,
    322   0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd,
    323   0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc,
    324   0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82,
    325   0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc,
    326   0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288,
    327   0x0000, 0x0080, 0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50,
    328   0x0000, 0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6,
    329   0x0000, 0x0082, 0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54,
    330   0x0000, 0x0083, 0x0154, 0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a,
    331   0x0000, 0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000,
    332   0x0000, 0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000, 0x007e,
    333   0x0000, 0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc,
    334   0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0,
    335   0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2,
    336   0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6,
    337   0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6,
    338   0x0000, 0x0001, 0x0004, 0x0040, 0x0505, 0x1111, 0x1551, 0x1554,
    339   0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a,
    340   0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00,
    341   0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e,
    342   0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e,
    343   0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01,
    344   0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366,
    345   0x007e, 0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244,
    346   0x007f, 0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8,
    347   0x0080, 0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b,
    348   0x0081, 0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa,
    349   0x0082, 0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5,
    350   0x0083, 0x0154, 0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000,
    351   0x00aa, 0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f,
    352   0x00cc, 0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000, 0x007e, 0x00fe,
    353   0x00f8, 0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8,
    354   0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891,
    355   0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3,
    356   0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab,
    357   0x0000, 0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a,
    358   0x0001, 0x0004, 0x0040, 0x0505, 0x1111, 0x1551, 0x1554, 0x1555,
    359   0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80,
    360   0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff,
    361   0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100,
    362   0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180,
    363   0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500,
    364   0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600,
    365   0x00fe, 0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00,
    366   0x0100, 0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80,
    367   0x0102, 0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00,
    368   0x0104, 0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80,
    369   0x0106, 0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000,
    370   0x0154, 0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080,
    371   0x0198, 0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100,
    372   0x01f0, 0x07e8, 0x1122, 0x3333, 0x0000, 0x007e, 0x00fe, 0x0400,
    373   0x01fa, 0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980,
    374   0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80,
    375   0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80,
    376   0x0000, 0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00,
    377   0x0002, 0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80,
    378   0x0004, 0x0040, 0x0505, 0x1111, 0x1551, 0x1554, 0x1555, 0x4000,
    379   0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080,
    380   0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080, 0x4182,
    381   0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff, 0x4100, 0x4103,
    382   0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e, 0x3f7e, 0x4180, 0x55aa,
    383   0x03f0, 0x0891, 0x2a80, 0x3efd, 0x3ffc, 0x3f01, 0x5500, 0x66cc,
    384   0x03f8, 0x1980, 0x2ad5, 0x3e7a, 0x3f82, 0x3366, 0x6600, 0x7cf8,
    385   0x0400, 0x19b3, 0x2a2a, 0x3e07, 0x33cc, 0x2244, 0x7c00, 0x7e7d,
    386   0x0408, 0x19e6, 0x2a7f, 0x3232, 0x2288, 0x2ba8, 0x7e80, 0x7ffe,
    387   0x0410, 0x19d5, 0x2222, 0x23dc, 0x2b50, 0x2a2b, 0x7f00, 0x7f7f,
    388   0x0418, 0x1e1e, 0x3c3c, 0x2a58, 0x2ad6, 0x2aaa, 0x7f80, 0x0000,
    389   0x0550, 0x1414, 0x3298, 0x2bd1, 0x2a54, 0x2ad5, 0x0000, 0x0081,
    390   0x0660, 0x1188, 0x3399, 0x2b56, 0x2a2a, 0x0000, 0x0080, 0x0102,
    391   0x07c0, 0x1177, 0x3366, 0x2b2b, 0x0000, 0x007f, 0x0100, 0x0408,
    392   0x07e8, 0x1122, 0x3333, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3,
    393   0x07f0, 0x1111, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5,
    394   0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x0891, 0x2a80, 0x3efd,
    395   0x0000, 0x0033, 0x00aa, 0x03e8, 0x08a2, 0x19b3, 0x3e80, 0x3f7e,
    396   0x0008, 0x0066, 0x02a8, 0x08f7, 0x19e6, 0x15ab, 0x3f00, 0x3fff,
    397   0x0010, 0x0198, 0x0f0f, 0x1919, 0x15d6, 0x152a, 0x3f80, 0x4080,
    398   0x0040, 0x0505, 0x1111, 0x1551, 0x1554, 0x1555, 0x4000, 0x4001,
    399 };
    400 const unsigned kExpectedCount_NEON_pmull_8H = 361;
    401 
    402 #endif  // VIXL_SIM_PMULL_8H_TRACE_A64_H_
    403