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_UABDL_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UABDL_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_uabdl_4S[] = {
     38   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     39   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
     40   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
     41   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
     42   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00005555,
     43   0x00007f80, 0x00007f80, 0x00003333, 0x00005554,
     44   0x00007f81, 0x0000007f, 0x00003332, 0x00005553,
     45   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
     46   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
     47   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
     48   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
     49   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
     50   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     51   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
     52   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
     53   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
     54   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00002aab,
     55   0x00007f80, 0x00007f80, 0x00004ccd, 0x00002aac,
     56   0x00007f81, 0x00007f81, 0x00004cce, 0x00005555,
     57   0x00007f82, 0x00007f82, 0x00007777, 0x00007777,
     58   0x00007f83, 0x0000aa2b, 0x00009999, 0x0000aa2b,
     59   0x0000aa2c, 0x0000cc4d, 0x0000cc4d, 0x0000aa2c,
     60   0x0000cc4e, 0x0000ff01, 0x0000cc4e, 0x0000aa2d,
     61   0x0000ff02, 0x0000ff02, 0x0000cc4f, 0x0000aa2e,
     62   0x0000ff02, 0x0000cc4f, 0x0000aa2e, 0x00007ff3,
     63   0x0000ff03, 0x0000cc50, 0x0000aa9b, 0x00008000,
     64   0x0000ff04, 0x0000ccbd, 0x0000aaa8, 0x00008001,
     65   0x0000ff71, 0x0000ccca, 0x0000aaa9, 0x00008002,
     66   0x0000ff7e, 0x0000cccb, 0x0000aaaa, 0x00007ffd,
     67   0x0000ff7f, 0x0000cccc, 0x00005555, 0x00007ffc,
     68   0x0000ff80, 0x00003333, 0x00005554, 0x00007ffb,
     69   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
     70   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
     71   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
     72   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
     73   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
     74   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
     75   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     76   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
     77   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
     78   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00000003,
     79   0x00007f7f, 0x00004ccc, 0x00002aab, 0x00000004,
     80   0x00007f80, 0x00004ccd, 0x00002aac, 0x00002aad,
     81   0x00007f81, 0x00004cce, 0x00005555, 0x00004ccf,
     82   0x00007f82, 0x00007777, 0x00007777, 0x00007f83,
     83   0x0000aa2b, 0x00009999, 0x0000aa2b, 0x00007f84,
     84   0x0000cc4d, 0x0000cc4d, 0x0000aa2c, 0x00007f85,
     85   0x0000ff01, 0x0000cc4e, 0x0000aa2d, 0x00007f86,
     86   0x0000cc4e, 0x0000aa2d, 0x00007f86, 0x00007ff2,
     87   0x0000cc4f, 0x0000aa2e, 0x00007ff3, 0x00007fff,
     88   0x0000cc50, 0x0000aa9b, 0x00008000, 0x00008000,
     89   0x0000ccbd, 0x0000aaa8, 0x00008001, 0x00008001,
     90   0x0000ccca, 0x0000aaa9, 0x00008002, 0x00007ffe,
     91   0x0000cccb, 0x0000aaaa, 0x00007ffd, 0x00007ffd,
     92   0x0000cccc, 0x00005555, 0x00007ffc, 0x00007ffc,
     93   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
     94   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
     95   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
     96   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
     97   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
     98   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
     99   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
    100   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    101   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
    102   0x00004cca, 0x00002aa9, 0x00000002, 0x00000002,
    103   0x00004ccb, 0x00002aaa, 0x00000003, 0x00000003,
    104   0x00004ccc, 0x00002aab, 0x00000004, 0x00002aac,
    105   0x00004ccd, 0x00002aac, 0x00002aad, 0x00004cce,
    106   0x00004cce, 0x00005555, 0x00004ccf, 0x00007f82,
    107   0x00007777, 0x00007777, 0x00007f83, 0x00007f83,
    108   0x00009999, 0x0000aa2b, 0x00007f84, 0x00007f84,
    109   0x0000cc4d, 0x0000aa2c, 0x00007f85, 0x00007f85,
    110   0x0000aa2c, 0x00007f85, 0x00007f85, 0x00007ff1,
    111   0x0000aa2d, 0x00007f86, 0x00007ff2, 0x00007ffe,
    112   0x0000aa2e, 0x00007ff3, 0x00007fff, 0x00007fff,
    113   0x0000aa9b, 0x00008000, 0x00008000, 0x00008000,
    114   0x0000aaa8, 0x00008001, 0x00008001, 0x00007fff,
    115   0x0000aaa9, 0x00008002, 0x00007ffe, 0x00007ffe,
    116   0x0000aaaa, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    117   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
    118   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
    119   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
    120   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
    121   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    122   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    123   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
    124   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
    125   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    126   0x00002aa8, 0x00000001, 0x00000001, 0x00000001,
    127   0x00002aa9, 0x00000002, 0x00000002, 0x00000002,
    128   0x00002aaa, 0x00000003, 0x00000003, 0x00002aab,
    129   0x00002aab, 0x00000004, 0x00002aac, 0x00004ccd,
    130   0x00002aac, 0x00002aad, 0x00004cce, 0x00007f81,
    131   0x00005555, 0x00004ccf, 0x00007f82, 0x00007f82,
    132   0x00007777, 0x00007f83, 0x00007f83, 0x00007f83,
    133   0x0000aa2b, 0x00007f84, 0x00007f84, 0x00007f84,
    134   0x00007f84, 0x00007f84, 0x00007f84, 0x0000fff0,
    135   0x00007f85, 0x00007f85, 0x00007ff1, 0x0000fffd,
    136   0x00007f86, 0x00007ff2, 0x00007ffe, 0x0000fffe,
    137   0x00007ff3, 0x00007fff, 0x00007fff, 0x0000ffff,
    138   0x00008000, 0x00008000, 0x00008000, 0x00000000,
    139   0x00008001, 0x00008001, 0x00007fff, 0x00000001,
    140   0x00008002, 0x00007ffe, 0x00007ffe, 0x00000002,
    141   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00000010,
    142   0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000007d,
    143   0x00007ffb, 0x00007fee, 0x00007f82, 0x0000007e,
    144   0x00007fed, 0x00007f81, 0x00007f81, 0x0000007f,
    145   0x00007f80, 0x00007f80, 0x00007f80, 0x00003333,
    146   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00005555,
    147   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00007ffd,
    148   0x00004cca, 0x00002aa9, 0x00000002, 0x00007ffe,
    149   0x00002aa8, 0x00000001, 0x00000001, 0x00007fff,
    150   0x00000000, 0x00000000, 0x00000000, 0x00008000,
    151   0x00000001, 0x00000001, 0x00000001, 0x00008001,
    152   0x00000002, 0x00000002, 0x00000002, 0x0000aaaa,
    153   0x00000003, 0x00000003, 0x00002aab, 0x0000cccc,
    154   0x00000004, 0x00002aac, 0x00004ccd, 0x0000ff80,
    155   0x00002aad, 0x00004cce, 0x00007f81, 0x0000ff81,
    156   0x00004ccf, 0x00007f82, 0x00007f82, 0x0000ff82,
    157   0x00007f83, 0x00007f83, 0x00007f83, 0x0000ff83,
    158   0x00007f83, 0x00007f83, 0x0000ff83, 0x0000ffef,
    159   0x00007f84, 0x00007f84, 0x0000fff0, 0x0000fffc,
    160   0x00007f85, 0x00007ff1, 0x0000fffd, 0x0000fffd,
    161   0x00007ff2, 0x00007ffe, 0x0000fffe, 0x0000fffe,
    162   0x00007fff, 0x00007fff, 0x0000ffff, 0x00000001,
    163   0x00008000, 0x00008000, 0x00000000, 0x00000000,
    164   0x00008001, 0x00007fff, 0x00000001, 0x00000001,
    165   0x00007ffe, 0x00007ffe, 0x00000002, 0x0000000f,
    166   0x00007ffd, 0x00007ffd, 0x00000010, 0x0000007c,
    167   0x00007ffc, 0x00007fef, 0x0000007d, 0x0000007d,
    168   0x00007fee, 0x00007f82, 0x0000007e, 0x0000007e,
    169   0x00007f81, 0x00007f81, 0x0000007f, 0x00003332,
    170   0x00007f80, 0x00007f80, 0x00003333, 0x00005554,
    171   0x00007f7f, 0x00004ccc, 0x00005555, 0x00007ffc,
    172   0x00004ccb, 0x00002aaa, 0x00007ffd, 0x00007ffd,
    173   0x00002aa9, 0x00000002, 0x00007ffe, 0x00007ffe,
    174   0x00000001, 0x00000001, 0x00007fff, 0x00007fff,
    175   0x00000000, 0x00000000, 0x00008000, 0x00008000,
    176   0x00000001, 0x00000001, 0x00008001, 0x0000aaa9,
    177   0x00000002, 0x00000002, 0x0000aaaa, 0x0000cccb,
    178   0x00000003, 0x00002aab, 0x0000cccc, 0x0000ff7f,
    179   0x00002aac, 0x00004ccd, 0x0000ff80, 0x0000ff80,
    180   0x00004cce, 0x00007f81, 0x0000ff81, 0x0000ff81,
    181   0x00007f82, 0x00007f82, 0x0000ff82, 0x0000ff82,
    182   0x00007f82, 0x0000ff82, 0x0000ff82, 0x0000ffee,
    183   0x00007f83, 0x0000ff83, 0x0000ffef, 0x0000fffb,
    184   0x00007f84, 0x0000fff0, 0x0000fffc, 0x0000fffc,
    185   0x00007ff1, 0x0000fffd, 0x0000fffd, 0x0000fffd,
    186   0x00007ffe, 0x0000fffe, 0x0000fffe, 0x00000002,
    187   0x00007fff, 0x0000ffff, 0x00000001, 0x00000001,
    188   0x00008000, 0x00000000, 0x00000000, 0x00000000,
    189   0x00007fff, 0x00000001, 0x00000001, 0x0000000e,
    190   0x00007ffe, 0x00000002, 0x0000000f, 0x0000007b,
    191   0x00007ffd, 0x00000010, 0x0000007c, 0x0000007c,
    192   0x00007fef, 0x0000007d, 0x0000007d, 0x0000007d,
    193   0x00007f82, 0x0000007e, 0x0000007e, 0x00003331,
    194   0x00007f81, 0x0000007f, 0x00003332, 0x00005553,
    195   0x00007f80, 0x00003333, 0x00005554, 0x00007ffb,
    196   0x00004ccc, 0x00005555, 0x00007ffc, 0x00007ffc,
    197   0x00002aaa, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    198   0x00000002, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    199   0x00000001, 0x00007fff, 0x00007fff, 0x00007fff,
    200   0x00000000, 0x00008000, 0x00008000, 0x0000aaa8,
    201   0x00000001, 0x00008001, 0x0000aaa9, 0x0000ccca,
    202   0x00000002, 0x0000aaaa, 0x0000cccb, 0x0000ff7e,
    203   0x00002aab, 0x0000cccc, 0x0000ff7f, 0x0000ff7f,
    204   0x00004ccd, 0x0000ff80, 0x0000ff80, 0x0000ff80,
    205   0x00007f81, 0x0000ff81, 0x0000ff81, 0x0000ff81,
    206   0x0000ff81, 0x0000ff81, 0x0000ff81, 0x0000ffe0,
    207   0x0000ff82, 0x0000ff82, 0x0000ffee, 0x0000ffed,
    208   0x0000ff83, 0x0000ffef, 0x0000fffb, 0x0000ffee,
    209   0x0000fff0, 0x0000fffc, 0x0000fffc, 0x0000ffef,
    210   0x0000fffd, 0x0000fffd, 0x0000fffd, 0x00000010,
    211   0x0000fffe, 0x0000fffe, 0x00000002, 0x0000000f,
    212   0x0000ffff, 0x00000001, 0x00000001, 0x0000000e,
    213   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    214   0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
    215   0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
    216   0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
    217   0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
    218   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
    219   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
    220   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
    221   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
    222   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00007ff0,
    223   0x00007ffe, 0x00007ffe, 0x00007ffe, 0x00007ff1,
    224   0x00007fff, 0x00007fff, 0x00007fff, 0x0000aa9a,
    225   0x00008000, 0x00008000, 0x0000aaa8, 0x0000ccbc,
    226   0x00008001, 0x0000aaa9, 0x0000ccca, 0x0000ff70,
    227   0x0000aaaa, 0x0000cccb, 0x0000ff7e, 0x0000ff71,
    228   0x0000cccc, 0x0000ff7f, 0x0000ff7f, 0x0000ff72,
    229   0x0000ff80, 0x0000ff80, 0x0000ff80, 0x0000ff73,
    230   0x0000ff80, 0x0000ff80, 0x0000ff73, 0x0000ff73,
    231   0x0000ff81, 0x0000ff81, 0x0000ffe0, 0x0000ff80,
    232   0x0000ff82, 0x0000ffee, 0x0000ffed, 0x0000ff81,
    233   0x0000ffef, 0x0000fffb, 0x0000ffee, 0x0000ff82,
    234   0x0000fffc, 0x0000fffc, 0x0000ffef, 0x0000007d,
    235   0x0000fffd, 0x0000fffd, 0x00000010, 0x0000007c,
    236   0x0000fffe, 0x00000002, 0x0000000f, 0x0000007b,
    237   0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
    238   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    239   0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
    240   0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
    241   0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
    242   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
    243   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
    244   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
    245   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
    246   0x00007ffc, 0x00007ffc, 0x00007fef, 0x00007f83,
    247   0x00007ffd, 0x00007ffd, 0x00007ff0, 0x00007f84,
    248   0x00007ffe, 0x00007ffe, 0x00007ff1, 0x0000aa2d,
    249   0x00007fff, 0x00007fff, 0x0000aa9a, 0x0000cc4f,
    250   0x00008000, 0x0000aaa8, 0x0000ccbc, 0x0000ff03,
    251   0x0000aaa9, 0x0000ccca, 0x0000ff70, 0x0000ff04,
    252   0x0000cccb, 0x0000ff7e, 0x0000ff71, 0x0000ff05,
    253   0x0000ff7f, 0x0000ff7f, 0x0000ff72, 0x0000ff06,
    254   0x0000ff7f, 0x0000ff72, 0x0000ff06, 0x0000ff72,
    255   0x0000ff80, 0x0000ff73, 0x0000ff73, 0x0000ff7f,
    256   0x0000ff81, 0x0000ffe0, 0x0000ff80, 0x0000ff80,
    257   0x0000ffee, 0x0000ffed, 0x0000ff81, 0x0000ff81,
    258   0x0000fffb, 0x0000ffee, 0x0000ff82, 0x0000007e,
    259   0x0000fffc, 0x0000ffef, 0x0000007d, 0x0000007d,
    260   0x0000fffd, 0x00000010, 0x0000007c, 0x0000007c,
    261   0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
    262   0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
    263   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    264   0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
    265   0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
    266   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
    267   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
    268   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
    269   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
    270   0x00007ffb, 0x00007fee, 0x00007f82, 0x00007f82,
    271   0x00007ffc, 0x00007fef, 0x00007f83, 0x00007f83,
    272   0x00007ffd, 0x00007ff0, 0x00007f84, 0x0000aa2c,
    273   0x00007ffe, 0x00007ff1, 0x0000aa2d, 0x0000cc4e,
    274   0x00007fff, 0x0000aa9a, 0x0000cc4f, 0x0000ff02,
    275   0x0000aaa8, 0x0000ccbc, 0x0000ff03, 0x0000ff03,
    276   0x0000ccca, 0x0000ff70, 0x0000ff04, 0x0000ff04,
    277   0x0000ff7e, 0x0000ff71, 0x0000ff05, 0x0000ff05,
    278   0x0000ff71, 0x0000ff05, 0x0000ff05, 0x0000ff71,
    279   0x0000ff72, 0x0000ff06, 0x0000ff72, 0x0000ff7e,
    280   0x0000ff73, 0x0000ff73, 0x0000ff7f, 0x0000ff7f,
    281   0x0000ffe0, 0x0000ff80, 0x0000ff80, 0x0000ff80,
    282   0x0000ffed, 0x0000ff81, 0x0000ff81, 0x0000007f,
    283   0x0000ffee, 0x0000ff82, 0x0000007e, 0x0000007e,
    284   0x0000ffef, 0x0000007d, 0x0000007d, 0x0000007d,
    285   0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
    286   0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
    287   0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
    288   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    289   0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
    290   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
    291   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
    292   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
    293   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
    294   0x00007fed, 0x00007f81, 0x00007f81, 0x00007f81,
    295   0x00007fee, 0x00007f82, 0x00007f82, 0x00007f82,
    296   0x00007fef, 0x00007f83, 0x00007f83, 0x0000aa2b,
    297   0x00007ff0, 0x00007f84, 0x0000aa2c, 0x0000cc4d,
    298   0x00007ff1, 0x0000aa2d, 0x0000cc4e, 0x0000ff01,
    299   0x0000aa9a, 0x0000cc4f, 0x0000ff02, 0x0000ff02,
    300   0x0000ccbc, 0x0000ff03, 0x0000ff03, 0x0000ff03,
    301   0x0000ff70, 0x0000ff04, 0x0000ff04, 0x0000ff04,
    302   0x0000ff04, 0x0000ff04, 0x0000ff04, 0x0000ccbd,
    303   0x0000ff05, 0x0000ff05, 0x0000ff71, 0x0000ccca,
    304   0x0000ff06, 0x0000ff72, 0x0000ff7e, 0x0000cccb,
    305   0x0000ff73, 0x0000ff7f, 0x0000ff7f, 0x0000cccc,
    306   0x0000ff80, 0x0000ff80, 0x0000ff80, 0x00003333,
    307   0x0000ff81, 0x0000ff81, 0x0000007f, 0x00003332,
    308   0x0000ff82, 0x0000007e, 0x0000007e, 0x00003331,
    309   0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
    310   0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
    311   0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
    312   0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
    313   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    314   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
    315   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
    316   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
    317   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    318   0x00007f80, 0x00007f80, 0x00007f80, 0x00004ccd,
    319   0x00007f81, 0x00007f81, 0x00007f81, 0x00004cce,
    320   0x00007f82, 0x00007f82, 0x00007f82, 0x00007777,
    321   0x00007f83, 0x00007f83, 0x0000aa2b, 0x00009999,
    322   0x00007f84, 0x0000aa2c, 0x0000cc4d, 0x0000cc4d,
    323   0x0000aa2d, 0x0000cc4e, 0x0000ff01, 0x0000cc4e,
    324   0x0000cc4f, 0x0000ff02, 0x0000ff02, 0x0000cc4f,
    325   0x0000ff03, 0x0000ff03, 0x0000ff03, 0x0000cc50,
    326   0x0000ff03, 0x0000ff03, 0x0000cc50, 0x0000aa9b,
    327   0x0000ff04, 0x0000ff04, 0x0000ccbd, 0x0000aaa8,
    328   0x0000ff05, 0x0000ff71, 0x0000ccca, 0x0000aaa9,
    329   0x0000ff72, 0x0000ff7e, 0x0000cccb, 0x0000aaaa,
    330   0x0000ff7f, 0x0000ff7f, 0x0000cccc, 0x00005555,
    331   0x0000ff80, 0x0000ff80, 0x00003333, 0x00005554,
    332   0x0000ff81, 0x0000007f, 0x00003332, 0x00005553,
    333   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
    334   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
    335   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
    336   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
    337   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
    338   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    339   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
    340   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
    341   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    342   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00002aab,
    343   0x00007f80, 0x00007f80, 0x00004ccd, 0x00002aac,
    344   0x00007f81, 0x00007f81, 0x00004cce, 0x00005555,
    345   0x00007f82, 0x00007f82, 0x00007777, 0x00007777,
    346   0x00007f83, 0x0000aa2b, 0x00009999, 0x0000aa2b,
    347   0x0000aa2c, 0x0000cc4d, 0x0000cc4d, 0x0000aa2c,
    348   0x0000cc4e, 0x0000ff01, 0x0000cc4e, 0x0000aa2d,
    349   0x0000ff02, 0x0000ff02, 0x0000cc4f, 0x0000aa2e,
    350   0x0000ff02, 0x0000cc4f, 0x0000aa2e, 0x00007ff3,
    351   0x0000ff03, 0x0000cc50, 0x0000aa9b, 0x00008000,
    352   0x0000ff04, 0x0000ccbd, 0x0000aaa8, 0x00008001,
    353   0x0000ff71, 0x0000ccca, 0x0000aaa9, 0x00008002,
    354   0x0000ff7e, 0x0000cccb, 0x0000aaaa, 0x00007ffd,
    355   0x0000ff7f, 0x0000cccc, 0x00005555, 0x00007ffc,
    356   0x0000ff80, 0x00003333, 0x00005554, 0x00007ffb,
    357   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
    358   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
    359   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
    360   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
    361   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
    362   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
    363   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    364   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
    365   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
    366   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00000003,
    367   0x00007f7f, 0x00004ccc, 0x00002aab, 0x00000004,
    368   0x00007f80, 0x00004ccd, 0x00002aac, 0x00002aad,
    369   0x00007f81, 0x00004cce, 0x00005555, 0x00004ccf,
    370   0x00007f82, 0x00007777, 0x00007777, 0x00007f83,
    371   0x0000aa2b, 0x00009999, 0x0000aa2b, 0x00007f84,
    372   0x0000cc4d, 0x0000cc4d, 0x0000aa2c, 0x00007f85,
    373   0x0000ff01, 0x0000cc4e, 0x0000aa2d, 0x00007f86,
    374   0x0000cc4e, 0x0000aa2d, 0x00007f86, 0x00007ff2,
    375   0x0000cc4f, 0x0000aa2e, 0x00007ff3, 0x00007fff,
    376   0x0000cc50, 0x0000aa9b, 0x00008000, 0x00008000,
    377   0x0000ccbd, 0x0000aaa8, 0x00008001, 0x00008001,
    378   0x0000ccca, 0x0000aaa9, 0x00008002, 0x00007ffe,
    379   0x0000cccb, 0x0000aaaa, 0x00007ffd, 0x00007ffd,
    380   0x0000cccc, 0x00005555, 0x00007ffc, 0x00007ffc,
    381   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
    382   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
    383   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
    384   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
    385   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
    386   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
    387   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
    388   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    389   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
    390   0x00004cca, 0x00002aa9, 0x00000002, 0x00000002,
    391   0x00004ccb, 0x00002aaa, 0x00000003, 0x00000003,
    392   0x00004ccc, 0x00002aab, 0x00000004, 0x00002aac,
    393   0x00004ccd, 0x00002aac, 0x00002aad, 0x00004cce,
    394   0x00004cce, 0x00005555, 0x00004ccf, 0x00007f82,
    395   0x00007777, 0x00007777, 0x00007f83, 0x00007f83,
    396   0x00009999, 0x0000aa2b, 0x00007f84, 0x00007f84,
    397   0x0000cc4d, 0x0000aa2c, 0x00007f85, 0x00007f85,
    398   0x0000aa2c, 0x00007f85, 0x00007f85, 0x00007ff1,
    399   0x0000aa2d, 0x00007f86, 0x00007ff2, 0x00007ffe,
    400   0x0000aa2e, 0x00007ff3, 0x00007fff, 0x00007fff,
    401   0x0000aa9b, 0x00008000, 0x00008000, 0x00008000,
    402   0x0000aaa8, 0x00008001, 0x00008001, 0x00007fff,
    403   0x0000aaa9, 0x00008002, 0x00007ffe, 0x00007ffe,
    404   0x0000aaaa, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    405   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
    406   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
    407   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
    408   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
    409   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    410   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    411   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
    412   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
    413   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    414   0x00002aa8, 0x00000001, 0x00000001, 0x00000001,
    415   0x00002aa9, 0x00000002, 0x00000002, 0x00000002,
    416   0x00002aaa, 0x00000003, 0x00000003, 0x00002aab,
    417   0x00002aab, 0x00000004, 0x00002aac, 0x00004ccd,
    418   0x00002aac, 0x00002aad, 0x00004cce, 0x00007f81,
    419   0x00005555, 0x00004ccf, 0x00007f82, 0x00007f82,
    420   0x00007777, 0x00007f83, 0x00007f83, 0x00007f83,
    421   0x0000aa2b, 0x00007f84, 0x00007f84, 0x00007f84,
    422   0x00007f84, 0x00007f84, 0x00007f84, 0x00007ff0,
    423   0x00007f85, 0x00007f85, 0x00007ff1, 0x00007ffd,
    424   0x00007f86, 0x00007ff2, 0x00007ffe, 0x00007ffe,
    425   0x00007ff3, 0x00007fff, 0x00007fff, 0x00007fff,
    426   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    427   0x00008001, 0x00008001, 0x00007fff, 0x00007fff,
    428   0x00008002, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    429   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00007ff0,
    430   0x00007ffc, 0x00007ffc, 0x00007fef, 0x00007f83,
    431   0x00007ffb, 0x00007fee, 0x00007f82, 0x00007f82,
    432   0x00007fed, 0x00007f81, 0x00007f81, 0x00007f81,
    433   0x00007f80, 0x00007f80, 0x00007f80, 0x00004ccd,
    434   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00002aab,
    435   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00000003,
    436   0x00004cca, 0x00002aa9, 0x00000002, 0x00000002,
    437   0x00002aa8, 0x00000001, 0x00000001, 0x00000001,
    438   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    439   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    440   0x00000002, 0x00000002, 0x00000002, 0x00002aaa,
    441   0x00000003, 0x00000003, 0x00002aab, 0x00004ccc,
    442   0x00000004, 0x00002aac, 0x00004ccd, 0x00007f80,
    443   0x00002aad, 0x00004cce, 0x00007f81, 0x00007f81,
    444   0x00004ccf, 0x00007f82, 0x00007f82, 0x00007f82,
    445   0x00007f83, 0x00007f83, 0x00007f83, 0x00007f83,
    446   0x00007f83, 0x00007f83, 0x00007f83, 0x00007fef,
    447   0x00007f84, 0x00007f84, 0x00007ff0, 0x00007ffc,
    448   0x00007f85, 0x00007ff1, 0x00007ffd, 0x00007ffd,
    449   0x00007ff2, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    450   0x00007fff, 0x00007fff, 0x00007fff, 0x00008001,
    451   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    452   0x00008001, 0x00007fff, 0x00007fff, 0x00007fff,
    453   0x00007ffe, 0x00007ffe, 0x00007ffe, 0x00007ff1,
    454   0x00007ffd, 0x00007ffd, 0x00007ff0, 0x00007f84,
    455   0x00007ffc, 0x00007fef, 0x00007f83, 0x00007f83,
    456   0x00007fee, 0x00007f82, 0x00007f82, 0x00007f82,
    457   0x00007f81, 0x00007f81, 0x00007f81, 0x00004cce,
    458   0x00007f80, 0x00007f80, 0x00004ccd, 0x00002aac,
    459   0x00007f7f, 0x00004ccc, 0x00002aab, 0x00000004,
    460   0x00004ccb, 0x00002aaa, 0x00000003, 0x00000003,
    461   0x00002aa9, 0x00000002, 0x00000002, 0x00000002,
    462   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    463   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    464   0x00000001, 0x00000001, 0x00000001, 0x00002aa9,
    465   0x00000002, 0x00000002, 0x00002aaa, 0x00004ccb,
    466   0x00000003, 0x00002aab, 0x00004ccc, 0x00007f7f,
    467   0x00002aac, 0x00004ccd, 0x00007f80, 0x00007f80,
    468   0x00004cce, 0x00007f81, 0x00007f81, 0x00007f81,
    469   0x00007f82, 0x00007f82, 0x00007f82, 0x00007f82,
    470   0x00007f82, 0x00007f82, 0x00007f82, 0x00005546,
    471   0x00007f83, 0x00007f83, 0x00007fef, 0x00005553,
    472   0x00007f84, 0x00007ff0, 0x00007ffc, 0x00005554,
    473   0x00007ff1, 0x00007ffd, 0x00007ffd, 0x00005555,
    474   0x00007ffe, 0x00007ffe, 0x00007ffe, 0x0000aaaa,
    475   0x00007fff, 0x00007fff, 0x00008001, 0x0000aaa9,
    476   0x00008000, 0x00008000, 0x00008000, 0x0000aaa8,
    477   0x00007fff, 0x00007fff, 0x00007fff, 0x0000aa9a,
    478   0x00007ffe, 0x00007ffe, 0x00007ff1, 0x0000aa2d,
    479   0x00007ffd, 0x00007ff0, 0x00007f84, 0x0000aa2c,
    480   0x00007fef, 0x00007f83, 0x00007f83, 0x0000aa2b,
    481   0x00007f82, 0x00007f82, 0x00007f82, 0x00007777,
    482   0x00007f81, 0x00007f81, 0x00004cce, 0x00005555,
    483   0x00007f80, 0x00004ccd, 0x00002aac, 0x00002aad,
    484   0x00004ccc, 0x00002aab, 0x00000004, 0x00002aac,
    485   0x00002aaa, 0x00000003, 0x00000003, 0x00002aab,
    486   0x00000002, 0x00000002, 0x00000002, 0x00002aaa,
    487   0x00000001, 0x00000001, 0x00000001, 0x00002aa9,
    488   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    489   0x00000001, 0x00000001, 0x00002aa9, 0x00002222,
    490   0x00000002, 0x00002aaa, 0x00004ccb, 0x000054d6,
    491   0x00002aab, 0x00004ccc, 0x00007f7f, 0x000054d7,
    492   0x00004ccd, 0x00007f80, 0x00007f80, 0x000054d8,
    493   0x00007f81, 0x00007f81, 0x00007f81, 0x000054d9,
    494   0x00007f81, 0x00007f81, 0x000054d9, 0x00003324,
    495   0x00007f82, 0x00007f82, 0x00005546, 0x00003331,
    496   0x00007f83, 0x00007fef, 0x00005553, 0x00003332,
    497   0x00007ff0, 0x00007ffc, 0x00005554, 0x00003333,
    498   0x00007ffd, 0x00007ffd, 0x00005555, 0x0000cccc,
    499   0x00007ffe, 0x00007ffe, 0x0000aaaa, 0x0000cccb,
    500   0x00007fff, 0x00008001, 0x0000aaa9, 0x0000ccca,
    501   0x00008000, 0x00008000, 0x0000aaa8, 0x0000ccbc,
    502   0x00007fff, 0x00007fff, 0x0000aa9a, 0x0000cc4f,
    503   0x00007ffe, 0x00007ff1, 0x0000aa2d, 0x0000cc4e,
    504   0x00007ff0, 0x00007f84, 0x0000aa2c, 0x0000cc4d,
    505   0x00007f83, 0x00007f83, 0x0000aa2b, 0x00009999,
    506   0x00007f82, 0x00007f82, 0x00007777, 0x00007777,
    507   0x00007f81, 0x00004cce, 0x00005555, 0x00004ccf,
    508   0x00004ccd, 0x00002aac, 0x00002aad, 0x00004cce,
    509   0x00002aab, 0x00000004, 0x00002aac, 0x00004ccd,
    510   0x00000003, 0x00000003, 0x00002aab, 0x00004ccc,
    511   0x00000002, 0x00000002, 0x00002aaa, 0x00004ccb,
    512   0x00000001, 0x00000001, 0x00002aa9, 0x00002222,
    513   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    514   0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
    515   0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
    516   0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
    517   0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
    518   0x00007f80, 0x000054d8, 0x000032b7, 0x00000070,
    519   0x00007f81, 0x000054d9, 0x00003324, 0x0000007d,
    520   0x00007f82, 0x00005546, 0x00003331, 0x0000007e,
    521   0x00007fef, 0x00005553, 0x00003332, 0x0000007f,
    522   0x00007ffc, 0x00005554, 0x00003333, 0x0000ff80,
    523   0x00007ffd, 0x00005555, 0x0000cccc, 0x0000ff7f,
    524   0x00007ffe, 0x0000aaaa, 0x0000cccb, 0x0000ff7e,
    525   0x00008001, 0x0000aaa9, 0x0000ccca, 0x0000ff70,
    526   0x00008000, 0x0000aaa8, 0x0000ccbc, 0x0000ff03,
    527   0x00007fff, 0x0000aa9a, 0x0000cc4f, 0x0000ff02,
    528   0x00007ff1, 0x0000aa2d, 0x0000cc4e, 0x0000ff01,
    529   0x00007f84, 0x0000aa2c, 0x0000cc4d, 0x0000cc4d,
    530   0x00007f83, 0x0000aa2b, 0x00009999, 0x0000aa2b,
    531   0x00007f82, 0x00007777, 0x00007777, 0x00007f83,
    532   0x00004cce, 0x00005555, 0x00004ccf, 0x00007f82,
    533   0x00002aac, 0x00002aad, 0x00004cce, 0x00007f81,
    534   0x00000004, 0x00002aac, 0x00004ccd, 0x00007f80,
    535   0x00000003, 0x00002aab, 0x00004ccc, 0x00007f7f,
    536   0x00000002, 0x00002aaa, 0x00004ccb, 0x000054d6,
    537   0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
    538   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    539   0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
    540   0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
    541   0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
    542   0x000054d7, 0x000032b6, 0x00000003, 0x0000006f,
    543   0x000054d8, 0x000032b7, 0x00000070, 0x0000007c,
    544   0x000054d9, 0x00003324, 0x0000007d, 0x0000007d,
    545   0x00005546, 0x00003331, 0x0000007e, 0x0000007e,
    546   0x00005553, 0x00003332, 0x0000007f, 0x0000ff81,
    547   0x00005554, 0x00003333, 0x0000ff80, 0x0000ff80,
    548   0x00005555, 0x0000cccc, 0x0000ff7f, 0x0000ff7f,
    549   0x0000aaaa, 0x0000cccb, 0x0000ff7e, 0x0000ff71,
    550   0x0000aaa9, 0x0000ccca, 0x0000ff70, 0x0000ff04,
    551   0x0000aaa8, 0x0000ccbc, 0x0000ff03, 0x0000ff03,
    552   0x0000aa9a, 0x0000cc4f, 0x0000ff02, 0x0000ff02,
    553   0x0000aa2d, 0x0000cc4e, 0x0000ff01, 0x0000cc4e,
    554   0x0000aa2c, 0x0000cc4d, 0x0000cc4d, 0x0000aa2c,
    555   0x0000aa2b, 0x00009999, 0x0000aa2b, 0x00007f84,
    556   0x00007777, 0x00007777, 0x00007f83, 0x00007f83,
    557   0x00005555, 0x00004ccf, 0x00007f82, 0x00007f82,
    558   0x00002aad, 0x00004cce, 0x00007f81, 0x00007f81,
    559   0x00002aac, 0x00004ccd, 0x00007f80, 0x00007f80,
    560   0x00002aab, 0x00004ccc, 0x00007f7f, 0x000054d7,
    561   0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
    562   0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
    563   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    564   0x00002222, 0x000032b4, 0x00000001, 0x00000001,
    565   0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
    566   0x000032b5, 0x00000002, 0x00000002, 0x0000006e,
    567   0x000032b6, 0x00000003, 0x0000006f, 0x0000007b,
    568   0x000032b7, 0x00000070, 0x0000007c, 0x0000007c,
    569   0x00003324, 0x0000007d, 0x0000007d, 0x0000007d,
    570   0x00003331, 0x0000007e, 0x0000007e, 0x0000ff82,
    571   0x00003332, 0x0000007f, 0x0000ff81, 0x0000ff81,
    572   0x00003333, 0x0000ff80, 0x0000ff80, 0x0000ff80,
    573   0x0000cccc, 0x0000ff7f, 0x0000ff7f, 0x0000ff72,
    574   0x0000cccb, 0x0000ff7e, 0x0000ff71, 0x0000ff05,
    575   0x0000ccca, 0x0000ff70, 0x0000ff04, 0x0000ff04,
    576   0x0000ccbc, 0x0000ff03, 0x0000ff03, 0x0000ff03,
    577   0x0000cc4f, 0x0000ff02, 0x0000ff02, 0x0000cc4f,
    578   0x0000cc4e, 0x0000ff01, 0x0000cc4e, 0x0000aa2d,
    579   0x0000cc4d, 0x0000cc4d, 0x0000aa2c, 0x00007f85,
    580   0x00009999, 0x0000aa2b, 0x00007f84, 0x00007f84,
    581   0x00007777, 0x00007f83, 0x00007f83, 0x00007f83,
    582   0x00004ccf, 0x00007f82, 0x00007f82, 0x00007f82,
    583   0x00004cce, 0x00007f81, 0x00007f81, 0x00007f81,
    584   0x00004ccd, 0x00007f80, 0x00007f80, 0x000054d8,
    585   0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
    586   0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
    587   0x00002222, 0x000032b4, 0x00000001, 0x00000001,
    588   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    589   0x000032b4, 0x00000001, 0x00000001, 0x00000001,
    590   0x00000001, 0x00000001, 0x00000001, 0x0000006d,
    591   0x00000002, 0x00000002, 0x0000006e, 0x0000007a,
    592   0x00000003, 0x0000006f, 0x0000007b, 0x0000007b,
    593   0x00000070, 0x0000007c, 0x0000007c, 0x0000007c,
    594   0x0000007d, 0x0000007d, 0x0000007d, 0x0000ff83,
    595   0x0000007e, 0x0000007e, 0x0000ff82, 0x0000ff82,
    596   0x0000007f, 0x0000ff81, 0x0000ff81, 0x0000ff81,
    597   0x0000ff80, 0x0000ff80, 0x0000ff80, 0x0000ff73,
    598   0x0000ff7f, 0x0000ff7f, 0x0000ff72, 0x0000ff06,
    599   0x0000ff7e, 0x0000ff71, 0x0000ff05, 0x0000ff05,
    600   0x0000ff70, 0x0000ff04, 0x0000ff04, 0x0000ff04,
    601   0x0000ff03, 0x0000ff03, 0x0000ff03, 0x0000cc50,
    602   0x0000ff02, 0x0000ff02, 0x0000cc4f, 0x0000aa2e,
    603   0x0000ff01, 0x0000cc4e, 0x0000aa2d, 0x00007f86,
    604   0x0000cc4d, 0x0000aa2c, 0x00007f85, 0x00007f85,
    605   0x0000aa2b, 0x00007f84, 0x00007f84, 0x00007f84,
    606   0x00007f83, 0x00007f83, 0x00007f83, 0x00007f83,
    607   0x00007f82, 0x00007f82, 0x00007f82, 0x00007f82,
    608   0x00007f81, 0x00007f81, 0x00007f81, 0x000054d9,
    609   0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
    610   0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
    611   0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
    612   0x000032b4, 0x00000001, 0x00000001, 0x00000001,
    613   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    614 };
    615 const unsigned kExpectedCount_NEON_uabdl_4S = 576;
    616 
    617 #endif  // VIXL_SIM_UABDL_4S_TRACE_A64_H_
    618