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_UMLAL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_UMLAL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_umlal_8H[] = {
     38   0x0a29, 0x1c3a, 0x3d0b, 0x3e14, 0x3f7e, 0x407e, 0x4180, 0x7537,
     39   0x10ef, 0x2982, 0x3d88, 0x3e92, 0x3ffd, 0x40fe, 0x4201, 0x75b9,
     40   0x18e7, 0x29d7, 0x3e05, 0x3f10, 0x407c, 0x417e, 0x4282, 0x8987,
     41   0x191a, 0x2a2c, 0x3e82, 0x3f8e, 0x40fb, 0x41fe, 0x5629, 0x9acb,
     42   0x194d, 0x2a81, 0x3eff, 0x400c, 0x417a, 0x557e, 0x674b, 0xb123,
     43   0x1980, 0x2ad6, 0x3f7c, 0x408a, 0x54d3, 0x667e, 0x7d77, 0xb3ad,
     44   0x19b3, 0x2b2b, 0x3ff9, 0x53bc, 0x65b1, 0x7c7e, 0x7ffc, 0xb42f,
     45   0x19e6, 0x2b80, 0x5304, 0x6478, 0x7b85, 0x7efe, 0x807d, 0xb4b1,
     46   0x1a19, 0x3873, 0x639e, 0x7a20, 0x7e00, 0x7f7e, 0x80fe, 0x3333,
     47   0x21de, 0x43bd, 0x791a, 0x7c96, 0x7e7f, 0x7ffe, 0x007f, 0x33b5,
     48   0x28a4, 0x5259, 0x7b8b, 0x7d14, 0x7efe, 0x007e, 0x0100, 0x3437,
     49   0x3168, 0x5402, 0x7c08, 0x7d92, 0x007d, 0x00fe, 0x0181, 0x3743,
     50   0x3267, 0x5457, 0x7c85, 0x0010, 0x00fc, 0x017e, 0x0487, 0x4d19,
     51   0x329a, 0x54ac, 0x0002, 0x008e, 0x017b, 0x047e, 0x1a32, 0x5e5d,
     52   0x32cd, 0x0001, 0x007f, 0x010c, 0x0475, 0x19fe, 0x2b54, 0x72ad,
     53   0x0000, 0x0056, 0x00fc, 0x0400, 0x19ca, 0x2afe, 0x3f7c, 0x732f,
     54   0x0033, 0x00ab, 0x03ea, 0x192a, 0x2aa8, 0x3efe, 0x3ffd, 0x73b1,
     55   0x0066, 0x02a9, 0x18e9, 0x29e6, 0x3e80, 0x3f7e, 0x407e, 0x7433,
     56   0x0198, 0x10f0, 0x2983, 0x3d96, 0x3eff, 0x3ffe, 0x40ff, 0x74b5,
     57   0x10ef, 0x2982, 0x3d88, 0x3e92, 0x3ffd, 0x40fe, 0x4201, 0x75b9,
     58   0x1c39, 0x3d0a, 0x3e06, 0x3f11, 0x407d, 0x417f, 0x4283, 0x763c,
     59   0x2981, 0x3d87, 0x3e84, 0x3f90, 0x40fd, 0x4200, 0x4305, 0x8a31,
     60   0x29d6, 0x3e04, 0x3f02, 0x400f, 0x417d, 0x4281, 0x56d3, 0x9b97,
     61   0x2a2b, 0x3e81, 0x3f80, 0x408e, 0x41fd, 0x5628, 0x6817, 0xb21b,
     62   0x2a80, 0x3efe, 0x3ffe, 0x410d, 0x557d, 0x674a, 0x7e6f, 0xb4aa,
     63   0x2ad5, 0x3f7b, 0x407c, 0x5466, 0x667d, 0x7d76, 0x80f9, 0xb52d,
     64   0x2b2a, 0x3ff8, 0x53ae, 0x6544, 0x7c7d, 0x7ffb, 0x817b, 0xb5b0,
     65   0x2b7f, 0x5303, 0x646a, 0x7b18, 0x7efd, 0x807c, 0x81fd, 0x3333,
     66   0x3872, 0x639d, 0x7a12, 0x7d93, 0x7f7d, 0x80fd, 0x007f, 0x33b6,
     67   0x43bc, 0x7919, 0x7c88, 0x7e12, 0x7ffd, 0x007e, 0x0101, 0x3439,
     68   0x5258, 0x7b8a, 0x7d06, 0x7e91, 0x007d, 0x00ff, 0x0183, 0x374b,
     69   0x5401, 0x7c07, 0x7d84, 0x0010, 0x00fd, 0x0180, 0x048f, 0x4d4c,
     70   0x5456, 0x7c84, 0x0002, 0x008f, 0x017d, 0x0486, 0x1a65, 0x5eb2,
     71   0x54ab, 0x0001, 0x0080, 0x010e, 0x047d, 0x1a31, 0x2ba9, 0x732a,
     72   0x0000, 0x007e, 0x00fe, 0x0408, 0x19fd, 0x2b53, 0x3ff9, 0x73ad,
     73   0x0055, 0x00fb, 0x03f2, 0x195d, 0x2afd, 0x3f7b, 0x407b, 0x7430,
     74   0x00aa, 0x03e9, 0x191c, 0x2a3b, 0x3efd, 0x3ffc, 0x40fd, 0x74b3,
     75   0x02a8, 0x18e8, 0x29d8, 0x3e13, 0x3f7d, 0x407d, 0x417f, 0x7536,
     76   0x18e7, 0x29d7, 0x3e05, 0x3f10, 0x407c, 0x417e, 0x4282, 0x8987,
     77   0x2981, 0x3d87, 0x3e84, 0x3f90, 0x40fd, 0x4200, 0x4305, 0x8a31,
     78   0x3d09, 0x3e05, 0x3f03, 0x4010, 0x417e, 0x4282, 0x4388, 0xa417,
     79   0x3d86, 0x3e83, 0x3f82, 0x4090, 0x41ff, 0x4304, 0x577d, 0xbaab,
     80   0x3e03, 0x3f01, 0x4001, 0x4110, 0x4280, 0x56d2, 0x68e3, 0xd7e3,
     81   0x3e80, 0x3f7f, 0x4080, 0x4190, 0x5627, 0x6816, 0x7f67, 0xdb35,
     82   0x3efd, 0x3ffd, 0x40ff, 0x5510, 0x6749, 0x7e6e, 0x81f6, 0xdbdf,
     83   0x3f7a, 0x407b, 0x5458, 0x6610, 0x7d75, 0x80f8, 0x8279, 0xdc89,
     84   0x3ff7, 0x53ad, 0x6536, 0x7c10, 0x7ffa, 0x817a, 0x82fc, 0x3333,
     85   0x5302, 0x6469, 0x7b0a, 0x7e90, 0x807b, 0x81fc, 0x007f, 0x33dd,
     86   0x639c, 0x7a11, 0x7d85, 0x7f10, 0x80fc, 0x007e, 0x0102, 0x3487,
     87   0x7918, 0x7c87, 0x7e04, 0x7f90, 0x007d, 0x0100, 0x0185, 0x3883,
     88   0x7b89, 0x7d05, 0x7e83, 0x0010, 0x00fe, 0x0182, 0x0497, 0x5511,
     89   0x7c06, 0x7d83, 0x0002, 0x0090, 0x017f, 0x048e, 0x1a98, 0x6ba5,
     90   0x7c83, 0x0001, 0x0081, 0x0110, 0x0485, 0x1a64, 0x2bfe, 0x8635,
     91   0x0000, 0x007f, 0x0100, 0x0410, 0x1a30, 0x2ba8, 0x4076, 0x86df,
     92   0x007d, 0x00fd, 0x03fa, 0x1990, 0x2b52, 0x3ff8, 0x40f9, 0x8789,
     93   0x00fa, 0x03f1, 0x194f, 0x2a90, 0x3f7a, 0x407a, 0x417c, 0x8833,
     94   0x03e8, 0x191b, 0x2a2d, 0x3e90, 0x3ffb, 0x40fc, 0x41ff, 0x88dd,
     95   0x191a, 0x2a2c, 0x3e82, 0x3f8e, 0x40fb, 0x41fe, 0x5629, 0x9acb,
     96   0x29d6, 0x3e04, 0x3f02, 0x400f, 0x417d, 0x4281, 0x56d3, 0x9b97,
     97   0x3d86, 0x3e83, 0x3f82, 0x4090, 0x41ff, 0x4304, 0x577d, 0xbaab,
     98   0x3e04, 0x3f02, 0x4002, 0x4111, 0x4281, 0x4387, 0x7163, 0xd5c3,
     99   0x3e82, 0x3f81, 0x4082, 0x4192, 0x4303, 0x577c, 0x87f7, 0xf8d3,
    100   0x3f00, 0x4000, 0x4102, 0x4213, 0x56d1, 0x68e2, 0xa52f, 0xfccf,
    101   0x3f7e, 0x407f, 0x4182, 0x55ba, 0x6815, 0x7f66, 0xa881, 0xfd9b,
    102   0x3ffc, 0x40fe, 0x5502, 0x66dc, 0x7e6d, 0x81f5, 0xa92b, 0xfe67,
    103   0x407a, 0x5457, 0x6602, 0x7d08, 0x80f7, 0x8278, 0xa9d5, 0x3333,
    104   0x53ac, 0x6535, 0x7c02, 0x7f8d, 0x8179, 0x82fb, 0x007f, 0x33ff,
    105   0x6468, 0x7b09, 0x7e82, 0x800e, 0x81fb, 0x007e, 0x0129, 0x34cb,
    106   0x7a10, 0x7d84, 0x7f02, 0x808f, 0x007d, 0x0101, 0x01d3, 0x3993,
    107   0x7c86, 0x7e03, 0x7f82, 0x0010, 0x00ff, 0x0184, 0x05cf, 0x5bd7,
    108   0x7d04, 0x7e82, 0x0002, 0x0091, 0x0181, 0x0496, 0x225d, 0x76ef,
    109   0x7d82, 0x0001, 0x0082, 0x0112, 0x048d, 0x1a97, 0x38f1, 0x96cf,
    110   0x0000, 0x0080, 0x0102, 0x0418, 0x1a63, 0x2bfd, 0x5381, 0x979b,
    111   0x007e, 0x00ff, 0x0402, 0x19c3, 0x2ba7, 0x4075, 0x542b, 0x9867,
    112   0x00fc, 0x03f9, 0x1982, 0x2ae5, 0x3ff7, 0x40f8, 0x54d5, 0x9933,
    113   0x03f0, 0x194e, 0x2a82, 0x3f0d, 0x4079, 0x417b, 0x557f, 0x99ff,
    114   0x194d, 0x2a81, 0x3eff, 0x400c, 0x417a, 0x557e, 0x674b, 0xb123,
    115   0x2a2b, 0x3e81, 0x3f80, 0x408e, 0x41fd, 0x5628, 0x6817, 0xb21b,
    116   0x3e03, 0x3f01, 0x4001, 0x4110, 0x4280, 0x56d2, 0x68e3, 0xd7e3,
    117   0x3e82, 0x3f81, 0x4082, 0x4192, 0x4303, 0x577c, 0x87f7, 0xf8d3,
    118   0x3f01, 0x4001, 0x4103, 0x4214, 0x4386, 0x7162, 0xa30f, 0x2373,
    119   0x3f80, 0x4081, 0x4184, 0x4296, 0x577b, 0x87f6, 0xc61f, 0x284b,
    120   0x3fff, 0x4101, 0x4205, 0x5664, 0x68e1, 0xa52e, 0xca1b, 0x2943,
    121   0x407e, 0x4181, 0x55ac, 0x67a8, 0x7f65, 0xa880, 0xcae7, 0x2a3b,
    122   0x40fd, 0x5501, 0x66ce, 0x7e00, 0x81f4, 0xa92a, 0xcbb3, 0x3333,
    123   0x5456, 0x6601, 0x7cfa, 0x808a, 0x8277, 0xa9d4, 0x007f, 0x342b,
    124   0x6534, 0x7c01, 0x7f7f, 0x810c, 0x82fa, 0x007e, 0x014b, 0x3523,
    125   0x7b08, 0x7e81, 0x8000, 0x818e, 0x007d, 0x0128, 0x0217, 0x3af3,
    126   0x7d83, 0x7f01, 0x8081, 0x0010, 0x0100, 0x01d2, 0x06df, 0x649b,
    127   0x7e02, 0x7f81, 0x0002, 0x0092, 0x0183, 0x05ce, 0x2923, 0x858b,
    128   0x7e81, 0x0001, 0x0083, 0x0114, 0x0495, 0x225c, 0x443b, 0xac4b,
    129   0x0000, 0x0081, 0x0104, 0x0420, 0x1a96, 0x38f0, 0x641b, 0xad43,
    130   0x007f, 0x0101, 0x040a, 0x19f6, 0x2bfc, 0x5380, 0x64e7, 0xae3b,
    131   0x00fe, 0x0401, 0x19b5, 0x2b3a, 0x4074, 0x542a, 0x65b3, 0xaf33,
    132   0x03f8, 0x1981, 0x2ad7, 0x3f8a, 0x40f7, 0x54d4, 0x667f, 0xb02b,
    133   0x1980, 0x2ad6, 0x3f7c, 0x408a, 0x54d3, 0x667e, 0x7d77, 0xb3ad,
    134   0x2a80, 0x3efe, 0x3ffe, 0x410d, 0x557d, 0x674a, 0x7e6f, 0xb4aa,
    135   0x3e80, 0x3f7f, 0x4080, 0x4190, 0x5627, 0x6816, 0x7f67, 0xdb35,
    136   0x3f00, 0x4000, 0x4102, 0x4213, 0x56d1, 0x68e2, 0xa52f, 0xfccf,
    137   0x3f80, 0x4081, 0x4184, 0x4296, 0x577b, 0x87f6, 0xc61f, 0x284b,
    138   0x4000, 0x4102, 0x4206, 0x4319, 0x7161, 0xa30e, 0xf0bf, 0x2d3c,
    139   0x4080, 0x4183, 0x4288, 0x570e, 0x87f5, 0xc61e, 0xf597, 0x2e39,
    140   0x4100, 0x4204, 0x5656, 0x6874, 0xa52d, 0xca1a, 0xf68f, 0x2f36,
    141   0x4180, 0x55ab, 0x679a, 0x7ef8, 0xa87f, 0xcae6, 0xf787, 0x3333,
    142   0x5500, 0x66cd, 0x7df2, 0x8187, 0xa929, 0xcbb2, 0x007f, 0x3430,
    143   0x6600, 0x7cf9, 0x807c, 0x820a, 0xa9d3, 0x007e, 0x0177, 0x352d,
    144   0x7c00, 0x7f7e, 0x80fe, 0x828d, 0x007d, 0x014a, 0x026f, 0x3b1b,
    145   0x7e80, 0x7fff, 0x8180, 0x0010, 0x0127, 0x0216, 0x083f, 0x659a,
    146   0x7f00, 0x8080, 0x0002, 0x0093, 0x01d1, 0x06de, 0x31e7, 0x8734,
    147   0x7f80, 0x0001, 0x0084, 0x0116, 0x05cd, 0x2922, 0x52d7, 0xaebc,
    148   0x0000, 0x0082, 0x0106, 0x0428, 0x225b, 0x443a, 0x7997, 0xafb9,
    149   0x0080, 0x0103, 0x0412, 0x1a29, 0x38ef, 0x641a, 0x7a8f, 0xb0b6,
    150   0x0100, 0x0409, 0x19e8, 0x2b8f, 0x537f, 0x64e6, 0x7b87, 0xb1b3,
    151   0x0400, 0x19b4, 0x2b2c, 0x4007, 0x5429, 0x65b2, 0x7c7f, 0xb2b0,
    152   0x19b3, 0x2b2b, 0x3ff9, 0x53bc, 0x65b1, 0x7c7e, 0x7ffc, 0xb42f,
    153   0x2ad5, 0x3f7b, 0x407c, 0x5466, 0x667d, 0x7d76, 0x80f9, 0xb52d,
    154   0x3efd, 0x3ffd, 0x40ff, 0x5510, 0x6749, 0x7e6e, 0x81f6, 0xdbdf,
    155   0x3f7e, 0x407f, 0x4182, 0x55ba, 0x6815, 0x7f66, 0xa881, 0xfd9b,
    156   0x3fff, 0x4101, 0x4205, 0x5664, 0x68e1, 0xa52e, 0xca1b, 0x2943,
    157   0x4080, 0x4183, 0x4288, 0x570e, 0x87f5, 0xc61e, 0xf597, 0x2e39,
    158   0x4101, 0x4205, 0x430b, 0x70f4, 0xa30d, 0xf0be, 0xfa88, 0x2f37,
    159   0x4182, 0x4287, 0x5700, 0x8788, 0xc61d, 0xf596, 0xfb85, 0x3035,
    160   0x4203, 0x5655, 0x6866, 0xa4c0, 0xca19, 0xf68e, 0xfc82, 0x3333,
    161   0x55aa, 0x6799, 0x7eea, 0xa812, 0xcae5, 0xf786, 0x007f, 0x3431,
    162   0x66cc, 0x7df1, 0x8179, 0xa8bc, 0xcbb1, 0x007e, 0x017c, 0x352f,
    163   0x7cf8, 0x807b, 0x81fc, 0xa966, 0x007d, 0x0176, 0x0279, 0x3b23,
    164   0x7f7d, 0x80fd, 0x827f, 0x0010, 0x0149, 0x026e, 0x0867, 0x65cd,
    165   0x7ffe, 0x817f, 0x0002, 0x00ba, 0x0215, 0x083e, 0x32e6, 0x8789,
    166   0x807f, 0x0001, 0x0085, 0x0164, 0x06dd, 0x31e6, 0x5480, 0xaf39,
    167   0x0000, 0x0083, 0x0108, 0x0560, 0x2921, 0x52d6, 0x7c08, 0xb037,
    168   0x0081, 0x0105, 0x041a, 0x21ee, 0x4439, 0x7996, 0x7d05, 0xb135,
    169   0x0102, 0x0411, 0x1a1b, 0x3882, 0x6419, 0x7a8e, 0x7e02, 0xb233,
    170   0x0408, 0x19e7, 0x2b81, 0x5312, 0x64e5, 0x7b86, 0x7eff, 0xb331,
    171   0x19e6, 0x2b80, 0x5304, 0x6478, 0x7b85, 0x7efe, 0x807d, 0xb4b1,
    172   0x2b2a, 0x3ff8, 0x53ae, 0x6544, 0x7c7d, 0x7ffb, 0x817b, 0xb5b0,
    173   0x3f7a, 0x407b, 0x5458, 0x6610, 0x7d75, 0x80f8, 0x8279, 0xdc89,
    174   0x3ffc, 0x40fe, 0x5502, 0x66dc, 0x7e6d, 0x81f5, 0xa92b, 0xfe67,
    175   0x407e, 0x4181, 0x55ac, 0x67a8, 0x7f65, 0xa880, 0xcae7, 0x2a3b,
    176   0x4100, 0x4204, 0x5656, 0x6874, 0xa52d, 0xca1a, 0xf68f, 0x2f36,
    177   0x4182, 0x4287, 0x5700, 0x8788, 0xc61d, 0xf596, 0xfb85, 0x3035,
    178   0x4204, 0x430a, 0x70e6, 0xa2a0, 0xf0bd, 0xfa87, 0xfc83, 0x3134,
    179   0x4286, 0x56ff, 0x877a, 0xc5b0, 0xf595, 0xfb84, 0xfd81, 0x3333,
    180   0x5654, 0x6865, 0xa4b2, 0xc9ac, 0xf68d, 0xfc81, 0x007f, 0x3432,
    181   0x6798, 0x7ee9, 0xa804, 0xca78, 0xf785, 0x007e, 0x017d, 0x3531,
    182   0x7df0, 0x8178, 0xa8ae, 0xcb44, 0x007d, 0x017b, 0x027b, 0x3b2b,
    183   0x807a, 0x81fb, 0xa958, 0x0010, 0x0175, 0x0278, 0x086f, 0x6600,
    184   0x80fc, 0x827e, 0x0002, 0x00dc, 0x026d, 0x0866, 0x3319, 0x87de,
    185   0x817e, 0x0001, 0x00ac, 0x01a8, 0x083d, 0x32e5, 0x54d5, 0xafb6,
    186   0x0000, 0x0084, 0x0156, 0x0670, 0x31e5, 0x547f, 0x7c85, 0xb0b5,
    187   0x0082, 0x0107, 0x0552, 0x28b4, 0x52d5, 0x7c07, 0x7d83, 0xb1b4,
    188   0x0104, 0x0419, 0x21e0, 0x43cc, 0x7995, 0x7d04, 0x7e81, 0xb2b3,
    189   0x0410, 0x1a1a, 0x3874, 0x63ac, 0x7a8d, 0x7e01, 0x7f7f, 0xb3b2,
    190   0x1a19, 0x3873, 0x639e, 0x7a20, 0x7e00, 0x7f7e, 0x80fe, 0x3333,
    191   0x2b7f, 0x5303, 0x646a, 0x7b18, 0x7efd, 0x807c, 0x81fd, 0x3333,
    192   0x3ff7, 0x53ad, 0x6536, 0x7c10, 0x7ffa, 0x817a, 0x82fc, 0x3333,
    193   0x407a, 0x5457, 0x6602, 0x7d08, 0x80f7, 0x8278, 0xa9d5, 0x3333,
    194   0x40fd, 0x5501, 0x66ce, 0x7e00, 0x81f4, 0xa92a, 0xcbb3, 0x3333,
    195   0x4180, 0x55ab, 0x679a, 0x7ef8, 0xa87f, 0xcae6, 0xf787, 0x3333,
    196   0x4203, 0x5655, 0x6866, 0xa4c0, 0xca19, 0xf68e, 0xfc82, 0x3333,
    197   0x4286, 0x56ff, 0x877a, 0xc5b0, 0xf595, 0xfb84, 0xfd81, 0x3333,
    198   0x4309, 0x70e5, 0xa292, 0xf050, 0xfa86, 0xfc82, 0xfe80, 0x3333,
    199   0x56fe, 0x8779, 0xc5a2, 0xf528, 0xfb83, 0xfd80, 0x007f, 0x3333,
    200   0x6864, 0xa4b1, 0xc99e, 0xf620, 0xfc80, 0x007e, 0x017e, 0x3333,
    201   0x7ee8, 0xa803, 0xca6a, 0xf718, 0x007d, 0x017c, 0x027d, 0x3333,
    202   0x8177, 0xa8ad, 0xcb36, 0x0010, 0x017a, 0x027a, 0x0877, 0x3333,
    203   0x81fa, 0xa957, 0x0002, 0x0108, 0x0277, 0x086e, 0x334c, 0x3333,
    204   0x827d, 0x0001, 0x00ce, 0x0200, 0x0865, 0x3318, 0x552a, 0x3333,
    205   0x0000, 0x00ab, 0x019a, 0x07d0, 0x32e4, 0x54d4, 0x7d02, 0x3333,
    206   0x0083, 0x0155, 0x0662, 0x3178, 0x547e, 0x7c84, 0x7e01, 0x3333,
    207   0x0106, 0x0551, 0x28a6, 0x5268, 0x7c06, 0x7d82, 0x7f00, 0x3333,
    208   0x0418, 0x21df, 0x43be, 0x7928, 0x7d03, 0x7e80, 0x7fff, 0x3333,
    209   0x21de, 0x43bd, 0x791a, 0x7c96, 0x7e7f, 0x7ffe, 0x007f, 0x33b5,
    210   0x3872, 0x639d, 0x7a12, 0x7d93, 0x7f7d, 0x80fd, 0x007f, 0x33b6,
    211   0x5302, 0x6469, 0x7b0a, 0x7e90, 0x807b, 0x81fc, 0x007f, 0x33dd,
    212   0x53ac, 0x6535, 0x7c02, 0x7f8d, 0x8179, 0x82fb, 0x007f, 0x33ff,
    213   0x5456, 0x6601, 0x7cfa, 0x808a, 0x8277, 0xa9d4, 0x007f, 0x342b,
    214   0x5500, 0x66cd, 0x7df2, 0x8187, 0xa929, 0xcbb2, 0x007f, 0x3430,
    215   0x55aa, 0x6799, 0x7eea, 0xa812, 0xcae5, 0xf786, 0x007f, 0x3431,
    216   0x5654, 0x6865, 0xa4b2, 0xc9ac, 0xf68d, 0xfc81, 0x007f, 0x3432,
    217   0x56fe, 0x8779, 0xc5a2, 0xf528, 0xfb83, 0xfd80, 0x007f, 0x3333,
    218   0x70e4, 0xa291, 0xf042, 0xfa19, 0xfc81, 0xfe7f, 0x007f, 0x3334,
    219   0x8778, 0xc5a1, 0xf51a, 0xfb16, 0xfd7f, 0x007e, 0x007f, 0x3335,
    220   0xa4b0, 0xc99d, 0xf612, 0xfc13, 0x007d, 0x017d, 0x007f, 0x333b,
    221   0xa802, 0xca69, 0xf70a, 0x0010, 0x017b, 0x027c, 0x007f, 0x3366,
    222   0xa8ac, 0xcb35, 0x0002, 0x010d, 0x0279, 0x0876, 0x007f, 0x3388,
    223   0xa956, 0x0001, 0x00fa, 0x020a, 0x086d, 0x334b, 0x007f, 0x33b0,
    224   0x0000, 0x00cd, 0x01f2, 0x07f8, 0x3317, 0x5529, 0x007f, 0x33b1,
    225   0x00aa, 0x0199, 0x07c2, 0x3277, 0x54d3, 0x7d01, 0x007f, 0x33b2,
    226   0x0154, 0x0661, 0x316a, 0x5411, 0x7c83, 0x7e00, 0x007f, 0x33b3,
    227   0x0550, 0x28a5, 0x525a, 0x7b99, 0x7d81, 0x7eff, 0x007f, 0x33b4,
    228   0x28a4, 0x5259, 0x7b8b, 0x7d14, 0x7efe, 0x007e, 0x0100, 0x3437,
    229   0x43bc, 0x7919, 0x7c88, 0x7e12, 0x7ffd, 0x007e, 0x0101, 0x3439,
    230   0x639c, 0x7a11, 0x7d85, 0x7f10, 0x80fc, 0x007e, 0x0102, 0x3487,
    231   0x6468, 0x7b09, 0x7e82, 0x800e, 0x81fb, 0x007e, 0x0129, 0x34cb,
    232   0x6534, 0x7c01, 0x7f7f, 0x810c, 0x82fa, 0x007e, 0x014b, 0x3523,
    233   0x6600, 0x7cf9, 0x807c, 0x820a, 0xa9d3, 0x007e, 0x0177, 0x352d,
    234   0x66cc, 0x7df1, 0x8179, 0xa8bc, 0xcbb1, 0x007e, 0x017c, 0x352f,
    235   0x6798, 0x7ee9, 0xa804, 0xca78, 0xf785, 0x007e, 0x017d, 0x3531,
    236   0x6864, 0xa4b1, 0xc99e, 0xf620, 0xfc80, 0x007e, 0x017e, 0x3333,
    237   0x8778, 0xc5a1, 0xf51a, 0xfb16, 0xfd7f, 0x007e, 0x007f, 0x3335,
    238   0xa290, 0xf041, 0xfa0b, 0xfc14, 0xfe7e, 0x007e, 0x0080, 0x3337,
    239   0xc5a0, 0xf519, 0xfb08, 0xfd12, 0x007d, 0x007e, 0x0081, 0x3343,
    240   0xc99c, 0xf611, 0xfc05, 0x0010, 0x017c, 0x007e, 0x0087, 0x3399,
    241   0xca68, 0xf709, 0x0002, 0x010e, 0x027b, 0x007e, 0x00b2, 0x33dd,
    242   0xcb34, 0x0001, 0x00ff, 0x020c, 0x0875, 0x007e, 0x00d4, 0x342d,
    243   0x0000, 0x00f9, 0x01fc, 0x0800, 0x334a, 0x007e, 0x00fc, 0x342f,
    244   0x00cc, 0x01f1, 0x07ea, 0x32aa, 0x5528, 0x007e, 0x00fd, 0x3431,
    245   0x0198, 0x07c1, 0x3269, 0x5466, 0x7d00, 0x007e, 0x00fe, 0x3433,
    246   0x0660, 0x3169, 0x5403, 0x7c16, 0x7dff, 0x007e, 0x00ff, 0x3435,
    247   0x3168, 0x5402, 0x7c08, 0x7d92, 0x007d, 0x00fe, 0x0181, 0x3743,
    248   0x5258, 0x7b8a, 0x7d06, 0x7e91, 0x007d, 0x00ff, 0x0183, 0x374b,
    249   0x7918, 0x7c87, 0x7e04, 0x7f90, 0x007d, 0x0100, 0x0185, 0x3883,
    250   0x7a10, 0x7d84, 0x7f02, 0x808f, 0x007d, 0x0101, 0x01d3, 0x3993,
    251   0x7b08, 0x7e81, 0x8000, 0x818e, 0x007d, 0x0128, 0x0217, 0x3af3,
    252   0x7c00, 0x7f7e, 0x80fe, 0x828d, 0x007d, 0x014a, 0x026f, 0x3b1b,
    253   0x7cf8, 0x807b, 0x81fc, 0xa966, 0x007d, 0x0176, 0x0279, 0x3b23,
    254   0x7df0, 0x8178, 0xa8ae, 0xcb44, 0x007d, 0x017b, 0x027b, 0x3b2b,
    255   0x7ee8, 0xa803, 0xca6a, 0xf718, 0x007d, 0x017c, 0x027d, 0x3333,
    256   0xa4b0, 0xc99d, 0xf612, 0xfc13, 0x007d, 0x017d, 0x007f, 0x333b,
    257   0xc5a0, 0xf519, 0xfb08, 0xfd12, 0x007d, 0x007e, 0x0081, 0x3343,
    258   0xf040, 0xfa0a, 0xfc06, 0xfe11, 0x007d, 0x007f, 0x0083, 0x3373,
    259   0xf518, 0xfb07, 0xfd04, 0x0010, 0x007d, 0x0080, 0x008f, 0x34cb,
    260   0xf610, 0xfc04, 0x0002, 0x010f, 0x007d, 0x0086, 0x00e5, 0x35db,
    261   0xf708, 0x0001, 0x0100, 0x020e, 0x007d, 0x00b1, 0x0129, 0x371b,
    262   0x0000, 0x00fe, 0x01fe, 0x0808, 0x007d, 0x00d3, 0x0179, 0x3723,
    263   0x00f8, 0x01fb, 0x07f2, 0x32dd, 0x007d, 0x00fb, 0x017b, 0x372b,
    264   0x01f0, 0x07e9, 0x329c, 0x54bb, 0x007d, 0x00fc, 0x017d, 0x3733,
    265   0x07c0, 0x3268, 0x5458, 0x7c93, 0x007d, 0x00fd, 0x017f, 0x373b,
    266   0x3267, 0x5457, 0x7c85, 0x0010, 0x00fc, 0x017e, 0x0487, 0x4d19,
    267   0x5401, 0x7c07, 0x7d84, 0x0010, 0x00fd, 0x0180, 0x048f, 0x4d4c,
    268   0x7b89, 0x7d05, 0x7e83, 0x0010, 0x00fe, 0x0182, 0x0497, 0x5511,
    269   0x7c86, 0x7e03, 0x7f82, 0x0010, 0x00ff, 0x0184, 0x05cf, 0x5bd7,
    270   0x7d83, 0x7f01, 0x8081, 0x0010, 0x0100, 0x01d2, 0x06df, 0x649b,
    271   0x7e80, 0x7fff, 0x8180, 0x0010, 0x0127, 0x0216, 0x083f, 0x659a,
    272   0x7f7d, 0x80fd, 0x827f, 0x0010, 0x0149, 0x026e, 0x0867, 0x65cd,
    273   0x807a, 0x81fb, 0xa958, 0x0010, 0x0175, 0x0278, 0x086f, 0x6600,
    274   0x8177, 0xa8ad, 0xcb36, 0x0010, 0x017a, 0x027a, 0x0877, 0x3333,
    275   0xa802, 0xca69, 0xf70a, 0x0010, 0x017b, 0x027c, 0x007f, 0x3366,
    276   0xc99c, 0xf611, 0xfc05, 0x0010, 0x017c, 0x007e, 0x0087, 0x3399,
    277   0xf518, 0xfb07, 0xfd04, 0x0010, 0x007d, 0x0080, 0x008f, 0x34cb,
    278   0xfa09, 0xfc05, 0xfe03, 0x0010, 0x007e, 0x0082, 0x00bf, 0x3d5c,
    279   0xfb06, 0xfd03, 0x0002, 0x0010, 0x007f, 0x008e, 0x0217, 0x4422,
    280   0xfc03, 0x0001, 0x0101, 0x0010, 0x0085, 0x00e4, 0x0327, 0x4c1a,
    281   0x0000, 0x00ff, 0x0200, 0x0010, 0x00b0, 0x0128, 0x0467, 0x4c4d,
    282   0x00fd, 0x01fd, 0x07fa, 0x0010, 0x00d2, 0x0178, 0x046f, 0x4c80,
    283   0x01fa, 0x07f1, 0x32cf, 0x0010, 0x00fa, 0x017a, 0x0477, 0x4cb3,
    284   0x07e8, 0x329b, 0x54ad, 0x0010, 0x00fb, 0x017c, 0x047f, 0x4ce6,
    285   0x329a, 0x54ac, 0x0002, 0x008e, 0x017b, 0x047e, 0x1a32, 0x5e5d,
    286   0x5456, 0x7c84, 0x0002, 0x008f, 0x017d, 0x0486, 0x1a65, 0x5eb2,
    287   0x7c06, 0x7d83, 0x0002, 0x0090, 0x017f, 0x048e, 0x1a98, 0x6ba5,
    288   0x7d04, 0x7e82, 0x0002, 0x0091, 0x0181, 0x0496, 0x225d, 0x76ef,
    289   0x7e02, 0x7f81, 0x0002, 0x0092, 0x0183, 0x05ce, 0x2923, 0x858b,
    290   0x7f00, 0x8080, 0x0002, 0x0093, 0x01d1, 0x06de, 0x31e7, 0x8734,
    291   0x7ffe, 0x817f, 0x0002, 0x00ba, 0x0215, 0x083e, 0x32e6, 0x8789,
    292   0x80fc, 0x827e, 0x0002, 0x00dc, 0x026d, 0x0866, 0x3319, 0x87de,
    293   0x81fa, 0xa957, 0x0002, 0x0108, 0x0277, 0x086e, 0x334c, 0x3333,
    294   0xa8ac, 0xcb35, 0x0002, 0x010d, 0x0279, 0x0876, 0x007f, 0x3388,
    295   0xca68, 0xf709, 0x0002, 0x010e, 0x027b, 0x007e, 0x00b2, 0x33dd,
    296   0xf610, 0xfc04, 0x0002, 0x010f, 0x007d, 0x0086, 0x00e5, 0x35db,
    297   0xfb06, 0xfd03, 0x0002, 0x0010, 0x007f, 0x008e, 0x0217, 0x4422,
    298   0xfc04, 0xfe02, 0x0002, 0x0011, 0x0081, 0x00be, 0x0aa8, 0x4f6c,
    299   0xfd02, 0x0001, 0x0002, 0x0012, 0x008d, 0x0216, 0x116e, 0x5cb4,
    300   0x0000, 0x0100, 0x0002, 0x0018, 0x00e3, 0x0326, 0x1966, 0x5d09,
    301   0x00fe, 0x01ff, 0x0002, 0x0043, 0x0127, 0x0466, 0x1999, 0x5d5e,
    302   0x01fc, 0x07f9, 0x0002, 0x0065, 0x0177, 0x046e, 0x19cc, 0x5db3,
    303   0x07f0, 0x32ce, 0x0002, 0x008d, 0x0179, 0x0476, 0x19ff, 0x5e08,
    304   0x32cd, 0x0001, 0x007f, 0x010c, 0x0475, 0x19fe, 0x2b54, 0x72ad,
    305   0x54ab, 0x0001, 0x0080, 0x010e, 0x047d, 0x1a31, 0x2ba9, 0x732a,
    306   0x7c83, 0x0001, 0x0081, 0x0110, 0x0485, 0x1a64, 0x2bfe, 0x8635,
    307   0x7d82, 0x0001, 0x0082, 0x0112, 0x048d, 0x1a97, 0x38f1, 0x96cf,
    308   0x7e81, 0x0001, 0x0083, 0x0114, 0x0495, 0x225c, 0x443b, 0xac4b,
    309   0x7f80, 0x0001, 0x0084, 0x0116, 0x05cd, 0x2922, 0x52d7, 0xaebc,
    310   0x807f, 0x0001, 0x0085, 0x0164, 0x06dd, 0x31e6, 0x5480, 0xaf39,
    311   0x817e, 0x0001, 0x00ac, 0x01a8, 0x083d, 0x32e5, 0x54d5, 0xafb6,
    312   0x827d, 0x0001, 0x00ce, 0x0200, 0x0865, 0x3318, 0x552a, 0x3333,
    313   0xa956, 0x0001, 0x00fa, 0x020a, 0x086d, 0x334b, 0x007f, 0x33b0,
    314   0xcb34, 0x0001, 0x00ff, 0x020c, 0x0875, 0x007e, 0x00d4, 0x342d,
    315   0xf708, 0x0001, 0x0100, 0x020e, 0x007d, 0x00b1, 0x0129, 0x371b,
    316   0xfc03, 0x0001, 0x0101, 0x0010, 0x0085, 0x00e4, 0x0327, 0x4c1a,
    317   0xfd02, 0x0001, 0x0002, 0x0012, 0x008d, 0x0216, 0x116e, 0x5cb4,
    318   0xfe01, 0x0001, 0x0003, 0x0014, 0x00bd, 0x0aa7, 0x1cb8, 0x703c,
    319   0x0000, 0x0001, 0x0004, 0x0020, 0x0215, 0x116d, 0x2a00, 0x70b9,
    320   0x00ff, 0x0001, 0x000a, 0x0076, 0x0325, 0x1965, 0x2a55, 0x7136,
    321   0x01fe, 0x0001, 0x0035, 0x00ba, 0x0465, 0x1998, 0x2aaa, 0x71b3,
    322   0x07f8, 0x0001, 0x0057, 0x010a, 0x046d, 0x19cb, 0x2aff, 0x7230,
    323   0x0000, 0x0056, 0x00fc, 0x0400, 0x19ca, 0x2afe, 0x3f7c, 0x732f,
    324   0x0000, 0x007e, 0x00fe, 0x0408, 0x19fd, 0x2b53, 0x3ff9, 0x73ad,
    325   0x0000, 0x007f, 0x0100, 0x0410, 0x1a30, 0x2ba8, 0x4076, 0x86df,
    326   0x0000, 0x0080, 0x0102, 0x0418, 0x1a63, 0x2bfd, 0x5381, 0x979b,
    327   0x0000, 0x0081, 0x0104, 0x0420, 0x1a96, 0x38f0, 0x641b, 0xad43,
    328   0x0000, 0x0082, 0x0106, 0x0428, 0x225b, 0x443a, 0x7997, 0xafb9,
    329   0x0000, 0x0083, 0x0108, 0x0560, 0x2921, 0x52d6, 0x7c08, 0xb037,
    330   0x0000, 0x0084, 0x0156, 0x0670, 0x31e5, 0x547f, 0x7c85, 0xb0b5,
    331   0x0000, 0x00ab, 0x019a, 0x07d0, 0x32e4, 0x54d4, 0x7d02, 0x3333,
    332   0x0000, 0x00cd, 0x01f2, 0x07f8, 0x3317, 0x5529, 0x007f, 0x33b1,
    333   0x0000, 0x00f9, 0x01fc, 0x0800, 0x334a, 0x007e, 0x00fc, 0x342f,
    334   0x0000, 0x00fe, 0x01fe, 0x0808, 0x007d, 0x00d3, 0x0179, 0x3723,
    335   0x0000, 0x00ff, 0x0200, 0x0010, 0x00b0, 0x0128, 0x0467, 0x4c4d,
    336   0x0000, 0x0100, 0x0002, 0x0018, 0x00e3, 0x0326, 0x1966, 0x5d09,
    337   0x0000, 0x0001, 0x0004, 0x0020, 0x0215, 0x116d, 0x2a00, 0x70b9,
    338   0x0000, 0x0002, 0x0006, 0x0050, 0x0aa6, 0x1cb7, 0x3d88, 0x7137,
    339   0x0000, 0x0003, 0x0012, 0x01a8, 0x116c, 0x29ff, 0x3e05, 0x71b5,
    340   0x0000, 0x0009, 0x0068, 0x02b8, 0x1964, 0x2a54, 0x3e82, 0x7233,
    341   0x0000, 0x0034, 0x00ac, 0x03f8, 0x1997, 0x2aa9, 0x3eff, 0x72b1,
    342   0x0033, 0x00ab, 0x03ea, 0x192a, 0x2aa8, 0x3efe, 0x3ffd, 0x73b1,
    343   0x0055, 0x00fb, 0x03f2, 0x195d, 0x2afd, 0x3f7b, 0x407b, 0x7430,
    344   0x007d, 0x00fd, 0x03fa, 0x1990, 0x2b52, 0x3ff8, 0x40f9, 0x8789,
    345   0x007e, 0x00ff, 0x0402, 0x19c3, 0x2ba7, 0x4075, 0x542b, 0x9867,
    346   0x007f, 0x0101, 0x040a, 0x19f6, 0x2bfc, 0x5380, 0x64e7, 0xae3b,
    347   0x0080, 0x0103, 0x0412, 0x1a29, 0x38ef, 0x641a, 0x7a8f, 0xb0b6,
    348   0x0081, 0x0105, 0x041a, 0x21ee, 0x4439, 0x7996, 0x7d05, 0xb135,
    349   0x0082, 0x0107, 0x0552, 0x28b4, 0x52d5, 0x7c07, 0x7d83, 0xb1b4,
    350   0x0083, 0x0155, 0x0662, 0x3178, 0x547e, 0x7c84, 0x7e01, 0x3333,
    351   0x00aa, 0x0199, 0x07c2, 0x3277, 0x54d3, 0x7d01, 0x007f, 0x33b2,
    352   0x00cc, 0x01f1, 0x07ea, 0x32aa, 0x5528, 0x007e, 0x00fd, 0x3431,
    353   0x00f8, 0x01fb, 0x07f2, 0x32dd, 0x007d, 0x00fb, 0x017b, 0x372b,
    354   0x00fd, 0x01fd, 0x07fa, 0x0010, 0x00d2, 0x0178, 0x046f, 0x4c80,
    355   0x00fe, 0x01ff, 0x0002, 0x0043, 0x0127, 0x0466, 0x1999, 0x5d5e,
    356   0x00ff, 0x0001, 0x000a, 0x0076, 0x0325, 0x1965, 0x2a55, 0x7136,
    357   0x0000, 0x0003, 0x0012, 0x01a8, 0x116c, 0x29ff, 0x3e05, 0x71b5,
    358   0x0001, 0x0005, 0x0042, 0x0a39, 0x1cb6, 0x3d87, 0x3e83, 0x7234,
    359   0x0002, 0x0011, 0x019a, 0x10ff, 0x29fe, 0x3e04, 0x3f01, 0x72b3,
    360   0x0008, 0x0067, 0x02aa, 0x18f7, 0x2a53, 0x3e81, 0x3f7f, 0x7332,
    361   0x0066, 0x02a9, 0x18e9, 0x29e6, 0x3e80, 0x3f7e, 0x407e, 0x7433,
    362   0x00aa, 0x03e9, 0x191c, 0x2a3b, 0x3efd, 0x3ffc, 0x40fd, 0x74b3,
    363   0x00fa, 0x03f1, 0x194f, 0x2a90, 0x3f7a, 0x407a, 0x417c, 0x8833,
    364   0x00fc, 0x03f9, 0x1982, 0x2ae5, 0x3ff7, 0x40f8, 0x54d5, 0x9933,
    365   0x00fe, 0x0401, 0x19b5, 0x2b3a, 0x4074, 0x542a, 0x65b3, 0xaf33,
    366   0x0100, 0x0409, 0x19e8, 0x2b8f, 0x537f, 0x64e6, 0x7b87, 0xb1b3,
    367   0x0102, 0x0411, 0x1a1b, 0x3882, 0x6419, 0x7a8e, 0x7e02, 0xb233,
    368   0x0104, 0x0419, 0x21e0, 0x43cc, 0x7995, 0x7d04, 0x7e81, 0xb2b3,
    369   0x0106, 0x0551, 0x28a6, 0x5268, 0x7c06, 0x7d82, 0x7f00, 0x3333,
    370   0x0154, 0x0661, 0x316a, 0x5411, 0x7c83, 0x7e00, 0x007f, 0x33b3,
    371   0x0198, 0x07c1, 0x3269, 0x5466, 0x7d00, 0x007e, 0x00fe, 0x3433,
    372   0x01f0, 0x07e9, 0x329c, 0x54bb, 0x007d, 0x00fc, 0x017d, 0x3733,
    373   0x01fa, 0x07f1, 0x32cf, 0x0010, 0x00fa, 0x017a, 0x0477, 0x4cb3,
    374   0x01fc, 0x07f9, 0x0002, 0x0065, 0x0177, 0x046e, 0x19cc, 0x5db3,
    375   0x01fe, 0x0001, 0x0035, 0x00ba, 0x0465, 0x1998, 0x2aaa, 0x71b3,
    376   0x0000, 0x0009, 0x0068, 0x02b8, 0x1964, 0x2a54, 0x3e82, 0x7233,
    377   0x0002, 0x0011, 0x019a, 0x10ff, 0x29fe, 0x3e04, 0x3f01, 0x72b3,
    378   0x0004, 0x0041, 0x0a2b, 0x1c49, 0x3d86, 0x3e82, 0x3f80, 0x7333,
    379   0x0010, 0x0199, 0x10f1, 0x2991, 0x3e03, 0x3f00, 0x3fff, 0x73b3,
    380   0x0198, 0x10f0, 0x2983, 0x3d96, 0x3eff, 0x3ffe, 0x40ff, 0x74b5,
    381   0x02a8, 0x18e8, 0x29d8, 0x3e13, 0x3f7d, 0x407d, 0x417f, 0x7536,
    382   0x03e8, 0x191b, 0x2a2d, 0x3e90, 0x3ffb, 0x40fc, 0x41ff, 0x88dd,
    383   0x03f0, 0x194e, 0x2a82, 0x3f0d, 0x4079, 0x417b, 0x557f, 0x99ff,
    384   0x03f8, 0x1981, 0x2ad7, 0x3f8a, 0x40f7, 0x54d4, 0x667f, 0xb02b,
    385   0x0400, 0x19b4, 0x2b2c, 0x4007, 0x5429, 0x65b2, 0x7c7f, 0xb2b0,
    386   0x0408, 0x19e7, 0x2b81, 0x5312, 0x64e5, 0x7b86, 0x7eff, 0xb331,
    387   0x0410, 0x1a1a, 0x3874, 0x63ac, 0x7a8d, 0x7e01, 0x7f7f, 0xb3b2,
    388   0x0418, 0x21df, 0x43be, 0x7928, 0x7d03, 0x7e80, 0x7fff, 0x3333,
    389   0x0550, 0x28a5, 0x525a, 0x7b99, 0x7d81, 0x7eff, 0x007f, 0x33b4,
    390   0x0660, 0x3169, 0x5403, 0x7c16, 0x7dff, 0x007e, 0x00ff, 0x3435,
    391   0x07c0, 0x3268, 0x5458, 0x7c93, 0x007d, 0x00fd, 0x017f, 0x373b,
    392   0x07e8, 0x329b, 0x54ad, 0x0010, 0x00fb, 0x017c, 0x047f, 0x4ce6,
    393   0x07f0, 0x32ce, 0x0002, 0x008d, 0x0179, 0x0476, 0x19ff, 0x5e08,
    394   0x07f8, 0x0001, 0x0057, 0x010a, 0x046d, 0x19cb, 0x2aff, 0x7230,
    395   0x0000, 0x0034, 0x00ac, 0x03f8, 0x1997, 0x2aa9, 0x3eff, 0x72b1,
    396   0x0008, 0x0067, 0x02aa, 0x18f7, 0x2a53, 0x3e81, 0x3f7f, 0x7332,
    397   0x0010, 0x0199, 0x10f1, 0x2991, 0x3e03, 0x3f00, 0x3fff, 0x73b3,
    398   0x0040, 0x0a2a, 0x1c3b, 0x3d19, 0x3e81, 0x3f7f, 0x407f, 0x7434,
    399 };
    400 const unsigned kExpectedCount_NEON_umlal_8H = 361;
    401 
    402 #endif  // VIXL_SIM_UMLAL_8H_TRACE_A64_H_
    403