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_UMLSL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_UMLSL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_umlsl_8H[] = {
     38   0xf5d7, 0xe3c8, 0xc2f9, 0xc20c, 0xc17c, 0xc07e, 0xbf7e, 0xf12f,
     39   0xef11, 0xd680, 0xc27c, 0xc18e, 0xc0fd, 0xbffe, 0xbefd, 0xf0ad,
     40   0xe719, 0xd62b, 0xc1ff, 0xc110, 0xc07e, 0xbf7e, 0xbe7c, 0xdcdf,
     41   0xe6e6, 0xd5d6, 0xc182, 0xc092, 0xbfff, 0xbefe, 0xaad5, 0xcb9b,
     42   0xe6b3, 0xd581, 0xc105, 0xc014, 0xbf80, 0xab7e, 0x99b3, 0xb543,
     43   0xe680, 0xd52c, 0xc088, 0xbf96, 0xac27, 0x9a7e, 0x8387, 0xb2b9,
     44   0xe64d, 0xd4d7, 0xc00b, 0xac64, 0x9b49, 0x847e, 0x8102, 0xb237,
     45   0xe61a, 0xd482, 0xad00, 0x9ba8, 0x8575, 0x81fe, 0x8081, 0xb1b5,
     46   0xe5e7, 0xc78f, 0x9c66, 0x8600, 0x82fa, 0x817e, 0x8000, 0x3333,
     47   0xde22, 0xbc45, 0x86ea, 0x838a, 0x827b, 0x80fe, 0x007f, 0x32b1,
     48   0xd75c, 0xada9, 0x8479, 0x830c, 0x81fc, 0x007e, 0xfffe, 0x322f,
     49   0xce98, 0xac00, 0x83fc, 0x828e, 0x007d, 0xfffe, 0xff7d, 0x2f23,
     50   0xcd99, 0xabab, 0x837f, 0x0010, 0xfffe, 0xff7e, 0xfc77, 0x194d,
     51   0xcd66, 0xab56, 0x0002, 0xff92, 0xff7f, 0xfc7e, 0xe6cc, 0x0809,
     52   0xcd33, 0x0001, 0xff85, 0xff14, 0xfc85, 0xe6fe, 0xd5aa, 0xf3b9,
     53   0x0000, 0xffac, 0xff08, 0xfc20, 0xe730, 0xd5fe, 0xc182, 0xf337,
     54   0xffcd, 0xff57, 0xfc1a, 0xe6f6, 0xd652, 0xc1fe, 0xc101, 0xf2b5,
     55   0xff9a, 0xfd59, 0xe71b, 0xd63a, 0xc27a, 0xc17e, 0xc080, 0xf233,
     56   0xfe68, 0xef12, 0xd681, 0xc28a, 0xc1fb, 0xc0fe, 0xbfff, 0xf1b1,
     57   0xef11, 0xd680, 0xc27c, 0xc18e, 0xc0fd, 0xbffe, 0xbefd, 0xf0ad,
     58   0xe3c7, 0xc2f8, 0xc1fe, 0xc10f, 0xc07d, 0xbf7d, 0xbe7b, 0xf02a,
     59   0xd67f, 0xc27b, 0xc180, 0xc090, 0xbffd, 0xbefc, 0xbdf9, 0xdc35,
     60   0xd62a, 0xc1fe, 0xc102, 0xc011, 0xbf7d, 0xbe7b, 0xaa2b, 0xcacf,
     61   0xd5d5, 0xc181, 0xc084, 0xbf92, 0xbefd, 0xaad4, 0x98e7, 0xb44b,
     62   0xd580, 0xc104, 0xc006, 0xbf13, 0xab7d, 0x99b2, 0x828f, 0xb1bc,
     63   0xd52b, 0xc087, 0xbf88, 0xabba, 0x9a7d, 0x8386, 0x8005, 0xb139,
     64   0xd4d6, 0xc00a, 0xac56, 0x9adc, 0x847d, 0x8101, 0x7f83, 0xb0b6,
     65   0xd481, 0xacff, 0x9b9a, 0x8508, 0x81fd, 0x8080, 0x7f01, 0x3333,
     66   0xc78e, 0x9c65, 0x85f2, 0x828d, 0x817d, 0x7fff, 0x007f, 0x32b0,
     67   0xbc44, 0x86e9, 0x837c, 0x820e, 0x80fd, 0x007e, 0xfffd, 0x322d,
     68   0xada8, 0x8478, 0x82fe, 0x818f, 0x007d, 0xfffd, 0xff7b, 0x2f1b,
     69   0xabff, 0x83fb, 0x8280, 0x0010, 0xfffd, 0xff7c, 0xfc6f, 0x191a,
     70   0xabaa, 0x837e, 0x0002, 0xff91, 0xff7d, 0xfc76, 0xe699, 0x07b4,
     71   0xab55, 0x0001, 0xff84, 0xff12, 0xfc7d, 0xe6cb, 0xd555, 0xf33c,
     72   0x0000, 0xff84, 0xff06, 0xfc18, 0xe6fd, 0xd5a9, 0xc105, 0xf2b9,
     73   0xffab, 0xff07, 0xfc12, 0xe6c3, 0xd5fd, 0xc181, 0xc083, 0xf236,
     74   0xff56, 0xfc19, 0xe6e8, 0xd5e5, 0xc1fd, 0xc100, 0xc001, 0xf1b3,
     75   0xfd58, 0xe71a, 0xd62c, 0xc20d, 0xc17d, 0xc07f, 0xbf7f, 0xf130,
     76   0xe719, 0xd62b, 0xc1ff, 0xc110, 0xc07e, 0xbf7e, 0xbe7c, 0xdcdf,
     77   0xd67f, 0xc27b, 0xc180, 0xc090, 0xbffd, 0xbefc, 0xbdf9, 0xdc35,
     78   0xc2f7, 0xc1fd, 0xc101, 0xc010, 0xbf7c, 0xbe7a, 0xbd76, 0xc24f,
     79   0xc27a, 0xc17f, 0xc082, 0xbf90, 0xbefb, 0xbdf8, 0xa981, 0xabbb,
     80   0xc1fd, 0xc101, 0xc003, 0xbf10, 0xbe7a, 0xaa2a, 0x981b, 0x8e83,
     81   0xc180, 0xc083, 0xbf84, 0xbe90, 0xaad3, 0x98e6, 0x8197, 0x8b31,
     82   0xc103, 0xc005, 0xbf05, 0xab10, 0x99b1, 0x828e, 0x7f08, 0x8a87,
     83   0xc086, 0xbf87, 0xabac, 0x9a10, 0x8385, 0x8004, 0x7e85, 0x89dd,
     84   0xc009, 0xac55, 0x9ace, 0x8410, 0x8100, 0x7f82, 0x7e02, 0x3333,
     85   0xacfe, 0x9b99, 0x84fa, 0x8190, 0x807f, 0x7f00, 0x007f, 0x3289,
     86   0x9c64, 0x85f1, 0x827f, 0x8110, 0x7ffe, 0x007e, 0xfffc, 0x31df,
     87   0x86e8, 0x837b, 0x8200, 0x8090, 0x007d, 0xfffc, 0xff79, 0x2de3,
     88   0x8477, 0x82fd, 0x8181, 0x0010, 0xfffc, 0xff7a, 0xfc67, 0x1155,
     89   0x83fa, 0x827f, 0x0002, 0xff90, 0xff7b, 0xfc6e, 0xe666, 0xfac1,
     90   0x837d, 0x0001, 0xff83, 0xff10, 0xfc75, 0xe698, 0xd500, 0xe031,
     91   0x0000, 0xff83, 0xff04, 0xfc10, 0xe6ca, 0xd554, 0xc088, 0xdf87,
     92   0xff83, 0xff05, 0xfc0a, 0xe690, 0xd5a8, 0xc104, 0xc005, 0xdedd,
     93   0xff06, 0xfc11, 0xe6b5, 0xd590, 0xc180, 0xc082, 0xbf82, 0xde33,
     94   0xfc18, 0xe6e7, 0xd5d7, 0xc190, 0xc0ff, 0xc000, 0xbeff, 0xdd89,
     95   0xe6e6, 0xd5d6, 0xc182, 0xc092, 0xbfff, 0xbefe, 0xaad5, 0xcb9b,
     96   0xd62a, 0xc1fe, 0xc102, 0xc011, 0xbf7d, 0xbe7b, 0xaa2b, 0xcacf,
     97   0xc27a, 0xc17f, 0xc082, 0xbf90, 0xbefb, 0xbdf8, 0xa981, 0xabbb,
     98   0xc1fc, 0xc100, 0xc002, 0xbf0f, 0xbe79, 0xbd75, 0x8f9b, 0x90a3,
     99   0xc17e, 0xc081, 0xbf82, 0xbe8e, 0xbdf7, 0xa980, 0x7907, 0x6d93,
    100   0xc100, 0xc002, 0xbf02, 0xbe0d, 0xaa29, 0x981a, 0x5bcf, 0x6997,
    101   0xc082, 0xbf83, 0xbe82, 0xaa66, 0x98e5, 0x8196, 0x587d, 0x68cb,
    102   0xc004, 0xbf04, 0xab02, 0x9944, 0x828d, 0x7f07, 0x57d3, 0x67ff,
    103   0xbf86, 0xabab, 0x9a02, 0x8318, 0x8003, 0x7e84, 0x5729, 0x3333,
    104   0xac54, 0x9acd, 0x8402, 0x8093, 0x7f81, 0x7e01, 0x007f, 0x3267,
    105   0x9b98, 0x84f9, 0x8182, 0x8012, 0x7eff, 0x007e, 0xffd5, 0x319b,
    106   0x85f0, 0x827e, 0x8102, 0x7f91, 0x007d, 0xfffb, 0xff2b, 0x2cd3,
    107   0x837a, 0x81ff, 0x8082, 0x0010, 0xfffb, 0xff78, 0xfb2f, 0x0a8f,
    108   0x82fc, 0x8180, 0x0002, 0xff8f, 0xff79, 0xfc66, 0xdea1, 0xef77,
    109   0x827e, 0x0001, 0xff82, 0xff0e, 0xfc6d, 0xe665, 0xc80d, 0xcf97,
    110   0x0000, 0xff82, 0xff02, 0xfc08, 0xe697, 0xd4ff, 0xad7d, 0xcecb,
    111   0xff82, 0xff03, 0xfc02, 0xe65d, 0xd553, 0xc087, 0xacd3, 0xcdff,
    112   0xff04, 0xfc09, 0xe682, 0xd53b, 0xc103, 0xc004, 0xac29, 0xcd33,
    113   0xfc10, 0xe6b4, 0xd582, 0xc113, 0xc081, 0xbf81, 0xab7f, 0xcc67,
    114   0xe6b3, 0xd581, 0xc105, 0xc014, 0xbf80, 0xab7e, 0x99b3, 0xb543,
    115   0xd5d5, 0xc181, 0xc084, 0xbf92, 0xbefd, 0xaad4, 0x98e7, 0xb44b,
    116   0xc1fd, 0xc101, 0xc003, 0xbf10, 0xbe7a, 0xaa2a, 0x981b, 0x8e83,
    117   0xc17e, 0xc081, 0xbf82, 0xbe8e, 0xbdf7, 0xa980, 0x7907, 0x6d93,
    118   0xc0ff, 0xc001, 0xbf01, 0xbe0c, 0xbd74, 0x8f9a, 0x5def, 0x42f3,
    119   0xc080, 0xbf81, 0xbe80, 0xbd8a, 0xa97f, 0x7906, 0x3adf, 0x3e1b,
    120   0xc001, 0xbf01, 0xbdff, 0xa9bc, 0x9819, 0x5bce, 0x36e3, 0x3d23,
    121   0xbf82, 0xbe81, 0xaa58, 0x9878, 0x8195, 0x587c, 0x3617, 0x3c2b,
    122   0xbf03, 0xab01, 0x9936, 0x8220, 0x7f06, 0x57d2, 0x354b, 0x3333,
    123   0xabaa, 0x9a01, 0x830a, 0x7f96, 0x7e83, 0x5728, 0x007f, 0x323b,
    124   0x9acc, 0x8401, 0x8085, 0x7f14, 0x7e00, 0x007e, 0xffb3, 0x3143,
    125   0x84f8, 0x8181, 0x8004, 0x7e92, 0x007d, 0xffd4, 0xfee7, 0x2b73,
    126   0x827d, 0x8101, 0x7f83, 0x0010, 0xfffa, 0xff2a, 0xfa1f, 0x01cb,
    127   0x81fe, 0x8081, 0x0002, 0xff8e, 0xff77, 0xfb2e, 0xd7db, 0xe0db,
    128   0x817f, 0x0001, 0xff81, 0xff0c, 0xfc65, 0xdea0, 0xbcc3, 0xba1b,
    129   0x0000, 0xff81, 0xff00, 0xfc00, 0xe664, 0xc80c, 0x9ce3, 0xb923,
    130   0xff81, 0xff01, 0xfbfa, 0xe62a, 0xd4fe, 0xad7c, 0x9c17, 0xb82b,
    131   0xff02, 0xfc01, 0xe64f, 0xd4e6, 0xc086, 0xacd2, 0x9b4b, 0xb733,
    132   0xfc08, 0xe681, 0xd52d, 0xc096, 0xc003, 0xac28, 0x9a7f, 0xb63b,
    133   0xe680, 0xd52c, 0xc088, 0xbf96, 0xac27, 0x9a7e, 0x8387, 0xb2b9,
    134   0xd580, 0xc104, 0xc006, 0xbf13, 0xab7d, 0x99b2, 0x828f, 0xb1bc,
    135   0xc180, 0xc083, 0xbf84, 0xbe90, 0xaad3, 0x98e6, 0x8197, 0x8b31,
    136   0xc100, 0xc002, 0xbf02, 0xbe0d, 0xaa29, 0x981a, 0x5bcf, 0x6997,
    137   0xc080, 0xbf81, 0xbe80, 0xbd8a, 0xa97f, 0x7906, 0x3adf, 0x3e1b,
    138   0xc000, 0xbf00, 0xbdfe, 0xbd07, 0x8f99, 0x5dee, 0x103f, 0x392a,
    139   0xbf80, 0xbe7f, 0xbd7c, 0xa912, 0x7905, 0x3ade, 0x0b67, 0x382d,
    140   0xbf00, 0xbdfe, 0xa9ae, 0x97ac, 0x5bcd, 0x36e2, 0x0a6f, 0x3730,
    141   0xbe80, 0xaa57, 0x986a, 0x8128, 0x587b, 0x3616, 0x0977, 0x3333,
    142   0xab00, 0x9935, 0x8212, 0x7e99, 0x57d1, 0x354a, 0x007f, 0x3236,
    143   0x9a00, 0x8309, 0x7f88, 0x7e16, 0x5727, 0x007e, 0xff87, 0x3139,
    144   0x8400, 0x8084, 0x7f06, 0x7d93, 0x007d, 0xffb2, 0xfe8f, 0x2b4b,
    145   0x8180, 0x8003, 0x7e84, 0x0010, 0xffd3, 0xfee6, 0xf8bf, 0x00cc,
    146   0x8100, 0x7f82, 0x0002, 0xff8d, 0xff29, 0xfa1e, 0xcf17, 0xdf32,
    147   0x8080, 0x0001, 0xff80, 0xff0a, 0xfb2d, 0xd7da, 0xae27, 0xb7aa,
    148   0x0000, 0xff80, 0xfefe, 0xfbf8, 0xde9f, 0xbcc2, 0x8767, 0xb6ad,
    149   0xff80, 0xfeff, 0xfbf2, 0xe5f7, 0xc80b, 0x9ce2, 0x866f, 0xb5b0,
    150   0xff00, 0xfbf9, 0xe61c, 0xd491, 0xad7b, 0x9c16, 0x8577, 0xb4b3,
    151   0xfc00, 0xe64e, 0xd4d8, 0xc019, 0xacd1, 0x9b4a, 0x847f, 0xb3b6,
    152   0xe64d, 0xd4d7, 0xc00b, 0xac64, 0x9b49, 0x847e, 0x8102, 0xb237,
    153   0xd52b, 0xc087, 0xbf88, 0xabba, 0x9a7d, 0x8386, 0x8005, 0xb139,
    154   0xc103, 0xc005, 0xbf05, 0xab10, 0x99b1, 0x828e, 0x7f08, 0x8a87,
    155   0xc082, 0xbf83, 0xbe82, 0xaa66, 0x98e5, 0x8196, 0x587d, 0x68cb,
    156   0xc001, 0xbf01, 0xbdff, 0xa9bc, 0x9819, 0x5bce, 0x36e3, 0x3d23,
    157   0xbf80, 0xbe7f, 0xbd7c, 0xa912, 0x7905, 0x3ade, 0x0b67, 0x382d,
    158   0xbeff, 0xbdfd, 0xbcf9, 0x8f2c, 0x5ded, 0x103e, 0x0676, 0x372f,
    159   0xbe7e, 0xbd7b, 0xa904, 0x7898, 0x3add, 0x0b66, 0x0579, 0x3631,
    160   0xbdfd, 0xa9ad, 0x979e, 0x5b60, 0x36e1, 0x0a6e, 0x047c, 0x3333,
    161   0xaa56, 0x9869, 0x811a, 0x580e, 0x3615, 0x0976, 0x007f, 0x3235,
    162   0x9934, 0x8211, 0x7e8b, 0x5764, 0x3549, 0x007e, 0xff82, 0x3137,
    163   0x8308, 0x7f87, 0x7e08, 0x56ba, 0x007d, 0xff86, 0xfe85, 0x2b43,
    164   0x8083, 0x7f05, 0x7d85, 0x0010, 0xffb1, 0xfe8e, 0xf897, 0x0099,
    165   0x8002, 0x7e83, 0x0002, 0xff66, 0xfee5, 0xf8be, 0xce18, 0xdedd,
    166   0x7f81, 0x0001, 0xff7f, 0xfebc, 0xfa1d, 0xcf16, 0xac7e, 0xb72d,
    167   0x0000, 0xff7f, 0xfefc, 0xfac0, 0xd7d9, 0xae26, 0x84f6, 0xb62f,
    168   0xff7f, 0xfefd, 0xfbea, 0xde32, 0xbcc1, 0x8766, 0x83f9, 0xb531,
    169   0xfefe, 0xfbf1, 0xe5e9, 0xc79e, 0x9ce1, 0x866e, 0x82fc, 0xb433,
    170   0xfbf8, 0xe61b, 0xd483, 0xad0e, 0x9c15, 0x8576, 0x81ff, 0xb335,
    171   0xe61a, 0xd482, 0xad00, 0x9ba8, 0x8575, 0x81fe, 0x8081, 0xb1b5,
    172   0xd4d6, 0xc00a, 0xac56, 0x9adc, 0x847d, 0x8101, 0x7f83, 0xb0b6,
    173   0xc086, 0xbf87, 0xabac, 0x9a10, 0x8385, 0x8004, 0x7e85, 0x89dd,
    174   0xc004, 0xbf04, 0xab02, 0x9944, 0x828d, 0x7f07, 0x57d3, 0x67ff,
    175   0xbf82, 0xbe81, 0xaa58, 0x9878, 0x8195, 0x587c, 0x3617, 0x3c2b,
    176   0xbf00, 0xbdfe, 0xa9ae, 0x97ac, 0x5bcd, 0x36e2, 0x0a6f, 0x3730,
    177   0xbe7e, 0xbd7b, 0xa904, 0x7898, 0x3add, 0x0b66, 0x0579, 0x3631,
    178   0xbdfc, 0xbcf8, 0x8f1e, 0x5d80, 0x103d, 0x0675, 0x047b, 0x3532,
    179   0xbd7a, 0xa903, 0x788a, 0x3a70, 0x0b65, 0x0578, 0x037d, 0x3333,
    180   0xa9ac, 0x979d, 0x5b52, 0x3674, 0x0a6d, 0x047b, 0x007f, 0x3234,
    181   0x9868, 0x8119, 0x5800, 0x35a8, 0x0975, 0x007e, 0xff81, 0x3135,
    182   0x8210, 0x7e8a, 0x5756, 0x34dc, 0x007d, 0xff81, 0xfe83, 0x2b3b,
    183   0x7f86, 0x7e07, 0x56ac, 0x0010, 0xff85, 0xfe84, 0xf88f, 0x0066,
    184   0x7f04, 0x7d84, 0x0002, 0xff44, 0xfe8d, 0xf896, 0xcde5, 0xde88,
    185   0x7e82, 0x0001, 0xff58, 0xfe78, 0xf8bd, 0xce17, 0xac29, 0xb6b0,
    186   0x0000, 0xff7e, 0xfeae, 0xf9b0, 0xcf15, 0xac7d, 0x8479, 0xb5b1,
    187   0xff7e, 0xfefb, 0xfab2, 0xd76c, 0xae25, 0x84f5, 0x837b, 0xb4b2,
    188   0xfefc, 0xfbe9, 0xde24, 0xbc54, 0x8765, 0x83f8, 0x827d, 0xb3b3,
    189   0xfbf0, 0xe5e8, 0xc790, 0x9c74, 0x866d, 0x82fb, 0x817f, 0xb2b4,
    190   0xe5e7, 0xc78f, 0x9c66, 0x8600, 0x82fa, 0x817e, 0x8000, 0x3333,
    191   0xd481, 0xacff, 0x9b9a, 0x8508, 0x81fd, 0x8080, 0x7f01, 0x3333,
    192   0xc009, 0xac55, 0x9ace, 0x8410, 0x8100, 0x7f82, 0x7e02, 0x3333,
    193   0xbf86, 0xabab, 0x9a02, 0x8318, 0x8003, 0x7e84, 0x5729, 0x3333,
    194   0xbf03, 0xab01, 0x9936, 0x8220, 0x7f06, 0x57d2, 0x354b, 0x3333,
    195   0xbe80, 0xaa57, 0x986a, 0x8128, 0x587b, 0x3616, 0x0977, 0x3333,
    196   0xbdfd, 0xa9ad, 0x979e, 0x5b60, 0x36e1, 0x0a6e, 0x047c, 0x3333,
    197   0xbd7a, 0xa903, 0x788a, 0x3a70, 0x0b65, 0x0578, 0x037d, 0x3333,
    198   0xbcf7, 0x8f1d, 0x5d72, 0x0fd0, 0x0674, 0x047a, 0x027e, 0x3333,
    199   0xa902, 0x7889, 0x3a62, 0x0af8, 0x0577, 0x037c, 0x007f, 0x3333,
    200   0x979c, 0x5b51, 0x3666, 0x0a00, 0x047a, 0x007e, 0xff80, 0x3333,
    201   0x8118, 0x57ff, 0x359a, 0x0908, 0x007d, 0xff80, 0xfe81, 0x3333,
    202   0x7e89, 0x5755, 0x34ce, 0x0010, 0xff80, 0xfe82, 0xf887, 0x3333,
    203   0x7e06, 0x56ab, 0x0002, 0xff18, 0xfe83, 0xf88e, 0xcdb2, 0x3333,
    204   0x7d83, 0x0001, 0xff36, 0xfe20, 0xf895, 0xcde4, 0xabd4, 0x3333,
    205   0x0000, 0xff57, 0xfe6a, 0xf850, 0xce16, 0xac28, 0x83fc, 0x3333,
    206   0xff7d, 0xfead, 0xf9a2, 0xcea8, 0xac7c, 0x8478, 0x82fd, 0x3333,
    207   0xfefa, 0xfab1, 0xd75e, 0xadb8, 0x84f4, 0x837a, 0x81fe, 0x3333,
    208   0xfbe8, 0xde23, 0xbc46, 0x86f8, 0x83f7, 0x827c, 0x80ff, 0x3333,
    209   0xde22, 0xbc45, 0x86ea, 0x838a, 0x827b, 0x80fe, 0x007f, 0x32b1,
    210   0xc78e, 0x9c65, 0x85f2, 0x828d, 0x817d, 0x7fff, 0x007f, 0x32b0,
    211   0xacfe, 0x9b99, 0x84fa, 0x8190, 0x807f, 0x7f00, 0x007f, 0x3289,
    212   0xac54, 0x9acd, 0x8402, 0x8093, 0x7f81, 0x7e01, 0x007f, 0x3267,
    213   0xabaa, 0x9a01, 0x830a, 0x7f96, 0x7e83, 0x5728, 0x007f, 0x323b,
    214   0xab00, 0x9935, 0x8212, 0x7e99, 0x57d1, 0x354a, 0x007f, 0x3236,
    215   0xaa56, 0x9869, 0x811a, 0x580e, 0x3615, 0x0976, 0x007f, 0x3235,
    216   0xa9ac, 0x979d, 0x5b52, 0x3674, 0x0a6d, 0x047b, 0x007f, 0x3234,
    217   0xa902, 0x7889, 0x3a62, 0x0af8, 0x0577, 0x037c, 0x007f, 0x3333,
    218   0x8f1c, 0x5d71, 0x0fc2, 0x0607, 0x0479, 0x027d, 0x007f, 0x3332,
    219   0x7888, 0x3a61, 0x0aea, 0x050a, 0x037b, 0x007e, 0x007f, 0x3331,
    220   0x5b50, 0x3665, 0x09f2, 0x040d, 0x007d, 0xff7f, 0x007f, 0x332b,
    221   0x57fe, 0x3599, 0x08fa, 0x0010, 0xff7f, 0xfe80, 0x007f, 0x3300,
    222   0x5754, 0x34cd, 0x0002, 0xff13, 0xfe81, 0xf886, 0x007f, 0x32de,
    223   0x56aa, 0x0001, 0xff0a, 0xfe16, 0xf88d, 0xcdb1, 0x007f, 0x32b6,
    224   0x0000, 0xff35, 0xfe12, 0xf828, 0xcde3, 0xabd3, 0x007f, 0x32b5,
    225   0xff56, 0xfe69, 0xf842, 0xcda9, 0xac27, 0x83fb, 0x007f, 0x32b4,
    226   0xfeac, 0xf9a1, 0xce9a, 0xac0f, 0x8477, 0x82fc, 0x007f, 0x32b3,
    227   0xfab0, 0xd75d, 0xadaa, 0x8487, 0x8379, 0x81fd, 0x007f, 0x32b2,
    228   0xd75c, 0xada9, 0x8479, 0x830c, 0x81fc, 0x007e, 0xfffe, 0x322f,
    229   0xbc44, 0x86e9, 0x837c, 0x820e, 0x80fd, 0x007e, 0xfffd, 0x322d,
    230   0x9c64, 0x85f1, 0x827f, 0x8110, 0x7ffe, 0x007e, 0xfffc, 0x31df,
    231   0x9b98, 0x84f9, 0x8182, 0x8012, 0x7eff, 0x007e, 0xffd5, 0x319b,
    232   0x9acc, 0x8401, 0x8085, 0x7f14, 0x7e00, 0x007e, 0xffb3, 0x3143,
    233   0x9a00, 0x8309, 0x7f88, 0x7e16, 0x5727, 0x007e, 0xff87, 0x3139,
    234   0x9934, 0x8211, 0x7e8b, 0x5764, 0x3549, 0x007e, 0xff82, 0x3137,
    235   0x9868, 0x8119, 0x5800, 0x35a8, 0x0975, 0x007e, 0xff81, 0x3135,
    236   0x979c, 0x5b51, 0x3666, 0x0a00, 0x047a, 0x007e, 0xff80, 0x3333,
    237   0x7888, 0x3a61, 0x0aea, 0x050a, 0x037b, 0x007e, 0x007f, 0x3331,
    238   0x5d70, 0x0fc1, 0x05f9, 0x040c, 0x027c, 0x007e, 0x007e, 0x332f,
    239   0x3a60, 0x0ae9, 0x04fc, 0x030e, 0x007d, 0x007e, 0x007d, 0x3323,
    240   0x3664, 0x09f1, 0x03ff, 0x0010, 0xff7e, 0x007e, 0x0077, 0x32cd,
    241   0x3598, 0x08f9, 0x0002, 0xff12, 0xfe7f, 0x007e, 0x004c, 0x3289,
    242   0x34cc, 0x0001, 0xff05, 0xfe14, 0xf885, 0x007e, 0x002a, 0x3239,
    243   0x0000, 0xff09, 0xfe08, 0xf820, 0xcdb0, 0x007e, 0x0002, 0x3237,
    244   0xff34, 0xfe11, 0xf81a, 0xcd76, 0xabd2, 0x007e, 0x0001, 0x3235,
    245   0xfe68, 0xf841, 0xcd9b, 0xabba, 0x83fa, 0x007e, 0x0000, 0x3233,
    246   0xf9a0, 0xce99, 0xac01, 0x840a, 0x82fb, 0x007e, 0xffff, 0x3231,
    247   0xce98, 0xac00, 0x83fc, 0x828e, 0x007d, 0xfffe, 0xff7d, 0x2f23,
    248   0xada8, 0x8478, 0x82fe, 0x818f, 0x007d, 0xfffd, 0xff7b, 0x2f1b,
    249   0x86e8, 0x837b, 0x8200, 0x8090, 0x007d, 0xfffc, 0xff79, 0x2de3,
    250   0x85f0, 0x827e, 0x8102, 0x7f91, 0x007d, 0xfffb, 0xff2b, 0x2cd3,
    251   0x84f8, 0x8181, 0x8004, 0x7e92, 0x007d, 0xffd4, 0xfee7, 0x2b73,
    252   0x8400, 0x8084, 0x7f06, 0x7d93, 0x007d, 0xffb2, 0xfe8f, 0x2b4b,
    253   0x8308, 0x7f87, 0x7e08, 0x56ba, 0x007d, 0xff86, 0xfe85, 0x2b43,
    254   0x8210, 0x7e8a, 0x5756, 0x34dc, 0x007d, 0xff81, 0xfe83, 0x2b3b,
    255   0x8118, 0x57ff, 0x359a, 0x0908, 0x007d, 0xff80, 0xfe81, 0x3333,
    256   0x5b50, 0x3665, 0x09f2, 0x040d, 0x007d, 0xff7f, 0x007f, 0x332b,
    257   0x3a60, 0x0ae9, 0x04fc, 0x030e, 0x007d, 0x007e, 0x007d, 0x3323,
    258   0x0fc0, 0x05f8, 0x03fe, 0x020f, 0x007d, 0x007d, 0x007b, 0x32f3,
    259   0x0ae8, 0x04fb, 0x0300, 0x0010, 0x007d, 0x007c, 0x006f, 0x319b,
    260   0x09f0, 0x03fe, 0x0002, 0xff11, 0x007d, 0x0076, 0x0019, 0x308b,
    261   0x08f8, 0x0001, 0xff04, 0xfe12, 0x007d, 0x004b, 0xffd5, 0x2f4b,
    262   0x0000, 0xff04, 0xfe06, 0xf818, 0x007d, 0x0029, 0xff85, 0x2f43,
    263   0xff08, 0xfe07, 0xf812, 0xcd43, 0x007d, 0x0001, 0xff83, 0x2f3b,
    264   0xfe10, 0xf819, 0xcd68, 0xab65, 0x007d, 0x0000, 0xff81, 0x2f33,
    265   0xf840, 0xcd9a, 0xabac, 0x838d, 0x007d, 0xffff, 0xff7f, 0x2f2b,
    266   0xcd99, 0xabab, 0x837f, 0x0010, 0xfffe, 0xff7e, 0xfc77, 0x194d,
    267   0xabff, 0x83fb, 0x8280, 0x0010, 0xfffd, 0xff7c, 0xfc6f, 0x191a,
    268   0x8477, 0x82fd, 0x8181, 0x0010, 0xfffc, 0xff7a, 0xfc67, 0x1155,
    269   0x837a, 0x81ff, 0x8082, 0x0010, 0xfffb, 0xff78, 0xfb2f, 0x0a8f,
    270   0x827d, 0x8101, 0x7f83, 0x0010, 0xfffa, 0xff2a, 0xfa1f, 0x01cb,
    271   0x8180, 0x8003, 0x7e84, 0x0010, 0xffd3, 0xfee6, 0xf8bf, 0x00cc,
    272   0x8083, 0x7f05, 0x7d85, 0x0010, 0xffb1, 0xfe8e, 0xf897, 0x0099,
    273   0x7f86, 0x7e07, 0x56ac, 0x0010, 0xff85, 0xfe84, 0xf88f, 0x0066,
    274   0x7e89, 0x5755, 0x34ce, 0x0010, 0xff80, 0xfe82, 0xf887, 0x3333,
    275   0x57fe, 0x3599, 0x08fa, 0x0010, 0xff7f, 0xfe80, 0x007f, 0x3300,
    276   0x3664, 0x09f1, 0x03ff, 0x0010, 0xff7e, 0x007e, 0x0077, 0x32cd,
    277   0x0ae8, 0x04fb, 0x0300, 0x0010, 0x007d, 0x007c, 0x006f, 0x319b,
    278   0x05f7, 0x03fd, 0x0201, 0x0010, 0x007c, 0x007a, 0x003f, 0x290a,
    279   0x04fa, 0x02ff, 0x0002, 0x0010, 0x007b, 0x006e, 0xfee7, 0x2244,
    280   0x03fd, 0x0001, 0xff03, 0x0010, 0x0075, 0x0018, 0xfdd7, 0x1a4c,
    281   0x0000, 0xff03, 0xfe04, 0x0010, 0x004a, 0xffd4, 0xfc97, 0x1a19,
    282   0xff03, 0xfe05, 0xf80a, 0x0010, 0x0028, 0xff84, 0xfc8f, 0x19e6,
    283   0xfe06, 0xf811, 0xcd35, 0x0010, 0x0000, 0xff82, 0xfc87, 0x19b3,
    284   0xf818, 0xcd67, 0xab57, 0x0010, 0xffff, 0xff80, 0xfc7f, 0x1980,
    285   0xcd66, 0xab56, 0x0002, 0xff92, 0xff7f, 0xfc7e, 0xe6cc, 0x0809,
    286   0xabaa, 0x837e, 0x0002, 0xff91, 0xff7d, 0xfc76, 0xe699, 0x07b4,
    287   0x83fa, 0x827f, 0x0002, 0xff90, 0xff7b, 0xfc6e, 0xe666, 0xfac1,
    288   0x82fc, 0x8180, 0x0002, 0xff8f, 0xff79, 0xfc66, 0xdea1, 0xef77,
    289   0x81fe, 0x8081, 0x0002, 0xff8e, 0xff77, 0xfb2e, 0xd7db, 0xe0db,
    290   0x8100, 0x7f82, 0x0002, 0xff8d, 0xff29, 0xfa1e, 0xcf17, 0xdf32,
    291   0x8002, 0x7e83, 0x0002, 0xff66, 0xfee5, 0xf8be, 0xce18, 0xdedd,
    292   0x7f04, 0x7d84, 0x0002, 0xff44, 0xfe8d, 0xf896, 0xcde5, 0xde88,
    293   0x7e06, 0x56ab, 0x0002, 0xff18, 0xfe83, 0xf88e, 0xcdb2, 0x3333,
    294   0x5754, 0x34cd, 0x0002, 0xff13, 0xfe81, 0xf886, 0x007f, 0x32de,
    295   0x3598, 0x08f9, 0x0002, 0xff12, 0xfe7f, 0x007e, 0x004c, 0x3289,
    296   0x09f0, 0x03fe, 0x0002, 0xff11, 0x007d, 0x0076, 0x0019, 0x308b,
    297   0x04fa, 0x02ff, 0x0002, 0x0010, 0x007b, 0x006e, 0xfee7, 0x2244,
    298   0x03fc, 0x0200, 0x0002, 0x000f, 0x0079, 0x003e, 0xf656, 0x16fa,
    299   0x02fe, 0x0001, 0x0002, 0x000e, 0x006d, 0xfee6, 0xef90, 0x09b2,
    300   0x0000, 0xff02, 0x0002, 0x0008, 0x0017, 0xfdd6, 0xe798, 0x095d,
    301   0xff02, 0xfe03, 0x0002, 0xffdd, 0xffd3, 0xfc96, 0xe765, 0x0908,
    302   0xfe04, 0xf809, 0x0002, 0xffbb, 0xff83, 0xfc8e, 0xe732, 0x08b3,
    303   0xf810, 0xcd34, 0x0002, 0xff93, 0xff81, 0xfc86, 0xe6ff, 0x085e,
    304   0xcd33, 0x0001, 0xff85, 0xff14, 0xfc85, 0xe6fe, 0xd5aa, 0xf3b9,
    305   0xab55, 0x0001, 0xff84, 0xff12, 0xfc7d, 0xe6cb, 0xd555, 0xf33c,
    306   0x837d, 0x0001, 0xff83, 0xff10, 0xfc75, 0xe698, 0xd500, 0xe031,
    307   0x827e, 0x0001, 0xff82, 0xff0e, 0xfc6d, 0xe665, 0xc80d, 0xcf97,
    308   0x817f, 0x0001, 0xff81, 0xff0c, 0xfc65, 0xdea0, 0xbcc3, 0xba1b,
    309   0x8080, 0x0001, 0xff80, 0xff0a, 0xfb2d, 0xd7da, 0xae27, 0xb7aa,
    310   0x7f81, 0x0001, 0xff7f, 0xfebc, 0xfa1d, 0xcf16, 0xac7e, 0xb72d,
    311   0x7e82, 0x0001, 0xff58, 0xfe78, 0xf8bd, 0xce17, 0xac29, 0xb6b0,
    312   0x7d83, 0x0001, 0xff36, 0xfe20, 0xf895, 0xcde4, 0xabd4, 0x3333,
    313   0x56aa, 0x0001, 0xff0a, 0xfe16, 0xf88d, 0xcdb1, 0x007f, 0x32b6,
    314   0x34cc, 0x0001, 0xff05, 0xfe14, 0xf885, 0x007e, 0x002a, 0x3239,
    315   0x08f8, 0x0001, 0xff04, 0xfe12, 0x007d, 0x004b, 0xffd5, 0x2f4b,
    316   0x03fd, 0x0001, 0xff03, 0x0010, 0x0075, 0x0018, 0xfdd7, 0x1a4c,
    317   0x02fe, 0x0001, 0x0002, 0x000e, 0x006d, 0xfee6, 0xef90, 0x09b2,
    318   0x01ff, 0x0001, 0x0001, 0x000c, 0x003d, 0xf655, 0xe446, 0xf62a,
    319   0x0000, 0x0001, 0x0000, 0x0000, 0xfee5, 0xef8f, 0xd6fe, 0xf5ad,
    320   0xff01, 0x0001, 0xfffa, 0xffaa, 0xfdd5, 0xe797, 0xd6a9, 0xf530,
    321   0xfe02, 0x0001, 0xffcf, 0xff66, 0xfc95, 0xe764, 0xd654, 0xf4b3,
    322   0xf808, 0x0001, 0xffad, 0xff16, 0xfc8d, 0xe731, 0xd5ff, 0xf436,
    323   0x0000, 0xffac, 0xff08, 0xfc20, 0xe730, 0xd5fe, 0xc182, 0xf337,
    324   0x0000, 0xff84, 0xff06, 0xfc18, 0xe6fd, 0xd5a9, 0xc105, 0xf2b9,
    325   0x0000, 0xff83, 0xff04, 0xfc10, 0xe6ca, 0xd554, 0xc088, 0xdf87,
    326   0x0000, 0xff82, 0xff02, 0xfc08, 0xe697, 0xd4ff, 0xad7d, 0xcecb,
    327   0x0000, 0xff81, 0xff00, 0xfc00, 0xe664, 0xc80c, 0x9ce3, 0xb923,
    328   0x0000, 0xff80, 0xfefe, 0xfbf8, 0xde9f, 0xbcc2, 0x8767, 0xb6ad,
    329   0x0000, 0xff7f, 0xfefc, 0xfac0, 0xd7d9, 0xae26, 0x84f6, 0xb62f,
    330   0x0000, 0xff7e, 0xfeae, 0xf9b0, 0xcf15, 0xac7d, 0x8479, 0xb5b1,
    331   0x0000, 0xff57, 0xfe6a, 0xf850, 0xce16, 0xac28, 0x83fc, 0x3333,
    332   0x0000, 0xff35, 0xfe12, 0xf828, 0xcde3, 0xabd3, 0x007f, 0x32b5,
    333   0x0000, 0xff09, 0xfe08, 0xf820, 0xcdb0, 0x007e, 0x0002, 0x3237,
    334   0x0000, 0xff04, 0xfe06, 0xf818, 0x007d, 0x0029, 0xff85, 0x2f43,
    335   0x0000, 0xff03, 0xfe04, 0x0010, 0x004a, 0xffd4, 0xfc97, 0x1a19,
    336   0x0000, 0xff02, 0x0002, 0x0008, 0x0017, 0xfdd6, 0xe798, 0x095d,
    337   0x0000, 0x0001, 0x0000, 0x0000, 0xfee5, 0xef8f, 0xd6fe, 0xf5ad,
    338   0x0000, 0x0000, 0xfffe, 0xffd0, 0xf654, 0xe445, 0xc376, 0xf52f,
    339   0x0000, 0xffff, 0xfff2, 0xfe78, 0xef8e, 0xd6fd, 0xc2f9, 0xf4b1,
    340   0x0000, 0xfff9, 0xff9c, 0xfd68, 0xe796, 0xd6a8, 0xc27c, 0xf433,
    341   0x0000, 0xffce, 0xff58, 0xfc28, 0xe763, 0xd653, 0xc1ff, 0xf3b5,
    342   0xffcd, 0xff57, 0xfc1a, 0xe6f6, 0xd652, 0xc1fe, 0xc101, 0xf2b5,
    343   0xffab, 0xff07, 0xfc12, 0xe6c3, 0xd5fd, 0xc181, 0xc083, 0xf236,
    344   0xff83, 0xff05, 0xfc0a, 0xe690, 0xd5a8, 0xc104, 0xc005, 0xdedd,
    345   0xff82, 0xff03, 0xfc02, 0xe65d, 0xd553, 0xc087, 0xacd3, 0xcdff,
    346   0xff81, 0xff01, 0xfbfa, 0xe62a, 0xd4fe, 0xad7c, 0x9c17, 0xb82b,
    347   0xff80, 0xfeff, 0xfbf2, 0xe5f7, 0xc80b, 0x9ce2, 0x866f, 0xb5b0,
    348   0xff7f, 0xfefd, 0xfbea, 0xde32, 0xbcc1, 0x8766, 0x83f9, 0xb531,
    349   0xff7e, 0xfefb, 0xfab2, 0xd76c, 0xae25, 0x84f5, 0x837b, 0xb4b2,
    350   0xff7d, 0xfead, 0xf9a2, 0xcea8, 0xac7c, 0x8478, 0x82fd, 0x3333,
    351   0xff56, 0xfe69, 0xf842, 0xcda9, 0xac27, 0x83fb, 0x007f, 0x32b4,
    352   0xff34, 0xfe11, 0xf81a, 0xcd76, 0xabd2, 0x007e, 0x0001, 0x3235,
    353   0xff08, 0xfe07, 0xf812, 0xcd43, 0x007d, 0x0001, 0xff83, 0x2f3b,
    354   0xff03, 0xfe05, 0xf80a, 0x0010, 0x0028, 0xff84, 0xfc8f, 0x19e6,
    355   0xff02, 0xfe03, 0x0002, 0xffdd, 0xffd3, 0xfc96, 0xe765, 0x0908,
    356   0xff01, 0x0001, 0xfffa, 0xffaa, 0xfdd5, 0xe797, 0xd6a9, 0xf530,
    357   0x0000, 0xffff, 0xfff2, 0xfe78, 0xef8e, 0xd6fd, 0xc2f9, 0xf4b1,
    358   0xffff, 0xfffd, 0xffc2, 0xf5e7, 0xe444, 0xc375, 0xc27b, 0xf432,
    359   0xfffe, 0xfff1, 0xfe6a, 0xef21, 0xd6fc, 0xc2f8, 0xc1fd, 0xf3b3,
    360   0xfff8, 0xff9b, 0xfd5a, 0xe729, 0xd6a7, 0xc27b, 0xc17f, 0xf334,
    361   0xff9a, 0xfd59, 0xe71b, 0xd63a, 0xc27a, 0xc17e, 0xc080, 0xf233,
    362   0xff56, 0xfc19, 0xe6e8, 0xd5e5, 0xc1fd, 0xc100, 0xc001, 0xf1b3,
    363   0xff06, 0xfc11, 0xe6b5, 0xd590, 0xc180, 0xc082, 0xbf82, 0xde33,
    364   0xff04, 0xfc09, 0xe682, 0xd53b, 0xc103, 0xc004, 0xac29, 0xcd33,
    365   0xff02, 0xfc01, 0xe64f, 0xd4e6, 0xc086, 0xacd2, 0x9b4b, 0xb733,
    366   0xff00, 0xfbf9, 0xe61c, 0xd491, 0xad7b, 0x9c16, 0x8577, 0xb4b3,
    367   0xfefe, 0xfbf1, 0xe5e9, 0xc79e, 0x9ce1, 0x866e, 0x82fc, 0xb433,
    368   0xfefc, 0xfbe9, 0xde24, 0xbc54, 0x8765, 0x83f8, 0x827d, 0xb3b3,
    369   0xfefa, 0xfab1, 0xd75e, 0xadb8, 0x84f4, 0x837a, 0x81fe, 0x3333,
    370   0xfeac, 0xf9a1, 0xce9a, 0xac0f, 0x8477, 0x82fc, 0x007f, 0x32b3,
    371   0xfe68, 0xf841, 0xcd9b, 0xabba, 0x83fa, 0x007e, 0x0000, 0x3233,
    372   0xfe10, 0xf819, 0xcd68, 0xab65, 0x007d, 0x0000, 0xff81, 0x2f33,
    373   0xfe06, 0xf811, 0xcd35, 0x0010, 0x0000, 0xff82, 0xfc87, 0x19b3,
    374   0xfe04, 0xf809, 0x0002, 0xffbb, 0xff83, 0xfc8e, 0xe732, 0x08b3,
    375   0xfe02, 0x0001, 0xffcf, 0xff66, 0xfc95, 0xe764, 0xd654, 0xf4b3,
    376   0x0000, 0xfff9, 0xff9c, 0xfd68, 0xe796, 0xd6a8, 0xc27c, 0xf433,
    377   0xfffe, 0xfff1, 0xfe6a, 0xef21, 0xd6fc, 0xc2f8, 0xc1fd, 0xf3b3,
    378   0xfffc, 0xffc1, 0xf5d9, 0xe3d7, 0xc374, 0xc27a, 0xc17e, 0xf333,
    379   0xfff0, 0xfe69, 0xef13, 0xd68f, 0xc2f7, 0xc1fc, 0xc0ff, 0xf2b3,
    380   0xfe68, 0xef12, 0xd681, 0xc28a, 0xc1fb, 0xc0fe, 0xbfff, 0xf1b1,
    381   0xfd58, 0xe71a, 0xd62c, 0xc20d, 0xc17d, 0xc07f, 0xbf7f, 0xf130,
    382   0xfc18, 0xe6e7, 0xd5d7, 0xc190, 0xc0ff, 0xc000, 0xbeff, 0xdd89,
    383   0xfc10, 0xe6b4, 0xd582, 0xc113, 0xc081, 0xbf81, 0xab7f, 0xcc67,
    384   0xfc08, 0xe681, 0xd52d, 0xc096, 0xc003, 0xac28, 0x9a7f, 0xb63b,
    385   0xfc00, 0xe64e, 0xd4d8, 0xc019, 0xacd1, 0x9b4a, 0x847f, 0xb3b6,
    386   0xfbf8, 0xe61b, 0xd483, 0xad0e, 0x9c15, 0x8576, 0x81ff, 0xb335,
    387   0xfbf0, 0xe5e8, 0xc790, 0x9c74, 0x866d, 0x82fb, 0x817f, 0xb2b4,
    388   0xfbe8, 0xde23, 0xbc46, 0x86f8, 0x83f7, 0x827c, 0x80ff, 0x3333,
    389   0xfab0, 0xd75d, 0xadaa, 0x8487, 0x8379, 0x81fd, 0x007f, 0x32b2,
    390   0xf9a0, 0xce99, 0xac01, 0x840a, 0x82fb, 0x007e, 0xffff, 0x3231,
    391   0xf840, 0xcd9a, 0xabac, 0x838d, 0x007d, 0xffff, 0xff7f, 0x2f2b,
    392   0xf818, 0xcd67, 0xab57, 0x0010, 0xffff, 0xff80, 0xfc7f, 0x1980,
    393   0xf810, 0xcd34, 0x0002, 0xff93, 0xff81, 0xfc86, 0xe6ff, 0x085e,
    394   0xf808, 0x0001, 0xffad, 0xff16, 0xfc8d, 0xe731, 0xd5ff, 0xf436,
    395   0x0000, 0xffce, 0xff58, 0xfc28, 0xe763, 0xd653, 0xc1ff, 0xf3b5,
    396   0xfff8, 0xff9b, 0xfd5a, 0xe729, 0xd6a7, 0xc27b, 0xc17f, 0xf334,
    397   0xfff0, 0xfe69, 0xef13, 0xd68f, 0xc2f7, 0xc1fc, 0xc0ff, 0xf2b3,
    398   0xffc0, 0xf5d8, 0xe3c9, 0xc307, 0xc279, 0xc17d, 0xc07f, 0xf232,
    399 };
    400 const unsigned kExpectedCount_NEON_umlsl_8H = 361;
    401 
    402 #endif  // VIXL_SIM_UMLSL_8H_TRACE_A64_H_
    403