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_UMULL2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UMULL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_umull2_4S[] = {
     38   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000,
     39   0x3ffd8006, 0x3ffe8002, 0x00000000, 0x00000000,
     40   0x3ffe0003, 0x00000000, 0x00007fff, 0x00000000,
     41   0x00000000, 0x00007ffe, 0x0000fffe, 0x00000000,
     42   0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00000000,
     43   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x00000000,
     44   0x0007ffd0, 0x003e7f06, 0x003eff82, 0x00000000,
     45   0x003e7e89, 0x003eff04, 0x003f7f81, 0x00000000,
     46   0x003efe86, 0x003f7f02, 0x19994ccd, 0x00000000,
     47   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x00000000,
     48   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x00000000,
     49   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x00000000,
     50   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000,
     51   0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x00000000,
     52   0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x00000000,
     53   0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x00000000,
     54   0x3ffefffd, 0x5553aaac, 0x66653334, 0x00000000,
     55   0x55530002, 0x66646668, 0x7fbf0080, 0x00000000,
     56   0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x00000000,
     57   0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x00000000,
     58   0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x00000000,
     59   0x7fbe017a, 0x7fbf80fa, 0x7ff70010, 0x00000000,
     60   0x7fbe8177, 0x7ff60020, 0x7ffd8003, 0x00000000,
     61   0x7ff50030, 0x7ffc8006, 0x7ffe0002, 0x00000000,
     62   0x7ffc8006, 0x7ffe0002, 0x00000000, 0x00000000,
     63   0x7ffd0004, 0x7ffe8001, 0x00000000, 0x00000001,
     64   0x7ffd8002, 0x00000000, 0x00000000, 0x00000002,
     65   0x00000000, 0x00007fff, 0x00000000, 0x00000010,
     66   0x00007ffe, 0x0000fffe, 0x00000000, 0x0000007d,
     67   0x0000fffc, 0x0007fff0, 0x00000000, 0x0000007e,
     68   0x0007ffe0, 0x003e7f83, 0x00000000, 0x0000007f,
     69   0x003e7f06, 0x003eff82, 0x00000000, 0x00003333,
     70   0x003eff04, 0x003f7f81, 0x00000000, 0x00005555,
     71   0x003f7f02, 0x19994ccd, 0x00000000, 0x00007ffd,
     72   0x1999199a, 0x2aaa2aab, 0x00000000, 0x00007ffe,
     73   0x2aa9d556, 0x3ffe0003, 0x00000000, 0x00007fff,
     74   0x3ffd8006, 0x3ffe8002, 0x00000000, 0x00008000,
     75   0x3ffe0004, 0x3fff0001, 0x00000000, 0x00008001,
     76   0x3ffe8002, 0x3fff8000, 0x00000000, 0x0000aaaa,
     77   0x3fff0000, 0x3fffffff, 0x00000000, 0x0000cccc,
     78   0x3fff7ffe, 0x55545556, 0x00000000, 0x0000ff80,
     79   0x5553aaac, 0x66653334, 0x00000000, 0x0000ff81,
     80   0x66646668, 0x7fbf0080, 0x00000000, 0x0000ff82,
     81   0x7fbe0100, 0x7fbf807f, 0x00000000, 0x0000ff83,
     82   0x7fbe80fe, 0x7fc0007e, 0x00000000, 0x0000fff0,
     83   0x7fbf00fc, 0x7fc0807d, 0x00000000, 0x0000fffd,
     84   0x7fbf80fa, 0x7ff70010, 0x00000000, 0x0000fffe,
     85   0x7ff60020, 0x7ffd8003, 0x00000000, 0x0000ffff,
     86   0x7ffd8003, 0x00000000, 0x0000ffff, 0x00000000,
     87   0x7ffe0002, 0x00000000, 0x00000000, 0x00000002,
     88   0x7ffe8001, 0x00000000, 0x00000001, 0x00000004,
     89   0x00000000, 0x00000000, 0x00000002, 0x00000020,
     90   0x00007fff, 0x00000000, 0x00000010, 0x000000fa,
     91   0x0000fffe, 0x00000000, 0x0000007d, 0x000000fc,
     92   0x0007fff0, 0x00000000, 0x0000007e, 0x000000fe,
     93   0x003e7f83, 0x00000000, 0x0000007f, 0x00006666,
     94   0x003eff82, 0x00000000, 0x00003333, 0x0000aaaa,
     95   0x003f7f81, 0x00000000, 0x00005555, 0x0000fffa,
     96   0x19994ccd, 0x00000000, 0x00007ffd, 0x0000fffc,
     97   0x2aaa2aab, 0x00000000, 0x00007ffe, 0x0000fffe,
     98   0x3ffe0003, 0x00000000, 0x00007fff, 0x00010000,
     99   0x3ffe8002, 0x00000000, 0x00008000, 0x00010002,
    100   0x3fff0001, 0x00000000, 0x00008001, 0x00015554,
    101   0x3fff8000, 0x00000000, 0x0000aaaa, 0x00019998,
    102   0x3fffffff, 0x00000000, 0x0000cccc, 0x0001ff00,
    103   0x55545556, 0x00000000, 0x0000ff80, 0x0001ff02,
    104   0x66653334, 0x00000000, 0x0000ff81, 0x0001ff04,
    105   0x7fbf0080, 0x00000000, 0x0000ff82, 0x0001ff06,
    106   0x7fbf807f, 0x00000000, 0x0000ff83, 0x0001ffe0,
    107   0x7fc0007e, 0x00000000, 0x0000fff0, 0x0001fffa,
    108   0x7fc0807d, 0x00000000, 0x0000fffd, 0x0001fffc,
    109   0x7ff70010, 0x00000000, 0x0000fffe, 0x0001fffe,
    110   0x00000000, 0x0000fffe, 0x0001fffe, 0x00000000,
    111   0x00000000, 0x0000ffff, 0x00000000, 0x00000010,
    112   0x00000000, 0x00000000, 0x00000002, 0x00000020,
    113   0x00000000, 0x00000001, 0x00000004, 0x00000100,
    114   0x00000000, 0x00000002, 0x00000020, 0x000007d0,
    115   0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
    116   0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
    117   0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
    118   0x00000000, 0x0000007f, 0x00006666, 0x00055550,
    119   0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
    120   0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
    121   0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
    122   0x00000000, 0x00007ffe, 0x0000fffe, 0x00080000,
    123   0x00000000, 0x00007fff, 0x00010000, 0x00080010,
    124   0x00000000, 0x00008000, 0x00010002, 0x000aaaa0,
    125   0x00000000, 0x00008001, 0x00015554, 0x000cccc0,
    126   0x00000000, 0x0000aaaa, 0x00019998, 0x000ff800,
    127   0x00000000, 0x0000cccc, 0x0001ff00, 0x000ff810,
    128   0x00000000, 0x0000ff80, 0x0001ff02, 0x000ff820,
    129   0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff830,
    130   0x00000000, 0x0000ff82, 0x0001ff06, 0x000fff00,
    131   0x00000000, 0x0000ff83, 0x0001ffe0, 0x000fffd0,
    132   0x00000000, 0x0000fff0, 0x0001fffa, 0x000fffe0,
    133   0x00000000, 0x0000fffd, 0x0001fffc, 0x000ffff0,
    134   0x0000fffd, 0x0001fffc, 0x000ffff0, 0x00000000,
    135   0x0000fffe, 0x0001fffe, 0x00000000, 0x0000007d,
    136   0x0000ffff, 0x00000000, 0x00000010, 0x000000fa,
    137   0x00000000, 0x00000002, 0x00000020, 0x000007d0,
    138   0x00000001, 0x00000004, 0x00000100, 0x00003d09,
    139   0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
    140   0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
    141   0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
    142   0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
    143   0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
    144   0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
    145   0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
    146   0x00007ffd, 0x0000fffc, 0x0007fff0, 0x003e8000,
    147   0x00007ffe, 0x0000fffe, 0x00080000, 0x003e807d,
    148   0x00007fff, 0x00010000, 0x00080010, 0x00535502,
    149   0x00008000, 0x00010002, 0x000aaaa0, 0x0063ff9c,
    150   0x00008001, 0x00015554, 0x000cccc0, 0x007cc180,
    151   0x0000aaaa, 0x00019998, 0x000ff800, 0x007cc1fd,
    152   0x0000cccc, 0x0001ff00, 0x000ff810, 0x007cc27a,
    153   0x0000ff80, 0x0001ff02, 0x000ff820, 0x007cc2f7,
    154   0x0000ff81, 0x0001ff04, 0x000ff830, 0x007cf830,
    155   0x0000ff82, 0x0001ff06, 0x000fff00, 0x007cfe89,
    156   0x0000ff83, 0x0001ffe0, 0x000fffd0, 0x007cff06,
    157   0x0000fff0, 0x0001fffa, 0x000fffe0, 0x007cff83,
    158   0x0001fffa, 0x000fffe0, 0x007cff83, 0x00000000,
    159   0x0001fffc, 0x000ffff0, 0x00000000, 0x0000007e,
    160   0x0001fffe, 0x00000000, 0x0000007d, 0x000000fc,
    161   0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
    162   0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
    163   0x00000004, 0x00000100, 0x00003d09, 0x00003e04,
    164   0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
    165   0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
    166   0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
    167   0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
    168   0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
    169   0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
    170   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x003f0000,
    171   0x0000fffc, 0x0007fff0, 0x003e8000, 0x003f007e,
    172   0x0000fffe, 0x00080000, 0x003e807d, 0x0053ffac,
    173   0x00010000, 0x00080010, 0x00535502, 0x0064cc68,
    174   0x00010002, 0x000aaaa0, 0x0063ff9c, 0x007dc100,
    175   0x00015554, 0x000cccc0, 0x007cc180, 0x007dc17e,
    176   0x00019998, 0x000ff800, 0x007cc1fd, 0x007dc1fc,
    177   0x0001ff00, 0x000ff810, 0x007cc27a, 0x007dc27a,
    178   0x0001ff02, 0x000ff820, 0x007cc2f7, 0x007df820,
    179   0x0001ff04, 0x000ff830, 0x007cf830, 0x007dfe86,
    180   0x0001ff06, 0x000fff00, 0x007cfe89, 0x007dff04,
    181   0x0001ffe0, 0x000fffd0, 0x007cff06, 0x007dff82,
    182   0x000fffd0, 0x007cff06, 0x007dff82, 0x00000000,
    183   0x000fffe0, 0x007cff83, 0x00000000, 0x0000007f,
    184   0x000ffff0, 0x00000000, 0x0000007e, 0x000000fe,
    185   0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
    186   0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
    187   0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
    188   0x00000100, 0x00003d09, 0x00003e04, 0x00003f01,
    189   0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
    190   0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
    191   0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
    192   0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
    193   0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
    194   0x0007ffd0, 0x003e7f06, 0x003eff82, 0x003f8000,
    195   0x0007ffe0, 0x003e7f83, 0x003f0000, 0x003f807f,
    196   0x0007fff0, 0x003e8000, 0x003f007e, 0x0054aa56,
    197   0x00080000, 0x003e807d, 0x0053ffac, 0x00659934,
    198   0x00080010, 0x00535502, 0x0064cc68, 0x007ec080,
    199   0x000aaaa0, 0x0063ff9c, 0x007dc100, 0x007ec0ff,
    200   0x000cccc0, 0x007cc180, 0x007dc17e, 0x007ec17e,
    201   0x000ff800, 0x007cc1fd, 0x007dc1fc, 0x007ec1fd,
    202   0x000ff810, 0x007cc27a, 0x007dc27a, 0x007ef810,
    203   0x000ff820, 0x007cc2f7, 0x007df820, 0x007efe83,
    204   0x000ff830, 0x007cf830, 0x007dfe86, 0x007eff02,
    205   0x000fff00, 0x007cfe89, 0x007dff04, 0x007eff81,
    206   0x007cfe89, 0x007dff04, 0x007eff81, 0x00000000,
    207   0x007cff06, 0x007dff82, 0x00000000, 0x00003333,
    208   0x007cff83, 0x00000000, 0x0000007f, 0x00006666,
    209   0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
    210   0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
    211   0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
    212   0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
    213   0x00003d09, 0x00003e04, 0x00003f01, 0x0a3d5c29,
    214   0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
    215   0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
    216   0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
    217   0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
    218   0x003e7e89, 0x003eff04, 0x003f7f81, 0x19998000,
    219   0x003e7f06, 0x003eff82, 0x003f8000, 0x1999b333,
    220   0x003e7f83, 0x003f0000, 0x003f807f, 0x2221ddde,
    221   0x003e8000, 0x003f007e, 0x0054aa56, 0x28f570a4,
    222   0x003e807d, 0x0053ffac, 0x00659934, 0x33196680,
    223   0x00535502, 0x0064cc68, 0x007ec080, 0x331999b3,
    224   0x0063ff9c, 0x007dc100, 0x007ec0ff, 0x3319cce6,
    225   0x007cc180, 0x007dc17e, 0x007ec17e, 0x331a0019,
    226   0x007cc1fd, 0x007dc1fc, 0x007ec1fd, 0x332fccd0,
    227   0x007cc27a, 0x007dc27a, 0x007ef810, 0x33326667,
    228   0x007cc2f7, 0x007df820, 0x007efe83, 0x3332999a,
    229   0x007cf830, 0x007dfe86, 0x007eff02, 0x3332cccd,
    230   0x007dfe86, 0x007eff02, 0x3332cccd, 0x00000000,
    231   0x007dff04, 0x007eff81, 0x00000000, 0x00005555,
    232   0x007dff82, 0x00000000, 0x00003333, 0x0000aaaa,
    233   0x00000000, 0x0000007f, 0x00006666, 0x00055550,
    234   0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
    235   0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
    236   0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
    237   0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
    238   0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39,
    239   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
    240   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
    241   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
    242   0x003efe86, 0x003f7f02, 0x19994ccd, 0x2aaa8000,
    243   0x003eff04, 0x003f7f81, 0x19998000, 0x2aaad555,
    244   0x003eff82, 0x003f8000, 0x1999b333, 0x38e31c72,
    245   0x003f0000, 0x003f807f, 0x2221ddde, 0x4443bbbc,
    246   0x003f007e, 0x0054aa56, 0x28f570a4, 0x552a5580,
    247   0x0053ffac, 0x00659934, 0x33196680, 0x552aaad5,
    248   0x0064cc68, 0x007ec080, 0x331999b3, 0x552b002a,
    249   0x007dc100, 0x007ec0ff, 0x3319cce6, 0x552b557f,
    250   0x007dc17e, 0x007ec17e, 0x331a0019, 0x554faab0,
    251   0x007dc1fc, 0x007ec1fd, 0x332fccd0, 0x55540001,
    252   0x007dc27a, 0x007ef810, 0x33326667, 0x55545556,
    253   0x007df820, 0x007efe83, 0x3332999a, 0x5554aaab,
    254   0x007efe83, 0x3332999a, 0x5554aaab, 0x00000000,
    255   0x007eff02, 0x3332cccd, 0x00000000, 0x00007ffd,
    256   0x007eff81, 0x00000000, 0x00005555, 0x0000fffa,
    257   0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
    258   0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
    259   0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
    260   0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
    261   0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
    262   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
    263   0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009,
    264   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
    265   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
    266   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x3ffe8000,
    267   0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x3ffefffd,
    268   0x003f7f81, 0x19998000, 0x2aaad555, 0x55530002,
    269   0x003f8000, 0x1999b333, 0x38e31c72, 0x6663999c,
    270   0x003f807f, 0x2221ddde, 0x4443bbbc, 0x7fbd0180,
    271   0x0054aa56, 0x28f570a4, 0x552a5580, 0x7fbd817d,
    272   0x00659934, 0x33196680, 0x552aaad5, 0x7fbe017a,
    273   0x007ec080, 0x331999b3, 0x552b002a, 0x7fbe8177,
    274   0x007ec0ff, 0x3319cce6, 0x552b557f, 0x7ff50030,
    275   0x007ec17e, 0x331a0019, 0x554faab0, 0x7ffb8009,
    276   0x007ec1fd, 0x332fccd0, 0x55540001, 0x7ffc0006,
    277   0x007ef810, 0x33326667, 0x55545556, 0x7ffc8003,
    278   0x33326667, 0x55545556, 0x7ffc8003, 0x00000000,
    279   0x3332999a, 0x5554aaab, 0x00000000, 0x00007ffe,
    280   0x3332cccd, 0x00000000, 0x00007ffd, 0x0000fffc,
    281   0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
    282   0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
    283   0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
    284   0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
    285   0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
    286   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
    287   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
    288   0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x3ffe0004,
    289   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
    290   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x3fff0000,
    291   0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe,
    292   0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x5553aaac,
    293   0x19998000, 0x2aaad555, 0x55530002, 0x66646668,
    294   0x1999b333, 0x38e31c72, 0x6663999c, 0x7fbe0100,
    295   0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe,
    296   0x28f570a4, 0x552a5580, 0x7fbd817d, 0x7fbf00fc,
    297   0x33196680, 0x552aaad5, 0x7fbe017a, 0x7fbf80fa,
    298   0x331999b3, 0x552b002a, 0x7fbe8177, 0x7ff60020,
    299   0x3319cce6, 0x552b557f, 0x7ff50030, 0x7ffc8006,
    300   0x331a0019, 0x554faab0, 0x7ffb8009, 0x7ffd0004,
    301   0x332fccd0, 0x55540001, 0x7ffc0006, 0x7ffd8002,
    302   0x55540001, 0x7ffc0006, 0x7ffd8002, 0x00000000,
    303   0x55545556, 0x7ffc8003, 0x00000000, 0x00007fff,
    304   0x5554aaab, 0x00000000, 0x00007ffe, 0x0000fffe,
    305   0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
    306   0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
    307   0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
    308   0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
    309   0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
    310   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
    311   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
    312   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
    313   0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x3fff0001,
    314   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x3fff8000,
    315   0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x3fffffff,
    316   0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x55545556,
    317   0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x66653334,
    318   0x2aaad555, 0x55530002, 0x66646668, 0x7fbf0080,
    319   0x38e31c72, 0x6663999c, 0x7fbe0100, 0x7fbf807f,
    320   0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e,
    321   0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x7fc0807d,
    322   0x552aaad5, 0x7fbe017a, 0x7fbf80fa, 0x7ff70010,
    323   0x552b002a, 0x7fbe8177, 0x7ff60020, 0x7ffd8003,
    324   0x552b557f, 0x7ff50030, 0x7ffc8006, 0x7ffe0002,
    325   0x554faab0, 0x7ffb8009, 0x7ffd0004, 0x7ffe8001,
    326   0x7ffb8009, 0x7ffd0004, 0x7ffe8001, 0x00000000,
    327   0x7ffc0006, 0x7ffd8002, 0x00000000, 0x00008000,
    328   0x7ffc8003, 0x00000000, 0x00007fff, 0x00010000,
    329   0x00000000, 0x00007ffe, 0x0000fffe, 0x00080000,
    330   0x00007ffd, 0x0000fffc, 0x0007fff0, 0x003e8000,
    331   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x003f0000,
    332   0x0007ffd0, 0x003e7f06, 0x003eff82, 0x003f8000,
    333   0x003e7e89, 0x003eff04, 0x003f7f81, 0x19998000,
    334   0x003efe86, 0x003f7f02, 0x19994ccd, 0x2aaa8000,
    335   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x3ffe8000,
    336   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x3fff0000,
    337   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x3fff8000,
    338   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x40000000,
    339   0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x40008000,
    340   0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x55550000,
    341   0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x66660000,
    342   0x3ffefffd, 0x5553aaac, 0x66653334, 0x7fc00000,
    343   0x55530002, 0x66646668, 0x7fbf0080, 0x7fc08000,
    344   0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x7fc10000,
    345   0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x7fc18000,
    346   0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x7ff80000,
    347   0x7fbe017a, 0x7fbf80fa, 0x7ff70010, 0x7ffe8000,
    348   0x7fbe8177, 0x7ff60020, 0x7ffd8003, 0x7fff0000,
    349   0x7ff50030, 0x7ffc8006, 0x7ffe0002, 0x7fff8000,
    350   0x7ffc8006, 0x7ffe0002, 0x7fff8000, 0x00000000,
    351   0x7ffd0004, 0x7ffe8001, 0x00000000, 0x00008001,
    352   0x7ffd8002, 0x00000000, 0x00008000, 0x00010002,
    353   0x00000000, 0x00007fff, 0x00010000, 0x00080010,
    354   0x00007ffe, 0x0000fffe, 0x00080000, 0x003e807d,
    355   0x0000fffc, 0x0007fff0, 0x003e8000, 0x003f007e,
    356   0x0007ffe0, 0x003e7f83, 0x003f0000, 0x003f807f,
    357   0x003e7f06, 0x003eff82, 0x003f8000, 0x1999b333,
    358   0x003eff04, 0x003f7f81, 0x19998000, 0x2aaad555,
    359   0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x3ffefffd,
    360   0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe,
    361   0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x3fffffff,
    362   0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x40008000,
    363   0x3ffe0004, 0x3fff0001, 0x40000000, 0x40010001,
    364   0x3ffe8002, 0x3fff8000, 0x40008000, 0x5555aaaa,
    365   0x3fff0000, 0x3fffffff, 0x55550000, 0x6666cccc,
    366   0x3fff7ffe, 0x55545556, 0x66660000, 0x7fc0ff80,
    367   0x5553aaac, 0x66653334, 0x7fc00000, 0x7fc17f81,
    368   0x66646668, 0x7fbf0080, 0x7fc08000, 0x7fc1ff82,
    369   0x7fbe0100, 0x7fbf807f, 0x7fc10000, 0x7fc27f83,
    370   0x7fbe80fe, 0x7fc0007e, 0x7fc18000, 0x7ff8fff0,
    371   0x7fbf00fc, 0x7fc0807d, 0x7ff80000, 0x7fff7ffd,
    372   0x7fbf80fa, 0x7ff70010, 0x7ffe8000, 0x7ffffffe,
    373   0x7ff60020, 0x7ffd8003, 0x7fff0000, 0x80007fff,
    374   0x7ffd8003, 0x7fff0000, 0x80007fff, 0x00000000,
    375   0x7ffe0002, 0x7fff8000, 0x00000000, 0x0000aaaa,
    376   0x7ffe8001, 0x00000000, 0x00008001, 0x00015554,
    377   0x00000000, 0x00008000, 0x00010002, 0x000aaaa0,
    378   0x00007fff, 0x00010000, 0x00080010, 0x00535502,
    379   0x0000fffe, 0x00080000, 0x003e807d, 0x0053ffac,
    380   0x0007fff0, 0x003e8000, 0x003f007e, 0x0054aa56,
    381   0x003e7f83, 0x003f0000, 0x003f807f, 0x2221ddde,
    382   0x003eff82, 0x003f8000, 0x1999b333, 0x38e31c72,
    383   0x003f7f81, 0x19998000, 0x2aaad555, 0x55530002,
    384   0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x5553aaac,
    385   0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x55545556,
    386   0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x55550000,
    387   0x3ffe8002, 0x3fff8000, 0x40008000, 0x5555aaaa,
    388   0x3fff0001, 0x40000000, 0x40010001, 0x71c638e4,
    389   0x3fff8000, 0x40008000, 0x5555aaaa, 0x88877778,
    390   0x3fffffff, 0x55550000, 0x6666cccc, 0xaa54ab00,
    391   0x55545556, 0x66660000, 0x7fc0ff80, 0xaa5555aa,
    392   0x66653334, 0x7fc00000, 0x7fc17f81, 0xaa560054,
    393   0x7fbf0080, 0x7fc08000, 0x7fc1ff82, 0xaa56aafe,
    394   0x7fbf807f, 0x7fc10000, 0x7fc27f83, 0xaa9f5560,
    395   0x7fc0007e, 0x7fc18000, 0x7ff8fff0, 0xaaa80002,
    396   0x7fc0807d, 0x7ff80000, 0x7fff7ffd, 0xaaa8aaac,
    397   0x7ff70010, 0x7ffe8000, 0x7ffffffe, 0xaaa95556,
    398   0x7ffe8000, 0x7ffffffe, 0xaaa95556, 0x00000000,
    399   0x7fff0000, 0x80007fff, 0x00000000, 0x0000cccc,
    400   0x7fff8000, 0x00000000, 0x0000aaaa, 0x00019998,
    401   0x00000000, 0x00008001, 0x00015554, 0x000cccc0,
    402   0x00008000, 0x00010002, 0x000aaaa0, 0x0063ff9c,
    403   0x00010000, 0x00080010, 0x00535502, 0x0064cc68,
    404   0x00080000, 0x003e807d, 0x0053ffac, 0x00659934,
    405   0x003e8000, 0x003f007e, 0x0054aa56, 0x28f570a4,
    406   0x003f0000, 0x003f807f, 0x2221ddde, 0x4443bbbc,
    407   0x003f8000, 0x1999b333, 0x38e31c72, 0x6663999c,
    408   0x19998000, 0x2aaad555, 0x55530002, 0x66646668,
    409   0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x66653334,
    410   0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x66660000,
    411   0x3fff0000, 0x3fffffff, 0x55550000, 0x6666cccc,
    412   0x3fff8000, 0x40008000, 0x5555aaaa, 0x88877778,
    413   0x40000000, 0x40010001, 0x71c638e4, 0xa3d5c290,
    414   0x40008000, 0x5555aaaa, 0x88877778, 0xcc659a00,
    415   0x55550000, 0x6666cccc, 0xaa54ab00, 0xcc6666cc,
    416   0x66660000, 0x7fc0ff80, 0xaa5555aa, 0xcc673398,
    417   0x7fc00000, 0x7fc17f81, 0xaa560054, 0xcc680064,
    418   0x7fc08000, 0x7fc1ff82, 0xaa56aafe, 0xccbf3340,
    419   0x7fc10000, 0x7fc27f83, 0xaa9f5560, 0xccc9999c,
    420   0x7fc18000, 0x7ff8fff0, 0xaaa80002, 0xccca6668,
    421   0x7ff80000, 0x7fff7ffd, 0xaaa8aaac, 0xcccb3334,
    422   0x7fff7ffd, 0xaaa8aaac, 0xcccb3334, 0x00000000,
    423   0x7ffffffe, 0xaaa95556, 0x00000000, 0x0000ff80,
    424   0x80007fff, 0x00000000, 0x0000cccc, 0x0001ff00,
    425   0x00000000, 0x0000aaaa, 0x00019998, 0x000ff800,
    426   0x00008001, 0x00015554, 0x000cccc0, 0x007cc180,
    427   0x00010002, 0x000aaaa0, 0x0063ff9c, 0x007dc100,
    428   0x00080010, 0x00535502, 0x0064cc68, 0x007ec080,
    429   0x003e807d, 0x0053ffac, 0x00659934, 0x33196680,
    430   0x003f007e, 0x0054aa56, 0x28f570a4, 0x552a5580,
    431   0x003f807f, 0x2221ddde, 0x4443bbbc, 0x7fbd0180,
    432   0x1999b333, 0x38e31c72, 0x6663999c, 0x7fbe0100,
    433   0x2aaad555, 0x55530002, 0x66646668, 0x7fbf0080,
    434   0x3ffefffd, 0x5553aaac, 0x66653334, 0x7fc00000,
    435   0x3fff7ffe, 0x55545556, 0x66660000, 0x7fc0ff80,
    436   0x3fffffff, 0x55550000, 0x6666cccc, 0xaa54ab00,
    437   0x40008000, 0x5555aaaa, 0x88877778, 0xcc659a00,
    438   0x40010001, 0x71c638e4, 0xa3d5c290, 0xff004000,
    439   0x5555aaaa, 0x88877778, 0xcc659a00, 0xff013f80,
    440   0x6666cccc, 0xaa54ab00, 0xcc6666cc, 0xff023f00,
    441   0x7fc0ff80, 0xaa5555aa, 0xcc673398, 0xff033e80,
    442   0x7fc17f81, 0xaa560054, 0xcc680064, 0xff700800,
    443   0x7fc1ff82, 0xaa56aafe, 0xccbf3340, 0xff7d0180,
    444   0x7fc27f83, 0xaa9f5560, 0xccc9999c, 0xff7e0100,
    445   0x7ff8fff0, 0xaaa80002, 0xccca6668, 0xff7f0080,
    446   0xaaa80002, 0xccca6668, 0xff7f0080, 0x00000000,
    447   0xaaa8aaac, 0xcccb3334, 0x00000000, 0x0000ff81,
    448   0xaaa95556, 0x00000000, 0x0000ff80, 0x0001ff02,
    449   0x00000000, 0x0000cccc, 0x0001ff00, 0x000ff810,
    450   0x0000aaaa, 0x00019998, 0x000ff800, 0x007cc1fd,
    451   0x00015554, 0x000cccc0, 0x007cc180, 0x007dc17e,
    452   0x000aaaa0, 0x0063ff9c, 0x007dc100, 0x007ec0ff,
    453   0x00535502, 0x0064cc68, 0x007ec080, 0x331999b3,
    454   0x0053ffac, 0x00659934, 0x33196680, 0x552aaad5,
    455   0x0054aa56, 0x28f570a4, 0x552a5580, 0x7fbd817d,
    456   0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe,
    457   0x38e31c72, 0x6663999c, 0x7fbe0100, 0x7fbf807f,
    458   0x55530002, 0x66646668, 0x7fbf0080, 0x7fc08000,
    459   0x5553aaac, 0x66653334, 0x7fc00000, 0x7fc17f81,
    460   0x55545556, 0x66660000, 0x7fc0ff80, 0xaa5555aa,
    461   0x55550000, 0x6666cccc, 0xaa54ab00, 0xcc6666cc,
    462   0x5555aaaa, 0x88877778, 0xcc659a00, 0xff013f80,
    463   0x71c638e4, 0xa3d5c290, 0xff004000, 0xff023f01,
    464   0x88877778, 0xcc659a00, 0xff013f80, 0xff033e82,
    465   0xaa54ab00, 0xcc6666cc, 0xff023f00, 0xff043e03,
    466   0xaa5555aa, 0xcc673398, 0xff033e80, 0xff7107f0,
    467   0xaa560054, 0xcc680064, 0xff700800, 0xff7e017d,
    468   0xaa56aafe, 0xccbf3340, 0xff7d0180, 0xff7f00fe,
    469   0xaa9f5560, 0xccc9999c, 0xff7e0100, 0xff80007f,
    470   0xccc9999c, 0xff7e0100, 0xff80007f, 0x00000000,
    471   0xccca6668, 0xff7f0080, 0x00000000, 0x0000ff82,
    472   0xcccb3334, 0x00000000, 0x0000ff81, 0x0001ff04,
    473   0x00000000, 0x0000ff80, 0x0001ff02, 0x000ff820,
    474   0x0000cccc, 0x0001ff00, 0x000ff810, 0x007cc27a,
    475   0x00019998, 0x000ff800, 0x007cc1fd, 0x007dc1fc,
    476   0x000cccc0, 0x007cc180, 0x007dc17e, 0x007ec17e,
    477   0x0063ff9c, 0x007dc100, 0x007ec0ff, 0x3319cce6,
    478   0x0064cc68, 0x007ec080, 0x331999b3, 0x552b002a,
    479   0x00659934, 0x33196680, 0x552aaad5, 0x7fbe017a,
    480   0x28f570a4, 0x552a5580, 0x7fbd817d, 0x7fbf00fc,
    481   0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e,
    482   0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x7fc10000,
    483   0x66646668, 0x7fbf0080, 0x7fc08000, 0x7fc1ff82,
    484   0x66653334, 0x7fc00000, 0x7fc17f81, 0xaa560054,
    485   0x66660000, 0x7fc0ff80, 0xaa5555aa, 0xcc673398,
    486   0x6666cccc, 0xaa54ab00, 0xcc6666cc, 0xff023f00,
    487   0x88877778, 0xcc659a00, 0xff013f80, 0xff033e82,
    488   0xa3d5c290, 0xff004000, 0xff023f01, 0xff043e04,
    489   0xcc659a00, 0xff013f80, 0xff033e82, 0xff053d86,
    490   0xcc6666cc, 0xff023f00, 0xff043e03, 0xff7207e0,
    491   0xcc673398, 0xff033e80, 0xff7107f0, 0xff7f017a,
    492   0xcc680064, 0xff700800, 0xff7e017d, 0xff8000fc,
    493   0xccbf3340, 0xff7d0180, 0xff7f00fe, 0xff81007e,
    494   0xff7d0180, 0xff7f00fe, 0xff81007e, 0x00000000,
    495   0xff7e0100, 0xff80007f, 0x00000000, 0x0000ff83,
    496   0xff7f0080, 0x00000000, 0x0000ff82, 0x0001ff06,
    497   0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff830,
    498   0x0000ff80, 0x0001ff02, 0x000ff820, 0x007cc2f7,
    499   0x0001ff00, 0x000ff810, 0x007cc27a, 0x007dc27a,
    500   0x000ff800, 0x007cc1fd, 0x007dc1fc, 0x007ec1fd,
    501   0x007cc180, 0x007dc17e, 0x007ec17e, 0x331a0019,
    502   0x007dc100, 0x007ec0ff, 0x3319cce6, 0x552b557f,
    503   0x007ec080, 0x331999b3, 0x552b002a, 0x7fbe8177,
    504   0x33196680, 0x552aaad5, 0x7fbe017a, 0x7fbf80fa,
    505   0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x7fc0807d,
    506   0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x7fc18000,
    507   0x7fbe0100, 0x7fbf807f, 0x7fc10000, 0x7fc27f83,
    508   0x7fbf0080, 0x7fc08000, 0x7fc1ff82, 0xaa56aafe,
    509   0x7fc00000, 0x7fc17f81, 0xaa560054, 0xcc680064,
    510   0x7fc0ff80, 0xaa5555aa, 0xcc673398, 0xff033e80,
    511   0xaa54ab00, 0xcc6666cc, 0xff023f00, 0xff043e03,
    512   0xcc659a00, 0xff013f80, 0xff033e82, 0xff053d86,
    513   0xff004000, 0xff023f01, 0xff043e04, 0xff063d09,
    514   0xff013f80, 0xff033e82, 0xff053d86, 0xff7307d0,
    515   0xff023f00, 0xff043e03, 0xff7207e0, 0xff800177,
    516   0xff033e80, 0xff7107f0, 0xff7f017a, 0xff8100fa,
    517   0xff700800, 0xff7e017d, 0xff8000fc, 0xff82007d,
    518   0xff7e017d, 0xff8000fc, 0xff82007d, 0x00000000,
    519   0xff7f00fe, 0xff81007e, 0x00000000, 0x0000fff0,
    520   0xff80007f, 0x00000000, 0x0000ff83, 0x0001ffe0,
    521   0x00000000, 0x0000ff82, 0x0001ff06, 0x000fff00,
    522   0x0000ff81, 0x0001ff04, 0x000ff830, 0x007cf830,
    523   0x0001ff02, 0x000ff820, 0x007cc2f7, 0x007df820,
    524   0x000ff810, 0x007cc27a, 0x007dc27a, 0x007ef810,
    525   0x007cc1fd, 0x007dc1fc, 0x007ec1fd, 0x332fccd0,
    526   0x007dc17e, 0x007ec17e, 0x331a0019, 0x554faab0,
    527   0x007ec0ff, 0x3319cce6, 0x552b557f, 0x7ff50030,
    528   0x331999b3, 0x552b002a, 0x7fbe8177, 0x7ff60020,
    529   0x552aaad5, 0x7fbe017a, 0x7fbf80fa, 0x7ff70010,
    530   0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x7ff80000,
    531   0x7fbe80fe, 0x7fc0007e, 0x7fc18000, 0x7ff8fff0,
    532   0x7fbf807f, 0x7fc10000, 0x7fc27f83, 0xaa9f5560,
    533   0x7fc08000, 0x7fc1ff82, 0xaa56aafe, 0xccbf3340,
    534   0x7fc17f81, 0xaa560054, 0xcc680064, 0xff700800,
    535   0xaa5555aa, 0xcc673398, 0xff033e80, 0xff7107f0,
    536   0xcc6666cc, 0xff023f00, 0xff043e03, 0xff7207e0,
    537   0xff013f80, 0xff033e82, 0xff053d86, 0xff7307d0,
    538   0xff023f01, 0xff043e04, 0xff063d09, 0xffe00100,
    539   0xff033e82, 0xff053d86, 0xff7307d0, 0xffed0030,
    540   0xff043e03, 0xff7207e0, 0xff800177, 0xffee0020,
    541   0xff7107f0, 0xff7f017a, 0xff8100fa, 0xffef0010,
    542   0xff7f017a, 0xff8100fa, 0xffef0010, 0x00000000,
    543   0xff8000fc, 0xff82007d, 0x00000000, 0x0000fffd,
    544   0xff81007e, 0x00000000, 0x0000fff0, 0x0001fffa,
    545   0x00000000, 0x0000ff83, 0x0001ffe0, 0x000fffd0,
    546   0x0000ff82, 0x0001ff06, 0x000fff00, 0x007cfe89,
    547   0x0001ff04, 0x000ff830, 0x007cf830, 0x007dfe86,
    548   0x000ff820, 0x007cc2f7, 0x007df820, 0x007efe83,
    549   0x007cc27a, 0x007dc27a, 0x007ef810, 0x33326667,
    550   0x007dc1fc, 0x007ec1fd, 0x332fccd0, 0x55540001,
    551   0x007ec17e, 0x331a0019, 0x554faab0, 0x7ffb8009,
    552   0x3319cce6, 0x552b557f, 0x7ff50030, 0x7ffc8006,
    553   0x552b002a, 0x7fbe8177, 0x7ff60020, 0x7ffd8003,
    554   0x7fbe017a, 0x7fbf80fa, 0x7ff70010, 0x7ffe8000,
    555   0x7fbf00fc, 0x7fc0807d, 0x7ff80000, 0x7fff7ffd,
    556   0x7fc0007e, 0x7fc18000, 0x7ff8fff0, 0xaaa80002,
    557   0x7fc10000, 0x7fc27f83, 0xaa9f5560, 0xccc9999c,
    558   0x7fc1ff82, 0xaa56aafe, 0xccbf3340, 0xff7d0180,
    559   0xaa560054, 0xcc680064, 0xff700800, 0xff7e017d,
    560   0xcc673398, 0xff033e80, 0xff7107f0, 0xff7f017a,
    561   0xff023f00, 0xff043e03, 0xff7207e0, 0xff800177,
    562   0xff033e82, 0xff053d86, 0xff7307d0, 0xffed0030,
    563   0xff043e04, 0xff063d09, 0xffe00100, 0xfffa0009,
    564   0xff053d86, 0xff7307d0, 0xffed0030, 0xfffb0006,
    565   0xff7207e0, 0xff800177, 0xffee0020, 0xfffc0003,
    566   0xff800177, 0xffee0020, 0xfffc0003, 0x00000000,
    567   0xff8100fa, 0xffef0010, 0x00000000, 0x0000fffe,
    568   0xff82007d, 0x00000000, 0x0000fffd, 0x0001fffc,
    569   0x00000000, 0x0000fff0, 0x0001fffa, 0x000fffe0,
    570   0x0000ff83, 0x0001ffe0, 0x000fffd0, 0x007cff06,
    571   0x0001ff06, 0x000fff00, 0x007cfe89, 0x007dff04,
    572   0x000ff830, 0x007cf830, 0x007dfe86, 0x007eff02,
    573   0x007cc2f7, 0x007df820, 0x007efe83, 0x3332999a,
    574   0x007dc27a, 0x007ef810, 0x33326667, 0x55545556,
    575   0x007ec1fd, 0x332fccd0, 0x55540001, 0x7ffc0006,
    576   0x331a0019, 0x554faab0, 0x7ffb8009, 0x7ffd0004,
    577   0x552b557f, 0x7ff50030, 0x7ffc8006, 0x7ffe0002,
    578   0x7fbe8177, 0x7ff60020, 0x7ffd8003, 0x7fff0000,
    579   0x7fbf80fa, 0x7ff70010, 0x7ffe8000, 0x7ffffffe,
    580   0x7fc0807d, 0x7ff80000, 0x7fff7ffd, 0xaaa8aaac,
    581   0x7fc18000, 0x7ff8fff0, 0xaaa80002, 0xccca6668,
    582   0x7fc27f83, 0xaa9f5560, 0xccc9999c, 0xff7e0100,
    583   0xaa56aafe, 0xccbf3340, 0xff7d0180, 0xff7f00fe,
    584   0xcc680064, 0xff700800, 0xff7e017d, 0xff8000fc,
    585   0xff033e80, 0xff7107f0, 0xff7f017a, 0xff8100fa,
    586   0xff043e03, 0xff7207e0, 0xff800177, 0xffee0020,
    587   0xff053d86, 0xff7307d0, 0xffed0030, 0xfffb0006,
    588   0xff063d09, 0xffe00100, 0xfffa0009, 0xfffc0004,
    589   0xff7307d0, 0xffed0030, 0xfffb0006, 0xfffd0002,
    590   0xffed0030, 0xfffb0006, 0xfffd0002, 0x00000000,
    591   0xffee0020, 0xfffc0003, 0x00000000, 0x0000ffff,
    592   0xffef0010, 0x00000000, 0x0000fffe, 0x0001fffe,
    593   0x00000000, 0x0000fffd, 0x0001fffc, 0x000ffff0,
    594   0x0000fff0, 0x0001fffa, 0x000fffe0, 0x007cff83,
    595   0x0001ffe0, 0x000fffd0, 0x007cff06, 0x007dff82,
    596   0x000fff00, 0x007cfe89, 0x007dff04, 0x007eff81,
    597   0x007cf830, 0x007dfe86, 0x007eff02, 0x3332cccd,
    598   0x007df820, 0x007efe83, 0x3332999a, 0x5554aaab,
    599   0x007ef810, 0x33326667, 0x55545556, 0x7ffc8003,
    600   0x332fccd0, 0x55540001, 0x7ffc0006, 0x7ffd8002,
    601   0x554faab0, 0x7ffb8009, 0x7ffd0004, 0x7ffe8001,
    602   0x7ff50030, 0x7ffc8006, 0x7ffe0002, 0x7fff8000,
    603   0x7ff60020, 0x7ffd8003, 0x7fff0000, 0x80007fff,
    604   0x7ff70010, 0x7ffe8000, 0x7ffffffe, 0xaaa95556,
    605   0x7ff80000, 0x7fff7ffd, 0xaaa8aaac, 0xcccb3334,
    606   0x7ff8fff0, 0xaaa80002, 0xccca6668, 0xff7f0080,
    607   0xaa9f5560, 0xccc9999c, 0xff7e0100, 0xff80007f,
    608   0xccbf3340, 0xff7d0180, 0xff7f00fe, 0xff81007e,
    609   0xff700800, 0xff7e017d, 0xff8000fc, 0xff82007d,
    610   0xff7107f0, 0xff7f017a, 0xff8100fa, 0xffef0010,
    611   0xff7207e0, 0xff800177, 0xffee0020, 0xfffc0003,
    612   0xff7307d0, 0xffed0030, 0xfffb0006, 0xfffd0002,
    613   0xffe00100, 0xfffa0009, 0xfffc0004, 0xfffe0001,
    614 };
    615 const unsigned kExpectedCount_NEON_umull2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_UMULL2_4S_TRACE_A64_H_
    618