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_UABAL2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UABAL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_uabal2_4S[] = {
     38   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     39   0x00000001, 0x00000002, 0x00008001, 0x00000021,
     40   0x00000002, 0x00007fff, 0x00008000, 0x00000022,
     41   0x00007ffd, 0x00007ffe, 0x00007fff, 0x00000030,
     42   0x00007ffc, 0x00007ffd, 0x00007ff1, 0x0000009d,
     43   0x00007ffb, 0x00007fef, 0x00007f84, 0x0000009e,
     44   0x00007fed, 0x00007f82, 0x00007f83, 0x0000009f,
     45   0x00007f80, 0x00007f81, 0x00007f82, 0x00003353,
     46   0x00007f7f, 0x00007f80, 0x00004cce, 0x00005575,
     47   0x00007f7e, 0x00004ccc, 0x00002aac, 0x0000801d,
     48   0x00004cca, 0x00002aaa, 0x00000004, 0x0000801e,
     49   0x00002aa8, 0x00000002, 0x00000003, 0x0000801f,
     50   0x00000000, 0x00000001, 0x00000002, 0x00008020,
     51   0x00000001, 0x00000002, 0x00000003, 0x00008021,
     52   0x00000002, 0x00000003, 0x00000004, 0x0000aaca,
     53   0x00000003, 0x00000004, 0x00002aad, 0x0000ccec,
     54   0x00000004, 0x00002aad, 0x00004ccf, 0x0000ffa0,
     55   0x00002aad, 0x00004ccf, 0x00007f83, 0x0000ffa1,
     56   0x00004ccf, 0x00007f83, 0x00007f84, 0x0000ffa2,
     57   0x00007f83, 0x00007f84, 0x00007f85, 0x0000ffa3,
     58   0x00007f84, 0x00007f85, 0x00007f86, 0x00010010,
     59   0x00007f85, 0x00007f86, 0x00007ff3, 0x0001001d,
     60   0x00007f86, 0x00007ff3, 0x00008000, 0x0001001e,
     61   0x00007ff3, 0x00008000, 0x00008001, 0x0001001f,
     62   0x00007fff, 0x00008000, 0x00010001, 0x00000021,
     63   0x00008000, 0x00008001, 0x00000002, 0x00000020,
     64   0x00008001, 0x00008000, 0x00000003, 0x00000021,
     65   0x00007ffe, 0x00007fff, 0x00000004, 0x0000002f,
     66   0x00007ffd, 0x00007ffe, 0x00000012, 0x0000009c,
     67   0x00007ffc, 0x00007ff0, 0x0000007f, 0x0000009d,
     68   0x00007fee, 0x00007f83, 0x00000080, 0x0000009e,
     69   0x00007f81, 0x00007f82, 0x00000081, 0x00003352,
     70   0x00007f80, 0x00007f81, 0x00003335, 0x00005574,
     71   0x00007f7f, 0x00004ccd, 0x00005557, 0x0000801c,
     72   0x00004ccb, 0x00002aab, 0x00007fff, 0x0000801d,
     73   0x00002aa9, 0x00000003, 0x00008000, 0x0000801e,
     74   0x00000001, 0x00000002, 0x00008001, 0x0000801f,
     75   0x00000000, 0x00000001, 0x00008002, 0x00008020,
     76   0x00000001, 0x00000002, 0x00008003, 0x0000aac9,
     77   0x00000002, 0x00000003, 0x0000aaac, 0x0000cceb,
     78   0x00000003, 0x00002aac, 0x0000ccce, 0x0000ff9f,
     79   0x00002aac, 0x00004cce, 0x0000ff82, 0x0000ffa0,
     80   0x00004cce, 0x00007f82, 0x0000ff83, 0x0000ffa1,
     81   0x00007f82, 0x00007f83, 0x0000ff84, 0x0000ffa2,
     82   0x00007f83, 0x00007f84, 0x0000ff85, 0x0001000f,
     83   0x00007f84, 0x00007f85, 0x0000fff2, 0x0001001c,
     84   0x00007f85, 0x00007ff2, 0x0000ffff, 0x0001001d,
     85   0x00007ff2, 0x00007fff, 0x00010000, 0x0001001e,
     86   0x00007ffe, 0x0000ffff, 0x00010000, 0x00000022,
     87   0x00007fff, 0x00010000, 0x00000003, 0x00000021,
     88   0x00008000, 0x00000001, 0x00000002, 0x00000020,
     89   0x00007fff, 0x00000002, 0x00000003, 0x0000002e,
     90   0x00007ffe, 0x00000003, 0x00000011, 0x0000009b,
     91   0x00007ffd, 0x00000011, 0x0000007e, 0x0000009c,
     92   0x00007fef, 0x0000007e, 0x0000007f, 0x0000009d,
     93   0x00007f82, 0x0000007f, 0x00000080, 0x00003351,
     94   0x00007f81, 0x00000080, 0x00003334, 0x00005573,
     95   0x00007f80, 0x00003334, 0x00005556, 0x0000801b,
     96   0x00004ccc, 0x00005556, 0x00007ffe, 0x0000801c,
     97   0x00002aaa, 0x00007ffe, 0x00007fff, 0x0000801d,
     98   0x00000002, 0x00007fff, 0x00008000, 0x0000801e,
     99   0x00000001, 0x00008000, 0x00008001, 0x0000801f,
    100   0x00000000, 0x00008001, 0x00008002, 0x0000aac8,
    101   0x00000001, 0x00008002, 0x0000aaab, 0x0000ccea,
    102   0x00000002, 0x0000aaab, 0x0000cccd, 0x0000ff9e,
    103   0x00002aab, 0x0000cccd, 0x0000ff81, 0x0000ff9f,
    104   0x00004ccd, 0x0000ff81, 0x0000ff82, 0x0000ffa0,
    105   0x00007f81, 0x0000ff82, 0x0000ff83, 0x0000ffa1,
    106   0x00007f82, 0x0000ff83, 0x0000ff84, 0x0001000e,
    107   0x00007f83, 0x0000ff84, 0x0000fff1, 0x0001001b,
    108   0x00007f84, 0x0000fff1, 0x0000fffe, 0x0001001c,
    109   0x00007ff1, 0x0000fffe, 0x0000ffff, 0x0001001d,
    110   0x0000fffd, 0x0000fffe, 0x0000ffff, 0x00000030,
    111   0x0000fffe, 0x0000ffff, 0x00000004, 0x0000002f,
    112   0x0000ffff, 0x00000002, 0x00000003, 0x0000002e,
    113   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    114   0x00000001, 0x00000002, 0x00000010, 0x0000008d,
    115   0x00000002, 0x00000010, 0x0000007d, 0x0000008e,
    116   0x00000010, 0x0000007d, 0x0000007e, 0x0000008f,
    117   0x0000007d, 0x0000007e, 0x0000007f, 0x00003343,
    118   0x0000007e, 0x0000007f, 0x00003333, 0x00005565,
    119   0x0000007f, 0x00003333, 0x00005555, 0x0000800d,
    120   0x00003333, 0x00005555, 0x00007ffd, 0x0000800e,
    121   0x00005555, 0x00007ffd, 0x00007ffe, 0x0000800f,
    122   0x00007ffd, 0x00007ffe, 0x00007fff, 0x00008010,
    123   0x00007ffe, 0x00007fff, 0x00008000, 0x00008011,
    124   0x00007fff, 0x00008000, 0x00008001, 0x0000aaba,
    125   0x00008000, 0x00008001, 0x0000aaaa, 0x0000ccdc,
    126   0x00008001, 0x0000aaaa, 0x0000cccc, 0x0000ff90,
    127   0x0000aaaa, 0x0000cccc, 0x0000ff80, 0x0000ff91,
    128   0x0000cccc, 0x0000ff80, 0x0000ff81, 0x0000ff92,
    129   0x0000ff80, 0x0000ff81, 0x0000ff82, 0x0000ff93,
    130   0x0000ff81, 0x0000ff82, 0x0000ff83, 0x00010000,
    131   0x0000ff82, 0x0000ff83, 0x0000fff0, 0x0001000d,
    132   0x0000ff83, 0x0000fff0, 0x0000fffd, 0x0001000e,
    133   0x0000fff0, 0x0000fffd, 0x0000fffe, 0x0001000f,
    134   0x0000fffc, 0x0000fffd, 0x0000fff1, 0x0000009d,
    135   0x0000fffd, 0x0000fffe, 0x00000012, 0x0000009c,
    136   0x0000fffe, 0x00000003, 0x00000011, 0x0000009b,
    137   0x00000001, 0x00000002, 0x00000010, 0x0000008d,
    138   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    139   0x00000001, 0x0000000f, 0x0000006f, 0x00000021,
    140   0x0000000f, 0x0000007c, 0x00000070, 0x00000022,
    141   0x0000007c, 0x0000007d, 0x00000071, 0x000032d6,
    142   0x0000007d, 0x0000007e, 0x00003325, 0x000054f8,
    143   0x0000007e, 0x00003332, 0x00005547, 0x00007fa0,
    144   0x00003332, 0x00005554, 0x00007fef, 0x00007fa1,
    145   0x00005554, 0x00007ffc, 0x00007ff0, 0x00007fa2,
    146   0x00007ffc, 0x00007ffd, 0x00007ff1, 0x00007fa3,
    147   0x00007ffd, 0x00007ffe, 0x00007ff2, 0x00007fa4,
    148   0x00007ffe, 0x00007fff, 0x00007ff3, 0x0000aa4d,
    149   0x00007fff, 0x00008000, 0x0000aa9c, 0x0000cc6f,
    150   0x00008000, 0x0000aaa9, 0x0000ccbe, 0x0000ff23,
    151   0x0000aaa9, 0x0000cccb, 0x0000ff72, 0x0000ff24,
    152   0x0000cccb, 0x0000ff7f, 0x0000ff73, 0x0000ff25,
    153   0x0000ff7f, 0x0000ff80, 0x0000ff74, 0x0000ff26,
    154   0x0000ff80, 0x0000ff81, 0x0000ff75, 0x0000ff93,
    155   0x0000ff81, 0x0000ff82, 0x0000ffe2, 0x0000ffa0,
    156   0x0000ff82, 0x0000ffef, 0x0000ffef, 0x0000ffa1,
    157   0x0000ffef, 0x0000fffc, 0x0000fff0, 0x0000ffa2,
    158   0x0000fffb, 0x0000ffef, 0x0000ff84, 0x0000009e,
    159   0x0000fffc, 0x0000fff0, 0x0000007f, 0x0000009d,
    160   0x0000fffd, 0x00000011, 0x0000007e, 0x0000009c,
    161   0x00000002, 0x00000010, 0x0000007d, 0x0000008e,
    162   0x00000001, 0x0000000f, 0x0000006f, 0x00000021,
    163   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    164   0x0000000e, 0x0000006e, 0x00000003, 0x00000021,
    165   0x0000007b, 0x0000006f, 0x00000004, 0x000032d5,
    166   0x0000007c, 0x00000070, 0x000032b8, 0x000054f7,
    167   0x0000007d, 0x00003324, 0x000054da, 0x00007f9f,
    168   0x00003331, 0x00005546, 0x00007f82, 0x00007fa0,
    169   0x00005553, 0x00007fee, 0x00007f83, 0x00007fa1,
    170   0x00007ffb, 0x00007fef, 0x00007f84, 0x00007fa2,
    171   0x00007ffc, 0x00007ff0, 0x00007f85, 0x00007fa3,
    172   0x00007ffd, 0x00007ff1, 0x00007f86, 0x0000aa4c,
    173   0x00007ffe, 0x00007ff2, 0x0000aa2f, 0x0000cc6e,
    174   0x00007fff, 0x0000aa9b, 0x0000cc51, 0x0000ff22,
    175   0x0000aaa8, 0x0000ccbd, 0x0000ff05, 0x0000ff23,
    176   0x0000ccca, 0x0000ff71, 0x0000ff06, 0x0000ff24,
    177   0x0000ff7e, 0x0000ff72, 0x0000ff07, 0x0000ff25,
    178   0x0000ff7f, 0x0000ff73, 0x0000ff08, 0x0000ff92,
    179   0x0000ff80, 0x0000ff74, 0x0000ff75, 0x0000ff9f,
    180   0x0000ff81, 0x0000ffe1, 0x0000ff82, 0x0000ffa0,
    181   0x0000ffee, 0x0000ffee, 0x0000ff83, 0x0000ffa1,
    182   0x0000ffed, 0x0000ff82, 0x0000ff83, 0x0000009f,
    183   0x0000ffee, 0x0000ff83, 0x00000080, 0x0000009e,
    184   0x0000ffef, 0x0000007e, 0x0000007f, 0x0000009d,
    185   0x00000010, 0x0000007d, 0x0000007e, 0x0000008f,
    186   0x0000000f, 0x0000007c, 0x00000070, 0x00000022,
    187   0x0000000e, 0x0000006e, 0x00000003, 0x00000021,
    188   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    189   0x0000006d, 0x00000002, 0x00000003, 0x000032d4,
    190   0x0000006e, 0x00000003, 0x000032b7, 0x000054f6,
    191   0x0000006f, 0x000032b7, 0x000054d9, 0x00007f9e,
    192   0x00003323, 0x000054d9, 0x00007f81, 0x00007f9f,
    193   0x00005545, 0x00007f81, 0x00007f82, 0x00007fa0,
    194   0x00007fed, 0x00007f82, 0x00007f83, 0x00007fa1,
    195   0x00007fee, 0x00007f83, 0x00007f84, 0x00007fa2,
    196   0x00007fef, 0x00007f84, 0x00007f85, 0x0000aa4b,
    197   0x00007ff0, 0x00007f85, 0x0000aa2e, 0x0000cc6d,
    198   0x00007ff1, 0x0000aa2e, 0x0000cc50, 0x0000ff21,
    199   0x0000aa9a, 0x0000cc50, 0x0000ff04, 0x0000ff22,
    200   0x0000ccbc, 0x0000ff04, 0x0000ff05, 0x0000ff23,
    201   0x0000ff70, 0x0000ff05, 0x0000ff06, 0x0000ff24,
    202   0x0000ff71, 0x0000ff06, 0x0000ff07, 0x0000ff91,
    203   0x0000ff72, 0x0000ff07, 0x0000ff74, 0x0000ff9e,
    204   0x0000ff73, 0x0000ff74, 0x0000ff81, 0x0000ff9f,
    205   0x0000ffe0, 0x0000ff81, 0x0000ff82, 0x0000ffa0,
    206   0x0000ff80, 0x0000ff81, 0x0000ff82, 0x00003353,
    207   0x0000ff81, 0x0000ff82, 0x00000081, 0x00003352,
    208   0x0000ff82, 0x0000007f, 0x00000080, 0x00003351,
    209   0x0000007d, 0x0000007e, 0x0000007f, 0x00003343,
    210   0x0000007c, 0x0000007d, 0x00000071, 0x000032d6,
    211   0x0000007b, 0x0000006f, 0x00000004, 0x000032d5,
    212   0x0000006d, 0x00000002, 0x00000003, 0x000032d4,
    213   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    214   0x00000001, 0x00000002, 0x000032b6, 0x00002242,
    215   0x00000002, 0x000032b6, 0x000054d8, 0x00004cea,
    216   0x000032b6, 0x000054d8, 0x00007f80, 0x00004ceb,
    217   0x000054d8, 0x00007f80, 0x00007f81, 0x00004cec,
    218   0x00007f80, 0x00007f81, 0x00007f82, 0x00004ced,
    219   0x00007f81, 0x00007f82, 0x00007f83, 0x00004cee,
    220   0x00007f82, 0x00007f83, 0x00007f84, 0x00007797,
    221   0x00007f83, 0x00007f84, 0x0000aa2d, 0x000099b9,
    222   0x00007f84, 0x0000aa2d, 0x0000cc4f, 0x0000cc6d,
    223   0x0000aa2d, 0x0000cc4f, 0x0000ff03, 0x0000cc6e,
    224   0x0000cc4f, 0x0000ff03, 0x0000ff04, 0x0000cc6f,
    225   0x0000ff03, 0x0000ff04, 0x0000ff05, 0x0000cc70,
    226   0x0000ff04, 0x0000ff05, 0x0000ff06, 0x0000ccdd,
    227   0x0000ff05, 0x0000ff06, 0x0000ff73, 0x0000ccea,
    228   0x0000ff06, 0x0000ff73, 0x0000ff80, 0x0000cceb,
    229   0x0000ff73, 0x0000ff80, 0x0000ff81, 0x0000ccec,
    230   0x0000ff7f, 0x0000ff80, 0x0000ccce, 0x00005575,
    231   0x0000ff80, 0x0000ff81, 0x00003335, 0x00005574,
    232   0x0000ff81, 0x00000080, 0x00003334, 0x00005573,
    233   0x0000007e, 0x0000007f, 0x00003333, 0x00005565,
    234   0x0000007d, 0x0000007e, 0x00003325, 0x000054f8,
    235   0x0000007c, 0x00000070, 0x000032b8, 0x000054f7,
    236   0x0000006e, 0x00000003, 0x000032b7, 0x000054f6,
    237   0x00000001, 0x00000002, 0x000032b6, 0x00002242,
    238   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    239   0x00000001, 0x000032b5, 0x00002224, 0x00002ac8,
    240   0x000032b5, 0x000054d7, 0x00004ccc, 0x00002ac9,
    241   0x000054d7, 0x00007f7f, 0x00004ccd, 0x00002aca,
    242   0x00007f7f, 0x00007f80, 0x00004cce, 0x00002acb,
    243   0x00007f80, 0x00007f81, 0x00004ccf, 0x00002acc,
    244   0x00007f81, 0x00007f82, 0x00004cd0, 0x00005575,
    245   0x00007f82, 0x00007f83, 0x00007779, 0x00007797,
    246   0x00007f83, 0x0000aa2c, 0x0000999b, 0x0000aa4b,
    247   0x0000aa2c, 0x0000cc4e, 0x0000cc4f, 0x0000aa4c,
    248   0x0000cc4e, 0x0000ff02, 0x0000cc50, 0x0000aa4d,
    249   0x0000ff02, 0x0000ff03, 0x0000cc51, 0x0000aa4e,
    250   0x0000ff03, 0x0000ff04, 0x0000cc52, 0x0000aabb,
    251   0x0000ff04, 0x0000ff05, 0x0000ccbf, 0x0000aac8,
    252   0x0000ff05, 0x0000ff72, 0x0000cccc, 0x0000aac9,
    253   0x0000ff72, 0x0000ff7f, 0x0000cccd, 0x0000aaca,
    254   0x0000ff7e, 0x0000cccc, 0x0000aaac, 0x0000801d,
    255   0x0000ff7f, 0x0000cccd, 0x00005557, 0x0000801c,
    256   0x0000ff80, 0x00003334, 0x00005556, 0x0000801b,
    257   0x0000007f, 0x00003333, 0x00005555, 0x0000800d,
    258   0x0000007e, 0x00003332, 0x00005547, 0x00007fa0,
    259   0x0000007d, 0x00003324, 0x000054da, 0x00007f9f,
    260   0x0000006f, 0x000032b7, 0x000054d9, 0x00007f9e,
    261   0x00000002, 0x000032b6, 0x000054d8, 0x00004cea,
    262   0x00000001, 0x000032b5, 0x00002224, 0x00002ac8,
    263   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    264   0x000032b4, 0x00002223, 0x00002aaa, 0x00000021,
    265   0x000054d6, 0x00004ccb, 0x00002aab, 0x00000022,
    266   0x00007f7e, 0x00004ccc, 0x00002aac, 0x00000023,
    267   0x00007f7f, 0x00004ccd, 0x00002aad, 0x00000024,
    268   0x00007f80, 0x00004cce, 0x00002aae, 0x00002acd,
    269   0x00007f81, 0x00004ccf, 0x00005557, 0x00004cef,
    270   0x00007f82, 0x00007778, 0x00007779, 0x00007fa3,
    271   0x0000aa2b, 0x0000999a, 0x0000aa2d, 0x00007fa4,
    272   0x0000cc4d, 0x0000cc4e, 0x0000aa2e, 0x00007fa5,
    273   0x0000ff01, 0x0000cc4f, 0x0000aa2f, 0x00007fa6,
    274   0x0000ff02, 0x0000cc50, 0x0000aa30, 0x00008013,
    275   0x0000ff03, 0x0000cc51, 0x0000aa9d, 0x00008020,
    276   0x0000ff04, 0x0000ccbe, 0x0000aaaa, 0x00008021,
    277   0x0000ff71, 0x0000cccb, 0x0000aaab, 0x00008022,
    278   0x0000ccca, 0x0000aaaa, 0x00008004, 0x0000801e,
    279   0x0000cccb, 0x0000aaab, 0x00007fff, 0x0000801d,
    280   0x0000cccc, 0x00005556, 0x00007ffe, 0x0000801c,
    281   0x00003333, 0x00005555, 0x00007ffd, 0x0000800e,
    282   0x00003332, 0x00005554, 0x00007fef, 0x00007fa1,
    283   0x00003331, 0x00005546, 0x00007f82, 0x00007fa0,
    284   0x00003323, 0x000054d9, 0x00007f81, 0x00007f9f,
    285   0x000032b6, 0x000054d8, 0x00007f80, 0x00004ceb,
    286   0x000032b5, 0x000054d7, 0x00004ccc, 0x00002ac9,
    287   0x000032b4, 0x00002223, 0x00002aaa, 0x00000021,
    288   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    289   0x00002222, 0x00002aa9, 0x00000003, 0x00000021,
    290   0x00004cca, 0x00002aaa, 0x00000004, 0x00000022,
    291   0x00004ccb, 0x00002aab, 0x00000005, 0x00000023,
    292   0x00004ccc, 0x00002aac, 0x00000006, 0x00002acc,
    293   0x00004ccd, 0x00002aad, 0x00002aaf, 0x00004cee,
    294   0x00004cce, 0x00005556, 0x00004cd1, 0x00007fa2,
    295   0x00007777, 0x00007778, 0x00007f85, 0x00007fa3,
    296   0x00009999, 0x0000aa2c, 0x00007f86, 0x00007fa4,
    297   0x0000cc4d, 0x0000aa2d, 0x00007f87, 0x00007fa5,
    298   0x0000cc4e, 0x0000aa2e, 0x00007f88, 0x00008012,
    299   0x0000cc4f, 0x0000aa2f, 0x00007ff5, 0x0000801f,
    300   0x0000cc50, 0x0000aa9c, 0x00008002, 0x00008020,
    301   0x0000ccbd, 0x0000aaa9, 0x00008003, 0x00008021,
    302   0x0000aaa8, 0x00008002, 0x00008003, 0x0000801f,
    303   0x0000aaa9, 0x00008003, 0x00008000, 0x0000801e,
    304   0x0000aaaa, 0x00007ffe, 0x00007fff, 0x0000801d,
    305   0x00005555, 0x00007ffd, 0x00007ffe, 0x0000800f,
    306   0x00005554, 0x00007ffc, 0x00007ff0, 0x00007fa2,
    307   0x00005553, 0x00007fee, 0x00007f83, 0x00007fa1,
    308   0x00005545, 0x00007f81, 0x00007f82, 0x00007fa0,
    309   0x000054d8, 0x00007f80, 0x00007f81, 0x00004cec,
    310   0x000054d7, 0x00007f7f, 0x00004ccd, 0x00002aca,
    311   0x000054d6, 0x00004ccb, 0x00002aab, 0x00000022,
    312   0x00002222, 0x00002aa9, 0x00000003, 0x00000021,
    313   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    314   0x00002aa8, 0x00000002, 0x00000003, 0x00000021,
    315   0x00002aa9, 0x00000003, 0x00000004, 0x00000022,
    316   0x00002aaa, 0x00000004, 0x00000005, 0x00002acb,
    317   0x00002aab, 0x00000005, 0x00002aae, 0x00004ced,
    318   0x00002aac, 0x00002aae, 0x00004cd0, 0x00007fa1,
    319   0x00005555, 0x00004cd0, 0x00007f84, 0x00007fa2,
    320   0x00007777, 0x00007f84, 0x00007f85, 0x00007fa3,
    321   0x0000aa2b, 0x00007f85, 0x00007f86, 0x00007fa4,
    322   0x0000aa2c, 0x00007f86, 0x00007f87, 0x00008011,
    323   0x0000aa2d, 0x00007f87, 0x00007ff4, 0x0000801e,
    324   0x0000aa2e, 0x00007ff4, 0x00008001, 0x0000801f,
    325   0x0000aa9b, 0x00008001, 0x00008002, 0x00008020,
    326   0x00008000, 0x00008001, 0x00008002, 0x00008020,
    327   0x00008001, 0x00008002, 0x00008001, 0x0000801f,
    328   0x00008002, 0x00007fff, 0x00008000, 0x0000801e,
    329   0x00007ffd, 0x00007ffe, 0x00007fff, 0x00008010,
    330   0x00007ffc, 0x00007ffd, 0x00007ff1, 0x00007fa3,
    331   0x00007ffb, 0x00007fef, 0x00007f84, 0x00007fa2,
    332   0x00007fed, 0x00007f82, 0x00007f83, 0x00007fa1,
    333   0x00007f80, 0x00007f81, 0x00007f82, 0x00004ced,
    334   0x00007f7f, 0x00007f80, 0x00004cce, 0x00002acb,
    335   0x00007f7e, 0x00004ccc, 0x00002aac, 0x00000023,
    336   0x00004cca, 0x00002aaa, 0x00000004, 0x00000022,
    337   0x00002aa8, 0x00000002, 0x00000003, 0x00000021,
    338   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    339   0x00000001, 0x00000002, 0x00000003, 0x00000021,
    340   0x00000002, 0x00000003, 0x00000004, 0x00002aca,
    341   0x00000003, 0x00000004, 0x00002aad, 0x00004cec,
    342   0x00000004, 0x00002aad, 0x00004ccf, 0x00007fa0,
    343   0x00002aad, 0x00004ccf, 0x00007f83, 0x00007fa1,
    344   0x00004ccf, 0x00007f83, 0x00007f84, 0x00007fa2,
    345   0x00007f83, 0x00007f84, 0x00007f85, 0x00007fa3,
    346   0x00007f84, 0x00007f85, 0x00007f86, 0x00008010,
    347   0x00007f85, 0x00007f86, 0x00007ff3, 0x0000801d,
    348   0x00007f86, 0x00007ff3, 0x00008000, 0x0000801e,
    349   0x00007ff3, 0x00008000, 0x00008001, 0x0000801f,
    350   0x00007fff, 0x00008000, 0x00008001, 0x00008021,
    351   0x00008000, 0x00008001, 0x00008002, 0x00008020,
    352   0x00008001, 0x00008000, 0x00008001, 0x0000801f,
    353   0x00007ffe, 0x00007fff, 0x00008000, 0x00008011,
    354   0x00007ffd, 0x00007ffe, 0x00007ff2, 0x00007fa4,
    355   0x00007ffc, 0x00007ff0, 0x00007f85, 0x00007fa3,
    356   0x00007fee, 0x00007f83, 0x00007f84, 0x00007fa2,
    357   0x00007f81, 0x00007f82, 0x00007f83, 0x00004cee,
    358   0x00007f80, 0x00007f81, 0x00004ccf, 0x00002acc,
    359   0x00007f7f, 0x00004ccd, 0x00002aad, 0x00000024,
    360   0x00004ccb, 0x00002aab, 0x00000005, 0x00000023,
    361   0x00002aa9, 0x00000003, 0x00000004, 0x00000022,
    362   0x00000001, 0x00000002, 0x00000003, 0x00000021,
    363   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    364   0x00000001, 0x00000002, 0x00000003, 0x00002ac9,
    365   0x00000002, 0x00000003, 0x00002aac, 0x00004ceb,
    366   0x00000003, 0x00002aac, 0x00004cce, 0x00007f9f,
    367   0x00002aac, 0x00004cce, 0x00007f82, 0x00007fa0,
    368   0x00004cce, 0x00007f82, 0x00007f83, 0x00007fa1,
    369   0x00007f82, 0x00007f83, 0x00007f84, 0x00007fa2,
    370   0x00007f83, 0x00007f84, 0x00007f85, 0x0000800f,
    371   0x00007f84, 0x00007f85, 0x00007ff2, 0x0000801c,
    372   0x00007f85, 0x00007ff2, 0x00007fff, 0x0000801d,
    373   0x00007ff2, 0x00007fff, 0x00008000, 0x0000801e,
    374   0x00007ffe, 0x00007fff, 0x00008000, 0x0000aaca,
    375   0x00007fff, 0x00008000, 0x00008003, 0x0000aac9,
    376   0x00008000, 0x00008001, 0x00008002, 0x0000aac8,
    377   0x00007fff, 0x00008000, 0x00008001, 0x0000aaba,
    378   0x00007ffe, 0x00007fff, 0x00007ff3, 0x0000aa4d,
    379   0x00007ffd, 0x00007ff1, 0x00007f86, 0x0000aa4c,
    380   0x00007fef, 0x00007f84, 0x00007f85, 0x0000aa4b,
    381   0x00007f82, 0x00007f83, 0x00007f84, 0x00007797,
    382   0x00007f81, 0x00007f82, 0x00004cd0, 0x00005575,
    383   0x00007f80, 0x00004cce, 0x00002aae, 0x00002acd,
    384   0x00004ccc, 0x00002aac, 0x00000006, 0x00002acc,
    385   0x00002aaa, 0x00000004, 0x00000005, 0x00002acb,
    386   0x00000002, 0x00000003, 0x00000004, 0x00002aca,
    387   0x00000001, 0x00000002, 0x00000003, 0x00002ac9,
    388   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    389   0x00000001, 0x00000002, 0x00002aab, 0x00002242,
    390   0x00000002, 0x00002aab, 0x00004ccd, 0x000054f6,
    391   0x00002aab, 0x00004ccd, 0x00007f81, 0x000054f7,
    392   0x00004ccd, 0x00007f81, 0x00007f82, 0x000054f8,
    393   0x00007f81, 0x00007f82, 0x00007f83, 0x000054f9,
    394   0x00007f82, 0x00007f83, 0x00007f84, 0x00005566,
    395   0x00007f83, 0x00007f84, 0x00007ff1, 0x00005573,
    396   0x00007f84, 0x00007ff1, 0x00007ffe, 0x00005574,
    397   0x00007ff1, 0x00007ffe, 0x00007fff, 0x00005575,
    398   0x00007ffd, 0x00007ffe, 0x00005557, 0x0000ccec,
    399   0x00007ffe, 0x00007fff, 0x0000aaac, 0x0000cceb,
    400   0x00007fff, 0x00008002, 0x0000aaab, 0x0000ccea,
    401   0x00008000, 0x00008001, 0x0000aaaa, 0x0000ccdc,
    402   0x00007fff, 0x00008000, 0x0000aa9c, 0x0000cc6f,
    403   0x00007ffe, 0x00007ff2, 0x0000aa2f, 0x0000cc6e,
    404   0x00007ff0, 0x00007f85, 0x0000aa2e, 0x0000cc6d,
    405   0x00007f83, 0x00007f84, 0x0000aa2d, 0x000099b9,
    406   0x00007f82, 0x00007f83, 0x00007779, 0x00007797,
    407   0x00007f81, 0x00004ccf, 0x00005557, 0x00004cef,
    408   0x00004ccd, 0x00002aad, 0x00002aaf, 0x00004cee,
    409   0x00002aab, 0x00000005, 0x00002aae, 0x00004ced,
    410   0x00000003, 0x00000004, 0x00002aad, 0x00004cec,
    411   0x00000002, 0x00000003, 0x00002aac, 0x00004ceb,
    412   0x00000001, 0x00000002, 0x00002aab, 0x00002242,
    413   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    414   0x00000001, 0x00002aaa, 0x00002224, 0x000032d4,
    415   0x00002aaa, 0x00004ccc, 0x000054d8, 0x000032d5,
    416   0x00004ccc, 0x00007f80, 0x000054d9, 0x000032d6,
    417   0x00007f80, 0x00007f81, 0x000054da, 0x000032d7,
    418   0x00007f81, 0x00007f82, 0x000054db, 0x00003344,
    419   0x00007f82, 0x00007f83, 0x00005548, 0x00003351,
    420   0x00007f83, 0x00007ff0, 0x00005555, 0x00003352,
    421   0x00007ff0, 0x00007ffd, 0x00005556, 0x00003353,
    422   0x00007ffc, 0x00005555, 0x00003335, 0x0000ffa0,
    423   0x00007ffd, 0x00005556, 0x0000ccce, 0x0000ff9f,
    424   0x00007ffe, 0x0000aaab, 0x0000cccd, 0x0000ff9e,
    425   0x00008001, 0x0000aaaa, 0x0000cccc, 0x0000ff90,
    426   0x00008000, 0x0000aaa9, 0x0000ccbe, 0x0000ff23,
    427   0x00007fff, 0x0000aa9b, 0x0000cc51, 0x0000ff22,
    428   0x00007ff1, 0x0000aa2e, 0x0000cc50, 0x0000ff21,
    429   0x00007f84, 0x0000aa2d, 0x0000cc4f, 0x0000cc6d,
    430   0x00007f83, 0x0000aa2c, 0x0000999b, 0x0000aa4b,
    431   0x00007f82, 0x00007778, 0x00007779, 0x00007fa3,
    432   0x00004cce, 0x00005556, 0x00004cd1, 0x00007fa2,
    433   0x00002aac, 0x00002aae, 0x00004cd0, 0x00007fa1,
    434   0x00000004, 0x00002aad, 0x00004ccf, 0x00007fa0,
    435   0x00000003, 0x00002aac, 0x00004cce, 0x00007f9f,
    436   0x00000002, 0x00002aab, 0x00004ccd, 0x000054f6,
    437   0x00000001, 0x00002aaa, 0x00002224, 0x000032d4,
    438   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    439   0x00002aa9, 0x00002223, 0x000032b6, 0x00000021,
    440   0x00004ccb, 0x000054d7, 0x000032b7, 0x00000022,
    441   0x00007f7f, 0x000054d8, 0x000032b8, 0x00000023,
    442   0x00007f80, 0x000054d9, 0x000032b9, 0x00000090,
    443   0x00007f81, 0x000054da, 0x00003326, 0x0000009d,
    444   0x00007f82, 0x00005547, 0x00003333, 0x0000009e,
    445   0x00007fef, 0x00005554, 0x00003334, 0x0000009f,
    446   0x00005553, 0x00003333, 0x00000081, 0x0000ffa1,
    447   0x00005554, 0x00003334, 0x0000ff82, 0x0000ffa0,
    448   0x00005555, 0x0000cccd, 0x0000ff81, 0x0000ff9f,
    449   0x0000aaaa, 0x0000cccc, 0x0000ff80, 0x0000ff91,
    450   0x0000aaa9, 0x0000cccb, 0x0000ff72, 0x0000ff24,
    451   0x0000aaa8, 0x0000ccbd, 0x0000ff05, 0x0000ff23,
    452   0x0000aa9a, 0x0000cc50, 0x0000ff04, 0x0000ff22,
    453   0x0000aa2d, 0x0000cc4f, 0x0000ff03, 0x0000cc6e,
    454   0x0000aa2c, 0x0000cc4e, 0x0000cc4f, 0x0000aa4c,
    455   0x0000aa2b, 0x0000999a, 0x0000aa2d, 0x00007fa4,
    456   0x00007777, 0x00007778, 0x00007f85, 0x00007fa3,
    457   0x00005555, 0x00004cd0, 0x00007f84, 0x00007fa2,
    458   0x00002aad, 0x00004ccf, 0x00007f83, 0x00007fa1,
    459   0x00002aac, 0x00004cce, 0x00007f82, 0x00007fa0,
    460   0x00002aab, 0x00004ccd, 0x00007f81, 0x000054f7,
    461   0x00002aaa, 0x00004ccc, 0x000054d8, 0x000032d5,
    462   0x00002aa9, 0x00002223, 0x000032b6, 0x00000021,
    463   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    464   0x00002222, 0x000032b5, 0x00000003, 0x00000021,
    465   0x000054d6, 0x000032b6, 0x00000004, 0x00000022,
    466   0x000054d7, 0x000032b7, 0x00000005, 0x0000008f,
    467   0x000054d8, 0x000032b8, 0x00000072, 0x0000009c,
    468   0x000054d9, 0x00003325, 0x0000007f, 0x0000009d,
    469   0x00005546, 0x00003332, 0x00000080, 0x0000009e,
    470   0x00003331, 0x0000007f, 0x00000080, 0x0000ffa2,
    471   0x00003332, 0x00000080, 0x0000ff83, 0x0000ffa1,
    472   0x00003333, 0x0000ff81, 0x0000ff82, 0x0000ffa0,
    473   0x0000cccc, 0x0000ff80, 0x0000ff81, 0x0000ff92,
    474   0x0000cccb, 0x0000ff7f, 0x0000ff73, 0x0000ff25,
    475   0x0000ccca, 0x0000ff71, 0x0000ff06, 0x0000ff24,
    476   0x0000ccbc, 0x0000ff04, 0x0000ff05, 0x0000ff23,
    477   0x0000cc4f, 0x0000ff03, 0x0000ff04, 0x0000cc6f,
    478   0x0000cc4e, 0x0000ff02, 0x0000cc50, 0x0000aa4d,
    479   0x0000cc4d, 0x0000cc4e, 0x0000aa2e, 0x00007fa5,
    480   0x00009999, 0x0000aa2c, 0x00007f86, 0x00007fa4,
    481   0x00007777, 0x00007f84, 0x00007f85, 0x00007fa3,
    482   0x00004ccf, 0x00007f83, 0x00007f84, 0x00007fa2,
    483   0x00004cce, 0x00007f82, 0x00007f83, 0x00007fa1,
    484   0x00004ccd, 0x00007f81, 0x00007f82, 0x000054f8,
    485   0x00004ccc, 0x00007f80, 0x000054d9, 0x000032d6,
    486   0x00004ccb, 0x000054d7, 0x000032b7, 0x00000022,
    487   0x00002222, 0x000032b5, 0x00000003, 0x00000021,
    488   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    489   0x000032b4, 0x00000002, 0x00000003, 0x00000021,
    490   0x000032b5, 0x00000003, 0x00000004, 0x0000008e,
    491   0x000032b6, 0x00000004, 0x00000071, 0x0000009b,
    492   0x000032b7, 0x00000071, 0x0000007e, 0x0000009c,
    493   0x00003324, 0x0000007e, 0x0000007f, 0x0000009d,
    494   0x0000007d, 0x0000007e, 0x0000007f, 0x0000ffa3,
    495   0x0000007e, 0x0000007f, 0x0000ff84, 0x0000ffa2,
    496   0x0000007f, 0x0000ff82, 0x0000ff83, 0x0000ffa1,
    497   0x0000ff80, 0x0000ff81, 0x0000ff82, 0x0000ff93,
    498   0x0000ff7f, 0x0000ff80, 0x0000ff74, 0x0000ff26,
    499   0x0000ff7e, 0x0000ff72, 0x0000ff07, 0x0000ff25,
    500   0x0000ff70, 0x0000ff05, 0x0000ff06, 0x0000ff24,
    501   0x0000ff03, 0x0000ff04, 0x0000ff05, 0x0000cc70,
    502   0x0000ff02, 0x0000ff03, 0x0000cc51, 0x0000aa4e,
    503   0x0000ff01, 0x0000cc4f, 0x0000aa2f, 0x00007fa6,
    504   0x0000cc4d, 0x0000aa2d, 0x00007f87, 0x00007fa5,
    505   0x0000aa2b, 0x00007f85, 0x00007f86, 0x00007fa4,
    506   0x00007f83, 0x00007f84, 0x00007f85, 0x00007fa3,
    507   0x00007f82, 0x00007f83, 0x00007f84, 0x00007fa2,
    508   0x00007f81, 0x00007f82, 0x00007f83, 0x000054f9,
    509   0x00007f80, 0x00007f81, 0x000054da, 0x000032d7,
    510   0x00007f7f, 0x000054d8, 0x000032b8, 0x00000023,
    511   0x000054d6, 0x000032b6, 0x00000004, 0x00000022,
    512   0x000032b4, 0x00000002, 0x00000003, 0x00000021,
    513   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    514   0x00000001, 0x00000002, 0x00000003, 0x0000008d,
    515   0x00000002, 0x00000003, 0x00000070, 0x0000009a,
    516   0x00000003, 0x00000070, 0x0000007d, 0x0000009b,
    517   0x00000070, 0x0000007d, 0x0000007e, 0x0000009c,
    518   0x0000007c, 0x0000007d, 0x0000007e, 0x00010010,
    519   0x0000007d, 0x0000007e, 0x0000ff85, 0x0001000f,
    520   0x0000007e, 0x0000ff83, 0x0000ff84, 0x0001000e,
    521   0x0000ff81, 0x0000ff82, 0x0000ff83, 0x00010000,
    522   0x0000ff80, 0x0000ff81, 0x0000ff75, 0x0000ff93,
    523   0x0000ff7f, 0x0000ff73, 0x0000ff08, 0x0000ff92,
    524   0x0000ff71, 0x0000ff06, 0x0000ff07, 0x0000ff91,
    525   0x0000ff04, 0x0000ff05, 0x0000ff06, 0x0000ccdd,
    526   0x0000ff03, 0x0000ff04, 0x0000cc52, 0x0000aabb,
    527   0x0000ff02, 0x0000cc50, 0x0000aa30, 0x00008013,
    528   0x0000cc4e, 0x0000aa2e, 0x00007f88, 0x00008012,
    529   0x0000aa2c, 0x00007f86, 0x00007f87, 0x00008011,
    530   0x00007f84, 0x00007f85, 0x00007f86, 0x00008010,
    531   0x00007f83, 0x00007f84, 0x00007f85, 0x0000800f,
    532   0x00007f82, 0x00007f83, 0x00007f84, 0x00005566,
    533   0x00007f81, 0x00007f82, 0x000054db, 0x00003344,
    534   0x00007f80, 0x000054d9, 0x000032b9, 0x00000090,
    535   0x000054d7, 0x000032b7, 0x00000005, 0x0000008f,
    536   0x000032b5, 0x00000003, 0x00000004, 0x0000008e,
    537   0x00000001, 0x00000002, 0x00000003, 0x0000008d,
    538   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    539   0x00000001, 0x00000002, 0x0000006f, 0x0000002d,
    540   0x00000002, 0x0000006f, 0x0000007c, 0x0000002e,
    541   0x0000006f, 0x0000007c, 0x0000007d, 0x0000002f,
    542   0x0000007b, 0x0000007c, 0x00000011, 0x0001001d,
    543   0x0000007c, 0x0000007d, 0x0000fff2, 0x0001001c,
    544   0x0000007d, 0x0000ff84, 0x0000fff1, 0x0001001b,
    545   0x0000ff82, 0x0000ff83, 0x0000fff0, 0x0001000d,
    546   0x0000ff81, 0x0000ff82, 0x0000ffe2, 0x0000ffa0,
    547   0x0000ff80, 0x0000ff74, 0x0000ff75, 0x0000ff9f,
    548   0x0000ff72, 0x0000ff07, 0x0000ff74, 0x0000ff9e,
    549   0x0000ff05, 0x0000ff06, 0x0000ff73, 0x0000ccea,
    550   0x0000ff04, 0x0000ff05, 0x0000ccbf, 0x0000aac8,
    551   0x0000ff03, 0x0000cc51, 0x0000aa9d, 0x00008020,
    552   0x0000cc4f, 0x0000aa2f, 0x00007ff5, 0x0000801f,
    553   0x0000aa2d, 0x00007f87, 0x00007ff4, 0x0000801e,
    554   0x00007f85, 0x00007f86, 0x00007ff3, 0x0000801d,
    555   0x00007f84, 0x00007f85, 0x00007ff2, 0x0000801c,
    556   0x00007f83, 0x00007f84, 0x00007ff1, 0x00005573,
    557   0x00007f82, 0x00007f83, 0x00005548, 0x00003351,
    558   0x00007f81, 0x000054da, 0x00003326, 0x0000009d,
    559   0x000054d8, 0x000032b8, 0x00000072, 0x0000009c,
    560   0x000032b6, 0x00000004, 0x00000071, 0x0000009b,
    561   0x00000002, 0x00000003, 0x00000070, 0x0000009a,
    562   0x00000001, 0x00000002, 0x0000006f, 0x0000002d,
    563   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    564   0x00000001, 0x0000006e, 0x0000000f, 0x00000021,
    565   0x0000006e, 0x0000007b, 0x00000010, 0x00000022,
    566   0x0000007a, 0x0000000f, 0x00000004, 0x0001001e,
    567   0x0000007b, 0x00000010, 0x0000ffff, 0x0001001d,
    568   0x0000007c, 0x0000fff1, 0x0000fffe, 0x0001001c,
    569   0x0000ff83, 0x0000fff0, 0x0000fffd, 0x0001000e,
    570   0x0000ff82, 0x0000ffef, 0x0000ffef, 0x0000ffa1,
    571   0x0000ff81, 0x0000ffe1, 0x0000ff82, 0x0000ffa0,
    572   0x0000ff73, 0x0000ff74, 0x0000ff81, 0x0000ff9f,
    573   0x0000ff06, 0x0000ff73, 0x0000ff80, 0x0000cceb,
    574   0x0000ff05, 0x0000ff72, 0x0000cccc, 0x0000aac9,
    575   0x0000ff04, 0x0000ccbe, 0x0000aaaa, 0x00008021,
    576   0x0000cc50, 0x0000aa9c, 0x00008002, 0x00008020,
    577   0x0000aa2e, 0x00007ff4, 0x00008001, 0x0000801f,
    578   0x00007f86, 0x00007ff3, 0x00008000, 0x0000801e,
    579   0x00007f85, 0x00007ff2, 0x00007fff, 0x0000801d,
    580   0x00007f84, 0x00007ff1, 0x00007ffe, 0x00005574,
    581   0x00007f83, 0x00007ff0, 0x00005555, 0x00003352,
    582   0x00007f82, 0x00005547, 0x00003333, 0x0000009e,
    583   0x000054d9, 0x00003325, 0x0000007f, 0x0000009d,
    584   0x000032b7, 0x00000071, 0x0000007e, 0x0000009c,
    585   0x00000003, 0x00000070, 0x0000007d, 0x0000009b,
    586   0x00000002, 0x0000006f, 0x0000007c, 0x0000002e,
    587   0x00000001, 0x0000006e, 0x0000000f, 0x00000021,
    588   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    589   0x0000006d, 0x0000000e, 0x00000003, 0x00000021,
    590   0x0000000d, 0x00000002, 0x00000003, 0x0001001f,
    591   0x0000000e, 0x00000003, 0x00010000, 0x0001001e,
    592   0x0000000f, 0x0000fffe, 0x0000ffff, 0x0001001d,
    593   0x0000fff0, 0x0000fffd, 0x0000fffe, 0x0001000f,
    594   0x0000ffef, 0x0000fffc, 0x0000fff0, 0x0000ffa2,
    595   0x0000ffee, 0x0000ffee, 0x0000ff83, 0x0000ffa1,
    596   0x0000ffe0, 0x0000ff81, 0x0000ff82, 0x0000ffa0,
    597   0x0000ff73, 0x0000ff80, 0x0000ff81, 0x0000ccec,
    598   0x0000ff72, 0x0000ff7f, 0x0000cccd, 0x0000aaca,
    599   0x0000ff71, 0x0000cccb, 0x0000aaab, 0x00008022,
    600   0x0000ccbd, 0x0000aaa9, 0x00008003, 0x00008021,
    601   0x0000aa9b, 0x00008001, 0x00008002, 0x00008020,
    602   0x00007ff3, 0x00008000, 0x00008001, 0x0000801f,
    603   0x00007ff2, 0x00007fff, 0x00008000, 0x0000801e,
    604   0x00007ff1, 0x00007ffe, 0x00007fff, 0x00005575,
    605   0x00007ff0, 0x00007ffd, 0x00005556, 0x00003353,
    606   0x00007fef, 0x00005554, 0x00003334, 0x0000009f,
    607   0x00005546, 0x00003332, 0x00000080, 0x0000009e,
    608   0x00003324, 0x0000007e, 0x0000007f, 0x0000009d,
    609   0x00000070, 0x0000007d, 0x0000007e, 0x0000009c,
    610   0x0000006f, 0x0000007c, 0x0000007d, 0x0000002f,
    611   0x0000006e, 0x0000007b, 0x00000010, 0x00000022,
    612   0x0000006d, 0x0000000e, 0x00000003, 0x00000021,
    613   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    614 };
    615 const unsigned kExpectedCount_NEON_uabal2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_UABAL2_4S_TRACE_A64_H_
    618