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