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