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_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UMLSL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_umlsl2_4S[] = {
     38   0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
     39   0xc0027ffa, 0xc0017fff, 0x00000002, 0x00000020,
     40   0xc001fffd, 0x00000001, 0xffff8003, 0x00000020,
     41   0x00000000, 0xffff8003, 0xffff0004, 0x00000020,
     42   0xffff8003, 0xffff0005, 0xfff80012, 0x00000020,
     43   0xffff0006, 0xfff80021, 0xffc1807f, 0x00000020,
     44   0xfff80030, 0xffc180fb, 0xffc10080, 0x00000020,
     45   0xffc18177, 0xffc100fd, 0xffc08081, 0x00000020,
     46   0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
     47   0xffc0817d, 0xe666e667, 0xd555d557, 0x00000020,
     48   0xe6671999, 0xd5562aab, 0xc001ffff, 0x00000020,
     49   0xd5567fff, 0xc0027ffb, 0xc0018000, 0x00000020,
     50   0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
     51   0xc0027ffa, 0xc0017fff, 0xc0008002, 0x00000020,
     52   0xc001fffd, 0xc0010001, 0xc0000003, 0x00000020,
     53   0xc0018000, 0xc0008003, 0xaaabaaac, 0x00000020,
     54   0xc0010003, 0xaaac5555, 0x999accce, 0x00000020,
     55   0xaaacfffe, 0x999b9999, 0x8040ff82, 0x00000020,
     56   0x999c6664, 0x8041ff01, 0x80407f83, 0x00000020,
     57   0x8042fe80, 0x80417f03, 0x803fff84, 0x00000020,
     58   0x80427e83, 0x8040ff05, 0x803f7f85, 0x00000020,
     59   0x8041fe86, 0x80407f07, 0x8008fff2, 0x00000020,
     60   0x80417e89, 0x8009ffe1, 0x80027fff, 0x00000020,
     61   0x800affd0, 0x80037ffb, 0x80020000, 0x00000020,
     62   0x80037ffa, 0x8001ffff, 0x00000002, 0x00000020,
     63   0x8002fffc, 0x80018000, 0x00000002, 0x0000001f,
     64   0x80027ffe, 0x00000001, 0x00000002, 0x0000001e,
     65   0x00000000, 0xffff8002, 0x00000002, 0x00000010,
     66   0xffff8002, 0xffff0003, 0x00000002, 0xffffffa3,
     67   0xffff0004, 0xfff80011, 0x00000002, 0xffffffa2,
     68   0xfff80020, 0xffc1807e, 0x00000002, 0xffffffa1,
     69   0xffc180fa, 0xffc1007f, 0x00000002, 0xffffcced,
     70   0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
     71   0xffc080fe, 0xe666b334, 0x00000002, 0xffff8023,
     72   0xe666e666, 0xd555d556, 0x00000002, 0xffff8022,
     73   0xd5562aaa, 0xc001fffe, 0x00000002, 0xffff8021,
     74   0xc0027ffa, 0xc0017fff, 0x00000002, 0xffff8020,
     75   0xc001fffc, 0xc0010000, 0x00000002, 0xffff801f,
     76   0xc0017ffe, 0xc0008001, 0x00000002, 0xffff5576,
     77   0xc0010000, 0xc0000002, 0x00000002, 0xffff3354,
     78   0xc0008002, 0xaaabaaab, 0x00000002, 0xffff00a0,
     79   0xaaac5554, 0x999acccd, 0x00000002, 0xffff009f,
     80   0x999b9998, 0x8040ff81, 0x00000002, 0xffff009e,
     81   0x8041ff00, 0x80407f82, 0x00000002, 0xffff009d,
     82   0x80417f02, 0x803fff83, 0x00000002, 0xffff0030,
     83   0x8040ff04, 0x803f7f84, 0x00000002, 0xffff0023,
     84   0x80407f06, 0x8008fff1, 0x00000002, 0xffff0022,
     85   0x8009ffe0, 0x80027ffe, 0x00000002, 0xffff0021,
     86   0x80027ffd, 0x00000001, 0xffff0003, 0x00000020,
     87   0x8001fffe, 0x00000001, 0x00000002, 0x0000001e,
     88   0x80017fff, 0x00000001, 0x00000001, 0x0000001c,
     89   0x00000000, 0x00000001, 0x00000000, 0x00000000,
     90   0xffff8001, 0x00000001, 0xfffffff2, 0xffffff26,
     91   0xffff0002, 0x00000001, 0xffffff85, 0xffffff24,
     92   0xfff80010, 0x00000001, 0xffffff84, 0xffffff22,
     93   0xffc1807d, 0x00000001, 0xffffff83, 0xffff99ba,
     94   0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
     95   0xffc0807f, 0x00000001, 0xffffaaad, 0xffff0026,
     96   0xe666b333, 0x00000001, 0xffff8005, 0xffff0024,
     97   0xd555d555, 0x00000001, 0xffff8004, 0xffff0022,
     98   0xc001fffd, 0x00000001, 0xffff8003, 0xffff0020,
     99   0xc0017ffe, 0x00000001, 0xffff8002, 0xffff001e,
    100   0xc000ffff, 0x00000001, 0xffff8001, 0xfffeaacc,
    101   0xc0008000, 0x00000001, 0xffff5558, 0xfffe6688,
    102   0xc0000001, 0x00000001, 0xffff3336, 0xfffe0120,
    103   0xaaabaaaa, 0x00000001, 0xffff0082, 0xfffe011e,
    104   0x999acccc, 0x00000001, 0xffff0081, 0xfffe011c,
    105   0x8040ff80, 0x00000001, 0xffff0080, 0xfffe011a,
    106   0x80407f81, 0x00000001, 0xffff007f, 0xfffe0040,
    107   0x803fff82, 0x00000001, 0xffff0012, 0xfffe0026,
    108   0x803f7f83, 0x00000001, 0xffff0005, 0xfffe0024,
    109   0x8008fff0, 0x00000001, 0xffff0004, 0xfffe0022,
    110   0x00000000, 0xffff0003, 0xfffe0004, 0x00000020,
    111   0x00000000, 0xffff0002, 0x00000002, 0x00000010,
    112   0x00000000, 0x00000001, 0x00000000, 0x00000000,
    113   0x00000000, 0x00000000, 0xfffffffe, 0xffffff20,
    114   0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
    115   0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
    116   0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
    117   0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
    118   0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
    119   0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
    120   0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
    121   0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
    122   0x00000000, 0xffff8003, 0xffff0004, 0xfff80020,
    123   0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
    124   0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
    125   0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
    126   0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
    127   0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
    128   0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
    129   0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
    130   0x00000000, 0xffff007f, 0xfffe00fc, 0xfff00120,
    131   0x00000000, 0xffff007e, 0xfffe0022, 0xfff00050,
    132   0x00000000, 0xffff0011, 0xfffe0008, 0xfff00040,
    133   0x00000000, 0xffff0004, 0xfffe0006, 0xfff00030,
    134   0xffff0003, 0xfffe0005, 0xfff00012, 0x00000020,
    135   0xffff0002, 0xfffe0003, 0x00000002, 0xffffffa3,
    136   0xffff0001, 0x00000001, 0xfffffff2, 0xffffff26,
    137   0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
    138   0xffffffff, 0xfffffffd, 0xffffff02, 0xffffc317,
    139   0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
    140   0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
    141   0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
    142   0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
    143   0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
    144   0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
    145   0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
    146   0xffff8003, 0xffff0005, 0xfff80012, 0xffc18020,
    147   0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
    148   0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
    149   0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
    150   0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
    151   0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
    152   0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
    153   0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
    154   0xffff007f, 0xfffe00fd, 0xfff007d2, 0xff8307f0,
    155   0xffff007e, 0xfffe00fb, 0xfff00102, 0xff830197,
    156   0xffff007d, 0xfffe0021, 0xfff00032, 0xff83011a,
    157   0xffff0010, 0xfffe0007, 0xfff00022, 0xff83009d,
    158   0xfffe0006, 0xfff00021, 0xff83007f, 0x00000020,
    159   0xfffe0004, 0xfff00011, 0x00000002, 0xffffffa2,
    160   0xfffe0002, 0x00000001, 0xffffff85, 0xffffff24,
    161   0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
    162   0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
    163   0xfffffffc, 0xffffff01, 0xffffc2f9, 0xffffc21c,
    164   0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
    165   0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
    166   0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
    167   0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
    168   0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
    169   0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
    170   0xffff0006, 0xfff80021, 0xffc1807f, 0xffc10020,
    171   0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
    172   0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
    173   0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
    174   0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
    175   0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
    176   0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
    177   0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
    178   0xfffe00fe, 0xfff007e1, 0xff833d0b, 0xff820800,
    179   0xfffe00fc, 0xfff007d1, 0xff8307d2, 0xff82019a,
    180   0xfffe00fa, 0xfff00101, 0xff830179, 0xff82011c,
    181   0xfffe0020, 0xfff00031, 0xff8300fc, 0xff82009e,
    182   0xfff00030, 0xff8300fb, 0xff820080, 0x00000020,
    183   0xfff00020, 0xff83007e, 0x00000002, 0xffffffa1,
    184   0xfff00010, 0x00000001, 0xffffff84, 0xffffff22,
    185   0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
    186   0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
    187   0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
    188   0xffffff00, 0xffffc2f8, 0xffffc1fe, 0xffffc11f,
    189   0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
    190   0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
    191   0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
    192   0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
    193   0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
    194   0xfff80030, 0xffc180fb, 0xffc10080, 0xffc08020,
    195   0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
    196   0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
    197   0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
    198   0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
    199   0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
    200   0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
    201   0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
    202   0xfff007f0, 0xff833d87, 0xff823d88, 0xff810810,
    203   0xfff007e0, 0xff833d0a, 0xff8207e2, 0xff81019d,
    204   0xfff007d0, 0xff8307d1, 0xff82017c, 0xff81011e,
    205   0xfff00100, 0xff830178, 0xff8200fe, 0xff81009f,
    206   0xff830177, 0xff8200fd, 0xff810081, 0x00000020,
    207   0xff8300fa, 0xff82007f, 0x00000002, 0xffffcced,
    208   0xff83007d, 0x00000001, 0xffffff83, 0xffff99ba,
    209   0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
    210   0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
    211   0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
    212   0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
    213   0xffffc2f7, 0xffffc1fd, 0xffffc101, 0xf5c2a3f7,
    214   0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
    215   0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
    216   0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
    217   0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
    218   0xffc18177, 0xffc100fd, 0xffc08081, 0xe6668020,
    219   0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
    220   0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
    221   0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
    222   0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
    223   0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
    224   0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
    225   0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
    226   0xff833e03, 0xff823e05, 0xff813e05, 0xccd03350,
    227   0xff833d86, 0xff823d87, 0xff8107f2, 0xcccd99b9,
    228   0xff833d09, 0xff8207e1, 0xff81017f, 0xcccd6686,
    229   0xff8307d0, 0xff82017b, 0xff810100, 0xcccd3353,
    230   0xff82017a, 0xff8100ff, 0xcccd3335, 0x00000020,
    231   0xff8200fc, 0xff810080, 0x00000002, 0xffffaacb,
    232   0xff82007e, 0x00000001, 0xffffcccf, 0xffff5576,
    233   0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
    234   0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
    235   0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
    236   0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
    237   0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
    238   0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
    239   0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
    240   0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
    241   0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
    242   0xffc1017a, 0xffc080ff, 0xe666b335, 0xd5558020,
    243   0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
    244   0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
    245   0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
    246   0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
    247   0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
    248   0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
    249   0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
    250   0xff823e82, 0xff813e83, 0xcce5ffe9, 0xaab05570,
    251   0xff823e04, 0xff813e04, 0xccd03332, 0xaaac001f,
    252   0xff823d86, 0xff8107f1, 0xcccd999b, 0xaaabaaca,
    253   0xff8207e0, 0xff81017e, 0xcccd6668, 0xaaab5575,
    254   0xff81017d, 0xcccd6667, 0xaaab5557, 0x00000020,
    255   0xff8100fe, 0xcccd3334, 0x00000002, 0xffff8023,
    256   0xff81007f, 0x00000001, 0xffffaaad, 0xffff0026,
    257   0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
    258   0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
    259   0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
    260   0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
    261   0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
    262   0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
    263   0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
    264   0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
    265   0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
    266   0xffc0817d, 0xe666e667, 0xd555d557, 0xc0018020,
    267   0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
    268   0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
    269   0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
    270   0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
    271   0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
    272   0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
    273   0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
    274   0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
    275   0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
    276   0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
    277   0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
    278   0xcccd9999, 0xaaabaaab, 0x80037fff, 0x00000020,
    279   0xcccd6666, 0xaaab5556, 0x00000002, 0xffff8022,
    280   0xcccd3333, 0x00000001, 0xffff8005, 0xffff0024,
    281   0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
    282   0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
    283   0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
    284   0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
    285   0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
    286   0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
    287   0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
    288   0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
    289   0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
    290   0xe6671999, 0xd5562aab, 0xc001ffff, 0xc0010020,
    291   0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
    292   0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
    293   0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
    294   0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
    295   0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
    296   0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
    297   0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
    298   0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
    299   0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
    300   0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
    301   0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
    302   0xaaabffff, 0x8003fffb, 0x80028000, 0x00000020,
    303   0xaaabaaaa, 0x80037ffe, 0x00000002, 0xffff8021,
    304   0xaaab5555, 0x00000001, 0xffff8004, 0xffff0022,
    305   0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
    306   0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
    307   0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
    308   0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
    309   0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
    310   0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
    311   0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
    312   0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
    313   0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
    314   0xd5567fff, 0xc0027ffb, 0xc0018000, 0xc0008020,
    315   0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
    316   0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
    317   0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
    318   0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
    319   0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
    320   0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
    321   0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
    322   0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
    323   0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
    324   0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
    325   0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
    326   0x80047ff7, 0x8002fffd, 0x80018001, 0x00000020,
    327   0x8003fffa, 0x80027fff, 0x00000002, 0xffff8020,
    328   0x80037ffd, 0x00000001, 0xffff8003, 0xffff0020,
    329   0x00000000, 0xffff8003, 0xffff0004, 0xfff80020,
    330   0xffff8003, 0xffff0005, 0xfff80012, 0xffc18020,
    331   0xffff0006, 0xfff80021, 0xffc1807f, 0xffc10020,
    332   0xfff80030, 0xffc180fb, 0xffc10080, 0xffc08020,
    333   0xffc18177, 0xffc100fd, 0xffc08081, 0xe6668020,
    334   0xffc1017a, 0xffc080ff, 0xe666b335, 0xd5558020,
    335   0xffc0817d, 0xe666e667, 0xd555d557, 0xc0018020,
    336   0xe6671999, 0xd5562aab, 0xc001ffff, 0xc0010020,
    337   0xd5567fff, 0xc0027ffb, 0xc0018000, 0xc0008020,
    338   0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
    339   0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
    340   0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
    341   0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
    342   0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
    343   0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
    344   0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
    345   0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
    346   0x80427e83, 0x8040ff05, 0x803f7f85, 0x80080020,
    347   0x8041fe86, 0x80407f07, 0x8008fff2, 0x80018020,
    348   0x80417e89, 0x8009ffe1, 0x80027fff, 0x80010020,
    349   0x800affd0, 0x80037ffb, 0x80020000, 0x80008020,
    350   0x80037ffa, 0x8001ffff, 0x80008002, 0x00000020,
    351   0x8002fffc, 0x80018000, 0x00000002, 0xffff801f,
    352   0x80027ffe, 0x00000001, 0xffff8002, 0xffff001e,
    353   0x00000000, 0xffff8002, 0xffff0002, 0xfff80010,
    354   0xffff8002, 0xffff0003, 0xfff80002, 0xffc17fa3,
    355   0xffff0004, 0xfff80011, 0xffc18002, 0xffc0ffa2,
    356   0xfff80020, 0xffc1807e, 0xffc10002, 0xffc07fa1,
    357   0xffc180fa, 0xffc1007f, 0xffc08002, 0xe6664ced,
    358   0xffc100fc, 0xffc08080, 0xe6668002, 0xd5552acb,
    359   0xffc080fe, 0xe666b334, 0xd5558002, 0xc0010023,
    360   0xe666e666, 0xd555d556, 0xc0018002, 0xc0008022,
    361   0xd5562aaa, 0xc001fffe, 0xc0010002, 0xc0000021,
    362   0xc0027ffa, 0xc0017fff, 0xc0008002, 0xbfff8020,
    363   0xc001fffc, 0xc0010000, 0xc0000002, 0xbfff001f,
    364   0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
    365   0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
    366   0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
    367   0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
    368   0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
    369   0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
    370   0x80417f02, 0x803fff83, 0x803e8002, 0x80070030,
    371   0x8040ff04, 0x803f7f84, 0x80080002, 0x80008023,
    372   0x80407f06, 0x8008fff1, 0x80018002, 0x80000022,
    373   0x8009ffe0, 0x80027ffe, 0x80010002, 0x7fff8021,
    374   0x80027ffd, 0x80010001, 0x7fff8003, 0x00000020,
    375   0x8001fffe, 0x80008001, 0x00000002, 0xffff5576,
    376   0x80017fff, 0x00000001, 0xffff8001, 0xfffeaacc,
    377   0x00000000, 0xffff8001, 0xffff0000, 0xfff55580,
    378   0xffff8001, 0xffff0001, 0xfff7fff2, 0xffacab1e,
    379   0xffff0002, 0xfff80001, 0xffc17f85, 0xffac0074,
    380   0xfff80010, 0xffc18001, 0xffc0ff84, 0xffab55ca,
    381   0xffc1807d, 0xffc10001, 0xffc07f83, 0xddde2242,
    382   0xffc1007e, 0xffc08001, 0xe6664ccf, 0xc71ce3ae,
    383   0xffc0807f, 0xe6668001, 0xd5552aad, 0xaaad001e,
    384   0xe666b333, 0xd5558001, 0xc0010005, 0xaaac5574,
    385   0xd555d555, 0xc0018001, 0xc0008004, 0xaaabaaca,
    386   0xc001fffd, 0xc0010001, 0xc0000003, 0xaaab0020,
    387   0xc0017ffe, 0xc0008001, 0xbfff8002, 0xaaaa5576,
    388   0xc000ffff, 0xc0000001, 0xbfff0001, 0x8e39c73c,
    389   0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
    390   0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
    391   0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
    392   0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
    393   0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
    394   0x80407f81, 0x803f0001, 0x803d807f, 0x5560aac0,
    395   0x803fff82, 0x803e8001, 0x80070012, 0x5558001e,
    396   0x803f7f83, 0x80080001, 0x80008005, 0x55575574,
    397   0x8008fff0, 0x80018001, 0x80000004, 0x5556aaca,
    398   0x80018000, 0x80000003, 0x5556aaac, 0x00000020,
    399   0x80010000, 0x7fff8002, 0x00000002, 0xffff3354,
    400   0x80008000, 0x00000001, 0xffff5558, 0xfffe6688,
    401   0x00000000, 0xffff8000, 0xfffeaaae, 0xfff33360,
    402   0xffff8000, 0xfffeffff, 0xfff55562, 0xff9c0084,
    403   0xffff0000, 0xfff7fff1, 0xffacab00, 0xff9b33b8,
    404   0xfff80000, 0xffc17f84, 0xffac0056, 0xff9a66ec,
    405   0xffc18000, 0xffc0ff83, 0xffab55ac, 0xd70a8f7c,
    406   0xffc10000, 0xffc07f82, 0xddde2224, 0xbbbc4464,
    407   0xffc08000, 0xe6664cce, 0xc71ce390, 0x999c6684,
    408   0xe6668000, 0xd5552aac, 0xaaad0000, 0x999b99b8,
    409   0xd5558000, 0xc0010004, 0xaaac5556, 0x999accec,
    410   0xc0018000, 0xc0008003, 0xaaabaaac, 0x999a0020,
    411   0xc0010000, 0xc0000002, 0xaaab0002, 0x99993354,
    412   0xc0008000, 0xbfff8001, 0xaaaa5558, 0x777888a8,
    413   0xc0000000, 0xbfff0000, 0x8e39c71e, 0x5c2a3d90,
    414   0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
    415   0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
    416   0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
    417   0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
    418   0x803f8000, 0x803e007f, 0x55a95504, 0x3340cce0,
    419   0x803f0000, 0x803d807e, 0x5560aaa2, 0x33366684,
    420   0x803e8000, 0x80070011, 0x55580000, 0x333599b8,
    421   0x80080000, 0x80008004, 0x55575556, 0x3334ccec,
    422   0x80008003, 0x55575555, 0x3334ccce, 0x00000020,
    423   0x80000002, 0x5556aaab, 0x00000002, 0xffff00a0,
    424   0x7fff8001, 0x00000001, 0xffff3336, 0xfffe0120,
    425   0x00000000, 0xffff5557, 0xfffe666a, 0xfff00820,
    426   0xffff7fff, 0xfffeaaad, 0xfff33342, 0xff833ea0,
    427   0xfffefffe, 0xfff55561, 0xff9c0066, 0xff823f20,
    428   0xfff7fff0, 0xffacaaff, 0xff9b339a, 0xff813fa0,
    429   0xffc17f83, 0xffac0055, 0xff9a66ce, 0xcce699a0,
    430   0xffc0ff82, 0xffab55ab, 0xd70a8f5e, 0xaad5aaa0,
    431   0xffc07f81, 0xddde2223, 0xbbbc4446, 0x8042fea0,
    432   0xe6664ccd, 0xc71ce38f, 0x999c6666, 0x8041ff20,
    433   0xd5552aab, 0xaaacffff, 0x999b999a, 0x8040ffa0,
    434   0xc0010003, 0xaaac5555, 0x999accce, 0x80400020,
    435   0xc0008002, 0xaaabaaab, 0x999a0002, 0x803f00a0,
    436   0xc0000001, 0xaaab0001, 0x99993336, 0x55ab5520,
    437   0xbfff8000, 0xaaaa5557, 0x7778888a, 0x339a6620,
    438   0xbffeffff, 0x8e39c71d, 0x5c2a3d72, 0x00ffc020,
    439   0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
    440   0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
    441   0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
    442   0x803e807f, 0x55a9ffad, 0x3397ff9e, 0x008ff820,
    443   0x803e007e, 0x55a95503, 0x3340ccc2, 0x0082fea0,
    444   0x803d807d, 0x5560aaa1, 0x33366666, 0x0081ff20,
    445   0x80070010, 0x5557ffff, 0x3335999a, 0x0080ffa0,
    446   0x5557fffe, 0x33359999, 0x0080ff82, 0x00000020,
    447   0x55575554, 0x3334cccd, 0x00000002, 0xffff009f,
    448   0x5556aaaa, 0x00000001, 0xffff0082, 0xfffe011e,
    449   0x00000000, 0xffff3335, 0xfffe0102, 0xfff00810,
    450   0xffff5556, 0xfffe6669, 0xfff00802, 0xff833e23,
    451   0xfffeaaac, 0xfff33341, 0xff833e82, 0xff823ea2,
    452   0xfff55560, 0xff9c0065, 0xff823f02, 0xff813f21,
    453   0xffacaafe, 0xff9b3399, 0xff813f82, 0xcce6666d,
    454   0xffac0054, 0xff9a66cd, 0xcce69982, 0xaad5554b,
    455   0xffab55aa, 0xd70a8f5d, 0xaad5aa82, 0x80427ea3,
    456   0xddde2222, 0xbbbc4445, 0x8042fe82, 0x80417f22,
    457   0xc71ce38e, 0x999c6665, 0x8041ff02, 0x80407fa1,
    458   0xaaacfffe, 0x999b9999, 0x8040ff82, 0x803f8020,
    459   0xaaac5554, 0x999acccd, 0x80400002, 0x803e809f,
    460   0xaaabaaaa, 0x999a0001, 0x803f0082, 0x55aaaa76,
    461   0xaaab0000, 0x99993335, 0x55ab5502, 0x33999954,
    462   0xaaaa5556, 0x77788889, 0x339a6602, 0x00fec0a0,
    463   0x8e39c71c, 0x5c2a3d71, 0x00ffc002, 0x00fdc11f,
    464   0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
    465   0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
    466   0x55aaaa56, 0x3398cc69, 0x00fcc182, 0x008ef830,
    467   0x55a9ffac, 0x3397ff9d, 0x008ff802, 0x0081fea3,
    468   0x55a95502, 0x3340ccc1, 0x0082fe82, 0x0080ff22,
    469   0x5560aaa0, 0x33366665, 0x0081ff02, 0x007fffa1,
    470   0x33366664, 0x0081ff01, 0x007fff83, 0x00000020,
    471   0x33359998, 0x0080ff81, 0x00000002, 0xffff009e,
    472   0x3334cccc, 0x00000001, 0xffff0081, 0xfffe011c,
    473   0x00000000, 0xffff0081, 0xfffe0100, 0xfff00800,
    474   0xffff3334, 0xfffe0101, 0xfff007f2, 0xff833da6,
    475   0xfffe6668, 0xfff00801, 0xff833e05, 0xff823e24,
    476   0xfff33340, 0xff833e81, 0xff823e84, 0xff813ea2,
    477   0xff9c0064, 0xff823f01, 0xff813f03, 0xcce6333a,
    478   0xff9b3398, 0xff813f81, 0xcce6664f, 0xaad4fff6,
    479   0xff9a66cc, 0xcce69981, 0xaad5552d, 0x8041fea6,
    480   0xd70a8f5c, 0xaad5aa81, 0x80427e85, 0x8040ff24,
    481   0xbbbc4444, 0x8042fe81, 0x80417f04, 0x803fffa2,
    482   0x999c6664, 0x8041ff01, 0x80407f83, 0x803f0020,
    483   0x999b9998, 0x8040ff81, 0x803f8002, 0x803e009e,
    484   0x999acccc, 0x80400001, 0x803e8081, 0x55a9ffcc,
    485   0x999a0000, 0x803f0081, 0x55aaaa58, 0x3398cc88,
    486   0x99993334, 0x55ab5501, 0x33999936, 0x00fdc120,
    487   0x77788888, 0x339a6601, 0x00fec082, 0x00fcc19e,
    488   0x5c2a3d70, 0x00ffc001, 0x00fdc101, 0x00fbc21c,
    489   0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
    490   0x33999934, 0x00fdc101, 0x00fbc1ff, 0x008df840,
    491   0x3398cc68, 0x00fcc181, 0x008ef812, 0x0080fea6,
    492   0x3397ff9c, 0x008ff801, 0x0081fe85, 0x007fff24,
    493   0x3340ccc0, 0x0082fe81, 0x0080ff04, 0x007effa2,
    494   0x0082fe80, 0x0080ff03, 0x007eff84, 0x00000020,
    495   0x0081ff00, 0x007fff82, 0x00000002, 0xffff009d,
    496   0x0080ff80, 0x00000001, 0xffff0080, 0xfffe011a,
    497   0x00000000, 0xffff0080, 0xfffe00fe, 0xfff007f0,
    498   0xffff0080, 0xfffe00ff, 0xfff007e2, 0xff833d29,
    499   0xfffe0100, 0xfff007f1, 0xff833d88, 0xff823da6,
    500   0xfff00800, 0xff833e04, 0xff823e06, 0xff813e23,
    501   0xff833e80, 0xff823e83, 0xff813e84, 0xcce60007,
    502   0xff823f00, 0xff813f02, 0xcce6331c, 0xaad4aaa1,
    503   0xff813f80, 0xcce6664e, 0xaad4ffd8, 0x80417ea9,
    504   0xcce69980, 0xaad5552c, 0x8041fe88, 0x80407f26,
    505   0xaad5aa80, 0x80427e84, 0x8040ff06, 0x803f7fa3,
    506   0x8042fe80, 0x80417f03, 0x803fff84, 0x803e8020,
    507   0x8041ff00, 0x80407f82, 0x803f0002, 0x803d809d,
    508   0x8040ff80, 0x803f8001, 0x803e0080, 0x55a95522,
    509   0x80400000, 0x803e8080, 0x55a9ffae, 0x3397ffbc,
    510   0x803f0080, 0x55aaaa57, 0x3398cc6a, 0x00fcc1a0,
    511   0x55ab5500, 0x33999935, 0x00fdc102, 0x00fbc21d,
    512   0x339a6600, 0x00fec081, 0x00fcc180, 0x00fac29a,
    513   0x00ffc000, 0x00fdc100, 0x00fbc1fe, 0x00f9c317,
    514   0x00fec080, 0x00fcc17f, 0x00fac27c, 0x008cf850,
    515   0x00fdc100, 0x00fbc1fe, 0x008df822, 0x007ffea9,
    516   0x00fcc180, 0x008ef811, 0x0080fe88, 0x007eff26,
    517   0x008ff800, 0x0081fe84, 0x007fff06, 0x007dffa3,
    518   0x0081fe83, 0x007fff05, 0x007dff85, 0x00000020,
    519   0x0080ff02, 0x007eff83, 0x00000002, 0xffff0030,
    520   0x007fff81, 0x00000001, 0xffff007f, 0xfffe0040,
    521   0x00000000, 0xffff007f, 0xfffe00fc, 0xfff00120,
    522   0xffff007f, 0xfffe00fd, 0xfff007d2, 0xff8307f0,
    523   0xfffe00fe, 0xfff007e1, 0xff833d0b, 0xff820800,
    524   0xfff007f0, 0xff833d87, 0xff823d88, 0xff810810,
    525   0xff833e03, 0xff823e05, 0xff813e05, 0xccd03350,
    526   0xff823e82, 0xff813e83, 0xcce5ffe9, 0xaab05570,
    527   0xff813f01, 0xcce6331b, 0xaad4aa83, 0x800afff0,
    528   0xcce6664d, 0xaad4ffd7, 0x80417e8b, 0x800a0000,
    529   0xaad5552b, 0x8041fe87, 0x80407f08, 0x80090010,
    530   0x80427e83, 0x8040ff05, 0x803f7f85, 0x80080020,
    531   0x80417f02, 0x803fff83, 0x803e8002, 0x80070030,
    532   0x80407f81, 0x803f0001, 0x803d807f, 0x5560aac0,
    533   0x803f8000, 0x803e007f, 0x55a95504, 0x3340cce0,
    534   0x803e807f, 0x55a9ffad, 0x3397ff9e, 0x008ff820,
    535   0x55aaaa56, 0x3398cc69, 0x00fcc182, 0x008ef830,
    536   0x33999934, 0x00fdc101, 0x00fbc1ff, 0x008df840,
    537   0x00fec080, 0x00fcc17f, 0x00fac27c, 0x008cf850,
    538   0x00fdc0ff, 0x00fbc1fd, 0x00f9c2f9, 0x001fff20,
    539   0x00fcc17e, 0x00fac27b, 0x008cf832, 0x0012fff0,
    540   0x00fbc1fd, 0x008df821, 0x007ffe8b, 0x00120000,
    541   0x008ef810, 0x0080fe87, 0x007eff08, 0x00110010,
    542   0x0080fe86, 0x007eff07, 0x0010fff2, 0x00000020,
    543   0x007fff04, 0x007dff84, 0x00000002, 0xffff0023,
    544   0x007eff82, 0x00000001, 0xffff0012, 0xfffe0026,
    545   0x00000000, 0xffff007e, 0xfffe0022, 0xfff00050,
    546   0xffff007e, 0xfffe00fb, 0xfff00102, 0xff830197,
    547   0xfffe00fc, 0xfff007d1, 0xff8307d2, 0xff82019a,
    548   0xfff007e0, 0xff833d0a, 0xff8207e2, 0xff81019d,
    549   0xff833d86, 0xff823d87, 0xff8107f2, 0xcccd99b9,
    550   0xff823e04, 0xff813e04, 0xccd03332, 0xaaac001f,
    551   0xff813e82, 0xcce5ffe8, 0xaab05552, 0x80048017,
    552   0xcce6331a, 0xaad4aa82, 0x800affd2, 0x8003801a,
    553   0xaad4ffd6, 0x80417e8a, 0x8009ffe2, 0x8002801d,
    554   0x8041fe86, 0x80407f07, 0x8008fff2, 0x80018020,
    555   0x8040ff04, 0x803f7f84, 0x80080002, 0x80008023,
    556   0x803fff82, 0x803e8001, 0x80070012, 0x5558001e,
    557   0x803f0000, 0x803d807e, 0x5560aaa2, 0x33366684,
    558   0x803e007e, 0x55a95503, 0x3340ccc2, 0x0082fea0,
    559   0x55a9ffac, 0x3397ff9d, 0x008ff802, 0x0081fea3,
    560   0x3398cc68, 0x00fcc181, 0x008ef812, 0x0080fea6,
    561   0x00fdc100, 0x00fbc1fe, 0x008df822, 0x007ffea9,
    562   0x00fcc17e, 0x00fac27b, 0x008cf832, 0x0012fff0,
    563   0x00fbc1fc, 0x00f9c2f8, 0x001fff02, 0x00060017,
    564   0x00fac27a, 0x008cf831, 0x0012ffd2, 0x0005001a,
    565   0x008df820, 0x007ffe8a, 0x0011ffe2, 0x0004001d,
    566   0x007ffe89, 0x0011ffe1, 0x0003ffff, 0x00000020,
    567   0x007eff06, 0x0010fff1, 0x00000002, 0xffff0022,
    568   0x007dff83, 0x00000001, 0xffff0005, 0xfffe0024,
    569   0x00000000, 0xffff0011, 0xfffe0008, 0xfff00040,
    570   0xffff007d, 0xfffe0021, 0xfff00032, 0xff83011a,
    571   0xfffe00fa, 0xfff00101, 0xff830179, 0xff82011c,
    572   0xfff007d0, 0xff8307d1, 0xff82017c, 0xff81011e,
    573   0xff833d09, 0xff8207e1, 0xff81017f, 0xcccd6686,
    574   0xff823d86, 0xff8107f1, 0xcccd999b, 0xaaabaaca,
    575   0xff813e03, 0xccd03331, 0xaaac0001, 0x8004001a,
    576   0xcce5ffe7, 0xaab05551, 0x80047ff9, 0x8003001c,
    577   0xaad4aa81, 0x800affd1, 0x80037ffc, 0x8002001e,
    578   0x80417e89, 0x8009ffe1, 0x80027fff, 0x80010020,
    579   0x80407f06, 0x8008fff1, 0x80018002, 0x80000022,
    580   0x803f7f83, 0x80080001, 0x80008005, 0x55575574,
    581   0x803e8000, 0x80070011, 0x55580000, 0x333599b8,
    582   0x803d807d, 0x5560aaa1, 0x33366666, 0x0081ff20,
    583   0x55a95502, 0x3340ccc1, 0x0082fe82, 0x0080ff22,
    584   0x3397ff9c, 0x008ff801, 0x0081fe85, 0x007fff24,
    585   0x00fcc180, 0x008ef811, 0x0080fe88, 0x007eff26,
    586   0x00fbc1fd, 0x008df821, 0x007ffe8b, 0x00120000,
    587   0x00fac27a, 0x008cf831, 0x0012ffd2, 0x0005001a,
    588   0x00f9c2f7, 0x001fff01, 0x0005fff9, 0x0004001c,
    589   0x008cf830, 0x0012ffd1, 0x0004fffc, 0x0003001e,
    590   0x0012ffd0, 0x0004fffb, 0x00030000, 0x00000020,
    591   0x0011ffe0, 0x0003fffe, 0x00000002, 0xffff0021,
    592   0x0010fff0, 0x00000001, 0xffff0004, 0xfffe0022,
    593   0x00000000, 0xffff0004, 0xfffe0006, 0xfff00030,
    594   0xffff0010, 0xfffe0007, 0xfff00022, 0xff83009d,
    595   0xfffe0020, 0xfff00031, 0xff8300fc, 0xff82009e,
    596   0xfff00100, 0xff830178, 0xff8200fe, 0xff81009f,
    597   0xff8307d0, 0xff82017b, 0xff810100, 0xcccd3353,
    598   0xff8207e0, 0xff81017e, 0xcccd6668, 0xaaab5575,
    599   0xff8107f0, 0xcccd999a, 0xaaabaaac, 0x8003801d,
    600   0xccd03330, 0xaaac0000, 0x8003fffc, 0x8002801e,
    601   0xaab05550, 0x80047ff8, 0x8002fffe, 0x8001801f,
    602   0x800affd0, 0x80037ffb, 0x80020000, 0x80008020,
    603   0x8009ffe0, 0x80027ffe, 0x80010002, 0x7fff8021,
    604   0x8008fff0, 0x80018001, 0x80000004, 0x5556aaca,
    605   0x80080000, 0x80008004, 0x55575556, 0x3334ccec,
    606   0x80070010, 0x5557ffff, 0x3335999a, 0x0080ffa0,
    607   0x5560aaa0, 0x33366665, 0x0081ff02, 0x007fffa1,
    608   0x3340ccc0, 0x0082fe81, 0x0080ff04, 0x007effa2,
    609   0x008ff800, 0x0081fe84, 0x007fff06, 0x007dffa3,
    610   0x008ef810, 0x0080fe87, 0x007eff08, 0x00110010,
    611   0x008df820, 0x007ffe8a, 0x0011ffe2, 0x0004001d,
    612   0x008cf830, 0x0012ffd1, 0x0004fffc, 0x0003001e,
    613   0x001fff00, 0x0005fff8, 0x0003fffe, 0x0002001f,
    614 };
    615 const unsigned kExpectedCount_NEON_umlsl2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_UMLSL2_4S_TRACE_A64_H_
    618