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_SABAL2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SABAL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_sabal2_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, 0x00010001, 0x0000801f,
     52   0x00000002, 0x0000ffff, 0x00010000, 0x00005576,
     53   0x0000fffd, 0x0000fffe, 0x0000d557, 0x00003354,
     54   0x0000fffc, 0x0000d555, 0x0000b335, 0x000000a0,
     55   0x0000d553, 0x0000b333, 0x00008081, 0x0000009f,
     56   0x0000b331, 0x0000807f, 0x00008080, 0x0000009e,
     57   0x0000807d, 0x0000807e, 0x0000807f, 0x0000009d,
     58   0x0000807c, 0x0000807d, 0x0000807e, 0x00000030,
     59   0x0000807b, 0x0000807c, 0x00008011, 0x00000023,
     60   0x0000807a, 0x0000800f, 0x00008004, 0x00000022,
     61   0x0000800d, 0x00008002, 0x00008003, 0x00000021,
     62   0x00008001, 0x00008002, 0x00000003, 0x00000021,
     63   0x00008000, 0x00008001, 0x00000002, 0x00000020,
     64   0x00007fff, 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, 0x00008021,
     75   0x00000000, 0x00000001, 0x00008002, 0x00008020,
     76   0x00000001, 0x00010000, 0x00008001, 0x00005577,
     77   0x0000fffe, 0x0000ffff, 0x00005558, 0x00003355,
     78   0x0000fffd, 0x0000d556, 0x00003336, 0x000000a1,
     79   0x0000d554, 0x0000b334, 0x00000082, 0x000000a0,
     80   0x0000b332, 0x00008080, 0x00000081, 0x0000009f,
     81   0x0000807e, 0x0000807f, 0x00000080, 0x0000009e,
     82   0x0000807d, 0x0000807e, 0x0000007f, 0x00000031,
     83   0x0000807c, 0x0000807d, 0x00000012, 0x00000024,
     84   0x0000807b, 0x00008010, 0x00000005, 0x00000023,
     85   0x0000800e, 0x00008003, 0x00000004, 0x00000022,
     86   0x00008002, 0x00000003, 0x00000004, 0x00000022,
     87   0x00008001, 0x00000002, 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, 0x00008022,
     99   0x00000001, 0x00008000, 0x00008003, 0x00008021,
    100   0x00000000, 0x00008001, 0x00008002, 0x00005578,
    101   0x0000ffff, 0x00008000, 0x00005559, 0x00003356,
    102   0x0000fffe, 0x00005557, 0x00003337, 0x000000a2,
    103   0x0000d555, 0x00003335, 0x00000083, 0x000000a1,
    104   0x0000b333, 0x00000081, 0x00000082, 0x000000a0,
    105   0x0000807f, 0x00000080, 0x00000081, 0x0000009f,
    106   0x0000807e, 0x0000007f, 0x00000080, 0x00000032,
    107   0x0000807d, 0x0000007e, 0x00000013, 0x00000025,
    108   0x0000807c, 0x00000011, 0x00000006, 0x00000024,
    109   0x0000800f, 0x00000004, 0x00000005, 0x00000023,
    110   0x00000003, 0x00000004, 0x00000005, 0x00000030,
    111   0x00000002, 0x00000003, 0x00000004, 0x0000002f,
    112   0x00000001, 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, 0x00008030,
    123   0x00007ffe, 0x00007fff, 0x00008004, 0x0000802f,
    124   0x00007fff, 0x00008002, 0x00008003, 0x00005586,
    125   0x00008000, 0x00008001, 0x0000555a, 0x00003364,
    126   0x00007fff, 0x00005558, 0x00003338, 0x000000b0,
    127   0x00005556, 0x00003336, 0x00000084, 0x000000af,
    128   0x00003334, 0x00000082, 0x00000083, 0x000000ae,
    129   0x00000080, 0x00000081, 0x00000082, 0x000000ad,
    130   0x0000007f, 0x00000080, 0x00000081, 0x00000040,
    131   0x0000007e, 0x0000007f, 0x00000014, 0x00000033,
    132   0x0000007d, 0x00000012, 0x00000007, 0x00000032,
    133   0x00000010, 0x00000005, 0x00000006, 0x00000031,
    134   0x00000004, 0x00000005, 0x00000013, 0x0000009d,
    135   0x00000003, 0x00000004, 0x00000012, 0x0000009c,
    136   0x00000002, 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, 0x0000809d,
    147   0x00007ffd, 0x00007ffe, 0x00008012, 0x0000809c,
    148   0x00007ffe, 0x00008003, 0x00008011, 0x000055f3,
    149   0x00008001, 0x00008002, 0x00005568, 0x000033d1,
    150   0x00008000, 0x00005559, 0x00003346, 0x0000011d,
    151   0x00005557, 0x00003337, 0x00000092, 0x0000011c,
    152   0x00003335, 0x00000083, 0x00000091, 0x0000011b,
    153   0x00000081, 0x00000082, 0x00000090, 0x0000011a,
    154   0x00000080, 0x00000081, 0x0000008f, 0x000000ad,
    155   0x0000007f, 0x00000080, 0x00000022, 0x000000a0,
    156   0x0000007e, 0x00000013, 0x00000015, 0x0000009f,
    157   0x00000011, 0x00000006, 0x00000014, 0x0000009e,
    158   0x00000005, 0x00000013, 0x00000080, 0x0000009e,
    159   0x00000004, 0x00000012, 0x0000007f, 0x0000009d,
    160   0x00000003, 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, 0x0000809e,
    171   0x00007ffc, 0x00007ff0, 0x0000807f, 0x0000809d,
    172   0x00007ffd, 0x00008011, 0x0000807e, 0x000055f4,
    173   0x00008002, 0x00008010, 0x000055d5, 0x000033d2,
    174   0x00008001, 0x00005567, 0x000033b3, 0x0000011e,
    175   0x00005558, 0x00003345, 0x000000ff, 0x0000011d,
    176   0x00003336, 0x00000091, 0x000000fe, 0x0000011c,
    177   0x00000082, 0x00000090, 0x000000fd, 0x0000011b,
    178   0x00000081, 0x0000008f, 0x000000fc, 0x000000ae,
    179   0x00000080, 0x0000008e, 0x0000008f, 0x000000a1,
    180   0x0000007f, 0x00000021, 0x00000082, 0x000000a0,
    181   0x00000012, 0x00000014, 0x00000081, 0x0000009f,
    182   0x00000013, 0x00000080, 0x00000081, 0x0000009f,
    183   0x00000012, 0x0000007f, 0x00000080, 0x0000009e,
    184   0x00000011, 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, 0x0000809f,
    195   0x00007fee, 0x00007f83, 0x00008080, 0x0000809e,
    196   0x00007fef, 0x0000807e, 0x0000807f, 0x000055f5,
    197   0x00008010, 0x0000807d, 0x000055d6, 0x000033d3,
    198   0x0000800f, 0x000055d4, 0x000033b4, 0x0000011f,
    199   0x00005566, 0x000033b2, 0x00000100, 0x0000011e,
    200   0x00003344, 0x000000fe, 0x000000ff, 0x0000011d,
    201   0x00000090, 0x000000fd, 0x000000fe, 0x0000011c,
    202   0x0000008f, 0x000000fc, 0x000000fd, 0x000000af,
    203   0x0000008e, 0x000000fb, 0x00000090, 0x000000a2,
    204   0x0000008d, 0x0000008e, 0x00000083, 0x000000a1,
    205   0x00000020, 0x00000081, 0x00000082, 0x000000a0,
    206   0x00000080, 0x00000081, 0x00000082, 0x00003353,
    207   0x0000007f, 0x00000080, 0x00000081, 0x00003352,
    208   0x0000007e, 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, 0x0000b353,
    219   0x00007f81, 0x00007f82, 0x00008081, 0x0000b352,
    220   0x00007f82, 0x0000807f, 0x00008080, 0x000088a9,
    221   0x0000807d, 0x0000807e, 0x000055d7, 0x00006687,
    222   0x0000807c, 0x000055d5, 0x000033b5, 0x000033d3,
    223   0x000055d3, 0x000033b3, 0x00000101, 0x000033d2,
    224   0x000033b1, 0x000000ff, 0x00000100, 0x000033d1,
    225   0x000000fd, 0x000000fe, 0x000000ff, 0x000033d0,
    226   0x000000fc, 0x000000fd, 0x000000fe, 0x00003363,
    227   0x000000fb, 0x000000fc, 0x00000091, 0x00003356,
    228   0x000000fa, 0x0000008f, 0x00000084, 0x00003355,
    229   0x0000008d, 0x00000082, 0x00000083, 0x00003354,
    230   0x00000081, 0x00000082, 0x00003336, 0x00005575,
    231   0x00000080, 0x00000081, 0x00003335, 0x00005574,
    232   0x0000007f, 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, 0x0000d575,
    243   0x00007f80, 0x00007f81, 0x0000b335, 0x0000d574,
    244   0x00007f81, 0x00008080, 0x0000b334, 0x0000aacb,
    245   0x0000807e, 0x0000807f, 0x0000888b, 0x000088a9,
    246   0x0000807d, 0x000055d6, 0x00006669, 0x000055f5,
    247   0x000055d4, 0x000033b4, 0x000033b5, 0x000055f4,
    248   0x000033b2, 0x00000100, 0x000033b4, 0x000055f3,
    249   0x000000fe, 0x000000ff, 0x000033b3, 0x000055f2,
    250   0x000000fd, 0x000000fe, 0x000033b2, 0x00005585,
    251   0x000000fc, 0x000000fd, 0x00003345, 0x00005578,
    252   0x000000fb, 0x00000090, 0x00003338, 0x00005577,
    253   0x0000008e, 0x00000083, 0x00003337, 0x00005576,
    254   0x00000082, 0x00003336, 0x00005558, 0x0000801d,
    255   0x00000081, 0x00003335, 0x00005557, 0x0000801c,
    256   0x00000080, 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, 0x0001001d,
    267   0x00007f7f, 0x00004ccd, 0x0000d557, 0x0001001c,
    268   0x00007f80, 0x0000b334, 0x0000d556, 0x0000d573,
    269   0x0000807f, 0x0000b333, 0x0000aaad, 0x0000b351,
    270   0x0000807e, 0x0000888a, 0x0000888b, 0x0000809d,
    271   0x000055d5, 0x00006668, 0x000055d7, 0x0000809c,
    272   0x000033b3, 0x000033b4, 0x000055d6, 0x0000809b,
    273   0x000000ff, 0x000033b3, 0x000055d5, 0x0000809a,
    274   0x000000fe, 0x000033b2, 0x000055d4, 0x0000802d,
    275   0x000000fd, 0x000033b1, 0x00005567, 0x00008020,
    276   0x000000fc, 0x00003344, 0x0000555a, 0x0000801f,
    277   0x0000008f, 0x00003337, 0x00005559, 0x0000801e,
    278   0x00003336, 0x00005558, 0x00008000, 0x0000801e,
    279   0x00003335, 0x00005557, 0x00007fff, 0x0000801d,
    280   0x00003334, 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, 0x0001001e,
    291   0x00004ccb, 0x00002aab, 0x0000ffff, 0x0001001d,
    292   0x00004ccc, 0x0000d556, 0x0000fffe, 0x0000d574,
    293   0x0000b333, 0x0000d555, 0x0000d555, 0x0000b352,
    294   0x0000b332, 0x0000aaac, 0x0000b333, 0x0000809e,
    295   0x00008889, 0x0000888a, 0x0000807f, 0x0000809d,
    296   0x00006667, 0x000055d6, 0x0000807e, 0x0000809c,
    297   0x000033b3, 0x000055d5, 0x0000807d, 0x0000809b,
    298   0x000033b2, 0x000055d4, 0x0000807c, 0x0000802e,
    299   0x000033b1, 0x000055d3, 0x0000800f, 0x00008021,
    300   0x000033b0, 0x00005566, 0x00008002, 0x00008020,
    301   0x00003343, 0x00005559, 0x00008001, 0x0000801f,
    302   0x00005558, 0x00008000, 0x00008001, 0x0000801f,
    303   0x00005557, 0x00007fff, 0x00008000, 0x0000801e,
    304   0x00005556, 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, 0x0001001f,
    315   0x00002aa9, 0x00000003, 0x00010000, 0x0001001e,
    316   0x00002aaa, 0x0000fffe, 0x0000ffff, 0x0000d575,
    317   0x0000d555, 0x0000fffd, 0x0000d556, 0x0000b353,
    318   0x0000d554, 0x0000d554, 0x0000b334, 0x0000809f,
    319   0x0000aaab, 0x0000b332, 0x00008080, 0x0000809e,
    320   0x00008889, 0x0000807e, 0x0000807f, 0x0000809d,
    321   0x000055d5, 0x0000807d, 0x0000807e, 0x0000809c,
    322   0x000055d4, 0x0000807c, 0x0000807d, 0x0000802f,
    323   0x000055d3, 0x0000807b, 0x00008010, 0x00008022,
    324   0x000055d2, 0x0000800e, 0x00008003, 0x00008021,
    325   0x00005565, 0x00008001, 0x00008002, 0x00008020,
    326   0x00008000, 0x00008001, 0x00008002, 0x00008020,
    327   0x00007fff, 0x00008000, 0x00008001, 0x00008021,
    328   0x00007ffe, 0x00007fff, 0x00008000, 0x00008022,
    329   0x00007ffd, 0x00007ffe, 0x00007fff, 0x00008030,
    330   0x00007ffc, 0x00007ffd, 0x00007ff1, 0x0000809d,
    331   0x00007ffb, 0x00007fef, 0x00007f84, 0x0000809e,
    332   0x00007fed, 0x00007f82, 0x00007f83, 0x0000809f,
    333   0x00007f80, 0x00007f81, 0x00007f82, 0x0000b353,
    334   0x00007f7f, 0x00007f80, 0x00004cce, 0x0000d575,
    335   0x00007f7e, 0x00004ccc, 0x00002aac, 0x0001001d,
    336   0x00004cca, 0x00002aaa, 0x00000004, 0x0001001e,
    337   0x00002aa8, 0x00000002, 0x00000003, 0x0001001f,
    338   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    339   0x00000001, 0x00000002, 0x00010001, 0x00000021,
    340   0x00000002, 0x0000ffff, 0x00010000, 0x00002aca,
    341   0x0000fffd, 0x0000fffe, 0x0000d557, 0x00004cec,
    342   0x0000fffc, 0x0000d555, 0x0000b335, 0x00007fa0,
    343   0x0000d553, 0x0000b333, 0x00008081, 0x00007fa1,
    344   0x0000b331, 0x0000807f, 0x00008080, 0x00007fa2,
    345   0x0000807d, 0x0000807e, 0x0000807f, 0x00007fa3,
    346   0x0000807c, 0x0000807d, 0x0000807e, 0x00008010,
    347   0x0000807b, 0x0000807c, 0x00008011, 0x0000801d,
    348   0x0000807a, 0x0000800f, 0x00008004, 0x0000801e,
    349   0x0000800d, 0x00008002, 0x00008003, 0x0000801f,
    350   0x00008001, 0x00008002, 0x00008001, 0x0000801f,
    351   0x00008000, 0x00008001, 0x00008002, 0x00008020,
    352   0x00007fff, 0x00008000, 0x00008003, 0x00008021,
    353   0x00007ffe, 0x00007fff, 0x00008004, 0x0000802f,
    354   0x00007ffd, 0x00007ffe, 0x00008012, 0x0000809c,
    355   0x00007ffc, 0x00007ff0, 0x0000807f, 0x0000809d,
    356   0x00007fee, 0x00007f83, 0x00008080, 0x0000809e,
    357   0x00007f81, 0x00007f82, 0x00008081, 0x0000b352,
    358   0x00007f80, 0x00007f81, 0x0000b335, 0x0000d574,
    359   0x00007f7f, 0x00004ccd, 0x0000d557, 0x0001001c,
    360   0x00004ccb, 0x00002aab, 0x0000ffff, 0x0001001d,
    361   0x00002aa9, 0x00000003, 0x00010000, 0x0001001e,
    362   0x00000001, 0x00000002, 0x00010001, 0x00000021,
    363   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    364   0x00000001, 0x00010000, 0x00000003, 0x00002ac9,
    365   0x0000fffe, 0x0000ffff, 0x00002aac, 0x00004ceb,
    366   0x0000fffd, 0x0000d556, 0x00004cce, 0x00007f9f,
    367   0x0000d554, 0x0000b334, 0x00007f82, 0x00007fa0,
    368   0x0000b332, 0x00008080, 0x00007f83, 0x00007fa1,
    369   0x0000807e, 0x0000807f, 0x00007f84, 0x00007fa2,
    370   0x0000807d, 0x0000807e, 0x00007f85, 0x0000800f,
    371   0x0000807c, 0x0000807d, 0x00007ff2, 0x0000801c,
    372   0x0000807b, 0x00008010, 0x00007fff, 0x0000801d,
    373   0x0000800e, 0x00008003, 0x00008000, 0x0000801e,
    374   0x00008002, 0x00007fff, 0x00008000, 0x00005576,
    375   0x00008001, 0x00008000, 0x00008001, 0x00005577,
    376   0x00008000, 0x00008001, 0x00008002, 0x00005578,
    377   0x00007fff, 0x00008002, 0x00008003, 0x00005586,
    378   0x00007ffe, 0x00008003, 0x00008011, 0x000055f3,
    379   0x00007ffd, 0x00008011, 0x0000807e, 0x000055f4,
    380   0x00007fef, 0x0000807e, 0x0000807f, 0x000055f5,
    381   0x00007f82, 0x0000807f, 0x00008080, 0x000088a9,
    382   0x00007f81, 0x00008080, 0x0000b334, 0x0000aacb,
    383   0x00007f80, 0x0000b334, 0x0000d556, 0x0000d573,
    384   0x00004ccc, 0x0000d556, 0x0000fffe, 0x0000d574,
    385   0x00002aaa, 0x0000fffe, 0x0000ffff, 0x0000d575,
    386   0x00000002, 0x0000ffff, 0x00010000, 0x00002aca,
    387   0x00000001, 0x00010000, 0x00000003, 0x00002ac9,
    388   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    389   0x0000ffff, 0x00000002, 0x00002aab, 0x00002242,
    390   0x0000fffe, 0x00002aab, 0x00004ccd, 0x000054f6,
    391   0x0000d555, 0x00004ccd, 0x00007f81, 0x000054f7,
    392   0x0000b333, 0x00007f81, 0x00007f82, 0x000054f8,
    393   0x0000807f, 0x00007f82, 0x00007f83, 0x000054f9,
    394   0x0000807e, 0x00007f83, 0x00007f84, 0x00005566,
    395   0x0000807d, 0x00007f84, 0x00007ff1, 0x00005573,
    396   0x0000807c, 0x00007ff1, 0x00007ffe, 0x00005574,
    397   0x0000800f, 0x00007ffe, 0x00007fff, 0x00005575,
    398   0x00007ffd, 0x00007ffe, 0x00005557, 0x00003354,
    399   0x00007ffe, 0x00007fff, 0x00005558, 0x00003355,
    400   0x00007fff, 0x00008000, 0x00005559, 0x00003356,
    401   0x00008000, 0x00008001, 0x0000555a, 0x00003364,
    402   0x00008001, 0x00008002, 0x00005568, 0x000033d1,
    403   0x00008002, 0x00008010, 0x000055d5, 0x000033d2,
    404   0x00008010, 0x0000807d, 0x000055d6, 0x000033d3,
    405   0x0000807d, 0x0000807e, 0x000055d7, 0x00006687,
    406   0x0000807e, 0x0000807f, 0x0000888b, 0x000088a9,
    407   0x0000807f, 0x0000b333, 0x0000aaad, 0x0000b351,
    408   0x0000b333, 0x0000d555, 0x0000d555, 0x0000b352,
    409   0x0000d555, 0x0000fffd, 0x0000d556, 0x0000b353,
    410   0x0000fffd, 0x0000fffe, 0x0000d557, 0x00004cec,
    411   0x0000fffe, 0x0000ffff, 0x00002aac, 0x00004ceb,
    412   0x0000ffff, 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, 0x000000a0,
    423   0x00007ffd, 0x00005556, 0x00003336, 0x000000a1,
    424   0x00007ffe, 0x00005557, 0x00003337, 0x000000a2,
    425   0x00007fff, 0x00005558, 0x00003338, 0x000000b0,
    426   0x00008000, 0x00005559, 0x00003346, 0x0000011d,
    427   0x00008001, 0x00005567, 0x000033b3, 0x0000011e,
    428   0x0000800f, 0x000055d4, 0x000033b4, 0x0000011f,
    429   0x0000807c, 0x000055d5, 0x000033b5, 0x000033d3,
    430   0x0000807d, 0x000055d6, 0x00006669, 0x000055f5,
    431   0x0000807e, 0x0000888a, 0x0000888b, 0x0000809d,
    432   0x0000b332, 0x0000aaac, 0x0000b333, 0x0000809e,
    433   0x0000d554, 0x0000d554, 0x0000b334, 0x0000809f,
    434   0x0000fffc, 0x0000d555, 0x0000b335, 0x00007fa0,
    435   0x0000fffd, 0x0000d556, 0x00004cce, 0x00007f9f,
    436   0x0000fffe, 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, 0x0000009f,
    447   0x00005554, 0x00003334, 0x00000082, 0x000000a0,
    448   0x00005555, 0x00003335, 0x00000083, 0x000000a1,
    449   0x00005556, 0x00003336, 0x00000084, 0x000000af,
    450   0x00005557, 0x00003337, 0x00000092, 0x0000011c,
    451   0x00005558, 0x00003345, 0x000000ff, 0x0000011d,
    452   0x00005566, 0x000033b2, 0x00000100, 0x0000011e,
    453   0x000055d3, 0x000033b3, 0x00000101, 0x000033d2,
    454   0x000055d4, 0x000033b4, 0x000033b5, 0x000055f4,
    455   0x000055d5, 0x00006668, 0x000055d7, 0x0000809c,
    456   0x00008889, 0x0000888a, 0x0000807f, 0x0000809d,
    457   0x0000aaab, 0x0000b332, 0x00008080, 0x0000809e,
    458   0x0000d553, 0x0000b333, 0x00008081, 0x00007fa1,
    459   0x0000d554, 0x0000b334, 0x00007f82, 0x00007fa0,
    460   0x0000d555, 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, 0x0000009e,
    471   0x00003332, 0x00000080, 0x00000081, 0x0000009f,
    472   0x00003333, 0x00000081, 0x00000082, 0x000000a0,
    473   0x00003334, 0x00000082, 0x00000083, 0x000000ae,
    474   0x00003335, 0x00000083, 0x00000091, 0x0000011b,
    475   0x00003336, 0x00000091, 0x000000fe, 0x0000011c,
    476   0x00003344, 0x000000fe, 0x000000ff, 0x0000011d,
    477   0x000033b1, 0x000000ff, 0x00000100, 0x000033d1,
    478   0x000033b2, 0x00000100, 0x000033b4, 0x000055f3,
    479   0x000033b3, 0x000033b4, 0x000055d6, 0x0000809b,
    480   0x00006667, 0x000055d6, 0x0000807e, 0x0000809c,
    481   0x00008889, 0x0000807e, 0x0000807f, 0x0000809d,
    482   0x0000b331, 0x0000807f, 0x00008080, 0x00007fa2,
    483   0x0000b332, 0x00008080, 0x00007f83, 0x00007fa1,
    484   0x0000b333, 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, 0x0000009d,
    495   0x0000007e, 0x0000007f, 0x00000080, 0x0000009e,
    496   0x0000007f, 0x00000080, 0x00000081, 0x0000009f,
    497   0x00000080, 0x00000081, 0x00000082, 0x000000ad,
    498   0x00000081, 0x00000082, 0x00000090, 0x0000011a,
    499   0x00000082, 0x00000090, 0x000000fd, 0x0000011b,
    500   0x00000090, 0x000000fd, 0x000000fe, 0x0000011c,
    501   0x000000fd, 0x000000fe, 0x000000ff, 0x000033d0,
    502   0x000000fe, 0x000000ff, 0x000033b3, 0x000055f2,
    503   0x000000ff, 0x000033b3, 0x000055d5, 0x0000809a,
    504   0x000033b3, 0x000055d5, 0x0000807d, 0x0000809b,
    505   0x000055d5, 0x0000807d, 0x0000807e, 0x0000809c,
    506   0x0000807d, 0x0000807e, 0x0000807f, 0x00007fa3,
    507   0x0000807e, 0x0000807f, 0x00007f84, 0x00007fa2,
    508   0x0000807f, 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, 0x00000030,
    519   0x0000007d, 0x0000007e, 0x0000007f, 0x00000031,
    520   0x0000007e, 0x0000007f, 0x00000080, 0x00000032,
    521   0x0000007f, 0x00000080, 0x00000081, 0x00000040,
    522   0x00000080, 0x00000081, 0x0000008f, 0x000000ad,
    523   0x00000081, 0x0000008f, 0x000000fc, 0x000000ae,
    524   0x0000008f, 0x000000fc, 0x000000fd, 0x000000af,
    525   0x000000fc, 0x000000fd, 0x000000fe, 0x00003363,
    526   0x000000fd, 0x000000fe, 0x000033b2, 0x00005585,
    527   0x000000fe, 0x000033b2, 0x000055d4, 0x0000802d,
    528   0x000033b2, 0x000055d4, 0x0000807c, 0x0000802e,
    529   0x000055d4, 0x0000807c, 0x0000807d, 0x0000802f,
    530   0x0000807c, 0x0000807d, 0x0000807e, 0x00008010,
    531   0x0000807d, 0x0000807e, 0x00007f85, 0x0000800f,
    532   0x0000807e, 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, 0x00000023,
    543   0x0000007c, 0x0000007d, 0x00000012, 0x00000024,
    544   0x0000007d, 0x0000007e, 0x00000013, 0x00000025,
    545   0x0000007e, 0x0000007f, 0x00000014, 0x00000033,
    546   0x0000007f, 0x00000080, 0x00000022, 0x000000a0,
    547   0x00000080, 0x0000008e, 0x0000008f, 0x000000a1,
    548   0x0000008e, 0x000000fb, 0x00000090, 0x000000a2,
    549   0x000000fb, 0x000000fc, 0x00000091, 0x00003356,
    550   0x000000fc, 0x000000fd, 0x00003345, 0x00005578,
    551   0x000000fd, 0x000033b1, 0x00005567, 0x00008020,
    552   0x000033b1, 0x000055d3, 0x0000800f, 0x00008021,
    553   0x000055d3, 0x0000807b, 0x00008010, 0x00008022,
    554   0x0000807b, 0x0000807c, 0x00008011, 0x0000801d,
    555   0x0000807c, 0x0000807d, 0x00007ff2, 0x0000801c,
    556   0x0000807d, 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, 0x00000022,
    567   0x0000007b, 0x00000010, 0x00000005, 0x00000023,
    568   0x0000007c, 0x00000011, 0x00000006, 0x00000024,
    569   0x0000007d, 0x00000012, 0x00000007, 0x00000032,
    570   0x0000007e, 0x00000013, 0x00000015, 0x0000009f,
    571   0x0000007f, 0x00000021, 0x00000082, 0x000000a0,
    572   0x0000008d, 0x0000008e, 0x00000083, 0x000000a1,
    573   0x000000fa, 0x0000008f, 0x00000084, 0x00003355,
    574   0x000000fb, 0x00000090, 0x00003338, 0x00005577,
    575   0x000000fc, 0x00003344, 0x0000555a, 0x0000801f,
    576   0x000033b0, 0x00005566, 0x00008002, 0x00008020,
    577   0x000055d2, 0x0000800e, 0x00008003, 0x00008021,
    578   0x0000807a, 0x0000800f, 0x00008004, 0x0000801e,
    579   0x0000807b, 0x00008010, 0x00007fff, 0x0000801d,
    580   0x0000807c, 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, 0x00000021,
    591   0x0000000e, 0x00000003, 0x00000004, 0x00000022,
    592   0x0000000f, 0x00000004, 0x00000005, 0x00000023,
    593   0x00000010, 0x00000005, 0x00000006, 0x00000031,
    594   0x00000011, 0x00000006, 0x00000014, 0x0000009e,
    595   0x00000012, 0x00000014, 0x00000081, 0x0000009f,
    596   0x00000020, 0x00000081, 0x00000082, 0x000000a0,
    597   0x0000008d, 0x00000082, 0x00000083, 0x00003354,
    598   0x0000008e, 0x00000083, 0x00003337, 0x00005576,
    599   0x0000008f, 0x00003337, 0x00005559, 0x0000801e,
    600   0x00003343, 0x00005559, 0x00008001, 0x0000801f,
    601   0x00005565, 0x00008001, 0x00008002, 0x00008020,
    602   0x0000800d, 0x00008002, 0x00008003, 0x0000801f,
    603   0x0000800e, 0x00008003, 0x00008000, 0x0000801e,
    604   0x0000800f, 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_sabal2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SABAL2_4S_TRACE_A64_H_
    618