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_SQDMLSL2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SQDMLSL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_sqdmlsl2_4S[] = {
     38   0x8005ffee, 0x8003fff9, 0x80020000, 0x00000020,
     39   0x8004fff4, 0x8002fffd, 0x00000002, 0x00000020,
     40   0x8003fffa, 0x00000001, 0xffff0004, 0x00000020,
     41   0x00000000, 0xffff0005, 0xfffe0006, 0x00000020,
     42   0xffff0006, 0xfffe0009, 0xfff00022, 0x00000020,
     43   0xfffe000c, 0xfff00041, 0xff8300fc, 0x00000020,
     44   0xfff00060, 0xff8301f5, 0xff8200fe, 0x00000020,
     45   0xff8302ee, 0xff8201f9, 0xff810100, 0x00000020,
     46   0xff8202f4, 0xff8101fd, 0xcccd6668, 0x00000020,
     47   0xff8102fa, 0xcccdcccd, 0xaaabaaac, 0x00000020,
     48   0xccce3332, 0xaaac5555, 0x8003fffc, 0x00000020,
     49   0xaaacfffe, 0x8004fff5, 0x8002fffe, 0x00000020,
     50   0x8005ffee, 0x8003fff9, 0x80020000, 0x00000020,
     51   0x8004fff4, 0x8002fffd, 0x7fff0002, 0x00000020,
     52   0x8003fffa, 0x7ffe0001, 0x7ffe0004, 0x00000020,
     53   0x7ffd0000, 0x7ffd0005, 0x55555556, 0x00000020,
     54   0x7ffc0006, 0x5554aaa9, 0x3333999a, 0x00000020,
     55   0x5553fffc, 0x33333331, 0x007fff02, 0x00000020,
     56   0x3332ccc8, 0x007ffe01, 0x007eff04, 0x00000020,
     57   0x007ffd00, 0x007efe05, 0x007dff06, 0x00000020,
     58   0x007efd06, 0x007dfe09, 0x007cff08, 0x00000020,
     59   0x007dfd0c, 0x007cfe0d, 0x000fffe2, 0x00000020,
     60   0x007cfd12, 0x000fffc1, 0x0002fffc, 0x00000020,
     61   0x000fffa0, 0x0002fff5, 0x0001fffe, 0x00000020,
     62   0x0002fff4, 0x0001fffd, 0x00000002, 0x00000020,
     63   0x0001fff8, 0x0000ffff, 0x00000002, 0x0000001e,
     64   0x0000fffc, 0x00000001, 0x00000002, 0x0000001c,
     65   0x00000000, 0xffff0003, 0x00000002, 0x00000000,
     66   0xffff0004, 0xfffe0005, 0x00000002, 0xffffff26,
     67   0xfffe0008, 0xfff00021, 0x00000002, 0xffffff24,
     68   0xfff00040, 0xff8300fb, 0x00000002, 0xffffff22,
     69   0xff8301f4, 0xff8200fd, 0x00000002, 0xffff99ba,
     70   0xff8201f8, 0xff8100ff, 0x00000002, 0xffff5576,
     71   0xff8101fc, 0xcccd6667, 0x00000002, 0xffff0026,
     72   0xcccdcccc, 0xaaabaaab, 0x00000002, 0xffff0024,
     73   0xaaac5554, 0x8003fffb, 0x00000002, 0xffff0022,
     74   0x8004fff4, 0x8002fffd, 0x00000002, 0x00010020,
     75   0x8003fff8, 0x8001ffff, 0x00000002, 0x0001001e,
     76   0x8002fffc, 0x7fff0001, 0x00000002, 0x0000aacc,
     77   0x7ffe0000, 0x7ffe0003, 0x00000002, 0x00006688,
     78   0x7ffd0004, 0x55555555, 0x00000002, 0x00000120,
     79   0x5554aaa8, 0x33339999, 0x00000002, 0x0000011e,
     80   0x33333330, 0x007fff01, 0x00000002, 0x0000011c,
     81   0x007ffe00, 0x007eff03, 0x00000002, 0x0000011a,
     82   0x007efe04, 0x007dff05, 0x00000002, 0x00000040,
     83   0x007dfe08, 0x007cff07, 0x00000002, 0x00000026,
     84   0x007cfe0c, 0x000fffe1, 0x00000002, 0x00000024,
     85   0x000fffc0, 0x0002fffb, 0x00000002, 0x00000022,
     86   0x0002fffa, 0x00000001, 0x00000004, 0x00000020,
     87   0x0001fffc, 0x00000001, 0x00000002, 0x0000001c,
     88   0x0000fffe, 0x00000001, 0x00000000, 0x00000018,
     89   0x00000000, 0x00000001, 0xfffffffe, 0xffffffe0,
     90   0xffff0002, 0x00000001, 0xffffffe2, 0xfffffe2c,
     91   0xfffe0004, 0x00000001, 0xffffff08, 0xfffffe28,
     92   0xfff00020, 0x00000001, 0xffffff06, 0xfffffe24,
     93   0xff8300fa, 0x00000001, 0xffffff04, 0xffff3354,
     94   0xff8200fc, 0x00000001, 0xffff999c, 0xfffeaacc,
     95   0xff8100fe, 0x00000001, 0xffff5558, 0xfffe002c,
     96   0xcccd6666, 0x00000001, 0xffff0008, 0xfffe0028,
     97   0xaaabaaaa, 0x00000001, 0xffff0006, 0xfffe0024,
     98   0x8003fffa, 0x00000001, 0xffff0004, 0x00020020,
     99   0x8002fffc, 0x00000001, 0x00010002, 0x0002001c,
    100   0x8001fffe, 0x00000001, 0x00010000, 0x00015578,
    101   0x7fff0000, 0x00000001, 0x0000aaae, 0x0000ccf0,
    102   0x7ffe0002, 0x00000001, 0x0000666a, 0x00000220,
    103   0x55555554, 0x00000001, 0x00000102, 0x0000021c,
    104   0x33339998, 0x00000001, 0x00000100, 0x00000218,
    105   0x007fff00, 0x00000001, 0x000000fe, 0x00000214,
    106   0x007eff02, 0x00000001, 0x000000fc, 0x00000060,
    107   0x007dff04, 0x00000001, 0x00000022, 0x0000002c,
    108   0x007cff06, 0x00000001, 0x00000008, 0x00000028,
    109   0x000fffe0, 0x00000001, 0x00000006, 0x00000024,
    110   0x00000000, 0x00000005, 0x00000006, 0x00000020,
    111   0x00000000, 0x00000003, 0x00000002, 0x00000000,
    112   0x00000000, 0x00000001, 0xfffffffe, 0xffffffe0,
    113   0x00000000, 0xffffffff, 0xfffffffa, 0xfffffe20,
    114   0x00000000, 0xfffffffd, 0xffffffc2, 0xfffff080,
    115   0x00000000, 0xffffffe1, 0xfffffe0e, 0xfffff060,
    116   0x00000000, 0xffffff07, 0xfffffe0a, 0xfffff040,
    117   0x00000000, 0xffffff05, 0xfffffe06, 0xfff999c0,
    118   0x00000000, 0xffffff03, 0xffff3336, 0xfff55580,
    119   0x00000000, 0xffff999b, 0xfffeaaae, 0xfff00080,
    120   0x00000000, 0xffff5557, 0xfffe000e, 0xfff00060,
    121   0x00000000, 0xffff0007, 0xfffe000a, 0xfff00040,
    122   0x00000000, 0xffff0005, 0xfffe0006, 0x00100020,
    123   0x00000000, 0xffff0003, 0x00020002, 0x00100000,
    124   0x00000000, 0x00010001, 0x0001fffe, 0x000aaae0,
    125   0x00000000, 0x0000ffff, 0x0001555a, 0x000666a0,
    126   0x00000000, 0x0000aaad, 0x0000ccd2, 0x00001020,
    127   0x00000000, 0x00006669, 0x00000202, 0x00001000,
    128   0x00000000, 0x00000101, 0x000001fe, 0x00000fe0,
    129   0x00000000, 0x000000ff, 0x000001fa, 0x00000fc0,
    130   0x00000000, 0x000000fd, 0x000001f6, 0x00000220,
    131   0x00000000, 0x000000fb, 0x00000042, 0x00000080,
    132   0x00000000, 0x00000021, 0x0000000e, 0x00000060,
    133   0x00000000, 0x00000007, 0x0000000a, 0x00000040,
    134   0x00000006, 0x00000009, 0x00000022, 0x00000020,
    135   0x00000004, 0x00000005, 0x00000002, 0xffffff26,
    136   0x00000002, 0x00000001, 0xffffffe2, 0xfffffe2c,
    137   0x00000000, 0xfffffffd, 0xffffffc2, 0xfffff080,
    138   0xfffffffe, 0xfffffff9, 0xfffffe02, 0xffff860e,
    139   0xfffffffc, 0xffffffc1, 0xfffff062, 0xffff8514,
    140   0xffffffe0, 0xfffffe0d, 0xfffff042, 0xffff841a,
    141   0xffffff06, 0xfffffe09, 0xfffff022, 0xffce0052,
    142   0xffffff04, 0xfffffe05, 0xfff999a2, 0xffacab1e,
    143   0xffffff02, 0xffff3335, 0xfff55562, 0xff83030e,
    144   0xffff999a, 0xfffeaaad, 0xfff00062, 0xff830214,
    145   0xffff5556, 0xfffe000d, 0xfff00042, 0xff83011a,
    146   0xffff0006, 0xfffe0009, 0xfff00022, 0x007d0020,
    147   0xffff0004, 0xfffe0005, 0x00100002, 0x007cff26,
    148   0xffff0002, 0x00020001, 0x000fffe2, 0x0053561c,
    149   0x00010000, 0x0001fffd, 0x000aaac2, 0x003200e8,
    150   0x0000fffe, 0x00015559, 0x00066682, 0x00007d20,
    151   0x0000aaac, 0x0000ccd1, 0x00001002, 0x00007c26,
    152   0x00006668, 0x00000201, 0x00000fe2, 0x00007b2c,
    153   0x00000100, 0x000001fd, 0x00000fc2, 0x00007a32,
    154   0x000000fe, 0x000001f9, 0x00000fa2, 0x00000fc0,
    155   0x000000fc, 0x000001f5, 0x00000202, 0x0000030e,
    156   0x000000fa, 0x00000041, 0x00000062, 0x00000214,
    157   0x00000020, 0x0000000d, 0x00000042, 0x0000011a,
    158   0x0000000c, 0x00000041, 0x000000fc, 0x00000020,
    159   0x00000008, 0x00000021, 0x00000002, 0xffffff24,
    160   0x00000004, 0x00000001, 0xffffff08, 0xfffffe28,
    161   0x00000000, 0xffffffe1, 0xfffffe0e, 0xfffff060,
    162   0xfffffffc, 0xffffffc1, 0xfffff062, 0xffff8514,
    163   0xfffffff8, 0xfffffe01, 0xffff85f0, 0xffff8418,
    164   0xffffffc0, 0xfffff061, 0xffff84f6, 0xffff831c,
    165   0xfffffe0c, 0xfffff041, 0xffff83fc, 0xffcd99ec,
    166   0xfffffe08, 0xfffff021, 0xffce0034, 0xffac0074,
    167   0xfffffe04, 0xfff999a1, 0xffacab00, 0xff820314,
    168   0xffff3334, 0xfff55561, 0xff8302f0, 0xff820218,
    169   0xfffeaaac, 0xfff00061, 0xff8301f6, 0xff82011c,
    170   0xfffe000c, 0xfff00041, 0xff8300fc, 0x007e0020,
    171   0xfffe0008, 0xfff00021, 0x007d0002, 0x007dff24,
    172   0xfffe0004, 0x00100001, 0x007cff08, 0x005400c8,
    173   0x00020000, 0x000fffe1, 0x005355fe, 0x00326750,
    174   0x0001fffc, 0x000aaac1, 0x003200ca, 0x00007e20,
    175   0x00015558, 0x00066681, 0x00007d02, 0x00007d24,
    176   0x0000ccd0, 0x00001001, 0x00007c08, 0x00007c28,
    177   0x00000200, 0x00000fe1, 0x00007b0e, 0x00007b2c,
    178   0x000001fc, 0x00000fc1, 0x00007a14, 0x00000fe0,
    179   0x000001f8, 0x00000fa1, 0x00000fa2, 0x00000314,
    180   0x000001f4, 0x00000201, 0x000002f0, 0x00000218,
    181   0x00000040, 0x00000061, 0x000001f6, 0x0000011c,
    182   0x00000060, 0x000001f5, 0x000000fe, 0x00000020,
    183   0x00000040, 0x000000fb, 0x00000002, 0xffffff22,
    184   0x00000020, 0x00000001, 0xffffff06, 0xfffffe24,
    185   0x00000000, 0xffffff07, 0xfffffe0a, 0xfffff040,
    186   0xffffffe0, 0xfffffe0d, 0xfffff042, 0xffff841a,
    187   0xffffffc0, 0xfffff061, 0xffff84f6, 0xffff831c,
    188   0xfffffe00, 0xffff85ef, 0xffff83fa, 0xffff821e,
    189   0xfffff060, 0xffff84f5, 0xffff82fe, 0xffcd3386,
    190   0xfffff040, 0xffff83fb, 0xffcd99ce, 0xffab55ca,
    191   0xfffff020, 0xffce0033, 0xffac0056, 0xff81031a,
    192   0xfff999a0, 0xffacaaff, 0xff8202f6, 0xff81021c,
    193   0xfff55560, 0xff8302ef, 0xff8201fa, 0xff81011e,
    194   0xfff00060, 0xff8301f5, 0xff8200fe, 0x007f0020,
    195   0xfff00040, 0xff8300fb, 0x007e0002, 0x007eff22,
    196   0xfff00020, 0x007d0001, 0x007dff06, 0x0054ab74,
    197   0x00100000, 0x007cff07, 0x005400aa, 0x0032cdb8,
    198   0x000fffe0, 0x005355fd, 0x00326732, 0x00007f20,
    199   0x000aaac0, 0x003200c9, 0x00007e02, 0x00007e22,
    200   0x00066680, 0x00007d01, 0x00007d06, 0x00007d24,
    201   0x00001000, 0x00007c07, 0x00007c0a, 0x00007c26,
    202   0x00000fe0, 0x00007b0d, 0x00007b0e, 0x00001000,
    203   0x00000fc0, 0x00007a13, 0x00000fc2, 0x0000031a,
    204   0x00000fa0, 0x00000fa1, 0x000002f6, 0x0000021c,
    205   0x00000200, 0x000002ef, 0x000001fa, 0x0000011e,
    206   0x000002ee, 0x000001f9, 0x00000100, 0x00000020,
    207   0x000001f4, 0x000000fd, 0x00000002, 0xffff99ba,
    208   0x000000fa, 0x00000001, 0xffffff04, 0xffff3354,
    209   0x00000000, 0xffffff05, 0xfffffe06, 0xfff999c0,
    210   0xffffff06, 0xfffffe09, 0xfffff022, 0xffce0052,
    211   0xfffffe0c, 0xfffff041, 0xffff83fc, 0xffcd99ec,
    212   0xfffff060, 0xffff84f5, 0xffff82fe, 0xffcd3386,
    213   0xffff85ee, 0xffff83f9, 0xffff8200, 0xeb8547ce,
    214   0xffff84f4, 0xffff82fd, 0xffcd3368, 0xddde2242,
    215   0xffff83fa, 0xffcd99cd, 0xffab55ac, 0xccce3352,
    216   0xffce0032, 0xffac0055, 0xff8102fc, 0xcccdccec,
    217   0xffacaafe, 0xff8202f5, 0xff8101fe, 0xcccd6686,
    218   0xff8302ee, 0xff8201f9, 0xff810100, 0x33330020,
    219   0xff8301f4, 0xff8200fd, 0x007f0002, 0x333299ba,
    220   0xff8300fa, 0x007e0001, 0x007eff04, 0x22224464,
    221   0x007d0000, 0x007dff05, 0x0054ab56, 0x147b1ed8,
    222   0x007cff06, 0x005400a9, 0x0032cd9a, 0x00333320,
    223   0x005355fc, 0x00326731, 0x00007f02, 0x0032ccba,
    224   0x003200c8, 0x00007e01, 0x00007e04, 0x00326654,
    225   0x00007d00, 0x00007d05, 0x00007d06, 0x0031ffee,
    226   0x00007c06, 0x00007c09, 0x00007c08, 0x00066680,
    227   0x00007b0c, 0x00007b0d, 0x00000fe2, 0x00013352,
    228   0x00007a12, 0x00000fc1, 0x000002fc, 0x0000ccec,
    229   0x00000fa0, 0x000002f5, 0x000001fe, 0x00006686,
    230   0x000002f4, 0x000001fd, 0x00006668, 0x00000020,
    231   0x000001f8, 0x000000ff, 0x00000002, 0xffff5576,
    232   0x000000fc, 0x00000001, 0xffff999c, 0xfffeaacc,
    233   0x00000000, 0xffffff03, 0xffff3336, 0xfff55580,
    234   0xffffff04, 0xfffffe05, 0xfff999a2, 0xffacab1e,
    235   0xfffffe08, 0xfffff021, 0xffce0034, 0xffac0074,
    236   0xfffff040, 0xffff83fb, 0xffcd99ce, 0xffab55ca,
    237   0xffff84f4, 0xffff82fd, 0xffcd3368, 0xddde2242,
    238   0xffff83f8, 0xffff81ff, 0xeb8547b0, 0xc71ce3ae,
    239   0xffff82fc, 0xffcd3367, 0xddde2224, 0xaaad001e,
    240   0xffcd99cc, 0xffab55ab, 0xccce3334, 0xaaac5574,
    241   0xffac0054, 0xff8102fb, 0xcccdccce, 0xaaabaaca,
    242   0xff8202f4, 0xff8101fd, 0xcccd6668, 0x55550020,
    243   0xff8201f8, 0xff8100ff, 0x33330002, 0x55545576,
    244   0xff8200fc, 0x007f0001, 0x3332999c, 0x38e3c73c,
    245   0x007e0000, 0x007eff03, 0x22224446, 0x222288a8,
    246   0x007dff04, 0x0054ab55, 0x147b1eba, 0x00555520,
    247   0x005400a8, 0x0032cd99, 0x00333302, 0x0054aa76,
    248   0x00326730, 0x00007f01, 0x0032cc9c, 0x0053ffcc,
    249   0x00007e00, 0x00007e03, 0x00326636, 0x00535522,
    250   0x00007d04, 0x00007d05, 0x0031ffd0, 0x000aaac0,
    251   0x00007c08, 0x00007c07, 0x00066662, 0x0002001e,
    252   0x00007b0c, 0x00000fe1, 0x00013334, 0x00015574,
    253   0x00000fc0, 0x000002fb, 0x0000ccce, 0x0000aaca,
    254   0x000002fa, 0x0000cccd, 0x0000aaac, 0x00000020,
    255   0x000001fc, 0x00006667, 0x00000002, 0xffff0026,
    256   0x000000fe, 0x00000001, 0xffff5558, 0xfffe002c,
    257   0x00000000, 0xffff999b, 0xfffeaaae, 0xfff00080,
    258   0xffffff02, 0xffff3335, 0xfff55562, 0xff83030e,
    259   0xfffffe04, 0xfff999a1, 0xffacab00, 0xff820314,
    260   0xfffff020, 0xffce0033, 0xffac0056, 0xff81031a,
    261   0xffff83fa, 0xffcd99cd, 0xffab55ac, 0xccce3352,
    262   0xffff82fc, 0xffcd3367, 0xddde2224, 0xaaad001e,
    263   0xffff81fe, 0xeb8547af, 0xc71ce390, 0x8006000e,
    264   0xffcd3366, 0xddde2223, 0xaaad0000, 0x80050014,
    265   0xffab55aa, 0xccce3333, 0xaaac5556, 0x8004001a,
    266   0xff8102fa, 0xcccdcccd, 0xaaabaaac, 0x7ffd0020,
    267   0xff8101fc, 0xcccd6667, 0x55550002, 0x7ffc0026,
    268   0xff8100fe, 0x33330001, 0x55545558, 0x5554001c,
    269   0x007f0000, 0x3332999b, 0x38e3c71e, 0x3332cce8,
    270   0x007eff02, 0x22224445, 0x2222888a, 0x007ffd20,
    271   0x0054ab54, 0x147b1eb9, 0x00555502, 0x007efd26,
    272   0x0032cd98, 0x00333301, 0x0054aa58, 0x007dfd2c,
    273   0x00007f00, 0x0032cc9b, 0x0053ffae, 0x007cfd32,
    274   0x00007e02, 0x00326635, 0x00535504, 0x000fffc0,
    275   0x00007d04, 0x0031ffcf, 0x000aaaa2, 0x0003000e,
    276   0x00007c06, 0x00066661, 0x00020000, 0x00020014,
    277   0x00000fe0, 0x00013333, 0x00015556, 0x0001001a,
    278   0x00013332, 0x00015555, 0x0000fffc, 0x00000020,
    279   0x0000cccc, 0x0000aaab, 0x00000002, 0xffff0024,
    280   0x00006666, 0x00000001, 0xffff0008, 0xfffe0028,
    281   0x00000000, 0xffff5557, 0xfffe000e, 0xfff00060,
    282   0xffff999a, 0xfffeaaad, 0xfff00062, 0xff830214,
    283   0xffff3334, 0xfff55561, 0xff8302f0, 0xff820218,
    284   0xfff999a0, 0xffacaaff, 0xff8202f6, 0xff81021c,
    285   0xffce0032, 0xffac0055, 0xff8102fc, 0xcccdccec,
    286   0xffcd99cc, 0xffab55ab, 0xccce3334, 0xaaac5574,
    287   0xffcd3366, 0xddde2223, 0xaaad0000, 0x80050014,
    288   0xeb8547ae, 0xc71ce38f, 0x8005fff0, 0x80040018,
    289   0xddde2222, 0xaaacffff, 0x8004fff6, 0x8003001c,
    290   0xccce3332, 0xaaac5555, 0x8003fffc, 0x7ffe0020,
    291   0xcccdcccc, 0xaaabaaab, 0x7ffd0002, 0x7ffd0024,
    292   0xcccd6666, 0x55550001, 0x7ffc0008, 0x5554aac8,
    293   0x33330000, 0x55545557, 0x5553fffe, 0x33333350,
    294   0x3332999a, 0x38e3c71d, 0x3332ccca, 0x007ffe20,
    295   0x22224444, 0x22228889, 0x007ffd02, 0x007efe24,
    296   0x147b1eb8, 0x00555501, 0x007efd08, 0x007dfe28,
    297   0x00333300, 0x0054aa57, 0x007dfd0e, 0x007cfe2c,
    298   0x0032cc9a, 0x0053ffad, 0x007cfd14, 0x000fffe0,
    299   0x00326634, 0x00535503, 0x000fffa2, 0x00030014,
    300   0x0031ffce, 0x000aaaa1, 0x0002fff0, 0x00020018,
    301   0x00066660, 0x0001ffff, 0x0001fff6, 0x0001001c,
    302   0x0001fffe, 0x0001fff5, 0x0000fffe, 0x00000020,
    303   0x00015554, 0x0000fffb, 0x00000002, 0xffff0022,
    304   0x0000aaaa, 0x00000001, 0xffff0006, 0xfffe0024,
    305   0x00000000, 0xffff0007, 0xfffe000a, 0xfff00040,
    306   0xffff5556, 0xfffe000d, 0xfff00042, 0xff83011a,
    307   0xfffeaaac, 0xfff00061, 0xff8301f6, 0xff82011c,
    308   0xfff55560, 0xff8302ef, 0xff8201fa, 0xff81011e,
    309   0xffacaafe, 0xff8202f5, 0xff8101fe, 0xcccd6686,
    310   0xffac0054, 0xff8102fb, 0xcccdccce, 0xaaabaaca,
    311   0xffab55aa, 0xccce3333, 0xaaac5556, 0x8004001a,
    312   0xddde2222, 0xaaacffff, 0x8004fff6, 0x8003001c,
    313   0xc71ce38e, 0x8005ffef, 0x8003fffa, 0x8002001e,
    314   0xaaacfffe, 0x8004fff5, 0x8002fffe, 0x7fff0020,
    315   0xaaac5554, 0x8003fffb, 0x7ffe0002, 0x7ffe0022,
    316   0xaaabaaaa, 0x7ffd0001, 0x7ffd0006, 0x55555574,
    317   0x55550000, 0x7ffc0007, 0x5554aaaa, 0x333399b8,
    318   0x55545556, 0x5553fffd, 0x33333332, 0x007fff20,
    319   0x38e3c71c, 0x3332ccc9, 0x007ffe02, 0x007eff22,
    320   0x22228888, 0x007ffd01, 0x007efe06, 0x007dff24,
    321   0x00555500, 0x007efd07, 0x007dfe0a, 0x007cff26,
    322   0x0054aa56, 0x007dfd0d, 0x007cfe0e, 0x00100000,
    323   0x0053ffac, 0x007cfd13, 0x000fffc2, 0x0003001a,
    324   0x00535502, 0x000fffa1, 0x0002fff6, 0x0002001c,
    325   0x000aaaa0, 0x0002ffef, 0x0001fffa, 0x0001001e,
    326   0x0002ffee, 0x0001fff9, 0x00010000, 0x00000020,
    327   0x0001fff4, 0x0000fffd, 0x00000002, 0x00010020,
    328   0x0000fffa, 0x00000001, 0xffff0004, 0x00020020,
    329   0x00000000, 0xffff0005, 0xfffe0006, 0x00100020,
    330   0xffff0006, 0xfffe0009, 0xfff00022, 0x007d0020,
    331   0xfffe000c, 0xfff00041, 0xff8300fc, 0x007e0020,
    332   0xfff00060, 0xff8301f5, 0xff8200fe, 0x007f0020,
    333   0xff8302ee, 0xff8201f9, 0xff810100, 0x33330020,
    334   0xff8202f4, 0xff8101fd, 0xcccd6668, 0x55550020,
    335   0xff8102fa, 0xcccdcccd, 0xaaabaaac, 0x7ffd0020,
    336   0xccce3332, 0xaaac5555, 0x8003fffc, 0x7ffe0020,
    337   0xaaacfffe, 0x8004fff5, 0x8002fffe, 0x7fff0020,
    338   0x8005ffee, 0x8003fff9, 0x80020000, 0x80000021,
    339   0x8004fff4, 0x8002fffd, 0x7fff0002, 0x80010020,
    340   0x8003fffa, 0x7ffe0001, 0x7ffe0004, 0xaaaa0020,
    341   0x7ffd0000, 0x7ffd0005, 0x55555556, 0xcccc0020,
    342   0x7ffc0006, 0x5554aaa9, 0x3333999a, 0xff800020,
    343   0x5553fffc, 0x33333331, 0x007fff02, 0xff810020,
    344   0x3332ccc8, 0x007ffe01, 0x007eff04, 0xff820020,
    345   0x007ffd00, 0x007efe05, 0x007dff06, 0xff830020,
    346   0x007efd06, 0x007dfe09, 0x007cff08, 0xfff00020,
    347   0x007dfd0c, 0x007cfe0d, 0x000fffe2, 0xfffd0020,
    348   0x007cfd12, 0x000fffc1, 0x0002fffc, 0xfffe0020,
    349   0x000fffa0, 0x0002fff5, 0x0001fffe, 0xffff0020,
    350   0x0002fff4, 0x0001fffd, 0xffff0002, 0x00000020,
    351   0x0001fff8, 0x0000ffff, 0x00000002, 0x0001001e,
    352   0x0000fffc, 0x00000001, 0x00010002, 0x0002001c,
    353   0x00000000, 0xffff0003, 0x00020002, 0x00100000,
    354   0xffff0004, 0xfffe0005, 0x00100002, 0x007cff26,
    355   0xfffe0008, 0xfff00021, 0x007d0002, 0x007dff24,
    356   0xfff00040, 0xff8300fb, 0x007e0002, 0x007eff22,
    357   0xff8301f4, 0xff8200fd, 0x007f0002, 0x333299ba,
    358   0xff8201f8, 0xff8100ff, 0x33330002, 0x55545576,
    359   0xff8101fc, 0xcccd6667, 0x55550002, 0x7ffc0026,
    360   0xcccdcccc, 0xaaabaaab, 0x7ffd0002, 0x7ffd0024,
    361   0xaaac5554, 0x8003fffb, 0x7ffe0002, 0x7ffe0022,
    362   0x8004fff4, 0x8002fffd, 0x7fff0002, 0x80010020,
    363   0x8003fff8, 0x8001ffff, 0x80000003, 0x8002001e,
    364   0x8002fffc, 0x7fff0001, 0x80010002, 0xaaaaaacc,
    365   0x7ffe0000, 0x7ffe0003, 0xaaaa0002, 0xcccc6688,
    366   0x7ffd0004, 0x55555555, 0xcccc0002, 0xff800120,
    367   0x5554aaa8, 0x33339999, 0xff800002, 0xff81011e,
    368   0x33333330, 0x007fff01, 0xff810002, 0xff82011c,
    369   0x007ffe00, 0x007eff03, 0xff820002, 0xff83011a,
    370   0x007efe04, 0x007dff05, 0xff830002, 0xfff00040,
    371   0x007dfe08, 0x007cff07, 0xfff00002, 0xfffd0026,
    372   0x007cfe0c, 0x000fffe1, 0xfffd0002, 0xfffe0024,
    373   0x000fffc0, 0x0002fffb, 0xfffe0002, 0xffff0022,
    374   0x0002fffa, 0xfffe0001, 0xffff0004, 0x00000020,
    375   0x0001fffc, 0xffff0001, 0x00000002, 0x0000aacc,
    376   0x0000fffe, 0x00000001, 0x00010000, 0x00015578,
    377   0x00000000, 0x00010001, 0x0001fffe, 0x000aaae0,
    378   0xffff0002, 0x00020001, 0x000fffe2, 0x0053561c,
    379   0xfffe0004, 0x00100001, 0x007cff08, 0x005400c8,
    380   0xfff00020, 0x007d0001, 0x007dff06, 0x0054ab74,
    381   0xff8300fa, 0x007e0001, 0x007eff04, 0x22224464,
    382   0xff8200fc, 0x007f0001, 0x3332999c, 0x38e3c73c,
    383   0xff8100fe, 0x33330001, 0x55545558, 0x5554001c,
    384   0xcccd6666, 0x55550001, 0x7ffc0008, 0x5554aac8,
    385   0xaaabaaaa, 0x7ffd0001, 0x7ffd0006, 0x55555574,
    386   0x8003fffa, 0x7ffe0001, 0x7ffe0004, 0xaaaa0020,
    387   0x8002fffc, 0x7fff0001, 0x80010002, 0xaaaaaacc,
    388   0x8001fffe, 0x80000002, 0x80020000, 0xc71b8e58,
    389   0x7fff0000, 0x80010001, 0xaaaaaaae, 0xdddd1130,
    390   0x7ffe0002, 0xaaaa0001, 0xcccc666a, 0xffaaaa20,
    391   0x55555554, 0xcccc0001, 0xff800102, 0xffab54cc,
    392   0x33339998, 0xff800001, 0xff810100, 0xffabff78,
    393   0x007fff00, 0xff810001, 0xff8200fe, 0xffacaa24,
    394   0x007eff02, 0xff820001, 0xff8300fc, 0xfff55560,
    395   0x007dff04, 0xff830001, 0xfff00022, 0xfffe001c,
    396   0x007cff06, 0xfff00001, 0xfffd0008, 0xfffeaac8,
    397   0x000fffe0, 0xfffd0001, 0xfffe0006, 0xffff5574,
    398   0xfffd0000, 0xfffe0005, 0xffff5556, 0x00000020,
    399   0xfffe0000, 0xffff0003, 0x00000002, 0x00006688,
    400   0xffff0000, 0x00000001, 0x0000aaae, 0x0000ccf0,
    401   0x00000000, 0x0000ffff, 0x0001555a, 0x000666a0,
    402   0x00010000, 0x0001fffd, 0x000aaac2, 0x003200e8,
    403   0x00020000, 0x000fffe1, 0x005355fe, 0x00326750,
    404   0x00100000, 0x007cff07, 0x005400aa, 0x0032cdb8,
    405   0x007d0000, 0x007dff05, 0x0054ab56, 0x147b1ed8,
    406   0x007e0000, 0x007eff03, 0x22224446, 0x222288a8,
    407   0x007f0000, 0x3332999b, 0x38e3c71e, 0x3332cce8,
    408   0x33330000, 0x55545557, 0x5553fffe, 0x33333350,
    409   0x55550000, 0x7ffc0007, 0x5554aaaa, 0x333399b8,
    410   0x7ffd0000, 0x7ffd0005, 0x55555556, 0xcccc0020,
    411   0x7ffe0000, 0x7ffe0003, 0xaaaa0002, 0xcccc6688,
    412   0x7fff0000, 0x80010001, 0xaaaaaaae, 0xdddd1130,
    413   0x80000001, 0x8001ffff, 0xc71b8e3a, 0xeb847b00,
    414   0x80010000, 0xaaaaaaad, 0xdddd1112, 0xffcccc20,
    415   0xaaaa0000, 0xcccc6669, 0xffaaaa02, 0xffcd3288,
    416   0xcccc0000, 0xff800101, 0xffab54ae, 0xffcd98f0,
    417   0xff800000, 0xff8100ff, 0xffabff5a, 0xffcdff58,
    418   0xff810000, 0xff8200fd, 0xffacaa06, 0xfff999a0,
    419   0xff820000, 0xff8300fb, 0xfff55542, 0xfffecce8,
    420   0xff830000, 0xfff00021, 0xfffdfffe, 0xffff3350,
    421   0xfff00000, 0xfffd0007, 0xfffeaaaa, 0xffff99b8,
    422   0xfffd0006, 0xfffeaaa9, 0xffff999a, 0x00000020,
    423   0xfffe0004, 0xffff5555, 0x00000002, 0x00000120,
    424   0xffff0002, 0x00000001, 0x0000666a, 0x00000220,
    425   0x00000000, 0x0000aaad, 0x0000ccd2, 0x00001020,
    426   0x0000fffe, 0x00015559, 0x00066682, 0x00007d20,
    427   0x0001fffc, 0x000aaac1, 0x003200ca, 0x00007e20,
    428   0x000fffe0, 0x005355fd, 0x00326732, 0x00007f20,
    429   0x007cff06, 0x005400a9, 0x0032cd9a, 0x00333320,
    430   0x007dff04, 0x0054ab55, 0x147b1eba, 0x00555520,
    431   0x007eff02, 0x22224445, 0x2222888a, 0x007ffd20,
    432   0x3332999a, 0x38e3c71d, 0x3332ccca, 0x007ffe20,
    433   0x55545556, 0x5553fffd, 0x33333332, 0x007fff20,
    434   0x7ffc0006, 0x5554aaa9, 0x3333999a, 0xff800020,
    435   0x7ffd0004, 0x55555555, 0xcccc0002, 0xff800120,
    436   0x7ffe0002, 0xaaaa0001, 0xcccc666a, 0xffaaaa20,
    437   0x80010000, 0xaaaaaaad, 0xdddd1112, 0xffcccc20,
    438   0x8001fffe, 0xc71b8e39, 0xeb847ae2, 0xffff8020,
    439   0xaaaaaaac, 0xdddd1111, 0xffcccc02, 0xffff8120,
    440   0xcccc6668, 0xffaaaa01, 0xffcd326a, 0xffff8220,
    441   0xff800100, 0xffab54ad, 0xffcd98d2, 0xffff8320,
    442   0xff8100fe, 0xffabff59, 0xffcdff3a, 0xfffff020,
    443   0xff8200fc, 0xffacaa05, 0xfff99982, 0xfffffd20,
    444   0xff8300fa, 0xfff55541, 0xfffeccca, 0xfffffe20,
    445   0xfff00020, 0xfffdfffd, 0xffff3332, 0xffffff20,
    446   0xfffdfffc, 0xffff3331, 0xffffff02, 0x00000020,
    447   0xfffeaaa8, 0xffff9999, 0x00000002, 0x0000011e,
    448   0xffff5554, 0x00000001, 0x00000102, 0x0000021c,
    449   0x00000000, 0x00006669, 0x00000202, 0x00001000,
    450   0x0000aaac, 0x0000ccd1, 0x00001002, 0x00007c26,
    451   0x00015558, 0x00066681, 0x00007d02, 0x00007d24,
    452   0x000aaac0, 0x003200c9, 0x00007e02, 0x00007e22,
    453   0x005355fc, 0x00326731, 0x00007f02, 0x0032ccba,
    454   0x005400a8, 0x0032cd99, 0x00333302, 0x0054aa76,
    455   0x0054ab54, 0x147b1eb9, 0x00555502, 0x007efd26,
    456   0x22224444, 0x22228889, 0x007ffd02, 0x007efe24,
    457   0x38e3c71c, 0x3332ccc9, 0x007ffe02, 0x007eff22,
    458   0x5553fffc, 0x33333331, 0x007fff02, 0xff810020,
    459   0x5554aaa8, 0x33339999, 0xff800002, 0xff81011e,
    460   0x55555554, 0xcccc0001, 0xff800102, 0xffab54cc,
    461   0xaaaa0000, 0xcccc6669, 0xffaaaa02, 0xffcd3288,
    462   0xaaaaaaac, 0xdddd1111, 0xffcccc02, 0xffff8120,
    463   0xc71b8e38, 0xeb847ae1, 0xffff8002, 0xffff821e,
    464   0xdddd1110, 0xffcccc01, 0xffff8102, 0xffff831c,
    465   0xffaaaa00, 0xffcd3269, 0xffff8202, 0xffff841a,
    466   0xffab54ac, 0xffcd98d1, 0xffff8302, 0xfffff040,
    467   0xffabff58, 0xffcdff39, 0xfffff002, 0xfffffd26,
    468   0xffacaa04, 0xfff99981, 0xfffffd02, 0xfffffe24,
    469   0xfff55540, 0xfffeccc9, 0xfffffe02, 0xffffff22,
    470   0xfffeccc8, 0xfffffe01, 0xffffff04, 0x00000020,
    471   0xffff3330, 0xffffff01, 0x00000002, 0x0000011c,
    472   0xffff9998, 0x00000001, 0x00000100, 0x00000218,
    473   0x00000000, 0x00000101, 0x000001fe, 0x00000fe0,
    474   0x00006668, 0x00000201, 0x00000fe2, 0x00007b2c,
    475   0x0000ccd0, 0x00001001, 0x00007c08, 0x00007c28,
    476   0x00066680, 0x00007d01, 0x00007d06, 0x00007d24,
    477   0x003200c8, 0x00007e01, 0x00007e04, 0x00326654,
    478   0x00326730, 0x00007f01, 0x0032cc9c, 0x0053ffcc,
    479   0x0032cd98, 0x00333301, 0x0054aa58, 0x007dfd2c,
    480   0x147b1eb8, 0x00555501, 0x007efd08, 0x007dfe28,
    481   0x22228888, 0x007ffd01, 0x007efe06, 0x007dff24,
    482   0x3332ccc8, 0x007ffe01, 0x007eff04, 0xff820020,
    483   0x33333330, 0x007fff01, 0xff810002, 0xff82011c,
    484   0x33339998, 0xff800001, 0xff810100, 0xffabff78,
    485   0xcccc0000, 0xff800101, 0xffab54ae, 0xffcd98f0,
    486   0xcccc6668, 0xffaaaa01, 0xffcd326a, 0xffff8220,
    487   0xdddd1110, 0xffcccc01, 0xffff8102, 0xffff831c,
    488   0xeb847ae0, 0xffff8001, 0xffff8200, 0xffff8418,
    489   0xffcccc00, 0xffff8101, 0xffff82fe, 0xffff8514,
    490   0xffcd3268, 0xffff8201, 0xffff83fc, 0xfffff060,
    491   0xffcd98d0, 0xffff8301, 0xfffff022, 0xfffffd2c,
    492   0xffcdff38, 0xfffff001, 0xfffffd08, 0xfffffe28,
    493   0xfff99980, 0xfffffd01, 0xfffffe06, 0xffffff24,
    494   0xfffffd00, 0xfffffe05, 0xffffff06, 0x00000020,
    495   0xfffffe00, 0xffffff03, 0x00000002, 0x0000011a,
    496   0xffffff00, 0x00000001, 0x000000fe, 0x00000214,
    497   0x00000000, 0x000000ff, 0x000001fa, 0x00000fc0,
    498   0x00000100, 0x000001fd, 0x00000fc2, 0x00007a32,
    499   0x00000200, 0x00000fe1, 0x00007b0e, 0x00007b2c,
    500   0x00001000, 0x00007c07, 0x00007c0a, 0x00007c26,
    501   0x00007d00, 0x00007d05, 0x00007d06, 0x0031ffee,
    502   0x00007e00, 0x00007e03, 0x00326636, 0x00535522,
    503   0x00007f00, 0x0032cc9b, 0x0053ffae, 0x007cfd32,
    504   0x00333300, 0x0054aa57, 0x007dfd0e, 0x007cfe2c,
    505   0x00555500, 0x007efd07, 0x007dfe0a, 0x007cff26,
    506   0x007ffd00, 0x007efe05, 0x007dff06, 0xff830020,
    507   0x007ffe00, 0x007eff03, 0xff820002, 0xff83011a,
    508   0x007fff00, 0xff810001, 0xff8200fe, 0xffacaa24,
    509   0xff800000, 0xff8100ff, 0xffabff5a, 0xffcdff58,
    510   0xff800100, 0xffab54ad, 0xffcd98d2, 0xffff8320,
    511   0xffaaaa00, 0xffcd3269, 0xffff8202, 0xffff841a,
    512   0xffcccc00, 0xffff8101, 0xffff82fe, 0xffff8514,
    513   0xffff8000, 0xffff81ff, 0xffff83fa, 0xffff860e,
    514   0xffff8100, 0xffff82fd, 0xffff84f6, 0xfffff080,
    515   0xffff8200, 0xffff83fb, 0xfffff042, 0xfffffd32,
    516   0xffff8300, 0xfffff021, 0xfffffd0e, 0xfffffe2c,
    517   0xfffff000, 0xfffffd07, 0xfffffe0a, 0xffffff26,
    518   0xfffffd06, 0xfffffe09, 0xffffff08, 0x00000020,
    519   0xfffffe04, 0xffffff05, 0x00000002, 0x00000040,
    520   0xffffff02, 0x00000001, 0x000000fc, 0x00000060,
    521   0x00000000, 0x000000fd, 0x000001f6, 0x00000220,
    522   0x000000fe, 0x000001f9, 0x00000fa2, 0x00000fc0,
    523   0x000001fc, 0x00000fc1, 0x00007a14, 0x00000fe0,
    524   0x00000fe0, 0x00007b0d, 0x00007b0e, 0x00001000,
    525   0x00007c06, 0x00007c09, 0x00007c08, 0x00066680,
    526   0x00007d04, 0x00007d05, 0x0031ffd0, 0x000aaac0,
    527   0x00007e02, 0x00326635, 0x00535504, 0x000fffc0,
    528   0x0032cc9a, 0x0053ffad, 0x007cfd14, 0x000fffe0,
    529   0x0054aa56, 0x007dfd0d, 0x007cfe0e, 0x00100000,
    530   0x007efd06, 0x007dfe09, 0x007cff08, 0xfff00020,
    531   0x007efe04, 0x007dff05, 0xff830002, 0xfff00040,
    532   0x007eff02, 0xff820001, 0xff8300fc, 0xfff55560,
    533   0xff810000, 0xff8200fd, 0xffacaa06, 0xfff999a0,
    534   0xff8100fe, 0xffabff59, 0xffcdff3a, 0xfffff020,
    535   0xffab54ac, 0xffcd98d1, 0xffff8302, 0xfffff040,
    536   0xffcd3268, 0xffff8201, 0xffff83fc, 0xfffff060,
    537   0xffff8100, 0xffff82fd, 0xffff84f6, 0xfffff080,
    538   0xffff81fe, 0xffff83f9, 0xffff85f0, 0xfffffe20,
    539   0xffff82fc, 0xffff84f5, 0xfffff062, 0xffffffc0,
    540   0xffff83fa, 0xfffff041, 0xfffffd14, 0xffffffe0,
    541   0xfffff020, 0xfffffd0d, 0xfffffe0e, 0x00000000,
    542   0xfffffd0c, 0xfffffe0d, 0xffffffe2, 0x00000020,
    543   0xfffffe08, 0xffffff07, 0x00000002, 0x00000026,
    544   0xffffff04, 0x00000001, 0x00000022, 0x0000002c,
    545   0x00000000, 0x000000fb, 0x00000042, 0x00000080,
    546   0x000000fc, 0x000001f5, 0x00000202, 0x0000030e,
    547   0x000001f8, 0x00000fa1, 0x00000fa2, 0x00000314,
    548   0x00000fc0, 0x00007a13, 0x00000fc2, 0x0000031a,
    549   0x00007b0c, 0x00007b0d, 0x00000fe2, 0x00013352,
    550   0x00007c08, 0x00007c07, 0x00066662, 0x0002001e,
    551   0x00007d04, 0x0031ffcf, 0x000aaaa2, 0x0003000e,
    552   0x00326634, 0x00535503, 0x000fffa2, 0x00030014,
    553   0x0053ffac, 0x007cfd13, 0x000fffc2, 0x0003001a,
    554   0x007dfd0c, 0x007cfe0d, 0x000fffe2, 0xfffd0020,
    555   0x007dfe08, 0x007cff07, 0xfff00002, 0xfffd0026,
    556   0x007dff04, 0xff830001, 0xfff00022, 0xfffe001c,
    557   0xff820000, 0xff8300fb, 0xfff55542, 0xfffecce8,
    558   0xff8200fc, 0xffacaa05, 0xfff99982, 0xfffffd20,
    559   0xffabff58, 0xffcdff39, 0xfffff002, 0xfffffd26,
    560   0xffcd98d0, 0xffff8301, 0xfffff022, 0xfffffd2c,
    561   0xffff8200, 0xffff83fb, 0xfffff042, 0xfffffd32,
    562   0xffff82fc, 0xffff84f5, 0xfffff062, 0xffffffc0,
    563   0xffff83f8, 0xffff85ef, 0xfffffe02, 0x0000000e,
    564   0xffff84f4, 0xfffff061, 0xffffffa2, 0x00000014,
    565   0xfffff040, 0xfffffd13, 0xffffffc2, 0x0000001a,
    566   0xfffffd12, 0xffffffc1, 0xfffffffc, 0x00000020,
    567   0xfffffe0c, 0xffffffe1, 0x00000002, 0x00000024,
    568   0xffffff06, 0x00000001, 0x00000008, 0x00000028,
    569   0x00000000, 0x00000021, 0x0000000e, 0x00000060,
    570   0x000000fa, 0x00000041, 0x00000062, 0x00000214,
    571   0x000001f4, 0x00000201, 0x000002f0, 0x00000218,
    572   0x00000fa0, 0x00000fa1, 0x000002f6, 0x0000021c,
    573   0x00007a12, 0x00000fc1, 0x000002fc, 0x0000ccec,
    574   0x00007b0c, 0x00000fe1, 0x00013334, 0x00015574,
    575   0x00007c06, 0x00066661, 0x00020000, 0x00020014,
    576   0x0031ffce, 0x000aaaa1, 0x0002fff0, 0x00020018,
    577   0x00535502, 0x000fffa1, 0x0002fff6, 0x0002001c,
    578   0x007cfd12, 0x000fffc1, 0x0002fffc, 0xfffe0020,
    579   0x007cfe0c, 0x000fffe1, 0xfffd0002, 0xfffe0024,
    580   0x007cff06, 0xfff00001, 0xfffd0008, 0xfffeaac8,
    581   0xff830000, 0xfff00021, 0xfffdfffe, 0xffff3350,
    582   0xff8300fa, 0xfff55541, 0xfffeccca, 0xfffffe20,
    583   0xffacaa04, 0xfff99981, 0xfffffd02, 0xfffffe24,
    584   0xffcdff38, 0xfffff001, 0xfffffd08, 0xfffffe28,
    585   0xffff8300, 0xfffff021, 0xfffffd0e, 0xfffffe2c,
    586   0xffff83fa, 0xfffff041, 0xfffffd14, 0xffffffe0,
    587   0xffff84f4, 0xfffff061, 0xffffffa2, 0x00000014,
    588   0xffff85ee, 0xfffffe01, 0xfffffff0, 0x00000018,
    589   0xfffff060, 0xffffffa1, 0xfffffff6, 0x0000001c,
    590   0xffffffa0, 0xfffffff5, 0xfffffffe, 0x00000020,
    591   0xffffffc0, 0xfffffffb, 0x00000002, 0x00000022,
    592   0xffffffe0, 0x00000001, 0x00000006, 0x00000024,
    593   0x00000000, 0x00000007, 0x0000000a, 0x00000040,
    594   0x00000020, 0x0000000d, 0x00000042, 0x0000011a,
    595   0x00000040, 0x00000061, 0x000001f6, 0x0000011c,
    596   0x00000200, 0x000002ef, 0x000001fa, 0x0000011e,
    597   0x00000fa0, 0x000002f5, 0x000001fe, 0x00006686,
    598   0x00000fc0, 0x000002fb, 0x0000ccce, 0x0000aaca,
    599   0x00000fe0, 0x00013333, 0x00015556, 0x0001001a,
    600   0x00066660, 0x0001ffff, 0x0001fff6, 0x0001001c,
    601   0x000aaaa0, 0x0002ffef, 0x0001fffa, 0x0001001e,
    602   0x000fffa0, 0x0002fff5, 0x0001fffe, 0xffff0020,
    603   0x000fffc0, 0x0002fffb, 0xfffe0002, 0xffff0022,
    604   0x000fffe0, 0xfffd0001, 0xfffe0006, 0xffff5574,
    605   0xfff00000, 0xfffd0007, 0xfffeaaaa, 0xffff99b8,
    606   0xfff00020, 0xfffdfffd, 0xffff3332, 0xffffff20,
    607   0xfff55540, 0xfffeccc9, 0xfffffe02, 0xffffff22,
    608   0xfff99980, 0xfffffd01, 0xfffffe06, 0xffffff24,
    609   0xfffff000, 0xfffffd07, 0xfffffe0a, 0xffffff26,
    610   0xfffff020, 0xfffffd0d, 0xfffffe0e, 0x00000000,
    611   0xfffff040, 0xfffffd13, 0xffffffc2, 0x0000001a,
    612   0xfffff060, 0xffffffa1, 0xfffffff6, 0x0000001c,
    613   0xfffffe00, 0xffffffef, 0xfffffffa, 0x0000001e,
    614 };
    615 const unsigned kExpectedCount_NEON_sqdmlsl2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SQDMLSL2_4S_TRACE_A64_H_
    618