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_SMLSL2_2D_TRACE_A64_H_
     35 #define VIXL_SIM_SMLSL2_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_smlsl2_2D[] = {
     38   0xffffc002fff70000, 0x0000000000000001,
     39   0x0000000000000000, 0x0000000000000001,
     40   0xffffffffff800300, 0x0000000000000001,
     41   0xffffffffff000600, 0x0000000000000001,
     42   0xfffffffff0006000, 0x0000000000000001,
     43   0xffffffffc1817700, 0x0000000000000001,
     44   0xffffffffc1017a00, 0x0000000000000001,
     45   0xffffffffc0817d00, 0x0000000000000001,
     46   0xffffffc002fff700, 0x0000000000000001,
     47   0xffffffc0027ffa00, 0x0000000000000001,
     48   0xffffffc001fffd00, 0x0000000000000001,
     49   0xffe6670000199900, 0x0000000000000001,
     50   0xffd55655557fff00, 0x0000000000000001,
     51   0xffc00180017ff700, 0x0000000000000001,
     52   0xffc0018000fffa00, 0x0000000000000001,
     53   0xffc00180007ffd00, 0x0000000000000001,
     54   0x003ffe8000000000, 0x0000000000000001,
     55   0x003ffe7fff800300, 0x0000000000000001,
     56   0x002aa9aaaafffe00, 0x0000000000000001,
     57   0x0019990000666400, 0x0000000000000001,
     58   0x0000003ffe800000, 0x0000000000000001,
     59   0x0000003ffe000300, 0x0000000000000001,
     60   0x0000003ffd800600, 0x0000000000000001,
     61   0x0000003ffd000900, 0x0000000000000001,
     62   0x000000003ffe8000, 0x0000000000000001,
     63   0x000000003f7e8300, 0x0000000000000001,
     64   0x000000003efe8600, 0x0000000000000001,
     65   0x000000003e7e8900, 0x0000000000000001,
     66   0x000000000fffa000, 0x0000000000000001,
     67   0x00000000017ff700, 0x0000000000000001,
     68   0x0000000000fffa00, 0x0000000000000001,
     69   0x0000000000000000, 0x0000000000000001,
     70   0x0000000000000000, 0x0000000000000000,
     71   0x0000000000000000, 0xffffffffffffffff,
     72   0x0000000000000000, 0xffffffffffffffe1,
     73   0x0000000000000000, 0xffffffffffffff84,
     74   0x0000000000000000, 0xffffffffffffff83,
     75   0x0000000000000000, 0xffffffffffffff82,
     76   0x0000000000000000, 0xffffffffffff8004,
     77   0x0000000000000000, 0xffffffffffff8003,
     78   0x0000000000000000, 0xffffffffffff8002,
     79   0x0000000000000000, 0xffffffffccccccce,
     80   0x0000000000000000, 0xffffffffaaaaaaac,
     81   0x0000000000000000, 0xffffffff80000004,
     82   0x0000000000000000, 0xffffffff80000003,
     83   0x0000000000000000, 0xffffffff80000002,
     84   0x0000000000000000, 0x0000000080000001,
     85   0x0000000000000000, 0x0000000080000000,
     86   0x0000000000000000, 0x0000000055555557,
     87   0x0000000000000000, 0x0000000033333335,
     88   0x0000000000000000, 0x0000000000008001,
     89   0x0000000000000000, 0x0000000000008000,
     90   0x0000000000000000, 0x0000000000007fff,
     91   0x0000000000000000, 0x0000000000007ffe,
     92   0x0000000000000000, 0x0000000000000081,
     93   0x0000000000000000, 0x0000000000000080,
     94   0x0000000000000000, 0x000000000000007f,
     95   0x0000000000000000, 0x000000000000007e,
     96   0x0000000000000000, 0x0000000000000021,
     97   0x0000000000000000, 0x0000000000000004,
     98   0x0000000000000000, 0x0000000000000003,
     99   0x0000000000000000, 0x0000000000000002,
    100   0x0000000000000001, 0x0000000000000001,
    101   0x0000000000000000, 0xffffffffffffffff,
    102   0xffffffffffffffff, 0xfffffffffffffffd,
    103   0xfffffffffffffffe, 0xffffffffffffffc1,
    104   0xffffffffffffffe0, 0xffffffffffffff07,
    105   0xffffffffffffff83, 0xffffffffffffff05,
    106   0xffffffffffffff82, 0xffffffffffffff03,
    107   0xffffffffffffff81, 0xffffffffffff0007,
    108   0xffffffffffff8003, 0xffffffffffff0005,
    109   0xffffffffffff8002, 0xffffffffffff0003,
    110   0xffffffffffff8001, 0xffffffff9999999b,
    111   0xffffffffcccccccd, 0xffffffff55555557,
    112   0xffffffffaaaaaaab, 0xffffffff00000007,
    113   0xffffffff80000003, 0xffffffff00000005,
    114   0xffffffff80000002, 0xffffffff00000003,
    115   0xffffffff80000001, 0x0000000100000001,
    116   0x0000000080000000, 0x00000000ffffffff,
    117   0x000000007fffffff, 0x00000000aaaaaaad,
    118   0x0000000055555556, 0x0000000066666669,
    119   0x0000000033333334, 0x0000000000010001,
    120   0x0000000000008000, 0x000000000000ffff,
    121   0x0000000000007fff, 0x000000000000fffd,
    122   0x0000000000007ffe, 0x000000000000fffb,
    123   0x0000000000007ffd, 0x0000000000000101,
    124   0x0000000000000080, 0x00000000000000ff,
    125   0x000000000000007f, 0x00000000000000fd,
    126   0x000000000000007e, 0x00000000000000fb,
    127   0x000000000000007d, 0x0000000000000041,
    128   0x0000000000000020, 0x0000000000000007,
    129   0x0000000000000003, 0x0000000000000005,
    130   0x0000000000000002, 0x0000000000000003,
    131   0x0000000000000002, 0x0000000000000001,
    132   0x0000000000000000, 0xffffffffffffffe1,
    133   0xfffffffffffffffe, 0xffffffffffffffc1,
    134   0xfffffffffffffffc, 0xfffffffffffffc01,
    135   0xffffffffffffffc0, 0xfffffffffffff061,
    136   0xffffffffffffff06, 0xfffffffffffff041,
    137   0xffffffffffffff04, 0xfffffffffffff021,
    138   0xffffffffffffff02, 0xfffffffffff00061,
    139   0xffffffffffff0006, 0xfffffffffff00041,
    140   0xffffffffffff0004, 0xfffffffffff00021,
    141   0xffffffffffff0002, 0xfffffff9999999a1,
    142   0xffffffff9999999a, 0xfffffff555555561,
    143   0xffffffff55555556, 0xfffffff000000061,
    144   0xffffffff00000006, 0xfffffff000000041,
    145   0xffffffff00000004, 0xfffffff000000021,
    146   0xffffffff00000002, 0x0000001000000001,
    147   0x0000000100000000, 0x0000000fffffffe1,
    148   0x00000000fffffffe, 0x0000000aaaaaaac1,
    149   0x00000000aaaaaaac, 0x0000000666666681,
    150   0x0000000066666668, 0x0000000000100001,
    151   0x0000000000010000, 0x00000000000fffe1,
    152   0x000000000000fffe, 0x00000000000fffc1,
    153   0x000000000000fffc, 0x00000000000fffa1,
    154   0x000000000000fffa, 0x0000000000001001,
    155   0x0000000000000100, 0x0000000000000fe1,
    156   0x00000000000000fe, 0x0000000000000fc1,
    157   0x00000000000000fc, 0x0000000000000fa1,
    158   0x00000000000000fa, 0x0000000000000401,
    159   0x0000000000000040, 0x0000000000000061,
    160   0x0000000000000006, 0x0000000000000041,
    161   0x0000000000000004, 0x0000000000000021,
    162   0x0000000000000020, 0x0000000000000001,
    163   0x0000000000000000, 0xffffffffffffff84,
    164   0xffffffffffffffe0, 0xffffffffffffff07,
    165   0xffffffffffffffc0, 0xfffffffffffff061,
    166   0xfffffffffffffc00, 0xffffffffffffc2f8,
    167   0xfffffffffffff060, 0xffffffffffffc27b,
    168   0xfffffffffffff040, 0xffffffffffffc1fe,
    169   0xfffffffffffff020, 0xffffffffffc18178,
    170   0xfffffffffff00060, 0xffffffffffc180fb,
    171   0xfffffffffff00040, 0xffffffffffc1807e,
    172   0xfffffffffff00020, 0xffffffe70000001a,
    173   0xfffffff9999999a0, 0xffffffd655555580,
    174   0xfffffff555555560, 0xffffffc180000178,
    175   0xfffffff000000060, 0xffffffc1800000fb,
    176   0xfffffff000000040, 0xffffffc18000007e,
    177   0xfffffff000000020, 0x0000003e80000001,
    178   0x0000001000000000, 0x0000003e7fffff84,
    179   0x0000000fffffffe0, 0x00000029aaaaaaff,
    180   0x0000000aaaaaaac0, 0x0000001900000065,
    181   0x0000000666666680, 0x00000000003e8001,
    182   0x0000000000100000, 0x00000000003e7f84,
    183   0x00000000000fffe0, 0x00000000003e7f07,
    184   0x00000000000fffc0, 0x00000000003e7e8a,
    185   0x00000000000fffa0, 0x0000000000003e81,
    186   0x0000000000001000, 0x0000000000003e04,
    187   0x0000000000000fe0, 0x0000000000003d87,
    188   0x0000000000000fc0, 0x0000000000003d0a,
    189   0x0000000000000fa0, 0x0000000000000fa1,
    190   0x0000000000000400, 0x0000000000000178,
    191   0x0000000000000060, 0x00000000000000fb,
    192   0x0000000000000040, 0x000000000000007e,
    193   0x000000000000007d, 0x0000000000000001,
    194   0x0000000000000000, 0xffffffffffffff83,
    195   0xffffffffffffff83, 0xffffffffffffff05,
    196   0xffffffffffffff06, 0xfffffffffffff041,
    197   0xfffffffffffff060, 0xffffffffffffc27b,
    198   0xffffffffffffc2f7, 0xffffffffffffc1fd,
    199   0xffffffffffffc27a, 0xffffffffffffc17f,
    200   0xffffffffffffc1fd, 0xffffffffffc1017b,
    201   0xffffffffffc18177, 0xffffffffffc100fd,
    202   0xffffffffffc180fa, 0xffffffffffc1007f,
    203   0xffffffffffc1807d, 0xffffffe6cccccce7,
    204   0xffffffe700000019, 0xffffffd60000002b,
    205   0xffffffd65555557f, 0xffffffc10000017b,
    206   0xffffffc180000177, 0xffffffc1000000fd,
    207   0xffffffc1800000fa, 0xffffffc10000007f,
    208   0xffffffc18000007d, 0x0000003f00000001,
    209   0x0000003e80000000, 0x0000003effffff83,
    210   0x0000003e7fffff83, 0x0000002a00000055,
    211   0x00000029aaaaaafe, 0x0000001933333399,
    212   0x0000001900000064, 0x00000000003f0001,
    213   0x00000000003e8000, 0x00000000003eff83,
    214   0x00000000003e7f83, 0x00000000003eff05,
    215   0x00000000003e7f06, 0x00000000003efe87,
    216   0x00000000003e7e89, 0x0000000000003f01,
    217   0x0000000000003e80, 0x0000000000003e83,
    218   0x0000000000003e03, 0x0000000000003e05,
    219   0x0000000000003d86, 0x0000000000003d87,
    220   0x0000000000003d09, 0x0000000000000fc1,
    221   0x0000000000000fa0, 0x000000000000017b,
    222   0x0000000000000177, 0x00000000000000fd,
    223   0x00000000000000fa, 0x000000000000007f,
    224   0x000000000000007e, 0x0000000000000001,
    225   0x0000000000000000, 0xffffffffffffff82,
    226   0xffffffffffffff82, 0xffffffffffffff03,
    227   0xffffffffffffff04, 0xfffffffffffff021,
    228   0xfffffffffffff040, 0xffffffffffffc1fe,
    229   0xffffffffffffc27a, 0xffffffffffffc17f,
    230   0xffffffffffffc1fc, 0xffffffffffffc100,
    231   0xffffffffffffc17e, 0xffffffffffc0817e,
    232   0xffffffffffc1017a, 0xffffffffffc080ff,
    233   0xffffffffffc100fc, 0xffffffffffc08080,
    234   0xffffffffffc1007e, 0xffffffe6999999b4,
    235   0xffffffe6cccccce6, 0xffffffd5aaaaaad6,
    236   0xffffffd60000002a, 0xffffffc08000017e,
    237   0xffffffc10000017a, 0xffffffc0800000ff,
    238   0xffffffc1000000fc, 0xffffffc080000080,
    239   0xffffffc10000007e, 0x0000003f80000001,
    240   0x0000003f00000000, 0x0000003f7fffff82,
    241   0x0000003effffff82, 0x0000002a555555ab,
    242   0x0000002a00000054, 0x00000019666666cd,
    243   0x0000001933333398, 0x00000000003f8001,
    244   0x00000000003f0000, 0x00000000003f7f82,
    245   0x00000000003eff82, 0x00000000003f7f03,
    246   0x00000000003eff04, 0x00000000003f7e84,
    247   0x00000000003efe86, 0x0000000000003f81,
    248   0x0000000000003f00, 0x0000000000003f02,
    249   0x0000000000003e82, 0x0000000000003e83,
    250   0x0000000000003e04, 0x0000000000003e04,
    251   0x0000000000003d86, 0x0000000000000fe1,
    252   0x0000000000000fc0, 0x000000000000017e,
    253   0x000000000000017a, 0x00000000000000ff,
    254   0x00000000000000fc, 0x0000000000000080,
    255   0x000000000000007f, 0x0000000000000001,
    256   0x0000000000000000, 0xffffffffffff8004,
    257   0xffffffffffffff81, 0xffffffffffff0007,
    258   0xffffffffffffff02, 0xfffffffffff00061,
    259   0xfffffffffffff020, 0xffffffffffc18178,
    260   0xffffffffffffc1fd, 0xffffffffffc1017b,
    261   0xffffffffffffc17e, 0xffffffffffc0817e,
    262   0xffffffffffffc0ff, 0xffffffffc002fff8,
    263   0xffffffffffc0817d, 0xffffffffc0027ffb,
    264   0xffffffffffc080fe, 0xffffffffc001fffe,
    265   0xffffffffffc0807f, 0xffffe6670000199a,
    266   0xffffffe6999999b3, 0xffffd55655558000,
    267   0xffffffd5aaaaaad5, 0xffffc00180017ff8,
    268   0xffffffc08000017d, 0xffffc0018000fffb,
    269   0xffffffc0800000fe, 0xffffc00180007ffe,
    270   0xffffffc08000007f, 0x00003ffe80000001,
    271   0x0000003f80000000, 0x00003ffe7fff8004,
    272   0x0000003f7fffff81, 0x00002aa9aaaaffff,
    273   0x0000002a555555aa, 0x0000199900006665,
    274   0x00000019666666cc, 0x000000003ffe8001,
    275   0x00000000003f8000, 0x000000003ffe0004,
    276   0x00000000003f7f81, 0x000000003ffd8007,
    277   0x00000000003f7f02, 0x000000003ffd000a,
    278   0x00000000003f7e83, 0x00000000003ffe81,
    279   0x0000000000003f80, 0x00000000003f7e84,
    280   0x0000000000003f01, 0x00000000003efe87,
    281   0x0000000000003e82, 0x00000000003e7e8a,
    282   0x0000000000003e03, 0x00000000000fffa1,
    283   0x0000000000000fe0, 0x0000000000017ff8,
    284   0x000000000000017d, 0x000000000000fffb,
    285   0x00000000000000fe, 0x0000000000007ffe,
    286   0x0000000000007ffd, 0x0000000000000001,
    287   0x0000000000000000, 0xffffffffffff8003,
    288   0xffffffffffff8003, 0xffffffffffff0005,
    289   0xffffffffffff0006, 0xfffffffffff00041,
    290   0xfffffffffff00060, 0xffffffffffc180fb,
    291   0xffffffffffc18177, 0xffffffffffc100fd,
    292   0xffffffffffc1017a, 0xffffffffffc080ff,
    293   0xffffffffffc0817d, 0xffffffffc0027ffb,
    294   0xffffffffc002fff7, 0xffffffffc001fffd,
    295   0xffffffffc0027ffa, 0xffffffffc0017fff,
    296   0xffffffffc001fffd, 0xffffe666cccce667,
    297   0xffffe66700001999, 0xffffd55600002aab,
    298   0xffffd55655557fff, 0xffffc00100017ffb,
    299   0xffffc00180017ff7, 0xffffc0010000fffd,
    300   0xffffc0018000fffa, 0xffffc00100007fff,
    301   0xffffc00180007ffd, 0x00003fff00000001,
    302   0x00003ffe80000000, 0x00003ffeffff8003,
    303   0x00003ffe7fff8003, 0x00002aaa00005555,
    304   0x00002aa9aaaafffe, 0x0000199933339999,
    305   0x0000199900006664, 0x000000003fff0001,
    306   0x000000003ffe8000, 0x000000003ffe8003,
    307   0x000000003ffe0003, 0x000000003ffe0005,
    308   0x000000003ffd8006, 0x000000003ffd8007,
    309   0x000000003ffd0009, 0x00000000003fff01,
    310   0x00000000003ffe80, 0x00000000003f7f03,
    311   0x00000000003f7e83, 0x00000000003eff05,
    312   0x00000000003efe86, 0x00000000003e7f07,
    313   0x00000000003e7e89, 0x00000000000fffc1,
    314   0x00000000000fffa0, 0x0000000000017ffb,
    315   0x0000000000017ff7, 0x000000000000fffd,
    316   0x000000000000fffa, 0x0000000000007fff,
    317   0x0000000000007ffe, 0x0000000000000001,
    318   0x0000000000000000, 0xffffffffffff8002,
    319   0xffffffffffff8002, 0xffffffffffff0003,
    320   0xffffffffffff0004, 0xfffffffffff00021,
    321   0xfffffffffff00040, 0xffffffffffc1807e,
    322   0xffffffffffc180fa, 0xffffffffffc1007f,
    323   0xffffffffffc100fc, 0xffffffffffc08080,
    324   0xffffffffffc080fe, 0xffffffffc001fffe,
    325   0xffffffffc0027ffa, 0xffffffffc0017fff,
    326   0xffffffffc001fffc, 0xffffffffc0010000,
    327   0xffffffffc0017ffe, 0xffffe6669999b334,
    328   0xffffe666cccce666, 0xffffd555aaaad556,
    329   0xffffd55600002aaa, 0xffffc00080017ffe,
    330   0xffffc00100017ffa, 0xffffc0008000ffff,
    331   0xffffc0010000fffc, 0xffffc00080008000,
    332   0xffffc00100007ffe, 0x00003fff80000001,
    333   0x00003fff00000000, 0x00003fff7fff8002,
    334   0x00003ffeffff8002, 0x00002aaa5555aaab,
    335   0x00002aaa00005554, 0x000019996666cccd,
    336   0x0000199933339998, 0x000000003fff8001,
    337   0x000000003fff0000, 0x000000003fff0002,
    338   0x000000003ffe8002, 0x000000003ffe8003,
    339   0x000000003ffe0004, 0x000000003ffe0004,
    340   0x000000003ffd8006, 0x00000000003fff81,
    341   0x00000000003fff00, 0x00000000003f7f82,
    342   0x00000000003f7f02, 0x00000000003eff83,
    343   0x00000000003eff04, 0x00000000003e7f84,
    344   0x00000000003e7f06, 0x00000000000fffe1,
    345   0x00000000000fffc0, 0x0000000000017ffe,
    346   0x0000000000017ffa, 0x000000000000ffff,
    347   0x000000000000fffc, 0x0000000000008000,
    348   0x0000000000007fff, 0x0000000000000001,
    349   0x0000000000000000, 0xffffffffccccccce,
    350   0xffffffffffff8001, 0xffffffff9999999b,
    351   0xffffffffffff0002, 0xfffffff9999999a1,
    352   0xfffffffffff00020, 0xffffffe70000001a,
    353   0xffffffffffc1807d, 0xffffffe6cccccce7,
    354   0xffffffffffc1007e, 0xffffffe6999999b4,
    355   0xffffffffffc0807f, 0xffffe6670000199a,
    356   0xffffffffc001fffd, 0xffffe666cccce667,
    357   0xffffffffc0017ffe, 0xffffe6669999b334,
    358   0xffffffffc000ffff, 0xf5c28f5c3d70a3d8,
    359   0xffffe6669999b333, 0xeeeeeeef11111112,
    360   0xffffd555aaaad555, 0xe66666671999999a,
    361   0xffffc00080017ffd, 0xe6666666e6666667,
    362   0xffffc0008000fffe, 0xe6666666b3333334,
    363   0xffffc00080007fff, 0x1999999980000001,
    364   0x00003fff80000000, 0x199999994cccccce,
    365   0x00003fff7fff8001, 0x1111111122222223,
    366   0x00002aaa5555aaaa, 0x0a3d70a3f5c28f5d,
    367   0x000019996666cccc, 0x0000199999998001,
    368   0x000000003fff8000, 0x0000199966664cce,
    369   0x000000003fff0001, 0x000019993333199b,
    370   0x000000003ffe8002, 0x00001998ffffe668,
    371   0x000000003ffe0003, 0x0000001999999981,
    372   0x00000000003fff80, 0x000000196666664e,
    373   0x00000000003f7f81, 0x000000193333331b,
    374   0x00000000003eff82, 0x00000018ffffffe8,
    375   0x00000000003e7f83, 0x0000000666666661,
    376   0x00000000000fffe0, 0x000000009999999a,
    377   0x0000000000017ffd, 0x0000000066666667,
    378   0x000000000000fffe, 0x0000000033333334,
    379   0x0000000033333333, 0x0000000000000001,
    380   0x0000000000000000, 0xffffffffaaaaaaac,
    381   0xffffffffcccccccd, 0xffffffff55555557,
    382   0xffffffff9999999a, 0xfffffff555555561,
    383   0xfffffff9999999a0, 0xffffffd655555580,
    384   0xffffffe700000019, 0xffffffd60000002b,
    385   0xffffffe6cccccce6, 0xffffffd5aaaaaad6,
    386   0xffffffe6999999b3, 0xffffd55655558000,
    387   0xffffe66700001999, 0xffffd55600002aab,
    388   0xffffe666cccce666, 0xffffd555aaaad556,
    389   0xffffe6669999b333, 0xeeeeeeef11111112,
    390   0xf5c28f5c3d70a3d7, 0xe38e38e3c71c71c8,
    391   0xeeeeeeef11111111, 0xd555555680000000,
    392   0xe666666719999999, 0xd55555562aaaaaab,
    393   0xe6666666e6666666, 0xd5555555d5555556,
    394   0xe6666666b3333333, 0x2aaaaaaa80000001,
    395   0x1999999980000000, 0x2aaaaaaa2aaaaaac,
    396   0x199999994ccccccd, 0x1c71c71c8e38e38f,
    397   0x1111111122222222, 0x1111111144444445,
    398   0x0a3d70a3f5c28f5c, 0x00002aaaaaaa8001,
    399   0x0000199999998000, 0x00002aaa55552aac,
    400   0x0000199966664ccd, 0x00002aa9ffffd557,
    401   0x000019993333199a, 0x00002aa9aaaa8002,
    402   0x00001998ffffe667, 0x0000002aaaaaaa81,
    403   0x0000001999999980, 0x0000002a5555552c,
    404   0x000000196666664d, 0x00000029ffffffd7,
    405   0x000000193333331a, 0x00000029aaaaaa82,
    406   0x00000018ffffffe7, 0x0000000aaaaaaaa1,
    407   0x0000000666666660, 0x0000000100000000,
    408   0x0000000099999999, 0x00000000aaaaaaab,
    409   0x0000000066666666, 0x0000000055555556,
    410   0x0000000055555555, 0x0000000000000001,
    411   0x0000000000000000, 0xffffffff80000004,
    412   0xffffffffaaaaaaab, 0xffffffff00000007,
    413   0xffffffff55555556, 0xfffffff000000061,
    414   0xfffffff555555560, 0xffffffc180000178,
    415   0xffffffd65555557f, 0xffffffc10000017b,
    416   0xffffffd60000002a, 0xffffffc08000017e,
    417   0xffffffd5aaaaaad5, 0xffffc00180017ff8,
    418   0xffffd55655557fff, 0xffffc00100017ffb,
    419   0xffffd55600002aaa, 0xffffc00080017ffe,
    420   0xffffd555aaaad555, 0xe66666671999999a,
    421   0xeeeeeeef11111111, 0xd555555680000000,
    422   0xe38e38e3c71c71c7, 0xc0000002fffffff8,
    423   0xd55555567fffffff, 0xc00000027ffffffb,
    424   0xd55555562aaaaaaa, 0xc0000001fffffffe,
    425   0xd5555555d5555555, 0x3ffffffe80000001,
    426   0x2aaaaaaa80000000, 0x3ffffffe00000004,
    427   0x2aaaaaaa2aaaaaab, 0x2aaaaaa9ffffffff,
    428   0x1c71c71c8e38e38e, 0x1999999966666665,
    429   0x1111111144444444, 0x00003ffffffe8001,
    430   0x00002aaaaaaa8000, 0x00003fff7ffe8004,
    431   0x00002aaa55552aab, 0x00003ffefffe8007,
    432   0x00002aa9ffffd556, 0x00003ffe7ffe800a,
    433   0x00002aa9aaaa8001, 0x0000003ffffffe81,
    434   0x0000002aaaaaaa80, 0x0000003f7ffffe84,
    435   0x0000002a5555552b, 0x0000003efffffe87,
    436   0x00000029ffffffd6, 0x0000003e7ffffe8a,
    437   0x00000029aaaaaa81, 0x0000000fffffffa1,
    438   0x0000000aaaaaaaa0, 0x000000017ffffff8,
    439   0x00000000ffffffff, 0x00000000fffffffb,
    440   0x00000000aaaaaaaa, 0x000000007ffffffe,
    441   0x000000007ffffffd, 0x0000000000000001,
    442   0x0000000000000000, 0xffffffff80000003,
    443   0xffffffff80000003, 0xffffffff00000005,
    444   0xffffffff00000006, 0xfffffff000000041,
    445   0xfffffff000000060, 0xffffffc1800000fb,
    446   0xffffffc180000177, 0xffffffc1000000fd,
    447   0xffffffc10000017a, 0xffffffc0800000ff,
    448   0xffffffc08000017d, 0xffffc0018000fffb,
    449   0xffffc00180017ff7, 0xffffc0010000fffd,
    450   0xffffc00100017ffa, 0xffffc0008000ffff,
    451   0xffffc00080017ffd, 0xe6666666e6666667,
    452   0xe666666719999999, 0xd55555562aaaaaab,
    453   0xd55555567fffffff, 0xc00000027ffffffb,
    454   0xc0000002fffffff7, 0xc0000001fffffffd,
    455   0xc00000027ffffffa, 0xc00000017fffffff,
    456   0xc0000001fffffffd, 0x3fffffff00000001,
    457   0x3ffffffe80000000, 0x3ffffffe80000003,
    458   0x3ffffffe00000003, 0x2aaaaaaa55555555,
    459   0x2aaaaaa9fffffffe, 0x1999999999999999,
    460   0x1999999966666664, 0x00003fffffff0001,
    461   0x00003ffffffe8000, 0x00003fff7fff0003,
    462   0x00003fff7ffe8003, 0x00003ffeffff0005,
    463   0x00003ffefffe8006, 0x00003ffe7fff0007,
    464   0x00003ffe7ffe8009, 0x0000003fffffff01,
    465   0x0000003ffffffe80, 0x0000003f7fffff03,
    466   0x0000003f7ffffe83, 0x0000003effffff05,
    467   0x0000003efffffe86, 0x0000003e7fffff07,
    468   0x0000003e7ffffe89, 0x0000000fffffffc1,
    469   0x0000000fffffffa0, 0x000000017ffffffb,
    470   0x000000017ffffff7, 0x00000000fffffffd,
    471   0x00000000fffffffa, 0x000000007fffffff,
    472   0x000000007ffffffe, 0x0000000000000001,
    473   0x0000000000000000, 0xffffffff80000002,
    474   0xffffffff80000002, 0xffffffff00000003,
    475   0xffffffff00000004, 0xfffffff000000021,
    476   0xfffffff000000040, 0xffffffc18000007e,
    477   0xffffffc1800000fa, 0xffffffc10000007f,
    478   0xffffffc1000000fc, 0xffffffc080000080,
    479   0xffffffc0800000fe, 0xffffc00180007ffe,
    480   0xffffc0018000fffa, 0xffffc00100007fff,
    481   0xffffc0010000fffc, 0xffffc00080008000,
    482   0xffffc0008000fffe, 0xe6666666b3333334,
    483   0xe6666666e6666666, 0xd5555555d5555556,
    484   0xd55555562aaaaaaa, 0xc0000001fffffffe,
    485   0xc00000027ffffffa, 0xc00000017fffffff,
    486   0xc0000001fffffffc, 0xc000000100000000,
    487   0xc00000017ffffffe, 0x3fffffff80000001,
    488   0x3fffffff00000000, 0x3fffffff00000002,
    489   0x3ffffffe80000002, 0x2aaaaaaaaaaaaaab,
    490   0x2aaaaaaa55555554, 0x19999999cccccccd,
    491   0x1999999999999998, 0x00003fffffff8001,
    492   0x00003fffffff0000, 0x00003fff7fff8002,
    493   0x00003fff7fff0002, 0x00003ffeffff8003,
    494   0x00003ffeffff0004, 0x00003ffe7fff8004,
    495   0x00003ffe7fff0006, 0x0000003fffffff81,
    496   0x0000003fffffff00, 0x0000003f7fffff82,
    497   0x0000003f7fffff02, 0x0000003effffff83,
    498   0x0000003effffff04, 0x0000003e7fffff84,
    499   0x0000003e7fffff06, 0x0000000fffffffe1,
    500   0x0000000fffffffc0, 0x000000017ffffffe,
    501   0x000000017ffffffa, 0x00000000ffffffff,
    502   0x00000000fffffffc, 0x0000000080000000,
    503   0x000000007fffffff, 0x0000000000000001,
    504   0x0000000000000000, 0x0000000080000001,
    505   0xffffffff80000001, 0x0000000100000001,
    506   0xffffffff00000002, 0x0000001000000001,
    507   0xfffffff000000020, 0x0000003e80000001,
    508   0xffffffc18000007d, 0x0000003f00000001,
    509   0xffffffc10000007e, 0x0000003f80000001,
    510   0xffffffc08000007f, 0x00003ffe80000001,
    511   0xffffc00180007ffd, 0x00003fff00000001,
    512   0xffffc00100007ffe, 0x00003fff80000001,
    513   0xffffc00080007fff, 0x1999999980000001,
    514   0xe6666666b3333333, 0x2aaaaaaa80000001,
    515   0xd5555555d5555555, 0x3ffffffe80000001,
    516   0xc0000001fffffffd, 0x3fffffff00000001,
    517   0xc00000017ffffffe, 0x3fffffff80000001,
    518   0xc0000000ffffffff, 0xc000000000000001,
    519   0x3fffffff80000000, 0xc000000080000001,
    520   0x3fffffff00000001, 0xd555555500000001,
    521   0x2aaaaaaaaaaaaaaa, 0xe666666600000001,
    522   0x19999999cccccccc, 0xffffc00000000001,
    523   0x00003fffffff8000, 0xffffc00080000001,
    524   0x00003fff7fff8001, 0xffffc00100000001,
    525   0x00003ffeffff8002, 0xffffc00180000001,
    526   0x00003ffe7fff8003, 0xffffffc000000001,
    527   0x0000003fffffff80, 0xffffffc080000001,
    528   0x0000003f7fffff81, 0xffffffc100000001,
    529   0x0000003effffff82, 0xffffffc180000001,
    530   0x0000003e7fffff83, 0xfffffff000000001,
    531   0x0000000fffffffe0, 0xfffffffe80000001,
    532   0x000000017ffffffd, 0xffffffff00000001,
    533   0x00000000fffffffe, 0xffffffff80000001,
    534   0xffffffff80000000, 0x0000000000000001,
    535   0x0000000000000000, 0x0000000080000000,
    536   0x0000000080000000, 0x00000000ffffffff,
    537   0x0000000100000000, 0x0000000fffffffe1,
    538   0x0000001000000000, 0x0000003e7fffff84,
    539   0x0000003e80000000, 0x0000003effffff83,
    540   0x0000003f00000000, 0x0000003f7fffff82,
    541   0x0000003f80000000, 0x00003ffe7fff8004,
    542   0x00003ffe80000000, 0x00003ffeffff8003,
    543   0x00003fff00000000, 0x00003fff7fff8002,
    544   0x00003fff80000000, 0x199999994cccccce,
    545   0x1999999980000000, 0x2aaaaaaa2aaaaaac,
    546   0x2aaaaaaa80000000, 0x3ffffffe00000004,
    547   0x3ffffffe80000000, 0x3ffffffe80000003,
    548   0x3fffffff00000000, 0x3fffffff00000002,
    549   0x3fffffff80000000, 0xc000000080000001,
    550   0xc000000000000000, 0xc000000100000000,
    551   0xc000000080000000, 0xd555555555555557,
    552   0xd555555500000000, 0xe666666633333335,
    553   0xe666666600000000, 0xffffc00000008001,
    554   0xffffc00000000000, 0xffffc00080008000,
    555   0xffffc00080000000, 0xffffc00100007fff,
    556   0xffffc00100000000, 0xffffc00180007ffe,
    557   0xffffc00180000000, 0xffffffc000000081,
    558   0xffffffc000000000, 0xffffffc080000080,
    559   0xffffffc080000000, 0xffffffc10000007f,
    560   0xffffffc100000000, 0xffffffc18000007e,
    561   0xffffffc180000000, 0xfffffff000000021,
    562   0xfffffff000000000, 0xfffffffe80000004,
    563   0xfffffffe80000000, 0xffffffff00000003,
    564   0xffffffff00000000, 0xffffffff80000002,
    565   0xffffffff80000001, 0x0000000000000001,
    566   0x0000000000000000, 0x0000000055555557,
    567   0x000000007fffffff, 0x00000000aaaaaaad,
    568   0x00000000fffffffe, 0x0000000aaaaaaac1,
    569   0x0000000fffffffe0, 0x00000029aaaaaaff,
    570   0x0000003e7fffff83, 0x0000002a00000055,
    571   0x0000003effffff82, 0x0000002a555555ab,
    572   0x0000003f7fffff81, 0x00002aa9aaaaffff,
    573   0x00003ffe7fff8003, 0x00002aaa00005555,
    574   0x00003ffeffff8002, 0x00002aaa5555aaab,
    575   0x00003fff7fff8001, 0x1111111122222223,
    576   0x199999994ccccccd, 0x1c71c71c8e38e38f,
    577   0x2aaaaaaa2aaaaaab, 0x2aaaaaa9ffffffff,
    578   0x3ffffffe00000003, 0x2aaaaaaa55555555,
    579   0x3ffffffe80000002, 0x2aaaaaaaaaaaaaab,
    580   0x3fffffff00000001, 0xd555555500000001,
    581   0xc000000080000000, 0xd555555555555557,
    582   0xc0000000ffffffff, 0xe38e38e31c71c71d,
    583   0xd555555555555556, 0xeeeeeeee88888889,
    584   0xe666666633333334, 0xffffd55555550001,
    585   0xffffc00000008000, 0xffffd555aaaa5557,
    586   0xffffc00080007fff, 0xffffd555ffffaaad,
    587   0xffffc00100007ffe, 0xffffd55655550003,
    588   0xffffc00180007ffd, 0xffffffd555555501,
    589   0xffffffc000000080, 0xffffffd5aaaaaa57,
    590   0xffffffc08000007f, 0xffffffd5ffffffad,
    591   0xffffffc10000007e, 0xffffffd655555503,
    592   0xffffffc18000007d, 0xfffffff555555541,
    593   0xfffffff000000020, 0xfffffffeffffffff,
    594   0xfffffffe80000003, 0xffffffff55555555,
    595   0xffffffff00000002, 0xffffffffaaaaaaab,
    596   0xffffffffaaaaaaaa, 0x0000000000000001,
    597   0x0000000000000000, 0x0000000033333335,
    598   0x0000000055555556, 0x0000000066666669,
    599   0x00000000aaaaaaac, 0x0000000666666681,
    600   0x0000000aaaaaaac0, 0x0000001900000065,
    601   0x00000029aaaaaafe, 0x0000001933333399,
    602   0x0000002a00000054, 0x00000019666666cd,
    603   0x0000002a555555aa, 0x0000199900006665,
    604   0x00002aa9aaaafffe, 0x0000199933339999,
    605   0x00002aaa00005554, 0x000019996666cccd,
    606   0x00002aaa5555aaaa, 0x0a3d70a3f5c28f5d,
    607   0x1111111122222222, 0x1111111144444445,
    608   0x1c71c71c8e38e38e, 0x1999999966666665,
    609   0x2aaaaaa9fffffffe, 0x1999999999999999,
    610   0x2aaaaaaa55555554, 0x19999999cccccccd,
    611   0x2aaaaaaaaaaaaaaa, 0xe666666600000001,
    612   0xd555555500000000, 0xe666666633333335,
    613   0xd555555555555556, 0xeeeeeeee88888889,
    614   0xe38e38e31c71c71c, 0xf5c28f5bd70a3d71,
    615   0xeeeeeeee88888888, 0xffffe66666660001,
    616   0xffffd55555550000, 0xffffe66699993335,
    617   0xffffd555aaaa5556, 0xffffe666cccc6669,
    618   0xffffd555ffffaaac, 0xffffe666ffff999d,
    619   0xffffd55655550002, 0xffffffe666666601,
    620   0xffffffd555555500, 0xffffffe699999935,
    621   0xffffffd5aaaaaa56, 0xffffffe6cccccc69,
    622   0xffffffd5ffffffac, 0xffffffe6ffffff9d,
    623   0xffffffd655555502, 0xfffffff999999981,
    624   0xfffffff555555540, 0xffffffff66666665,
    625   0xfffffffefffffffe, 0xffffffff99999999,
    626   0xffffffff55555554, 0xffffffffcccccccd,
    627   0xffffffffcccccccc, 0x0000000000000001,
    628   0x0000000000000000, 0x0000000000008001,
    629   0x0000000033333334, 0x0000000000010001,
    630   0x0000000066666668, 0x0000000000100001,
    631   0x0000000666666680, 0x00000000003e8001,
    632   0x0000001900000064, 0x00000000003f0001,
    633   0x0000001933333398, 0x00000000003f8001,
    634   0x00000019666666cc, 0x000000003ffe8001,
    635   0x0000199900006664, 0x000000003fff0001,
    636   0x0000199933339998, 0x000000003fff8001,
    637   0x000019996666cccc, 0x0000199999998001,
    638   0x0a3d70a3f5c28f5c, 0x00002aaaaaaa8001,
    639   0x1111111144444444, 0x00003ffffffe8001,
    640   0x1999999966666664, 0x00003fffffff0001,
    641   0x1999999999999998, 0x00003fffffff8001,
    642   0x19999999cccccccc, 0xffffc00000000001,
    643   0xe666666600000000, 0xffffc00000008001,
    644   0xe666666633333334, 0xffffd55555550001,
    645   0xeeeeeeee88888888, 0xffffe66666660001,
    646   0xf5c28f5bd70a3d70, 0xffffffffc0000001,
    647   0xffffe66666660000, 0xffffffffc0008001,
    648   0xffffe66699993334, 0xffffffffc0010001,
    649   0xffffe666cccc6668, 0xffffffffc0018001,
    650   0xffffe666ffff999c, 0xffffffffffc00001,
    651   0xffffffe666666600, 0xffffffffffc08001,
    652   0xffffffe699999934, 0xffffffffffc10001,
    653   0xffffffe6cccccc68, 0xffffffffffc18001,
    654   0xffffffe6ffffff9c, 0xfffffffffff00001,
    655   0xfffffff999999980, 0xfffffffffffe8001,
    656   0xffffffff66666664, 0xffffffffffff0001,
    657   0xffffffff99999998, 0xffffffffffff8001,
    658   0xffffffffffff8000, 0x0000000000000001,
    659   0x0000000000000000, 0x0000000000008000,
    660   0x0000000000008000, 0x000000000000ffff,
    661   0x0000000000010000, 0x00000000000fffe1,
    662   0x0000000000100000, 0x00000000003e7f84,
    663   0x00000000003e8000, 0x00000000003eff83,
    664   0x00000000003f0000, 0x00000000003f7f82,
    665   0x00000000003f8000, 0x000000003ffe0004,
    666   0x000000003ffe8000, 0x000000003ffe8003,
    667   0x000000003fff0000, 0x000000003fff0002,
    668   0x000000003fff8000, 0x0000199966664cce,
    669   0x0000199999998000, 0x00002aaa55552aac,
    670   0x00002aaaaaaa8000, 0x00003fff7ffe8004,
    671   0x00003ffffffe8000, 0x00003fff7fff0003,
    672   0x00003fffffff0000, 0x00003fff7fff8002,
    673   0x00003fffffff8000, 0xffffc00080000001,
    674   0xffffc00000000000, 0xffffc00080008000,
    675   0xffffc00000008000, 0xffffd555aaaa5557,
    676   0xffffd55555550000, 0xffffe66699993335,
    677   0xffffe66666660000, 0xffffffffc0008001,
    678   0xffffffffc0000000, 0xffffffffc0010000,
    679   0xffffffffc0008000, 0xffffffffc0017fff,
    680   0xffffffffc0010000, 0xffffffffc001fffe,
    681   0xffffffffc0018000, 0xffffffffffc00081,
    682   0xffffffffffc00000, 0xffffffffffc08080,
    683   0xffffffffffc08000, 0xffffffffffc1007f,
    684   0xffffffffffc10000, 0xffffffffffc1807e,
    685   0xffffffffffc18000, 0xfffffffffff00021,
    686   0xfffffffffff00000, 0xfffffffffffe8004,
    687   0xfffffffffffe8000, 0xffffffffffff0003,
    688   0xffffffffffff0000, 0xffffffffffff8002,
    689   0xffffffffffff8001, 0x0000000000000001,
    690   0x0000000000000000, 0x0000000000007fff,
    691   0x0000000000007fff, 0x000000000000fffd,
    692   0x000000000000fffe, 0x00000000000fffc1,
    693   0x00000000000fffe0, 0x00000000003e7f07,
    694   0x00000000003e7f83, 0x00000000003eff05,
    695   0x00000000003eff82, 0x00000000003f7f03,
    696   0x00000000003f7f81, 0x000000003ffd8007,
    697   0x000000003ffe0003, 0x000000003ffe0005,
    698   0x000000003ffe8002, 0x000000003ffe8003,
    699   0x000000003fff0001, 0x000019993333199b,
    700   0x0000199966664ccd, 0x00002aa9ffffd557,
    701   0x00002aaa55552aab, 0x00003ffefffe8007,
    702   0x00003fff7ffe8003, 0x00003ffeffff0005,
    703   0x00003fff7fff0002, 0x00003ffeffff8003,
    704   0x00003fff7fff8001, 0xffffc00100000001,
    705   0xffffc00080000000, 0xffffc00100007fff,
    706   0xffffc00080007fff, 0xffffd555ffffaaad,
    707   0xffffd555aaaa5556, 0xffffe666cccc6669,
    708   0xffffe66699993334, 0xffffffffc0010001,
    709   0xffffffffc0008000, 0xffffffffc0017fff,
    710   0xffffffffc000ffff, 0xffffffffc001fffd,
    711   0xffffffffc0017ffe, 0xffffffffc0027ffb,
    712   0xffffffffc001fffd, 0xffffffffffc00101,
    713   0xffffffffffc00080, 0xffffffffffc080ff,
    714   0xffffffffffc0807f, 0xffffffffffc100fd,
    715   0xffffffffffc1007e, 0xffffffffffc180fb,
    716   0xffffffffffc1807d, 0xfffffffffff00041,
    717   0xfffffffffff00020, 0xfffffffffffe8007,
    718   0xfffffffffffe8003, 0xffffffffffff0005,
    719   0xffffffffffff0002, 0xffffffffffff8003,
    720   0xffffffffffff8002, 0x0000000000000001,
    721   0x0000000000000000, 0x0000000000007ffe,
    722   0x0000000000007ffe, 0x000000000000fffb,
    723   0x000000000000fffc, 0x00000000000fffa1,
    724   0x00000000000fffc0, 0x00000000003e7e8a,
    725   0x00000000003e7f06, 0x00000000003efe87,
    726   0x00000000003eff04, 0x00000000003f7e84,
    727   0x00000000003f7f02, 0x000000003ffd000a,
    728   0x000000003ffd8006, 0x000000003ffd8007,
    729   0x000000003ffe0004, 0x000000003ffe0004,
    730   0x000000003ffe8002, 0x00001998ffffe668,
    731   0x000019993333199a, 0x00002aa9aaaa8002,
    732   0x00002aa9ffffd556, 0x00003ffe7ffe800a,
    733   0x00003ffefffe8006, 0x00003ffe7fff0007,
    734   0x00003ffeffff0004, 0x00003ffe7fff8004,
    735   0x00003ffeffff8002, 0xffffc00180000001,
    736   0xffffc00100000000, 0xffffc00180007ffe,
    737   0xffffc00100007ffe, 0xffffd55655550003,
    738   0xffffd555ffffaaac, 0xffffe666ffff999d,
    739   0xffffe666cccc6668, 0xffffffffc0018001,
    740   0xffffffffc0010000, 0xffffffffc001fffe,
    741   0xffffffffc0017ffe, 0xffffffffc0027ffb,
    742   0xffffffffc001fffc, 0xffffffffc002fff8,
    743   0xffffffffc0027ffa, 0xffffffffffc00181,
    744   0xffffffffffc00100, 0xffffffffffc0817e,
    745   0xffffffffffc080fe, 0xffffffffffc1017b,
    746   0xffffffffffc100fc, 0xffffffffffc18178,
    747   0xffffffffffc180fa, 0xfffffffffff00061,
    748   0xfffffffffff00040, 0xfffffffffffe800a,
    749   0xfffffffffffe8006, 0xffffffffffff0007,
    750   0xffffffffffff0004, 0xffffffffffff8004,
    751   0xffffffffffff8003, 0x0000000000000001,
    752   0x0000000000000000, 0x0000000000000081,
    753   0x0000000000007ffd, 0x0000000000000101,
    754   0x000000000000fffa, 0x0000000000001001,
    755   0x00000000000fffa0, 0x0000000000003e81,
    756   0x00000000003e7e89, 0x0000000000003f01,
    757   0x00000000003efe86, 0x0000000000003f81,
    758   0x00000000003f7e83, 0x00000000003ffe81,
    759   0x000000003ffd0009, 0x00000000003fff01,
    760   0x000000003ffd8006, 0x00000000003fff81,
    761   0x000000003ffe0003, 0x0000001999999981,
    762   0x00001998ffffe667, 0x0000002aaaaaaa81,
    763   0x00002aa9aaaa8001, 0x0000003ffffffe81,
    764   0x00003ffe7ffe8009, 0x0000003fffffff01,
    765   0x00003ffe7fff0006, 0x0000003fffffff81,
    766   0x00003ffe7fff8003, 0xffffffc000000001,
    767   0xffffc00180000000, 0xffffffc000000081,
    768   0xffffc00180007ffd, 0xffffffd555555501,
    769   0xffffd55655550002, 0xffffffe666666601,
    770   0xffffe666ffff999c, 0xffffffffffc00001,
    771   0xffffffffc0018000, 0xffffffffffc00081,
    772   0xffffffffc001fffd, 0xffffffffffc00101,
    773   0xffffffffc0027ffa, 0xffffffffffc00181,
    774   0xffffffffc002fff7, 0xffffffffffffc001,
    775   0xffffffffffc00180, 0xffffffffffffc081,
    776   0xffffffffffc0817d, 0xffffffffffffc101,
    777   0xffffffffffc1017a, 0xffffffffffffc181,
    778   0xffffffffffc18177, 0xfffffffffffff001,
    779   0xfffffffffff00060, 0xfffffffffffffe81,
    780   0xfffffffffffe8009, 0xffffffffffffff01,
    781   0xffffffffffff0006, 0xffffffffffffff81,
    782   0xffffffffffffff80, 0x0000000000000001,
    783   0x0000000000000000, 0x0000000000000080,
    784   0x0000000000000080, 0x00000000000000ff,
    785   0x0000000000000100, 0x0000000000000fe1,
    786   0x0000000000001000, 0x0000000000003e04,
    787   0x0000000000003e80, 0x0000000000003e83,
    788   0x0000000000003f00, 0x0000000000003f02,
    789   0x0000000000003f80, 0x00000000003f7e84,
    790   0x00000000003ffe80, 0x00000000003f7f03,
    791   0x00000000003fff00, 0x00000000003f7f82,
    792   0x00000000003fff80, 0x000000196666664e,
    793   0x0000001999999980, 0x0000002a5555552c,
    794   0x0000002aaaaaaa80, 0x0000003f7ffffe84,
    795   0x0000003ffffffe80, 0x0000003f7fffff03,
    796   0x0000003fffffff00, 0x0000003f7fffff82,
    797   0x0000003fffffff80, 0xffffffc080000001,
    798   0xffffffc000000000, 0xffffffc080000080,
    799   0xffffffc000000080, 0xffffffd5aaaaaa57,
    800   0xffffffd555555500, 0xffffffe699999935,
    801   0xffffffe666666600, 0xffffffffffc08001,
    802   0xffffffffffc00000, 0xffffffffffc08080,
    803   0xffffffffffc00080, 0xffffffffffc080ff,
    804   0xffffffffffc00100, 0xffffffffffc0817e,
    805   0xffffffffffc00180, 0xffffffffffffc081,
    806   0xffffffffffffc000, 0xffffffffffffc100,
    807   0xffffffffffffc080, 0xffffffffffffc17f,
    808   0xffffffffffffc100, 0xffffffffffffc1fe,
    809   0xffffffffffffc180, 0xfffffffffffff021,
    810   0xfffffffffffff000, 0xfffffffffffffe84,
    811   0xfffffffffffffe80, 0xffffffffffffff03,
    812   0xffffffffffffff00, 0xffffffffffffff82,
    813   0xffffffffffffff81, 0x0000000000000001,
    814   0x0000000000000000, 0x000000000000007f,
    815   0x000000000000007f, 0x00000000000000fd,
    816   0x00000000000000fe, 0x0000000000000fc1,
    817   0x0000000000000fe0, 0x0000000000003d87,
    818   0x0000000000003e03, 0x0000000000003e05,
    819   0x0000000000003e82, 0x0000000000003e83,
    820   0x0000000000003f01, 0x00000000003efe87,
    821   0x00000000003f7e83, 0x00000000003eff05,
    822   0x00000000003f7f02, 0x00000000003eff83,
    823   0x00000000003f7f81, 0x000000193333331b,
    824   0x000000196666664d, 0x00000029ffffffd7,
    825   0x0000002a5555552b, 0x0000003efffffe87,
    826   0x0000003f7ffffe83, 0x0000003effffff05,
    827   0x0000003f7fffff02, 0x0000003effffff83,
    828   0x0000003f7fffff81, 0xffffffc100000001,
    829   0xffffffc080000000, 0xffffffc10000007f,
    830   0xffffffc08000007f, 0xffffffd5ffffffad,
    831   0xffffffd5aaaaaa56, 0xffffffe6cccccc69,
    832   0xffffffe699999934, 0xffffffffffc10001,
    833   0xffffffffffc08000, 0xffffffffffc1007f,
    834   0xffffffffffc0807f, 0xffffffffffc100fd,
    835   0xffffffffffc080fe, 0xffffffffffc1017b,
    836   0xffffffffffc0817d, 0xffffffffffffc101,
    837   0xffffffffffffc080, 0xffffffffffffc17f,
    838   0xffffffffffffc0ff, 0xffffffffffffc1fd,
    839   0xffffffffffffc17e, 0xffffffffffffc27b,
    840   0xffffffffffffc1fd, 0xfffffffffffff041,
    841   0xfffffffffffff020, 0xfffffffffffffe87,
    842   0xfffffffffffffe83, 0xffffffffffffff05,
    843   0xffffffffffffff02, 0xffffffffffffff83,
    844   0xffffffffffffff82, 0x0000000000000001,
    845   0x0000000000000000, 0x000000000000007e,
    846   0x000000000000007e, 0x00000000000000fb,
    847   0x00000000000000fc, 0x0000000000000fa1,
    848   0x0000000000000fc0, 0x0000000000003d0a,
    849   0x0000000000003d86, 0x0000000000003d87,
    850   0x0000000000003e04, 0x0000000000003e04,
    851   0x0000000000003e82, 0x00000000003e7e8a,
    852   0x00000000003efe86, 0x00000000003e7f07,
    853   0x00000000003eff04, 0x00000000003e7f84,
    854   0x00000000003eff82, 0x00000018ffffffe8,
    855   0x000000193333331a, 0x00000029aaaaaa82,
    856   0x00000029ffffffd6, 0x0000003e7ffffe8a,
    857   0x0000003efffffe86, 0x0000003e7fffff07,
    858   0x0000003effffff04, 0x0000003e7fffff84,
    859   0x0000003effffff82, 0xffffffc180000001,
    860   0xffffffc100000000, 0xffffffc18000007e,
    861   0xffffffc10000007e, 0xffffffd655555503,
    862   0xffffffd5ffffffac, 0xffffffe6ffffff9d,
    863   0xffffffe6cccccc68, 0xffffffffffc18001,
    864   0xffffffffffc10000, 0xffffffffffc1807e,
    865   0xffffffffffc1007e, 0xffffffffffc180fb,
    866   0xffffffffffc100fc, 0xffffffffffc18178,
    867   0xffffffffffc1017a, 0xffffffffffffc181,
    868   0xffffffffffffc100, 0xffffffffffffc1fe,
    869   0xffffffffffffc17e, 0xffffffffffffc27b,
    870   0xffffffffffffc1fc, 0xffffffffffffc2f8,
    871   0xffffffffffffc27a, 0xfffffffffffff061,
    872   0xfffffffffffff040, 0xfffffffffffffe8a,
    873   0xfffffffffffffe86, 0xffffffffffffff07,
    874   0xffffffffffffff04, 0xffffffffffffff84,
    875   0xffffffffffffff83, 0x0000000000000001,
    876   0x0000000000000000, 0x0000000000000021,
    877   0x000000000000007d, 0x0000000000000041,
    878   0x00000000000000fa, 0x0000000000000401,
    879   0x0000000000000fa0, 0x0000000000000fa1,
    880   0x0000000000003d09, 0x0000000000000fc1,
    881   0x0000000000003d86, 0x0000000000000fe1,
    882   0x0000000000003e03, 0x00000000000fffa1,
    883   0x00000000003e7e89, 0x00000000000fffc1,
    884   0x00000000003e7f06, 0x00000000000fffe1,
    885   0x00000000003e7f83, 0x0000000666666661,
    886   0x00000018ffffffe7, 0x0000000aaaaaaaa1,
    887   0x00000029aaaaaa81, 0x0000000fffffffa1,
    888   0x0000003e7ffffe89, 0x0000000fffffffc1,
    889   0x0000003e7fffff06, 0x0000000fffffffe1,
    890   0x0000003e7fffff83, 0xfffffff000000001,
    891   0xffffffc180000000, 0xfffffff000000021,
    892   0xffffffc18000007d, 0xfffffff555555541,
    893   0xffffffd655555502, 0xfffffff999999981,
    894   0xffffffe6ffffff9c, 0xfffffffffff00001,
    895   0xffffffffffc18000, 0xfffffffffff00021,
    896   0xffffffffffc1807d, 0xfffffffffff00041,
    897   0xffffffffffc180fa, 0xfffffffffff00061,
    898   0xffffffffffc18177, 0xfffffffffffff001,
    899   0xffffffffffffc180, 0xfffffffffffff021,
    900   0xffffffffffffc1fd, 0xfffffffffffff041,
    901   0xffffffffffffc27a, 0xfffffffffffff061,
    902   0xffffffffffffc2f7, 0xfffffffffffffc01,
    903   0xfffffffffffff060, 0xffffffffffffffa1,
    904   0xfffffffffffffe89, 0xffffffffffffffc1,
    905   0xffffffffffffff06, 0xffffffffffffffe1,
    906   0xffffffffffffffe0, 0x0000000000000001,
    907   0x0000000000000000, 0x0000000000000004,
    908   0x0000000000000020, 0x0000000000000007,
    909   0x0000000000000040, 0x0000000000000061,
    910   0x0000000000000400, 0x0000000000000178,
    911   0x0000000000000fa0, 0x000000000000017b,
    912   0x0000000000000fc0, 0x000000000000017e,
    913   0x0000000000000fe0, 0x0000000000017ff8,
    914   0x00000000000fffa0, 0x0000000000017ffb,
    915   0x00000000000fffc0, 0x0000000000017ffe,
    916   0x00000000000fffe0, 0x000000009999999a,
    917   0x0000000666666660, 0x0000000100000000,
    918   0x0000000aaaaaaaa0, 0x000000017ffffff8,
    919   0x0000000fffffffa0, 0x000000017ffffffb,
    920   0x0000000fffffffc0, 0x000000017ffffffe,
    921   0x0000000fffffffe0, 0xfffffffe80000001,
    922   0xfffffff000000000, 0xfffffffe80000004,
    923   0xfffffff000000020, 0xfffffffeffffffff,
    924   0xfffffff555555540, 0xffffffff66666665,
    925   0xfffffff999999980, 0xfffffffffffe8001,
    926   0xfffffffffff00000, 0xfffffffffffe8004,
    927   0xfffffffffff00020, 0xfffffffffffe8007,
    928   0xfffffffffff00040, 0xfffffffffffe800a,
    929   0xfffffffffff00060, 0xfffffffffffffe81,
    930   0xfffffffffffff000, 0xfffffffffffffe84,
    931   0xfffffffffffff020, 0xfffffffffffffe87,
    932   0xfffffffffffff040, 0xfffffffffffffe8a,
    933   0xfffffffffffff060, 0xffffffffffffffa1,
    934   0xfffffffffffffc00, 0xfffffffffffffff8,
    935   0xffffffffffffffa0, 0xfffffffffffffffb,
    936   0xffffffffffffffc0, 0xfffffffffffffffe,
    937   0xfffffffffffffffd, 0x0000000000000001,
    938   0x0000000000000000, 0x0000000000000003,
    939   0x0000000000000003, 0x0000000000000005,
    940   0x0000000000000006, 0x0000000000000041,
    941   0x0000000000000060, 0x00000000000000fb,
    942   0x0000000000000177, 0x00000000000000fd,
    943   0x000000000000017a, 0x00000000000000ff,
    944   0x000000000000017d, 0x000000000000fffb,
    945   0x0000000000017ff7, 0x000000000000fffd,
    946   0x0000000000017ffa, 0x000000000000ffff,
    947   0x0000000000017ffd, 0x0000000066666667,
    948   0x0000000099999999, 0x00000000aaaaaaab,
    949   0x00000000ffffffff, 0x00000000fffffffb,
    950   0x000000017ffffff7, 0x00000000fffffffd,
    951   0x000000017ffffffa, 0x00000000ffffffff,
    952   0x000000017ffffffd, 0xffffffff00000001,
    953   0xfffffffe80000000, 0xffffffff00000003,
    954   0xfffffffe80000003, 0xffffffff55555555,
    955   0xfffffffefffffffe, 0xffffffff99999999,
    956   0xffffffff66666664, 0xffffffffffff0001,
    957   0xfffffffffffe8000, 0xffffffffffff0003,
    958   0xfffffffffffe8003, 0xffffffffffff0005,
    959   0xfffffffffffe8006, 0xffffffffffff0007,
    960   0xfffffffffffe8009, 0xffffffffffffff01,
    961   0xfffffffffffffe80, 0xffffffffffffff03,
    962   0xfffffffffffffe83, 0xffffffffffffff05,
    963   0xfffffffffffffe86, 0xffffffffffffff07,
    964   0xfffffffffffffe89, 0xffffffffffffffc1,
    965   0xffffffffffffffa0, 0xfffffffffffffffb,
    966   0xfffffffffffffff7, 0xfffffffffffffffd,
    967   0xfffffffffffffffa, 0xffffffffffffffff,
    968   0xfffffffffffffffe, 0x0000000000000001,
    969   0x0000000000000000, 0x0000000000000002,
    970   0x0000000000000002, 0x0000000000000003,
    971   0x0000000000000004, 0x0000000000000021,
    972   0x0000000000000040, 0x000000000000007e,
    973   0x00000000000000fa, 0x000000000000007f,
    974   0x00000000000000fc, 0x0000000000000080,
    975   0x00000000000000fe, 0x0000000000007ffe,
    976   0x000000000000fffa, 0x0000000000007fff,
    977   0x000000000000fffc, 0x0000000000008000,
    978   0x000000000000fffe, 0x0000000033333334,
    979   0x0000000066666666, 0x0000000055555556,
    980   0x00000000aaaaaaaa, 0x000000007ffffffe,
    981   0x00000000fffffffa, 0x000000007fffffff,
    982   0x00000000fffffffc, 0x0000000080000000,
    983   0x00000000fffffffe, 0xffffffff80000001,
    984   0xffffffff00000000, 0xffffffff80000002,
    985   0xffffffff00000002, 0xffffffffaaaaaaab,
    986   0xffffffff55555554, 0xffffffffcccccccd,
    987   0xffffffff99999998, 0xffffffffffff8001,
    988   0xffffffffffff0000, 0xffffffffffff8002,
    989   0xffffffffffff0002, 0xffffffffffff8003,
    990   0xffffffffffff0004, 0xffffffffffff8004,
    991   0xffffffffffff0006, 0xffffffffffffff81,
    992   0xffffffffffffff00, 0xffffffffffffff82,
    993   0xffffffffffffff02, 0xffffffffffffff83,
    994   0xffffffffffffff04, 0xffffffffffffff84,
    995   0xffffffffffffff06, 0xffffffffffffffe1,
    996   0xffffffffffffffc0, 0xfffffffffffffffe,
    997   0xfffffffffffffffa, 0xffffffffffffffff,
    998   0xfffffffffffffffc, 0x0000000000000000,
    999 };
   1000 const unsigned kExpectedCount_NEON_smlsl2_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_SMLSL2_2D_TRACE_A64_H_
   1003