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_SMLSL2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SMLSL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_smlsl2_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, 0x3fff8002, 0x00000020,
     52   0xc001fffd, 0x3fff0001, 0x3fff0003, 0x00000020,
     53   0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0x00000020,
     54   0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0x00000020,
     55   0x2aa9fffe, 0x19999999, 0x003fff82, 0x00000020,
     56   0x19996664, 0x003fff01, 0x003f7f83, 0x00000020,
     57   0x003ffe80, 0x003f7f03, 0x003eff84, 0x00000020,
     58   0x003f7e83, 0x003eff05, 0x003e7f85, 0x00000020,
     59   0x003efe86, 0x003e7f07, 0x0007fff2, 0x00000020,
     60   0x003e7e89, 0x0007ffe1, 0x00017fff, 0x00000020,
     61   0x0007ffd0, 0x00017ffb, 0x00010000, 0x00000020,
     62   0x00017ffa, 0x0000ffff, 0x00000002, 0x00000020,
     63   0x0000fffc, 0x00008000, 0x00000002, 0x0000001f,
     64   0x00007ffe, 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, 0x00008020,
     75   0xc001fffc, 0xc0010000, 0x00000002, 0x0000801f,
     76   0xc0017ffe, 0x3fff8001, 0x00000002, 0x00005576,
     77   0x3fff0000, 0x3fff0002, 0x00000002, 0x00003354,
     78   0x3ffe8002, 0x2aaaaaab, 0x00000002, 0x000000a0,
     79   0x2aaa5554, 0x1999cccd, 0x00000002, 0x0000009f,
     80   0x19999998, 0x003fff81, 0x00000002, 0x0000009e,
     81   0x003fff00, 0x003f7f82, 0x00000002, 0x0000009d,
     82   0x003f7f02, 0x003eff83, 0x00000002, 0x00000030,
     83   0x003eff04, 0x003e7f84, 0x00000002, 0x00000023,
     84   0x003e7f06, 0x0007fff1, 0x00000002, 0x00000022,
     85   0x0007ffe0, 0x00017ffe, 0x00000002, 0x00000021,
     86   0x00017ffd, 0x00000001, 0x00000003, 0x00000020,
     87   0x0000fffe, 0x00000001, 0x00000002, 0x0000001e,
     88   0x00007fff, 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, 0x00010020,
     99   0xc0017ffe, 0x00000001, 0x00008002, 0x0001001e,
    100   0xc000ffff, 0x00000001, 0x00008001, 0x0000aacc,
    101   0x3fff8000, 0x00000001, 0x00005558, 0x00006688,
    102   0x3fff0001, 0x00000001, 0x00003336, 0x00000120,
    103   0x2aaaaaaa, 0x00000001, 0x00000082, 0x0000011e,
    104   0x1999cccc, 0x00000001, 0x00000081, 0x0000011c,
    105   0x003fff80, 0x00000001, 0x00000080, 0x0000011a,
    106   0x003f7f81, 0x00000001, 0x0000007f, 0x00000040,
    107   0x003eff82, 0x00000001, 0x00000012, 0x00000026,
    108   0x003e7f83, 0x00000001, 0x00000005, 0x00000024,
    109   0x0007fff0, 0x00000001, 0x00000004, 0x00000022,
    110   0x00000000, 0x00000003, 0x00000004, 0x00000020,
    111   0x00000000, 0x00000002, 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, 0x00080020,
    123   0x00000000, 0xffff8002, 0x00010002, 0x00080010,
    124   0x00000000, 0x00008001, 0x00010000, 0x00055580,
    125   0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
    126   0x00000000, 0x00005557, 0x0000666a, 0x00000820,
    127   0x00000000, 0x00003335, 0x00000102, 0x00000810,
    128   0x00000000, 0x00000081, 0x00000100, 0x00000800,
    129   0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
    130   0x00000000, 0x0000007f, 0x000000fc, 0x00000120,
    131   0x00000000, 0x0000007e, 0x00000022, 0x00000050,
    132   0x00000000, 0x00000011, 0x00000008, 0x00000040,
    133   0x00000000, 0x00000004, 0x00000006, 0x00000030,
    134   0x00000003, 0x00000005, 0x00000012, 0x00000020,
    135   0x00000002, 0x00000003, 0x00000002, 0xffffffa3,
    136   0x00000001, 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, 0x003e8020,
    147   0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
    148   0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
    149   0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
    150   0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
    151   0x00005556, 0x00006669, 0x00000802, 0x00003e23,
    152   0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
    153   0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
    154   0x0000007f, 0x000000fd, 0x000007d2, 0x000007f0,
    155   0x0000007e, 0x000000fb, 0x00000102, 0x00000197,
    156   0x0000007d, 0x00000021, 0x00000032, 0x0000011a,
    157   0x00000010, 0x00000007, 0x00000022, 0x0000009d,
    158   0x00000006, 0x00000021, 0x0000007f, 0x00000020,
    159   0x00000004, 0x00000011, 0x00000002, 0xffffffa2,
    160   0x00000002, 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, 0x003f0020,
    171   0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
    172   0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
    173   0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
    174   0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
    175   0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
    176   0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
    177   0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
    178   0x000000fe, 0x000007e1, 0x00003d0b, 0x00000800,
    179   0x000000fc, 0x000007d1, 0x000007d2, 0x0000019a,
    180   0x000000fa, 0x00000101, 0x00000179, 0x0000011c,
    181   0x00000020, 0x00000031, 0x000000fc, 0x0000009e,
    182   0x00000030, 0x000000fb, 0x00000080, 0x00000020,
    183   0x00000020, 0x0000007e, 0x00000002, 0xffffffa1,
    184   0x00000010, 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, 0x003f8020,
    195   0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
    196   0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
    197   0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
    198   0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
    199   0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
    200   0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
    201   0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
    202   0x000007f0, 0x00003d87, 0x00003d88, 0x00000810,
    203   0x000007e0, 0x00003d0a, 0x000007e2, 0x0000019d,
    204   0x000007d0, 0x000007d1, 0x0000017c, 0x0000011e,
    205   0x00000100, 0x00000178, 0x000000fe, 0x0000009f,
    206   0x00000177, 0x000000fd, 0x00000081, 0x00000020,
    207   0x000000fa, 0x0000007f, 0x00000002, 0xffffcced,
    208   0x0000007d, 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, 0x19998020,
    219   0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
    220   0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
    221   0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
    222   0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
    223   0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
    224   0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
    225   0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
    226   0x00003e03, 0x00003e05, 0x00003e05, 0x00033350,
    227   0x00003d86, 0x00003d87, 0x000007f2, 0x000099b9,
    228   0x00003d09, 0x000007e1, 0x0000017f, 0x00006686,
    229   0x000007d0, 0x0000017b, 0x00000100, 0x00003353,
    230   0x0000017a, 0x000000ff, 0x00003335, 0x00000020,
    231   0x000000fc, 0x00000080, 0x00000002, 0xffffaacb,
    232   0x0000007e, 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, 0x2aaa8020,
    243   0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
    244   0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
    245   0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
    246   0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
    247   0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
    248   0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
    249   0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
    250   0x00003e82, 0x00003e83, 0x0018ffe9, 0x00055570,
    251   0x00003e04, 0x00003e04, 0x00033332, 0x0001001f,
    252   0x00003d86, 0x000007f1, 0x0000999b, 0x0000aaca,
    253   0x000007e0, 0x0000017e, 0x00006668, 0x00005575,
    254   0x0000017d, 0x00006667, 0x00005557, 0x00000020,
    255   0x000000fe, 0x00003334, 0x00000002, 0xffff8023,
    256   0x0000007f, 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, 0x3ffe8020,
    267   0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
    268   0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
    269   0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
    270   0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
    271   0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
    272   0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
    273   0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
    274   0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
    275   0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
    276   0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
    277   0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
    278   0x00009999, 0x0000aaab, 0x00007fff, 0x00000020,
    279   0x00006666, 0x00005556, 0x00000002, 0xffff8022,
    280   0x00003333, 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, 0x3fff0020,
    291   0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
    292   0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
    293   0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
    294   0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
    295   0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
    296   0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
    297   0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
    298   0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
    299   0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
    300   0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
    301   0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
    302   0x0000ffff, 0x0000fffb, 0x00008000, 0x00000020,
    303   0x0000aaaa, 0x00007ffe, 0x00000002, 0xffff8021,
    304   0x00005555, 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, 0x3fff8020,
    315   0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
    316   0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
    317   0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
    318   0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
    319   0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
    320   0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
    321   0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
    322   0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
    323   0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
    324   0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
    325   0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
    326   0x00017ff7, 0x0000fffd, 0x00008001, 0x00000020,
    327   0x0000fffa, 0x00007fff, 0x00000002, 0x00008020,
    328   0x00007ffd, 0x00000001, 0xffff8003, 0x00010020,
    329   0x00000000, 0xffff8003, 0xffff0004, 0x00080020,
    330   0xffff8003, 0xffff0005, 0xfff80012, 0x003e8020,
    331   0xffff0006, 0xfff80021, 0xffc1807f, 0x003f0020,
    332   0xfff80030, 0xffc180fb, 0xffc10080, 0x003f8020,
    333   0xffc18177, 0xffc100fd, 0xffc08081, 0x19998020,
    334   0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
    335   0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
    336   0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
    337   0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
    338   0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
    339   0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
    340   0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
    341   0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
    342   0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
    343   0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
    344   0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
    345   0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
    346   0x003f7e83, 0x003eff05, 0x003e7f85, 0xfff80020,
    347   0x003efe86, 0x003e7f07, 0x0007fff2, 0xfffe8020,
    348   0x003e7e89, 0x0007ffe1, 0x00017fff, 0xffff0020,
    349   0x0007ffd0, 0x00017ffb, 0x00010000, 0xffff8020,
    350   0x00017ffa, 0x0000ffff, 0xffff8002, 0x00000020,
    351   0x0000fffc, 0x00008000, 0x00000002, 0x0000801f,
    352   0x00007ffe, 0x00000001, 0x00008002, 0x0001001e,
    353   0x00000000, 0xffff8002, 0x00010002, 0x00080010,
    354   0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
    355   0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
    356   0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
    357   0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
    358   0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
    359   0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
    360   0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
    361   0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
    362   0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
    363   0xc001fffc, 0xc0010000, 0xc0000002, 0xc001001f,
    364   0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
    365   0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
    366   0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
    367   0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
    368   0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
    369   0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
    370   0x003f7f02, 0x003eff83, 0xffc18002, 0xfff80030,
    371   0x003eff04, 0x003e7f84, 0xfff80002, 0xfffe8023,
    372   0x003e7f06, 0x0007fff1, 0xfffe8002, 0xffff0022,
    373   0x0007ffe0, 0x00017ffe, 0xffff0002, 0xffff8021,
    374   0x00017ffd, 0xffff0001, 0xffff8003, 0x00000020,
    375   0x0000fffe, 0xffff8001, 0x00000002, 0x00005576,
    376   0x00007fff, 0x00000001, 0x00008001, 0x0000aacc,
    377   0x00000000, 0x00008001, 0x00010000, 0x00055580,
    378   0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
    379   0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
    380   0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
    381   0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
    382   0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
    383   0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
    384   0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
    385   0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
    386   0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
    387   0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
    388   0xc000ffff, 0xc0000001, 0xc0010001, 0xe38dc73c,
    389   0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
    390   0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
    391   0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
    392   0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
    393   0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
    394   0x003f7f81, 0xffc10001, 0xffc1807f, 0xfffaaac0,
    395   0x003eff82, 0xffc18001, 0xfff80012, 0xffff001e,
    396   0x003e7f83, 0xfff80001, 0xfffe8005, 0xffff5574,
    397   0x0007fff0, 0xfffe8001, 0xffff0004, 0xffffaaca,
    398   0xfffe8000, 0xffff0003, 0xffffaaac, 0x00000020,
    399   0xffff0000, 0xffff8002, 0x00000002, 0x00003354,
    400   0xffff8000, 0x00000001, 0x00005558, 0x00006688,
    401   0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
    402   0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
    403   0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
    404   0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
    405   0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
    406   0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
    407   0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
    408   0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
    409   0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
    410   0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
    411   0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
    412   0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
    413   0xc0000000, 0xc0010000, 0xe38dc71e, 0xf5c23d90,
    414   0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
    415   0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
    416   0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
    417   0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
    418   0xffc08000, 0xffc1007f, 0xffd65504, 0xfffccce0,
    419   0xffc10000, 0xffc1807e, 0xfffaaaa2, 0xffff6684,
    420   0xffc18000, 0xfff80011, 0xffff0000, 0xffff99b8,
    421   0xfff80000, 0xfffe8004, 0xffff5556, 0xffffccec,
    422   0xfffe8003, 0xffff5555, 0xffffccce, 0x00000020,
    423   0xffff0002, 0xffffaaab, 0x00000002, 0x000000a0,
    424   0xffff8001, 0x00000001, 0x00003336, 0x00000120,
    425   0x00000000, 0x00005557, 0x0000666a, 0x00000820,
    426   0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
    427   0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
    428   0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
    429   0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
    430   0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
    431   0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
    432   0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
    433   0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
    434   0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
    435   0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
    436   0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
    437   0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
    438   0xc000ffff, 0xe38dc71d, 0xf5c23d72, 0xffffc020,
    439   0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
    440   0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
    441   0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
    442   0xffc0807f, 0xffd5ffad, 0xffe6ff9e, 0xfffff820,
    443   0xffc1007e, 0xffd65503, 0xfffcccc2, 0xfffffea0,
    444   0xffc1807d, 0xfffaaaa1, 0xffff6666, 0xffffff20,
    445   0xfff80010, 0xfffeffff, 0xffff999a, 0xffffffa0,
    446   0xfffefffe, 0xffff9999, 0xffffff82, 0x00000020,
    447   0xffff5554, 0xffffcccd, 0x00000002, 0x0000009f,
    448   0xffffaaaa, 0x00000001, 0x00000082, 0x0000011e,
    449   0x00000000, 0x00003335, 0x00000102, 0x00000810,
    450   0x00005556, 0x00006669, 0x00000802, 0x00003e23,
    451   0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
    452   0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
    453   0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
    454   0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
    455   0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
    456   0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
    457   0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
    458   0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
    459   0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
    460   0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
    461   0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
    462   0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
    463   0xe38dc71c, 0xf5c23d71, 0xffffc002, 0xffffc11f,
    464   0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
    465   0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
    466   0xffd5aa56, 0xffe6cc69, 0xffffc182, 0xfffff830,
    467   0xffd5ffac, 0xffe6ff9d, 0xfffff802, 0xfffffea3,
    468   0xffd65502, 0xfffcccc1, 0xfffffe82, 0xffffff22,
    469   0xfffaaaa0, 0xffff6665, 0xffffff02, 0xffffffa1,
    470   0xffff6664, 0xffffff01, 0xffffff83, 0x00000020,
    471   0xffff9998, 0xffffff81, 0x00000002, 0x0000009e,
    472   0xffffcccc, 0x00000001, 0x00000081, 0x0000011c,
    473   0x00000000, 0x00000081, 0x00000100, 0x00000800,
    474   0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
    475   0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
    476   0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
    477   0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
    478   0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
    479   0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
    480   0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
    481   0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
    482   0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
    483   0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
    484   0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
    485   0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
    486   0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
    487   0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
    488   0xf5c23d70, 0xffffc001, 0xffffc101, 0xffffc21c,
    489   0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
    490   0xffe69934, 0xffffc101, 0xffffc1ff, 0xfffff840,
    491   0xffe6cc68, 0xffffc181, 0xfffff812, 0xfffffea6,
    492   0xffe6ff9c, 0xfffff801, 0xfffffe85, 0xffffff24,
    493   0xfffcccc0, 0xfffffe81, 0xffffff04, 0xffffffa2,
    494   0xfffffe80, 0xffffff03, 0xffffff84, 0x00000020,
    495   0xffffff00, 0xffffff82, 0x00000002, 0x0000009d,
    496   0xffffff80, 0x00000001, 0x00000080, 0x0000011a,
    497   0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
    498   0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
    499   0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
    500   0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
    501   0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
    502   0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
    503   0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
    504   0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
    505   0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
    506   0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
    507   0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
    508   0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
    509   0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
    510   0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
    511   0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
    512   0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
    513   0xffffc000, 0xffffc100, 0xffffc1fe, 0xffffc317,
    514   0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff850,
    515   0xffffc100, 0xffffc1fe, 0xfffff822, 0xfffffea9,
    516   0xffffc180, 0xfffff811, 0xfffffe88, 0xffffff26,
    517   0xfffff800, 0xfffffe84, 0xffffff06, 0xffffffa3,
    518   0xfffffe83, 0xffffff05, 0xffffff85, 0x00000020,
    519   0xffffff02, 0xffffff83, 0x00000002, 0x00000030,
    520   0xffffff81, 0x00000001, 0x0000007f, 0x00000040,
    521   0x00000000, 0x0000007f, 0x000000fc, 0x00000120,
    522   0x0000007f, 0x000000fd, 0x000007d2, 0x000007f0,
    523   0x000000fe, 0x000007e1, 0x00003d0b, 0x00000800,
    524   0x000007f0, 0x00003d87, 0x00003d88, 0x00000810,
    525   0x00003e03, 0x00003e05, 0x00003e05, 0x00033350,
    526   0x00003e82, 0x00003e83, 0x0018ffe9, 0x00055570,
    527   0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
    528   0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
    529   0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
    530   0x003f7e83, 0x003eff05, 0x003e7f85, 0xfff80020,
    531   0x003f7f02, 0x003eff83, 0xffc18002, 0xfff80030,
    532   0x003f7f81, 0xffc10001, 0xffc1807f, 0xfffaaac0,
    533   0xffc08000, 0xffc1007f, 0xffd65504, 0xfffccce0,
    534   0xffc0807f, 0xffd5ffad, 0xffe6ff9e, 0xfffff820,
    535   0xffd5aa56, 0xffe6cc69, 0xffffc182, 0xfffff830,
    536   0xffe69934, 0xffffc101, 0xffffc1ff, 0xfffff840,
    537   0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff850,
    538   0xffffc0ff, 0xffffc1fd, 0xffffc2f9, 0xffffff20,
    539   0xffffc17e, 0xffffc27b, 0xfffff832, 0xfffffff0,
    540   0xffffc1fd, 0xfffff821, 0xfffffe8b, 0x00000000,
    541   0xfffff810, 0xfffffe87, 0xffffff08, 0x00000010,
    542   0xfffffe86, 0xffffff07, 0xfffffff2, 0x00000020,
    543   0xffffff04, 0xffffff84, 0x00000002, 0x00000023,
    544   0xffffff82, 0x00000001, 0x00000012, 0x00000026,
    545   0x00000000, 0x0000007e, 0x00000022, 0x00000050,
    546   0x0000007e, 0x000000fb, 0x00000102, 0x00000197,
    547   0x000000fc, 0x000007d1, 0x000007d2, 0x0000019a,
    548   0x000007e0, 0x00003d0a, 0x000007e2, 0x0000019d,
    549   0x00003d86, 0x00003d87, 0x000007f2, 0x000099b9,
    550   0x00003e04, 0x00003e04, 0x00033332, 0x0001001f,
    551   0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
    552   0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
    553   0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
    554   0x003efe86, 0x003e7f07, 0x0007fff2, 0xfffe8020,
    555   0x003eff04, 0x003e7f84, 0xfff80002, 0xfffe8023,
    556   0x003eff82, 0xffc18001, 0xfff80012, 0xffff001e,
    557   0xffc10000, 0xffc1807e, 0xfffaaaa2, 0xffff6684,
    558   0xffc1007e, 0xffd65503, 0xfffcccc2, 0xfffffea0,
    559   0xffd5ffac, 0xffe6ff9d, 0xfffff802, 0xfffffea3,
    560   0xffe6cc68, 0xffffc181, 0xfffff812, 0xfffffea6,
    561   0xffffc100, 0xffffc1fe, 0xfffff822, 0xfffffea9,
    562   0xffffc17e, 0xffffc27b, 0xfffff832, 0xfffffff0,
    563   0xffffc1fc, 0xffffc2f8, 0xffffff02, 0x00000017,
    564   0xffffc27a, 0xfffff831, 0xffffffd2, 0x0000001a,
    565   0xfffff820, 0xfffffe8a, 0xffffffe2, 0x0000001d,
    566   0xfffffe89, 0xffffffe1, 0xffffffff, 0x00000020,
    567   0xffffff06, 0xfffffff1, 0x00000002, 0x00000022,
    568   0xffffff83, 0x00000001, 0x00000005, 0x00000024,
    569   0x00000000, 0x00000011, 0x00000008, 0x00000040,
    570   0x0000007d, 0x00000021, 0x00000032, 0x0000011a,
    571   0x000000fa, 0x00000101, 0x00000179, 0x0000011c,
    572   0x000007d0, 0x000007d1, 0x0000017c, 0x0000011e,
    573   0x00003d09, 0x000007e1, 0x0000017f, 0x00006686,
    574   0x00003d86, 0x000007f1, 0x0000999b, 0x0000aaca,
    575   0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
    576   0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
    577   0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
    578   0x003e7e89, 0x0007ffe1, 0x00017fff, 0xffff0020,
    579   0x003e7f06, 0x0007fff1, 0xfffe8002, 0xffff0022,
    580   0x003e7f83, 0xfff80001, 0xfffe8005, 0xffff5574,
    581   0xffc18000, 0xfff80011, 0xffff0000, 0xffff99b8,
    582   0xffc1807d, 0xfffaaaa1, 0xffff6666, 0xffffff20,
    583   0xffd65502, 0xfffcccc1, 0xfffffe82, 0xffffff22,
    584   0xffe6ff9c, 0xfffff801, 0xfffffe85, 0xffffff24,
    585   0xffffc180, 0xfffff811, 0xfffffe88, 0xffffff26,
    586   0xffffc1fd, 0xfffff821, 0xfffffe8b, 0x00000000,
    587   0xffffc27a, 0xfffff831, 0xffffffd2, 0x0000001a,
    588   0xffffc2f7, 0xffffff01, 0xfffffff9, 0x0000001c,
    589   0xfffff830, 0xffffffd1, 0xfffffffc, 0x0000001e,
    590   0xffffffd0, 0xfffffffb, 0x00000000, 0x00000020,
    591   0xffffffe0, 0xfffffffe, 0x00000002, 0x00000021,
    592   0xfffffff0, 0x00000001, 0x00000004, 0x00000022,
    593   0x00000000, 0x00000004, 0x00000006, 0x00000030,
    594   0x00000010, 0x00000007, 0x00000022, 0x0000009d,
    595   0x00000020, 0x00000031, 0x000000fc, 0x0000009e,
    596   0x00000100, 0x00000178, 0x000000fe, 0x0000009f,
    597   0x000007d0, 0x0000017b, 0x00000100, 0x00003353,
    598   0x000007e0, 0x0000017e, 0x00006668, 0x00005575,
    599   0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
    600   0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
    601   0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
    602   0x0007ffd0, 0x00017ffb, 0x00010000, 0xffff8020,
    603   0x0007ffe0, 0x00017ffe, 0xffff0002, 0xffff8021,
    604   0x0007fff0, 0xfffe8001, 0xffff0004, 0xffffaaca,
    605   0xfff80000, 0xfffe8004, 0xffff5556, 0xffffccec,
    606   0xfff80010, 0xfffeffff, 0xffff999a, 0xffffffa0,
    607   0xfffaaaa0, 0xffff6665, 0xffffff02, 0xffffffa1,
    608   0xfffcccc0, 0xfffffe81, 0xffffff04, 0xffffffa2,
    609   0xfffff800, 0xfffffe84, 0xffffff06, 0xffffffa3,
    610   0xfffff810, 0xfffffe87, 0xffffff08, 0x00000010,
    611   0xfffff820, 0xfffffe8a, 0xffffffe2, 0x0000001d,
    612   0xfffff830, 0xffffffd1, 0xfffffffc, 0x0000001e,
    613   0xffffff00, 0xfffffff8, 0xfffffffe, 0x0000001f,
    614 };
    615 const unsigned kExpectedCount_NEON_smlsl2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SMLSL2_4S_TRACE_A64_H_
    618