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_UMLAL_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UMLAL_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_umlal_4S[] = {
     38   0x00003e04, 0x00003f02, 0x0a3d5c2b, 0x1c718e59,
     39   0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
     40   0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
     41   0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
     42   0x003efe86, 0x003f7f03, 0x19994ccf, 0x00000020,
     43   0x003eff04, 0x003f7f82, 0x00000002, 0x00005575,
     44   0x003eff82, 0x00000001, 0x00003335, 0x0000aaca,
     45   0x00000000, 0x00000080, 0x00006668, 0x00055570,
     46   0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
     47   0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
     48   0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
     49   0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
     50   0x00003e04, 0x00003f02, 0x0a3d5c2b, 0x1c718e59,
     51   0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
     52   0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
     53   0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
     54   0x003efe86, 0x003f7f03, 0x19994ccf, 0x2aaa8020,
     55   0x003eff04, 0x003f7f82, 0x19998002, 0x2aaad575,
     56   0x003eff82, 0x003f8001, 0x1999b335, 0x38e31c92,
     57   0x003f0000, 0x003f8080, 0x2221dde0, 0x4443bbdc,
     58   0x003f007e, 0x0054aa57, 0x28f570a6, 0x552a55a0,
     59   0x0053ffac, 0x00659935, 0x33196682, 0x552aaaf5,
     60   0x0064cc68, 0x007ec081, 0x331999b5, 0x552b004a,
     61   0x007dc100, 0x007ec100, 0x3319cce8, 0x552b559f,
     62   0x007ec0ff, 0x3319cce7, 0x552b5581, 0x7ff50050,
     63   0x007ec17e, 0x331a001a, 0x554faab2, 0x7ffb8029,
     64   0x007ec1fd, 0x332fccd1, 0x55540003, 0x7ffc0026,
     65   0x007ef810, 0x33326668, 0x55545558, 0x7ffc8023,
     66   0x007efe83, 0x3332999b, 0x5554aaad, 0x00000020,
     67   0x007eff02, 0x3332ccce, 0x00000002, 0x0000801d,
     68   0x007eff81, 0x00000001, 0x00005557, 0x0001001a,
     69   0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
     70   0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
     71   0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
     72   0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
     73   0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
     74   0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
     75   0x00003f01, 0x0a3d5c2a, 0x1c718e3b, 0x3ffd0029,
     76   0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
     77   0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
     78   0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x3ffe8020,
     79   0x003f7f02, 0x19994cce, 0x2aaa8002, 0x3fff001d,
     80   0x003f7f81, 0x19998001, 0x2aaad557, 0x55530022,
     81   0x003f8000, 0x1999b334, 0x38e31c74, 0x666399bc,
     82   0x003f807f, 0x2221dddf, 0x4443bbbe, 0x7fbd01a0,
     83   0x0054aa56, 0x28f570a5, 0x552a5582, 0x7fbd819d,
     84   0x00659934, 0x33196681, 0x552aaad7, 0x7fbe019a,
     85   0x007ec080, 0x331999b4, 0x552b002c, 0x7fbe8197,
     86   0x331999b3, 0x552b002b, 0x7fbe8179, 0x7ff60040,
     87   0x3319cce6, 0x552b5580, 0x7ff50032, 0x7ffc8026,
     88   0x331a0019, 0x554faab1, 0x7ffb800b, 0x7ffd0024,
     89   0x332fccd0, 0x55540002, 0x7ffc0008, 0x7ffd8022,
     90   0x33326667, 0x55545557, 0x7ffc8005, 0x00000020,
     91   0x3332999a, 0x5554aaac, 0x00000002, 0x0000801e,
     92   0x3332cccd, 0x00000001, 0x00007fff, 0x0001001c,
     93   0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
     94   0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
     95   0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
     96   0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
     97   0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
     98   0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
     99   0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
    100   0x0a3d5c29, 0x1c718e3a, 0x3ffd000b, 0x3ffe0024,
    101   0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
    102   0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x3fff0020,
    103   0x1999199a, 0x2aaa2aac, 0x3ffe8002, 0x3fff801e,
    104   0x19994ccd, 0x2aaa8001, 0x3ffeffff, 0x5553aacc,
    105   0x19998000, 0x2aaad556, 0x55530004, 0x66646688,
    106   0x1999b333, 0x38e31c73, 0x6663999e, 0x7fbe0120,
    107   0x2221ddde, 0x4443bbbd, 0x7fbd0182, 0x7fbe811e,
    108   0x28f570a4, 0x552a5581, 0x7fbd817f, 0x7fbf011c,
    109   0x33196680, 0x552aaad6, 0x7fbe017c, 0x7fbf811a,
    110   0x552aaad5, 0x7fbe017b, 0x7fbf80fc, 0x7ff70030,
    111   0x552b002a, 0x7fbe8178, 0x7ff60022, 0x7ffd8023,
    112   0x552b557f, 0x7ff50031, 0x7ffc8008, 0x7ffe0022,
    113   0x554faab0, 0x7ffb800a, 0x7ffd0006, 0x7ffe8021,
    114   0x55540001, 0x7ffc0007, 0x7ffd8004, 0x00000020,
    115   0x55545556, 0x7ffc8004, 0x00000002, 0x0000801f,
    116   0x5554aaab, 0x00000001, 0x00008000, 0x0001001e,
    117   0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
    118   0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
    119   0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
    120   0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
    121   0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
    122   0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
    123   0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
    124   0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
    125   0x1c718e39, 0x3ffd000a, 0x3ffe0006, 0x3fff0021,
    126   0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x3fff8020,
    127   0x2aa9d556, 0x3ffe0004, 0x3fff0002, 0x4000001f,
    128   0x2aaa2aab, 0x3ffe8001, 0x3fff8000, 0x55545576,
    129   0x2aaa8000, 0x3ffefffe, 0x5553aaae, 0x66653354,
    130   0x2aaad555, 0x55530003, 0x6664666a, 0x7fbf00a0,
    131   0x38e31c72, 0x6663999d, 0x7fbe0102, 0x7fbf809f,
    132   0x4443bbbc, 0x7fbd0181, 0x7fbe8100, 0x7fc0009e,
    133   0x552a5580, 0x7fbd817e, 0x7fbf00fe, 0x7fc0809d,
    134   0x7fbd817d, 0x7fbf00fd, 0x7fc0807f, 0x00000020,
    135   0x7fbe017a, 0x7fbf80fb, 0x7ff70012, 0x00000020,
    136   0x7fbe8177, 0x7ff60021, 0x7ffd8005, 0x00000020,
    137   0x7ff50030, 0x7ffc8007, 0x7ffe0004, 0x00000020,
    138   0x7ffb8009, 0x7ffd0005, 0x7ffe8003, 0x00000020,
    139   0x7ffc0006, 0x7ffd8003, 0x00000002, 0x00000020,
    140   0x7ffc8003, 0x00000001, 0x00008001, 0x00000020,
    141   0x00000000, 0x00007fff, 0x00010000, 0x00000020,
    142   0x00007ffd, 0x0000fffd, 0x0007fff2, 0x00000020,
    143   0x0000fffa, 0x0007ffe1, 0x003e7f85, 0x00000020,
    144   0x0007ffd0, 0x003e7f07, 0x003eff84, 0x00000020,
    145   0x003e7e89, 0x003eff05, 0x003f7f83, 0x00000020,
    146   0x003efe86, 0x003f7f03, 0x19994ccf, 0x00000020,
    147   0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x00000020,
    148   0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x00000020,
    149   0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x00000020,
    150   0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0x00000020,
    151   0x3ffd8006, 0x3ffe8003, 0x3fff8002, 0x00000020,
    152   0x3ffe0003, 0x3fff0001, 0x40000001, 0x00000020,
    153   0x3ffe8000, 0x3fff7fff, 0x55545558, 0x00000020,
    154   0x3ffefffd, 0x5553aaad, 0x66653336, 0x00000020,
    155   0x55530002, 0x66646669, 0x7fbf0082, 0x00000020,
    156   0x6663999c, 0x7fbe0101, 0x7fbf8081, 0x00000020,
    157   0x7fbd0180, 0x7fbe80ff, 0x7fc00080, 0x00000020,
    158   0x7fbe80fe, 0x7fc0007f, 0x00000002, 0x00010010,
    159   0x7fbf00fc, 0x7fc0807e, 0x00000002, 0x0001001d,
    160   0x7fbf80fa, 0x7ff70011, 0x00000002, 0x0001001e,
    161   0x7ff60020, 0x7ffd8004, 0x00000002, 0x0001001f,
    162   0x7ffc8006, 0x7ffe0003, 0x00000002, 0x00000020,
    163   0x7ffd0004, 0x7ffe8002, 0x00000002, 0x00000021,
    164   0x7ffd8002, 0x00000001, 0x00000002, 0x00000022,
    165   0x00000000, 0x00008000, 0x00000002, 0x00000030,
    166   0x00007ffe, 0x0000ffff, 0x00000002, 0x0000009d,
    167   0x0000fffc, 0x0007fff1, 0x00000002, 0x0000009e,
    168   0x0007ffe0, 0x003e7f84, 0x00000002, 0x0000009f,
    169   0x003e7f06, 0x003eff83, 0x00000002, 0x00003353,
    170   0x003eff04, 0x003f7f82, 0x00000002, 0x00005575,
    171   0x003f7f02, 0x19994cce, 0x00000002, 0x0000801d,
    172   0x1999199a, 0x2aaa2aac, 0x00000002, 0x0000801e,
    173   0x2aa9d556, 0x3ffe0004, 0x00000002, 0x0000801f,
    174   0x3ffd8006, 0x3ffe8003, 0x00000002, 0x00008020,
    175   0x3ffe0004, 0x3fff0002, 0x00000002, 0x00008021,
    176   0x3ffe8002, 0x3fff8001, 0x00000002, 0x0000aaca,
    177   0x3fff0000, 0x40000000, 0x00000002, 0x0000ccec,
    178   0x3fff7ffe, 0x55545557, 0x00000002, 0x0000ffa0,
    179   0x5553aaac, 0x66653335, 0x00000002, 0x0000ffa1,
    180   0x66646668, 0x7fbf0081, 0x00000002, 0x0000ffa2,
    181   0x7fbe0100, 0x7fbf8080, 0x00000002, 0x0000ffa3,
    182   0x7fbf807f, 0x00000001, 0x0000ff85, 0x00020000,
    183   0x7fc0007e, 0x00000001, 0x0000fff2, 0x0002001a,
    184   0x7fc0807d, 0x00000001, 0x0000ffff, 0x0002001c,
    185   0x7ff70010, 0x00000001, 0x00010000, 0x0002001e,
    186   0x7ffd8003, 0x00000001, 0x00010001, 0x00000020,
    187   0x7ffe0002, 0x00000001, 0x00000002, 0x00000022,
    188   0x7ffe8001, 0x00000001, 0x00000003, 0x00000024,
    189   0x00000000, 0x00000001, 0x00000004, 0x00000040,
    190   0x00007fff, 0x00000001, 0x00000012, 0x0000011a,
    191   0x0000fffe, 0x00000001, 0x0000007f, 0x0000011c,
    192   0x0007fff0, 0x00000001, 0x00000080, 0x0000011e,
    193   0x003e7f83, 0x00000001, 0x00000081, 0x00006686,
    194   0x003eff82, 0x00000001, 0x00003335, 0x0000aaca,
    195   0x003f7f81, 0x00000001, 0x00005557, 0x0001001a,
    196   0x19994ccd, 0x00000001, 0x00007fff, 0x0001001c,
    197   0x2aaa2aab, 0x00000001, 0x00008000, 0x0001001e,
    198   0x3ffe0003, 0x00000001, 0x00008001, 0x00010020,
    199   0x3ffe8002, 0x00000001, 0x00008002, 0x00010022,
    200   0x3fff0001, 0x00000001, 0x00008003, 0x00015574,
    201   0x3fff8000, 0x00000001, 0x0000aaac, 0x000199b8,
    202   0x3fffffff, 0x00000001, 0x0000ccce, 0x0001ff20,
    203   0x55545556, 0x00000001, 0x0000ff82, 0x0001ff22,
    204   0x66653334, 0x00000001, 0x0000ff83, 0x0001ff24,
    205   0x7fbf0080, 0x00000001, 0x0000ff84, 0x0001ff26,
    206   0x00000000, 0x0000ff83, 0x0001ff08, 0x000fff20,
    207   0x00000000, 0x0000ff84, 0x0001ffe2, 0x000ffff0,
    208   0x00000000, 0x0000fff1, 0x0001fffc, 0x00100000,
    209   0x00000000, 0x0000fffe, 0x0001fffe, 0x00100010,
    210   0x00000000, 0x0000ffff, 0x00020000, 0x00000020,
    211   0x00000000, 0x00010000, 0x00000002, 0x00000030,
    212   0x00000000, 0x00000001, 0x00000004, 0x00000040,
    213   0x00000000, 0x00000002, 0x00000006, 0x00000120,
    214   0x00000000, 0x00000003, 0x00000022, 0x000007f0,
    215   0x00000000, 0x00000011, 0x000000fc, 0x00000800,
    216   0x00000000, 0x0000007e, 0x000000fe, 0x00000810,
    217   0x00000000, 0x0000007f, 0x00000100, 0x00033350,
    218   0x00000000, 0x00000080, 0x00006668, 0x00055570,
    219   0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
    220   0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
    221   0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
    222   0x00000000, 0x00007fff, 0x00010000, 0x00080020,
    223   0x00000000, 0x00008000, 0x00010002, 0x00080030,
    224   0x00000000, 0x00008001, 0x00010004, 0x000aaac0,
    225   0x00000000, 0x00008002, 0x00015556, 0x000ccce0,
    226   0x00000000, 0x0000aaab, 0x0001999a, 0x000ff820,
    227   0x00000000, 0x0000cccd, 0x0001ff02, 0x000ff830,
    228   0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff840,
    229   0x00000000, 0x0000ff82, 0x0001ff06, 0x000ff850,
    230   0x0000ff81, 0x0001ff05, 0x000ff832, 0x007cf850,
    231   0x0000ff82, 0x0001ff07, 0x000fff02, 0x007cfea9,
    232   0x0000ff83, 0x0001ffe1, 0x000fffd2, 0x007cff26,
    233   0x0000fff0, 0x0001fffb, 0x000fffe2, 0x007cffa3,
    234   0x0000fffd, 0x0001fffd, 0x000ffff2, 0x00000020,
    235   0x0000fffe, 0x0001ffff, 0x00000002, 0x0000009d,
    236   0x0000ffff, 0x00000001, 0x00000012, 0x0000011a,
    237   0x00000000, 0x00000003, 0x00000022, 0x000007f0,
    238   0x00000001, 0x00000005, 0x00000102, 0x00003d29,
    239   0x00000002, 0x00000021, 0x000007d2, 0x00003da6,
    240   0x00000010, 0x000000fb, 0x000007e2, 0x00003e23,
    241   0x0000007d, 0x000000fd, 0x000007f2, 0x00190007,
    242   0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
    243   0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
    244   0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
    245   0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
    246   0x00007ffd, 0x0000fffd, 0x0007fff2, 0x003e8020,
    247   0x00007ffe, 0x0000ffff, 0x00080002, 0x003e809d,
    248   0x00007fff, 0x00010001, 0x00080012, 0x00535522,
    249   0x00008000, 0x00010003, 0x000aaaa2, 0x0063ffbc,
    250   0x00008001, 0x00015555, 0x000cccc2, 0x007cc1a0,
    251   0x0000aaaa, 0x00019999, 0x000ff802, 0x007cc21d,
    252   0x0000cccc, 0x0001ff01, 0x000ff812, 0x007cc29a,
    253   0x0000ff80, 0x0001ff03, 0x000ff822, 0x007cc317,
    254   0x0001ff02, 0x000ff821, 0x007cc2f9, 0x007df840,
    255   0x0001ff04, 0x000ff831, 0x007cf832, 0x007dfea6,
    256   0x0001ff06, 0x000fff01, 0x007cfe8b, 0x007dff24,
    257   0x0001ffe0, 0x000fffd1, 0x007cff08, 0x007dffa2,
    258   0x0001fffa, 0x000fffe1, 0x007cff85, 0x00000020,
    259   0x0001fffc, 0x000ffff1, 0x00000002, 0x0000009e,
    260   0x0001fffe, 0x00000001, 0x0000007f, 0x0000011c,
    261   0x00000000, 0x00000011, 0x000000fc, 0x00000800,
    262   0x00000002, 0x00000021, 0x000007d2, 0x00003da6,
    263   0x00000004, 0x00000101, 0x00003d0b, 0x00003e24,
    264   0x00000020, 0x000007d1, 0x00003d88, 0x00003ea2,
    265   0x000000fa, 0x000007e1, 0x00003e05, 0x0019333a,
    266   0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
    267   0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
    268   0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
    269   0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
    270   0x0000fffa, 0x0007ffe1, 0x003e7f85, 0x003f0020,
    271   0x0000fffc, 0x0007fff1, 0x003e8002, 0x003f009e,
    272   0x0000fffe, 0x00080001, 0x003e807f, 0x0053ffcc,
    273   0x00010000, 0x00080011, 0x00535504, 0x0064cc88,
    274   0x00010002, 0x000aaaa1, 0x0063ff9e, 0x007dc120,
    275   0x00015554, 0x000cccc1, 0x007cc182, 0x007dc19e,
    276   0x00019998, 0x000ff801, 0x007cc1ff, 0x007dc21c,
    277   0x0001ff00, 0x000ff811, 0x007cc27c, 0x007dc29a,
    278   0x000ff810, 0x007cc27b, 0x007dc27c, 0x007ef830,
    279   0x000ff820, 0x007cc2f8, 0x007df822, 0x007efea3,
    280   0x000ff830, 0x007cf831, 0x007dfe88, 0x007eff22,
    281   0x000fff00, 0x007cfe8a, 0x007dff06, 0x007effa1,
    282   0x000fffd0, 0x007cff07, 0x007dff84, 0x00000020,
    283   0x000fffe0, 0x007cff84, 0x00000002, 0x0000009f,
    284   0x000ffff0, 0x00000001, 0x00000080, 0x0000011e,
    285   0x00000000, 0x0000007e, 0x000000fe, 0x00000810,
    286   0x00000010, 0x000000fb, 0x000007e2, 0x00003e23,
    287   0x00000020, 0x000007d1, 0x00003d88, 0x00003ea2,
    288   0x00000100, 0x00003d0a, 0x00003e06, 0x00003f21,
    289   0x000007d0, 0x00003d87, 0x00003e84, 0x0019666d,
    290   0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
    291   0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
    292   0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
    293   0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
    294   0x0007ffd0, 0x003e7f07, 0x003eff84, 0x003f8020,
    295   0x0007ffe0, 0x003e7f84, 0x003f0002, 0x003f809f,
    296   0x0007fff0, 0x003e8001, 0x003f0080, 0x0054aa76,
    297   0x00080000, 0x003e807e, 0x0053ffae, 0x00659954,
    298   0x00080010, 0x00535503, 0x0064cc6a, 0x007ec0a0,
    299   0x000aaaa0, 0x0063ff9d, 0x007dc102, 0x007ec11f,
    300   0x000cccc0, 0x007cc181, 0x007dc180, 0x007ec19e,
    301   0x000ff800, 0x007cc1fe, 0x007dc1fe, 0x007ec21d,
    302   0x007cc1fd, 0x007dc1fd, 0x007ec1ff, 0x332fccf0,
    303   0x007cc27a, 0x007dc27b, 0x007ef812, 0x33326687,
    304   0x007cc2f7, 0x007df821, 0x007efe85, 0x333299ba,
    305   0x007cf830, 0x007dfe87, 0x007eff04, 0x3332cced,
    306   0x007cfe89, 0x007dff05, 0x007eff83, 0x00000020,
    307   0x007cff06, 0x007dff83, 0x00000002, 0x00003353,
    308   0x007cff83, 0x00000001, 0x00000081, 0x00006686,
    309   0x00000000, 0x0000007f, 0x00000100, 0x00033350,
    310   0x0000007d, 0x000000fd, 0x000007f2, 0x00190007,
    311   0x000000fa, 0x000007e1, 0x00003e05, 0x0019333a,
    312   0x000007d0, 0x00003d87, 0x00003e84, 0x0019666d,
    313   0x00003d09, 0x00003e05, 0x00003f03, 0x0a3d5c49,
    314   0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
    315   0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
    316   0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
    317   0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
    318   0x003e7e89, 0x003eff05, 0x003f7f83, 0x19998020,
    319   0x003e7f06, 0x003eff83, 0x003f8002, 0x1999b353,
    320   0x003e7f83, 0x003f0001, 0x003f8081, 0x2221ddfe,
    321   0x003e8000, 0x003f007f, 0x0054aa58, 0x28f570c4,
    322   0x003e807d, 0x0053ffad, 0x00659936, 0x331966a0,
    323   0x00535502, 0x0064cc69, 0x007ec082, 0x331999d3,
    324   0x0063ff9c, 0x007dc101, 0x007ec101, 0x3319cd06,
    325   0x007cc180, 0x007dc17f, 0x007ec180, 0x331a0039,
    326   0x007dc17e, 0x007ec17f, 0x331a001b, 0x554faad0,
    327   0x007dc1fc, 0x007ec1fe, 0x332fccd2, 0x55540021,
    328   0x007dc27a, 0x007ef811, 0x33326669, 0x55545576,
    329   0x007df820, 0x007efe84, 0x3332999c, 0x5554aacb,
    330   0x007dfe86, 0x007eff03, 0x3332cccf, 0x00000020,
    331   0x007dff04, 0x007eff82, 0x00000002, 0x00005575,
    332   0x007dff82, 0x00000001, 0x00003335, 0x0000aaca,
    333   0x00000000, 0x00000080, 0x00006668, 0x00055570,
    334   0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
    335   0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
    336   0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
    337   0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
    338   0x00003e04, 0x00003f02, 0x0a3d5c2b, 0x1c718e59,
    339   0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
    340   0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
    341   0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
    342   0x003efe86, 0x003f7f03, 0x19994ccf, 0x2aaa8020,
    343   0x003eff04, 0x003f7f82, 0x19998002, 0x2aaad575,
    344   0x003eff82, 0x003f8001, 0x1999b335, 0x38e31c92,
    345   0x003f0000, 0x003f8080, 0x2221dde0, 0x4443bbdc,
    346   0x003f007e, 0x0054aa57, 0x28f570a6, 0x552a55a0,
    347   0x0053ffac, 0x00659935, 0x33196682, 0x552aaaf5,
    348   0x0064cc68, 0x007ec081, 0x331999b5, 0x552b004a,
    349   0x007dc100, 0x007ec100, 0x3319cce8, 0x552b559f,
    350   0x007ec0ff, 0x3319cce7, 0x552b5581, 0x7ff50050,
    351   0x007ec17e, 0x331a001a, 0x554faab2, 0x7ffb8029,
    352   0x007ec1fd, 0x332fccd1, 0x55540003, 0x7ffc0026,
    353   0x007ef810, 0x33326668, 0x55545558, 0x7ffc8023,
    354   0x007efe83, 0x3332999b, 0x5554aaad, 0x00000020,
    355   0x007eff02, 0x3332ccce, 0x00000002, 0x0000801d,
    356   0x007eff81, 0x00000001, 0x00005557, 0x0001001a,
    357   0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
    358   0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
    359   0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
    360   0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
    361   0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
    362   0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
    363   0x00003f01, 0x0a3d5c2a, 0x1c718e3b, 0x3ffd0029,
    364   0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
    365   0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
    366   0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x3ffe8020,
    367   0x003f7f02, 0x19994cce, 0x2aaa8002, 0x3fff001d,
    368   0x003f7f81, 0x19998001, 0x2aaad557, 0x55530022,
    369   0x003f8000, 0x1999b334, 0x38e31c74, 0x666399bc,
    370   0x003f807f, 0x2221dddf, 0x4443bbbe, 0x7fbd01a0,
    371   0x0054aa56, 0x28f570a5, 0x552a5582, 0x7fbd819d,
    372   0x00659934, 0x33196681, 0x552aaad7, 0x7fbe019a,
    373   0x007ec080, 0x331999b4, 0x552b002c, 0x7fbe8197,
    374   0x331999b3, 0x552b002b, 0x7fbe8179, 0x7ff60040,
    375   0x3319cce6, 0x552b5580, 0x7ff50032, 0x7ffc8026,
    376   0x331a0019, 0x554faab1, 0x7ffb800b, 0x7ffd0024,
    377   0x332fccd0, 0x55540002, 0x7ffc0008, 0x7ffd8022,
    378   0x33326667, 0x55545557, 0x7ffc8005, 0x00000020,
    379   0x3332999a, 0x5554aaac, 0x00000002, 0x0000801e,
    380   0x3332cccd, 0x00000001, 0x00007fff, 0x0001001c,
    381   0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
    382   0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
    383   0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
    384   0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
    385   0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
    386   0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
    387   0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
    388   0x0a3d5c29, 0x1c718e3a, 0x3ffd000b, 0x3ffe0024,
    389   0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
    390   0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x3fff0020,
    391   0x1999199a, 0x2aaa2aac, 0x3ffe8002, 0x3fff801e,
    392   0x19994ccd, 0x2aaa8001, 0x3ffeffff, 0x5553aacc,
    393   0x19998000, 0x2aaad556, 0x55530004, 0x66646688,
    394   0x1999b333, 0x38e31c73, 0x6663999e, 0x7fbe0120,
    395   0x2221ddde, 0x4443bbbd, 0x7fbd0182, 0x7fbe811e,
    396   0x28f570a4, 0x552a5581, 0x7fbd817f, 0x7fbf011c,
    397   0x33196680, 0x552aaad6, 0x7fbe017c, 0x7fbf811a,
    398   0x552aaad5, 0x7fbe017b, 0x7fbf80fc, 0x7ff70030,
    399   0x552b002a, 0x7fbe8178, 0x7ff60022, 0x7ffd8023,
    400   0x552b557f, 0x7ff50031, 0x7ffc8008, 0x7ffe0022,
    401   0x554faab0, 0x7ffb800a, 0x7ffd0006, 0x7ffe8021,
    402   0x55540001, 0x7ffc0007, 0x7ffd8004, 0x00000020,
    403   0x55545556, 0x7ffc8004, 0x00000002, 0x0000801f,
    404   0x5554aaab, 0x00000001, 0x00008000, 0x0001001e,
    405   0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
    406   0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
    407   0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
    408   0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
    409   0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
    410   0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
    411   0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
    412   0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
    413   0x1c718e39, 0x3ffd000a, 0x3ffe0006, 0x3fff0021,
    414   0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x3fff8020,
    415   0x2aa9d556, 0x3ffe0004, 0x3fff0002, 0x4000001f,
    416   0x2aaa2aab, 0x3ffe8001, 0x3fff8000, 0x55545576,
    417   0x2aaa8000, 0x3ffefffe, 0x5553aaae, 0x66653354,
    418   0x2aaad555, 0x55530003, 0x6664666a, 0x7fbf00a0,
    419   0x38e31c72, 0x6663999d, 0x7fbe0102, 0x7fbf809f,
    420   0x4443bbbc, 0x7fbd0181, 0x7fbe8100, 0x7fc0009e,
    421   0x552a5580, 0x7fbd817e, 0x7fbf00fe, 0x7fc0809d,
    422   0x7fbd817d, 0x7fbf00fd, 0x7fc0807f, 0x7ff80020,
    423   0x7fbe017a, 0x7fbf80fb, 0x7ff70012, 0x7ffe8020,
    424   0x7fbe8177, 0x7ff60021, 0x7ffd8005, 0x7fff0020,
    425   0x7ff50030, 0x7ffc8007, 0x7ffe0004, 0x7fff8020,
    426   0x7ffb8009, 0x7ffd0005, 0x7ffe8003, 0x00000020,
    427   0x7ffc0006, 0x7ffd8003, 0x00000002, 0x00008020,
    428   0x7ffc8003, 0x00000001, 0x00008001, 0x00010020,
    429   0x00000000, 0x00007fff, 0x00010000, 0x00080020,
    430   0x00007ffd, 0x0000fffd, 0x0007fff2, 0x003e8020,
    431   0x0000fffa, 0x0007ffe1, 0x003e7f85, 0x003f0020,
    432   0x0007ffd0, 0x003e7f07, 0x003eff84, 0x003f8020,
    433   0x003e7e89, 0x003eff05, 0x003f7f83, 0x19998020,
    434   0x003efe86, 0x003f7f03, 0x19994ccf, 0x2aaa8020,
    435   0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x3ffe8020,
    436   0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x3fff0020,
    437   0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x3fff8020,
    438   0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0x40000020,
    439   0x3ffd8006, 0x3ffe8003, 0x3fff8002, 0x40008020,
    440   0x3ffe0003, 0x3fff0001, 0x40000001, 0x55550020,
    441   0x3ffe8000, 0x3fff7fff, 0x55545558, 0x66660020,
    442   0x3ffefffd, 0x5553aaad, 0x66653336, 0x7fc00020,
    443   0x55530002, 0x66646669, 0x7fbf0082, 0x7fc08020,
    444   0x6663999c, 0x7fbe0101, 0x7fbf8081, 0x7fc10020,
    445   0x7fbd0180, 0x7fbe80ff, 0x7fc00080, 0x7fc18020,
    446   0x7fbe80fe, 0x7fc0007f, 0x7fc18002, 0x7ff90010,
    447   0x7fbf00fc, 0x7fc0807e, 0x7ff80002, 0x7fff801d,
    448   0x7fbf80fa, 0x7ff70011, 0x7ffe8002, 0x8000001e,
    449   0x7ff60020, 0x7ffd8004, 0x7fff0002, 0x8000801f,
    450   0x7ffc8006, 0x7ffe0003, 0x7fff8002, 0x00000020,
    451   0x7ffd0004, 0x7ffe8002, 0x00000002, 0x00008021,
    452   0x7ffd8002, 0x00000001, 0x00008002, 0x00010022,
    453   0x00000000, 0x00008000, 0x00010002, 0x00080030,
    454   0x00007ffe, 0x0000ffff, 0x00080002, 0x003e809d,
    455   0x0000fffc, 0x0007fff1, 0x003e8002, 0x003f009e,
    456   0x0007ffe0, 0x003e7f84, 0x003f0002, 0x003f809f,
    457   0x003e7f06, 0x003eff83, 0x003f8002, 0x1999b353,
    458   0x003eff04, 0x003f7f82, 0x19998002, 0x2aaad575,
    459   0x003f7f02, 0x19994cce, 0x2aaa8002, 0x3fff001d,
    460   0x1999199a, 0x2aaa2aac, 0x3ffe8002, 0x3fff801e,
    461   0x2aa9d556, 0x3ffe0004, 0x3fff0002, 0x4000001f,
    462   0x3ffd8006, 0x3ffe8003, 0x3fff8002, 0x40008020,
    463   0x3ffe0004, 0x3fff0002, 0x40000002, 0x40010021,
    464   0x3ffe8002, 0x3fff8001, 0x40008002, 0x5555aaca,
    465   0x3fff0000, 0x40000000, 0x55550002, 0x6666ccec,
    466   0x3fff7ffe, 0x55545557, 0x66660002, 0x7fc0ffa0,
    467   0x5553aaac, 0x66653335, 0x7fc00002, 0x7fc17fa1,
    468   0x66646668, 0x7fbf0081, 0x7fc08002, 0x7fc1ffa2,
    469   0x7fbe0100, 0x7fbf8080, 0x7fc10002, 0x7fc27fa3,
    470   0x7fbf807f, 0x7fc10001, 0x7fc27f85, 0xaa9f5580,
    471   0x7fc0007e, 0x7fc18001, 0x7ff8fff2, 0xaaa80022,
    472   0x7fc0807d, 0x7ff80001, 0x7fff7fff, 0xaaa8aacc,
    473   0x7ff70010, 0x7ffe8001, 0x80000000, 0xaaa95576,
    474   0x7ffd8003, 0x7fff0001, 0x80008001, 0x00000020,
    475   0x7ffe0002, 0x7fff8001, 0x00000002, 0x0000aaca,
    476   0x7ffe8001, 0x00000001, 0x00008003, 0x00015574,
    477   0x00000000, 0x00008001, 0x00010004, 0x000aaac0,
    478   0x00007fff, 0x00010001, 0x00080012, 0x00535522,
    479   0x0000fffe, 0x00080001, 0x003e807f, 0x0053ffcc,
    480   0x0007fff0, 0x003e8001, 0x003f0080, 0x0054aa76,
    481   0x003e7f83, 0x003f0001, 0x003f8081, 0x2221ddfe,
    482   0x003eff82, 0x003f8001, 0x1999b335, 0x38e31c92,
    483   0x003f7f81, 0x19998001, 0x2aaad557, 0x55530022,
    484   0x19994ccd, 0x2aaa8001, 0x3ffeffff, 0x5553aacc,
    485   0x2aaa2aab, 0x3ffe8001, 0x3fff8000, 0x55545576,
    486   0x3ffe0003, 0x3fff0001, 0x40000001, 0x55550020,
    487   0x3ffe8002, 0x3fff8001, 0x40008002, 0x5555aaca,
    488   0x3fff0001, 0x40000001, 0x40010003, 0x71c63904,
    489   0x3fff8000, 0x40008001, 0x5555aaac, 0x88877798,
    490   0x3fffffff, 0x55550001, 0x6666ccce, 0xaa54ab20,
    491   0x55545556, 0x66660001, 0x7fc0ff82, 0xaa5555ca,
    492   0x66653334, 0x7fc00001, 0x7fc17f83, 0xaa560074,
    493   0x7fbf0080, 0x7fc08001, 0x7fc1ff84, 0xaa56ab1e,
    494   0x7fc08000, 0x7fc1ff83, 0xaa56ab00, 0xccbf3360,
    495   0x7fc10000, 0x7fc27f84, 0xaa9f5562, 0xccc999bc,
    496   0x7fc18000, 0x7ff8fff1, 0xaaa80004, 0xccca6688,
    497   0x7ff80000, 0x7fff7ffe, 0xaaa8aaae, 0xcccb3354,
    498   0x7ffe8000, 0x7fffffff, 0xaaa95558, 0x00000020,
    499   0x7fff0000, 0x80008000, 0x00000002, 0x0000ccec,
    500   0x7fff8000, 0x00000001, 0x0000aaac, 0x000199b8,
    501   0x00000000, 0x00008002, 0x00015556, 0x000ccce0,
    502   0x00008000, 0x00010003, 0x000aaaa2, 0x0063ffbc,
    503   0x00010000, 0x00080011, 0x00535504, 0x0064cc88,
    504   0x00080000, 0x003e807e, 0x0053ffae, 0x00659954,
    505   0x003e8000, 0x003f007f, 0x0054aa58, 0x28f570c4,
    506   0x003f0000, 0x003f8080, 0x2221dde0, 0x4443bbdc,
    507   0x003f8000, 0x1999b334, 0x38e31c74, 0x666399bc,
    508   0x19998000, 0x2aaad556, 0x55530004, 0x66646688,
    509   0x2aaa8000, 0x3ffefffe, 0x5553aaae, 0x66653354,
    510   0x3ffe8000, 0x3fff7fff, 0x55545558, 0x66660020,
    511   0x3fff0000, 0x40000000, 0x55550002, 0x6666ccec,
    512   0x3fff8000, 0x40008001, 0x5555aaac, 0x88877798,
    513   0x40000000, 0x40010002, 0x71c638e6, 0xa3d5c2b0,
    514   0x40008000, 0x5555aaab, 0x8887777a, 0xcc659a20,
    515   0x55550000, 0x6666cccd, 0xaa54ab02, 0xcc6666ec,
    516   0x66660000, 0x7fc0ff81, 0xaa5555ac, 0xcc6733b8,
    517   0x7fc00000, 0x7fc17f82, 0xaa560056, 0xcc680084,
    518   0x7fc17f81, 0xaa560055, 0xcc680066, 0xff700820,
    519   0x7fc1ff82, 0xaa56aaff, 0xccbf3342, 0xff7d01a0,
    520   0x7fc27f83, 0xaa9f5561, 0xccc9999e, 0xff7e0120,
    521   0x7ff8fff0, 0xaaa80003, 0xccca666a, 0xff7f00a0,
    522   0x7fff7ffd, 0xaaa8aaad, 0xcccb3336, 0x00000020,
    523   0x7ffffffe, 0xaaa95557, 0x00000002, 0x0000ffa0,
    524   0x80007fff, 0x00000001, 0x0000ccce, 0x0001ff20,
    525   0x00000000, 0x0000aaab, 0x0001999a, 0x000ff820,
    526   0x00008001, 0x00015555, 0x000cccc2, 0x007cc1a0,
    527   0x00010002, 0x000aaaa1, 0x0063ff9e, 0x007dc120,
    528   0x00080010, 0x00535503, 0x0064cc6a, 0x007ec0a0,
    529   0x003e807d, 0x0053ffad, 0x00659936, 0x331966a0,
    530   0x003f007e, 0x0054aa57, 0x28f570a6, 0x552a55a0,
    531   0x003f807f, 0x2221dddf, 0x4443bbbe, 0x7fbd01a0,
    532   0x1999b333, 0x38e31c73, 0x6663999e, 0x7fbe0120,
    533   0x2aaad555, 0x55530003, 0x6664666a, 0x7fbf00a0,
    534   0x3ffefffd, 0x5553aaad, 0x66653336, 0x7fc00020,
    535   0x3fff7ffe, 0x55545557, 0x66660002, 0x7fc0ffa0,
    536   0x3fffffff, 0x55550001, 0x6666ccce, 0xaa54ab20,
    537   0x40008000, 0x5555aaab, 0x8887777a, 0xcc659a20,
    538   0x40010001, 0x71c638e5, 0xa3d5c292, 0xff004020,
    539   0x5555aaaa, 0x88877779, 0xcc659a02, 0xff013fa0,
    540   0x6666cccc, 0xaa54ab01, 0xcc6666ce, 0xff023f20,
    541   0x7fc0ff80, 0xaa5555ab, 0xcc67339a, 0xff033ea0,
    542   0xaa5555aa, 0xcc673399, 0xff033e82, 0xff710810,
    543   0xaa560054, 0xcc680065, 0xff700802, 0xff7e019d,
    544   0xaa56aafe, 0xccbf3341, 0xff7d0182, 0xff7f011e,
    545   0xaa9f5560, 0xccc9999d, 0xff7e0102, 0xff80009f,
    546   0xaaa80002, 0xccca6669, 0xff7f0082, 0x00000020,
    547   0xaaa8aaac, 0xcccb3335, 0x00000002, 0x0000ffa1,
    548   0xaaa95556, 0x00000001, 0x0000ff82, 0x0001ff22,
    549   0x00000000, 0x0000cccd, 0x0001ff02, 0x000ff830,
    550   0x0000aaaa, 0x00019999, 0x000ff802, 0x007cc21d,
    551   0x00015554, 0x000cccc1, 0x007cc182, 0x007dc19e,
    552   0x000aaaa0, 0x0063ff9d, 0x007dc102, 0x007ec11f,
    553   0x00535502, 0x0064cc69, 0x007ec082, 0x331999d3,
    554   0x0053ffac, 0x00659935, 0x33196682, 0x552aaaf5,
    555   0x0054aa56, 0x28f570a5, 0x552a5582, 0x7fbd819d,
    556   0x2221ddde, 0x4443bbbd, 0x7fbd0182, 0x7fbe811e,
    557   0x38e31c72, 0x6663999d, 0x7fbe0102, 0x7fbf809f,
    558   0x55530002, 0x66646669, 0x7fbf0082, 0x7fc08020,
    559   0x5553aaac, 0x66653335, 0x7fc00002, 0x7fc17fa1,
    560   0x55545556, 0x66660001, 0x7fc0ff82, 0xaa5555ca,
    561   0x55550000, 0x6666cccd, 0xaa54ab02, 0xcc6666ec,
    562   0x5555aaaa, 0x88877779, 0xcc659a02, 0xff013fa0,
    563   0x71c638e4, 0xa3d5c291, 0xff004002, 0xff023f21,
    564   0x88877778, 0xcc659a01, 0xff013f82, 0xff033ea2,
    565   0xaa54ab00, 0xcc6666cd, 0xff023f02, 0xff043e23,
    566   0xcc6666cc, 0xff023f01, 0xff043e05, 0xff720800,
    567   0xcc673398, 0xff033e81, 0xff7107f2, 0xff7f019a,
    568   0xcc680064, 0xff700801, 0xff7e017f, 0xff80011c,
    569   0xccbf3340, 0xff7d0181, 0xff7f0100, 0xff81009e,
    570   0xccc9999c, 0xff7e0101, 0xff800081, 0x00000020,
    571   0xccca6668, 0xff7f0081, 0x00000002, 0x0000ffa2,
    572   0xcccb3334, 0x00000001, 0x0000ff83, 0x0001ff24,
    573   0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff840,
    574   0x0000cccc, 0x0001ff01, 0x000ff812, 0x007cc29a,
    575   0x00019998, 0x000ff801, 0x007cc1ff, 0x007dc21c,
    576   0x000cccc0, 0x007cc181, 0x007dc180, 0x007ec19e,
    577   0x0063ff9c, 0x007dc101, 0x007ec101, 0x3319cd06,
    578   0x0064cc68, 0x007ec081, 0x331999b5, 0x552b004a,
    579   0x00659934, 0x33196681, 0x552aaad7, 0x7fbe019a,
    580   0x28f570a4, 0x552a5581, 0x7fbd817f, 0x7fbf011c,
    581   0x4443bbbc, 0x7fbd0181, 0x7fbe8100, 0x7fc0009e,
    582   0x6663999c, 0x7fbe0101, 0x7fbf8081, 0x7fc10020,
    583   0x66646668, 0x7fbf0081, 0x7fc08002, 0x7fc1ffa2,
    584   0x66653334, 0x7fc00001, 0x7fc17f83, 0xaa560074,
    585   0x66660000, 0x7fc0ff81, 0xaa5555ac, 0xcc6733b8,
    586   0x6666cccc, 0xaa54ab01, 0xcc6666ce, 0xff023f20,
    587   0x88877778, 0xcc659a01, 0xff013f82, 0xff033ea2,
    588   0xa3d5c290, 0xff004001, 0xff023f03, 0xff043e24,
    589   0xcc659a00, 0xff013f81, 0xff033e84, 0xff053da6,
    590   0xff013f80, 0xff033e83, 0xff053d88, 0xff7307f0,
    591   0xff023f00, 0xff043e04, 0xff7207e2, 0xff800197,
    592   0xff033e80, 0xff7107f1, 0xff7f017c, 0xff81011a,
    593   0xff700800, 0xff7e017e, 0xff8000fe, 0xff82009d,
    594   0xff7d0180, 0xff7f00ff, 0xff810080, 0x00000020,
    595   0xff7e0100, 0xff800080, 0x00000002, 0x0000ffa3,
    596   0xff7f0080, 0x00000001, 0x0000ff84, 0x0001ff26,
    597   0x00000000, 0x0000ff82, 0x0001ff06, 0x000ff850,
    598   0x0000ff80, 0x0001ff03, 0x000ff822, 0x007cc317,
    599   0x0001ff00, 0x000ff811, 0x007cc27c, 0x007dc29a,
    600   0x000ff800, 0x007cc1fe, 0x007dc1fe, 0x007ec21d,
    601   0x007cc180, 0x007dc17f, 0x007ec180, 0x331a0039,
    602   0x007dc100, 0x007ec100, 0x3319cce8, 0x552b559f,
    603   0x007ec080, 0x331999b4, 0x552b002c, 0x7fbe8197,
    604   0x33196680, 0x552aaad6, 0x7fbe017c, 0x7fbf811a,
    605   0x552a5580, 0x7fbd817e, 0x7fbf00fe, 0x7fc0809d,
    606   0x7fbd0180, 0x7fbe80ff, 0x7fc00080, 0x7fc18020,
    607   0x7fbe0100, 0x7fbf8080, 0x7fc10002, 0x7fc27fa3,
    608   0x7fbf0080, 0x7fc08001, 0x7fc1ff84, 0xaa56ab1e,
    609   0x7fc00000, 0x7fc17f82, 0xaa560056, 0xcc680084,
    610   0x7fc0ff80, 0xaa5555ab, 0xcc67339a, 0xff033ea0,
    611   0xaa54ab00, 0xcc6666cd, 0xff023f02, 0xff043e23,
    612   0xcc659a00, 0xff013f81, 0xff033e84, 0xff053da6,
    613   0xff004000, 0xff023f02, 0xff043e06, 0xff063d29,
    614 };
    615 const unsigned kExpectedCount_NEON_umlal_4S = 576;
    616 
    617 #endif  // VIXL_SIM_UMLAL_4S_TRACE_A64_H_
    618