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_SABDL_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SABDL_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_sabdl_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, 0x0000d555,
     55   0x00007f80, 0x00007f80, 0x0000b333, 0x0000d554,
     56   0x00007f81, 0x0000807f, 0x0000b332, 0x0000aaab,
     57   0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
     58   0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
     59   0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
     60   0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
     61   0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
     62   0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
     63   0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
     64   0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
     65   0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
     66   0x00000082, 0x00003335, 0x00005556, 0x00007ffd,
     67   0x00000081, 0x00003334, 0x00005555, 0x00007ffc,
     68   0x00000080, 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, 0x0000fffd,
     79   0x00007f7f, 0x00004ccc, 0x0000d555, 0x0000fffc,
     80   0x00007f80, 0x0000b333, 0x0000d554, 0x0000d553,
     81   0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
     82   0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
     83   0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
     84   0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
     85   0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
     86   0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
     87   0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
     88   0x000033b0, 0x00005565, 0x00008000, 0x00008000,
     89   0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
     90   0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe,
     91   0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd,
     92   0x00003334, 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, 0x0000fffe,
    103   0x00004ccb, 0x00002aaa, 0x0000fffd, 0x0000fffd,
    104   0x00004ccc, 0x0000d555, 0x0000fffc, 0x0000d554,
    105   0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
    106   0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
    107   0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
    108   0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
    109   0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
    110   0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
    111   0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
    112   0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
    113   0x00005565, 0x00008000, 0x00008000, 0x00008000,
    114   0x00005558, 0x00007fff, 0x00007fff, 0x00007fff,
    115   0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    116   0x00005556, 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, 0x0000ffff,
    127   0x00002aa9, 0x00000002, 0x0000fffe, 0x0000fffe,
    128   0x00002aaa, 0x0000fffd, 0x0000fffd, 0x0000d555,
    129   0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
    130   0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
    131   0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
    132   0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
    133   0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
    134   0x0000807c, 0x0000807c, 0x0000807c, 0x00000010,
    135   0x0000807b, 0x0000807b, 0x0000800f, 0x00000003,
    136   0x0000807a, 0x0000800e, 0x00008002, 0x00000002,
    137   0x0000800d, 0x00008001, 0x00008001, 0x00000001,
    138   0x00008000, 0x00008000, 0x00008000, 0x00000000,
    139   0x00007fff, 0x00007fff, 0x00007fff, 0x00000001,
    140   0x00007ffe, 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, 0x0000ffff, 0x00007fff,
    152   0x00000002, 0x0000fffe, 0x0000fffe, 0x00005556,
    153   0x0000fffd, 0x0000fffd, 0x0000d555, 0x00003334,
    154   0x0000fffc, 0x0000d554, 0x0000b333, 0x00000080,
    155   0x0000d553, 0x0000b332, 0x0000807f, 0x0000007f,
    156   0x0000b331, 0x0000807e, 0x0000807e, 0x0000007e,
    157   0x0000807d, 0x0000807d, 0x0000807d, 0x0000007d,
    158   0x0000807d, 0x0000807d, 0x0000007d, 0x00000011,
    159   0x0000807c, 0x0000807c, 0x00000010, 0x00000004,
    160   0x0000807b, 0x0000800f, 0x00000003, 0x00000003,
    161   0x0000800e, 0x00008002, 0x00000002, 0x00000002,
    162   0x00008001, 0x00008001, 0x00000001, 0x00000001,
    163   0x00008000, 0x00008000, 0x00000000, 0x00000000,
    164   0x00007fff, 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, 0x00008001,
    175   0x00000000, 0x00000000, 0x00008000, 0x00008000,
    176   0x00000001, 0x0000ffff, 0x00007fff, 0x00005557,
    177   0x0000fffe, 0x0000fffe, 0x00005556, 0x00003335,
    178   0x0000fffd, 0x0000d555, 0x00003334, 0x00000081,
    179   0x0000d554, 0x0000b333, 0x00000080, 0x00000080,
    180   0x0000b332, 0x0000807f, 0x0000007f, 0x0000007f,
    181   0x0000807e, 0x0000807e, 0x0000007e, 0x0000007e,
    182   0x0000807e, 0x0000007e, 0x0000007e, 0x00000012,
    183   0x0000807d, 0x0000007d, 0x00000011, 0x00000005,
    184   0x0000807c, 0x00000010, 0x00000004, 0x00000004,
    185   0x0000800f, 0x00000003, 0x00000003, 0x00000003,
    186   0x00008002, 0x00000002, 0x00000002, 0x00000002,
    187   0x00008001, 0x00000001, 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, 0x00008002,
    199   0x00000001, 0x00007fff, 0x00008001, 0x00008001,
    200   0x00000000, 0x00008000, 0x00008000, 0x00005558,
    201   0x0000ffff, 0x00007fff, 0x00005557, 0x00003336,
    202   0x0000fffe, 0x00005556, 0x00003335, 0x00000082,
    203   0x0000d555, 0x00003334, 0x00000081, 0x00000081,
    204   0x0000b333, 0x00000080, 0x00000080, 0x00000080,
    205   0x0000807f, 0x0000007f, 0x0000007f, 0x0000007f,
    206   0x0000007f, 0x0000007f, 0x0000007f, 0x00000020,
    207   0x0000007e, 0x0000007e, 0x00000012, 0x00000013,
    208   0x0000007d, 0x00000011, 0x00000005, 0x00000012,
    209   0x00000010, 0x00000004, 0x00000004, 0x00000011,
    210   0x00000003, 0x00000003, 0x00000003, 0x00000010,
    211   0x00000002, 0x00000002, 0x00000002, 0x0000000f,
    212   0x00000001, 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, 0x00008010,
    223   0x00007ffe, 0x00007ffe, 0x00008002, 0x0000800f,
    224   0x00007fff, 0x00008001, 0x00008001, 0x00005566,
    225   0x00008000, 0x00008000, 0x00005558, 0x00003344,
    226   0x00007fff, 0x00005557, 0x00003336, 0x00000090,
    227   0x00005556, 0x00003335, 0x00000082, 0x0000008f,
    228   0x00003334, 0x00000081, 0x00000081, 0x0000008e,
    229   0x00000080, 0x00000080, 0x00000080, 0x0000008d,
    230   0x00000080, 0x00000080, 0x0000008d, 0x0000008d,
    231   0x0000007f, 0x0000007f, 0x00000020, 0x00000080,
    232   0x0000007e, 0x00000012, 0x00000013, 0x0000007f,
    233   0x00000011, 0x00000005, 0x00000012, 0x0000007e,
    234   0x00000004, 0x00000004, 0x00000011, 0x0000007d,
    235   0x00000003, 0x00000003, 0x00000010, 0x0000007c,
    236   0x00000002, 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, 0x0000807d,
    247   0x00007ffd, 0x00007ffd, 0x00008010, 0x0000807c,
    248   0x00007ffe, 0x00008002, 0x0000800f, 0x000055d3,
    249   0x00008001, 0x00008001, 0x00005566, 0x000033b1,
    250   0x00008000, 0x00005558, 0x00003344, 0x000000fd,
    251   0x00005557, 0x00003336, 0x00000090, 0x000000fc,
    252   0x00003335, 0x00000082, 0x0000008f, 0x000000fb,
    253   0x00000081, 0x00000081, 0x0000008e, 0x000000fa,
    254   0x00000081, 0x0000008e, 0x000000fa, 0x0000008e,
    255   0x00000080, 0x0000008d, 0x0000008d, 0x00000081,
    256   0x0000007f, 0x00000020, 0x00000080, 0x00000080,
    257   0x00000012, 0x00000013, 0x0000007f, 0x0000007f,
    258   0x00000005, 0x00000012, 0x0000007e, 0x0000007e,
    259   0x00000004, 0x00000011, 0x0000007d, 0x0000007d,
    260   0x00000003, 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, 0x0000807e,
    271   0x00007ffc, 0x00007fef, 0x0000807d, 0x0000807d,
    272   0x00007ffd, 0x00008010, 0x0000807c, 0x000055d4,
    273   0x00008002, 0x0000800f, 0x000055d3, 0x000033b2,
    274   0x00008001, 0x00005566, 0x000033b1, 0x000000fe,
    275   0x00005558, 0x00003344, 0x000000fd, 0x000000fd,
    276   0x00003336, 0x00000090, 0x000000fc, 0x000000fc,
    277   0x00000082, 0x0000008f, 0x000000fb, 0x000000fb,
    278   0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f,
    279   0x0000008e, 0x000000fa, 0x0000008e, 0x00000082,
    280   0x0000008d, 0x0000008d, 0x00000081, 0x00000081,
    281   0x00000020, 0x00000080, 0x00000080, 0x00000080,
    282   0x00000013, 0x0000007f, 0x0000007f, 0x0000007f,
    283   0x00000012, 0x0000007e, 0x0000007e, 0x0000007e,
    284   0x00000011, 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, 0x0000807f,
    295   0x00007fee, 0x00007f82, 0x0000807e, 0x0000807e,
    296   0x00007fef, 0x0000807d, 0x0000807d, 0x000055d5,
    297   0x00008010, 0x0000807c, 0x000055d4, 0x000033b3,
    298   0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff,
    299   0x00005566, 0x000033b1, 0x000000fe, 0x000000fe,
    300   0x00003344, 0x000000fd, 0x000000fd, 0x000000fd,
    301   0x00000090, 0x000000fc, 0x000000fc, 0x000000fc,
    302   0x000000fc, 0x000000fc, 0x000000fc, 0x00003343,
    303   0x000000fb, 0x000000fb, 0x0000008f, 0x00003336,
    304   0x000000fa, 0x0000008e, 0x00000082, 0x00003335,
    305   0x0000008d, 0x00000081, 0x00000081, 0x00003334,
    306   0x00000080, 0x00000080, 0x00000080, 0x00003333,
    307   0x0000007f, 0x0000007f, 0x0000007f, 0x00003332,
    308   0x0000007e, 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, 0x0000b333,
    319   0x00007f81, 0x00007f81, 0x0000807f, 0x0000b332,
    320   0x00007f82, 0x0000807e, 0x0000807e, 0x00008889,
    321   0x0000807d, 0x0000807d, 0x000055d5, 0x00006667,
    322   0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3,
    323   0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2,
    324   0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1,
    325   0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0,
    326   0x000000fd, 0x000000fd, 0x000033b0, 0x00005565,
    327   0x000000fc, 0x000000fc, 0x00003343, 0x00005558,
    328   0x000000fb, 0x0000008f, 0x00003336, 0x00005557,
    329   0x0000008e, 0x00000082, 0x00003335, 0x00005556,
    330   0x00000081, 0x00000081, 0x00003334, 0x00005555,
    331   0x00000080, 0x00000080, 0x00003333, 0x00005554,
    332   0x0000007f, 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, 0x0000d555,
    343   0x00007f80, 0x00007f80, 0x0000b333, 0x0000d554,
    344   0x00007f81, 0x0000807f, 0x0000b332, 0x0000aaab,
    345   0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
    346   0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
    347   0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
    348   0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
    349   0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
    350   0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
    351   0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
    352   0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
    353   0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
    354   0x00000082, 0x00003335, 0x00005556, 0x00007ffd,
    355   0x00000081, 0x00003334, 0x00005555, 0x00007ffc,
    356   0x00000080, 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, 0x0000fffd,
    367   0x00007f7f, 0x00004ccc, 0x0000d555, 0x0000fffc,
    368   0x00007f80, 0x0000b333, 0x0000d554, 0x0000d553,
    369   0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
    370   0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
    371   0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
    372   0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
    373   0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
    374   0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
    375   0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
    376   0x000033b0, 0x00005565, 0x00008000, 0x00008000,
    377   0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
    378   0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe,
    379   0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd,
    380   0x00003334, 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, 0x0000fffe,
    391   0x00004ccb, 0x00002aaa, 0x0000fffd, 0x0000fffd,
    392   0x00004ccc, 0x0000d555, 0x0000fffc, 0x0000d554,
    393   0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
    394   0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
    395   0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
    396   0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
    397   0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
    398   0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
    399   0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
    400   0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
    401   0x00005565, 0x00008000, 0x00008000, 0x00008000,
    402   0x00005558, 0x00007fff, 0x00007fff, 0x00007fff,
    403   0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    404   0x00005556, 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, 0x0000ffff,
    415   0x00002aa9, 0x00000002, 0x0000fffe, 0x0000fffe,
    416   0x00002aaa, 0x0000fffd, 0x0000fffd, 0x0000d555,
    417   0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
    418   0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
    419   0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
    420   0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
    421   0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
    422   0x0000807c, 0x0000807c, 0x0000807c, 0x00007ff0,
    423   0x0000807b, 0x0000807b, 0x0000800f, 0x00007ffd,
    424   0x0000807a, 0x0000800e, 0x00008002, 0x00007ffe,
    425   0x0000800d, 0x00008001, 0x00008001, 0x00007fff,
    426   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    427   0x00007fff, 0x00007fff, 0x00007fff, 0x00008001,
    428   0x00007ffe, 0x00007ffe, 0x00007ffe, 0x00008002,
    429   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00008010,
    430   0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000807d,
    431   0x00007ffb, 0x00007fee, 0x00007f82, 0x0000807e,
    432   0x00007fed, 0x00007f81, 0x00007f81, 0x0000807f,
    433   0x00007f80, 0x00007f80, 0x00007f80, 0x0000b333,
    434   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x0000d555,
    435   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x0000fffd,
    436   0x00004cca, 0x00002aa9, 0x00000002, 0x0000fffe,
    437   0x00002aa8, 0x00000001, 0x00000001, 0x0000ffff,
    438   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    439   0x00000001, 0x00000001, 0x0000ffff, 0x00000001,
    440   0x00000002, 0x0000fffe, 0x0000fffe, 0x00002aaa,
    441   0x0000fffd, 0x0000fffd, 0x0000d555, 0x00004ccc,
    442   0x0000fffc, 0x0000d554, 0x0000b333, 0x00007f80,
    443   0x0000d553, 0x0000b332, 0x0000807f, 0x00007f81,
    444   0x0000b331, 0x0000807e, 0x0000807e, 0x00007f82,
    445   0x0000807d, 0x0000807d, 0x0000807d, 0x00007f83,
    446   0x0000807d, 0x0000807d, 0x00007f83, 0x00007fef,
    447   0x0000807c, 0x0000807c, 0x00007ff0, 0x00007ffc,
    448   0x0000807b, 0x0000800f, 0x00007ffd, 0x00007ffd,
    449   0x0000800e, 0x00008002, 0x00007ffe, 0x00007ffe,
    450   0x00008001, 0x00008001, 0x00007fff, 0x00007fff,
    451   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    452   0x00007fff, 0x00007fff, 0x00008001, 0x00008001,
    453   0x00007ffe, 0x00007ffe, 0x00008002, 0x0000800f,
    454   0x00007ffd, 0x00007ffd, 0x00008010, 0x0000807c,
    455   0x00007ffc, 0x00007fef, 0x0000807d, 0x0000807d,
    456   0x00007fee, 0x00007f82, 0x0000807e, 0x0000807e,
    457   0x00007f81, 0x00007f81, 0x0000807f, 0x0000b332,
    458   0x00007f80, 0x00007f80, 0x0000b333, 0x0000d554,
    459   0x00007f7f, 0x00004ccc, 0x0000d555, 0x0000fffc,
    460   0x00004ccb, 0x00002aaa, 0x0000fffd, 0x0000fffd,
    461   0x00002aa9, 0x00000002, 0x0000fffe, 0x0000fffe,
    462   0x00000001, 0x00000001, 0x0000ffff, 0x00000001,
    463   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    464   0x00000001, 0x0000ffff, 0x00000001, 0x00002aa9,
    465   0x0000fffe, 0x0000fffe, 0x00002aaa, 0x00004ccb,
    466   0x0000fffd, 0x0000d555, 0x00004ccc, 0x00007f7f,
    467   0x0000d554, 0x0000b333, 0x00007f80, 0x00007f80,
    468   0x0000b332, 0x0000807f, 0x00007f81, 0x00007f81,
    469   0x0000807e, 0x0000807e, 0x00007f82, 0x00007f82,
    470   0x0000807e, 0x00007f82, 0x00007f82, 0x00005546,
    471   0x0000807d, 0x00007f83, 0x00007fef, 0x00005553,
    472   0x0000807c, 0x00007ff0, 0x00007ffc, 0x00005554,
    473   0x0000800f, 0x00007ffd, 0x00007ffd, 0x00005555,
    474   0x00008002, 0x00007ffe, 0x00007ffe, 0x00005556,
    475   0x00008001, 0x00007fff, 0x00007fff, 0x00005557,
    476   0x00008000, 0x00008000, 0x00008000, 0x00005558,
    477   0x00007fff, 0x00008001, 0x00008001, 0x00005566,
    478   0x00007ffe, 0x00008002, 0x0000800f, 0x000055d3,
    479   0x00007ffd, 0x00008010, 0x0000807c, 0x000055d4,
    480   0x00007fef, 0x0000807d, 0x0000807d, 0x000055d5,
    481   0x00007f82, 0x0000807e, 0x0000807e, 0x00008889,
    482   0x00007f81, 0x0000807f, 0x0000b332, 0x0000aaab,
    483   0x00007f80, 0x0000b333, 0x0000d554, 0x0000d553,
    484   0x00004ccc, 0x0000d555, 0x0000fffc, 0x0000d554,
    485   0x00002aaa, 0x0000fffd, 0x0000fffd, 0x0000d555,
    486   0x00000002, 0x0000fffe, 0x0000fffe, 0x00002aaa,
    487   0x00000001, 0x0000ffff, 0x00000001, 0x00002aa9,
    488   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    489   0x0000ffff, 0x00000001, 0x00002aa9, 0x00002222,
    490   0x0000fffe, 0x00002aaa, 0x00004ccb, 0x000054d6,
    491   0x0000d555, 0x00004ccc, 0x00007f7f, 0x000054d7,
    492   0x0000b333, 0x00007f80, 0x00007f80, 0x000054d8,
    493   0x0000807f, 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, 0x00003334,
    499   0x00007ffe, 0x00007ffe, 0x00005556, 0x00003335,
    500   0x00007fff, 0x00007fff, 0x00005557, 0x00003336,
    501   0x00008000, 0x00008000, 0x00005558, 0x00003344,
    502   0x00008001, 0x00008001, 0x00005566, 0x000033b1,
    503   0x00008002, 0x0000800f, 0x000055d3, 0x000033b2,
    504   0x00008010, 0x0000807c, 0x000055d4, 0x000033b3,
    505   0x0000807d, 0x0000807d, 0x000055d5, 0x00006667,
    506   0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
    507   0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
    508   0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
    509   0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
    510   0x0000fffd, 0x0000fffd, 0x0000d555, 0x00004ccc,
    511   0x0000fffe, 0x0000fffe, 0x00002aaa, 0x00004ccb,
    512   0x0000ffff, 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, 0x00000080,
    523   0x00007ffd, 0x00005555, 0x00003334, 0x00000081,
    524   0x00007ffe, 0x00005556, 0x00003335, 0x00000082,
    525   0x00007fff, 0x00005557, 0x00003336, 0x00000090,
    526   0x00008000, 0x00005558, 0x00003344, 0x000000fd,
    527   0x00008001, 0x00005566, 0x000033b1, 0x000000fe,
    528   0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff,
    529   0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3,
    530   0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
    531   0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
    532   0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
    533   0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
    534   0x0000fffc, 0x0000d554, 0x0000b333, 0x00007f80,
    535   0x0000fffd, 0x0000d555, 0x00004ccc, 0x00007f7f,
    536   0x0000fffe, 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, 0x0000007f,
    547   0x00005554, 0x00003333, 0x00000080, 0x00000080,
    548   0x00005555, 0x00003334, 0x00000081, 0x00000081,
    549   0x00005556, 0x00003335, 0x00000082, 0x0000008f,
    550   0x00005557, 0x00003336, 0x00000090, 0x000000fc,
    551   0x00005558, 0x00003344, 0x000000fd, 0x000000fd,
    552   0x00005566, 0x000033b1, 0x000000fe, 0x000000fe,
    553   0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2,
    554   0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
    555   0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
    556   0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
    557   0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
    558   0x0000d553, 0x0000b332, 0x0000807f, 0x00007f81,
    559   0x0000d554, 0x0000b333, 0x00007f80, 0x00007f80,
    560   0x0000d555, 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, 0x0000007e,
    571   0x00003332, 0x0000007f, 0x0000007f, 0x0000007f,
    572   0x00003333, 0x00000080, 0x00000080, 0x00000080,
    573   0x00003334, 0x00000081, 0x00000081, 0x0000008e,
    574   0x00003335, 0x00000082, 0x0000008f, 0x000000fb,
    575   0x00003336, 0x00000090, 0x000000fc, 0x000000fc,
    576   0x00003344, 0x000000fd, 0x000000fd, 0x000000fd,
    577   0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1,
    578   0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
    579   0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
    580   0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
    581   0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
    582   0x0000b331, 0x0000807e, 0x0000807e, 0x00007f82,
    583   0x0000b332, 0x0000807f, 0x00007f81, 0x00007f81,
    584   0x0000b333, 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, 0x0000007d,
    595   0x0000007e, 0x0000007e, 0x0000007e, 0x0000007e,
    596   0x0000007f, 0x0000007f, 0x0000007f, 0x0000007f,
    597   0x00000080, 0x00000080, 0x00000080, 0x0000008d,
    598   0x00000081, 0x00000081, 0x0000008e, 0x000000fa,
    599   0x00000082, 0x0000008f, 0x000000fb, 0x000000fb,
    600   0x00000090, 0x000000fc, 0x000000fc, 0x000000fc,
    601   0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0,
    602   0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
    603   0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
    604   0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
    605   0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
    606   0x0000807d, 0x0000807d, 0x0000807d, 0x00007f83,
    607   0x0000807e, 0x0000807e, 0x00007f82, 0x00007f82,
    608   0x0000807f, 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_sabdl_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SABDL_4S_TRACE_A64_H_
    618