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